Skip to main content

All Questions

Filter by
Sorted by
Tagged with
23 votes
3 answers
1k views

References for $K_{4k}(\mathbb{Z})$

Weibel's "Algebraic K-theory of rings of integers in local and global fields" says $K_{4k}(\mathbb{Z})$ are known to have odd order, with no prime factors less than $10^7$, but are conjectured to be ...
Myshkin's user avatar
  • 17.6k
3 votes
1 answer
159 views

Literature on analogous arithmetic function of logarithm function

In number theoretical estimations, often we take the logarithms of a natural number to express it properly. A perfect example of this is the von-Mangoldt function. I am looking for an analogous ...
Superguy's user avatar
  • 356
2 votes
1 answer
236 views

Divisibility of (finite) power sum of integers

Consider the power sum $$S_a(b)=1^{2b}+2^{2b}+\cdots+(3a-2)^{2b}.$$ Let $\nu_3(x)$ denote the $3$-adic valuation of $x$. QUESTION 1. (milder) Is this true? $$\nu_3\left(\frac{S_a(b)}{S_a(1)}\right)=0....
T. Amdeberhan's user avatar
15 votes
4 answers
3k views

No Tonelli or Fubini

Whenever we can interchange summation (perhaps due to Tonelli-Fubini), good things happen. Otherwise, one has to struggle evaluating double sums in just one way, because the alternative results in a ...
31 votes
3 answers
5k views

Is any particular algebraic number known to have unbounded continued fraction coefficients?

The continued fraction $$[1;1,2,3,4,5,\dots]=1+\cfrac{1}{1+\cfrac{1}{2+\cdots}}, $$ for instance, is known explicitly as a ratio of Bessel function values and is (I believe - SS) known to be ...
XL _At_Here_There's user avatar
5 votes
4 answers
821 views

Can one show combinatorially how $\operatorname{lcm}(1, \dotsc, n)$ grows?

