arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82505 papers, 47699 authors in database)
2014-12-27
Decomposition of number arrangements in the cube
A subset $M \subset \textbf{R}^3$ is called a \emph{basic subset}, if for any funciton $f \colon M \to \textbf{R}$ there exist such functions $f_1; f_2; f_3 \colon \textbf{R} \to \textbf{R}$ that $f(x_1, x_2, x_3) = f_1(x_1) + f_2(x_2) + f_3(x_3)$ for each point $(x_1, x_2, x_3)\in M$. In this article we prove a criterion for a basic subset for some specific subsets in terms of some graph properties. We also introduce several constructions for mimimal non-basic subsets. The article is written in Russian.
2014-12-27 v2
On 3-uniform hypergraphs without a cycle of a given length
We study the maximum number of hyperedges in a 3-uniform hypergraph on $n$ vertices that does not contain a Berge cycle of a given length $\ell$. In particular we prove that the upper bound for $C_{2k+1}$-free hypergraphs is of the order $O(k^2n^{1+1/k})$, improving the upper bound of Györi and Lemons by a factor of $Θ(k^2)$. Similar bounds are shown for linear hypergraphs.
2014-12-27
Limits, Regularity and Removal for Finite Structures
Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of relational structures and as a special case, we retrieve the known limits for graphs and digraphs. Then we extend this notion to finite models of a fixed universal theory. We also state and prove a Regularity Lemma and a Removal Lemma. We will discuss connections between our work and Razborov's flag algebras as well.
2014-12-26 v3
Removal and Stability for Erdős-Ko-Rado
Published in SIAM J. Discrete Math. 30-2 (2016), 1102-1114 • View Publication • BIB
A $k$-uniform family of subsets of $[n]$ is intersecting if it does not contain a disjoint pair of sets. The study of intersecting families is central to extremal set theory, dating back to the seminal Erdős-Ko-Rado theorem of 1961 that bounds the size of the largest such families. A recent trend has been to investigate the structure of set families with few disjoint pairs. Friedgut and Regev proved a general removal lemma, showing that when $γn \le k \le (\tfrac12 - γ)n$, a set family with few disjoint pairs can be made intersecting by removing few sets. We provide a simple proof of a removal lemma for large families, showing that families of size close to $\ell \binom{n-1}{k-1}$ with relatively few disjoint pairs must be close to a union of $\ell$ stars. Our lemma holds for a wide range of uniformities; in particular, when $\ell = 1$, the result holds for all $2 \le k < \frac{n}{2}$ and provides sharp quantitative estimates. We use this removal lemma to settle a question of Bollobás, Narayanan and Raigorodskii regarding the independence number of random subgraphs of the Kneser graph $K(n,k)$. The Erdős-Ko-Rado theorem shows $α(K(n,k)) = \binom{n-1}{k-1}$. For some constant $c > 0$ and $k \le cn$, we determine the sharp threshold for when this equality holds for random subgraphs of $K(n,k)$, and provide strong bounds on the critical probability for $k \le \tfrac12 (n-3)$.
2014-12-26
A new $q$-Selberg integral, Schur functions, and Young books
Published • View Publication • BIB
Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new $q$-Selberg integral. It is also shown that the new $q$-Selberg integral has an expression in terms of Schur functions.
Splitting necklaces and measurable colorings of the real line
Published in Proceedings of the American Mathematical Society 137 (2009), no. 5, 1593-1599 • View Publication • BIB
A (continuous) necklace is simply an interval of the real line colored measurably with some number of colors. A well-known application of the Borsuk-Ulam theorem asserts that every $k$-colored necklace can be fairly split by at most $k$ cuts (from the resulting pieces one can form two collections, each capturing the same measure of every color). Here we prove that for every $k\geq 1$ there is a measurable $(k+3)$-coloring of the real line such that no interval can be fairly split using at most $k$ cuts. In particular, there is a measurable $4$-coloring of the real line in which no two adjacent intervals have the same measure of every color. An analogous problem for the integers was posed by Erdős in 1961 and solved in the affirmative in 1991 by Keränen. Curiously, in the discrete case the desired coloring also uses four colors.
Tableau Formulas for One-Row Macdonald Polynomials of Types $C_n$ and $D_n$
Published in SIGMA 11 (2015), 100, 21 pages • View Publication • BIB
We present explicit formulas for the Macdonald polynomials of types $C_n$ and $D_n$ in the one-row case. In view of the combinatorial structure, we call them "tableau formulas". For the construction of the tableau formulas, we apply some transformation formulas for the basic hypergeometric series involving very well-poised balanced ${}_{12}W_{11}$ series. We remark that the correlation functions of the deformed $\mathcal{W}$ algebra generators automatically give rise to the tableau formulas when we principally specialize the coordinate variables.
Coloring, sparseness, and girth
Published • View Publication • BIB
An $r$-augmented tree is a rooted tree plus $r$ edges added from each leaf to ancestors. For $d,g,r\in\mathbb{N}$, we construct a bipartite $r$-augmented complete $d$-ary tree having girth at least $g$. The height of such trees must grow extremely rapidly in terms of the girth. Using the resulting graphs, we construct sparse non-$k$-choosable bipartite graphs, showing that maximum average degree at most $2(k-1)$ is a sharp sufficient condition for $k$-choosability in bipartite graphs, even when requiring large girth. We also give a new simple construction of non-$k$-colorable graphs and hypergraphs with any girth $g$.
2014-12-25
Erdős-Gallai-type results for colorful monochromatic connectivity of a graph
Published • View Publication • BIB
A path in an edge-colored graph is called a \emph{monochromatic path} if all the edges on the path are colored the same. An edge-coloring of $G$ is a \emph{monochromatic connection coloring} (MC-coloring, for short) if there is a monochromatic path joining any two vertices in $G$. The \emph{monochromatic connection number}, denoted by $mc(G)$, is defined to be the maximum number of colors used in an MC-coloring of a graph $G$. These concepts were introduced by Caro and Yuster, and they got some nice results. In this paper, we will study two kinds of Erdős-Gallai-type problems for $mc(G)$, and completely solve them.
2014-12-25 v2
Tight Chromatic Upper Bound for {3 Times K1, {2 Times K1 + (K2 UNION K1)}-free Graphs
Problem of finding an optimal upper bound for χ of (3 Times K1)-free graphs is still open and pretty hard. It was proved by Choudum et al that upper bound on the χ of {3 Times K1, {2 Times K1 + (K2 UNION K1)}-free graphs is 2ω. We improve this by proving that if G is {3 Times K1, {2 Times K1 + (K2 UNION K1)}-free, then χ less than or equal to 3ω divided by 2 for ω not equal to 5, and χ less than or equal to 8 for ω = 5 where ω is the size of a maximum clique in G. We also give examples of extremal graphs.
2014-12-24
Distance Regular Colorings of $n$-Dimensional Rectangular Grid
We study the infinite graph of $n$-dimensional rectangular grid that doesn't appear distance regular and the distance regular colorings of this graph, which are defined as the distance colorings with respect to completely regular codes. It is proved that the elements of the parameter matrix of an arbitrary distance regular coloring form two monotonic sequences. It is shown that every irreducible distance regular coloring of the $n$-dimensional rectangular grid has at most $2n+1$ colors.
2014-12-24 v2
Plane partitions and their pedestal polynomials
Published • View Publication • BIB
We define, for an arbitrary partially ordered set, a multi-variable polynomial generalizing the hook polynomial.
2014-12-24 v2
On $2$-arc-transitive graphs of order $kp^n$
Published • View Publication • BIB
We show that there exist functions $c$ and $g$ such that, if $k$, $n$ and $d$ are positive integers with $d> g(n)$ and $Γ$ is a $d$-valent $2$-arc-transitive graph of order $kp^n$ with $p$ a prime, then $p\leqslant kc(d)$. In other words, there are only finitely many $d$-valent 2-arc-transitive graphs of order $kp^n$ with $d>g(n)$ and $p$ prime. This generalises a recent result of Conder, Li and Potočnik.
Spherical Thrackles
Published • View Publication • BIB
We establish Conway's thrackle conjecture in the case of spherical thrackles; that is, for drawings on the unit sphere where the edges are arcs of great circles.
2014-12-23 v2
Topological Symmetry Groups of Complete Bipartite Graphs
Published in Tokyo J. Math., vol. 39, 2016, pp. 133-156 • View Publication • BIB
The symmetries of complex molecular structures can be modeled by the {\em topological symmetry group} of the underlying embedded graph. It is therefore important to understand which topological symmetry groups can be realized by particular abstract graphs. This question has been answered for complete graphs; it is natural next to consider complete bipartite graphs. In previous work we classified the complete bipartite graphs that can realize topological symmetry groups isomorphic to $A_4$, $S_4$ or $A_5$; in this paper we determine which complete bipartite graphs have an embedding in $S^3$ whose topological symmetry group is isomorphic to $\mathbb{Z}_m$, $D_m$, $\mathbb{Z}_r \times \mathbb{Z}_s$ or $(\mathbb{Z}_r \times \mathbb{Z}_s) \ltimes \mathbb{Z}_2$.
2014-12-23
A Sharp Upper Bound for the Complexity of Labeled Oriented Trees
A labeled oriented graph (LOG) is an oriented graph with a labeling function from the edge set into the vertex set. The complexity of a LOG is the minimal cardinality of an initial set $S$ of vertices such that every vertex can be reached successively from $S$ only using edges with labels in $S$ or already visited vertices. We give a constructive proof of a conjecture by Rosebrock stating that for an interior reduced, connected LOG with $m$ vertices the complexity is at most $(m+1) / 2$ and show that this bound is sharp. Due to results of Howie labeled oriented trees (LOTs) yield crucial candidates for counterexamples of the Whitehead Conjecture stating that every subcomplex of an aspherical 2-complex is aspherical. We explicitly describe the structure of LOTs of maximal complexity $(m+1)/2$. We conclude that the 2-complexes associated to these LOTs are always aspherical excluding them from the list of possible counterexamples.
2014-12-23
On $k$-transitive closures of directed paths
In this paper we study the structure of $k$-transitive closures of directed paths and formulate several properties. Concept of $k$-transitive orientation generalize the traditional concept of transitive orientation of a graph.
Entry-Faithful $2$-Neighbour Transitive Codes
Published • View Publication • BIB
We consider a code to be a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of vertices, not in the code, at distance $s$ from some codeword, but not distance less than $s$ from any codeword. A $2$-neighbour transitive code is a code which admits a group $X$ of automorphisms which is transitive on the $s$-neighbours, for $s=1,2$, and transitive on the code itself. We give a classification of $2$-neighbour transitive codes, with minimum distance $δ\geq 5$, for which $X$ acts faithfully on the set of entries of the Hamming graph.
2014-12-23
Local distributions for eigenfunctions and for perfect colorings of q-ary hypercube
Under study are the eigenfunctions and perfect colorings of the graph of $n$-dimensional $q$-ary Hamming space. We obtain the interdependence of local distributions of an eigenfunction in two orthogonal faces. We prove also an analogous result for perfect colorings.
2014-12-23
The Approximation Ratio of the Greedy Algorithm for the Metric Traveling Salesman Problem
Published • View Publication • BIB
We prove that the approximation ratio of the greedy algorithm for the metric Traveling Salesman Problem is $Θ(\log n)$. Moreover, we prove that the same result also holds for graphic, Euclidean, and rectilinear instances of the Traveling Salesman Problem. Finally we show that the approximation ratio of the Clarke-Wright savings heuristic for the metric Traveling Salesman Problem is $Θ(\log n)$.