•  192
    In quantum computing, where algorithms exist that can solve computational problems more efficiently than any known classical algorithms, the elimination of errors that result from external disturbances or from imperfect gates has become the ...
  •  187
    Minimal length in quantum gravity and the fate of Lorentz invariance
    Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 40 (3): 259-267. 2009.
    Loop quantum gravity predicts that spatial geometry is fundamentally discrete. Whether this discreteness entails a departure from exact Lorentz symmetry is a matter of dispute that has generated an interesting methodological dilemma. On one hand one would like the theory to agree with current experiments, but, so far, tests in the highest energies we can manage show no such sign of departure. On the other hand one would like the theory to yield testable predictions, and deformations of exact Lor…Read more
  •  341
    Counting Steps: a Finitist Interpretation of Objective Probability in Physics
    with Giuseppe Sergioli
    Epistemologia 37 (2): 262-275. 2015.
    We propose a new interpretation of objective deterministic chances in statistical physics based on physical computational complexity. This notion applies to a single physical system (be it an experimental set--up in the lab, or a subsystem of the universe), and quantifies (1) the difficulty to realize a physical state given another, (2) the 'distance' (in terms of physical resources) from a physical state to another, and (3) the size of the set of time--complexity functions that are compatible w…Read more
  •  245
    Decoherence: The View from the History and the Philosophy of Science
    Phil. Trans. Royal Soc. London A 375 (1975). 2012.
    We present a brief history of decoherence, from its roots in the foundations of classical statistical mechanics, to the current spin bath models in condensed matter physics. We analyze the philosophical import of the subject matter in three different foundational problems, and find that, contrary to the received view, decoherence is less instrumental to their solutions than it is commonly believed. What makes decoherence more philosophically interesting, we argue, are the methodological issues …Read more
  •  351
    Quantum hypercomputation—hype or computation?
    with Alex Korolev
    Philosophy of Science 74 (3): 347-363. 2007.
    A recent attempt to compute a (recursion‐theoretic) noncomputable function using the quantum adiabatic algorithm is criticized and found wanting. Quantum algorithms may outperform classical algorithms in some cases, but so far they retain the classical (recursion‐theoretic) notion of computability. A speculation is then offered as to where the putative power of quantum computers may come from.
  •  479
    A remarkable theorem by Clifton, Bub and Halvorson (2003) (CBH) characterizes quantum theory in terms of information--theoretic principles. According to Bub (2004, 2005) the philosophical significance of the theorem is that quantum theory should be regarded as a ``principle'' theory about (quantum) information rather than a ``constructive'' theory about the dynamics of quantum systems. Here we criticize Bub's principle approach arguing that if the mathematical formalism of quantum mechanics rema…Read more