Researcher profile

Giacomo Mauro D'Ariano

Giacomo Mauro D'Ariano contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
45works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

45 published item(s)

preprint2022arXiv

Classicality without local discriminability: decoupling entanglement and complementarity

An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a nontrivial set of transformations. Hence, we demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We then study a variety of phenomena occurring in the theory -- some of them contradicting both Classical and Quantum Theories -- including: cloning, entanglement swapping, dense coding, additivity of classical capacities, non-monogamous entanglement, hypersignaling. We also prove the existence, in the theory, of a universal processor. The theory is causal and satisfies the no-restriction hypothesis. At the same time, it violates a number of information-theoretic principles enjoyed by Quantum Theory, most notably: local discriminability, purity of parallel composition of states, and purification. Moreover, we introduce an exhaustive procedure to construct generic operational probabilistic theories, and a sufficient set of conditions to verify their consistency. In addition, we prove a characterisation theorem for the parallel composition rules of arbitrary theories, and specialise it to the case of bilocal-tomographic theories. We conclude pointing out some open problems. In particular, on the basis of the fact that every separable state of the theory is a statistical mixture of entangled states, we formulate a no-go conjecture for the existence of a local-realistic ontological model.

preprint2021arXiv

Hard Problem and Free Will: an information-theoretical approach

We explore definite theoretical assertions about consciousness, starting from a non-reductive psycho-informational solution of David Chalmers's 'hard problem', based on the hypothesis that a fundamental property of 'information' is its experience by the supporting 'system'. The kind of information involved in consciousness needs to be quantum for multiple reasons, including its intrinsic privacy and its power of building up thoughts by entangling qualia states. As a result we reach a quantum-information-based panpsychism, with classical physics supervening on quantum physics, quantum physics supervening on quantum information, and quantum information supervening on consciousness. We then argue that the internally experienced quantum state, since it corresponds to a definite experience-not to a random choice-must be pure, and we call it ontic, in contrast with the state predictable from the outside (i.e. the state describing the knowledge of the experience from the point of view of an external observer) which we call epistemic and is generally mixed. Purity of the ontic state requires an evolution that is purity preserving, namely a so-called 'atomic' quantum operation. The latter is generally probabilistic, and its particular outcome is interpreted as the free will, which is unpredictable even in principle since quantum probability cannot be interpreted as lack of knowledge. The same purity of state and evolution allows solving the 'combination problem' of panpsychism. Quantum state evolution accounts for a short-term buffer of experience and contains itself quantum-to-classical and classical-to-quantum information transfers. Long term memory, on the other hand, is classical, and needs memorization and recall processes that are quantum-to-classical and classical-to-quantum, respectively...

preprint2021arXiv

Quantum Holism

A composite quantum system has properties that are incompatible with every property of its parts. The existence of such global properties incompatible with all local properties constitutes what I call "mereological holism"--the distinctive holism of Quantum Theory. Mereological holism has the dramatic conceptual consequence of making untenable the usual understanding of the "quantum system" as being a "physical object", since composed objects have properties compatible with those of its parts. The notion of "property" can be extended in a unique way to the whole class of operational probabilistic theories (shortly OPTs), of which the most relevant cases are Quantum Theory and Classical Theory. Whereas Classical Theory is not mereologically holistic, we can now search for other OPTs that are so. Within the OPT framework the role of the "system" is that of an input-output connection between two objective events. In non holistic theories, such as Classical Theory, the system can still be regarded as an "object". On the contrary, in holistic theories interpreting "system" as "object" constitutes an hypostatization of a theoretical notion.

preprint2019arXiv

Symmetries of the Dirac quantum walk and emergence of the de Sitter group

