Related papers: Separation of bounded arithmetic using a consisten…

Feder-Vardi conjecture, which proposed that every finite-domain Constraint Satisfaction Problem (CSP) is either in P or it is NP-complete, has been solved independently by Bulatov and Zhuk almost ten years ago. Bodirsky-Pinsker conjecture…

We identify difference-bound set constraints (DBS), an analogy of difference-bound arithmetic constraints for sets. DBS can express not only set constraints but also arithmetic constraints over set elements. We integrate DBS into separation…

This paper presents two decidability results on the validity checking problem for entailments of symbolic heaps in separation logic with Presburger arithmetic and arrays. The first result is for a system with arrays and existential…

Let $\alpha$ be a contact form on $S^3$, let $\xi$ be its Reeb vector-field and let $v$ be a non-singular vector-field in $ker\alpha$. Let $C_\beta$ be the space of curves $x$ on $S^3$ such $\dot x=a\xi+bv, \dot a=0, a \gneq 0$. Let $L^+$,…

It is known that the alternation hierarchy of least and greatest fixpoint operators in the mu-calculus is strict. However, the strictness of the alternation hierarchy does not necessarily carry over when considering restricted classes of…

We prove that any vector bundle computing the rank-two Clifford index of a smooth projective algebraic curve is linearly semistable. We also identify conditions under which such bundles become linearly stable, thereby addressing a question…

We prove in this note the local (in time) well-posedness of a broad class of $2 \times 2$ symmetrisable hyperbolic system involving additional non-local terms. The latest result implies the local well-posedness of the non dispersive…

We study beyond worst-case dimensionality reduction for $s$-sparse vectors. Our work is divided into two parts, each focusing on a different facet of beyond worst-case analysis: We first consider average-case guarantees. A folklore upper…

In this note, we show that, despite the widespread assumption, the consistency formula for Peano Arithmetic PA, Con(PA), "for all x, x is not a code of a derivation of (0=1)," is not equivalent in PA to the consistency of PA. Specifically,…

We consider the Schr\"odinger equation with no radial assumption on real hyperbolic spaces. We obtain sharp dispersive and Strichartz estimates for a large family of admissible pairs. As a first consequence, we get strong well-posedness…

We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…

We consider the derivative NLS equation in one spatial dimension, which is known to be completely integrable. We prove that the orbits of $L^2$ bounded and equicontinuous sets of initial data remain bounded and equicontinuous, not only…

We prove that there does not exist a nontrivial quantization of the Poisson algebra of the symplectic manifold S^2 which is irreducible on the subalgebra generated by the components {S_1,S_2,S_3} of the spin vector. We also show that there…

In the AdS/CFT correspondence, bulk causal structure has consequences for boundary entanglement. In quantum information science, causal structures can be replaced by distributed entanglement for the purposes of information processing. In…

We prove probabilistic well-posedness for a 2D viscous nonlinear wave equation modeling fluid-structure interaction between a 3D incompressible, viscous Stokes flow and nonlinear elastodynamics of a 2D stretched membrane. The focus is on…

High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to the sphere and the hyperbolic…

Let $q,d\geq 2$ be integers. Define $$ J(q,d):=\frac 1q \Big( \min_{0<x<1} \frac{1-x^q}{1-x} x^{-\frac{q-1}{d}}\Big). $$ Let $\mbox{$\cal G$}\subseteq {\mathbb R}^n$ be an arbitrary subset. We denote by $d(\mbox{$\cal G$})$ the set of…

We show that graph products of non trivial finite dimensional von Neumann algebras are strongly 1-bounded when the underlying *-algebra has vanishing first L2-Betti number. The proof uses a combination of the following two key ideas to…

In this paper, we prove that $\mathbb{P}^2$ blown up at seven general points admits a conic bundle structure over $\mathbb{P}^1$ and it can be embedded as $(2,2)$ divisor in $\mathbb{P}^{1}\times\mathbb{P}^{2}$. Conversely, any smooth…

We consider a minimal extension of the language of arithmetic, such that the bounded formulas provably total in a suitably-defined theory \`a la Buss (expressed in this new language) precisely capture polytime random functions. Then, we…