Showing 20 papers (Total: 83133 papers, 48023 authors in database)
The perfect divisibility and chromatic number of some odd hole-free graphs
Published
• View Publication
• BIB
A hole is an induced cycle of length at least 4, and an odd hole is a hole of odd length. It is NP-hard to color the vertices of an odd hole-free graph. A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ with at least one edge admits a partition of $V(H)$ into sets $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. $G$ is short-holed if every hole in $G$ has length 4. A hammer is the graph obtained by identifying one vertex of a $K_3$ and one end vertex of a $P_3$.
In this paper, we prove that (i) (odd hole, hammer, $K_{2,3}$)-free graphs are perfectly divisible, (ii) $χ(G)\le 4ω(G)(ω(G)-1)$ if $G$ is short-holed and $(K_1+C_4)$-free, (iii) $χ(G)\le 2ω(G)-1$ if $G$ is short-holed and $(K_1\cup K_3)$-free, and (iv) $χ(G)\le 16ω(G)-24$ if $G$ is short-holed and $(K_1+(K_1\cup K_3))$-free.
A complex Hadamard matrix of order 94
In this paper we modify a fundamental block construction of Kharaghani and Seberry and show how to use certain circulant $\{-1,1\}$-matrices of odd order $p$ to construct a complex Hadamard matrix of order $2p$. In particular, for $p=47$ we use computer-aided methods to discover the necessary circulant matrices, and consequently give a construction of a complex Hadamard matrix of order $94$ for the first time.
On Some Bi-Cayley Graphs over Cyclic Groups of Order $p^2 q^2$ and Related Extensions
We investigate structural and combinatorial properties of Bi-Cayley graphs defined over cyclic groups of order $p^2q^2$, where $p$ and $q$ are distinct primes. We begin by describing their fundamental group-theoretic underpinnings. The main focus is on analyzing their connectivity, girth, clique number, chromatic number, diameter, and independence number. It is shown that these Bi-Cayley graphs are connected, biregular with explicitly determined degrees, and possess girth three. Furthermore, we prove that their diameter is equal to five. We further extend several results to Bi-Cayley graphs over arbitrary finite groups under suitable restrictions on the connecting set, with particular emphasis on the case where the connecting set consists of all its involutions. These results clarify structural similarities and differences between Cayley graphs and their Bi-Cayley generalizations.
Magic labelling enumeration on pseudo-line graphs and pseudo-cycle graphs
Stanley's theorem establishes that for any finite graph $G$, the number $h_G(s)$ of magic labelings with magic sum $s$ can be expressed as a sum of two polynomials in $s$. However, determining the precise form of $h_G(s)$ is generally challenging. This paper aims to compute $h_G(s)$ and its generating function for pseudo-line graphs and pseudo-cycle graphs, thereby extending the earlier work of Bóna et al.\cite{Bona-1,Bona}.
Infinite circle patterns in the Weil-Petersson class
Analogous to Weil-Petersson quasicircles, we investigate infinite circle patterns in the Euclidean plane parameterized by discrete harmonic functions of finite Dirichlet energy. The space of such circle patterns forms an infinite-dimensional Hilbert manifold homeomorphic to the Sobolev space of half-differentiable functions on the unit circle. The Hilbert manifold is equipped with a Riemannian metric induced from the Hessian of a hyperbolic volume functional. We relate this Riemannian metric to the symplectic form on the Sobolev space of half-differentiable functions via an analogue of the Hilbert transform. Every such circle pattern induces a quasiconformal homeomorphism from the unit disk to itself, whose boundary extension belongs to the Weil-Petersson class of the universal Teichmüller space. Our results shed light on Jordan domains packed by infinite circle patterns of hyperbolic type, a subject highlighted by He and Schramm.
Cocliques in the Kneser graph on $(n-1,n)$-flags of PG$(2n,q)$
In the finite projective space PG$(2n,q)$ we consider flags of type $(n-1,n)$, that is, pairs $(A,B)$ consisting of an $(n-1)$-space $A$ and an $n$-space $B$ that are incident. Two such flags $(A_1,B_1)$ and $(A_2,B_2)$ are opposite if $A_1\cap B_2=A_2\cap B_1=\emptyset$. Let $Γ_{2n}$ be the graph whose vertices are the flags of type $(n-1,n)$ of PG$(2n,q)$, with two vertices being adjacent if the corresponding flags are opposite. Using the Erdős-Matching theorem for vector spaces shown by Ihringer, we determine, for $q$ large enough, the largest cocliques of $Γ_{2n}$ and obtain a stability result. This EKR-type theorem proves a conjecture of D'haeseleer, Metsch and Werner.
Rainbow connectivity Maker-Breaker game
We study biased Maker-Breaker games on a graph system $\{G_1,\ldots,G_s\}$, in which Maker's goal is to claim certain rainbow structures, i.e., specified subgraphs consisting of at most one edge from each graph $G_i$. We consider the rainbow-connectivity game, in which Maker wants to claim a rainbow path between every pair of vertices.
We analyse this game in detail, essentially determining the threshold bias when played on the system of complete graphs, and observing that whether the random graph intuition holds depends on the size of $s$. The key ingredient of our result is the analysis of a Maker's strategy that combines several randomized strategies with an appropriately designed balancing game. As a byproduct, we find the order of the threshold bias for the Maker-Breaker diameter game, and disprove a conjecture by Balogh, Martin and Pluhár.
Another natural and general way to analyse Maker-Breaker games that are played on a colored board is to require Maker to occupy a rainbow winning set of a given positional game. In the case of the connectivity game, Maker's goal is to claim a rainbow spanning tree. For this game played on the system of complete graphs, we establish matching upper and lower bounds on the threshold bias, up to constant factors.
Generalized Edmonds-Sterboul-Deming configurations. Part 1: Sterboul-Deming graphs
We introduce two new types of graph configurations, the Jflower and the Jposy, which generalize the classical flower and posy configurations of Edmonds, Sterboul, and Deming in the context of maximum matchings. These generalized configurations allow greater flexibility in characterizing non-Konig-Egerváry graphs and provide new tools for studying matching-theoretic properties.
Our main result shows that the sets of vertices covered by classical configurations (flowers and posies), restricted configurations (Tposies), and generalized configurations (Jflowers and Jposies) coincide. This equivalence yields a unified characterization of what we call Sterboul-Deming graphs, graphs in which every vertex belongs to some configuration relative to an appropriate maximum matching.
Sterboul-Deming Graphs: Characterizations
A graph is said to be a Sterboul--Deming graph if $KE(G)=\emptyset$, that is, if every vertex of $G$ belongs to a posy or a flower (structures introduced by Sterboul, Deming, and Edmonds). These graphs can be regarded as the structural counterparts of König--Egerváry graphs. In this paper, we present several characterizations of Sterboul--Deming graphs. We first study the case of graphs with a perfect matching and with a unique perfect matching, providing a constructive algorithm to obtain the decomposition $(SD(G), KE(G))$. Then, we extend the analysis to the general case through the Gallai--Edmonds decomposition. In addition, we show that the class of Sterboul--Deming graphs is remarkably broad: it contains all graphs having a $\{C_n : n \textnormal{ odd}\}$-factor, providing a simple structural criterion for identifying such graphs. These results establish new connections between classical decomposition theorems and the internal structure of non--König--Egerváry graphs.
On R-disjoint graphs: a generalization of almost bipartite non-König-Egerváry graphs
An almost bipartite graph is a graph with a unique odd cycle. Levit and Mandrescu showed that in every non-König--Egerváry almost bipartite graph the equalities $\textnormal{ker}(G)=\textnormal{core}(G)$, $\textnormal{corona}(G)\cup N(\textnormal{core}(G)) = V(G)$ and $\left|\textnormal{corona}(G)\right|+\left|\textnormal{core}(G)\right|=2α(G)+1$ hold. In this work, we present a generalization of this theory by introducing the family of $R$-disjoint graphs, which contains all non-König--Egerváry almost bipartite graphs, allowing the presence of multiple odd cycles under connectivity constraints based on the reach sets $R(C)$. We prove that $R$-disjoint graphs preserve the fundamental properties of almost bipartite graphs: $\textnormal{ker}(G)=\textnormal{core}(G)$ and $\textnormal{corona}(G)\cup N(\textnormal{core}(G))=V(G)$. Moreover, we establish the formula $\left|\textnormal{corona}(G)\right|+\left|\textnormal{core}(G)\right|=2α(G)+k$, where $k$ is the number of disjoint odd cycles in $G$, which refines the previously known particular case when $k=1$. $R$-disjoint graphs naturally induce a canonical decomposition; we obtain structural properties of this decomposition and, as a consequence, verify a recent conjecture of Levit and Mandrescu.
The Hofstadter consecutive-sum sequence omits infinitely many positive integers
Let $(a_n)_{n\ge 1}$ be the greedy self-generating sequence defined by $a_1=1$, $a_2=2$, and, for $k\ge 3$, by taking $a_k$ to be the least integer greater than $a_{k-1}$ that can be written as a sum of at least two consecutive earlier terms. Hofstadter asked about the asymptotic behavior of this sequence. In this paper we prove that $$ n+ω(1)\le a_n \ll n^{4175/2506+o(1)}. $$ In particular, $(a_n)_{n\ge1}$ omits infinitely many positive integers, thereby settling a conjecture from the OEIS entry A005243.
Graded Ehrhart Theory of Unimodular Zonotopes
Graded Ehrhart theory is a new $q$-analogue of Ehrhart theory based on the orbit harmonics method. We study the graded Ehrhart theory of unimodular zonotopes from a matroid-theoretic perspective. Generalizing a result of Stanley (1991), we prove that the graded lattice point count of a unimodular zonotope is a $q$-evaluation of its Tutte polynomial. We conclude that the graded Ehrhart series of a unimodular zonotope is rational and obeys graded Ehrhart--Macdonald reciprocity. In an algebraic direction, we prove that the harmonic algebra of a unimodular zonotope is a coordinate ring of its associated arrangement Schubert variety. Using the geometry of arrangement Schubert varieties, we prove that the harmonic algebra of a unimodular zonotope is finitely generated and Cohen--Macaulay. We also give an explicit presentation of the harmonic algebra of a unimodular zonotope in terms of generators and relations. We conclude by classifying which unimodular zonotopes have Gorenstein harmonic algebras. Our work answers, in the special case of unimodular zonotopes, two conjectures of Reiner and Rhoades (2024).
The Exact Erdős-Ko-Rado Theorem for 3-wise $t$-intersecting uniform families
Let $\mathcal{F}$ be a family of $k$-element subsets of $\{1,2,\ldots,n\}$. For $t\geq 1$, we say that $\mathcal{F}$ is {\it 3-wise $t$-intersecting} if $|F_1\cap F_2\cap F_3|\geq t$ for all $F_1,F_2,F_3\in \mathcal{F}$. In the present paper, we prove that if $\mathcal{F}$ is 3-wise $t$-intersecting and $n\geq \frac{\sqrt{4t+9}-1}{2}k$, $k>t\geq 46$, then $|\mathcal{F}|\leq \binom{n-t}{k-t}$. The restriction on $n$ is asymptotically best possible. The corresponding result for non-trivial 3-wise $t$-intersecting families is obtained as well for $n\geq \frac{\sqrt{4t+9}-1}{2}k$ and $k>t\geq 55$.
On Representing Matroids via Modular Independence
We study a matrix-based notion of matroid representation over local commutative rings obtained by replacing linear independence with modular independence. This construction always defines an independence system, though not necessarily a matroid. Under a mild nilpotent hypothesis, we show that chain rings are exactly the local rings for which the minimal number of generators is monotone on finitely generated submodules, and over commutative chain rings we obtain a criterion for the associated independence system to be a matroid. For codes over finite commutative chain rings, we identify puncturing with deletion, show that shortening agrees with contraction under a contractibility hypothesis, and establish duality for free codes. We further derive bounds for simple and uniform matroids, prove that the uniform matroid $U_{2, n}$ is representable if and only if the size $n$ is at most the sum of the cardinalities of the local ring and its unique maximal ideal, and show that all excluded minors for $\mathbb{F}_{4}$-representability are representable over $\mathbb{Z}/4\mathbb{Z}$. The examples also include ring representations of matroids not representable over any field, such as the Vámos matroid over $\mathbb{Z}/8\mathbb{Z}$.
A generalization of Kadell's orthogonality ex-conjecture
In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the Zeilberger--Bressoud $q$-Dyson constant term identity. The non-zero part of Kadell's conjecture is a constant term identity indexed by a weak composition $v$. This conjecture was first proved by Károlyi, Lascoux and Warnaar in 2015. They further formulated a closed-form expression for the above constant term when all parts of the composition $v$ are distinct. In 2021, Zhou obtained a recursion for this constant term for an arbitrary composition $v$. In this paper, by categorizing the variables into two parts, we generalize Zhou's result.
Patrolling cop vs omniscient robber
We study a variant of the classical Cops and Robbers game with one cop and one robber, in which the cop follows a fixed walk on the graph, a patrol, that is chosen before the game begins, while the robber is omniscient, he knows the entire patrol in advance. A capture occurs when the robber comes within a given radius of capture of the cop. This model arises naturally at the intersection of recent work on limited-visibility games and offline versions of pursuit-evasion problems.
By $\tildeρ{(G)}$ we denote the minimum radius of capture that the cop must have to always capture the robber on $G$ in this setting, under optimal play, where $G$ is a connected graph. We initiate a systematic study of this parameter for several graph classes. We determine the exact value of $\tildeρ{(G)}$ for trees, establish upper and lower bounds for grids, and analyze the parameter for various families of chordal graphs, including interval graphs and caterpillars. Along the way, we develop general tools and structural results that may be of independent interest for the study of pursuit-evasion games with predetermined patrols and limited information.
Asymptotic normality for general subtree counts in conditioned Galton--Watson trees
Let $\mathcal{T}$ denote a Galton--Watson tree with offspring distribution $ξ$ satisfying $\mathbb{E}(ξ) = 1$, and let $\mathcal{T}_n$ be the Galton--Watson tree conditioned to have exactly $n$ nodes. We show that, under a mild moment condition on $ξ$, the number of occurrences of a fixed rooted plane tree $\mathbf{t}$ as a general subtree in $\mathcal{T}_n$ is asymptotically normal as $n \to \infty$, with both mean and variance linear in $n$. In addition, we prove that this limiting distribution is nondegenerate except for some special cases where the variance remains bounded. These results confirm a conjecture of Janson in recent work on the same topic. Finally, we present examples showing that if the proposed moment condition on $ξ$ is violated, the conclusion may fail.
A new proof of Delahan's induced-universality result
We give a short and self-contained proof of Delahan's theorem stating that every simple graph on $n$ vertices occurs as an induced subgraph of a Steinhaus graph on $\frac{n(n-1)}{2}+1$ vertices. This new proof is obtained by considering the notion of generating index sets for Steinhaus triangles.
A note on hyperseparating set systems
We say that a set system $\mathcal{F}$ is $k$-completely hyperseparating if for any vertex $v$, there are at most $k$ sets in $\mathcal{F}$ with intersection $\{v\}$. We determine the minimum size of such set systems on an $n$-element underlying set, generalizing a very recent result for $k=2$ by Batíková, Kepka, and Nemĕc.
We say that $\mathcal{F}$ is $k$-hyperseparating if for any vertex $v$, there are at most $k$ sets in $\mathcal{F}$ such that no other vertex is contained by exactly the same sets out of these $k$ sets. We determine the minimum size of $2$-hyperseparating set systems on an $n$-element underlying set.
Proportion of chiral maps with automorphism group $\mathcal{S}_n$ and $\mathcal{A}_n$
Orientably-regular maps are highly symmetric embeddings of graphs in oriented surfaces. Among them, chiral maps are those which fail to be isomorphic to their mirror images.
We prove that, as $n\to\infty$, chirality is generic for orientably-regular maps with automorphism groups $S_n$ or $A_n$: the proportion of chiral maps tends to $1$ in both families. We also obtain the corresponding asymptotic result for orientably-regular hypermaps with automorphism groups $S_n$ or $A_n$.
A key ingredient is a sharp asymptotic generation statement: if one chooses an involution of $S_n$ uniformly at random and then chooses an independent uniformly random element of $S_n$, the probability that these two elements generate $S_n$ and $A_n$ tends to $\frac{3}{4}$ and $\frac{1}{4}$ as $n\to\infty$, respectively.