Researcher profile

David W. Lyons

David W. Lyons contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
3topics
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

10 published item(s)

preprint2022arXiv

Finite-Function-Encoding Quantum States

We introduce finite-function-encoding (FFE) states which encode arbitrary $d$-valued logic functions, i.e., multivariate functions over the ring of integers modulo $d$, and investigate some of their structural properties. We also point out some differences between polynomial and non-polynomial function encoding states: The former can be associated to graphical objects, that we dub tensor-edge hypergraphs (TEH), which are a generalization of hypergraphs with a tensor attached to each hyperedge encoding the coefficients of the different monomials. To complete the framework, we also introduce a notion of finite-function-encoding Pauli (FP) operators, which correspond to elements of what is known as the generalized symmetric group in mathematics. First, using this machinery, we study the stabilizer group associated to FFE states and observe how qudit hypergraph states introduced in arXiv:1612.06418v2 admit stabilizers of a particularly simpler form. Afterwards, we investigate the classification of FFE states under local unitaries (LU), and, after showing the complexity of this problem, we focus on the case of bipartite states and especially on the classification under local FP operations (LFP). We find all LU and LFP classes for two qutrits and two ququarts and study several other special classes, pointing out the relation between maximally entangled FFE states and complex Butson-type Hadamard matrices. Our investigation showcases also the relation between the properties of FFE states, especially their LU classification, and the theory of finite rings over the integers.

preprint2022arXiv

Local unitary classes of states invariant under permutation subgroups

The study of entanglement properties of multi-qubit states that are invariant under permutations of qubits is motivated by potential applications in quantum computing, quantum communication, and quantum metrology. In this work, we generalize the notions of symmetrization, Dicke states, and the Majorana representation to the alternating, cyclic, and dihedral subgroups of the full group of permutations. We use these tools to characterize states that are invariant under these subgroups and analyze their entanglement properties.

preprint2015arXiv

Local unitary symmetries of hypergraph states

Hypergraph states are multiqubit states whose combinatorial description and entanglement properties generalize the well-studied class of graph states. Graph states are important in applications such as measurement-based quantum computation and quantum error correction. The study of hypergraph states, with their richer multipartite entanglement and other nonlocal properties, has a promising outlook for new insight into multipartite entanglement. We present results analyzing local unitary symmetries of hypergraph states, including both continuous and discrete families of symmetries. In particular, we show how entanglement types can be detected and distinguished by certain configurations in the hypergraphs from which hypergraph states are constructed.

preprint2013arXiv

Entanglement verification using local unitary stabilizers

Local unitary stabilizer subgroups constitute powerful invariants for distinguishing various types of multipartite entanglement. In this paper, we show how stabilizers can be used as a basis for entanglement verification protocols on distributed quantum networks using minimal resources. As an example, we develop and analyze the performance of a protocol to verify membership in the space of Werner states, that is, multi-qubit states that are invariant under the action of any 1-qubit unitary applied to all the qubits.

preprint2012arXiv

Werner state structure and entanglement classification

We present applications of the representation theory of Lie groups to the analysis of structure and local unitary classification of Werner states, sometimes called the {\em decoherence-free} states, which are states of $n$ quantum bits left unchanged by local transformations that are the same on each particle. We introduce a multiqubit generalization of the singlet state, and a construction that assembles these into Werner states.

preprint2011arXiv

Entanglement classes of symmetric Werner states

The symmetric Werner states for $n$ qubits, important in the study of quantum nonlocality and useful for applications in quantum information, have a surprisingly simple and elegant structure in terms of tensor products of Pauli matrices. Further, each of these states forms a unique local unitary equivalence class, that is, no two of these states are interconvertible by local unitary operations.

preprint2011arXiv

Symmetric mixed states of $n$ qubits: local unitary stabilizers and entanglement classes

We classify, up to local unitary equivalence, local unitary stabilizer Lie algebras for symmetric mixed states into six classes. These include the stabilizer types of the Werner states, the GHZ state and its generalizations, and Dicke states. For all but the zero algebra, we classify entanglement types (local unitary equivalence classes) of symmetric mixed states that have those stabilizers. We make use of the identification of symmetric density matrices with polynomials in three variables with real coefficients and apply the representation theory of SO(3) on this space of polynomials.

preprint2010arXiv

Local unitary group stabilizers and entanglement for multiqubit symmetric states

We refine recent local unitary entanglement classification for symmetric pure states of $n$ qubits (that is, states invariant under permutations of qubits) using local unitary stabilizer subgroups and Majorana configurations. Stabilizer subgroups carry more entanglement distinguishing power than do the stabilizer subalgebras used in our previous work. We extend to mixed states recent results about local operations on pure symmetric states by showing that if two symmetric density operators are equivalent by a local unitary operation, then they are equivalent via a local unitary operation that is the {\em same} in each qubit. A geometric consequence, used in our entanglement classification, is that two symmetric pure states are local unitary equivalent if and only if their Majorana configurations can be interchanged by a rotation of the Bloch sphere.

preprint2010arXiv

Symmetric states: local unitary equivalence via stabilizers

We classify local unitary equivalence classes of symmetric states via a classification of their local unitary stabilizer subgroups. For states whose local unitary stabilizer groups have a positive number of continuous degrees of freedom, the classification is exhaustive. We show that local unitary stabilizer groups with no continuous degrees of freedom are isomorphic to finite subgroups of the rotation group SO(3), and give examples of states with discrete stabilizers.