Related papers: A Mathematica program for numerically computing re…
Analyzing in detail the first corrections to the scaling hypothesis, we develop accelerated methods for the determination of critical points from finite size data. The output of these procedures are sequences of pseudo-critical points which…
We develop a mixed-integer nonlinear programming (MINLP) approach for the classical Heilbronn triangle problem, demonstrating the capability of modern global optimization solvers to tackle challenging combinatorial geometry problems. A…
The typical processors used for scientific computing have fixed-width data-paths. This implies that mathematical libraries were specifically developed to target each of these fixed precisions (binary16, binary32, binary64). However, to…
In this paper we present an algorithm to obtain the parameter planes of families of root-finding methods with several free critical points. The parameter planes show the joint behaviour of all critical points. This algorithm avoids the…
This paper establishes the theoretical foundation for statistical applications of an intriguing new type of spatial point processes called critical point processes. These point processes, residing in Euclidean space, consist of the critical…
We show that on the manifold of fixed-rank and symmetric positive semi-definite matrices, the Riemannian gradient descent algorithm almost surely escapes some spurious critical points on the boundary of the manifold. Our result is the first…
In this paper, we derive a new $p$-Logarithmic Sobolev inequality and optimal continuous and compact embeddings into Orlicz-type spaces of the function space associated with the logarithmic $p$-Laplacian. As an application of these results,…
Binder-cumulant analysis of the critical point in the heavy-quark region of QCD is performed by Monte-Carlo simulations with the hopping-parameter expansion at $N_t=6$. We extend our previous analysis at $N_t=4$ to finer lattices and…
We study the computational difficulty of the problem of finding fixed points of nonexpansive mappings in uniformly convex Banach spaces. We show that the fixed point sets of computable nonexpansive self-maps of a nonempty, computably weakly…
Critical exponents for the 3D O(n)-symmetric model with n > 3 are estimated on the base of six-loop renormalization-group (RG) expansions. A simple Pade-Borel technique is used for the resummation of the RG series and the Pade approximants…
One-loop two-, three- and four-point scalar functions are analytically integrated directly such that they are expressed in terms of Lauricella's hypergeometric function $F_D$. For two- and three-point functions, exact expressions are…
Selection of descent direction at a point plays an important role in numerical optimization for minimizing a real valued function. In this article, a descent sequence is generated for the functions with bounded parameters to obtain a…
We provide tools to help automate the error analysis of algorithms that evaluate simple functions over the floating-point numbers. The aim is to obtain tight relative error bounds for these algorithms, expressed as a function of the unit…
One of the most fundamental ingredients in mixed-integer nonlinear programming solvers is the well-known McCormick relaxation for a product of two variables x and y over a box-constrained domain. The starting point of this paper is the fact…
We exhibit supercritical trade-off for monotone circuits, showing that there are functions computable by small circuits for which any circuit must have depth super-linear or even super-polynomial in the number of variables, far exceeding…
We prove a Central Limit Theorem for the Critical Points of Random Spherical Harmonics, in the High-Energy Limit. The result is a consequence of a deeper characterizations of the total number of critical points, which are shown to be…
Area Regge calculus is a candidate theory of simplicial gravity, based on the Regge action with triangle areas as the dynamical variables. It is characterized by metric discontinuities and vanishing deficit angles. Area Regge calculus…
We develop fixed-point algorithms for the approximation of structured matrices with rank penalties. In particular we use these fixed-point algorithms for making approximations by sums of exponentials, or frequency estimation. For the basic…
The critical behavior of two-dimensional $n$-vector $\lambda\phi^4$ field model is studied within the framework of pseudo-$\epsilon$ expansion approach. Pseudo-$\epsilon$ expansions for Wilson fixed point location $g^*$ and critical…
In this paper we give an algorithm to round the floating point output of a semidefinite programming solver to a solution over the rationals or a quadratic extension of the rationals. We apply this to get sharp bounds for packing problems,…