« first day (4758 days earlier)      last day (559 days later) » 

00:01
> ... being skilled in math could indicate having a more open-minded approach to new ideas, but might also be associated with lower levels of politeness. psypost.org/2023/08/…
4 hours ago, by Ted Shifrin
@geocalc33 As it stands, this is nonsense.
00:15
@CowperKettle Is that why I’m called a brat
no it’s just because I am a brat
@冥王Hades Why do you seem proud of that fact?
0
Q: In what ways might it be possible to move away from and towards a point simultaneously?

ShaunThe Question: In what ways, if any at all, might it be possible to move away from and towards a point simultaneously? Motivation: I read in "Dialetheism and Its Applications", edited by Young et al., in the section written by Priest, that [m]oving towards something and moving away from it (in ...

@Shaun how about anosov flow
also you could just fix a point on the real line and take a flow in the + direction, then to the left of the point there's an influx and to the right of the point there's an outflux corresponding to 'moving towards' and 'moving away'
00:36
@Shaun Honestly, this seems like a kind of meaningless semantic game. Until you define "moving towards" and "moving away from", the question is kind of meaningless.
To me, these terms have fairly natural definitions: let $x(t)$ denote the position of a particle at time $t$. For simplicity, assume that $x$ is differentiable. Then the particle is moving towards a point $y$ if $\frac{\mathrm{d}}{\mathrm{d}t} d(x(t),y) < 0$, and moving away from a point $y$ if $\frac{\mathrm{d}}{\mathrm{d}t} d(x(t),y) > 0$, where $d$ is whatever metric you are using to measure distance.
Or, perhaps, the particle is moving towards $y$ on the interval $[a,b]$ if $d(x(a),y) > d(x(b),y)$ (if you don't want to assume differentiability, or even continuity, I suppose).
Per either of these definitions, simultaneously moving towards and away from a point is impossible.
@geocalc33 I will have to read more about it, but thank you :)
@XanderHenderson Thank you for the feedback
01:22
so evenly twisted rectangular band is homeomorphic to the untwisted band by cutting and twisting in a reversed direction and gluing again?
01:56
@XanderHenderson it’s hilarious. That’s why
02:35
@冥王Hades Hilarious to the people in this room? or just you?
03:21
A free Wordle "clone" arachnoid.com/wordgame/index.html
 
1 hour later…
04:43
@XanderHenderson @Shaun What about motion on a circle? As $\theta$ increases from $0$ you move away from $(1,0)$ but are also moving toward it (the long way).
and at (-1,0) the universe explodes because you can't even break the tie between which one of them you are doing by arc length.
time to mention Buridan's ass en.wikipedia.org/wiki/Buridan%27s_ass
First I’ve heard thereof.
it arises is digital circuit design, strangely referred to as meta stability.
people also loved citing it in the 1700s and 1800s. not just in philosophy, it had, like, meme status.
04:57
lol
imagining a 17-1800s music video
possibly featuring Khia
i thought about it sometimes when teaching. you see it on MSE, too. "how do i solve X" "here's [a straightforward approach]" "no not that way, like, what is a clever way of solving it if you didn't know that way" "so you were so hung up on looking for a clever way of solving it, or ascertaining some kind of divine intent about the ways you were not supposed to solve it, that you didn't bother solving it" "yes"
Quite surprising that $SL_2(\Bbb Z)$ contains a rank 2 free subgroup
05:12
Why is it surprising?
05:23
is it trivial to you?
$\begin{bmatrix} 1&1\\0&1\end{bmatrix}$ one generator and its transpose the other?
I mean free groups of any rank are contained in SL_2(Z)
I may be completely off here, but would the generators $a=\begin{bmatrix} 1 & 0 \\ 1 & 1 \end{bmatrix}$, $b=\begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix}$ be a simple example?
there's that picture of how SL(2,Z) acts on the upper half plane, with all the nested semicircles. isn't it reasonably clear from a deep enough dive into that?
dang, Ted is always faster
05:25
The explicit generators are $\begin{pmatrix} 1 & n \\ 0 & 1\end{pmatrix},\begin{pmatrix} 1 & 0 \\ n & 1 \end{pmatrix}$ for $n\geq 2$ in $SL_2(\Bbb Z)$
Well, free groups of any rank embed in free groups of rank 2, I seem to remember.
like you can label off where each word in two generators gets you into, in terms of regions in that picture.
Did Leslie just say something geometric? faints
it obviously isn't that clear to me since i don't remember it. i think we did this in a complex analysis class. and i think one time, on some homework, i showed that something contained a copy of F_2 by making something act on the plane or something like it with a picture.
ted: this is the guy who periodically breaks into leslie's house
it just rained in Albany a few minutes ago, not a fog mist, but real rain.
05:28
Ah, didn’t munchkin kick him out?
i just knew there was something different about Leslie
we had some drizzle a few days ago for a couple of hours. i had to use the wipers on my car. always creeps me out to have rain in the summertime.
i was hoping for some thunder. my wife is away, however.
those two statements are completely unrelated.
Uh huh
 