A quantum walk describes the discrete unitary evolution of a quantum particle on a discrete graph. Some quantum walks, referred to as the Weyl and Dirac quantum walks, provide a description of the free evolution of relativistic quantum fields in a regime where the wave-vectors involved in the particle state are small. The clash between the intrinsic discreteness of quantum walks and the symmetries of special relativity can be resolved by rethinking the notion of a change of inertial reference frame. We give here a definition of the latter that avoids a pre-defined space-time geometry, in terms of a change of values of the constants of motion that leaves the walk operator unchanged. Starting from the family of 1+1 dimensional Dirac quantum walks with all possible values of the mass parameter, we introduce a unique walk encompassing the latter as an extra degree of freedom, and we derive its group of changes of inertial frames. This symmetry group contains a non linear realization of $SO^+(2,1) \ltimes \mathbb{R}^3$; since one of the two space-like dimensions does not correspond to an actual spatial degree of freedom but rather the mass, we interpret it as a 2+1 dimensional de-Sitter group. This group group contains also a non-linear realisation of the proper orthochronous Poincaré group $SO^+(1,1) \ltimes \mathbb{R}^2$ in 1+1 dimension, as the ones considered within the framework of doubly special relativity, which recovers the usual relativistic symmetry of the Dirac Equation in the limit of small wave-vectors and masses. Surprisingly, if one considers the Dirac walk with a fixed value of the mass parameter, the group of allowed changes of reference frame does not have a consistent interpretation in the relativistic limit of small wave-vectors.

preprint2016arXiv

Discrete time Dirac quantum walk in 3+1 dimensions

In this paper we consider quantum walks whose evolution converges to the Dirac equation one in the limit of small wave-vectors. We show exact Fast Fourier implementation of the Dirac quantum walks in one, two and three space dimensions. The behaviour of particle states, defined as states smoothly peaked in some wave-vector eigenstate of the walk, is described by an approximated dispersive differential equation that for small wave-vectors gives the usual Dirac particle and antiparticle kinematics. The accuracy of the approximation is provided in terms of a lower bound on the fidelity between the exactly evolved state and the approximated one. The jittering of the position operator expectation value for states having both a particle and an antiparticle component is analytically derived and observed in the numerical implementations.

preprint2016arXiv

Free quantum field theory from quantum cellular automata: derivation of Weyl, Dirac and Maxwell quantum cellular automata

After leading to a new axiomatic derivation of quantum theory, the new informational paradigm is entering the domain of quantum field theory, suggesting a quantum automata framework that can be regarded as an extension of quantum field theory to including an hypothetical Planck scale, and with the usual quantum field theory recovered in the relativistic limit of small wave-vectors. Being derived from simple principles (linearity, unitarity, locality, homogeneity, isotropy, and minimality of dimension), the automata theory is quantum ab-initio, and does not assume Lorentz covariance and mechanical notions. Being discrete it can describe localized states and measurements (unmanageable by quantum field theory), solving all the issues plaguing field theory originated from the continuum. These features make the theory an ideal framework for quantum gravity, with relativistic covariance and space-time emergent solely from the interactions, and not assumed a priori. The paper presents a synthetic derivation of the automata theory, showing how from the principles lead to a description in terms of a quantum automaton over a Cayley graph of a group. Restricting to Abelian groups we show how the automata recover the Weyl, Dirac and Maxwell dynamics in the relativistic limit. We conclude with some new routes about the more general scenario of non-Abelian Cayley graphs.

preprint2016arXiv

Functional Quantum Computing: An Optical Approach

A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary transformations as input, coherently permutes their ordering, and outputs a new composite operator which can be applied to a quantum state. Here we propose an optical device which implements this type of coherent operator permutation. This device requires only one physical implementation of each operator to be permuted.

preprint2016arXiv

Quantum Networks: general theory and applications

In this work we present a general mathematical framework to deal with Quantum Networks, i.e. networks resulting from the interconnection of elementary quantum circuits. The cornerstone of our approach is a generalization of the Choi isomorphism that allows one to efficiently represent any given Quantum Network in terms of a single positive operator. Our formalism allows one to face and solve many quantum information processing problems that would be hardly manageable otherwise, the most relevant of which are reviewed in this work: quantum process tomography, quantum cloning and learning of transformations, inversion of a unitary gate, information-disturbance tradeoff in estimating a unitary transformation, cloning and learning of a measurement device.

preprint2016arXiv

Quantum walks with a one-dimensional coin

