Related papers: The Quantum Query Complexity of Finding a Tarski F…
We present an unconstrained tree tensor network approach to the study of lattice gauge theories in two spatial dimensions showing how to perform numerical simulations of theories in presence of fermionic matter and four-body magnetic terms,…
The problem of finding a local minimum of a black-box function is central for understanding local search as well as quantum adiabatic algorithms. For functions on the Boolean hypercube {0,1}^n, we show a lower bound of Omega(2^{n/4}/n) on…
For any $\Omega\subset \mathbb{R}^N$ smooth and bounded domain, we prove uniqueness of positive solutions of free boundary problems arising in plasma physics on $\Omega$ in a neat interval depending only by the best constant of the Sobolev…
We study variable time search, a form of quantum search where queries to different items take different time. Our first result is a new quantum algorithm that performs variable time search with complexity $O(\sqrt{T}\log n)$ where…
In the study of Euclidean lattices, the product of the successive minima is bounded from above and below by explicit quantities. This result is known as Minkowski's second theorem, and can be refined to include Hermite's constant in the…
We compare different models of a quantum theory of four-dimensional lattice gravity based on Regge's original proposal. From Monte Carlo simulations we calculate two-point functions between geometrical quantities and estimate the masses of…
For a finite point set $E\subset \mathbb{R}^d$ and a connected graph $G$ on $k+1$ vertices, we define a $G$-framework to be a collection of $k + 1$ points in E such that the distance between a pair of points is specified if the…
Given an implicit $n\times n$ matrix $A$ with oracle access $x^TA x$ for any $x\in \mathbb{R}^n$, we study the query complexity of randomized algorithms for estimating the trace of the matrix. This problem has many applications in quantum…
In the present article, which is the first part of a work in three parts, we build an equation of quantum gravity. This equation is tensorial, is equivalent to general relativity in vacuum, but differs completely from general relativity…
We establish the existence of fixed points for certain gauge theories candidate to be magnetic duals of QCD with one adjoint Weyl fermion. In the perturbative regime of the magnetic theory the existence of a very large number of fixed…
In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R^n with n >= 1…
We determine the quantum query complexity of oracle identification on the hyperoctahedral group $B_N = \{\pm 1\}^N \rtimes S_N$ with respect to the natural representation: $Q_{LV}(B_N) = 2(N-1)$ for all $N \ge 2$. This is twice the…
We propose a twisted SUSY invariant formulation of Chern-Simons theory on a Euclidean three dimensional lattice. The SUSY algebra to be realized on the lattice is the N=4 D=3 twisted algebra that was recently proposed by D'Adda et al.. In…
The parametric lattice-point counting problem is as follows: Given an integer matrix $A \in Z^{m \times n}$, compute an explicit formula parameterized by $b \in R^m$ that determines the number of integer points in the polyhedron $\{x \in…
We consider irrational fixed points of the Minkowski question mark function $? (x)$, that is irrational solutions of the equation $? (x)=x$. It is easy to see that there exist at least two such points. Although it is not known if there are…
Lattice QCD has reached a mature status. State of the art lattice computations include $u,d,s$ (and even the $c$) sea quark effects, together with an estimate of electromagnetic and isospin breaking corrections for hadronic observables.…
The spatial search problem consists in minimizing the number of steps required to find a given site in a network, under the restriction that only oracle queries or translations to neighboring sites are allowed. We propose a quantum…
We introduce a notion of the quantum query complexity of a certificate structure. This is a formalisation of a well-known observation that many quantum query algorithms only require the knowledge of the disposition of possible certificates…
Under the assumption that the approximating function $\psi$ is monotonic, the classical Khintchine-Groshev theorem provides an elegant probabilistic criterion for the Lebesgue measure of the set of $\psi$-approximable matrices in $\R^{mn}$.…
Quantum theory is indeterministic, but not completely so. When a system is in a pure state there are properties it possesses with certainty, known as actual properties. The actual properties of a quantum system (in a pure state) fully…