arXiv++ Combinatorics

The bipartite Turán number of a graph $H$, denoted $\text{ex}(m, n; H)$, is the maximum number of edges in any $H$-free bipartite graph $G = (A, B; E)$ with parts of size $|A| = m$ and $|B| = n$. We study this problem for two families. For a tree $T = T(r, s)$ with parts $R$ and $S$ of sizes $|R| = r \le s = |S|$, we prove \[ (r - 1) n \;\le\; \text{ex}(m, n; T(r, s)) \;\le\; (r - 1) n + O(m) \] for $n$ sufficiently large compared to $m$, $r$, and $s$, determining the leading-order term exactly (with the star case $r=1$ solved with an exact formula). For a star forest $F = \bigcup_{i=1}^k S_{d_i}$ with $d_1 \ge \cdots \ge d_k$, we determine the exact value $\text{ex}(m, n; F) = (k - 1) n + (d_k - 1)(m - k + 1)$ for $n$ sufficiently large, and characterize the unique extremal graph.

We develop a unified framework for studying the integers missing between consecutive terms of an increasing integer sequence, extending Barry's arithmetic gap-sum to geometric and harmonic analogues via the theory of quasi-arithmetic means. All three gap-sums admit a common interpretation: each equals the gap size multiplied by the appropriate mean of the missing integers. Building on this, we prove a general sparse summation theorem expressing the sum of a strictly monotonic function over a sparse integer sequence as the full range sum corrected by the gap-sums of the missing portions. Specializing on the three Pythagorean means recovers a classical formula of al-Kāshī from the fifteenth century in the arithmetic case, and yields explicit formulas in the geometric and harmonic cases. As a concrete application of the geometric case, we derive a product identity involving the Fuss--Catalan numbers. Applying the harmonic case to the Fibonacci and Lucas sequences, we establish that the harmonic gap-sum converges to $\ln(α)$ exponentially, where $α$ is the golden ratio, and derive explicit two-term asymptotic expansions for the tails of the reciprocal Fibonacci and Lucas series with closed-form coefficients, and establish the asymptotic formula $H_{u_n} \sim n\ln(α)$ for both $u_n = F_n$ and $u_n = L_n$, with explicit $O(1)$ error terms that differ due to their distinct initial conditions. As a further consequence, by comparing the gap-sum expansions with the classical Hardy--Wright expansion of harmonic numbers, we derive exact series identities expressing Euler's constant $γ$ in terms of harmonic numbers at Fibonacci and Lucas indices, and obtain a new identity relating the reciprocal Fibonacci constant $ψ$ and the reciprocal Lucas constant $ψ_L$.

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical problem involves arranging individuals on a circle and eliminating every k-th person until a desired group remains. We analyze both removal and non-removal approaches to circular partitioning, establishing conditions for balanced partitions and providing explicit algorithms. We introduce generalized run-length encodings over partitioned alphabets to capture alternating letter patterns, computing their cardinalities using Stirling numbers of the second kind. Connecting these combinatorial structures to formal language theory, we formulate an existence problem: given a context-free grammar over a dictionary and block-pattern constraints on letters, does a valid sentence exist? We prove decidability in polynomial time by showing block languages are regular and applying standard parsing techniques. Complete algorithms with complexity analysis are provided and validated through implementation on both historical and synthetic instances.

We extend the study of link-irregular graphs to directed graphs (digraphs), where a digraph is link-irregular if no two vertices have isomorphic directed links. We establish that link-irregular digraphs exist on $n$ vertices if and only if $n \geq 5$, and prove that their underlying graphs must contain 3-cycles. We conjecture that link-irregular tournaments exist if and only if $n \geq 6$, providing explicit constructions for $n \leq 8$ and computational verification for $n \leq 100$. We derive lower bounds on the minimum degree and outdegree required for link-irregularity, establish that almost all link-irregular digraphs are nonplanar, and prove that any link-irregular orientable graph admits a link-irregular labeling. Additionally, we construct explicit examples of link-irregular digraphs with constant outdegree and regular tournaments.

We introduce the concept of link-irregular labelings for graphs, extending the notion of link-irregular graphs through edge labeling with positive integers. A labeling is link-irregular if every vertex has a uniquely labeled subgraph induced by its neighbors. We establish necessary and sufficient conditions for the existence of such labelings and define the link-irregular labeling number $η(G)$ as the minimum number of distinct labels required. Our main results include necessary and sufficient conditions for the existence of link-irregular labelings. We show that certain families of graphs, such as bipartite graphs, trees, cycles, hypercubes, and complete multipartite graphs, do not admit link-irregular labelings, while complete graphs and wheel graphs do. Specifically, we prove that $η(K_n) = 2$ for $n \geq 6$ and $η(K_n) = 3$ for $n \in \{3,4,5\}$. For wheel graphs $W_n$, we establish that $η(W_n) \approx \sqrt{2n}$ asymptotically. Finally, we prove that for every positive integer $n$, there exists a graph with a link-irregular labeling number exactly $n$, and provide several results on graph operations that preserve labeling numbers.

A graph $G$ is a link-irregular graph if every two distinct vertices of $G$ have non-isomorphic links. The link of a vertex $v$ in $G$ is the subgraph induced by the neighbors of $v$ in $G$. Ali, Chartrand and Zhang [Discussiones Mathematicae. Graph Theory, 45(1) (2025) p.95] conjectured that there exists no regular link-irregular graph. In this paper, we show that the existence of an $r$-regular link irregular graph is very likely for large enough $r$. In particular, we provide a 7-regular link irregular graph on 12 vertices, which serves as a counterexample to the conjecture. Additionally, we prove that no bipartite link-irregular graphs exist, and there are no regular link-irregular graphs on $n$-vertices for $n \leq 9$. Also, we determine upper and lower bounds for the number of edges of link-irregular graphs. Furthermore, we show the minimum number of edges in a link-irregular graph on the $n$ vertices is $Ω(n\sqrt{\log n})$. Finally, we prove that all but finitely many link-irregular graphs are non-planar, and there is no regular link-irregular planar graphs.

Fix a graph $F$. We say that a graph is {\it $F$-free} if it does not contain $F$ as a subgraph. The {\it Turán number} of $F$, denoted $\mathrm{ex}(n,F)$, is the maximum number of edges possible in an $n$-vertex $F$-free graph. The study of Turán numbers is a central problem in graph theory. The goal of this paper is to generalize a theorem of Lidický, Liu and Palmer [{\it Electron.\ J.\ of Combin.}\ {\bf 20} (2016)] that determines $\mathrm{ex}(n,F)$ for $F$ a forest of stars. In particular, we consider generalizations of the problem to three different well-studied hypergraph settings and in each case we prove an asymptotic result for all reasonable parameters defining our "star forests".

An $(r-1,1)$-coloring of an $r$-regular graph $G$ is an edge coloring such that each vertex is incident to $r-1$ edges of one color and $1$ edge of a different color. In this paper, we completely characterize all $4$-regular pseudographs (graphs that may contain parallel edges and loops) which do not have a $(3,1)$-coloring. An $\{r-1,1\}$-factor of an $r$-regular graph is a spanning subgraph in which each vertex has degree either $r-1$ or $1$. We prove various conditions that that must hold for any vertex-minimal $5$-regular pseudographs without $(4,1)$-colorings or without $\{4,1\}$-factors. Finally, for each $r\geq 6$ we construct graphs that are not $(r-1,1)$-colorable and, more generally, are not $(r-t,t)$-colorable for small $t$.