Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On the generation of the symmetric group by index relations of three prefix reversals
The cubic pancake graphs are Cayley graphs over the symmetric group Sn generated by three prefix reversals. There is the folllowing open problem: characterize all the sets of three prefix reversals that generate Sn. Blanco and Golubyatnikov give a complete solution of the problem when any of the two smallest or the two largest lengths but n are included in a triple of prefix reversals. According to their conjectures, we give some conditions implying a triple of prefix reversals does not generate Sn. Moreover, Using the symmetric groups that can already be generated by three prefix reversals, we can derive some recurrence conditions.
Spectral and edge conditions for negative Hamiltonian cycles in unbalanced signed graphs
Spectral conditions for Hamiltonian cycles are a fundamental subject in extremal spectral graph theory. For simple unsigned graphs, Fiedler and Nikiforov [Linear Algebra Appl., 432 (2010), 2170-2173] pioneered this direction, and Li and Ning [Linear Multilinear Algebra, 64 (2016), 2252-2269] later extended these results by introducing minimum degree parameters. In this paper, we study the spectral conditions for the existence of a negative Hamiltonian cycle in unbalanced signed graphs of order n > 8. We first determine the maximum index among all n-vertex unbalanced signed graphs containing no negative Hamiltonian cycle, and characterize the corresponding extremal graphs up to switching isomorphism. Furthermore, we establish an upper bound on the number of edges in unbalanced signed graphs of order n >= 7 with frustration index one, and classify all extremal graphs achieving this bound.
On the maximal index of $C_4^-$-free unbalanced signed graphs of prescribed size
The extremal problem of determining the graphs with maximum spectral radius among all graphs with a prescribed number of edges was resolved by Rowlinson [Linear Algebra Appl. 110 (1988) 43--53]. A signed graph $Γ=(G,σ)$ is called $C_k^-$-free if it contains no negative $k$-cycle as a signed subgraph. The index of a signed graph is defined as the largest eigenvalue of its adjacency matrix. This paper addresses the maximization of the index of unbalanced signed graphs. For signed graphs of a prescribed order, Wang and Lin [Discrete Appl. Math. 372 (2025) 164--172] determined the maximum index of $C_4^{-}$-free unbalanced signed graphs. Subsequently, Wang, Peng and Hou [Discrete Math. 349 (2026) 114871] characterized the unbalanced signed graphs of prescribed size with maximum index. This paper treats the edge spectral Turán-type problem for $C_4^-$-free unbalanced signed graphs. The all-positive signed graph with underlying graph $G$ is denoted by $(G,+)$. Evidently, $A((G,+))=A(G)$. In particular, $(H_{d,t},+)$ is the all-positive signed graph whose underlying graph is $H_{d,t}$, where $H_{d,0}=K_d$ and for $t>0$, $H_{d,t}$ is obtained from $K_d$ by adding a single vertex adjacent to exactly $t$ vertices of $K_d$. Let $m-3=\binom{d}{2}+t$ with $0\le t\le d-1$. Up to switching isomorphism and the addition of isolated vertices, the unique extremal unbalanced signed graph is obtained by attaching a negative triangle to a specified vertex of the all-positive signed graph $(H_{d,t},+)$.
The signless Laplacian spectral Turán problems for disjoint triangles
The classical Turán-type problem for graphs forbidding $k$ disjoint triangles has been resolved firstly by Erdős [Arch. Math. 13 (1962) 222-227] for graphs of sufficiently large order and improved by Moon [Canad. J. Math. 20 (1968) 95-102], who established that the unique edge extremal graph is $K_{k-1}\vee T_2(n-k+1)$ for $n> \frac{19k-11}{2}$. In this paper, we determine the maximum signless Laplacian spectral radius among all $kK_3$-free graphs of order $n$ and characterize the unique signless Laplacian spectral extremal graph $K_{k-1}\vee T_{2}(n-k+1)$ for all $k\ge 2$ and sufficiently large $n$.
Bipartite solutions of the set-theoretic Yang--Baxer equation
We introduce a new class of unitary set-theoretic Yang--Baxter solutions, called \emph{bipartite} solutions. This class, which is purely combinatorial in nature, forms a full subcategory of $\mathcal{LYB}$, the category of Lyubashenko type solutions of Agore, Chirvasitu and the author, and is particularly amenable to explicit classification results. We give an intrinsic necessary and sufficient condition for a solution of the Yang--Baxter equation to be isomorphic to a bipartite solution, we settle the isomorphism problem within this class and, as an application, we determine their automorphism groups. If $X$ is a finite set with $|X| = n$, the number of isomorphism classes of bipartite solutions on $X$ is $\lfloor n/2 \rfloor + 1 + \sum_{m=2}^{n} \bigl( o(m, n-m) - 1 \bigr)$, where $o(m, k)$ denotes the number of orbits of the symmetric group $S_m$ acting by conjugation on the $k$-element multisets of elements of $S_m$. The paper also offers a comparative study: for small $|X| = n$ we count, up to isomorphism, all set-theoretic Yang--Baxter solutions on $X$, together with five distinguished families of solutions. Throughout the range we were able to compute, the class $\mathcal{LYB}$ accounts for a large share of all bijective and of all non-degenerate solutions, strikingly close to the total.
Arithmetic Conditions for the Invertibility of Circulant Matrices over Finite Fields
This paper investigates arithmetic conditions, over finite fields, for the invertibility of circulant matrices whose first row is $(a_0,\ldots,a_{n-1})$, in terms of linear constraints on the entries $a_0,\ldots,a_{n-1}$. The coefficients of such linear constraints are determined by field traces arising from Frobenius orbits of roots of unity, and under additional assumptions they are given by Ramanujan sums reduced modulo the characteristic of the given field. These results provide finite-field analogues of the corresponding criteria over $\mathbb{Q}$, where the relevant Ramanujan-sum linear constraints can be formulated without such additional assumptions, while also showing some differences caused by reduction modulo the characteristic. The constraints can often determine invertibility using aggregate information about the entries of a row, rather than the particular pattern of the entries. We also discuss the polynomial gcd criterion, which gives necessary and sufficient conditions for invertibility and yields further consequences for special families of circulant matrices.
Probabilistic and game thresholds
Let $X$ be a finite set and $\mathcal{F} \subseteq 2^X$ a non-trivial increasing property. We show that the bias-threshold $b(\mathcal{F})$ for the Picker-Chooser $\mathcal{F}$-game satisfies $b(\mathcal{F}) \ge α/ p_c(\mathcal{F})$, where $p_c(\mathcal{F})$ is the threshold for the property $\mathcal{F}$ and $α> 0$ is an absolute constant. This proves that Picker-Chooser games satisfy one-sided ``probabilistic intuition''. The proof is based on the notion of influence from the theory of boolean functions.
Weighted odd-cycle transversals and fractional colorings of planar graphs
We bound fractional chromatic numbers by establishing a connection with low-weight odd-cycle transversals. Let $\ell\geq 3$ be an integer and let $G$ be a graph of odd girth at least $\ell$ whose odd-cycle covering polyhedron is integral. For every nonnegative weight vector $w=(w_v)_{v\in V(G)}\in \mathbb{R}_{\geq 0}^{V(G)}$, we obtain a set $Z\subseteq V(G)$ such that $G-Z$ is bipartite and $w(Z)\leq\frac{mad(G)}{2\ell}w(V(G))$. Here, $w(S)=\sum_{v\in S}w_v$ for any $S\subseteq V(G)$, and $mad(G)$ denotes the maximum average degree of $G$. Consequently, if $mad(G)<2\ell$, then $G$ has fractional chromatic number at most $\frac{4\ell}{2\ell-mad(G)}$.
As applications, we prove that, for every positive integer $k$, every $n$-vertex planar graph of girth at least $2k+3$ has fractional chromatic number at most $\frac{2k+1}{k}(1-\frac{1}{kn+1})$, establishing the girth version of Naserasr's fractional coloring conjecture with a strict inequality. For $k=1$, we furthermore prove that the upper bound $\frac{3n}{n+1}$ holds for every $n$-vertex triangle-free planar graph and this is attained for infinitely many values of $n$.
Fuglede's conjecture holds in $\mathbb{F}_{p}^{d}$ for $p=2,\,d=8$ and $p=11,\,d=3$
Fuglede's conjecture in $\mathbb{F}_p^d$ says that a nonempty set tiles by translation if and only if it is spectral. We prove the conjecture in $\mathbb{F}_2^8$ and $\mathbb{F}_{11}^3$. Over $\mathbb{F}_2$ we show more generally that the Fourier support of a nonconstant indicator of density different from one half contains a plane. Consequently every spectral set of density one quarter has a subspace tiling complement. This supplies one of the dimension-eight reductions left by Kadowaki; the others are completed using classified Hadamard matrices and perfect binary codes. In $\mathbb{F}_2^9$ we prove that every tile is spectral and that every spectral set has power-of-two cardinality. All spectral cardinalities except $64$ are shown to tile, and we give further reductions of the remaining case. We also construct a spectral set of density one eighth whose Fourier support contains no three-dimensional subspace. For $\mathbb{F}_{11}^3$ we extend the geometric method of Fallon, Mayeli, and Villano by using moment identities, polynomial plane profiles, weighted incidence counts, and exact finite computations. The computations and their verification programs are described in the appendices.
Complete Determination of the Gallai--van der Waerden Number \(\mathrm{GW}(r;3,3)\)
This paper completely determines the Gallai--van der Waerden number \(\mathrm{GW}(r;3,3)\) for all integers \(r\ge 3\):
\[
\mathrm{GW}(3;3,3)=\mathrm{GW}(4;3,3)=9,\qquad
\mathrm{GW}(r;3,3)=r\quad (r\ge 5).
\]
On Arithmetic-Progression Biases in Random Partitions: Limiting Laws and the Li-Zhao Conjecture
Let $\cR=\{r+jm:j\geq0\}$ and $\cS=\{s+jm:j\geq0\}$ be disjoint arithmetic progressions of positive integers, and choose a partition of $n$ uniformly at random. We determine the limiting probability that the number of parts in $\cR$ is larger than the number of parts in $\cS$. More precisely, if $a=r/m$ and $b=s/m$, then this probability converges to $I_{1/2}(a,b)$, the regularized incomplete beta function. We prove the stronger distributional statement that, after multiplication by the partition saddle-point parameter, the difference of the two numbers of parts converges to $m^{-1}(\log G_b-\log G_a)$, where $G_a$ and $G_b$ are independent gamma variables. The proof uses the Boltzmann conditioning device for random partitions, a $q$-gamma evaluation of the unconditioned characteristic function, and a uniform Fourier estimate showing that conditioning on the total size does not change the limit. We also evaluate the finite-truncation limit studied by Li and Zhao. The two evaluations coincide, proving their conjecture on the commutation of the truncation and large-size limits.
Aleshin graphs are expanders
We prove that the Aleshin level graphs are two-sided expanders. We establish linear diameter bounds for Belaterra and Aleshin graph families. At level $n$, the diameters of the Bellaterra and undirected Aleshin graphs are a $|V_n|=2^n$. This improves the quadratic diameter bounds of Malyshev and Pak to the correct order of growth. For the Aleshin graphs we obtain a normalized spectral gap of at least $1-2\sqrt2/3$ and an edge-expansion constant of at least $3-2\sqrt2$, thereby establishing a Malyshev--Pak's Conjecture with explicit constants. An exact calculation at level ten also proves that the undirected Aleshin graphs are not Ramanujan for any $n\geq10$.
NP-Hardness of Generalized-Turán Graph Modification Problems
For graphs $G, T$ and a graph-family $\mathcal{H}$, let $ex(G,T,\mathcal{H})$ denote the maximum possible number of copies of $T$ in an $\mathcal{H}$-free subgraph of $G$. Alon and Shikhelman conjectured that for every family of graphs $\mathcal{H}$ with $χ(H) > s$ for every $H \in \mathcal{H}$, it is NP-hard to compute $ex(G,K_s,\mathcal{H})$, and even to approximate it up to additive error $n^{s-δ}$ on $n$-vertex graphs, for any fixed $δ> 0$. The case $s=2$ was established in a breakthrough result of Alon, Shapira and Sudakov. We prove the Alon-Shikhelman conjecture for finite families $\mathcal{H}$. In particular, we obtain an elementary proof of the Alon-Shapira-Sudakov result when $\mathcal{H}$ is finite.
The Ternary and Quaternary Cases of the $\{2,4\}$-Distance Code Conjecture
For an integer $q\ge2$, let $A_q(n,\{2,4\})$ be the largest cardinality of an unrestricted $q$-ary code of length $n$ in which any two distinct words have Hamming distance $2$ or $4$. We prove that \[
A_q(n,\{2,4\})=1+\binom n2
\qquad(q\in\{3,4\},\ n\ge6), \] thereby settling the two remaining alphabet sizes in the conjecture of Boyvalenkov, Delchev, Zinoviev, and Zinoviev; the binary case was settled previously. The quaternary result implies the ternary result by alphabet inclusion. For $n\ge16$, the quaternary upper bound is proved combinatorially. After normalizing one word to zero, the weight-four supports form a $2$-intersecting family; exact support intersections force symbol synchronization and restrict support multiplicities. We combine the nontrivial intersection theorem with matching arguments and a three-coordinate projection lemma. The finite lengths $6\le n\le13$ are handled by a complete Hamming-isometry reduction to exact clique decisions, and $n=14,15$ by a smaller exact weighted-clique relaxation. All finite decisions are reproduced by two standalone integer-only C++17 verifiers provided as supplementary source files.
Asymptotically Sharp Length Thresholds for \texorpdfstring{$q$}{q}-ary Codes with Distances \texorpdfstring{$2$}{2} and \texorpdfstring{$4$}{4}
For an integer $q\ge5$, let $A_q(n,\{2,4\})$ be the largest cardinality of a subset of a $q$-ary Hamming space of length $n$ in which every two distinct words have distance $2$ or $4$. Set \[ N(q)=\left\lceil\max\left\{2q+1,
\frac{17+\sqrt{8q^2+96q-95}}2\right\}\right\rceil. \] We prove that $A_q(n,\{2,4\})=1+\binom n2$ for every $n\ge N(q)$. In particular, $N(q)=2q+1$ for $q\ge26$. An explicit code of size $q(n-2)$ shows that the least eventual threshold $N_*(q)$ satisfies $N_*(q)\ge2q-1$; consequently $2q-1\le N_*(q)\le2q+1$ for every $q\ge26$. The argument applies to arbitrary integer alphabet sizes, without a linearity assumption. Its main ingredients are synchronization of symbols on intersecting supports, weighted bounds for $2$-intersecting families of four-sets, and a joint estimate for the weight-two and weight-four layers in a common-three-core configuration. No computational verification is required.
On generalized covering radii of binary primitive double-error-correcting BCH codes
Published in IEEE Trans. Inform. Theory, 2026
• Search Publication
The generalized covering radii (GCR) of linear codes are a fundamental higher-dimensional extension of the classical covering radius. While the second and third GCR of binary primitive double-error-correcting BCH codes, $\text{BCH}(2,m)$, were recently determined, their proofs relied on highly complex combinatorial arguments, and the behavior of the GCR hierarchy for larger orders $k$ has remained largely unexplored. In this paper, we introduce the Generalized Supercode Lemma, which lower-bounds the GCR of a code using the generalized Hamming weights of an appropriate supercode. Applying this lemma, we significantly streamline and simplify the proofs for the known lower bounds of $ρ_2(\text{BCH}(2,m))$ and $ρ_3(\text{BCH}(2,m))$, and we establish a new lower bound for $ρ_4(\text{BCH}(2,m))$. Furthermore, by combining combinatorial arguments with Weil-type exponential sum estimates, we investigate the GCR hierarchy for general $k$, proving that $2k \le ρ_k(\text{BCH}(2,m)) \le 2k+1$ whenever $m$ is sufficiently large compared to $k$.
Logarithmic edge-length ratios for planar drawings of 2-trees
For a planar graph $G$ with at least one edge, let $ρ(G)$ be the infimum of the ratio of the longest to the shortest edge length over all planar straight-line drawings of $G$. We prove that every $n$-vertex $2$-tree $G$ satisfies $ρ(G)\le4+5\lfloor\log_2(2n-3)\rfloor$. This improves the known $O(\sqrt n)$ upper bound and, together with the lower bound of Blažej, Fiala and Liotta, shows that the maximum of $ρ(G)$ over $n$-vertex $2$-trees is $Θ(\log n)$. The proof adapts Biedl's recursive bar construction using nonintegral heights and applies a height-preserving straightening theorem.
The achromatic number of Paley graphs, Peisert graphs, and related Cayley graphs
The achromatic number of a graph $G$, denoted $χ_a (G)$, is the maximum number of colors in a proper vertex coloring of $G$. Generalizing a result of Maistrelli and Penman, we prove that for sufficiently large $q$, the achromatic number of the $k$-th power Paley graph is at least $\frac{q-1}{k} + 1$. This lower bound gives the correct order of magnitude in $q$, but determining the correct dependence on $k$ remains open for all $k \geq 3$. The achromatic number of Peisert graphs is shown to be $\frac{q+1}{2}$. These bounds are consequences of a general theorem involving Cayley graphs whose generating set is a union of cyclotomic classes. Using character sums and Weil's bound, we prove an upper bound that improves the standard trivial bound $\binom{ χ_a (G) }{2} \leq e(G)$. Finally, we consider random Cayley-sum graphs on an abelian group $Γ$ of order $n$, where elements are included in the generating set independently with probability $\frac{1}{2}$. We prove that the achromatic and pseudochromatic number of such a graph are both at most $\frac{(\sqrt{3}+o(1))n}{\sqrt{\log_2 n}}$ with high probability.
On decomposition thresholds for odd cycles
We determine the asymptotic minimum-degree threshold for decompositions into cycles of a fixed odd length. We prove that, for each odd integer $\ell\ge3$, every $\eps>0$ and sufficiently large $n$, every $n$-vertex $C_\ell$-divisible graph $G$ with minimum degree $δ(G)\ge (\ell/(2\ell-2)+\eps)n$ has a $C_\ell$-decomposition, where $C_{\ell}$ denotes the cycle of length $\ell$. This settles the remaining cases $\ell=5,7,\ldots,71$ and completes the determination of the thresholds for all odd cycles. Our main ingredient is a sharp fractional decomposition theorem for weighted triangles: for every real $a\ge 1$,every $n$-vertex graph $G$ with $δ(G)\ge \left(\frac12+\frac{1}{2(a+1)}\right)n$ admits a fractional decomposition into triangles with edge weights $a,1,1$.
Strong Lefschetz property of the Kirchhoff algebra of the complete tripartite graph $K_{1,1,n}$
By Whitney's 2-isomorphism theorem, the cycle matroids of two graphs are isomorphic if and only if one graph can be transformed into the other by finitely many applications of two operations: separation or identification at a cut-vertex, and twisting. The complete tripartite graph whose vertex set is the disjoint union of two singletons and an $n$-element set is invariant, up to isomorphism, under these operations. In this paper we prove that the Macaulay inverse system (the Kirchhoff algebra) determined by the basis generating polynomial of the cycle matroid of such a graph has the strong Lefschetz property over a field of characteristic $0$. The proof reduces the non-degeneracy of the higher Hessians to the ranks of disjointness matrices of families of subsets (the Gottlieb--Wilson theorem) and to the representation theory of the symmetric group in relation to the Johnson scheme.