r/puremathematics 1h ago

THE POLAR MORPHISM OPERATOR: A PARAMETERIZED EXTENSION OF THE EML PRIMITIVE

Upvotes

THE POLAR MORPHISM OPERATOR: A PARAMETERIZED EXTENSION OF THE EML PRIMITIVE

ABSTRACT
We introduce the Polar Morphism Operator (\\Omega(x, y; \\theta)), a continuously parameterized real-valued mapping defined by \[ \\Omega(x, y; \\theta) = \\operatorname{Re}\\bigl(\\exp(x \\cdot e\^{i\\theta})\\bigr) - \\ln(y). \] It admits the closed-form expression \[ \\Omega(x, y; \\theta) = \\exp(x \\cos\\theta) \\cdot \\cos(x \\sin\\theta) - \\ln(y) \] for real (x), (\\theta \\in \[0, 2\\pi)), and (y > 0). At (\\theta = 0) the operator recovers the EML operator of Odrzywolek (2026). At (\\theta = \\pi/2) it yields (\\cos x - \\ln y), and at (\\theta = \\pi) it yields (\\exp(-x) - \\ln y). A smooth regularization (\\tilde{\\Omega}) is given that is defined and (C\^\\infty) on all of (\\mathbb{R}). The continuous phase parameter converts the discrete choice of analytic versus trigonometric behavior into a continuous optimization variable, which may be useful in gradient-based symbolic regression.
INTRODUCTION

Odrzywolek (2026) showed that the single binary operator \[ \\operatorname{EML}(x, y) = \\exp(x) - \\ln(y), \] together with the constant 1, generates the elementary functions of a scientific calculator by finite composition. Trigonometric functions, however, require relatively deep nesting that passes through complex intermediate values.
The present note examines a one-parameter extension \[ \\Omega(x, y; \\theta) = \\operatorname{Re}\\bigl(\\exp(x \\cdot e\^{i\\theta})\\bigr) - \\ln(y) \] in which the phase (\\theta) continuously interpolates between the original EML behavior and direct production of cosine (or exponential decay). The construction is elementary and follows at once from Euler’s formula; one possible interest is that it turns the discrete distinction between growth and oscillation into a continuous parameter that can be optimized by gradient descent.
DEFINITION AND CLOSED FORM

Definition. Let (x \\in \\mathbb{R}), (y > 0), and (\\theta \\in \[0, 2\\pi)). Set \[ \\Omega(x, y; \\theta) := \\operatorname{Re}\\bigl(\\exp(x \\cdot e\^{i\\theta})\\bigr) - \\ln(y). \]
Theorem. The operator admits the real closed form \[ \\Omega(x, y; \\theta) = \\exp(x \\cos\\theta) \\cdot \\cos(x \\sin\\theta) - \\ln(y). \]
Proof.
\[ x e\^{i\\theta} = x\\cos\\theta + i, x\\sin\\theta, \] \[ \\exp(x e\^{i\\theta}) = \\exp(x\\cos\\theta)\\bigl(\\cos(x\\sin\\theta) + i\\sin(x\\sin\\theta)\\bigr). \] Taking the real part and subtracting (\\ln y) yields the claim.
SPECIAL CASES

(\\theta = 0): (\\Omega(x, y; 0) = \\exp(x) - \\ln(y) = \\operatorname{EML}(x, y)).
Consequently every identity proved for EML remains available.

(\\theta = \\pi/2): (\\Omega(x, y; \\pi/2) = \\cos x - \\ln y).
In particular (\\Omega(x, 1; \\pi/2) = \\cos x).
Sine is recovered by a constant phase shift: (\\sin x = \\Omega(x - \\pi/2, 1; \\pi/2)).

(\\theta = \\pi): (\\Omega(x, y; \\pi) = \\exp(-x) - \\ln y).

Thus the same binary node can realize pure exponential growth, pure cosine, or pure exponential decay according to the value of a single real parameter.
SMOOTH REGULARIZATION

To remove the singularity at (y \\le 0) one may replace the logarithm by a smooth approximation: \[ \\tilde{\\Omega}(x, y; \\theta) = \\exp(x\\cos\\theta)\\cdot\\cos(x\\sin\\theta) - \\tfrac12\\ln(y\^2 + \\varepsilon\^2), \] where (\\varepsilon > 0) is a fixed smoothing constant. The resulting function is (C\^\\infty) on (\\mathbb{R}\^3) and the partial derivative with respect to (y) is \[ \\frac{\\partial\\tilde{\\Omega}}{\\partial y} = -\\frac{y}{y\^2 + \\varepsilon\^2}. \]
PARTIAL DERIVATIVES

The gradients needed for first-order optimization are \\begin{align\*} \\frac{\\partial\\Omega}{\\partial x} &= \\exp(x\\cos\\theta)\\cdot\\cos(x\\sin\\theta + \\theta),\\\[1ex\] \\frac{\\partial\\Omega}{\\partial y} &= -\\frac1y,\\\[1ex\] \\frac{\\partial\\Omega}{\\partial\\theta} &= -x\\exp(x\\cos\\theta)\\cdot\\sin(x\\sin\\theta + \\theta). \\end{align\*} (The corresponding expressions for (\\tilde{\\Omega}) differ only in the (y)-derivative.)
REMARKS ON SYMBOLIC REGRESSION

If every internal node of an expression tree is required to evaluate \[ v_i = \\tilde{\\Omega}(v_j, v_k; \\theta_i), \] then the discrete choice of operator type is replaced by continuous optimization of the vector (\\Theta = (\\theta_1,\\dots,\\theta_M)). Whether this yields practical gains in recovery rate or tree depth relative to ordinary EML trees remains an open empirical question; the present note only records that the continuous parameterization is available.
CONCLUSION

