arXiv++ Combinatorics

In this paper, we study the supersaturation problems of eventown. Given a family $\mathcal{A}$ of subsets of an $n$ element set, let op$(\mathcal{A})$ denote the number of distinct pairs $A,B\in \mathcal{A}$ for which $|A\cap B|$ is odd. We give extremal eventown constructions and show that for fixed $s\le2^{\lfloor \frac{n}{2} \rfloor}-2$, there exists a collection of $2^{\lfloor\frac{n}{2}\rfloor}+s$ even-sized subsets of an $n$ element set that contains exactly $s\cdot 2^{\lfloor \frac{n}{2} \rfloor-1}$ pairwise intersections of odd size. This extends the range of $s$ in a conjecture proposed by O'Neill from $2^{\lfloor \frac{n}{2} \rfloor}-2^{\lfloor \frac{n}{4} \rfloor}$ to $2^{\lfloor \frac{n}{2} \rfloor}-2$. We also give a construction using symmetric designs to prove that when $k$ is even and $4k-1$ is a prime power, there exists a collection of $2^{\lfloor\frac{4k-1}{2}\rfloor}+s$ even-sized subsets of a $4k-1$ element set $\mathcal{A}_s$ with $op(\mathcal{A}_s)=s \cdot 2^{{\lfloor\frac{4k-1}{2}\rfloor}-1}$, $1\leq s\leq4k-1$.

Let $\SA$ be a finite thick generalized quadrangle, and let $G\leq \Aut(\SA)$ act primitively on both points and lines. Building on the almost simple reduction for point-primitive and line-primitive actions, we study the case where the socle of $G$ is the projective symplectic group $\PSp_4(q)$ with $q\ge 3$. We show that this hypothesis forces $\SA$ to be the classical symplectic quadrangle $W(3,q)$ up to duality.

Let $K$ be an $r$-dimensional simplicial complex. We prove that the spectrum of its $(r - 1)$-dimensional up-Laplacian is majorized by the conjugate degree sequence of its $(r - 1)$-dimensional faces: \[ {\mathbfλ}_{r-1}(K) \preccurlyeq {\mathbf d}_{r-1}^\top(K). \] We also establish a Brouwer-type inequality: for every integer $\ell \geq 1$, \[ \sum_{i = 1}^{\ell}λ_{r-1,i}(K) \leq \frac{r + 1}{2}f_r(K) + \frac{f_{r - 2}(K)}{r} \binom{\ell + 1}{2}, \] where $λ_{r-1,i}(K)$ denotes the $i$-th largest eigenvalue in the spectrum ${\mathbfλ}_{r-1}(K)$, and $f_t(K)$ denotes the number of $t$-dimensional faces of $K$. These results provide higher-dimensional analogs of the Grone-Merris-Bai theorem and the Brouwer-Kothari-Tudose theorem and recover the corresponding graph results when $r=1$. We show that the Duval-Reiner conjecture on the majorization by the conjugate degree sequence of vertices fails in every dimension $r \geq 2$. More precisely, for every $n \geq r + 5$, we construct a pure $r$-dimensional complex on $n$ vertices that violates the conjectured inequality at the fifth partial sum.

For every $l\geq1$, we construct explicit closed-form coordinate formulas for the local energy functions on the tensor products $B_l\otimes B_l$ of level-$l$ perfect crystals in classical affine types. A single finite-level max-linear formula covers all seven types: its two branches coincide in type $A_n^{(1)}$, yielding a cyclic maximum of partial sums, whereas in the remaining six types each branch is the maximum of finitely many explicit piecewise-linear expressions in barred coordinates, with type-dependent boundary data. We verify the defining local-energy recursion directly on the finite crystals and derive equivalent recursive forms, allowing the energy to be evaluated without applying the combinatorial $R$-matrix. Substitution into the KMN path character formula gives explicit positive coordinate path sums for the characters of all level-$l$ integrable highest weight modules. After principal specialization, the path exponent can be rewritten as a weighted sum of a position-independent adjacent-pair statistic; comparison with the specialized Weyl--Kac character formula yields a uniform family of level-$l$ Rogers--Ramanujan-type identities equating these sums with explicit infinite products. For a representative low-rank case at level two in each family, we display the complete adjacent-pair degree matrix and list the resulting identities.

