Related papers: The Quantum Query Complexity of Finding a Tarski F…
A perturbative quantum theory of the two Killing vector reduction of Einstein gravity is constructed. Although the reduced theory inherits from the full one the lack of standard perturbative renormalizability, we show that strict cutoff…
We propose an exact Hamiltonian lattice theory for (2+1)-dimensional spacetimes with homogeneous curvature. By gauging away the lattice we find a generalization of the ``polygon representation'' of (2+1)-dimensional gravity. We compute the…
A well-known conjecture states that the Whitney numbers of the second kind of a geometric lattice (simple matroid) are logarithmically concave. We show this conjecture to be equivalent to proving an upper bound on the number of new copoints…
The search for new physics requires a joint experimental and theoretical effort. Lattice QCD is already an essential tool for obtaining precise model-free theoretical predictions of the hadronic processes underlying many key experimental…
We investigate the properties of Lindblad equations on $d$-dimensional lattices supporting a unique steady-state configuration. We consider the case of a time evolution weakly symmetric under the action of a finite group $G$, which is also…
We derive by lattice theory a universal quantum certainty relation for arbitrary $M$ observables in $N$-dimensional system, which provides a state-independent maximum lower bound on the direct-sum of the probability vectors in terms of…
Motivated by the quantum speedup for dynamic programming on the Boolean hypercube by Ambainis et al. (2019), we investigate which graphs admit a similar quantum advantage. In this paper, we examine a generalization of the Boolean hypercube…
We introduce in this paper two dimensional lattice models whose continuum limit belongs to the $N=2$ series. The first kind of model is integrable and obtained through a geometrical reformulation, generalizing results known in the $k=1$…
We study two-dimensional U($N$) and SU($N$) gauge theories with a topological term on arbitrary surfaces. Starting from a lattice formulation we derive the continuum limit of the action which turns out to be a generalisation of the heat…
A self-map $T$ of a $\nu$-generalized metric space $(X,d\,)$ is said to be a Ciric-Matkowski contraction if $d(Tx,Ty)<d(x,y)$, for $x\neq y$, and, for every $\epsilon>0$, there is $\delta>0$ such that $d(x,y)<\delta+\epsilon$ implies…
Simon in his FOCS'94 paper was the first to show an exponential gap between classical and quantum computation. The problem he dealt with is now part of a well-studied class of problems, the hidden subgroup problems. We study Simon's problem…
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the alge- braic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras…
A periodic lattice in Euclidean space is the infinite set of all integer linear combinations of basis vectors. Any lattice can be generated by infinitely many different bases. This ambiguity was only partially resolved, but standard…
We study the problem of \emph{local search} on a graph. Given a real-valued black-box function f on the graph's vertices, this is the problem of determining a local minimum of f--a vertex v for which f(v) is no more than f evaluated at any…
The 1971 Fortuin-Kasteleyn-Ginibre (FKG) inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008 one of us (Sahi)…
We consider the problem of searching a general $d$-dimensional lattice of $N$ vertices for a single marked item using a continuous-time quantum walk. We demand locality, but allow the walk to vary periodically on a small scale. By…
The QCD pressure is a most fundamental quantity, for which lattice data is available up to a few times the critical temperature $T_c$. Perturbation theory, even at very high temperatures, has serious convergence problems. Combining…
We report the results of a numerical simulation of a lattice formulation of the two-dimensional N=(2,2) super Yang-Mills theory proposed by Suzuki and Taniguchi. We measure the 1-point functions and 2-point functions. The scenario is that…
We construct a family of functions suitable for establishing lower bounds on the oracle complexity of first-order minimization of smooth strongly-convex functions. Based on this construction, we derive new lower bounds on the complexity of…
A $k$-collision for a compressing hash function $H$ is a set of $k$ distinct inputs that all map to the same output. In this work, we show that for any constant $k$, $\Theta\left(N^{\frac{1}{2}(1-\frac{1}{2^k-1})}\right)$ quantum queries…