« first day (3541 days earlier)      last day (1777 days later) » 
02:00 - 18:0018:00 - 00:00

02:05
@Sebastiano Physics.SE should be closed. People fight in the h bar far too often
02:55
hey babes
03:31
yeah, that's usually as far as I get with that opening....
03:41
Response: ;0
 
2 hours later…
05:44
@LeakyNun
06:00
@BalarkaSen ?
Help me compute curvature of $ds^2 = dx^2 + 2\cos(\theta) dx dy + dy^2$
06:24
lol
Ok need to figure out an orthonormal basis for $A = (1, \cos(\theta)|\cos(\theta), 1)$ first. What are the eigenvectors
Too hard
time to switch sides to number theory
u dont compute eigenvectors in number theory?
we computer eigenfunctions of Laplacian
you computer them, i see
06:27
muscle memory
$x^2 - 2x + \sin^2(\theta) = 0$ so $x = (-2 \pm \sqrt{4 - 4\sin^2(\theta)})/2 = -1 \pm \cos(\theta)$
Eigenvectors look so annoying lol
@BalarkaSen At least they don't change their inclination!
Also I messed up a sign lol
math is hard
$A(x, y) = (x + cy, cx + y) = (1 + c)(x, y)$ implies $x + cy = x + cx$ and $cx + y = y + cy$ so $x = y$. $(1, 1)$ is an eigenvector
Big brain time
The other one is $(1, -1)$
So an orthonormal pair is $1/\sqrt{2}(e_1 + e_2)$ and $1/\sqrt{2}(e_1 - e_2)$. The dual basis is some scaling of $dx + dy$ and $dx - dy$, let's figure out what
$(dx + dy)(1/\sqrt{2}(e_1 + e_2)) = 2/\sqrt{2} = \sqrt{2}$. So the same scaling
Alright, so $\omega_1 = (dx + dy)/\sqrt{2}$ and $\omega_2 = (dx - dy)/\sqrt{2}$. Let's say $\omega_{12} = \alpha \omega_1 + \beta \omega_2$
$\omega_{12} \wedge \omega_2 = d\omega_1$
Nothing about this computation looks right to me.
Where does $\theta$ come in at all
I need to be awake
06:51
Hello
Yeah what the hell am I doing. $A = (1, c|c, 1)$ where $c = \cos(\theta)$. Let $e_1 = (1, 1)/\sqrt{2}$, $e_2 = (1, -1)/\sqrt{2}$. Then $e_1^T A e_1 = (1 + c)$ and $e_2^T A e_2 = (1 - c)$ and $e_1^T A e_2 = 0$. I have found a pair of vectors orthogonal wrt the inner product given by $A$, I need to scale by $1/\sqrt{1\pm c}$ each to make it an orthonormal basis for $A$.
Fine, so $e_1 = \frac{(1, 1)}{\sqrt{2(1 + c)}}$ and $e_2 = \frac{(1, -1)}{\sqrt{2(1 - c)}}$ are the pair of orthonormal vectors, pointwise.
I need $\omega_1, \omega_2$ such that $\omega_i(e_j) = \langle e_i, e_j \rangle_A$. So $\omega_1 = E e^1 + F e^2 = e^1 + \cos(\theta) e^2$ and $\omega_2 = F e^1 + G e^2 = \cos(\theta) e^1 + e^2$
$e^1 = \sqrt{(1 + c)/2} (dx + dy)$ and $e^2 = \sqrt{(1 - c)/2} (dx - dy)$ looks correct to me.
$e^1(e_1) = \sqrt{(1 + c)/2} \cdot 2/\sqrt{2(1+ c)} = 2/2 = 1$ since $(dx + dy)(1, 1) = 2$. Similarly for the other stuff. So $e^i(e_j) = \delta_{ij}$ indeed. Fine.
$$\omega_1 = \sqrt{\frac{1 + \cos(\theta)}{2}} (dx + dy) + \cos(\theta) \sqrt{\frac{1 - \cos(\theta)}{2}} (dx - dy)$$
Do I dare simplifying this
There is some trigonometric identity I forget
Ok, $\omega_1 = \cos(\theta/2) (dx + dy) + \cos(\theta) \sin(\theta/2) (dx - dy)$
Similarly $\omega_2 = \cos(\theta) \cos(\theta/2) (dx + dy) + \sin(\theta/2) (dx - dy)$
The structure equations are $d\omega_1 = -\omega_2 \wedge \omega_{12}$ and $d\omega_2 = \omega_1 \wedge \omega_{12}$.
This is the actually annoying part I suppose
Let's write $\omega_1 = (\cos(\theta/2) + \cos(\theta)\sin(\theta/2)) dx + (\cos(\theta/2) - \cos(\theta) \sin(\theta/2)) dy$. $d\omega_1 = (\partial(garbage_2)/\partial x - \partial(garbage_1)/\partial y)) dx \wedge dy$
07:17
I just woke up, I open the chat, and this is what I see
Not sure if I want to compute that crap
There must be some easy way to do this
What are you trying to do?
Compute curvature of $dx^2 - 2\cos(\theta) dx dy + dy^2$
I kind of see that it has to be $- \theta_{xy}/\sin(\theta)$
Because the coordinate curves form something called a Chebyshev net, if you draw a small rectangle of coordinate curves, opposite sides have equal length, and the two independent coordinate directions always make an angle of $\theta$ between them. So if you parallel transport the tangent vector to the coordinate curves around a coordinate square, you'll expect to get $-\theta_{xy}$ as the holonomy
And curvature is limit of holonomy by area. Area of the coordinate square is $\sin(\theta)$ in the limit
So it's $-\theta_{xy}/\sin(\theta)$ for sure
But how do I actually compute
Balarka having a mental breakdown?
Welcome to the club
07:43
Is there any book to learn complex graph drawing ??
Complex Graph Drawing: A Geometrical Approach
@LeakyNun is that book name??
No that's the author's name
Their parents were quite eccentric
@Khallil ( ̄へ ̄)
07:49
@Khallil that was hilarious
@Khallil i'm having Covid19 don't mess with me or i'll sneeze on u
08:02
I'm trying to figure out why all these different L^p spaces and continuously differentiable function spaces have the norms that they do because they seem somewhat arbitrary. Do norms that make a particular function space complete maybe have the property that they are unique? Because that would explain it.
08:18
Hölder reacc only
08:56
Maybe I should just compute curvature of $\cos^2(\phi)(dx^2 + dy^2)$. That can't be hard.
Woops, I meant $\cos^2(\phi) dx^2 + \sin^2(\phi) dy^2$
$E_y/\sqrt{EG} = -2\phi_y$ and $G_x/\sqrt{EG} = 2\phi_x$
Surely sign error
Nah
I get $2(\phi_{xx} - \phi_{yy})/\sin(2\phi)$
How does $\phi_{xx} - \phi_{yy}$ change under $x \mapsto (x + y)/2$ and $y \mapsto (x - y)/2$
Should become $\phi_{uv}$
Yeah
$D^2_x - D^2_y = (D_x - D_y)(D_x + D_y) = D_{x-y} D_{x+y}$ which is $4 D_{uv}$
So that's the trick
Solving $\theta_{uv} = \sin(\theta)$ will actually give you a pseudosphere. These are called the Sine-Gordon equations
I never made this connection
09:14
Now you're also doing PDEs?
I am just a humble man trying to understand negative curvature
That is all
@BalarkaSen take something with positive curvature
now negate it
and Bob's your uncle
 
