« first day (3034 days earlier)      last day (2284 days later) » 
00:00 - 21:0021:00 - 00:00

00:45
0
Q: What does the function $f(x,y)$ reduce to?

The Great DuckWhat does the function $f(x,y)$ reduce to? $$f(x,y) = \lim_{n \to \infty} \sum_{i = 0}^{n} (((x \bmod 2^{i-1})-(x \bmod 2^i)) \cdot ((y \bmod 2^{i-1})-(y \bmod 2^i)) \cdot \frac {1}{2^i})$$

01:08
What's the difference between algebraic number theory and class field theory?
Or algebraic number theory/class field theory and arithmetic geometry?
Is it like $CFT \subset ANT \subset AG$
Pig
Pig
01:42
CF is subset of ANT
ANT and AG are different but related things
 
10 hours later…
11:42
Hi chat
11:53
0
Q: Sum of zero nim sum series

Hang WuThe problem is proposed here and related to this question. Given $n$ and $k$, I would like to know how to compute$$\sum_{\substack{x_0 ⊕x_1⊕\cdots⊕x_k=0\\x_i≥0,\ 0≤i≤k\\\sum\limits_{i=0}^kx_i≤n-2k}}\binom{n-k-\sum\limits_{i=0}^kx_i}k$$ in $O(nk·\log n)$ time, where $⊕$ is exclusive or. Let $\sum...

Any thoughts?
 
1 hour later…
13:14
2
Q: Expectation of exponential of a function of independent Rademacher r.v.'s involving the error function