4 hours later…
09:31
@XanderHenderson probably just me
 
3 hours later…
12:04
@冥王Hades Then perhaps you should stop.
Much, much easier said than done.
@user223626865 Not for someone with kick-mute powers.
Kick-mute powers don't really solve anything irl.
No, but I wasn't talking about "RL".
You could practice on me if you want.
Just to get warmed-up.
12:34
7
Q: For which positive integers $m$ and $n$ do $x^m-x$ and $x^n-x$ being integers imply that $x$ is an integer

marty cohenThis is inspired by Prove that $x$ is an integer if $x^4-x$ and $x^3-x$ are integers. For which positive integers $m$ and $n$ do $x^m-x$ and $x^n-x$ being integers imply that $x$ is an integer. $x$ is assumed to be real. I don't really have an idea of what to do except for the idea that this prob...

12:57
> Let $$R=\sup \left\{\left|x\right|\ge 0:\sum a_nx^n \text{ converges}\right\}.$$ If $R=0$, then the series converges only for $x=0$. If $R>0$, then the series converges absolutely for every $x\in \mathbb R$ with $|x|<R$, since it converges for some $x_0\in\mathbb R$ with $|x|<|x_0|<R$.
Why are we guaranteed that there exists an $x_0$ such that $|x|<|x_0|<R$?
That is the definition of the supremum.
In general, if $M = \sup(A)$ and $x < M$, then there must be some $a \in A$ such that $x < a \le M$. If $A$ does not have a maximum, then the inequality is strict, i.e. $x < a < M$.
@XanderHenderson interesting, thank you for enlightening me on this
13:15
@XanderHenderson do we know if $\left\{\left|x\right|\ge 0:\sum a_nx^n \text{ converges}\right\}$ has a maximum or not? If we don't, wouldn't it be more correct to write $|x|<|x_0|\leq R$, since this includes $|x|<|x_0|<R$?
@sunny A priori? No, you don't know if the set has a maximum. But it doesn't matter---you don't need it.
Just choose $x_0$ so that $|x| < |x_0| \le R$.
@sunny it doesn't have to have a maximum
consider geometric series for example
The point of this theorem (lemma? observation?) is that if a power series converges for some $x_0$, then it will converge for any other $x$ with $|x| < |x_0|$. The goal is to find the "biggest" value $R$ such that the series converges for any $x$ with $|x| < R$. Once you have that "biggest" value, then you know some nice things:
(1) the series will converge for all $x \in (-R, R)$, and
(2) the series will diverge for all $x \in (-\infty, -R) \cup (R, \infty)$.
so that we can talk about radius of convergence for power series instead of domain of convergence
At $-R$ and $R$, the series may or may not converge. You need to do some extra work if the behaviour at the endpoints is actually important to whatever problem you are working through.
(Hint: it usually doesn't matter.)
13:22
@Jakobian can it have a maximum?
Some examples: $\sum x^n, \sum \frac{1}{n}x^n, \sum \frac{1}{n^2}x^n$
@sunny Yes.
in the first case the series converges on $(-1, 1)$, second converges on $[-1, 1)$, third converges on $[-1, 1]$
@sunny you tell me from those three examples I gave you
But I think that you are getting hung up on an unimportant detail.
The important idea here is that a power series will always converge on some (possibly degenerate) interval centered at zero.
13:39
ok, thanks so far, I will have to digest this further
 
1 hour later…
14:47
I wish I was bald to be honest
@冥王Hades I think Xander was trying to say that you being rude most likely comes from you being immature. You being proud of this as a means of boosting your own ego might be a little misguided. Besides reading a statistic as something which applies to you as a person is similar to reading tarot cards...
well, personality-wise
@XanderHenderson is that right?
@sunny I've been pondering on this some more, and I definitely think stating $|x|<|x_0|\leq R$ is more clearer/correct than $|x|<|x_0|<R$ . From the definition of the supremum $R=\sup (A)$ and the fact that $|x|<R$, we only know that there is some $|x_0|\in A$ such that $|x_0|>|x|$. Since $R$ is the supremum, we have $|x_0|\leq R$, i.e. not $|x_0|< R$.
it doesn't matter tbh
@Jakobian but $\leq$ does not imply $<$
But for $a < b$ there is $c$ with $a < c < b$
true :)
15:00
no wait don't just agree with me
I see your point and yes you are right
but it's also true that if you know that $|y|\leq |x|$ and $x\in A$ then $y\in A$, then we can make a strict inequality
but you do have a point
By $A$ I mean that set that wasn't denoted by anything
set of $x$ for which $\sum a_nx^n$ converges
you should be more assertive imo
I mean like... argue with people more
I can try :) mostly I'm confused
ah. Well if you're confused then it helps to try and think about things intuitively before putting them into formalism
maybe you already know that though
being attentive also helps (though if you're tired then you probably can't help this much)
I don't know what else to say
15:29
sorry to drag this out, but my point was this: if $A=\{1,2,3\}$, then $2.8<3$, but $2.8<3<3$ is incorrect. It should be $2.8<3\leq 3$. Of course, the non-strict inequality also holds when $A=(0,3)$,i.e. when the set has no maximum.
15:47
0
Q: Problem in Understanding the Concept of Significant Figures in Numerical Mathematical Analysis

