Source author record

Yevgeny Liokumovich

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DG math.AP math.GT math.MG Artificial Intelligence

Catalog footprint

Research overview

16works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Quantifying stability of non-power-seeking in artificial agents

We investigate the question: if an AI agent is known to be safe in one setting, is it also safe in a new setting similar to the first? This is a core question of AI alignment--we train and test models in a certain environment, but deploy them in another, and we need to guarantee that models that seem safe in testing remain so in deployment. Our notion of safety is based on power-seeking--an agent which seeks power is not safe. In particular, we focus on a crucial type of power-seeking: resisting shutdown. We model agents as policies for Markov decision processes, and show (in two cases of interest) that not resisting shutdown is "stable": if an MDP has certain policies which don't avoid shutdown, the corresponding policies for a similar MDP also don't avoid shutdown. We also show that there are natural cases where safety is _not_ stable--arbitrarily small perturbations may result in policies which never shut down. In our first case of interest--near-optimal policies--we use a bisimulation metric on MDPs to prove that small perturbations won't make the agent take longer to shut down. Our second case of interest is policies for MDPs satisfying certain constraints which hold for various models (including language models). Here, we demonstrate a quantitative bound on how fast the probability of not shutting down can increase: by defining a metric on MDPs; proving that the probability of not shutting down, as a function on MDPs, is lower semicontinuous; and bounding how quickly this function decreases.

preprint2023arXiv

Waist inequality for 3-manifolds with positive scalar curvature

We construct singular foliations of compact three-manifolds $(M^3,h)$ with scalar curvature $R_h\geq Λ_0>0$ by surfaces of controlled area, diameter and genus. This extends Urysohn and waist inequalities of Gromov-Lawson and Marques-Neves.

preprint2022arXiv

Geodesic nets on non-compact Riemannian manifolds

A geodesic flower is a finite collection of geodesic loops based at the same point $p$ that satisfy the following balancing condition: The sum of all unit tangent vectors to all geodesic arcs meeting at $p$ is equal to the zero vector. In particular, a geodesic flower is a stationary geodesic net. We prove that in every complete non-compact manifold with locally convex ends there exists a non-trivial geodesic flower.

preprint2022arXiv

Singular behavior and generic regularity of min-max minimal hypersurfaces

We show that for a generic $8$ -dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\rm Index}(Σ) \leq 1$ where $\mathcal{S}_{nm}(Σ)$ denotes the set of singular points of $Σ$ with a unique tangent cone non-area minimizing on either side.

preprint2021arXiv

Filling metric spaces

We prove a new version of isoperimetric inequality: Given a positive real $m$ , a Banach space $B$ , a closed subset $Y$ of metric space $X$ and a continuous map $f:Y \rightarrow B$ with $f(Y)$ compact $\inf_FHC_{m+1}(F(X))\leq c(m)HC_m(f(Y))^{\frac{m+1}{m}},$ where $HC_m$ denotes the $m$ -dimensional Hausdorff content, the infimum is taken over the set of all continuous maps $F:X\longrightarrow B$ such that $F(y)=f(y)$ for all $y\in Y$ , and $c(m)$ depends only on $m$ . Moreover, one can find $F$ with a nearly minimal $HC_{m+1}$ such that its image lies in the $C(m)HC_m(f(Y))^{1\over m}$ -neighbourhood of $f(Y)$ with the exception of a subset with zero $(m+1)$ -dimensional Hausdorff measure. The paper also contains a very general coarea inequality for Hausdorff content and its modifications. As an application we demonstrate an inequality conjectured by Larry Guth that relates the $m$ -dimensional Hausdorff content of a compact metric space with its $(m-1)$ -dimensional Urysohn width. We show that this result implies new systolic inequalities that both strengthen the classical Gromov's systolic inequality for essential Riemannian manifolds and extend this inequality to a wider class of non-simply connected manifolds.

preprint2016arXiv

Optimal sweepouts of a Riemannian 2-sphere

Given a sweepout of a Riemannian 2-sphere which is composed of curves of length less than L, we construct a second sweepout composed of curves of length less than L which are either constant curves or simple curves. This result, and the methods used to prove it, have several consequences; we answer a question of M. Freedman concerning the existence of min-max embedded geodesics, we partially answer a question due to N. Hingston and H.-B. Rademacher, and we also extend the results of [CL] concerning converting homotopies to isotopies in an effective way.

preprint2016arXiv

