Related papers: A survey of local-global methods for Hilbert's Ten…

We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this…

We describe the ring structure of the cohomology of the Hilbert scheme of points for a smooth surface X. When the canonical class K_X = 0, this was done by Lehn and Sorger, extending earlier work when X = C^2. Their approach does not…

We show that Hilbert's Nullstellensatz, the problem of deciding if a system of multivariate polynomial equations has a solution in the algebraic closure of the underlying field, lies in the counting hierarchy. More generally, we show that…

We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there…

Let $D$ be a bounded domain in a complex Banach space. According to the Earle-Hamilton fixed point theorem, if a holomorphic mapping $F : D \mapsto D$ maps $D$ strictly into itself, then it has a unique fixed point and its iterates converge…

We study the persistence of eigenvalues and eigenvectors of perturbed eigenvalue problems in Hilbert spaces. We assume that the unperturbed problem has a nontrivial kernel of odd dimension and we prove a Rabinowitz-type global continuation…

This paper aims to investigate the stochastic generalization of the projected deterministic constrained modified Swift-Hohenberg equation. In particular, we prove the global well-posedness and its invariance of Hilbert submanifold i.e. if…

We consider an elliptic problem with unknowns on the boundary of the domain of the elliptic equation and suppose that the right-hand side of this equation is square integrable and that the boundary data are arbitrary (specifically,…

We study the Diophantine problem, i.e. the decision problem of solving systems of equations, for some families of one-relator groups, and provide some background for why this problem is of interest. The method used is primarily the…

In this paper, we are interested in proving the existence and uniqueness of the local, local maximal, and global solutions of the equation projected on the Hilbert manifold. Furthermore, we show that, for any given initial data in the…

We prove that the pattern matching problem is undecidable in polymorphic lambda-calculi (as Girard's system F) and calculi supporting inductive types (as G{\"o}del's system T) by reducing Hilbert's tenth problem to it. More generally…

We compute the completion of the local ring of the Hilbert scheme of degree $n+1$ subschemes of $\mathbb{A}^n$ at the point corresponding to the ideal $\langle x_1,\ldots,x_n\rangle^2$, and describe the completion of the universal family.…

We give an explicit recipe for determining iterated local cohomology groups with support in ideals of minors of a generic matrix in characteristic zero, expressing them as direct sums of indecomposable D-modules. For non-square matrices…

In this paper, we introduce some new iterative optimisation algorithms on Riemannian manifolds and Hilbert spaces which have good global convergence guarantees to local minima. More precisely, these algorithms have the following properties:…

The notion of regularity has been used by S. Kleiman in the construction of bounded families of ideals or sheaves with given Hilbert polynomial, a crucial point in the construction of Hilbert or Picard scheme. In a related direction,…

The Hirsch Conjecture stated that any $d$-dimensional polytope with n facets has a diameter at most equal to $n - d$. This conjecture was disproved by Santos (A counterexample to the Hirsch Conjecture, Annals of Mathematics, 172(1) 383-412,…

The local Hamiltonian (LH) problem is the canonical $\mathsf{QMA}$-complete problem introduced by Kitaev. In this paper, we show its hardness in a very strong sense: we show that the 3-local Hamiltonian problem on $n$ qubits cannot be…

We consider a family of self-adjoint Ornstein--Uhlenbeck operators $L_{\alpha} $ in an infinite dimensional Hilbert space H having the same gaussian invariant measure $\mu$ for all $\alpha \in [0,1]$. We study the Dirichlet problem for the…

We consider the fractional order integral equation with a time nonlocal nonlinearity $$^{c}\mathbf{D}_{0\mid t}^{\beta}\left( u \right) +\left(-\Delta_{\mathbb{H}} \right)^{m} \left( u \right) = \frac{1}{\Gamma(\alpha)}\int_{0}^{t}\left(…

We establish universality of local eigenvalue correlations in unitary random matrix ensembles (1/Z_n) |\det M|^{2\alpha} e^{-n\tr V(M)} dM near the origin of the spectrum. If V is even, and if the recurrence coefficients of the orthogonal…