The research proves that VPnc is closed under taking factors over every field.
Claims
The research proves that VPnc is closed under taking factors over every field.
Parent: Computer ScienceEntity: Noncommutative Algebraic ComplexityImpact: positiveDate: Nov 3, 2026 - Nov 4, 2026Target: VPnc is closed under taking factors over every field
If a noncommutative circuit of size s computes a nonconstant polynomial of degree at most D, then each left or right factor has a circuit of size O(sD^3).
Parent: Computer ScienceEntity: Noncommutative Algebraic ComplexitySub-entity: Circuit Size BoundsImpact: positiveDate: Nov 3, 2026 - Nov 4, 2026Target: Each left or right factor has a circuit of size O(sD^3)
A central factor g in a decomposition f=agb, with nonconstant outer factors a,b, has a circuit of size O(sD^6).
Parent: Computer ScienceEntity: Noncommutative Algebraic ComplexitySub-entity: Central FactorImpact: positiveDate: Nov 3, 2026 - Nov 4, 2026Target: A central factor g in a decomposition f=agb has a circuit of size O(sD^6)
Source posts
Factor Closure in Noncommutative Algebraic Complexity https://arxiv.org/abs/2611.02039v1
Authors: V. Arvind, Pushkar S. JoglekarWe prove that $VPnc$ is closed under taking factors over every field. If a noncommutative circuit of size $s$ computes a nonconstant polynomial of degree at most $D$, then each left or right factor has a circuit of size $O(sD^3)$. A central factor $g$ in a decomposition $f=agb$, with nonconstant outer factors $a,b$, has a circuit of size $O(sD^6)$.
The pro
0 boosts · 0 favs · 0 replies · Nov 3, 2026
TR26-300 | Factor Closure in Noncommutative Algebraic Complexity |
Pushkar Joglekar,
Vikraman Arvind https://eccc.weizmann.ac.il/report/2026/300
We prove that $VPnc$ is closed under taking factors over every field. If a noncommutative circuit of size $s$ computes a nonconstant polynomial of degree at most $D$, then each left or right factor has a circuit of size $O(sD^3)$. A central factor $g$ in a decomposition $f=agb$, with nonconstant outer factors $a,b$, has a circuit of size
0 boosts · 0 favs · 0 replies · Nov 4, 2026