#serious-discussion

1 messages · Page 443 of 1

odd narwhal
#

is that a thing

narrow rock
#

yes

odd narwhal
#

do you just

#

ask?

bronze pelican
#

yeah you should ask them to see if you qualify for a fee wavier

brave hollow
#

air superiority is always the answer

latent forge
#

Yes fee waiver

#

I hope I qualify since I already qualified for full financial aid

#

Im sure as hell not spending 1k on grad apps

#

Thats like 1/8th my savings

somber hinge
#

How much time on average would it take to work through spivaks's calculus

torn willow
#

Probably like 2 months,ig

deep mango
#

For some schools I was able to get a waiver because I did an NSF funded REU

#

So check into that

#

Sort of weird that that's an option

sharp mulch
#

This discriminates against people who didn't do nsf funded reus

deep mango
#

Well most of the programs on the lists of programs they give waivers for are like

#

Actual programs that warrant it

#

Which serve underrepresented groups

#

And then just randomly NSF funded REU is on some of these lists

sharp mulch
somber hinge
odd narwhal
#

this discriminates against people too lazy to google what nsf funded reu is

astral marsh
#

Yo I did 400lbs leg press @iron osprey

#

I thought my 1RM would be like 330

#

Nope, 400 was like my 4RM I'd judge from the 2 reps I did

#

I didn't think my quad strength would have held up that much during my 2y break

#

Well shit I guess that means I was way undershooting my target weight for 8*4 lmao

#

SHIT

#

I finished my 8*4 on 300 and then I tried as many 400 reps as possible, somehow got 10 actual ones off

iron osprey
#

i once gained 180lbs on my leg press in a single week

astral marsh
#

Jesús christ lmao

#

I think it's a matter of me not realizing how hard I can push myself

#

If you played league, it's whats3referred to as limit testing

sharp mulch
#

That's so mean

#

Why are you so mean

cold needle
#

animel abuse

thorn brook
#

wait, does the orbit space contain sets or just points?

errant kiln
#

orbit space? KEK

thorn brook
#

my book says that it is a set of all orbits, and an orbit is G.x = {g.x | g \in G}. Does this mean that the orbit space contains all G.x or just all g.x?

light needle
#

the orbits partition the set right

#

the orbit space is the set of all orbits

#

its the set of all classes G.x

thorn brook
#

okay so it is a set that contains sets?

#

Just to make sure

light needle
#

basically

nimble shuttle
#

it's the set of G.x for all x

light needle
#

similar to how a quotient group

#

is a set of cosets

#

(which are sets)

thorn brook
#

ohhh

#

lmao

#

okay great! Thank you so much!

#

yooo the homology section looks so scary. There's a lot of big diagrams blobsweat

light needle
#

homology is p fun

#

i think i wasnt a big fan of hatchers presentation of it

#

hopefully I like dieck's presentation better catThink

thorn brook
#

yeah I'm really hyped for that part since it sounds fun but it also looks really hard lmao

blazing pawn
#

Its arguably a lot easier to digest than the pi_1 stuff

#

the only bad part is like

#

long combinatorial arguments

light needle
#

the simplicial = singular homo used like

#

euclidean geo

#

very thonkzoom

blazing pawn
#

Yea its not pleasant

wheat yacht
#

suggestions for websites for stoks bigginers?

leaden torrent
#

stocks or stokes?

sharp mulch
#

Lol

stone valve
#

stokie

narrow rock
#

stonks

hollow ginkgo
#

Ever just find something that ends up on Wikipedia?

https://en.m.wikipedia.org/wiki/4_21_polytope

In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure.Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 4-no...

narrow rock
#

Dischiliahectohexaconta-myriaheptachiliadiacosioctaconta-zetton

hollow ginkgo
#

‘Cause found the rectified version’s coordinates!

hollow ginkgo
#

Case in point: Triacontasnub triacontakismyriaheptachiliadiacosioctaconta-dischiliahectohexacontakisdiacositetraconta-zetton

whole copper
#

how prove there are no n-manifolds X such that X minus two points is (n-1)-simply connected?

#

is not true?

#

(why are there no spaces with -2 holes)

blazing pawn
#

huh

sharp mulch
vivid halo
#

I don't know what you mean by "-2 holes"

#

like an "n-hole" should be something that witnesses a nonzero n-th Betti number, all negative Betti numbers are zero since ordinary cohomology vanishes in negative degree

whole copper
#

I just meant formally what I asked, no n-manifolds X such that X minus two points is (n-1)-simply connected?

#

I can prove n = 2, and I think maybe n=3, but no idea about general

#

probably some long exact sequence somewhere...

vivid halo
#

yea my thought would be to use a long exact sequence in relative homology

whole copper
#

im being a bit of a doodoo-head by asking for (n-1)-simply connected, but the homology stuff doesn't necessarily prove triviality of the corresponding homotopy right? like by hurewicz or whatever u only get like "one of the homotopy groups", but not all of them?

modest rune
#

If you are simply connected then the first nonzero homology is the first nonzero homotopy

whole copper
#

wait yeah oops

#

I think somehow I tricked myself into thinking since its only the bottom one thats guarenteed to match, that it doesnt work.. or something

deep mango
#

i really like guillemin and pollack

#

it's a good book for your level

slim meadow
#

If you're interested in number theory, you could try reading Cox's primes of the form x² + ny²

sick burrow
#

What would you say is the result in math that's most poorly explained by popmath

#

That isn't the incompleteness theorem

rose dock
#

1 + 2 + 3 + ...

light needle
#

1+2+.. = -1/12

sick burrow
#

Oh right that

light needle
#

lol

sick burrow
#

Too obvious

#

Probably even beats incompleteness

#

Ok quotient that out too

rose dock
#

Remember that 1 - 1 + 1 - 1 + ... = 0.5 because that's the average

narrow rock
sick burrow
#

The rest of popmath is well explained?

#

I don't buy it

narrow rock
#

yes

#

vacuosly

sick burrow
#

ohh wait I think I know what it is

#

P vs NP

narrow rock
#

ah yes

#

no more encryption

sick burrow
#

I mean

#

