arXiv++ Combinatorics

Let $A$ be an $n$-element set of positive real numbers, and write $\operatorname{FS}(A)$ for its subset sums, including the empty sum. Write $T_n=\binom{n+1}{2}$. For $0\le M\le n-4$, Carpenter, Defant and Kravitz classify all $A$ satisfying $\lvert\operatorname{FS}(A)\rvert\le T_n+1+M$. We determine the next two cases for every $n\ge5$. At $M=n-3$, the sets are precisely the positive dilates of primitive positive-integer sets $B$ with $\sum B\le T_n+n-3$, together with the dilates of $\{1,3,4,\ldots,n+1\}$. At $M=n-2$, the integer total bound increases by one, and the exceptional templates are $\{1,3,4,\ldots,n+1\}$, $\{2,3,\ldots,n+1\}$, and $\{1,3,4,\ldots,n,n+2\}$. We also determine all equality cases and show that $n=5$ is the sharp threshold, including for commensurability at $M=n-2$. The proof records the missing subset sums at the two endpoints and derives a transition formula that extends the exceptional configurations to arbitrary $n$.

We study a restarting Josephus process in which the participants retain their linear order and counting restarts at the current leftmost survivor after every deletion. For step size $m$, put $q=m-1$, and let $F_n(q)$ denote the initial position of the survivor. Reverse insertion gives $F_1(q)=1$ and $F_k(q)=F_{k-1}(q)+\mathbf{1}_{\{q\bmod k<F_{k-1}(q)\}}$. Writing $L_n=\operatorname{lcm}(1,\ldots,n)$, we establish three results for the compatible residue system in this recurrence. First, the full period group of $F_n$ is exactly $L_n\mathbb{Z}$. Second, $F_n$ is surjective onto $\{1,\ldots,n\}$. The proof is constructive and unconditional but computer-assisted: a Chinese-remainder construction and explicit prime estimates reduce it to a finite exact certificate. Third, if $\widetilde Q_n$ is uniform modulo $L_n$, then $(F_n(\widetilde Q_n)-1)/(n-1)$ converges to a symmetric, nondegenerate law on $[0,1]$. A common Haar coupling yields almost-sure and $L^r$ convergence for every $1\le r<\infty$, together with an $O(n^{-1/4})$ bound in $W_1$. Logarithmic boundary-mass estimates rule out every symmetric beta law. We also formulate endpoint dominance as an open problem, prove strict dominance over the two nearest internal positions for every $n\ge4$, exclude prime levels as minimal counterexamples, and verify the claim exactly through $n=49$.

We disprove Hoàng's conjecture that a minimally nonperfectly divisible graph cannot contain a bisimplicial vertex. Our counterexample has 93 vertices, 320 edges, clique number three, and a bisimplicial vertex of degree four. A perfect division of a graph $H$ is a partition $V(H)=A\mathbin{\dot\cup}B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$; a graph is perfectly divisible when each of its induced subgraphs with at least one edge has such a division. The constructed graph has no perfect division, whereas every proper induced subgraph is perfectly divisible. Its construction uses a forcing mechanism based on rooted graphs: six 15-vertex rooted graphs force their roots into $A$, and a nine-vertex auxiliary graph then forces a triangle into $B$. We isolate this mechanism in a rooted composition lemma, which proves symbolically that every proper induced subgraph is perfectly divisible. All finite assertions concerning the rooted and auxiliary graphs are verified by exact exhaustive computation, with an independent implementation providing a cross-check. The same construction gives a negative answer to a prescribed-vertex problem of Hu, Xu and Zhuang.

Let $G$ be a $(P_2\cup P_3)$-free graph, and let $k=ω(G)\geq 1$. We prove that \[ χ(G)\leq \binom{k+2}{3}-\binom{k-1}{2} =\frac{k^3+11k-6}{6}. \] The previously best-known general bound for this unrestricted graph class, due to Bharathi and Choudum, was $χ(G)\leq\binom{k+2}{3}$. To the best of our knowledge, this is the first improvement of their bound that applies to all $(P_2\cup P_3)$-free graphs. For $k\geq 3$, our result improves their estimate by exactly $\binom{k-1}{2}$ colours, replacing $(k^3+3k^2+2k)/6$ by $(k^3+11k-6)/6$, and thereby eliminates the quadratic term without imposing any additional forbidden induced subgraph.

The HVN is a graph formed by removing two edges incident to the same vertex from the complete graph $K_5$. In this paper, we prove that every ($P_2\cup P_4$, HVN)-free graph $G$ satisfies $χ(G)\leq\lceil\frac{4}{3}ω(G)\rceil$ when $ω(G)\ge4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. Furthermore, this bound is optimal for every $ω(G)\ge4$. Constructions demonstrating the optimality of the bound are provided. Our work unifies several previously known results on $χ$-binding functions for several graph classes.

A graph $G$ has a perfect division if its vertex set can be partitioned into two sets $A$, $B$ such that $G[A]$ is perfect and $ω(G[B]) < ω(G)$. We call $G$ perfectly divisible if every induced subgraph of $G$ admits a perfect division. We prove that every ($P_2 \cup P_4$, bull)-free graph $G$ with $ω(G) \geq 3$ has a perfect division if $G$ contains no homogeneous set. The clique-number condition is tight: a counterexample exists for $ω(G) = 2$. Additionally, we present a short proof of the perfect divisibility of ($P_5$, bull)-free graphs, originally established by Chudnovsky and Sivaraman [J. Graph Theory 90 (2019), 54-60.].