« first day (1575 days earlier)      last day (3431 days later) » 

8:01 PM
@Chris'ssis You're too strong :/
@Chris'ssis Stop doping :P
 
@Hippalectryon nahhh, that one is exceptionally easy ...
 
hi! @Studentmath, @DanielF, @Hippa, @Chris'ssis
 
@TedShifrin Hi
 
hmmm, @Hippa, you referring to me as a dinosaur?
 
@TedShifrin Hi.
 
8:03 PM
@TedShifrin uh ???
 
Regarde à droite :P
 
What's the link with you e___e
 
@Hippa: We should all subscribe to :18788136
hmm, I can never get permalinks to work right :(
 
7 hours ago, by Hippalectryon
user image
@TedShifrin ^ ?
 
Right.
I went hunting for dinosaurs and found that.
 
8:06 PM
:-)
You need dinosaurs for your cooking ?
 
No, I went to see why you were referring to Daniel and me as dinosaurs of education :P
 
I wasn't -__-
away
 
@TedShifrin what's the difference between x maps to f(x) and a function f acting on x?
 
8:22 PM
@Ted \o
 
Sharpe's book is great, @TedShifrin
Especially adorable: where black squares end proofs, he ends definitions with a flower symbol
 
@Twink I'm sorry, I can't look at your problem today, I'm ill and going to bed now. Maybe MikeMiller or PedroTamaroff or robjohn can help you.
Night, people.
 
Good night
 
@Hippalectryon I have an idea for this one , but not sure if it's great. math.stackexchange.com/questions/1021647/…
 
I have done the thing several times this week
@UserX G'nite
 
8:30 PM
@N3buchadnezzar I ain't sleeping :P I was wishing good night to Daniel.
 
@Hippalectryon is it a fruitful idea? $$\log(\sin(\pi x))=\log\left(\frac{\pi}{\Gamma(x)\Gamma(1-x)}\right)$$
 
Anyway, brb
 
@Chris'ssis Arctan log gamma integrals? uuuughhh
 
@N3buchadnezzar actually, this one is terribly nice $$\int_0^1 \tan(\pi x) \log(\Gamma(x))dx$$
 
@Chris'ssis Remember you would also have an $x$ in those integrals.
 
8:35 PM
@N3buchadnezzar I know, but I gave you an example as you mentioned above "Arctan log gamma integrals".
 
@Chris'ssis :p
 
@N3buchadnezzar :D
 
@Chris'ssis log(2)/2 something?
 
@N3buchadnezzar No ...
 
Interesting that you like it so much, @Mike ...
 
8:41 PM
Hey guys, mind if I ask some questions about Sylow's theorems and Sylow p-groups?
 
Hope you feel better soon, @DanielF
 
$${\frac {7}{121}}\,{7}^{2/5}{11}^{5/6} \left( \ln \left( 2 \right)
\right) ^{9/5}$$
 
our resident algebraists aren't here, @Miguelgo, but I'll try with one or two
 
@N3buchadnezzar Not really.
 
@Chris'ssis Compare it numerically ;)
 
8:43 PM
@N3buchadnezzar Maybe they fit to a certain point. :-)
 
This one's kinda easy (or at least Malik's algebra jumps its justification). Let say I have a group whose order is $91 = 7 * 13$. I know there exists only one normal 7-subgroup H and only one 13-subgroup K. Can I say that $H\cap K = \{e\}$?
Thanks @TedShifrin, :)
 
@Chris'ssis ;)
 
What do you know about order of a subgroup of a group, @Miguelgondu?
 
@TedShifrin OOOOOH!
@TedShifrin $H\cap K \trianglelefteq H$, am I right?
 
normality is not relevant here :)
 
8:47 PM
but it is a subgroup, at least. :)
thanks, I hadn't seen it in that way.
 
right
 
@Hippalectryon $\rightarrow$ $$\int_0^1 \tan(\pi x) \log(\Gamma(x))dx$$ This is advanced.
 
@TedShifrin Thanks Ted.
 
Sure ... Is that all?
 