Sweeping out 3-manifold of positive Ricci curvature by short 1-cycles via estimates of min-max surfaces

We prove that given a three manifold with an arbitrary metric $(M^3, g)$ of positive Ricci curvature, there exists a sweepout of $M$ by surfaces of genus $\leq 3$ and areas bounded by $C vol(M^3, g)^{2/3}$ . We use this result to construct a sweepout of $M$ by 1-cycles of length at most $C vol(M^3, g)^{1/3}$ . The sweepout of surfaces is generated from a min-max minimal surface. If further assuming a positive scalar curvature lower bound, we can get a diameter upper bound for the min-max surface.

preprint2015arXiv

Families of short cycles on Riemannian surfaces

Let $M$ be a closed Riemannian surface of genus $g$ . We construct a family of 1-cycles on $M$ that represents a non-trivial element of the k'th homology group of the space of cycles and such that the mass of each cycle is bounded above by $C \max\{\sqrt{k}, \sqrt{g}\} \sqrt{Area(M)}$ . This result is optimal up to a multiplicative constant.

preprint2015arXiv

Splitting a contraction of a simple curve traversed $m$ times

Suppose that $M$ is a $2$ -dimensional oriented Riemannian manifold, and let $γ$ be a simple closed curve on $M$ . Let $m γ$ denote the curve formed by tracing $γ$ $m$ times. We prove that if $m γ$ is contractible through curves of length less than $L$ , then $γ$ is contractible through curves of length less than $L$ . In the last section we state several open questions about controlling length and the number of self-intersections in homotopies of curves on Riemannian surfaces.

preprint2015arXiv

Width, Ricci curvature and minimal hypersurfaces

Let $(M,g_0)$ be a closed Riemannian manifold of dimension $n$ , for $3 \leq n \leq 7$ , and non-negative Ricci curvature. Let $g = ϕ^2 g_0$ be a metric in the conformal class of $g_0$ . We show that there exists a smooth closed embedded minimal hypersurface in $(M,g)$ of volume bounded by $C V^{\frac{n-1}{n}}$ , where $V$ is the total volume of $(M,g)$ and $C$ is a constant that depends only on $n$ . When $Ric(M,g_0) \geq -(n-1)$ we obtain a similar bound with constant $C$ depending only on $n$ and the volume of $(M,g_0)$ . Our second result concerns manifolds $(M,g)$ of positive Ricci curvature. We obtain an effective version of a theorem of F. Coda Marques and A. Neves on the existence of infinitely many minimal hypersurfaces on $(M,g)$ . We show that for any such manifold there exists $k$ minimal hypersurfaces of volume at most $C_n V \left( sys_{n-1}(M)\right)^{-\frac{1}{n-1}} k ^ {\frac{1}{n-1}}$ , where $V$ denotes the volume of $(M,g_0)$ and $sys_{n-1}(M)$ is the smallest volume of a non-trivial minimal hypersurface.

preprint2014arXiv

Contracting the boundary of a Riemannian 2-disc

Let $D$ be a Riemannian 2-disc of area $A$ , diameter $d$ and length of the boundary $L$ . We prove that it is possible to contract the boundary of $D$ through curves of length $\leq L + 200d\max\{1,\ln {\sqrt{A}\over d} \}$ . This answers a twenty-year old question of S. Frankel and M. Katz, a version of which was asked earlier by M.Gromov. We also prove that a Riemannian $2$ -sphere $M$ of diameter $d$ and area $A$ can be swept out by loops based at any prescribed point $p\in M$ of length $\leq 200 d\max\{1,\ln{\sqrt{A}\over d} \}$ . This estimate is optimal up to a constant factor. In addition, we provide much better (and nearly optimal) estimates for these problems in the case, when $A<<d^2$ . Finally, we describe the applications of our estimates for study of lengths of various geodesics between a fixed pair of points on "thin" Riemannian $2$ -spheres.

preprint2014arXiv

Converting homotopies to isotopies and dividing homotopies in half in an effective way

We prove two theorems about homotopies of curves on 2-dimensional Riemannian manifolds. We show that, for any epsilon > 0, if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through curves of length bounded by L + epsilon. If the manifold is orientable, then for any epsilon > 0 we show that, if we can contract a curve gamma traversed twice through curves of length bounded by L, then we can also contract gamma through curves bounded in length by L + epsilon. Our method involves cutting curves at their self-intersection points and reconnecting them in a prescribed way. We consider the space of all curves obtained in this way from the original homotopy, and use a novel approach to show that this space contains a path which yields the desired homotopy.