Quantum walks (QWs) describe particles evolving coherently on a lattice. The internal degree of freedom corresponds to a Hilbert space, called coin system. We consider QWs on Cayley graphs of some group $G$. In the literature, investigations concerning infinite $G$ have been focused on graphs corresponding to $G=\mathbb{Z}^d$ with coin system of dimension 2, whereas for one-dimensional coin (so called scalar QWs) only the case of finite $G$ has been studied. Here we prove that the evolution of a scalar QW with $G$ infinite Abelian is trivial, providing a thorough classification of this kind of walks. Then we consider the infinite dihedral group $D_\infty$, that is the unique non-Abelian group $G$ containing a subgroup $H\cong\mathbb{Z}$ with two cosets. We characterize the class of QWs on the Cayley graphs of $D_\infty$ and, via a coarse-graining technique, we show that it coincides with the class of spinorial walks on $\mathbb{Z}$ which satisfies parity symmetry. This class of QWs includes the Weyl and the Dirac QWs. Remarkably, there exist also spinorial walks that are not coarse-graining of a scalar QW, such as the Hadamard walk.

preprint2016arXiv

Special Relativity in a Discrete Quantum Universe

The hypothesis of a discrete fabric of the universe--the "Planck scale"--is always on stage, since it solves mathematical and conceptual problems in the infinitely small. However, it clashes with special relativity, which is designed for the continuum. Here we show how the clash can be overcome within a discrete quantum theory where the evolution of fields is described by a quantum cellular automaton. The reconciliation is achieved by defining the change of observer as a change of representation of the dynamics, without any reference to space-time. We use the relativity principle, i.e. the invariance of dynamics under change of inertial observer, to identify a change of inertial frame with a symmetry of the dynamics. We consider the full group of such symmetries, and recover the usual Lorentz group in the relativistic regime of low energies, while at the Planck scale the covariance is nonlinearly distorted.

preprint2016arXiv

Weyl, Dirac and Maxwell Quantum Cellular Automata: analitical solutions and phenomenological predictions of the Quantum Cellular Automata Theory of Free Fields

Recent advances on quantum foundations achieved the derivation of free quantum field theory from general principles, without referring to mechanical notions and relativistic invariance. From the aforementioned principles a quantum cellular automata (QCA) theory follows, whose relativistic limit of small wave-vector provides the free dynamics of quantum field theory. The QCA theory can be regarded as an extended quantum field theory that describes in a unified way all scales ranging from an hypothetical discrete Planck scale up to the usual Fermi scale. The present paper reviews the elementary automaton theory for the Weyl field, and the composite automata for Dirac and Maxwell fields. We then give a simple analysis of the dynamics in the momentum space in terms of a dispersive differential equation for narrowband wave-packets, and some account on the position space description in terms of a discrete path-integral approach. We then review the phenomenology of the free-field automaton and consider possible visible effects arising from the discreteness of the framework. We conclude introducing the consequences of the automaton distorted dispersion relation, leading to a deformed Lorentz covariance and to possible effects on the thermodynamics of ideal gases.

preprint2015arXiv

How much a Quantum Measurement is Informative?

The informational power of a quantum measurement is the maximum amount of classical information that the measurement can extract from any ensemble of quantum states. We discuss its main properties. Informational power is an additive quantity, being equivalent to the classical capacity of a quantum-classical channel. The informational power of a quantum measurement is the maximum of the accessible information of a quantum ensemble that depends on the measurement. We present some examples where the symmetry of the measurement allows to analytically derive its informational power.

preprint2015arXiv

Quantum Field as a quantum cellular automaton: the Dirac free evolution in one dimension

We present a quantum cellular automaton model in one space-dimension which has the Dirac equation as emergent. This model, a discrete-time and causal unitary evolution of a lattice of quantum systems, is derived from the assumptions of homogeneity, parity and time-reversal invariance. The comparison between the automaton and the Dirac evolutions is rigorously set as a discrimination problem between unitary channels. We derive an exact lower bound for the probability of error in the discrimination as an explicit function of the mass, the number and the momentum of the particles, and the duration of the evolution. Computing this bound with experimentally achievable values, we see that in that regime the QCA model cannot be discriminated from the usual Dirac evolution. Finally, we show that the evolution of one-particle states with narrow-band in momentum can be effi- ciently simulated by a dispersive differential equation for any regime. This analysis allows for a comparison with the dynamics of wave-packets as it is described by the usual Dirac equation. This paper is a first step in exploring the idea that quantum field theory could be grounded on a more fundamental quantum cellular automaton model and that physical dynamics could emerge from quantum information processing. In this framework, the discretization is a central ingredient and not only a tool for performing non-perturbative calculation as in lattice gauge theory. The automaton model, endowed with a precise notion of local observables and a full probabilistic interpretation, could lead to a coherent unification of an hypothetical discrete Planck scale with the usual Fermi scale of high-energy physics.

