« first day (2903 days earlier)      last day (2122 days later) » 

12:02 AM
@BalarkaSen I think the key geometric question must be Arf invariant of framed surfaces
Not for a good reason: this is just the only Z/2 invariant of surfaces I know
 
I have heard of that object in the context of computing $\pi_4 S^2$ (I think there is a framed torus in $S^4$ that gives the nontrivial element of that homotopy group, but I do not know which one).
 
I am currently trying to understand from Wikipedia what the Arf invariant is lol
I would guess Clifford torus?
Sitting inside S^3 sitting inside S^4?
 
Could be true; I can't quite see that $\text{Hopf} \circ \Sigma\text{Hopf}$ has a generic fiber of that nature (with that exact framing).
Or at least last time I tried the picture got too complicated
Let me look up Arf
 
define a map $\Bbb{Q}(x) \to \Bbb Q$ as follows: Write $f \in \Bbb{Q}$ as $f=\frac{g}{h}$ with $a,b \in \Bbb{Z}[x]$, then send that to $\mathrm{lc}(g)/\mathrm{lc}(h)$ where $\mathrm{lc}$ is leading coefficient. Your ring is the inverse image of $\Bbb Z$ under that map
 
Uh oh the definition is all algebraic
 
12:10 AM
@Balarka Clifford torus is a circle's worth of fibers of the Hopf map
Makes vague sense to me as the generic fibrt you want
 
It's preimage of a circle by the Hopf map, yeah. But the preimage of a point by Hopf compose Sigma Hopf is preimage of a circle in S^3 by Sigma Hopf : S^4 --> S^3...
Hm.
Yeah I guess it makes sense.
 
It's vague to me but whatever I don't care
 
Writing it down properly would probably require us to figure out how the Hopf foliation and the singular foliation on S^3 by spheres (w/ north and south pole) interacts.
But yeah, whatever
 
Something like that
The thing that confuses me is when they say framed links spit out a number in Z/2 I don't get how to say a framing is 0. I guess it bounds a framed disc
But that's irritating I guess
 
For a knot this is the element of $\pi_1 SO(2)$?
The "twisty number" of the framing?
SO(2) I meant, if you're in a 3-manifold. Normal fibers are 2-dimensional.
Uh, Z/2
@MikeMiller Is this the first in the "Examples" section? They're computing the framings of the generator circlesin the surface embedding in some 4 (or more) dimensional manifold?
 
12:30 AM
@MatheinBoulomenos noch hier?
 
@MikeMiller I get it. If a surface $\Sigma \subset M^4$ is framed nullcobordant, then the generating circles $a_k, b_k \subset \Sigma$ generating $H^1(\Sigma)$ are also framed nullcobordant. We're exploiting that.
Hm, not quite is it. The frames over the circles are 3-frames, while the frames over the surface are 2-frames.
But I guess I can just do the cross product construction to get a 3-frame from the 2-frame over the circle
 
12:49 AM
@BalarkaSen You are using the normal direction to the circle in the surface to make a 3-frame
 
True.
That's more natural.
 
Why are those circles null-cob?
I don't think they necessarily are
The Arf invariant measures whether you have more of one framing than another, but you in particular have both framings
 
Isn't that the claim that's being made? Maybe I don't understand. $\Phi(\Sigma)$ seems to measure if there are a pair of circles in $\Sigma$ intersecting at a point and both circles having an odd-twist frame. And the claim that is being made is that it detects if $\Sigma$ is framed nullcobordant in $M$.
Ah, am I flipping implications? Having a generator set of circles which are framed nullcobordant implies the surface is framed nullcobordant?
That might be true, by extending sections of the frame bundle over the 2-skeleton using obstruction theory etc.
(Because if a circle is framed nullcobordant it has the "trivial non-twisty 3-framing" on it)
 
1:07 AM
Is there a simple relation between asymptotics for the coefficients of two power series, and the asymptotic for the coefficients of their product?
 
@user76284 no
 
1:23 AM
I found one for my case but I guess it's not true in general.
 
@user76284 I think if the coefficients are O(f) and O(g) respectively then the product is O(f convolve g)
if we use the integration definition of convolution instead, we might be able to get something
 
 
1 hour later…
2:54 AM
yet another "fact" from Atiyah Macdonald
 
3:31 AM
lol
 
 
2 hours later…
5:43 AM
Is it true that $\lim\limits_{h\to0}\dfrac{f(a+h)-f(a)-mh}{h}=0$ iff $\lim\limits_{h\to0}\dfrac{f(a+h)-f(a)-mh}{|h|}=0$? I think it is correct, I need an expert opinion.
 
