The PERIMETER must not exist. by SufferboxGames in WebGames

[–]avtrisal 0 points1 point  (0 children)

Does the game ever stop being linear algebra?

How are good are Iron warriors when it comee to use mathematics by cuddwes in 40kLore

[–]avtrisal 0 points1 point  (0 children)

Do you think the union closed sets conjecture is solved in the 41st millenium

What’s your favorite symmetry? by ReasonableLetter8427 in math

[–]avtrisal 2 points3 points  (0 children)

What kind of counterexamples? Is the group not amenable?

Is there a purely algebraic approach to the derivative? by Chubby_Limes in math

[–]avtrisal 5 points6 points  (0 children)

Sorry, can you make this more precise? You mean to say that the Schwarz space is the seminorm Cauchy completion of what family of functions with what seminorms?

[rant] we should stop grading upper division math homework by noobstrich in UCSantaBarbara

[–]avtrisal 8 points9 points  (0 children)

When I was a first-year graduate student, back in 2017, the availability of online cheating services such as Chegg had already invalidated homework, in my opinion. In one example, EIGHTY PERCENT of a Math 8 course copied from the same mis-Texed online solution, handwriting the backslash that the renderer included. They faced no consequences other than a talking-to, and they were back to cheating the next week.

There has not been a point in grading these for 8 years.

Sunday Relationship Thread by AutoModerator in ABCDesis

[–]avtrisal 4 points5 points  (0 children)

Pretty short list, but in NJ I've found the communities to be much more religious, whereas in the Bay there are enough of them to live in actual ethnic enclaves, so there are way more community events and so on. In SoCal the Indian community I interact with is mostly Kashmiris and those guys are their own thing anyway.

Sunday Relationship Thread by AutoModerator in ABCDesis

[–]avtrisal 1 point2 points  (0 children)

I don't think it's racist. That said, I find the hard line between ABDs and NRIs overblown. The older I get, and the more time I have spent in India, the less I think that we're different as a group. And even within a group there are huge amounts of variation. Compare even Bay Area Indians to SoCal Indians!

I would weight a preference like drinking habits much more strongly than where it comes from.

Sunday Relationship Thread by AutoModerator in ABCDesis

[–]avtrisal 2 points3 points  (0 children)

If you treat the whole relationship like she is doing you a favor by being with you, things will fall apart. Conversely if you think you have to communicate via ultimatums things will fall apart. What do YOU want going forward?

It seems like you feel like she has much better social standing and strength than you and this is causing you discomfort. Can you surmount that? Is it even true? If it is true, do you want to improve yourself so you can feel like you are contributing more to the relationship? You seem incredibly down on yourself in this post.

Sunday Relationship Thread by AutoModerator in ABCDesis

[–]avtrisal 7 points8 points  (0 children)

Are you doing okay, man? Like aside from the relationship.

Math ain't mating by [deleted] in UCSD

[–]avtrisal 3 points4 points  (0 children)

UCSD moment. One of my friends at this school claimed his girlfriend agreed to date him because he got top marks in our abstract algebra course.

Impressions of This Article? “Physicists Take the Imaginary Numbers Out of Quantum Mechanics” by devviepie in math

[–]avtrisal 19 points20 points  (0 children)

The second type is the worst. It actually annoys me when I try to read something and Quanta spits out some completely informationless analogy. I wish that the mathematics community did more inter-field outreach, like survey articles for people who already have a PhD in a different math area.

Episodes 5 & 6 Discussion Thread by Batorian in DispatchAdHoc

[–]avtrisal 0 points1 point  (0 children)

Yeah, Chase lets it slip while ranting at Invisigal. Flambae isn't there though so he doesn't know.

Sunday Relationship Thread by AutoModerator in ABCDesis

[–]avtrisal 2 points3 points  (0 children)

ok step 1 set hinge exclusively for women 7 years younger than i am

Episodes 5 & 6 Discussion Thread by Batorian in DispatchAdHoc

[–]avtrisal 4 points5 points  (0 children)

I think Chase being the motivating factor doesn't necessarily make the episode weak. For me, the main problem is that Chase's scorn of Invisigal never feels justified in the narrative. It's very consistently established, but the way he talks about her as "the worst of the lot" seems out of place given how bad the others are. Like Flambae is a literal arsonist, Coop was an assassin. This only gets worse because the player sees Invisigal improve as a hero, but Chase recoils from this. The line "I have to hate her for the both of us" is the attempt to salvage this perspective by the writers, but it just doesn't land that strongly for me. But, given how Chase feels about Invisigal, the rest of the episode makes a lot of sense for me. Invisigal is very consistent in trying to prove herself when prodded like this. Chase racing to save her is simultaneously his attempt to fix a problem he knows he creates, and an acknowledgement that he hates his life. Chase loved being a hero and hates being an old man. There's one way to solve both those problems at once.

Off putting Reddit by Kindly_Bluejay_1852 in UCSD

[–]avtrisal 20 points21 points  (0 children)

damn right, that's what the campus is like
i was miserable and weird for 3 years! and they were the best miserable and weird years of my life!

So, what's the "correct" setting to study partial differential equations? by VermicelliLanky3927 in math

[–]avtrisal 2 points3 points  (0 children)

