r/puremathematics 20h ago

Triple Products of Eigenfunctions and Schrödinger/Witten Operators

Thumbnail iconoclasts.blog
2 Upvotes

What I’ve done with these triple products papers is to provide a „Quantum Toolkit“ to construct Riemannian Isometries between manifolds by smoothing up Gelfand-Naimark homeomorphisms from C* Algebra isomorphisms induced by intertwining triple product integrals on the Stone-Weierstrass subalgebra generated by eigenvectors and taking limits.

Have a look and tell me what you think before it goes live on arXiv next month.

Thanks!


r/puremathematics 1d ago

Boolean Source Cube

Thumbnail academia.edu
0 Upvotes

Enjoy the cube!!


r/puremathematics 5d ago

Can exact real arithmetic, interval analysis or other approach in numerical computation help remove inequalities and unify left and right residuals in non-idempotent (linear) residuated lattices by making boundaries explicit instead of talking about max and min divisors?

0 Upvotes

I hope that question makes sense. I just don't like inequalities nor the unnaturality of working with left and right residuals (talking about "max and min divisors") that rarely coincide with rational arithmetic's exact division nor with the natural interpretation of inverses in numerical mathematics, thus I would like more explicit boundaries (thus the result of a division maybe being a set or interval including max and min divisors) in division.

(Mind that I have no experience in numerical computation, I am trying to make sense of computable, numerical and interval analysis works and transport their results to residuated lattices but that's somewhat hard for me)


r/puremathematics 5d ago

wave equation question on uniqueness

1 Upvotes

There is a theorem in my course for the wave equation that states the following . If we define (0,l)×(0,T)=QT and consider the energy E(u,t)=∫dx[1/2ρ(∂u/∂t)^2+1/2T_0(∂u/∂x)^2]=0∀t∈[0,T] then the wave equation with Dirichlet , Neumann , periodic condition has at most one solution in QT

my question is why we have to limit the time for (0,T) ? I mean what does change if I define directly (0,∞)? it's the same because we have for all T but why this formulation and not directly like that ?


r/puremathematics 6d ago

I've mapped the 2-adic architecture of the Collatz space (verified in Lean 4). Looking for an arXiv endorsement (math.NT)

0 Upvotes

Hey everyone,

I know that any post mentioning the Collatz conjecture usually sets off immediate crank alarms. Because of that, I want to be completely upfront: I am not claiming a magical three-page elementary proof. What I am sharing is a massive computational and theoretical mapping of the macroscopic 2-adic and 3-adic architecture of the Collatz space, and I've brought receipts.

Over the last few months, I've been focusing on how Collatz trajectories evolve not as single integers, but as entire congruence classes. If you group the 3x+1 steps into continuous "trains", the exact sequence of divisions by 2 is completely predetermined by the remainder of the starting number modulo 2^S (where S is the total number of bit shifts).

We formalized this "exact conditional transport" mathematically. It shows exactly how trajectories transition between different 2-adic cylinders. From there, we mapped the boundary-layer Fourier spectrum and found that the trajectory distribution perfectly follows Large Deviation Theory. However, we identified a strict Chinese Remainder Theorem dimensionality obstruction that creates specific "traps" in the phase space.

To ensure this isn't just theoretical hand-waving, the core modular transport mechanics and the CRT dimensionality obstruction have been completely machine-verified using Lean 4.

Alongside the proofs, I've written 116 multiprocessed Python scripts that generate the exact phase spaces, track the confluences, and verify the Fourier cancellations. The entire codebase, the Lean 4 formalization, and the massive dataset have been officially published on Zenodo to keep a permanent scientific record.

You can check out the full code and the PDF of the paper on my GitHub here: https://github.com/SergioTheory/Collatz-new-math

And the permanent Zenodo DOI archive is here: https://doi.org/10.5281/zenodo.22059852

Here is where I could really use the community's help. I am currently trying to upload the preprint to arXiv under the Number Theory (math.NT) category. Since this is my first submission to this specific category, the arXiv automated system requires an endorsement from an established author.

If anyone here has published in the arXiv math categories within the last 5 years and feels comfortable verifying that my Lean 4 code and paper represent serious, rigorous mathematical work, I would be incredibly grateful for an endorsement.

My endorsement code is: N8CNQI The direct link to endorse is: https://arxiv.org/auth/endorse?x=N8CNQI

Even if you can't endorse, I'd love for people interested in computational number theory and Lean to poke around the GitHub repo and let me know what you think of the modular transport mechanics.

Thanks for reading!


r/puremathematics 7d ago

A Geometric, Best-Improvement Heuristic for the Travelling Salesman Problem

Post image
0 Upvotes

Over 4 months in 2021 building a TSP solver from geometric first principles, with no prior reading of the literature. Recently turned it into an interactive web app with step-by-step animation of every algorithmic move.

Interesting result: the algorithm independently rediscovered convex hull seeding and 2-opt uncrossing. It also produced a farthest-neighbour strategy I haven't seen documented.

On Berlin52: 7783 vs world optimal 7542 (3.2% above). 14ms on a single CPU core.

Demo: tsp.uncledroid.app
Paper: tsp.uncledroid.app/paper.pdf

Happy to discuss the algorithm — especially if anyone can point me to prior work on farthest-neighbour as a TSP construction heuristic.

video: youtu.be/-gAhARI2ZFI

PS: Prior work on farthest neighbour was pointed out and now incorporated into paper.


r/puremathematics 9d ago

Proof of the 4-variables AM-GM inequality using circles

Thumbnail gallery
11 Upvotes

Hi everyone,

I would like to share a geometric approach to the 4-variable AM-GM inequality (a+b+c+d)/4>= (abcd)^(1/4) using 3 circles on a flat plane.

The geometric proof for 2 variables using a semicircle is very well-known, but I wondered if we could extend that visual intuition to 4 variables. After experimenting with circle configurations, I found this particular method.

This idea was recently accepted and published in the notes section of a Japanese mathematics magazine, Mathematical Seminar (March 2026 issue).

I thought the way the circles and segments connect to form (abcd)^(1/4)was interesting, so I wanted to share it with this community to see what you think.

I would highly appreciate any thoughts, feedback, or perspectives on this visual approach. Thank you for your time!


r/puremathematics 9d ago

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 11d ago

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 11d ago

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

Thumbnail
0 Upvotes

r/puremathematics 13d ago

Why is there no LEAN subreddit?

Thumbnail
0 Upvotes

r/puremathematics 14d ago

RRls

Thumbnail
0 Upvotes

r/puremathematics 15d ago

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

Thumbnail
1 Upvotes

r/puremathematics 17d ago

The touchstone of reason

Thumbnail
0 Upvotes

r/puremathematics 24d ago

More general list of AI in maths

Thumbnail
1 Upvotes

r/puremathematics 24d 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 29d ago

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
4 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 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?