Results 41 to 50 of about 986 (204)
A Galois connection for weighted (relational) clones of infinite size
, 2015 A Galois connection between clones and relational clones on a fixed finite domain is one of the cornerstones of the so-called algebraic approach to the computational complexity of non-uniform Constraint Satisfaction Problems (CSPs).
Zivny, S +3 more
core +2 more sources
An elegant model of the geodesic flow on the modular surface
Journal of the London Mathematical Society, Volume 114, Issue 1, July 2026.Abstract Caroline Series' [The modular surface and continued fractions, J. Lond. Math. Soc. (2), 31, no. 1, (1985), 69–80] gives a clear framework linking, in a deceptively simple way, the dynamics of the geodesic flow on the modular surface with the dynamics of the regular continued fraction, through a well‐chosen symbolic coding.
Pierre Arnoux, Thomas A. Schmidt
wiley +1 more source
A Galois connection for valued constraint languages of infinite size
, 2015 A Galois connection between clones and relational clones on a fixed finite domain is one of the cornerstones of the so-called algebraic approach to the computational complexity of non-uniform Constraint Satisfaction Problems (CSPs).
Peter Fulla +3 more
core +1 more source
Abelian threefolds with imaginary multiplication
Journal of the London Mathematical Society, Volume 114, Issue 1, July 2026.Abstract Let A$A$ be an abelian threefold defined over a number field K$K$ with potential multiplication by an imaginary quadratic field M$M$. Under mild assumptions on K$K$, if A$A$ has signature (2,1) and the multiplication by M$M$ is defined over KM$KM$, we attach to A$A$ an elliptic curve defined over K$K$ with potential complex multiplication by M$
Francesc Fité, Pip Goodman
wiley +1 more source
On the Lang–Trotter conjecture for Siegel modular forms
Mathematika, Volume 72, Issue 3, July 2026.Abstract Let f$f$ be a genus‐two cuspidal Siegel eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated with f$f$, generalizing the results of Ribet and Momose for elliptic modular forms. Using this result, we investigate the distribution of the Hecke eigenvalues ap$a_p$ of f$f$, and obtain upper
Arvind Kumar, Moni Kumari, Ariel Weiss
wiley +1 more source
A natural Galois connection between generalized norms and metrics
, 2017 Having in mind a well-known connection between norms and metrics on vector spaces, for an additively written group X, we establish a natural Galois connection between functions of X to ℝ and X2 to ℝ.
Árpád Száz
core +1 more source
Galois Connections for Recursive Types
, 2020 Building a static analyser for a real language involves modeling of large domains capturing the many available data types. To scale domain design and support efficient development of project-specific analyzers, it is desirable to be able to build, extend, and change abstractions in a systematic and modular fashion.
Ahmad Salim Al-Sibahi +3 more
openaire +3 more sources
Finding Minimum‐Cost Explanations for Predictions Made by Tree Ensembles
Software: Practice and Experience, Volume 56, Issue 6, Page 615-642, June 2026.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
Logics from Galois connections
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouni Järvinen +2 more
openaire +2 more sources
Motivic mirror symmetry and χ$\chi$‐independence for Higgs bundles in arbitrary characteristic
Proceedings of the London Mathematical Society, Volume 132, Issue 6, June 2026.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