« first day (2448 days earlier)      last day (2869 days later) » 

10:00
I thought I might post a question about it. I was inspired by someone asking a (homework?) question about the even case.
You don't see a winning strategy, yet?
I just try to make them linearly dependent/independent depending on my role
and having fun by not thinking of "winning strategies"
[Random]
1,2,4,8,16,32,64,128,256,512,1024,...
diverges in the usual ordering
but converges to 0 in p adic ordering
@Secret are you interested in that game?
@MeesdeVries what is the name?
10:09
It doesn't have one as far as I know.
@DHMO well, how about expanding it to finite fields and complex entries ( I suspect the latter does not change much, but the former is going to be quite different)
@Secret that would be quite interesting indeed
the former
Now I'm curious -- what happens when the matrix has odd dimensions? — Mees de Vries 2 days ago
This is the question I am talking about. I see now that there was some discussion about the odd case even, I just wasn't pinged by the people having it.
ey what the hell
10:12
I clicked it
@Secret so are you up?
@DHMO Pick a finite field and we will get going
@Secret 16 because why not
and matrix size?
$\Bbb Z_2[X]/\langle X^4 \rangle$
still $3 \times 3$
is my notation correct?
wait, it isn't a field
god, how to form a finite field of 16 elements?
oh wait
can we just treat it as $\Bbb Z_2^4$?
$$
\begin{bmatrix}*&*&*\\*&*&*\\*&*&*\end{bmatrix}
$$
No, you have to find an irreducible degree 4 polynomial over $\mathbb Z_2$.
10:16
@MeesdeVries why can't I use $\Bbb Z_2^4$?
Because multiplication matters, and $\mathbb Z_2^4$ definitely does not have a field multiplication.
With zero divisors. I mean, you could play that of course, but the game changes.
It is getting too complicated
@Secret why don't you choose a simpler finite field
Because then det(M) = 0 <=/=> singular.
Well I only knew the cyclic ones for finite field (since I suck at polynomials). Let's try $\Bbb{Z}/5$
It's prime, hence it is a finite field
sure
10:19
who goes first?
Anonymous
Anyone good at newtonian mechanics here?
@Secret I don't know
@blue depends on what you ask
Anonymous
@DHMO Try this question!
Ok, I'll begin first then
$$\begin{bmatrix}*&*&*\\ *&0&*\\ *&*&*\end{bmatrix}$$
Gday peeps
10:21
@blue nope
Anonymous
@DHMO okay
The middle entry -- a daring move.
Very strong in tic tac toe. :-)
@MeesdeVries they are all equivalent
I know, that's the joke.
@Secret so who is trying to make it invertible?
10:22
$var(\overline{x})=var(\frac{1}{3n}\sum_{i=1}^{3}\sum_{j=1}^{n}X_{ij})$
$=\frac{1}{9n^{2}}\sum_{i=1}^{3}var(\sum_{j=1}^{n}X_{ij})$
$=\frac{1}{3n^{2}}E[\sum_{j=1}^{n}(X_{ij}-\mu )]^{2}$
$=\frac{1}{3n^{2}}\sum_{j=1}^{n}\sum_{j'=1}^{n}E[(X_{ij}-\mu)(X_{ij'}-\mu)]$
$=\frac{1}{3n^{2}}\sum_{j=1}^{n}E[(X_{ij}-\mu)^{2}]+2\sum_{j=1}^{n}\sum_{j'=j+1}^{n}E[(X_{ij}-\mu)(X_{ij'}-\mu)]$
I suspect Player 1 is invertible and Player 2 is singular?
Since I go first, I am player 1
anybody know what's going on in line 4? I dont understand the j'
@Secret alright
so you're trying to make it invertible by putting $0$...
$$
\begin{bmatrix}*&*&*\\ 0&0&*\\ *&*&*\end{bmatrix}
$$
Well, tic tac toe games taught me the central element is very important
$$\begin{bmatrix}4&*&*\\ 0&0&*\\ *&*&*\end{bmatrix}$$
$$
\begin{bmatrix}4&*&*\\ 0&0&0\\ *&*&*\end{bmatrix}
$$
I win
10:26
Wanna play again?
sure
@DHMO, you won both tic tac toe and the matrix game, score.
@MeesdeVries lol
Who goes first (i.e. who want to be invertible)?
I guess this time I'll begin first
10:28
ok then
$$
\begin{bmatrix}*&*&*\\ *&1&*\\ *&*&*\end{bmatrix}
$$
by not putting $0$
(1,2,3,4 are all isomorphic)
$$\begin{bmatrix}1&*&*\\ *&1&*\\ *&*&*\end{bmatrix}$$
\begin{bmatrix}1&*&*\\ *&1&*\\ *&*&1\end{bmatrix}
$$\begin{bmatrix}1&*&*\\ *&1&*\\ *&0&1\end{bmatrix}$$
Opening with 0 is actually a losing strategy. WLOG it is the central entry. Then P2 plays, in order, top middle 0, left middle 0, top left 0.
10:30
You know I knew nothing about game theory. I am currently too occupied to do high level strategy calculations, and just wanna having fun for now
$$
\begin{bmatrix}1&*&*\\ *&1&0\\ *&0&1\end{bmatrix}
$$
let's make $I_3$
$$\begin{bmatrix}1&*&*\\ *&1&0\\ 4&0&1\end{bmatrix}$$
$$
\begin{bmatrix}1&*&*\\ 2&1&0\\ 4&0&1\end{bmatrix}
$$
lol I may still lose
You'd have to play pretty badly though :-)
like, the second column and the third column can still form the first column
depending on what those entries are
10:35
You guys are so efficient, I was literally computing all possible determinants for every move
$$\begin{bmatrix}1&4&*\\ 2&1&0\\ 4&0&1\end{bmatrix}$$
Computation overload, too hard to compute all possible linear dependences
lol
$$
\begin{bmatrix}1&4&0\\ 2&1&0\\ 4&0&1\end{bmatrix}
$$
det = 1(1x1-4x2) = 1(1-3) = 3
Definitely avoid 0 next time...
lol
10:51
I wonder, if there is a winning strategy or if these is none, a nash equlibrium for the nxn matrix game with arbitrary underlying algebraic structure with 2 operators?
I suspect if the structure is a semigroup with many absorbers, then Player 2 may have more than one winnign strategy
Let's investigate this group lol
This is too beautiful
I wonder if $\mathrm{SU}(3)$ can be put into a diagram that look similar to this
cause that will really help in visualising this physically important group
There is always a winning strategy for either player in these games, since it is a perfect information game where the players take turns.
... that furthermore always ends in a bounded number of steps.
@Secret what is $\mathrm{SU}(3)$?
@BalarkaSen hi
10:59
are you interested in the matrix game?
$$
\begin{bmatrix}*&*&*\\*&*&*\\*&*&*\end{bmatrix}
$$
we take turn to fill in the entries
player 1 goes first
player 1 wants to make it invertible
and player 2 wants to make it singular
@DHMO Special unitary group of deg 3, which describes the rotations and reflections in $\Bbb{C}^3$ and preserve length of vectors in such space. This group describes the strong interaction
@Secret thanks
Hei guys , i am having hard time understanding one definition relating to polunomials, i would appreciate if someone shed some light for me on that.
@pigeon just ask; don't ask to ask
@DHMO Sounds fun.
11:08
are you interested?
let's see. i fill 1 on $a_{33}$ (say $a_{ij}$ is the matrix entry of the $i$-th row and the $j$-th column)
$$
\begin{bmatrix}*&*&*\\*&*&1\\*&*&1\end{bmatrix}
$$
$a_{22} = 2$
Right , so defining them by product and addition first then setting : $$\chi_{n}$$ is one if n is 1, and 0 otherwise,
Right , so defining them by product and addition first then setting : $\chi_{n}$ is one if n is 1, and 0 otherwise,
$$
\begin{bmatrix}*&*&*\\*&2&1\\*&2&1\end{bmatrix}
$$
11:15
ok , i will try that..
continuing the definition ,
@DHMO I am gonna lose :S $a_{11} = 3$.
The other entries are obviously bad choices
$$
\begin{bmatrix}3&*&1\\*&2&1\\*&2&1\end{bmatrix}
$$
I might make a bad choice somewhere lol
$\chi_{n}^{\alpha} $ is 1 when n=$\alpha$ and 0 otherwise.
can anyone explain what kind of definition for polynoms can start from here?
@pigeon I'm not understanding what $\chi_n$ should mean
$a_{12} = 5$
I think I am winning
11:23
sure
$$
\begin{bmatrix}3&5&1\\*&2&1\\3&2&1\end{bmatrix}
$$
7 on the remaining entry
win win
sure
there's no match against @BalarkaSen
Interesting game! Did you come up with it?
nah
Oh, and you might be interested in this
that sounds like the group $\Bbb Z/2 * \Bbb Z/3$
Ya that's it
11:25
oh really
what is $*$?
I wonder if one can draw pretty diagrams like this with $\textrm{SU}(3)$?
@Secret yau sun faai baai
Free product. The presentation is $\langle a, b | a^2 = b^3 = 1\rangle$.
:o
@DHMO can't read the last two words
11:27
@BalarkaSen I need to learn much more about abstract algebra
@Secret yau5 sun4 faai3 baai3
@BalarkaSen so $abababbababb$ is an element of the group?
yeah, sure
is $\langle a \rangle$ and $\langle b \rangle$ the only subgroups?
I don't think so. It's isomorphic to PSL_2(Z), which has a lot of subgroups
the "congruence subgroups" are famous
@BalarkaSen could you speak in English?
well, I suppose the two subgroups are the only two finite subgroups?
11:32
$\Bbb Z/2 * \Bbb Z/3 \cong \text{PSL}_2(\Bbb Z)$
@DHMO So that picture the uploaded picture contains what i am having hard time to understand.. it about the definition itself.
@DHMO Yeah, sounds right to me
Z/2 * 1 and 1 * Z/3 are not the only subgroups, however
there are lots of conjugates, but all of them are either isom to Z/2 or Z/3
Problem: Evaluate \int \frac{(ln x)^2}{x^2} dx by first doing a substitution and then integration by parts. Okay. The question makes it sound as though only one integration by parts is necessary; but the only sensible substitution I could come up with is t = ln x, which would require integration by parts twice. Is there any substitution that leads to integration by parts being used once?
@DHMO eg ab generates a subgroup.
I think every free group is a subgroup of Z/2 * Z/3
Please guy take a look at the definition of power series in the uploaded picture and let me know what that means.. Please!
11:47
Good morning! When an integral is in terms of $\theta$ and $r$, how do I use the Cauchy Integral Formula?
hey can somebody help me understand squaring a summation?
@Kane like squaring (1+2+3+... +n)?
Hi @pigeon and @Kane! I was supposed to say the same thing
@HarryEvans I don't think that this is the issue though. it should be something else.
$E[\sum_{j=1}^{n}(X_{ij}-\mu )]^{2}$
$\sum_{j=1}^{n}\sum_{j'=1}^{n}E[(X_{ij}-\mu)(X_{ij'}-\mu)]$
$\sum_{j=1}^{n}E[(X_{ij}-\mu)^{2}]+2\sum_{j=1}^{n}\sum_{j'=j+1}^{n}E[(X_{ij}-\mu‌​)(X_{ij'}-\mu)]$
I kinda get it from line 1 to line 2
but from the second to the third line is a bit confusing
11:56
Does any one knows graph theory here?
12:13
Where does the 2 come from?
@BalarkaSen I can even embed irrational numbers lol
since they are infinite
using $a$ as separator, $b$ for 0 and $bb$ for 1, using binary as encoding
Let $f : \Bbb R \to \Bbb R$ be a function which is everywhere differentiable with $f(0) = f'(0) = 0$.
1. Must $x \mapsto xf'(x)$ be continuous at $x=0$?
2. Must $x \mapsto \dfrac{f(x)}x$ be continuous at $x=0$?
12:44
The second one is true
@Astyx et le premier?
I'd say it isn't
(Took me ages to understand because my bias of the yau is 又)
有神快拜 (yau5 sun4 faai3 baai3)

