Results 21 to 30 of about 304 (134)
Galois connections for bilattices
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Koutras, C.D., Pitsiladis, G.V.
openaire +3 more sources
Inducing Coverings on Hilbert Schemes
ABSTRACT We find an explicit geometric description of all coverings of Hilb2(Σ)$\operatorname{Hilb}^{2}(\Sigma)$ when Σ$\Sigma$ is a normal, complex, quasi‐projective surface with finite fundamental group. We then apply this construction to show that if Σ$\Sigma$ is an irreducible symplectic surface then Hilb2(Σ)$\operatorname{Hilb}^{2}(\Sigma)$ is an ...
Lucas Li Bassi, Filippo Papallo
wiley +1 more source
A trace–path integral formula over function fields
Abstract We show that an arithmetic path integral over the ℓ$\ell$‐torsion of a Jacobian J[ℓ]$J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group H(J[ℓ])$H(J[\ell])$, up to an explicitly determined sign.
Yan Yau Cheng
wiley +1 more source
Heights on ‘hybrid orbits’ in Shimura varieties
Abstract We prove the ‘hybrid conjecture’ which is a common generalisation of the André–Oort conjecture and the André–Pink–Zannier conjecture, in the case of Shimura varieties of abelian type.
Rodolphe Richard, Andrei Yafaev
wiley +1 more source
On 7‐adic Galois representations for elliptic curves over Q$\mathbb {Q}$
Abstract In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of p$p$‐adic Galois representations attached to elliptic curves over Q$\mathbb {Q}$. Currently, the classification is only complete for p∈{2,3,13,17}$p \in \lbrace 2,3,13,17\rbrace$.
Lorenzo Furio, Davide Lombardo
wiley +1 more source
Computing Bonds Between Formal Contexts
ABSTRACT The notion of bond was introduced as a technique to aggregate information from multiple datasets without modifying the information already present in each of the datasets. This notion has been extended to several fuzzy frameworks, including the residuated lattice setting, which we also consider in this paper.
Roberto G. Aragón +2 more
wiley +1 more source
Fourier Expansion‐Based Approach to the Parameter Space of Classical Systems
ABSTRACT We propose a new approach to compute the classical metric tensor (CMT) and the Hannay curvature using Fourier series expansions in action‐angle variables. This approach circumvents the need for complex time‐domain integrals or the construction of generating functions, replacing them with algebraic combinations of Fourier coefficients. We prove
Marcos J. Hernández +3 more
wiley +1 more source
Galois Connections for Recursive Types
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
FuzzyMind: A Web Platform for End‐to‐End Fuzzy Cognitive Map Modeling
ABSTRACT Fuzzy cognitive maps (FCMs) are widely used for modeling complex causal systems under uncertainty. However, the FCM development lifecycle, encompassing data preprocessing, model construction, weight optimization, and scenario analysis, is typically fragmented across heterogeneous tools.
Theodoros Tziolas, Elpiniki Papageorgiou
wiley +1 more source
On the fixed‐point proportion of self‐similar groups
Abstract We prove that super strongly fractal groups acting on regular rooted trees have null fixed‐point proportion. In particular, we show that the fixed‐point proportion of an infinite family of iterated monodromy groups of exceptional complex polynomials has the same property.
Jorge Fariña‐Asategui, Santiago Radi
wiley +1 more source