Would a efficient polynomial time algorithm for factorization not break a lot of encryption

#

Like P probably doesn't equal NP

narrow rock
#

P = NP wouldnt necessarily help you find an explicit algorithm

sick burrow
#

And if it did the proof might not be constructive yeah

#

And if it was the coefficients might be massive

#

Or constant terms

#

Like I have a constant time algorithm to factor numbers

#

Find every prime smaller than Graham's number and check all their products

#

If one of them happens to be the number you're trying to factor, save that in memory but don't stop

#

It's constant time because the number of steps doesn't depend on the input and it'll factor any number humans will realistically ever deal with

#

There I cracked RSA now where's my commutative division rings medal

icy forge
cold needle
#

kicked keswel

#

lol

torn willow
#

Can you also purge that message

cold needle
#

sure

astral marsh
#

lol @blazing pawn

#

what is this ad

cold needle
#

are you gay???

pale orchid
#

smh those ads

#

the answer is clear from the vod roght below

#

(im joking)

limber perch
#

ruthless edd

scenic narwhal
#

vod roght below

pale orchid
#

yeah i dont use my phone much

#

always make lots of typos

timid spindle
#

pi hole + blockada + ad away + yt vanced + sponsorblock .

scenic narwhal
#

Isn't adaway enough

#

I just use that

odd narwhal
#

My girlfriend did not think the fundamental group of the circle is cool, should I break up?

pale orchid
#

i do agree you should break up, but separating from your left hand is difficult

odd narwhal
#

I'm right handed tyvm

#

Fr tho it's kind of a bummer when your partner doesn't find one of your.main passions exciting

pale orchid
#

on a more serious note, you don't have to share all interests or be the same person. as long as, within reason, they can respect and appreciate that you find it exciting. what you consider a deal-breaker is your own thing tho

odd narwhal
#

Obviously, but it's still a bit of a bummer

#

Def not a dealbreaker we've been together for almost 2 years

#

But part of being in a relationship is also sometimes listening to your partner ramble about their interests

#

Which tbf she does

#

Still would've been nice if she shared a bit of my excitement tho yaknow

pale orchid
#

that/if they cares at all about math, that's already a small percentage of people

#

arguably your odds are overall better if it's someone you meet in your own study program, but i don't think that's how it goes for many people

chilly smelt
#

Maybe you’re just a terrible communicator and can’t convey why it’s cool

elfin ridge
#

Tbh I invited my gf to this server just to look at me shitpost sometimes

pale orchid
#

but only sometimes

#

the rest of the time you're not posting

inner finch
#

lol

terse flax
#

snore

sick burrow
#

Just explain to her how all sets are uncountable

hollow ginkgo
#

What is the index of a sublattice?

#

I’m confused about this because if one lattice contains another, it should do so in infinitely many distinct ways.

obtuse fjord
#

Does anyone have experience interning while doing their PhD?

sharp mulch
#

Like

#

During the school year?

#

Or during the summers?

obtuse fjord
#

During the year

sharp mulch
#

You'll also be in the UK right

obtuse fjord
#

Yep

sharp mulch
#

@sleek wing is from the UK I think

sleek wing
#

good evening, I'm not doing a PhD atm so I can't help unfortunately

obtuse fjord
#

There's a few places in London looking for interns that are very close to my intended research area

neat lintel
#

Wait what happened to the shit about phd programs you were going through?

#

Like a school said they'd take back their PhD offer or something right?

obtuse fjord
#

I accepted the offer from Oxford and managed to get through the hoops needed

#

It was just that I had to ace all of my final semester courses and only learned that halfway through the semester, but I managed to come out on top

neat lintel
#

Ah, that is good to hear

sharp mulch
obtuse fjord
#

It made for a pretty insane finals week 😅

#

But anyway, there's some drug/cancer research institutes in London looking for people working in DL and I'd like to apply, but I'm afraid of waay overdoing it during my first year

sharp mulch
#

You don't want to wait a year?

obtuse fjord
#

That'd be ideal

#

But completely honest, I'm going to struggle to survive financially 😅

sharp mulch
#

Oh do they not give a good stipend

#

You could probably tutor and charge rich kids like 50 pounds/hour

obtuse fjord
#

They gave an alright one, but I couldn't afford the NHS payment up front and had to have part of my stipend expedited, which will make it tight

sharp mulch
#

Tutoring is also more flexible than an actual job right

obtuse fjord
#

You're probably right, although I'm not so sure what mechanism is best for that. Online the rates for tutoring are significantly cheaper than 50 pounds/hour

neat lintel
#

what is the best way to get started with tutoring?

sleek wing
#

holy shit I might start tutoring that's insane money

obtuse fjord
#

I think for that amount you really need an in with wealthy people

neat lintel
#

But Dr wew, are you an oxford student/oxford graduate?

#

i will quit tutoring eventually when i lose my interest in it

sleek wing
#

*fivtehy

deep mango
#

I could probably charge 80 buckaroonies here in the US of A.

#

As a PhD student.

#

People charge a lot more than that too

#

and get away with it

sleek wing
#

that's about 50 quid

neat lintel
#

,w buckaroonie

fathom swallowBOT
sleek wing
#

,w buckaroonie to quid exchange rate

fathom swallowBOT
deep mango
#

Yes. I am charging in units of cowboys.

#

That will be 3 cowboy harems please.

nimble shuttle
#

If ryc were a tutor he would secretly sabotage his student's understanding so he kept getting paid

limber perch
#

if ryc were a doctor he would…

neat lintel
#

if i was their student i'd rather get detention

#

What?? Ryc is truly an unethical monster??

sharp mulch
#

Wait doesn't oxford have lots of rich kids

sleek wing
#

yes

neat lintel
#

yes

deep mango
#

For the record RYC tutored someone to a 5 on ap physics sully

#

and charged like what

#

30 bucks an hour?

sharp mulch
#

At least in Berkeley

deep mango
#

and no, that is not an invitation for people to ask me for tutoring

sharp mulch
#

Grad students charge like

#

50-80 dollars/hour

#

80 USD = 50 GBP roughly

cold needle
#

can you tutor me in analysis ryc

