arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.17565

On the Real Waring Rank of a Biharmonic Form

Hua-Lin Huang·Yiming Liu·Yilun Tang
View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop an effective method for determining the real Waring rank and the real border rank of biharmonic binary forms. By means of real apolarity, we convert both of these problems into membership questions for regions bounded by a hypocycloid and an epicycloid. We further provide a computable algebraic criterion for the relevant memberships, which involves only the signs of certain real-valued resultants.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hua-Lin Huang, Yiming Liu, Yilun Tang. 2026-10-13. On the Real Waring Rank of a Biharmonic Form. https://arxiv.org/abs/2610.17565

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Orthogonality of Defect Ideals for Jordan Homomorphisms

Let $φ\colon A\to B$ be a Jordan homomorphism of associative algebras over a field $\mathbb{F}$ of characteristic different from $2$, with defect ideals $V_φ$ and $W_φ$. If $A=\operatorname{Alg}([[A,A],[A,A]])$, then $V_φW_φ=W_φV_φ=0$ and $V_φ\cap W_φ\subseteq\operatorname{Ann}(\operatorname{Alg}(φ(A)))$. Moreover, the induced map modulo $V_φ\cap W_φ$ is standard. The annihilator bound is sharp, even in finite dimension. As an application, when $A$ is unital and $A=K(A)$, every Jordan homomorphism defined on $A$ is splittable and standard. In this setting, the corresponding result of Brešar and Zelmanov holds without the surjectivity hypothesis.

math.RA↗
arXiv2026

Actions of central Morita monoidal groupoids, and seven term exact sequences of all types

We introduce a strict monoidal groupoid associated with a given commutative ring $K$. It acts on the Clifford extension systems of $K$-central algebras which are graded by a group $G$, as well as on the generalized collective characters, both of type $ϕ\in$ Hom$(G,$ Aut$(K))$. These actions partition the two sets above with respect to graded Morita equivalence. By that we establish a seven term exact sequence of type $ϕ$, which boils down to the celebrated Chase-Harrison-Rosenberg sequence when $ϕ$ is Galois.

math.RA↗
arXiv2026

Standard identities for polynomial vector fields

Let $W_n$ be the Lie algebra of polynomial vector fields in $n$ variables over a field of characteristic zero, and let $s_k$ denote the alternating sum of compositions of $k$ vector fields. The identity $s_{n^2+2n-1}=0$ has been asserted for arbitrary $n$. We give an explicit counterexample in dimension five, verified by an exact integer computation of a $34$-commutator. Together with the known vanishing of $s_{35}$, this shows that $35$ is the least degree of a standard identity on $W_5$. We then prove that $s_{n^2+2n-1}=0$ for every even $n\geq2$. The proof uses Lie algebra homology with coefficients in the polynomial algebra modulo constants and a lemma on invariant tensors. We describe the computation and provide the source code and verification results.

math.RA↗