BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Andrei Gabrielov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Generic spherical quadrilaterals are classified up to isometry. Condition of genericity consists in the requirement that the images of the sides under the developing map belong to four distinct circles which have no triple intersections. Under this condition, it is shown that the space of quadrilaterals with prescribed angles consists of finitely many open curves. Degeneration at the endpoints of these curves is also determined.
We consider a special case of the outer bi-Lipschitz classification of real semialgebraic (or, more general, definable in a polynomially bounded o-minimal structure) surface germs, obtained as a union of two normally embedded Hölder triangles. We define a combinatorial invariant of an equivalence class of such surface germs, called $στ$-pizza, and conjecture that, in this special case, it is a complete combinatorial invariant of outer bi-Lipschitz equivalence.
A link at the origin of an isolated singularity of a two-dimensional semialgebraic surface in $\mathbb{R}^4$ is a topological knot (or link) in $S^3$. We study the connection between the ambient Lipschitz geometry of semialgebraic surface germs in $\mathbb{R}^4$ and the knot theory. Namely, for any knot $K$, we construct a surface $X_K$ in $\mathbb{R}^4$ such that: the link at the origin of $X_{K}$ is a trivial knot; the germs $X_K$ are outer bi-Lipschitz equivalent for all $K$; two germs $X_{K}$ and $X_{K'}$ are ambient bi-Lipschitz equivalent only if the knots $K$ and $K'$ are isotopic. We show that the Jones polynomial can be used to recognize ambient bi-Lipschitz non-equivalent surface germs in $\mathbb{R}^4$, even when they are topologically trivial and outer bi-Lipschitz equivalent.
The space of Lamé functions of order m is isomorphic to the space of pairs (elliptic curve, Abelian differential) where the differential has a single zero of order 2m at the origin and m double poles with vanishing residues. We describe the topology of this space: it is a Riemann surface of finite type; we find the number of components and the genus and Euler characteristic of each component. As an application we find the degrees of Cohn's polynomials confirming a conjecture by Robert Maier. As another application we partially describe the degeneration locus of the space of spherical metrics on tori with one conic singularity where the conic angle is an odd multiple of 2$π$.
A link of an isolated singularity of a two-dimensional semialgebraic surface in $R^4$ is a knot (or a link) in $S^3$. Thus the ambient Lipschitz classification of surface singularities in $R^4$ can be interpreted as a bi-Lipschitz refinement of the topological classification of knots (or links) in $S^3$. We show that, given a knot $K$ in $S^3$, there are infinitely many distinct ambient Lipschitz equivalence classes of outer metric Lipschitz equivalent singularities in $R^4$ with the links topologically equivalent to $K$.
We consider one-dimensional Schrödinger equations with homogeneous potential, under appropriate PT-symmetric boundary conditions. We prove the phenomenon which was discovered by Bender and Boettcher by numerical computation: as the degree of the potential changes, the real spectrum suddenly becomes non-real in the sense that all but finitely many eigenvalues become non-real. We find the limit arguments of these non-real eigenvalues as they tend to infinity.
We prove a complexity lower bound on deciding membership in a semialgebraic set for arithmetic networks in terms of the sum of Betti numbers with respect to "ordinary" (singular) homology. This result complements a similar lower bound by Montana, Morais and Pardo for locally close semialgebraic sets in terms of the sum of Borel-Moore Betti numbers. We also prove a lower bound in terms of the sum of Betti numbers of the projection of a semialgebraic set to a coordinate subspace.
We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set is bounded from below (up to a multiplicative constant) by the logarithm of m-th Betti number (with respect to singular homology) of the set, divided by m+1. This result complements the well known lower bound by Yao for locally closed semialgebraic sets in terms of the total Borel-Moore Betti number. We also prove that the height is bounded from below by the logarithm of m-th Betti number of a projection of the set onto a coordinate subspace, divided by (m+1)^2. We illustrate these general results by examples of lower complexity bounds for some specific computational problems.
We classify spherical quadrilaterals up to isometry in the case when one inner angle is a multiple of pi while the other three are not. This is equivalent to classification of Heun's equations with real parameters and one apparent singularity such that the monodromy consists of unitary transformations.
In this paper we study Lipschitz contact equivalence of continuous function germs in the plane definable in a polynomially bounded o-minimal structure, such as semialgebraic and subanalytic functions. We partition the germ of the plane at the origin into zones where the function has explicit asymptotic behavior. Such a partition is called a pizza. We show that each function germ admits a minimal pizza, unique up to combinatorial equivalence. We show then that two definable continuous function germs are definably Lipschitz contact equivalent if and only if their corresponding minimal pizzas are equivalent.
A spherical n-gon is a bordered surface homeomorphic to a closed disk, with n distinguished boundary points called corners, equipped with a Riemannian metric of constant curvature 1, except at the corners, and such that the boundary arcs between the corners are geodesic. We discuss the problem of classification of these polygons and enumerate them in the case that two angles at the corners are not multiples of pi. The problem is equivalent to classification of some second order linear differential equations with regular singularities, with real parameters and unitary monodromy.
A spherical quadrilateral is a bordered surface homeomorphic to a closed disk, with four distinguished boundary points called corners, equipped with a Riemannian metric of constant curvature 1, except at the corners, and such that the boundary arcs between the corners are geodesic. We discuss the problem of classification of these quadrilaterals and perform the classification up to isometry in the case that two angles at the corners are multiples of pi. The problem is equivalent to classification of Heun's equations with real parameters and unitary monodromy.
We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the closure of the graph of a monotone map is a generalization of a compact convex set. In a particular case of an identically constant function, such a graph is called a {\em semi-monotone set}. Graphs of monotone maps are, generally, non-convex, and their intersections, unlike intersections of convex sets, can be topologically complicated. In particular, such an intersection is not necessarily the graph of a monotone map. Nevertheless, we prove a Helly-type theorem, which says that for a finite family of subsets of $\Real^n$, if all intersections of subfamilies, with cardinalities at most $n+1$, are non-empty and graphs of monotone maps, then the intersection of the whole family is non-empty and the graph of a monotone map.
In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all translated coordinate cones in R^n. In this paper we develop this theory further by defining monotone functions and maps, and studying their fundamental geometric properties. We prove several equivalent conditions for a bounded continuous definable function or map to be monotone. We show that the class of graphs of monotone maps is closed under intersections with affine coordinate subspaces and projections to coordinate subspaces. We prove that the graph of a monotone map is a topologically regular cell. These results generalize and expand the corresponding results obtained in Basu et al. for semi-monotone sets.
We consider differential equations -y"+P(z,a)y=Ey, where P is a polynomial of the independent variable z depending on a parameter a. The spectral locus is the set of (a,E) such that the equation has a non-trivial solution tending to zero on two fixed rays in the complex plane. We study the topology of the spectral loci for polynomials P of degree 3 or 4.
We prove that toric cubes, which are images of $[0,1]^d$ under monomial maps, are the closures of graphs of monotone maps, and in particular semi-algebraically homeomorphic to closed balls.
We study elementary eigenfunctions y=p exp(h) of operators L(y)=y"+Py, where p, h and P are polynomials in one variable. For the case when h is an odd cubic polynomial, we found an interesting identity which is used to describe the spectral locus. We also establish some asymptotic properties of the QES spectral locus.
We describe the real quasi-exactly solvable spectral locus of the PT-symmetric quartic using the Nevanlinna parametrization.
A coordinate cone in R^n is an intersection of some coordinate hyperplanes and open coordinate half-spaces. A semi-monotone set is a defnable in an o-minimal structure over the reals, open bounded subset of R^n such that its intersection with any translation of any coordinate cone is connected. This can be viewed as a generalization of the convexity property. Semi-monotone sets have a number of interesting geometric and combinatorial properties. The main result of the paper is that every semi-monotone set is a topological regular cell.
We describe a parametrization of the real spectral locus of the two-parametric family of PT-symmetric quartic oscillators. For this family, we find a parameter region where all eigenvalues are real, extending the results of Dorey, Dunning, Tateo and Shin.
In this paper, we generalize a recent result of A. Eremenko and A. Gabrielov on irreducibility of the spectral discriminant for the Schrödinger equation with quartic potentials. We consider the eigenvalue problem with a complex-valued polynomial potential of arbitrary degree d and show that the spectral determinant of this problem is connected and irreducible. In other words, every eigenvalue can be reached from any other by analytic continuation. We also prove connectedness of the parameter spaces of the potentials that admit eigenfunctions satisfying k>2 boundary conditions, except for the case d is even and k=d/2. In the latter case, connected components of the parameter space are distinguished by the number of zeros of the eigenfunctions.
We propose a framework for studying predictability of extreme events in complex systems. Major conceptual elements -- hierarchical structure, spatial dynamics, and external driving -- are combined in a classical branching diffusion with immigration. New elements -- observation space and observed events -- are introduced in order to formulate a prediction problem patterned after the geophysical and environmental applications. The problem consists of estimating the likelihood of occurrence of an extreme event given the observations of smaller events while the complete internal dynamics of the system is unknown. We look for premonitory patterns that emerge as an extreme event approaches; those patterns are deviations from the long-term system's averages. We have found a single control parameter that governs multiple spatio-temporal premonitory patterns. For that purpose, we derive i) complete analytic description of time- and space-dependent size distribution of particles generated by a single immigrant; ii) the steady-state moments that correspond to multiple immigrants; and iii) size- and space-based asymptotic for the particle size distribution. Our results suggest a mechanism for universal premonitory patterns and provide a natural framework for their theoretical and empirical study.
In the first part of the paper, we discuss eigenvalue problems of the form -w"+Pw=Ew with complex potential P and zero boundary conditions at infinity on two rays in the complex plane. We give sufficient conditions for continuity of the spectrum when the leading coefficient of P tends to 0. In the second part, we apply these results to the study of topology and geometry of the real spectral loci of PT-symmetric families with P of degree 3 and 4, and prove several related results on the location of zeros of their eigenfunctions.
We prove that the set of leaves of a holomorphic lamination of codimension one that are non-transversal to a germ of a holomorphic map is discrete.
We consider the Schrodinger operator on the real line with even quartic potential and study analytic continuation of eigenvalues, as functions of the coefficient of the potential. We prove several properties of this analytic continuation conjectured by Bender, Wu, Loeffel and Martin. 1. All eigenvalues are given by branches of two multi-valued analytic functions, one for even eigenfunctions and one for odd ones. 2. The only singularities of these multi-valued functions in the complex plane are algebraic ramification points, and there are only finitely many singularities over each compact subset of the plane.
Earthquake aftershock identification is closely related to the question "Are aftershocks different from the rest of earthquakes?" We give a positive answer to this question and introduce a general statistical procedure for clustering analysis of seismicity that can be used, in particular, for aftershock detection. The proposed approach expands the analysis of Baiesi and Paczuski [PRE, 69, 066106 (2004)] based on the space-time-magnitude nearest-neighbor distance $η$ between earthquakes. We show that for a homogeneous Poisson marked point field with exponential marks, the distance $η$ has Weibull distribution, which bridges our results with classical correlation analysis for unmarked point fields. We introduce a 2D distribution of spatial and temporal components of $η$, which allows us to identify the clustered part of a point field. The proposed technique is applied to several synthetic seismicity models and to the observed seismicity of Southern California.
We prove new upper bounds on homotopy and homology groups of o-minimal sets in terms of their approximations by compact o-minimal sets. In particular, we improve the known upper bounds on Betti numbers of semialgebraic sets defined by quantifier-free formulae, and obtain for the first time a singly exponential bound on Betti numbers of sub-Pfaffian sets.
We give a new elementary proof of the following theorem: if all critical points of a rational function g belong to the real line then there exists a fractional linear transformation L such that L(g) is a real rational function. Then we interpret the result in terms of Fuchsian differential equations whose general solution is a polynomial and in terms of electrostatics.
Let P(x) be a germ at the origin of an analytic function in C^n, where x = (x_1,..., x_n), and let ξ= ξ_1(x) d/dx_1 + ... + ξ_n(x) d/dx_n be a germ at the origin of an analytic vector field. Suppose that ξ(0) != 0, and let γbe a trajectory of ξthrough the origin. Suppose that P|_γ/\equiv 0, and let μ(P|_γ) be the multiplicity of a zero of P|_γat the origin. Let ξP = ξ_1 dP/dx_1 + ... + ξ_n dP/dx_n be derivative of P in the direction of ξ, and let ξ^kP be the kth iteration of this derivative. We give a formula (Theorem 1) for μ(P|_γ) in terms of the Euler characteristic of the Milnor fibers defined by a deformation of P, ξP, ..., ξ^{n-1}P . For a polynomial P of degree p and a vector field ξwith polynomial coefficients of degree q, this allows one to compute μ(P|_γ) in purely algebraic terms (Theorem 2), and to give an estimate (Theorem 3) for μ(P|_γ) in terms of n, p, q, single exponential in n and polynomial in p and q. This estimate improves previous results which were doubly exponential in n.