arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83076 papers, 47999 authors in database)
2007-11-27
On Three Different Notions of Monotone Subsequences
We review how the monotone pattern compares to other patterns in terms of enumerative results on pattern avoiding permutations. We consider three natural definitions of pattern avoidance, give an overview of classic and recent formulas, and provide some new results related to limiting distributions.
2007-11-27
The real loci of Calogero-Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture
We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n \to C^n/S_n \times C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [MTV2] on real bases of spaces of quasi polynomials. The Shapiro Conjecture for Grassmannians is equivalent to a special case of our result for Calogero-Moser spaces, namely for the fibres of Υover C^n/S_n \times 0.
2007-11-27
Perfect domination in rectangular grid graphs
A dominating set $S$ in a graph $G$ is said to be perfect if every vertex of $G$ not in $S$ is adjacent to just one vertex of $S$. Given a vertex subset $S'$ of a side $P_m$ of an $m\times n$ grid graph $G$, the perfect dominating sets $S$ in $G$ with $S'=S\cap V(P_m)$ can be determined via an exhaustive algorithm $Θ$ of running time $O(2^{m+n})$. Extending $Θ$ to infinite grid graphs of width $m-1$, periodicity makes the binary decision tree of $Θ$ prunable into a finite threaded tree, a closed walk of which yields all such sets $S$. The graphs induced by the complements of such sets $S$ can be codified by arrays of ordered pairs of positive integers via $Θ$, for the growth and determination of which a speedier %greedy algorithm exists. %and their periodic structure, further studied. A recent characterization of grid graphs having total perfect codes $S$ (with just 1-cubes as induced components), due to Klostermeyer and Goldwasser, is given in terms of $Θ$, which allows to show that these sets $S$ are restrictions of only one total perfect code $S_1$ in the integer lattice graph $Λ$ of $\R^2$. Moreover, the complement $Λ-S_1$ yields an aperiodic tiling, like the Penrose tiling. In contrast, the parallel, horizontal, total perfect codes in $Λ$ are in 1-1 correspondence with the doubly infinite $\{0,1\}$-sequences.
2007-11-27 v4
Perfect domination in regular grid graphs
Published in Austral. Jour. Combin., 42 (2008) 99--114 • Search Publication
We show there is an uncountable number of parallel total perfect codes in the integer lattice graph $Λ$ of $\R^2$. In contrast, there is just one 1-perfect code in $Λ$ and one total perfect code in $Λ$ restricting to total perfect codes of rectangular grid graphs (yielding an asymmetric, Penrose, tiling of the plane). We characterize all cycle products $C_m\times C_n$ with parallel total perfect codes, and the $d$-perfect and total perfect code partitions of $Λ$ and $C_m\times C_n$, the former having as quotient graph the undirected Cayley graphs of $\Z_{2d^2+2d+1}$ with generator set $\{1,2d^2\}$. For $r>1$, generalization for 1-perfect codes is provided in the integer lattice of $\R^r$ and in the products of $r$ cycles, with partition quotient graph $K_{2r+1}$ taken as the undirected Cayley graph of $\Z_{2r+1}$ with generator set $\{1,...,r\}$.
2007-11-26
A weighted generalization of Gao's n+D-1 Theorem
Published • View Publication • BIB
Let $G$ denotes a finite abelian group of order $n$ and Davenport constant $D$, and put $m= n+D-1$. Let $x=(x_1, ..., x_m)\in G^m$ be a sequence with a maximal repetition $\ell$ attained by $x_m$ and put $r=\min(D,\ell)$. Let $w=(w_1, ..., w_{m-r})\in \Z^{m-r}.$ Then there are an $n$-subset $I\subset [1,m-r]$ and an injection $f: I\mapsto [1,m]$, such that $m\in f(I)$ and $$\sum_{i\in I}w_{i}x_{f({i})}=(\sum_{i\in I}w_{i})x_{m}.$$
2007-11-26
Cluster algebras and preprojective algebras : the non simply-laced case
Published in L. Demonet, C. R. Acad. Sci. Paris, Ser. I 346 (2008) • View Publication • BIB
We generalize to the non simply-laced case results of Geiß, Leclerc and Schröer about the cluster structure of the coordinate ring of the maximal unipotent subgroups of simple Lie groups. In this way, cluster structures in the non simply-laced case can be seen as projections of cluster structures in the simply-laced case. This allows us to prove that cluster monomials are linearly independent in the non simply-laced case.
2007-11-26 v2
Grid graphs, Gorenstein polytopes, and domino stackings
Published in Graphs Combin. 25 (2009), 409-426 • View Publication • BIB
We examine domino tilings of rectangular boards, which are in natural bijection with perfect matchings of grid graphs. This leads to the study of their associated perfect matching polytopes, and we present some of their properties, in particular, when these polytopes are Gorenstein. We also introduce the notion of domino stackings and present some results and several open questions. Our techniques use results from graph theory, polyhedral geometry, and enumerative combinatorics.
2007-11-25
Packing 3-Vertex Paths in Claw-Free Graphs
An L-factor of a graph G is a spanning subgraph of G whose every component is a 3-vertex path. Let v(G) denote the number of vertices of G. A graph is called claw-free if it does not have a subgraph isomorphic to the graph with 4 vertices and 3 edges having a common vertex. Our results include the following. Let G$ be a 3-connected claw-free graph, x be a vertex, e = xy be an edge, and P be a 3-vertex path in G. Then (c1) if v(G) = 0 mod 3, then G has an L-factor containing (avoiding) e, (c2) if v(G) = 1 mod 3, then G - x has a L-factor, (c3) if v(G) = 2 mod 3, then G - x -y has an L-factor, (c4) if v(G) = 0 mod 3 and G is either cubic or 4-connected, then G - P has an L-factor, and (c5) if G is cubic and E is a set of three edges in G, then G - E has an L -factor if and only if the subgraph induced by E in G is not a claw and not a triangle. Keywords: claw-free graph, cubic graph, L-packing, L-factor.
2007-11-25
An Overview of Hopf Algebras of Trees and Their Actions on Functions
We provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.
2007-11-25
Hopf-algebraic structures of families of trees
Published in J. Algebra, 126 (1989), 184-210 • View Publication • BIB
Description of cocommutative Hopf algebras associated with families of trees. Applications include Cayley's theorem on the number of rooted trees with n nodes, and Catalan's theorem on the number of rooted ordered trees with n nodes.
2007-11-24
Hyperfinite graph limits
Published • View Publication • BIB
Gábor Elek introduced the notion of a hyperfinite graph family: a collection of graphs is hypefinite if for every $ε>0$ there is some finite $k$ such that each graph $G$ in the collection can be broken into connected components of size at most $k$ by removing a set of edges of size at most $ε|V(G)|$. We presently extend this notion to a certain compactification of finite bounded-degree graphs, and show that if a sequence of finite graphs converges to a hyperfinite limit, then the sequence itself is hyperfinite.
2007-11-24
Monochromatic and heterochromatic subgraph problems in a randomly colored graph
Let $K_n$ be the complete graph with $n$ vertices and $c_1, c_2, ..., c_r$ be $r$ different colors. Suppose we randomly and uniformly color the edges of $K_n$ in $c_1, c_2, ..., c_r$. Then we get a random graph, denoted by $\mathcal{K}_n^r$. In the paper, we investigate the asymptotic properties of several kinds of monochromatic and heterochromatic subgraphs in $\mathcal{K}_n^r$. Accurate threshold functions in some cases are also obtained.
2007-11-23 v3
Reconstruction for Colorings on Trees
Published in SIAM J. on Discrete Math, 25(2):809-826, 2011 • View Publication • BIB
Consider $k$-colorings of the complete tree of depth $\ell$ and branching factor $Δ$. If we fix the coloring of the leaves, as $\ell$ tends to $\infty$, for what range of $k$ is the root uniformly distributed over all $k$ colors? This corresponds to the threshold for uniqueness of the infinite-volume Gibbs measure. It is straightforward to show the existence of colorings of the leaves which ``freeze'' the entire tree when $k\leΔ+1$. For $k\geqΔ+2$, Jonasson proved the root is ``unbiased'' for any fixed coloring of the leaves and thus the Gibbs measure is unique. What happens for a {\em typical} coloring of the leaves? When the leaves have a non-vanishing influence on the root in expectation, over random colorings of the leaves, reconstruction is said to hold. Non-reconstruction is equivalent to extremality of the free-boundary Gibbs measure. When $k<Δ/\lnΔ$, it is straightforward to show that reconstruction is possible and hence the measure is not extremal. We prove that for $C>1$ and $k =CΔ/\lnΔ$, that the Gibbs measure is extremal in a strong sense: with high probability over the colorings of the leaves the influence at the root decays exponentially fast with the depth of the tree. Closely related results were also proven recently by Sly. The above strong form of extremality implies that a local Markov chain that updates constant sized blocks has inverse linear entropy constant and hence $O(N\log N)$ mixing time where $N$ is the number of vertices of the tree.
2007-11-23
Nonexistence of triples of nonisomorphic connected graphs with isomorphic connected $P_3$-graphs
Published • View Publication • BIB
In the paper "Broersma and Hoede, {\it Path graphs}, J. Graph Theory {\bf 13} (1989) 427-444", the authors proposed a problem whether there is a triple of mutually nonisomorphic connected graphs which have an isomorphic connected $P_3$-graph. For a long time, this problem remains unanswered. In this paper, we give it a negative answer that there is no such triple, and thus completely solve this problem.
2007-11-23 v2
Graphs of 2-torus actions
Published in Contemp. Math. 460 (2008), 261-272. • Search Publication
It has been known that an effective smooth $({\Bbb Z}_2)^k$-action on a smooth connected closed manifold $M^n$ fixing a finite set can be associated to a $({\Bbb Z}_2)^k$-colored regular graph. In this paper, we consider abstract graphs $(Γ,α)$ of $({\Bbb Z}_2)^k$-actions, called abstract 1-skeletons. We study when an abstract 1-skeleton is a colored graph of some $({\Bbb Z}_2)^k$-action. We also study the existence of faces of an abstract 1-skeleton (note that faces often have certain geometric meanings if an abstract 1-skeleton is a colored graph of some $({\Bbb Z}_2)^k$-action).
2007-11-22 v3
Generalized duality for graphs on surfaces and the signed Bollobas-Riordan polynomial
Published • View Publication • BIB
We generalize the natural duality of graphs embedded into a surface to a duality with respect to a subset of edges. The dual graph might be embedded into a different surface. We prove a relation between the signed Bollobas-Riordan polynomials of dual graphs. This relation unifies various recent results expressing the Jones polynomial of links as specializations of the Bollobas-Riordan polynomials.
2007-11-22
Graphs with many copies of a given subgraph
Published • View Publication • BIB
We show that if a graph G of order n contains many copies of a given subgraph H, then it contains a blow-up of H of order log n.
2007-11-22
Spectral saturation: inverting the spectral Turan theorem
Published • View Publication • BIB
We prove that if the spectral radius of a graph G of order n is larger than the spectral radius of the r-partite Turan graph of the same order, then G contains various supergraphs of the complete graph of order r+1. In particular G contains a complete r-partite graph of size log n with one edge added to the first part. These results complete a project of Erdos from 1963. We also give corresponding stability results.
2007-11-22
A spectral stability theorem for large forbidden graphs
We extend the classical stability theorem of Erdos and Simonovits in two directions: first, we allow the order of the forbidden graph to grow as log of order of the host graph, and second, our extremal condition is on the spectral radius of the host graph.
2007-11-22 v2
Van der Waerden/Schrijver-Valiant like Conjectures and Stable (aka Hyperbolic) Homogeneous Polynomials : One Theorem for all
Published in The Electronic Journal of Combinatorics, 2008 • View Publication • BIB
Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) \neq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This notion from {\it Control Theory} is closely related to the notion of {\it Hyperbolicity} used intensively in the {\it PDE} theory. The main theorem in this paper states that if $p(x_1,...,x_n)$ is a homogeneous {\bf H-Stable} polynomial of degree $n$ with nonnegative coefficients; $deg_{p}(i)$ is the maximum degree of the variable $x_i$, $C_i = \min(deg_{p}(i),i)$ and $$ Cap(p) = \inf_{x_i > 0, 1 \leq i \leq n} \frac{p(x_1,...,x_n)}{x_1 ... x_n} $$ then the following inequality holds $$ \frac{\partial^n}{\partial x_1... \partial x_n} p(0,...,0) \geq Cap(p) \prod_{2 \leq i \leq n} (\frac{C_i -1}{C_i})^{C_{i}-1}. $$ This inequality is a vast (and unifying) generalization of the Van der Waerden conjecture on the permanents of doubly stochastic matrices as well as the Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs. These two famous results correspond to the {\bf H-Stable} polynomials which are products of linear forms. Our proof is relatively simple and ``noncomputational''; it uses just very basic properties of complex numbers and the AM/GM inequality.