arXiv++ Combinatorics

Let $C^r_{1,k}$ be the $r$-uniform $k$-crown and put $h=r-k+2$. For a finite linear intersecting $r$-uniform hypergraph $G$, let $τ_h(G)$ be the minimum size of a set meeting every edge of $G$ in at least $h$ vertices, and define \[ ρ_{r,k}=\sup_G\frac{|E(G)|}{τ_h(G)}. \] We prove that every fixed pair $(G,B)$, with $B$ an $h$-fold transversal, yields \[ \operatorname{ex}^{\mathrm{lin}}_r(n,C^r_{1,k}) \ge \frac{|E(G)|}{|B|}n-O_{G,B}(\sqrt n) \] for all sufficiently large $n$. Incidence counting gives $ρ_{r,k}\le r/h$, and equality is characterized after dualization by a pairwise balanced design with a distinguished regular subfamily. For $r=q+1$, where $q$ is a prime power, truncated projective planes give \[ \frac qh\le ρ_{q+1,k}\le\frac{q+1}{h}. \] The upper endpoint is attained whenever a maximal $h$-arc exists; in particular, if $q$ is even and $h\mid q$, then $ρ_{q+1,k}=(q+1)/h$. Padding the truncated-plane construction gives \[ ρ_{r,r}=(1-o(1))\frac r2 \] and, uniformly for each fixed $\varepsilon>0$ and $\varepsilon r\le k\le r$, \[ ρ_{r,k}=(1+o(1))\frac{r}{r-k+2}. \] For nonintersecting templates, the corresponding transfer is governed by a local safe-block condition that replaces the $h$-fold transversal requirement.

Let $3 \le k \le r$, and let $C^r_{1,k}$ be the $r$-uniform $k$-crown. Set $q=r-1$, $t=k-1$, $D=tq+1$, and $D^-=(t-1)q+1$. For every edge $e$ of a linear $C^r_{1,k}$-free $r$-graph, $Φ_H(e):=\sum_{v\in e}1/d_H(v)\ge r/D$. We classify equality: $e$ is sharp if and only if $e$ and all edges meeting it form $t$ projective planes of order $q$ glued along the common line $e$. This equality state is repulsive. If $f\ne e$ meets a sharp edge $e$, then at least $q-t+2$ vertices of $f\setminus e$ have degree at most $D^-$. It follows that sharp edges are pairwise disjoint, every edge meets at most $t-1$ sharp edges, and $|V^-(H)|\ge r(D-1)(q-t+2)|S(H)|/((t-1)D^-)$. Combining sharp-state repulsion with the integral defect of every nonsharp edge gives an unconditional strict improvement over the coefficient $D/r$. Define $B_{r,k}=r(D-1)/(t-1)$, $β_{r,k}=B_{r,k}/(B_{r,k}+1)$, and $η_{r,k}=(q-t+2)/D^- - q/D$. If $η_{r,k}>0$, equivalently if $t=2$, or if $t\ge 3$ and $q\ge t(t-2)+1$, then $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+1)$. For the remaining parameters, $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+β_{r,k})$. For fixed $k$, the first bound holds for all sufficiently large $r$ and improves $D/r$ by $r^{-2}+O_k(r^{-3})$. For $k=3$, every component containing a sharp edge is exactly a pair of projective planes glued along that edge. For $k\ge 4$, light attachments may occur throughout a sharp core, but only $O_k(r)$ affine points can have degree greater than $D^-$. We also prove a quantitative near-sharp localization theorem: after deleting a controlled exceptional family, the neighborhood of a near-sharp edge splits into $t$ large packets with approximate affine-plane row-column incidence.

For the neighborhood seed associated with the four-vertex path $P_4$, the diamond operations do not recover all Boolean-lattice pseudo-roots. The corresponding question for unrestricted rational operations in the free skew field is subtler: the seed map has an invertible linearization and therefore a unique formal inverse near every generic scalar point. We prove that this formal inverse is not free rational. A symmetric one-parameter curve of $2 \times 2$ matrix outputs has a formal inverse whose coefficient field contains an element of degree three over $\mathbb{Q}(t)$. An exact elimination in a quadratic Pauli algebra produces the irreducible cubic. Its conjugate inverse branches are unramified, forcing the generic matrix degree of the seed map to be at least three in every size $n \ge 2$. This contradicts the degree-one consequence of any free rational inverse. The same matrix-degree argument, without specializing a hypothetical inverse, extends the obstruction to every graph containing an induced $P_4$.

We study a local closure operation on the cover edges of a Boolean lattice: whenever the two lower edges or the two upper edges of a square face are present, all four edges of that square are added. We prove that every set of cover edges generating the full cover graph of $\mathcal{B}_n$ has cardinality at least $n$, and we classify all generators attaining this bound. For a graph $G$ on $[n]$, let $S_G=\{N_G(i)\to N_G(i)\cup\{i\}:i\in[n]\}$. Then $S_G$ diamond-generates the full cover graph if and only if $G$ is a cograph, and every minimum-cardinality generator arises uniquely in this way. Consequently, labeled minimum diamond-generating sets of $\mathcal{B}_n$ are in bijection with labeled cographs on $n$ vertices.

We study the domination number $γ(Q_n^3)$ of the three-dimensional $n \times n \times n$ queen graph. The main result is a stratified theorem computing, for each position type -- corner, edge, face, or interior -- the number of inner-core vertices dominated by a queen, and showing in particular that interior placements dominate strictly more core cells than boundary placements. This yields a symmetry-reduction principle via the octahedral group and complements the standard counting lower bound and layered upper bound, giving $γ(Q_n^3) = Θ(n^2)$. We also certify exact values for $n \leq 6$ via integer linear programming and independent verification.

We study the adjacency spectrum of the toroidal three-dimensional queen graph $G_n$ on $(\mathbb{Z}_n)^3$. Since $G_n$ is a Cayley graph on an abelian group, its adjacency matrix is diagonalized by Fourier characters. For each frequency $a\in(\mathbb{Z}_n)^3$, the corresponding eigenvalue is $λ(a)=nμ(a)-13$, where $μ(a)$ counts the queen directions orthogonal to $a$ modulo $n$. In the generic odd case, meaning $n$ odd with $3\nmid n$, the possible values of $μ(a)$ are exactly $0,1,2,3,4,$ and $13$, and each multiplicity is given by an explicit polynomial in $n$. The proof combines a geometric classification of frequency points by orthogonality type with two global counting identities.

This paper presents a two-phase algorithm for computing exact Catalan numbers at an unprecedented scale. The method is demonstrated by computing $C(n)$ for $n = 2,050,572,903$ yielding a result with a targeted $1,234,567,890$ decimal digits. To circumvent the memory limitations associated with evaluating large factorials, the algorithm operates exclusively in the prime-exponent domain. Phase 1 employs a parallel segmented sieve to enumerate primes up to $2n$ and applies Legendre's formula to determine the precise prime factorization of $C(n)$. The primes are grouped by exponent and serialized to disk. Phase 2 reconstructs the final integer using a memory-efficient balanced product tree with chunking. The algorithm runs on a time complexity of $Θ(n(\log n)^2)$ bit-operations and a space complexity of $Θ(n \log n)$ bits. This result represents the largest exact Catalan number computed to date. Performance statistics for a single-machine execution are reported, and verification strategies -- including modular checks and SHA-256 hash validation -- are discussed. The source code and factorization data are provided to ensure reproducibility.