deep mango
#

no

sharp mulch
#

And Berkeley isn't even that rich of a school

cold needle
#

worth a shot

deep mango
#

ange, it's a big school

#

the people who get tutoring are the rich kids

sharp mulch
#

It doesn't have a reputation for having rich kids

#

Like say, USC does

icy forge
#

80 USD/hr for tutoring
Education is for the rich, so join the rich and not eat the rich is the theme here?

deep mango
#

no

icy forge
#

What about teaching Timmy to teach me how to conduct insider trading and getting away with it

odd narwhal
#

What does a 5 mean

#

Ah

#

I'm considering offering tutoring for 1st years but it's a pretty competitive market

neat lintel
#

im going to tutor the 4th years here who dont know what a direct product is

sick burrow
#

4th year in highschool or college

neat lintel
#

latter

sick burrow
#

bruh

#

it's just a direct sum

neat lintel
#

this is obvious hyperbole

sick burrow
#

behaves differently for infinite products but we all know infinity doesn't exist

neat lintel
#

someone asked what the notation $\bZ^r$ meant once in algebra and i've twisted it to mean "what is a direct product"

sick burrow
#

or am I just pepega

fathom swallowBOT
#

TTerra

neat lintel
#

or direct sum

#

whatever

cold needle
#

Direct Operation.

neat lintel
#

direct sum is different for infinite products in that all but finitely many entries vanish

sick burrow
#

right

cold needle
#

direct quotient catThink

sick burrow
#

but there is no such thing as a "finite" set

cold needle
#

idk im bored

#

pain

#

sorry

sick burrow
#

actually wait finite sets not existing would mean the direct sum is just bad for infinite sums

neat lintel
last oxide
neat lintel
#

direct sums having this property ensures something like Hom(direct sum, B) = product Hom(summands, B)

#

i do not remember

#

(for abelian groups)

#

someone please correct me

deep mango
#

indirect product.

neat lintel
light needle
#

this is true in R-mod in general iirc

neat lintel
#

coproducts

bronze pelican
#

What is the group of automorphisms of a complete graph on n verticies?

#

Is it S_n?

#

I can have any permutation of the verticies, right?

#

Yes

light needle
#

automorphism of a graph with only simple eigenvalues is an abelian 2-group

last oxide
#

well
graphs model networks
netoworks model the real world
the real world is not simple - einstein or smth
therefore

bronze pelican
#

Aff(F)

#

Affine transformations of the field F

#

Let F be a finite field

#

In mathematics, the affine group or general affine group of any affine space over a field K is the group of all invertible affine transformations from the space into itself.
It is a Lie group if K is the real or complex field or quaternions.

#

Okay so start with a Riemann sphere P^1(C) and ask for a compact connected Riemann surface Y with a holomorphic map Y -> P^1(C) such that the automorphism group Aut(Y/P^1(C)) is Aff(F_p)

#

Can I construct Y so that it has p branch points, each lying over the same ramified point in P^1(C), and each of ramification index p-1?

#

Moreover, this this case, does there exists a complete graph on p verticies embedded in Y with the verticies being those p branch points?

limber perch
#

I’ve heard a lot of great things about it

toxic schooner
#

why did u sully this rice? hmmCat

odd narwhal
ancient flame
#

all abelians are groups

thorn brook
#

all are groups abelian

odd narwhal
#

all grapes are abelian

hollow ginkgo
#

And all polytopes are convex

thorn brook
#

Wait is that actually true or is there some counter example?

#

It feels true

#

Like generally

#

“All polytopes are convex”

icy forge
#

If you define your polytopes to be convex, sure

#

I'm pretty sure there is at least one book with that kind of definition

thorn brook
#

Oh yeah, they can be higher dimensional lmao

icy forge
#

It's not dimensionality that breaks convexity

thorn brook
#

Oh

icy forge
#

Which is still star-convex

#

But actually I never found anyone using star convexity to do anything useful sadcat

odd narwhal
#

honestly i'd be worried if toki didn't know what convexity was considering how far into hatcher they are

icy forge
#

It's the middle ground of this all the way to non-convexity

odd narwhal
#

I know

#

but you got to homology

thorn brook
#

I’m still at chapter 1 kekw

odd narwhal
#

so you should know what a convex set is

untold sapphire
#

star convexity is useful for establishing basic facts about singular homology

odd narwhal
#

doesn't hatcher start with simplical homology? so convexity is pretty important

thorn brook
#

No, Hatcher starts with like deformation retractions

odd narwhal
thorn brook
#

Oh I don’t know, might be true

#

Hatcher starts with the letters A, B, C kekw

hollow ginkgo
#

My nickname is another counterexample.

deep mango
terse flax
#

Bradhleigh (derogatory)

hollow ginkgo
#

In fact, polytopes don’t even have to have a well-defined interior or boundary.

deep mango
#

Is "polytope" just your word for "simplicial complex"

hollow ginkgo
#

No

#

A polytope is an abstract polytope or compound with vertex coordinates.

deep mango
#

A polytope is a polytope

hollow ginkgo
#

Yes

#

Not sure what that’s supposed to mean

somber kite
#

I’m curious. Does the name Embi mean anything to people in this server?

cold needle
#

oh no

somber kite
#

(If so, I’m sorry)

cold needle
#

lets not

somber kite
#

Ok

#

lol I figured I might get that

#

That’s all I need to hear lol

cold needle
#

sorry but now i have to keep an eye on you

#

ok looks like ur good

somber kite
#

:(

cold needle
#

nvm

#

sorry for the scare

#

im just

#

yeah

#

sorry

somber kite
#

Embi Alts are pretty easy to spot lol

cold needle
#

i was so scared they evolved

#

just now

#

but yeah

#

ur right

somber kite
#

No there’s no way. I don’t think he’ll ever change

narrow rock
#

whats embi

rose dock
#

Lmao

somber kite
#

Don’t worry about it :)

#

You’re better off not knowing

rose dock
#

My DNA ordinal is something something matrix thing fast growing sequence

somber kite
#

I have a copy of the book he was writing lol. He planned to sell that

rose dock
#

He has a book?

