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.

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.