preprint2015arXiv

Quantum Reading of Unitary Optical Devices

We address the problem of quantum reading of optical memories, namely the retrieving of classical information stored in the optical properties of a media with minimum energy. We present optimal strategies for ambiguous and unambiguous quantum reading of unitary optical memories, namely when one's task is to minimize the probability of errors in the retrieved information and when perfect retrieving of information is achieved probabilistically, respectively. A comparison of the optimal strategy with coherent probes and homodyne detection shows that the former saves orders of magnitude of energy when achieving the same performances. Experimental proposals for quantum reading which are feasible with present quantum optical technology are reported.

preprint2014arXiv

Fermionic computation is non-local tomographic and violates monogamy of entanglement

We show that the computational model based on local Fermionic modes in place of qubits does not satisfy local tomography and monogamy of entanglement, and has mixed states with maximal entanglement of formation. These features directly follow from the parity conservation corresponding to the parity superselection rule. We generalize quantum superselection rules to general probabilistic theories as sets of linear constraints on the convex set of states. We then provide a link between the cardinality of the superselection rule and the degree of holism of the resulting theory.

preprint2014arXiv

Identification of a reversible quantum gate: assessing the resources

We assess the resources needed to identify a reversible quantum gate among a finite set of alternatives, including in our analysis both deterministic and probabilistic strategies. Among the probabilistic strategies we consider unambiguous gate discrimination, where errors are not tolerated but inconclusive outcomes are allowed, and we prove that parallel strategies are sufficient to unambiguously identify the unknown gate with minimum number of queries. This result is used to provide upper and lower bounds on the query complexity and on the minimum ancilla dimension. In addition, we introduce the notion of generalized t-designs, which includes unitary t-designs and group representations as special cases. For gates forming a generalized t-design we give an explicit expression for the maximum probability of correct gate identification and we prove that there is no gap between the performances of deterministic strategies an those of probabilistic strategies. Hence, evaluating of the query complexity of perfect deterministic discrimination is reduced to the easier problem of evaluating the query complexity of unambiguous discrimination. Finally, we consider discrimination strategies where the use of ancillas is forbidden, providing upper bounds on the number of additional queries needed to make up for the lack of entanglement with the ancillas.

preprint2014arXiv

Path-integral solution of the one-dimensional Dirac quantum cellular automaton

Quantum cellular automata have been recently considered as a fundamental approach to quantum field theory, resorting to a precise automaton, linear in the field, for the Dirac equation in one dimension. In such linear case a quantum automaton is isomorphic to a quantum walk, and a convenient formulation can be given in terms of transition matrices, leading to a new kind of discrete path integral that we solve analytically in terms of Jacobi polynomials versus the arbitrary mass parameter.

preprint2014arXiv

Quantum Cellular Automaton Theory of Light

We present a quantum theory of light based on quantum cellular automata (QCA). This approach allows us to have a thorough quantum theory of free electrodynamics encompassing an hypothetical discrete Planck scale. The theory is particularly relevant because it provides predictions at the macroscopic scale that can be experimentally tested. We show how, in the limit of small wave-vector k, the free Maxwell's equations emerge from two Weyl QCAs derived from informational principles in Ref. [1]. Within this framework the photon is introduced as a composite particle made of a pair of correlated massless Fermions, and the usual Bosonic statistics is recovered in the low photon density limit. We derive the main phenomenological features of the theory, consisting in dispersive propagation in vacuum, the occurrence of a small longitudinal polarization, and a saturation effect originated by the Fermionic nature of the photon. We then discuss whether these effects can be experimentally tested, and observe that only the dispersive effects are accessible with current technology, from observations of arrival times of pulses originated at cosmological distances.

preprint2014arXiv

The Feynman problem and Fermionic entanglement: Fermionic theory versus qubit theory

