Related papers: On Use of an Explicit Congruence Predicate in Boun…
This paper is devoted to the proof of boundedness of bilinear smooth square functions. Moreover, we deduce boundedness of some bilinear pseudo-differential operators associated with symbols belonging to a subclass of $BS^0_{0,0}$.
We investigate here sums of triangular numbers $f(x):=\sum_i b_i T_{x_i}$ where $T_n$ is the $n$-th triangular number. We show that for a set of positive integers $S$ there is a finite subset $S_0$ such that $f$ represents $S$ if and only…
We prove the correctness of the AKS algorithm \cite{AKS} within the bounded arithmetic theory $T^{count}_2$ or, equivalently, the first-order consequences of the theory $VTC^0$ expanded by the smash function, which we denote by $VTC^0_2$.…
We present a propositional logic with fundamental probabilistic semantics, in which each formula is given a real measure in the interval $[0,1]$ that represents its degree of truth. This semantics replaces the binarity of classical logic,…
A rational number can be naturally presented by an arithmetic computation (AC): a sequence of elementary arithmetic operations starting from a fixed constant, say 1. The asymptotic complexity issues of such a representation are studied e.g.…
The space of Bridgeland stability conditions on the bounded derived category of coherent sheaves on P2 has a principle connected component Stab^\dag(P2). We show that Stab^\dag(P2) is the union of geometric and algebraic stability…
We describe the notion of stability of coherent systems as a framework to deal with redundancy. We define stable coherent systems and show how this notion can help the design of reliable systems. We demonstrate that the reliability of…
We give a bracket polynomial expression for intermediate terms between discriminant and resultant for pair of binary forms. As an application of the bracket polynomial expression, we give an algebraic proof of the algebraic independence of…
In this paper, we establish a strong link between the ambiguity for finite words of a B\"uchi automaton and the ambiguity for infinite words of the same automaton. This link is based on measure theory. More precisely, we show that such an…
Enabling preserving bisimilarity is a refinement of strong bisimilarity, which preserves safety as well as liveness properties. To define it properly, labelled transition systems needed to be upgraded with a successor relation, capturing…
We revisit the satisfiability problem for two-variable logic, denoted by SAT(FO2), which is known to be NEXP-complete. The upper bound is usually derived from its well known Exponential Size Model (ESM) property. Whether it can be…
In this paper we give a conditional improvement to the Elekes-Szab\'{o} problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of…
This paper gives an explicit argument to show strong boundedness for ${\rm Sp}_{2n}(R)$ for $R$ a ring of S-algebraic integers or a semi-local ring. This gives a quantitative version of a related abstract result in a previous paper of the…
Enabling preserving bisimilarity is a refinement of strong bisimilarity that preserves safety as well as liveness properties. To define it properly, labelled transition systems needed to be upgraded with a successor relation, capturing…
Series-parallel (SP) graphs are binary edge-labeled graphs with a designated source and target vertex, built using serial and parallel composition. A set of graphs is recognizable if membership depends only on its image under a homomorphism…
Famous descriptive characterisations of P and PSPACE are restated in terms of the Cook-Nguyen style second order bounded arithmetic. We introduce an axiom of inductive definitions over second order bounded arithmetic. We show that P can be…
The Stochastic Burgers Equation (SBE) is a singular, non-linear Stochastic Partial Differential Equation (SPDE) that describes, on mesoscopic scales, the fluctuations of stochastic driven diffusive systems with a conserved scalar quantity.…
We generalize the notion of S-equivalence, previously defined for semistable vector bundles, to points in arbitrary algebraic stacks and use it to describe the identification of points when passing to the moduli space. As applications, we…
We prove that if $R$ is an $\mathbb{E}_2$-ring with homotopy concentrated in even degrees, and $\{x_j\}$ is any sequence of elements in $\pi_{2*}(R)$, then $R/(x_1,x_2,\cdots)$ admits the structure of an $\mathbb{E}_1$-$R$-algebra. This…
We show that the $E_1$-equivalence $C^\bullet(S^2) \simeq H^\bullet(S^2)$ does not intertwine the inclusion of constant loops into the free loop space $S^2 \to LS^2$. That is, the isomorphism $HH_\bullet(H^\bullet(S^2)) \cong…