arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82311 papers, 47607 authors in database)
2022-02-20 v2
Sharp threshold for rigidity of random graphs
Published • View Publication • BIB
We consider the Erdős-Rényi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d$, and it becomes globally rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d+1$.
2022-02-19
Maxima of the $Q$-index: Graphs with no $K_{1,t}$-minor
Published • View Publication • BIB
A graph is said to be \textit{$H$-minor free} if it does not contain $H$ as a minor. In this paper, we characteristic the unique extremal graph with maximal $Q$-index among all $n$-vertex $K_{1,t}$-minor free graphs ($t\ge3$).
2022-02-19 v2
The cost of symmetry in connected graphs
Published • View Publication • BIB
The paper answers the question posed in a joint paper by A. A. Klyachko and N. M. Luneva about the optimality of the estimate for the cost of symmetry in graphs. The original estimate says that if n vertices can be removed from a connected graph so that there is no connected subgraph of isomorphic $Γ$ left in it, then at most $n|V(Γ)|$ vertices that form a set invariant under all automorphisms of the graph so that the graph does not contain a subgraph isomorphic to $Γ$. We will prove that there exists a graph $Γ$ for which this estimate is not optimal.
2022-02-19 v2
Independent domination of graphs with bounded maximum degree
Published in J. Combin. Theory Ser. B, 158:341-352, January 2023 • View Publication • BIB
An independent dominating set of a graph, also known as a maximal independent set, is a set $S$ of pairwise non-adjacent vertices such that every vertex not in $S$ is adjacent to some vertex in $S$. We prove that for $Δ=4$ or $Δ\ge 6$, every connected $n$-vertex graph of maximum degree at most $Δ$ has an independent dominating set of size at most $(1-\fracΔ{\lfloorΔ^2/4\rfloor+Δ})(n-1)+1$. In addition, we characterize all connected graphs having the equality and we show that other connected graphs have an independent dominating set of size at most $(1-\fracΔ{ \lfloorΔ^2/4\rfloor+Δ})n$.
Set-homogeneous hypergraphs
Published • View Publication • BIB
A $k$-uniform hypergraph $M$ is set-homogeneous if it is countable (possibly finite) and whenever two finite induced subhypergraphs $U,V$ are isomorphic there is $g\in Aut(M)$ with $U^g=V$; the hypergraph $M$ is said to be homogeneous if in addition every isomorphism between finite induced subhypergraphs extends to an automorphism. We give four examples of countably infinite set-homogeneous $k$-uniform hypergraphs which are not homogeneous (two with $k=3$, one with $k=4$, and one with $k=6$). Evidence is also given that these may be the only ones, up to complementation. For example, for $k=3$ there is just one countably infinite $k$-uniform hypergraph whose automorphism group is not 2-transitive, and there is none for $k=4$. We also give an example of a finite set-homogeneous 3-uniform hypergraph which is not homogeneous.
2022-02-19
Minimal non-orientable matroids in a projective plane
Published in Journal of Combinatorial Theory Series A. 114 (2007), 175-183 • Search Publication
We construct a new family of minimal non-orientable matroids of rank three. Some of these matroids embed in Desarguesian projective planes. This answers a question of Ziegler: for every prime power $q$, find a minimal non-orientable submatroid of the projective plane over the $q$-element field.
2022-02-19
Finite distributive lattices, polyominoes and ideals of König type
Published • View Publication • BIB
Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied.
2022-02-19 v2
The $m$-bipartite Ramsey number $BR_m(K_{2,2},K_{5,5})$
The bipartite Ramsey number $BR(H_1,H_2,\ldots,H_k)$, is the smallest positive integer $b$, such that each $k$-decomposition of $E(K_{b,b})$ contains $H_i$ in the $i$-th class for some $i, 1\leq i\leq k$. As another view of bipartite Ramsey numbers, for given two bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$, is defined as the least integer $n$, such that any subgraph of $K_{m,n}$ say $H$, results in $H_1\subseteq H$ or $H_2\subseteq \overline{H}$. The size of $BR_m(K_{2,2}, K_{3,3})$, $BR_m(K_{2,2}, K_{4,4})$ for each $m$, and the size of $BR_m(K_{3,3}, K_{3,3})$ for some $m$, have been determined in several papers up to now. Also, it is shown that $BR(K_{2,2}, K_{5,5})=17$. In this article, we compute the size of $BR_m(K_{2,2}, K_{5,5})$ for some $m\geq 2$.
2022-02-18
Positivity of Narayana polynomials and Eulerian polynomials
Published • View Publication • BIB
Gamma-positivity appears frequently in finite geometries, combinatorics and number theory. Motivated by the recent work of Sagan and Tirrell (Adv. Math., 374 (2020), 107387), we study the relationships between gamma-positivity and alternating gamma-positivity. As applications, we derive several alternatingly gamma-positive polynomials related to Narayana polynomials and Eulerian polynomials. In particular, we show the alternating gamma-positivity and Hurwitz stability of a combination of the modified Narayana polynomials of types A and B. By using colored $2\times n$ Young diagrams, we present a unified combinatorial interpretations of three identities involving Narayana numbers of type B. A general result of this paper is that every gamma-positive polynomial is also alternatingly semi-gamma-positive. At the end of this paper, we pose two conjectures, one concerns the Boros-Moll polynomials and the other concerns the enumerators of permutations by descents and excedances.
Drunk Angel and Hiding Devil
Published • View Publication • BIB
The angel game is played on $2$-dimensional infinite grid by $2$ players, the angel and the devil. In each turn, the angel of power $c \in \mathbb{N}$ moves from her current point $(x, y)$ to a point $(x', y')$ which $\max\{|x - x'|, |y - y'|\} \leq c$ while the devil chooses a point to destroy in his turn. Then, the angel can no longer land on these destroyed points. The angel wins if she has a strategy to escape from the devil forever and the devil wins if he can cage the angel in his destroyed points by a finite number of turns. It was proved in 2007 that the angel of power at least $2$ always wins. In this paper, we rise the problem when the angel is drunk. She randomly moves to any point in the range of her power in each turn. In our game version, the devil must cage the angel by a given finite number of turns, otherwise, the angel wins. We present a strategy for the devil that: if the devil plays with this strategy, then for given $c \in \mathbb{N}$ and $ε> 0$, the devil can cage the angel of power $c$ with probability greater than $1 - ε$ if and only if the game is played on an $n$-dimensional infinite grid when $n \leq 2$. We also establish the results related to the hitting time once the angel is first time outside an $n$-dimensional sphere of a given radius. The numerical simulation results are also presented in the last section.
2022-02-18 v2
A relation between Wiener index and Mostar index for daisy cubes
Daisy cubes are a class of isometric subgraphs of the hypercubes Q n. Daisy cubes include some previously well known families of graphs like Fibonacci cubes and Lucas cubes. Moreover they appear in chemical graph theory. Two distance invariants, Wiener and Mostar indices, have been introduced in the context of the mathematical chemistry. The Wiener index W (G) is the sum of distance between all unordered pairs of vertices of a graph G. The Mostar index Mo(G) is a measure of how far G is from being distance balanced. In this paper we establish that the Wiener and the Mostar indices of a daisy cube G are linked by the relation 2W (G) -- Mo(G) = |V (G)||E(G)|. We give also an expression of Wiener and Mostar indices for daisy cubes.
2022-02-18
Combinatorial Properties of primitive words with Non-primitive Product
Published • View Publication • BIB
Let $\mathcal{A}$ be an alphabet of size $n\ge 2$. In this paper, we give a complete description of primitive words $p\neq q$ over an alphabet $\mathcal{A}$ of size $n\geq2$ such that $pq$ is non-primitive and $|p|=2|q|$. In particular, if $l$ is s a positive integer, we count the cardinality of the set $\mathcal{E}(l,\mathcal{A})$ of all couples $(p,q)$ of primitive words such that $|p|=2|q|=2l$ and $pq$ is non-primitive. Then we give a combinatorial formula for this cardinality and its asymptotic behavior, as $l$ or $n$ goes to infinity.
2022-02-18 v2
On Formality and Combinatorial Formality for hyperplane arrangements
Published in Discrete & Computational Geometry 72, 73--90 (2024) • View Publication • BIB
A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal. The aim of this note is twofold. While work of Yuzvinsky shows that formality is not combinatorial, in our first main theorem we prove that the combinatorial property of niceness of arrangements does entail formality. Our second main theorem shows that formality is hereditary, i.e. is passed to restrictions. This is rather counter-intuitive, as in contrast the known sufficient conditions for formality, i.e. asphericity, freeness and niceness (owed to our first theorem), are not hereditary themselves. We also demonstrate that the stronger property of $k$-formality, due to Brandt and Terao, is not hereditary.
Polynomial bounds for chromatic number VII. Disjoint holes
Published • View Publication • BIB
A hole in a graph $G$ is an induced cycle of length at least four, and a $k$-multihole in $G$ is a set of pairwise disjoint and nonadjacent holes. It is well known that if $G$ does not contain any holes then its chromatic number is equal to its clique number. In this paper we show that, for any $k$, if $G$ does not contain a $k$-multihole, then its chromatic number is at most a polynomial function of its clique number. We show that the same result holds if we ask for all the holes to be odd or of length four; and if we ask for the holes to be longer than any fixed constant or of length four. This is part of a broader study of graph classes that are polynomially $χ$-bounded.
Quotient graphs of symmetrically rigid frameworks
Published in Documenta Mathematica 29(3), 2024 • View Publication • BIB
A natural problem in combinatorial rigidity theory concerns the determination of the rigidity or flexibility of bar-joint frameworks in $\mathbb{R}^d$ that admit some non-trivial symmetry. When $d=2$ there is a large literature on this topic. In particular, it is typical to quotient the symmetric graph by the group and analyse the rigidity of symmetric, but otherwise generic frameworks, using the combinatorial structure of the appropriate group-labelled quotient graph. However, mirroring the situation for generic rigidity, little is known combinatorially when $d\geq 3$. Nevertheless in the periodic case, a key result of Borcea and Streinu characterises when a quotient graph can be lifted to a rigid periodic framework in $\mathbb{R}^d$. We develop an analogous theory for symmetric frameworks in $\mathbb{R}^d$. The results obtained apply to all finite and infinite 2-dimensional point groups, and then in arbitrary dimension they concern a wide range of infinite point groups, sufficiently large finite groups and groups containing translations and rotations. For the case of finite groups we also derive results concerning the probability of assigning group labels to a quotient graph so that the resulting lift is symmetrically rigid in $\mathbb{R}^d$.
2022-02-18 v3
Enumeration of corner polyhedra and 3-connected Schnyder labelings
Published in Electronic Journal of Combinatorics, Volume 30, Issue 2, P2.17 (2023) • View Publication • BIB
We show that corner polyhedra and 3-connected Schnyder labelings join the growing list of planar structures that can be set in exact correspondence with (weighted) models of quadrant walks via a bijection due to Kenyon, Miller, Sheffield and Wilson. Our approach leads to a first polynomial time algorithm to count these structures, and to the determination of their exact asymptotic growth constants: the number $p_n$ of corner polyhedra and $s_n$ of 3-connected Schnyder labelings of size $n$ respectively satisfy $(p_n)^{1/n}\to 9/2$ and $(s_n)^{1/n}\to 16/3$ as $n$ goes to infinity. While the growth rates are rational, like in the case of previously known instances of such correspondences, the exponent of the asymptotic polynomial correction to the exponential growth does not appear to follow from the now standard Denisov-Wachtel approach, due to a bimodal behavior of the step set of the underlying tandem walk. However a heuristic argument suggests that these exponents are $-1-π/\arccos(9/16)\approx -4.23$ for $p_n$ and $-1-π/\arccos(22/27)\approx -6.08$ for $s_n$, which would imply that the associated series are not D-finite.
2022-02-18 v3
Discrete Poisson hardcore 1D model and reinfections
Published • View Publication • BIB
We suggest a new hardcore Poisson-type distribution for Young diagrams with the row lengths from some finite list. A discrete variant of the time-ordered Matérn II process in 1D is employed. This approach is related to that based on the interlacing sequences due to Kerov and others, but we restrict the number of rows. The basic lengths are assumed comparable with the total order of the diagram in the quasi-classical limit, which results in new methods and new formulas. An interesting application is to random walks where the steps are at the points satisfying the classical Poisson distribution or our truncatedone. In the simplest case, one obtains the distribution in terms of Bessel I-functions, which provides some probabilistic interpretation of its many properties. An immediate application of our truncated Poisson distributions is to modeling reinfections in epidemics.
A bound on the dissociation number
Published • View Publication • BIB
The dissociation number ${\rm diss}(G)$ of a graph $G$ is the maximum order of a set of vertices of $G$ inducing a subgraph that is of maximum degree at most $1$. Computing the dissociation number of a given graph is algorithmically hard even when restricted to subcubic bipartite graphs. For a graph $G$ with $n$ vertices, $m$ edges, $k$ components, and $c_1$ induced cycles of length $1$ modulo $3$, we show ${\rm diss}(G)\geq n-\frac{1}{3}\Big(m+k+c_1\Big)$. Furthermore, we characterize the extremal graphs in which every two cycles are vertex-disjoint.
2022-02-18 v2
Heroes in orientations of chordal graphs
Published • View Publication • BIB
We characterize all digraphs $H$ such that orientations of chordal graphs with no induced copy of $H$ have bounded dichromatic number.
2022-02-18 v2
Planar Turán numbers of cubic graphs and disjoint union of cycles
Published • View Publication • BIB
The planar Turán number of a graph $H$, denoted $ex_{_\mathcal{P}}(n,H)$, is the maximum number of edges in a planar graph on $n$ vertices without containing $H$ as a subgraph. This notion was introduced by Dowden in 2016 and has attracted quite some attention since then; those work mainly focus on finding $ex_{_\mathcal{P}}(n,H)$ when $H$ is a cycle or Theta graph or $H$ has maximum degree at least four. In this paper, we study $ex_{_\mathcal{P}}(n,H)$ when $H$ is a cubic graph or disjoint union of cycles or $H=K_{s, t}$.