-
A Closed Form for Moment-Based Entanglement Tests Associated to the PPT Criterion
Authors:
Zachary P. Bradshaw,
Margarite L. LaBorde
Abstract:
Neven et al. have explored an unexpected alliance between the mathematical insights of Sir Isaac Newton and RenĂ© Descartes which culminates in the reduction of the Positive Partial Transpose (PPT) criterion to an equivalent hierarchy of entanglement tests based on the moments of the partial transpose. By repurposing these classical results in the context of modern quantum theory, they illuminate n…
▽ More
Neven et al. have explored an unexpected alliance between the mathematical insights of Sir Isaac Newton and René Descartes which culminates in the reduction of the Positive Partial Transpose (PPT) criterion to an equivalent hierarchy of entanglement tests based on the moments of the partial transpose. By repurposing these classical results in the context of modern quantum theory, they illuminate new pathways for entanglement verification. Here, we expand on this work by providing a closed form for the inequalities defining these entanglement tests and producing an equivalent set of graph theoretic conditions on the weighted graph induced by the partial transpose.
△ Less
Submitted 21 March, 2025;
originally announced March 2025.
-
Quantum Entanglement & Purity Testing: A Graph Zeta Function Perspective
Authors:
Zachary P. Bradshaw,
Margarite L. LaBorde
Abstract:
We assign an arbitrary density matrix to a weighted graph and associate to it a graph zeta function that is both a generalization of the Ihara zeta function and a special case of the edge zeta function. We show that a recently developed bipartite pure state separability algorithm based on the symmetric group is equivalent to the condition that the coefficients in the exponential expansion of this…
▽ More
We assign an arbitrary density matrix to a weighted graph and associate to it a graph zeta function that is both a generalization of the Ihara zeta function and a special case of the edge zeta function. We show that a recently developed bipartite pure state separability algorithm based on the symmetric group is equivalent to the condition that the coefficients in the exponential expansion of this zeta function are unity. Moreover, there is a one-to-one correspondence between the nonzero eigenvalues of a density matrix and the singularities of its zeta function. Several examples are given to illustrate these findings.
△ Less
Submitted 11 July, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Fractional Dirac Equations from Polynomial Linearization: Solutions and Difficulties
Authors:
Erin T. Albertin,
Zachary P. Bradshaw,
Kaitlyn M. Kirt,
Kathryn E. Long,
Anthony Nguyen
Abstract:
The linearization of a quadratic form gives rise to a Clifford algebra structure, as seen in Dirac's factorization of the d'Alembert operator. A similar structure known as a generalized Clifford algebra arises from the continuation of this procedure to higher order forms. This technique combined with the existence of a fractional derivative satisfying the semi-group property can be used to factor…
▽ More
The linearization of a quadratic form gives rise to a Clifford algebra structure, as seen in Dirac's factorization of the d'Alembert operator. A similar structure known as a generalized Clifford algebra arises from the continuation of this procedure to higher order forms. This technique combined with the existence of a fractional derivative satisfying the semi-group property can be used to factor the d'Alembert operator further, producing a fractional partial differential matrix equation that has a similar form to Dirac's equation. We examine these equations, their solutions, and point out difficulties when attempting to make physical sense of them.
△ Less
Submitted 14 May, 2023; v1 submitted 12 December, 2022;
originally announced December 2022.
-
An Operational Calculus Generalization of Ramanujan's Master Theorem
Authors:
Zachary P. Bradshaw,
Christophe Vignat
Abstract:
We give a formal extension of Ramanujan's master theorem using operational methods. The resulting identity transforms the computation of a product of integrals on the half-line to the computation of a Laplace transform. Since the identity is purely formal, we show consistency of this operational approach with various standard calculus results, followed by several examples to illustrate the power o…
▽ More
We give a formal extension of Ramanujan's master theorem using operational methods. The resulting identity transforms the computation of a product of integrals on the half-line to the computation of a Laplace transform. Since the identity is purely formal, we show consistency of this operational approach with various standard calculus results, followed by several examples to illustrate the power of the extension. We then briefly discuss the connection between Ramanujan's master theorem and identities of Hardy and Carr before extending the latter identities in the same way we extended Ramanujan's. Finally, we generalize our results, producing additional interesting identities as a corollary.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Cycle Index Polynomials and Generalized Quantum Separability Tests
Authors:
Zachary P. Bradshaw,
Margarite L. LaBorde,
Mark M. Wilde
Abstract:
The mixedness of one share of a pure bipartite state determines whether the overall state is a separable, unentangled state. Here we consider quantum computational tests of mixedness, and we derive an exact expression of the acceptance probability of such tests as the number of copies of the state becomes larger. We prove that the analytical form of this expression is given by the cycle index poly…
▽ More
The mixedness of one share of a pure bipartite state determines whether the overall state is a separable, unentangled state. Here we consider quantum computational tests of mixedness, and we derive an exact expression of the acceptance probability of such tests as the number of copies of the state becomes larger. We prove that the analytical form of this expression is given by the cycle index polynomial of the symmetric group $S_k$, which is itself related to the Bell polynomials. After doing so, we derive a family of quantum separability tests, each of which is generated by a finite group; for all such algorithms, we show that the acceptance probability is determined by the cycle index polynomial of the group. Finally, we produce and analyze explicit circuit constructions for these tests, showing that the tests corresponding to the symmetric and cyclic groups can be executed with $O(k^2)$ and $O(k\log(k))$ controlled-SWAP gates, respectively, where $k$ is the number of copies of the state being tested.
△ Less
Submitted 14 July, 2024; v1 submitted 30 August, 2022;
originally announced August 2022.