arXiv++ Combinatorics

The Turán number of a graph $H$, denoted by $ex(n, H)$, is the maximum number of edges in any graph on $n$ vertices containing no $H$ as a subgraph. Let $P_k$ denote the path on $k$ vertices, $S_k$ denote the star on $k+1$ vertices and $k_1P_{2l}\cup k_2S_{2l-1}$ denote the path-star forest with disjoint union of $k_1$ copies of $P_{2l}s$ and $k_2$ copies of $S_{2l-1}s$. In 2019, Lan et al. determined the Turán numbers of $kS_l$ and $k_1P_4\cup k_2S_3$. In 2022, Zhang et al. determined the Turán numbers of $k_1P_6\cup k_2S_5$ and raised a conjecture of the Turán numbers of $k_1P_{2l}\cup k_2S_{2l-1}$, where $k_1\geqslant 1$ and $l\geqslant 2$. In this paper, we study the hypothesis and determine the Turán numbers of $k_1P_{2l}\cup k_2S_{2l-1}$ when $n$ is sufficiently large.

An \emph{$(n,k,t)$-graph} is a graph on $n$ vertices in which every set of $k$ vertices contains a clique on $t$ vertices. Turán's Theorem, rephrased in terms of graph complements, states that the unique minimum $(n,k,2)$-graph is an equitable disjoint union of cliques. We prove that minimum $(n,k,t)$-graphs are always disjoint unions of cliques for any $t$ (despite \allowbreak nonuniqueness of extremal examples), thereby generalizing Turán's Theorem and confirming two conjectures of Hoffman et al.

It is shown that all $τ$-functions of BKP hierarchy can be written as Pfaffians of skew-symmetric matrices. $τ$-functions of BKP hierarchy are parameterized by points in the universal orthogonal Grassmannian manifold (UOGM). The UOGM is a disjoint union of Schubert cells, we classify and give explicit parameterization for points in each Schubert cell by constructing a frame for UOGM in the sense of Sato. $τ$-functions are then expressed in terms of these frames and Schur-Q functions. For concreteness we give a comprehensive study for the $τ$-functions of $B$-Toda which can be viewed as a finite version of the BKP hierarchy. Along the way we also give a constructive description for complex pure spinors du E. Cartan. As an application of our construction, we reprove a theorem due to A. Alexandrov which states that KdV solves BKP up to rescaling of the time parameters by $2$. We prove this by showing that the KdV hierarchy can be viewed as $4$-reduction of the BKP hierarchy. This interpretation gives complete characterization for the KdV orbits inside the BKP hierarchy. Other than a few facts from representation theory, the main tools we use to show the above results, however, are surprisingly simple linear algebra.

A graph $G$ is said to be an $(s, k)$-polar graph if its vertex set admits a partition $(A, B)$ such that $A$ and $B$ induce, respectively, a complete $s$-partite graph and the disjoint union of at most $k$ complete graphs. Polar graphs and monopolar graphs are defined as $(\infty, \infty)$- and $(1, \infty)$-polar graphs, respectively, and unipolar graphs are those graphs with a polar partition $(A, B)$ such that $A$ is a clique. The problems of deciding whether an arbitrary graph is a polar graph or a monopolar graph are known to be NP-complete. In contrast, deciding whether a graph is a unipolar graph can be done in polynomial time. In this work we prove that the three previous problems can be solved in linear time on the classes of $P_4$-sparse and $P_4$-extendible graphs, generalizing analogous results previously known for cographs. Additionally, we provide finite forbidden subgraph characterizations for $(2,2)$-polar graphs on $P_4$-sparse and $P_4$-extendible graphs, also generalizing analogous results recently obtained for the class of cographs.

The Lagrangian density of an $r$-uniform hypergraph $H$ is $r!$ multiplying the supremum of the Lagrangians of all $H$-free $r$-uniform hypergraphs. For an $r$-uniform graph $H$ with $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ with $t$ vertices is $λ$-perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. A theorem of Motzkin and Straus implies that all $2$-uniform graphs are $λ$-perfect. It is interesting to understand what kind of hypergraphs are $λ$-perfect. The property `$λ$-perfect' is monotone in the sense that an $r$-graph obtained by removing an edge from a $λ$-perfect $r$-graph (keep the same vertex set) is $λ$-perfect. It's interesting to understand the relation between the number of edges in a hypergraph and the `$λ$-perfect' property. We propose that the number of edges in a hypergraph no more than the number of edges in a linear hyperpath would guarantee the `$λ$-perfect' property. We show some partial result to support this conjecture. We also give some partial result to support the conjecture that the disjoint union of two $λ$-perfect $r$-uniform hypergraph is $λ$-perfect. We show that the disjoint union of a $λ$-perfect $3$-graph and $S_{2,t}=\{123,124,125,126,...,12(t+2)\}$ is perfect. This result implies the earlier result of Heftz and Keevash, Jiang, Peng and Wu, and several other earlier results.