The present paper is both a review on the Feynman problem, and an original research presentation on the relations between Fermionic theories and qubits theories, both regarded in the novel framework of operational probabilistic theories. The most relevant results about the Feynman problem of simulating Fermions with qubits are reviewed, and in the light of the new original results the problem is solved. The answer is twofold. On the computational side the two theories are equivalent, as shown by Bravyi and Kitaev (Ann. Phys. 298.1 (2002): 210-226). On the operational side the quantum theory of qubits and the quantum theory of Fermions are different, mostly in the notion of locality, with striking consequences on entanglement. Thus the emulation does not respect locality, as it was suspected by Feynman (Int. J. Theor. Phys. 21.6 (1982): 467-488).

preprint2013arXiv

Optimal processing of reversible quantum channels

We consider the general problem of the optimal transformation of N uses of (possibly different) unitary channels to a single use of another unitary channel in any finite dimension. We show how the optimal transformation can be fully parallelized, consisting in a preprocessing channel followed by a parallel action of all the N unitaries and a final postprocessing channel. Our techniques allow to achieve an exponential reduction in the number of the free parameters of the optimization problem making it amenable to an efficient numerical treatment. Finally, we apply our general results to find the analytical solution for special cases of interest like the cloning of qubit phase gates.

preprint2013arXiv

The Dirac Quantum Cellular Automaton in one dimension: Zitterbewegung and scattering from potential

We study the dynamical behaviour of the quantum cellular automaton of Refs. [1, 2], which reproduces the Dirac dynamics in the limit of small wavevectors and masses. We present analytical evaluations along with computer simulations, showing how the automaton exhibits typical Dirac dynamical features, as the Zitterbewegung and the scattering behaviour from potential that gives rise to the so-called Klein paradox. The motivation is to show concretely how pure processing of quantum information can lead to particle mechanics as an emergent feature, an issue that has been the focus of solid-state, optical and atomic-physics quantum simulator.

preprint2012arXiv

Emergence of Space-Time from Topologically Homogeneous Causal Networks

We study the emergence of Minkowski space-time from a causal network. Differently from previous approaches, we require the network to be topologically homogeneous, so that the metric is derived from pure event-counting. Emergence from events has an operational motivation in requiring that every physical quantity---including space-time---be defined through precise measurement procedures. Topological homogeneity is a requirement for having space-time metric emergent from the pure topology of causal connections, whereas physically homogeneity corresponds to the universality of the physical law. We analyze in detail the case of 1+1 dimensions. If we consider the causal connections as an exchange of classical information, we can establish coordinate systems via an Einsteinian protocol, and this leads to a digital version of the Lorentz transformations. In a computational analogy, the foliation construction can be regarded as the synchronization with a global clock of the calls to independent subroutines (corresponding to the causally independent events) in a parallel distributed computation. Thus the Lorentz time-dilation emerges as an increased density of leaves within a single tic-tac of a clock, whereas space-contraction results from the corresponding decrease of density of events per leaf. The operational procedure of building up the coordinate system introduces an in-principle indistinguishability between neighboring events, resulting in a network that is coarse-grained, the thickness of the event being a function of the observer's clock.

preprint2012arXiv

Quantum computation with programmable connections between gates

A new model of quantum computation is considered, in which the connections between gates are programmed by the state of a quantum register. This new model of computation is shown to be more powerful than the usual quantum computation, e. g. in achieving the programmability of permutations of N different unitary channels with 1 use instead of N uses per channel. For this task, a new elemental resource is needed, the "quantum switch", which can be programmed to switch the order of two channels with a single use of each one.

preprint2012arXiv

The Dirac Quantum Automaton: a preview

Quantum Information and the new informational paradigm are entering the domain of quantum field theory and gravity, suggesting the quantum automata framework. The quantum automaton is the minimal-assumption extension to the Planck and ultrarelativistic scales of quantum field theory. It can describe localized states and measurements, which are unmanageable by quantum field theory. The automaton theory is a very promising framework for quantum gravity, since it is quantum ab-initio, with relativistic covariance as emergent and not assumed a priori, it is free from all the problems arising from the continuum, it doesn't suffer violations of causality, and has no divergences. It is the natural scenario to accommodate the quantum holographic principle. Lorentz covariance and all other symmetries are violated in the ultrarelativistic Planckian regime, but are perfectly recovered at the Fermi-scale. In the present report, after briefly reviewing the fundamental principles at the basis of the quantum cellular automata extension of quantum field theory, I will present a preview of recent results on the Fermi scale limit [1] and on the Dirac automaton in two space-dimensions [2]. The automaton in three dimensions is under way.

