SearcharxivSearch

arXiv subjects

Stephen Fenner

Publications and source records attributed to Stephen Fenner.

14 recordsLinked to original sources

Tight bounds on depth-2 QAC-circuits computing parity

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 constant-depth QAC-circuits by Rosenthal [ICTS~2021,arXiv:2008.07470] and uses different techniques which may be of independent interest: 1. We show that all members of a certain class of multivariate polynomials are irreducible. The proof applies a technique of Shpilka & Volkovich [STOC 2008]. 2. We give a tight-in-some-sense characterization of when a multiqubit CZ gate creates or removes entanglement from the state it is applied to. The current paper strengthens an earlier version of the paper [arXiv:2005.12169].

quant-ph

Quantum Fanout and GHZ states using spin-exchange interactions

We show how the fanout operation on $n$ logical qubits can be implemented via spin-exchange (Heisenberg) interactions between $2n$ physical qubits, together with a physical target qubit and $1$- and $2$-qubit gates in constant depth. We also show that the same interactions can be used to implement Mod_q gates for any $q>1$. These results allow for unequal coupling strengths between physical qubits. This work generalizes an earlier result by Fenner & Zhang [arXiv: quant-ph/0407125], wherein the authors showed similar results assuming all pairwise couplings are equal. The current results give exact conditions on the pairwise couplings that allow for this implementation. Precisely, each logical qubit is encoded into two physical qubits. Couplings between physical qubits encoding the same logical qubit are termed as internal couplings and couplings between the ones encoding different logical qubits are termed as external couplings. We show that for a suitable time $T$ of evolution, the following conditions should hold: a) every external coupling should be an odd integer multiple of $\pi/2T$; b) every internal coupling should be an integer multiple of $\pi/T$; and c) the external magnetic strength in $z$-direction should be an integer multiple of $\pi/T$. Since generalized GHZ (''cat'') states can be created in constant depth using fanout, the same interactions can be used to create these states.

quant-ph

Implementing the quantum fanout operation with simple pairwise interactions

It has been shown that, for even $n$, evolving $n$ qubits according to a Hamiltonian that is the sum of pairwise interactions between the particles, can be used to exactly implement an $(n+1)$-qubit fanout gate using a particular constant-depth circuit [arXiv:quant-ph/0309163]. However, the coupling coefficients in the Hamiltonian considered in that paper are assumed to be all equal. In this paper, we generalize these results and show that for all $n$, including odd $n$, one can exactly implement an $(n+1)$-qubit parity gate and hence, equivalently in constant depth an $(n+1)$-qubit fanout gate, using a similar Hamiltonian but with unequal couplings, and we give an exact characterization of which couplings are adequate to implement fanout via the same circuit. We also investigate pairwise couplings that satisfy an inverse square law, giving necessary and sufficient criteria for implementing fanout given spatial arrangements of identical qubits in two and three dimensions subject to this law. We use our criteria to give planar arrangements of four qubits that (together with a target qubit) are adequate to implement $5$-qubit fanout.

quant-ph

Depth-2 QAC circuits cannot simulate quantum parity

We show that the quantum parity gate on $n > 3$ qubits cannot be cleanly simulated by a quantum circuit with two layers of arbitrary C-SIGN gates of any arity and arbitrary 1-qubit unitary gates, regardless of the number of allowed ancilla qubits. This is the best known and first nontrivial separation between the parity gate and circuits of this form. The same bounds also apply to the quantum fanout gate. Our results are incomparable with those of Fang et al. [3], which apply to any constant depth but require a sublinear number of ancilla qubits on the simulating circuit.

quant-ph

Compression Complexity