@TedShifrin I can imply from that that the group of order 91 is always cyclic, because it can be seen as the product of both $H$ and $K$ (where both $H$ and $K$ are cyclic). Showing that there can't be a group by which $|G/Z(G)| = 91$. I might bother you later, but I think that's all.
 
8:50 PM
@Chris'ssis Looks like it diverges eg blows up around 1/2
 
@N3buchadnezzar Look at its principal value.
 
@Chris'ssis Thats cheating
 
Careful, @Miguel: The product of cyclic groups is cyclic only when they have relatively prime orders.
 
@Hippalectryon and this one is more advanced ... $$\int_0^1 \tan(\pi x) \psi^{(-2)}(x)dx$$ where the integrand also contains the negapolygamma. These ones are deadly.
 
@TedShifrin and (7,13) = 1. ;)
 
8:52 PM
@Miguel: So you know the theorem that if $G/Z(G)$ is cyclic, then $G$ must be abelian.
That's one of my favorite proofs to assign to students :)
 
@N3buchadnezzar :D
 
@TedShifrin That's kinda what I'm using. But the gist of the matter is that if $G/Z(G)$ is cyclic, $G$ is abelian and therefore $|G/Z(G)| = 1$. Is that a correct reasoning?
 
Yup. Perfect.
 
I sent some toplogy questions to the prof. as I wasn't sure about my proofs (still feel shaky there)
There was one he said is wrong, I'm unsure how to go on doing it right
 
I can tell you you're wrong, too, @Studentmath :P
@Mike: This question reminded me I should have recommended you look at Taubes's book.
 
9:02 PM
Is it true that the boundry of the set of continious functions $2\le f(x)<3, \forall x\in [0,1]$ in the space C[0,1] is the set of continious functions $2\le f(x)\le 3$, so that for some $a$ f(a)=3? Or am I wrong already here? I don't know if I can take some function arbitiraly close to 2, and how it will count exactly.
@Ted well, to be fair I am going faster than the others - I need to finish this within a semester, where the course is meant to be yearly. So he can't really elaborate with every question, as it is as if he is teaching two classes that way
 
@Chris'ssis Sorry I was away
 
I think you're right with your claim, @Studentmath. Write down what it means to say $g$ is in the boundary of that set.
Tu t'es échappé, @Hippa?
 
@TedShifrin I was hunting triceratops in the streets
 
hunting?
Did you slay any?
 
Hm not enough :/
@TedShifrin I have $n$ urns and $m$ balls. Let X be the variable that holds the number of balls in one given urn, we suppose that the distribution law is equiprobable. I have $P(X=k)=\binom{m}{k}\dfrac{(n-1)^{m-k}}{n^m}$. Now they ask for $P(X\ge k)$, is that $\sum_{i=k}^m P(X=i)$ ?
 
9:10 PM
Seems that's fine, I think what was wrong was my explanation of that set of functions. It seemed as if I was saying I was raising some point to a different location, thus nullifying the continiuty.. Ach so, at least I get it now
 
I don't think I agree with your formula for $P(X=k)$, @Hippa, but the latter formula is , of course, correct.
 
@Chris'ssis V
@TedShifrin Well for the first one, isn't it a Binomial distribution $B(m,1/n)$ ?
 
OK, @Studentmath. You want $g\notin S$ but for every $\varepsilon>0$, you want $f\in S$ with $\max |f-g|<\varepsilon$.
 
@Chris'ssis I like the really straightforward proof
 
oh, I missed the one given urn, @Hippa.
 
9:13 PM
@TedShifrin, finished cooking yet? :P
 
Hell no, @Kaj, but done for today. Except for dinner.
 
@TedShifrin So, it is true ? (It would bother me, because then $P(X\ge k)$ would look pretty awful)
 
That's the sorts of formulas one gets, @Hippa. Not awful.
 
@TedShifrin Mh ok then.
 
@Ted precisely. $2\le f(x) \le 3$ so that there is some $a$, $f(a)=3$ is there. Question is whether the same. I can show nothing else is - if I take it to be smaller than $2$ for some value or larger than 3 for some value, I can take small enough epsilon to contradict it. And if there's no $f(a)=3$, it's in $S$.
 
9:15 PM
@TedShifrin I was wondering because it's just question b) of the exercise
 
