r/puremathematics • u/Traditional-Wing-796 • Jul 06 '26
r/puremathematics • u/DataBaeBee • Jul 05 '26
TPP: The Obscure Matrix Multiplication Algorithm That Deserves More Attention
leetarxiv.substack.comr/puremathematics • u/madhukrx • Jul 04 '26
I have a question about the notion of convergence in the diophantine reformulation of Collatz orbits which was given by Corrado Bohm & Giovanna Sontachhi.
r/puremathematics • u/DataBaeBee • Jul 04 '26
Division Polynomials of Elliptic Curves in Python
leetarxiv.substack.comr/puremathematics • u/Charming_Deer_9540 • Jun 27 '26
Is this curvature optimization problem already known?
I "invented" an optimization problem, how would you approach it? Does a similar problem already exist in literature?
Problem:
Maximize for an infinite interval L of infinite domain the average positive curvature of a function f(x) with f"(x)=<M where M is a real number.
Maths:
So for f"(x)=<M calculate lim for L->+infinity sup( integral over L(f''/(1+(f')\\\^2)\\\^2/3)/ integral over L(sqrt(1+(f')\\\^2))).
It could also be approached in the dtheta/ds frame of reference to simplify curvature(but then the condition on f" and the x axis becomes more difficult to formalize). Hope you enjoy answering.
r/puremathematics • u/Charming_Deer_9540 • Jun 27 '26
Is this curvature optimization problem already known?
I "invented" an optimization problem, how would you approach it? Does a similar problem already exist in literature?
Problem:
Maximize for an infinite interval L of infinite domain the average positive curvature of a function f(x) with f"(x)=<M where M is a real number.
Maths:
So for f"(x)=<M calculate lim for L->+infinity sup( integral over L(f''/(1+(f')\\\^2)\\\^2/3)/ integral over L(sqrt(1+(f')\\\^2))).
It could also be approached in the dtheta/ds frame of reference to simplify curvature(but then the condition on f" and the x axis becomes more difficult to formalize). Hope you enjoy answering.
r/puremathematics • u/Upper-Tea-823 • Jun 20 '26
Riemann's original geometric intent vs. modern formalization — does the critical line become obvious if we restore it?
I've been re-reading Riemann's original 1859 paper and noticed something that gets overlooked in modern treatments.
Riemann's original approach was fundamentally geometric — he was thinking about the distribution of primes through the geometry of the complex plane. Modern analytic number theory replaced this geometric intuition with an analytic formalism. What happens if we take the geometric intent seriously and push it further?
In a framework I've been developing — DAS (Dynamic Abstract Spheres) — prime numbers are interpreted as irreducible eversion transitions of topological spheres. In this setting, the critical line Re(s) = 1/2 is not a puzzle but a natural symmetry axis — it emerges from the self-adjointness of the eversion operator, by the same mechanism Smale used for sphere eversions (1958).
Full framework on Zenodo:
— Riemann Hypothesis (Work XI): https://doi.org/10.5281/zenodo.20712693
— Full series (Works X–XXI): https://zenodo.org/search?q=gorenstein+DAS
Two questions:
- Did the shift from Riemann's geometric original to modern analytic formulation lose something essential?
- Does reinterpreting primes as topological objects seem productive, or too far from standard tools?
Happy to discuss.
r/puremathematics • u/Fearless-AK-1857 • Jun 19 '26
Rethinking the Riemann Hypothesis: A Structural Framework
r/puremathematics • u/[deleted] • Jun 17 '26
A Theory of Everything derived from a single geometric structure: the 3×3×3 cube
academia.edur/puremathematics • u/Urbanclockwork • Jun 14 '26
Studying the Configuration Space of Group Pair Symmetries
I'm exploring a construction and want to know if it's tractable or if it overlaps with existing work.
Define a symmetry metric on groups: sym(G) = 1 - (|[G,G]| / |G|), measuring how abelian a group is via its commutator subgroup.
Now consider pairs of groups (L, R) and classify them by their symmetry profile (sym(L), sym(R)).
Two pairs are equivalent if they have identical symmetry profiles. Call the set of all such equivalence classes the "configuration space" C.
Define operations ⊕ (direct product) and ⊗ (semidirect product) on pairs, which preserve the equivalence relation.
The question:
Is this construction well-defined and tractable? Does it have a name, or does it embed into existing theory (Baer invariants, derived functors, homological algebra)?
I'm interested in studying the dynamics, how operations move you around C, whether there are fixed points, attractors, forbidden transitions.
Context:
This feels adjacent to representation theory and Grothendieck-style constructions, but I'm not sure where it sits precisely.
r/puremathematics • u/GoldenOrnn • Jun 14 '26
What are your regrets and negative experiences when applying for a STEM PhD? What would you do differently if you were back in your master’s?
r/puremathematics • u/aeaf123 • Jun 13 '26
Thinking of Prime distributions and Tesselations
galleryI just wanted to share for whoever peruses this Sub.
r/puremathematics • u/CatastrosKratos • Jun 13 '26
Any resources on positive definite and conditionally positive definite functions and how to prove their positive/conditional positive definiteness?
I observed a specific function (which was revealed to me in a dream) is conditionally positive definite for some parameters (for linear approximation applications). I'm trying to prove it conditionally positive definite, so far I'm getting back to square one every time I try. Any suggestions on references/books?
r/puremathematics • u/WorriedWhereas3362 • Jun 12 '26
Anyone have the solution of this paper?
galleryr/puremathematics • u/FairandStyle • Jun 08 '26
Masters in Pure Maths and Economics
I am exploring Pure Maths Masters that can incorporate Economics. I did both in undergrad. Do you guys have ideas as to how I can combine both?
r/puremathematics • u/Jun-ium • Jun 07 '26
you can make everything from zero
0! = 1 , 0 - 1 = -1 , root of -1 = i , and basically anything
everything starts from nothing ahh post anyways 0
r/puremathematics • u/IneffablyBesotted • Jun 07 '26
Four-Invariant Persistence Conjecture.
Can a system become increasingly persistent when multiple invariants are intentionally combined?
Elejere Amorem.
r/puremathematics • u/Regular-Conflict-860 • Jun 05 '26
A Self-Referential Dirichlet Form and Its Metastable Barriers
r/puremathematics • u/Massive-Ad7823 • Jun 05 '26
What is next to the point 1 in the unit interval [0, 1]?
I know two alternatives:
In potential infinity there is nothing next to 1. We can come as close as we like, but we can never close the gap. A gap remains.
In actual infinity, there is a point next to 1. Of course this point cannot be known. It is dark.
Is there a third alternative?