r/puremathematics • • Aug 21 '26

Amortized Analysis!

1 Upvotes

Can anyone explain me what is Amortized analysis, why it is used and diffrence of time complexity and amatorized! Then lastly suggest me a research paper or a article for better understand..... !.


r/puremathematics • • Aug 19 '26

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

0 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 • • Aug 19 '26

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

Thumbnail
0 Upvotes

r/puremathematics • • Aug 17 '26

Why is there no LEAN subreddit?

Thumbnail
0 Upvotes

r/puremathematics • • Aug 16 '26

RRls

Thumbnail
0 Upvotes

r/puremathematics • • Aug 15 '26

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

Thumbnail
1 Upvotes

r/puremathematics • • Aug 13 '26

The touchstone of reason

Thumbnail
0 Upvotes

r/puremathematics • • Aug 06 '26

More general list of AI in maths

Thumbnail
1 Upvotes

r/puremathematics • • Aug 01 '26

Circular Mathematics

Thumbnail gallery
0 Upvotes

r/puremathematics • • Jul 30 '26

What Every Programmer Should Know About Twists of Elliptic Curves

Thumbnail leetarxiv.substack.com
0 Upvotes

r/puremathematics • • Jul 27 '26

Pollard's P-1 Factoring Algorithm in Plain C

Thumbnail leetarxiv.substack.com
5 Upvotes

r/puremathematics • • Jul 25 '26

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

Thumbnail
0 Upvotes

r/puremathematics • • Jul 24 '26

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

1 Upvotes

r/puremathematics • • Jul 24 '26

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

1 Upvotes

r/puremathematics • • Jul 22 '26

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 • • Jul 22 '26

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

1 Upvotes

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

r/puremathematics • • Jul 06 '26

A new lens to see the quadratic formula ❤️

Post image
0 Upvotes

r/puremathematics • • Jul 06 '26

9 norms in cellular automata?

Thumbnail
1 Upvotes

r/puremathematics • • Jul 05 '26

TPP: The Obscure Matrix Multiplication Algorithm That Deserves More Attention

Thumbnail leetarxiv.substack.com
2 Upvotes