The OEISWiki page with everything you need to know: definitions, algorithms, natural numbers—the Sieve of Eratosthenes, prime numbers—conjectures, proofs... 12 decomposed sequences ➡️ https://oeis.org/wiki/Decomposition_into_weight_*_level_%2B_jump

Hello everyone, hope you are doing well. Since we have a huge spectrum of people here including high schoolers to professional mathematician, I want to ask you what’s a math theorem(s) that you like the most. Be it any field but the statement, brief explanation of the statement and why you like it would be appreciated.

I personally have a lot of favourite theorems but I’d like to quote this one.
Theorem: Every oriented 3-manifold is parallelizable.
Which means the tangent bundle TM of M^3 is always trivial.

Do share yours, looking forward to reading yours.

This recurring thread is meant for users to share cool recently discovered facts, observations, proofs or concepts which that might not warrant their own threads. Please be encouraging and share as many details as possible as we would like this to be a good place for people to learn!

Can anyone explain the basic concepts, differences, and similarities? I know it is kind of like using one to describe the other

Who's a mathematician from the past, and what's a modern mathematical fact that they could have understood but that would have absolutely blown their mind if you'd told them about it?

edit: I originally meant the post to be specific. For example, Conway, a specialist in tilings, would have been delighted to know that an aperiodic monotile exists, and a very simple one at that. Or it could be Euclid and arbitrarily long arithmetic progressions of primes (Green-Tao theorem).

There seems to be some breakthrough (non-AI) by well known chinese mathematicians.

This recurring thread will be for any questions or advice concerning careers and education in mathematics. Please feel free to post a comment below, and sort by new to see comments which may be unanswered.

Please consider including a brief introduction about your background and the context of your question.

Helpful subreddits include /r/GradSchool, /r/AskAcademia, /r/Jobs, and /r/CareerGuidance.

If you wish to discuss the math you've been thinking about, you should post in the most recent What Are You Working On? thread.

Only focussing on the polyominoes, there are 12 classes that exist as shown with each of the 12 polyominoes present. But what is a class? And how can a polyomino belong to one?

A class is named like so 1/2/4 where each number denotes the kind of squares a polyomino may only have. 1 means there are squares with only 1 orthoganol squares (neighbors), 2 means there are squares with only 2 orthoganol squares and so on to 3 and 4 as squares may only have a maximum of 4 orthoganol squares neighboring it.

Another note about a class is that there must be an equal number of each square type. so for 1/2/4, there must be N squares with 1 neighbor, N squares with 2 neighbors, and N squares with 4 neighbors.

Now that you know what a class is, it can be asked, how many classes are there? 31. 15 of which ask for squares with 0 neighbors, which is impossible for polyominoes as every square is connected. Therefore class 0 is the only existing class which asks for squares with no neighbors. The rest of the impossible classes are slightly less trivial: 3, 4, 1/4, 3/4. That leaves 12 which hey look at that they've all been found as shown in the first image!

Same logic goes for polyiamonds except there's 15 possible classes, 7 of which are trivial and 1 that's not that being class 3. That leaves 7 classes left which has polyiamonds shown to prove the existence for each class.

What else can be said?

1. How many polyominoes/polyiamonds are in a class?

2. What's the smallest polyomino/polyiamond in each class?

3. What symmetries can be achieved in each class?

Other problems that are more challenging

Polyominoes but harder, they way to count neighbors is now the 8 surrounding squares around one square kinda like a king's move or how minesweeper counts mines. Should be 60 remaining classes yet to be solved or disproven.

https://www.reddit.com/r/mathematics/comments/1x9akue/list_of_the_unproven_classes_i_currently_have/

Polyhex version where each hexagon counts the surrounding 6 hexagons around itself. The remaining unproven classes are 1/2/3/5/6, 1/2/4/5/6, 1/3/5/6, 1/4/5/6, 1/2/3/5, 1/2/4/5, 1/2/4/6, 1/3/5.

Polyiamonds but harder, counts all 12 triangles around a central triangle! There should be around 8191 classes which I have not touched as I am honestly afraid to touch that. But what's cool is that classes with 0 or 1 cannot exist leaving around like 2049 nontrivial classes.

What can be said about those problems?

1. Again how many, what's the smallest, what symmetries?

2. Can a class only exist if holes are allowed in a polyform?

3. What impossible sets can exist if the equality requirement is ignored?

4. Where/how can these solutions be documented online?