Engel, de Gaay Fortman, and Schreieder attach to each prime $\ell$ a minor-closed class $\mathcal{M}_\ell$ of regular matroids, whose excluded minors govern the failure of the integral Hodge conjecture for curve classes on very general principally polarized abelian varieties. For $\ell=2$ the class is the cographic matroids, with excluded minors $M(K_5)$ and $M(K_{3,3})$ by Tutte's theorem; for $\ell=3$ the only excluded minor explicitly identified so far is $M(K_{3,5})$, and the general characterization is [EGFS, Problem 8.8]. We exhibit five new excluded minors for $\mathcal{M}_3$, of ranks 8, 9, 9, 9, and 10; none contains $M(K_{3,5})$ or any of the other four as a minor, so the excluded-minor list of Problem 8.8 has at least six members, with excluded minors at every rank from 7 through 10. Combined with $M(K_7) \notin \mathcal{M}_3$, established by the same authors, and the minor-closedness of $\mathcal{M}_3$, some minor of $M(K_7)$ of rank between 4 and 6 is a further excluded minor, so the list has at least seven members, six of them explicitly identified. The list is structurally diverse: two bipartite apex constructions with automorphism group $S_4$, and three non-bipartite, non-planar rank-9 graphs with no such apex structure. Every verdict is certified by a finite $\mathbb{F}_3$-linear-algebra computation with explicit machine-checkable witnesses, cross-checked by independent implementations; the certificates further show that the five matroids lie outside the larger class $\widetilde{\mathcal{M}}_3$. We also record what are, to our knowledge, the first $\ell=5$ data on this corank-8 slice: $M(K_{3,5})$ and the rank-8 and rank-10 minors lie in $\mathcal{M}_5$ by explicit certificates, and the radical distance $d(M(K_{3,5}))=6$ is determined exactly.

Let $D$ be an oriented graph (a digraph with no directed 2-cycles) with maximum degree $Δ\ge 1$, equipped with nonnegative arc weights of total weight $w(D)$, and let $\mathrm{fas}_w(D)$ denote the minimum weight of a feedback arc set of $D$. Alon (2002) proved $\mathrm{fas}_w(D)\le(\frac{1}{2}-\frac{1}{16\sqrt{2Δ}})w(D)$. We determine the optimal constant: \[\mathrm{fas}_w(D)\le(\frac{1}{2}-\frac{\sqrt{2}}{6\sqrtΔ})w(D).\] In fact, we show a stronger result: $\mathrm{fas}_w(D)\le\frac{1}{2}w(D)-\frac{\sqrt{2}}{12}\sum_v w_2(v)$, where $w_2(v)$ is the $\ell_2$-norm of the weights of the arcs incident with $v$. Both bounds are attained by the unit-weight directed triangle, so the constant $\sqrt{2}/6$ is best possible (already among unweighted oriented graphs). The proof combines the vertex-peeling scheme of Berger and Shor with a continuous random-ordering analysis: realizing the random order by independent uniform labels renders the expected local imbalance at each vertex exactly an integrated Khintchine-type functional, and the theorem reduces to the sharp evaluation \[\inf_{\|a\|_2=1}\int_0^1 \mathbb{E}|\sum_j a_j B_j(q)|\,dq = \frac{\sqrt{2}}{6},\] where the $B_j(q)$ are i.i.d. Bernoulli$(q)$ random variables, which we prove via Fourier analysis. The proof also yields a randomized, near-linear-time algorithm attaining the bounds in expectation.