A set $S$ of vertices of a graph $G$ is \emph{monophonic convex} if $S$ contains all the vertices belonging to any induced path connecting two vertices of $S$. The cardinality of a maximum proper monophonic convex set of $G$ is called the \emph{monophonic convexity number} of $G$. The \emph{monophonic interval} of a set $S$ of vertices of $G$ is the set $S$ together with every vertex belonging to any induced path connecting two vertices of $S$. The cardinality of a minimum set $S \subseteq V(G)$ whose monophonic interval is $V(G)$ is called the \emph{monophonic number} of $G$. The \emph{monophonic convex hull} of a set $S$ of vertices of $G$ is the smallest monophonic convex set containing $S$ in $G$. The cardinality of a minimum set $S \subseteq V(G)$ whose monophonic convex hull is $V(G)$ is called the \emph{monophonic hull number} of $G$. The \emph{complementary prism} $\GG$ of $G$ is obtained from the disjoint union of $G$ and its complement $\overline{G}$ by adding the edges of a perfect matching between them. In this work, we determine the monophonic convexity number, the monophonic number, and the monophonic hull number of the complementary prisms of all graphs.

An odd prime labeling is a variation of a prime labeling in which the vertices of a graph of order~$n$ are labeled with the distinct odd integers $1$ to $2n-1$ so that the labels of adjacent vertices are relatively prime. This paper investigates many different classes of graphs including disjoint unions of cycles, stacked prisms, and particular types of caterpillars, by using various methods to construct odd prime labelings. We also demonstrate progress toward proving a conjecture that all prime graphs have an odd prime labeling.

A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.

For a multi-set $λ=\{k_1,k_2, \ldots, k_q\}$ of positive integers, let $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into the disjoint union $C_1 \cup C_2 \cup \ldots \cup C_q$ of $q$ sets so that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is $λ$-choosable if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. The concept of $λ$-choosability puts $k$-colourability and $k$-choosability in the same framework: If $λ= \{k\}$, then $λ$-choosability is equivalent to $k$-choosability; if $λ$ consists of $k $ copies of $1$, then $λ$-choosability is equivalent to $k $-colourability. If $G$ is $λ$-choosable, then $G$ is $k_λ$-colourable. On the other hand, there are $k_λ$-colourable graphs that are not $λ$-choosable, provided that $λ$ contains an integer larger than $1$. Let $φ(λ)$ be the minimum number of vertices in a $k_λ$-colourable non-$λ$-choosable graph. This paper determines the value of $φ(λ)$ for all $λ$.

The zero-error capacity of a classical channel is a parameter of its confusability graph, and is equal to the minimum of the values of graph parameters that are additive under the disjoint union, multiplicative under the strong product, monotone under homomorphisms between the complements, and normalized. We show that any such function either has uncountably many extensions to noncommutative graphs with similar properties, or no such extensions at all. More precisely, we find that every extension has an exponent that characterizes its values on the confusability graphs of identity quantum channels, and the set of admissible exponents is either an unbounded subinterval of $[1,\infty)$ or empty. In particular, the set of admissible exponents for the Lovász number, the projective rank, and the fractional Haemers bound over the complex numbers are maximal, while the fractional clique cover number does not have any extensions.

For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollobás and Thomason and independently Komlós and Szemerédi, asserts that the average degree of $G$ being $d$ ensures a $K_{Ω(\sqrt{d})}$-subdivision in $G$. Although this square-root bound is best possible, various results showed that much larger clique subdivisions can be found in a graph for many natural classes. We investigate the connection between crux, a notion capturing the essential order of a graph, and the existence of large clique subdivisions. This reveals the unifying cause underpinning all those improvements for various classes of graphs studied. Roughly speaking, when embedding subdivisions, natural space constraints arise; and such space constraints can be measured via crux. Our main result gives an asymptotically optimal bound on the size of a largest clique subdivision in a generic graph $G$, which is determined by both its average degree and its crux size. As corollaries, we obtain (1) a characterisation of extremal graphs for which the square-root bound above is tight: they are essentially disjoint unions of graphs having crux size linear in $d$; (2) a unifying approach to find a clique subdivision of almost optimal size in graphs which do not contain a fixed bipartite graph as a subgraph; (3) and that the clique subdivision size in random graphs $G(n,p)$ witnesses a dichotomy: when $p = ω(n^{-1/2})$, the barrier is the space, while when $p=o( n^{-1/2})$, the bottleneck is the density.