preprint2014arXiv

Lengths of three simple periodic geodesics on a Riemannian $2$ -sphere

Let $M$ be a Riemannian $2$ -sphere. A classical theorem of Lyusternik and Shnirelman asserts the existence of three distinct simple non-trivial periodic geodesics on $M$ . In this paper we prove that there exist three simple periodic geodesics with lengths that do not exceed $20d$ , where $d$ is the diameter of $M$ . We also present an upper bound that depends only on the area and diameter for the lengths of the three simple periodic geodesics with positive indices that appear as minimax critical values in the classical proofs of the Lyusternik-Shnirelman theorem. Finally, we present better bounds for these three lengths for "thin" spheres, when the area $A$ is much less than $d^2$ , where the bounds for the lengths of the first two simple periodic geodesics are asymptotically optimal, when ${A\over d^2}\longrightarrow 0$ .

preprint2014arXiv

Slicing a 2-sphere

We show that for every complete Riemannian surface $M$ diffeomorphic to a sphere with $k \geq 0$ holes there exists a Morse function $f:M \rightarrow \mathbb{R}$ , which is constant on each connected component of the boundary of $M$ and has fibers of length no more than $52 \sqrt{Area(M)}+length(\partial M)$ . We also show that on every 2-sphere there exists a simple closed curve of length $\leq 26 \sqrt{Area(S^2)}$ subdividing the sphere into two discs of area $\geq \frac{1}{3}Area(S^2)$

preprint2013arXiv

Surfaces of small diameter with large width

Given a 2-dimensional surface M and a constant C we construct a Riemannian metric g, so that diameter diam(M,g)=1 and every 1-cycle dividing M into two regions of equal area has length >C. It follows that there exists no universal inequality bounding 1-width of M in terms of its diameter. This answers a question of Stephane Sabourau.

preprint2011arXiv

Spheres of small diameter with long sweep-outs

We prove the absence of a universal diameter bound on lengths of curves in a sweep-out of a Riemannian 2-sphere. If such bound existed it would yield a simple proof of existence of short geodesic segments and closed geodesics on a sphere of small diameter.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Yevgeny Liokumovich

Research overview

Is this your work?

16 publications

Quantifying stability of non-power-seeking in artificial agents

Waist inequality for 3-manifolds with positive scalar curvature

Geodesic nets on non-compact Riemannian manifolds

Singular behavior and generic regularity of min-max minimal hypersurfaces

Filling metric spaces

Optimal sweepouts of a Riemannian 2-sphere

Sweeping out 3-manifold of positive Ricci curvature by short 1-cycles via estimates of min-max surfaces

Families of short cycles on Riemannian surfaces

Splitting a contraction of a simple curve traversed $m$ times

Width, Ricci curvature and minimal hypersurfaces

Contracting the boundary of a Riemannian 2-disc

Converting homotopies to isotopies and dividing homotopies in half in an effective way

Lengths of three simple periodic geodesics on a Riemannian $2$ -sphere

Slicing a 2-sphere

Surfaces of small diameter with large width

Spheres of small diameter with long sweep-outs

See the researcher in context

Building this map preview

Yevgeny Liokumovich

Research overview

Is this your work?

16 publications

Quantifying stability of non-power-seeking in artificial agents

Waist inequality for 3-manifolds with positive scalar curvature

Geodesic nets on non-compact Riemannian manifolds

Singular behavior and generic regularity of min-max minimal hypersurfaces

Filling metric spaces

Optimal sweepouts of a Riemannian 2-sphere

Sweeping out 3-manifold of positive Ricci curvature by short 1-cycles via estimates of min-max surfaces

Families of short cycles on Riemannian surfaces

Splitting a contraction of a simple curve traversed mmm times

Width, Ricci curvature and minimal hypersurfaces

Contracting the boundary of a Riemannian 2-disc

Converting homotopies to isotopies and dividing homotopies in half in an effective way

Lengths of three simple periodic geodesics on a Riemannian 222-sphere

Slicing a 2-sphere

Surfaces of small diameter with large width

Spheres of small diameter with long sweep-outs

See the researcher in context

Building this map preview

Splitting a contraction of a simple curve traversed $m$ times

Lengths of three simple periodic geodesics on a Riemannian $2$ -sphere