The Kolmogorov complexity of x, denoted C(x), is the length of the shortest program that generates x. For such a simple definition, Kolmogorov complexity has a rich and deep theory, as well as applications to a wide variety of topics including learning theory, complexity lower bounds and SAT algorithms. Kolmogorov complexity typically focuses on decompression, going from the compressed program to the original string. This paper develops a dual notion of compression, the mapping from a string to its compressed version. Typical lossless compression algorithms such as Lempel-Ziv or Huffman Encoding always produce a string that will decompress to the original. We define a general compression concept based on this observation. For every m, we exhibit a single compression algorithm q of length about m which for n and strings x of length n >= m, the output of q will have length within n-m+O(1) bits of C(x). We also show this bound is tight in a strong way, for every n >= m there is an x of length n with C(x) about m such that no compression program of size slightly less than m can compress x at all. We also consider a polynomial time-bounded version of compression complexity and show that similar results for this version would rule out cryptographic one-way functions.

cs.CC

Fixed-Parameter Extrapolation and Aperiodic Order

Fix any $\lambda\in\mathbb{C}$. We say that a set $S\subseteq\mathbb{C}$ is $\lambda$-$convex$ if, whenever $a$ and $b$ are in $S$, the point $(1-\lambda)a+\lambda b$ is also in $S$. If $S$ is also (topologically) closed, then we say that $S$ is $\lambda$-$clonvex$. We investigate the properties of $\lambda$-convex and $\lambda$-clonvex sets and prove a number of facts about them. Letting $R_\lambda\subseteq\mathbb{C}$ be the least $\lambda$-clonvex superset of $\{0,1\}$, we show that if $R_\lambda$ is convex in the usual sense, then $R_\lambda$ must be either $[0,1]$ or $\mathbb{R}$ or $\mathbb{C}$, depending on $\lambda$. We investigate which $\lambda$ make $R_\lambda$ convex, derive a number of conditions equivalent to $R_\lambda$ being convex, and give several conditions sufficient for $R_\lambda$ to be convex or not convex; in particular, we show that $R_\lambda$ is either convex or uniformly discrete. Letting $\mathcal{C} := \{\lambda\in\mathbb{C}\mid \mbox{$R_\lambda$ is convex}\}$, we show that $\mathbb{C}\setminus\mathcal{C}$ is closed, discrete and contains only algebraic integers. We also give a sufficient condition on $\lambda$ for $R_\lambda$ and some other related $\lambda$-convex sets to be discrete by introducing the notion of a strong PV number. These conditions give rise to a number of periodic and aperiodic Meyer sets (the latter sometimes known as "quasicrystals"). The paper is in four parts. Part I describes basic properties of $\lambda$-convex and $\lambda$-clonvex sets, including convexity versus uniform discreteness. Part II explores the connections between $\lambda$-convex sets and quasicrystals and displays a number of such sets, including several with dihedral symmetry. Part III generalizes a result from Part I about the $\lambda$-convex closure of a path, and Part IV contains our conclusions and open problems.

math.CV

Rectangle Free Coloring of Grids

A two-dimensional \emph{grid} is a set $\Gnm = [n]\times[m]$. A grid $\Gnm$ is \emph{$c$-colorable} if there is a function $χ_{n,m}: \Gnm \to [c]$ such that there are no rectangles with all four corners the same color. We address the following question: for which values of $n$ and $m$ is $\Gnm$ $c$-colorable? This problem can be viewed as a bipartite Ramsey problem and is related to a the Gallai-Witt theorem (also called the multidimensioanl Van Der Waerden's Theorem). We determine (1) \emph{exactly} which grids are 2-colorable, (2) \emph{exactly} which grids are 3-colorable, and (3) \emph{exactly} which grids are 4-colorable. We use combinatorics, finite fields, and tournament graphs.

math.CO

A Statement in Combinatorics that is Independent of ZFC (an exposition)

It is known that, for any finite coloring of the naturals, there exists distinct naturals $e_1,e_2,e_3,e_4$ that are the same color such that $e_1+e_2=e_3+e_4$. Consider the following statement which we denote S: For every $\aleph_0$-coloring of the reals there exists distinct reals $e_1,e_2,e_3,e_4$ such that $e_1+e_2=e_3+e_4$?} Is it true? Erdos showed that S is equivalent to the negation of the Continuum Hypothesis, and hence S is indepedent of ZFC. We give an exposition of his proof and some modern observations about results of this sort.

