37,749 research outputs found
Universal Cycles for Minimum Coverings of Pairs by Triples, with Application to 2-Radius Sequences
A new ordering, extending the notion of universal cycles of Chung {\em et
al.} (1992), is proposed for the blocks of -uniform set systems. Existence
of minimum coverings of pairs by triples that possess such an ordering is
established for all orders. Application to the construction of short 2-radius
sequences is given, with some new 2-radius sequences found through computer
search.Comment: 18 pages, to appear in Mathematics of Computatio
Sparse Kneser graphs are Hamiltonian
For integers and , the Kneser graph is the
graph whose vertices are the -element subsets of and whose
edges connect pairs of subsets that are disjoint. The Kneser graphs of the form
are also known as the odd graphs. We settle an old problem due to
Meredith, Lloyd, and Biggs from the 1970s, proving that for every ,
the odd graph has a Hamilton cycle. This and a known conditional
result due to Johnson imply that all Kneser graphs of the form
with and have a Hamilton cycle. We also prove that
has at least distinct Hamilton cycles for .
Our proofs are based on a reduction of the Hamiltonicity problem in the odd
graph to the problem of finding a spanning tree in a suitably defined
hypergraph on Dyck words
Quantum information and statistical mechanics: an introduction to frontier
This is a short review on an interdisciplinary field of quantum information
science and statistical mechanics. We first give a pedagogical introduction to
the stabilizer formalism, which is an efficient way to describe an important
class of quantum states, the so-called stabilizer states, and quantum
operations on them. Furthermore, graph states, which are a class of stabilizer
states associated with graphs, and their applications for measurement-based
quantum computation are also mentioned. Based on the stabilizer formalism, we
review two interdisciplinary topics. One is the relation between quantum error
correction codes and spin glass models, which allows us to analyze the
performances of quantum error correction codes by using the knowledge about
phases in statistical models. The other is the relation between the stabilizer
formalism and partition functions of classical spin models, which provides new
quantum and classical algorithms to evaluate partition functions of classical
spin models.Comment: 15pages, 4 figures, to appear in Proceedings of 4th YSM-SPIP (Sendai,
14-16 December 2012
Hypotheses testing on infinite random graphs
Drawing on some recent results that provide the formalism necessary to
definite stationarity for infinite random graphs, this paper initiates the
study of statistical and learning questions pertaining to these objects.
Specifically, a criterion for the existence of a consistent test for complex
hypotheses is presented, generalizing the corresponding results on time series.
As an application, it is shown how one can test that a tree has the Markov
property, or, more generally, to estimate its memory
Universal and Near-Universal Cycles of Set Partitions
We study universal cycles of the set of -partitions of the
set and prove that the transition digraph associated
with is Eulerian. But this does not imply that universal cycles
(or ucycles) exist, since vertices represent equivalence classes of partitions!
We use this result to prove, however, that ucycles of exist for
all when . We reprove that they exist for odd when and that they do not exist for even when . An infinite family
of for which ucycles do not exist is shown to be those pairs for which
is odd (). We also show that there exist
universal cycles of partitions of into subsets of distinct sizes when
is sufficiently smaller than , and therefore that there exist universal
packings of the partitions in . An analogous result for
coverings completes the investigation.Comment: 22 page
- …