Source author record

Michael Farber

Michael Farber 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

24works
10topics
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

24 published item(s)

preprint2023arXiv

Large simplicial complexes: Universality, Randomness, and Ampleness

The paper surveys recent progress in understanding geometric, topological and combinatorial properties of large simplicial complexes, focusing mainly on ampleness, connectivity and universality. In the first part of the paper we concentrate on $r$-ample simplicial complexes which are high dimensional analogues of the $r$-e.c. graphs introduced originally by Erd\H os and Réniy. The class of $r$-ample complexes is useful for applications since these complexes allow extensions of subcomplexes of certain type in all possible ways; besides, $r$-ample complexes exhibit remarkable robustness properties. We discuss results about the existence of $r$-ample complexes and describe their probabilistic and deterministic constructions. The properties of random simplicial complexes in medial regime are important for this discussion since these complexes are ample, in certain range. We prove that the topological complexity of a random simplicial complex in the medial regime satisfies ${\sf TC}(X)\le 4$, with probability tending to $1$ as $n\to\infty$. There exists a unique (up to isomorphism) $\infty$-ample complex on countable set of vertexes (the Rado complex), and the second part of the paper surveys the results about universality, homogeneity, indestructibility and other important properties of this complex. The Appendix written by J.A. Barmak discusses connectivity of conic and ample complexes.

preprint2022arXiv

Parametrized motion planning and topological complexity

In this paper we study paramertized motion planning algorithms which provide universal and flexible solutions to diverse motion planning problems. Such algorithms are intended to function under a variety of external conditions which are viewed as parameters and serve as part of the input of the algorithm. Continuing a recent paper, we study further the concept of parametrized topological complexity. We analyse in full detail the problem of controlling a swarm of robots in the presence of multiple obstacles in Euclidean space which served for us a natural motivating example. We present an explicit parametrized motion planning algorithm solving the motion planning problem for any number of robots and obstacles.. This algorithm is optimal, it has minimal possible topological complexity for any d odd. Besides, we describe a modification of this algorithm which is optimal for d even. We also analyse the parametrized topological complexity of sphere bundles using the Stiefel - Whitney characteristic classes.

preprint2022arXiv

Parametrized topological complexity of sphere bundles

Parametrized motion planning algorithms have high degree of flexibility and universality, they can work under a variety of external conditions, which are viewed as parameters and form part of the input of the algorithm. In this paper we analyse the parameterized motion planning problem in the case of sphere bundles. Our main results provide upper and lower bounds for the parametrized topological complexity; the upper bounds typically involve sectional categories of the associated fibrations and the lower bounds are given in terms of characteristic classes and their properties. We explicitly compute the parametrized topological complexity in many examples and show that it may assume arbitrarily large values.

preprint2022arXiv

Random Simplicial Complexes, Duality and The Critical Dimension

In this paper we discuss two general models of random simplicial complexes which we call the lower and the upper models. We show that these models are dual to each other with respect to combinatorial Alexander duality. The behaviour of the Betti numbers in the lower model is characterised by the notion of critical dimension, which was introduced by A. Costa and M. Farber: random simplicial complexes in the lower model are homologically approximated by a wedge of spheres of dimension equal the critical dimension. In this paper we study the Betti numbers in the upper model and introduce new notions of critical dimension and spread. We prove that (under certain conditions) an upper random simplicial complex is homologically approximated by a wedge of spheres of the critical dimension.

preprint2022arXiv

Spectra of infinite graphs with summable weight functions

In this paper we study spectra of Laplacians of infinite weighted graphs. Instead of the assumption of local finiteness we impose the condition of summability of the weight function. Such graphs correspond to reversible Markov chains with countable state spaces. We adopt the concept of the Cheeger constant to this setting and prove an analogue of the Cheeger inequality characterising the spectral gap. We also analyse the concept of the dual Cheeger constant originally introduced in \cite{B14}, which allows estimating the top of the spectrum. In this paper we also introduce a new combinatorial invariant, k$(G,m)$, which allows a complete characterisation of bipartite graphs and measures the asymmetry of the spectrum (the Hausdorff distance between the spectrum and its reflection at point $1\in \Bbb R$). We compare k$(G, m)$ to the Cheeger and the dual Cheeger constants. Finally, we analyse in full detail a class of infinite complete graphs and their spectra.