preprint2012arXiv

Universality of Computation in Real Quantum Theory

Recently de La Torre et al. [1] reconstructed Quantum Theory from its local structure on the basis of local discriminability and the existence of a one-parameter group of bipartite transformations containing an entangling gate. This result relies on universality of an entangling gate for quantum computation. Here we prove universality of C-NOT with local gates for Real Quantum Theory (RQT), showing that such universality would not be sufficient for the result, whereas local discriminability and the qubit structure play a crucial role. For reversible computation, generally an extra rebit is needed for RQT. As a byproduct we also provide a short proof of universality of C-NOT for CQT.

preprint2011arXiv

Cloning of a quantum measurement

We analyze quantum algorithms for cloning of a quantum measurement. Our aim is to mimic two uses of a device performing an unknown von Neumann measurement with a single use of the device. When the unknown device has to be used before the bipartite state to be measured is available we talk about 1 -> 2 learning of the measurement, otherwise the task is called 1 -> 2 cloning of a measurement. We perform the optimization for both learning and cloning for arbitrary dimension of the Hilbert space. For 1 -> 2 cloning we also propose a simple quantum network that realizes the optimal strategy.

preprint2011arXiv

Extremal quantum protocols

Generalized quantum instruments correspond to measurements where the input and output are either states or more generally quantum circuits. These measurements describe any quantum protocol including games, communications, and algorithms. The set of generalized quantum instruments with a given input and output structure is a convex set. Here we investigate the extremal points of this set for the case of finite dimensional quantum systems and generalized instruments with finitely many outcomes. We derive algebraic necessary and sufficient conditions for extremality.

preprint2011arXiv

Informational power of quantum measurements

We introduce the informational power of a quantum measurement as the maximum amount of classical information that the measurement can extract from any ensemble of quantum states. We prove the additivity by showing that the informational power corresponds to the classical capacity of a quantum-classical channel. We restate the problem of evaluating the informational power as the maximization of the accessible information of a suitable ensemble. We provide a numerical algorithm to find an optimal ensemble, and quantify the informational power.

preprint2011arXiv

Memory cost of quantum protocols

In this paper we consider the problem of minimizing the ancillary systems required to realize an arbitrary strategy of a quantum protocol, with the assistance of classical memory. For this purpose we introduce the notion of memory cost of a strategy, which measures the resources required in terms of ancillary dimension. We provide a condition for the cost to be equal to a given value, and we use this result to evaluate the cost in some special cases. As an example we show that any covariant protocol for the cloning of a unitary transformation requires at most one ancillary qubit. We also prove that the memory cost has to be determined globally, and cannot be calculated by optimizing the resources independently at each step of the strategy.

preprint2011arXiv

Physics as Quantum Information Processing: Quantum Fields as Quantum Automata

Can we reduce Quantum Field Theory (QFT) to a quantum computation? Can physics be simulated by a quantum computer? Do we believe that a quantum field is ultimately made of a numerable set of quantum systems that are unitarily interacting? A positive answer to these questions corresponds to substituting QFT with a theory of quantum cellular automata (QCA), and the present work is examining this hypothesis. These investigations are part of a large research program on a "quantum-digitalization" of physics, with Quantum Theory as a special theory of information, and Physics as emergent from the same quantum-information processing. A QCA-based QFT has tremendous potential advantages compared to QFT, being quantum "ab-initio" and free from the problems plaguing QFT due to the continuum hypothesis. Here I will show how dynamics emerges from the quantum processing, how the QCA can reproduce the Dirac-field phenomenology at large scales, and the kind of departures from QFT that that should be expected at a Planck-scale discreteness. I will introduce the notions of linear field quantum automaton and local-matrix quantum automaton, in terms of which I will provide the solution to the Feynman's problem about the possibility of simulating a Fermi field with a quantum computer.

preprint2011arXiv

Quantum learning algorithms for quantum measurements

We study quantum learning algorithms for quantum measurements. The optimal learning algorithm is derived for arbitrary von Neumann measurements in the case of training with one or two examples. The analysis of the case of three examples reveals that, differently from the learning of unitary gates, the optimal algorithm for learning of quantum measurements cannot be parallelized, and requires quantum memories for the storage of information.

preprint2011arXiv