We establish new lower bounds for the strength and partition rank of the determinant. For every prime $p$, we prove the exact identity \[ \operatorname{str}(\mathrm{det}_p)=p. \] A weak monotonicity argument, combined with a bound for gaps between consecutive primes, then gives $\operatorname{str}(\mathrm{det}_n)\ge (1-o(1))n^{0.475}$ for sufficiently large $n$. Since the Birch rank of $\mathrm{det}_n$ is always $4$, this gives the first explicit family showing that the dependence on the degree in bounds for strength in terms of Birch rank is unavoidable. Viewing $\mathrm{det}_n$ as an $n$-linear form in its columns, we also prove that its partition rank is at least the largest prime not exceeding $n$. Consequently, \[ n-n^{0.525}\le \operatorname{prk}(\mathrm{det}_n)\le n \] for all sufficiently large $n$, and hence the partition rank of the determinant is $n-o(n)$. The proof introduces an intersection-theoretic method for lower-bounding strength: a short strength decomposition produces a nowhere-vanishing section of a split vector bundle on the complement of the determinantal hypersurface, while a nonzero top Chern class in the Chow ring of $\mathrm{PGL}_n$ obstructs such a section.

The root lattice $A_n$, equipped with its graph distance (equivalently, one half of the ambient $\ell_1$ metric), is isometric to $\mathbb{Z}^n$ with the asymmetric Manhattan metric. We study two extremal problems in this space -- the isodiametric problem, i.e., determining the maximum anticode cardinality, and the (non)existence of linear diameter-perfect codes, i.e., lattice tilings by optimal anticodes -- and solve them in dimension $3$. We show that, for every integer $D\ge 0$, the largest cardinality of a diameter-$D$ subset of $A_3$ is $\binom{D+3}{3}+(D+1)\lfloor D^2/4\rfloor$, and this value is attained by the balanced difference of two discrete simplices. We then prove an integrality-refined simplex-packing obstruction: a sublattice of $\mathbb{Z}^n$ of asymmetric Manhattan distance greater than $D$ induces a lattice packing by $(D+1)Δ_n$ in $\mathbb{R}^n$. Combining this observation with the exact lattice-packing density of the tetrahedron yields a complete classification in dimension $3$: lattice diameter-perfect codes in $A_3$ exist precisely for $D=1$ and $D=2$. We also give the equivalent statement for perfect $B_h$ sets of cardinality four. Finally, we formulate a conjecture regarding optimal anticodes in arbitrary dimension, and restate it as an intersection problem for uniform multisets.

We develop an explicit geometric and algebraic description of shadows in the affine Coxeter complex of type $\tilde{A}_2$, by introducing a coordinate system based on a decomposition of the complex into tunnels and channels. We also provide an algorithm for converting arbitrary reduced words into coordinates. Using this framework, we identify geometric symmetries of shadows and show that they are governed by the underlying channel structure. This allows us to derive explicit, piecewise formulas for the cardinality of shadows in $\tilde{A}_2$, depending on the parity of the coordinates. Furthermore, we establish a simple criterion for shadow membership via a counting function that detects admissible positions within channels. These results provide a concrete and computationally effective description of shadows in affine type $\tilde{A}_2$, bridging the gap between combinatorial definitions and geometric realisations.

