Odrzywołek (2026) arXiv:2603.21852

One Operator

How a single equation generates all elementary functions — and what it reveals about mathematical complexity.

In March 2026, Andrzej Odrzywołek published a proof that a single binary operator generates every elementary function as a finite binary tree:

eml(x, y) = exp(x) − ln(y)

Exponentials. Logarithms. Trigonometry. Polynomials. All of them — as finite compositions of this one operator with the constant 1. Not approximately. Exactly.

The simplest case

Set y = 1. Since ln(1) = 0, the equation becomes eml(x, 1) = exp(x). One application. The entire exponential function from a single node in the tree.

The barrier

Now try sin(x) over the reals. You can't build it. A finite EML tree is real-analytic, and a non-zero real-analytic function has isolated zeros. But sin(x) zeros at every multiple of π. That is not yet a contradiction, since sin is real-analytic with isolated zeros too: the Infinite Zeros Barrier needs a bound on how many zeros a finite tree can have, and that bound is still open. MachLib rules sin out another way, by periodicity. Read it →

The bypass

Over ℂ, eml(ix, 1) = exp(ix) = cos(x) + i·sin(x). One node. Depth ∞ over ℝ vs. depth 1 over ℂ. Same function, different domain, different complexity. Why →

Complexity strata

Depth 4 is not empty, though: in EML tree depth, x + 1 needs exactly 4 on (0, ∞). Full depth atlas → · Theorem catalog →

The completeness conjecture

Among all 16 exp-ln operators, 8 are conjectured to be completely expressive over ℂ: EML, EAL, EXL, EDL, EPL, LEAd, ELAd, ELSb. For EML it is the published result; over ℝ, EAL is not, since every real EAL tree is nondecreasing. The proposed structural rule is simple — if the operator has exp(+x) with no domain restriction, it is exactly complete. If it has exp(−x), it is incomplete. One rule would explain all 16 cases, but T26–T28 have no proofs. Does exp(+x) mean complete? →

The open problem

Can you construct i from {1} under strict principal-branch ln? Depth-6 values reach Im ≈ 0.99999524. The gap of 4.76×10⁻⁶ is structural — tan(1) is transcendental (Lindemann–Weierstrass). The near-miss →

Research blog

17 THEOREM-tier results in the catalog · depth atlas · monogate.dev · Paper: arXiv:2603.21852 · pip install monogate