arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
2013-03-20
On the sign representations for the complex reflection groups $G(r,p,n)$
Published in Beitrage zur Algebra und Geometrie, 57, Issue 4 (2016): 851--858 • View Publication • BIB
We present a formula for the values of the sign representations of the complex reflection groups $G(r,p,n)$ in terms of its image under a generalized Robinson-Schensted map.
2013-03-20 v4
Turán Numbers for Forests of Paths in Hypergraphs
Published • View Publication • BIB
The Turán number of an r-uniform hypergraph H is the maximum number of edges in any r-graph on n vertices which does not contain H as a subgraph. Let P_l^(r) denote the family of r-uniform loose paths on l edges, F(k,l) denote the family of hypergraphs consisting of k disjoint paths from P_l^(r), and P'_l^(r) denote an r-uniform linear path on l edges. We determine precisely ex_r(n;F(k,l)) and ex_r(n;k*P'_l^(r)), as well as the Turán numbers for forests of paths of differing lengths (whether these paths are loose or linear) when n is appropriately large dependent on k,l,r, for r>=3. Our results build on recent results of Füredi, Jiang, and Seiver who determined the extremal numbers for individual paths, and provide more hypergraphs whose Turan numbers are exactly determined.
2013-03-19
Arc-transitive graphs of valency 8 have a semiregular automorphism
Published • View Publication • BIB
One version of the polycirculant conjecture states that every vertex-transitive graph has a semiregular automorphism. We give a proof of the conjecture in the arc-transitive case for graphs of valency 8, which was the smallest open case.
2013-03-19 v2
A short note on a short remark of Graham and Lovász
Published • View Publication • BIB
Let D be the distance matrix of a connected graph G and let nn(G), np(G) be the number of strictly negative and positive eigenvalues of D respectively. It was remarked in [1] that it is not known whether there is a graph for which np(G) > nn (G). In this note we show that there exists an infinite number of graphs satisfying the stated inequality, namely the conference graphs of order> 9. A large representative of this class being the Paley graphs.The result is obtained by derving the eigenvalues of the distance matrix of a strongly-regular graph.
2013-03-19
Using Edge-induced and Vertex-induced Subhypergraph Polynomials
Published • View Publication • BIB
For a hypergraph $\mathcal H$, we consider the edge-induced and vertex-induced subhypergraph polynomials and study their relation. We use this relation to prove that both polynomials are reconstructible, and to prove a theorem relating the Hilbert series of the Stanley-Reisner ring of the independent complex of $\mathcal H$ and the edge-induced subhypergraph polynomial. We also consider reconstruction of some algebraic invariants of $\mathcal H$.
2013-03-19
Constructing Even Order Magic Squares By Consecutive Numbering
The aim of this note is to introduce fastest new general methods for the construction of double and single even order magic squares. As in [5], the method for double even order magic squares is fairly straight-forward but some adjustments are necessary for the single even order magic squares.
2013-03-19 v2
On statistics of permutations chosen from the Ewens distribution
We explore the asymptotic distributions of sequences of integer-valued additive functions defined on the symmetric group endowed with the Ewens probability measure as the order of the group increases. Applying the method of factorial moments, we establish necessary and sufficient conditions for the weak convergence of distributions to discrete laws. More attention is paid to the Poisson limit distribution. The particular case of the number-of-cycles with restricted lengths function is analyzed in more detail. The results can be applied to statistics defined on random permutation matrices.
2013-03-19
The Mimimum 3-Covering Energy of Complete Graphs
In this paper we introduce a different kind of graph energy, the minimum 3-covering energy of a graph, and determine the minimum 3-covering energy of complete graphs.
Strong edge coloring of planar graphs
Published • View Publication • BIB
A strong edge coloring of a graph is a proper edge coloring where the edges at distance at most two receive distinct colors. It is known that every planar graph with maximum degree D has a strong edge coloring with at most 4D + 4 colors. We show that 3D + 6 colors suffice if the graph has girth 6, and 3D colors suffice if the girth is at least 7. Moreover, we show that cubic planar graphs with girth at least 6 can be strongly edge colored with at most 9 colors.
2013-03-19
Improved bound on facial parity edge coloring
Published • View Publication • BIB
A facial parity edge coloring of a 2-edge connected plane graph is an edge coloring where no two consecutive edges of a facial walk of any face receive the same color. Additionally, for every face f and every color c either no edge or an odd number of edges incident to f are colored by c. Czap, Jendrol', Kardoš and Sotak showed that every 2-edge connected plane graph admits a facial parity edge coloring with at most 20 colors. We improve this bound to 16 colors.
2013-03-19 v4
Densities, submeasures and partitions of groups
Published in Algebra Discr. Math. 17:2 (2014), 193-221 • Search Publication
In 1995 in Kourovka notebook the second author asked the following problem: it is true that for each partition $G=A_1\cup\dots\cup A_n$ of a group $G$ there is a cell $A_i$ of the partition such that $G=FA_iA_i^{-1}$ for some set $F\subset G$ of cardinality $|F|\le n$? In this paper we survey several partial solutions of this problem, in particular those involving certain canonical invariant densities and submeasures on groups.
Geometric achromatic and pseudoachromatic indices
Published in Graphs and Combinatorics-2016 • View Publication • BIB
The pseudoachromatic index of a graph is the maximum number of colors that can be assigned to its edges, such that each pair of different colors is incident to a common vertex. If for each vertex its incident edges have different color, then this maximum is known as achromatic index. Both indices have been widely studied. A geometric graph is a graph drawn in the plane such that its vertices are points in general position, and its edges are straight-line segments. In this paper we extend the notion of pseudoachromatic and achromatic indices for geometric graphs, and present results for complete geometric graphs. In particular, we show that for $n$ points in convex position the achromatic index and the pseudoachromatic index of the complete geometric graph are $\lfloor \tfrac{n^2+n}{4} \rfloor$.
Measurable events indexed by words
Published in Journal of Combinatorial Theory, Series A 127 (2014), 176-223 • View Publication • BIB
For every integer $k\geq 2$ let $[k]^{<\mathbb{N}}$ be the set of all words over $k$, that is, all finite sequences having values in $[k]:=\{1,...,k\}$. A Carlson-Simpson tree of $[k]^{<\mathbb{N}}$ of dimension $m\geq 1$ is a subset of $[k]^{<\mathbb{N}}$ of the form \[ \{w\}\cup \big\{w^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfrown}w_{n}(a_n): n\in \{0,...,m-1\} \text{ and } a_0,...,a_n\in [k]\big\} \] where $w$ is a word over $k$ and $(w_n)_{n=0}^{m-1}$ is a finite sequence of left variable words over $k$. We study the behavior of a family of measurable events in a probability space indexed by the elements of a Carlson-Simpson tree of sufficiently large dimension. Specifically we show the following. For every integer $k\geq 2$, every $0<\varepsilon\leq 1$ and every integer $n\geq 1$ there exists a strictly positive constant $θ(k,\varepsilon,n)$ with the following property. If $m$ is a given positive integer, then there exists an integer $\mathrm{Cor}(k,\varepsilon,m)$ such that for every Carlson--Simpson tree $T$ of $[k]^{<\mathbb{N}}$ of dimension at least $\mathrm{Cor}(k,\varepsilon,m)$ and every family $\{A_t:t\in T\}$ of measurable events in a probability space $(Ω,Σ,μ)$ satisfying $μ(A_t)\geq \varepsilon$ for every $t\in T$, there exists a Carlson--Simpson tree $S$ of dimension $m$ with $S\subseteq T$ and such that for every nonempty $F\subseteq S$ we have \[μ\Big(\bigcap_{t\in F} A_t\Big) \geq θ(k,\varepsilon,|F|). \] The proof is based, among others, on the density version of the Carlson--Simpson Theorem established recently by the authors, as well as, on a partition result -- of independent interest -- closely related to the work of T. J. Carlson, and H. Furstenberg and Y. Katznelson. The argument is effective and yields explicit lower bounds for the constants $θ(k,\varepsilon,n)$.
2013-03-18 v2
Monotonicity of the optimal perimeter in isoperimetric problems on ${\mathbb{Z}}^{k} \times {\mathbb{N}}^{d}$
We prove general theorems for isoperimetric problems on lattices of the form ${\mathbb{Z}}^{k} \times {\mathbb{N}}^{d}$ which state that the perimeter of the optimal set is a monotonically increasing function of the volume under certain natural assumptions, such as local symmetry or being induced by an $\ell_p$-norm. The proved monotonicity property is surprising considering that solutions are not always nested (and consequently standard techniques such as compressions do not apply). The monotonicity results of this note apply in particular to vertex- and edge-isoperimetric problems in the $\ell_p$ distances and can be used as a tool to elucidate properties of optimal sets. As an application, we consider the edge-isoperimetric inequality on the graph ${\N}^2$ in the $\ell_\infty$-distance. We show that there exist arbitrarily long consecutive values of the volume for which the minimum boundary is the same.
2013-03-18 v2
Hamiltonian cycles in Cayley graphs of imprimitive complex reflection groups
Published • View Publication • BIB
Generalizing a result of Conway, Sloane, and Wilkes for real reflection groups, we show the Cayley graph of an imprimitive complex reflection group with respect to standard generating reflections has a Hamiltonian cycle. This is consistent with the long-standing conjecture that for every finite group, G, and every set of generators, S, of G the undirected Cayley graph of G with respect to S has a Hamiltonian cycle.
2013-03-18
Non-Uniqueness of Minimal Superpermutations
Published in Discrete Mathematics, 313:1553-1557, 2013 • View Publication • BIB
We examine the open problem of finding the shortest string that contains each of the n! permutations of n symbols as contiguous substrings (i.e., the shortest superpermutation on n symbols). It has been conjectured that the shortest superpermutation has length $\sum_{k=1}^n k!$ and that this string is unique up to relabelling of the symbols. We provide a construction of short superpermutations that shows that, if the conjectured minimal length is true, then uniqueness fails for all n >= 5. Furthermore, uniqueness fails spectacularly; we construct more than doubly-exponentially many distinct superpermutations of the conjectured minimal length.
Proof of a conjecture of Thomassen on Hamilton cycles in highly connected tournaments
Published • View Publication • BIB
A conjecture of Thomassen from 1982 states that for every k there is an f(k) so that every strongly f(k)-connected tournament contains k edge-disjoint Hamilton cycles. A classical theorem of Camion, that every strongly connected tournament contains a Hamilton cycle, implies that f(1)=1. So far, even the existence of f(2) was open. In this paper, we prove Thomassen's conjecture by showing that f(k)=O(k^2*log^2(k)). This is best possible up to the logarithmic factor. As a tool, we show that every strongly 10^4*k*log(k)-connected tournament is k-linked (which improves a previous exponential bound). The proof of the latter is based on a fundamental result of Ajtai, Komlós and Szemerédi on asymptotically optimal sorting networks.
2013-03-18 v2
Asymptotic enumeration of sparse multigraphs with given degrees
Published • View Publication • BIB
Let J and J* be subsets of Z+ such that 0,1\in J and 0\in J*. For infinitely many n, let k=(k_1,..., k_n) be a vector of nonnegative integers whose sum M is even. We find an asymptotic expression for the number of multigraphs on the vertex set {1,..., n} with degree sequence given by k, such that every loop has multiplicity in J* and every non-loop edge has multiplicity in J. Equivalently, these are symmetric integer matrices with values J* allowed on the diagonal and J off the diagonal. Our expression holds when the maximum degree K satisfies K = o(M^(1/3)). We prove this result using the switching method, building on an asymptotic enumeration of simple graphs with given degrees (McKay and Wormald, 1991). Our application of the switching method introduces a novel way of combining several different switching operations into a single computation.
2013-03-18 v2
Algebraic properties of classes of path ideals
Published • View Publication • BIB
We consider path ideals associated to special classes of posets such as tree posets and cycles. We express their property of being sequentially Cohen-Macaulay in terms of the underlying poset. Moreover, monomial ideals, which arise from the Luce-decomposable model in algebraic statistics, can be viewed as path ideals of certain posets. We study invariants of these so-called \emph{Luce-decomposable} monomial ideals for diamond posets and products of chains. In particular, for these classes of posets, we explicitly compute their Krull dimension, their projective dimension, their regularity and their Betti numbers.
2013-03-18 v3
An analytic approach to the asymptotic variance of trie statistics and related structures
Published • View Publication • BIB
We develop analytic tools for the asymptotics of general trie statistics, which are particularly advantageous for clarifying the asymptotic variance. Many concrete examples are discussed for which new Fourier expansions are given. The tools are also useful for other splitting processes with an underlying binomial distribution. We specially highlight Philippe Flajolet's contribution in the analysis of these random structures.