|
Saugata Basu
@
SaugataBasu4
West Lafayette, IN
|
|
Professor of Mathematics, Purdue University. Interested in real algebraic and o-minimal geometry, model theory and combinatorics, and complexity theory.
|
|
|
40
Tweetovi
|
37
Pratim
|
90
Osobe koje vas prate
|
| Tweetovi |
|
Saugata Basu
@SaugataBasu4
|
3. velj |
|
I am sitting in a cafe totally stuck and wondering if I should go for a walk to get unstuck. But then it is pleasant outside and not raining — so I don’t know how effective the walk would be.
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
2. velj |
|
Here is another excerpt from the same book “Miscellany”. As inspiring today as when I first read these lines — perhaps as a grad student. pic.twitter.com/vw45otB08x
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
2. velj |
|
I was trying to bring some order to my bookshelves when I came across my copy of “Littlewood’s miscellany” and started browsing. I promise I am never going to complain about my teaching load again. pic.twitter.com/XBw7KfxYMW
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
30. sij |
|
Exercise ?
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
28. sij |
|
Of course, all this would be clearer if we were allowed to talk about dual spaces. But alas, while we can talk about the transpose of a matrix, we cannot interpret it as the matrix of the transpose of the original map.
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
28. sij |
|
But the fact that the "algorithm" for checking infectivity for a linear map given by a matrix is to check that all cols are pivotal, and for surjectivity that all rows are pivotal, seems to convey the same(-ish) idea. 2/2
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
28. sij |
|
I am teaching a mostly "no proofs" linear algebra for engineers. So there is no time to explain that injectivity and surjectivity are dual properties in terms of left/right cancellability or vanishing of kernel/cokernel.
1/2
|
||
|
|
||
| Saugata Basu proslijedio/la je tweet | ||
|
Laxmi_Parida
@LaxmiParida16
|
26. sij |
|
Looking for (1) a summer intern and (2) a postdoc in my group for Topological Data Analysis on omics data. Email me if interested.
#TDA #Genomics #omics #summerintern #postdoc
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
25. sij |
|
Dinner after the third edition of mini-conference on real algebraic geometry at Purdue on occasion of Marie-Francoise’s visit (this has now become an annual tradition).
math.purdue.edu/~sbasu/mini-ra… pic.twitter.com/fSoYP5TaMj
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
16. sij |
|
We are organizing a Hot Topics Workshop at ICERM on
"Symmetry, Randomness, and Computations in Real Algebraic Geometry", Aug 24 -28, 2020.
icerm.brown.edu/topical_worksh…
Please consider applying and/or encourage
your graduate students to apply. Some funding may be available.
@ICERM
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
16. sij |
|
Before I joined twitter last month JMM was just a big meeting at the most inconvenient time of the year. Now the constant updates is making me rue that I am missing out on a lot of fun and friends -- not to mention math :(
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
12. sij |
|
I just made my second blog post. This time on "Vapnik-Chervonenkis dimension" -- emphasizing its connections to many different areas of math. Corrections, suggestions, comments are all very welcome.
#VCdimension #modeltheory #combinatorics #probability
saugatabasumath.wordpress.com/2020/01/12/vap…
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
1. sij |
|
It is an interesting problem with many applications. The core difficulty is that the usual (Artin's) proof of Hilbert's 17th problem is completely nonconstructive, and it is much more difficult (compared to the proof of Hilbert's Nullstellensatz) to obtain an effective proof.
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
31. pro |
|
I think the standard reply would be to use a “ Lasserre hierarchy” of semi-definite programs and hope you get a witness without the programs becoming very large
|
||
|
|
||
| Saugata Basu proslijedio/la je tweet | ||
|
Scoffing Mathematician 🏳️🌈🇪🇺
@BarbaraFantechi
|
29. pro |
|
They don't know. They don't believe one can know. They don't believe there's anything to know.
That's what makes physics so hard for mathematicians. twitter.com/AstronoMisfit/…
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
28. pro |
|
I agree.
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
28. pro |
|
Answer to your first question is yes. I was tacitly assuming this. I am not sure about the second in the context of "mixed" computations.
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
28. pro |
|
I resurrected my math blog and made my FIRST real blog post -- on "categorical complexity". Please feel free to comment on content, style and anything else that I should be aware of.
saugatabasumath.wordpress.com/2019/12/28/cat…
#categorytheory #complexitytheory
|
||
|
|
||
| Saugata Basu proslijedio/la je tweet | ||
|
Laxmi_Parida
@LaxmiParida16
|
24. pro |
|
Yoga (plate-asana) and mathematics:
"The fundamental group of SO(3) contains an element of order two."
#shecanstem #yoga #fundamentalgroup pic.twitter.com/5IlmaRaU4B
|
||
|
|
||
|
Saugata Basu
@SaugataBasu4
|
22. pro |
|
Good idea. But I am still learning the "twitter style"... FYI, there will be a back-to-back two week meeting in CIRM on RAG next year. conferences.cirm-math.fr/2171.html
|
||
|
|
||