We study new higher-dimensional analogs of graph chordality and review the existing ones. Our main results for simplicial complexes are: (1) $Δ$ skeleton-E-chordal $\Rightarrow$ $Δ^\vee$ vertex-decomposable $\Rightarrow$ $Δ$ skeleton-clique-chordal. Moreover, for subflag complexes, $Δ$ skeleton-E-chordal $\Longleftrightarrow$ $Δ^\vee$ vertex-decomposable. (For $d=1$ this boils down to ``$G$ chordal $\Longleftrightarrow$ $G^\vee$ vertex-decomposable'', a result closely related to Fröberg's theorem.) (2) For subflag complexes, $Δ$ is skeleton-E-chordal $\Longleftrightarrow$ it splits as $Δ= Δ_1 \cup Δ_2$, with each $Δ_i$ a skeleton-E-chordal induced subcomplex of $Δ$, and with $Δ_1 \cap Δ_2$ a complex whose $1$-skeleton is a clique. (This generalizes ``$G$ chordal $\Longleftrightarrow$ $G$ splits as a union of chordal graphs that intersect in a common clique''). (3) $Δ$ skeleton-E-chordal $\Longleftrightarrow$ every nonempty induced subcomplex of $Δ$ has a skeleton-E-simplicial vertex. (Generalizes ``$G$ chordal $\Leftrightarrow$ every nonempty induced subgraph has a simplicial vertex''.) (4) $Δ$ underclosed $\Rightarrow$ $Δ$ skeleton-weakly-chordal and weakly-closed. (Generalizes ``$G$ interval $\Rightarrow$ $G$ chordal and co-comparability''.) (5) All pure E-chordal complexes are vertex-chordal; all pure mid-chordal complexes are weakly-vertex-chordal; all pure very-weakly-chordal complexes are weakly-ridge-chordal. (This expands Bigdeli, Yazdan-Pour and Zaare-Nahandi's work on ridge-chordality.)

Delcourt and Postle reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. An important theorem in their proof process asserts that every sufficiently dense $K_t$-minor-free graph contains a small, highly connected subgraph. In this paper, we show that such a subgraph can be chosen to be smaller. More precisely, there exists an integer constant $C \ge 1$ such that, for all integers $t \ge 3$ and $k \ge t$, every $K_t$-minor-free graph $G$ with $d(G) \ge Ck$ contains a nonempty $k$-connected subgraph $H$ satisfying $v(H) \le C^2 t\log^2 t$. Thus the structural bound improves from $O(t\log^3 t)$ to $O(t\log^2 t)$, and the graphs occurring in the reduction have order $O(t\log^3 t)$ rather than $O(t\log^4 t)$.

For free type-preserving discrete actions on the biregular tree $\mathcal T_{r+1,s+1}$, we stratify the critical-exponent spectrum by quotient complexity. The unrestricted spectrum is the full interval $[0,\frac12\log(rs)]$, whereas the finitely generated spectrum is countable and dense and is encoded by the Hashimoto radii of finite typed cores. At fixed rank, finitely many typed kernels parametrize all values, and every nonzero accumulation belongs to a lower-rank stratum. Rank two admits a complete effective inverse classification through the figure-eight, theta, and dumbbell polynomial families.

Let $\mathrm{IMS}_n(m)$ denote the number of $n\times n$ nonnegative integer matrices whose row sums, column sums, and two main diagonal sums are all equal to $m$. We determine the Ehrhart series $F_7(q)=\sum_{m\ge 0}\mathrm{IMS}_7(m)q^m$ as a reduced rational function. The denominator has degree $373$ and cyclotomic factors of order at most $15$; the numerator is a palindromic polynomial of degree $366$ with nonnegative integer coefficients. Using the SimpCone decomposition, the associated polytope is represented as a sum of $166$ million signed simplicial cones. The LRQC evaluator computes their generating functions over finite fields; a typical cone requires only one or two quotient characters, and the cost per character is nearly linear in the truncation degree $T$. An explicit common denominator together with Ehrhart reciprocity reduces the rational reconstruction to the prefix up to $T=1256$, while an explicit counting bound supplies the coefficient bounds needed for deterministic lifting from the prime fields to $\mathbb Z$. This prefix is independently computed for the whole cone family in eight prime fields. Exact Chinese remaindering lifts the verified residues to equality over $\mathbb Z$, the finite-prefix criterion proves the rational identity, and exact polynomial gcds prove that the displayed denominator is reduced.

