Showing 20 papers (Total: 82000 papers, 47479 authors in database)
A Note on the Critical Group of a Line Graph
Published
• View Publication
• BIB
This note answers a question posed by Levine in arkiv:math.CO/0906.2809. The main result is Theorem 1 which shows that under certain circumstances a critical group of a directed graph is the quotient of a critical group of its directed line graph.
Inverse Star, Borders, and Palstars
Published
• View Publication
• BIB
A language L is closed if L = L*. We consider an operation on closed languages, L-*, that is an inverse to Kleene closure. It is known that if L is closed and regular, then L-* is also regular. We show that the analogous result fails to hold for the context-free languages. Along the way we find a new relationship between the unbordered words and the prime palstars of Knuth, Morris, and Pratt. We use this relationship to enumerate the prime palstars, and we prove that neither the language of all unbordered words nor the language of all prime palstars is context-free.
Colouring the Square of the Cartesian Product of Trees
Published in Discrete Maths. & Theoretical Computer Science 13.2:109-112, 2011
• View Publication
• BIB
We prove upper and lower bounds on the chromatic number of the square of the cartesian product of trees. The bounds are equal if each tree has even maximum degree.
On Universal Cycles for new Classes of Combinatorial Structures
Published
• View Publication
• BIB
A universal cycle (u-cycle) is a compact listing of a collection of combinatorial objects. In this paper, we use natural encodings of these objects to show the existence of u-cycles for collections of subsets, matroids, restricted multisets, chains of subsets, multichains, and lattice paths. For subsets, we show that a u-cycle exists for the $k$-subsets of an $n$-set if we let $k$ vary in a non zero length interval. We use this result to construct a "covering" of length $(1+o(1))$$n \choose k$ for all subsets of $[n]$ of size exactly $k$ with a specific formula for the $o(1)$ term. We also show that u-cycles exist for all $n$-length words over some alphabet $Σ,$ which contain all characters from $R \subset Σ.$ Using this result we provide u-cycles for encodings of Sperner families of size 2 and proper chains of subsets.
Symmetry properties of subdivision graphs
Published
• View Publication
• BIB
The subdivision graph $S(Σ)$ of a graph $Σ$ is obtained from $Σ$ by `adding a vertex' in the middle of every edge of $\Si$. Various symmetry properties of $§(Σ)$ are studied. We prove that, for a connected graph $Σ$, $S(Σ)$ is locally $s$-arc transitive if and only if $Σ$ is $\lceil\frac{s+1}{2}\rceil$-arc transitive. The diameter of $S(Σ)$ is $2d+δ$, where $Σ$ has diameter $d$ and $0\leqslant δ\leqslant 2$, and local $s$-distance transitivity of $§(Σ)$ is defined for $1\leqslant s\leqslant 2d+δ$. In the general case where $s\leqslant 2d-1$ we prove that $S(Σ)$ is locally $s$-distance transitive if and only if $Σ$ is $\lceil\frac{s+1}{2}\rceil$-arc transitive. For the remaining values of $s$, namely $2d\leqslant s\leqslant 2d+δ$, we classify the graphs $Σ$ for which $S(Σ)$ is locally $s$-distance transitive in the cases, $s\leqslant 5$ and $s\geqslant 15+δ$. The cases $\max\{2d, 6\}\leqslant s\leqslant \min\{2d+δ, 14+δ\}$ remain open.
On m-covering families of Beatty sequences with irrational moduli
Published
• View Publication
• BIB
We generalise Uspensky's theorem characterising eventual exact (e.e.) covers of the positive integers by homogeneous Beatty sequences, to e.e. m-covers, for any m \in \N, by homogeneous sequences with irrational moduli. We also consider inhomogeneous sequences, again with irrational moduli, and obtain a purely arithmetical characterisation of e.e. m-covers. This generalises a result of Graham for m = 1, but when m > 1 the arithmetical description is more complicated. Finally we speculate on how one might make sense of the notion of an exact m-cover when m is not an integer, and present a "fractional version" of Beatty's theorem.
Computer analysis of Sprouts with nimbers
Published
• View Publication
• BIB
Sprouts is a two-player topological game, invented in 1967 in the University of Cambridge by John Conway and Michael Paterson. The game starts with p spots, and ends in at most 3p-1 moves. The first player who cannot play loses.
The complexity of the p-spot game is very high, so that the best hand-checked proof only shows who the winner is for the 7-spot game, and the best previous computer analysis reached p=11.
We have written a computer program, using mainly two new ideas. The nimber (also known as Sprague-Grundy number) allows us to compute separately independent subgames; and when the exploration of a part of the game tree seems to be too difficult, we can manually force the program to search elsewhere. Thanks to these improvements, we reached up to p=32. The outcome of the 33-spot game is still unknown, but the biggest computed value is the 47-spot game ! All the computed values support the Sprouts conjecture: the first player has a winning strategy if and only if p is 3, 4 or 5 modulo 6.
We have also used a check algorithm to reduce the number of positions needed to prove which player is the winner. It is now possible to hand-check all the games until p=11 in a reasonable amount of time.
Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann polytopes as marked poset polytopes
Published in Journal of Combinatorial Theory, Series A 118 (2011), 2454-2462
• View Publication
• BIB
Stanley (1986) showed how a finite partially ordered set gives rise to two polytopes, called the order polytope and chain polytope, which have the same Ehrhart polynomial despite being quite different combinatorially. We generalize his result to a wider family of polytopes constructed from a poset P with integers assigned to some of its elements.
Through this construction, we explain combinatorially the relationship between the Gelfand-Tsetlin polytopes (1950) and the Feigin-Fourier-Littelmann polytopes (2010), which arise in the representation theory of the special linear Lie algebra. We then use the generalized Gelfand-Tsetlin polytopes of Berenstein and Zelevinsky (1989) to propose conjectural analogues of the Feigin-Fourier-Littelmann polytopes corresponding to the symplectic and odd orthogonal Lie algebras.
A bijection to count (1-23-4)-avoiding permutations
A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the previously known 4-variable recurrence. At the heart of the proof is a bijection from (1-23-4)-avoiding permutations to increasing ordered trees whose leaves, taken in preorder, are also increasing.
On the structure of the h-vector of a paving matroid
We give two proofs that the $h$-vector of any paving matroid is a pure O-sequence, thus answering in the affirmative a conjecture made by R. Stanley, for this particular class of matroids. We also investigate the problem of obtaining good lower bounds for the number of bases of a paving matroid given its rank and number of elements.
Small orders of Hadamard matrices and base sequences
Published in International Mathematical Forum, Vol. 6, 2011, no. 62, 3061-3067
• Search Publication
We update the list of odd integers n<10000 for which an Hadamard matrix of order 4n is known to exist. We also exhibit the first example of base sequences BS(40,39). Consequently, there exist T-sequences TS(n) of length n=79. The first undecided case has the length n=97.
Random Information Spread in Networks
Let G=(V,E) be an undirected loopless graph with possible parallel edges and s and t be two vertices of G. Assume that vertex s is labelled at the initial time step and that every labelled vertex copies its labelling to neighbouring vertices along edges with one labelled endpoint independently with probability p in one time step. In this paper, we establish the equivalence between the expected s-t first arrival time of the above spread process and the notion of the stochastic shortest s-t path. Moreover, we give a short discussion of analytical results on special graphs including the complete graph and s-t series-parallel graphs. Finally, we propose some lower bounds for the expected s-t first arrival time.
The spectrum of an asymmetric annihilation process
Published
• View Publication
• BIB
In recent work on nonequilibrium statistical physics, a certain Markovian exclusion model called an asymmetric annihilation process was studied by Ayyer and Mallick. In it they gave a precise conjecture for the eigenvalues (along with the multiplicities) of the transition matrix. They further conjectured that to each eigenvalue, there corresponds only one eigenvector. We prove the first of these conjectures by generalizing the original Markov matrix by introducing extra parameters, explicitly calculating its eigenvalues, and showing that the new matrix reduces to the original one by a suitable specialization. In addition, we outline a derivation of the partition function in the generalized model, which also reduces to the one obtained by Ayyer and Mallick in the original model.
Small covers and the equivariant bordism classification of 2-torus manifolds
Published in International Mathematics Research Notices, Vol. 2014, No. 24, pp. 6756--6797
• View Publication
• BIB
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented bordism classification of $n$-dimensional 2-torus manifolds. We show that the $G_n$-equivariant unoriented bordism class of each $n$-dimensional 2-torus manifold contains an $n$-dimensional small cover as its representative, solving the conjecture posed in [19]. In addition, we also obtain that the graded noncommutative ring formed by the equivariant unoriented bordism classes of 2-torus manifolds of all possible dimensions is generated by the classes of all generalized real Bott manifolds (as special small covers over the products of simplices). This gives a strong connection between the computation of $G_n$-equivariant bordism groups or ring and the Davis-Januszkiewicz theory of small covers. As a computational application, with the help of computer, we completely determine the structure of the group formed by equivariant bordism classes of all 4-dimensional 2-torus manifolds. Finally, we give some essential relationships among 2-torus manifolds, coloring polynomials, colored simple convex polytopes, colored graphs.
Hamilton cycles in dense vertex-transitive graphs
Published in J. Combin. Theory Ser. B 109 (2014), 34-72
• View Publication
• BIB
A famous conjecture of Lovász states that every connected vertex-transitive graph contains a Hamilton path. In this article we confirm the conjecture in the case that the graph is dense and sufficiently large. In fact, we show that such graphs contain a Hamilton cycle and moreover we provide a polynomial time algorithm for finding such a cycle.
Strong sign-coherency of certain symmetric polynomials, with application to cluster algebras
For each positive integer n, we define a polynomial in the variables z_1,...,z_n with coefficients in the ring $\mathbb{Q}[q,t,r]$ of polynomial functions of three parameters q, t, r. These polynomials naturally arise in the context of cluster algebras. We conjecture that they are symmetric polynomials in z_1,...,z_n, and that their expansions in terms of monomial, Schur, complete homogeneous, elementary and power sum symmetric polynomials are sign-coherent.
Haggkvist-Hell Graphs: A class of Kneser-colorable graphs
Published
• View Publication
• BIB
For positive integers n and r we define the Haggkvist-Hell graph, H_{n:r}, to be the graph whose vertices are the ordered pairs (h,T) where T is an r-subset of [n], and h is an element of [n] not in T. Vertices (h_x,T_x) and (h_y,T_y) are adjacent iff h_x \in T_y, h_y \in T_x, and T_x and T_y are disjoint. These triangle-free arc transitive graphs are an extension of the idea of Kneser graphs, and there is a natural homomorphism from the Haggkvist-Hell graph, H_{n:r}, to the corresponding Kneser graph, K_{n:r}. Haggkvist and Hell introduced the r=3 case of these graphs, showing that a cubic graph admits a homomorphism to H_{22:3} if and only if it is triangle-free. Gallucio, Hell, and Nesetril also considered the r=3 case, proving that H_{n:3} can have arbitrarily large chromatic number. In this paper we give the exact values for diameter, girth, and odd girth of all Haggkvist-Hell graphs, and we give bounds for independence, chromatic, and fractional chromatic number. Furthermore, we extend the result of Gallucio et al. to any fixed r \ge 2, and we determine the full automorphism group of H_{n:r}, which is isomorphic to the symmetric group on n elements.
On Wreath Products of One-Class Association Schemes
We give a full description of the algebraic structures of the Bose-Mesner algebra and Terwilliger algebra of the wreath product of one-class association schemes.
On cluster variables of rank two acyclic cluster algebras
Published
• View Publication
• BIB
In this note, we find an explicit formula for the Laurent expression of cluster variables of coefficient-free rank two cluster algebras associated with the matrix $\left(\begin{array}{cc} 0 & c -c & 0 \end{array}\right)$, and show that a large number of coefficients are non-negative. As a corollary, we obtain an explicit expression for the Euler-Poincaré characteristics of the corresponding quiver Grassmannians.
Generic combinatorial rigidity of periodic frameworks
Published
• View Publication
• BIB
We give a combinatorial characterization of generic minimal rigidity for planar periodic frameworks. The characterization is a true analogue of the Maxwell-Laman Theorem from rigidity theory: it is stated in terms of a finite combinatorial object and the conditions are checkable by polynomial time combinatorial algorithms.
To prove our rigidity theorem we introduce and develop periodic direction networks and Z2-graded-sparse colored graphs.