#

Or is writing a book?

somber kite
#

Yep. It’s a Google doc

#

I think it’s finished

#

Anyway, sorry for bringing up he-who-must-not-be-named :P turns out he’s more infamous than I thought

deep mango
#

Hey metal next time don't scare Embi off

#

Give us a few hours of entertainment

cold needle
#

lollll

somber kite
#

D:

somber kite
cold needle
#

cult

#

it must be some kind of crazy cult

#

scary

somber kite
#

Not really. I think everyone else in the server knows he’s insane

narrow rock
somber kite
#

They’re just there to laugh at him

narrow rock
#

O

#

rip

somber kite
#

Lemongrass Central

#

His main account got banned from discord, so he started using weird names

cold needle
#

yes

broken scaffold
#

should i google embi

sharp mulch
#

Emerging markets balanced index or something

broken scaffold
#

bond

sharp mulch
#

Ah bond index

#

Ok

#

I really should call Chase and set up a managed investment account

#

Sigh

deep mango
#

Wow. How do I have one of those before you.

#

oh right my grandparents passed away

#

I really need to figure out how all of that works and make sure things are set right

sharp mulch
#

I mean

#

I have a Fidelity professional managed account

#

But you don't want to put all your eggs into one basket right

deep mango
#

Yes, that is what I have

#

I was going to put all my eggs in that basket

broken scaffold
#

So is THIS THE BRAGGING SERVER, I JUST JOIN AND ASK A QUESTION AND NOT A SINGLE COMMENT?

sick burrow
sharp mulch
#

Yes

#

I've had the Fidelity account for a while

#

But they don't do good credit cards

#

Whereas Chase does

#

So I want rewards

whole copper
#

credit card bad

sharp mulch
#

Do you use a debit card for everything

devout nacelle
#

Do you not stare

sharp mulch
#

I use a credit card for everything

#

So I get rewards

#

Yes lol

#

Get reimbursed for hotel + food + flights

#

Have a credit card that gives extra rewards for travel and dining

#

Lots of points

#

Double up on points earning with loyalty programs

toxic schooner
#

the book seemed fine to me tho (even tho i havent completely read it ofc)

#

oh there was a discussion sometime ago about this, wasnt there?

limber perch
#

yea the book seemed fine to me too

#

ryc just spreading lies as usual

toxic schooner
timid spindle
#

is proof by statistics a valid proof?

#

are there proofing tactics that involve statistics?

scenic narwhal
#

Depends on what you're trying to prove

#

If you are proving that there are 2 people in my bedroom rn then yeah that's a statistic I suppose

#

😌

timid spindle
scenic narwhal
#

But if you are proving that all numbers have some property then no

timid spindle
#

So solving questions and stuff is basically statistical proofs?

scenic narwhal
#

Wtf you doing in my bedroom Mirza wtf

inner finch
neat lintel
#

I think that’s only statistical by a technicality

scenic narwhal
#

How about "average height of a human is more than 4 feet"

neat lintel
#

I guess statistical proofs would be used for questions of a statistical nature

timid spindle
inner finch
#

breaking news: you have to do statistics to answer questions about statistics

neat lintel
#

But even then that’s almost impossible to prove unless you go out and measure enoughh people

scenic narwhal
#

There are probabilistic proofs of existence of certain structures though

timid spindle
inner finch
#

yeah but those say things about probabilities hmmCat

scenic narwhal
neat lintel
#

I dont see em

scenic narwhal
#

Why do I care about other rooms catThink

inner finch
#

i might be in them flonshed

neat lintel
#

My dick is 9 feet. Proof: trust me bro

timid spindle
scenic narwhal
timid spindle
neat lintel
#

What can I say

#

I exceed expectations

inner finch
#

pretty sus i might say

timid spindle
scenic narwhal
#

Ye this is one of the few cool things I remember from my probability course catThink

#

Though I don't remember what P and Q were in that case

scenic narwhal
#

Didn't know urban planning was based

inner finch
#

P = is there a person, Q = is named mirza

timid spindle
#

not exactly a proofing technique but yeah

timid spindle
scenic narwhal
#

rip

summer nest
#

Wait did I explain that right?

vivid halo
#

Well any set of rational numbers is going to have measure 0 in the reals; among the naturals, perfect squares appear with probability 0 asymptotically

distant vortex
velvet dagger
#

ackchyually nG if I take a measure supported on the perfect squares...

scenic narwhal
#

why is it shameless to share bedroom with my brother stare

distant vortex
#

I SEE

#

Context was needed

vast surge
olive karma
scenic narwhal
#

I have many problems, that is not one of them

serene tangle
neat lintel
#

I just looked at the 3x+1 problem and saw that there are semiloops that leads to a closed loop. There are certain numbers that have a straight path to the 4,2,1 loop.

neat lintel
#

1,5,7,341,1349

#

Those are what I found

atomic cypress
#

Is the 3x + 1 problem the one where you try to compute 3x + 1 for various values of x

neat lintel
#

Yesss

#

Or you start with a number, if it's odd you multiply by three and add one. If its even you divide it

#

And if you continue you will end up in a loop

#

4,2,1

leaden torrent
#

you missed the joke bud

#

anyway, this is... incredibly well-known

#

like its the first thing you notice when you plug in numbers

timid spindle
leaden torrent
#

the second thing you notice is that powers of 2 trivially collapse to 1

timid spindle
#

Thank you ❤️ I've started bits of it

vast surge
#

Anyway @neat lintel a basic problem relating to the 3x+1 is to prove that all positive numbers end up in the 4,2,1 loop. So try working on that for a bit.

atomic cypress
#

Hard problem, I'll have to learn multiplication first.

neat lintel
forest jackal
vast surge
leaden torrent
#

yeah keep us posted with every number you plug in

#

really curious what happens to 314988813240956423

atomic cypress
#

wow, that is cool. you should talk with @velvet dagger about this, he is an expert in this problem.

I heard @velvet dagger is an expert in arithmetic, can anyone else confirm?

leaden torrent
#

no, shockingly that sequence diverges.

#

in fact, 2 and 4 arent even in it

olive karma
#

