Questions tagged [experimental-mathematics]
The experimental-mathematics tag has no usage guidance.
78 questions
15
votes
3
answers
1k
views
Does anyone remember what happened to the experimental search for polynomial identities for $\pi$?
So a while back I was on the internet and had encountered a website containing an experimental search for identities for $\pi$. My memory was that the page belonged to either Jonathan Sondow or ...
- 2,836
3
votes
1
answer
163
views
Increasing sequences and Wieferich primes
We are trying to show that primes of the form $a(n)$ can't be
Wieferich primes.
For natural $n$ define $J(n)=(2^{n-1}-1) \bmod n^2$
and if $n$ is power of two define $J(2^n)=1$ (this is artificial, ...
- 7,193
2
votes
0
answers
64
views
Are there any known Khinchin reals for which the asymptotics of "average" of their coefficients seems experimentally known?
We can define a Khinchin Real and recall the definition of Khinchin's Constant
A real number $r$ is a Khinchin real if given the simple continued fraction expansion of $r$ as
$$ r = a_0 + \cfrac{1}{...
- 2,689
4
votes
1
answer
378
views
Experimental mathematics in Ramanujan's work
The field of experimental mathematics has led to the discovery of numerous remarkable identities and relations, often using computer algebra systems. Somos' work on finding algebraic identities ...
- 2,784
2
votes
0
answers
85
views
Curious sequences associated to continuous fractions
Given a strictly positive initial rational number $x_0$ in $\mathbb Q_>$
we define a sequence $x_0,x_1,\ldots$ recursively by
setting $x_{n+1}=x_n+1/S(x_n)$
for $S(x)=a_0+a_1+\ldots+a_k$
where $[...
- 105k
2
votes
0
answers
93
views
Primes of the form $a+b^k$ for $k=(a \bmod 2),\ldots,n$?
Procrastinal problem: Given $n$, one can ask for integers $a,b>1$ of different parities
such that $a+b^k$ is prime for $k=(a\bmod 2),\ldots,n$.
A few examples are:
$2+4995825^k$ is prime for $k=0,\...
- 105k
3
votes
1
answer
534
views
abc-conjecture and positive definite kernels, again?
One formulation of the abc-conjecture is:
$$\forall a,b \in \mathbb{N}: \frac{a+b}{\gcd(a,b)}< \operatorname{rad}\left ( \frac{ab(a+b)}{\gcd(a,b)^3}\right )^2 $$
Let us define:
$$K(a,b) := \frac{2(...
- 3,124
0
votes
0
answers
78
views
Using Ehrhart polynomials to count primes?
As indicated below, one could use the Ehrhart polynomials of the simplex in number theory.
Here are the questions without context first:
Questions:
The sum $$\sum_{k=0}^t (-1)^k ( \operatorname{...
- 3,124
53
votes
1
answer
9k
views
What mathematical problems can be attacked using DeepMind's recent mathematical breakthroughs?
I am a research mathematician at a university in the United States. My training is in pure mathematics (geometry). However, for the past couple of months, I have been supervising some computer science ...
- 24.2k
2
votes
0
answers
207
views
Zeros of the semiprimes
Let $P$ be the prime zeta function
$$
P (s) = \sum_{p\, \in\text{ primes}} \frac 1 {p^s} = \frac {1} {2^s} + \frac {1} {3^s} + \frac 1 {5^s} + \frac 1 {7^s} + \frac 1 {11^s} + \cdots
$$
and define the ...
0
votes
0
answers
204
views
Does there exist an $L$-function for any subset of $\mathbb{N}$?
Consider the following prime sum:
\begin{aligned}
\sum _{p}{\frac {\cos(x\log p)}{p^{1/2}}}
\end{aligned}
whose spikes appear at the Riemann $\zeta$ zeros as shown here.
Taking these detected spikes (...
- 1,903
4
votes
1
answer
294
views
Why should we expect this odd behavior of negative binomial distributions?
In independent Bernoulli trials with probability $p$ of success on each trial, let $X$ be the number of failures before the $n$th success. Then
$$
\Pr(X=x) = \binom{-n}{\phantom{+}x} (-q)^x p^n \text{ ...
- 128k
282
votes
47
answers
110k
views
Examples of unexpected mathematical images
I try to generate a lot of examples in my research to get a better feel for what I am doing. Sometimes, I generate a plot, or a figure, that really surprises me, and makes my research take an ...
92
votes
11
answers
15k
views
What are possible applications of deep learning to research mathematics?
With no doubt everyone here has heard of deep learning, even if they don't know what it is or what it is good for. I myself am a former mathematician turned data scientist who is quite interested in ...
CommunityBot
- 1
-4
votes
1
answer
605
views
Multiplicative Persistence - Highest persistence found? [closed]
tried to ask on the math reddit but got deleted due to my account being new.
Is the record for highest multiplicative persistence found still 11? As I may have just found a number with persistence of ...
- 4,219
19
votes
6
answers
2k
views
Which journals publish experimental results in pure maths?
All pure mathematicians know that the goal is to produce insight, rather than to simply obtain results. However, it might sometimes be of value to disseminate largely empirical work. In the same ...
- 82.7k
102
votes
17
answers
16k
views
Theorems that are essentially impossible to guess by empirical observation
There are many mathematical statements that, despite being supported by a massive amount of data, are currently unproven. A well-known example is the Goldbach conjecture, which has been shown to hold ...
- 27k
28
votes
1
answer
2k
views
Conjectures inspired by AI
Today in Nature a paper described how AI guided mathematicians to make highly non-trivial conjectures, which they managed to prove, one in Knot Theory involving a new invariant, the other in ...
17
votes
1
answer
2k
views
Why are Goldbach laggards biased towards $2 \bmod 6$?
For even $n$, let $g(n)$ be the number of ways to write $n$ as a sum of two primes $n=p+q$ with $p \le q$. Define $a_k$ to be the largest $n$ with $g(n)=k$. I would bet money that no-one will disprove ...
CommunityBot
- 1
18
votes
3
answers
785
views
Automated search for bijective proofs
In enumerative combinatorics, a bijective proof that $|A_n| = |B_n|$ (where $A_n$ and $B_n$ are finite sets of combinatorial objects of size $n$) is a proof that constructs an explicit bijection ...
- 15.8k
72
votes
13
answers
11k
views
The use of computers leading to major mathematical advances II
I would like to ask about recent examples, mainly after 2015, where experimentation by computers or other use of computers has led to major mathematical advances.
This is a continuation of a question ...
- 3,499
0
votes
0
answers
158
views
Similar problems for the Dedekind psi function than those that are in the literature for the Euler's totient function: reference request or proposals
I know the linked articles from Wikipedia for the Euler's totient function and the Dedekind psi function. I know that are in the literature famous, interesting and difficult problems involving the ...
1
vote
1
answer
139
views
A special kind of pseudo-garden eden states in cellular automata
I'm currently investigating Wolfram's elementary cellular automata on finite grids with periodic boundary conditions, i.e. on $\mathbb{Z}/k$ for different $k$.
It is clear that for each rule $R$ and ...
- 63.9k
1
vote
0
answers
375
views
The Knuth-Stolarsky conjecture in addition chains
I would like some general feedback on an experiment I have run in the field of addition chains.
An addition chain for target integer $n$ is defined as:
$$1=a_0<a_1<\cdots<a_r=n \text{ with } ...
- 97
2
votes
1
answer
404
views
Mysteries of Wolfram's rule 18
[Unfortunately, I made some mistakes in my original question. I tacitly corrected them wherever I found them.]
Wolfram's rule 18 gives rise to fractal patterns, but when started with two black cells ...
- 9,720
156
votes
52
answers
24k
views
Experimental mathematics leading to major advances
I would like to ask about examples where experimentation by computers has led to major mathematical advances.
A new look
Now as the question is five years old and there are certainly more examples of ...
- 2,821
0
votes
0
answers
100
views
Possible shifts in finite elementary cellular automata
I investigated the long term behaviour of a pair of black cells ■■ on a circle of $N$ cells under the action of each of Wolfram's rules $R$. For each combination $(R,N)$ I determined the first ...
- 9,720
1
vote
0
answers
376
views
Astonishing affinity of Wolfram's rule 110 to the numbers 2 and 7
I investigated the evolution of a single black cell on 1-dimensional grids with periodic boundary conditions of variable sizes $N$ under Wolfram's rule 110 which is the only one for which Turing ...
- 9,720
1
vote
1
answer
427
views
When does this limiting ratio give a real root $x$ to the equation of the form $\sum\limits_{k=0}^d \frac{x^k a_{k+1}}{k!}=0$?
By searching the Inverse Symbolic Calculator, we appear to be able to make the following conjecture about a real root to the equation:
$$\sum\limits_{k=0}^d \frac{x^k a_{k+1}}{k!}=0 \tag{1}$$
Let the ...
- 1,183
7
votes
1
answer
191
views
Reporting inconclusive experimental searches
In many areas of mathematics it is informative to conduct numerical experiments.
But, it not uncommon that the searches do not lead to the examples or data one was hoping for. Since the numerical ...
- 12.9k
3
votes
0
answers
283
views
Math videos featuring interesting data animations
I am looking for interesting videos featuring pure data animations (not someone talking about math, but a video featuring some math phenomenon). I am interested in videos that tell a story, rather ...
- 3,098
6
votes
0
answers
479
views
Existence of an explosive prime
The motivation to introduce explosive prime is Carmichael's totient conjecture (see why below).
Let $\mathbb{N}_{SF}$ be the set of positive square-free integers. Consider the map $f:\mathbb{N}_{SF} \...
2
votes
1
answer
240
views
What is wrong with the experimental evidence against the semi strong perfect graph theorem?
We got experimental evidence against the semi strong perfect graph theorem
and would like to learn what is wrong with it.
From Recognizing the P4-structure of bipartite graph
The P4-structure of a ...
- 14k
0
votes
1
answer
492
views
New experiments involving Ramanujan primes: Benford's law
I know that in the literature there are interesting articles involving the sequence of Ramanujan primes, I refer the Ramanujan Prime from the online encyclopedia Wolfram MathWorld. This week I ...
7
votes
0
answers
429
views
Dynamics of a curious bijection of $\mathbb N$
The two sequences A48680 and A48679 of the OEIS define two mutually inverse bijections on the set of all strictly positive natural numbers given (for the comfort of the reader) as follows:
Given an ...
- 13.4k
5
votes
2
answers
874
views
Exact formula for partial sums of Liouville function $L(n)$ (OEIS sequence A002819)
I am wondering if it is possible to get a useful exact formula, or at least some useful asymptotics, for the partial sums of the Liouville function (OEIS sequence A002819)
$$L(n)=\sum_{k=1}^n \lambda(...
- 3,098
3
votes
0
answers
306
views
Why the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$?
According to both sagemath and Magma the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$.
The projective closure has only one point too.
Q1 What hypothesis are missing to not violate ...
- 25.4k
41
votes
8
answers
5k
views
Examples of creative experiments by mathematicians in modern days
I'm reading Random Circles on a Sphere and the authors did the following to empirically check their results:
To make a partial test of the accuracy of the above approximations an experiment was ...
- 101
2
votes
2
answers
655
views
Expansion of inverse logarithmic integral in terms of lambert w
Cipolla and Césaro both gave expansions of $\operatorname{li}^{-1}$ in tems of nested $\log$ functions. I think it can be written in terms of the Lambert-W function in the form:
$\operatorname{li}^{-...
- 34.4k
45
votes
4
answers
1k
views
How to write computer-assisted mathematics well?
Much has been said about writting good papers in mathematics. A short google query yields countless sources of advice. This skill also appears to be quite transferrable between basic branches of ...
CommunityBot
- 1
25
votes
3
answers
2k
views
Persistent homology of Gaussian fields in Euclidean space
If you generate points in $\mathbb R^n$ via a process that respects a Gaussian normal distribution, then compute the persistent homology / barcodes, to my eye something fairly regular seems to be ...
- 63.9k
3
votes
0
answers
262
views
Some statistics related to the abc conjecture
We did some statistics about the 14 million good abc triples below 10^18
taken from Bart de Smith site.
This was examining just the top of the iceberg, since the
interesting triples grow very likely ...
- 25.4k
18
votes
8
answers
1k
views
Conceptual insights and inspirations from experimental and computational mathematics [duplicate]
I am interested in whether experiments on computers can help identifying new ideas or concepts in Mathematics. I am not talking about confirming particular conjectures up to certain numbers (for ...
- 155
5
votes
1
answer
354
views
Gadgets as primality tests
From the literature, showed below, I know two gadgets that provide a way to know if a positive integer (a positive quantity of units) is composite or a prime number. I would like to know if in the ...
- 188k
10
votes
5
answers
1k
views
What is the theoretical interest of finding closed-form solutions of infinite series?
I was reading this when I came across Gourevitch's conjecture.
My understanding is that solutions to these series are of practical interest. If one encounters such a series, being able to solve it ...
- 47.4k
3
votes
4
answers
810
views
What patterns have been measured in the graph of the number of two-prime-sum representations of even numbers?
There are remarkable patterns of density in the graph http://upload.wikimedia.org/wikipedia/commons/7/7c/Goldbach-1000000.png plotting the number of representations of even numbers up to a million as ...
- 97
43
votes
7
answers
4k
views
Can pure mathematics harness citizen science?
Having just finished Michael Nielsen's book "Reinventing Discovery", I find myself wondering if there are ways that pure mathematics research can engage the public in the way that GalaxyZoo or Foldit ...
CommunityBot
- 1
5
votes
1
answer
659
views
Modified Pascal's triangle
I posted this question to Mathematics Stack Exchange but got no answers. I hope that this question is advanced enough for this forum:
In Pascal's triangle, each number is the sum of the two numbers ...
- 30.1k
3
votes
0
answers
303
views
Growth functions of finite group - computation, typical behaviour, surveys?
Looking on the growth function for Rubik's group and symmetric group, one sees rather different behaviour:
Rubik's growth in LOG scale (see MO322877):
S_n n=9 growth and nice fit by normal ...
- 4,713
3
votes
1
answer
208
views
$\psi(2,1/6),\psi(4,1/6)$ in terms of zeta and pi only and another closed form for zeta
Let $\psi(n,x)$ denote the polygamma function.
In this answer Lucia gave linear relations for $\psi(m,1/3),\psi(m,1/6),\zeta(m+1)$.
The computer managed to find closed form for $\psi(2,1/6)$ and $\...
- 20.8k