« first day (1286 days earlier)      last day (4030 days later) » 

11:01
Someone says valuation
Would you ever assume it wasn't rank one?
I don't even know what a higher-dimensional field is, so no
I think those are related.
Kind of. You mean higher local fields?
Yep
I vaguely know of their existence, and that their hugeness causes lots of trouble for adelic analysis
Yeah. That's true.
They are definitely useful, just not in my daily life.
I mean, there are some CA facts that are proved using valuations
of higher rank, but meh
who cares
I don't even know where I'd go to learn that stuff, or why I'd care. But I guess I will eventually.
11:07
Yeah, I'm not sure. I wasn't aware of what you said, but that, by no means, doesn't mean it's true.
Talk to one of the Langlands people in the world!
I deleted it because I don't think it is true, but eh.
Gimme some time and I will.
hi pedro
Ill be back in à while maik
Cheers
Cheers alex
See ya main
11:12
Is this Phonepedro?
Where are you learning number theory from @Mike
What do you mean by that?
Text?
Cassels-Fröhlich
I might pick up Serre, Local Fields to help me cope with the first chapter of CF, which left me a little scarred with all the bilinear forms and determinants
@Mike Cassels and Frolich, eh.
Hmm
11:15
Not a fan?
I've just never used it. It gets referenced a lot, and I own the book, I've just never sat down and really read it.
I liked it after the first chapter, which I just found hard to do, and none of the material sunk in.
Actually, I was about to say that the first chapter looks great
lol
I can use that pleasant $efg=(L:K)$ formula (and its extension to non-local fields) just fine, but I couldn't reproduce a damn thing from the first chapter, nor the ideas in the proofs
They are more comprehensible when viewed geometrically
11:18
It's one of the few things that I've really sunk time and patience into that just never stuck with me, and I feel a bit uncomfortable about that
Certainly not as comprehensive, but Pete L Clark (he posts on math.se and mathoverflow a lot) has written a pretty good set of notes on valuation theory
The chapter on Global Fields, though, gave me quick and beautiful adelic proofs of finiteness of the class number and Dirichlet's unit theorem
Yes, but they are secretly just theorems of Arakelov theory
;)
That's too secret for me.
You remember what I said
secrets are my thing
There is a fundamental sequence in the Arakelov theory of a number ring
11:23
I can dig secrets, but I haven't been let in yet
Go on
$0\to H/\Gamma\to CH^1(\overline{\mathcal{O}})^0\to CH^1(\mathcal{O})\to 0$
using this, the unit theorem and the finiteness of the class group
can be proven to be equivalent to the fact that the kernel of the degree map $\deg:CH^1(\overline{\mathcal{O}})\to\mathbb{R}$ is compact.
(the kernel is just that $CH^1(\overline{\mathcal{O})^0$.
Ok, I'm done grading, I'm going to bed.
See ya bru
Note: of course the guy who was too lazy to staple his homework also only did 1 of the 4 questions.
My favorite thing to do
is to write a note at the bottom
like
please staple
11:28
I like to slowly get more passive aggressive
But then draw a really obnoxious flamboyant arrow up to where the staple would go
I staple because it's a hassle to deal with the papers otherwise
Then I circle it in red and draw an error
arrow*
the arrow squiggles a lot
and if they keep doing it I start stapling more than one corner
Yeah, it's true.
11:29
Until their grade is on the inside and all four corners are stapled
and then you staple them...
See ya dude.
Night.
11:54
@Mike That'd be clopen, I think, rather than ajar. =P
12:16
Hey everyone. I think this question was too hastily put on hold: math.stackexchange.com/questions/670104/…. How do I ask to reopen it?
12:36
@JacopoNotarstefano Hm.
That's not math, seems more like image processing.
12:55
@Mike So, the cool boy way to say $G\simeq H$ is to say $0\longrightarrow G\longrightarrow H\longrightarrow 0$ is exact?
pretty lame actually
K->G->H s.e.s. is the cool boy way to say G is an extension of H by K (not necessarily split)
I don't know what an extension is.
@anon What is an extension of H by K?
13:19
K->G->H s.e.s. is pretty much the definition of "extension of H by K." it's also a cool boy thing to say.
@PedroTamaroff I disagree. The question meant to ask for a function to use in image processing. It's no big deal, though: OP had their answer, albeit in a comment.
You're italian, right?
I should stop studying maths and become a private investigator, see.
Heya
Anyone familiar with the dirichlet function?
$\mathcal {X}$
13:55
You mean the distribution?
characters. what about them?
Let $\chi$ be any nonprincipal charachter $\mod k$ Prove that for all integers $a<b$ we have $$ \left| \sum_{n=a}^b \chi (n) \right| \leq \frac{1}{2} \phi(k) \,.$$
Oh, $\chi$!!!
Not $\mathcal X$.
@N3buchadnezzar Yes.
I will fix it =) I could not remember the function at hand
Do you have a proof?
13:58
by nonprincipality, wlog |a-b|<=k
\chi
I know a proof, but I'll let @anon do this, maybe it's the same, @N3buchadnezzar
Hmm, I might have a proof, but yeah.. I found this somewhat hard to see
Well, what's your proof?
Maybe we can simplify it.
It is more an idea, if you are interested, writing latex takes some time
Just do it.
14:02
If I want to maximize area of a rectangle for a continuous range of possible values of length and height shall I differentiate implicitly? If so, how?
@N3buchadnezzar by geometry it suffices to show that no more than half the values are on any semicircle, for which it suffices to show there is an m with X(m)=-1 (using symmetry), which follows from 2|phi(k)
$$ \sum_{r=1}^{\phi(k)} \chi_r(m)\chi_r(n) =
\left\{ \begin{array}{ccc} \phi(k) & \text{if} & m \equiv n \pmod{k} \\ 0 & \text{if} & m \not\equiv n \pmod{k} \end{array}\right.
$$
So we have this result
@N3buchadnezzar Aha.
I wouldn't do that.
What about
Rather use the sum vanishes over a full period.
A full period has $\varphi(k)$ elements that are nonzero $\mod k$.
14:06
N3bu, your orthogonality relation is summing over characters with fixed arguments, but the problem is summing over arguments with fixed character
Yeah, I realized
You mean $\chi(n+k) = \chi(n)$ for all $n$
Suppose there are only $\varphi(k)/2$ nonzero elements inside the interval $a,b$.
Then obviously $$\left|\sum_a^b\chi(n)\right|\leqslant \frac 1 2\varphi(k)$$
Now suppose there are more than $\varphi(k)/2$ nonzero elements in $a,b$.
Then shift by a full period, use that $$\sum_{1\leqslant n\leqslant k} \chi(n)=0$$ to get the other part, which has less than $\varphi(k)/2$ has before.
@anon Am I being clear here?
clear enough for me. N3bu's your audience though.
@N3buchadnezzar Actually, $\sum \chi(n)=0$ when we run over a complete set of residues $\mod k$.
Yeah, Im reading a bit in my book now. To check the details
Will ask if anything is unclear
14:11
When $\chi$ is nonprincipal.
@N3buchadnezzar $\uparrow $
That's where I learned the proof from.
Which book ?
Landau's Number Theory.
Note he assumes as @anon did that the sum has at most $k-1$ terms. I forgot to tell you that.
@PedroTamaroff How do we know that?
@N3buchadnezzar Because if we sum over $k$ or more terms, the sum vanishes.
That is, summing over a complete set of residues $\mod k$.
Yeah I understand that
14:27
Cool.
I should have said part of the sum vanishes, specifically, $k$ terms.
14:56
hehe, you guys are always doing stuff that I can't understand. I don't know if I'm stupid or you're smart. Probably both.
15:17
In that note, I've decided to create a room which focuses on the simplest things you can think of, from simple arithmetic to calculus.
(chat.stackexchange.com/rooms/12955/basic-mathematics) [Please tell me if it's too intervening on the topics by this room]
15:57
@PedroTamaroff Nah, the reason $0 \rightarrow G \rightarrow H \rightarrow 0 \implies G \cong H$ is good is when you have, say, a long exact sequence and you can prove that every third term is trivial. Then you've got a pleasant isomorphism.
@Mike What are you up to now?
@PedroTamaroff Putting off getting dressed and going to class. :D
You mean you're not going, right?
I am going, I'm just putting it off.
I have like another half an hour before I'll be late if I don't leave
16:12
What does putting it off mean?
Doing something later because you don't want to do it now.
Procrastinating.
Well, then you're not going today?
Huh? I am
I have to leave by 8:40 to get to class on time, and I usually leave early so that I'm not rushed for time. But I don't wanna go yet so I'm procrastinating until I have to.
 
1 hour later…
17:22
@Mike So this is a Lady Gaga dis?
can some one help me finding the integral
I see I could use formtatting let me get my problem formatted
Greetings
@Pedro Probbly not.
\int \frac{e^{1/z}}{z^2}
@PedroTamaroff $$\sum_{n=1}^{\infty} \left(\frac{H_{2n}}{2n}-\frac{H_{2n-1}}{2n-1}\right)$$
17:29
@Vader $(z^{-1})'=-z^{-2}$
Please don't force choke people here.
It's ok to force choke people as long as it's funny.
@PedroTamaroff I can see your code but mine is only text
(z^{-1})'=-z^{-2}
@Vader You have to install ChatJAX.
so if I set u = e^(1/z) I get du = ln(z)
@Vader No, let $x=1/z$.
17:33
yes that what I actually meant sorry
so if I set u = (1/z) I get du = ln(z)
No.
You get du = -dz/z^2
where does the ln(z) fit in ? I do not see it
how?
$$\frac{d}{dx} \frac{1}{x} = - \frac{1}{x^2}$$
What do you mean how? What is the derivative of 1/z w.r.t to z?
17:35
@PedroTamaroff I think I put it the wrong way since it gives a negative result $$\sum_{n=1}^{\infty} \left(\frac{H_{2n-1}}{2n-1}-\frac{H_{2n}}{2n}\right)$$
@Vader yes but you dont want the integral
ohh yes now I see
@Vader if $u = \frac{1}{z}$ then $\frac{du}{dz} = -\frac{1}{z^2}$ and so $du = -\frac{1}{z^2} dz$
LOL I just realized a sweetener in our country is called "Hileret".
duh, I have to differentiatie
thanks guys
I think I can slove the rest on my own
17:38
@Pedro The joke is lost on me
@robjohn I think I need to do some more research on Euler sums. Things here seem incredibly nice.
@BalarkaSen You are on and off today as well. Lets see how that continues.
17:54
@Chris'ssis That is just the alternating (1,1) form for which I think I have an answer posted
@robjohn Yeah.
@robjohn I tried to come up with a different elementary proof, but I failed.
@Chris'ssis here it is :-)
@robjohn well, the first few steps are the same, but after that I wanted to approch things in a different way.
@robjohn Yes. You used that useful form of harmonic number while I wanted to do something different. (I still think of it)
@Chris'ssis I will be interested to see it.
@robjohn OK, sure! (if I manage to do it) :-)
18:02
Hi @robjohn
Hi @Chris'ssis
Hi everyone
@Complexanalysis Howdy
@robjohn headache , sitting in one room past 10 hrs .
@anon What is $A_4$ iso to?
@Complexanalysis Hello :-)
@PedroTamaroff $A_4$
<-- group theory expert
18:08
@AlexanderGruber self-proclaimed? ;-)
@robjohn who else could have such enlightening insights
@AlexanderGruber That's true...
@AlexanderGruber Ah, darn it.
How could I not see that.
it's also isomorphic to $A_{2^2}$
@Mike and $A_4\times 1$
18:11
we could get a paper out of these discoveries
Well, it has 3 subgroups isomorphic to $C_2$; a unique subgroup iso to $V_4$, and four subgroups iso to $C_3$.
If that is of any help.
i mean, what are you looking for?
it's a dumb group @Pedro
semidirect decomposition?
my second least favorite group.
18:13
@AlexanderGruber Dunno, maybe? For example, $C_3\times C_4$ has order $12$, but is abelian so is not $A_4$.
@Sawarnik What's up?
@Pedro your first group is just $C_{12}$
@PedroTamaroff i don't know of any name simpler than $A_4$.
@Mike Yes, I know.
i guess you could write it as $V\rtimes C_3$ with an appropriate automorphism
18:14
@Alexander we could start shortening it to £ or something.
@Mike What is the lastmost?
it's $\operatorname{PSL}(2,3)$, if that helps.
@AlexanderGruber True.
I guess exceptional iso?
@AlexanderGruber Oh, wait.
@PedroTamaroff think of it like this
you got your $V$, it's made of $(1,0), (1,1),$ and $(0,1)$
now let $C_3$ act on $V$ by cyclically permuting these guys
18:22
@AlexanderGruber You're saying $A_4$ is ${\rm PSL}(2,3)$?
@PedroTamaroff yeah
i think the easiest way to understand $A_4$ is by $(C_2\times C_2)\rtimes C_3$, though
it's just a 3-cycle that cyclically permutes the nontrivial elements of $V$
(doesn't matter in what way)
@AlexanderGruber Well, I know ${\rm SL}(2,3)$ has $24$ elts, and its center is $\rm id$ and ${\rm diag}(2,2)$ so ${\rm PSL}(2,3)$ has $12$ elts.
@PedroTamaroff there ya go.
18:26
But, if $G$ is non-abelian of order $12$, then it is iso to $A_4$ or do we have any more groups?
@PedroTamaroff Heya thanks a bunch for the help with analytic nt.
@N3buchadnezzar No problem.
Mind another small question ?
@PedroTamaroff i think there's 3 nonabelian groups of order 12
18:27
I think I have an idea for this one
you've got the dihedral one, symmetries of the hexagon
and i think that there's a dicyclic of that order also
@AlexanderGruber Dicyclic? What's that?
@AlexanderGruber Right.
@PedroTamaroff they're a type of group that occur with order $4n$, $n>1$
@AlexanderGruber How do you present them?
If $\chi$ is a real value characher $\mod k$ then the sum
$$
S = \sum_{n=1}^k n \chi(n)
$$
is an integer.
I am looking to prove that if $(a,k)=1$ then $a \chi(a) S \equiv S \pmod{k}$
18:28
@N3buchadnezzar What's the question?
@PedroTamaroff $\langle a,x| a^{2n}, a^{n}=x^2, a^x=a^{-1}\rangle$
@N3buchadnezzar Real valued characters take values $1$ or $-1$.
So that's pretty obvious, dear N3bu.
@PedroTamaroff or 0 ?
Yes, $0$ for values that are not coprime to the modulus.
I was thinking since $(a,k)=1$ then $\chi(a)$ cannot possibly be $0$. Hence $(a \chi(a),k)=1$
18:30
At any rate, $S$ is an integer.
Because $n$ is an integer, and $\chi(n)$ is $0,-1,1$.
i picture dicyclics kinda like figure 8's
if you draw the cayley graph for it it should make sense
@robjohn If a linear operator is invertible does that mean that its continuos as well ?
@PedroTamaroff So how do we know that $a \chi(a)$ does not divide $k$?
18:32
@AlexanderGruber Oh, so it is the cyclic with a twist made by $x$.
Which kinda breaks it up into two cyclics of smaller order.
Something like that.
@PedroTamaroff yeah. and also that $x$ has a square into the middle of the cyclic
@N3buchadnezzar Why do you care about that?
so it's kind of like two smaller dihedrals in a way.
Also, you mean $k$ doesn't divide $a\chi(a)$ yes?
18:34
Oh.
I completely missed what you asked.
You want to show that $a\chi(a)S\equiv S\mod k$, right?
When $(a,k)=1$.
Well, if $(a,k)=1$ you can cancel $a$.
Which is true if $k$ does not divide $a \chi(a)$right?
And $\chi(a)$ is either $1$ or $-1$.
So you can cancel it too.
@N3buchadnezzar No. Coprime means no prime factors in common.
I mean $\chi(a)a=\pm a$ when $(a,k)=1$.
@robjohn got it , its need not be necessarily so .
18:36
$ ab \equiv b \pmod{k} \ \Rightarrow a \equiv 1 \pmod{k}$ if $(a,k)=1$ ?
@N3buchadnezzar You can cancel $a$, not $b$.
Ah right
Saying $(a,k)=1$ is exactly the same as saying $a$ is invertible modulo $k$.
Since by Bezout we have $am+nk=1$ i.e. $am=1\mod k$ for some $m$, i.e. $m=a^{-1}\mod k$.
Conversely, $am=1\mod k$ gives $am+nk=1$ for some $n$, so $(a,k)=1$.
@AlexanderGruber
Soundtrack for category theory.
So we have
$ \pm a \equiv S \pmod{k} $
@PedroTamaroff ...
18:51
How do you call this $\int u\, dv = uv - \int v\, du$?
@Cortizol Integration by parts.
@N3buchadnezzar No.
You want to prove that $\chi(a)aS=S\mod k$.
This is equivalent to $\pm a S=S\mod k$.
But $\pm a$ is a unit $\mod k$; so cancelling this is equivalent to $S=S\mod k$.
Which is trivially true.
Ok. How to use integration by parts on $\displaystyle\int\limits_{\Omega} a_{ij}\frac{\partial^2 u}{\partial x_i \partial x_j}\, dx$, where $x=(x_1,\ldots, x_n)$ and $\Omega \subset \mathbb{R}^n, a_{ij}, u \in C^2(\Omega)$
I find solution. Nevermind.
I just needed english term for this.
@Pedro I'll be interested in what subjects you end up doing.
I could see you in dynamics.
19:04
@Mike Dynamics?
Dynamical systems
I am studying optimization , please help me with terminology , "the function is unimoal in a given region " means it has only one optimum , right ?
*unimodal
@Mike Mariano worked on those a while, then he ended up doing Homological algebra.
Ask him if you get the chance.
@Pedro I did some work in the subject and I strongly disliked it. But you might dig it.
19:20
@Mike Surely! You seem to dislike what I like! =D
Exactly!
@PedroTamaroff Why is $\pm a$ a unit
52 mins ago, by Pedro Tamaroff
Saying $(a,k)=1$ is exactly the same as saying $a$ is invertible modulo $k$.
@robjohn u there
@Danny Heya
19:33
Ordep!! ;)
robbie i have some problem i think its small but it dont see it
what is $1 - P(X > u, Y >u)$ if $X$ and $Y$ are independent, i was just thinking it is $1-(1 -P(X\leq u , Y \leq u)) = 1 -f_X(u)f_Y(u) $ what am I doing wrong
@Complexanalysis did you find a counter example, or did you show it by contradiction?
@robjohn
@robjohn by considering a diagonal matrix with entries from $\mathbb N$ and taking the inverse .
@Complexanalysis are you working in $\mathbb{R}^n$ or infinite dimensions?
mistake: it should say $1-(1 -P(X\leq u , Y \leq u)) = 1 -F_X(u)F_Y(u)$
19:40
@PedroTamaroff In a PID...
@robjohn i considered infinite dimension , for finite dimension i think it holds .
@robjohn We're just talking about integers modulo $k$. =)
@Complexanalysis Then You are considering an infinite dimensional matrix?
@robjohn yup , if that makes sense .
@PedroTamaroff okay. Just reading the statement in its full generality :-)
@Complexanalysis Sure, you can usually interpret those in a Hilbert space pretty easily.
19:43
@robjohn Well, not an arbitrary matrix, obviously. Lest it be nonsense.
@robjohn Ok.
@Mike he's talking about diagonal matrices.
Oh, okay, we're all happy :)
Hey guys
Do you guys know why the MLE variance of a Gaussian is biased?
@Mike Dude.
19:53
@Pedro Bro.
@Alice MLE?
@Mike I have to prove the rigid motions of a tetrahedron are iso to $A_4$-
@anon it seems so :-)
Most of you are aware that $f'+\alphaf$ can be rewritten as $(exp(\alpha x)f(x))'/exp(\alpha x). This is a useful trick for solving some real analysis problems.
Can anything similar be told about $f'' + \alpha f$ ?

« first day (1286 days earlier)      last day (4030 days later) »