Thomas FinleyI was reading about the term, "Significant" digits in the book, "Numerical Mathematical Analysis " by J Scarborough. The definition of the significant digits were given as: A significant figure is any one of the digits $1, 2,3,... 9;$ and $0$ is a significant figure except when it is used to fix ...

Guys, need a little help in here !
15:59
@robjohn Ok, but are my understanding and inferences mentioned in OP correct?
If it is so, I would be very glad to accept your answer, if you think about posting your comment as an answer with the suitable added inputs. Thank you!
(I am talking about the inference and understanding written in bold in my post)
@ThomasFinley Are the second and third paragraphs of the question quotes?
Sorry, third and fourth paragraphs
The above portion (as shown in the pic) is a quote @robjohn
It's from the book.
@ThomasFinley Yes, I just wanted to note that in the question. I hope you don't mind.
16:08
@robjohn Sorry, I didn't understand what you mean?
@robjohn Oh! I think you wanted to refer to the edit you made in my post? Sure, I don't mind. After all, the edit made the post better, admittedly.
But I want a complete opinion to my questions in my post
Ok, but what do you think of my inference and understanding written in bold in my post ?
@sunny yes, I realize this. But the set $A$ we are considering has the special property that $y\in A$, $|x| < |y|$ implies $x\in A$
17:01
@robjohn ChatGPT says this, "Your understanding of significant digits is mostly correct. Let's break down your questions:

1. **Regarding $7800$ and $7878$:** Your reasoning is valid. In the number $7800$, the zeros are considered placeholders, and the significant figures are $7$ and $8$. Zeros used in this way are not considered significant.

2. **Regarding $46300$:** You've grasped the concept well. The ambiguity arises because without additional context, it's not clear whether the trailing zeros are significant or merely placeholders. They could represent actual precision or be used to h
Ofc, read it if your'e interested
 
1 hour later…
18:09
7
Q: For which positive integers $m$ and $n$ do $x^m-x$ and $x^n-x$ being integers imply that $x$ is an integer

marty cohenThis is inspired by Prove that $x$ is an integer if $x^4-x$ and $x^3-x$ are integers. For which positive integers $m$ and $n$ do $x^m-x$ and $x^n-x$ being integers imply that $x$ is an integer. $x$ is assumed to be real. I don't really have an idea of what to do except for the idea that this prob...