Clement C.Let $Z,Z'\in\{-1,1\}^\ell$ be two independent vectors of i.i.d. Rademacher r.v.'s, where $1\leq \ell \leq d$ are two integers ($d\gg 1$). I am trying to get an upper bound on $$ \mathbb{E}_{ZZ'}[ e^{n\left(e^{\sum_{i=1}^\ell \mathrm{Erf}(\varepsilon Z_i /\sqrt{d})} -1\right)\left(e^{\sum_{i=1}^\e...

I have no privileges to comment on MO, but is $\mathrm{Erf}(Z_i x)$ not simply $Z_i \mathrm{Erf}(x)$ for $Z_i \in \{-1, 1\}$ so that the error functions have no bearing at all on the question?
13:31
Please explain why in picture here, green line has slope $\frac{f'(c)}{g'(c)}$ ?
Because the derivative at $c$ is $(f'(c), g'(c))$
Given $g'(c) \ne 0$, that is colinear to $({f'(c)\over g'(c)}, 1)$
I am sorry, but I still can't understand!
Hey @Mathein ! Hab meine Deutschpruefung bestanden ;)
@Astyx colinear in which line?
The vector $(f'(c), g'(c))$ is colinear to $({f'(c)\over g'(c)}, 1)$
I think they messed up and it should be the other way around, ie the slope is $g'(c)\over f'(c)$
13:44
ok, i will think abot this.
Hey @ÍgjøgnumMeg
habe ich von dir auch nicht anders erwartet
user131753
Hello @MatheinBoulomenos, I had a question in Logic. Care to help?
@Mathein :D Naja, hab knapp einen vierer bei der Lesepruefung geschrieben, aber bei der Sprachpruefung einen zweier
halt bei der muendlichen Pruefung mein ich
Hello @user170039 I know very little about logic
user131753
@MatheinBoulomenos Do you know about FOL?
13:51
I'm not familiar with the acronym
first order logic?
user131753
Yup.
I know what that means, but I don't know details
user131753
Anyway, I am posting my question here. See if you can help.
user131753
in Logic, 12 mins ago, by user 170039
Let $U$ and $V$ be two formulas (of First Order Predicate Calculus). Let $P_U$ be a formula in which $U$ occurs as a subformula. Let $P_V$ denote the result of replacing some occurrences of $U$ by $V$. Let every variable that is free in $U$ or $V$ and bound in $P_U$ be in the list $v_1,\ldots,v_k$. Then, $$\vdash\forall
v_1\ldots\forall v_k(U\leftrightarrow V)\to(P_U\leftrightarrow P_V)$$
user131753
in Logic, 8 mins ago, by user 170039
So, my question is: What is the reason (or reasons) for including, "Let every variable that is free in $U$ or $V$ and bound in $P_U$ be in the list $v_1,…,v_k$.." in the statement of the result? What happens if we violate the condition?
user131753
13:53
in Logic, 4 mins ago, by user 170039
Let $U$ and $V$ be two formulas (of First Order Predicate Calculus). Let $P_U$ be a formula in which $U$ occurs as a subformula. Let $P_V$ denote the result of replacing some occurrences of $U$ by $V$. Then for any variable $v$ we have,
$$⊢∀v(U↔V)→(P_U↔P_V)$$
@user170039 I can't help you with that
where is the variable $v$ used @user170039 ?
user131753
@Astyx Here.
I mean in your symbolic line
Where do you use $v$
user131753
@Astyx Sorry, I don't understand. What comment are you referring to?
13:58
This : $⊢∀v(U↔V)→(P_U↔P_V)$
user131753
@Astyx Yes and can you clarify what you mean by using the variable $v$? It is used in the formula as you written. Isn't it?
user131753
What else do you want?
user131753
Hi @BalarkaSen.
user131753
Seeing you after very long.
That's my question : does it appear in $U$ ? $V$ ? $P_U$ ? $P_V$ ?
user131753
14:01
@Astyx Oh. I see.
user131753
There is no information regarding that.
@Astyx Just clicked! Thank you very much. I think that wikipedia is correct, Rudin also writes $[f(b)-f(a)]g'(x)=[g(b)-g(a)]f'(x)$.
user131753
Is that necessary to specify @Astyx?
user131753
14:13
Am I missing something @Astyx? Please let me know.
14:23
@Silent I'm not saying the result is wrong, I'm saying what they call the slope is weird
@user170039 So what does it mean for a variable to be free in U and bound in $P_U$ ?
user131753
@Astyx Let $v$ be a variable. By the phrase "$v$ is free in $U$" we mean there exists no subformula of $U$ if the form $\forall v Q$ (say).
user131753
By the phrase "$v$ is bound in $P_U$" we mean there exists a subformula of $P_U$ if the form $\forall v R$ (say).
Then what does $↔$ mean ?
user131753
14:33
@Astyx Sorry, to ask this. But how much do you know FOL?
Enough to answer your problem
user131753
Then shouldn't you know the answer to your last question?
user131753
That's the usual definition, right?
I do know it
I want to hear it from you
user131753
So why are you asking that to me?
user131753
14:35
@Astyx Any specific reason?
Cause definition vary from people to people
So I want to know your definition
So i can adapat my answer
user131753
@Astyx I see. Fair enough.
user131753
@Astyx $A\leftrightarrow B$ "means" $(A\to B)\land (B\to A)$.
And $\to$ ?
user131753
@Astyx That's undefined.
user131753
14:38
Every other connective is defined in terms of $\neg$ (negation) and $\to$.
Wait what ?
What do you mean it's undefined ?
user131753
@Astyx What do you mean by "mean" here?
You're learning from a book or something right ?
user131753
@Astyx Yep.
user131753
Angelo Margaris's book First Order Mathematical Logic.
14:42
And they never give meaning to $\to$ ?
user131753
@Astyx In what sense?
How is the notation introduced for instance ?
user131753
@Astyx As just a formal symbol.
Ok right
And what you stated above is one of its properties right ?
It's not a consequence but a definition rather
user131753
@Astyx This is a theorem in the same book.
14:46
Is there a proof given ?
user131753
@Astyx Yep.
Do they not use the fact that de $v_i$ are free in U and bound in $P_U$ in that proof ?
user131753
@Astyx They use it exactly once when they assume that the formula $P_U$ is of the form $\forall v Q_U$. They use it only to conclude that $v$ is not free in $\forall v_1\ldots\forall v_k(U\leftrightarrow V)$.
Ok
@user170039 My guess is you want the same variables in the lhs and rhs of $\to$
15:23
Oh no! The ISC is down for maintenance indefinitely.
@the_fox why did you remove your answer? I was about to accept it :s
16:01
Hey there , does anyone know if there is a minimal polynomial of a matrix calculator online ? Or maybe some kind of code?
Anything where I could check my work to be precise
What are some of the great way to model co-op advertising between retailer and manufacturer?
I want to know few models which explain co-op advertising between manufacturer and retailer.Basically i am thinking to do individual project on it so if you people can suggest some research papers or your own ideas so that i can read them and get some idea so that i can start my own model.
 