isn't that just the derivative?
 
yes, $m$ is derivative if first limit is zero.
So, is my equivalence statement true?
 
I don't see how the absolute sign matter unless the function is not continuous at x=a (thus making the left and right derivatives to mismatch)
 
@Silent The forward implication is definitely true. If the first limit is zero, its negative is zero, and from those two facts you can derive that the second limit is zero as well.
 
6:03 AM
@Fargle So, the other implication must be true, too, right? because, second expression says (i think) $\lim\limits_{h\to0^-}\dfrac{f(a+h)-f(a)-mh}{-h}=0$ which implies $\lim\limits_{h\to0^-}\dfrac{f(a+h)-f(a)-mh}{h}=0$, and it also says $\lim\limits_{h\to0^+}\dfrac{f(a+h)-f(a)-mh}{h}=0$. These imply $\lim\limits_{h\to0}\dfrac{f(a+h)-f(a)-mh}{h}=0$.
 
Absolutely.
 
Thank you very much.
 
No problem.
 
 
1 hour later…
7:27 AM
@silent where did u join?
 
 
2 hours later…
9:09 AM
@CupFever in a more simple way plz
 
@Akash.B the simplest way is to memorize the smaller square roots
For this one you need to know the square root of 5, right?
Then multiply by 20.
 
9:24 AM
@CupFever okay then
 
:-)
 
