Related papers: A Simple Proof of PreciseQMA = PSPACE
The Polynomial-Time Hierarchy ($\mathsf{PH}$) is a staple of classical complexity theory, with applications spanning randomized computation to circuit lower bounds to ''quantum advantage'' analyses for near-term quantum computers.…
Coherent perfect absorption (CPA), also known as time-reversed laser, is a wave phenomenon resulting from the reciprocity of destructive interference of transmitted and reflected waves. In this work we consider quasi one-dimensional lattice…
We present a plane-wave (PW) implementation of the auxiliary-field quantum Monte Carlo (AFQMC) method within the projector augmented-wave (PAW) formalism in the Vienna ab initio Simulation Package (VASP). By employing an exact inversion of…
We prove a quantitative version of the Polynomial Szemeredi Theorem for difference sets. This result is achieved by first establishing a higher dimensional analogue of a theorem of Sarkozy (the simplest non-trivial case of the Polynomial…
The problem of estimating the spectral gap of a local Hamiltonian is known to be contained in the class $P^{QMA[log]}$: polynomial time with access to a logarithmic number of QMA queries. The problem was shown to be hard for…
We investigate coherent perfect absorption (CPA) in quantum optics, in particular when pairs of squeezed coherent states of light are superposed on an absorbing beam splitter. First, by employing quantum optical input-output relations, we…
In recent years, the quantum oracle model introduced by Aaronson and Kuperberg (2007) has found a lot of use in showing oracle separations between complexity classes and cryptographic primitives. It is generally assumed that proof…
We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.
We give a new proof of the reversibility of the Schramm Loewner evolution for $\kappa \leq 4$. The main ideas used in the proof are similar to those used in the original proof of this result, given by Zhan.
In this article we consider a method of proving a class of inequalities of the form (1). The method is based on the precise approximations of the sine and cosine functions by Maclaurin polynomials of given order. By using this method we…
We present a higher dimensional, scale-invariant version of a classical theorem of F. and M. Riesz. More precisely, we establish scale invariant absolute continuity of harmonic measure with respect to surface measure, along with higher…
We prove a query complexity lower bound for $\mathsf{QMA}$ protocols that solve approximate counting: estimating the size of a set given a membership oracle. This gives rise to an oracle $A$ such that $\mathsf{SBP}^A \not\subset…
We present an elementary proof establishing the equality of the right and left-sided $\sqrt{\kappa}$-quantum lengths for an SLE$_\kappa$ curve, where $\kappa\in (0,4]$. We achieve this by demonstrating that the$\sqrt{\kappa}$-quantum length…
In this note we show that there exists a new set of operators {Q} (this set is different from the operators which satisfy the Lie algebra of the Poincare group P(1,3) with respect to which the Dirac and Maxwell equations are invariant. We…
Mermin's simple "pentagram" proof of the Kochen-Specker theorem is examined from various perspectives. We emphasise the many mathematical structures intimately related to Kochen-Specker proofs, ranging through functional analysis, sheaf…
We study a longstanding question of Aaronson and Kuperberg on whether there exists a classical oracle separating $\mathsf{QMA}$ from $\mathsf{QCMA}$. Settling this question in either direction would yield insight into the power of quantum…
We present a formal proof in Lean of probably approximately correct (PAC) learnability of the concept class of decision stumps. This classic result in machine learning theory derives a bound on error probabilities for a simple type of…
Recent works [Y.D. Chong {\it et al.}, Phys. Rev. Lett. {\bf 105}, 053901 (2010); W. Wan {\it et al.}, Science {\bf 331}, 889 (2011)] have shown that the time-reversed process of lasing at threshold realizes a coherent perfect absorber…
We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA)…
In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.