Related papers: A Logspace Constructive Proof of L=SL

Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily available in most applications of program verification, or on concrete models for which…

We present a thorough study of the differential geometry of weightings and develop the theory of weightings for vector bundles, Lie groupoids, and Lie algebroids. We begin by extending the work of Loizides and Meinrenken on weighted…

This paper incorporates the theory of Hochschild homology into our program on log motives. We discuss a geometric definition of logarithmic Hochschild homology of derived pre-log rings and construct an Andr\'e-Quillen type spectral…

For M a closed, connected, oriented manifold, we obtain the Batalin-Vilkovisky (BV) algebra of its string topology through homotopy-theoretic constructions on its based loop space. In particular, we show that the Hochschild cohomology of…

In this paper, first we introduce the notion of a Reynolds operator on an $n$-Lie algebra and illustrate the relationship between Reynolds operators and derivations on an $n$-Lie algebra. We give the cohomology theory of Reynolds operators…

The quasi-normal modal logic GLS is a provability logic formalizing the arithmetical truth. Kushida (2020) gave a sequent calculus for GLS and proved the cut-elimination theorem. This paper introduces semantical characterizations of GLS and…

We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a…

We use bounded cohomology to define a notion of volume of an SO(n,1)-valued representation of a lattice SO(n,1) and, using this tool, we give a complete proof of the volume rigidity theorem of Francaviglia and Klaff in this setting. Our…

We prove a Burgess-like subconvex bound for twisted L-functions of a fixed irreducible cuspidal automorphic representation of GL(2) over a totally real number field. The proof is based on a spectral decomposition of shifted convolution sums…

The classical Szeg\H{o}-Verblunsky theorem relates integrability of the logarithm of the absolutely continuous part of a probability measure on the circle to square summability of the sequence of recurrence coefficients for the orthogonal…

It is well known that $n$-dimensional projective group gives rise to a non-homogenous representation of the Lie algebra $sl(n+1)$ on the polynomial functions of the projective space. Using Shen's mixed product for Witt algebras (also known…

Proving proof-size lower bounds for $\mathbf{LK}$, the sequent calculus for classical propositional logic, remains a major open problem in proof complexity. We shed new light on this challenge by isolating the power of structural rules,…

We construct a Hennings type logarithmic invariant for restricted quantum $\mathfrak{sl}(2)$ at a $2\mathsf{p}$-th root of unity. This quantum group $U$ is not braided, but factorizable. The invariant is defined for a pair: a 3-manifold $M$…

Non-global logarithms (NGLs) are the leading manifestation of correlations between distinct phase space regions in QCD and gauge theories and have proven a challenge to understand using traditional resummation techniques. Recently, the…

This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of…

In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a direct description of this Batalin-Vilkovisky algebra in the…

We show that Khovanov homology and Hochschild homology theories share common structure. In fact they overlap: Khovanov homology of a $(2,n)$-torus link can be interpreted as a Hochschild homology of the algebra underlining the Khovanov…

We show that Talagrand's transport inequality is equivalent to a restricted logarithmic Sobolev inequality. This result clarifies the links between these two important functional inequalities. As an application, we give the first proof of…

A vector space S of linear operators between vector spaces U and V is called locally linearly dependent (in abbreviated form: LLD) when every vector x of U is annihilated by a non-zero operator in S. A duality argument bridges the theory of…

The Drinfeld-Sokolov construction of integrable hierarchies, as well as its generalizations, may be extended to the case of loop superalgebras. A sufficient condition on the algebraic data for the resulting hierarchy to be invariant under…