BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Yevgeny Liokumovich

Yevgeny Liokumovich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DGmath.APmath.GTmath.MGArtificial Intelligence

Catalog footprint

What is connected

16works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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)$

0 citations0 reviewsNo code linkedOpen access