preprint2022arXiv

The homology of random simplicial complexes in the multi-parameter upper model

We study random simplicial complexes in the multi-parameter upper model. In this model simplices of various dimensions are taken randomly and independently, and our random simplicial complex $Y$ is then taken to be the minimal simplicial complex containing this collection of simplices. We study the asymptotic behavior of the homology of $Y$ as the number of vertices goes to $\infty$. We observe the following phenomenon asymptotically almost surely. The given probabilities with which the simplices are taken determine a range of dimensions $\ell \leq k \leq \ell'$ with $\ell' \leq 2\ell +1$, outside of which the homology of $Y$ vanishes. Within this range, the homologies diminish drastically from dimension to dimension. In particular, the homology in the critical dimension $\ell$ is significantly the largest.

preprint2020arXiv

Generating functions and topological complexity

We examine the rationality conjecture which states that (a) the formal power series $\sum_{r\ge 1} \tc_{r+1}(X)\cdot x^r$ represents a rational function of $x$ with a single pole of order 2 at $x=1$ and (b) the leading coefficient of the pole equals $\cat(X)$. Here $X$ is a finite CW-complex and for $r\ge 2$ the symbol $\tc_r(X)$ denotes its $r$-th sequential topological complexity. We analyse an example (violating the Ganea conjecture) and conclude that part (b) of the rationality conjecture is false in general. Besides, we establish a cohomological version of the rationality conjecture.

preprint2020arXiv

The Rado Simplicial Complex

A Rado simplicial complex X is a generalisation of the well-known Rado graph. X is a countable simplicial complex which contains any countable simplicial complex as its induced subcomplex. The Rado simplicial complex is highly symmetric, it is homogeneous: any isomorphism between finite induced subcomplexes can be extended to an isomorphism of the whole complex. We show that the Rado complex X is unique up to isomorphism and suggest several explicit constructions. We also show that a random simplicial complex on countably many vertices is a Rado complex with probability 1. The geometric realisation |X| of a Rado complex is contractible and is homeomorphic to an infinite dimensional simplex. We also prove several other interesting properties of the Rado complex X, for example we show that removing any finite set of simplexes of X gives a complex isomorphic to X.

preprint2020arXiv

Topological embeddings into random 2-complexes

We consider 2-dimensional random simplicial complexes $Y$ in the multi-parameter model. We establish the multi-parameter threshold for the property that every 2-dimensional simplicial complex $S$ admits a topological embedding into $Y$ asymptotically almost surely. Namely, if in the procedure of the multi-parameter model, each $i$-dimensional simplex is taken independently with probability $p_i=p_i(n)$, from a set of $n$ vertices, then the threshold is $p_0 p_1^3 p_2^2 = \frac{1}{n}$. This threshold happens to coincide with the previously established thresholds for uniform hyperbolicity and triviality of the fundamental group. Our claim in one direction is in fact slightly stronger, namely, we show that if $p_0 p_1^3 p_2^2$ is sufficiently larger than $\frac{1}{n}$ then every $S$ has a fixed subdivision $S'$ which admits a simplicial embedding into $Y$ asymptotically almost surely. The main geometric result we prove to this end is that given $ε>0$, there is a subdivision $S'$ of $S$ such that every subcomplex $T \subseteq S'$ has $\frac{f_0(T)}{f_1(T)}>\frac{1}{3}-ε$ and $\frac{f_0(T)}{f_2(T)}>\frac{1}{2}-ε$, where $f_i(T)$ denotes the number of simplices in $T$ of dimension $i$. In the other direction we show that if $p_0 p_1^3 p_2^2$ is sufficiently smaller than $\frac{1}{n}$, then asymptotically almost surely, the torus does not admit a topological embedding into $Y$. Here we use a result of Z. Gao which bounds the number of different triangulations of a surface.

