-
On-State Commutativity of Measurements and Joint Distributions of Their Outcomes
Authors:
Jan Czajkowski,
Alex B. Grilo
Abstract:
In this note, we analyze joint probability distributions that arise from outcomes of sequences of quantum measurements performed on sets of quantum states. First, we identify some properties of these distributions that need to be fulfilled to get a classical behavior. Secondly, we prove that a joint distribution exists iff measurement operators "on-state" permute (permutability is the commutativit…
▽ More
In this note, we analyze joint probability distributions that arise from outcomes of sequences of quantum measurements performed on sets of quantum states. First, we identify some properties of these distributions that need to be fulfilled to get a classical behavior. Secondly, we prove that a joint distribution exists iff measurement operators "on-state" permute (permutability is the commutativity of more than two operators). By "on-state" we mean properties of operators that hold only on a subset of states in the Hilbert space. Then, we disprove a conjecture proposed by
Carstens, Ebrahimi, Tabia, and Unruh (eprint 2018), which states that the property of partial on-state permutation implies full on-state permutation. We disprove this conjecture with a counterexample where pairwise "on-state" commutativity does not imply on-state permutability, unlike in the case of commutativity for all states in the Hilbert space.
Finally, we explore the new concept of on-state commutativity by showing a simple proof that if two projections almost on-state commute, then there is a commuting pair of operators that are on-state close to the originals. This result was originally proven by Hastings (Communications in Mathematical Physics, 2019) for general operators.
△ Less
Submitted 16 March, 2021; v1 submitted 20 January, 2021;
originally announced January 2021.
-
Quantum Lazy Sampling and Game-Playing Proofs for Quantum Indifferentiability
Authors:
Jan Czajkowski,
Christian Majenz,
Christian Schaffner,
Sebastian Zur
Abstract:
Game-playing proofs constitute a powerful framework for non-quantum cryptographic security arguments, most notably applied in the context of indifferentiability. An essential ingredient in such proofs is lazy sampling of random primitives. We develop a quantum game-playing proof framework by generalizing two recently developed proof techniques. First, we describe how Zhandry's compressed quantum o…
▽ More
Game-playing proofs constitute a powerful framework for non-quantum cryptographic security arguments, most notably applied in the context of indifferentiability. An essential ingredient in such proofs is lazy sampling of random primitives. We develop a quantum game-playing proof framework by generalizing two recently developed proof techniques. First, we describe how Zhandry's compressed quantum oracles~(Crypto'19) can be used to do quantum lazy sampling of a class of non-uniform function distributions. Second, we observe how Unruh's one-way-to-hiding lemma~(Eurocrypt'14) can also be applied to compressed oracles, providing a quantum counterpart to the fundamental lemma of game-playing. Subsequently, we use our game-playing framework to prove quantum indifferentiability of the sponge construction, assuming a random internal function.
△ Less
Submitted 12 May, 2021; v1 submitted 25 April, 2019;
originally announced April 2019.
-
Many-body effects in quantum metrology
Authors:
Jan Czajkowski,
Krzysztof Pawłowski,
Rafał Demkowicz-Dobrzański
Abstract:
We study the impact of many-body effects on the fundamental precision limits in quantum metrology. On the one hand such effects may lead to non-linear Hamiltonians, studied in the field of non-linear quantum metrology, while on the other hand they may result in decoherence processes that cannot be described using single-body noise models. We provide a general reasoning that allows to predict the f…
▽ More
We study the impact of many-body effects on the fundamental precision limits in quantum metrology. On the one hand such effects may lead to non-linear Hamiltonians, studied in the field of non-linear quantum metrology, while on the other hand they may result in decoherence processes that cannot be described using single-body noise models. We provide a general reasoning that allows to predict the fundamental scaling of precision in such models as a function of the number of atoms present in the system. Moreover, we describe a computationally efficient approach that allows for a simple derivation of quantitative bounds. We illustrate these general considerations by a detailed analysis of fundamental precision bounds in a paradigmatic atomic interferometry experiment with standard linear Hamiltonian but with both single and two-body losses taken into account---a model which is motivated by the most recent Bose-Einstein Condensate (BEC) magnetometry experiments. Using this example we also highlight the impact of the atom number super-selection rule on the possibility of protecting interferometric protocols against decoherence.
△ Less
Submitted 17 October, 2018; v1 submitted 8 October, 2018;
originally announced October 2018.
-
One-point boundaries of ends of clusters in percolation in $\mathbb H^d$
Authors:
Jan Czajkowski
Abstract:
Consider Bernoulli bond percolation on a graph nicely embedded in hyperbolic space $\mathbb H^d$ in such a way that it admits a transitive action by isometries of $\mathbb H^d$. Let $p_0$ be the supremum of such percolation parameters that no point at infinity of $\mathbb H^d$ lies in the boundary of the cluster of a fixed vertex with positive probability. Then for any parameter $p < p_0$, a.s. ev…
▽ More
Consider Bernoulli bond percolation on a graph nicely embedded in hyperbolic space $\mathbb H^d$ in such a way that it admits a transitive action by isometries of $\mathbb H^d$. Let $p_0$ be the supremum of such percolation parameters that no point at infinity of $\mathbb H^d$ lies in the boundary of the cluster of a fixed vertex with positive probability. Then for any parameter $p < p_0$, a.s. every percolation cluster has only one-point boundaries of ends.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
Adaptive quantum metrology under general Markovian noise
Authors:
R. Demkowicz-Dobrzanski,
J. Czajkowski,
P. Sekatski
Abstract:
We consider a general model of unitary parameter estimation in presence of Markovian noise, where the parameter to be estimated is associated with the Hamiltonian part of the dynamics. In absence of noise, unitary parameter can be estimated with precision scaling as $1/T$, where $T$ is the total probing time. We provide a simple algebraic condition involving solely the operators appearing in the q…
▽ More
We consider a general model of unitary parameter estimation in presence of Markovian noise, where the parameter to be estimated is associated with the Hamiltonian part of the dynamics. In absence of noise, unitary parameter can be estimated with precision scaling as $1/T$, where $T$ is the total probing time. We provide a simple algebraic condition involving solely the operators appearing in the quantum Master equation, implying at most $1/\sqrt{T}$ scaling of precision under the most general adaptive quantum estimation strategies. We also discuss the requirements a quantum error-correction like protocol must satisfy in order to regain the $1/T$ precision scaling in case the above mentioned algebraic condition is not satisfied. Furthermore, we apply the developed methods to understand fundamental precision limits in atomic interferometry with many-body effects taken into account, shedding new light on the performance of non-linear metrological models.
△ Less
Submitted 16 August, 2018; v1 submitted 20 April, 2017;
originally announced April 2017.
-
Installation Progress At The PIP-II Injector Test At Fermilab
Authors:
C. Baffes,
M. Alvarez,
R. Andrews,
A. Chen,
J. Czajkowski,
P. Derwent,
J. Edelen,
B. Hanna,
B. Hartsell,
K. Kendziora,
D. Mitchell,
L. Prost,
V. Scarpine,
A. Shemyakin,
J. Steimel,
T. Zuchnik,
A. Edelen
Abstract:
A CW-compatible, pulsed H- superconducting linac "PIP-II" is being planned to upgrade Fermilab's injection complex. To validate the front-end concept, a test accelerator (The PIP-II Injector Test, formerly known as "PXIE") is under construction. The warm part of this accelerator comprises a 10 mA DC, 30 keV H- ion source, a 2 m-long Low Energy Beam Transport (LEBT), a 2.1 MeV Radio Frequency Quadr…
▽ More
A CW-compatible, pulsed H- superconducting linac "PIP-II" is being planned to upgrade Fermilab's injection complex. To validate the front-end concept, a test accelerator (The PIP-II Injector Test, formerly known as "PXIE") is under construction. The warm part of this accelerator comprises a 10 mA DC, 30 keV H- ion source, a 2 m-long Low Energy Beam Transport (LEBT), a 2.1 MeV Radio Frequency Quadrupole (RFQ) capable of operation in Continuous Wave (CW) mode, and a 10 m-long Medium Energy Beam Transport (MEBT). The paper will report on the installation of the RFQ and the first sections of the MEBT and related mechanical design considerations.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.
-
Super-additivity in communication of classical information through quantum channels from a quantum parameter estimation perspective
Authors:
Jan Czajkowski,
Marcin Jarzyna,
Rafal Demkowicz-Dobrzanski
Abstract:
We point out a contrasting role the entanglement plays in communication and estimation scenarios. In the first case it brings noticeable benefits at the measurement stage (output super-additivity), whereas in the latter it is the entanglement of the input probes that enables significant performance enhancement (input super-additivity). We identify a weak estimation regime where a strong connection…
▽ More
We point out a contrasting role the entanglement plays in communication and estimation scenarios. In the first case it brings noticeable benefits at the measurement stage (output super-additivity), whereas in the latter it is the entanglement of the input probes that enables significant performance enhancement (input super-additivity). We identify a weak estimation regime where a strong connection between concepts crucial to the two fields is demonstrated; the accessible information and the Holevo quantity on one side and the quantum Fisher information related quantities on the other. This allows us to shed new light on the problem of super-additivity in communication using the concepts of quantum estimation theory.
△ Less
Submitted 28 July, 2017; v1 submitted 1 March, 2016;
originally announced March 2016.
-
Percolation in the hyperbolic space: non-uniqueness phase and fibrous clusters
Authors:
Jan Czajkowski
Abstract:
In this thesis, I am going to consider Bernoulli percolation on graphs admitting vertex-transitive actions of groups of isometries of d-dimensional hyperbolic spaces H^d. In the first chapter, I give an overview concerning percolation and its terminology. In the separate introduction to each of the other chapters, I explain its contents more precisely, giving also some preliminaries needed therein…
▽ More
In this thesis, I am going to consider Bernoulli percolation on graphs admitting vertex-transitive actions of groups of isometries of d-dimensional hyperbolic spaces H^d. In the first chapter, I give an overview concerning percolation and its terminology. In the separate introduction to each of the other chapters, I explain its contents more precisely, giving also some preliminaries needed therein. In the second chapter, I prove the existence of a non-trivial non-uniqueness phase of Bernoulli percolation on Cayley graphs for a wide class of Coxeter reflection groups of finite type polyhedra in H^3. In the third chapter, I consider some geometric property of the clusters in Bernoulli bond percolation in the non-uniqueness phase on a class of connected, transitive, locally finite graphs in H^d, for any d.
△ Less
Submitted 13 April, 2015;
originally announced April 2015.
-
Non-uniqueness phase of Bernoulli percolation on reflection groups for some polyhedra in H^3
Authors:
Jan Czajkowski
Abstract:
In the present paper I consider Cayley graphs of reflection groups of finite-sided Coxeter polyhedra in 3-dimensional hyperbolic space H^3, with standard sets of generators. As the main result, I prove the existence of non-trivial non-uniqueness phase of bond and site Bernoulli percolation on such graphs, i.e. that p_c < p_u, for two classes of such polyhedra:
* for any k-hedra as above with k a…
▽ More
In the present paper I consider Cayley graphs of reflection groups of finite-sided Coxeter polyhedra in 3-dimensional hyperbolic space H^3, with standard sets of generators. As the main result, I prove the existence of non-trivial non-uniqueness phase of bond and site Bernoulli percolation on such graphs, i.e. that p_c < p_u, for two classes of such polyhedra:
* for any k-hedra as above with k at least 13;
* for any compact right-angled polyhedra as above.
I also establish a natural lower bound for the growth rate of such Cayley graphs (when the number of faces of the polyhedron is at least 6; see thm. 5.2) and an upper bound for the growth rate of the sequence (#{simple cycles of length n through o})_n for a regular graph of degree at least 2 with a distinguished vertex o, depending on its spectral radius (see thm. 5.1 and rem. 2.3), both used to prove the main result.
△ Less
Submitted 22 March, 2013;
originally announced March 2013.
-
Clusters in middle-phase percolation on hyperbolic plane
Authors:
Jan Czajkowski
Abstract:
I consider p-Bernoulli bond percolation on graphs of vertex-transitive tilings of the hyperbolic plane with finite sided faces (or, equivalently, on transitive, nonamenable, planar graphs with one end) and on their duals. It is known (Benjamini and Schramm) that in such a graph G we have three essential phases of percolation, i. e. 0 < p_c(G) < p_u(G) < 1, where p_c is the critical probability and…
▽ More
I consider p-Bernoulli bond percolation on graphs of vertex-transitive tilings of the hyperbolic plane with finite sided faces (or, equivalently, on transitive, nonamenable, planar graphs with one end) and on their duals. It is known (Benjamini and Schramm) that in such a graph G we have three essential phases of percolation, i. e. 0 < p_c(G) < p_u(G) < 1, where p_c is the critical probability and p_u - the unification probability. I prove that in the middle phase a. s. all the ends of all the infinite clusters have one-point boundary in the boundary of H^2. This result is similar to some results of Lalley.
△ Less
Submitted 31 March, 2011;
originally announced April 2011.