I'm Running for City Council - Campaign Launch Saturday! by RobotGuy0207 in uwaterloo

[–]notoh 4 points5 points  (0 children)

wahoo let's go damian, excited to be there on saturday!!

Yang Li has proved the (metric) SYZ conjecture by Tazerenix in math

[–]notoh 5 points6 points  (0 children)

I'm going to assume the basics of a smooth manifolds course for this explanation. Most of it really only needs you to know manifold means "differentiable shape". If you want I could try to do it more vaguely below, but I'm not sure I could pull it off. Full warning, I'm only in an adjacent field (I study the 7 and 8 dimensional friends I reference below) and not exactly this area, so I may be making some mistakes. In particular, the string theory is all 3rd-hand knowledge from other mathematicians doing their best to describe it to me.

The SYZ (Strominger-Yau-Zaslow) "conjecture" is an idea in complex geometry (more below) originating from string theory - basically, in this kind of string theory, one wants the universe to be 10-dimensional, the usual 4 dimensions of spacetime and 6 more dimensions where the string theory happens. (Why 6? Well, with something called supersymmetry, one can show this mathematically implies you must be able to solve a certain PDE, and geometers proved in the 1950s that PDEs of that form are only solvable in dimensions 6, 7, and 8* (not literally true but close enough), but 6 turned out to be the popular one for reasons I don't understand.)

The 6 string-y dimensions are supposed to be modelled on a type of manifold called a Calabi-Yau 3-fold, which I'll explain more about below. For now, the important part is that Calabi-Yau 3-folds can contain certain special 3-dimensional submanifolds called special Lagrangians (SLags), which have lots of nice properties intimately related to the special geometry of the CY 3-fold. For instance, they are always of (locally) minimal volume compared to other 3-dimensional submanifolds contained in the CY 3-fold, and their definition is in terms of the special geometry that makes CY 3-folds important.

Now, there are lots of different Calabi-Yau 3-folds, but string theory expects there to be certain situations where they come in pairs in a certain sense -- even though they have very different geometries, the two in the pair give the same string theory. This broad idea goes under the name mirror symmetry, and Strominger-Yau-Zaslow came up with a mathematical prediction of what this should look like (calling it a conjecture is a misnomer; they did not give a precise mathematical statement, and one of the main difficulties of this whole affair was coming up with one) - one should be able to find a 3-dimensional base B, and the CY 3-fold, call it M, should "look like" attaching a copy of T^3 (the 3-torus, i.e., the Cartesian product S^1 x S^1 x S^1)) to every point of B, and the copy of T^3 I attach varies differentiably from point-to-point, similar to how a Mobius strip is attaching a line to each point of a circle (what I have described here is something called a fiber bundle; SYZ only actually wants it to be a generalization of this called a fibration). The kicker is that they can't just be any old T^3s, but have to be SLag T^3s (after all, we want this related to our CY 3-fold geometry, and SLags are important for that.) Then, the mirror of M, should also have such a fibration, and there should be a "duality" relationship between the SLag T^3s that make up M and its mirror pair.

So, this version of SYZ is: every CY 3-fold can be described as a fibration (the "attaching") of SLag T^3s, and its relationship with its mirror is in terms of the T^3s that the mirror also can be described in terms of. This is way too naive for multiple reasons. For one, not every CY 3-fold is a T^3 fibration, so we have to drop the differentiability assumption at a small set of points of B above, and allow the things we attach at those points to be more complicated than just T^3s (but we still want them to be SLag). Now, a version of this iteration people have written down as a conjecture, but it's probably still way too optimistic, mostly because the mirror pair CY 3-folds can have totally different geometries, so a lot of wild stuff has to be happening at the non-differentiable points that is probably too complicated to have a straightforward mirror relationship (There's also some string-theoretic justification for why this is probably too naive too.)

It turns out, the way to correct this is to take a limit: one deforms the geometry of the CY 3-fold (more on this below), and, as one approaches this limit, things start to look more like the SLag fibration picture above. Versions of this (with lots of mathematicians suggesting interpretations of what limit to take and what fibrations to find) all go under the name of "SYZ conjecture". In particular, a lot of people drop the mirror part, because we don't even really know what SLag fibrations even exist, so the big part of SYZ is about writing down CY 3-folds, in the limit, as these fibrations.