Things I find interesting but are unsolved

1. Can a class have a finite number of polyforms thats not just one?

2. May a class exist where every polyform of that class doesn't have holes? Or may some classes also have a maximum number of holes?

When you define a mathematical object, it is usually a good idea to consider what kind of sub-objects (instances of the same type contained inside it) it might have---so is considering what methods might exist for generating examples of such a mathematical object from some minimal information. So it is in linear algebra: we know these as subspaces and spans.

This is a good opportunity to start learning about how the concepts of linear algebra actually connect with applications of various sorts. The most obvious example (and one covered by every linear algebra course in existence, I suspect) is that in Euclidean space, subspaces correspond to points, lines, and planes through the origin. This is already reason enough for this to be potentially important, but since I want to lay the groundwork for some applications that are less often featured in linear algebra courses, we'll also talk about how, say, the space of continuous functions is a subspace.

Read the full post (for free) on Substack: Subspaces and Spans

Роман Михайлов сейчас в своем тгк открыл анонимные вопросы и вот что я решил задать(см. ниже). Он пока не отвечает, но может тут у кого то есть мысли по этому поводу? Хотя если честно я думаю что те кто могут ответить на этот вопрос на реддите не сидят. Буду благодарен любым конструктивным ответам.

В один момент возникло такое ощущение что математика бессмысленна. то что в конечном итоге это просто абстрактная пустота. а потом я вспомнил про то какая вокруг этого всего была эзотерика раньше и насколько она наполняла математику, например у Пифагорейцев. они могли создавать гармоничную музыку с помощью математики. и такое ощущение что математика отделилась от духа и потеряла смысл.

и вообще логическая система в которую изначально завернута математика довольно ограничивающая. переживаемый опыт часто не вписывается в эту структуру. и соответственно есть более творческие способы воспринимать мир, например musicology.

что вы думаете по этому поводу ?

This recurring thread will be for general discussion on whatever math-related topics you have been or will be working on this week. This can be anything, including:

* math-related arts and crafts,
* what you've been learning in class,
* books/papers you're reading,
* preparing for a conference,
* giving a talk.

All types and levels of mathematics are welcomed!

If you are asking for advice on choosing classes or career prospects, please go to the most recent Career & Education Questions thread.

Hello, I've started to study italian and I'd like to read math books or lecture notes by Italian authors (and written in Italian).

Do you have suggestions of books that you find particularly interesting?

I'm mostly interested in linear algebra, analysis, differential equations, dynamical systems and probability.

Thanks

My friend’s 7yo is already a math-enjoyer—he loved the book “Math for Curious Kids” and keeps wanting to find out more. I’ve found a few things that have been hits (a graph theory zine for kids, a group theory coloring book), but I’m always on the look out for more. If anyone has some other fun math books for kids, especially that have some game/problem-solving/recreational aspect, I’d love to recommend more things for him!

This recurring thread will be for discussion of AI in mathematics. This includes, but is not limited to, the following:

• informal announcements of AI-assisted discoveries, such as those not yet published in a peer-reviewed journal, or not uploaded as a paper to arXiv;

• informal announcements of discoveries related to AI architecture (if relevant to mathematics);

• discussion of such announcements, such as proof breakdowns or other opinion pieces;

• discussion of the impact of AI in mathematics in general.

AI-assisted mathematical papers published in peer-reviewed journals or as arXiv preprints may be submitted as their own posts.

Please keep in mind rules 1 and 6 of our subreddit.

This recurring thread is meant for users to share cool recently discovered facts, observations, proofs or concepts which that might not warrant their own threads. Please be encouraging and share as many details as possible as we would like this to be a good place for people to learn!

There is Pascal triangle where the 2 numbers above are used to get the number below, then there is Delannoy triangle where the 3 numbers above are used to get the number below

Based on that I thought of a stronger triangle where as many numbers above as possible are used to get the number below and I got this triangle

The rule is 1st number in a row is always 1, 2nd number comes from the 3 numbers above, 3rd number from the 10 numbers above, 4th number from 21 numbers above and so on till we reach the mid point of any row after which the numbers get repeated in reverse order to get this triangle

I couldn't find this triangle anywhere but this still seems to be interesting

Hello, I'd like to showcase some new results in tilings.

This summer, I was contacted by a student named Alessandro Longo who tried to enumerate k-Euclidean tilings for his thesis. He eventually found online the algorithm I made for this problem several years ago. He used his thesis to rigorously prove what I had only believed, i.e. that the algorithm is truly capable of enumerate all tilings that satisfy set conditions. With that in hand, he built this website:

https://www.thetilingatlas.com/

I am really humbled that my amateur algorithm could get this far! We have tilings of all kinds, but mostly hyperbolic ones (they are just easier to find), and now we even have a stand-alone search program. Not very user-friendly yet, I'm afraid.

I wanted to share some results. They are from recent searches, so not uploaded yet.

This is a very complex hyperbolic tiling, but you need more slices to see it. So if we going straight up, we get

And moving aside to better capture the apeirogons,

It contains 8 kinds of regular polygons with 4 different edge lengths.

For Euclidean tilings, I have tried to look at 14-Archimedean ones. The first one, Amazing Amalgam, was found using my algorithm in 2022, I think:

This one is 24-uniform, but the search program is now fast enough to go to k=40 in reasonable amount of time, so here's a 40-uniform result:

We hope that enyone who's interested in tilings will give the site a look :)

Lately I've been enjoying exploring the connections between algebra in the natural numbers and combinatorics. It's a really rich vein of mathematics to play with and even though it's not an area of math I've studied formally I'm constantly surprised that I haven't heard of some of the patterns I've spotted.

I wanted to share an algorithm I found that lists out prime factors of the natural numbers sequentially without using any algebra. I'm not sure how interesting it is as it's all derived from basic observations about primes but it's nifty nonetheless.

-----

Setup:

Start with a list L with an empty multiset L= [{}] and k = 0.

Iteration:

Take a copy of the L and reverse it for Lr, pair up the multisets in Lr with the multisets of L in order (the nth multi set of each list paired up).

Take the multiset union M of all the multisets of Lr that are sub multisets of the multisets in L which they are paired with.

If M is empty, increment k by 1 and add the multiset {k} the back of L.

If M is non empty but part of L then it has a unique element, increase it's multiplicity by 1 and add it to the back of L.

If M is non empty and not part of L add it to the back of L.

-----

The first few iterations give: [{}, {1}, {2}, {1, 1}, {3}, {2, 1}, {4}] which is the list of prime factors of 1 - 7, where i in the ith prime. (e.i. 2,1 -> 3*2 = 6).

I'd be curious to read up more about this if anyone might be able to point me in the right direction. I haven't proven it's validity yet but computationally it holds and I'm sure the proof is halfways straightforwards, I might try and work that out in the next few days.

I do have it written up as a python script too if anyone else wants to check that out.

This is a very general open-ended survey/discovery question and I already can predict the downvotes and toxic comments (as we always have) but I think it's appropriate for this subreddit as I would like to discover literature and get in touch with other areas of research.

I could say one central theme of my research are residuated structures (lattices, algebras, categories), residuals and Galois connections/adjunctions. One of my main objectives is in making logic, category theory and formal methods in computer science accessible (thus coming from the pointfree transformation/calculational mathematics/Bird-Meertens/Algebra of Programming ideal) and residuated structures and adjunctions are indispensable to that objective.

Sadly I feel first and second-year undergrads can feel very annoyed and confused by the simple fact of having two "division-like operations" (residuals) that most of the times can be calculated only up to inclusions/inequalities (even more than dealing with non-commutative multiplication-like operations - as anyone already do in linear algebra). I think this difficulty is very similar to that of high-schoolers and freshman calculus students (which I taught for a while) when dealing with similarly non-commutative and non-associative operations such as exponents and relating them to their differing badly notated inverses (logs and roots).

I am already well aware of proposals for alternative notations for logarithms and roots (such as the triangle notation and this) as well as proposals such as these for dealing with problems of non-associativity and non-commutativity of operations, but I would like to know: what are interesting approaches you know in the literature/that you are aware for dealing better with non-commutativity, non-associativity, multiplicity of inverses, residuals and adjoints as well as dealing with operations that are similarly defined only up to an inequality/inclusion/uni-directional mapping through an adjunction/Galois connection?

I appreciate your suggestions.

This recurring thread will be for any questions or advice concerning careers and education in mathematics. Please feel free to post a comment below, and sort by new to see comments which may be unanswered.

Please consider including a brief introduction about your background and the context of your question.

Helpful subreddits include /r/GradSchool, /r/AskAcademia, /r/Jobs, and /r/CareerGuidance.

If you wish to discuss the math you've been thinking about, you should post in the most recent What Are You Working On? thread.