Results 51 to 60 of about 248 (160)
Prismatic F‐crystals and Wach modules
Abstract We show that the category of analytic/completed prismatic F-crystals$F\text{-crystals}$ on the absolute prismatic site of a small (unramified at p$p$) base ring is naturally equivalent to the category of relative Wach modules from the theory of (φ,Γ)-modules$(\varphi, \Gamma)\text{-modules}$.
Abhinandan
wiley +1 more source
Galois Connections: Mathematics, Art, and Archives [PDF]
Evariste Galois (1811--1832) has been increasingly recognised as an important mathematician who despite his short life developed mathematical ideas that today have applications in computer science (such as Galois connections) and elsewhere. Some of Galois' mathematics can be visualised in interesting and even artistic ways, aided using software.
Jonathan P. Bowen, Tula Giannini
openaire +1 more source
Finding Minimum‐Cost Explanations for Predictions Made by Tree Ensembles
ABSTRACT The ability to reliably explain why a machine learning model arrives at a particular prediction is crucial when used as decision support by human operators of critical systems. The provided explanations must be provably correct, and preferably without redundant information, called minimal explanations.
John Törnblom +2 more
wiley +1 more source
Motivic mirror symmetry and χ$\chi$‐independence for Higgs bundles in arbitrary characteristic
Abstract We prove that the (twisted orbifold) motives of the moduli spaces of SLn$\mathrm{SL}_n$ and PGLn$\mathrm{PGL}_n$‐Higgs bundles of coprime rank and degree on a smooth projective curve over an algebraically closed field in which the rank is invertible are isomorphic in Voevodsky's triangulated category of motives.
Victoria Hoskins, Simon Pepin Lehalleur
wiley +1 more source
Wild conductor exponents of curves
Abstract We give an explicit formula for wild conductor exponents of plane curves over Qp$\mathbb {Q}_p$ in terms of standard invariants of explicit extensions of Qp$\mathbb {Q}_p$, generalising a formula for hyperelliptic curves. To do so, we prove a general result relating the wild conductor exponent of a simply branched cover of the projective line ...
Harry Spencer
wiley +1 more source
The quantale of Galois connections [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The paper establishes a categorical framework linking L-quasi-internal and L-quasi-enclosed spaces with L-filter, L-grill, and L-neighborhood spaces within the context of complete lattices. We define and characterize L-quasi-internal and L-quasi-enclosed
Anwar J. Fawakhreh
doaj +1 more source
Algebraicity of ratios of special L$L$‐values for GL(n)$\mathrm{GL}(n)$
Abstract We prove, under certain assumptions, the algebraicity of the ratio L(m,Π×χ)/L(m,Π×χ′)$L(m, \Pi \times \chi)/L(m, \Pi \times \chi ^{\prime })$, where Π$\Pi$ is a cuspidal automorphic cohomological unitary representation of GLn(AQ)$\mathrm{GL}_n(\mathbb {A}_\mathbb {Q})$, and χ$\chi$, χ′$\chi ^{\prime }$ are finite‐order Hecke characters such ...
Ankit Rai, Gunja Sachdeva
wiley +1 more source
A Constructive Framework for Galois Connections
Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
openaire +2 more sources
Alexandrov LF-Rough Topogenous Structures: Theory and Applications
The aim of this paper is to investigate the relationships between Alexandrov LF-rough topogenous spaces and Alexandrov LF-rough closure (interior) spaces based on LF-rough sets.
Ahmed A. Ramadan +2 more
doaj +1 more source