1 hour later…
17:23
The definition of mean curvature of an immersed surface in $\mathbb{R}^3 $ is using charts, right?
 
2 hours later…
19:03
@Takashi: No, you don't need charts to define it. It's the trace of the linear map $d\vec n(p)\colon T_pM\to T_pM$.
heya demonic @Alessandro
You doing well?
I'm doing algebraic geometry :P
@TedShifrin But I can, right?
@Takashi: You can compute using a parametrization, of course.
@Alessandro: Aha, so doing well, by definition.
19:06
That's debatable
How are you?
LOL ... I'm doing fine, thanks.
Hi @Ted
Heya, a @Balarka
hi @Semiclassic
@TedShifrin thanks!
19:09
Sure.
Suppose $f : \Sigma \to \Sigma'$ is a map of surfaces, and $p \in \Sigma'$ such that $f^{-1}(p)$ is an embedded circle in $\Sigma$. I think $f$ has to be 2-to-1 in a neighborhood of $f^{-1}(p)$.
Hmm, in that case the scheme structure on $f^{-1}(p)$ is definitely not reduced :P
Locally near $f^{-1}(p)$, $f$ is a map $S^1 \times (-\epsilon, \epsilon) \to D^2$ sending the core $S^1 \times \{0\}$ to the center of $D^2$.
So it factors through the map $C = S^1 \times (-\epsilon, \epsilon)/S^1 \times \{0\} \to D^2$ where $C$ is the (open) double cone.
I don't see a priori why there couldn't be something worse than a fold going on.
You need some sort of genericity assumption on the derivative of the map along the circle, I think.
Good point. Let's say $p$ is the only critical value in it's neighborhood.
19:19
Why couldn't there be a pinch point inside?
Like, a cusp on the circle $f^{-1}(p)$? That'd force critical points along the "folds of the cusp", which limit to the circle upstairs, I think
I think codimension 1 (circle in surface) is small enough for bad stuff to not happen along the singularity locus
Yeah, that's probably right. But you still need some sort of Thom-Boardman genericity. I mean: Consider the map $f(x,y) = (xy,y^3)$ with $p=(0,0)$.
Hmmmm
Interesting example!
Oh, maybe over $\Bbb R$ I need $y^4$ there since the cube function is one-to-one. I'm used to $\Bbb C$.
Oh, damn, still $2$-$1$, though.
If you use $y^4$ it's 2-1
19:30
I have a function $f$ in the Hilbert space $L^2(\mathbb S^{n-1})$ and I project it orthogonally in all directions of a complete set of orthogonal functions. Is the norm of the resulting vector bounded by the L2-norm of $f$?
I suppose we need some sort of monkey saddle thing.
@Emolga: You mean that you sum all the orthogonal projections? Then isn't the norm equal, by Plancherel?
Wait, what was the problem with $y^3$? $f^{-1}(0, 0)$ is $\{y = 0\}$.
@Balarka: But is it folding across that?
Maybe still a counterexample.
@TedShifrin My aim is the estimate $\sum Proj_k(f)Proj_k(g) \leq \Vert f \Vert_2 \Vert g \Vert_2$. By cauchy-schwarz I bound the sum using the 2-norm of the vector $(Proj_1(f),Proj_2(f),...)$
$(0, 0)$ is an isolated critical point. If it doesn't fold across that, we have a counterexample, right?
19:34
We're sniping each other, @Balarka :P
Haha, well, you're the mastermind behind the example. I'm just trying to see it
@Emolga: Why isn't this the usual Cauchy-Schwarz?
Here is a two year old question of mine where I am still interested in an answer/perspective if somebody here wants to take a look: math.stackexchange.com/questions/1884274/…
@TedShifrin Oh, so Parseval is the name of what I was trying to prove: it says my sum is equal to the inner product.
Yeah, I got the wrong name.
19:45
(thanks! Forgot this result exists)
Hello
Figured I'd drop in ;)
@TedShifrin
Damn, @Antonios — I wondered what the hell had happened to you.
I'm always a message away. But I've been rather... busy.
Just about done with apps.
Well, that's exciting.
GRE sub score came out yesterday and I saw some good improvement, which is somewhat exciting. Now I need to go change all of the apps LOL
19:56
Subscore? I knew the AP BC exam had that, but what is with the GRE?
ohhh ...
I won't ask publicly how you did.
I sent it to your email.
19:57
Ah.
@TedShifrin So these are the contours, where I think of the map as $(s, t) \mapsto (x, y)$ by $x = st, y = s^3$. The $t = \text{const}$ lines go to those family of cubics; it's clear the $(0, 0)$ is a very severe singularity.
Things are decent, thanks, @Antonios. Keep me posted!
I will :-) @BalarkaSen hi!
Hi @Antonios-AlexandrosRobotis!
19:59
how are you ?
Better, but worse.
I don't know how to describe it :d
@Balarka: As I said, I think you need the Thom-Boardman singularity to be generic, and this one isn't.
Notice that I refrain from asking how you are :P
Life is a million hurdles, there's no moment of respite. The second you cross one you feel you're the fucking king, until you realize the next one's coming fast
yeah I definitely get that lol
20:01
It's a little ridiculous on retrospect but so it is
My body is falling apart, and there's nothing I can do about it ... :(
I go to a chiropractor, a physical therapist, and a massage therapist, and my neck is still f***ing hurting and not getting better.
@TedShifrin I hope you feel better :/
Nah, I won't. It'll only get worse.
One can always hope.
We still need thy wisdom, Ted
Get better
20:03
Hi chat
Nah, I'm done being wise. And because I wasn't being authoritative enough as "room owner," a certain person threw a tantrum and left (after giving me attitude I didn't deserve).
hi @Astyx
But I'm glad you're back, a @Balarka.
I think I'm missing something. I have a morphism of sheaves on some topological space X $f:\mathcal F\to\mathcal G$. I know that $f$ is injective iff the induced maps on stalks are all injective iff $f(U):\mathcal F(U)\to\mathcal G(U)$ is injective for all $U\subseteq X$ open. Why is it not enough to look at the map on global sections $f(X):\mathcal F(X)\to\mathcal G(X)$?
@Alessandro: What if global sections are all $0$?
Global sections mean nothing; they might be all zero
LOL, Balarka/Ted continue sniping.
20:05
You're leading +2 to 0
LOL, oh? I can't count that high.
Can the global sections be zero if other sections aren't?
Think holo functions on a compact Riemann surface.
the idea is you might not be able to find enough globally defined objects
but locally the situation can be very nice
@Alessandro The situation is that you can patch local sections to a global one iff they are all zero.
I'm thinking of $\mathbb P^n$ with its structure sheaf since that's easier for me. It doesn't have $0$ global sections, but it still has very few global sections and plenty of local ones
It has only the 0 section as a global section, @Alessandro.
Any compact complex manifold.
Maximum principle.
heya @Eric
how goes it
20:09
$\mathcal O_{\Bbb P^n}(\Bbb P^n)=k$ I believe
@TedShifrin Constants, actually.
@Eric: I have zillions of leftovers. Come help eat.
Oh, right, sorry. Twist the sheaf slightly :P
Damn, my brain is addled. I should quit.
@TedShifrin me too :(
i have two whole pies
Do the sheaf $\mathscr O(-m)$ for any $m>0$, @Alessandro.
What kind of pies, @Eric? I didn't make any dessert, so I have none of that leftover.
@TedShifrin I'm not sure what that means
20:13
It corresponds to homogeneous polynomials of degree $-m$ ... or functions that vanish to order $m$ along a hyperplane.
Be back later guys :)
Anyhow, there are plenty of sheaves with no nontrivial global sections.
bye @Antonios
@TedShifrin pumpkin, my SO made em
oh, never mind ... I hate pumpkin.
But I'll still share my stuff.
@TedShifrin Yeah that makes sense to me now
20:16
whaaat pumpkin pie is delish
Given any covering space you can look at the sheaf of sections of the covering space. The set of global sections is even empty in this case, if the covering space was nontrivial.
(This is a Set-valued sheaf though)
@Eric: I hate it. One time in grad school I even cooked the pumpkin from scratch, used cream, fresh spices, etc. Made my usual excellent French pie crust. Everyone said it was the best they'd ever had. I took one bite and never have eaten any more.
So there's an elementary example which tells you the global sections need not retain any information about the whole sheaf (i.e., there are no global sections at all).
@TedShifrin Because after you tasted their perfect form you were done with pumpkin pies?
What do you mean with sections of the covering space?
20:21
In complex geometry one has a notion of curvature for vector bundles (locally free sheaves). If there's one with negative curvature, it has no nontrivial global sections.
@TedShifrin wow i do not understand
To each open subset $U$ of $X$ you associate the set $\Gamma(U) = \{s : U \to E | p \circ s = \text{id}_U\}$.
Here $p : E \to X$ is the covering map.
Oh ok, sections as a fiber something
@Eric: I don't like the texture at all. And, although I tolerate squash as a vegetable, I'm just not fond of the family. Very few things foodly I don't like.
Correct.
20:22
Why must every term in mathematics denote twelve different things
LOL ... you seek normality, @Alessandro?
@TedShifrin i guess texturally i can see the issur
i have no problem w it tho
Sections as a fiber something came before sections of sheaves
thats what it means
I'll eat just about any weird meat or fish, @Eric, but avoid beef liver.
20:24
oh i will eat basically any meet even organs
gimme all then organs
@Alessandro: Balarka and I have discussed this before. If you think of a sheaf as a topological space, it's very much like a covering space. But one thing fails ...
Hey handsome ppl
@Eric: Me too, but it's really bad for my gout.
long time no see eh
heya @Kasmir. You're just in time for me to leave.
20:24
@TedShifrin Dinner?
Lunch.
@TedShifrin coming back later? :D
I got some Q's for ya
but they can wait
Depends. What kind of Qs?
I'm thinking of $p:S^2\to\Bbb R\Bbb P^2$, I see that there are no global sections here, makes sense
general stuff
20:25
Too vague.
about how to proceed with mathematics carrer
Oh good grief.
haha
right now kas got his a** kicked so many times, so need to regroup and make stratey
I'd be very wary of proceeding with a mathematics carrer
From where I sit in the US, mathematics is not a great career choice.
20:26
it is not everywhere
but it is something very good
i mean not much money in it ofc
Better to do some computer science and/or statistics and have employable skills ... while learning math.
@TedShifrin I want the covering map to be locally trivial, but that has no analogous concept in the sheaves setting I'd say?
but once you can accomplish that, you can do any other job with eaz
am doing that atm Ted -1
work and study
if you want an AG example you can try the tautological bundle over $\mathbb{P}^n$ (this really just corresponds to $\mathcal{O}(-1)$)
Right, @Alessandro ... as you move around a stalk, the little open sets may shrink to nothing.
20:27
but frankly it has been very hard to learn math
Locally free sheaves
balarka is still alive?
@loch: I already gave that.
did nto hear from him in months now
OK, I'm leaving now.
20:28
so i got a simple Q
@TedShifrin PING ME when u back :D
Bye and thanks! @Ted
@TedShifrin I would say this is failure of the local homeomorphism from the leafspace to be proper
I'm tired as fuck, I should sleep
Good night all
Good night @Balarka
20:50
Is it a possible that an infinite group has a a finite conjugacy class?
Anyone here read Spivak's Calculus on Manifolds by chance and has an opinion on it?
Specifically if it's viable for someone with only multivariable calculus and abstract algebra knowledge
@Eran What's your favourite infinite abelian group and what are its conjugacy classes?
I found Spivak's Calculus on Manifolds to be a bit dry, but that's just my opinion. I prefer Munkres' Analysis on Manifolds
@AlessandroCodenotti right
@Perturbative Hmm, all right. My class is gonna use that textbook next semester, I'm just hoping it's not going to expect a very strong real analysis background
20:56
If you want a nonabelian example pick any infinite nonabelian group with nontrivial centre and look at conjugacy classes of elements in the center
But I haven't really through much of either so take my word with some salt
Im trying to prove that if G is a group and a in G and a has exactly two elements in it's conjugacy class then G has a normal nontrivial subgroup
it's easy when G is finite, I can use orbit-stabilizer theorem
|G:C_G(a)| = a^G
is the finiteness of G even necessary here?
@Eran it isn't
silly me
Phew, luckily @Mathei is here, I don't actually know anything about groups
00:00 - 21:0021:00 - 00:00

« first day (3034 days earlier)      last day (2284 days later) »