Source author record

Arthur J. Parzygnat

Arthur J. Parzygnat appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CT quant-ph math.DG math.OA Information Theory math-ph math.IT math.KT math.MP math.PR

Catalog footprint

What is connected

6works

10topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

preprint2025arXiv

Bipartite quantum states admitting a causal explanation

The statistics of local measurements of joint quantum systems can sometimes be used to distinguish the spatiotemporal structure in which they were measured. We first prove that every bipartite separable density matrix is temporally compatible with direct causal influence for arbitrary finite-dimensional quantum systems and measurements of a tomographically-complete class of observables, which includes all Pauli observables in the case of multi-qubit systems. Equivalently, if a bipartite density matrix is not temporally compatible with direct causal influence, then it must be entangled. We also provide an operational meaning for the two temporal evolutions consistent with such correlations in terms of generalized dephasing channels and pretty good measurements. The two temporal evolutions are Bayesian inverses of each other, which is different from them being Petz recovery maps of each other. Finally, we prove necessary and sufficient conditions for an arbitrary bipartite quantum state to be temporally compatible, thereby providing a temporal analogue of the positive partial transpose criterion valid for quantum systems of any dimension.

preprint2022arXiv

On quantum states over time

In 2017, D. Horsman, C. Heunen, M. Pusey, J. Barrett, and R. Spekkens proved that there is no physically reasonable assignment that takes a quantum channel and an initial state and produces a joint state on the tensor product of the input and output spaces. The interpretation was that there is a clear distinction between space and time in the quantum setting that is not visible classically, where in the latter, one can freely use Bayes' theorem to go between joint states and marginals with noisy channels. In this paper, we prove that there actually is such a physically reasonable assignment, bypassing the no-go result of Horsman et al., and we illustrate that this is achievable by restricting the domain of their assignment to a domain which represents the given data more faithfully.

preprint2021arXiv

A functorial characterization of von Neumann entropy

Using convex Grothendieck fibrations, we characterize the von Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving *-homomorphisms to real numbers. Our axioms reproduce those of Baez, Fritz, and Leinster characterizing the Shannon entropy difference. The existence of disintegrations for classical probability spaces plays a crucial role in our characterization.

preprint2021arXiv

Noncommutative Differential K-theory

We introduce a differential extension of algebraic K-theory of an algebra using Karoubi's Chern character. In doing so, we develop a necessary theory of secondary transgression forms as well as a differential refinement of the smooth Serre--Swan correspondence. Our construction subsumes the differential K-theory of a smooth manifold when the algebra is complex-valued smooth functions. Furthermore, our construction fits into a noncommutative differential cohomology hexagon diagram.

preprint2020arXiv

A non-commutative Bayes' theorem

Using a diagrammatic reformulation of Bayes' theorem, we provide a necessary and sufficient condition for the existence of Bayesian inference in the setting of finite-dimensional $C^*$-algebras. In other words, we prove an analogue of Bayes' theorem in the joint classical and quantum context. Our analogue is justified by recent advances in categorical probability theory, which have provided an abstract formulation of the classical Bayes' theorem. In the process, we further develop non-commutative almost everywhere equivalence and illustrate its important role in non-commutative Bayesian inversion. The construction of such Bayesian inverses, when they exist, involves solving a positive semidefinite matrix completion problem for the Choi matrix. This gives a solution to the open problem of constructing Bayesian inversion for completely positive unital maps acting on density matrices that do not have full support. We illustrate how the procedure works for several examples relevant to quantum information theory.

preprint2015arXiv

Gauge invariant surface holonomy and monopoles

There are few known computable examples of non-abelian surface holonomy. In this paper, we give several examples whose structure 2-groups are covering 2-groups and show that the surface holonomies can be computed via a simple formula in terms of paths of 1-dimensional holonomies inspired by earlier work of Chan Hong-Mo and Tsou Sheung Tsun on magnetic monopoles. As a consequence of our work and that of Schreiber and Waldorf, this formula gives a rigorous meaning to non-abelian magnetic flux for magnetic monopoles. In the process, we discuss gauge covariance of surface holonomies for spheres for any 2-group, therefore generalizing the notion of the reduced group introduced by Schreiber and Waldorf. Using these ideas, we also prove that magnetic monopoles have an abelian group structure.