Tradeoff between energy and error in the discrimination of quantum-optical devices

We address the problem of energy-error tradeoff in the discrimination between two linear passive quantum optical devices with a single use. We provide an analytical derivation of the optimal strategy for beamsplitters and an iterative algorithm converging to the optimum in the general case. We then compare the optimal strategy with a simpler strategy using coherent input states and homodyne detection. It turns out that the former requires much less energy in order to achieve the same performances.

preprint2010arXiv

Information - Disturbance Tradeoff in the Estimation of a Unitary Transformation

We address the problem of the information-disturbance trade-off associated to the estimation of a quantum transformation, and show how the extraction of information about the a black box causes a perturbation of the corresponding input-output evolution. In the case of a black box performing a unitary transformation, randomly distributed according to the invariant measure, we give a complete solution of the problem, deriving the optimal trade-off curve and presenting an explicit construction of the optimal quantum network.

preprint2010arXiv

No-signaling, entanglement-breaking, and localizability in bipartite channels

A bipartite quantum channel represents the interaction between systems, generally allowing for exchange of information. A special class of bipartite channels are the no-signaling ones, which do not allow communication. In Ref. [1] it has been conjectured that all no-signaling channels are mixtures of entanglement-breaking and localizable channels, which require only local operations and entanglement. Here we provide the general realization scheme, giving a counterexample to the conjecture.

preprint2010arXiv

On the "principle of the quantumness", the quantumness of Relativity, and the computational grand-unification

After reviewing recently suggested operational "principles of the quantumness", I address the problem on whether Quantum Theory (QT) and Special Relativity (SR) are unrelated theories, or instead, if the one implies the other. I show how SR can be indeed derived from causality of QT, within the computational paradigm "the universe is a huge quantum computer", reformulating QFT as a Quantum-Computational Field Theory (QCFT). In QCFT SR emerges from the fabric of the computational network, which also naturally embeds gauge invariance. In this scheme even the quantization rule and the Planck constant can in principle be derived as emergent from the underlying causal tapestry of space-time. In this way QT remains the only theory operating the huge computer of the universe. Is QCFT only a speculative tautology (theory as simulation of reality), or does it have a scientific value? The answer will come from Occam's razor, depending on the mathematical simplicity of QCFT. Here I will just start scratching the surface of QCFT, analyzing simple field theories, including Dirac's. The number of problems and unmotivated recipes that plague QFT strongly motivates us to undertake the QCFT project, since QCFT makes all such problems manifest, and forces a re-foundation of QFT.

preprint2010arXiv

Physics as Information Processing

I review some recent advances in foundational research at Pavia QUIT group. The general idea is that there is only Quantum Theory without quantization rules, and the whole Physics---including space-time and relativity--is emergent from the quantum-information processing. And since Quantum Theory itself is axiomatized solely on informational principles, the whole Physics must be reformulated in information-theoretical terms: this is the "It from Bit of J. A. Wheeler. The review is divided into four parts: a) the informational axiomatization of Quantum Theory; b) how space-time and relativistic covariance emerge from quantum computation; c) what is the information-theoretical meaning of inertial mass and of $\hbar$, and how the quantum field emerges; d) an observational consequence of the new quantum field theory: a mass-dependent refraction index of vacuum. I will conclude with the research lines that will follow in the immediate future.

preprint2010arXiv

Physics as quantum information processing

The experience from Quantum Information has lead us to look at Quantum Theory (QT) and the whole Physics from a different angle. The information-theoretical paradigm---"It from Bit'---prophesied by John Archibald Wheeler is relentlessly advancing. Recently it has been shown that QT is derivable from pure informational principles. The possibility that there is only QT at the foundations of Physics has been then considered, with space-time, Relativity, quantization rules and Quantum Field Theory (QFT) emerging from a quantum-information processing. The resulting theory is a discrete version of QFT with automatic relativistic invariance, and without fields, Hamiltonian, and quantization rules. In this paper I review some recent advances on these lines. In particular: i) How space-time and relativistic covariance emerge from the quantum computation; ii) The derivation of the Dirac equation as free information flow, without imposing Lorentz covariance; iii) the information-theoretical meaning of inertial mass and Planck constant; iv) An observable consequence of the theory: a mass-dependent refraction index of vacuum. I will then conclude with two possible routes to Quantum Gravity.

