9,835 research outputs found
Coclass theory for nilpotent semigroups via their associated algebras
Coclass theory has been a highly successful approach towards the
investigation and classification of finite nilpotent groups. Here we suggest a
similar approach for finite nilpotent semigroups. This differs from the group
theory setting in that we additionally use certain algebras associated to the
considered semigroups. We propose a series of conjectures on our suggested
approach. If these become theorems, then this would reduce the classification
of nilpotent semigroups of a fixed coclass to a finite calculation. Our
conjectures are supported by the classification of nilpotent semigroups of
coclass 0 and 1. Computational experiments suggest that the conjectures also
hold for the nilpotent semigroups of coclass 2 and 3.Comment: 13 pages, 2 figure
Boundaries, defects and Frobenius algebras
The interpretation of D-branes in terms of open strings has lead to much
interest in boundary conditions of two-dimensional conformal field theories
(CFTs). These studies have deepened our understanding of CFT and allowed us to
develop new computational tools. The construction of CFT correlators based on
combining tools from topological field theory and non-commutative algebra in
tensor categories, which we summarize in this contribution, allows e.g. to
discuss, apart from boundary conditions, also defect lines and disorder fields.Comment: 7 pages. Contribution to the 35th International Symposium Ahrenshoop
on the Theory of Elementary Particles (Berlin, August 2002) and to the
International Conference on Theoretical Physics (UNESCO, Paris, July 2002).
For related proceedings contributions see
http://tpe.physik.rwth-aachen.de/schweigert/proceedings.htm
Generalization of matching extensions in graphs (II)
Proposed as a general framework, Liu and Yu(Discrete Math. 231 (2001)
311-320) introduced -graphs to unify the concepts of deficiency of
matchings, -factor-criticality and -extendability. Let be a graph and
let and be non-negative integers such that and
is even. If when deleting any vertices from , the remaining
subgraph of contains a -matching and each such - matching can be
extended to a defect- matching in , then is called an
-graph. In \cite{Liu}, the recursive relations for distinct parameters
and were presented and the impact of adding or deleting an edge also
was discussed for the case . In this paper, we continue the study begun
in \cite{Liu} and obtain new recursive results for -graphs in the
general case .Comment: 12 page
Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
Schur-Weyl duality is a ubiquitous tool in quantum information. At its heart
is the statement that the space of operators that commute with the tensor
powers of all unitaries is spanned by the permutations of the tensor factors.
In this work, we describe a similar duality theory for tensor powers of
Clifford unitaries. The Clifford group is a central object in many subfields of
quantum information, most prominently in the theory of fault-tolerance. The
duality theory has a simple and clean description in terms of finite
geometries. We demonstrate its effectiveness in several applications:
(1) We resolve an open problem in quantum property testing by showing that
"stabilizerness" is efficiently testable: There is a protocol that, given
access to six copies of an unknown state, can determine whether it is a
stabilizer state, or whether it is far away from the set of stabilizer states.
We give a related membership test for the Clifford group.
(2) We find that tensor powers of stabilizer states have an increased
symmetry group. We provide corresponding de Finetti theorems, showing that the
reductions of arbitrary states with this symmetry are well-approximated by
mixtures of stabilizer tensor powers (in some cases, exponentially well).
(3) We show that the distance of a pure state to the set of stabilizers can
be lower-bounded in terms of the sum-negativity of its Wigner function. This
gives a new quantitative meaning to the sum-negativity (and the related mana)
-- a measure relevant to fault-tolerant quantum computation. The result
constitutes a robust generalization of the discrete Hudson theorem.
(4) We show that complex projective designs of arbitrary order can be
obtained from a finite number (independent of the number of qudits) of Clifford
orbits. To prove this result, we give explicit formulas for arbitrary moments
of random stabilizer states.Comment: 60 pages, 2 figure
- …