« first day (3409 days earlier)      last day (1605 days later) » 
00:00 - 18:0018:00 - 00:00

6:00 PM
Has anyone interest to establish a room for prime numbers and integer factorizations of several kinds of numbers ? I would coin in the expression (9n)!+n!+1. Is there a positive integer n, such that this expression is prime ? Upto n = 800 , this is not the case.
 
@TedE where did u go
i miss u
 
6:16 PM
ok well if they delete the priv room I need to put here so I look discuss why its wrong or disgusting For any $\mathcal H={\{h_k}\}_{k=1..N} \subset \mathbb N \land N \gt 1$

$$f(n,N)=\sum _{k=1}^{N} \operatorname{irem} \left( h_{{k}}-n+1,n \right)$$

$$g(n,N)=\sum _{k=1}^{N}\operatorname{irem} \left( h_{{k}}-1,n \right)$$

$$\max(f(n,N),g(n,N))\equiv\min(f(n,N),g(n,N))\pmod 2$$
I know it has something to do with residue classes modulo $n$ and Lagrange's Theorem for finite groups and that eventually explaining why the division by two holds I think well because the totient does anyway im sleep
 
6:57 PM
math.stackexchange.com/questions/3447759/… simple question, too many knee-jerk downvoters
 
7:20 PM
@MadSpaceMemer In your first example, you're never going to get there with that substitution!! As Thorgott suggested, restrict to an interval on which $\cos$ is one-to-one (say $[0,\pi]$) so that you have an inverse function. Let $t=g(x)=\arccos x$. Then $\int (1-x^2)^{1/2}\,dx = \int (1-\cos^2 t)^{1/2} \frac{dx}{dt}\, dt = \int \sin^2t\,dt$.
 
7:37 PM
Pretty cool result: there are infinitely many $n \in \Bbb N$ such that $\sum_{k=1}^n k$ is a square
 
you don't think it's generalization is cooler?
 
So infinitely many triangles are squares?
 
@Ted woah
 
right that's it im going to bed I had a nice walk and im not going to let it be ruined
 
7:43 PM
There seem to be 3 instances up to $n=100$.
 
Hi all
0
Q: $ \pi(n) > \frac{n}{22 \ln(n)} $ simple proof?

mickWhat is the easiest way to show that $$ n > 2 $$ $$ \pi(n) > \frac{n}{2 \ln(n)} $$ Where $\pi(n)$ is the prime counting function. I read a proof of the PNT with the zeta function but this statement is much weaker !! What is the shortest proof ? The simplest ? The most elementary ? Do we u...

 
Is there a nice characterization of the $n$ that work?
 
@Ted well the claim is equivalent to $n(n+1)/2 = a^2$ for some $a \in \Bbb N$, which is equivalent to $n^2 - 2a^2 = -n$, i.e. the elements $n + a\sqrt{2} \in K:=\Bbb Q(\sqrt{2})$ such that $N_{K/\Bbb Q}(n+a\sqrt{2}) = -n$
 
I was wrong. Only 2 up to 100, 3 up to 1000.
 
wow, sparse
 
7:46 PM
5 up to 10,000
 
Damn hahaha
 
So why are there infinitely many?
6 up to 100,000 ... looks very logarithmic.
yup, 7 up to 1,000,000
Gotta love simple Mathematica programs :)
 
I'm still midway through doing the proof hehe
 
Oh, OK.
Here are the first 7. Still computing the 8th. 8,

49,

288,

1681,

9800,

57121,

332928,
The eighth is 1940449
Heya @Eric.
 
8:17 PM
Wait @Leaky did you win a game against Rosen after he blundered the queen because he had mate in 1 but he can't type blindfolded? lmao
 
8:33 PM
meh...
 
How did you end up playing against him?
 
8:52 PM
hi
studying Dini's theorem, this came up: i.stack.imgur.com/v7ty3.png
Am not familiar with this notation, what is a product of neighbourhoods in R^2?
 
Can I ask a question? Given a Bi-Cubic interpolation. If all the values of it are in a range from 0 to 1. Is possible to get a result higher than 1 or lower than 0?
 
Is it just a circular nghd?
 
It's an open square
 
mh, thanks! is it important that it is a square and not a circle?
 
I can't answer without knowing how it's used in the argument you're looking at
 
9:08 PM
let me send the article; if you could give a look, I'd be grateful
It is in Italian, though
 
@Shootforthemoon you're in luck then
rofl
 
@ÍgjøgnumMeg lol
btw, it's in the 2nd page
 