math.CO

Monochromatic boxes in colored grids

A $d$-dimensional grid is a set of the form $R = [a_1] \times ... \times [a_d]$. A $d$-dimensional box is a set of the form $\{b_1,c_1\} \times ... \times \{b_d,c_d\}$. When a grid is $c$-colored, must it admit a monochromatic box? If so, we say that $R$ is $c$-guaranteed. This question is a relaxation of one attack on bounding the van der Waerden numbers, and also arises as a natural hypergraph Ramsey problem (viz. the Ramsey numbers of hyperoctahedra). We give conditions on the $a_i$ for $R$ to be $c$-guaranteed that are asymptotically tight, and analyze the set of minimally $c$-guaranteed grids.

math.CO

Universal Quantum Circuits

We define and construct efficient depth-universal and almost-size-universal quantum circuits. Such circuits can be viewed as general-purpose simulators for central classes of quantum circuits and can be used to capture the computational power of the circuit class being simulated. For depth we construct universal circuits whose depth is the same order as the circuits being simulated. For size, there is a log factor blow-up in the universal circuits constructed here. We prove that this construction is nearly optimal.

cs.CC

Quantum algorithms for a set of group theoretic problems

We study two group theoretic problems, GROUP INTERSECTION and DOUBLE COSET MEMBERSHIP, in the setting of black-box groups, where DOUBLE COSET MEMBERSHIP generalizes a set of problems, including GROUP MEMBERSHIP, GROUP FACTORIZATION, and COSET INTERSECTION. No polynomial-time classical algorithms are known for these problems. We show that for solvable groups, there exist efficient quantum algorithms for GROUP INTERSECTION if one of the underlying solvable groups has a smoothly solvable commutator subgroup, and for DOUBLE COSET MEMBERSHIP if one of the underlying solvable groups is smoothly solvable. We also study the decision versions of STABILIZER and ORBIT COSET, which generalizes GROUP INTERSECTION and DOUBLE COSET MEMBERSHIP, respectively. We show that they reduce to ORBIT COSET under certain conditions. Finally, we show that DOUBLE COSET MEMBERSHIP and DOUBLE COSET NONMEMBERSHIP have zero knowledge proof systems.

quant-ph

Bounds on the Power of Constant-Depth Quantum Circuits

We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, our results imply EQNC^0 is contained in P, where EQNC^0 is the constant-depth analog of the class EQP. On the other hand, we adapt and extend ideas of Terhal and DiVincenzo (quant-ph/0205133) to show that, for any family F of quantum gates including Hadamard and CNOT gates, computing the acceptance probabilities of depth-five circuits over F is just as hard as computing these probabilities for circuits over F. In particular, this implies that NQNC^0 = NQACC = NQP = coC=P where NQNC^0 is the constant-depth analog of the class NQP. This essentially refutes a conjecture of Green et al. that NQACC is contained in TC^0 (quant-ph/0106017).

quant-ph

Quantum Lower Bounds for Fanout

We prove several new lower bounds for constant depth quantum circuits. The main result is that parity (and hence fanout) requires log depth circuits, when the circuits are composed of single qubit and arbitrary size Toffoli gates, and when they use only constantly many ancillæ. Under this constraint, this bound is close to optimal. In the case of a non-constant number $a$ of ancillae, we give a tradeoff between $a$ and the required depth, that results in a non-trivial lower bound for fanout when $a = n^{1-o(1)}$.

quant-ph

Determining Acceptance Possibility for a Quantum Computation is Hard for the Polynomial Hierarchy

It is shown that determining whether a quantum computation has a non-zero probability of accepting is at least as hard as the polynomial time hierarchy. This hardness result also applies to determining in general whether a given quantum basis state appears with nonzero amplitude in a superposition, or whether a given quantum bit has positive expectation value at the end of a quantum computation. This result is achieved by showing that the complexity class NQP of Adleman, Demarrais, and Huang, a quantum analog of NP, is equal to the counting class coC$_=$P.

quant-ph