Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Combinatorial Games with a Pass: A dynamical systems approach
Published in Chaos 21, 043108; 2011
• View Publication
• BIB
By treating combinatorial games as dynamical systems, we are able to address a longstanding open question in combinatorial game theory, namely, how the introduction of a "pass" move into a game affects its behavior. We consider two well known combinatorial games, 3-pile Nim and 3-row Chomp. In the case of Nim, we observe that the introduction of the pass dramatically alters the game's underlying structure, rendering it considerably more complex, while for Chomp, the pass move is found to have relatively minimal impact. We show how these results can be understood by recasting these games as dynamical systems describable by dynamical recursion relations. From these recursion relations we are able to identify underlying structural connections between these "games with passes" and a recently introduced class of "generic (perturbed) games." This connection, together with a (non-rigorous) numerical stability analysis, allows one to understand and predict the effect of a pass on a game.
A Central Limit Theorem for Repeating Patterns
We prove a central limit theorem for the length of the longest subsequence of a random permutation which follows one of a class of repeating patterns. This class includes every fixed pattern of ups and downs having at least one of each, such as the alternating case considered by Stanley in arXiv:math/0511419 and Widom in arXiv:math/0511533. In every case considered the convergence in the limit of long permutations is to normal with mean and variance linear in the length of the permutation.
Diagonally Neighbour Transitive Codes and Frequency Permutation Arrays
Published in Journal of Algebraic Combinatorics, May 2014, Volume 39, Issue 3, pp 733-747
• View Publication
• BIB
Constant composition codes have been proposed as suitable coding schemes to solve the narrow band and impulse noise problems associated with powerline communication. In particular, a certain class of constant composition codes called frequency permutation arrays have been suggested as ideal, in some sense, for these purposes. In this paper we characterise a family of neighbour transitive codes in Hamming graphs in which frequency permutation arrays play a central rode. We also classify all the permutation codes generated by groups in this family.
Lipschitz embeddings of random sequences
Published
• View Publication
• BIB
We develop a new multi-scale framework flexible enough to solve a number of problems involving embedding random sequences into random sequences. Grimmett, Liggett and Richthammer asked whether there exists an increasing M-Lipschitz embedding from one i.i.d. Bernoulli sequences into an independent copy with positive probability. We give a positive answer for large enough M. A closely related problem is to show that two independent Poisson processes on R are roughly isometric (or quasi-isometric). Our approach also applies in this case answering a conjecture of Szegedy and of Peled. Our theorem also gives a new proof to Winkler's compatible sequences problem.
A connection between the bipartite complements of line graphs and the line graphs with two positive eigenvalues
In 1974 Cvetković and Simić showed which graphs $G$ are the bipartite complements of line graphs. In 2002 Borovićanin showed which line graphs $L(H)$ have third largest eigenvalue $λ_3\leq0$. Our first observation is that two of the graphs Borovićanin found are the complements of two of the graphs found by Cvetković and Simić. Using the Courant-Weyl inequalities we show why this is and reprove the result of Borovićanin, highlighting some features of the graphs found by both.
Hyperbolicity cones of elementary symmetric polynomials are spectrahedral
We prove that the hyperbolicity cones of elementary symmetric polynomials are spectrahedral, i.e., they are slices of the cone of positive semidefinite matrices. The proof uses the matrix--tree theorem, an idea already present in Choe et al.
Asymptotically good binary linear codes with asymptotically good self-intersection spans
Published
• View Publication
• BIB
If C is a binary linear code, let C^2 be the linear code spanned by intersections of pairs of codewords of C. We construct an asymptotically good family of binary linear codes such that, for C ranging in this family, the C^2 also form an asymptotically good family. For this we use algebraic-geometry codes, concatenation, and a fair amount of bilinear algebra.
More precisely, the two main ingredients used in our construction are, first, a description of the symmetric square of an odd degree extension field in terms only of field operations of small degree, and second, a recent result of Garcia-Stichtenoth-Bassa-Beelen on the number of points of curves on such an odd degree extension field.
Counting independent sets of a fixed size in graphs with a given minimum degree
Published
• View Publication
• BIB
Galvin showed that for all fixed $δ$ and sufficiently large $n$, the $n$-vertex graph with minimum degree $δ$ that admits the most independent sets is the complete bipartite graph $K_{δ,n-δ}$. He conjectured that except perhaps for some small values of $t$, the same graph yields the maximum count of independent sets of size $t$ for each possible $t$. Evidence for this conjecture was recently provided by Alexander, Cutler, and Mink, who showed that for all triples $(n,δ, t)$ with $t\geq 3$, no $n$-vertex {\em bipartite} graph with minimum degree $δ$ admits more independent sets of size $t$ than $K_{δ,n-δ}$.
Here we make further progress. We show that for all triples $(n,δ,t)$ with $δ\leq 3$ and $t\geq 3$, no $n$-vertex graph with minimum degree $δ$ admits more independent sets of size $t$ than $K_{δ,n-δ}$, and we obtain the same conclusion for $δ> 3$ and $t \geq 2δ+1$. Our proofs lead us naturally to the study of an interesting family of critical graphs, namely those of minimum degree $δ$ whose minimum degree drops on deletion of an edge or a vertex.
Markov degree of the three-state toric homogeneous Markov chain model
Published
• View Publication
• BIB
We consider the three-state toric homogeneous Markov chain model (THMC) without loops and initial parameters. At time $T$, the size of the design matrix is $6 \times 3\cdot 2^{T-1}$ and the convex hull of its columns is the model polytope. We study the behavior of this polytope for $T\geq 3$ and we show that it is defined by 24 facets for all $T\ge 5$. Moreover, we give a complete description of these facets. From this, we deduce that the toric ideal associated with the design matrix is generated by binomials of degree at most 6. Our proof is based on a result due to Sturmfels, who gave a bound on the degree of the generators of a toric ideal, provided the normality of the corresponding toric variety. In our setting, we established the normality of the toric variety associated to the THMC model by studying the geometric properties of the model polytope.
On the Turan number of forests
Published
• View Publication
• BIB
The Turan number of a graph H, ex(n,H), is the maximum number of edges in a graph on n vertices which does not have H as a subgraph. We determine the Turan number and find the unique extremal graph for forests consisting of paths when n is sufficiently large. This generalizes a result of Bushaw and Kettle [ Combinatorics, Probability and Computing 20:837--853, 2011]. We also determine the Turan number and extremal graphs for forests consisting of stars of arbitrary order.
Every Binary Self-Dual Code Arises From Hilbert Symbols
Published
• View Publication
• BIB
In this paper we construct binary self-dual codes using the étale cohomology of $\mathbb{Z}/2$ on the spectra of rings of $S$-integers of global fields. We will show that up to equivalence, all self-dual codes of length at least 4 arise from Hilbert pairings on rings of $S$-integers of $\Q$. This is an arithmetic counterpart of a result of Kreck and Puppe, who used cobordism theory to show that all self-dual codes arise from Poincaré duality on real three manifolds.
Wilf Equivalence for the Charge Statistic
Savage and Sagan have recently defined a notion of st-Wilf equivalence for any permutation statistic st and any two sets of permutations $Π$ and $Π'$. In this paper we give a thorough investigation of st-Wilf equivalence for the charge statistic on permutations and use a bijection between the charge statistic and the major index to prove a conjecture of Dokos, Dwyer, Johnson, Sagan and Selsor regarding powers of 2 and the major index.
The Forwarding Indices of Graphs -- a Survey
Published
• View Publication
• BIB
A routing $R$ of a given connected graph $G$ of order $n$ is a collection of $n(n-1)$ simple paths connecting every ordered pair of vertices of $G$. The vertex-forwarding index $ξ(G,R)$ of $G$ with respect to $R$ is defined as the maximum number of paths in $R$ passing through any vertex of $G$. The vertex-forwarding index $ξ(G)$ of $G$ is defined as the minimum $ξ(G,R)$ over all routing $R$'s of $G$. Similarly, the edge-forwarding index $ π(G,R)$ of $G$ with respect to $R$ is the maximum number of paths in $R$ passing through any edge of $G$. The edge-forwarding index $π(G)$ of $G$ is the minimum $π(G,R)$ over all routing $R$'s of $G$. The vertex-forwarding index or the edge-forwarding index corresponds to the maximum load of the graph. Therefore, it is important to find routings minimizing these indices and thus has received much research attention in the past ten years and more. In this paper we survey some known results on these forwarding indices, further research problems and several conjectures.
Monotone Hurwitz numbers in genus zero
Published in Can. J. Math.-J. Can. Math. 65 (2013) 1020-1042
• View Publication
• BIB
Hurwitz numbers count branched covers of the Riemann sphere with specified ramification data, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of the branched covers counted by the Hurwitz numbers, and have arisen in recent work on the the asymptotic expansion of the Harish-Chandra-Itzykson-Zuber integral. In this paper we begin a detailed study of monotone Hurwitz numbers. We prove two results that are reminiscent of those for classical Hurwitz numbers. The first is the monotone join-cut equation, a partial differential equation with initial conditions that characterizes the generating function for monotone Hurwitz numbers in arbitrary genus. The second is our main result, in which we give an explicit formula for monotone Hurwitz numbers in genus zero.
Implicit Divided Differences, Little Schröder Numbers, and Catalan Numbers
Published in Journal of Integer Sequences, Vol. 15 (2012), Article 12.6.5
• Search Publication
Under general conditions, the equation $g(x,y) = 0$ implicitly defines $y$ locally as a function of $x$. In this short note we study the combinatorial structure underlying a recently discovered formula for the divided differences of $y$ expressed in terms of bivariate divided differences of $g$, by analyzing the number of terms $a_n$ in this formula. The main result describes six equivalent characterizations of the sequence $\{a_n\}$.
Stanley-Reisner resolution of constant weight linear codes
Published
• View Publication
• BIB
Given a constant weight linear code, we investigate its weight hierarchy and the Stanley-Reisner resolution of its associated matroid regarded as a simplicial complex. We also exhibit conditions on the higher weights sufficient to conclude that the code is of constant weight
Asymptotic Structure of Graphs with the Minimum Number of Triangles
Published
• View Publication
• BIB
We consider the problem of minimizing the number of triangles in a graph of given order and size and describe the asymptotic structure of extremal graphs. This is achieved by characterizing the set of flag algebra homomorphisms that minimize the triangle density.
The h-expansion of Macdonald operators and their expression by Dunkl operators
Macdonald operators are well known as the 'commutative family' acting on the symmetric functions over Q(q,t). If we suppose that q=exp(h) and t=exp(beta h) and observe the Taylor expansion around h=0, we can see the second-degree Dunkl operator appear especially as the coefficient of h^2. These Dunkl operators also consist of commutative family. Then, as to the coefficient of h^3, it is natural to expect that third-degree Dunkl operator appears. The object of this paper is to calculate the coefficients of h^3 in the h-expansion of Macdonald operators explicitly, to introduce the method of calculation, and to prove that they can be expressed as the polynomials of Dunkl operators.
q-hypergeometric double sums as mock theta functions
Published in Pacific Journal of Mathematics, 264, no. 1, (2013) 151-162
• View Publication
• BIB
Recently, Bringmann and Kane established two new Bailey pairs and used them to relate certain q-hypergeometric series to real quadratic fields. We show how these pairs give rise to new mock theta functions in the form of q-hypergeometric double sums. Additionally, we prove an identity between one of these sums and two classical mock theta functions introduced by Gordon and McIntosh.
Random graphs with bounded maximum degree: asymptotic structure and a logical limit law
Published in Discrete Mathematics and Theoretical Computer Science, Vol. 14, No. 2 (2012) 229-254
• View Publication
• BIB
For any fixed integer $R \geq 2$ we characterise the typical structure of undirected graphs with vertices $1, ..., n$ and maximum degree $R$, as $n$ tends to infinity. The information is used to prove that such graphs satisfy a labelled limit law for first-order logic. If $R \geq 5$ then also an unlabelled limit law holds.