arXiv++ Combinatorics

We prove the 3-Decomposition Conjecture: every finite connected cubic loopless multigraph decomposes into a spanning tree, a 2-regular subgraph, and a matching. The main ingredient is a new theorem on matching complements in subcubic graphs. Let H be a finite connected bridgeless simple graph of maximum degree three, and let S be its set of degree-two vertices, with |S| = k >= 2. We show that H has a matching of size equal to its cycle rank, |E(H)| - |V(H)| + 1, whose deletion leaves a single tree containing all of S, together with cycles disjoint from S. The proof is by induction on k, comparing the matching supplied by the hypothesis with one obtained from an auxiliary cubic tree; a single alternating-path exchange, local and insensitive to the sizes of the two matchings, drives the induction. From this theorem we deduce, in turn, that every finite connected simple fragile subcubic graph splits into a spanning tree and a matching, the 2-Decomposition Conjecture in its standard loopless-multigraph form, and finally the 3-Decomposition Conjecture.

Let \(V\) be an \(n\)-dimensional vector space over the finite field \(\Fq\), and let \(\Gr{V}{k}\) denote the family of all \(k\)-dimensional subspaces of \(V\). A family \(\cF\subseteq\Gr{V}{k}\) is called intersecting if \(\dim(F\cap F')\ge1\) for all \(F,F'\in\cF\). For a point \(P\le V\), let \(d_P(\cF)\) denote the number of members of \(\cF\) that contain \(P\), and order the point-degrees as \(d_1(\cF)\ge d_2(\cF)\ge\cdots\ge d_{\points{n}}(\cF)\), where \(\points{m}=(q^m-1)/(q-1)\) is the number of points in an \(m\)-dimensional subspace. Recent work of Frankl and Wang~\cite{FW2025} and of Huang and Rao~\cite{HR2026} established that for \(k\)-uniform intersecting families \(\cF\subseteq\binom{[n]}{k}\) with \(n\ge2k+1\), the bound \(\binom{n-2}{k-2}\) governs the order statistic \(d_{2k+1}(\cF)\). We prove that every intersecting family \(\cF\subseteq\Gr{V}{k}\) with \(n\ge2k+1\) satisfies \(d_{\points{k}^{2}}(\cF)\le\qbinom{n-2}{k-2}\). The naive \(q\)-analog of the Huang--Rao \((k+2)\)-th degree theorem fails, as a vector-space Hilton--Milner construction has \(\points{k+1}\) points of degree larger than \(\qbinom{n-2}{k-2}\); we prove the corrected bound \(d_{1+\points{k+1}}(\cF)\le\qbinom{n-2}{k-2}\) for fixed \(q\), sufficiently large \(k\), and \(n>3k\), using a structural theorem of Ihringer and Kupavskii~\cite{IK2026}. For larger degree indices \(i\), a saturated Frankl--Hilton--Milner family of Ihringer and Kupavskii identifies the conjectural sharp bound on \(d_{\points{i+1}}(\cF)\), and we prove two necessary conditions that any strict counterexample to this conjecture must satisfy.

Ricci curvature and its associated flow offer powerful geometric methods for analyzing complex networks. While existing research heavily focuses on applications for undirected graphs such as community detection and core extraction, there have been relatively less attention on directed graphs. In this paper, we introduce a definition of Ricci curvature and an accompanying curvature flow for directed graphs. Crucially, for strongly connected directed graphs, this flow admits a unique global solution. We then apply this flow to detect strongly connected subgraphs from weakly connected directed graphs. (A weakly connected graph is connected overall but not necessarily strongly connected). Unlike prior work requiring graphs to be strongly connected, our method loosens this requirement. We transform a weakly connected graph into a strongly connected one by adding edges with very large artificial weights. This modification does not compromise our core subgraph detection. Due to their extreme weight, these added edges are automatically discarded during the final iteration of the Ricci curvature flow. For core evaluation, our approach consistently surpasses traditional methods, achieving better results on at least two out of three key metrics. The implementation code is publicly available at https://github.com/12tangze12/Finding-core-subgraphs-on-directed-graphs.

Over the past years, Polar codes have arisen as a highly effective class of linear codes, equipped with a decoding algorithm of low computational complexity. This family of codes share a common algebraic formalism with the well-known Reed-Muller codes, which involves monomial evaluations. As useful algebraic codes, more specifically known as decreasing monomial codes, a lot of decoding work has been done on Reed-Muller codes based on their rich code automorphisms. In 2021, a new permutation group decoder, referred to as the automorphism ensemble (AE) decoder, was introduced. This decoder can be applied to Polar codes and has been shown to produce similar decoding effects. However, identifying the right set of code automorphisms that enhance decoding performance for Polar codes remains a challenging task. This paper aims to characterize the full automorphism group of Polar codes. We will prove a reduction theorem that effectively reduces the problem of determining the full automorphism group of arbitrary random Polar codes to that of a specified class of Polar codes. Besides, we give exact classification of the full automorphism groups of families of Polar codes that are constructed using the Reed-Muller codes.