We study a recently introduced two-person combinatorial game, the $(a,b)$-monochromatic clique transversal game which is played by Alice and Bob on a graph $G$. As we observe, this game is equivalent to the $(b,a)$-biased Maker-Breaker game played on the clique-hypergraph of $G$. Our main results concern the threshold bias $a_1(G)$ that is the smallest integer $a$ such that Alice can win in the $(a,1)$-monochromatic clique transversal game on $G$ if she is the first to play. Among other results, we determine the possible values of $a_1(G)$ for the disjoint union of graphs, prove a formula for $a_1(G)$ if $G$ is triangle-free, and obtain the exact values of $a_1(C_n \,\square\, C_m)$, $a_1(C_n \,\square\, P_m)$, and $a_1(P_n \,\square\, P_m)$ for all possible pairs $(n,m)$.

We offer a new, gradual approach to the largest girth problem for cubic graphs. It is easily observed that the largest possible girth of all $n$-vertex cubic graphs is attained by a $2$-connected graph $G=(V,E)$. By Petersen's graph theorem, $E$ is the disjoint union of a $2$-factor and a perfect matching $M$. We refer to the edges of $M$ as chords and classify the cycles in $G$ by their number of chords. We define $γ_k(n)$ to be the largest integer $g$ such that every cubic $n$-vertex graph with a given perfect matching $M$ has a cycle of length at most $g$ with at most $k$ chords. Here we determine this function up to small additive constant for $k= 1, 2$ and up to a small multiplicative constant for larger $k$.

The Maker-Breaker domination game is played on a graph $G$ by two players, called Dominator and Staller, who alternately choose a vertex that has not been played so far. Dominator wins the game if his moves form a dominating set. Staller wins if she plays all vertices from a closed neighborhood of a vertex $v \in V(G)$. Dominator's fast winning strategies were studied earlier. In this work, we concentrate on the cases when Staller has a winning strategy in the game. We introduce the invariant $γ'_{\rm SMB}(G)$ (resp., $γ_{\rm SMB}(G)$) which is the smallest integer $k$ such that, under any strategy of Dominator, Staller can win the game by playing at most $k$ vertices, if Staller (resp., Dominator) plays first on the graph $G$. We prove some basic properties of $γ_{\rm SMB}(G)$ and $γ'_{\rm SMB}(G)$ and study the parameters' changes under some operators as taking the disjoint union of graphs or deleting a cut vertex. We show that the inequality $δ(G)+1 \le γ'_{\rm SMB}(G) \le γ_{\rm SMB}(G)$ always holds and that for every three integers $r,s,t$ with $2\le r\le s\le t$, there exists a graph $G$ such that $δ(G)+1 = r$, $γ'_{\rm SMB}(G) = s$, and $γ_{\rm SMB}(G) = t$. We prove exact formulas for $γ'_{\rm SMB}(G)$ where $G$ is a path, or it is a tadpole graph which is obtained from the disjoint union of a cycle and a path by adding one edge between them.

We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism indistinguishability. Graphs $G$ and $H$ are *homomorphism indistinguishable* over a family $\mathcal{F}$ if $\hom(F,G) = \hom(F,H)$ for all $F \in \mathcal{F}$, where $\hom(F,G)$ is the number of homomorphisms from $F$ to $G$. A classical result of Lovász says that isomorphism is equivalent to homomorphism indistinguishability over the class of all graphs. In recent years it has been shown that many homomorphism indistinguishability relations have natural algebraic and/or logical formulations. Currently, much research in this area is focused on finding such reformulations. We aim to broaden the scope of current research on homomorphism indistinguishability by introducing new concepts/constructions and proposing several conjectures/questions. In particular, we conjecture that every family closed under disjoint unions and minors gives rise to a distinct homomorphism indistinguishability relation. We also show that if $\mathcal{F}$ is a family of graphs closed under disjoint unions, restrictions to connected components, and weak oddomorphisms, then $\mathcal{F}$ satisfies a certain maximality or closure property: homomorphism indistinguishability over $\mathcal{F}$ of $G$ and $H$ does not imply $\hom(F,G) = \hom(F,H)$ for any $F \notin \mathcal{F}$. This allows us to answer a question raised over ten years ago, showing that homomorphism indistinguishability over graphs of bounded degree is not equivalent to isomorphism.

