惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

Stack Overflow Blog
Stack Overflow Blog
Y
Y Combinator Blog
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
M
MIT News - Artificial intelligence
GbyAI
GbyAI
A
About on SuperTechFans
T
The Blog of Author Tim Ferriss
雷峰网
雷峰网
Blog — PlanetScale
Blog — PlanetScale
J
Java Code Geeks
IT之家
IT之家
Microsoft Azure Blog
Microsoft Azure Blog
V
V2EX
爱范儿
爱范儿
N
Netflix TechBlog - Medium
U
Unit 42
博客园 - 三生石上(FineUI控件)
WordPress大学
WordPress大学
博客园 - 叶小钗
G
Google Developers Blog
Jina AI
Jina AI
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
The GitHub Blog
The GitHub Blog
腾讯CDC

math updates on arXiv.org

Coupling-Robust Accuracy in Multiphysics Physics Informed Neural Networks via Kronecker-Preconditioned Optimization Non-normal spectral signatures of instability in neural network training dynamics Optimization of randomized neural networks for transfer operator approximation Selective Ambulance Dispatch Under Contextual Travel-Time Uncertainty LLAMA LIMA: A Living Meta-Analysis on the Effects of Generative AI on Learning Mathematics Neural Flow Operators can Approximate any Operator: Abstract Frameworks and Universal Approximations LLMs as Noisy Channels: A Shannon Perspective on Model Capacity and Scaling Laws On the Stability of Spherical Hellinger-Kantorovich Flows and Their Implications for Differential Privacy Training-Free Looped Transformers Move on Muon : A Hamiltonian probability gradient flow perspective of Muon optimizer Entrywise Error Bounds for Spectral Ranking with Semi-Random Adversaries Asymmetric Scaling Laws from Sparse Features Is Dimensionality a Barrier for Retrieval Models? RA-DCA: A Randomized Active-Set DCA for Directional Stationarity in Max-Structured DC Programs Commutator-Induced Uncertainty in VAEs Weisfeiler-Leman Is Incomplete on Simple Spectrum Graphs, so Canonicalize Them Sparse In-Network Learning via Shortest-Path Backpropagation and Finite-Rate Gating Instance-Optimal Estimation with Multiple LLM Judges on a Budget Entropy Equivalence Testing Expand More, Shrink Less: Shaping Effective-Rank Dynamics for Dense Scaling in Recommendation Any-Dimensional Invariant Universality Operationalizing Individual Fairness via Gradient Descent and Bradley-Terry Models Anytime Training with Schedule-Free Spectral Optimization Diffusion-based Denoising Beats Vanilla Score Matching in Parameter Estimation: A Theoretical Explanation Resilience Characterization of AI-Native Wireless Receivers via Persistent Homology The General Theory of Localization Methods Group-Algebraic Tensors: Provably-optimal Equivariant Learning and Physical Symmetry Discovery General Lower Bounds for Differentially Private Federated Learning with Arbitrary Public-Transcript Interactions PilotWiMAE: Pilot-Native Representation Learning for Wireless Channels Proximal basin hopping: global optimization with guarantees
Three-Edges and the SOS Rank of Biquadratic Forms
Liqun Qi, Chunfeng Cui, Yi Xu · 2026-05-11 · via math updates on arXiv.org

We extend the augmented bipartite graph framework for biquadratic sum-of-squares (SOS) ranks by introducing \emph{3-edges} -- triples of cells representing squares of three-term bilinear forms $(x_i y_j + x_k y_l + x_p y_q)^2$. The main challenge is to define suitable \emph{generalized cycle-free} conditions that are purely combinatorial yet sufficient to guarantee that the SOS rank equals the total number of edges. We give a complete definition that carefully distinguishes occupation by $1$/$2$-edges from occupation by $3$-edges, and introduce a separate condition for $3$-edges. The main theorem states that for any generalized cycle-free augmented bipartite graph $G$ satisfying the simplicity condition (S), the associated \emph{triply simple biquadratic form} $P_G$ satisfies $\operatorname{sos}(P_G) = |E_1| + |E_2| + |E_3|$. The proof extends the orthogonality method with a novel trick: when a $2$-edge and a $3$-edge interact, the $3$-edge condition must be invoked rather than the $2$-edge condition. As concrete applications, we construct a $10 \times 5$ graph using a column-fully-degenerate $3$-edge, showing $z_{3L}(10,5) \ge 27$ and $\operatorname{BSR}(10,5) \ge 27$, which separates $z_{3L}(10,5)$ from $z_L(10,5)=26$; and a $15 \times 6$ graph using a half-row-degenerate $3$-edge, improving the lower bound for $\operatorname{BSR}(15,6)$ from $43$ to $44$. These are the first explicit applications of $3$-edges (both fully degenerate and half-degenerate) to obtain improved lower bounds for $\operatorname{BSR}(m,n)$.