arXiv++ Combinatorics

The low-power error-correcting cooling (LPECC) codes and constant-power error-correcting cooling (CPECC) codes, introduced in [IEEE Trans. Inf. Theory, 64 (2018), 3062--3085; 66 (2020), 4804--4818], respectively, are two coding schemes designed to simultaneously control the peak temperature and average power consumption of on-chip buses while providing error-correction capability for transmitted information. This paper establishes new upper bounds for both $(n,1,w,w-2)$-CPECC codes and $(n,t,w,w-2)$-CPECC codes using graph-theoretic techniques, and constructs several new families of optimal CPECC codes using combinatorial configurations. Moreover, it completely resolves the conjecture concerning CPECC codes posed in [IEEE Trans. Inf. Theory, DOI: 10.1109/TIT.2026.3721101]. Finally, we derive a new upper bound for $(n,t,w,w-2)$-LPECC codes by probabilistic method, along with new optimal families, and establish the relationship between optimal $(n,t,w,w-2)$-LPECC codes and optimal $(n+1,t,w,w-2)$-CPECC codes.

Given integers $1\leq t\leq k$, a family of $k$-matchings in a complete $r$-partite $r$-uniform hypergraph is said to be $t$-intersecting if any two of its members share at least $t$ common edges. This concept unifies several well-studied classes of intersecting families, including classical intersecting families, intersecting families of permutations, partial permutations, and generalized permutations, as well as intersecting families of injections. In this paper we employ two approaches to determine the maximum size of $t$-intersecting families of $k$-matchings and to characterize the extremal families that attain this bound. Using a recent result of Keller, Lifshitz, Minzer, and Sheinfeld on $t$-intersecting families of permutations, we obtain Erdős-Ko-Rado-type theorems whose thresholds depend only on $t$. We also develop a $t$-cover-based approach that offers a complementary characterization of the extremal families.

Let $v$ be a positive odd integer. A $(v,k,λ)$-perfect difference family (PDF) is a collection $\mathcal{F}$ of $k$-subsets of $\{0,1,\ldots,v-1\}$ such that the multiset $\bigcup_{F\in \mathcal{F}}\{x-y : x,y\in F, x>y\}$ covers each element of $\left\{1,2,\ldots,(v-1)/2\right\}$ exactly $λ$ times. Perfect difference families are a special class of perfect systems of difference sets. They were introduced by Bermond, Kotzig, and Turgeon in the 1970s, following a problem suggested by Erdős. In this paper, we prove that a $(v,4,λ)$-PDF exists if and only if $λ(v-1) \equiv 0 \pmod{12}$, $v \geq 13$, and $(v,λ) \notin \{(25,1),(37,1)\}$. This result resolves a nearly 50-year-old conjecture posed by Bermond. Perfect difference families find applications in radio astronomy, optical orthogonal codes for optical code-division multiple access systems, geometric orthogonal codes for DNA origami, difference triangle sets, additive sequences of permutations, and graceful graph labelings. To establish our main result, we introduce a new concept termed a layered difference family. This concept provides a powerful and unified perspective that not only facilitates our proof of the main theorem but also simplifies recent existence proofs for various cyclic difference packings.

A $K_4$-decomposition of a graph is a partition of its edges into $K_4$s. A fractional $K_4$-decomposition is an assignment of a nonnegative weight to each $K_4$ in a graph such that the sum of the weights of the $K_4$s containing any given edge is one. Formulating a nonlinear programming and reducing the number of variables slowly, we prove that every graph on $n$ vertices with minimum degree at least $\frac{31}{33}n$ has a fractional $K_4$-decomposition. This improves a result of Montgomery that the same conclusion holds for graphs with minimum degree at least $\frac{399}{400}n$. Together with a result of Barber, Kühn, Lo, and Osthus, this result implies that for all $\varepsilon> 0$, every large enough $K_4$-divisible graph on $n$ vertices with minimum degree at least $(\frac{31}{33}+\varepsilon)n$ admits a $K_4$-decomposition.

A $(v,k,λ)$-BIBD $(X,\mathcal B)$ can be nested if there is a mapping $φ:\mathcal B\rightarrow X$ such that $(X,\{B\cup\{φ(B)\}\mid B\in\mathcal B\})$ is a $(v,k+1,λ+1)$-packing. A $(v,k,λ)$-BIBD has a (perfect) nesting if and only if its incidence graph has a harmonious (exact) coloring with $v$ colors. This paper shows that given any positive integers $k$ and $λ$, if $k\geq 2λ+2$, then for any sufficiently large $v$, every $(v,k,λ)$-BIBD can be nested into a $(v,k+1,λ+1)$-packing; and if $k=2λ+1$, then for any sufficiently large $v$ satisfying $v \equiv 1 \pmod {2k}$, there exists a $(v,k,λ)$-BIBD having a perfect nesting. Banff difference families (BDF), as a special kind of difference families (DF), can be used to generate nested designs. This paper shows that if $G$ is a finite abelian group with a large size whose number of $2$-order elements is no more than a given constant, and $k\geq 2λ+2$, then a $(G,k,λ)$-BDF can be obtained by taking any $(G,k,λ)$-DF and then replacing each of its base blocks by a suitable translation. This is a Novák-like theorem. Novák conjectured in 1974 that for any cyclic Steiner triple system of order $v$, it is always possible to choose one block from each block orbit so that the chosen blocks are pairwise disjoint. Novák's conjecture was generalized to any cyclic $(v,k,λ)$-BIBDs by Feng, Horsley and Wang in 2021, who conjectured that given any positive integers $k$ and $λ$ such that $k\geq λ+1$, there exists an integer $v_0$ such that, for any cyclic $(v,k,λ)$-BIBD with $v\geq v_0$, it is always possible to choose one block from each block orbit so that the chosen blocks are pairwise disjoint. This paper confirms this conjecture for every $k\geq λ+2$.

