arXiv++ Combinatorics

For a fixed nonempty finite set $L$ of positive integers and $k=\max L\ge2$, let $\binom{[n]}{L}=\bigcup_{\ell\in L}\binom{[n]}{\ell}$ denote the non-uniform hypergraph whose edge set consists of all $\ell$-subsets of $[n]$ for $\ell\in L$. A $1$-factor of a hypergraph $H$ is a collection of pairwise disjoint edges whose union is $V(H)$. We say $H$ is $1$-factorable if $E(H)$ can be partitioned into $1$-factors. In this paper, we study the 1-factorability of $\binom{[n]}{L}$. Earlier work of He, Huang, and Ma shows that, for all sufficiently large $n$, $1$-factorability can occur only in the residue classes $0$ and $-1$ modulo $k$: it always occurs in class $0$, whereas it occurs in class $-1$ only if $k-1\in L$. We determine exactly when $1$-factorability occurs in this exceptional class. More precisely, we define a finite gcd-peeling algorithm on $L\setminus\{k-1,k\}$ and prove that $\binom{[qk-1]}{L}$ is $1$-factorable if and only if the algorithm accepts. As a consequence, our result provides a criterion for the $1$-factorability of $\binom{[n]}{L}$ and confirms the conjecture posed by He, Huang, and Ma.

We relate multiplication formulas for regular modules in coefficient-free acyclic affine cluster algebras with skew-symmetric exchange matrices to the imaginary exchange relations of Reading-Stella. Introducing a parameter $z$ into the construction of Zhou-Zhu, we define a weighted cluster character on cluster tubes that satisfies generalized exchange relations of type $C_{n-1}$ and yields a bijection between indecomposable rigid objects and cluster variables. Using the multiplication formulas and difference property of Ding-Xiao-Xu, we show that non-homogeneous tube embeddings induce injective homomorphisms into ordinary affine cluster algebras under $z\mapsto X_δ$. Comparison with Reading-Stella's relations identifies $X_δ$ with the corresponding theta function, giving a representation-theoretic interpretation of the generalized exchange parameter.

Burr, Erd\H os, Graham, and Sós introduced the maximal anti-Ramsey function $χ_{\mathrm{S}}(n,e,L)$, the minimum number of colors required over all $n$-vertex graphs with at least $e$ edges such that every copy of $L$ is rainbow. In \cite{BEGS1989}, they posed the following two problems: (i) Is it true that there exists $C>0$, such that for all $u\ge 1$, $χ_{\mathrm{S}}\left(n,\lfloor un \rfloor,P_4 \right)<Cu$ holds for all sufficiently large $n$? (ii) Is it true that for all $ε>0$, there exists $c(ε)>0$ such that for all sufficiently large $n$, \\ $χ_{\mathrm{S}}\left(n,\binom{n}{2}-\lfloor n^{2-ε} \rfloor,P_4 \right)>c(ε)n^{2}$? In this note, we give an affirmative answer to the first problem and a negative answer to the second problem. For the first problem, our proof uses a local density inequality with strong edge-colorings of odd Kneser graphs. In particular, our proof uses the characterization by Lužar, Máčajová, Škoviera, and Soták of~$k$-regular graphs whose strong chromatic index equals~$2k-1$. For the second result, our main tool is the construction of Alon, Moitra, and Sudakov. We show that for every fixed~$0<ε<1/2$ there exist~$γ>0$ and arbitrarily large~$n$ such that~$χ_{\mathrm{S}}\bigl(n,\tbinom{n}{2}-\lfloor n^{2-ε}\rfloor,P_4\bigr)\;\le\; n^{2-γ}=o(n^{2}).$

The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F} \subseteq 2^{[n]}$ with $|\mathcal{F}| \geqslant m$, there exists an $a$-element subset $T \subseteq [n]$ such that the trace $\mathcal{F}_{|T} = \{ F \cap T : F \in \mathcal{F} \}$ contains at least $b$ distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.

For non-negative integers $n$, $m$, $a$ and $b$, we write $\left( n,m \right) \rightarrow \left( a,b \right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|\geqslant m$ there is an $a$-element set $T\subseteq [n]$ such that $\left| \mathcal{F}_{\mid T} \right| \geqslant b$, where $\mathcal{F}_{\mid T}=\{ F \cap T : F \in \mathcal{F} \}$. A longstanding problem in extremal set theory asks to determine $m(s)=\lim_{n\rightarrow +\infty}\frac{m(n,s)}{n}$, where $m(n,s)$ denotes the maximum integer $m$ such that $\left( n,m \right) \rightarrow \left( n-1,m-s \right)$ holds for non-negatives $n$ and $s$. In this paper, we establish the exact value of $m(2^{d-1}-c)$ for all $1\leqslant c\leqslant d$ whenever $d\geqslant 50$, thereby solving an open problem posed by Piga and Schülke. To be precise, we show that $$m(n,2^{d-1}-c)=\frac{2^{d}-c}{d}n \mbox{ for } 1\leq c\leq d-1 \mbox{ and } d\mid n, \mbox{ and } m(n,2^{d-1}-d)=\frac{2^{d}-d-0.5}{d}n \mbox{ for } 2d\mid n $$ holds for $d\geq 50$. Furthermore, we provide a proof that confirms a conjecture of Frankl and Watanabe from 1994, demonstrating that $m(11)=5.3$.