let's try to solve this for $x^n-x, x^{n+1}-x\in \mathbb{Z}$, $n\geq 2$
say $$\begin{cases} x^n-x-b = 0\\ x^{n+1}-x-a = 0\end{cases}$$ where $a, b\in\mathbb{Z}$
Then $x^2+(b-1)x-a = 0$
If we suppose that $x$ is an integer, perhaps we can say something about $a, b$ from this quadratic
$\Delta = (b-1)^2+4a$ so that clearly we must have $(b-1)^2+4a\geq 0$
Then $x = \frac{-(b-1)\pm\sqrt{\Delta}}{2}$
If $x$ is an integer, this means that $(b-1)^2+4a$ needs to be a square, $(b-1)^2+4a = k^2$, $k\in\mathbb{Z}$
If this holds then $x$ is an integer as well
~~clearly above system of equations either has a solution or it has none~~ nevermind, I didn't account for sign changes
thus we want to see for which $n$ does it not have solutions whenever $(b-1)^2+4a$ is not a square
I don't know, this sound like a pretty restrictive condition to ask for the above equation to have a solution in the first place
$k^2 = (b-1)^2+4a = (x^n-x-1)^2+4x^{n+1}-4x$ maybe this is helpful
I guess this tells me that $x|(k^2+1)$
I'm not sure why I'm assuming $x$ is an integer, I want to not do that. My bad
I don't think this is very solvable for every $(n, m)$ but I'm hoping for solution in some simple cases.
18:36
whats a good title for a question involving riemann zeta?
i want to try to maximize clicks
"Proof of Riemann hypothesis?"
but it's not a proof..
I'm joking
what's a good title for question X depends on the content of X
it's related to the mellin transform of the heat kernel on a riemannian manifold
so maybe, Mellin vs. heat kernel: The battle
if you want to maximize clicks then avoid big complicated words and strife for simplicity
this way people that don't know what you're talking about will open the question as well
try including something that everyone knows
especially something that's relatively popular topic (like the Riemann hypothesis)
Riemann hypothesis does attract attention, mostly negative...
18:42
hmm lol
Viewing the Riemann hypothesis geometrically: This might surprise you!
hahahaah
Viewing the Riemann hypothesis geometrically?
(I think I'll go with that)
sure, I wonder how it'll go
it might turn badly, but who knows
I will get 3 upvotes max and 1 upvote min
if it turns badly..meh
at the end of the day it's just a question
I just learned the concept of exponent of a group. I never heard of this, and I'm surprised that I didn't
what's that/
least common multiple of orders of all the groups
so an integer such that all elements taken to this power vanish
19:22
jakobian are you familiar with en.wikipedia.org/wiki/Burnside_problem ?
20:00
nope, never heard of this
21:00
@Jakobian For a real power series, yes. If you expand to complex power series, then only on some disc about zero.
And note that, in this case, "degenerate interval" means $\{0\}$ (which can be thought of as the closed interval $[0,0]$, I suppose).
@sunny Again, the goal is to show that a power series converges on an interval. At the end of the day, it will actually be possible to show that if $|x| < R$, then there exists some $x_0$ with $|x| < |x_0| < R$. So, yes, it is more accurate to start off with the weak inequality, but, at the end of the day, you can get the strict one.
But, again, it doesn't matter.
This is analysis. No two things are ever really equal. Everything is always up to some epsilon. It is best not to get too precious about strict vs weak inequalities. It almost never matters.
I meant this for what Hades said and your comment on it
(Which is not to say that it never matters, but it there are not that many cases in which anyone cares).
@XanderHenderson how would you get the strict inequality? I'm curious.
for more on why it never matters, consult my book, "it never matters" (500 pp.)
@sunny A priori, you know that $R$ is the supremum of some set---call that set $A$.
By definition of "supremum", if $x \in A$, then $R \ge x$.
Moreover, if you pick some $y < R$, either $y \in A$, or there exists some $x \in A$ such that $y < x$.
Moreover, if $A \ni y < R$, then (by definition of the supremum) there is some $x \in A$ with $y < x \le R$.
So, long story short, if $R = \sup(A)$ and $|x| < R$, then there is some $x_0$ with $|x_0| \le R$ such that $|x| < |x_0| \le R$.
For the strict inequality, properties of the supremum are not really relevant. Rather, you can prove that if $|x| < R$, then there exists some $x_0$ with $|x| < |x_0| < R$. But this follows from the fact that the set on which the power series converges is an interval. So the strict inequality is a property of intervals, not suprema.
@leslietownes Can I buy a copy for $-5$ lesliecoin?
21:17
Even I don’t have that many.
@geocalc33 Anything with "Riemann" or "zeta" in it is likely to get closed fast.
@geocalc33 My PhD advisor once thought that he had a geometric approach to RH, via fractals. I don't think it panned out, but some interesting mathematics came out of the program.
@XanderHenderson ok, so $|x| < |x_0| < R$ follows from the fact that the set on which the power series converges is an interval. Note to myself; I must show the set is an interval :)
@geocalc33 I've looked at your question now. It has a lot of similarities with Michel's work.
Though he was looking at the wave equation, rather than the heat equation.
Am I right in thinking this self-normalizing result about free products actually holds more generally for amalgamated free products? groupprops.subwiki.org/wiki/…
I'm reading through the proof and it seems like the proof easily generalizes to the amalgamated setting.
21:32
@geo “The Riemann Zeta-Function and the One-Dimensional Weyl-Berry Conjecture for Fractal Drums”, Proceedings of the London Mathematical Society (3) 66, No.1 (1993), pp. 41-69, (with C.Pomerance). and “The Riemann Hypothesis and Inverse Spectral Problem for Fractal Strings”, Journal of the London Mathematical Society (2) 52, No. 1 (1995), pp. 15-35, (with H.Maier). might be of interest.
I've not looked at either paper in years, so I can't remember exactly which is which. There is also one on the Weyl-Berry conjecture which might be relevant.
(I don't have a citation for that one handy, but Google should help. I think that was was also co-authored with Helmut.)
22:08
@geocalc33
> I'm having trouble with the full interpretation of (1)
geometrically. It's unclear to me what the Mellin transform of the sum over that spectrum of the family of metrics means geometrically. Is there any nice geometrical interpretation of this? Does a geometric interpretation extend to the critical strip?
I believe that Michel would say that it measures the "geometric oscillation" of the set.
Very, very roughly speaking, this is related to the roughness, periodicity, and scaling of the boundary.
22:23
I lost ~2 years of game data/progress
a small loss in comparison to the time wasted on circles and triangles.
3
22:47
@leslietownes it’s a rather huge loss, nearly a terabyte of data with 2 years worth of achievements and whatnot
sounds like you may be entitled to financial compensation. whom do we sue?
@冥王Hades hard drive failure? Then sue the hard drive manufacturer. Sounds like @leslietownes volunteers to write your legal complaint. Which jurisdiction should you file, Tokyo or USA?
23:02
Am I sinking or am I swimming?
is shaun asking his question with music now?
@GratefulDisciple yeah, the header somehow ruined the platter completely. No idea how that happened. I was going to switch to SSDs completely but I was putting it off because I’m lazy
and now I payed the heavy price of losing all the data
@leslietownes it’s Seagate
I purchased the hard drive in the US, so probably US? I don’t know anything about legal matters unfortunately
I’m gonna try to see how much of that was stored in the cloud, most of these game services have their own cloud storage solutions for this reason, I doubt I’ll get all of it back though
23:17
@冥王Hades How did you know that the head ruined the platter? It's unlikely, more that the heads are damaged and the platters could probably be transferred to another drive of the same model. Get a quote from a data recovery company. At any rate, if the platters DO get damaged, the damage should be local, and there are still lots of sectors that can be saved. Yes, it's expensive, but you seem to be able to afford it.
@冥王Hades Just kidding about the lawsuit. They only provide replacement when the drive is in warranty.
@GratefulDisciple I just performed an open surgery on the drive, the platter is ruined. Now it’s just my hypothesis that the header did it, because I can’t see any other cause. I’m gonna take it to a large Seagate lab to see how much of the data can be recovered regardless
This is why I prefer SSDs. No moving parts
23:55
Moral of the story: extensive backups.
does anyone like nirvana here?
Several years ago, I was driving my daughter somewhere, and Teen Spirit was on the radio. I was trying to convince her that it was a great song. At the end of the song, the DJ came in with station identification, which ended with "...YOUR home all the best OLDIES."
Screw that DJ. :(
Oldies, my ass.
jakob: maybe quicker to ask people to self-identify if they don't like nirvana
I'm asking for both to be honest
@XanderHenderson is it a song that old people listen to?

« first day (4758 days earlier)      last day (559 days later) »