Related papers: A Quadratic Lower Bound for Noncommutative Circuit…

Let $K$ be a complete, algebraically closed, non-Archimedean valued field, and let $\textbf{P}^1$ denote the Berkovich projective line over $K$. The Lyapunov exponent for a rational map $\phi\in K(z)$ of degree $d\geq 2$ measures the…

We show that the number of non-isotopic commutative semifields of odd order $p^{n}$ is exponential in $n$ when $n = 4t$ and $t$ is not a power of $2$. We introduce a new family of commutative semifields and a method for proving isotopy…

In this paper we give subexponential size hitting sets for bounded depth multilinear arithmetic formulas. Using the known relation between black-box PIT and lower bounds we obtain lower bounds for these models. For depth-3 multilinear…

We say $G\to (\mathcal{C}, P_n)$ if $G-E(F)$ contains an $n$-vertex path $P_n$ for any spanning forest $F\subset G$. The size Ramsey number $\hat{R}(\mathcal{C}, P_n)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$…

A permutation array(or code) of length $n$ and distance $d$, denoted by $(n,d)$ PA, is a set of permutations $C$ from some fixed set of $n$ elements such that the Hamming distance between distinct members $\mathbf{x},\mathbf{y}\in C$ is at…

Let $\Omega\subset\mathbb{R}^d$ be any open set. We consider solutions of $H\psi_\lambda=\lambda \psi_\lambda$, $\lambda\in\mathbb{C}$, where $H$ is an $m$th order complex constant-coefficient elliptic partial differential operator. We…

We prove that $poly(t) \cdot n^{1/D}$-depth local random quantum circuits with two qudit nearest-neighbor gates on a $D$-dimensional lattice with n qudits are approximate $t$-designs in various measures. These include the "monomial"…

In this paper we found an upper bound for the minimal quantifier depth of the first part of a monadic second-order sentence without asymptotic probability described by Jerzy Tyszkiewicz, which express the extension grid axiom in the…

Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be a $C^2$ bounded domain and $\Sigma \subset \Omega$ is a $C^2$ compact boundaryless submanifold in $\mathbb{R}^N$ of dimension $k$, $0\leq k < N-2$. For $\mu\leq (\frac{N-k-2}{2})^2$, put…

We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials $\mathcal P$ restricted to an algebraic subset $V$…

We consider a class of singlet operators $(\phi^2)^n$ in the three-dimensional $O(N)$ model with $\lambda^2 \phi^6$ interaction. Recently, the corresponding anomalous dimensions $\gamma_{2n}$ were computed by semiclassical methods and the…

We show that the parity of more than three non-target input bits cannot be computed by QAC-circuits of depth-2, not even uncleanly, regardless of the number of ancilla qubits. This result is incomparable with other recent lower bounds on…

We show that, for every set of $n$ points in the $d$-dimensional unit cube, there is an empty axis-parallel box of volume at least $\Omega(d/n)$ as $n\to\infty$ and $d$ is fixed. In the opposite direction, we give a construction without an…

Circuit lower bounds are important since it is believed that a super-polynomial circuit lower bound for a problem in NP implies that P!=NP. Razborov has proved superpolynomial lower bounds for monotone circuits by using method of…

In this paper, we show that while almost all functions require exponential size branching programs to compute, for all functions $f$ there is a branching program computing a doubly exponential number of copies of $f$ which has linear size…

Linear programming (polynomial) techniques are used to obtain lower and upper bounds for the potential energy of spherical designs. This approach gives unified bounds that are valid for a large class of potential functions. Our lower bounds…

In this article we prove upper bounds for the Laplace eigenvalues $\lambda_k$ below the essential spectrum for strictly negatively curved Cartan-Hadamard manifolds. Our bound is given in terms of $k^2$ and specific geometric data of the…

Let $Q_n$ be the cube of side length one centered at the origin in $\mathbb{R}^n$, and let $F$ be an affine $(n-d)$-dimensional subspace of $\mathbb{R}^n$ having distance to the origin less than or equal to $\frac 1 2$, where $0<d<n$. We…

In this paper we prove the optimal upper bound $\frac{\lambda_{n}}{\lambda_{m}}\leq\frac{n^{2}}{m^{2}}$ $\Big(\lambda_{n}>\lambda_{m}\geq 11\sup\limits_{x\in[0,1]}q(x)\Big)$ for one-dimensional Schrodinger operators with a nonnegative…

Proving complexity lower bounds remains a challenging task: we only know how to prove conditional uniform lower bounds and nonuniform lower bounds in restricted circuit models. Williams (STOC 2010) showed how to derive nonuniform lower…