Akiva Weinberger

Jun 15 17:00
If I had to guess, this would follow from Schanuel's conjecture somehow (see here for an example use of it). Unfortunately, it is still unknown if Schanuel's conjecture is true or false.
Jun 15 17:00
I edited it so the question appears in the body.
 

 Mathematics

Associated with Math.SE; for both general discussion & math qu...
Apr 18 15:07
0
Q: Can one embed $\frac{n^2(n^2-1)}{12}$ planes in $\Bbb R^n$ in a symmetric way to determine the Riemann curvature tensor?

Akiva WeinbergerTo explain my question I need to discuss two notions from differential geometry (the Riemannian curvature tensor and sectional curvature), but this is really a linear algebra / Euclidean geometry question, so I will provide background material. The Riemann curvature tensor is a certain linear fun...

Apr 2 03:38
<3
Apr 1 21:29
@Addem Hopefully it's the only incorrect statement in there!
Apr 1 18:51
1. The halting problem states that any computer eventually stops working, which is a problem.
2. Hall's marriage problem asks how to recognize if two dating profiles are compatible.
3. In probability theory, Kolmogorov's zero–one law states that anything either happens or it doesn't.
4. The four color theorem states that you can print any image using cyan, magenta, yellow, and black.
5. 3-SAT is how you get into 3-college.
6. Lagrange's four-square theorem says 4 is a perfect square.
7. The orbit–stabilizer theorem states that the orbits of the solar system are stable.
4
Feb 7 18:29
2
Q: Showing that the number of spanning directed trees of a directed graph does not depend on root or direction