no 2 and 4 are odd

#

duh

supple merlin
#

still here just learning set and group theory

analog salmon
#

someone finally answered my question on math stackexchange after I asked it on July 21st

#

god bless

odd narwhal
#

Damn

#

I find I either get answers in 10 mins or not at all

analog salmon
#

it had 6 upvotes but no comments or answers until today

#

and 100+ views

latent forge
#

post question

analog salmon
odd narwhal
#

Damn that's a detailed respobse

crystal stream
#

i'm more curious if one can generalize 3x + 1

#

like idunno

#

in finite fields or something

odd narwhal
#

What's with all the collatz talk recently

#

Is it cuz of the veritasium vid?

neat lintel
#

There have been a few people coming in and talking about it

analog salmon
crystal stream
#

i mentioned it because someone did just a few minutes ago

#

so it's kinda of like a domino effect

blazing pawn
#

Why is everyone a computational algebraic geometer now

analog salmon
odd narwhal
#

Is resident collatz crank #562 still here?

blazing pawn
#

someone should stage an intervention to get these ppl the help that they clearly need

crystal stream
odd narwhal
#

Imagine being computational anything

crystal stream
analog salmon
#

I spent weeks coding up this nice algorithm to compute an invariant for 2-knots in 4-space, but I can't easily compare them without making a groebner basis

sharp mulch
#

Nonlinear algebra is very important

#

If only it were better though

thorn brook
#

Hmm when does a space $X$ have a simply connected covering? I've heard that the space must be path connected, locally path connected and semilocally path connected, but isn't semilocally path connected enough? Like if you have a covering $p: \tilde{X} \to X$ then every $x \in X$ has a nbh $U$ that is evenly covered by $p$. Each loop in $U$ lifts to a loop in $\tilde{U}$. Now if $pi_1(\tilde{X}) = 0$, then this lifted loop is nullhomotopic in $\tilde{X}$. So now just "project" this loop down to $U$ and this loop is now nullhomotpic in $X$. So if we want that $pi_1(\tilde{X}) = 0$, then the semilocally path connected criterion is only needed, right?

fathom swallowBOT
#

Tokidoki ✓

whole copper
crystal stream
#

after studying topology for 2 weeks I can almost understand this

thorn brook
#

sorry, let me ask this in the appropriate channel lmao

analog salmon
#

I die a little inside every time I read "path connected, locally path connected, and semilocally path connected"

whole copper
#

yeah cant we all just say "nice enough spaces have universal covers" 😢

analog salmon
#

thats the one unfortunate thing about math, the nicer something is to work with, the worse its name is

odd narwhal
#

the awful thing is that none of these properties imply each other

odd narwhal
#

who's the first person that calculated pi_1(S^1)?

thorn brook
#

me 😎

odd narwhal
#

@thorn brook how does hatcher prove it

thorn brook
#

yeah he does

odd narwhal
#

how

#

like what method

thorn brook
#

I mean that he proves that pi_1(S¹) = Z

odd narwhal
#

does he do the winding number and lifting shit?

thorn brook
#

He uses covers I believe

odd narwhal
#

ah

vivid halo
#

wait sorry

odd narwhal
#

Rotman proves the fundmental theorem of algebra from pi_1(S^1)=Z

thorn brook
vivid halo
#

the computation is just an explicit computation with covers and winding number

odd narwhal
#

maybe if I had learned about covers it would've been a bit simpler

narrow rock
#

hurewicz sunglasses

odd narwhal
#

like this just looks so convoluted without that notion

vivid halo
#

yea lol

#

you need to know what covers are to make sense of the proof

odd narwhal
#

I understood the proof completely but I could not replicate it for the life of me

#

also the notion of liftings kinda came out of nowhere

#

but uh, I guess that's done with

#

I think he talks about covers in the future

#

so it'll probably make more sense then

vivid halo
#

May's Concise has a nicer proof

#

it's still effectively the same proof, with covers

thorn brook
#

You can also prove this with deck transformations I think, but it's essentially the same idea with covers I think

vivid halo
#

yea same proof

odd narwhal
#

I haven't done complex anal yet so the winding number analogy went completely over my head

vivid halo
#

there's a more elegant proof that uses more category theory but

odd narwhal
#

but it wasn't really needed for the proof

vivid halo
#

that's silly

odd narwhal
#

lmao

narrow rock
#

hurewicz is the best proof

vivid halo
#

lol

ancient flame
#

complex anal

#

;)

thorn brook
#

using like the van Kampen thing for fundamental groupoids?

vivid halo
#

yea

#

if you know how to compute pushouts of groupoids it's immediate lol

#
  • prove Van Kampen
thorn brook
#

yeah that's completely over my head lmao, i'm not that cat brained yet

odd narwhal
#

well that's done with, onto homology!

vivid halo
#

lol

narrow rock
odd narwhal
#

ye he does the fundamental group and then jumps to homology for the next chapter

vivid halo
#

compute π_1 of a genus g surface with n punctures

odd narwhal
#

I'd rather not tyvm

vivid halo
#

you should probably do this before moving onto homology

ancient flame
#

railed

odd narwhal
#

I'll do the exercises that rotman tells me

#

He hasn't even defined genus yet

vivid halo
#

number of donut holes

thorn brook
#

Hatcher doesn't define that either lmao

vivid halo
#

I guess once you get to Van Kampen it's a good example to do

odd narwhal
#

dw he has a lot of exercises i'm sure he's building up to that kind of stuff

#

like his exercises are usually very constructive in how they lead you to discover the smaller results for yourself

odd narwhal
#

I tried munkres AT but it was just sooo dry

thorn brook
#

oh yeah lmao, I completely forgot about Munkres

analog salmon
#

munkres topology does the fundamental theorem of algebra

#

oh wait

odd narwhal
#

ah it does?

analog salmon
#

sorry, he uses it to prove that every polynomial equation has at least one root

thorn brook
#

Munkres has so many nice figures tho

analog salmon
#

I love flipping through random books and looking at diagrams without any context

#

I can't even remember what book this was from

odd narwhal
#

lmao

#

yea ok rotman teases that we're gonna see coverings and generalise the computations of the fund. group