This short note provides two examples of aperiodic frieze patterns of the plane, supported on the rhombic Penrose tiling and the Godrèche--Lançon--Billard tiling. That is, we provide a decoration of their vertices with positive integers which satisfy the diamond rule, in analogy to the usual (in)finite frieze patterns as defined by Conway and Coxeter.

We prove a weighted sum formula for double Eisenstein series. Its corresponding identity for the generating series of multiple divisor sums was conjectured by the author in his master's thesis. The double Eisenstein series identity follows from the restricted double-shuffle relations proved by the author and Tasaka, while the proof of the divisor-sum identity is combinatorial and uses generating series.

The target-free clique conjecture asserts that the supports of stable fixed points of a nondegenerate combinatorial threshold-linear network (CTLN) are exactly its target-free cliques: bidirected cliques for which no outside vertex receives an edge from every clique vertex. We give an explicit six-neuron counterexample. For every sufficiently small $\varepsilon>0$, the CTLN defined by one fixed graph at $δ=29\varepsilon/25$ is nondegenerate and has a stable fixed point with nonclique full support. Its values of $q=δ(1-\varepsilon)/\varepsilon$ tend to $29/25$. In the complementary direction, for any CTLN on $n\geq3$ vertices, we prove that in the parameter range \[ q\geq n-2-\frac{n-3}{2}\varepsilon, \] no nonclique support can satisfy both the fixed-point positivity and linear stability conditions. Consequently, throughout this range, every nondegenerate CTLN has exactly its target-free cliques as supports of stable fixed points. In particular, this holds when $\varepsilon\leqδ/(δ+n-2)$.

We prove Borsuk-Ulam-type results governed by selection structures. Selection structures extend the matroidal framework for colorful theorems in discrete geometry and include non-matroidal examples such as chessboard complexes. Motivated by Frick and Wellner's Radon-type strengthening of Fan's theorem and its colorful variants, we prove selection-structure analogues whose conclusions are determined by Radon partitions. We also prove a prime-power selection-structure covering version of Volovikov's theorem, governed by Tverberg partitions. We include applications to fair partitions, including selection-structure versions of the ham sandwich and necklace splitting theorems.

We prove Reiner's conjecture for higher Bruhat orders in corank 3: the facial intervals of B(n,n-3) are precisely the spherical intervals, and all other intervals are contractible.

We construct a new reduction process which takes a $(132,213)$-avoiding permutation to a shorter one that is cyclic if and only if the original was. Iterating it determines whether a given $(132,213)$-avoiding permutation is cyclic. Reversing it gives four moves that build every cyclic $(132,213)$-avoiding permutation, uniquely, from $1$ if $n$ is odd, and $21$ if $n$ is even. Our main application is the first non-trivial lower bound for the growth rate of $\mathcal{C}_n(132,213)$, the cyclic permutations of length $n$ avoiding $132$ and $213$. We also give several other consequences of the reduction, including a bijection between the odd and even size classes and an exact enumeration for those permutations with a restricted number of layers.

Fat minors are the metric analog of graph minors that are tailored to the analysis of metric (edge-weighted) graphs and, more generally, metric spaces having a suitable notion of shortest paths. Despite a large interest in this notion, not much is known about the structure of metric graphs excluding a fixed fat minor. We prove that if a metric graph $G$ excludes a fixed graph $H$ as a $δ$-fat minor, for some $δ>0$, then $G$ enjoys the metric analog of flatness (aka uniform quasi-wideness) - a structural property from the field of Sparsity. In essence, our flatness result says that for any $α\geq β$ large enough compared to $δ$, in every large enough set $A$ in $G$ one can find a sizable subset $B$ that becomes $α$-scattered after removing a bounded number of balls of radius $β$. We call this property drill-flatness. Notably, the proof only relies on excluding shallow fat minors: every branch set has radius at most $2α$. As a corollary, we prove that metric graphs that exclude a fixed $δ$-fat minor have bounded $\varepsilon$-scatter dimension if we consider only $\varepsilon$-scatters at distances large enough compared to $δ$. By combining this with the results of Abbasi et al. [FOCS 2023], we infer that the $k$-Center problem on instances excluding $H$ as a $δ$-fat minor admits an approximation algorithm that finds a solution of cost at most $(1+\varepsilon)\cdot\mathsf{OPT}+{\cal O}(δ/\varepsilon^2)$ in time ${\cal O}_{H,\varepsilon}(n^{{\cal O}(1)})$. This is one of the first algorithmic results for general fat-minor-free metrics. We also study drill-flatness in hereditary classes of (unweighted) graphs, where we obtain a characterization equating drill-flatness with excluding shallow induced minors. This is an induced analog of the equivalence between flatness and nowhere denseness - one of central results of Sparsity.

