User john mangual - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T06:04:19Z http://mathoverflow.net/feeds/user/1358 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/131614/symmetric-sums-and-representations-of-so3 Symmetric sums and Representations of SO(3) John Mangual 2013-05-23T16:47:43Z 2013-05-23T16:47:43Z <p>I had tried to help someone on <a href="http://math.stackexchange.com/questions/400270/how-prove-that-1-tra2-sum-1-le-i-le-j-le-3a-ij-a-ji2-4" rel="nofollow">math.StackExchange</a> to prove the identity:</p> <p>$$(1-Tr(A))^2+\sum_{1\le i\le j\le 3}(a_{ij}-a_{ji})^2=4$$</p> <p>I guess you could argue the left hand side is independent of basis. Then we can diagonalize. But I couldn't come up with an invariant way of expressing the 2nd term. </p> <p>Someone came up with $(1-\mathrm{Tr}\,A)^2- \frac{1}{2}\mathrm{Tr}\left[(A-A^T)^2\right]=4$ and prove it.</p> <p>This look a bit Pythagoras' theorem since $1 - Tr A = 2 \cos \varphi$ so the other term must be $\sum_{1\le i\le j\le 3}(a_{ij}-a_{ji})^2 = 2 \sin \varphi$ which I also couldn't prove. </p> <p>Is this sum related to a direct sum of representations of <strong>SO(3)</strong>?</p> http://mathoverflow.net/questions/125279/sequences-of-non-crossing-matchings-by-mutation sequences of non-crossing matchings by mutation John Mangual 2013-03-22T14:33:09Z 2013-05-19T02:10:45Z <p>In <a href="http://front.math.ucdavis.edu/0606.5169" rel="nofollow">Polynomials, meanders, and paths in the lattice of noncrossing partitions</a>, they talk about sequences of non-crossing matchings related by "flips".</p> <p>Savitt counts "maximal chains of 2-divisible noncrossing partitions to the set of necklaces" and there seems to be some relation to parking functions. </p> <p>What do these bijections look like?</p> http://mathoverflow.net/questions/130636/how-to-get-3-manifold-knots-from-number-fields How to get 3-manifold, Knots from Number Fields John Mangual 2013-05-14T21:19:18Z 2013-05-17T20:31:02Z <p>I'm reading a paper On the <a href="http://arxiv.org/abs/1212.3847" rel="nofollow">Torsion Jacquet-Langlands correspondence</a> by Akshay Venkatesh and Frank Calegari. </p> <p>Truthfully speaking I have no idea what Jacquet-Landlands <em>is</em>. I'm just trying to understand why there are knots in a paper on algebraic number theory and some of the players involved in that paper.</p> <p>To keep matters simple, how do we pass between number fields and 3-manifolds and why is this beneficial? Poking around this paper, I find a version of the <a href="http://en.wikipedia.org/wiki/Congruence_subgroup" rel="nofollow">congruence groups</a>: $$\Gamma_0(\mathfrak{n}) = \left\{ \left( \begin{array}{cc} a &amp; b \\ c &amp; d\end{array} \right) : \mathfrak{n}\big|\, c\right\} \subset PGL_2(\mathbf{O}_F)$$ </p> <p>where $\mathbf{O}_F$ is an order of a number field. We get a 3-manifold by quotienting hyperbolic 3-space: $\mathbb{H}^3/\Gamma_0(\mathfrak{n})$. Apparently, there's also another similar way to do it with <em><a href="http://en.wikipedia.org/wiki/Quaternions" rel="nofollow">quaternions</a></em>.</p> <p>They then proceed to look at look at some group-cohomology invariants of the group and then they use some spectral theory and the rest of paper mostly goes over my head. Well... we do get this:</p> <blockquote> <p>However, along the way, we took many detours to explore related phenomena, some of which was inspired by the data computed for the ﬁrst author by <a href="http://www.math.uiuc.edu/~nmd/" rel="nofollow">Nathan Dunﬁeld</a>. In view of the almost complete lack of rigorous understanding of torsion for (nonHermitian) locally symmetric spaces, we have included many of these results, even when what we can prove is rather modest.</p> </blockquote> <p>The take-home message seems to be that we have constructed a large collection of infinite groups and actions on low-dimensional spaces of interest number theorists. Arithmetic lattices look like they play an important role.</p> <p>I guess I'm trying to understand better <strong>how this connection between knots and number fields works</strong> and how Calegari and Venkatesh are using it to get a handle of the many invariants (which I may save for later questions).</p> http://mathoverflow.net/questions/124161/hilbert-matrix-and-approximation-theory Hilbert Matrix and Approximation Theory John Mangual 2013-03-10T16:53:14Z 2013-05-09T18:22:00Z <p>I was reading about the <a href="http://en.wikipedia.org/wiki/Hilbert_matrix" rel="nofollow">Hilbert matrix</a> and <a href="http://en.wikipedia.org/wiki/Cauchy_matrix" rel="nofollow">Cauchy determinants</a>:</p> <p>$\det \left[ \frac{1}{i+j-1} \right]_{i,j}$</p> <p>By guessing where this determinant is 0 or ∞ we can guess the right formula. In Wikipedia, I found this problem:</p> <blockquote> <p>"Assume that I = [a, b] is a real interval. Is it then possible to find a non-zero polynomial P with integral coefficients, such that the integral $\int_a^b P(x)^2\, dx$ is smaller than any given bound ε > 0, taken arbitrarily small?"</p> <p>To answer this question, Hilbert derives an exact formula for the determinant of the Hilbert matrices and investigates their asymptotics. He concludes that the answer to his question is positive if the length b − a of the interval is smaller than 4.</p> </blockquote> <p>I'm asking for a reference / proof to this exercise. I think you can expand $P$ in <a href="http://en.wikipedia.org/wiki/Legendre_polynomials" rel="nofollow">Legendre polynomials</a>, or use the <a href="http://en.wikipedia.org/wiki/Gramian_matrix" rel="nofollow">Gram determinant</a>.</p> <p>In general, why is this matrix related to approximation theory?</p> http://mathoverflow.net/questions/71802/analysis-of-misere-nim Analysis of Misere Nim? John Mangual 2011-08-01T15:15:51Z 2013-04-08T20:59:50Z <p>My friend likes to impress people by playing 3-5-7 which has three piles of counters of sizes 3, 5 and 7. You can remove any number of coins from a single pile, the last player to move loses.</p> <p>ooo<br> ooooo<br> ooooooo</p> <p>This is a winning position for the first player, but With a solid understanding of the game tree she wins nearly every time playing second. She says, it reduces to knowing a few winning positions.</p> <p>Two piles of the same size is second player win, in the jargon of <a href="http://lessonsinplay.heartofthetree.ca/" rel="nofollow">Combinatorial Game Theory</a>. Here is the pile (5,5). </p> <p>ooooo<br> ooooo</p> <p>If first player moves to (5,n) for n > 1, second player can imitate on the other pile, moving to (n,n). However, if first player moves to (5,1), second player moves to 1 and wins.</p> <p>The other winning positions she remembers is (3,4,1) and (4,5,1). She can win once she recognizes these positions. Eventually (after losing many times) I told her that (n, n+1,1) is a losing position for any n...</p> <hr> <p>If our game were played in normal play convention (player moving last <strong>wins</strong>), but real life <a href="http://en.wikipedia.org/wiki/Nim" rel="nofollow">Nim</a> is played as a <a href="http://miseregames.org/" rel="nofollow">misere</a> game. Probably the analysis is similar to normal-play Nim with some modification. </p> <p>Recently there was a theory of <a href="http://arxiv.org/abs/math.CO/0612616" rel="nofollow">Misere quotients</a> where each game has a commutative monoid assoicated with it. What does that monoid looks like here? Is it finitely generated?</p> http://mathoverflow.net/questions/62302/examples-of-amenable-groups-other-than-z-n Examples of Amenable Groups other than Z_n John Mangual 2011-04-19T17:24:56Z 2013-04-04T20:29:43Z <p>I'm reading about amenable groups. What are explicit examples of nonabelian discrete <a href="http://en.wikipedia.org/wiki/Amenable_group" rel="nofollow">amenable groups</a> other than finite groups? Perhaps a group presentation or matrix representation would be useful.</p> http://mathoverflow.net/questions/125564/variant-of-haar-measure variant of Haar measure John Mangual 2013-03-25T20:57:14Z 2013-03-25T21:02:17Z <p>I found a certain trig identity in a discussion on Lie groups </p> <p>$\frac{\prod_{i &lt; j} 2 \sin (\mu_i - \mu_j) \prod_{i&lt; j} 2 \sin (\nu_i - \nu_j) }{\prod_{i, j} 2 \cos (\mu_i - \nu_j) } = \det_{i,j} \frac{1}{2 \cos (\mu_i - \nu_j)}$</p> <p>This is the <a href="http://en.wikipedia.org/wiki/Cauchy_matrix" rel="nofollow">Cauchy determinant formula</a>. </p> <p>$\det_{i,j} \frac{1}{\mu_i - \nu_j} = \frac{\prod_{i &lt; j} \mu_i - \mu_j \prod_{i&lt; j} \nu_i - \nu_j}{\prod_{i, j} \mu_i - \nu_j }$</p> <p>It seems to be related to the Haar measure on $U(n)$, which would have a factor:</p> <p>$\prod_{i &lt; j} \sin (\mu_i - \mu_j)$</p> <p>I am thrown off by the cosine factor in the denominator. </p> <hr> <p>Could it be the Haar measure of a quotient on $U(n) \times U(n)$?</p> http://mathoverflow.net/questions/124161/hilbert-matrix-and-approximation-theory/124524#124524 Answer by John Mangual for Hilbert Matrix and Approximation Theory John Mangual 2013-03-14T14:54:08Z 2013-03-14T14:54:08Z <p>In the generically titled, <a href="http://link.springer.com/article/10.1007%252FBF02418278?LI=true" rel="nofollow">Ein Beitrag zur Theorie des Legendre'schen Polynoms</a> Hilbert says integral $\int_a^b P(x)^2 \, dx$ defines quaratic form over the space of polynomials of degree $\leq n$.</p> <p>Over $[0,1]$ the determinant in the basis $\{ 1, x, x^2, \dots, x^n \}$ is:</p> <p>$D_{[a,b]} = \int_{[a,b]^n} x_1^{n-1}x_2^{n-2}\dots x_{n-2}^2 x_{n-1} \prod_{i &lt; j}(x_i - x_j)^2 d\mathbf{x} = \left( \frac{b-a}{2} \right)^{n^2} D$</p> <p>Usually Legendre polynomials are defined over [0,1], but you can do a change of variables. In that basis the quadratic form is diagonalized:</p> <p>$\int_a^b P(x)^2 \, dx = \frac{2}{2n-1}b_1^2 + \frac{2}{2n-3} b_2^2 + \dots$</p> <p>where we expand in Legendre polynomials $P(x) = b_1 p_1(x) + b_2 p_2(x) + \dots$ You are finding the determinant of this change of variables:</p> <p>$\left| \begin{array}{cccc} 1 &amp; \frac{1}{2} &amp; \dots &amp; \frac{1}{n} \\ \frac{1}{2} &amp; \frac{1}{3} &amp; \dots &amp; \frac{1}{n+1} \\ \vdots &amp; &amp; &amp; \vdots \\ \frac{1}{n} &amp; \frac{1}{n+1} &amp; \dots &amp; \frac{1}{2n+1} \end{array}\right| = \frac{[1^{n-1}2^{n-2}\dots (n-2)^2(n-1)]^4}{1^{2n-1}2^{2n-2}\dots (2n-2)^2(2n-1)}$</p> <p>The discriminant of this quadratic form to be proportional to $\left(\frac{b-a}{4}\right)^n$ which tends to 0 for $b-a &lt; 4$.</p> <p>Polynomials with integer coefficients form an lattice in the space of polynomials. For this discriminant to tend to 0, there must be polynomials with arbitrarily small norm. </p> <hr> <p>I still find this result counterintuitive... We can find explicit examples, when $|a|,|b|&lt;1$</p> <p>$\int_{a}^b x^{2n} \, dx = \frac{b^{2n+1}-a^{2n+1}}{2n+1}$</p> <p>but not sure about $a=0,b=2$, for example.</p> http://mathoverflow.net/questions/122539/the-unreasonable-effectiveness-of-pade-approximation/122542#122542 Answer by John Mangual for The unreasonable effectiveness of Pade approximation John Mangual 2013-02-21T15:30:01Z 2013-02-22T15:43:04Z <p>Walter Van Assche gives a modern account of <a href="http://arxiv.org/abs/math/0609094" rel="nofollow">Pade Approximation</a>, a variant of these were used in the proof that <a href="http://en.wikipedia.org/wiki/Transcendental_number#Sketch_of_a_proof_that_e_is_transcendental" rel="nofollow">e is transcendental</a>. </p> <hr> <p>In the case that $f(z)$ is the Cauchy transform of a compactly supported measure $\mu(x)$,</p> <p>$f(z) = \int \frac{1}{z-x} d\mu(x)$</p> <p>Then $P_n(x)$ is an orthogonal polynomial with respect to $\mu(x)$ while </p> <p>$Q_{n-1}(z) = \int_a^b \frac{P_n(z) - P_n(x)}{z-x} \, \mu(x)$</p> <p>Then we approximate $f(z)$ as a rational function </p> <p>$P_n(z) - f(z) Q_{n-1}(z) = \int_a^b \frac{P_n(x)}{z-x}\, d\mu(x)$</p> <p>Then there exists a function $r(z)$ such that the pointwise convergence of the Pade approximants is exponential as we move along the diagonal.</p> <p>$\lim_{n \to \infty} \left| f(z) - \frac{Q_{n-1}(z)}{ P_n(z)}\right|^{1/n} = \frac{1}{r^2}$</p> <p><hr> <strong>ORIGINAL ANSWER</strong></p> <p>The coefficients of the series $a_1, a_2, a_3, \dots$ are an infinite amount of data. The radius of convergence is a property of this sequence $1/R = \limsup |a_n|^{1/n}$ using the <a href="http://en.wikipedia.org/wiki/Root_test" rel="nofollow">root test</a>.</p> <ul> <li><p>The Pade approximation is defined the outside the radius of convergence of the Taylor series </p></li> <li><p>The Pade $[m/n]_f(x)$ and Taylor approximations $[(m+n)/0]_f(x)$ <strong>agree</strong> up to order $O(x^{m+n+1})$.</p></li> </ul> <p>A paper by Hubert S. Wall, dating back to 1929, relates <a href="http://www.ams.org/journals/tran/1929-031-01/S0002-9947-1929-1501470-X/S0002-9947-1929-1501470-X.pdf" rel="nofollow">Pade approximants the Stieltjes moment problem and continued fractions</a>.</p> <hr> <p><strong>EDIT</strong>: My guess is Pade approximant is <em>not</em> always better than Taylor series. </p> <p>As a counter example let's find $[0/1]_{z+1}$:</p> <p>$z + 1 \approx \frac{1}{1-z} \mod z^2$</p> <p>Taylor series is exact and the 1-1 approximant diverges.</p> <p>In your example, $\sqrt{\frac{1+\frac{z}{2} }{1+2z}} \to \frac{1}{2}$ for large values and likely the 1,1 approximant does the same, making it a good global fit. The 0,2 or 2,0 approximants will have different global behavior. I was unable to find any precise comparison, overall.</p> <hr> <hr> <p>Continued fractions are known to be "<a href="http://en.wikipedia.org/wiki/Continued_fraction#Best_rational_approximations" rel="nofollow">best approximations</a>" in a certain sense. </p> <blockquote> <p>A best rational approximation to a real number x is a rational number d/n, d > 0, that is closer to x than any approximation with a smaller denominator.</p> </blockquote> <p>Wikipedia's example is to approximate </p> <p>$0.84375 = \cfrac{1}{1 + \cfrac{1}{5 + \cfrac{1}{2 + \cfrac{1}{2}}}} = [0;1,5,2,2]$</p> <p>We can stop in the middle of this process to get the closes fraction given an upper bound on the denominator.</p> <p>$0.84375 \approx 1,\frac{5}{6}, \frac{ 11}{13 } , \frac{27}{32}$</p> <p>The farey fractions up to denominator 6 are </p> <p>$$0,\frac{1}{6}, \frac{1}{5},\frac{1}{4},\frac{1}{3},\frac{2}{5},\frac{1}{2},\frac{3}{5},\frac{2}{3},\frac{3}{4},\frac{4}{5},\mathbf{\frac{27}{32}},\frac{5}{6} 1$$</p> <hr> <p><a href="http://en.wikipedia.org/wiki/Pade_table#An_example_.E2.80.93_the_exponential_function" rel="nofollow">Pade approximants</a> are best approximations of functions and can be calculated used a kind of continued fraction. </p> <p>You get an approximation $\frac{p(x)}{q(x)}$ for given degrees $m = \deg p, n = \deg q$. You are trying to find a polynomial greatest common divisor between your Taylor series and a monomial, </p> <p>$\gcd(T_{m+n}(x), x^{m+n+1} )$</p> <p>You can do this Euclid algorithm doing polynomial long division and taking the remainder at each step:</p> <p>$\frac{p(x)}{q(x)} \equiv T_{m+n}(x) \mod x^{m+n+1}$</p> <p>Here is the table for $e^z$ from Wikipedia: (also <a href="http://mathoverflow.net/questions/41226/pade-approximant-to-exponential-function" rel="nofollow">http://mathoverflow.net/questions/41226/pade-approximant-to-exponential-function</a>)</p> <p>$\begin{array}{c||c|c|c} &amp; 0 &amp; 1 &amp; 2 \\ \hline \hline 0 &amp; \frac{1}{1} &amp; \frac{1}{1-z} &amp; \frac{1 }{1 - z + \frac{1}{2}z^2 } \\ \hline 1 &amp; \frac{1+z}{1} &amp; \frac{1+ \frac{1}{2} z}{ 1- \frac{1}{2} z} &amp; \frac{1 + \frac{1}{3}z }{ 1 - \frac{2}{3}z + \frac{1}{6}z^2 } \\ \hline 2 &amp; \frac{1 - z + \frac{1}{2}z^2 }{1 } &amp; \frac{ 1 - \frac{2}{3}z + \frac{1}{6}z^2 }{1 + \frac{1}{3}z } &amp; \frac{ 1+ \frac{1}{2} z + \frac{1}{12} z^2}{ 1- \frac{1}{2} z + \frac{1}{12} z^2 } \end{array}$</p> <hr> <p>Let's try to work out the steps for m=2, n=2 (not in Wikipedia). This involves the GCD of the 4th Taylor polynomial $1 + z + \frac{1}{2}z^2 + \frac{1}{6}z^3 + \frac{1}{24}z^4$ and $z^{5}$.</p> <p>$\frac{1}{24} z^5 = (z-4)\left(1 + z + \frac{1}{2}z^2 + \frac{1}{6}z^3 + \frac{1}{24}z^4\right) + \left(4 + 3z + z^2 + \frac{1}{6}z^3 \right)$</p> <p>$1 + z + \frac{1}{2}z^2 + \frac{1}{6}z^3 + \frac{1}{24}z^4 = \left( \frac{1}{4}z - \frac{1}{2} \right)\left( 4 + 3z + z^2 + \frac{1}{6}z^3 \right) + \left( 3 + \frac{3}{2}z + \frac{1}{4}z^2 \right)$</p> <p>$4 + 3z + z^2 + \frac{1}{6}z^3 = \frac{2}{3}z \left( 3 + \frac{3}{2}z + \frac{1}{4}z^2 \right) + (z+4)$</p> <p>$3 + \frac{3}{2}z + \frac{1}{4}z^2 = \left( \frac{1}{4}z + \frac{1}{2}\right)(z+4) + 1$</p> <p>Using the 1st two long divisions, we get the (2,2) Pade approximant.</p> <p>$1 + z + \frac{1}{2}z^2 + \frac{1}{6}z^3 + \frac{1}{24}z^4 \approx \frac{ 3 + \frac{3}{2}z + \frac{1}{4}z^2 }{(z-4) \left( \frac{1}{4}z - \frac{1}{2} \right)+1 } = \frac{ 1+ \frac{1}{2} z + \frac{1}{12} z^2}{ 1- \frac{1}{2} z + \frac{1}{12} z^2 }$</p> <hr> <p>Alternatively compare coefficients of your rational approximation and polynomial $a_0 + a_1 x + a_2 x^2 + a_3 x^3 + a_4 x^4 \approx \frac{p_0 + p_1 x + p_2 x^2}{q_0 + q_1 x + q_2 x^2 }$ Then you can solve the system of equations: \begin{eqnarray*} a_0 &amp;=&amp; p_0 \\ a_1 + a_0 q_1 &amp;=&amp; p_1 \\ a_2 + a_1 q_1 + a_0 q_2 &amp;=&amp; p_2 \\ a_3 + a_2 q_1 + a_1 q_0 &amp;=&amp; 0 \\ a_4 + a_3 q_1 + a_2 q_0 &amp;=&amp; 0 \end{eqnarray*}</p> <p>Cramer rule gives you the correct fraction at the end:</p> <p>$\frac{ \left|\begin{array}{ccc} a_1 &amp; a_2 &amp; a_3 \\ a_2 &amp; a_3 &amp; a_4 \\ a_0 x^2 &amp; a_0 x + a_1 x^2 &amp; a_0 + a_1 x + a_2 x^2 \end{array} \right|} { \left|\begin{array}{ccc} a_1 &amp; a_2 &amp; a_3 \\ a_2 &amp; a_3 &amp; a_4 \\ x^2 &amp; x &amp; 1 \end{array} \right|} = \frac{ \left|\begin{array}{ccc} 1 &amp; 1/2 &amp; 1/6 \\ 1/2 &amp; 1/6 &amp; 1/24 \\ x^2 &amp; x + x^2 &amp; 1 + x + \frac{1}{2} x^2 \end{array} \right|} { \left|\begin{array}{ccc} 1 &amp; 1/2 &amp; 1/6 \\ 1/2 &amp; 1/6 &amp; 1/24 \\ x^2 &amp; x &amp; 1 \end{array} \right|}$</p> http://mathoverflow.net/questions/78361/which-integers-take-the-form-x2-xy-y2 which integers take the form x^2 + xy + y^2 ? John Mangual 2011-10-17T17:03:13Z 2013-02-13T13:20:30Z <p>I guess one way of putting it, when does the series $\sum_{x,y \in \mathbb{Z}} q^{x^2+xy+y^2}$ have nonzero coefficients?</p> <p>The analogous answer for $\sum_{x,y \in \mathbb{Z}} q^{x^2+y^2}$ is that $q^n$ appears when $\mathrm{ord}_p(n)$ be even for all primes.</p> <p>Is there a closed form for either of these with quadratic characters or theta functions or something?n</p> http://mathoverflow.net/questions/109053/a-q-t-extension-of-plancherel-measure-thru-yang-mills-theory A q,t-extension of Plancherel Measure thru Yang-Mills Theory ? John Mangual 2012-10-07T12:06:49Z 2013-01-18T14:22:00Z <p>Buried in the physics paper by <a href="http://arxiv.org/abs/hep-th/0306238" rel="nofollow">Nekrasov and Okounkov</a>, a strange identity is proven: $$\prod_{n > 0} (1 - q^n)^{\mu^2-1} = \sum_{\mathbf{k}} q^{|\mathbf{k}|} \prod_{\square \in k} \left( 1 - \frac{\mu^2}{h(\square)^2}\right)$$ where the left side is a q-series and the right side is the sum over all partitions. Ihis was proven by physical considerations, evaluating the Yang-Mills partition function in 2 different ways.</p> <p>The partitions could index representations of the permutation group $S_n$. We can define measure on partitions, $\mathrm{Irr}(S_n)$ by</p> <p>$$\mathbb{P}_{\mu, t} (\mathbf k) = \prod_{n \geq 1} (1-t^n)^{1-\mu^2} q^{|\mathbf{k}|} \prod_{\square \in k} \left( 1 - \frac{\mu^2}{h(\square)^2}\right)$$</p> <p>In fact, 3 years later Alexei Borodin explains this formula <a href="http://arxiv.org/abs/math/0601019" rel="nofollow">interpolates between uniform and Plancherel measures</a> on partitions.</p> <p><hr> Can this be extended to a q,t-deformation of uniform measure on the permutation group? Maybe through something similar to Robinson-Schensted correspondence.</p> http://mathoverflow.net/questions/109053/a-q-t-extension-of-plancherel-measure-thru-yang-mills-theory/118056#118056 Answer by John Mangual for A q,t-extension of Plancherel Measure thru Yang-Mills Theory ? John Mangual 2013-01-04T14:10:52Z 2013-01-04T14:10:52Z <p>Recently there is <a href="http://arxiv.org/abs/1212.6716" rel="nofollow">An insertion algorithm associated with q-Whittaker functions</a> </p> <p>defining a q-weighted form of the Robinson-Schensted algorithm. </p> <p>The <a href="http://arxiv.org/abs/1111.4408" rel="nofollow">MacDonald processes</a> contain many examples of "integrable" combinatorial processes on <a href="http://arxiv.org/abs/math/0211289" rel="nofollow">Gelfand-Tsetlin patterns</a> (see this <a href="http://research.microsoft.com/en-us/people/ivcorwin/talk_macdonald_neutral.pdf" rel="nofollow">talk</a>).</p> <ul> <li>q-Whittaker processes</li> <li><a href="http://arxiv.org/abs/0809.2138" rel="nofollow">Hall-Littlewood processes</a></li> <li>Random matrices</li> <li><a href="http://homepages.warwick.ac.uk/~masgas/bielefeld11.pdf" rel="nofollow">Whittaker processes</a></li> <li><a href="http://icerm.brown.edu/materials/Slides/sp-f12-w1/Clusters_and_features_from_combinatorial_stochastic_processes_%255D_Tamara_Broderick,_University_of_California,_Berkeley.pdf" rel="nofollow">Kingman partition structures</a></li> <li><a href="http://arxiv.org/abs/math.RT/9907127" rel="nofollow">schur processes</a></li> </ul> <p>Many of these feel nature from the point of view of representation theory of symmetric groups. Macdonald functions are a q,t-deformation of this.</p> http://mathoverflow.net/questions/117674/spectrum-of-a-polygon-and-zeta-function spectrum of a polygon and zeta function John Mangual 2012-12-30T21:55:52Z 2012-12-30T23:47:51Z <p>Let $\Delta(x,y) = 1,0$ according to whether $(x,y)$ is in some polygon (symmetric with respect to the diagonal axis). </p> <p>E.g. The convex hull of three points (taken from a paper on <a href="http://arxiv.org/abs/hep-th/0511287" rel="nofollow">dominoes</a>)</p> <p>$\Delta = \bigg\{ r(-1,-1)+s(1,0)+t(0,1): r + s + t = 1\bigg\}$</p> <p>So I am looking for eigenvalues and eigenfunctions of this Kernel:</p> <p>$$f \mapsto \int_{-1}^1 \Delta(x,\;\cdot\;) f(x)\;dx$$</p> <p>This occurred to me while reading this paper by Noam Elkies on <a href="http://mathdl.maa.org/images/upload_library/22/Ford/Elkies561-573.pdf" rel="nofollow">zeta functions</a>, where he studies the spectrum of the convex hull:</p> <p>$$\bigg\{ r(0,0)+s(1,0)+t(0,1): r + s + t = 1\bigg\}$$</p> <p>In that paper he gets a zeta function by taking the trace of this kernel,</p> <p>$$\mathrm{tr}(\Delta^n) = \sum_{i \in \mathbb{Z}} \lambda_i^n$$</p> <p>For Elkies, $\lambda_k = \frac{1}{4k+1}$. See also the paper by <a href="http://www1.combinatorics.org/Volume_18/PDF/v18i2p16.pdf" rel="nofollow">Stanley</a>.</p> <p>He then interprets the trace $\mathrm{tr}(\Delta^n)$ as the volume of a polytope, which I will address separately.</p> http://mathoverflow.net/questions/117280/rotations-harmonic-oscillators-gaussians-ladders Rotations, Harmonic Oscillators, Gaussians, Ladders John Mangual 2012-12-26T21:02:36Z 2012-12-29T12:54:17Z <p>I am trying to understand better the quantization of the Harmonic Oscillator. </p> <hr> <p>Here are three ways of thinking about the Harmonic Oscillator. </p> <ul> <li>Eigenfunctions of the differential operator: $H = -\frac{d^2}{dx^2} + x^2$</li> <li>Eigenfunctions of the oscillator $H = a a^\dagger+ \frac{1}{2}$</li> <li>Special orbits of the $U(1)$ action on the complex plane, level sets of the moment map $H = p^2 + x^2$.</li> </ul> <p>Are there any places that explain all three of these on equal footing? Items 1 and 2 have a <a href="http://www.lptl.jussieu.fr/files/fi.pdf" rel="nofollow">Wick formula</a> $$\langle a b c d\rangle = \langle a b \rangle \langle c d\rangle + \langle a c \rangle \langle b d\rangle + \langle a d \rangle \langle bc \rangle$$ Is there an analogue in the symplectic geometry case (item 3)? </p> <p>I want to understand better why this is a duality</p> <p>$${\tt rotation,}\;e^{it}\in U(1)\leftrightarrow {\tt gaussians,}\;e^{-x^2} \leftrightarrow {\tt eigenstates, }\;|n\rangle$$</p> <p>Something to that effect, mentioned in these <a href="http://www.math.columbia.edu/~woit/notes23.pdf" rel="nofollow">notes</a>. Does any rotation action get quantized this way? <hr> This question involves rotation actions, in a different way than this other MO qustion: <a href="http://mathoverflow.net/questions/35054/characterizing-the-harmonic-oscillator-creation-and-annihilation-operators-in-a-r" rel="nofollow">http://mathoverflow.net/questions/35054/characterizing-the-harmonic-oscillator-creation-and-annihilation-operators-in-a-r</a></p> <p><strong>EDIT</strong> Here is another MO post where the Bargmann transform arises in quantization of Harmonic Oscillator: <a href="http://mathoverflow.net/questions/94535/representation-of-double-cover-of-un-on-eigenspaces-of-harmonic-oscillator" rel="nofollow">http://mathoverflow.net/questions/94535/representation-of-double-cover-of-un-on-eigenspaces-of-harmonic-oscillator</a></p> http://mathoverflow.net/questions/70451/g-bundles-in-classical-mechanics G-bundles in classical mechanics John Mangual 2011-07-15T17:30:05Z 2012-12-29T05:06:27Z <p>The paper <a href="http://arxiv.org/abs/math/9808070" rel="nofollow">Geometry of the Prytz Planimeter</a> described a mechanical instrument whose configuration space is an $S^1$-bundle with an $SU(1,1)$ action. That paper goes on to study the holonomies of various paths in the base space. Motion is described by a connection on this bundle.</p> <p>I am interested because it's an example of a $G$-bundle appearing in classical mechanics. Are there other <em>explicit</em> classical mechanical systems that engineers study that exhibit the basic concepts of differential geometry so lucidly? </p> http://mathoverflow.net/questions/70451/g-bundles-in-classical-mechanics/117476#117476 Answer by John Mangual for G-bundles in classical mechanics John Mangual 2012-12-29T05:06:27Z 2012-12-29T05:06:27Z <p>Just to record what I heard from another source, <a href="http://www-lar.deis.unibo.it/euron-geoplex-sumsch/files/lectures_2/slides-bullo.pdf" rel="nofollow">Geometric Control Theory</a> has some promise. Many examples from classical mechanics examined from the point of view of connections on their phase space.</p> <p>The text is <a href="http://motion.mee.ucsb.edu/book-gcms/" rel="nofollow">Geometric Control of Mechanical Systems</a> by Francesco Bullo and Andrew D. Lewis.</p> http://mathoverflow.net/questions/116808/visualizing-singularities-of-maps-from-sphere-to-r2 visualizing singularities of maps from sphere to R^2 John Mangual 2012-12-19T18:23:33Z 2012-12-19T23:42:34Z <p>Is there a classification of singularities from $S^2 \to \mathbb{R}^2$ ? The critical points of the map $(x,y) \mapsto (f_1(x,y),f_2(x,y))$ where the matrix:</p> <p>$\left[\begin{array}{cc}\frac{\partial f_1}{\partial x} &amp; \frac{\partial f_1}{\partial y}\\ \frac{\partial f_2}{\partial x} &amp; \frac{\partial f_2}{\partial y} \end{array} \right]$</p> <p>has less than full rank. Locally, can we draw a picture of what singularities look like?</p> <p>In the case of maps $S^2 \to \mathbb{R}^1$, we just get the critical points where $f(x,y) = f(x_0,y_0) + (x-x_0,y-y_0)^T (D^2 f )(x-x_0,y-y_0)$</p> http://mathoverflow.net/questions/77663/pairs-of-permutations-up-to-simultaneous-conjugation Pairs of Permutations up to Simultaneous Conjugation John Mangual 2011-10-10T05:29:51Z 2012-12-10T21:17:42Z <p>The conjugacy classes of $S_n$ are the cycle types since if $\tau = (\dots)(\dots)\dots(\dots)$, the conjugation $\tau \mapsto \sigma \tau \sigma^{-1}$ permutes the labels in the cycles of $\tau$.</p> <p>Has anyone studied pairs of permutations up to simultaneous conjugation $(\tau_1,\tau_2) \mapsto (\sigma \tau_1 \sigma^{-1}, \sigma \tau_2 \sigma^{-1})$? </p> <p>These are related to branched covers of a once-punctured torus since $\pi_1(\mathbb{T}-\{ pt\}) = \langle a,b| \text{ no relations }\rangle = \mathbb{F}_2$ we need two generators, $\tau_1, \tau_2$.</p> http://mathoverflow.net/questions/114290/bohr-sets-coin-flip-sets-and-roths-theorem Bohr sets, Coin-flip sets and Roth's theorem John Mangual 2012-11-23T21:11:58Z 2012-11-25T20:17:53Z <p>I have been learning about <a href="http://terrytao.wordpress.com/2010/04/08/254b-notes-2-roths-theorem/" rel="nofollow">Roth's theorem</a>, trying to understand how Fourier series and <a href="http://math.nyu.edu/~venkatesh/lec3.pdf" rel="nofollow">dynamical systems</a> (or even <a href="https://matheuscmss.wordpress.com/2012/01/07/applications-of-szemeredis-regularity-lemma-triangle-removal-lemma-roths-theorem-corners-theorem-and-graph-removal-lemma/" rel="nofollow">graph theory</a> and <a href="http://www.cs.cmu.edu/~odonnell/boolean-analysis/" rel="nofollow">binary sequences</a>)are involved in counting arithmetic sequences in sets.</p> <blockquote> <p>Any integer set of positive upper density has infinitely many arithmetic arithmetic sequences of length 3. $$\bar{\delta}(A) = \limsup_{N \to \infty} \frac{|A \cap [-N,N]|}{2N+1}$$</p> </blockquote> <p>These is a dichotomy between structure and randomness </p> <ul> <li>Bohr sets $A = \{ n \in \mathbb{Z} : ||\alpha n - \theta|| &lt; \delta/2 \}$. (Also, <a href="http://arxiv.org/abs/0903.1642" rel="nofollow">nil-Bohr sets</a>).</li> <li>"Coin" flip sets <ul> <li>Flip a coin heads with probability $\delta$, get $\omega \in \{ 0,1\}^\mathbb{Z}$.</li> <li>$A = { n\in \mathbb{Z}: \omega(n) = head}$ is Fourier random almost surely</li> </ul></li> </ul> <p>In both cases, the density can be found exactly $\bar{\delta}(A) = \delta$.</p> <p>After some logical simplifications, the problem boils down to computing correlations between 3 copies of the set $A$</p> <p>$$\mathbb{E}[1_A 1_A 1_A] = \sum_{n,r \in \mathbb{Z}} 1_A(n)1_A(n+r)1_A(n+2r)$$</p> <p>These count arithmetic sequences of all possible lengths and starting points. For Bohr sets and coin-flip sets these terms can be computed exactly.<br> <hr> What are the known asymptotics (if any) for the number of arithmetic sequences of a given difference $r(\bar{\delta})$ as a function of the upper density? </p> <p>I am just trying to understand what is happening in the proof of Roth's theorem. Maybe it is possible to get an "explicit" proof of Roth theorem at least in some cases. </p> http://mathoverflow.net/questions/96840/q-deformation-of-the-permutation-group q-deformation of the permutation group? John Mangual 2012-05-13T16:22:25Z 2012-11-23T09:47:31Z <p>The only definition of a quantum group I know of involves q-deforming the relation $EF-FE=H$ or for SL(2): $\left[ \left( \begin{array}{cc} 0 &amp; 1 \\ 0 &amp; 0 \end{array} \right), \left( \begin{array}{cc} 0 &amp; 0 \\ 1 &amp; 0 \end{array} \right) \right] = \left( \begin{array}{cr} 1 &amp; 0 \\ 0 &amp; -1 \end{array} \right)$</p> <p>All the axioms I have seen are <a href="http://math.mit.edu/~ptingley/QuantumGroupsSpring2011/lecture1.pdf" rel="nofollow">very confusing</a> and don't help me with much. I also get the sense, these should be called 'quantum lie algebras' rather than quantum groups. And I never understood the point of co-commutativity. <hr> For now, what does a q-deformation of the permutation group look like? Or the dihedral group?</p> http://mathoverflow.net/questions/112062/geometric-physical-probabilistic-interpretations-of-riemann-zetan1/112147#112147 Answer by John Mangual for Geometric / physical / probabilistic interpretations of Riemann zeta(n>1)? John Mangual 2012-11-12T05:48:07Z 2012-11-12T13:17:56Z <p>Bourgade, Fujita &amp; Yor shows to get <a href="http://ecp.ejpecp.org/article/view/1244" rel="nofollow">Zeta functions from Cauchy Random Variables</a> for even values and the $\chi_4$ L-functions for odd values. For some reason they always come in this pair. </p> <p>This proof is simplified by <a href="http://www.jstor.org/stable/10.4169/amer.math.monthly.118.10.954" rel="nofollow">Luigi Pace</a> for $\zeta(2)$. The Cauchy Random variable is $$p_X (x) = \frac{2}{1+x^2}$$</p> <p>when we look at the ration of two such random variables $Y = X/X'$. $$p_Y(y) = \frac{4}{\pi^2} \frac{\log y}{y^2-1}$$ Then observe $\mathbb{P}(Y \geq 1) = \mathbb{P}(X &lt; X') = \frac{1}{2}$. So they compute $$\sum_{k=0}^\infty \frac{1}{(2k+1)^2}= \int_0^1 \frac{-\log y}{1 - y^2} = \mathbb{P}(Y \geq 1)= \frac{\pi^2}{8}$$</p> <p><hr> I learned through a blog a proof using <a href="http://linbaba.wordpress.com/2012/06/24/zeta-two-probabilistic-proof/" rel="nofollow">2D Brownian motion</a> at least for the case $\zeta(2)$.</p> <blockquote> <p>Suppose that $f: \mathbb{C} \to \mathbb{C}$ is an analytic function on the neighbourhood of the unit disk. This<br> function maps the unit disk to with boundary where . A two dimensional brownian motion started at $f(0)$ takes on average time $$\mathbb{E}[\tau] = \sum_{k \geq 1} |a_k|^2$$ to exit domain $f(\mathbb{D})$ where $f(z) = \sum_{k \geq 0} a_k z^k$ and $\tau = \inf \{ t > 0: B_t \in \partial f(\mathbb{D}) \}$ is the hitting time of the boundary . </p> </blockquote> <p>You can get $\zeta(2)$ by considering Brownian motion on the strip $\{ x+iy: |x| &lt; \pi/2 \}$ and evaluating the left and right sides. The Brownian motion exit time is $\tau = \pi^2/4$ and $$f(z) = \log(\frac{1-z}{1+z}) = -2\left(z + \frac{z^3}{3} + \frac{z^5}{5} + \dots \right)$$ maps the strip to the unit disk. </p> <p>This style is traced to the arXiv article by <a href="http://arxiv.org/abs/1108.1188" rel="nofollow">Greg Markowsky</a>. <hr> <hr> Also check out this paper by Noam Elkies who relates them to <a href="http://mathdl.maa.org/images/upload_library/22/Ford/Elkies561-573.pdf" rel="nofollow">Alternating permutations</a>. One can show:</p> <p>\begin{eqnarray*} \sum_{k=0}^\infty \frac{1}{(2k+1)^2} &amp;=&amp; \sum_{k= 0}^\infty \int_0^1 \int_0^1 (xy)^{2k}dx\, dy \\ &amp;=&amp; \int_0^1 \int_0^1 \left( \sum_{k= 0}^\infty(xy)^{2k} \right)dx \, dy = \int_0^1 \int_0^1 \frac{ dx \, dy}{1 - (xy)^2} \end{eqnarray*} Then he does the strange <a href="http://www.staff.science.uu.nl/~kolk0101/Publications/calabi.pdf" rel="nofollow">Calabi substitution</a>: $x = \frac{\sin u}{\cos v} ,y = \frac{\sin v }{\cos u}$</p> <p>and recovers a calculus identity: $\int_0^1 \int_0^1 \frac{ dx \, dy}{1 - (xy)^2} = \int_{u+v &lt; \pi/2} 1 \, du \, dv = \frac{\pi^2}{8}$</p> <p>This proof is extended to higher dimensions in Elkies' paper.</p> <p><hr> You can then study the transform $T: L^2[0,\pi/2] \to L^2[0,\pi/2]$, the characteristic function of a triangle.</p> <p>$(Tf)(x)=\int_0^{\pi/2 -x} f(t) \, dt$</p> <p>and ask when does $Tf = \lambda f$. The spectrum of this operator is</p> <p>$\lambda = \frac{1}{4k+1} , f_\lambda(x) = cos (4k+1)u$</p> <p>Then one can take the trace of $T^n$ and compare to the volume of a polytope:</p> <p>\begin{eqnarray} \sum_{k=-\infty}^\infty \frac{1}{(4k+1)^k}&amp;=&amp; \sum_\lambda \langle f |T^n | f \rangle \\ &amp; =&amp; \mathrm{Vol}\bigg(\{0 &lt; x_1 > x_2 &lt; x_3 > \dots &lt; x_{n-1} > x_n > \frac{\pi}{2}\}\bigg) \end{eqnarray} The volume of this polytope can be expressed in terms of alternating permutations. </p> <p>I first learned of this iterated integral idea in Stanley's <a href="http://arxiv.org/abs/0912.4240" rel="nofollow">survey on Alternating Permutations</a>, but also in some papers by Chebikin on <a href="http://arxiv.org/abs/0806.0440" rel="nofollow">Parking Functions</a>, this seems to be an example of a <em>chain polytope</em>. <hr> <hr> What other L-functions can take neat values like $L(k) \in \mathbb{Q}\pi^k$ where $k \in \mathbb{Z}$ ? Possibly need an algebraic extension $K / \mathbb{Q}$.</p> http://mathoverflow.net/questions/112067/sperners-lemma-and-paths-from-one-side-to-the-opposite-one-in-a-grid/112145#112145 Answer by John Mangual for Sperner's lemma and paths from one side to the opposite one in a grid John Mangual 2012-11-12T05:39:10Z 2012-11-12T05:39:10Z <p>If you know the path exists, you can pick a vertex at random (from a side) and find all the vertices reachable from it pretty quickly. If you don't reach the other side, just color those vertices (and whatever part you closed off).</p> <p>Then try again. This process will terminate after finitely many steps.</p> <hr> <p>Then to show such a path exists in the first place. In the dual graph you get a lamination of the disk. Contract all the inner "stuff" to a point. The boundary is divided into two arcs colored black or white and the an the innermost region must touch two points of the same color. The only exception is when there's a from one pt on the black-white boundary to the other.</p> <p>I can try to draw a graphic of this... the connected regions must have interesting shapes within the graph of diagonals as well.</p> <hr> <p>This is very similar to how you prove that Hex has a winning strategy and it depends on the lattice.</p> http://mathoverflow.net/questions/34326/polygonal-billards-programs Polygonal billards programs John Mangual 2010-08-03T03:23:54Z 2012-11-04T05:21:59Z <p>I'm looking for software that will give billiard trajectories in arbitrary plane polygons. After much work I was able to produce this figure.</p> <p><img src="http://www.math.ucsb.edu/~mangual/images/7-gon.gif" alt="alt text"> </p> <p>It was a good exercise, but at this point I wonder if scripts already exist. </p> <p>I've heard if the angles are rational multiples of pi you can unfold the polygon so the billiard flow in the polygon becomes the geodesic flow on a <a href="http://front.math.ucdavis.edu/0609.5392" rel="nofollow">translation surface</a>.</p> http://mathoverflow.net/questions/110956/is-there-a-topograph-for-pythagorean-triples Is there a topograph for Pythagorean triples? John Mangual 2012-10-29T02:48:15Z 2012-10-29T02:53:33Z <p>I have reading Allen Hatcher's notes on <a href="http://www.math.cornell.edu/~hatcher/TN/TNch2.pdf" rel="nofollow">quadratic forms</a>. Naturally, draw a pictures encoding all the values of a quadratic forms in a topographs. These are build by iterating the <a href="http://en.wikipedia.org/wiki/Parallelogram_law" rel="nofollow">parallelogram identity</a>: </p> <p>$$2 Q(\vec{v})+2Q(\vec{w}) = Q(\vec{v}+\vec{w}) + Q(\vec{v}-\vec{w})$$</p> <p>These can be found in Ch 1 of <a href="http://www.maths.ed.ac.uk/~aar/papers/conwaysens.pdf" rel="nofollow">The Sensual (Quadratic) Form</a> by John H Conway. </p> <p>They are many interesting related to <a href="http://en.wikipedia.org/wiki/Farey_sequence" rel="nofollow">Farey fractions</a>, <a href="http://arxiv.org/abs/math/0009113" rel="nofollow">circle packings</a>, <a href="http://en.wikipedia.org/wiki/Voronoi_diagram" rel="nofollow">Voronoi tesselations</a> and <a href="http://www.math.brown.edu/~heeoh/AMSKMS.pdf" rel="nofollow">Kleinian groups</a>.</p> <p><img src="http://oi45.tinypic.com/x4ixl4.jpg" width="400"></p> <p>I am interested points $x,y,z \in \mathbb{Z}^3$ in the quadratic form $Q(x,y,z) = x^2 + y^2 - z^2$ vanishes. It's known such triples exhibit a <a href="http://www.math.sjsu.edu/~alperin/pt.pdf" rel="nofollow">ternary tree structure</a>. One can multiply vector $(x,y,z)$ by any of</p> <p>$$\left[\begin{array}{ccc}1 &amp;-2 &amp; 2 \\ 2&amp; -1&amp; 2\\ 2&amp; -2 &amp; 3 \end{array} \right] \text{ or } \left[\begin{array}{ccc}1 &amp;2 &amp; 2 \\ 2&amp; 1&amp; 2\\ 2&amp; 2 &amp; 3 \end{array} \right] \text{ or } \left[\begin{array}{ccc}-1 &amp;2 &amp; 2 \\ -2&amp; 1&amp; 2\\ -2&amp; 2 &amp; 3 \end{array} \right]$$ and get another Pythagorean triple. The result is an <a href="http://en.wikipedia.org/wiki/Congruence_subgroup" rel="nofollow">$\Gamma(2)$</a> action on the Pythagorean triples.</p> <p><img src="http://upload.wikimedia.org/wikipedia/en/a/a6/Pythagorean.tree.svg" width="300"></p> <p>If I had to guess, the topograph would be somehow dual to the hyperbolic tessellation associated to the congruence group. The vertices of the "topograph" would be (similar to) the Farey fractions and the relation would involve <strong>6</strong> numbers instead of <strong>4</strong>. I wonder what it could be.</p> <p><img src="http://www.math.ucdavis.edu/~romik/home/Gallery_files/tessel.jpg"></p> <p>Having a topograph for <strong>solutions</strong> of quadratic forms rather than <strong>values</strong> is not without precent. It's been done for <a href="http://arxiv.org/pdf/1208.4836v2.pdf" rel="nofollow">Appolonian circle packings</a> and <a href="http://faculty.uml.edu/jpropp/markoff-slides.pdf" rel="nofollow">Markoff triples</a>. The topograph itself, has extension to <a href="http://arxiv.org/pdf/1104.1474v2.pdf" rel="nofollow">ground fields other than $\mathbb{Q}$</a>.</p> http://mathoverflow.net/questions/88773/branches-of-the-fibonacci-word-tree Branches of the Fibonacci Word Tree John Mangual 2012-02-17T21:33:33Z 2012-10-28T12:04:06Z <p>The <a href="http://en.wikipedia.org/wiki/Fibonacci_word" rel="nofollow">Fibonacci word</a> starts from $0$ subject to the rules $0 \mapsto 1, 1 \mapsto 01$ (or some variant thereof). The come from cutting sequences of the torus of a line of golden ratio slope. It is a 1D version of the <a href="http://en.wikipedia.org/wiki/Penrose_tiling" rel="nofollow">Penrose Tiling</a>.</p> <p>...1010110101101101011010110110101101101011010110110101101...</p> <p><img src="http://upload.wikimedia.org/wikipedia/commons/2/2d/Fibonacci_word_cutting_sequence.png" width="500"></p> <p>The Fibonacci word is has minimal complexity above a periodic word -- there are <strong>n+1</strong> subwords of length <strong>n</strong>, making it a <a href="http://en.wikipedia.org/wiki/Sturmian_word" rel="nofollow">Sturmian word</a>. </p> <ul> <li><strong>5</strong> subwords of length <strong>4</strong>: "0101", "0110", "1010", "1011", "1101"</li> <li><strong>8</strong> subwords of length <strong>7</strong>: "0101101", "0110101", "0110110", "1010110", "1011010", "1011011", "1101011", "1101101"</li> </ul> <p>As an experiment, I sorted the subwords of length n alphabetically The words are arranged in an infinite tree, where each word is descendant of its subword.</p> <p>As a shorthand, I only placed the last letter of each word on each diagonal. Edges represent inclusion... drawn so any path from the top left corner "." appears in the Fibonacci word. Each Fibonacci subword corresponds to a path.</p> <p><strong>What is the structure of this tree? Is there any regularity to the location of the branches?</strong></p> <p>The complement of the tree becomes a tesselation of the Euclidean plane by "ribbon $\infty$-ominos", which is amusing.</p> <pre><code>.-1-1-0-1-1-0-1-0-1-1-0 | | | 0 0-1-1 0-1-1-0-1-1-0 | | | | 1-1 0 0-1-1-0-1 0-1 | | | | | 0 0 1-1 0-1-1 0-1 | | | | 1 1-1 0-1-1 0-1 | | | | 1 0 0-1-1 0-1 | | | | 0 1-1 0 1-1 | | | 1-1 0 1-1 | | | 0 0 1-1 | | | 1 1 0 | | 1 0 | 0 </code></pre> http://mathoverflow.net/questions/110556/q-deformed-group-characters q-deformed group characters John Mangual 2012-10-24T16:11:55Z 2012-10-24T20:38:29Z <p>In a paper by <a href="http://front.math.ucdavis.edu/1207.3497" rel="nofollow">Yuji Tachikawa</a>, I found a q-deformed "2d Yang-Mills paritition function for a cylinder". Here it is (adapted):</p> <p>$$Z(q, x_L, x_R) = \mu(q, x_L)^{-1/2} \langle x_L | \bigg[ \sum_{R \in \mathrm{Irr}(G)} | R \rangle e^{- aC_2(R) } \langle R | \bigg] |x_R \rangle \mu(q, x_R)^{-1/2}$$</p> <p>Here's some stuff to help you interpret:</p> <ul> <li>$G$ is a compact lie group and the Irreducible representations should be indexed by the root lattice.</li> <li>conjugacy classes are indexed by elements of maximal torus $\vec{x} \in \mathbb{T}^n \subset G$</li> <li>$C_2(R)$ is the quadratic Casimir of the representation. </li> <li>In my notation, borrowed from quantum mechanics $\langle R|x \rangle = \chi_R(x), \langle x|R \rangle=\overline{\chi_R(x)}$.</li> <li>$\displaystyle \mu(q, X) = \exp \left[ \sum_{n=1}^\infty \frac{-2q^n}{1-q^n}\chi_{\mathrm{adj}}(x^n) \right]$</li> <li>The partition function depends on the area $a$ of the cylinder.</li> </ul> <p>In fact, let's turn this into a statement about the Laplacian: The $q$-dependence is hidden:</p> <p>$$e^{- a \Delta} =<br> \sum_{R \in \mathrm{Irr}(G)} | R \rangle e^{- aC_2(R) } \langle R |$$</p> <p>Let's set the area to $0$. From the last line, we should get the identity matrix. However,</p> <p>$$<br> \sum_{R \in \mathrm{Irr}(G)} \langle x_L | R \rangle \overline{ \langle x_R | R \rangle } = \mu(q, x_L) \delta(x_L = x_R)$$</p> <p>This really looks like orthogonality of characters for compact groups, except the right side should be the identity. <hr> <strong>What are these characters $\langle x | R \rangle$ ?</strong> </p> <p>Originally, I wanted to ask about an analogue for finite $G$, but I don't even have a point of reference.</p> http://mathoverflow.net/questions/110556/q-deformed-group-characters/110583#110583 Answer by John Mangual for q-deformed group characters John Mangual 2012-10-24T20:21:41Z 2012-10-24T20:38:29Z <p>They are proportional to the Schur polynomials. For representation $\lambda \in \mathrm{Irr}(G), \chi \in \mathbb{T}^n \subset G$:</p> <p>$$\langle \lambda | x \rangle = \mu(q,x) \chi^\lambda(x)$$</p> <p>This weight is is independent of the representation so we can do $\displaystyle \sum_\lambda$ no problem!</p> <p>Here the Schur polynomial is defined by $\displaystyle \chi^\lambda(a) = \frac{ \det a_i^{\lambda_j + k - j}}{\det a_i^{k-j}}$</p> <p>The number $\mu(q,x)$ is called <em>superconformal index</em> denoted $\mathcal{I}_q^V(a)$ in Section 6 of <a href="http://arxiv.org/abs/1110.3740" rel="nofollow">Gauge Theories and Macdonald Polynomials</a> by Gadde, Rastelli, Razamat &amp; Yan.</p> <hr> <p>This superconformal index is the trace over representations over a certain superalgebra. It can also be considered a matrix integral over Haar measure. In the case of the cylinder</p> <p>$$\mu(a,b) = \Delta(a) \mathcal{I}^V(a) \delta(a, b^{-1})$$</p> <p>at least, in the zero area limit.</p> <p>In special cases, they find functions $f^\alpha(a)$ (in our case $=\langle \lambda|x \rangle$) orthogonal with respect to "propagator measure":</p> <p>$$\oint [da] \Delta(a)\mathcal{I}^V(a) f^\alpha(a) f^\beta (a^{-1}) = \delta^{\alpha \beta}$$</p> <p>Then they can define a new metric and structure constants</p> <p>\begin{eqnarray} \mathcal{I}(a,b,c) &amp;=&amp; \sum_{\alpha, \beta, \gamma} C_{\alpha\beta\gamma}f^\alpha(a)f^\beta(b)f^{\gamma}(c)\ \mu^{\alpha\beta} &amp;=&amp; \oint [da]\oint [db] \mu(a,b) f^\alpha(a)f^\beta(b)\ \end{eqnarray}</p> <p>These generalize the orthogonality of characters relations (at least for compact Lie groups).</p> <hr> <p>This "superconformal index" for a surface with punctures has an expression in terms of these generalized group characters.</p> <p>$$\mathcal{I}_{g,s} (a_1, a_2, \dots, a_n) = \sum_\alpha (C_{\alpha\alpha\alpha})^{2g-2+s} \prod_{i=1}^s f^\alpha(a_i)$$</p> http://mathoverflow.net/questions/110169/aztec-diamond-analogue-for-square-octagon-graph "Aztec Diamond" analogue for Square-Octagon graph. John Mangual 2012-10-20T16:56:46Z 2012-10-22T02:57:01Z <p>I have been reading David Speyer's <a href="http://arxiv.org/abs/math/0402452" rel="nofollow">Perfect Matchings and the Octahedron Recurrence</a>, trying to carry out his "cross-wrenches" generalization of the Aztec diamond. In what follows, I'm asking for a construction of $G_{n_0,i_0,j_0}$ in the case where the infinite graph $\mathcal{G}$ gives <a href="http://en.wikipedia.org/wiki/Truncated_square_tiling" rel="nofollow">square-octagon tiling</a>. </p> <p>I found Speyer's notation very difficult. Maybe section 4 of <a href="http://arxiv.org/abs/math.CO/0501521" rel="nofollow">Perfect Matchings and Perfect Powers</a> by Mihai Ciucu will be easier to use for this special case. <hr> In section 1.2 the "Aztec Diamond" theorem is stated $f(n_0, i_0, j_0) = \sum m(M)$ </p> <ul> <li>$f(n_0,i_0,j_0)$ is the solution to the octahedron recurrence. $$f(n,i,j)f(n-2,i,j)= f(n-1,i-1,j)f(n-1,i+1,j)-f(n-1,i,j-1)f(n-1,i,j+1)$$</li> <li>The sum over matchings of generalized Aztec diamond graphs $G(n_0, i_0, j_0)$ is called $\sum m(M)$. These graphs are embeeded in an infinite grid $\mathcal{G}$.</li> <li>For now, every matching is counted with unit weight: $m(M)=1$. </li> <li>$n_0+i_0+j_0 \equiv 0 \mod 2$</li> </ul> <p>What is the sequence of shapes corresponding to Speyer's "crosses+wrenches" construction for the square-octagon lattice? Section 3.7 some relevant info.</p> <p>The faces of his lattices are indexed by pairs of integers $(i,j) \in \mathbb{Z}^2$. He defines a "level" ( I really want to avoid using his word "height", which has another meaning in terms of dominos.) $$h(i,j) = \left\{ \begin{array}{rc} 0 &amp; \text{if }(i,j) \equiv (0,0) \mod 2\mathbb{Z}\times 2 \mathbb{Z} \\ 0 &amp; \text{if }(i,j) \equiv (1,1) \mod 2\mathbb{Z}\times 2 \mathbb{Z} \\ 1 &amp; \text{if }(i,j) \equiv (0,1) \mod 2\mathbb{Z}\times 2 \mathbb{Z} \\ -1 &amp; \text{if }(i,j) \equiv (1,0) \mod 2\mathbb{Z}\times 2 \mathbb{Z}<br> \end{array} \right.$$ The Octahedron recurrence has initial conditions $f(h(i,j),i,j)=1$ and specializes here to powers of <strong>5</strong>: \begin{array}{rlc} f(2n,i,j) &amp; = 5^{n^2} &amp; \\ f(2n+1,i,j) &amp; = 5^{n^2+n} &amp; \text{if } i \equiv n \mod 2\\ f(2n+1,i,j) &amp; = 2 \cdot 5^{n^2+n} &amp; \text{if } j \equiv n \mod 2 \end{array} I'm not even sure this list of possibilities is exhaustive. For $(2n+1,i,j)$ only one of $i,j$ can be odd.</p> <p><img src="http://oi46.tinypic.com/35i88zk.jpg" width="200"></p> <p>The shapes $G(n_0, i_0, j_0)\subset \mathcal{G}$ are planar graphs with "open" and "closed" faces. He defines the "lattice", "edges", and "faces": \begin{eqnarray} \mathcal{L} &amp;=&amp; \{ (n,i,j) \in \mathbb{Z}^2 : n = i + j \mod 2\} \\ \mathcal{E} &amp;=&amp; \{ (i,j) \in \mathbb{Z}^2: i + j \equiv 1 \mod 2\} \times \{ a,b,c,d\} \\ \mathcal{F} &amp;=&amp; \mathbb{Z}^2 \end{eqnarray} The faces are indexed by pairs of integers. The edges are labelled <strong>a,b,c,d</strong>. </p> <p>In section 2.1 Speyer defined some cones in $\mathbb{Z}^3$: \begin{eqnarray} p_{(n_0,i_0,j_0)} &amp;=&amp; n_0 - |i - i_0| - |j - j_0| \\ C_{(n_0,i_0,j_0)} &amp;=&amp; \{ (n,i,j) \in \mathcal{L}: n \leq n_0 - |i - i_0| - |j - j_0| \} \\ \mathring{C}_{(n_0,i_0,j_0)} &amp;=&amp; \{ (n,i,j) \in \mathcal{L}: n &lt; n_0 - |i - i_0| - |j - j_0| \} \\ \partial C_{(n_0,i_0,j_0)} &amp;=&amp; \{ (n,i,j) \in \mathcal{L}: n = n_0 - |i - i_0| - |j - j_0| \} \\ \mathcal{I} &amp;=&amp; \{ (i,j, n) \in \mathcal{L}: n = h(i,j) \} \\ \mathcal{U} &amp;=&amp; \{ (i,j, n) \in \mathcal{L}: n > h(i,j) \} \end{eqnarray}</p> <p>I have been unable to sort out definition of $G_{n_0,i_0,j_0}$ in section 3.3</p> <p>It would be really amazing if one could show how the dominos actually "shuffle".</p> http://mathoverflow.net/questions/110169/aztec-diamond-analogue-for-square-octagon-graph/110265#110265 Answer by John Mangual for "Aztec Diamond" analogue for Square-Octagon graph. John Mangual 2012-10-21T20:09:16Z 2012-10-22T02:57:01Z <p>The faces are indexed by $\mathbb{Z}^2$, but $\mathring{C}_{(n_0,i_0,j_0)} \cap \mathcal{I} \in \mathbb{Z}^3$. The closed faces of $G = G_{(n_0,i_0,j_0)}$ centered at $(n_0,i_0,j_0)$ satisfy an inequality:</p> <p>$$\mathring{C}_{(n_0,i_0,j_0)} \cap \mathcal{I} = \{ (i,j,n): n = h(i,j) &lt; n_0 - |i - i_0| - |j - j_0| \}$$</p> <p>How do we get a planar graph? Speyer defines a projection map that drops the last coordinate:</p> <p>$$\alpha(\mathring{C}_{(n_0,i_0,j_0)} \cap \mathcal{I}) = \{ (i,j): h(i,j) + |i - i_0| + |j - j_0|&lt; n_0 \}$$</p> <p>This number $h(i,j) + |i - i_0| + |j - j_0|$ seems to be important for building the graph. <hr> One simple height function" is an alternating pattern of 0's and 1's. We then overlay <a href="http://en.wikipedia.org/wiki/Taxicab_geometry" rel="nofollow">taxicab distances</a> from various points to get the height function. The Aztec Diamond patterns emerge</p> <pre> 4 010101 3 444 101010 333 44244 010101 33133 4422244 101010 3311133 442202244 010101 33133 4422244 101010 333 44244 3 444 4</pre> <p>Let's try this procedure for square octagon lattice.</p> <p><img src="http://s16.postimage.org/acg6tmkmb/matrices.gif" /></p> <p>We get a clear general sense of the shape. The Mathematica code is:</p> <pre><code>h[x_, y_] := Switch[{Mod[x, 2], Mod[y, 2]}, {0, 0}, 0, {1, 1}, 0, {1, 0}, 1, {0, 1}, -1] cut[x_, y_] = If[ x &lt; y, x, "."] b = Table[ cut[Abs[k] + Abs[l] + h[k + 1, l], 6], {k, -6, 6}, {l, -6, 6} ]; MatrixForm[b] </code></pre> <p>It seems to be possible to take off the corners and still be an acceptable "diamond".</p> <hr> <p>The analogue of "domino" shuffling in these case would be an "inductive" way of moving from one Aztec Diamond to the next. <del>Not sure how to do this at the moment</del>. There seems to be more than one way</p> <p><img src="http://oi50.tinypic.com/2rhr9ud.jpg" alt="alt text"></p> http://mathoverflow.net/questions/110057/lost-soul-loneliness-in-pursing-math-advice-needed/110168#110168 Answer by John Mangual for Lost soul: loneliness in pursing math. Advice needed. John Mangual 2012-10-20T16:29:17Z 2012-10-20T16:29:17Z <p>I don't think a "my condolences" or "I wish you the best" will cut it. Your question is well-thought out and is of general interest to aspiring and active Mathematicians. </p> <p>Questions about professional development in Mathematics have a place here on MathOverflow - at least until a better place for it comes along. But have you tried <a href="http://www.quora.com/Mathematics/What-is-it-like-to-have-an-understanding-of-very-advanced-mathematics" rel="nofollow">quora</a>? Maybe this is a <a href="http://en.wikipedia.org/wiki/Philosophy_of_mathematics" rel="nofollow">Philosophy of Mathematics</a> question.</p> <p>Mathematics, in its logical rigor, is a counter-intuitive way of thinking. Most people are not that precise. How does that fit into the professional world?</p> http://mathoverflow.net/questions/131600/geogebra-in-class Comment by John Mangual John Mangual 2013-05-23T15:02:25Z 2013-05-23T15:02:25Z Maria, please try <a href="http://math.stackexchange.com/" rel="nofollow">math.stackexchange.com</a> same question http://mathoverflow.net/questions/130636/how-to-get-3-manifold-knots-from-number-fields Comment by John Mangual John Mangual 2013-05-17T20:30:51Z 2013-05-17T20:30:51Z Mr Sausage, or Mr Roll. The typo is fixed. Thank you. http://mathoverflow.net/questions/130636/how-to-get-3-manifold-knots-from-number-fields Comment by John Mangual John Mangual 2013-05-14T22:08:06Z 2013-05-14T22:08:06Z clearly that is <b>the</b> book on this topic. I have to find it in a library or buy it... I don't know if my question is clear or specific enough to get an answer other than &quot;goto Machlachlan-Reid&quot; http://mathoverflow.net/questions/124523/two-different-representations-of-multivariate-bernstein-polynomials Comment by John Mangual John Mangual 2013-03-14T17:02:48Z 2013-03-14T17:02:48Z they are not equivalent. the second one converges to f, while the first one is a convex function related to f http://mathoverflow.net/questions/124523/two-different-representations-of-multivariate-bernstein-polynomials Comment by John Mangual John Mangual 2013-03-14T15:29:24Z 2013-03-14T15:29:24Z the first one might be wrong <a href="http://en.wikipedia.org/wiki/Bernstein_polynomial" rel="nofollow">en.wikipedia.org/wiki/Bernstein_polynomial</a> http://mathoverflow.net/questions/122539/the-unreasonable-effectiveness-of-pade-approximation/122542#122542 Comment by John Mangual John Mangual 2013-02-22T15:44:57Z 2013-02-22T15:44:57Z I found some papers relating on Pade approximation and the Stieltjes moment problem. Maybe these clarify the sense in which they are the &quot;best approximation&quot;. Also, I provided a counter example where Pade approxmation is worse -- but it's off diagonal. http://mathoverflow.net/questions/122539/the-unreasonable-effectiveness-of-pade-approximation/122542#122542 Comment by John Mangual John Mangual 2013-02-21T19:13:21Z 2013-02-21T19:13:21Z What is so exact about the Taylor series? How are we comparing approximations? $T_{m+n}$ and the Pade approximant agree up to $O(x^{m+n+1})$. As long as you fix the degree of the numerator and denominator, one can be recovered from the other.. http://mathoverflow.net/questions/122539/the-unreasonable-effectiveness-of-pade-approximation Comment by John Mangual John Mangual 2013-02-21T18:21:29Z 2013-02-21T18:21:29Z What do you mean &quot;better&quot; approximation? Do you mean pointwise, $L^1, L^2$ etc ? http://mathoverflow.net/questions/122539/the-unreasonable-effectiveness-of-pade-approximation/122542#122542 Comment by John Mangual John Mangual 2013-02-21T18:20:29Z 2013-02-21T18:20:29Z I am explaining the &quot;unreasonable effectiveness&quot; of the Pade approximation by comparing it to continued fractions. http://mathoverflow.net/questions/113830/g-c-d-and-eulers-totient-function Comment by John Mangual John Mangual 2012-11-19T15:56:42Z 2012-11-19T15:56:42Z It can still depend on a,b even though it only takes values +/- 0,1,2,4,8. Think of Mobius function $\mu(n) = 0, \pm 1$. http://mathoverflow.net/questions/110956/is-there-a-topograph-for-pythagorean-triples Comment by John Mangual John Mangual 2012-10-29T04:20:34Z 2012-10-29T04:20:34Z Perhaps this question is moot? The topograph is gives a binary tree structure to the values of a quadratic form. For Pythagorean triples we exhibit a ternary tree with a $\Gamma(2)$ action. It remains to overlay the Pythagorean triples in the faces of the $\Gamma(2)$ Poincare disk tiling. http://mathoverflow.net/questions/110556/q-deformed-group-characters/110583#110583 Comment by John Mangual John Mangual 2012-10-24T21:07:41Z 2012-10-24T21:07:41Z Tachikawa extended this to nonzero area in the same paper as in the question. http://mathoverflow.net/questions/110538/elephant-populations-and-dyck-words Comment by John Mangual John Mangual 2012-10-24T16:27:58Z 2012-10-24T16:27:58Z Is this really about elephants for you? That would be cool! http://mathoverflow.net/questions/110169/aztec-diamond-analogue-for-square-octagon-graph Comment by John Mangual John Mangual 2012-10-21T15:45:18Z 2012-10-21T15:45:18Z The only issue here is to find the graphs that Ciucu and Speyer construct. I would appreciate anyone's help here. http://mathoverflow.net/questions/110057/lost-soul-loneliness-in-pursing-math-advice-needed/110168#110168 Comment by John Mangual John Mangual 2012-10-20T20:38:07Z 2012-10-20T20:38:07Z I guess there are a few separate issues: Flora's question itself, where it should be posted and what constitutes and answer. Flora seems afraid if she posts to a general academic audience, she won't get an answer from mathematicians. To me there's a much broader issue of professional development (or lack thereof) at the undergrad and graduate levels.