1 hour later…
10:38
is it true that given any transcendentals, you can reach any algebraic number?
Let $s$ be transcendental, $t$ be algebraic
"to reach", meaning what?
Then we have some polynomial $P$ such that $P(x,s)=t$ and we need to solve for $x$
@Masterphile We knew that algebraic expressions of any algebraic number is closed in the algebraic numbers, so you cannot for example, get $\pi$ from applying roots, sums, mutliplications to an algebraic number
but how would you like to reach algebraics with transcendentals, surely not like s+(t-s)=t
Well, there are transcendentals whose product are algebraic, and as long you get one algebraic, it seems you can get all of them as you are not limited to use only a subset of transcendental
Problem is whether $st$ is transcendental given $s,t$ transcendental is not solved yet in the general case, it is only known transcendentals are not closed under products
something like $\pi e$ is still unsolved for example
10:53
yes, but the operations should be on non-trivial pairs to be interesting, not like the one i mentioned, so the problem could be: given mutually different transcendentals $t_1,...,t_n$ can we with a finite number of operations reach algebraic $a(t_1,...,t_n)$, and it needs to be defined which operations are allowable
and non-trivially different
s and t-s are trivially different
yeah I am wondering about that as well, I don't recall seeing many nontrivial examples other than something like $2^{\sqrt{2}}$ is transcendental or something
I think the question is, do we know a lot about equivalence class of transcendentals so far. I think we so far only knew about $e^a$ where $a$ algebraic
you can state the problem like this: is it true that for every algebraic $a$ there exist transcendentals $t_1,...t_n$ such that $t_i$ is not obtained from $t_j$ by a finite number of trivial operations with algebraic numbers if $i \neq j$ and such that it is possible to have that $a$ is equal to some finite combination of $t_1,...,t_n$ obtained by a finite number of operations (but even now not all is well and not very strictly defined)
Yeah I think $t_i$ not obtainable from $t_j$ when $i\neq j$ at least will help establish a criteria for two equivalence classes of transcendentals, and if in the end there is only one equivalence class, there will be a contradiction like $t_i=t_j$
I should investigate more in that direction, hmm...
you could
11:25
Baker has some results in TNT, so his book could be a good choice
@Knight I have seen your situation and I'm not happy about it. There's no humility, no empathy, only selfishness and injustice. Come on TeX.SE and there are a lot of nice and extraordinary people also from a human point of view. You are welcome for me on TeX.SE.
Good morning everybody into chat.
@Sebastiano good morning
0
Q: Number Theory problem mod 2p