A (3, 6)-fullerene is a cubic planar graph whose faces all have 3 or 6 sides. We give an exact enumeration of (3, 6)-fullerenes with V vertices and each of five possible symmetry types: *332, 332, 2*2, *222, and 222, in orbifold notation. We use this enumeration, together with some constructions, to resolve three conjectures about the existence of (3, 6)-fullerenes with 2*2$, *222, and 222 symmetry for given numbers of vertices.

McKay proved that the spectra of all polynomial functions of the adjacency matrix $A$ and the diagonal degree matrix $D$ determine a tree. We prove a principal version of this theorem. Let $\mathcal A(G)=\langle I,A_G,D_G\rangle$ and let $M_G=\mathcal A(G)\mathbf1$ be the cyclic module generated by the all-ones vector. For connected graphs the ideal $\mathcal A(G)J\mathcal A(G)$, where $J=\mathbf1\mathbf1^T$, acts on $M_G$ as the full endomorphism algebra. We show that every forest satisfies $M_G=U_G$, the automorphism-orbit module, and that the induced algebra on the orbit quotient of a tree is a full matrix algebra. It follows that the scalar moments $\mathbf1^Tw(A_T,D_T)\mathbf1$ determine every tree. For general graphs these moments are degree-decorated caterpillar homomorphism counts. The resulting moment-rigidity class lies inside the amenable, compact, refinable hierarchy of color refinement, and its first small-order failures are ten-vertex integral switchings invisible to $M_G$.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.

We identify and study the interval Garside groups arising from the restriction of the absolute order on a Coxeter group to a lattice $[1,w]_T$, where $w$ is an involution. Those involutions $w$ for which $[1,w]_T$ is a lattice were previously classified by the second author; every such involution lies in the center of the parabolic subgroup generated by $[1,w]_T$. Except in type $B_n$, the obtained groups are isomorphic to (decomposable) right-angled Artin groups. We also investigate the situation for some finite complex reflection groups, mostly in rank two, taking for $w$ a (not necessarily involutive) central element.

The Shannon capacity $Θ(G)$ of a graph $G$ quantifies the maximum rate at which information can be transmitted with zero error over a noisy channel. It is lower bounded by $α(G^d)^{1/d}$ for any $d$, where $α(G^d)$ is the independence number of the $d$-th strong power of $G$. We construct independent sets of size $134753$ in $C_7^{10}$, $21909$ in $C_{11}^{6}$, and $62530$ in $C_{13}^{6}$, improving the best known lower bounds for the Shannon capacity of these graphs to $Θ(C_7)\geq 134753^{1/10}>3.258020$, $Θ(C_{11})\geq 21909^{1/6}>5.289773$, and $Θ(C_{13})\geq 62530^{1/6}>6.300109$. We also improve the best known lower bounds on the independence numbers of several individual strong powers of odd cycles that do not improve the Shannon capacity lower bound. The constructions were discovered through iterative interactions with a Large Language Model (LLM), illustrating the potential of LLMs for finding explicit combinatorial constructions.

