---
title: Two-Level Polynomials
url: https://www.emergentmind.com/topics/two-level-polynomials
type: topic
---

# Two-Level Polynomials

Searching arXiv for relevant papers on "Two-Level Polynomials" across the main technical usages of the term.
Searching arXiv for: "Two-Level Polynomials" second-order polynomials arXiv, counting with two-level polynomials, level-p complexity two-level majority.
“Two-Level Polynomials” is not a single universally fixed notion. In current arXiv usage, the phrase denotes several distinct constructions whose common feature is a stratification by two interacting layers. In higher-order complexity theory, it is used for second-order polynomials \(P(N,\Lambda)\), where \(N\) is a value variable and \(\Lambda\) ranges over monotone functions \(\ell:\mathbb N\to\mathbb N\); their degree is no longer a natural number but an arctic first-order polynomial in a symbolic variable \(D\) [2305.03439]. In combinatorics, a two-level polynomial is a family \(\{f_q\}\) in which, for fixed \(q\), \(f_q(n)\) is polynomial or quasi-polynomial in \(n\), while the degree in \(n\) and the leading codegree coefficients vary polynomially with \(q\), with a depth parameter measuring how many leading layers exhibit that behavior [2507.05473]. Other papers use related “two-level” language for iterated-majority decision-tree complexity, level-two Demazure-character polynomials, level-2 complete permutation polynomials, and a map-level versus level-set-level bilipschitz dichotomy [2302.02473; 1910.05848; 2310.12466; 1902.01584].

## 1. Terminological scope

The phrase has several established meanings, and their separation is mathematically important. In the higher-order-complexity line, “Two-Level Polynomials” are explicitly identified with second-order polynomials: formal expressions built from a numerical variable \(N\), a functional variable \(\Lambda\), the operations \(+\) and \(\cdot\), and application \(\Lambda(P)\) [2305.03439]. In the combinatorial-counting line, the same phrase denotes an infinite sequence \(\{f_q\}\) whose fixed-\(q\) specialization is polynomial or quasi-polynomial in \(n\), with degree and upper codegree coefficients controlled by polynomial functions of \(q\) up to a prescribed depth [2507.05473].

Other usages are narrower and context-specific. In Boolean decision-tree complexity, “two-level” refers to two-level iterated majority, and the relevant polynomials are expected-cost polynomials in the Bernoulli parameter \(p\) whose lower envelope gives level-\(p\) complexity [2302.02473]. In representation theory, the symmetric polynomials \(G_{\nu,\lambda}(z,q)\) interpolate between specialized Macdonald polynomials and graded characters of level two Demazure modules [1910.05848]. In finite-field theory, a polynomial is “complete to level 2” when \(f(x)\), \(f(x)+x\), and \(f(x)+2x\) are all permutation polynomials [2310.12466]. In Lipschitz geometry, a “two-level” phenomenon separates bilipschitz equivalence of polynomial maps from bilipschitz equivalence of individual level sets [1902.01584].

A recurrent misconception is to treat these meanings as interchangeable. They are not. The higher-order-complexity and combinatorial-counting theories each provide an explicit formal definition of a “two-level polynomial,” but they formalize different kinds of two-parameter structure.

## 2. Second-order polynomials in higher-order complexity