analog salmon
#

knot diagrams can get absurdly cluttered sometimes

thorn brook
#

wait so that is some knot theory diagram thing?

#

or am I misinterpreting?

ancient flame
#

I just started learning knot theory!

#

yay

analog salmon
#

knot theory gang

ancient flame
#

pog

thorn brook
#

how is knot theory? Is it interesting and fun or is AT "better"?

ancient flame
#

idk about AT but so far knot theory seems interesting

#

I can share the playlist I've been watching

thorn brook
#

oh yeah sure

analog salmon
#

knot theory uses a lot of algebraic topology

analog salmon
#

like the fundamental group of the knot compliment as an invariant

ancient flame
#

I don't expect to understand everything but at least it may give me a basic introduction to topology

analog salmon
#

the alexander polynomial is super cool because it's secretly the first homology group of the infinite cyclic cover of the knot compliment

odd narwhal
#

yea isn't knot theory just like a special case of AT

#

or am I simplifying here

ancient flame
#

idk

analog salmon
#

it is, yeah

ancient flame
#

oh

thorn brook
#

knot theory sounds super cool tbh

ancient flame
#

I understood the first of 11 lectures so I guess we'll see how far I get before being like "yeah idk what this means" lmao

odd narwhal
#

what's your background gmod

analog salmon
#

the knot theory book by lickorish heavily leans on AT

odd narwhal
#

is that a real last name

ancient flame
#

I know calculus, some linear algebra, discrete math, set theory, real analysis

odd narwhal
#

it sounds like a stripper name

ancient flame
#

lickorish

analog salmon
#

yes lol

#

the lickorish book dedicates an entire chapter to covering spaces

#

and that chapter is from a general topological perspective, not specific to knots

ancient flame
#

gibberish

#

lmao

#

I think I'll go into topology next

analog salmon
#

this is the "full" way to define the alexander polynomial

#

even though it's equivalent to what (I'm assuming) the video covers

ancient flame
#

btw does anyone have a good number theory playlist? I've done an intro to it but at a basic level

thorn brook
#

what is an oriented link lmao?

#

or is that too hard to explain to a noob?

analog salmon
#

a link is just a bunch of disjoint knots

#

so like this is a link with two components

ancient flame
#

my brain when I wake up

thorn brook
#

oh okay I see

analog salmon
#

I hate having to make knot diagrams in tikz

#

catch me never doing this again

ancient flame
#

ewwww

#

just use ms paint

thorn brook
#

what a cute arrow in the middle

ancient flame
#

baby arrow

#

analog salmon
#

I made that two years ago and i'm not gonna change it lol

ancient flame
#

ezpz

neat lintel
#

You absolute amateur

ancient flame
#

LOL

neat lintel
#

The lines are meant to be fixed width

ancient flame
#

hush

odd narwhal
analog salmon
#

what's worse is this, because at least there's a tikz package for making knots

#

but idk how to make this other than stealing the diagram from a paper

sharp mulch
#

Just make this in illustrator

neat lintel
#

Just grab some rope and get to work

sharp mulch
#

Or get a drawing tablet

vagrant kestrel
#

are tablet drawings allowed in math papers

ancient flame
#

idk consult the international organization on mathematical papers

analog salmon
#

I can buy a drawing tablet, but I can't buy drawing skills lmao

ancient flame
#

you can buy a person with drawing skills

sharp mulch
#

Why not?

#

Does the source of a drawing matter

uneven field
vagrant kestrel
#

commission a knot diagram catThink

uneven field
#

Because at first glance I don't see why it would be

#

because of stuff like this

#

oh wait that's aribtrary

analog salmon
#

yeah you can get different knots when you take different different splices

#

but if both knots are oriented, then iirc, the connected sum with a consistent orientation is unique

uneven field
#

Ah ok with orientation

#

Makes sense

latent forge
#

why care about knots tho

#

there has to be more to knot theory than distinguishing knots

slim meadow
#

Iirc the study of knots is really related to the study of 3 manifolds

analog salmon
#

yeah

latent forge
#

how?

#

besides them being embeddings of circles in r3

analog salmon
#

my summer undergrad research, for example, involves taking the idea of heegaard splittings, which is a way of decomposing 3-manifolds, into a way of decomposing 2-knots in 4-space

slim meadow
#

I think the biggest question in knot theory is distinguishing knots though

latent forge
#

decomposing 3 manifolds?

slim meadow
#

Cause I mean, classifying things is a big part of math

latent forge
#

decompose how

latent forge
analog salmon
latent forge
#

but it often makes me think about its uses

analog salmon
#

I'm not too familiar with the manifold side of these splittings

#

the idea is that if we can use these general topological techniques to study knots, maybe we can use some techniques used to study knots on more general manifolds

#

my work in particular is trying to apply these techniques one dimension higher

latent forge
#

are there generalizations of knots?

vivid halo
#

Yes

latent forge
#

i wouldnt be able to visualize

analog salmon
#

instead of an embedding $S^1\to S^3$, you can embed $S^2\to S^4$, or generally $S^n\to S^{n+2}$

fathom swallowBOT
#

cgodfrey

latent forge
#

holy mackarel

vivid halo
#

Also nice I don’t know of too many people working on higher knot theory

analog salmon
#

the trouble is we only know how to properly analyze and work with tiny subsets of these higher knots

latent forge
#

whats wrong with people

#

jesus

analog salmon
#

there's spun knots, where you take a one-dimensional knot and 'spin' it into the fourth dimension

#

but they aren't particularly interesting since their fundamental group is isomorphic to the fundamental group of the original knot

latent forge
#

how unabashwd do you need to be to study that

vivid halo
#

Idk this is pretty natural to study

latent forge
#

its like your admitting to being better at visualizing than anyone else

vivid halo
#

Any favorite results?

analog salmon
#

I think the work my group did is really exciting because it allows us to represent 2-knots as a triplet of three braid words, and we can calculate the alexander ideal for these knots

#

and we can generate arbitrary new knots by generating new triplets of braid words

vivid halo
#

Oh nice

analog salmon
#

