Let $\Omega_n$ denote the set of $n\times n$ doubly stochastic matrices. Kim and Roush conjectured in 1981 that, for $n=2k+1>1$, $ \max_{A\in\Omega_{2k+1}}\operatorname{per}(I-A)=3\cdot 2^{k-2}$. They proposed the block construction $A_\star=\frac12(J_3-I_3)\oplus P_2^{\oplus(k-1)}$, where $P_2=\begin{pmatrix}0&1\\1&0\end{pmatrix}$. Here $J_3$ is the $3\times3$ all-ones matrix. They did not claim uniqueness. We fully prove their conjecture and classify equality: the maximizers are exactly the simultaneous-permutation conjugates of $A_\star$.
Let $A\in\mathbb{R}^{m\times n}$ have columns of Euclidean norm at most one. We prove that $\operatorname{disc}(A)\le2395\left(1+\log_+\frac n9\right)^{1/4}+2\sqrt2$. Here $\log_+t=\max\{0,\log t\}$. Building on Bansal and Jiang's affine spectral independence framework, we remove the $(\log\log n)^{7/4}$ factor from their bound. The fourth root comes from balancing the logarithmic decrease in the alive dimension against the fourth power of the row thresholds. Historical exponential sums control the covariance budget across size classes with summable thresholds. An exact threshold-sum certificate gives the coefficient $2395$, and rounding at most eight remaining fractional coordinates costs $2\sqrt2$. The finite construction also gives partial colourings from any prescribed starting point and at any prescribed depth, preserving existing signs. We formalize the partial- and full-colouring theorems in Lean, including the finite trajectory, exact threshold sum and final rounding, with Bansal--Jiang Theorem A.4 as the sole external research theorem assumption.
Let $N=2^k-1$ and let $\operatorname{wt}(n)$ denote the binary Hamming weight. The Tu-Deng conjecture asserts that, for every $1\le t\le N-1$, at most $2^{k-1}$ pairs $(a,b)\in\{0,\ldots,N-1\}^2$ satisfy $a+b\equiv t\pmod N$ and $\operatorname{wt}(a)+\operatorname{wt}(b)<k$. Partial results are known. We give a complete proof of this conjecture. We first show that the Tu-Deng counts equals the number of cyclic carry solutions for which $\operatorname{wt}(B)-\operatorname{wt}(A)<0$ and $A+t\equiv B\pmod N$. The enumerator of the cyclic carry solutions factors as $$C_v = 1+(X+Y-1)J_v+X^{\operatorname{z}(v)+1}Y^{\operatorname{o}(v)+1},$$ where $t=10v$ is the binary expansion of $t$(least significant bits first) and $J_v$ enumerates the language $$\operatorname{Sub}(v)\mathbin{\dot\cup}\{u\in\partial_1\operatorname{Sub}(v):u<_{\rm lex}v\}.$$ Estimating the strict negative half-plane mass of $C_v$ gives the desired bound.
Let $\delta\in\mathbb{F}_{2^n}$ satisfy $\operatorname{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\delta)=1$. We study the permutation behavior of $$ f(x) = \left(\frac{1}{x^2+x+\delta}\right)^{2^k}+x $$ over $\mathbb{F}_{2^n}$. Helleseth and Zinoviev proved that $f(x)$ is a permutation for $k=0,1$, and remarked that numerical evidence suggests that no other cases occur. In this paper, we confirm their assertion by proving that, for $0\leq k<n$, $f(x)$ is a permutation of $\mathbb{F}_{2^n}$ if and only if $k=0$ or $k=1$.
Fulek defined the $0$-$1$ matrix \[ L_3=\begin{pmatrix} 1&0&0&1&0\\ 0&0&0&0&1\\ 0&1&1&0&0 \end{pmatrix} \] and asked whether $\text{ex}(n,L_3) = O(n)$. We prove that every $r\times s$ $0$-$1$ matrix avoiding $L_3$ has at most $27r+2s$ $1$ entries. Fulek's general lower bound construction has $6n-8$ $1$ entries, so \[ 6n-8\leq \text{ex}(n,L_3)\leq29n \] for $n\geq5$. The same argument applies to an infinite family. If $Q_{a,b,k,\ell}$ is the light three-row matrix with column word $1^a3^k1^b2^\ell$, where $a,b,\ell\geq1$ and $k\geq2$, then \[ \text{ex}(r,s,Q_{a,b,k,\ell}) \leq\bigl(5(k-1)(4b+1)+a+b+\ell-1\bigr)r+2s. \] This verifies a conjecture of Pettie and Tardos on linear light patterns for an infinite family that includes the previously unresolved weight-five pattern $L_3$. The proof assigns matrix entries to edges of a bar $1$-visibility hypergraph, cuts gaps to control the multiplicity of these edges, and charges the cuts to a noncrossing graph on the rows.
The $n$-dimensional hypercube $Q_n$ is the graph with vertex set $\{0,1\}^n$ in which two vertices are adjacent if they differ in exactly one coordinate. For a graph $H$, let $\operatorname{ex}(Q_n,H)$ be the maximum number of edges in an $H$-free subgraph of $Q_n$. The hypercube Tur\'an density of $H$ is defined by $\pi_{\square}(H)=\lim_{n\rightarrow\infty}\operatorname{ex}(Q_n,H)/|E(Q_n)|$. In this note, we prove \[ \frac{1}{8} \leq \pi_{\square}(C_{10}) \leq 0.36577. \] For the upper bound, we prove $\pi_{\square}(C_{10}) \leq \pi_{\square}(C_6)$, which, together with a result of Baber, gives the stated upper bound. For the lower bound, we prove that $\operatorname{ex}(Q_n,C_{10})>|E(Q_n)|/8$ for every $n \geq 2$.
Let $A=(A_n)_{n\ge2}$ be a triangular array of random matrices, where $A_n=(a_{ij})_{1\le i,j\le n}$ is an $n\times n$ random matrix with independent real entries satisfying $\mathbb E a_{ij}=0$ and $\mathbb Ea_{ij}^2=1$, and put $\mathcal L_n=\log|\det A_n|$ and \[ W_n^{\mathrm d}(A_n):=\frac{\mathcal L_n - \frac12\log(n-1)!}{\sqrt{\frac12\log n}},\quad W_n^{\mathrm e}(A_n):= \frac{\mathcal L_n-\mathbb E \mathcal L_n}{\sqrt{\frac12\log n}}. \] We prove that $W_n^{\mathrm d}(A_n) \Rightarrow \mathcal N(0,1)$, whenever the family $\left\{\frac{|a_{ij}|^{4}}{\sqrt{\log(e+|a_{ij}|)}} \right\}_{n\geq 2;1\leq i,j\leq n}$ is uniformly integrable. If, in addition, the entries have uniformly bounded densities, then $W_n^{\mathrm e}(A_n) \Rightarrow \mathcal N(0,1)$ whenever the family $\left\{\frac{|a_{ij}|^{4}}{\log(e+|a_{ij}|)}\right\}_{n\geq 2;1\leq i,j\leq n} $ is uniformly integrable. These two conditions are optimal at the level of universal moment assumptions. We further establish the corresponding Berry--Esseen bounds, and show that for $0<\delta\le\tfrac12$, if $\sup\limits_{n}\max\limits_{1\le i,j\le n}\mathbb E \frac{|a_{ij}|^4} {\{\log(e+|a_{ij}|)\}^{1/2-\delta}}<\infty$, then \begin{align*} d_{\mathrm K}(W_n^{\mathrm d}(A_n),\mathcal N(0,1))\le C(\log n)^{-\delta}. \end{align*} For $0<\gamma\le1$, if $\sup\limits_{n}\max\limits_{1\le i,j\le n}\mathbb E \frac{|a_{ij}|^4} {\{\log(e+|a_{ij}|)\}^{1-\gamma}}<\infty$ and the entries have uniformly bounded densities, then \begin{align*} d_{\mathrm K}(W_n^{\mathrm e}(A_n),\mathcal N(0,1))\le C(\log n)^{-\gamma}. \end{align*} When $\delta = 1/2$ and $\gamma = 1$, the bounds $(\log n)^{-1/2}$ and $(\log n)^{-1}$ are optimal, respectively. Our results improve the earlier Central Limit Theorem by \cite{BaoPanZhou2015} and the Berry--Esseen bound by \cite{NguyenVu2014}.