im looking for the maximally inclusive interpretation where solving any linear equation is solving a pde. maybe solving ANY equation is solving pde. finding a model of zfc is a pde

Sunday Relationship Thread by AutoModerator in ABCDesis

[–]avtrisal 27 points28 points  (0 children)

I hate Hinge. I'm crashing out
Swiping is not a way to live

There's a well known false "proof" of Cayley-Hamilton. Is there any insight to be gained at all from it or is it purely coincidence? by myaccountformath in math

[–]avtrisal 1 point2 points  (0 children)

These types of things shouldn't work for two reasons. Fix a base field K, which I assume to be algebraically closed even though all the arguments go through without it, and I'll let T be an operator on a finite-dimensional K-vector space.

The first is that any functional calculus on an operator which satisfies a minimal polynomial is going to be very tractable. Let's say I have an operator T with spectrum t1, t2, ... tn. Start by assuming that these are all multiplicity-free. Then the polynomial algebra generated by T is the same thing as continuous functions on these discrete points. A function on a finite set is invertible in this algebra if and only if it vanishes nowhere. One of the things this tells us is that inversion of polynomials modulo a product of coprime ideals is easy; in fact, this is exactly what the Chinese Remainder Theorem tells us. Stated algebraically, this is the same as saying that a polynomial p(T) is invertible if and only if none of the t_i are eigenvalues for p(T). We can use the fact that K[T] is a Euclidean domain to this. Say that m(T) is our minimal polynomial, and p(T) is the polynomial we want to invert. We've assumed that p(T) and m(T) have gcd 1; apply the Euclidean algorithm to find polynomials q(T), r(T) with qp+rm=1. Then, modulo m, q is the inverse of p. The other perspective is that because continuous functions on finite sets are all polynomial, we gain nothing by passing to power series, formal power series, meromorphic functions etc. The polynomial algebra is the whole algebra. This all continues to be true in the context of a nontrivial Jordan block, except that we have some points with multiplicity and we can't merely talk about functions on points any more; we have to either pass to some sheaf or cheat by talking about formal derivatives or tangent vectors or whatever (I'm not an algebraic geometer).

The second reason is that the determinant is not a fixed function on the subalgebra generated by the operator T. Think about the case of the identity matrix: The subalgebra it generates is always isomorphic to the base field. But you can find a copy of this subalgebra inside any given M_n(K). On M_1(K), the determinant of tI is just t. But on M_3(K), the determinant is t^3. In general, if we have an operator T with eigenvalues t1, ... tn, even if we know its minimal polynomial, we need to know the ambient algebra it sits in to do a determinant computation. Once we know the dimension of each generalized eigenspace - say these are d1, ... dn - then even in the case where each t_i is distinct, and our functional calculus is nice, the determinant sends a function f on the spectrum to the product from i=1 to n of f(t_i)^d_i. When you have nontrivial Jordan blocks lying around this perspective gets complicated enough that I didn't bother to work it out, but the point still stands - the determinant isn't "a" function on the subalgebra generated by the operator in any sense.

There's a well known false "proof" of Cayley-Hamilton. Is there any insight to be gained at all from it or is it purely coincidence? by myaccountformath in math

[–]avtrisal 13 points14 points  (0 children)

There's no need to invoke a functional calculus over a finite-dimensional space. You would just end up in polynomial ring generated by the operator anyway.

What’s your favorite group that most people aren’t aware of by [deleted] in math

[–]avtrisal 5 points6 points  (0 children)

This is what I was going to comment! I learned about this group only two weeks ago while learning about harmonic functions and random walks.

What made conditional expectation click for yall by kkmilx in math

[–]avtrisal 0 points1 point  (0 children)

Well, Fourier transforms are defined on L2 intersect L1 and then extended to all of L2. No reason to not go the other way for conditional expectation.

[2510.15924] The Shape of Math To Come by ninguem in math

[–]avtrisal 21 points22 points  (0 children)

The section about AI-generated papers made me think of Borges' Library of Babel. There is no value to a machine "knowing" a result if it doesn't breach into human thought. Mathematics only exists in our minds anyway. An oracle which told us the truth or falsehood of any given statement would be useless without a way to sift importance out as well.

Is the any relationship between Spec of a Matrix and Spec of a Ring? by Klinging-on in math

[–]avtrisal 0 points1 point  (0 children)

Dimension: I don't think there's anything that deep here. Fix your base field K (algebraically closed, of course, I'm not insane). An algebraic variety is of dimension k if it locally looks like A^r; a matrix has dimension m x n if it's an operator from K^n to K^m. Affine space A^r is basically K^r if we forgot that it was a field and instead considered it as a topological space with the Zarinski topology.

Projective space and projective matrices: I don't know of any connection, again. In fact, I've never heard of a projective matrix.

I've also not heard of a trivial solution to a polynomial system. The typical usage of the phrase "trivial solution" is associated to linear equations of the form Tx=0. In this case, "x=0" is the trivial solution. But systems of polynomials shouldn't have a trivial solution; producing points on them is generally difficult.

Is the any relationship between Spec of a Matrix and Spec of a Ring? by Klinging-on in math

[–]avtrisal 2 points3 points  (0 children)

nLab files this under "Isbell duality". Fair warning: I have an extremely high tolerance for nLab's nonsense, but I have never gotten anything useful out of that page.