Related papers: Global Implicit Function Theorems and Critical Poi…
The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…
We propose an implicit neural formulation of optimal transport that eliminates adversarial min--max optimization and multi-network architectures commonly used in existing approaches. Our key idea is to parameterize a single potential in the…
We use Dirac matrix representations of the Clifford algebra to build fracton models on the lattice and their effective Chern-Simons-like theory. As an example we build lattice fractons in odd $D$ spatial dimensions and their $(D+1)$…
We construct generalised diffeomorphisms for E$_9$ exceptional field theory. The transformations, which like in the E$_8$ case contain constrained local transformations, close when acting on fields. This is the first example of a…
The paper studies coincidence points of parameterized set-valued mappings (multifunctions), which provide an extended framework to cover several important topics in variational analysis and optimization that include the existence of…
In connection with the classical Schwartz kernel theorem, we show that in the framework of Colombeau generalized functions a large class of linear mappings admit integral kernels. To do this, we need to introduce news spaces of generalized…
Let $f_{\bf c}(r)=\sum_{n=0}^\infty e^{c_n}r^n$ be an analytic function; ${\bf c}=(c_n)\in l_\infty$. We assume that $r$ is some logarithmically convex and lower semicontinuous functional on a locally convex topological space $L$. In this…
We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands…
Iterative refinement -- start with a random guess, then iteratively improve the guess -- is a useful paradigm for representation learning because it offers a way to break symmetries among equally plausible explanations for the data. This…
We consider counterterms for odd dimensional holographic CFTs. These counterterms are derived by demanding cut-off independence of the CFT partition function on $S^d$ and $S^1 \times S^{d-1}$. The same choice of counterterms leads to a…
Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
We apply the machinery of projection lattices and von Neumann algebras to analyze the question of how modal interpretations can (and do) circumvent von Neumann's infamous 'no-hidden-variables' theorem.
In this work, a generalised version of the central limit theorem is proposed for nonlinear functionals of the empirical measure of i.i.d. random variables, provided that the functional satisfies some regularity assumptions for the…
Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the…
In this paper, we present a novel approach to investigate the existence of multiple critical points for a class of nonsmooth functionals. This method provides a robust framework to analyze the existence of solutions for problems involving…
This paper builds on the theory of generalised functions begun in [1]. The Colombeau theory of generalised scalar fields on manifolds is extended to a nonlinear theory of generalised tensor fields which is diffeomorphism invariant and has…
For the Frechet space E=C^{\infty}(S^1) and for a smooth \phi: R to R, we prove that the associated map E to E given by x mapsto\phi\circ x satisfies the continuous B\Gamma--differentiability condition in Yamamuro's inverse function theorem…
We provide sufficient conditions for a locally lipschitz mapping to be invertible . We use classical local invertibility conditions together with the non-smooth critical point theory.