Bingo, @Studentmath.
What's part c), @Hippa?
BTW, @Studentmath is our probability expert. I'm just a novice :P
 
@Hippa if it makes the sum easier to compute for you, you can go for the completing probability i.e. $1-P(X\le K)$
Sorry, $1-P(X<K)$
 
@TedShifrin Question c) is the proba that each urn has at most one ball
 
No better.
 
I strongly disagree with that term :P
 
9:17 PM
@Studentmath Unfortunately, it doesn't help :)
 
@Hippalectryon Do you have a solution for that?
 
@Studentmath You mean for c) ?
 
Yep
 
Hm Not hyet, I'm doing it right now give me a sec
 
It's a nice question :) Take your time
@TedShifrin Thanks as always!
 
9:20 PM
@Studentmath Duh then there is question d) then i),ii),iii)
 
@Kaj: For the first time, I removed the backbone of the turkey before cooking. Interesting :P
 
Does that greatly affect the way it cooks?
 
Moving to density now, it's nice to see the definitions from set-theory moving into the concept of toplogy
 
Oh it is thanksgiving in America tomorrow?
 
@Kaj I'd say it does, especially if he fills it
 
9:21 PM
(My cooking knowledge ends with $1 noodles)
 
Such is the uni student life
 
hi
anyone interested in asymptotics? math.stackexchange.com/questions/1039829/…
 
@Hippalectryon I know how to tackle your problem in a very clever way ...
 
Yes, @Kaj. It lies flat (like butterflying) and cooks in half the time, crispier.
Well, @Kaj, it seems Eric is taking after my cooking skills/interests ... not so much the rest of you :P
 
@Chris'ssis Show me your way, I'll give you a more awesome one :D
 
9:25 PM
Eric's been to culinary school!
 
You solve it first, @Hippa.
 
@Hippalectryon It will be hard for you to do that ... (this time) :-)
 
Say what? @Kaj ... Have I forgotten something?
 
He was telling me he went to culinary school for a month or two when he was visiting Peru.
 
@Chris'ssis I meant, i'll showyou a more awesome problem
Not a more awesome answer
 
9:27 PM
You'll have to ask him!
 
oh, I don't think I knew that ... We should make him cook a Peruvian dinner, then.
I owe the guys a dinner for doing all the videos this semester ...
 
@Hippalectryon OK :-) Just let me a few second to clarify all things in my mind ...
 
Even if they sometimes make you stay late in the evening :P
 
YOU would never have done something so dastardly, @Kaj.
 
9:29 PM
@Hippalectryon Use the well-known fact that $$\int_{0}^{+\infty} u^{s-1} \cos (a u) \:e^{-b u}\:\mathrm{d}u = \Gamma (s)\frac{\cos \left(\! s \arctan \left(\frac{a}{b}\right)\right)}{(a^2+b^2)^{s/2}}, \, \left(\Re(s)>0, b>0, a>0 \right)$$ Q.E.D.
 
I'm off for the night, g'night all!
 
Night, @Studentmath
@Kaj: Imagine what would happen if the toast rotated about its unstable axis of rotation.
 
I feel like I should know what you're talking about @Ted :(
 
Yes, too bad you never took upper level mechanics. The moments of inertia about the three axes of a box, unless the box has a square base, are $I_1<I_2<I_3$. Rotation about axis #2 is unstable. Didn't I ever show you this with tossing a book? This is something they should definitely do in 4700.
 
@Chris'ssis What about $(1+t^2)\frac{d^2g}{dt^2}+2t(z+1)\frac{dg}{dt}+z(z+1)g=0$ ? :P Isn't that proof cool ?
 
9:32 PM
hi
 
Oh yes, I do remember something like that in your office!
 
i have a question
 
@Hippalectryon Interesting.
 
hi @Chris'ssis
 
Oh oh, my namesake is here. Howdy, @Teddy.
 
9:32 PM
@user2179021 Hi
 
hey ted :)
 
