Related papers: From Quantifier Depth to Quantifier Number: Separa…

The quantified Boolean formula (QBF) problem is an important decision problem generally viewed as the archetype for PSPACE-completeness. Many problems of central interest in AI are in general not included in NP, e.g., planning, model…

Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeucht-Fraisse (EF) games in two ways: first, MS games are…

Let p be a rational prime and let F be a number field. Then, for each i>0, there is a short exact localization sequence for K_{2i}(F). If p is odd or F is nonexceptional, we find necessary and sufficient conditions for this exact sequence…

The first-order (FO) model checking problem asks, given an FO sentence $\phi$ and a graph $G$, whether $G$ is a model of $\phi$. This problem is known to be $\mathsf{AW[*]}$-hard when parameterized by the quantifier rank of the formula. A…

Minimal codes are linear codes where all non-zero codewords are minimal, i.e., whose support is not properly contained in the support of another codeword. The minimum possible length of such a $k$-dimensional linear code over $\mathbb{F}_q$…

We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…

We define lacunary Fourier series on a compact connected semisimple Lie group $G$. If $f \in L^1(G)$ has lacunary Fourier series, and vanishes on a non empty open set, then we prove that $f$ vanishes identically. This may be viewed as a…

Spectrum of a first order sentence is the set of all $\alpha$ such that $G(n, n^{-\alpha})$ does not obey zero-one law w.r.t. this sentence. We have proved that the minimal number of quantifier alternations of a first order sentence with an…

In this paper Quantum Mechanics with Fundamental Length is chosen as Quantum Mechanics at Planck's scale. This is possible due to the presence in the theory of General Uncertainty Relations. Here Quantum Mechanics with Fundamental Length is…

In the constraint database model, spatial and spatio-temporal data are stored by boolean combinations of polynomial equalities and inequalities over the real numbers. The relational calculus augmented with polynomial constraints is the…

Let $F \in \mathbb{Z}[x_0, \ldots, x_n]$ be homogeneous of degree $d$ and assume that $F$ is not a `nullform', i.e., there is an invariant $I$ of forms of degree $d$ in $n+1$ variables such that $I(F) \neq 0$. Equivalently, $F$ is…

A classical theorem of Baranyai states that, given integers $2\leq k < n$ such that $k$ divides $n$, one can find a family of ${n-1\choose k-1}$ partitions of $[n]$ into $k$-element subsets such that every subset appears in exactly one…

In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordstrom 2009] introduced the concept of minimally unsatisfiable sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m…

Quantum simulation of the electronic structure problem is one of the most researched applications of quantum computing. The majority of quantum algorithms for this problem encode the wavefunction using $N$ Gaussian orbitals, leading to…

We give the first super-polynomial separation in the power of bounded-depth boolean formulas vs. circuits. Specifically, we consider the problem Distance $k(n)$ Connectivity, which asks whether two specified nodes in a graph of size $n$ are…

Instead of formulating the states of a Quantum Field Theory (QFT) as density matrices over a single large Hilbert space, it has been proposed by Kijowski [Kijowski, 1977] to construct them as consistent families of partial density matrices,…

In deep neural networks (DNNs), there are a huge number of weights and multiply-and-accumulate (MAC) operations. Accordingly, it is challenging to apply DNNs on resource-constrained platforms, e.g., mobile phones. Quantization is a method…

We prove a p-adic, local version of the Monotonicity Theorem for P-minimal structures. The existence of such a theorem was originally conjectured by Haskell and Macpherson. We approach the problem by considering the first order strict…

We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…

The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed…