Source author record

Yuliy Baryshnikov

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
23topics
4close collaborators

Actions

Connect this record

Log in to claim

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

14 published item(s)

preprint2026arXiv

Global dynamical structures from infinitesimal data

Scientists and engineers alike target modeling of complex, high dimensional, and nonlinear dynamical systems as a central goal. Machine learning breakthroughs alongside mounting computation and data advance the efficacy of learning from trajectory measurements. However scientifically interpreting data-driven models, e.g., localizing attracting sets and their basins, remains elusive. Such limitations particularly afflict identification of system-level regulatory mechanisms characteristic of living systems, e.g., stabilizing control for whole-body locomotion, where discontinuous, transient, and multiscale phenomena are common and prior models are rare. As a next step towards theory-grounded discovery of behavioral mechanisms in biology and beyond, we introduce VERT, a framework for discovering attracting sets from trajectories without recourse to any global model. Our infinitesimal-local-global (ILG) pipeline estimates the proximity of any sampled state to an attracting set, if one exists, with formal accuracy guarantees. We demonstrate our approach on phenomenological and physical oscillators with hierarchical and impulsive dynamics, finding sensitivity to both global and intermediate attractors composed in sequence and parallel. Application of VERT to human running kinematics data reveals insight into control modules that stabilize task-level dynamics, supporting a longstanding neuromechanical control hypothesis. The VERT framework promotes rigorous inference of underlying dynamical structure even for systems where learning a global dynamics model is impractical or impossible.

preprint2024arXiv

A large-scale particle system with independent jumps and distributed synchronization

We study a system consisting of $n$ particles, moving forward in jumps on the real line. Each particle can make both independent jumps, whose sizes have some distribution, or ``synchronization'' jumps, which allow it to join a randomly chosen other particle if the latter happens to be ahead of it. System state is the empirical distribution of particle locations. The mean-field asymptotic regime, where $n\to\infty$, is considered. We prove that $v_n$, the steady-state speed of the particle system advance, converges, as $n\to\infty$, to a limit $v_{**}$ which can be easily found from a {\em minimum speed selection principle.} Also, as $n\to\infty$, we prove the convergence of the system dynamics to that of a deterministic mean-field limit (MFL). We show that the average speed of advance of any MFL is lower bounded by $v_{**}$, and the speed of a ``benchmark'' MFL, resulting from all particles initially co-located, is equal to $v_{**}$. In the special case of exponentially distributed independent jump sizes, we prove that a traveling wave MFL with speed $v$ exists if and only if $v\ge v_{**}$, with $v_{**}$ having simple explicit form; we also show the existence of traveling waves for the modified systems, with a left or right boundary moving at a constant speed $v$. Using these traveling wave existence results, we provide bounds on an MFL average speed of advance, depending on the right tail exponent of its initial state. We conjecture that these results for exponential jump sizes generalize to general jump sizes.

preprint2022arXiv

Asymptotics of multivariate sequences in the presence of a lacuna

We explain a discontinuous drop in the exponential growth rate for certain multivariate generating functions at a critical parameter value, in even dimensions d at least 4. This result depends on computations in the homology of the algebraic variety where the generating function has a pole. These computations are similar to, and inspired by, a thread of research in applications of complex algebraic geometry to hyperbolic PDEs, going back to Leray, Petrowski, Atiyah, Bott and Garding. As a consequence, we give a topological explanation for certain asymptotic phenomenon appearing in the combinatorics and number theory literature. Furthermore, we show how to combine topological methods with symbolic algebraic computation to determine explicitly the dominant asymptotics for such multivariate generating functions, giving a significant new tool to attack the so-called connection problem for asymptotics of P-recursive sequences. This in turn enables the rigorous determination of integer coefficients in the Morse-Smale complex, which are difficult to determine using direct geometric methods.

preprint2021arXiv

Stationary points at infinity for analytic combinatorics

On complex algebraic varieties, height functions arising in combinatorial applications fail to be proper. This complicates the description and computation via Morse theory of key topological invariants. Here we establish checkable conditions under which the behavior at infinity may be ignored, and the usual theorems of classical and stratified Morse theory may be applied. This allows for simplified arguments in the field of analytic combinatorics in several variables, and forms the basis for new methods applying to problems beyond the reach of previous techniques.