I must be popular, I have 23 pings since I went offline :).
@anakhro Hello!
 
$n(n+1)/2 = a^2$
$n^2 + n - 2a^2 = 0$
discriminant must be a square: $1 + 8a^2 = b^2$
let $c=2a$: $b^2 - 2c^2 = 1$
this is Pell's equation
@ÍgjøgnumMeg
 
9:55 PM
Can someone tell me if this answer is having display issues: https://math.stackexchange.com/a/3447090/727383

On my screen it now goes wayyyy off the page to the right, yet without being edited since, it used to look normal.
 
Same on my screen..
seems crazy
 
For an abelian topological groups $G$ and $H$, any continuous homomorphism $G\to H$ induces a continuous homomorphism of their completions $\widehat{G}\to \widehat{H}$.
What kind of topology is defined on the completion? I think there is a natural one from the subspace of the countable product topology of $G^\mathbb Z$.
 
@Leaky: does that explain how sparse the solutions are? only 8 up to ten million, I think.
 
Some author defines it to be the set of cauchy sequences that are "eventually in an open set".
Does the two topologies coincide?
 
@TedE its worse, after visiting this site it happens with others as well!
 
10:05 PM
@TedE: It's way too big to fit on a regular screen. Maybe you should shrink the graphic?
 
@TedShifrin I guess
 
Hi all!
 
@TedShifrin It's not my answer, it's just an answer to my question. But it used to display properly, without any changes being made to it.
I thought maybe answers that receive a bounty get special permissions to have extra large pictures or something, and that I may have caused it by awarding that bounty, but no idea haha.
 
@TedShifrin When you have a fundamental solution to a Pell equation you need to take powers of it to get the others iirc, so exponential growth of the solutions seems to be expected
 
@AlessandroCodenotti ggs
 
10:09 PM
 
@LeakyNun thanks
 
this happened only after I opened that Markov stuff
 
Yes, that makes sense, @Alessandro. I wonder if one can get the numbers I listed above.
 
Did you see my message in chat regarding the second game? Your position wasn't as bad as it looked, you could have avoided both mate and losing the bishop
 
10:10 PM
Yeah that's what it previously looked like.
 
I'm guessing someone editing it messed it up.
 
there's only been the one edit, to be clear
but that edit added the huge P/Q
 
No, I mean that it displayed properly in the most recent edit, without any other edits.
 
Oh, I was going to say. That huge fraction runs off the page, too, so that's expanding the window.
 
@Leaky I'd rather you didn't spoil lol
 
10:12 PM
It hasn't been edited for like two weeks, and it looked fine when I awarded the bounty yesterday.
 
but thanks, this is what I have
 
just checked: If I go into the edit preview for that entry and remove just the P/Q, then it displays fine
 
oh no @ÍgjøgnumMeg
 
@Semiclassical As I figured.
 
The P/Q used to just be placed in a scrolling text box.
 
10:15 PM
@WilliamSun those completions are just projective limits over quotients of $G$ right?
 
yeah, something is going odd and that gigantic fraction is the cause.
 
@ÍgjøgnumMeg I love the mathematicians usage of "just"
 
hahaha
or "This is this, so all you have to do is prove this and then you have it"
"all you have to do" is very misleading
 
Assuming this lemma here's a simple proof of the theorem, followed by a neat half page long argument. We now prove the technical lemma, followed by three ugly pages of messy computations
 
rofl
Oh I have a question; are you familiar with the "Fréchet-Riesz property"?
in the context of functional analysis
or smth
 
10:19 PM
I don't know any concept called the Fréchet-Riesz property, but I might know what you're talking about if you elaborate
 
@TedShifrin The scrolling box I mean is in that revision math.stackexchange.com/posts/3447090/revisions
 
Well in our modular forms course we showed that some series $P_n$ satisfies the property that for any $g(z)$ (satisfying certain relevant properties), we have $a_n(g) = \langle g, P_n \rangle$ where $a_n(g)$ are the Fourier coefficients of $g$ and $\langle \cdot, \cdot\rangle$ is an inner product
I don't know if that's right though, maybe you've heard of something similar and could state it better
 
What's $g$?
 
it's a goofy issue, yeah. the scrolling box shows up in the revision window but not in the actual one
 
Well $g$ is a cusp form
 
10:22 PM
urgh
 
but I think this is a general thing to do with functional analysis
@WilliamSun that should say finite quotients of $G$ btw
 
Uhm I know embarassingly little about Fourier stuff, but is $a_n(g)$ a linear functional in $g$?
 
That's fair, yes I believe so
$g \mapsto a_n(g)$ is a linear functional
 