Akiva WeinbergerA directed tree is called an in-tree if all of the edges points towards a root, and an out-tree if all edges point away from a root. (Equivalently, an in-tree is any connected directed graph for which every vertex has out-degree $1$ except for one, called the root, which has out-degree $0$; an ou...

Feb 7 18:29
I asked a question on Math Stack Exchange
Jan 27 21:32
0
Q: What is known about elementary equivalence of open set posets of topological spaces?

Akiva WeinbergerRecall from model theory that two structures are called elementarily equivalent if they satisfy the same first-order sentences. In other words, two structures $\frak A$ and $\frak B$ of the language $\cal L$ are elementarily equivalent (written $\frak A\equiv\frak B$) if $\operatorname{Th}(\frak ...

Jan 27 21:32
I posted a question on the big boy site
Dec 9, 2024 21:25
What's up with all the zeros
Dec 9, 2024 21:24
Dec 9, 2024 21:24
0
Q: Taylor series has a surprising amount of powers of 10

Akiva WeinbergerI was messing around with Wolfram Alpha and eventually found the following surprising fact: \begin{align*}\frac{\tanh^{-1}(\frac23\sqrt{1+x})-\tanh^{-1}(\frac23)}{\sqrt{1+x}}={}&\frac35x-\frac{21}{100}x^2+\frac{303}{1000}x^3-\frac{7\,533}{40\,000}x^4\\&+\frac{437\,289}{2\,000\,000}x^5-\frac{1\,34...

Dec 9, 2024 21:24
I asked a question on main
Dec 9, 2024 21:24
What's new
Dec 9, 2024 21:24
Hey
Aug 14, 2024 18:05
0
Q: The fisher and the fish

Akiva WeinbergerA fisher is somewhere on the edge of a rectangle-shaped lake, and a fish is somewhere inside of it. The lake measures $a\times b$. What is the probability that the fisher is closer to the center than the fish is? (Assume that the probability distributions of the fisher and fish are both uniform.)...

Aug 14, 2024 18:05
Btw I did another post
Aug 14, 2024 18:05
@AlessandroCodenotti Topology probably
Aug 14, 2024 17:07
@AlessandroCodenotti Moving to Waltham tomorrow, gonna start my master's degree at Brandeis
Aug 14, 2024 05:27
Who among us
Aug 14, 2024 05:25
Not sure...
Aug 14, 2024 05:25
Hi Allie
Aug 14, 2024 05:12
(Puzzle: Find the exact value for a regular n-gon. This is doable with pure pencil and paper and not too much pain if you do it cleverly, but there's no shame in using Wolfram Alpha to bash integrals.)
Aug 14, 2024 05:11
For a pentagon it involves the logarithm of something golden ratio-y.
Aug 14, 2024 05:11
PS, for a triangle it's (3-2ln2)/9 ≈ 0.179300626542.
Aug 14, 2024 05:10
What happens for a cube rather than a square? (I do not know the answer, other than that it should be larger)
Aug 14, 2024 05:10
Given a square, Alice chooses a random point on its boundary and Bob chooses a random point in its interior. The probability that Alice's point is closer to the center than Bob's is, is (1-ln2)/3 ≈ 0.102284273147.
Aug 8, 2024 03:14
So if dimV>dimW, then V has more elements, so it can't inject into W.
Aug 8, 2024 03:14
Note that for a map V->W to make sense, they must be vector spaces over the same field.
Aug 8, 2024 03:13
@Obliv This is also true for finite fields.
Aug 8, 2024 03:13
Also, it diverges if a+b<c (because it's roughly \sum 1/n^(a+b-c+1))
Aug 8, 2024 02:44
@AkivaWeinberger Typo! “If $a,b\ge c$ and $0$ otherwise.”
Aug 8, 2024 02:27
I believe it… but I've never read about them so I don't know what's known about them already
Aug 8, 2024 02:27
@Jakobian Is that what these are
Aug 8, 2024 01:11
Also, what's s?
Aug 8, 2024 01:11
Is there any nice way to prove it?
Aug 8, 2024 01:11
I discovered this earlier
Aug 8, 2024 01:10
$\displaystyle\sum_{n=0}^\infty\frac{n!(n+c)!}{(a+1+n)!(b+1+n)!}$ is of the form $\dfrac{\pi^2}6r+s$ for $r,s\in\Bbb Q$, where $r$ (the “pi part”) is $(-1)^c\dfrac{(a+b-c)!}{a!b!(a-c)!(b-c)!}$ if $a,b>0$ and $0$ otherwise.
Aug 6, 2024 16:54
I do but I haven't read that much of it
Aug 2, 2024 13:22
@ThomasFinley There's another thing, usually written $Df$, which is a vector. In our example, $Df=\begin{bmatrix}3x^2y^5&5x^3y^4\end{bmatrix}$. (This is the same as the gradient except that it's a row vector. Though, conventions differ.)
Aug 2, 2024 13:17
:66054971 There is something called the "total derivative." The total derivative of $f=x^3y^5$ (for example) is ${\rm d}f=3x^2y^5\,{\rm d}x+5x^3y^4\,{\rm d}y$. The interpretation here is that if $x$ and $y$ both change by tiny amounts ${\rm d}x$ and ${\rm d}y$, the amount $f$ changes depends on both tiny amounts.
Aug 2, 2024 02:20
Weird integral stuff
Aug 2, 2024 02:20
0
Q: What is $\displaystyle\int_0^1\int_0^1\frac{x^a(1-y)^b}{(1-xy)^c}\,{\rm d}x\,{\rm d}y$?

Akiva Weinberger$\quad$What is the value of the integral $$\int_0^1\int_0^1\frac{x^a(1-y)^b}{(1-xy)^c}\,{\rm d}x\,{\rm d}y?$$ for nonnegative integers $a,b,c$? $\quad$For example, setting $b=4$, $c=3$, and letting $a$ vary, it seems that $\displaystyle\int_0^1\int_0^1\frac{x^a(1-y)^4}{(1-xy)^3}\,{\rm d}x\,{\rm d...

Jul 31, 2024 03:56
(You can also get it indirectly from the halting problem, by considering the program that tests if programs halt by searching for proofs or disproofs of their haltingness.)
Jul 31, 2024 03:53
So this is Gödel's first incompleteness theorem.
Jul 31, 2024 03:51
Step 6: Note that sub(n,n) encodes P(sub(n,n)). (The construction of sub(n,n) - which is simply some integer - and the sentence it encodes is called "diagonalization.")
Step 7: P(sub(n,n)) is true but unprovable.
Jul 31, 2024 03:50
[Small caveat. PA's syntax can't handle functions directly, so we need a workaround: instead of a function sub(x,y), you're going to want a sentence Sub(x,y,z) that's equivalent to sub(x,y)=z. Thus instead of n encoding P(sub(x,x)), it should really encode ∃y,Sub(x,x,y)∧P(y).]
 
Feb 11 11:33
I recommend watching the series titled "Imaginary Numbers Are Real" by Welch Labs on YouTube.
Feb 11 11:33
Complex numbers are useful for describing things that rotate and/or oscillate. For instance, a wave has a wavelength, amplitude, a phase - the amplitude and phase can be described with a single complex number, and this can be used to simplify calculations.