for question related to conjectures.

learn more… | top users | synonyms

1
vote
0answers
24 views

If $N = q^k n^2$ is an odd perfect number, if $n < q^{k+1}$, does it follow that $k > 1$?

Let $N = q^k n^2$ be an odd perfect number with Euler prime $q$. According to Dickson (as pointed out recently by Beasley), Descartes conjectured $k=1$ in a letter to Mersenne in 1638, with Frenicle'...
2
votes
0answers
99 views

On the conjectured nonexistence of even almost perfect numbers (other than powers of two) and odd perfect numbers [on hold]

(Note: This question has been cross-posted to MSE.) Let $\sigma(a) = \sigma_{1}(a)$ be the sum of the divisors of the positive integer $a$. A number $M$ is called almost perfect if $\sigma(M) = 2M -...
4
votes
1answer
210 views

Prove this conjecture inequality

This following problem is from my Conjecture many years ago, Question : Let $a,b>0,n\in N^{+},n\ge 3$,such $$a^n+b^n+(2n+2)(ab)^n\le 2n$$ Conjecture: then $a+b\le 2$ or $a+b>2.a>0.b>0,...
4
votes
1answer
140 views

What explains the asymptotic and the pattern in this sequence related to Riemann zeta zeros?

As the starting point for my experiment I assumed that the imaginary parts of the Riemann zeta zeros are of the form: $$\Im \{ \rho_n \} = \frac{2\pi}{\log x_n}$$ where $x_n$ is unknown. Therefore I ...
9
votes
0answers
275 views

A conjecture of Blakley and Dixon about odd powers of positive matrices

In a 1966 paper Blakley and Dixon conjecture the following. Let $S$ be a symmetric matrix with nonnegative entries and let $u$ be a unit vector with nonnegative entries. For integers $k\ge j$ both odd,...
3
votes
0answers
170 views

A conjecture on six planes [closed]

When I read Cox's Theorem, and Clifford's Circle Theorem and Miquel six circles theorem, I found the conjecture as folowing. And I checked the conjecture by the Geogebra sofware, the conjecture is ...
4
votes
1answer
586 views

A problem of four curves

This is a generalization of my previous question, a problem of a cubic and six conics. Let a curve $(K)$ of degree $m$ and three curves $(C_i)$ of degree $n$, for $i=1,2,3$. Let $(C_1)$ meets $(K)$ ...
12
votes
1answer
431 views

A cubic and six conics problem

I am an electrical engineer system. I live in Viet Nam. I am not a Mathematician. I construct and found a problem as follows: Let a cubic, and five conics $(C_1)$, $(C_2)$, $(C_3)$, $(C_4)$, $(C_5)$. ...
10
votes
1answer
466 views

What is the Status of Borel conjecture today?

Let me recall the conjecture: $M$ and $N$ two aspherical closed $n$-manifolds with isomorphic fundamental groups, then $M$ and $N$ are homeomorphic.
1
vote
0answers
218 views

Is this a proof of the Hardy-Littlewood inequality? [closed]

V.V. Miasoyedov posted a paper to the arXiv claiming a proof of the Hardy-Littlewood conjecture $\pi(x+y) \le \pi(x)+\pi(y)$. It seems a bit off, and not only because the conjecture is widely believed ...
21
votes
2answers
1k views

A conjecture based on Wilson's theorem

Definitions: Lagrange's theorem implies that for each prime $p$, the factors of $(p − 1)!$ can be arranged in unequal pairs, with the exception of $±1$, where the product of each pair $≡ 1 \pmod p$. ...
1
vote
0answers
37 views

On a conjecture about Riemannian metric with positive sectional curvature [duplicate]

What is the last status of the following conjecture? Is it still open? What partial or similar results are known up to now? Conjecture: $S^2\times S^2$ admits a Riemannian metric with positive ...
14
votes
2answers
567 views

A conjecture about $\lfloor n!\cdot q/e\rfloor-\,!n\cdot q$