the idea is sort of like this, you take these three slices of the knot to get three diagrams

vivid halo
#

Trisections?

analog salmon
#

and those three diagrams contain enough crossing data to recover the original knot

#

and you can make a bijection between a given diagram and a braid word

latent forge
#

idk what a braid word is

vivid halo
#

Ah fun

latent forge
#

oh wait

vivid halo
#

I’ve heard a lot about trisections since I’m in the department where they were founded lol

latent forge
#

i remember looking up braided something on wikipedia

vivid halo
#

So I get to hear about these all the time from the topology students

latent forge
#

braid groups

analog salmon
#

a braid is a sort of generalization of a knot

#

braid word is a way to encode the crossings in the braid

#

this 3 list of numbers encodes the 2-knot equivalent of the trefoil knot

latent forge
#

I was trying to understand those list of numbers but honestly i dont know how

analog salmon
#

so '4', for example, means that strand 4 crosses over strand 5

analog salmon
#

would be [2, 3, 4, 5, 6, 7, 4, 5, 6, 7]

#

reading top-to-bottom

#

and catagorize 2-knots

somber kite
#

Does this question actually make sense? Or is it gibberish

latent forge
#

yes

somber kite
#

Cause I saw a similar one recently, and someone here was complaining about how it was nonsense

leaden torrent
#

its incorrectly stated

#

theres a typo in the universal coefficient theorem

#

and its a somewhat... unusual question

#

like this is a very contrived scenario that woudlnt emerge naturally even if you fix the typos

leaden torrent
#

but its valid enough if you fix the small errors

#

or make good-faith interpretations

#

just gives the vibe of being kinda copy-pasted from wikipedia rather than an actual problem

somber kite
#

I see

latent forge
#

is natural ring extension same as endomorphism thingy

#

where you take multiplication to be the composition of endomorphisms?

whole copper
#

i find it kinda funny that theres so much hype about 1-knots, but (to the outside), not as much hype about 2-knots
like, I every now and then try and find a table of just... drawings of 2-knots, but I'm never able to (you can still draw them in 3space, just with some intersections like other surfaces only embeddable in R^4 like klein bottle) just a random thought when looking at the discussion way above about something something knots

leaden torrent
#

i think the diophantine equation ones are the only ones in the spirit of facebook problems

#

since they actually look approachable

somber kite
#

Oh is that the Riemann hypothesis?

leaden torrent
#

yes

somber kite
#

Lmao

sleek wing
#

lemme get the diophantine/elliptic curve one

sharp mulch
#

Oh my

brave hollow
#

where's my fields medal

sleek wing
#

tbh just
🍌 🍌🍌 +🍇🍇🍇 = 🍎🍎🍎
would do

analog salmon
#

@whole copper this is one way to 'see' a 2-knot by looking at cross sections of it

whole copper
#

yeah, so Ive seen the 'fox diagram' representations

whole copper
#

where you do a morse thoeretic kind of drawing and take a middle slice, where all the hyperbolic points are

leaden torrent
#

also that one is known to be unsolvable in general

#

the above diophantine equation does not have a known solution but is almost certainly solvable

whole copper
#

but still.. I wonder why theres no "actual drawings" out there, given that 1) its possible 2) itd be kinda interesting

sleek wing
whole copper
#