maths studentLet $p$ be an odd prime, and let $a$ be an odd integer such that $p \nmid a .$ Prove that $$ a^{p-1} \equiv 1 \quad(\bmod 2 p) $$ I thought about Fermat Little Theorem could be useful but for that we need prime in modulo. But her we have 2p so it is an even integer. Can somebody give me hint for...

Reading Baker atm to see what else can be used, otherwise I think there is an intuition behind Gelfond–Schneider theorem that explains how can transcendence be reached from algebraic numbers
Using the example of $2^{\sqrt{2}}$ as a guide, I noticed something. Let $x$ be an integer. Then we want to multiply $x$ by some $y$ to make it transcendental
@mathsstudent p divides that because of FLT and 2 divides that because a^(p-1)-1 is even so 2p divides that?
11:39
Now suppose $a,b$ are irrational and algebraic and $y=x^{a+b}$. Then we have
$xy = x^{1+(a+b)}$
Hi there, can anybody help me with this seemingly easy (intuitively at least) fact: Let $V,W$ be two subspaces of $\mathbb{R^n}$. If there exists a $x\in \mathbb{R}^n \setminus\{0\}$ such that $
x\in V\cap W$, then it must hold that either $V\subseteq W$ or $W\subseteq V$.
Martin: Are you sure? Already in $\Bbb{R}^3$ both the xy and yz planes are subspaces of it, but they are not subseteq to each other since any such x lies on the intersection
it is needed that a+b is also irrational for that to work sometimes
or always
yeah that's what I am thinking. If $1+a+b$ irrational, $x^{1+a+b}$ is transcendental by Gelfond–Schneider
If we express $a,b$ as infinite sums, it means we are effectively having an infinite product of $x$ raised to the rational power
Thus if $a+b$ is rational instead, it means countably many terms in the infinite sum cancels out, thus turning the infinite product involving $x$ into a finite one, and thus ensuring it is algebraic
@Secret you are right, my intuition was all wrong. thanks
11:48
1+a+b is irrational if and only if a+b is irrational, and if a and b are irrational then for a+b to be irrational is it enough that b is not shifted by some rational r with respect to a, for example b=r-a
@Secret what if we add that $V\not \perp W$
@Sebastiano Thanks for your invitation, I will surely come there. I really need to learn some programming language :-)
Martin: then it means there are some vectors that span the same subspace within the intersection of $V$ and $W$. Still not enough to ensure they properly contain each other
It takes at least $\Bbb{R}^4$ to see that though, two intersecting dim 3 subspaces at a dim 2 subspace for example (e.g. xyz and yzw volume)
@Knight what are the problems you are facing with?
@Masterphile Hi, and my best regards from Sicily (Italy)
11:57
@Secret Maybe it help with the concrete problem I'm working on. Let P we a orthogonal projection onto R(A), where R(A) and R(Z) denote the range of a linear transformations A and Z onto R^n. If R(Z)^\perp \cap R(PZ)P\perp contains a non-zero element, then R(Z) \subset R(P). This is at least what is claimed in an article im reading, but I can't see why this holds.
@Sebastiano thanks, greetings to you also
@Masterphile I think the general case is more complicated than a shift. There is an answer here that tries to unravel what is going on by generalising this into a group: math.stackexchange.com/questions/157245/…
I am still comprehending that
Sorry was mean to read: If R(Z)^\perp \cap R(PZ)^\perp contains a non-zero element then R(Z) \subset R(A).
it is only a shift, suppose that a and b are irrational and that a+b is rational so a+b=r, then b=r-a, a shift of a by a rational @Secret
ok, in that case the irrationality of $a+b$ depends on whether $a,b$ belong to two different equivalence classes in $\Bbb{R}/\Bbb{Q}$
12:03
yes
I wonder if a similar structure can be established for $s,t$ transcendental...
like, $s,t$ is alegebraic if in some $\Bbb{R}/X$, $s,t$ belong to two different equivalence classes
but that just means $X$ is the algebraic numbers (plus some weird extensions to take account of Gefond Schiner), thus we do not really gain much
the converse, if a+b is rational so a+b=r, if a is irrational then b is irrational and if b is irrational then a is irrational, or either a and b are both rational, and if a is not a shift of b by a rational r, then a=c-b, where c is irrational so a+b=b+(c-b)=c, an irrational, a contradiction
right
@Martin Ok, the key here is P is an orthogonal projection, so it only takes those elements in Z that are parallel to Z, thus the range of projections has to be larger since many elements of the domain of P is the kernel in Z if you get what I am trying to say in this imprecise terminologies here as it has been getting rusty for me
@Secret Yes I think i know what you are suggesting, I will explore this. Thanks
@Secret if you are interested at least slightly, i am trying to obtain at least something of when for a natural $n=\displaystyle \prod_{i=1}^r {p_i}^{a_i}$ is the number $$\dfrac{1}{\prod_{i=1}^r \dfrac {{p_i}^{a_i+1}-{p_i}^{a_i}}{{p_i}^{a_i+1}-1}+ \prod_{i=1}^r \dfrac {{p_i}^{a_i+1}-2{p_i}^{a_i}+{p_i}^{a_i-1}}{{p_i}^{a_i+1}-1}}$$ a natural number? this could be hard
12:20
p are primes?
yes, p_i are different primes
and a algebraic?
a_i are natural numbers
hmm...
so the denominator needs to cancel out into a number of the form $\frac{1}{m}$
and what we have here is something like:
$\prod$ a finite sum of fractions that may or may not have a prime denominator, adding to another more complicated $\prod$
The way the numerator of the "produtum" (I don't know what is the product version of summand) seemed to remind a bit of polynomials, like the second one is definitely "2nd order" in terms of the indices
I wonder if there is a known result on how you get composite numbers from a finite combination of primes that is more specific than the fundemental theorem of algebra
as well a finite combination of prime fractions to get a composite fraction
you can multiply numerator and denominator with $\prod_{i=1}^r ({p_i}^{a_i+1}-1)$ to obtain an equivalent form
nope, there are no much results in this (that) direction
i think "productands" would be more accurate, although i cannot now remember the exact widely used word, if there is any
12:34
Tidying it up by using your suggestion to multiply top and bottom:
$$\dfrac{\prod_{i=1}^r ({p_i}^{a_i+1}-1)}{\prod_{i=1}^r ({p_i}^{a_i+1}-{p_i}^{a_i})+ \prod_{i=1}^r ({p_i}^{a_i+1}-2{p_i}^{a_i}+{p_i}^{a_i-1})}$$
looks a little bit cleaner so at least those productands that reminds me of recurrence relations can be focused
that´s it, now, for example, you can research what happens if all the a_i are equal to 1, that is, when the number n is the product of just r different primes all raised to the power of one
For $a_i = 1$, we are lucky because it can be simplified alot
to:
$$\dfrac{\prod_{i=1}^r (p_i+1)}{\prod_{i=1}^r (2p_i-1)}$$
nope, but to:
$$\dfrac{\prod_{i=1}^r ({p_i}^{2}-1)}{\prod_{i=1}^r ({p_i}^{2}-{p_i}^{1})+ \prod_{i=1}^r ({p_i}^{2}-2{p_i}^{1}+{p_i}^{0})}$$ and this further simplifies to:
$$\dfrac{\prod_{i=1}^r (p_i+1)}{\prod_{i=1}^r {p_i} +\prod_{i=1}^r (p_i-1)}$$
and n=2 should(?) be the only solution
12:51
@Masterphile You mean with Physics.SE?
@Knight i do not know, Sebastiano mentioned some problems, if you think that i can be of help i can try to help
@Masterphile Users of Physics.SE misbehaved us
hmm... need to quickly check when is prime +1 composite...
$p+1 \text{mod} q = 0$ has a solution if $p \text{mod} q = -1 \text{mod} q$ for some primes $p,q$
@Knight how? what happened? downvotes or? i think that you are studying very efficiently and i see that you seek for help asking for clarifications of some points in the texts that you do not understand, so there is no need to be discouraged if "some folks got in the way", you seem to be a rather clever student
@Secret the term with (p_i-1) will have some negative terms but it seems that´s not enough to cancel the contribution of the term with p_i only
probably not? since the smallest prime is 2 and 2-1 = 1 > 0
so the whole thing is positive definite at least for $a_i=1$
the only thing need to be figured out is whether the denomiator successfully divides the numerator to give us a natural number
13:04
yes, basically, the numerator grows almost as fast (a little faster) as the term $\prod_{i=1}^r p_i$ and the two terms in the denominator grow almost as exactly as $\prod_{i=1}^r p_i$, of course $\prod_{i=1}^r p_i$ grows exactly as $\prod_{i=1}^r p_i$ since it is the same term, so n=2 because of that should be the only solution, i think
@Masterphile Thanks for the kind comments. No, it was not downvotes that caused problem, there were some users who collectively attacked us and then suddenly they grew in number. You can check Physics.Meta.stackexchange and you will find so many controversies going on, if you want to see something live go to the h bar and you will find some animals roaming there. By the way, are you a student or a teacher or a self researcher :-) ?
that will mean as $r \to \infty$ the expression will tend to $\frac{1}{2}$ so for large $r$ it will be rational instead of integer
@Secret yes
what I am not so sure is for small $r$
@Knight self-researcher, but i have enough experience with similar problems, i were on a college once so i was a student also, and i was also teaching math to some people, preparing them for exams and similar stuff
@Secret yes, "same" here
@Knight by the way, do not call folks there "animals", it is not nice to do so
13:12
@Masterphile Wow! From next time I will present my doubts to you
@Masterphile They did things which should attain them rather stronger appellation.
@Knight i can help, but limitedly, some folks here know much about some branches i even did not try to self-research appropriately, so they can also help, if they feel they really need to
@Knight i understand, but you are going further down if you misbehave towards them as they are misbehaving towards you, think about that
@Masterphile Yeah, I agree with that.
@Knight i got much downvoted here, on MSE, yes right here, so i decided i will not ask much questions on the main site, i think even none in the future, but am instead in some chatrooms, and i am trying to collaborate with some folks here,sometimes i ask questions in this chatroom and some folks are being nice and they really give nice advices and are being helpful, that´s pretty much that, i am also often in this chatroom if you need some advices:

https://chat.stackexchange.com/rooms/96072/hilberts-hotel
@Masterphile Okay
13:28
Hi all. Is there any reason that you would be able to generally assume that the design matrix/covariate matrix X or whatever you want to call it is invertible?
Or if it is a random matrix composed of i.i.d. standard normal entries?
@Secret for small $r$, should it be appropriate to assume that $$\dfrac{\prod_{i=1}^r (p_i+1)}{\prod_{i=1}^r {p_i} +\prod_{i=1}^r (p_i-1)}=w$$ and $w \geq 2$ and somehow try to derive a contradiction?
problem is, $w$ can be composite, 1 or prime so there isn't much can be gained from doing that as it is too coarse
Hi everyone
ok, so the case w=1 can be first researched
Can I post a link of a question of mine here? Unfortunately my question is kind of "check my work", but this is precisely what a want.
Therefore people didn't answer
13:35
ok it turns out I overthink about $p_i+1$. It is always even since 2 is the only even prime to make $p_i+1$ odd. So the numerator has a factor of $2$
Likewise, $\prod_{i=1}^r (p_i-1)$ is also even, as the smallest odd value can be get is 1, which is neither prime nor composite and is the identity, so it does not contribute
so if all p_i are different from 2 then numerator is even and denumerator odd so w=1 cannot be true if all p_i are different from two
more generally, that is true if w is odd
$\prod_{i=1}^{r}p_i$ can be odd or even. thus unless every $p_i$ are twos, the denominator will retain its odd/even character
so if that product is odd, then no integers
if that product is even > 2, then there are also no integers
My math basics are very patchy. I´m only remembering now that an invertible matrix is always a quadratic matrix. So if I´m not mistaken the answer to my question above should be an obvious "no" because X is a pxn matrix with p being smaller than n in my case
since the smallest prime is 2, it means the denominator's evenness cannot match up to cancel out (as it is always too big), or the numerator is even and denominator is odd, so for $a_i=1$, there is no integer unless $r=1$ and $p_i=2$
14:00
If $p_i$ all $2$ and $r > 1$, no integers
if at least one $p_i$ even, no integers
So the interesting case is $p_i$ all odd, and that depends on whether the top and bottom can catch up with each other (both are even)
0
Q: Doubt on the understanding of the role of Quotient Spaces on Tensor Product construction