Let us write $M(n)$ for $\operatorname{lcm}(1,\dotsc,n)$ for $n$ a positive integer. Asymptotically $M(n)$ tends toward $e^n$. This result uses analytic number theory. (Lcm is least common multiple, ...
Gerhard Paseman's user avatar
4 votes
0 answers
186 views

A problem in the spirit of P. Borwein's polynomials

A well-known conjecture (now a theorem) of P. Borwein (see Wang and Krattenthaler - An asymptotic approach to Borwein-type sign pattern theorems) states: For all positive integers $n$, the sign ...
T. Amdeberhan's user avatar
0 votes
1 answer
410 views

Rankin-Selberg convolution and product of degrees as of Christmas 2019

Almost 5 years ago (time flies), I asked in Rankin-Selberg convolution and product of degrees whether the Rankin-Selberg convolution of two automorphic representations of respectively $\operatorname{...
Sylvain JULIEN's user avatar
1 vote
0 answers
174 views

Books about number theory and operator algebras

Does anyone know books that covers both operator algebras and number theory. Actually, a number theory books that has operator algebraic approaches.
Peg Leg Jonathan's user avatar
1 vote
1 answer
156 views

Log-concavity of sequence related to overpartitions

The number $p_1(n)$ of overpartitions of $n$ is generated by $$\sum_{n\geq0}p_1(n)\,q^n=\prod_{k=1}^{\infty}\frac{1+q^k}{1-q^k}.$$ Let $t\in\mathbb{N}$. Now, extend this to construct a family of ...
T. Amdeberhan's user avatar
13 votes
3 answers
811 views

Is $\sum_{n=1}^\infty\frac{S(n)}{n!}$ an irrational, where $S(n)$ denotes the sum of remainders function?

For each integer $n\geq 1$ we consider the arithmetic function $$S(n)=\sum_{k=1}^n n\text{ mod }k,\tag{1}$$ the sum of remainders function, the arithmetic function A004125 from the OEIS. Example. We'...
user142929's user avatar
6 votes
0 answers
456 views

Conditions under which an $\eta$-quotient becomes a **weak** modular form (reference request for theorems similar to Ligozat's theorem)

For any $z \in \mathcal{H}$, let $q = e^{2\pi iz}$; and the eta function is defined as ${\displaystyle \eta (q) =q^{\frac {1}{24}}\prod _{n=1}^{\infty }\left(1-q^{n}\right).}$ By an $\eta$-quotient ...
Davood Khajehpour's user avatar
0 votes
1 answer
195 views

Are Li's numbers $\lambda_n$ absolutely convergent for $n>1$?

Li's numbers $\{\lambda_n\}$ are defined as $$\lambda_n=\frac{1}{(n-1)!}\frac{d^n}{ds^n} [s^{n-1}\log\xi(s)]_{s=1} $$ for all positive integers $n$. Also $\lambda_n$ is given as a sum over the non ...
user avatar
19 votes
1 answer
1k views

Definitions of $\pi_1 \times \pi_2, \pi_1 \boxplus \pi_2, \pi_1 \boxtimes \pi_2$

Let $\pi_i$ be a smooth, admissible (possibly irreducible) representation of $\operatorname{GL}_{n_i}(k)$ for $k$ a $p$-adic field. I have seen the following representations defined in terms of $\...
D_S's user avatar
  • 6,180
14 votes
1 answer
285 views

Lower bounds for class number of function fields with fixed $q$, growing $g$

Let $X$ be a smooth project curve of genus $g$ over the finite field with $q$ elements. Let $h$ be $\# \mathrm{Pic}^0(X)(\mathbb{F}_q)$. Weil showed that $h \geq (\sqrt{q}-1)^{2g}$. Lachaud and Martin-...
David E Speyer's user avatar
7 votes
1 answer
1k views

Signed variant of the Flint Hills series

I asked my Calculus 2 students to come up with a series the convergence of which they are unable to decide. One of the students, Denis Zelent, invented a very interesting one: $$ \sum_{n = 1}^\infty \...
Mateusz Kwaśnicki's user avatar
3 votes
1 answer
111 views

Asymptotic growth of ternary partitions of integers $3n$

Consider the binary partitions of $2n$ in powers of $2$, denoted by $b(2n)$, with the generating function $$\sum_{n\geq0}b(2n)\,x^n=\frac1{1-x}\prod_{k\geq0}\frac1{1-x^{2^n}}.$$ A result of De Bruijn ...
T. Amdeberhan's user avatar
1 vote
0 answers
229 views

A sum involving the Jacobi symbols

Let $n>1$ be an odd integer and let $(\frac{\cdot}{n})$ be the Jacobi symbol. For an integer $a$, define $$S_a=\sum_{x=0}^{n-1}\left(\frac{x^2-a^2}{n}\right).$$ Are there any results on the ...
Beginner's user avatar
4 votes
2 answers
288 views

Best known bounds for $\left|\sum_{n<x}\mu(nk)\right|$ (Reference request)

What is the best known bound for the Mertens function along arithmetic progressions? More specifically, what is the best bound known for $$\sum_{n<x}\mu(kn)$$ as $k,x\to\infty$. This paper of ...
Milo Moses's user avatar
  • 2,902
14 votes
4 answers
3k views

Jacobi's theorem on sums of two squares (reference request)

One of Jacobi's theorems states that the number of representations of a positive integer $n$ as a sum of two squares of integers equals $$4(d_1(n)-d_3(n)),$$ where the function $d_i$ counts the number ...
Dr. Pi's user avatar
  • 3,062
12 votes
2 answers
1k views

Has there been further work on Bender-Brody-Müller approach to RH?

Earlier this year (April 4, 2017), a seemingly tantalizing approach of the Riemann Hypothesis based on ideas dating back to Hilbert and Pólya by Bender, Brody and Müller was made publicly available. I ...
Sylvain JULIEN's user avatar
5 votes
1 answer
232 views

"Middle" partial denominator in continued fraction expansion of square roots

Suppose $d$ is a positive integer that is not a perfect square such that the negative Pell equation, $x^{2}-dy^{2}=-1$ has no solution. Then we know the minimal period of the continued fraction ...
user132145's user avatar
1 vote
0 answers
203 views

Generalizing "partition into odd parts=partition into distinct parts"?

The number of partitions into distinct parts is known to agree with the number of partitions with odd parts. For instance, this follows from $$\prod_{k=1}^{\infty}(1+q^k)=\prod_{n=1}^{\infty}\frac1{1-...
T. Amdeberhan's user avatar
6 votes
1 answer
835 views

Beauty of some numbers discovered by Ramanujan

I am a graduate PhD student and my topic is analytic number theory. I am also a mathematics teacher. I am planning to give a course to pupils in high school that motivates them to study arithmetic and ...
Khadija Mbarki's user avatar
3 votes
2 answers
546 views

Approximation of $\sum_{\rho}\frac{1}{|\rho|^2}$, over the non-trivial zeros of the Ramanujan's zeta function

I would like to know if it in the literature an approximation for $$\sum_{\rho}\frac{1}{|\rho|^2}\tag{1}$$ where the sum is over all of the non-trivial zeros of the Ramanujan's zeta function (also ...
user142929's user avatar
1 vote
0 answers
255 views

Globalization of a local field

I am reading the paper ''Endoscopic classification of representations of quasi-split unitary groups'' by Chung Pang Mok, and cannot come up with the proof of theorem 7.2.1. Here is the statement. ...
user avatar
1 vote
1 answer
200 views

Inequality for $3$-adic valuation

This should probably be not that hard, but I would like to see a nifty way of proving it. Consider the double-indexed sequence given by $$f(n,k)=\binom{2n + 2k}{n + k}\binom{n + k}{n - k}3^k.$$ ...
T. Amdeberhan's user avatar
7 votes
0 answers
308 views

Number of rational points over finite fields mod $q$ is birational invariant

I heard that if $\mathbf F_q$ is a finite field, $X, Y$ are birational smooth proper variety over $\mathbf F_q$, then $\#(X(\mathbf F_q)) \equiv \#(Y(\mathbf F_q)) \pmod q$, and I heard that the proof ...
Aoi Koshigaya's user avatar
19 votes
3 answers
1k views

Points of elliptic curves over cyclotomic extensions

Let $E$ be an elliptic curve over $\mathbb Q$. Let's look at the group of points of this elliptic curve over $\mathbb Q(1^{1/\infty})$ which we get after adding all roots of unity to $\mathbb Q$. It ...
cll's user avatar
  • 2,305
1 vote
0 answers
194 views

Uniform distribution mod $1$ vs independence of random variables

Let $a_1, \cdots, a_k \in [0, 1)$ be real numbers such that $1, a_1, \cdots, a_k$ are independent over the rational numbers. By the Weyl equidistribution criterion in $k$-dimensions, we know that the ...
asrxiiviii's user avatar
18 votes
1 answer
631 views

Best texts on Lie groups for number theorists

What are the most comprehensive textbooks on the structure of Lie groups and their infinite-dimensional representations if one is interested in their applications to number theory (so covering ...
user163784's user avatar
13 votes
7 answers
2k views

number theory which is close to analysis

I have basic training in Fourier and Harmonic analysis. And wanting to enter and work in area of number theory(and which is of some interest for current researcher) which is close to analysis. ...
1 vote
0 answers
159 views

A follow up on Bergeron's conjecture and a question

We say two polynomials satisfy $P(x)\geq Q(x)$ iff $P(x)-Q(x)$ has non-negative coefficients. Recall $(n)_q!=\prod_{j=1}^n(1-q^j)$ and the Gaussian polynomials $\binom{n}k_q=\frac{(n)_q!}{(k)_q!(n-k)...
T. Amdeberhan's user avatar
0 votes
0 answers
157 views

On the mean value of Dirichlet L-function

Could you please provide a link to the source? $$\sum_{\chi\neq \chi_0}\int_{0}^{T}|L(1/2+it,\chi)|^4dt\ll (qT)^{1+\varepsilon},$$ where $\chi_0$ is the principal character modulo $q$, and $L(s,\chi)$ ...
user155294's user avatar
3 votes
1 answer
251 views

"Radical" Catalan numbers?

Let $C_n=\frac1{n+1}\binom{2n}n$ be the well-known Catalan numbers. Here is a curiosity. QUESTION. Are there infinitely many $C_n$ that are "radical", i.e. that are square-free?
T. Amdeberhan's user avatar
7 votes
1 answer
573 views

Sum of squares and partitions

This is an off-shot from my previous post on MO. Given an integer partition $\lambda=(\lambda_1,\dots,\lambda_{\ell(\lambda)})$ of $n$, denote $\ell(\lambda)$ to be the length of $\lambda$. Let $r_2(...
T. Amdeberhan's user avatar
22 votes
3 answers
2k views

Hecke equidistribution

For a prime $p\equiv 1\pmod{4}$, we can write $p=a^2+b^2=N(a+bi)$. Therefore $$ a+bi=p^{1/2}e^{i\varphi} $$ where $\varphi\in [0,2\pi]$. I know that Hecke proved that $\varphi$ is equidistributed. I ...
M.B's user avatar
  • 2,508
18 votes
5 answers
3k views

An elementary, short proof that the group of units of the ring of integers of a number field is finitely generated

Dirichlet's unit theorem states that (i) the group of units, $\mathscr{U}_K$, of the ring of integers of a number field $K$ is finitely generated, and (ii) the rank of $\mathscr{U}_K$ is equal to $r_1 ...
Salvo Tringali's user avatar
4 votes
0 answers
214 views

Maximum entropy methods for probabilistic number theory

Might there be a good survey paper on the application of maximum entropy inference for non-trivial problems in probabilistic number theory? So far I am aware of the work of Ioannis Kontoyiannis, an ...
Aidan Rocke's user avatar
  • 3,871
11 votes
1 answer
498 views

Siegel--Walfisz for number fields

For a number field $K$, we write $\Delta_K$ for its absolute discriminant. I was hoping for a Siegel--Walfisz type theorem of the following type: Let $A > 0$. Then for every $X > 0$, every ...
P. Koymans's user avatar
8 votes
1 answer
856 views

What is the motivation for excellent rings?

First of all I am not formally educated in mathematics so pardon my ignorance if this is obvious and I am skipping something vital, but I am interested nonetheless in what the original motivation and ...
Abracadbra's user avatar
10 votes
1 answer
345 views

Finding $q(x)$ such that $p(q(x))$ is reducible over $\mathbb{Q}[x]$

Let $p(x) \in \mathbb{Z}[x]$, such that $\deg (p) \ge 3$. Can we always find $q(x) \in \mathbb{Z}[x]$, such that $\deg (q) < \deg(p)$ and $p(q(x))$ is reducible over $\mathbb{Q}[x]$? Is there ...
jack's user avatar
  • 3,153
3 votes
1 answer
247 views

Explicit bounds on number of squarefree numbers coprime to a certain number

We know that the number of squarefree integers $\le x$ that are coprime to $A$ is $$ Q_A(x) = x \prod_{p|A} \left(1-\frac{1}{p}\right) \prod_{p \nmid A} \left(1-\frac{1}{p^2}\right) + O(\sqrt{x}). $$ ...
Iguana's user avatar
  • 301
3 votes
1 answer
326 views

Regarding the Weierstrass $\wp$-function of the hexagonal lattice

Playing with the Weierstrass $\wp$-function of the hexagonal (or triangular) lattice $\mathbb{T}$, $$ \wp'(z)^2 = 4 \wp(z)^3 - 1, $$ I noticed that the zeros of $\wp'(z) + \sqrt{3}$ are $$ \frac{\...
vassilis papanicolaou's user avatar
2 votes
0 answers
212 views

show that sequence $\{(-1)^n\Upsilon_n\}$ is convergent and strictly decreasing

Edit: Few years ago, I have posted my claim on $\Upsilon$ function regarding prime number but recently I have observed, last observation turns false that's way, (by putting $\Upsilon$ value in ...
Pruthviraj's user avatar
4 votes
1 answer
264 views

Reference request: Long exact sequence in profinite Galois cohomology up through $H^2$

I'm looking for a reference of the following statement. Let $G$ be the Galois group of a Galois extension $L/K$, not necessarily finite. Let $A,B,C$ be groups with a continuous $G$-action, and let $$1\...
stupid_question_bot's user avatar
1 vote
2 answers
288 views

In search of a combinatorial proof for a multinomial sum

There is this sequence listed on OEIS - named Domb numbers. I'm curious about QUESTION. Is there a direct combinatorial proof for the identity $$\sum_{k=0}^n\binom{n}k^2\binom{2k}k\binom{2n-2k}{n-k} =...
T. Amdeberhan's user avatar
5 votes
0 answers
524 views

Generalization of Weil Conjectures

is there a reference in English, besides Deligne's original publication: "La conjecture de Weil: II", not synthetic but complete that deals with the original argument of the generalization ...
Alessandro's user avatar
13 votes
1 answer
760 views

Infinitely many integer solutions to $X^4+Y^4-18Z^4= -16$

We found infinitely many integer solutions to $$X^4+Y^4-18Z^4= -16 \qquad (1)$$. The interesting part in this diophantine equation is the sum of the reciprocals of the degrees is $3/4 < 1$, which ...
joro's user avatar
  • 25.4k
7 votes
1 answer
660 views

Prove: If $P_n$ is $n$-$th$ prime number then $P_{n+m} \ge P_n+P_m$

Let $n > 1$ and $m > 0$ be two integers and $P_n$ be the $n^{th}$ prime. Prove: $$P_{n+m} \ge P_n + P_m .$$ Can you give a hint, reference, comment, or proof?
Đào Thanh Oai's user avatar

1
6 7
8
9 10
29