In the usage of higher-order computational complexity, a univariate second-order polynomial is a formal expression over \(\mathbb N\) with one value variable \(N\) and one functional variable \(\Lambda\), where \(\Lambda\) ranges over
\[
\mathcal L=\{\ell:\mathbb N\to\mathbb N\ \text{monotone}\}.
\]
Its syntax is
\[
P ::= 1 \mid N \mid P+Q \mid P\cdot Q \mid \Lambda(P).
\]
The semantics is structural: given \(n\in\mathbb N\) and \(\ell\in\mathcal L\), one interprets \(N\) as \(n\), \(+\) and \(\cdot\) as the usual operations on \(\mathbb N\), and \(\Lambda(P)\) as \(\ell(\#P(n,\ell))\). Monotonicity and totality of \(\ell\) are assumed throughout; there is no subtraction [2305.03439].

This formalism is motivated by higher-order complexity frameworks, including the use of length functionals \(|\varphi|:\mathbb N\to\mathbb N\) defined by
\[
|\varphi|(m)=\max\{|\varphi(x)|:|x|\le m\},
\]
as in second-order complexity for oracle computations. In that setting, \(\Lambda\) abstracts the role played by such monotone size functionals. The “two-level” designation refers to the coexistence of a first-order layer of values and a second-order layer of functions [2305.03439].

Syntactic equivalence is generated by commutativity and associativity of \(+\) and \(\cdot\), distributivity, and congruence under \(+\), \(\cdot\), and \(\Lambda\). This matters because the degree theory is required to be well defined modulo those identifications. A key semantic rigidity theorem states that if \(P_1,\dots,P_K\) are pairwise syntactically non-equivalent, then there exists \((n,\ell)\) such that the values \(\#P_k(n,\ell)\) are pairwise distinct. This rules out accidental collapse of syntactically distinct second-order polynomials at the semantic level [2305.03439].

## 3. Arctic degree, composition laws, and normal forms

The degree of a second-order polynomial is not an integer. It is an arctic first-order polynomial in one indeterminate \(D\), where “arctic” means an expression built using \(+\), \(\cdot\), and \(\max\). The inductive definition is
\[
\begin{aligned}
Deg(1) &:= 0,\\
Deg(N) &:= 1,\\
Deg(P+Q) &:= \max\{Deg(P),Deg(Q)\},\\
Deg(P\cdot Q) &:= Deg(P)+Deg(Q),\\
Deg(\Lambda(P)) &:= D\cdot Deg(P).
\end{aligned}
\]
The interpretation is structural: sums become maxima, products become sums, and each application of \(\Lambda\) multiplies the degree by \(D\). In the univariate case, every arctic polynomial stabilizes to an ordinary polynomial for sufficiently large \(D\); this asymptotic polynomial is denoted \(\lim Deg(P)\) [2305.03439].

The degree transforms cleanly under two natural notions of composition. The first, written \(P\star Q\), replaces every occurrence of \(N\) in \(P\) by \(Q\):
\[
(P\star Q)(N,\Lambda):=P(Q(N,\Lambda),\Lambda).
\]
The second, written \(P\circ Q\), replaces \(\Lambda\) in \(P\) by \(Q\):
\[
(P\circ Q)(N,\Lambda):=P(N,Q(\cdot,\Lambda)).
\]
Their degree laws are
\[
Deg(P\star Q)(D)=Deg(P)(D)\cdot Deg(Q)(D),
\]
and
\[
Deg(P\circ Q)(D)=Deg(P)(Deg(Q)(D)).
\]
Moreover, the nesting depth of \(\Lambda\) in \(P\) equals the ordinary degree of \(\lim Deg(P)\) [2305.03439].

A representative example is
\[
P(N,\Lambda)=\Lambda(N)^2+N\cdot \Lambda(N)+N^3,
\]
for which
\[
Deg(P)=\max\{2D,\;D+1,\;3\}.
\]
If
\[
Q(N,\Lambda)=\Lambda(N)+N,
\]
then \(Deg(Q)=D\) for \(D\ge 1\), and hence
\[
Deg(P\star Q)=\max\{2D,\;D+1,\;3\}\cdot D,
\]
while
\[
Deg(P\circ Q)=\max\{2D,\;D+1,\;3\}.
\]
This illustrates the difference between substituting into the value slot and substituting into the functional slot [2305.03439].

The same paper establishes a normal form for second-order polynomials using labelled directed acyclic graphs. Leaves are \(1\) and \(N\); internal nodes are labelled by expressions of the form \(\Lambda(q_u(\vec Y))\), where \(q_u\) is a multivariate first-order polynomial in the immediate child variables; roots are labelled by first-order polynomials without \(\Lambda\). After merging and normalization, syntactically equivalent sets of polynomials yield isomorphic labelled DAGs, and distinct normalized nodes can be made semantically distinct by a suitable choice of \((n,\ell)\). This gives a canonical structural representative up to isomorphism [2305.03439].

The framework extends to third-order polynomials \(P(N,\Lambda,F)\), where \(F\) ranges over monotone operators \(\Phi:\mathcal L\nearrow\mathcal L\). The corresponding degree \(DEG(P)\) is an arctic second-order polynomial in \((D,\Delta)\), with rules
\[
DEG(\Lambda(P))=D\cdot DEG(P),\qquad DEG(F(P))=\Delta(DEG(P)),
\]
and three composition laws, one for replacing \(N\), one for replacing \(\Lambda\), and one for replacing \(F\) [2305.03439]. This suggests a hierarchical degree calculus for higher types.

## 4. Two-level polynomials in combinatorial counting

In the counting literature, a two-level polynomial is an infinite sequence \(\{f_q\}_{q\in S}\) indexed by a parameter \(q\), where each \(f_q(n)\) is polynomial in \(n\) of degree \(g(q)\), and the leading codegree coefficients are polynomial in \(q\) up to a depth \(e(q)\). Here \(g\) is an eventually nonnegative numerical polynomial, \(S=\{q\in\mathbb N:g(q)\ge 0\}\), and \(e:S\to \mathbb N\cup\{-1,\infty\}\). Writing
\[
f_q(n)=\sum_{r=0}^{\infty} c_r(q)\, n^{g(q)-r},
\]
with \(c_r(q)=0\) for \(r>g(q)\), the requirement is that there exist polynomials \(\phi_r(q)\) such that \(c_r(q)=\phi_r(q)\) whenever \(r\le e(q)\). The quasi-polynomial version allows periodic dependence on \(n\) via a period function \(p(r)\) and coefficient polynomials \(\phi_{r,i}(q)\) indexed by residue classes \(i \bmod p(r)\) [2507.05473].

Depth is the central refinement. Infinite depth means that all codegree coefficients agree with polynomial functions in \(q\), including the zero coefficients beyond the degree. Finite depth means only the top portion of the coefficient array behaves polynomially in \(q\). Depth \(-1\) is used to accommodate formal manipulations in which no coefficient agreement is required [2507.05473].

The algebra of these objects is robust. If \(f_q(n)\) and \(f_q'(n)\) are two-level quasi-polynomials of degrees \(g\) and \(g'\), depths \(e\) and \(e'\), and period functions \(p\) and \(p'\), then their product is a two-level quasi-polynomial of degree \(g+g'\), depth \(\min(e,e')\), and period \(\mathrm{lcm}(p,p')\). Scalar multiplication by a polynomial \(h(q)\) preserves depth unless \(h\equiv 0\), in which case the resulting depth is \(\infty\). If the leading coefficient is constant, powers \(f_q(n)^{h(q)}\) normalize to monic two-level quasi-polynomials. Aligned infinite sums and composition in \(n\) with a fixed polynomial \(h(n)\) also preserve the structure, with explicit formulas for the resulting degree, depth, and periods [2507.05473].

A general schema proves two-level polynomiality by organizing a counting problem into “objects,” “cruxes,” and “foundations.” The crux captures the \(n\)-dependence; the foundation captures the \(q\)-dependence. Conditions S1–S9 control how crux types, foundation isomorphisms, and codegrees interact. The resulting theorem implies that a large class of combinatorial counts is two-level polynomial or two-level quasi-polynomial [2507.05473].

The examples are broad. For chromatic polynomials, the path family satisfies
\[
\chi_{P_q}(n)=n(n-1)^{q-1},
\]
with degree \(d(q)=q\) and
\[
c_{q-r}(q)=(-1)^r \binom{q-1}{r}
\]
for \(0\le r\le q-1\), giving infinite depth. Cycles satisfy
\[
\chi_{C_q}(n)=(n-1)^q+(-1)^q(n-1),
\]
with degree \(q\) and depth \(q-2\). The grid \(P_q\times P_q\) has degree \(q^2\), leading coefficient \(1\), codegree-1 coefficient \(-2q(q-1)\), and codegree-2 coefficient \(2q^4-4q^3+q^2+q\) [2507.05473].

Other examples include the partition numbers \(p_q(n)\), which are quasi-polynomial in \(n\) of degree \(q-1\); nonattacking rook counts
\[
R_q(n)=\binom{n}{q}^2 q!,
\]
which form a two-level polynomial of degree \(2q\) and infinite depth; labeled nonattacking queens, which form a two-level quasi-polynomial of infinite depth via inside-out polytopes; ordered Sidon sets, with degree \(q\) and leading coefficient \(1\); and Sheffer sequences defined by
\[
\sum_{q\ge 0} f_q(n)\frac{t^q}{q!}=a(t)e^{n b(t)},
\]
for which \(f_q(n)/b_1^q\) is a monic two-level polynomial of degree \(q\) and infinite depth [2507.05473].

In this usage, “two-level” refers to a two-parameter asymptotic organization: fixed-\(q\) polynomiality in \(n\), with \(q\)-polynomial control over degree and upper codegree data. This is conceptually different from the second-order-polynomial formalism, even though both theories use a two-layer structure.

## 5. Other mathematically distinct uses of the term

In Boolean decision-tree complexity, the relevant object is not a family \(\{f_q\}\) or a second-order term \(P(N,\Lambda)\), but a set of expected-cost polynomials in the Bernoulli parameter \(p\). For a decision tree \(T\) computing a Boolean function \(f\),
\[
D_p(f)=\min_T \mathbb E_p[\mathrm{Cost}_T(X)],
\]
and for any fixed tree the recurrence
\[
E_p[\mathrm{Cost}_T]=1+(1-p)E_p[\mathrm{Cost}_{T_0}]+pE_p[\mathrm{Cost}_{T_1}]
\]
implies polynomial dependence on \(p\). The level-\(p\) complexity is therefore the lower envelope of a finite set of polynomials. For the two-level iterated majority \(\mathrm{Maj}_3^2\), the lower envelope collapses to a single polynomial,
\[
4+4p+6p^2+9p^3-61p^4+23p^5+67p^6-64p^7+16p^8,
\]
which strictly improves the earlier conjectured polynomial of Jansson [2302.02473].

In representation theory, the polynomials
\[
G_{\nu,\lambda}(z,q)=\sum_{\mu\in P^+} q^{(\lambda+\nu-\mu,\nu)}\, a_{\lambda,\mu-\nu}(q)\, P_\mu(z;q,0)
\]
form a two-parameter symmetric-function family indexed by dominant weights. They satisfy
\[
G_{\nu,0}(z,q)=P_\nu(z;q,0),\qquad G_{0,\lambda}(z,q)=G_\lambda(z,q),
\]
and \(G_{0,\lambda}(z,q)\) is the graded character of a level two Demazure module associated to \(\widehat{\mathfrak{sl}}_{n+1}\). For admissible pairs \((\nu,\lambda)\), \(G_{\nu,\lambda}(z,q)\) is Schur positive [1910.05848].

In finite-field theory, “two-level” appears through completeness to level \(2\). A polynomial \(f(x)\in \mathbb F_q[x]\) is complete to level \(k\) if
\[
f(x),\ f(x)+x,\ f(x)+2x,\ \dots,\ f(x)+kx
\]
are all permutation polynomials. For odd characteristic, this yields an explicit level-2 notion. The families
\[
f_c^+(x)=x+c\sum_{j=1}^{m}x^{j(q-1)},\qquad
f_c^*(x)=x+c x\sum_{j=1}^{m}x^{j(q-1)}
\]
are complete to level \(p-2\) on \(\mathbb F_{q^n}\), and hence are 2-complete when \(p\ge 5\); scaled versions become maximally complete, of level \(p-1\), on fields with a middle subfield [2310.12466].

In Lipschitz geometry, the family
\[
f_s(x,y)=x(x^2y^2-sxy-1)
\]
exhibits a two-tier classification phenomenon: distinct parameters \(s\) give polynomial maps that are not right-bilipschitz equivalent at infinity, yet selected level sets can still be bilipschitz equivalent. Over \(\mathbb R\), \(f_s\) and \(f_{s'}\) are not right-bilipschitz equivalent at infinity when \(s\neq s'\), but the paper constructs explicit bilipschitz maps sending \(L_0(f_0)\) to \(L_0(f_1)\) and \(L_1(f_0)\) to \(L_1(f_1)\) [1902.01584].

A neighboring but separate notion is the “level of a pair of polynomials” \((g,f)\) in characteristic \(p\), defined as the minimal \(e\) such that some \(\delta\in\mathcal D_R^{(e)}\) satisfies
\[
\delta\!\left(\frac{g}{f}\right)=\left(\frac{g}{f}\right)^p.
\]
This depends only on the rational function \(g/f\) and can be infinite [1903.11311]. Despite the shared vocabulary of levels, this theory is not a definition of “two-level polynomials” in the sense of [2305.03439] or [2507.05473].

## 6. Applications, limitations, and open directions

The second-order-polynomial formalism is designed for higher-order computational complexity. Its degree calculus supports modular reasoning under substitution, oracle composition, and operator nesting. The paper also notes that if oracle machines have running times bounded by second-order polynomials \(P(N,\Lambda)\) and \(Q(N,\Lambda)\), then the degrees of the composed bounds transform according to the star and circle laws. This gives a refined classification beyond mere \(\Lambda\)-nesting depth [2305.03439].

Its limitations are explicit. The theory assumes \(\ell\) is nondecreasing and total, and it relies on the absence of subtraction. Univariate arctic stabilization yields an exact ordinary polynomial for large \(D\), but in the multivariate arctic setting stabilization only holds up to constant factors. The paper sketches multivariate generalizations and further orders, including interest in monotone functions \(\ell:\mathbb N^m\to\mathbb N\), but does not establish a full theory there [2305.03439].

The counting theory is intended for uniform asymptotics in two parameters. It packages a large range of graph-polynomial, partition, chess-placement, inside-out-polytope, Sidon-set, and Sheffer-sequence phenomena into a single framework. Its principal technical device is the control of codegree layers through depth. The limitations are equally specific: depth can drop under addition when degrees differ by a nonconstant amount or when leading coefficients cancel; many quasi-polynomial periods grow with codegree; some families, such as products of paths or cycles, yield only finite depth; and open problems remain for flow polynomials, anti-magic squares, uniform period bounds, and large-\(q\) coefficient asymptotics [2507.05473].

The alternative uses of “two-level” have their own boundaries. The generic library for level-\(p\) complexity becomes too slow for deeper iterated majority, even though thinning, memoization, and exact polynomial comparison suffice for \(\mathrm{Maj}_3^2\) [2302.02473]. The higher-level-completeness construction for permutation polynomials reaches the maximal level \(p-1\) only when the field has a middle subfield; for fields without such a subfield, the paper guarantees level \(p-2\) but does not settle level \(p-1\) [2310.12466]. In bilipschitz geometry, map-level moduli and fiberwise equivalence coexist, showing that topological or level-set information alone does not determine bilipschitz classification at infinity [1902.01584].

Across these literatures, the phrase “Two-Level Polynomials” consistently signals a structured interaction between two regimes rather than a single algebraic species. In higher-order complexity the two levels are values and functionals; in combinatorial counting they are the \(n\)-variable polynomial law and the \(q\)-parameterized degree-and-coefficient law; in the other usages they refer to two-level circuit composition, level-two representation-theoretic data, level-2 completeness, or a split between map-level and fiber-level geometry. The unifying theme is not a shared definition, but a shared methodology of encoding one layer of polynomial behavior inside another.

Source: https://www.emergentmind.com/topics/two-level-polynomials