Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Rotor Walks and Markov Chains
Published
• View Publication
• BIB
The rotor walk is a derandomized version of the random walk on a graph. On successive visits to any given vertex, the walker is routed to each of the neighboring vertices in some fixed cyclic order, rather than to a random sequence of neighbors. The concept generalizes naturally to Markov chains on a countable state space. Subject to general conditions, we prove that many natural quantities associated with the rotor walk (including normalized hitting frequencies, hitting times and occupation frequencies) concentrate around their expected values for the random walk. Furthermore, the concentration is stronger than that associated with repeated runs of the random walk, with discrepancy at most C/n after n runs (for an explicit constant C), rather than c/sqrt n.
On the Upper Bounds of MDS Codes
Let $M_{q}(k)$ be the maximum length of MDS codes with parameters $q,k$. In this paper, the properties of $M_{q}(k)$ are studied, and some new upper bounds of $M_{q}(k)$ are obtained. Especially we obtain that $M_{q}(q-1)\leq q+2(q\equiv4(mod 6)), M_{q}(q-2)\leq q+1(q\equiv4(mod 6)), M_{q}(k)\leq q+k-3 (q=36(5s+1), s\in N$ and $ k=6,7).
Basics of the theory of cyclic rook polynomials and cyclic permanents of rectangular matrices
Combinatorial formulas expressing cyclic rook polynomials and cyclic permanents of rectangular matrices in terms of expansions along rows are presented
Counting Complex Disordered States by Efficient Pattern Matching: Chromatic Polynomials and Potts Partition Functions
Published in New J. Phys. 11:023001 (2009); freely available online
• View Publication
• BIB
Counting problems, determining the number of possible states of a large system under certain constraints, play an important role in many areas of science. They naturally arise for complex disordered systems in physics and chemistry, in mathematical graph theory, and in computer science. Counting problems, however, are among the hardest problems to access computationally. Here, we suggest a novel method to access a benchmark counting problem, finding chromatic polynomials of graphs. We develop a vertex-oriented symbolic pattern matching algorithm that exploits the equivalence between the chromatic polynomial and the zero-temperature partition function of the Potts antiferromagnet on the same graph. Implementing this bottom-up algorithm using appropriate computer algebra, the new method outperforms standard top-down methods by several orders of magnitude, already for moderately sized graphs. As a first application, we compute chromatic polynomials of samples of the simple cubic lattice, for the first time computationally accessing three-dimensional lattices of physical relevance. The method offers straightforward generalizations to several other counting problems.
Nonstandard Digraphs
Nonstandard graphs have been defined and examined in prior works. The present work does the same for nonstandard digraphs. Since digraphs have more structure than do graphs, the present discussion requires more complicated definitions and yields a variety of results peculiar to nonstandard digraphs. A nonstandard digraph can be obtained by means of an ultrapower construction based on a sequence of digraphs or more elegantly by using the transfer principle. We use either or both techniques in particular circumstances. As special cases, we have the enlargement of a single infinite digraph and also hyperfinite digraphs based on sequences of finite digraphs. Also examined are such ideas as incidences and adjacencies for nonstandard arcs and vertices, connectedness, components, and galaxies in nonstandard digraphs.
Transfinite Digraphs
Transfinite graphs have been defined and examined in a variety of prior works, but transfinite digraphs had not as yet been investigated. The present work embarks upon such a task. As with the ordinals, transfinite digraphs appear in a hierarchy of ranks indexed by the countable ordinals. The digraphs of rank 0 are the conventional digraphs. Those of rank 1 are constructed by defining certain extremities of 0-ranked digraphs, and then partitioning those extremities to obtain vertices of rank 1. Then, digraphs of rank 0 are connected together at those vertices of rank 1 to obtain a digraph of rank 1. This process can be continued through the natural-number ranks. However, to achieve a digraph whose rank is the first infinite ordinal $ω$ (i.e., the first limit ordinal), a special kind of transfinite digraph, which we call a digraph with an "arrow rank" must first be constructed in a way different from those of natural-number rank. Then, digraphs of still higher ranks can be constructed in a way similar to that for the natural-number ranked digraphs. However, just before each limit-ordinal rank, a digraph of arrow rank must be set up.
Nonstandard Transfinite Digraphs
Nonstandard digraphs and transfinite digraphs have been defined and examined in two prior technical reports. The present work examines digraphs that are both nonstandard and transfinite. This requires a combination in certain ways of the techniques used in the prior two works. We first construct herein nonstandard transfinite digraphs for all the natural-number ranks. Then, a special kind of nonstandard transfinite digraph having the "arrow rank" $\vecω$ needs to be constructed. Once this is done, the first limit-ordinal rank $ω$ can be attained. This procedure can be continued on to still higher ranks.
Homotopy Classification of Generalized Phrases in Turaev's Theory of Words
In 2005 V. Turaev introduced the theory of topology of words and phrases. Turaev defined an equivalence relation on generalized words and phrases which is called homotopy. This is suggested by the Reidemeister moves in the knot theory. Then Turaev gave the homotopy classification of generalized words with less than or equal to five letters. In this paper we give the classification of generalized phrases up to homotopy with less than or equal to three letters. To do this we construct a new homotopy invariant for nanophrases over any $α$.
Quotients of incidence geometries
Published in Designs, Codes and Cryptography, Volume 64(2012), No. 1--2, 105--128
• View Publication
• BIB
We develop a theory for quotients of geometries and obtain sufficient conditions for the quotient of a geometry to be a geometry. These conditions are compared with earlier work on quotients, in particular by Pasini and Tits. We also explore geometric properties such as connectivity, firmness and transitivity conditions to determine when they are preserved under the quotienting operation. We show that the class of coset pregeometries, which contains all flag-transitive geometries, is closed under an appropriate quotienting operation.
Local structures in polyhedral maps on surfaces, and path transferability of graphs
We extend Jendrol' and Skupień's results about the local structure of maps on the 2-sphere: In this paper we show that if a polyhedral map $G$ on a surface $\M$ of Euler characteristic $χ(\M) \le 0$ has more than $126|χ(\M)|$ vertices, then $G$ has a vertex with "nearly" non-negative combinatorial curvature. As a corollary of this, we can deduce that path transferability of such graphs are at most 12.
Combinatorics of Cremona monomial maps
Published in Math. Comp. 81 (2012), no. 279, 1857--1867
• View Publication
• BIB
One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of monomials defining the inverse can be obtained explicitly in terms of the initial data. A neat consequence is drawn for the plane Cremona monomial group, in particular the known result saying that a plane Cremona (monomial) map and its inverse have the same degree. Included is a discussion about the computational side and/or implementation of the combinatorial invariants stemming from these questions.
The nullcone in the multi-vector representation of the symplectic group and related combinatorics
Published
• View Publication
• BIB
We study the nullcone in the multi-vector representation of the symplectic group with respect to a joint action of the general linear group and the symplectic group. By extracting an algebra over a distributive lattice structure from the coordinate ring of the nullcone, we describe a toric degeneration and standard monomial theory of the nullcone in terms of double tableaux and integral points in a convex polyhedral cone.
Continued Fractions and the Partially Asymmetric Exclusion Process
Published in J. Phys. A: Math. Theor. 42 325002 (2009)
• View Publication
• BIB
We note that a tridiagonal matrix representation of the algebra of the partially asymmetric exclusion process (PASEP) lends itself to interpretation as the transfer matrix for weighted Motzkin lattice paths. A continued fraction ("J-Fraction") representation of the lattice path generating function is particularly well suited to discussing the PASEP, for which the paths have height dependent weights. We show that this not only allows a succinct derivation of the normalisation and correlation lengths of the PASEP, but also reveals how finite-dimensional representations of the PASEP algebra, valid only along special lines in the phase diagram, relate to the general solution that requires an infinite-dimensional representation.
On the b-chromatic number of Kneser Graphs
Published
• View Publication
• BIB
In this note, we prove that for any integer $n\geq 3$ the b-chromatic number of the Kneser graph $KG(m,n)$ is greater than or equal to $2{\lfloor {m\over 2} \rfloor \choose n}$. This gives an affirmative answer to a conjecture of [6].
Generalized de Bruijn words for Primitive words and Powers
Published in Discrete Mathematics 338(12) (2015), 2320-2331
• View Publication
• BIB
We show that for every $n \geq 1$ and over any finite alphabet, there is a word whose circular factors of length $n$ have a one-to-one correspondence with the set of primitive words. In particular, we prove that such a word can be obtained by a greedy algorithm, or by concatenating all Lyndon words of length $n$ in increasing lexicographic order. We also look into connections between de Bruijn graphs of primitive words and Lyndon graphs.
Finally, we also show that the shortest word that contains every $p$-power of length $pn$ over a $k$-letter alphabet has length between $pk^n$ and roughly $(p+ \frac{1}{k}) k^n$, for all integers $p \geq 1$. An algorithm that generates a word which achieves the upper bound is provided.
Orbit-Product Representation and Correction of Gaussian Belief Propagation
Published
• View Publication
• BIB
We present a new view of Gaussian belief propagation (GaBP) based on a representation of the determinant as a product over orbits of a graph. We show that the GaBP determinant estimate captures totally backtracking orbits of the graph and consider how to correct this estimate. We show that the missing orbits may be grouped into equivalence classes corresponding to backtrackless orbits and the contribution of each equivalence class is easily determined from the GaBP solution. Furthermore, we demonstrate that this multiplicative correction factor can be interpreted as the determinant of a backtrackless adjacency matrix of the graph with edge weights based on GaBP. Finally, an efficient method is proposed to compute a truncated correction factor including all backtrackless orbits up to a specified length.
On the fixed point of the iterated pseudopalindromic closure
Published
• View Publication
• BIB
First introduced in the study of the Sturmian words, the iterated palindromic closure was recently generalized to pseudopalindromes. This operator allows one to construct words with an infinity of pseudopalindromic prefixes, called pseudostandard words. We provide here several combinatorial properties of the fixed points under the iterated pseudopalindromic closure.
Linear nonbinary covering codes and saturating sets in projective spaces
Published
• View Publication
• BIB
Let A_{R,q} denote a family of covering codes, in which the covering radius R and the size q of the underlying Galois field are fixed, while the code length tends to infinity. In this paper, infinite sets of families A_{R,q}, where R is fixed but q ranges over an infinite set of prime powers are considered, and the dependence on q of the asymptotic covering densities of A_{R,q} is investigated. It turns out that for the upper limit of the covering density of A_{R,q}, the best possibility is O(q). The main achievement of the present paper is the construction of asymptotic optimal infinite sets of families A_{R,q} for any covering radius R >= 2. We first showed that for a given R, to obtain optimal infinite sets of families it is enough to construct R infinite families A_{R,q}^{(0)},A_{R,q}^{(1)},...,A_{R,q}^{(R-1)} such that, for all u >= u_{0}, the family A_{R,q}^{(v)} contains codes of codimension r_{u}=Ru+v and length f_{q}^{v}(r_{u}) where f_{q}^{v}(r)=O(q^{(r-R)/R) and u_{0} is a constant. Then, we were able to construct the needed families A_{R,q}^{(v)} for any covering radius R >= 2, with q ranging over the (infinite) set of R-th powers. For each of these families A_{R,q}^{(v)}, the lower limit of the covering density is bounded from above by a constant independent of q.
Ehrhart polynomials of convex polytopes with small volumes
Published
• View Publication
• BIB
We classify all the possible $delta$-vectors of d-dimensional integral convex polytopes whose volumes are less than or equal to 3/(d!).
On adding a list of numbers (and other one-dependent determinantal processes)
Published
• View Publication
• BIB
Adding a column of numbers produces "carries" along the way. We show that random digits produce a pattern of carries with a neat probabilistic description: the carries form a one-dependent determinantal point process. This makes it easy to answer natural questions: How many carries are typical? Where are they located? We show that many further examples, from combinatorics, algebra and group theory, have essentially the same neat formulae, and that any one-dependent point process on the integers is determinantal. The examples give a gentle introduction to the emerging fields of one-dependent and determinantal point processes.