BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Michael Farber

Michael Farber contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.COmath.PRmath.DGmath.GTRobotics

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 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.

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

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

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

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

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

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

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

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

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

0 citations0 reviewsNo code linkedOpen access