Related papers: Reality and Computation in Schubert Calculus
The calculation of multivariate normal probabilities is of great importance in many statistical and economic applications. This paper proposes a spherical Monte Carlo method with both theoretical analysis and numerical simulation. First,…
A Newton-Okounkov polytope of a complete flag variety can be turned into a convex geometric model for Schubert calculus. Namely, we can represent Schubert cycles by linear combinations of faces of the polytope so that the intersection…
We consider right and left formulations of the inverse scattering problem for the Zakharov-Shabat system and the corresponding integral Gelfand-Levitan-Marchenko equations. Both formulations are helpful for numerical solving of the inverse…
In recent work the authors proposed a broad global well-posedness conjecture for cubic defocusing dispersive equations in one space dimension, and then proved this conjecture in two cases, namely for one dimensional semilinear and…
In this paper we describe the implementation that led to the counterexamples to the Nash blowup conjectures recently discovered by the authors. We also provide new examples of toric varieties with prescribed singularities that are not…
This paper studies the multiplicity of normalized solutions to the Schr\"{o}dinger equation with mixed nonlinearities \begin{equation*} \begin{cases} -\Delta u=\lambda u+h(\epsilon x)|u|^{q-2}u+\eta |u|^{p-2}u,\quad x\in \mathbb{R}^N, \\…
The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm…
Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…
We consider generalizations of Szpiro's classical discriminant conjecture to hyperelliptic curves over a number field $K$, and to smooth, projective and geometrically connected curves $X$ over $K$ of genus at least one. The main results…
We consider the Schur-Horn problem for normal operators in von Neumann algebras, which is the problem of characterizing the possible diagonal values of a given normal operator based on its spectral data. For normal matrices, this problem is…
Due to common misconceptions about the Church-Turing thesis, it has been widely assumed that the Turing machine provides an upper bound on what is computable. This is not so. The new field of hypercomputation studies models of computation…
This is a computational study of bottlenecks on algebraic varieties. The bottlenecks of a smooth variety $X \subseteq \mathbb{C}^n$ are the lines in $\mathbb{C}^n$ which are normal to $X$ at two distinct points. The main result is a…
Regularization techniques for the numerical solution of inverse scattering problems in two space dimensions are discussed. Assuming that the boundary of a scatterer is its most prominent feature, we exploit as model the class of…
We survey the complexity class $\exists \mathbb{R}$, which captures the complexity of deciding the existential theory of the reals. The class $\exists \mathbb{R}$ has roots in two different traditions, one based on the Blum-Shub-Smale model…
We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model…
We find $n(n-3)/2$-dimensional regions of the space of kinematic invariants, where all the solutions to the scattering equations (the core of the CHY formulation of amplitudes) for $n$ massless particles are real. On these regions, the…
Although the Turing-machine model of computation is widely used in computer science it is fundamentally inadequate as a foundation for the theory of modern scientific computation. The real-number model is described as an alternative.…
We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent…
The Mukhin-Tarasov-Varchenko Theorem, conjectured by B. and M. Shapiro, has a number of interesting consequences. Among them is a well-behaved correspondence between certain points on a Grassmannian - those sent by the Wronski map to…
Spatial regularity properties of certain global-in-time solutions of the Zakharov system are established. In particular, the evolving solution $u(t)$ is shown to satisfy an estimate $\Hsup s {u(t)} \leq C {{|t|}^{(s-1)+}}$, where $H^s$ is…