We give a recursive construction of an LKTS(7q + 2) from an LKTS(q + 2) and an auxiliary permutation structure on an abelian group of order q, which we call a cubic orthomorphism. We prove that cubic orthomorphisms exist whenever q is a product of prime powers congruent to 1 modulo 6. The construction yields, in particular, LKTSs of orders 93, 177, 219, 261, and 303.

A restricted-budget version of the random graph process, introduced by Frieze, Krivelevich, and Michaeli in 2025, studies the construction of structures by an online player who can purchase only a limited number of random edges. In this paper, we transfer this framework from random graphs to random subsets of integers, focusing on the construction of $k$-term arithmetic progressions. A player, Builder, is presented with a sequence of $t$ integers drawn uniformly at random from $[n]$. As the elements are revealed one by one, Builder must immediately and irrevocably decide whether to select the current integer, subject to a maximum budget of $b$ selected elements in total. We establish the optimal thresholds for this process, proving that for $t = ω(n^{1-2/k})$, a budget of $b = Θ((n/t)^{\frac{k-2}{2}})$ is both necessary and sufficient for Builder to successfully construct a $k$-term arithmetic progression with high probability.

We study tight Hamilton cycles in linearly quasirandom 3-graphs. An $n$-vertex 3-graph $H$ is $(p,μ)$-dense if $e_H(X,Y,Z)\ge p|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. Ara{ú}jo, Piga and Schacht asked whether $p,α>1/4$ together with $δ_2(H)\geαn$ force a tight Hamilton cycle. We give a negative answer: for every $\varepsilon,μ>0$ and all sufficiently large $n$, there exists an $n$-vertex $(p_0-\varepsilon,μ)$-dense 3-graph $H$ with $δ_2(H)\ge(p_0-\varepsilon)n$ and no tight Hamilton cycle, where $p_0:=\max_{0\le x\le1}\min\{x^3,1-x\}\approx0.317672$. For every $p>1/3$, we determine the asymptotically sharp minimum-codegree threshold. Writing \[ δ_0(p)= \left(\frac{1-\sqrt{(4p-1)/3}}{2}\right)^2, \] we prove that every sufficiently large $(p,μ)$-dense 3-graph $H$ with $δ_2(H)\geαn$ contains a tight Hamilton cycle whenever $α>δ_0(p)$ and $μ$ is sufficiently small. A matching construction shows that this threshold is best possible. The proof uses absorption together with a new fixed-length connecting lemma based on a regular slice, a directed pair-state graph, and a finite scalar lemma.

We settle the uniform and biased product conjectures of Frankl and Tokushige for $r$-cross-intersecting families. Let $r\geq2$, let $0\leq k_i\leq(r-1)n/r$, and let $\mathcal{F}_i\subseteq\binom{[n]}{k_i}$ be $r$-cross-intersecting. We prove the sharp inequality $$\prod_{i=1}^r\frac{|\mathcal{F}_i|}{\binom{n}{k_i}}\leq \prod_{i=1}^r\frac{k_i}{n},$$ with equality attained by the corresponding levels of a common $1$-star. As a consequence, we obtain the analogous $p_i$-biased measure theorem for $0\leq p_i\leq(r-1)/r$, $$ \prod_{i=1}^rμ_{p_i}(\mathcal{F}_i)\leq \prod_{i=1}^r p_i.$$The main difficulty is that unequal parameters do not determine a single common target level; instead, the target levels $\ell_1,\ldots,\ell_r$ must satisfy $\sum_{i=1}^r \ell_i=(r-1)n$. We overcome this asymmetry in three steps. An ordered-partition coupling gives a sharp additive inequality for every such choice of target levels. A star-calibrated upper-shadow inequality relates the density of a family on its original level to the density of its upper shadow on a suitably chosen target level; it is proved by induction on $n$, with the induction step reduced to a two-point inequality. Finally, an analytic inequality shows that the resulting asymmetric additive estimate implies the required product bound. Perhaps surprisingly, the coupling captures all the combinatorial information of cross-intersection, reducing the remainder of the proof to an analytic argument.