preprint2011arXiv

Telescopic Linkages and Topological Approach to Phase Transitions

A topological approach to the theory of equilibrium phase transitions in statistical physics is based on the Topological Hypothesis (TH), which claims that phase transitions are due to changes of the topology of suitable submanifolds in the configuration space. In this paper we examine in detail the anti-ferromagnetic mean-field XY model and study topology of the sub-energy manifolds. The latter can be interpreted mechanically as configuration space of a linkage with one telescopic leg. We use methods of Morse theory to describe explicitly the Betti numbers of this configuration space. We apply these results to the anti-ferromagnetic mean-field XY model and compute the exponential growth rate of the total Betti number. The previous authors instead of the total Betti number studied the Euler characteristic. We show that in the presence of an external magnetic field the model undergoes a single "total Betti number phase transition".

preprint2011arXiv

The topology of spaces of polygons

Let $E_{d}(\ell)$ denote the space of all closed $n$-gons in $\R^{d}$ (where $d\ge 2$) with sides of length $\ell_1,..., \ell_n$, viewed up to translations. The spaces $E_d(\ell)$ are parameterized by their length vectors $\ell=(\ell_1,..., \ell_n)\in \R^n_{>}$ encoding the length parameters. Generically, $E_{d}(\ell)$ is a closed smooth manifold of dimension $(n-1)(d-1)-1$ supporting an obvious action of the orthogonal group ${O}(d)$. However, the quotient space $E_{d}(\ell)/{O}(d)$ (the moduli space of shapes of $n$-gons) has singularities for a generic $\ell$, assuming that $d>3$; this quotient is well understood in the low dimensional cases $d=2$ and $d=3$. Our main result in this paper states that for fixed $d\ge 3$ and $n\ge 3$, the diffeomorphism types of the manifolds $E_{d}(\ell)$ for varying generic vectors $\ell$ are in one-to-one correspondence with some combinatorial objects -- connected components of the complement of a finite collection of hyperplanes. This result is in the spirit of a conjecture of K. Walker who raised a similar problem in the planar case $d=2$.

preprint2011arXiv

Topology of Random Right Angled Artin Groups

In this paper we study topological invariants of a class of random groups. Namely, we study right angled Artin groups associated to random graphs and investigate their Betti numbers, cohomological dimension and topological complexity. The latter is a numerical homotopy invariant reflecting complexity of motion planning algorithms in robotics. We show that the topological complexity of a random right angled Artin group assumes, with probability tending to one, at most three values. We use a result of Cohen and Pruidze which expresses the topological complexity of right angled Artin groups in combinatorial terms. Our proof deals with the existence of bi-cliques in random graphs.

preprint2010arXiv

Random groups arising as graph products

In this paper we study the hyperbolicity properties of a class of random groups arising as graph products associated to random graphs. Recall, that the construction of a graph product is a generalization of the constructions of right-angled Artin and Coxeter groups. We adopt the Erdos - Renyi model of a random graph and find precise threshold functions for the hyperbolicity (or relative hyperbolicity). We aslo study automorphism groups of right-angled Artin groups associated to random graphs. We show that with probability tending to one as $n\to \infty$, random right-angled Artin groups have finite outer automorphism groups, assuming that the probability parameter $p$ is constant and satisfies $0.2929 <p<1$.

preprint2010arXiv

Topology of configuration space of two particles on a graph, II

This paper continues the investigation of the configuration space of two distinct points on a graph. We analyze the process of adding an additional edge to the graph and the resulting changes in the topology of the configuration space. We introduce a linking bilinear form on the homology group of the graph with values in the cokernel of the intersection form (introduced in Part I of this work). For a large class of graphs, which we call mature graphs, we give explicit expressions for the homology groups of the configuration space. We show that under a simple condition, adding an edge to a mature graph yields another mature graph.

preprint2010arXiv

Topology of random 2-complexes

