English
Related papers

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

200 papers

We study the Heilbronn triangle problem, which involves placing n points in the unit square such that the minimum area of any triangle formed by these points is maximized. A straightforward maximin formulation of this problem is highly…

Computational Geometry · Computer Science 2025-12-17 Amirhossein Monji , Amirali Modir , Burak Kocuk

In recent developments, a general approach for solving Riemann--Hilbert problems numerically has been developed. We review this numerical framework, and apply it to the calculation of orthogonal polynomials on the real line. Combining this…

Mathematical Physics · Physics 2012-10-09 Sheehan Olver , Thomas Trogdon

We consider the following open questions. Fix a Hilbert function, $h$, that occurs for a reduced zero-dimensional subscheme of $\mathbb P^2$. Among all subschemes, $X$, with Hilbert function $h$, what are the possible Hilbert functions and…

Commutative Algebra · Mathematics 2007-05-23 A. V. Geramita , J. Migliore , L. Sabourin

Let $K$ be a number field and $\ell \geq 5$ a prime number. Mazur and Rubin introduced the notion of diophantine stability for a variety $X_{/K}$ at a prime $\ell$. We show that there is a positive density set of elliptic curves…

Number Theory · Mathematics 2025-10-27 Anwesh Ray , Tom Weston

In [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2) Is the first-order theory of the fundamental group of any…

Group Theory · Mathematics 2025-12-09 Robert D. Gray , Alex Levine

Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…

Computational Complexity · Computer Science 2025-10-28 Markus Bläser , Sagnik Dutta , Gorav Jindal

Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated…

Computational Complexity · Computer Science 2024-10-22 Rida Ait El Manssour , Nikhil Balaji , Klara Nosan , Mahsa Shirmohammadi , James Worrell

The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…

Algebraic Geometry · Mathematics 2017-04-03 Bjorn Poonen

Explicit solutions to the Riemann-Hilbert problem will be found realising some irreducible non-rigid local systems. The relation to isomonodromy and the sixth Painleve equation will be described. Keywords: Riemann-Hilbert problem, Painleve…

Differential Geometry · Mathematics 2007-05-23 Philip Boalch

Finding an $\epsilon$-stationary point of a nonconvex function with a Lipschitz continuous Hessian is a central problem in optimization. Regularized Newton methods are a classical tool and have been studied extensively, yet they still face…

Optimization and Control · Mathematics 2025-11-03 Yuhao Zhou , Jintao Xu , Bingrui Li , Chenglong Bao , Chao Ding , Jun Zhu

We provide conditions ensuring that the KKT-type conditions characterizes the global optimality for quadratically constrained (possibly nonconvex) quadratic programming QCQP problems in Hilbert spaces. The key property is the convexity of a…

Optimization and Control · Mathematics 2023-02-15 Ewa M. Bednarczuk , Giovanni Bruccola

We establish a new perturbation theory for orthogonal polynomials using a Riemann--Hilbert approach and consider applications in numerical linear algebra and random matrix theory. This new approach shows that the orthogonal polynomials with…

Probability · Mathematics 2022-09-23 Xiucai Ding , Thomas Trogdon

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, we show that the following two problems can be solved in the complexity class PSPACE: (I) Given polynomials f_1,...,f_m in…

Number Theory · Mathematics 2007-05-23 J. Maurice Rojas

For any sufficiently strong theory of arithmetic, the set of Diophantine equations provably unsolvable in the theory is algorithmically undecidable, as a consequence of the MRDP theorem. In contrast, we show decidability of Diophantine…

Logic · Mathematics 2016-10-11 Emil Jeřábek

We give an overview of the Hidden Subgroup Problem (HSP) as of July 2010, including new results discovered since the survey of arXiv:quant-ph/0411037v1. We recall how the problem provides a framework for efficient quantum algorithms and…

Quantum Physics · Physics 2010-08-03 Frédéric Wang

We consider deterministic algorithms for the well-known hidden subgroup problem ($\mathsf{HSP}$): for a finite group $G$ and a finite set $X$, given a function $f:G \to X$ and the promise that for any $g_1, g_2 \in G, f(g_1) = f(g_2)$ iff…

Data Structures and Algorithms · Computer Science 2022-11-22 Zekun Ye , Lvzhou Li

In this paper we show that there is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\ldots,z_{52})=0$ (with integer coefficients) over the Gaussian ring $\mathbb Z[i]$ is solvable.

Number Theory · Mathematics 2021-02-02 Yuri Matiyasevich , Zhi-Wei Sun

The Kepler-Heisenberg problem is that of determining the motion of a planet around a sun in the sub-Riemannian Heisenberg group. The sub-Riemannian Hamiltonian provides the kinetic energy, and the gravitational potential is given by the…

Numerical Analysis · Mathematics 2023-08-21 Victor Dods , Corey Shanbrom

We prove a number field analogue of the Green--Tao--Ziegler theorem on simultaneous prime values of degree 1 polynomials whose linear parts are pairwise linearly independent. Applications of our results include a Hasse principle of rational…

Number Theory · Mathematics 2026-03-13 Wataru Kai

We develop the theory of resolvent degree, introduced by Brauer \cite{Br} in order to study the complexity of formulas for roots of polynomials and to give a precise formulation of Hilbert's 13th Problem. We extend the context of this…

Algebraic Geometry · Mathematics 2020-01-23 Benson Farb , Jesse Wolfson