arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82139 papers, 47531 authors in database)
2011-10-13 v3
Supercritical self-avoiding walks are space-filling
Published • View Publication • BIB
We consider random self-avoiding walks between two points on the boundary of a finite subdomain of Z^d (the probability of a self-avoiding trajectory gamma is proportional to mu^{-length(gamma)}). We show that the random trajectory becomes space-filling in the scaling limit when the parameter mu is supercritical.
2011-10-13
On some Hopf monoids in graphical species
Combinatorial Hopf algebras arise in a variety of applications. Recently, Aguiar and Mahajan showed how many well-studied Hopf algebras are closely related to Hopf monoids in species. In this paper, we study Hopf monoids in graphical species, giving a `graph-theoretic' analogue to the work of Aguiar and Mahajan. In particular, several examples of Hopf monoids in graphical species are detailed, most of which are related to graph coloring, or hyperplane arrangements associated to graphs.
2011-10-13 v2
Families of polytopal digraphs that do not satisfy the shelling property
Published • View Publication • BIB
A polytopal digraph $G(P)$ is an orientation of the skeleton of a convex polytope $P$. The possible non-degenerate pivot operations of the simplex method in solving a linear program over $P$ can be represented as a special polytopal digraph known as an LP digraph. Presently there is no general characterization of which polytopal digraphs are LP digraphs, although four necessary properties are known: acyclicity, unique sink orientation(USO), the Holt-Klee property and the shelling property. The shelling property was introduced by Avis and Moriyama (2009), where two examples are given in $d=4$ dimensions of polytopal digraphs satisfying the first three properties but not the shelling property. The smaller of these examples has $n=7$ vertices. Avis, Miyata and Moriyama(2009) constructed for each $d \ge 4$ and $n \ge d+2$, a $d$-polytope $P$ with $n$ vertices which has a polytopal digraph which is an acyclic USO that satisfies the Holt-Klee property, but does not satisfy the shelling property. The construction was based on a minimal such example, which has $d=4$ and $n=6$. In this paper we explore the shelling condition further. First we give an apparently stronger definition of the shelling property, which we then prove is equivalent to the original definition. Using this stronger condition we are able to give a more general construction of such families. In particular, we show that given any 4-dimensional polytope $P$ with $n_0$ vertices whose unique sink is simple, we can extend $P$ for any $d \ge 4$ and $n \ge n_0 + d-4$ to a $d$-polytope with these properties that has $n$ vertices. Finally we investigate the strength of the shelling condition for $d$-crosspolytopes, for which Develin (2004) has given a complete characterization of LP orientations.
2011-10-12 v2
A Simple Bijective Proof of the Shape-Wilf-Equivalence of the Patterns 231 and 312
Stankova and West proved in 2002 that the patterns 231 and 312 are shape-Wilf-equivalent. Their proof was nonbijective and fairly complicated. We give a new characterization of 231 and 312 avoiding full rook placements and use this to give a simple bijective proof of the shape-Wilf- equivalence.
2011-10-12
Bounds on the regularity and projective dimension of ideals associated to graphs
Published • View Publication • BIB
In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.
2011-10-12 v3
Alternative Proofs on the Indices of Cacti and Unicyclic Graphs with $n$ Vertices
Let $H_n$ be the cactus obtained from the star $K_{1,n-1}$ by adding $\lfloor \frac{n-1}{2}\rfloor$ independent edges between pairs of pendant vertices. Let $K_{1,n-1}^+$ be the unicyclic graph obtained from the star $K_{1,n-1}$ by appending one edge. In this paper we give alternative proofs of the following results: Among all cacti with $n$ vertices, $H_n$ is the unique cactus whose spectral radius is maximal, and among all unicyclic graphs with $n$ vertices, $K_{1,n-1}^+$ is the unique unicyclic graph whose spectral radius is maximal. We also prove that among all odd-cycle graphs with $n$ vertices, $H_n$ is the unique odd-cycle graph whose spectral radius is maximal.
2011-10-12 v6
Asymptotic behavior of the number of Eulerian orientations of graphs
Published • View Publication • BIB
We consider the class of simple graphs with large algebraic connectivity (the second-smallest eigenvalue of the Laplacian matrix). For this class of graphs we determine the asymptotic behavior of the number of Eulerian orientations. In addition, we establish some new properties of the Laplacian matrix, as well as an estimate of a conditionality of matrices with the asymptotic diagonal predominance
2011-10-12 v2
RSK correspondence and classically irreducible Kirillov-Reshetikhin crystals
Published in Journal of Combinatorial Theory, Series A, 120 (2013) 433-452 • View Publication • BIB
We give a new combinatorial model of the Kirillov-Reshetikhin crystals of type $A_n^{(1)}$ in terms of non-negative integral matrices based on the classical RSK algorithm, which has a simple description of the affine crystal structure without using a promotion operator. We also have a similar description of the Kirillov-Reshetikhin crystals associated to exceptional nodes in the Dynkin diagrams of classical affine or non-exceptional type.
Every triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable
A graph $G$ is $(a,b)$-choosable if for any color list of size $a$ associated with each vertex, one can choose a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. This paper proves that for any integer $m\ge 1$, every finite triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable.
A duality principle for selection games
Published in Proceedings of the American Mathematical Society, 141 (2013), 4349-4356 • View Publication • BIB
A dinner table seats k guests and holds n discrete morsels of food. Guests select morsels in turn until all are consumed. Each guest has a ranking of the morsels according to how much he would enjoy eating them; these rankings are commonly known. A gallant knight always prefers one food division over another if it provides strictly more enjoyable collections of food to one or more other players (without giving a less enjoyable collection to any other player) even if it makes his own collection less enjoyable. A boorish lout always selects the morsel that gives him the most enjoyment on the current turn, regardless of future consumption by himself and others. We show the way the food is divided when all guests are gallant knights is the same as when all guests are boorish louts but turn order is reversed. This implies and generalizes a classical result of Kohler and Chandrasekaran (1971) about two players strategically maximizing their own enjoyments. We also treat the case that the table contains a mixture of boorish louts and gallant knights. Our main result can also be formulated in terms of games in which selections are made by groups. In this formulation, the surprising fact is that a group can always find a selection that is simultaneously optimal for each member of the group.
2011-10-12 v4
Turán's problem and Ramsey numbers for trees
Published in Colloquium Mathematicum 139(2015), no.2, 273-298 • View Publication • BIB
Let $T_n^1=(V,E_1)$ and $T_n^2=(V,E_2)$ be the trees on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_1=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-4}v_{n-2},v_{n-3}v_{n-1}\}$, and $E_2=\{v_0v_1,\ldots,$ $v_0v_{n-3},v_{n-3}v_{n-2}, v_{n-3}v_{n-1}\}$. In this paper, for $p\ge n\ge 5$ we obtain explicit formulas for $\ex(p;T_n^1)$ and $\ex(p;T_n^2)$, where $\ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph. Let $r(G\sb 1, G\sb 2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. In this paper we also obtain some explicit formulas for $r(T_m,T_n^i)$, where $i\in\{1,2\}$ and $T_m$ is a tree on $m$ vertices with $Δ(T_m)\le m-3$.
A geometric deletion-restriction formula
Published in Adv. Math. 230 (2012), no. 4-6, 1979-1994 • View Publication • BIB
In this paper, we recover the characteristic polynomial of an arrangement of hyperplanes by computing the rational equivalence class of the variety defined by the logarithmic ideal of the arrangement. The logarithmic ideal was introduced in [arXiv:0907.0896v2] in a study of the critical points of the master function. The above result is used to understand the asymptotic behavior the Hilbert series of the logarithmic ideal. As an application, we prove the Solomon-Terao formula under the tame hypothesis by identifying each side of the formula with a certain specialization of the Hilbert series of the logarithmic ideal.
2011-10-12
A finite generating set for the genus g (p,q,n)-dipole series from perturbative Yang-Mills theory
There is an emerging class of permutation factorization questions that cannot be expressed wholly in terms of the centre of the group algebra of the symmetric group. We shall term these non-central. A notable instance appears in recent work of Constable et al. [1] in perturbative Yang-Mills theory on the determination of a 2-point correlation function of the Berenstein-Maldacena-Nastase operators by means of Feynman diagrams. In combinatorial terms, this question relates to (p, q, n)-dipoles: loopless maps with exactly two vertices and n edges, with two distinguished edges, separated by p edges at one vertex and q edges at the other. By the introduction of join and cut operators, we construct a formal partial differential equation which uniquely determines a generating series from which the (p,q,n)-dipole series may be obtained. Moreover, we exhibit a set of functions with the property that the genus g solution to this equation may be obtained recursively as an explicit finite linear combination of these. These functions have explicit expressions as sums indexed by elementary combinatorial objects, and we demonstrate how the recursion can be used to give series solutions for surfaces of low genera.
On distance, geodesic and arc transitivity of graphs
We compare three transitivity properties of finite graphs, namely, for a positive integer $s$, $s$-distance transitivity, $s$-geodesic transitivity and $s$-arc transitivity. It is known that if a finite graph is $s$-arc transitive but not $(s+1)$-arc transitive then $s\leq 7$ and $s\neq 6$. We show that there are infinitely many geodesic transitive graphs with this property for each of these values of $s$, and that these graphs can have arbitrarily large diameter if and only if $1\leq s\leq 3$. Moreover, for a prime $p$ we prove that there exists a graph of valency $p$ that is 2-geodesic transitive but not 2-arc transitive if and only if $p\equiv 1\pmod 4$, and for each such prime there is a unique graph with this property: it is an antipodal double cover of the complete graph $K_{p+1}$ and is geodesic transitive with automorphism group $PSL(2,p)\times Z_2$.
2011-10-11 v3
Upper Bounds on Sets of Orthogonal Colorings of Graphs
Published • View Publication • BIB
We generalize the notion of orthogonal latin squares to colorings of simple graphs. Two $n$-colorings of a graph are said to be \emph{orthogonal} if whenever two vertices share a color in one coloring they have distinct colors in the other coloring. We show that the usual bounds on the maximum size of a certain set of orthogonal latin structures such as latin squares, row latin squares, equi-$n$ squares, single diagonal latin squares, double diagonal latin squares, or sudoku squares are a special cases of bounds on orthogonal colorings of graphs.
On some fundamental results about higher-rank graphs and their C*-algebras
Published in Proc. Edinb. Math. Soc. (2) 56 (2013), no. 2, 575--597 • View Publication • BIB
Results of Fowler and Sims show that every k-graph is completely determined by its k-coloured skeleton and collection of commuting squares. Here we give an explicit description of the k-graph associated to a given skeleton and collection of squares and show that two k-graphs are isomorphic if and only if there is an isomorphism of their skeletons which preserves commuting squares. We use this to prove directly that each k-graph Λ is isomorphic to the quotient of the path category of its skeleton by the equivalence relation determined by the commuting squares, and show that this extends to a homeomorphism of infinite-path spaces when the k-graph is row finite with no sources. We conclude with a short direct proof of the characterisation, originally due to Robertson and Sims, of simplicity of the C*-algebra of a row-finite k-graph with no sources.
2011-10-11
Disproof of the List Hadwiger Conjecture
Published in Electronic J. Combinatorics 18:P232, 2011 • View Publication • BIB
The List Hadwiger Conjecture asserts that every $K_t$-minor-free graph is $t$-choosable. We disprove this conjecture by constructing a $K_{3t+2}$-minor-free graph that is not $4t$-choosable for every integer $t\geq 1$.
Revolutionaries and spies on trees and unicyclic graphs
Published in Journal of Combinatorics. Vol. 3, No. 2 (2012), pp. 195-205 • View Publication • BIB
A team of $r$ {\it revolutionaries} and a team of $s$ {\it spies} play a game on a graph $G$. Initially, revolutionaries and then spies take positions at vertices. In each subsequent round, each revolutionary may move to an adjacent vertex or not move, and then each spy has the same option. The revolutionaries want to hold an {\it unguarded meeting}, meaning $m$ revolutionaries at some vertex having no spy at the end of a round. To prevent this forever, trivially at least $\min\{|V(G)|,\FL{r/m}\}$ spies are needed. When $G$ is a tree, this many spies suffices. When $G$ is a unicyclic graph, $\min\{|V(G)|,\CL{r/m}\}$ spies suffice, and we characterize those unicyclic graphs where $\FL{r/m}+1$ spies are needed. \def\FL#1{\lfloor #1 \rfloor} \def\CL#1{\lceil #1 \rceil}
2011-10-11 v3
Non-vanishingness of Betti numbers of edge ideals
Published • View Publication • BIB
Given finite simple graph one can associate the edge ideal. In this paper we discuss the non-vanishingness of the graded Betti numbers of edge ideals in terms of the original graph. In particular, we give a necessary and sufficient condition for a chordal graph on which the graded Betti number does not vanish and characterize the graded Betti number for a forest. Moreover we characterize the projective dimension for a chordal graph.
2011-10-11
On the density of nearly regular graphs with a good edge-labelling
Published in SIAM Journal on Discrete Mathematics, 26(3), 1265--1268, 2012 • View Publication • BIB
A good edge-labelling of a simple graph is a labelling of its edges with real numbers such that, for any ordered pair of vertices (u,v), there is at most one nondecreasing path from u to v. Say a graph is good if it admits a good edge-labelling, and is bad otherwise. Our main result is that any good n-vertex graph whose maximum degree is within a constant factor of its average degree (in particular, any good regular graph) has at most n^{1+o(1)} edges. As a corollary, we show that there are bad graphs with arbitrarily large girth, answering a question of Bode, Farzad and Theis. We also prove that for any Delta, there is a g such that any graph with maximum degree at most Delta and girth at least g is good.