Questions tagged [conjectures]
for question related to conjectures.
227 questions
1
vote
0
answers
351
views
Is this conjecture a consequence of the first Hardy-Littlewood conjecture?
I had an idea for a conjecture and would like to know if it follows from Hardy-Littlewood's prime k-tuples conjecture. First, some terminology: given an integer $n$, we call any integer $r\geq 0$ such ...
- 7,022
-4
votes
1
answer
207
views
A conjecture on prime distribution (PKD Conjecture) [closed]
I would like to propose the following conjecture
The PKD Conjecture (PKD)
Let $p,d$ be positive integers with $\gcd(p,d)=1$. There exists a function
$$
f:\mathbb{N}\to\mathbb{N}, \quad f(N)<N,
$$
...
- 23
7
votes
0
answers
202
views
Stolz conjecture
I am wondering about current status of Stolz conjecture (about vanishing of Witten genus for certain manifolds).
In which cases has it already been proven?
Thanks a lot
- 241
3
votes
0
answers
368
views
Minimizing an expression with sum of digits
Conjecture. If $S_b(n)$ denotes the sum of digits of $n$ with base $b$ then $$10 \cdot S_5(n)+12 \cdot S_2(n)-5 \cdot S_3(n) \geq 0$$ and the equality holds if and only if $n = 19925000$.
The ...
- 183
-4
votes
1
answer
287
views
Known examples of conjectures stated while suspected false, to invite counterexamples?
Sometimes, in computational or experimental mathematics, one faces statements that seem almost certainly false yet are not directly refutable by current methods or feasible computation.
In such cases, ...
- 2,123
30
votes
5
answers
2k
views
How can referees verify computationally intensive results when HPC resources are required?
This question is somewhat related to my previous question and is also inspired from this other question concerning the credibility of extensive computations (although from a different perspective).
In ...
- 1,365
12
votes
1
answer
955
views
How to share algorithms for testing a conjecture?
I am preparing a paper where some results involve computational verification of a conjecture. Of course, I am not proving the conjecture in full, but I verify it for some large values of the involved ...
- 1,365
40
votes
10
answers
4k
views
Which pairs of mutually contradicting conjectures are there?
Years ago I had the pleasure of witnessing Simon Thomas giving a wonderful talk about Martin's conjecture, which I just now fondly remembered reading this question. Even though I am not well-versed in ...
3
votes
0
answers
138
views
Conjectures of Ext (non)-vanishing for noetherian rings
I am interested in a collection of open problems or conjectures on Ext (non)-vanishing results for modules over noetherian rings.
Here some examples:
Modular representation theory
Let $G$ be a finite ...
- 28.2k
-3
votes
2
answers
696
views
Primality test using the Golden Ratio [closed]
Background and Motivation
The golden ratio,
$$
\phi = \frac{1 + \sqrt{5}}{2},
$$
is a well-known irrational constant that appears frequently in geometry, algebra, and in the Fibonacci and Lucas ...
- 559
1
vote
2
answers
512
views
The strong Mersenne conjecture
The strong twin conjecture:
For every number $a≥0$, there exist two prime numbers $p$ and $p+2$ such that $$a+4<p<2^{a+4}$$
and it was believed that this conjecture implies the twin conjecture.
...
- 1,265
1
vote
1
answer
297
views
Reference request: Open problems about finite free products of finite groups
I'm working with finite free products of finite groups, i.e. a group $G$ given by $$G = F_1 \ast \ldots \ast F_n$$ where each $F_i$ is finite.
Do you know of any open problems as well as references ...
11
votes
1
answer
2k
views
Why is Erdős' conjecture on arithmetic progressions not discussed much, and is there an active pathway to its resolution?
Erdős' conjecture on arithmetic progressions (also known as the Erdős–Turán conjecture) is a major open problem in arithmetic combinatorics. It asserts that if the sum of the reciprocals of the ...
- 147
3
votes
0
answers
102
views
Conjecture on the preservation of unfragmented sets under element addition
A set $A_k$ contains $k$ elements $a_i, i=1..k$. The $a_i$ are incomparable (For example, functions, matrices, etc. they cannot be connected using > or <), but an operation $\otimes$ can be ...
- 39
7
votes
0
answers
250
views
Conjectures on Smith Normal Form for Jucys-Murphy elements (Stanley, Grinberg) - status and generalisations?
There is an excellent review by R.Stanley "Smith Normal Form in Combinatorics" from 2016. At the very last page - certain conjectures on SMF (Smith Normal Form) of Jucys–Murphy elements are ...
- 26.4k
0
votes
1
answer
121
views
Conjecture on a cyclic quadrilateral associated with central line of triangle
Using computer I found a conjecture as follows (click to check by geogebra):
Conjecture: Let $A$, $B$, $C$, $D$ lie on a circle such that $A$, $B$, $C$, $D$ are not formed an Isosceles trapezoid. ...
- 2,148
2
votes
0
answers
154
views
Conjecture about Euler quotients related to non-Wieferich numbers $W(n)=\frac{2^n+1}{3}$
For odd natural $n$ define the Euler quotient:
$$ a(n)=\frac{(2^{\phi(n)}-1) \bmod n^2}{n}=\frac{2^{\phi(n)}-1}{n} \bmod n$$
$a(n)=0$ is $n$ being Wieferich number (not necessarily prime).
For odd $n$,...
- 25.8k
2
votes
0
answers
124
views
Does a matrix ring over a ring satisfy the Koethe conjecture if the coefficient ring itself satisfies the Koethe conjecture?
I just want to know whether the following statement is true or false.
If $R$ is a ring satisfying the Koethe conjecture, then the matrix ring over $R$ also satisfies the Koethe conjecture.
Or is it ...
1
vote
0
answers
205
views
A new Conjecture at OEIS sequence A376842
Here is a new conjecture of mine from the appendix of an unpublished manuscript currently under review.
Let $b \in \mathbb{Z}^+$ and assume that $n$ is an integer greater than $1$ and not a multiple ...
- 2,123
3
votes
0
answers
278
views
Are local complete intersections of small codimension necessarily (global) complete intersections?
Hartshorne's 1974 conjecture states that a smooth closed subvariety $X$ of $\mathbb{CP}^r$ of dimension $>2/3r$ is necessarily (globally) a complete intersection. Is anything interesting known ...
- 17.5k
0
votes
0
answers
563
views
Is the Conjecture of Representing Integers as Differences of Semiprimes and Primes Extendable to Products of Distinct Primes?
Conjecture:
Let $k$ and $l$ be fixed distinct positive integers ($k≠l$). Then, for every positive integer $n$, there exist prime numbers $p_1,p_2,…,p_k∈\mathbb{P}$ and $q_1,q_2,…,q_l∈\mathbb{P}$ such ...
- 17
0
votes
1
answer
204
views
Inequality $(a_1^x+a_2^x+\cdots+a_n^x)^y \ge (a_1^y+a_2^y+\cdots+a_n^y)^x$
Conjecture: Let $a_1, a_2, \cdots , a_n>0$ and $y \ge x $ then
$$(a_1^x+a_2^x+\cdots+a_n^x)^y \ge (a_1^y+a_2^y+\cdots+a_n^y)^x$$
Equality iff $x=y$
Is the conjecture right? Have you ever seen this ...
- 2,148
5
votes
1
answer
912
views
A consequence of Firoozbakht's conjecture?
This is a question out of curiosity, while looking at the Firoozbakht's conjecture. It might not be research related, but as usual, I am not really sure if a question ever is research related or not, ...
3
votes
1
answer
229
views
A generalization of Barrow's inequality
More than seven years ago. I posted this problem in stackexchange:
Let $ABC$ be a triangle, $P$ be arbitrary point inside of $ABC$. Let $A_1B_1C_1$ be the tangential traingle of $ABC$. Let $A'$, $B'$,...
- 2,148
9
votes
1
answer
657
views
Does the sequence formed by Intersecting angle bisector in a pentagon converge?
I asked this question on MSE here.
Given a non-regular pentagon $A_1B_1C_1D_1E_1$ with no two adjacent angle having a sum of 360 degrees, from the pentagon $A_nB_nC_nD_nE_n$ construct the pentagon $...
- 707
3
votes
0
answers
561
views
Can the Collatz conjecture be independent of ZFC? [closed]
It is known that the Continuum Hypothesis is independent of ZFC.
The formulation of the Collatz conjecture looks somehow more simple than that of the Continuum Hypothesis.
Is it possible that the ...
- 718
0
votes
1
answer
201
views
Rearrangement inequality for sum
Rearrangement inequality:
Assume we have finite ordered sequences of nonnegative real numbers $0 \le a_1 \le a_2 \le\cdots\le a_n \quad\text{and}\quad 0\le b_1 \le b_2 \le\cdots\le b_n, \cdots\,, \...
- 2,148
13
votes
1
answer
620
views
A probability involving areas in a random pentagram inscribed in a circle: Is it really just $\frac12$?
This question was posted at MSE but was not answered.
The vertices of a pentagram are five uniformly random points on a circle. The areas of three consecutive triangular "petals" are $a,b,c$...
- 5,059
4
votes
0
answers
427
views
Optimal covering trails for every $k$-dimensional cubic lattice $\mathbb{N}^k := \{(x_1, x_2, \dots, x_n) : x_i \in \mathbb{N} \wedge n \geq 3\}$
After a dozen years spent investigating this particular class of problems, I finally give up and I wish to ask you if any improvement is achievable from here on.
The general problem is as follows:
Let ...
- 2,123
3
votes
0
answers
287
views
Uses of excluded middle on a conjecture that can be rewritten constructively with this trick
An interesting proof technique is to use the law of excluded middle on a conjecture. There are proofs using LEM on the Riemann hypothesis for example.
Constructively this is disallowed (if you can ...
- 7,158
11
votes
0
answers
653
views
Does the interior of Pascal's triangle contain three consecutive integers?
This question defeated Math SE, so I am posting it here.
Consider the interior of Pascal's triangle: the triangle without numbers of the form $\binom{n}{0},\binom{n}{1},\binom{n}{n-1},\binom{n}{n}$.
...
- 5,059
23
votes
1
answer
1k
views
Conjecture: Given any five points, we can always draw a pair of non-intersecting circles whose diameter endpoints are four of those points
The following question resisted attacks at Math SE, so I thought I would try posting it here.
Is the following conjecture true or false:
Given any five coplanar points, we can always draw at least ...
- 5,059
1
vote
0
answers
179
views
Initial conditions to falsify Rowland's conjecture
Based on the Rowland's paper (A natural prime-generating recurrence), is there any theorem to show that for which initial condition $a(1) = k$ the conjecture can be falsified?
For example, for $k$ ...
- 151
6
votes
1
answer
483
views
Different flavours of Vassiliev Conjecture
There is something that puzzles me about "Vassiliev's Conjecture". I am sure I am missing some detail which is obvious to the community, since there are several tightly related kind of ...
- 2,202
2
votes
0
answers
142
views
On a subset of the $abc$ triples
The $abc$ conjecture states that, for every positive real $\varepsilon$, there exist only finitely many triples $(a, b, c)$ of coprime positive integers such that $a + b = c$ and
$$c > \...
1
vote
0
answers
384
views
How would one go about solving this conjecture concerning exponential Diophantine equations?
I’ve been working on the Collatz Conjecture, and I believe I’ve reduced it to a more tractable problem. Unless there are some errors I’ve overlooked, I have managed to reduce the Collatz Conjecture to ...
- 21
3
votes
0
answers
518
views
Conjecture about primes and Fibonacci numbers
I posted this conjecture on math.stackexchange, but I received no answer proving or disproving it: if $ m > 4 $ is a positive integer not divisible by $ 2 $ or $ 3 $, it's ever possible to find a ...
- 557
4
votes
1
answer
2k
views
What do we know about Lucky numbers?
I'm really fascinated by lucky numbers (Wikipedia; OEIS A000959) and their prime-like characteristics.
Wolfram states: write "out all odd numbers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, .... The ...
- 49
1
vote
1
answer
250
views
Infinitely many $k \in \mathbb{N}$ such that the closed interval $[k, k+99]$ contains from $2$ to $23$ prime numbers
Let $k \in \mathbb{Z}^+$.
Is it possible to prove that, for some given
$m \in \{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23\}$,
there are only finitely many $k$ such that the closed ...
- 2,123
16
votes
0
answers
473
views
Do primes of the form $4k+1$ ever lead the greatest prime factor race?
Analogous to Chebyshev's race between primes, I examined the race between primes in the greatest prime factors, GPF, of natural numbers. Similar to the regular prime race, in the GPF race, the ...
- 5,628
0
votes
0
answers
147
views
Conjecture on the unsolvability of the $\{3 \times 3 \times \cdots \times 3\} \subseteq \mathbb{R}^k$ dots problem starting from the central point
In 2020 (see Solving the $106$ years old $3^k$ points problem with the clockwise-algorithm, JFMA, 3(2), p. 96), I conjectured that, in the Euclidean space $\mathbb{R}^k$, we can cover any given set of ...
- 2,123
-2
votes
1
answer
213
views
Conjecture about the equality : $f(y)=y\ln(y)+\sum_{n=2}^{\infty}\pm\frac{\left(y\ln y\right)^n}{2^{a_n}}$
I try here because I expect I cannot have any answer on MSE :
Problem :
Let :
$$f\left(x\right)=\frac{\left(1+\ln27\right)x!\ln x!}{x+1},g\left(x\right)=x\ln x$$
Then it seems $\exists y\in(0,1)$ and $...
3
votes
0
answers
558
views
A conjecture on consistent monotone sequences of polynomials in Bernstein form
A Conjecture
In the following, a polynomial $P(x)$ is written in Bernstein form of degree $n$ if it is written as— $$P(x)=\sum_{k=0}^n a_k {n \choose k} x^k (1-x)^{n-k},$$ where $a_0, ..., a_n$ are ...
- 715
1
vote
0
answers
198
views
Stronger conjectured inequality for area of a polygon
Four years ago, I proposed an inequality related to area and sides of a polygon.
After computer checking, I conjecture that the previous inequality can be strengthened as follows:
Let $A_1A_2\cdots ...
- 2,148
2
votes
0
answers
343
views
How soon can we represent a number as the sum of two primes?
Posting in MO since it was unanswered in MSE.
Goldbach's conjecture says that every even number can be represented as the sum of two primes. But how soon can we find such a representation. Taking $20 =...
- 5,628
2
votes
1
answer
359
views
Analogue of Fermat's little theorem for Bernoulli numbers
Is the following analogue of Fermat's Little Theorem for Bernoulli numbers true?
Let $D_{2n}$ be the denominator of $\frac{B_{2n}}{4n}$ where $B_n$ is
the $n$-th Bernoulli number. If $\gcd(a, D_{2n}) ...
- 5,628
20
votes
1
answer
643
views
Distinct exponents in the factorization of the factorial, a problem of Erdős
In the 1982 paper below, Paul Erdős proved that if $h(n)$ is the number of distinct exponents in the prime factorization of $n!$ then $$c_1\Big(\frac{n}{\log n}\Big)^{1/2} < h(n) < c_2\Big(\frac{...
- 203
2
votes
0
answers
311
views
A relation of the prime counting function $\pi$ to counting the ordered ways of a number $n$ as a sum of two primes and two questions?
The definitions are from these two questions:
https://math.stackexchange.com/questions/3164216/a-series-related-to-prime-numbers
https://math.stackexchange.com/questions/4349186/trying-to-understand-...
11
votes
3
answers
861
views
An open triangle problem in plane geometry
Some years ago, I asked some 'famous' people in an advanced Plane Geometry forum about the following:
Let $ABC$ be arbitrary triangle, how can one construct a point $P$ in the plane such that $P$ is ...
- 2,148
2
votes
2
answers
563
views
On odd perfect numbers $p^k m^2$ with special prime $p$ satisfying $m^2 - p^k = 2^r t$ - Part II
(Preamble: We have asked this same question in MSE two weeks ago, without getting any answers. We have therefore cross-posted it to MO, hoping that it gets answered here.)
The topic of odd perfect ...