Well, I guess I missed the opportunity to ask Balarka about my question then
Because of pathological function such as $x^2\sin(1/x)$
Or something similar
@Astyx think harder
comment dit-on "think harder" en francais?
12:46
@Astyx L'Hopitals?
"pense plus dur"?
@TimTheEnchanter ugly af
Réfléchis plus
@Astyx merci
Yeah just add a $x^2$ inside
@Astyx what do you mean?
12:47
$x^2 \sin(1/x^2)$
and then?
Well $xf'(x)$ isn't continuous at 0
Alright.
Oh, I see the fault in my thinking.
Thanks
13:20
$$\Large{\sum_i}\begin{bmatrix}* & * & * & * & * \\ * & * & * & * & * \\ * & * & * & * & * \\ * & * & * & * & * \\ * & * & * & * & * \end{bmatrix}_i$$
Glad to help
14:10
Hi guys. My teacher gave me te following exercise: Show
$$
\mathbb P(X+Y\geq x+y)\leq\mathbb P(X\geq x)+\mathbb P(Y\geq y).
$$
I don't remember if she specified anything about $X$ and $Y$; I'm guessing all we know is they are random variables. If I knew whether they were discrete of continous, I would probably use the convolution formula. I'm guessing I'll just have to use the non-decreasing property of $\mathbb P$ here, as I don't see any better option. Could someone give me a hint to begin?
What is $\Bbb P$?
probability measure
@BalarkaSen that's $\langle a,b\mid a^2=b^3=1\rangle$, right? I think you can take the subgroup made by concatenations of $ab$ and $ba$ (so that you can't simplify anything) with their inverses to get a subgroup isomorphic to $F_2$
oh, it's not the non-decreasing property of $\mathbb P$, but of $\mathbb P(Z\leq x)$ where $Z$ is a random variable
@Alessandro Ya something like that.
14:16
@AlessandroCodenotti Do I represent that by $\langle ab,ba \rangle$?
It shouldn't be hard to construct a free subgroup by passing to an appropriate covering space
Covering spaces are another thing which is covered (no pun intended) in my professor's notes about algebraic topology that I should read about
useful stuff
@DHMO or just $\langle \alpha,\beta\mid\varnothing\rangle$ after a morphism $ab\mapsto\alpha$, $ba\mapsto \beta$
wow
14:20
@BalarkaSen I read the proof in Hatcher that $\pi_1(S^1)=\Bbb Z$ using covering spaces, but that's all I know
wait
$(ba)(ab)(ba) = bbba = a$
$(ba)(ab)(ba)(ab) = (bb)(bb) = b$
So $\langle ab,ba \rangle = G$
Ah, right, might need $bab$ and $ab$ then
where $G$ is the whole group
@AlessandroCodenotti that's better
We should calculate $pi_1(S^1)$ with complex analysis methods in one of the upcoming lectures, I'm quite curious
You can also nuke it out of the orbit using the fact that hyperbolic groups contain $F_2$ subgroups
14:24
I don't even know what an hyperbolic group is :P
It's not a complicated concept. But don't worry about that
@AlessandroCodenotti huh
I guess I know a couple of ways to do that
@ShaVuklia Simply prove $(X+Y\leq x+y) \subset ((X\leq x) \cup (Y\leq Y))$
@AlessandroCodenotti $(ab)(bab)' = abb'a'b' = aa'b' = b' = bb$, where $x'$ is the inverse of $x$
then $(bb)^2 = b$
then $(ab)b' = a$
So we got the same group again
14:43
Hi.
Is this series convergent? $P(w) = \displaystyle \sum_{k=0}^{\infty}a_k (w+1)^k = a_0 - a_0 \dfrac{-\lambda}{2}(w-1) + \lambda \left(\dfrac{\lambda}{16}-\dfrac{1}{8}\right)a_0 (w-1)^2 - \lambda \left (\dfrac{\lambda}{16} - \dfrac{1}{8}\right )\left(\dfrac{\lambda}{18} - \dfrac{1}{3}\right)a_0(w+1)^3 \dots$
and is it alternating?
whether it is convergent depends on $a_k$
what is $a_k$?
And why did you switch from $w+1$ to $w-1$?
It is an errata.
For $a_k$ I have the recurrence relation: $\dfrac{a_{k+1}}{a_k}=\dfrac{k(k+1)-\lambda}{2(k+1)^2}$
so we are again solving differential equations by power series
can you show me your equation?
Yeah, is the same diff equation I asked yesterday.
I'm trying to figure out for which values of $\lambda$ it converges.
my memory doesn't last a day
so can you tell me what it is?
14:49
The diff equation is $[(1-\omega^2)P']'+\lambda P=0$
You don't need power series for that, I think
it is the legendre diff equation.
oh, never mind
I thought $\omega$ is a constant
I'm trying to understand this: gyazo.com/ef0d542a3932f41ace9b23b0b1e19510
Why for $\lambda = l(l+1)$ it converges.

« first day (2448 days earlier)      last day (2869 days later) »