arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Cristopher Moore

235 papers · 1990–2026

1990: 11991: 21992: 01993: 01994: 01995: 31996: 31997: 81998: 91999: 82000: 92001: 92002: 82003: 62004: 62005: 202006: 72007: 52008: 112009: 52010: 92011: 222012: 112013: 102014: 72015: 122016: 62017: 72018: 22019: 62020: 32021: 32022: 42023: 42024: 22025: 42026: 3
1990peak 22 in 20112026

Frequent co-authors

Papers

showing 1–25 of 235 RSS

Unpredictability and undecidability in dynamical systems

Cristopher Moore

Computational Theory and Mathematics · Physical Review Letters · · cited 414× · DOI ↗ · more like this ·

We show that motion with as few as three degrees of freedom (for instance, a particle moving in a three-dimensional potential) can be equivalent to a Turing machine, and so be capable of universal computation. Such systems possess a type of unpredictability qualitatively stronger than that which has been previously discussed in the study of low-dimensional chaos: Even if the initial conditions are known exactly, virtually any question about their long-term dynamics is undecidable.

Quantum Walks on the Hypercube

Cristopher Moore, Alexander Russell

quant-ph · · cited 222× · arXiv ↗ · more like this ·

Recently, it has been shown that one-dimensional quantum walks can mix more quickly than classical random walks, suggesting that quantum Monte Carlo algorithms can outperform their classical counterparts. We study two quantum walks on the n-dimensional hypercube, one in discrete time and one in continuous time. In both cases we show that the quantum walk mixes in (π/4)n steps, faster than the O(n log n) steps required by the classical walk. In the continuous-time case, the probability distribution is {\em exactly} uniform at this time. More importantly, these walks expose several subtleties in the definition of mixing time for quantum walks. Even though the continuous-time walk has an O(n) instantaneous mixing time at which it is precisely uniform, it never approaches the uniform distribution when the stopping time is chosen randomly as in [AharonovAKV2001]. Our analysis treats…

On the Bias of Traceroute Sampling; or, Power-law Degree Distributions in Regular Graphs

Dimitris Achlioptas, Aaron Clauset, David Kempe +1 more

cond-mat.dis-nn · · cited 212× · arXiv ↗ · more like this ·

Understanding the structure of the Internet graph is a crucial step for building accurate network models and designing efficient algorithms for Internet applications. Yet, obtaining its graph structure is a surprisingly difficult task, as edges cannot be explicitly queried. Instead, empirical studies rely on traceroutes to build what are essentially single-source, all-destinations, shortest-path trees. These trees only sample a fraction of the network's edges, and a recent paper by Lakhina et al. found empirically that the resuting sample is intrinsically biased. For instance, the observed degree distribution under traceroute sampling exhibits a power law even when the underlying degree distribution is Poisson. In this paper, we study the bias of traceroute sampling systematically, and, for a very general class of underlying degree distributions, calculate the likely observed…

Generalized shifts: unpredictability and undecidability in dynamical systems

Cristopher Moore

Computational Theory and Mathematics · Nonlinearity · · cited 206× · DOI ↗ · more like this ·

A class of shift-like dynamical systems is presented that displays a wide variety of behaviours. Three examples are presented along with some general definitions and results. A correspondence with Turing machines allows us to discuss issues of predictability and complexity. These systems possess a type of unpredictability qualitatively stronger than that which has been previously discussed in the study of low-dimensional chaos, and many simple questions about their dynamics are undecidable. We discuss the complexity of various sets they generate, including periodic points, basins of attraction, and time series. Finally, we show that they can be embedded in smooth maps in R², or smooth Rows in R³.

Parallel Quantum Computation and Quantum Codes

Cristopher Moore, Martin Nilsson

quant-ph · · cited 196× · arXiv ↗ · more like this ·

We propose a definition of QNC, the quantum analog of the efficient parallel class NC. We exhibit several useful gadgets and prove that various classes of circuits can be parallelized to logarithmic depth, including circuits for encoding and decoding standard quantum error-correcting codes, or more generally any circuit consisting of controlled-not gates, controlled pi-shifts, and Hadamard gates. Finally, while we note the Quantum Fourier Transform can be parallelized to linear depth, we conjecture that an even simpler `staircase' circuit cannot be parallelized to less than linear depth, and might be used to prove that QNC < QP.

Hard Tiling Problems with Simple Tiles

Cristopher Moore, John Michael Robson

math.CO · · cited 179× · arXiv ↗ · more like this ·

It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process, we show that Monotone 1-in-3 Satisfiability is NP-complete for planar cubic graphs. In higher dimensions, we show NP-completeness for the domino and straight tromino for general regions on the cubic lattice, and for simply-connected regions on the four-dimensional hypercubic lattice.

Random <i>k</i>‐SAT: Two Moments Suffice to Cross a Sharp Threshold

Dimitris Achlioptas, Cristopher Moore

Computer Networks and Communications · SIAM Journal on Computing · · cited 164× · DOI ↗ · more like this ·

Many NP‐complete constraint satisfaction problems appear to undergo a "phase transition" from solubility to insolubility when the constraint density passes through a critical threshold. In all such cases it is easy to derive upper bounds on the location of the threshold by showing that above a certain density the first moment (expectation) of the number of solutions tends to zero. We show that in the case of certain symmetric constraints, considering the second moment of the number of solutions yields nearly matching lower bounds for the location of the threshold. Specifically, we prove that the threshold for both random hypergraph 2‐colorability (Property B) and random Not‐All‐Equal k‐SAT is $2^{k-1}\ln 2 -O(1)$. As a corollary, we establish that the threshold for random k‐SAT is of order $\Theta(2^k)$, resolving a long‐standing open problem.

Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold

Dimitris Achlioptas, Cristopher Moore

cond-mat.stat-mech · · cited 161× · arXiv ↗ · more like this ·

Many NP-complete constraint satisfaction problems appear to undergo a "phase transition'' from solubility to insolubility when the constraint density passes through a critical threshold. In all such cases it is easy to derive upper bounds on the location of the threshold by showing that above a certain density the first moment (expectation) of the number of solutions tends to zero. We show that in the case of certain symmetric constraints, considering the second moment of the number of solutions yields nearly matching lower bounds for the location of the threshold. Specifically, we prove that the threshold for both random hypergraph 2-colorability (Property B) and random Not-All-Equal k-SAT is 2^{k-1} ln 2 -O(1). As a corollary, we establish that the threshold for random k-SAT is of order Theta(2^k), resolving a long-standing open problem.

Complexity of Two-Dimensional Patterns

Kristian Lindgren, Cristopher Moore, Mats G. Nordahl

cond-mat · · cited 145× · arXiv ↗ · more like this ·

In dynamical systems such as cellular automata and iterated maps, it is often useful to look at a language or set of symbol sequences produced by the system. There are well-established classification schemes, such as the Chomsky hierarchy, with which we can measure the complexity of these sets of sequences, and thus the complexity of the systems which produce them. In this paper, we look at the first few levels of a hierarchy of complexity for two-or-more-dimensional patterns. We show that several definitions of ``regular language'' or ``local rule'' that are equivalent in d=1 lead to distinct classes in d >= 2. We explore the closure properties and computational complexity of these classes, including undecidability and L-, NL- and NP-completeness results. We apply these classes to cellular automata, in particular to their sets of fixed and periodic points, finite-time images, and limit…

The asymptotic order of the random k-SAT threshold

Dimitris Achlioptas, Cristopher Moore

Computer Networks and Communications · · cited 119× · DOI ↗ · more like this ·

Form a random k-SAT formula on n variables by selecting uniformly and independently m=rn clauses out of all 2/sup k/ (/sub k//sup n/) possible k-clauses. The satisfiability threshold conjecture asserts that for each k there exists a constant r/sub k/ such that, as n tends to infinity, the probability that the formula is satisfiable tends to 1 if r<r/sub k/ and to 0 if r>r/sub k/. It has long been known that 2/sup k//k<r/sub k/<2/sup k/. We prove that r/sub k/>2/sup k-1/ ln 2-d/sub k/, where d/sub k//spl rarr/(1+ln2)/2. Our proof also allows a blurry glimpse of the "geometry" of the set of satisfying truth assignments.

Generic Quantum Fourier Transforms

Cristopher Moore, Daniel Rockmore, Alexander Russell

quant-ph · · cited 109× · arXiv ↗ · more like this ·

The quantum Fourier transform (QFT) is the principal algorithmic tool underlying most efficient quantum algorithms. We present a generic framework for the construction of efficient quantum circuits for the QFT by ``quantizing'' the separation of variables technique that has been so successful in the study of classical Fourier transform computations. Specifically, this framework applies the existence of computable Bratteli diagrams, adapted factorizations, and Gel'fand-Tsetlin bases to offer efficient quantum circuits for the QFT over a wide variety a finite Abelian and non-Abelian groups, including all group families for which efficient QFTs are currently known and many new group families. Moreover, the method gives rise to the first subexponential-size quantum circuits for the QFT over the linear groups GL_k(q), SL_k(q), and the finite groups of Lie type, for any fixed prime power q.

Automatic Filters for the Detection of Coherent Structure in Spatiotemporal Systems

Cosma Rohilla Shalizi, Robert Haslinger, Jean-Baptiste Rouquier +2 more

nlin.CG · · cited 102× · arXiv ↗ · more like this ·

Most current methods for identifying coherent structures in spatially-extended systems rely on prior information about the form which those structures take. Here we present two new approaches to automatically filter the changing configurations of spatial dynamical systems and extract coherent structures. One, local sensitivity filtering, is a modification of the local Lyapunov exponent approach suitable to cellular automata and other discrete spatial systems. The other, local statistical complexity filtering, calculates the amount of information needed for optimal prediction of the system's behavior in the vicinity of a given point. By examining the changing spatiotemporal distributions of these quantities, we can find the coherent structures in a variety of pattern-forming cellular automata, without needing to guess or postulate the form of that structure. We apply both filters to…

Counting, Fanout, and the Complexity of Quantum ACC

Frederic Green, Steven Homer, Cristopher Moore +1 more

quant-ph · · cited 92× · arXiv ↗ · more like this ·

We propose definitions of $\QAC^0$, the quantum analog of the classical class $\AC^0$ of constant-depth circuits with AND and OR gates of arbitrary fan-in, and $\QACC[q]$, the analog of the class $\ACC[q]$ where $\Mod_q$ gates are also allowed. We prove that parity or fanout allows us to construct quantum $\MOD_q$ gates in constant depth for any $q$, so $\QACC[2] = \QACC$. More generally, we show that for any $q,p > 1$, $\MOD_q$ is equivalent to $\MOD_p$ (up to constant depth). This implies that $\QAC^0$ with unbounded fanout gates, denoted $\QACwf^0$, is the same as $\QACC[q]$ and $\QACC$ for all $q$. Since $\ACC[p] \ne \ACC[q]$ whenever $p$ and $q$ are distinct primes, $\QACC[q]$ is strictly more powerful than its classical counterpart, as is $\QAC^0$ when fanout is allowed. This adds to the growing list of quantum complexity classes which are provably more powerful than their…

The Kikuchi Hierarchy and Tensor PCA

Alexander S. Wein, Ahmed El Alaoui, Cristopher Moore

cs.DS · · cited 85× · arXiv ↗ · more like this ·

For the tensor PCA (principal component analysis) problem, we propose a new hierarchy of increasingly powerful algorithms with increasing runtime. Our hierarchy is analogous to the sum-of-squares (SOS) hierarchy but is instead inspired by statistical physics and related algorithms such as belief propagation and AMP (approximate message passing). Our level-$\ell$ algorithm can be thought of as a linearized message-passing algorithm that keeps track of $\ell$-wise dependencies among the hidden variables. Specifically, our algorithms are spectral methods based on the Kikuchi Hessian, which generalizes the well-studied Bethe Hessian to the higher-order Kikuchi free energies. It is known that AMP, the flagship algorithm of statistical physics, has substantially worse performance than SOS for tensor PCA. In this work we 'redeem' the statistical physics approach by showing that our hierarchy…

Information-theoretic bounds and phase transitions in clustering, sparse PCA, and submatrix localization

Jess Banks, Cristopher Moore, Nicolas Verzelen +2 more

math.ST · · cited 82× · arXiv ↗ · more like this ·

We study the problem of detecting a structured, low-rank signal matrix corrupted with additive Gaussian noise. This includes clustering in a Gaussian mixture model, sparse PCA, and submatrix localization. Each of these problems is conjectured to exhibit a sharp information-theoretic threshold, below which the signal is too weak for any algorithm to detect. We derive upper and lower bounds on these thresholds by applying the first and second moment methods to the likelihood ratio between these "planted models" and null models where the signal matrix is zero. Our bounds differ by at most a factor of root two when the rank is large (in the clustering and submatrix localization problems, when the number of clusters or blocks is large) or the signal matrix is very sparse. Moreover, our upper bounds show that for each of these problems there is a significant regime where reliable detection is…

Quantum Circuits: Fanout, Parity, and Counting

Cristopher Moore

quant-ph · · cited 79× · arXiv ↗ · more like this ·

We propose definitions of QAC^0, the quantum analog of the classical class AC^0 of constant-depth circuits with AND and OR gates of arbitrary fan-in, and QACC^0[q], where n-ary Mod-q gates are also allowed. We show that it is possible to make a `cat' state on n qubits in constant depth if and only if we can construct a parity or Mod-2 gate in constant depth; therefore, any circuit class that can fan out a qubit to n copies in constant depth also includes QACC^0[2]. In addition, we prove the somewhat surprising result that parity or fanout allows us to construct Mod-q gates in constant depth for any q, so QACC^0[2] = QACC^0. Since ACC^0[p] != ACC^0[q] whenever p and q are mutually prime, QACC^0[2] is strictly more powerful than its classical counterpart, as is QAC^0 when fanout is allowed.

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

Haixia Jia, Cristopher Moore, Doug Strain

cs.AI · · cited 71× · arXiv ↗ · more like this ·

To test incomplete search algorithms for constraint satisfaction problems such as 3-SAT, we need a source of hard, but satisfiable, benchmark instances. A simple way to do this is to choose a random truth assignment A, and then choose clauses randomly from among those satisfied by A. However, this method tends to produce easy problems, since the majority of literals point toward the ``hidden'' assignment A. Last year, Achlioptas, Jia and Moore proposed a problem generator that cancels this effect by hiding both A and its complement. While the resulting formulas appear to be just as hard for DPLL algorithms as random 3-SAT formulas with no hidden assignment, they can be solved by WalkSAT in only polynomial time. Here we propose a new method to cancel the attraction to A, by choosing a clause with t > 0 literals satisfied by A with probability proportional to q^t for some q < 1. By…

Hiding Satisfying Assignments: Two are Better than One

Dimitris Achlioptas, Haixia Jia, Cristopher Moore

cs.AI · · cited 62× · arXiv ↗ · more like this ·

The evaluation of incomplete satisfiability solvers depends critically on the availability of hard satisfiable instances. A plausible source of such instances consists of random k-SAT formulas whose clauses are chosen uniformly from among all clauses satisfying some randomly chosen truth assignment A. Unfortunately, instances generated in this manner tend to be relatively easy and can be solved efficiently by practical heuristics. Roughly speaking, as the formula's density increases, for a number of different algorithms, A acts as a stronger and stronger attractor. Motivated by recent results on the geometry of the space of satisfying truth assignments of random k-SAT and NAE-k-SAT formulas, we introduce a simple twist on this basic model, which appears to dramatically increase its hardness. Namely, in addition to forbidding the clauses violated by the hidden assignment A, we also…

The Symmetric Group Defies Strong Fourier Sampling

Cristopher Moore, Alexander Russell, Leonard J. Schulman

Artificial Intelligence · CaltechAUTHORS (California Institute of Technology) · · cited 60× · DOI ↗ · more like this ·

We resolve the question of whether Fourier sampling can efficiently solve the hidden subgroup problem in general groups. Specifically, we show that the hidden subgroup problem in the symmetric group cannot be efficiently solved by strong Fourier sampling. Indeed we prove the stronger statement that no measurement of a single coset state can reveal more than an exponentially small amount of information about the identity of the hidden subgroup, in the special case relevant to the graph isomorphism problem.

Almost all graphs with average degree 4 are 3-colorable

Dimitris Achlioptas, Cristopher Moore

Computational Theory and Mathematics · · cited 58× · DOI ↗ · more like this ·

The technique of using di#erential equations to approximate the mean path of Markov chains has proved very useful in the average-case analysis of algorithms. Here, we significantly expand the range of this technique, by showing that it can be used to handle algorithms that favor high-degree vertices. In particular, we consider the problem of 3-coloring sparse random graphs and analyze a &amp;quot;smoothed&amp;quot; version of the Brelaz heuristic. This allows us to prove that i) almost all graphs with average degree d, i.e. G(n, p = d/n), are 3-colorable for d 4.03, and that ii) almost all 4-regular graphs are 3-colorable. This improves over the previous lower bound of 3.847 for the G(n, p) 3-colorability threshold and gives the first non-trivial result on the 3-colorability of random regular graphs.