@Chris'ssis I tried taking logs to see if it would help with my problem
but I am not good enough at log expansions I think
I wondered if you had any ideas?
3
Q: Asymptotics of $\prod_{x=1}^{\lceil\frac{n}{\log_2{n} }\rceil} \left(\frac{1}{\sqrt{n}} + x\left(\frac{1}{n}-\frac{2}{n^\frac{3}{2}} \right)\right) $

LembikI am trying to work out the large $n$ asymptotics of $$S_n = \prod_{x=1}^{\lceil\frac{n}{\log_2{n} }\rceil} \left(\frac{1}{\sqrt{n}} + x\left(\frac{1}{n}-\frac{2}{n^\frac{3}{2}} \right)\right) .$$ Here is my attempt so far $$\prod_{x=1}^{k} (A + Bx) = \frac{B^k \Gamma(k+1+A/B)}{\Gamma(1+A/B)}.$$...

 
algebraic topology is exhausting
 
@Chris'ssis As promised, the next one :D
 
most of math is exhausting until you learn how to do it :P
 
9:34 PM
@user2179021 These days I've only spent my time thinking, applying for jobs. I only have jobs in my mind these days ... cannot focus on things.
 
@TedShifrin you never learn math.. you just get used to it :)
@Chris'ssis ok no problem
 
I've learned a smidgeon in my life.
 
@Hippalectryon This should be called somehting like revenge :-))))
 
@Chris'ssis :P
@Chris'ssis I have some more difficult waiting if you want :D
 
@Hippalectryon :D:D:D
 
9:35 PM
0
Q: mapping cylinder contractible iff Hn(f):Hn(X)->Hn(Y) is an isomorphism

TeddyThe mapping cylinder will be defined as $Z_f=X\times[0,1]\coprod Y/\sim$, where $\sim$ is defined by $(x,1)\sim f(x)$. Let $f:X\to Y$ a continuous map between topological spaces and the map $i:X\hookrightarrow Z_f$ identifies $X$ with $X\times \{0\}\subset Z_f$ is the inlusion. R is a ring. I wa...

 
I'll try to bug some other asymptotics genius :)
 
its my homework for tonight
 
although I suspect my problem may not need a real genius :)
 
@Hippalectryon Basically I can approach anything, I'm very confident in myself, but some stuff might require some more work.
 
@Chris'ssis Ok let give you something you'll probably like then :-)
 
9:37 PM
@Chris'ssis what sort of job do you want?
 
@Hippalectryon Before that, look at my proof above one more time :-)))))))))
 
@Ted my boyfriend said i should change my nickname because he always says "bunny" to me :P
but i will not change my nickname ;)
 
LOL ... I guess that shows who's boss.
 
@user2179021 I try to find a job in the automotive industry. I worked there before and did a very good job.
 
@Chris'ssis ok.. why not something mathematical?
 
9:39 PM
yes:D
 
@user2179021 I have no background in mathematics, I cannot do that oficially, but I do some tutoring with good results.
 
I haven't thought about mapping cylinders in a while, @Teddy. But I don't believe $Z_f\subset Y$, so that won't work.
 
@Chris'ssis but you are very good at it clerly
clearly
 
@user2179021 Thank you. I'm sure I'm far from being the way I might be. I need more courage to overpass all my limits in this area.
 
yes, $Z_f \subset$ isnt true
 
9:42 PM
@Chris'ssis Let $$\displaystyle T_k(q)=\int_0^\infty\dfrac{t^k\arctan(t)}{e^{2\pi q t}-1}$$ Show that $T_0(q)=\dfrac{1}2-\dfrac{\ln q}2+\dfrac{\ln q}{4q}+\dfrac{\ln\Gamma(q)}{2q}-\dfrac{\sqrt{2\pi}}{2q}$
 
but i mean $Y\subset Z_f$ oh, maybe i made a mistake
 
@Chris'ssis clearly you need to practice on my questions.. :) (just a joke!)
 
@Hippalectryon :-)
 
but is see, that makes no sense what i have written^^
 
@Hippalectryon You're so evil ... do you know why? :-)
 
9:44 PM
@Chris'ssis Why not ? :DDDDDDD
 
@TedShifrin Yes, I like it, but there's no doubt it's eclectic. I probably will not read it with as much care as I am Kobayashi's.
 