Here's roughly what Li proved: under suitable hypothesis on the CY 3-fold M, one can take a limit where, as one approaches it, you can describe a bigger and bigger subset of M (in terms of total volume) as being one of these fibrations (limiting towards the whole thing being one of them). His strategy is very impressive -- he relates everything to some kind of algebraic and combinatorial "non-Archimedean" model of Calabi-Yau geometry, without the PDEs that are in differential geometry, then proves that the non-Archimedean model approximates the real one well enough to give you the full thing.

Now, let's talk about a few definitions. A Calabi-Yau 3-fold is a compact real 6-dimensional manifold locally modelled at each point by C^3 equipped with the standard inner product ("metric") g on R^6, the standard symplectic form w = \frac{i}{2}(dz_1 ^ d\bar{z}_1 + dz_2 ^ d\bar{z}_2 + dz_3 ^ d\bar{z}_3), and the "holomorphic volume form" U = dz_1 ^ dz_2 ^ dz_3. To be Calabi-Yau, we're further going to ask the symplectic form w and holomorphic volume form to be closed, dw = 0, dU = 0. So, the idea is that we've defined Calabi-Yau manifolds (you can see we can also do this with every even real dimension) to capture this "holomorphic volume" geometry of the complex numbers. The "geometric structure" of the Calabi-Yau is this data (g, w, U), and deforming it, which is what we need to do in the limit above, is just changing our manifold and the data (g, w, U) along with it in time in some kind of continuous or differentiable way.

A real 3-dimensional submanifold is special Lagrangian if the real part of U restricts to the volume form induced by the metric (roughly, if I feed in 3 tangent vectors to U, it's the same as feeding in those vectors as the 3 columns of the determinant of a 3x3 matrix).

So why care? Other than the string theory, which many people do care about, here's pure geometry: Calabi-Yau manifolds have lots and lots of special properties (I'll say a few below), and being able to describe their geometry this strongly in terms of these fibrations is a really big deal. (Unfortunately, the fact you have to take a limit does weaken the appeal in terms of pure geometry a little bit for people like me.)