preprint2016arXiv

Level functions of quadratic differentials, signed measures, and the Strebel property

In this paper, motivated by the classical notion of a Strebel qua- dratic differential on a compact Riemann surface without boundary, we in- troduce several classes of quadratic differentials (called non-chaotic, gradient, and positive gradient) which possess some properties of Strebel differentials and appear in applications. We discuss the relation between gradient differen- tials and special signed measures supported on their set of critical trajectories. We provide a characterisation of gradient differentials for which there exists a positive measure in the latter class.

preprint2016arXiv

Typical representatives of free homotopy classes in a multi-punctured plane

We show that a uniform probability measure supported on a specific set of piecewise linear loops in a non-trivial free homotopy class in a multi-punctured plane is overwhelmingly concentrated around loops of minimal lengths. Our approach is based on extending Mogulskii's theorem to closed paths, which is a useful result of independent interest. In addition, we show that the above measure can be sampled using standard Markov Chain Monte Carlo techniques, thus providing a simple methods for approximating shortest loops.

preprint2015arXiv

Cyclic Vectors of Associative Matrix Algebras and Reachability Criteria for Linear and Nonlinear Control Systems

Motivated by the controllability/reachability problems for switched linear control systems and some classes of nonlinear (mechanical) control systems we address a related problem of existence of a cyclic vector for an associative (matrix) algebra. We provide a sufficient criterion for existence of cyclic vector and draw conclusions for controllability.

preprint2013arXiv

Hadwiger's Theorem for Definable Functions

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable real-valued functions on n-dimensional Euclidean space. This generalizes intrinsic volumes to (dual pairs) of non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.

preprint2012arXiv

Asymptotic Traffic Flow in a Hyperbolic Network: Definition and Properties of the Core

In this work we study the asymptotic traffic flow in Gromov's hyperbolic graphs. We prove that under certain mild hypotheses the traffic flow in a hyperbolic graph tends to pass through a finite set of highly congested nodes. These nodes are called the "core" of the graph. We provide a formal definition of the core in a very general context and we study the properties of this set for several graphs.

preprint2012arXiv

Asymptotic Traffic Flow in a Hyperbolic Network: Non-uniform Traffic

In this work we study the asymptotic traffic flow in Gromov's hyperbolic graphs when the traffic decays exponentially with the distance. We prove that under general conditions, there exists a phase transition between local and global traffic. More specifically, assume that the traffic rate between two nodes $u$ and $v$ is given by $R(u,v)=β^{-d(u,v)}$ where $d(u,v)$ is the distance between the nodes. Then there exists a constant $β_c$ that depends on the geometry of the network such that if $1<β<β_c$ the traffic is global and there is a small set of highly congested nodes called the core. However, if $β>β_c$ then the traffic is essentially local and the core is empty which implies very small congestion.

preprint2011arXiv

Asymptotics of multivariate sequences, part III: quadratic points

We consider a number of combinatorial problems in which rational generating functions may be obtained, whose denominators have factors with certain singularities. Specifically, there exist points near which one of the factors is asymptotic to a nondegenerate quadratic. We compute the asymptotics of the coefficients of such a generating function. The computation requires some topological deformations as well as Fourier-Laplace transforms of generalized functions. We apply the results of the theory to specific combinatorial problems, such as Aztec diamond tilings, cube groves, and multi-set permutations.

preprint2010arXiv

Two-dimensional quantum random walk

We analyze several families of two-dimensional quantum random walks. The feasible region (the region where probabilities do not decay exponentially with time) grows linearly with time, as is the case with one-dimensional QRW. The limiting shape of the feasible region is, however, quite different. The limit region turns out to be an algebraic set, which we characterize as the rational image of a compact algebraic variety. We also compute the probability profile within the limit region, which is essentially a negative power of the Gaussian curvature of the same algebraic variety. Our methods are based on analysis of the space-time generating function, following the methods of Pemantle and Wilson (2002).