@Hippalectryon $$\LARGE{\text{Binet's Log Gamma Formulas}}$$
@Hippalectryon ^^^
 
@Chris'ssis :O
I didn't know those
 
@Hippalectryon :-)
:-)
 
-____-
 
9:46 PM
:D
 
@Chris'ssis Okay one last one then
@Chris'ssis If I tell you $$\displaystyle L_k(q)=\int_0^\infty\dfrac{t^k\ln(1+t^2)}{e^{2\pi q t}-1}$$ what do you tell me ?
Don't tell me those exists already, with al the nice results
 
@Hippalectryon this one can be related to the previous one.
 
@Chris'ssis Then have you ever seen this one ?
 
@Hippalectryon These things can be written in many ways ...
 
@Chris'ssis i'm asking because the proof I know is pretty long
 
9:59 PM
WAIT
 
I guessed you'd have some pretty proof
 
Just look at what this guy writes here in a comment ...
16
Q: Evaluating $\int_0^1 x \tan(\pi x) \log(\sin(\pi x))dx$

Chris's sisWhat starting point would you recommend me for the one below? $$\int_0^1 x \tan(\pi x) \log(\sin(\pi x))dx $$ EDIT Thanks to Felix Marin, we know the integral evaluates to $$\displaystyle{\large{\ln^{2}\left(\, 2\,\right) \over 2\pi}}$$

"@O.L. Majority of public are idiots. – Adhvaitha"
 
i get a hint
but i really dont have an idea...
 
@Chris'ssis :-)
 
but im tired:(
 
10:02 PM
@Chris'ssis I upvoted both, and at that time I was already thinking about that
 
i have to go to bed
 
@Hippalectryon At what exactly?
 
in an hour its midnight
 
@Chris'ssis At how idiot people were xD No, at Adv's answer
At why It had so few upvotes (It had only 2 back then)
 
@Hippalectryon How do you compute $$\sum_{k=1}^{\infty} (-1)^k \frac{\Gamma(k+1/2)}{k^3 \Gamma(k)}$$ ?
 
10:08 PM
good night
 
@Chris'ssis How would I know :-)
 
@Hippalectryon it's from here ... math.stackexchange.com/questions/1021647/…
"@O.L. Majority of public are idiots. – Adhvaitha" He should post the whole solution and make people fall in love with that answer.
 
I just visited a fusion reactor.
 
@TedShifrin @KajHansen @Hippalectryon @MikeMiller Heya!!! I want to check if the equation $3x^2+5y^2-7z^2=0$ has a solution in $\mathbb{Q}_2$.

Can I use the following theorem?

If $2 \nmid abc$ and $a+b \equiv 0 \pmod 4$, then the equation $ax^2+by^2+cz^2=0 $ has at least one non-trivial solution in $\mathbb{Q}_2$.

If so, is it like that?

$a+b=3+5 \equiv 8≡0 \pmod4 $ So, there is no solution in $\mathbb{Q}_2$.
 
10:15 PM
What is meant with the notation $\mathbb{Q}_2$ @evinda?
 
@KajHansen $$\mathbb{Q}_p=\{ \frac{r}{s}: r, s \in \mathbb{Z}_p, s \neq 0 \}$$
 
@KajHansen how is your week off?
 
@ZachSaucier, not bad! You?
 
pretty great!
beats school work, haha. Maybe not the non-schoolwork part of college, but I've been needing a break from schoolwork
 
@Hippalectryon Honestly speaking, can you do that in a very easy way? Maybe you use some beta function, you add some fake parameters, make use of some generating function. Just curious about your way.
 
10:19 PM
@evinda, so correct me if I'm wrong, but can we rewrite the expression $3x^2 + 5y^2 - 7z^2$ as $x^2 + y^2 + z^2$ given that all those coefficients are $1 \pmod{2}$?
I agree @Zach. It's boring at home, but I definitely needed to get away from coursework.
 
@Chris'ssis I'll think about it after I finish those probability exercises
 
@KajHansen I think so.. If so, what could we conclude from that?
 
I don't think it's boring at home :) I have ample things to do - have only completed ~3-5 of an infinite list
 