9:55 AM
I'm running an epidemic model using a gillespie algorithm, an counting the number of infecteds. However, when I solve the corresponding master equations and calculate the mean number of infecteds, I get a different shape, and even a different endemic state.
Is there a reason this could be the case (such as me calculating the mean infecteds)?
I'm doing this for a household model, and it all works fine when the external rate of infection is constant. It's only when I change this external rate to be proportional to the number of infecteds in the population at each time step that the two disagree with each other.
 
 
2 hours later…
11:45 AM
Did I implicitly use integral domain? (I didn't look at the hint)
 
@LeakyNun the proof is the same
 
@MatheinBoulomenos then why...
 
why can you find an extension such that $f$ and $g$ split into linear factors (I guess that's what you mean by enough roots)? That's usually only proved for fields in a first course on algebra
and you have to use that $f$ and $g$ are monic
 
right
because division algorithm works for monic polynomials
claim: if $A$ is a ring and $f \in A[X]$ monic, there is $B \supseteq A$ such that $f$ splits into linear factors in $B[X]$
argue by induction on $\deg f$, generalizing $A$
 
11:56 AM
Consider $A[t]/(f)$. Let $\alpha_1 = t+(f) \in A[t]/(f)$. Then, $f = (X - \alpha_1) g$ for some monic $g$ with degree less 1
apply induction hypothesis
 
yeah
exercise 13 in that chapter is really cool
it's fundamental in ANT
 
 
1 hour later…
1:06 PM
@MatheinBoulomenos why is $X \in A[X]$ never a zero-divisor?
I mean, I know why, but why?
 
1
Q: Learning math historically

Alex K ChenWhat is meant by learning math historically (NOT learning math history only, but learning math with a historical development perspective)? I've seen some sources say that to learn a math topic X, you need to look at the historical development of the topic X and go over the famous questions by you...

 
@LeakyNun there's an exercise in chapter 1 (one of the first) that characterizes zero divisors in $A[X]$
anyway, just look at the leading coeffiecient of $Xf$
 
aha
 
if $f \neq 0$
 
but I mean
is there a higher-order perspective?
I mean, $A[X]$ is a graded ring, and $X$ generates the first grade
also can you characterize $f, g \in A[X]$ such that $f \circ g = X$?
 
1:11 PM
that's not the reason, $A[X]/(X^2)$ is also graded and $X$ generates the first grade
 
@MatheinBoulomenos I'm not saying that's the reason, I'm asking thee whether there's a higher-order reason that likenth to the one I said
also I ran out of variables in my exercise
 
@LeakyNun no idea
 
ok
 
1:28 PM
Here I am to crash the party
 
hi @rschwieb
 
hiya
 
Hi @rschwieb
 
sup
 
I found out the give out algebra TA positions based on who writes the email first (provided that you're qualified). idk, that doesn't feel fair
 
1:33 PM
How big is the pool of candidates?
 
I'm not sure
it's not actually about writing the email first , but more about figuring out whom to write an email, as you have to do it as fast possible and that means finding out which person to write an email before the course is announced
 
I think we should base it on number of publications.
 
no student has any publications
at least here
maybe TA is the wrong translation
I'm talking about jobs for students who present solutions to exercises, grade homework etc.
 
1:51 PM
The motto of my university is Semper Facetious
 
@MatheinBoulomenos does "multiplication by X" reflect integrality?
 
Problem: Let $R$ be any commutative ring with $1$, let $V$ be an $R$-module and let $x_1,...,x_n \in V$. Assume that for some matrix $A \in M_n(R)$, $A(x_1,...,x_n)^T = 0$. Prove that (det A)xi = 0 for all i...I could use a hint.
 
@user193319 adjugate magic
the single most beautiful theorem in all of linear algebra
no contest
 
Oh. Thank you. I will give it a try!
 
btw how does it work if $V$ isn't free?
 
1:55 PM
...I'm not sure...
 
you're multiplying two matrices together
and the second matrix isn't a matrix
 
Isn't the proof basically: $0 = adj(A) A (x_1,...,x_n)^T = (\det A) I(x_1,..,x_n)^T = \det A (x_1,...,x_n)^T$, which implies $(\det A)x_i = 0$ for each $i$. Why does $V$ need to be a free $R$-module?
I am assuming $0 = (0,...,0)^T$.
 
because $(x_1, \cdots, x_n)^T$ does not mean anything
 
Isn't it an element in $V^n$?
 
then what is $A(x_1, \cdots, x_n)^T$?
I see
ok that can work
nvm
 
2:09 PM
When speaking of every row sum being positive, does that mean $\sum_{k=1}^n a_{kj} > 0$ for every $j=1,...,n$?
 
I would think so
 
Thanks!
 
Just out of curiosity, does anyone here have experience with Noether's theorem of invariances?
 
 
2 hours later…
4:16 PM
 
@Adam Uh... not sure if you're serious. What makes a solution clickbait?
 
4:32 PM
1
Q: Define $\|\cdot\| \colon V \rightarrow \mathbb{R} $ by $\|a\| =\sum 2^n |a_n| $, then choose the correct option

Messi fifaDefine $\|\cdot\|\colon V \rightarrow \mathbb{R} $ by $\|a\| = \sum 2^n |a_n| $, where $V$ denotes the vector space of all sequences $a=(a_1,a_2,a_3,\dotsc)$ of real numbers such that $\sum 2^n |a_n| $ converges. Which of the following are true? 1) $V$ contains only the sequence $(0,0,\...

Can space have shauder basis?
How do I prove/disprove that it is separable?
$e_1,e_2,....\in V$. Right?
 
4:48 PM
If $R$ is a subring of the field $F$, what is the definition of the subfield generated by $R$?
 
@user193319 the smallest subfield of F containing R
 
Ah, okay. Makes sense. Thanks!
 
hi @BalarkaSen
 
5:12 PM
@Adam Perhaps you can find your answer in this meta discussion which resulted in the preservation of that question: math.meta.stackexchange.com/questions/21800/…
The current reason for its closure is a bit BS: the question is not broad at all.
 
Well broad is probably the nicest way they could think of putting it
 
@Adam Seems more like the closest reach for a pretext.
 
5:42 PM
Anyone a specialist in generalisations of Riemann integrals?
 
@More Not personally, but I think I know someone who I would ask. What's the question?
 
Something I worked on ... and then presented
obviously mathoverflow is too outta my league
-4
Q: A new method to solve "discontinuous differential equations"?

More AnonymousQuestion Given a "discontinuous differential equation"(see example) is the below technique (see conjecture) known for "integration"? Is it possible to make any of this more rigorous? (for example what is the set of $f$ for which the conjecture holds true) Example Consider a non-continuous dif...

even though its heavily downvoted if you read the comments its more about me not presenting the idea well :/
@rs
@rschwieb
Skip the example and focus on conjecture and heuristic proof
 
I'll direct my friend's attention to it, but I can't promise any response :)
 
thanks ...
that would be great ... so frustrating when you think u've done something interesting and you have poor communication skills ...
 
@MoreAnonymous It might be good if you focused on the conjecture and mentioned how you came about it, and what sets it apart.
The rest of the stuff kind of gets in the way until the motivation is established.
 
5:53 PM
It kinda is a generalization of the Riemann integral
what sets it apart from other ways of intgrating is one can have a discontinuous coeffieicents
I can came about it by the heursitc proof
 
Well, there are quite a few of those. Are you aware of how any of them work?
 
which is true for certain "nice" functions
Im not an expert but rather an enthusiast ...
I've skimmed through the book a garden of integrals
that would be the epitome of my knnowlegde
 
Lebesgue, Stieltjes, and a couple I've forgotten
 
The difference is basically the coeffiecients can be discontinous everywhere
(which i know sounds crazy)
 
6:10 PM
@LeakyNun, let $x$ be a nilpotent element in a ring $R$ (not necessarily commutative). Is it true that $1+x$ is unit?
 
@Silent yes
 
Thank you!
@MoreAnonymous, cool name :)
 
@Silent haha ... thought of it myself 8)
 
gr8
 
@Silent know anyone who knows about generalisations of the Riemannian integral?
 
6:16 PM
@Silent . Your question has been asked tons of times in one form or another: math.stackexchange.com/q/119904/29335
The identity element will always commute with a nilpotent element, of course
 
@MoreAnonymous No, IDK.
 
@rschwieb Can I ping u tomorrow or day after asking what ur friend said?
 
@rschwieb Thanks for that! It gives more generalized version of what i learned.
 
@MoreAnonymous I will ask him to respond directly on your post.
 
Oh that will be gr8 ... though I would totally understand if he finds any parts of it too dense and wants to talk to me or something ... Thank you soooo much @rschwieb
 
6:26 PM
@MoreAnonymous I know that there are integrals which yield values for functions which are highly discontinuous, but I've never heard of one that does it for all such functions. I think you might need to be more specific about what special properties the class of functions which are discontinuous are expected to have.
 
Well so far I know it should be bounded
it should be scale invariant
 
when is a function scale invariant? Are you sure you're not talking about the integral?
and if you are, what does it mean for an integral to be bounded?
 
so by bounded i mean: $\int_0^\infty f(x) dx = C$ must exist
then by scale invariant I mean $\int_0^\infty f(rx) drx = C$
must also exist
because in the heuristic proof I divide by r and all $\implies \int_0^\infty f(rx) dx = C/r$
The conditions are more on $f(x)$ and less on $d_r$
 
I... can't understand how a function could be scale invariant. That doesn't even work for the characteristic function of $[0,1]$ on the real line.
 
Well for example you have $\int_0^\infty e^{-x} dx = 1 \implies \int_0^\infty e^{-kx} d(kx) = 1 \implies \int_0^\infty e^{-kx} dx = 1/k $
thats what I meant by scale invariant
sorry i meant the integral should be scale invariant
 
6:44 PM
the exponential integral $\text{Ei}(z):=-\int_{-z}^\infty e^{-t}\frac{dt}{t}$ is an example of such
^ ignooooore meeeee
 
7:15 PM
@MoreAnonymous Yeah... I don't mean properties of the integral, I mean properties of the function being integrated. It seems like that collection needs to be constrained sommehow, even if the members are wild
 
7:33 PM
Ah you mean about $\lim_{k \to \infty} \lim_{n \to \infty}\ \sum_{r=1}^n d_r \left( f(\frac{k}{n}r)\frac{k}{n} \right) $ ? $d_r$ seems to have no constraints (as far as I know)
 
8:10 PM
Possibly dumb question: how many subfields does $\Bbb{R}$ contain? I just proved that any subfield of $\Bbb{R}$ must contain $\Bbb{Q}$, which seems to imply that there couldn't be very many, although this is but a mere suspicion.
 
From what I vaguely remember, there are no subfields of $\Bbb{R}$ "strictly between" $\Bbb{Q}$ and $\Bbb{R}$, or I might misremembered something
 
@user193319 what about $\mathbb{Q}(\alpha)$ where $\alpha$ is any real number?
 
@loch What is $\Bbb{Q}(\alpha)$? Polynomials of some sort?
 
You can adjoin lots of real numbers to $\mathbb Q$ to get lots of subfields of $\mathbb R$ taht properly contain $\mathbb Q$.
For example, the constructible numbers do not contain $\sqrt[3]{2}$, so it's a proper subfield.
 
hmm... I think what I misremembered is there are no subfields of $\Bbb{C}$ containing $\Bbb{R}$ that is not isomorphic to $\Bbb{R}$ itself
 
8:19 PM
@user193319 The field generated by $\Bbb Q$ and $\alpha$; essentially quotients of polynomials in $\alpha$.
 
@user193319 $\mathbb Q(\alpha)$ denotes the smallest subfield of $\mathbb R$ containing $\mathbb Q$ and $\alpha$.
It can also be described as $\mathbb Q[x]/p(x)$ where $p(x)$ is the minimal polynomial for $\alpha$ over $\mathbb Q$.
 
Ah, very interesting!
 
$\Bbb{R}(i)$ (or any complex number with Im=/=0) is isomorphic to $\Bbb{C}$ right?
 
@Secret Yes, that's right. Any proper finite field extension of $\mathbb R$ has to be $\mathbb C$.
Although you can have infinite field extensions that are not $\mathbb C$.
 
8:35 PM
@rschwieb is there some nice algebraic construction of the quaternions as some quotient in the same "fashion" as $\Bbb C$?
 
@ÍgjøgnumMeg Sure, it's the noncommutative quotient $\mathbb Q\langle x,y\rangle /(x^2+1, y^2+1, xyxy+1)$
 
@rschwieb and this ideal is just a wishlist for the relations between the $i, j, k$ right? lol
Thanks
 
if by "wishlist" you mean "defining relations" yes
 
I like wishlist
but yeah I mean that
lol
 
0
Q: Example of infinite extension of $\mathbb{R}$?

argh1997Isn't any extension of $\mathbb{R}$ either $\mathbb{R}$ or $\mathbb{C}$ ?

surrrrreals...
Now that's sureal
 
8:39 PM
There are also some fun non-field extensions in a similar vein as the complex numbers: $\Bbb R[x]/(x^2)$ and $\Bbb R[x]/(x^2 - 1)$, respectively the dual numbers and the split-complex numbers.
 
Riiiight I heard about the split complex numbers
 
@Secret . No, only the finite ones have to be $\mathbb C$.
@Secret For example, the rational functions $\mathbb R(x)$ form a field.
 
8:53 PM
huh
so, i'm looking around re: adjunct faculty positions at local community colleges
anyone notice where this job listing takes a bit of a turn? indeed.com/rc/…
 
found it
hahahaha
damn
 
yeaaaah
 
weird
 
definitely a disqualifying point for me, both in the sense of "I don't believe in that" and "I think requiring that of a teacher is ludicrous"
 
Right, I don't even know if it's legal here
I suppose it depends on public-privateness
 
8:59 PM
in the US, i don't doubt it's legal
 
>Ability to integrate Christian worldview into classroom instruction

:|
 
"Maintain a personal relationship with Jesus Christ" is my favourite
 
"Oh yeah, he and I play bridge on the weekends."
 
"lol yeah I was at the bar the other day with my good friend Jesus Christ"
 
"The campus houses the KTIS-AM(Faith Network) and KTIS-FM(Life Network) radio stations, broadcasting contemporary Christian music and programming to the Twin Cities area." (from wikipedia)
oh hey, it's that one Christian radio channel I always skip past on my way to the classical radio channel
 
9:05 PM
hey, in regards to probability, if i have a mutually exclusive events and it happens because they can't occur at the same time, is there a proper name for a situation in converse?
 
 
1 hour later…
10:21 PM
-2
Q: Penrose Diagram as Tensor Network?

geocalc33The following image is a Penrose Diagram. After doing some research I am curious, has anyone tried applying Penrose Diagrams to Tensor Networks, where each intersection between space and time curves denotes a node/tensor? In the diagram the interior nodes/tensors would all be 4-tensors since each...

 
10:41 PM
Hey I have a question about why a certain double-integral is wrong:
I want to find the area of a rectangle in the first quadrant bounded by the lines $x=0$, $x=a$, $y=0$, $y=b$
This is what I tried to do:
$2 \cdot \int_{0}^{\sqrt{a^2+b^2}}\int_{0}^{arccos(a/r)} 1\cdot r \cdot dr \cdot d \theta$
Did I enter the latex wrong or do I just not have the extension I need to see it...?
Anyways, I tried to just integrate over the first triangle (then multiply by 2 for area of rectangle) by defining $\theta$ in terms of $r$ and then performing a double integral over the region... what did I do wrong?
The reason I integrated $\theta$ from $0$ to $arccos(a/r)$ is because the line $x=a$ in polar coordinates is $x=a \rightarrow a=r \cdot cos(\theta) \rightarrow \theta = arccos(a/r)$
But evaluating this integral gives me imaginary solutions!
 
11:31 PM
I meant $d\theta \cdot dr$ as the order of integration
 

« first day (2903 days earlier)      last day (2122 days later) »