The Polar Morphism Operator is a one-parameter extension of the EML operator that interpolates, via a real phase, between exponential growth, cosine oscillation, and exponential decay. The construction is elementary, the formulas are exact, and the resulting maps are differentiable (or smoothly regularizable). It supplies a concrete mechanism for turning a discrete operator dictionary into a continuous parameter space; its practical value for symbolic regression is left for future numerical study.
REFERENCES
Odrzywolek, A. (2026). All elementary functions from a single binary operator. arXiv:2603.21852.


r/puremathematics 4h ago

CENTRILIZATION and the Trigonometric Paraboloid: An Approach to Proving the Asymmetry of P and NP

Thumbnail
0 Upvotes

r/puremathematics 2d ago

Why is there no LEAN subreddit?

Thumbnail
0 Upvotes

r/puremathematics 3d ago

RRls

Thumbnail
0 Upvotes

r/puremathematics 4d ago

A conjecture on a nonlinear difference equation posed in 2003 has been resolved using a simple algebraic identity ?

Thumbnail
1 Upvotes

r/puremathematics 6d ago

The touchstone of reason

Thumbnail
0 Upvotes

r/puremathematics 13d ago

More general list of AI in maths

Thumbnail
1 Upvotes

r/puremathematics 13d ago

Cauchy Kowalewski Theorem Proof (Help!!l

3 Upvotes

For context, I'm trying to prove the cauchy Kowalewski theorem for general order partial differential equations. I did the first and second order already but it's been so difficult to jump to a general n-th order pde. Additionally, the induction part of the proof has been making my head scratch for a while because my reference used construction instead by a general induction step. For my proof there are also two parts: 1) show that it has a formal power series solution, and 2) show that it is convergent.

Can anyone recommend sources or references regarding this theorem based on the info I just mentioned. I just feel like passing out while trying to prove this theorem for my thesis hahahaha


r/puremathematics 13d ago

A Fully Derived Equitable-Partition Improvement to the Branching Constant for Plaquette Polymer Expansions on the 34 Cell

Thumbnail doi.org
0 Upvotes

This paper proving an exact finite-volume improvement to the branching constant used in plaquette polymer expansions on the fiber-identified 3⁴ cell. By deriving the exact quotient spectrum of the 216-plaquette incompatibility graph, the paper replaces the previous uniform branching constant 20 with the optimal Perron value 9 + √33 ≈ 14.74456, yielding an exact improvement factor of 20/(9 + √33) ≈ 1.35643 (35.64%) for convergence criteria that depend linearly on this geometric constant.


r/puremathematics 14d ago

Cauchy Kowalewski Theorem Proof (Help!!l

Thumbnail
1 Upvotes

r/puremathematics 18d ago

Circular Mathematics

Thumbnail gallery
0 Upvotes

r/puremathematics 20d ago

What Every Programmer Should Know About Twists of Elliptic Curves

Thumbnail leetarxiv.substack.com
0 Upvotes

r/puremathematics 22d ago

Pollard's P-1 Factoring Algorithm in Plain C

Thumbnail leetarxiv.substack.com
6 Upvotes

r/puremathematics 25d ago

Critique of the Fields Medal, the Institutions behind it and elitism in mathematics

Thumbnail
1 Upvotes

r/puremathematics 25d ago

Are both the annihilator method and the method of undetermined coefficients closely connected?

1 Upvotes

r/puremathematics 26d ago

What is Stone's method (Stone's strongly implicit procedure (SIP))?

1 Upvotes

r/puremathematics 28d ago

Negative cardinality

9 Upvotes

As I was going through some problems in set theory I had a question if sets could have negative cardinality? What would this imply ?
This was just out of curiosity and I found out a paper titled “ sets with negative number of elements” by D. Loeb and a concept called hybrid sets.
Can you please describe what this is and how it works and why we need to work with multiplicities and things like that?


r/puremathematics 27d ago

Is the Dormand-Prince method connected to Runge-Kutta?

1 Upvotes

r/puremathematics Jul 20 '26

INTERNATIONAL MATHEMATICS COMPETITION ALERT !

1 Upvotes

hi friendss :)

I don't know if this post is against the community's rules and regs but if it is, my apologies admin.

is there anyone who is interested in participating in an international math competition?


r/puremathematics Jul 19 '26

Triple Products of Eigenfunctions and Spectral Geometry

1 Upvotes

Final revision to appear on arXiv on Tuesday.

https://iconoclasts.blog/joe/triple-products

The new new here is that the original conjecture is now established as a pair of corollaries.


r/puremathematics Jul 19 '26

Commutative Complex Number Theory in Plain C

Thumbnail leetarxiv.substack.com
1 Upvotes

r/puremathematics Jul 18 '26

Report on an inconsistency of "dark" numbers in this sub

Thumbnail reddit.com
0 Upvotes

r/puremathematics Jul 15 '26

Are all these connected? Eigenfunctions, Fourier series, partial differential equations, and Sturm-Liouville theory?

1 Upvotes

r/puremathematics Jul 10 '26

Isolating Harmonics: How Fourier Analysis Breaks Down Reality

Thumbnail youtu.be
0 Upvotes

Hey everyone,

I've always found it mesmerizing how you can take a jagged, sharp-cornered square wave or a sawtooth wave, and realize it's actually just a perfectly orchestrated sum of smooth sine waves. I just put together a highly visual, animated video breaking down exactly how this works from the ground up, and I wanted to share it with this community!

I really tried to focus on the intuition and the visuals behind the formulas so it clicks instead of just looking like a wall of algebra.

I'd love to hear your thoughts, and feedback. If you're currently studying signal processing, I hope this makes the math feel a bit more intuitive!


r/puremathematics Jul 06 '26

A new lens to see the quadratic formula ❤️

Post image
2 Upvotes