30,766 research outputs found
Powerful sets: a generalisation of binary matroids
A set of binary vectors, with positions indexed by ,
is said to be a \textit{powerful code} if, for all , the number
of vectors in that are zero in the positions indexed by is a power of
2. By treating binary vectors as characteristic vectors of subsets of , we
say that a set of subsets of is a \textit{powerful set} if
the set of characteristic vectors of sets in is a powerful code. Powerful
sets (codes) include cocircuit spaces of binary matroids (equivalently, linear
codes over ), but much more besides. Our motivation is that, to
each powerful set, there is an associated nonnegative-integer-valued rank
function (by a construction of Farr), although it does not in general satisfy
all the matroid rank axioms.
In this paper we investigate the combinatorial properties of powerful sets.
We prove fundamental results on special elements (loops, coloops, frames,
near-frames, and stars), their associated types of single-element extensions,
various ways of combining powerful sets to get new ones, and constructions of
nonlinear powerful sets. We show that every powerful set is determined by its
clutter of minimal nonzero members. Finally, we show that the number of
powerful sets is doubly exponential, and hence that almost all powerful sets
are nonlinear.Comment: 19 pages. This work was presented at the 40th Australasian Conference
on Combinatorial Mathematics and Combinatorial Computing (40ACCMCC),
University of Newcastle, Australia, Dec. 201
Rough matroids based on coverings
The introduction of covering-based rough sets has made a substantial
contribution to the classical rough sets. However, many vital problems in rough
sets, including attribution reduction, are NP-hard and therefore the algorithms
for solving them are usually greedy. Matroid, as a generalization of linear
independence in vector spaces, it has a variety of applications in many fields
such as algorithm design and combinatorial optimization. An excellent
introduction to the topic of rough matroids is due to Zhu and Wang. On the
basis of their work, we study the rough matroids based on coverings in this
paper. First, we investigate some properties of the definable sets with respect
to a covering. Specifically, it is interesting that the set of all definable
sets with respect to a covering, equipped with the binary relation of inclusion
, constructs a lattice. Second, we propose the rough matroids based
on coverings, which are a generalization of the rough matroids based on
relations. Finally, some properties of rough matroids based on coverings are
explored. Moreover, an equivalent formulation of rough matroids based on
coverings is presented. These interesting and important results exhibit many
potential connections between rough sets and matroids.Comment: 15page
Ground-State Spaces of Frustration-Free Hamiltonians
We study the ground-state space properties for frustration-free Hamiltonians.
We introduce a concept of `reduced spaces' to characterize local structures of
ground-state spaces. For a many-body system, we characterize mathematical
structures for the set of all the -particle reduced spaces, which
with a binary operation called join forms a semilattice that can be interpreted
as an abstract convex structure. The smallest nonzero elements in ,
called atoms, are analogs of extreme points. We study the properties of atoms
in and discuss its relationship with ground states of -local
frustration-free Hamiltonians. For spin-1/2 systems, we show that all the atoms
in are unique ground states of some 2-local frustration-free
Hamiltonians. Moreover, we show that the elements in may not be the
join of atoms, indicating a richer structure for beyond the convex
structure. Our study of deepens the understanding of ground-state
space properties for frustration-free Hamiltonians, from a new angle of reduced
spaces.Comment: 23 pages, no figur
Spin networks, quantum automata and link invariants
The spin network simulator model represents a bridge between (generalized)
circuit schemes for standard quantum computation and approaches based on
notions from Topological Quantum Field Theories (TQFT). More precisely, when
working with purely discrete unitary gates, the simulator is naturally modelled
as families of quantum automata which in turn represent discrete versions of
topological quantum computation models. Such a quantum combinatorial scheme,
which essentially encodes SU(2) Racah--Wigner algebra and its braided
counterpart, is particularly suitable to address problems in topology and group
theory and we discuss here a finite states--quantum automaton able to accept
the language of braid group in view of applications to the problem of
estimating link polynomials in Chern--Simons field theory.Comment: LateX,19 pages; to appear in the Proc. of "Constrained Dynamics and
Quantum Gravity (QG05), Cala Gonone (Italy) September 12-16 200
- …