preprint2010arXiv

The Quantum Field as a Quantum Computer

It is supposed that at very small scales a quantum field is an infinite homogeneous quantum computer. On a quantum computer the information cannot propagate faster than $c=a/τ$, $a$ and $τ$ being the minimum space and time distances between gates, respectively. It is shown that the information flow satisfies a Dirac equation, with speed $v=ζc$ and $ζ=ζ(m)$ mass-dependent. For $a/τ=c$ the speed of light $ζ^{-1}$ is a vacuum refraction index increasing monotonically from $ζ^{-1}(0)=1$ to $ζ^{-1}(M)=\infty$, $M$ being the Planck mass for $2a$ the Planck length.

preprint2009arXiv

Testing axioms for Quantum Mechanics on Probabilistic toy-theories

In Ref. [1] one of the authors proposed postulates for axiomatizing Quantum Mechanics as a "fair operational framework", namely regarding the theory as a set of rules that allow the experimenter to predict future events on the basis of suitable tests, having local control and low experimental complexity. In addition to causality, the following postulates have been considered: PFAITH (existence of a pure preparationally faithful state), and FAITHE (existence of a faithful effect). These postulates have exhibited an unexpected theoretical power, excluding all known nonquantum probabilistic theories. Later in Ref. [2] in addition to causality and PFAITH, postulate LDISCR (local discriminability) and PURIFY (purifiability of all states) have been considered, narrowing the probabilistic theory to something very close to Quantum Mechanics. In the present paper we test the above postulates on some nonquantum probabilistic models. The first model, "the two-box world" is an extension of the Popescu-Rohrlich model, which achieves the greatest violation of the CHSH inequality compatible with the no-signaling principle. The second model "the two-clock world" is actually a full class of models, all having a disk as convex set of states for the local system. One of them corresponds to the "the two-rebit world", namely qubits with real Hilbert space. The third model--"the spin-factor"--is a sort of n-dimensional generalization of the clock. Finally the last model is "the classical probabilistic theory". We see how each model violates some of the proposed postulates, when and how teleportation can be achieved, and we analyze other interesting connections between these postulate violations, along with deep relations between the local and the non-local structures of the probabilistic theory.

preprint2007arXiv

Reexamination of Quantum Bit Commitment: the Possible and the Impossible

Bit commitment protocols whose security is based on the laws of quantum mechanics alone are generally held to be impossible. In this paper we give a strengthened and explicit proof of this result. We extend its scope to a much larger variety of protocols, which may have an arbitrary number of rounds, in which both classical and quantum information is exchanged, and which may include aborts and resets. Moreover, we do not consider the receiver to be bound to a fixed "honest" strategy, so that "anonymous state protocols", which were recently suggested as a possible way to beat the known no-go results are also covered. We show that any concealing protocol allows the sender to find a cheating strategy, which is universal in the sense that it works against any strategy of the receiver. Moreover, if the concealing property holds only approximately, the cheat goes undetected with a high probability, which we explicitly estimate. The proof uses an explicit formalization of general two party protocols, which is applicable to more general situations, and a new estimate about the continuity of the Stinespring dilation of a general quantum channel. The result also provides a natural characterization of protocols that fall outside the standard setting of unlimited available technology, and thus may allow secure bit commitment. We present a new such protocol whose security, perhaps surprisingly, relies on decoherence in the receiver's lab.

preprint2005arXiv

Optimal Time-Reversal of Multi-phase Equatorial States

Even though the time-reversal is unphysical (it corresponds to the complex conjugation of the density matrix), for some restricted set of states it can be achieved unitarily, typically when there is a common de-phasing in a n-level system. However, in the presence of multiple phases (i. e. a different de-phasing for each element of an orthogonal basis occurs) the time reversal is no longer physically possible. In this paper we derive the channel which optimally approaches in fidelity the time-reversal of multi-phase equatorial states in arbitrary (finite) dimension. We show that, in contrast to the customary case of the Universal-NOT on qubits (or the universal conjugation in arbitrary dimension), the optimal phase covariant time-reversal for equatorial states is a nonclassical channel, which cannot be achieved via a measurement/preparation procedure. Unitary realizations of the optimal time-reversal channel are given with minimal ancillary dimension, exploiting the simplex structure of the optimal maps.