For a graph $G$, let $χ(G)$ ($ω(G)$) denote its chromatic (clique) number. A $P_2+P_3$ is the graph obtained by taking the disjoint union of a two-vertex path $P_2$ and a three-vertex path $P_3$. A $\bar{P_2+P_3}$ is the complement graph of a $P_2+P_3$. In this paper, we study the class of ($P_2+P_3$, $\bar{P_2+P_3}$)-free graphs and show that every such graph $G$ with $ω(G)\geq 3$ satisfies $χ(G)\leq \max \{ω(G)+3, \lfloor\frac{3}{2} ω(G) \rfloor-1 \}$. Moreover, the bound is tight. Indeed, for any $k\in {\mathbb N}$ and $k\geq 3$, there is a ($P_2+P_3$, $\bar{P_2+P_3}$)-free graph $G$ such that $ω(G)=k$ and $χ(G)=\max\{k+3, \lfloor\frac{3}{2} k \rfloor-1 \}$.

We explore the operad of finite posets and its algebras. We use order polytopes to investigate the combinatorial properties of zeta values. By generalizing a family of zeta value identities, we demonstrate the applicability of this approach. In addition, we offer new proofs of some of Ramanujan's results on the properties of Eulerian numbers, interpreting his work as dealing with series inheriting the algebraic structure of disjoint unions of points. Finally, we establish a connection between our findings and the linear independence of zeta values.

We give a combinatorial description for the weak order on the hyperoctahedral group. This characterization is then used to analyze the order-theoretic properties of the shifted products of hyperoctahedral groups. It is shown that each shifted product is a disjoint union of some intervals, which can be convex embedded into a hyperoctahedral group. As an application, we investigate the monomial basis for the Hopf algebra $\mathfrak{H}Sym$ of signed permutations, related to the fundamental basis via Möbius inversion on the weak order on hyperoctahedral groups. It turns out that the image of a monomial basis element under the descent map from $\mathfrak{H}Sym$ to the algebra of type $B$ quasi-symmetric functions is either zero or a monomial quasi-symmetric function of type $B$.

For a given graph $R$, a graph $G$ is $R$-free if $G$ does not contain $R$ as an induced subgraph. It is known that every $2$-tough graph with at least three vertices has a $2$-factor. In graphs with restricted structures, it was shown that every $2K_2$-free $3/2$-tough graph with at least three vertices has a $2$-factor, and the toughness bound $3/2$ is best possible. In viewing $2K_2$, the disjoint union of two edges, as a linear forest, in this paper, for any linear forest $R$ on 5, 6, or 7 vertices, we find the sharp toughness bound $t$ such that every $t$-tough $R$-free graph on at least three vertices has a 2-factor.

Let $G$ be a graph with $m$ edges and let $f$ be a bijection from $E(G)$ to $\{1,2, \dots, m\}$. For any vertex $v$, denote by $φ_f(v)$ the sum of $f(e)$ over all edges $e$ incident to $v$. If $φ_f(v) \neq φ_f(u)$ holds for any two distinct vertices $u$ and $v$, then $f$ is called an {\it antimagic labeling} of $G$. We call $G$ {\it antimagic} if such a labeling exists. Hartsfield and Ringel in 1991 conjectured that all connected graphs except $P_2$ are antimagic. Denote the disjoint union of graphs $G$ and $H$ by $G \cup H$, and the disjoint union of $t$ copies of $G$ by $tG$. For an antimagic graph $G$ (connected or disconnected), we define the parameter $τ(G)$ to be the maximum integer such that $G \cup tP_3$ is antimagic for all $t \leq τ(G)$. Chang, Chen, Li, and Pan showed that for all antimagic graphs $G$, $τ(G)$ is finite [Graphs and Combinatorics 37 (2021), 1065--1182]. Further, Shang, Lin, Liaw [Util. Math. 97 (2015), 373--385] and Li [Master Thesis, National Chung Hsing University, Taiwan, 2019] found the exact value of $τ(G)$ for special families of graphs: star forests and balanced double stars respectively. They did this by finding explicit antimagic labelings of $G\cup tP_3$ and proving a tight upper bound on $τ(G)$ for these special families. In the present paper, we generalize their results by proving an upper bound on $τ(G)$ for all graphs. For star forests and balanced double stars, this general bound is equivalent to the bounds given in \cite{star forest} and \cite{double star} and tight. In addition, we prove that the general bound is also tight for every other graph we have studied, including an infinite family of jellyfish graphs, cycles $C_n$ where $3 \leq n \leq 9$, and the double triangle $2C_3$.