arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2017-03-16 v2
The circular law for random regular digraphs
Published • View Publication • BIB
Let $\log^Cn\le d\le n/2$ for a sufficiently large constant $C>0$ and let $A_n$ denote the adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices. We prove that as $n$ tends to infinity, the empirical spectral distribution of $A_n$, suitably rescaled, is governed by the Circular Law. A key step is to obtain quantitative lower tail bounds for the smallest singular value of additive perturbations of $A_n$.
2017-03-15 v4
Infinitely many excluded minors for frame matroids and for lifted-graphic matroids
Published in J. Combin. Theory Ser. B, 2018 • View Publication • BIB
We present infinite sequences of excluded minors for both the class of lifted-graphic matroids and the class of frame matroids.
2017-03-15
Power sums in hyperbolic Pascal triangles
Published in Analele Stiintifice ale Universitatii Ovidius Constanta, 2017 • Search Publication
In this paper, we describe a method to determine the power sum of the elements of the rows in the hyperbolic Pascal triangles corresponding to $\{4,q\}$ with $q\ge5$. The method is based on the theory of linear recurrences, and the results are demonstrated by evaluating the $k^{th}$ power sum in the range $2\le k\le 11$.
2017-03-15 v4
On Combinatorial Properties of Points and Polynomial Curves
Many combinatorial properties of a point set in the plane are determined by the set of possible partitions of the point set by a line. Their essential combinatorial properties are well captured by the axioms of oriented matroids. In fact, Goodman and Pollack (Journal of Combinatorial Theory, Series A, Volume 37, pp. 257-293, 1984) proved that the axioms of oriented matroids of rank $3$ completely characterize the sets of possible partitions arising from a natural topological generalization of configurations of points and lines. In this paper, we introduce a new class of oriented matroids, called degree-$k$ oriented matroids, which captures essential combinatorial properties of the possible partitions of point sets in the plane by the graphs of polynomial functions of degree $k$. We prove that the axiom of degree-$k$ oriented matroids completely characterizes the sets of possible partitions arising from a natural topological generalization of configurations formed by points and the graphs of polynomial functions degree $k$. It turns out that the axiom of degree-$k$ oriented matroids coincides with the axiom of ($k+2$)-signotopes, which was introduced by Felsner and Weil (Discrete Applied Mathematics, Volume 109, pp. 67-94, 2001) in a completely different context. Our result gives a two-dimensional geometric interpretation for ($k+2$)-signotopes and also for single element extensions of cyclic hyperplane arrangements in $\mathbb{R}^{n-k-3}$.
2017-03-15 v2
Steiner 3-diameter, maximum degree and size of a graph
Published • View Publication • BIB
The Steiner $k$-diameter $sdiam_k(G)$ of a graph $G$, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical diameter. When $k=2$, $sdiam_2(G)=diam(G)$ is the classical diameter. The problem of determining the minimum size of a graph of order $n$ whose diameter is at most $d$ and whose maximum is $\ell$ was first introduced by Erdös and Rényi. In this paper, we generalize the above problem for Steiner $k$-diameter, and study the problem of determining the minimum size of a graph of order $n$ whose Steiner $3$-diameter is at most $d$ and whose maximum is at most $\ell$.
2017-03-15 v3
On packing chromatic number of subcubic outerplanar graphs
Published • View Publication • BIB
Although it has recently been proved that the packing chromatic number is unbounded on the class of subcubic graphs, there exists subclasses in which the packing chromatic number is finite (and small). These subclasses include subcubic trees, base-3 Sierpi{ń}ski graphs and hexagonal lattices.In this paper we are interested in the packing chromatic number of subcubic outerplanar graphs. We provide asymptotic bounds depending on structural properties of the outerplanar graphs and determine sharper bounds for some classes of subcubic outerplanar graphs.
2017-03-15 v3
Equiangular subspaces in Euclidean spaces
Published • View Publication • BIB
A set of lines through the origin is called equiangular if every pair of lines defines the same angle, and the maximum size of an equiangular set of lines in $\mathbb{R}^n$ was studied extensively for the last 70 years. In this paper, we study analogous questions for $k$-dimensional subspaces. We discuss natural ways of defining the angle between $k$-dimensional subspaces and correspondingly study the maximum size of an equiangular set of $k$-dimensional subspaces in $\mathbb{R}^n$. Our bounds extend and improve a result of Blokhuis.
2017-03-15
Lattice Walks in the Octant with Infinite Associated Groups
Published • View Publication • BIB
Continuing earlier investigations of restricted lattice walks in $\mathbb{N}^3$, we take a closer look at the models with infinite associated groups. We find that up to isomorphism, only 12 different infinite groups appear, and we establish a connection between the group of a model and the model being Hadamard.
2017-03-15
The Bollobás-Eldridge-Catlin conjecture for even girth at least $10$
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to \textit{pack} if there exist injective mappings of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ(G_1)+1) (Δ(G_2)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumptions that neither $G_1$ nor $G_2$ contain a $4$-, $6$- or $8$-cycle, and that $Δ(G_1)$ or $Δ(G_2)$ is large enough ($\ge 940060$).
2017-03-15
Semidefinite programming bounds for constant weight codes
Published in IEEE Transactions on Information Theory, 65 (2019), 28-38 • View Publication • BIB
For nonnegative integers $n,d,w$, let $A(n,d,w)$ be the maximum size of a code $C \subseteq \mathbb{F}_2^n$ with constant weight $w$ and minimum distance at least $d$. We consider two semidefinite programs based on quadruples of code words that yield several new upper bounds on $A(n,d,w)$. The new upper bounds imply that $A(22,8,10)=616$ and $A(22,8,11)=672$. Lower bounds on $A(22,8,10)$ and $A(22,8,11)$ are obtained from the $(n,d)=(22,7)$ shortened Golay code of size $2048$. It can be concluded that the shortened Golay code is a union of constant weight $w$ codes of sizes $A(22,8,w)$.
2017-03-15 v2
Randomly coloring simple hypergraphs with fewer colors
Published • View Publication • BIB
We study the problem of constructing a (near) uniform random proper $q$-coloring of a simple $k$-uniform hypergraph with $n$ vertices and maximum degree $Δ$. (Proper in that no edge is mono-colored and simple in that two edges have maximum intersection of size one). We show that if $q\geq \max\{C_k\log n,500k^3Δ^{1/(k-1)}\}$ then the Glauber Dynamics will become close to uniform in $O(n\log n)$ time, given a random (improper) start. This improves on the results in Frieze and Melsted [5].
2017-03-15 v2
A Semi-Random Construction of Small Covering Arrays
Given a set $S$ of $v \ge 2$ symbols, and integers $k \ge t \ge 2$ and $N \ge 1$, an $N \times k$ array $A \in S^{N \times k}$ is an $(N; t, k, v)$-covering array if all sequences in $S^t$ appear as rows in every $N \times t$ subarray of $A$. These arrays have a wide variety of applications, driving the search for small covering arrays. The covering array number, $\mathrm{CAN}(t,k,v)$, is the smallest $N$ for which an $(N; t,k,v)$-covering array exists. In this paper, we combine probabilistic and linear algebraic constructions to improve the upper bounds on $\mathrm{CAN}(t,k,v)$ by a factor of $\ln v$, showing that for prime powers $v$, $\mathrm{CAN}(t,k,v) \le (1 + o(1)) \left( (t-1) v^t / (2 \log_2 v - \log_2 (v+1)) \right)\log_2 k$, which also offers improvements for large $v$ that are not prime powers. Our main tool, which may be of independent interest, is a construction of an array with $v^t$ rows that covers the maximum possible number of subsets of size $t$.
A superlinear lower bound on the number of 5-holes
Published in Journal of Combinatorial Theory, Series A 173 (2020), 105236 • View Publication • BIB
Let $P$ be a finite set of points in the plane in general position, that is, no three points of $P$ are on a common line. We say that a set $H$ of five points from $P$ is a $5$-hole in $P$ if $H$ is the vertex set of a convex $5$-gon containing no other points of $P$. For a positive integer $n$, let $h_5(n)$ be the minimum number of 5-holes among all sets of $n$ points in the plane in general position. Despite many efforts in the last 30 years, the best known asymptotic lower and upper bounds for $h_5(n)$ have been of order $Ω(n)$ and $O(n^2)$, respectively. We show that $h_5(n) = Ω(n\log^{4/5}{n})$, obtaining the first superlinear lower bound on $h_5(n)$. The following structural result, which might be of independent interest, is a crucial step in the proof of this lower bound. If a finite set $P$ of points in the plane in general position is partitioned by a line $\ell$ into two subsets, each of size at least 5 and not in convex position, then $\ell$ intersects the convex hull of some 5-hole in $P$. The proof of this result is computer-assisted.
Hadamard Equiangular Tight Frames
Published • View Publication • BIB
An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. They are often represented as the columns of a short, fat matrix. In certain applications we want this matrix to be flat, that is, have the property that all of its entries have modulus one. In particular, real flat ETFs are equivalent to self-complementary binary codes that achieve the Grey-Rankin bound. Some flat ETFs are (complex) Hadamard ETFs, meaning they arise by extracting rows from a (complex) Hadamard matrix. These include harmonic ETFs, which are obtained by extracting the rows of a character table that correspond to a difference set in the underlying finite abelian group. In this paper, we give some new results about flat ETFs. One of these results gives an explicit Naimark complement for all Steiner ETFs, which in turn implies that all Kirkman ETFs are possibly-complex Hadamard ETFs. This in particular produces a new infinite family of real flat ETFs. Another result establishes an equivalence between real flat ETFs and certain types of quasi-symmetric designs, resulting in a new infinite family of such designs.
Non-crossing Monotone Paths and Binary Trees in Edge-ordered Complete Geometric Graphs
Published • View Publication • BIB
An edge-ordered graph is a graph with a total ordering of its edges. A path $P=v_1v_2\ldots v_k$ in an edge-ordered graph is called increasing if $(v_iv_{i+1}) > (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$; it is called decreasing if $(v_iv_{i+1}) < (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$. We say that $P$ is monotone if it is increasing or decreasing. A rooted tree $T$ in an edge-ordered graph is called monotone if either every path from the root of to a leaf is increasing or every path from the root to a leaf is decreasing. Let $G$ be a graph. In a straight-line drawing $D$ of $G$, its vertices are drawn as different points in the plane and its edges are straight line segments. Let $\overlineα(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing path of length $\overlineα(G)$. Let $\overlineτ(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing complete binary tree of size $\overlineτ(G)$. In this paper we show that $\overline α(K_n) = Ω(\log\log n)$, $\overline α(K_n) = O(\log n)$, $\overline τ(K_n) = Ω(\log\log \log n)$ and $\overline τ(K_n) = O(\sqrt{n \log n})$.
2017-03-15 v3
The Interactive Sum Choice Number of Graphs
Published • View Publication • BIB
We introduce a variant of the well-studied sum choice number of graphs, which we call the interactive sum choice number. In this variant, we request colours to be added to the vertices' colour-lists one at a time, and so we are able to make use of information about the colours assigned so far to determine our future choices. The interactive sum choice number cannot exceed the sum choice number and we conjecture that, except in the case of complete graphs, the interactive sum choice number is always strictly smaller than the sum choice number. In this paper we provide evidence in support of this conjecture, demonstrating that it holds for a number of graph classes, and indeed that in many cases the difference between the two quantities grows as a linear function of the number of vertices.
2017-03-15 v3
Smart elements in combinatorial group testing problems
Published • View Publication • BIB
In combinatorial group testing problems Questioner needs to find a special element $x \in [n]$ by testing subsets of $[n]$. Tapolcai et al. introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the special one. Using classical results of extremal set theory we prove that if $\mathcal{F}_n \subset 2^{[n]}$ solves the non-adaptive version of this problem and has minimal cardinality, then $$\lim_{n \rightarrow \infty} \frac{|\mathcal{F}_n|}{\log_2 n} = \log_{(3/2)}2.$$ This improves results by Tapolcai et al. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the special one. Finally the adaptive versions of the different models are investigated.
2017-03-15
On trees with real rooted independence polynomial
Published • View Publication • BIB
The independence polynomial of a graph $G$ is \[I(G,x)=\sum\limits_{k\ge 0}i_k(G)x^k,\] where $i_k(G)$ denotes the number of independent sets of $G$ of size $k$ (note that $i_0(G)=1$). In this paper we show a new method to prove real-rootedness of the independence polynomials of certain families of trees. In particular we will give a new proof of the real-rootedness of the independence polynomials of centipedes (Zhu's theorem), caterpillars (Wang and Zhu's theorem), and we will prove a conjecture of Galvin and Hilyard about the real-rootedness of the independence polynomial of the so-called Fibonacci trees.
2017-03-15 v2
On Perfect Matchings in Matching Covered Graphs
Published • View Publication • BIB
Let $G$ be a matching-covered graph, i.e., every edge is contained in a perfect matching. An edge subset $X$ of $G$ is feasible if there exists two perfect matchings $M_1$ and $M_2$ such that $|M_1\cap X|\not\equiv |M_2\cap X| \pmod 2$. Lukot'ka and Rollová proved that an edge subset $X$ of a regular bipartite graph is not feasible if and only if $X$ is switching-equivalent to $\emptyset$, and they further ask whether a non-feasible set of a regular graph of class 1 is always switching-equivalent to either $\emptyset$ or $E(G)$? Two edges of $G$ are equivalent to each other if a perfect matching $M$ of $G$ either contains both of them or contains none of them. An equivalent class of $G$ is an edge subset $K$ with at least two edges such that the edges of $K$ are mutually equivalent. An equivalent class is not a feasible set. Lovász proved that an equivalent class of a brick has size 2. In this paper, we show that, for every integer $k\ge 3$, there exist infinitely many $k$-regular graphs of class 1 with an arbitrarily large equivalent class $K$ such that $K$ is not switching-equivalent to either $\emptyset$ or $E(G)$, which provides a negative answer to the problem proposed by Lukot'ka and Rollová. Further, we characterize bipartite graphs with equivalent class, and characterize matching-covered bipartite graphs of which every edge is removable.
2017-03-15 v2
General expression for the component size distribution in infinite configuration networks
Published in Phys. Rev. E 95, 052303 (2017) • View Publication • BIB
In the infinite configuration network the links between nodes are assigned randomly with the only restriction that the degree distribution has to match a predefined function. This work presents a simple equation that gives for an arbitrary degree distribution the corresponding size distribution of connected components. This equation is suitable for fast and stable numerical computations up to the machine precision. The analytical analysis reveals that the asymptote of the component size distribution is completely defined by only a few parameters of the degree distribution: the first three moments, scale and exponent (if applicable). When the degree distribution features a heavy tail, multiple asymptotic modes are observed in the component size distribution that, in turn, may or may not feature a heavy tail.