Related papers: A Logspace Constructive Proof of L=SL

Proving linearizability of concurrent data structures remains a key challenge for verification. We present temporal interpolation as a new proof principle to conduct such proofs using hindsight arguments within concurrent separation logic.…

The loop equations in the $U(N)$ lattice gauge theory are represented in the form of constraints imposed on a generating functional for the Wilson loop correlators. These constraints form a closed algebra with respect to commutation. This…

In this paper we show derivations among logarithmic space bounded counting classes based on closure properties of $\#L$ that leads us to the result that $NL=C_=L\subseteq PL$.

We consider the inverse problem of the reconstruction of a Schr\"odinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $\Gamma$ and the eigenvalues corresponding to a set…

We obtain density theorems for cuspidal automorphic representations of $\text{GL}_n$ over $\mathbb{Q}$ which fail the generalized Ramanujan conjecture at some place. We depart from previous approaches based on Kuznetsov-type trace formulae,…

We prove {\rm (i)} Nichols algebra $\mathfrak B(V)$ of vector space $V$ is finite-dimensional if and only if Nichols braided Lie algebra $\mathfrak L(V)$ is finite-dimensional; {\rm (ii)} If the rank of connected $V$ is $2$ and $\mathfrak…

We establish a system of PDE, called open WDVV, that constrains the bulk-deformed superpotential and associated open Gromov-Witten invariants of a Lagrangian submanifold $L \subset X$ with a bounding chain. Simultaneously, we define the…

This paper is about the logarithmic limit sets of real semi-algebraic sets, and, more generally, about the logarithmic limit sets of sets definable in an o-minimal, polynomially bounded structure. We prove that most of the properties of the…

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$…

We prove the following version of the Loebl-Komlos-Sos Conjecture: For every alpha>0 there exists a number M such that for every k>M every n-vertex graph G with at least (0.5+alpha)n vertices of degree at least (1+alpha)k contains each tree…

We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small,"…

It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra X+ over any dense-in-itself separable metrizable space. In particular, S4 is the logic of the closure algebra over the reals R, the rationals…

As textual reasoning with large language models (LLMs) has advanced significantly, there has been growing interest in enhancing the multimodal reasoning capabilities of large vision-language models (LVLMs). However, existing methods…

The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking.…

We refine the well-known Blanco-Koldobsky-Turn\v{s}ek Theorem which states that a norm one linear operator defined on a Banach space is an isometry if and only if it preserves orthogonality at every element of the space. We improve the…

Let $V$ be a simple vertex algebra of countable dimension, $G$ be a finite automorphism group of $V$ and $\sigma$ be a central element of $G$. Assume that ${\cal S}$ is a finite set of inequivalent irreducible $\sigma$-twisted $V$-modules…

We establish a direct map between refined topological vertex and sl(N) homological invariants of the of Hopf link, which include Khovanov-Rozansky homology as a special case. This relation provides an exact answer for homological invariants…

We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory…

Let $X$ be a complete variety of dimension $n$ over an algebraically closed field $\mathbf{K}$. Let $V_\bullet$ be a graded linear series associated to a line bundle $L$ on $X$, that is, a collection $\{V_m\}_{m\in\mathbb{N}}$ of vector…

The object of this paper is to prove a version of the Beurling-Helson-Lowdenslager invariant subspace theorem for operators on certain Banach spaces of functions on a multiply connected domain in the complex plane. The norms for these…