We study BPS states of 5d N=1 SU(2) Yang-Mills theory on S^1×R^4. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface F_0. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle interpolates smoothly with the spectrum of 4d N=2 Seiberg-Witten theory, recovering spectral networks in the limit.

No abstract uploaded!

In the present paper, we prove the existence of solutions $(\lambda_1,\lambda_2,u,v)\in\R^2\times H^1(\R^3,\R^2)$ to systems of coupled Schr\"odinger equations $$ \begin{cases} -\Delta u+\lambda_1u=\mu_1 u^3+\beta uv^2\quad &\hbox{in}\;\R^3\\ -\Delta v+\lambda_2v=\mu_2 v^3+\beta u^2v\quad&\hbox{in}\;\R^3\\ u,v>0&\hbox{in}\;\R^3 \end{cases} $$ satisfying the normalization constraint $ \displaystyle\int_{\R^3}u^2=a^2\quad\hbox{and}\;\int_{\R^3}v^2=b^2, $ which appear in binary mixtures of Bose-Einstein condensates or in nonlinear optics. The parameters $\mu_1,\mu_2,\beta>0$ are prescribed as are the masses $a,b>0$. The system has been considered mostly in the case of fixed frequencies $\lambda_1,\lambda_2$. When the masses are prescribed, the standard approach to this problem is variational with $\lambda_1,\lambda_2$ appearing as Lagrange multipliers. Here we present a new approach based on the fixed point index in cones, bifurcation theory, and the continuation method. We obtain the existence of normalized solutions for any given $a,b>0$ for $\beta$ in a large range. We also have a result about the nonexistence of positive solutions which shows that our existence theorem is almost optimal. Especially, if $\mu_1=\mu_2$ we prove that normalized solutions exist for all $\beta>0$ and all $a,b>0$.

We consider numerical boundary conditions for high order finite difference schemes for solving convection-diffusion equations on arbitrary geometry. The two main difficulties for numerical boundary conditions in such situations are: (1) the wide stencil of the high order finite difference operator requires special treatment for a few ghost points near the boundary; (2) the physical boundary may not coincide with grid points in a Cartesian mesh and may intersect with the mesh in an arbitrary fashion. For purely convection equations, the so-called inverse Lax-Wendroff procedure, in which we convert the normal derivatives into the time derivatives and tangential derivatives along the physical boundary by using the equations, have been quite successful. In this paper, we extend this methodology to convection-diffusion equations. It turns out that this extension is non-trivial, because totally different boundary treatments are needed for the diffusion-dominated and the convection-dominated regimes. We design a careful combination of the boundary treatments for the two regimes and obtain a stable and accurate boundary condition for general convection-diffusion equations. We provide extensive numerical tests for one- and two-dimensional problems involving both scalar equations and systems, including the compressible Navier-Stokes equations, to demonstrate the good performance of our numerical boundary conditions.

The purpose of this paper is to study the monodromy groups associated to the quasi-bounded holomorphic quadratic forms on punctured surfaces. As a consequence, we obtain a natural family of symplectic structures on the Teichm/iller space Tg,, for n> 0. As another consequence, we show that the projective monodromy map from a class of Fuchsian equations to the representation variety is generically a local diffeomorphism.