We study the Linial--Meshulam model of random two-dimensional simplicial complexes. One of our main results states that for $p\ll n^{-1}$ a random 2-complex $Y$ collapses simplicially to a graph and, in particular, the fundamental group $π_1(Y)$ is free and $H_2(Y)=0$, a.a.s. We also prove that, if the probability parameter $p$ satisfies $p\gg n^{-1/2+ε}$, where $ε>0$, then an arbitrary finite two-dimensional simplicial complex admits a topological embedding into a random 2-complex, with probability tending to one as $n\to \infty$. We also establish several related results, for example we show that for $p<c/n$ with $c<3$ the fundamental group of a random 2-complex contains a nonabelian free subgroup. Our method is based on exploiting explicit thresholds (established in the paper) for the existence of simplicial embedding and immersions of 2-complexes into a random 2-complex.

preprint2009arXiv

Topological complexity of collision-free motion planning on surfaces

The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik-Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute the topological complexity of the configuration space of n distinct ordered points on an orientable surface. Our main tool is a theorem of B. Totaro describing the cohomology of configuration spaces of algebraic varieties.

preprint2006arXiv

Cohomological estimates for $\cat(X,ξ)$

This paper studies the homotopy invariant $\cat(X,ξ)$ introduced in \cite{farbe2}. Given a finite cell-complex $X$, we study the function $ξ\mapsto \cat(X,ξ)$ where $ξ$ varies in the cohomology space $H^1(X;\R)$. Note that $\cat(X,ξ)$ turns into the classical Lusternik - Schnirelmann category $\cat(X)$ in the case $ξ=0$. Interest in $\cat(X,ξ)$ is based on its applications in dynamics where it enters estimates of complexity of the chain recurrent set of a flow admitting Lyapunov closed 1-forms.

preprint2006arXiv

Homological category weights and estimates for cat^1(X,ξ)

In this paper we study a new notion of category weight of homology classes developing further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological category weight of E. Fadell and S. Husseini but these two notions are distinct already for Poincaré complexes. An important advantage of the homological category weight is its homotopy invariance. We use the notion of homological category weight to study various generalizations of the Lusternik - Schnirelmann category which appeared in the theory of closed one-forms and have applications in dynamics. Our primary goal is to compare two such invariants $\cat(X,ξ)$ and $\cat^1(X,ξ)$ which are defined similarly with reversion of the order of quantifiers. We compute these invariants explicitly for products of surfaces and show that they may differ by an arbitrarily large quantity. The proof of one of our main results, Theorem \ref{main2}, uses an algebraic characterization of homology classes $z\in H_i(\tilde X;\Z)$ (where $\tilde X\to X$ is a free abelian covering) which are movable to infinity of $\tilde X$ with respect to a prescribed cohomology class $ξ\in H^1(X;\R)$. This result is established in Part II which can be read independently of the rest of the paper.

preprint1995arXiv

Novikov type inequalities for differential forms with non-isolated zeros

We generalize the Novikov inequalities for 1-forms in two different directions: first, we allow non-isolated critical points (assuming that they are non-degenerate in the sense of R.Bott), and, secondly, we strengthen the inequalities by means of twisting by an arbitrary flat bundle. The proof uses Bismut's modification of the Witten deformation of the de Rham complex; it is based on an explicit estimate on the lower part of the spectrum of the corresponding Laplacian. In particular, we obtain a new analytic proof of the degenerate Morse inequalities of Bott.

preprint1995arXiv

The Novikov-Bott inequalities

We generalize the Novikov inequalities for 1-forms in two different directions: first, we allow non-isolated critical points (assuming that they are non-degenerate in the sense of R.Bott), and, secondly, we strengthen the inequalities by means of twisting by an arbitrary flat bundle. We also obtain an $L^2$ version of these inequalities with finite von Neumann algebras. The proof of the main theorem uses Bismut's modification of the Witten deformation of the de Rham complex; it is based on an explicit estimate on the lower part of the spectrum of the corresponding Laplacian.