I was thinking about this question asked at Math.SE, when I came up with the following conjecture. For every $q\in\mathbb Q$ consider a sequence $s_n^{(q)}$ (terms within the sequence are indexed by $...
7
votes
0answers
172 views

What is the status of this fifty-year-old conjecture of Kostant?

On page 3.27 of his 1963 thesis on the cohomology of homogeneous spaces as approached through the Eilenberg–Moore spectral sequence, Paul Baum states the following conjecture, which he attributes to B....
4
votes
0answers
182 views

What is behind the Hodge conjecture? [duplicate]

My question is quite naive, and my knowledge limited on the subject. I heard lot of talks about Hodge conjecture. I wanted to ask about an intuitive way to figure out why we should care about Hodge ...
11
votes
2answers
328 views

Gerstenhaber conjecture for free loop space

I- Is the following statement still a conjecture see this article ? Conjecture (?) Let $M$ be a simply connected compact oriented $d$-manifold (smooth), then $HH^{\ast}(C^{\ast}(M))$ the Hochschild ...
5
votes
1answer
196 views

A conjecture associated with n-gon cut curve of degree m

This conjecture is a generalization of A theorem for cubic-A generalization of Carnot theorem, in MSE question. I'm an electrical engineer, I am not a mathematician. I don't know how to prove this ...
3
votes
1answer
394 views

A conjecture like Cayley–Bacharach theorem

Let six points $A, A', B, B', C, C'$ lie on a conic and a cubic. Let a conic through $B, B', C, C'$ and meets the cubic again at $A_1, A_2$. Let a conic through $C, C', A, A'$ and meets the cubic ...
4
votes
0answers
287 views

Conjectured new primality test for Mersenne numbers

How to prove that this conjecture about a new primality test for Mersenne numbers is true ? Definition: Let $M_{q}=2^{q}-1 , S_{0} = 3^{2} + 1/3^{2} , \ and: \ S_{i+1} = S_{i}^{2}-2 \pmod{M_{q}}$ ...
6
votes
1answer
221 views

Connes Embedding Conjecture and Fusion Categories

I was recently introduced to Connes' Embedding Conjecture (CEC) which states: Every separable type $II_{1}$ factor is embeddable into $R^{\omega}$. Where $\omega$ is a generic free ultrafilter on $...
0
votes
1answer
203 views

A conjecture on the prime counting function

I was thinking about the Second Hardy-Littlewood conjecture for quite sometime (some of my posts are related to this). In one of my earlier post I conjectured that the inequality ($\pi(x)$ denotes the ...
39
votes
2answers
2k views

Arctangents of odd powers of the golden ratio

While trying to answer this MSE question, I found that arctangents of many odd powers of the golden ratio $\varphi=\frac{1+\sqrt5}2$ are expressible as rational linear combinations of arctangents of ...
0
votes
1answer
184 views

Is the following conjecture equivalent to the Second Hardy-Littlewood Conjecture? [closed]

Let $y$ be an arbitrary positive real number such that $y\ge 2$. Then if we can prove that, $$\lim_{x\to\infty}\dfrac{\pi(x)+\pi(y)}{\pi(x+y)}=1$$will it imply that for all sufficiently large $x$ and $...
14
votes
1answer
608 views

What are the strongest conjectured uniform versions of Serre's Open Image Theorem?

This question concerns the uniform conjectured effective versions and generalizations of these two results of Serre on $\ell$-adic Galois representations $\rho_{E,\ell}$ associated to a non-CM ...
5
votes
0answers
254 views

What will be the consequences if second Hardy-Littlewood conjecture turns out to be true?

It is generally believed that the Second Hardy-Littlewood Conjecture is false. But it has not been proved (or disproved) yet. My question is, What would be the consequences if Second Hardy-...
7
votes
3answers
2k views

The resolution of which conjecture/problem would advance Mathematics the most? [closed]

This is an impossibly broad question, and makes the unwarranted assumption that Mathematics is a uniform field. It might make more sense to ask the same question restricted to, say, Mathematical Logic,...
3
votes
0answers
597 views

Second Hardy-Littlewood Conjecture theme

If Second Hardy-Littlewood Conjecture is true then we can claim that $\pi(x)-\pi(y)\leq \pi(x-y)$. Thus the conjecture gives an upper bound for the number of primes between $x$ and $y$. I have found ...
2
votes
0answers
95 views

Non-negative, monotone polynomial sequences without combinatorial interpretation

I am wondering what sequences of integers there are, that are known to grow polynomially, are non-negative, monotone but lacks a combinatorial interpretation. By combinatorial interpretation, they ...
0
votes
1answer
218 views

Conjectured Primality Test for Numbers of the Form $k \cdot 2^n+1$ with $n>2$ [closed]

Definition : Let $P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4}\right)^m+\left(x+\sqrt{x^2-4}\right)^m\right) $ where $m$ and $x$ are positive integers . Conjecture : Let $N=k\cdot 2^n+1$ with $n&...
6
votes
1answer
243 views

