Related papers: Local reflection, definable elements and 1-provabi…

We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a…

We propose the notions of uniform local weak o-minimality and $*$-local weak o-minimality. Local monotonicity theorems hold in definably complete locally o-minimal structures and uniformly locally o-minimal structures of the second kind. In…

Local convergence has emerged as a fundamental tool for analyzing sparse random graph models. We introduce a new notion of local convergence, color convergence, based on the Weisfeiler-Leman algorithm. Color convergence fully characterizes…

The importance of the Lieb-Simon proof of the relative exactness of Thomas-Fermi theory in the large-Z limit to modern density functional theory (DFT) is explored. The principle, that there is a specific semiclassical limit in which…

Recently, symbolic structures were proposed as finite representations of potentially infinite first-order structures, where Linear Integer Arithmetic terms and formulas define the domain and interpretations of a structure. We generalize…

Let $G$ and $\tilde G$ be reductive groups over a local field $F$. Let $\eta : \tilde G \to G$ be a $F$-homomorphism with commutative kernel and commutative cokernel. We investigate the pullbacks of irreducible admissible…

This paper presents investigations on the generalized laws of refraction and reflection for metasurfaces made of diffractive elements. It introduces a phenomenological model that reproduces all the features of the experiments dedicated to…

We establish universality of local eigenvalue correlations in unitary random matrix ensembles (1/Z_n) |\det M|^{2\alpha} e^{-n\tr V(M)} dM near the origin of the spectrum. If V is even, and if the recurrence coefficients of the orthogonal…

Timothy Carlson's patterns of resemblance employ the notion of $\Sigma_1$-elementarity to describe large computable ordinals. It has been conjectured that a relativization of these patterns to dilators leads to an equivalence with…

We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…

Self-supervised learning models extract general-purpose representations from data. Quantifying the reliability of these representations is crucial, as many downstream models rely on them as input for their own tasks. To this end, we…

We study quantized non-local order parameters, constructed by using partial time-reversal and partial reflection, for fermionic topological phases of matter in one spatial dimension protected by an orientation reversing symmetry, using…

Local explainability methods -- those which seek to generate an explanation for each prediction -- are becoming increasingly prevalent due to the need for practitioners to rationalize their model outputs. However, comparing local…

For all simple and finite extension of a valued field, we prove that its defect is the product of the effective degrees of the complete set of key polynomials associated. As a consequence, we obtain a local uniformization theorem for…

Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…

In this paper we give a short introduction to the local uniformization problem. This follows a similar line as the one presented by the second author in his talk at ALANT 3. We also discuss our paper on the reduction of local uniformization…

Let $\L_m$ be the scheme of the laws defined by the identities of Jacobi on $\K^m$. The local studies of an algebraic Lie algebra $\g=\mathrm{R}\ltimes\n$ in $\L_m$ and its nilpotent part $\n$ in the scheme $\L_n^{\mathrm{R}}$ of…

In this note we give a simple unifying proof of the undecidability of several diagrammatic properties of term rewriting systems that include: local confluence, strong confluence, diamond property, subcommutative property, and the existence…

This paper is the second in a series devoted to the development of a rigorous renormalisation group method for lattice field theories involving boson fields, fermion fields, or both. The method is set within a normed algebra $\mathcal{N}$…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $N$ a finite $R$-module. We prove that \cite[Theorem 2.1]{Mel} and \cite[Proposition 3.3 (i)$\Leftrightarrow$(ii)]{B1} are true for any Serre…