Given a subgroup $H$ of a group $(G,+)$, a $(G,H,k,1)$ difference family (DF) is a set $\mathcal F$ of $k$-subsets of $G$ such that $\{f-f':f,f'\in F, f\neq f',F\in \mathcal F\}=G\setminus H$. Let $g\mathbb Z_{gh}$ is the subgroup of order $h$ in $\mathbb Z_{gh}$ generated by $g$. A $(\mathbb Z_{gh},g\mathbb Z_{gh},k,1)$-DF is called cyclic and written as a $(gh,h,k,1)$-CDF. This paper shows that for $h\in\{2,3,6\}$, there exists a $(gh,h,4,1)$-CDF if and only if $gh\equiv h\pmod{12}$, $g\geq 4$ and $(g,h)\not\in\{(9,3),(5,6)\}$. As a corollary, it is shown that a 1-rotational S$(2,4,v)$ exists if and only if $v\equiv4\pmod{12}$ and $v\neq 28$. This solves the long-standing open problem on the existence of a 1-rotational S$(2,4,v)$. As another corollary, we establish the existence of an optimal $(v,4,1)$-optical orthogonal code with $\lfloor(v-1)/12\rfloor$ codewords for any positive integer $v\equiv 1,2,3,4,6\pmod{12}$ and $v\neq 25$. We also give applications of our results to cyclic group divisible designs with block size four and optimal cyclic $3$-ary constant-weight codes with weight four and minimum distance six.

The families $\mathcal F_1\subseteq \binom{[n]}{k_1},\mathcal F_2\subseteq \binom{[n]}{k_2},\dots,\mathcal F_r\subseteq \binom{[n]}{k_r}$ are said to be cross-intersecting if $|F_i\cap F_j|\geq 1$ for any $1\leq i<j\leq r$ and $F_i\in \mathcal F_i$, $F_j\in\mathcal F_j$. Cross-intersecting families $\mathcal F_1,\mathcal F_2,\dots,\mathcal F_r$ are said to be non-empty if $\mathcal F_i\neq\emptyset$ for any $1\leq i\leq r$. This paper shows that if $\mathcal F_1\subseteq\binom{[n]}{k_1},\mathcal F_2\subseteq\binom{[n]}{k_2},\dots,\mathcal F_r\subseteq\binom{[n]}{k_r}$ are non-empty cross-intersecting families with $k_1\geq k_2\geq\cdots\geq k_r$ and $n\geq k_1+k_2$, then $\sum_{i=1}^{r}|\mathcal F_i|\leq\max\{\binom{n}{k_1}-\binom{n-k_r}{k_1}+\sum_{i=2}^{r}\binom{n-k_r}{k_i-k_r},\ \sum_{i=1}^{r}\binom{n-1}{k_i-1}\}$. This solves a problem posed by Shi, Frankl and Qian recently. The extremal families attaining the upper bounds are also characterized.

For a positive integer $d\geq 2$, a family $\mathcal F\subseteq \binom{[n]}{k}$ is said to be d-wise intersecting if $|F_1\cap F_2\cap \dots\cap F_d|\geq 1$ for all $F_1, F_2, \dots ,F_d\in \mathcal F$. A d-wise intersecting family $\mathcal F\subseteq \binom{[n]}{k}$ is called maximal if $\mathcal F\cup\{A\}$ is not d-wise intersecting for any $A\in\binom{[n]}{k}\setminus\mathcal F$. We provide a refinement of O'Neill and Verstraëte's Theorem about the structure of the largest and the second largest maximal non-trivial d-wise intersecting k-uniform families. We also determine the structure of the third largest and the fourth largest maximal non-trivial d-wise intersecting k-uniform families for any $k>d+1\geq 4$, and the fifth largest and the sixth largest maximal non-trivial 3-wise intersecting k-uniform families for any $k\geq 5$, in the asymptotic sense. Our proofs are applications of the $Δ$-system method.

Even though Peltesohn proved that a cyclic (v,3,1)-design exists if and only if $v\equiv 1,3\pmod{6}$ as early as 1939, the problem of determining the spectrum of cyclic (v,k,1)-designs with k>3 is far from being settled, even for k=4. This paper shows that a cyclic (v,4,1)-design exists if and only if $v\equiv 1,4\pmod{12}$ and $v\not\in\{16,25,28\}$.