Right now I have balls and urns everywhere in my head @Chris'ssis
 
@Hippalectryon Great. Take your time. :-)
 
10:21 PM
@Hippalectryon, are the urns distinguishable? The balls?
:P
 
@KajHansen Then a solution would be (1,1,1), right?
 
@KajHansen yes
 
$1 + 1 + 1 = 3 \equiv 1 \pmod{2}$?
 
@KajHansen Yes... Don't you agree? :o
 
Certainly I agree with what I wrote, but $1 \neq 0$. I think I'm missing something perhaps.
 
10:25 PM
@KajHansen I sorry... I thought that the congruence had to be equivalent to 1 $\pmod 2$.. So, a solution is $(1,1,0)$, right?
 
That certainly appears to be correct. If there is a solution in $\mathbb{Z}_p$, then there should be a solution in $\mathbb{Q}_p$.
How do you add and multiply in $\mathbb{Q}_p$ btw? Do you carry it out as you would in $\mathbb{Q}$ and then just mod out the numerator and denominator?
 
@KajHansen I am not sure, but I think so..

And could we also use the theorem, in order to conclude that there is a solution in $\mathbb{Q}_2$ ?
 
Sure, assuming the theorem is correct.
(I've never worked in $\mathbb{Q}_p$ before, so I'm pretending to know what I'm talking about)
 
10:53 PM
@TedShifrin The Taubes book is nice... especially given he works in areas I might :)
 
@KajHansen a/b+c/d=(ad+bc)/(bd)
 
Where those operations are carried out $\pmod{n}$?
 
@evinda "So there is no solution in Q_2" Huh? Did you even read the theorem you're using?
@KajHansen what the heck is n?
 
@anon, if we're working in $\mathbb{Q}_n$
 
@anon I meant that there is a solution in $\mathbb{Q}_2$... I am sorry....
 
11:00 PM
@KajHansen again, what the heck is n?
 
@anon So, can I use this thorem?
 
@evinda I don't know, can you? What's stopping you? Argh!
 
@anon, evinda says $\mathbb{Q}_n = \{\frac{r}{s} : r, s \in \mathbb{Z}_n\}$.
 
@KajHansen so how do you define 1/2 if n=4?
you can't divide by zero divisors. in order for Z/nZ to not have zero divisors, n must be prime!
 
Ok, I see the problem. So $\mathbb{Q}_p$.
$p$ prime.
 
11:01 PM
right
 
Cool cool
 
@KajHansen if D is any domain (no zero divisors), its field of fractions is comprised of the things of the form a/b (b not 0), with (ac)/(bc) identified with a/b (c not 0), and the operations (a/b)*(c/d)=(ac)/(bd) and a/c+b/d=(ad+bc)/(bd). this is exactly what we do to form Q out of Z.
 
Thanks for the info @anon :D
 
@anon but we're not talking about Z/nZ here. we're talking about p-adics. this seems like a nonsequitur.
of course, that n-adics don't make sense is still true, but for a different reason...
 
use your gray arrows Mike
 
11:05 PM
@anon fine
 
Woah, woah. Was Evinda referring to $p$-adic integers or Z/pZ in her question?
 
the former
the field of fractions of Z/pZ is just... Z/pZ, since it's already a field
 
@MikeMiller Mike: "we're not talking about Z/nZ here" - look at Kaj's comment right above my comment you're replying to
 
Well crap. I assumed the latter. Oh man, you're totally right. I actually feel really dumb now.
 
@anon alright, so I'll blame Kaj for everything
 
11:07 PM
:)
 
yes
 
thanks a lot, Kaj.
 
I blame Ted. He uses $\mathbb{Z}_p$ to refer to the integers mod $p$, and so I got in the same habit.
 
Lots of people do. I do whenever there's no possibility of confusion. But if you see a $\Bbb Q_p$, it's p-adic numbers.
 
Lesson learned!
Sorry @evinda
 
11:10 PM
I use C_p for cyclic group, Z_p (no \Bbb) for ring of integers mod p, {\Bbb F}_p for when we know it's a field, and {\Bbb Z}_p for p-adic integers
 