Accurate and scalable social recommendation using mixed-membership stochastic block models

Antonia Godoy-Lorite, Roger Guimera, Cristopher Moore +1 more

cs.SI · · cited 49× · arXiv ↗ · more like this ·

With ever-increasing amounts of online information available, modeling and predicting individual preferences-for books or articles, for example-is becoming more and more important. Good predictions enable us to improve advice to users, and obtain a better understanding of the socio-psychological processes that determine those preferences. We have developed a collaborative filtering model, with an associated scalable algorithm, that makes accurate predictions of individuals' preferences. Our approach is based on the explicit assumption that there are groups of individuals and of items, and that the preferences of an individual for an item are determined only by their group memberships. Importantly, we allow each individual and each item to belong simultaneously to mixtures of different groups and, unlike many popular approaches, such as matrix factorization, we do not assume implicitly…

On the impossibility of a quantum sieve algorithm for graph isomorphism: unconditional results

Cristopher Moore, Alexander Russell, Piotr Sniady

quant-ph · · cited 47× · arXiv ↗ · more like this ·

It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Ω(n \log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively combined and measured according to the decomposition of tensor products into irreducible representations. This ``quantum sieve'' starts with coset states, and works its way down towards representations whose probabilities differ depending on, for example, whether the hidden subgroup is trivial or nontrivial. In this paper we show that no such approach can produce a polynomial-time quantum algorithm for Graph Isomorphism. Specifically, we consider the natural reduction of Graph Isomorphism to the HSP…

On the Impossibility of a Quantum Sieve Algorithm for Graph Isomorphism

Cristopher Moore, Alexander Russell

quant-ph · · cited 47× · arXiv ↗ · more like this ·

It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Omega(n log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively combined and measured according to the decomposition of tensor products into irreducible representations. This ``quantum sieve'' starts with coset states, and works its way down towards representations whose probabilities differ depending on, for example, whether the hidden subgroup is trivial or nontrivial. In this paper we give strong evidence that no such approach can succeed for Graph Isomorphism. Specifically, we consider the natural reduction of Graph Isomorphism to the HSP over the the…