(e.g., https://core.ac.uk/download/pdf/35271885.pdf)
The problem I have with these slice drawings is that you can usually just never tell what the surface even is... like in table 1, if you look at the simple examples,... idk if my geometric imagination is really bad or something, but I have a hard time even figuring out what they are supposed to be lol

#

the other thing is; I almost have a memory of seeiing such drawings of 2-knots before, I just cant remember from where. Like drawings in 3-space with intersections, the intersections look like circles, and you have to specify additional data about "which way in the 4-th dimension" each of the surfaces that intersect go

forest jackal
sleek wing
#

It’s standard notation 🙄🙄🙄

#

Also it does, pineapple is that integral

forest jackal
#

pineapple is the integral, for real part > 1, the reflection formula below defines it for real part < 0

#

the question is about what happens when real part is in (0,1).

sleek wing
#

Something something Analytic continuation

forest jackal
#

yes I know, my point was just that meme as written doesn't make sense lol.

forest jackal
sleek wing
#

Gonna have to go with moldi on this one

mild nebula
#

I agree with Moldi here.

scenic narwhal
cold needle
#

mizzy

inner finch
#

mizz

cold needle
#

MizzyNinja27

neat lintel
mild nebula
#

Can ya not?

bronze pelican
neat lintel
#

<@&268886789983436800>

sleek wing
#

Lmfao

tall badge
#

ty

mild nebula
#

Neat

bronze pelican
mild nebula
#

Wants to sell you some food

cold needle
#

u gonna pay for the charity

#

or no

#

ronald mcdonald house getting aggressive now

bronze pelican
#

I love how I posted 1 emoji and he straight up calls me

mild nebula
#

Probably thinks you banned him

#

Or - no he wasn't banned yet

torn willow
#

The Ronald doesn't hire light mode users

neat lintel
#

show him the burgir you bought from bk

cold needle
#

burgir

woeful locust
#

birgur

astral marsh
#

tf

bronze pelican
#

Bro everything I think of in math research has already been done :(

broken scaffold
#

think more

latent forge
bronze pelican
bronze pelican
#

Ladies and gentlemen, I present to you the monodigon^

#

And the dimonogon

ancient flame
#

whats the purpose of this

inner finch
#

this is some modern art type shit or sth

bronze pelican
inner finch
#

aliens

ancient flame
#

balloon

bronze pelican
#

Monodigon and dimonogon

#

They are dual maps on the sphere

terse flax
#

I present u the 3-hosohedron.

vast surge
vivid halo
vast surge
#

I haven't had much luck doing that, but maybe there's some really weird transformation that I just haven't thought of yet.

#

The issue wasn't that I couldn't get an elliptic curve out of it, that was easy; it's that once I got rational solutions to this equation I couldn't find an easy way to turn them into integral solutions.

#

(Set 🍎=5 and we get a nice elliptic curve of rank 1)

vivid halo
#

Ah nice.

vast surge
#

If we take 🍉 as a constant we can get some quadratic forms, but it's been long enough since I've read Topology of Numbers that I've forgotten lots of the useful theory there.

vivid halo
#

Yea I just can’t see how to reduce this to anything other than finding rational points on infinitely many a priori different curves

#

Rational points on surfaces is kind of a mess

vast surge
#

So I've heard.

vivid halo
#

Wonder what the Brauer Manin obstruction to this surface is

bronze pelican
sharp mulch
#

@deep mango what do you think about doing a small loop trick for the input channels

odd narwhal
#

why is the first iso thm sticker called discussions greatest moment

sharp mulch
#

Also ryc should the lower bounds begin when abs(I+F+O)>pm as well

deep mango
#

Well

#

Ok

#

I kind of do

#

Does that help at all

sharp mulch
#

I can do some tests

#

But the idea behind doing the small loop trick was because

deep mango
#

The reason the small filter thing works is because the accesses to the filter are coupled between two loop indices

sharp mulch
#

Filter small => loop bounds small => LP can't obtain best blocking

#

Is it

deep mango
#

So when you divide, you undo the coupling

sharp mulch
#

Hmmmm

deep mango
sharp mulch
#

Ok maybe not then

deep mango
#

I'm not sure

sharp mulch
#

Ok

#

Wait we can't just write i2=i2'+param*i2''

deep mango
#

What is the benefit of doing this

#

It doesnt change the array access pattern

#

Does it

#

Isnt i2 already only appearing as i2 in the loops, not scaled or added or anything else or anything

sharp mulch
#

This is true

deep mango
#

And I thought the point of blocking is to block it just like that

sharp mulch
#

Ok it's useless then

deep mango
#

Where we optimize over param

#

Well

#

It won't change the lower bounds is all I'm saying

sharp mulch
#

Sure

deep mango
#

All it does is add another s_I + s_F ≥ 1 or something

sharp mulch
#

Yeah

#

Ok

#

It doesn't matter then

#

I'll just update the plots

deep mango
#

Today I learned how Schwartz Christoffel transformations work

#

Not actually but

sharp mulch
#

Oh

#

Polygons

deep mango
#

I could write one down if absolutely needed

#

And I know how to read it

sharp mulch
#

From Gamelin?

deep mango
#

Just

#

Poorly

#

From stein and shakarchi

#

Well

sharp mulch
#

Oh ok

deep mango
#

From what I can see on my prelims they stop asking anything schwartz christoffelly after 2010

sharp mulch
#

I need to review conformal mappings

deep mango
#

And then they're all like

sharp mulch
#

I still can't integrate branch cuts

deep mango
#

Weirdly placed half strips and stuff

sharp mulch
#

Yes

#

Weirdly placed half strips is a good description of all of conformal maps

brazen patrol
#

Hey. 🙂

#

@sharp mulch I like conformal mappings! 😄

sharp mulch
#

I don't, all they do is make me suffer

deep mango
#

The main ones I don't know how to do are these:
$\int_0^1 \frac{dx}{\sqrt{x(1-x)}}$

sharp mulch
#

Lol

fathom swallowBOT
#

ryc #MiuArmy

brazen patrol
#

Dat jacobi elliptic function though.

sharp mulch
#

Don't you do a contour that loops around [0,1]?

narrow rock
#

conformal mappings are fun, as long as you dont need to write one down petTheCat

deep mango
#

Something something dumbell contour, something residue at infinity

sharp mulch
#

You have residues at 0 and 1

deep mango
#

I don't know how to do that

sharp mulch
#

And a branch cut between them

deep mango
#

No

#

Bad

sharp mulch
#

Where is the residue at infinity?

deep mango
#

This is how gamelin said to do it

brazen patrol
#

Mobius transformations are conformal and they're super easy to write! 😄

sharp mulch
#

I see

deep mango
#

Loop around it, send the loop to width 0

sharp mulch
#

Mobius transformations are fine

#

Just like

#

Pick 3 points

#

And then solve for the coefficients

#

Everything else though

deep mango
#

I dont see how you can do residues at 0 and 1

#

They arent poles

sharp mulch
#

They aren't?

deep mango
#

They're at branches

brazen patrol
#

Someone should help me in questions 3. I'm a dummy. 😦

sharp mulch
#

How miserable

quasi jettyBOT
#
Rule 3

Stick to one channel and don't post the same question in multiple channels. Please don't ask for help in other channels if no one is responding in the one you have posted your question in.

sharp mulch
#

Branch cuts bad

#

Branch cuts are bad because they're algebraic geometry

deep mango
#

I have precious limited time with service

brazen patrol
#

Fair.

sharp mulch
#

Are you traveling

deep mango
#

Branch cuts and WKB theory stare

sharp mulch
#

Are you already in Barcelona?

deep mango
#

No

#

I am in upstate new york

sharp mulch
#

Oh

#

Lol

deep mango
#

I will be in Barcelona on Friday

sharp mulch
#

Sure

deep mango
#

Assuming no disasters

#

Which is a terrible assumption at this point

#

Seems like covid is quite bad there right now

#

So I will be very careful

sharp mulch
#

Oh my

deep mango
#

There is a curfew

#

But

#

It's only from like 1am to 6am

#

Fortunately I am not a party animal

sharp mulch
#

That's quite a weak curfew

deep mango
#

Yeah

sharp mulch
#

I guess Barcelona is a night city

deep mango
#

It's a bit of both

sharp mulch
#

Do you want me to include you in the convo with Grace on attainability?

#

Or

#

Not attainability

#

Experiments

deep mango
#

I don't know what that means

#

What convo

sharp mulch
#

I will message with Grace on slack about how we're going to run experiments to measure comm vol

deep mango
#

Oh, either way. I won't have any useful input on something like that.

sharp mulch
#

Didn't you take 61C

#

Can you write assembly

deep mango
#

Absolutely not uhhhh

sharp mulch
neat lintel
#

iam new here i donot know how to start >>can anyone send me a plan for beginers who want to start in olympiad math>>iam high school student

narrow rock
#

there's an olympiad math server

worldly roost
#

help me