@KajHansen What's your conclusion? :)
 
Algebra really needs an ISO intervention...
 
not really
 
@KajHansen most books use that notation
@MikeMiller everyone uses their own notation... it ends up confusing.
 
it's not true that everyone uses their own notation. do you have any examples in mind other than cyclic groups?
 
11:13 PM
@MikeMiller Artin and lecture notes differ a lot in notation
 
naaamely?
 
I got them in pdfs, no idea what the lectures were.
 
I don't care what the lectures were, I'm asking about notation that has caused confusion for you
 
Ah mainly cyclic groups.
Also isomorphism definition sometimes includes two more properties than needed in some books
Identity element is denoted differently
 
these have really caused confusion?
 
11:16 PM
1, 1_G, e
When I saw them for the first time on different sources actually yes... anyway, it's late, night people.
 
Later pal
 
@Studentmath Are you here ?
@MikeMiller Can you help me with some probas ?
 
$\LaTeX$
 
maybe
 
@Hippalectryon are you there?
 
11:24 PM
@Chris'ssis I guess so
@MikeMiller Same context as
2 hours ago, by Hippalectryon
@TedShifrin I have $n$ urns and $m$ balls. Let X be the variable that holds the number of balls in one given urn, we suppose that the distribution law is equiprobable. I have $P(X=k)=\binom{m}{k}\dfrac{(n-1)^{m-k}}{n^m}$. Now they ask for $P(X\ge k)$, is that $\sum_{i=k}^m P(X=i)$ ?
 
@anon @MikeMiller @KajHansen Now I want to check if the equation $3x^2+5y^2-7z^2=0$ has a solution in $\mathbb{Q}_3$.

Using this Lemma:

Let $p \neq 2$ be a prime,$ a,b$ and $c$ be pairwise coprime integers with $abc$ square-free and $p \mid a$, and $Q:ax^2+by^2+cz^2=0$ a quadratic form. Then there is a solution to $Q$ over $Q_p$ if and only if $\frac{-b}{c}$ is a square mod $p$.

I found that there is no solution in $\mathbb{Q}_5$.

Am I right?
 
I am looking for the proba that each urn has at most 1 ball @MikeMiller
It's rather easy to give for one urn, how do I extend it to the $n$ ?
 
dunno
 
@Hippalectryon Look at my last comment ...
16
Q: Evaluating $\int_0^1 x \tan(\pi x) \log(\sin(\pi x))dx$

Chris's sisWhat starting point would you recommend me for the one below? $$\int_0^1 x \tan(\pi x) \log(\sin(\pi x))dx $$ EDIT Thanks to Felix Marin, we know the integral evaluates to $$\displaystyle{\large{\ln^{2}\left(\, 2\,\right) \over 2\pi}}$$

 
11:29 PM
@Chris'ssis I already have
:-)
7 secs after you posted it
 
@Hippalectryon would it be $\binom{n}{m}P(X=1)^mP(X=0)^{m-n}$?
 
@anon Don't ask me, I'm not sure
WHich is why I was asking
 
that's what I guessed, but I found I couldn't justify that
 
@anon WHy would it be that ?
 
don't see any reason for the distributions of balls to be independent...
 
11:32 PM
ah, true
 
figured it might be something like $\binom{n}{m}$ times the product of $P(X=1)$ as you decrease the number of balls and urns
that might be hard to parse but too lazy to write it coherently
 
But what's the reason ?
 
'cuz
 
-____-
 
@MikeMiller Consider the following map $F:I\times S^1\to S^1$ where $F(t,e^{is})=e^{ist}e^{(1-t)i(s+\alpha)}$. This is a function that has $F(1,e^{is})=e^{is}=1_{S^1}$ and $F(0,e^{is})=e^{i(s+\alpha)}$, a rotation by $\alpha$ radians.
So rotations are homotopic to the identity.
 
11:39 PM
That's true.
 
OK.
Using that, I am supposed to show that every continuous mapping $f:S^1\to S^1$ is homotopic to a mapping that fixes $1\in S^1$.
 
Sure.
 
11:55 PM
Glad we got that settled.
 

« first day (1575 days earlier)      last day (3431 days later) »