arXiv subjects

Zikang Deng

Publications and source records attributed to Zikang Deng.

6 recordsLinked to original sources

arXiv2026

A Proof of the Common Root Conjecture for Legendre Polynomials

We prove Stieltjes' common root conjecture: Legendre polynomials of distinct degrees have no common nonzero root. We construct an auxiliary polynomial and show that, for the relevant power of two $q\ge2$, the edge of slope $1/q$ in its $2$-adic Newton polygon has horizontal length less than $3q$. If a common nonzero root existed, Newton polygon theory and the Legendre differential equation would force the same edge to have horizontal length at least $3q$, yielding a contradiction.

math.GM↗

arXiv2026

A proof of the irreducibility conjecture for Legendre polynomials

We prove the irreducibility conjecture for Legendre polynomials proposed by Stieltjes in his 1890 letter to Hermite. Assuming a nontrivial factorization, we take the differences between roots belonging to distinct factors, multiply these differences, and include the leading coefficients to obtain a nonzero integer, the resultant of the two factors. We first bound the exponent with which each odd prime divides this integer, obtaining an upper bound for its odd part. We then use an identity for derivatives at roots, derived from the Legendre differential equation, to prove that the same odd part exceeds another explicit quantity. Comparing the two bounds rules out all factorizations for original degrees $n \ge 100000$. The remaining degrees are covered by Groth's previously established finite-range result.

math.GM↗

arXiv2026

A Proof of a Conjecture on a Pólya Functional

Let $λ_1(Ω)$ and $T(Ω)$ denote the first Dirichlet eigenvalue and torsional rigidity of a bounded convex domain $Ω\subset\mathbb{R}^2$, and let $M=\max_Ωu$, where $u$ is the torsion function. We prove the sharp inequalities $π^2/24<λ_1(Ω)T(Ω)/|Ω|<π^2/12$. This proves the two-dimensional case of Conjecture 4.2 proposed by van den Berg, Buttazzo, and Pratelli. Its planar formulation was later restated as Conjecture 1.1 by Bañuelos and Mariano, who proved it for triangles and rectangles. The lower bound follows by combining Payne's strict estimate for $λ_1M$ with the sharp torsion-efficiency inequality $T(Ω)\geq |Ω|M/3$. For smooth strictly convex domains, we use an Airy stress potential to construct a convex body whose surface-area measure is the torsional first-variation measure. A sharp one-dimensional inequality for directional maximum profiles then yields a stronger geometric containment. For the upper bound, we factor the Pólya functional through the second torsion moment. A level-set torsion--perimeter inequality gives the factor $5/6$, while a sharp weighted one-dimensional estimate gives the factor $π^2/10$. Collapsing triangles and elongating rectangles show that both endpoint constants, as well as the efficiency constant $1/3$, are sharp.

math.AP↗

arXiv2026

A Counterexample to the Closed Nodal-Line Conjecture for the Third Eigenfunction of the Planar Dirichlet Laplacian

A Counterexample to the Closed Nodal-Line Conjecture for the Third Eigenfunction of the Planar Dirichlet Laplacian Zikang Deng Levitin and Yagudin conjectured in Conjecture 4.3 of LMS J. Comput. Math. 6 (2003) that, if the third Dirichlet eigenvalue of a connected planar domain is simple, then not all nodal lines of a corresponding eigenfunction can be closed. We construct a counterexample: a bounded connected planar domain with smooth boundary whose third Dirichlet eigenvalue is simple and for which the entire interior nodal set of every corresponding nonzero real eigenfunction is compactly contained in the domain. In fact, the nodal set consists of exactly two disjoint real-analytic simple closed curves. Starting from the Payne-conjecture counterexample of Dahne, Gomez-Serrano, and Hou, we connect two reflected copies by a symmetric thin neck. Reflection splits the spectrum into mixed Dirichlet-Neumann and Dirichlet spectra on a half-domain. A transverse Poincare inequality and the min-max principle yield convergence of both spectra to the base-domain spectrum, while boundary unique continuation gives strict separation at equal indices and places the even second branch at the third spectral position. Local eigenfunction convergence preserves strict sign inequalities; Courant's theorem confines the nodal set; and an Euler count determines its topology. A smooth inner exhaustion completes the construction.

math.SP↗

arXiv2026

Ball Rigidity of Local Minimizing Domains for the Best Fractional Sobolev Constant: The Subquadratic Case

After Corollary 1.3 in Calculus of Variations and Partial Differential Equations 60 (2021), Paper 231, Djitte, Fall, and Weth asked whether, when $1<p<2$, a volume-constrained local minimizing domain for the best fractional Sobolev constant must still be a ball. This paper solves that problem. Let $0<s<1$, $1<p<2$, and let $Ω\subset\mathbb{R}^N$ be a bounded $C^3$ domain. If $Ω$ is a local minimizing domain for $λ_{s,p}(Ω)=\inf{[u]_s^2:u\in\mathcal{H}*0^s(Ω),\ |u|*{L^p(Ω)}=1}$ under smooth volume-preserving deformations, then $Ω$ is a ball. The proof first uses the fractional Hadamard formula to reduce shape minimality to the overdetermined boundary condition $u/δ^s=C_0$. To overcome the moving-plane obstruction caused by the failure of $u^{p-1}$ to be Lipschitz at zero, we establish a weighted singular narrow-domain maximum principle whose absorption factor is exactly the $sp/N$ power of the measure of the negative set. The difficulty at a corner is resolved by a finite boundary expansion: setting $ρ=sp$, the boundary quotient is composed of finitely many constant-coefficient normal powers $δ^{kρ}$ and a $C^{1,\varepsilon}$ remainder; when $kρ=1$, the unique resonant correction is $δ\logδ$. This expansion makes all lower-order normal terms on the two sides of an orthogonal corner cancel, thereby yielding the first-order tangential vanishing required by the moving-plane corner lemma. The method does not require the domain to be convex and covers the full range $0<s<1$ and $1<p<2$.

math.AP↗

arXiv2026

P=NP

This paper investigates an extremely classic NP-complete problem: How to determine if a graph G, where each vertex has a degree of at most 4, can be 3-colorable(The research in this paper focuses on graphs G that satisfy the condition where the degree of each vertex does not exceed 4. To conserve space, it is assumed throughout the paper that graph G meets this condition by default.). The author has meticulously observed the relationship between the coloring problem and semidefinite programming, and has creatively constructed the corresponding semidefinite programming problem R(G) for a given graph G. The construction method of R(G) refers to Theorem 1.1 in the paper. I have obtained and proven the conclusion: A graph G is 3-colorable if and only if the objective function of its corresponding optimization problem R(G) is bounded, and when the objective function is bounded, its minimum value is 0.

cs.CC↗