Sure, because you're integrating against $e^{-int}$.
 
I think what's going on here is an application of the Riesz representation theorem. It says that if $H$ is Hilbert and $f\in H^\ast$, then there is a $y\in H$ such that for every $x\in H$, $f(x)=\langle x,y\rangle$
I suppose that $g$ lives in some kind of Hilbert space
 
10:26 PM
$L^2$?
 
That'd be my guess, but I have no idea what a cusp form is :P
 
Yeah $g\in S_k$ which is a $\Bbb C$-vector space equipped with the "Petersson inner product"
 
Oh, so $L^2$ of some quotient of the hyperbolic plane.
 
(This is also called the Fréchet-Riesz representation theorem sometimes I think)
 
<--- shuts up
 
10:27 PM
Riesz Representation Theorem is something I'll look up tho :)
@TedShifrin your input is always valued ;)
 
It's a very important theorem
It's the reason you can identify $H$ and $H^\ast$
 
that's cool
 
@Semiclassical Oh, I missed this: meta.stackexchange.com/questions/339651/…
 
@Alessandro I'm learning a lot of facts about various random areas of mathematics accidentally through Modular forms lol
 
10:28 PM
Apparently a buggy css was deployed. – Daniel Fischer♦ 3 mins ago
 
Functional analysis pops up in a lot of unexpected places
 
yeah, we're going to be introducing Hecke operators soon
which is just gonna be a tonne of functional analysis I assume
 
I have no idea what those are :P
 
err some kind of interesting self-adjoint linear operators wrt the Petersson inner product
 
The functional analysis I've seen is more on the operator algebras side I'm afraid
 
10:30 PM
Well .. Hecke operators live in the Hecke algebra
 
@ÍgjøgnumMeg Oh yes I should say the resulting quotient space.
 
Well, that explains it, @TedE.
 
The topology on $\hat{G}$ just comes from the subspace topology on the countable product, as I think you mentioned
 
Yep, I'm happy now.
 
Yes it is just the inverse limit...thank you.
 
10:31 PM
:)
 
@ÍgjøgnumMeg I see, sounds cool but I know nothing about number theory :P
 
that's fine hehe
not everyone can be as cool as a number theorist
 
I'll get over it, @ÍgjøgnumMeg.
 
I shouldn't even be talking to you, after you refused to change your untypeable name.
 
10:42 PM
:( Alas, nobody will know who I am if I change it
I will lose my carefully constructed reputation for lurking and making stupid comments
 
Don't worry: You'll re-establish that in a day.
 
hahaha thanks..
Hmm still no sign of Mathein and I haven't seen him with any of his usual friends in uni
 
No, I'm officially worried. He didn't respond to my message on FB, either.
Have you asked his usual friends?
 
I'll ask someone tomorrow
 
Good.
 
10:44 PM
He's usually in uni every day so I'm not sure what's going on
 
I guess I can't tell if my message has been read.
 
He hasn't read my WhatsApp message from a few weeks ago
Strange
 
He had some health issues half a year ago or so.
 
I know who his supervisor is as well so if it's just a case of him knuckling down on his dissertation then that's probably who'll know where he is :P
Yeah I think he told me about htat
that*
 
I am sorry to raise a naive question: is it true that for the splitting fields $K$ of a polynomial $f\in k[X]$ of degree $n$, it is generic that $K/k$ is a Galois extension and the Galois group is $S_n$?
 
10:56 PM
well a splitting field is always Galois by definition and yes, one would normally expect $S_n$ as the group
10
Q: How often are Galois groups equal to $S_n$?

Travis WillseLet $\mathbb{Z}[x]_n$ be the set of polynomials in $\mathbb{Z}[x]$ of degree at most $n$. Then, consider some sensible increasing filtration $$A_0 \subset A_1 \subset A_2 \subset \cdots$$ of $\mathbb{Z}[x]_n$ by finite sets, i.e., a sequence of nested, finite sets $A_k$ such that $\bigcup_k A_...

 
There is a nuance that it is always normal, not Galois.
 
well for $k$ characteristic 0
 
They said that it is Zariski dense
What I guess is that it is Zariski open.
 
11:17 PM
@WilliamSun It is not a subspace of the countable product: you need to mod out the convergence relation. The correct one should be the Hausdorff completion of a uniform space
 
What's the mathematics behind making surfaces based on the brightness of a 2d image?
smooth ones
smooth surfaces
 
00:00 - 18:0018:00 - 00:00

« first day (3409 days earlier)      last day (1605 days later) »