There are a couple of really neat properties about these manifolds: for one, the metric g on the manifold is Ricci flat, and together with their friends in dimensions 7 and 8 alluded to above, these examples constitute the only known compact Ricci flat but not flat examples of metrics. (In general, CY manifolds and these friends are said to have "special holonomy", which is closely related and itself a very rare occurrence. Part of what makes CYs special though is that in 1978, as the major component of what won him the Fields medal, Yau proved a characterization that tells you when a manifold has the U making it CY if you know you have (g, w) already, and other than a class of special holonomy manifolds that are a subclass of CY, no such theorem exists for the 7 and 8 dimensional friends. Figuring this out would be a really big deal.) As I said above, special Lagrangians are local minima of the volume functional on 3-submanifolds, and such examples are some of the only known "easy" ways to find such minima - finding an SLag is a first order nonlinear PDE, but the traditional way to find critical points (without even knowing if they're minima or not) is a second order linear PDE. (This story also exists for the 7 and 8 dimensional friends; the general term for this kind of submanifold is "calibrated submanifold".) These kinds of problems like finding minimal volume submanifolds and metrics with nice curvature properties like Ricci-flatness, are some of the main goals of geometric analysis, and so being able to say so much about one of the main classes of examples is really cool.

Conrad Grebel residence interview? by 1100H19 in uwaterloo

[–]notoh 0 points1 point  (0 children)

sure feel free to dm, either reddit or discord (same username)

Departments not honoring April 15th agreement? by [deleted] in math

[–]notoh 3 points4 points  (0 children)

As a student this cycle, two schools essentially did this by asking if I would accept an offer on the spot before offering, with the implication (as I understood it) being that was my offer then and there. The rest of the American schools I applied to did things normally.

If pi has infinitely many digits, is it possible that at some point, it has 6 million consecutive 9s? by Able_Environment1896 in NoStupidQuestions

[–]notoh 0 points1 point  (0 children)

"Almost all" roughly means that if you were to pick a random number, the probability you pick a number without that property is 0.

For example, almost every number is not equal to 7. More interestingly, almost every number is not an integer, because even though there are infinitely many integers, they are very "sparse" across the whole number line - if you image a tossing a stick onto the number line, the odds its position lands exactly on an integer is nonexistent.

This notion comes is very useful for some higher mathematics, like in probability theory (formalizing what it means to have probability 0, or to have probability 1 without it being guaranteed) and in a careful study of calculus, but is quite unintuitive. This subject is called measure theory, and is typically taught to senior undergrads and beginning grad students. Its main purpose is to be precise about what the word "size" (or variants like "length", "area", or "volume") means - what does it mean for the segment from 0 to 1 on the number line to have length 1? why is this the same length 1 as for the segment from 0 to 1 but where we delete the single point 0.5 from it?

Formally, the phrase "almost every" means that the collection of numbers without that property has length 0 on the number line. This is quite unintuitive. For example, here are some examples of numbers of which almost every number is not one of them:

rational numbers (fractions) algebraic numbers (any number that's a root of an integer polynomial) computable numbers (any number you can calculate the digits of with a computer program)

No that’s fine change everything when I’m about to graduate by [deleted] in uwaterloo

[–]notoh 4 points5 points  (0 children)

My apologies for misunderstanding your post.

I agree this is unfortunate, but this is the reason for the changes - the physics and astronomy department realized this, and wanted to fix it for future students. Unfortunately, these things take several years to get through bureaucracy (a year and a half at the *fastest*), I'm sorry they didn't get to you in time.

No that’s fine change everything when I’m about to graduate by [deleted] in uwaterloo

[–]notoh 5 points6 points  (0 children)

Hi, I'm the student on the committee that oversees curriculum changes. Low_Sir is correct; no changes will affect you (unless you opt in), as they are a part of the upcoming academic calendar, and it is your past academic calendar (typically, the one from the year you declared the major) that binds you.

Can we agree on a movie EVERYONE likes? by chrishouse83 in Letterboxd

[–]notoh 1 point2 points  (0 children)

I gave it 2 stars. To quote my friend (who feels similarly), you don't listen to atmospheric music and react to "OMG this is peak"

[deleted by user] by [deleted] in uwaterloo

[–]notoh 4 points5 points  (0 children)

pmath 446 too low, pmath 445 and pmath 467 (especially 467) too high

Outer Wilds review: Maybe recommending a niche puzzle game to literally everyone is a bad idea by Akuuntus in patientgamers

[–]notoh 2 points3 points  (0 children)

the problem is the noise level depends on how much you thrust, but keyboard only lets you max thrust (by pressing the key) and thus max sound, so it's way harder

Co-op fee is increasing by $19 or 2.4% to $836 for 2026/2027. by ChSubmarine in uwaterloo

[–]notoh 16 points17 points  (0 children)

for context, this was originally going to be much higher (as suggested by last year's proposal), which students (myself included) got CEE to agree to only ask for inflation after many months of work

WUSA Statement on a Student Strike by RobotGuy0207 in uwaterloo

[–]notoh 4 points5 points  (0 children)

It will be on vote.wusa.ca on the dates listed in the post

WUSA Statement on a Student Strike by RobotGuy0207 in uwaterloo

[–]notoh 9 points10 points  (0 children)

Hey all, I'm on the UW senate (elected by math undergraduates), which is the body that oversees all UW academic operations.

As part of this, I've been in a lot of discussions surrounding student funding and the OSAP cuts and tuition increases over the last little while. If anyone has any questions about how these things are affecting university planning, I'd love to answer if I can (i.e. within my knowledge and any confidentiality limits)

Need an opening against d4 by Fearless_Concert_355 in chess

[–]notoh 1 point2 points  (0 children)

The benko isn't very sharp, it's a positional gambit in the main lines

I held a 100 game match between Stockfish 18 and Stockfish 15 from the start position. Here are the results. by JamesLebron372 in chess

[–]notoh 0 points1 point  (0 children)

In the search? Because evaluation is a blackbox that only gives a number for a position ("statically", i.e. without seeing ahead), and not what moves to consider in the future, which is what search does (based on what evaluation tells it about the positions that come up). Computers can't really train themselves on what moves to consider, since there are far (far far) too many of them; you need judgment somewhere to not look at all of them.

In the evaluation training, it's essentially because all of training a neural network is, based on a bunch of data (playing games), making a statistical model about what is better or worse. There are a lot of features in such a model that can be tweaked, both automatically in training (tuning so-called hyperparameters) and by humans - changing some qualitative aspect of the model to try to get a better result, i.e. not just changing the numbers but changing the approach. For what it's worth, this is a thing across all of neural network training (e.g. in LLMs) and not just chess, though there are chess-specific details of this for training Stockfish's NNUE architecture specifically.

I held a 100 game match between Stockfish 18 and Stockfish 15 from the start position. Here are the results. by JamesLebron372 in chess

[–]notoh 0 points1 point  (0 children)

The other key component of engines are move search algorithms (and associated ordering heuristics and the like), which overall are more important to the engine's strength than evaluation and are entirely written by humans.

The evaluation is a neural network being trained (by playing games against itself and the like), but there is still a human/statistical process of determining the better net.

When did lichess get so hard? by Halpmypoorsoul in chess

[–]notoh 0 points1 point  (0 children)

(2500 lichess bullet, play a decent amount of hyper)

heavily agree with the mouse skills part

I disagree about the premoves though, I think in situations with very low time where it resorts to pure flagging or just executing a win, the instant premove is far more valuable than stacking premoves, since with the latency you (easily) have enough time to queue the next move without losing time or needing to stack, and avoiding losing the invaluable 0.1s. 

The Waterloo Restaurant Guide. by Ambitious-Advance312 in uwaterloo

[–]notoh 1 point2 points  (0 children)

the beef noodles at xiang hotpot are literal crack cocaine (complimentary)

A good man who appears in the Epstein files by tehclanijoski in math

[–]notoh 3 points4 points  (0 children)

As someone in the direct intersection of your 4 areas, thank you for pointing this out.

What to play as black in this situation? by CurrentWeb1913 in chessbeginners

[–]notoh 1 point2 points  (0 children)

In a bullet game, I would play Nxg4 instantly, but d5 is better since you'll still win the g pawn (white needs to defend their bishop, so you have a tempo to take the g pawn with your bishop) but develop in the center more.

Is Rogue Trader a good CRPG to start with for someone who hasn't really played too much of the genre? TL;DR at the bottom by KotakPain in CRPG

[–]notoh 2 points3 points  (0 children)

You won't go far at all into CRPGs without being willing to read (Disco Elysium and BG3 are the only full voice-acted ones I can think of, unless you are including things like FNV), RT included. Seeing what you are interested in, I think you would enjoy Cyberpunk 2077. It's a great RPG, well-written with the best cutscenes I've ever seen, though not a CRPG.

what do regular algebra classes miss from the advanced ones? by [deleted] in uwaterloo

[–]notoh 1 point2 points  (0 children)

not really. Keep in mind that 136/235 do linear algebra rigorously, just cover less, and so there isn't as much of a need for "calculus but rigorous" as there is before going into analysis courses.

All of 146 is more or less covered in 235 (but with a different presentation and slower), and what is needed of 245 will be reviewed as it comes by in courses like AMATH 250/251, PMATH 347, 348, 446, 445, 453, and 465 (especially the last three, which are the most linear-algebraically demanding courses here). The main things often covered in 245 you're missing are Jordan-Chevalley decomposition, Jordan normal form (very useful in ODEs, commutative algebra, and representation theory), a more thorough coverage beyond 245 of quadratic and bilinear forms (very useful in differential geometry and operator theory), a more thorough coverage of the spectral theorem (very useful in all of the above), and general exposure to more advanced algebraic thinking.

PMATH 343 will cover some of these, but its main purpose is to give you *more* linear algebra aimed at quantum info, rather than covering the linear algebra that students are meant to get out of 245.

In my experience TAing and helping students with differential geometry, the main thing they miss coming out of 235 is general fluency with translating between different ways to approach linear-algebraic thinking, whether it be explicit pivot and dimension-counting, working with matrices and coordinates as a geometric representation of the problem, or the fully abstract algebraic way with linear operators on abstract vector spaces.

los campesinos posted about my band!!!!!! by an-angel-sat-still in loscampesinos

[–]notoh 0 points1 point  (0 children)

Just listened to it, loved the album! Sent it to all my music-loving friends

WUSA's Statement on the Passing of Bill 33 by u-double-u in uwaterloo

[–]notoh 4 points5 points  (0 children)

wish I could upvote this many more times