Is the Tate conjecture known for etale covers of products of curves

Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...
3
votes
1answer
187 views

If there are two primes at an even distance $k$ is there another disjoint pair of primes also at distance $k$?

Suppose $p,q$ are two primes at even distance $k$. Must there necessarily exist a different pair $p',q'$ composed of entirely different numbers such that $p'$ and $q'$ are also at distance $k$? Edit: ...
2
votes
0answers
124 views

Primality Criterion for Specific Class of Numbers of the Form $k\cdot b^n-1$

Let $N=k\cdot b^n-1$ where $b$ is an even integer , $3\nmid b$ , $3\nmid N$ , $k \equiv 1,5 \pmod{6}$ , $k< b^n $ and $n>2$ . Let $S_i=P_b(S_{i-1})$ with $S_0=P_{k\cdot b/2}(P_{b/2}(4))$ , ...
2
votes
0answers
113 views

Primality Criterion for Specific Classes of Generalized Fermat Numbers

Let $F_n(b)= b^{2^n}+1 $ where $b$ is an even integer , $ 3\nmid b , 5\nmid b $ and $n\ge2$ Let $S_i=P_b(S_{i-1})$ with $S_0=P_{b/2}(P_{b/2}(8))$ where $P_m(x)=2^{-m}\cdot((x-\sqrt{x^2-4})^m+(x+\...
9
votes
0answers
219 views

Consequences of Zeeman's conjecture

Recall the Zeeman's conjecture: if $K$ is a contractible polyhedron of dimension 2, then $K\times I$ has a collapsible subdivision. Zeeman showed that this implies the Poincaré conjecture in ...
4
votes
0answers
158 views

Isoperimetric inequality, isodiametric inequality, hyperplane conjecture… what are the inequalities of this kind known or conjectured?

I duplicate here a question I asked on math.stackexchange. Question: Which inequalities similar to the famous isoperimetric inequality is known? conjectured? I recently learned about some ...
2
votes
1answer
781 views

Need help publishing a mathematical proof? [closed]

Im not a mathematician with profession, but I know a group working on a Beal's Conjecture for years. They think that they have found a proof but the problem is that they don't know how to publish ...
2
votes
1answer
156 views

Conjectures in classical harmonic function theory

Because I'm doing research in the area of harmonic function theory I would like to know are there any conjectures in the theory of harmonic functions in $\mathbb{R}^{n}$ still open. I know that there ...
1
vote
1answer
209 views

Representing the integers with powers of 2 and 3

Suppose that I have a number of the form $$ x = \frac{1}{3^m}(2^{h} - \sum\limits_{k=1}^{m}3^{m-k}2^{v_k} ) $$ where m is a positive integer, and $v_1 = 0 $ $v_{k+1} = v_k +1$ for $1 \leq k <...
5
votes
1answer
336 views

Who is attributed with the conjecture that every multiply-perfect number greater than $1$ is even?

I know that Descartes is considered to be the first to ask whether or not odd perfect numbers exist ($n$ such that $\sigma(n)=2n$, where $\sigma(n)$ is the sum of divisors of $n$), and he also ...
7
votes
1answer
299 views

Vaught conjecture for uncountable languages

Recall Vaught conjecture: the number of countable models of a first-order complete theory in a countable language is finite or $\aleph_0$ or $2^{\aleph_0}.$ Now let $\lambda$ be an uncountable ...
11
votes
2answers
833 views

On Generalizations of Fermat's Conjecture

We know the following facts: (1) For all $1\leq n\leq 2$ the equation $x_{1}^{n}+x_{2}^{n}=x_{3}^{n}$ has a solution in $\mathbb{N}$. (2) For all $3\leq n$ the equation $x_{1}^{n}+x_{2}^{n}=x_{3}^{n}...
6
votes
0answers
400 views

Graphs with graphic imbalance sequences

Let $G$ be simple undirected graph and $e=uv\in E(G)$. The imbalance of the edge $e$ is the value $imb(e)=|d(u)-d(v)|$. Let $M_{G}$ denotes the imbalance sequence (or more correctly, multiset of ...
9
votes
1answer
348 views

An analogue of the Bass-Quillen conjecture with power or Laurent series

The famous Quillen-Suslin theorem (formerly known as Serre's problem/conjecture) states that every projective module over $k[x_1,\dots, x_n]$ is free for $k$ a field. Replacing $k$ by a more general ...
11
votes
1answer
259 views

An elementary expression for $_3F_2(1,1,9/4;2,2;-1)$

Consider the following series: $$S=\sum_{n=1}^\infty\frac{(-1)^n\ \Gamma\left(\frac{5}{4}+n\right)}{n^2\ \Gamma(n)}.$$ It can be expressed in terms of a hypergeometric function: $$S=-\frac{5}{16}\...
9
votes
1answer
423 views

A conjecture on intersection of some intervals.

It was proved here that if $a\in \mathbb{N}_{\geq3}$ then $$\bigcap_{i = 1}^{a} \bigcup_{j = 0}^{i-1} \left[\frac{1+aj}{i},\frac{a(j+1)-1}{i}\right] = \varnothing \tag{1}$$ It may be conjectured ...
48
votes
7answers
2k views

How closed-form conjectures are made?

Recently I posted a conjecture at Math.SE: $$\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx\stackrel{?}{=}\frac{\pi}{2}(\mu^2-\nu^2),$$ where $J_\mu(x)$ and $Y_\mu(x)$ ...
12
votes
2answers
312 views

A sequence based on Catalan–Mihăilescu problem

It was conjectured by Catalan in 1844 that the only solutions of the equation $x^a-y^b=1$ over variables $a,b,x,y\in\mathbb{N^+}$ are trivial ones: $3^1-2^1=1$ and $3^2-2^3=1$. The conjecture was ...
13
votes
1answer
854 views

Status of Grothendieck's conjecture on homomorphisms of abelian schemes

In [1] Grothendieck posits the following: Conjecture. Let $S$ be a reduced connected scheme, locally of finite type over Spec($\mathbf{Z}$) or a field $k$, $A$ and $B$ two abelian schemes over $S$, $...
9
votes
6answers
2k views

What are conjectures that are true for primes but then turned out to be false for some composite number?

Note: This is an update formulation since many people misunderstood the question before. Of course it is easy to make a statement like "Every n is a prime or at most 1000", which is true for every ...
8
votes
3answers
2k views

Almost Complex Structures: 'Tame' versus 'Compatible'

Consider a symplectic manifold $(M,\omega)$ and the space of almost complex structures. These are $J:TM\to TM$ with $J^2=-\text{id}$. A given $J$ is $\omega$-tame when $\omega(v,Jv)>0$, and $J$ is $...