Related papers: The Quantum Query Complexity of Finding a Tarski F…

We study the deterministic query complexity of Boolean functions on slices of the hypercube. The $k^{th}$ slice $\binom{[n]}{k}$ of the hypercube $\{0,1\}^n$ is the set of all $n$-bit strings with Hamming weight $k$. We show that there…

Let $T := \mathbb{G}_m^d$ be the torus acting on the Quot scheme of points $\coprod_n \mathrm{Quot}_{\mathcal{O}^r/\mathbb{A}^d/\mathbb{Z}}^n$ via the standard action on $\mathbb{A}^d$. We analyze the fixed locus of the Quot scheme under…

In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…

We study the fixed point problem for a system of multivariate operators that are coordinate-wise monotone (i.e., nondecreasing or nonincreasing in each of the variables, independently), in the setting of quasi-ordered sets. We show that…

We present a thorough investigation of nonstabilizerness - a fundamental quantum resource that quantifies state complexity within the framework of quantum computing - in a one-dimensional U(1) lattice gauge theory. We show how…

In the typical model, a discrete-time coined quantum walk searching the 2D grid for a marked vertex achieves a success probability of $O(1/\log N)$ in $O(\sqrt{N \log N})$ steps, which with amplitude amplification yields an overall runtime…

We derive a systematic Lagrangian approach for quantum gravity in the super-Planckian limit where $s\gg M_{pl}^2\gg t$. The action can be used to calculate to arbitrary accuracy in the quantum and classical expansion parameters $\alpha_Q=…

This paper employs a powerful argument, called an algorithmic argument, to prove lower bounds of the quantum query complexity of a multiple-block ordered search problem in which, given a block number i, we are to find a location of a target…

We present a natural reverse Minkowski-type inequality for lattices, which gives upper bounds on the number of lattice points in a Euclidean ball in terms of sublattice determinants, and conjecture its optimal form. The conjecture exhibits…

The overlap Dirac operator, which satisfies the Ginsparg-Wilson relation, realizes exact chiral symmetry on the lattice without any unphysical doubler modes. To perform the path integrals, one should, however, note that the overlap fermion…

We study the problem of {\sl certification}: given queries to a function $f : \{0,1\}^n \to \{0,1\}$ with certificate complexity $\le k$ and an input $x^\star$, output a size-$k$ certificate for $f$'s value on $x^\star$. This abstractly…

We consider a special class of two-dimensional discrete equations defined by relations on elementary NxN squares, N>2, of the square lattice Z^2, and propose a new type of consistency conditions on cubic lattices for such discrete equations…

The origin of the bosonic and fermionic solutions, constructed in [1,2,3], to the symmetry equations corresponding to the two-dimensional bosonic and N=(2|2) supersymmetric Toda lattices is established, and algebras of the corresponding…

The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and…

The following geometric vehicle scheduling problem has been considered: given continuous curves $f_1, \ldots, f_n : \mathbb{R} \rightarrow \mathbb{R}^2$, find non-negative delays $t_1, \ldots, t_n$ minimizing $\max \{ t_1, \ldots, t_n \}$…

Let $Q(X)$ be any integral primitive positive definite quadratic form with discriminant $D$ and in $k$ variables where $k\geq4$. We give an upper bound on the number of integral solutions of $Q(X)=n$ for any integer $n$ in terms of $n$, $k$…

The unitarity of the 4D lattice theory of gravity in the case of the Minkowski signature is proved. The proof is valid only for lattices that conserve the number of degrees of freedom during time evolution. The Euclidean signature and the…

We study the nonperturbative formulation of quantum gravity defined via Euclidean dynamical triangulations (EDT) in an attempt to make contact with Weinberg's asymptotic safety scenario. We find that a fine-tuning is necessary in order to…

Harry Buhrman et al gave an Omega(sqrt n) lower bound for monotone graph properties in the adjacency matrix query model. Their proof is based on the polynomial method. However for some properties stronger lower bounds exist. We give an…

We describe and test a method to compute Euclidean meson two-point functions in lattice QCD. The contribution from the low-lying eigenmodes of the Dirac operator is averaged over all positions of the quark sources. The contribution from the…