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

We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geometric manifestations of the same topological phenomena. In…

A derangement is a permutation with no fixed point, and a nonderangement is a permutation with at least one fixed point. There is a one-term recurrence for the number of derangements of $n$ elements, and we describe a bijective proof of…

In this paper we scrutinize the concept of locally inertial reference frames (LIRF) in Lorentzian and Riemann-Cartan spacetime structures. We present rigorous mathematical definitions for those objects, something that needs preliminary a…

Local feature selection in machine learning provides instance-specific explanations by focusing on the most relevant features for each prediction, enhancing the interpretability of complex models. However, such methods tend to produce…

We generalize the exact predictive regularity of symmetry groups to give an algebraic theory of patterns, building from a core principle of future equivalence. For topological patterns in fully-discrete one-dimensional systems, future…

Fixing some computably enumerable theory $T$, the Friedman-Goldfarb-Harrington (FGH) theorem says that over elementary arithmetic, each $\Sigma_1$ formula is equivalent to some formula of the form $\Box_T \varphi$ provided that $T$ is…

We prove a generalized version of Schmidt's subspace theorem for closed subschemes in general position in terms of suitably defined Seshadri constants with respect to a fixed ample divisor. Our proof builds on previous work by Evertse and…

Recently, we introduced (e-print arXiv:1407.7128) {\em local reduced density matrix functional theory} (local RDMFT), a theoretical scheme capable of incorporating static correlation effects in Kohn-Sham equations. Here, we apply local…

In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of GLn(F), where F is a non-archimedean local field.

Some years ago Szab\'o and Fine proposed a {\it local} hidden variable theory for the GHZ experiment based on the assumption that "the detection efficiency is not (only) the effect of random errors in the detector equipment, but it is a…

Recently, there has been considerable progress on designing algorithms with provable guarantees -- typically using linear algebraic methods -- for parameter learning in latent variable models. But designing provable algorithms for inference…

The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the complex structure in the complex Euclidean space. We will show two results about the Newlander-Nirenberg theorem with parameter.…

In this paper, we present a local convergence analysis of the self-consistent field (SCF) iteration using the density matrix as the state of a fixed-point iteration. Sufficient and almost necessary conditions for local convergence are…

The "higher chromatic" Quillen-Lichtenbaum conjecture, as proposed by Ausoni and Rognes, posits that the finite localization map $K(R) \to L_{n + 1}^f K(R)$ is a $p$-local equivalence in large degrees for suitable ring spectra $R$. We give…

We prove a version of Sylvester's law of inertia for the Reflection Equation Algebra (=REA). We will only be concerned with the REA constructed from the $R$-matrix associated to the standard $q$-deformation of $GL(N,\mathbb{C})$. For $q$…

We present a novel method for reliably explaining the predictions of neural networks. We consider an explanation reliable if it identifies input features relevant to the model output by considering the input and the neighboring data points.…

We study the local limit theorem for weighted sums of Bernoulli variables. We show on examples that this is an important question in the general theory of the local limit theorem, and which turns up to be not well explored. The examples we…

We study relations between reflections in (positive or negative) points in the complex hyperbolic plane. It is easy to see that the reflections in the points q_1,q_2 obtained from p_1,p_2 by moving p_1,p_2 along the geodesic generated by…

We prove a geometric local constancy theorem for affine Springer fibers in families of close local fields. Consequently, stable orbital integrals are locally constant in these families, and both the base change fundamental lemma and the…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…