BasicMathGuyI'm studyin,g for the first time, the Tensor Product of Vector Spaces. After the answer of a particular question, $[1]$, I think that I grasped the key point of the role of Quotient Vector Space; the answer is: It's literally immediately from the definition of quotient. If $V/W$ is a quotient...

@Balarka can you convince me that the horned sphere is in fact a sphere?
@AlessandroCodenotti look at the name
Hm that's a fair point
Lmao
@Alessandro In the limit process you get a sphere with a cantor set removed
and then you add the cantor set in
14:14
The top part dominates, so no cancellation into integers possible
$$\dfrac{\prod_{i=1}^r (p^{a_i+1}-1)}{(\prod_{i=1}^r (p^{a_i-1}(p_i+1))(\prod_{i=1}^r (p^{a_i}+p^{a_i-1}))}$$
ooops mistake
yes, at least two of them
$$\dfrac{\prod_{i=1}^r (\text{big scary thing})}{\prod_{i=1}^rp_i^{a_i-1}[\prod_{i=1}^rp_i+\prod_{i=1}^r(p_i-1)]}$$
where big scary thing = $p^{a_i+1}+p^{a_i}+...+1$
so stuff in the square brackets needs to be of the order $p_i^2$ before there is any hope of cancellation
sorry, order $p_i^{2r}$
14:30
the denominator can be smaller than numerator, and it often is, contrary to what i thought
so there will be no limit 1/2
as we thought
Well, I am not good at dealing with the prime number theory of these products $\prod_{i=1}^r p_i$, so I don't know what I can say further
generally, not much is known, as you can see here:

https://cs.uwaterloo.ca/journals/JIS/VOL20/Iannucci/ian5.pdf
@BalarkaSen Hm I'm not seeing that
I just ran some quick ppppppp + (p-1)(p-1)(p-1)... at the back of the envelope and it pretty much checks out. If $r$ is odd and huge, the second product can get very small, and lead to the $p_i^{2r}$ condition to fail
but I have not checked whether it fail just the right way to divide the numerator
that can be difficult since I have no intuition on what this map $\prod x \mapsto \prod (x-1)$ does other than it can get very small
@Secret I got a very small doubt in physics, it won’t take much time. In book (context is Fluid Mechanics) it is written “The free surface, characterised by $p=0$”. I want to know what is free surface?
14:42
no sheer
hence only internal forces matter
Struggling to see why $(\mathcal{O}_K:\mathfrak{p}^v)=\prod_{i=0}^{v-1}(\mathfrak{p}^i:\mathfrak{p}^{i+1})$
@Alessandro 1 sec I have a good picture
I miss Mathein and his encyclopaedic knowledge of Neukirch
@Secret Does that mean zero pressure?
@Alessandro See Figure 1
That's the Alexander horned sphere
14:44
Oh that's a beautiful picture
@EdwardEvans Hi! Is true that Germany gonna be less strict about the lockdown? I read it in news paper today
I am convinced now, thanks!
@Knight dont think so, my state is pretty strict at least
no, it just means the pressure does not deform the liquid
the pressure can be constant
14:46
Looking at that picture it's also clear that $\pi_1$ of the complement is nontrivial and in fact a huge mess
Oh you mean after the 20th?
Yup
It's a great way to draw it
There should be a press conference from the federal government tomorrow though
The whole paper seems full of great pictures
I told you we should read it one day :(
14:47
@Secret Can you help me if I post some screenshots? It's from Sommerfeld’s Lectures on Theoretical Physics
@BalarkaSen Did you? I don't remember haha
I am not good at fluid mechanics and I am currently busy dealing with another maths communtity
you need to ask someone else
We can start next week if you want, but I need to study for my exam until Friday
@EdwardEvans Do working people getting their salaries? (Because for some sectors it is not possible to work from home, my cousin works in Heidelberg Cements in Logistic Deoartment)
Yeah. It contains the main ideas behind Freedman's proof of topological 4-dimensional Poincare conjecture and uses nontrivial point set topology ideas of Bing
Yes, absolutely, @Alessandro!
14:49
@Secret Okay. Thank you at least for that :-)
@Knight i couldnt tell you, i only know about the Situation in the universities lol
@EdwardEvans You are a student or a staff?
@EdwardEvans tower law
You will probably need to teach me some geometry along the way, but it looks interesting
Yeah we'll take a crack at it togather
14:55
wait
That's amazing
On page two there's a list of people who helped make the notes
One of them is my Masters thesis advisor
I was checking if there's somebody I know since they say people from the MPI in Bonn were also following the letures and contributing
hi chat
Uhm but the notes you linked are incomplete in chapter 9 and 10, is there no more recent version? @Balarka
Yeah I don't think so
I can look around
15:02
Doesn't seem so by looking at Behrens's homepage
I can try asking my advisor if he knows whether the notes got completed at some point the next time I talk to him though
I think a substantial amount is complete tho so we can def start
Freedman, yikes
Oh nice
Sure, most of it seems complete, it's only at the end
Basically I want to learn and use Bing shrinking
I'd be happy if I can accomplish that
15:17
@Leaky durr
 
1 hour later…
16:22
I have vague memories of a class of groups for which it is open whether it is the class of all groups or not. I thought it was sofic groups, but that's something else, but it might have a similar name. Am I going crazy or does this sound familiar to anyone?
A little bit unrelated, but I think it's an important question for our society.
5
Q: Would it be ethical to allow an AI to make life-or-death medical decisions?

DukeZhouWould it be ethical to allow an AI to make life-or-death medical decisions? For instance, where there an insufficient number of ventilators during a respiratory pandemic, not every patient can have one. It seems like a straight forward question, but before you answer, consider: Human decision...

Can you help me with a problem?
"A drop of water falls onto a football and rolls down, following the path of steepest descent; that is, it moves in the direction tangent to the football most nearly vertically downward. Find the path the water drop follows if the surface of the football is ellipsoidal and given by the equation $$4x^2 +y^2 +4z^2 =9$$ and the drop starts at the point $$(1,1,1)$$"
What I did is: I'v found the gradient at that point, from that I've found a vector that is tangent to the level curve
$(1,-4,0)$ then I used the dot product with the vector $(x-1,y-1,z-1)$ to find the plane that intersects the football in the trajectory that I believe the drop would take from $(1,1,1)$ down.
Did I do something?...
16:52
1
Q: Why is $\sum_{i=0}^{k-1}(n^i - 1) \equiv 0 \pmod{n-1}$?

L PHere, $n-1$ is even and $n>5$. P.S. I have don't have much knowledge about the Binomial Theorem.

The index names in fleablood's answer xD
17:11
Uhm maybe it actually is sofic
17:30
@Simone Not quite right. When you talk about the gradient, you want to work with $z=f(x,y)$ and work only in the $xy$-plane. You then want to find the curve whose tangent line at each point is parallel to the gradient. This gives you a differential equation to solve.
Hi, demonic @Alessandro.
Hello Ted, thanks for the hint.
The problem is from your book BTW, in case it was ringing some bells XD
2
Multivariable Mathematics
LOL, well, it's a common problem. I don't claim credit for creating that one :)
i face doubts of whether to ask particular question on MO as i am not sure does it has an easy and clever almost-trivial solution
Why post on MO instead of on MSE?
if it is the case that the solution is non-trivial then MO is really more appropriate for that question, as it is part of a research, although from a naive standpoint
17:40
Well, as we've pointed out to you before, your notion of research level may not align with the research level of professional mathematicians.
that´s true, so the doubts
Obviously, since I have to reduce the equation to one with only 2 variables and since the drop of waters falls on the top half of the football, I can work with only that top half, that is: $f(x,y)=+(-x^2 -1/4 y^2 +9/4)^{1/2}$
right?
Yes, sure.
cheers
02:00 - 18:0018:00 - 00:00

« first day (3541 days earlier)      last day (1777 days later) »