Related papers: Formalizing Singer Sidon Constructions and Sidon S…

Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it…

A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on…

This paper contains three results about generating functions for Lie-theoretic integration of Poisson brackets and their relation to quantization. In the first, we show how to construct a generating function associated to the germ of any…

Multiple successful compositional symbolic execution (CSE) tools and platforms exploit separation logic (SL) for compositional verification and/or incorrectness separation logic (ISL) for compositional bug-finding, including VeriFast,…

We discuss certain integrable quantum field theories in (1+1)-dimensions consisting of coupled sine/sinh-Gordon theories with N=1 supersymmetry, positive kinetic energy, and bosonic potentials which are bounded from below. We show that…

Halidon rings are rings with a unit element, containing a primitive $m^{th}$ root of unity and $m$ is invertible in the ring. The field of complex numbers is a halidon ring with any index $ m \geq 1$. In this article, the author examines…

For fixed $m$ and $R\subseteq \{0,1,\ldots,m-1\}$, take $A$ to be the set of positive integers congruent modulo $m$ to one of the elements of $R$, and let $p_A(n)$ be the number of ways to write $n$ as a sum of elements of $A$. Nathanson…

In this paper, we construct, in a unified fashion, lower order finite element subspaces of spaces of symmetric tensors with square-integrable divergence on a domain in any dimension. These subspaces are essentially the symmetric H(div)-Pk…

We give a general framework for approximations to combinatorial assemblies, especially suitable to the situation where the number $k$ of components is specified, in addition to the overall size $n$. This involves a Poisson process, which,…

The general idea of this paper is to start from a classical integrable (partial differential) equation which arises as a compatibility condition for a matrix linear differential problem. For definitiveness' sake, a generalised sinh-Gordon…

We show that the complicated *-structure characterizing for positive q the U_qso(N)-covariant differential calculus on the non-commutative manifold R_q^N boils down to similarity transformations involving the ribbon element of a central…

Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=up^{\nu}$. Let $\sigma_1,\dots,\sigma_n$ denote the $K$-embeddings of $L$ into a separable…

The Selberg sieve provides majorants for certain arithmetic sequences, such as the primes and the twin primes. We prove an L^2-L^p restriction theorem for majorants of this type. An immediate application is to the estimation of exponential…

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…

Symmetric Space Sine-Gordon theories are two-dimensional massive integrable field theories, generalising the Sine-Gordon and Complex Sine-Gordon theories. To study their integrability properties on the real line, it is necessary to…

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ng\^o Bao Ch\^au's proof of the Langlands-Shelstad fundamental lemma. Ng\^o's approach is based on a study of the elliptic part of the…

For $R>0$, we give a rigorous probabilistic construction on the cylinder $\mathbb{R} \times (\mathbb{R}/(2\pi R\mathbb{Z}))$ of the (massless) Sinh-Gordon model. In particular we define the $n$-point correlation functions of the model and…

Let $A$ be a commutative ring, let $k\in\mathbb{Z}^+$, and let $\vec{s}=(n_1,\dots,n_k)\in(\mathbb{Z}^+)^k$ with $n=\min_a(n_a)-1$. We attach to $\vec{s}$ a diagonal simplicial tensor module $X_\bullet(\vec{s};A)$ whose $p$-simplices are…

We present an analytic study of the finite size effects in Sine--Gordon model, based on the semiclassical quantization of an appropriate kink background defined on a cylindrical geometry. The quasi--periodic kink is realized as an elliptic…

The deformed supersymmetric sine-Gordon model, obtained through known deformation of the corresponding potential, is found to be quasi-integrable, like its non-supersymmetric counterpart, which was observed earlier. The system expectedly…