0
votes
0answers
190 views

Sum over a product of binomial coefficients related to a collision problem

I am working on a certain collision problem. The probability of forming $j$ particles upon collision of $m$ and $n$ particles is given by the following equation: ...
51
votes
1answer
3k views

What is the amplituhedron?

The paper ”Scattering Amplitudes and the Positive Grassmannian” by Nima Arkani-Hamed, Jacob L. Bourjaily, Freddy Cachazo, Alexander B. Goncharov, Alexander Postnikov, and Jaroslav Trnka, introduces ...
16
votes
1answer
568 views

Combinatorial spin structures

I would like to know how to define spin structures combinatorially, for an oriented smooth manifold equipped with a triangulation. In the case of a 2d manifold, spin structures correspond to ...
4
votes
0answers
84 views

Differences of Numbers of Helicity States in 4-dimensional Strings

The question whether the states in $D=2m + 2$ dimensional string theory, which carry a representation of $SO(2m)$, span spaces which carry representations of $SO(2m+1)$ seems hopelessly complicated. ...
0
votes
0answers
107 views

Semi-Standard Young Tableaux: Do Diagrams for $O(2m)$ combine to Diagrams from $O(2m+1)$?

Let $n_\lambda^K$ be the number all semi-standard Young tableaux of size $K$ with Ferrers diagrams diagram $\lambda$ (i.e. the number of all fillings of $\lambda$ with natural numbers with weakly ...
1
vote
0answers
323 views

Prove that the sum of a certain infinite series is 1

Prove the (numerically-evident) proposition that \begin{equation} \Sigma_{i=0}^\infty f(i) = 1, \end{equation} where \begin{equation} f(i)= 2^{-4 i-6} q(i) \frac{\Gamma(3 i+\frac{5}{2}) \Gamma(5 ...
1
vote
1answer
213 views

A counterexample to the Polya-Schur master theorems for half-planes

Given an integer $n\ge 1$ we say that $f\in C[z_1,\ldots,z_n]$ is stable if $f(z_1,\ldots,z_n)\neq 0$ whenever $\text{Im}\ z_i>0$ for all $1\leq i\leq n$. Stable polynomials with all real ...
10
votes
1answer
460 views

Integration over the orthogonal group

Let $O(N)$ be the orthogonal group, and $a,b,c\in\mathbb N$. The question is: $$\int_{O(N)}U_{11}^aU_{22}^bU_{33}^cdU=?$$ This is quite a tricky question: (1) The first thought would go to ...
2
votes
2answers
413 views

2D Ising model partition function expansion

By combinatorial reasons, for 2D toric Ising model of fixed size I need low-temperature expansion for complex temperature, magnetic field, etc. Is there are some references? More precisely, energy of ...
6
votes
1answer
364 views

Matrix-tree theorem via supersymmetry (i.e. Grassman algebras)

The matrix-tree theorem states the number of spanning trees of a graph $G$ is equal to a modified determinant of the adjacency matrix or "graph Laplacian", $\Delta_G$: $$\#\{ \text{spanning trees of ...
5
votes
1answer
454 views

Is there a generalization of Schur - Weyl duality and plethysm for direct product of special unitary groups?

Consider the semisimple compact group $K=SU(N_1)\times SU(N_2) \times \ldots \times SU(N_S)$ acting naturally on $\mathcal{H}=\mathcal{H}_1 \otimes \mathcal{H}_2 \otimes \ldots \otimes \mathcal{H}_S$, ...
2
votes
1answer
240 views

Max/min problems related to associahedra or their duals (ions on balls revisited)

Original motivation: This is a follow-up question to and generalization of MO Q78877 on equilibrium configurations of ions on n-Dim balls. Henry Cohn gave an excellent answer dispelling my naive ...
7
votes
1answer
628 views

Symmetric tensor product of bosonic/fermionic Hilbert space

Consider two representation of the group $SU(n)$: $Sym^k(\mathbb{C}^n)$ and $\wedge^k\mathbb{C}^n$ ($k\leq n$) and take their symmetric tensor products: $Sym^2(Sym^k(\mathbb{C}^n))$, ...
12
votes
0answers
360 views

Catalan objects associated to a univariate polynomial

Given a monic degree $n$ polynomial $f(z)$ with no double roots, and a phase $0\leq \theta < \pi$, there are natural constructions which associate to this data: a noncrossing matching on $2n$ ...
7
votes
3answers
393 views

Equilibrium configurations of ions on n-Dim balls.

Given an n-dimensional electrically neutral, solid metal ball (a point for n=0; a rod, n=1; a disc, n=2; a solid ball, n=3; ...), place N=(n+1)! identical ions on the ball. As one of my favorite ...
4
votes
1answer
393 views

When can a 3-dimensional triangulation be isometricaly embedded in R^n?

Consider a triangulation of some bounded region of $R^3$ with a (finite) set of tetrahedra (like in Regge calculus). It can be thought of as a simplicial 3-complex with specified lengths of edges. The ...
27
votes
3answers
2k views

How much linear algebra can be done with graphs?

Let G be a finite directed acyclic graph, with sources $A=\{a_1,\ldots,a_n\}$ and sinks $B=\{b_1,\ldots,b_n\}$, with edge weights $w_{ij}$. The weight of a directed path P is the product of weights of ...
18
votes
1answer
1k views

Horst Knörrer's Permutation Cancellation Problem

The Problem: The following question of Horst Knörrer is a sort of toy problem coming from mathematical physics. Let $x_1, x_2, \dots, x_n$ and $y_1,y_2,\dots, y_n$ be two sets of real numbers. We ...
3
votes
1answer
739 views

Does BQP^P = BQP ? … and what proof machinery is available?

Update #3: Over on TCS StackExchange, I have rated as "accepted" an ingenious construction by Luca Trevisan, which answers a two-part question (as reframed by Tsuyoshi Ito) that is in essence "Do ...
9
votes
2answers
2k views

Quantum PCP Theorem

Although I think I know the answers to these, I'd just like to collect them all in one place. What is the quantum PCP theorem, what implications does its proof have for simulation of Hamiltonians and ...
8
votes
1answer
567 views

Virasoro constraints for the generating function of Hurwitz numbers.

Generating function of the simple Hurwitz numbers is known to be connected with Gromov-Witten potential of the point (Kontsevich $\tau$-function) (see e.g. Ian Goulden, David Jackson and Ravi Vakil). ...
23
votes
2answers
576 views

What is the right notion of self-dual (two-dimensional) percolation in R^4?

For a lattice in $\mathbb{R}^2$, if we include each edge independently with probability $p$ (i.e. bond percolation), it is well known that there is a critical probability $0 < p_c < 1$ depending ...