-
Generating functions and topological complexity
Authors:
Michael Farber,
Daisuke Kishimoto,
Donald Stanley
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
Citation Recommendation: Approaches and Datasets
Authors:
Michael Färber,
Adam Jatowt
Abstract:
Citation recommendation describes the task of recommending citations for a given text. Due to the overload of published scientific works in recent years on the one hand, and the need to cite the most appropriate publications when writing scientific texts on the other hand, citation recommendation has emerged as an important research topic. In recent years, several approaches and evaluation data se…
▽ More
Citation recommendation describes the task of recommending citations for a given text. Due to the overload of published scientific works in recent years on the one hand, and the need to cite the most appropriate publications when writing scientific texts on the other hand, citation recommendation has emerged as an important research topic. In recent years, several approaches and evaluation data sets have been presented. However, to the best of our knowledge, no literature survey has been conducted explicitly on citation recommendation. In this article, we give a thorough introduction into automatic citation recommendation research. We then present an overview of the approaches and data sets for citation recommendation and identify differences and commonalities using various dimensions. Last but not least, we shed light on the evaluation methods, and outline general challenges in the evaluation and how to meet them. We restrict ourselves to citation recommendation for scientific publications, as this document type has been studied the most in this area. However, many of the observations and discussions included in this survey are also applicable to other types of text, such as news articles and encyclopedic articles.
△ Less
Submitted 14 May, 2020; v1 submitted 17 February, 2020;
originally announced February 2020.
-
HybridCite: A Hybrid Model for Context-Aware Citation Recommendation
Authors:
Michael Färber,
Ashwath Sampath
Abstract:
Citation recommendation systems aim to recommend citations for either a complete paper or a small portion of text called a citation context. The process of recommending citations for citation contexts is called local citation recommendation and is the focus of this paper. Firstly, we develop citation recommendation approaches based on embeddings, topic modeling, and information retrieval technique…
▽ More
Citation recommendation systems aim to recommend citations for either a complete paper or a small portion of text called a citation context. The process of recommending citations for citation contexts is called local citation recommendation and is the focus of this paper. Firstly, we develop citation recommendation approaches based on embeddings, topic modeling, and information retrieval techniques. We combine, for the first time to the best of our knowledge, the best-performing algorithms into a semi-genetic hybrid recommender system for citation recommendation. We evaluate the single approaches and the hybrid approach offline based on several data sets, such as the Microsoft Academic Graph (MAG) and the MAG in combination with arXiv and ACL. We further conduct a user study for evaluating our approaches online. Our evaluation results show that a hybrid model containing embedding and information retrieval-based components outperforms its individual components and further algorithms by a large margin.
△ Less
Submitted 1 June, 2020; v1 submitted 15 February, 2020;
originally announced February 2020.
-
Random Surfaces with Boundary
Authors:
Chaim Even-Zohar,
Michael Farber
Abstract:
A surface with boundary is randomly generated by gluing polygons along some of their sides. We show that its genus and number of boundary components asymptotically follow a bivariate normal distribution.
A surface with boundary is randomly generated by gluing polygons along some of their sides. We show that its genus and number of boundary components asymptotically follow a bivariate normal distribution.
△ Less
Submitted 5 March, 2021; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Topological embeddings into random 2-complexes
Authors:
Michael Farber,
Tahl Nowik
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 January, 2020; v1 submitted 9 December, 2019;
originally announced December 2019.
-
The Rado Simplicial Complex
Authors:
Michael Farber,
Lewis Mead,
Lewin Strauss
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 January, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Auto-Annotation Quality Prediction for Semi-Supervised Learning with Ensembles
Authors:
Dror Simon,
Miriam Farber,
Roman Goldenberg
Abstract:
Auto-annotation by ensemble of models is an efficient method of learning on unlabeled data. Wrong or inaccurate annotations generated by the ensemble may lead to performance degradation of the trained model. To deal with this problem we propose filtering the auto-labeled data using a trained model that predicts the quality of the annotation from the degree of consensus between ensemble models. Usi…
▽ More
Auto-annotation by ensemble of models is an efficient method of learning on unlabeled data. Wrong or inaccurate annotations generated by the ensemble may lead to performance degradation of the trained model. To deal with this problem we propose filtering the auto-labeled data using a trained model that predicts the quality of the annotation from the degree of consensus between ensemble models. Using semantic segmentation as an example, we show the advantage of the proposed auto-annotation filtering over training on data contaminated with inaccurate labels.
Moreover, our experimental results show that in the case of semantic segmentation, the performance of a state-of-the-art model can be achieved by training it with only a fraction (30$\%$) of the original manually labeled data set, and replacing the rest with the auto-annotated, quality filtered labels.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Making Neural Networks FAIR
Authors:
Anna Nguyen,
Tobias Weller,
Michael Färber,
York Sure-Vetter
Abstract:
Research on neural networks has gained significant momentum over the past few years. Because training is a resource-intensive process and training data cannot always be made available to everyone, there has been a trend to reuse pre-trained neural networks. As such, neural networks themselves have become research data. In this paper, we first present the neural network ontology FAIRnets Ontology,…
▽ More
Research on neural networks has gained significant momentum over the past few years. Because training is a resource-intensive process and training data cannot always be made available to everyone, there has been a trend to reuse pre-trained neural networks. As such, neural networks themselves have become research data. In this paper, we first present the neural network ontology FAIRnets Ontology, an ontology to make existing neural network models findable, accessible, interoperable, and reusable according to the FAIR principles. Our ontology allows us to model neural networks on a meta-level in a structured way, including the representation of all network layers and their characteristics. Secondly, we have modeled over 18,400 neural networks from GitHub based on this ontology, which we provide to the public as a knowledge graph called FAIRnets, ready to be used for recommending suitable neural networks to data scientists.
△ Less
Submitted 1 December, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Linked Crunchbase: A Linked Data API and RDF Data Set About Innovative Companies
Authors:
Michael Färber
Abstract:
Crunchbase is an online platform collecting information about startups and technology companies, including attributes and relations of companies, people, and investments. Data contained in Crunchbase is, to a large extent, not available elsewhere, making Crunchbase to a unique data source. In this paper, we present how to bring Crunchbase to the Web of Data so that its data can be used in the mach…
▽ More
Crunchbase is an online platform collecting information about startups and technology companies, including attributes and relations of companies, people, and investments. Data contained in Crunchbase is, to a large extent, not available elsewhere, making Crunchbase to a unique data source. In this paper, we present how to bring Crunchbase to the Web of Data so that its data can be used in the machine-readable RDF format by anyone on the Web. First, we give insights into how we developed and hosted a Linked Data API for Crunchbase and how sameAs links to other data sources are integrated. Then, we present our method for crawling RDF data based on this API to build a custom Crunchbase RDF knowledge graph. We created an RDF data set with over 347 million triples, including 781k people, 659k organizations, and 343k investments. Our Crunchbase Linked Data API is available online at http://linked-crunchbase.org.
△ Less
Submitted 19 July, 2019;
originally announced July 2019.
-
Random Simplicial Complexes in the Medial Regime
Authors:
Michael Farber,
Lewis Mead
Abstract:
We describe topology of random simplicial complexes in the lower and upper models in the medial regime, i.e. under the assumption that the probability parameters $p_σ$ approach neither $0$ nor $1$. We show that nontrivial Betti numbers of typical lower and upper random simplicial complexes in the medial regime lie in a narrow range of dimensions. For instance, an upper random simplicial complex…
▽ More
We describe topology of random simplicial complexes in the lower and upper models in the medial regime, i.e. under the assumption that the probability parameters $p_σ$ approach neither $0$ nor $1$. We show that nontrivial Betti numbers of typical lower and upper random simplicial complexes in the medial regime lie in a narrow range of dimensions. For instance, an upper random simplicial complex $Y$ on $n$ vertices in the medial regime with high probability has non-vanishing Betti numbers $b_{j}(Y)$ only for $k+c <n-j<k+\log_2 k +c'$ where $k=\log_2 \ln n$ and $c, c' $ are constants. A lower random simplicial complex on $n$ vertices in the medial regime is with high probability $(k+a)$-connected and its dimension $d$ satisfies $d\sim k+\log_2 k+ a'$ where $a, \, a'$ are constants. The paper develops a new technique, based on Alexander duality, which relates the lower and upper models.
△ Less
Submitted 21 July, 2019; v1 submitted 1 July, 2019;
originally announced July 2019.
-
Higher topological complexity of aspherical spaces
Authors:
Michael Farber,
John Oprea
Abstract:
In this article we study the higher topological complexity ${\sf TC}_r(X)$ in the case when $X$ is an aspherical space, $X=K(π, 1)$ and $r\ge 2$. We give a characterisation of ${\sf TC}_r(K(π, 1))$ in terms of classifying spaces for equivariant Bredon cohomology. Our recent paper \cite{FGLO}, joint with M. Grant and G. Lupton, treats the special case $r=2$. We also obtain in this paper useful lowe…
▽ More
In this article we study the higher topological complexity ${\sf TC}_r(X)$ in the case when $X$ is an aspherical space, $X=K(π, 1)$ and $r\ge 2$. We give a characterisation of ${\sf TC}_r(K(π, 1))$ in terms of classifying spaces for equivariant Bredon cohomology. Our recent paper \cite{FGLO}, joint with M. Grant and G. Lupton, treats the special case $r=2$. We also obtain in this paper useful lower bounds for ${\sf TC}_r(π)$ in terms of cohomological dimension of subgroups of $π\timesπ\times \dots\times π$ ($r$ times) with certain properties. As an illustration of the main technique we find the higher topological complexity of the Higman's groups. We also apply our method to obtain a lower bound for the higher topological complexity of the right angled Artin (RAA) groups, which, as was established in \cite{GGY} by a different method (in a more general situation), coincides with the precise value. We finish the paper by a discussion of the ${\sf TC}$-generating function $\sum_{r=1}^\infty {\sf TC}_{r+1}(X)x^r$ encoding the values of the higher topological complexity ${\sf TC}_r(X)$ for all values of $r$. We show that in many examples (including the case when $X=K(H, 1)$ with $H$ being a RAA group) the ${\sf TC}$-generating function is a rational function of the form $\frac{P(x)}{(1-x)^2}$ where $P(x)$ is an integer polynomial with $P(1)={\sf cat}(X)$.
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
Random Simplicial Complexes, Duality and The Critical Dimension
Authors:
Michael Farber,
Lewis Mead,
Tahl Nowik
Abstract:
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 complex…
▽ More
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.
△ Less
Submitted 4 January, 2022; v1 submitted 28 January, 2019;
originally announced January 2019.
-
Directed topological complexity
Authors:
Eric Goubault,
Michael Farber,
Aurélien Sagnier
Abstract:
It has been observed that the very important motion planning problem of robotics mathematically speaking boils down to the problem of finding a section to the path-space fibration, raising the notion of topological complexity, as introduced by M. Farber. The above notion fits the motion planning problem of robotics when there are no constraints on the actual control that can be applied to the phys…
▽ More
It has been observed that the very important motion planning problem of robotics mathematically speaking boils down to the problem of finding a section to the path-space fibration, raising the notion of topological complexity, as introduced by M. Farber. The above notion fits the motion planning problem of robotics when there are no constraints on the actual control that can be applied to the physical apparatus. In many applications, however, a physical apparatus may have constrained controls, leading to constraints on its potential future dynamics. In this paper we adapt the notion of topological complexity to the case of directed topological spaces, which encompass such controlled systems, and also systems which appear in concurrency theory. We study its first properties, make calculations for some interesting classes of spaces, and show applications to a form of directed homotopy equivalence.
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
Which Knowledge Graph Is Best for Me?
Authors:
Michael Färber,
Achim Rettinger
Abstract:
In recent years, DBpedia, Freebase, OpenCyc, Wikidata, and YAGO have been published as noteworthy large, cross-domain, and freely available knowledge graphs. Although extensively in use, these knowledge graphs are hard to compare against each other in a given setting. Thus, it is a challenge for researchers and developers to pick the best knowledge graph for their individual needs. In our recent s…
▽ More
In recent years, DBpedia, Freebase, OpenCyc, Wikidata, and YAGO have been published as noteworthy large, cross-domain, and freely available knowledge graphs. Although extensively in use, these knowledge graphs are hard to compare against each other in a given setting. Thus, it is a challenge for researchers and developers to pick the best knowledge graph for their individual needs. In our recent survey, we devised and applied data quality criteria to the above-mentioned knowledge graphs. Furthermore, we proposed a framework for finding the most suitable knowledge graph for a given setting. With this paper we intend to ease the access to our in-depth survey by presenting simplified rules that map individual data quality requirements to specific knowledge graphs. However, this paper does not intend to replace our previously introduced decision-support framework. For an informed decision on which KG is best for you we still refer to our in-depth survey.
△ Less
Submitted 28 September, 2018;
originally announced September 2018.
-
Amplitude Quantization for Type-2 Codebook Based CSI Feedback in New Radio System
Authors:
Honglei Miao,
Markus D. Mueck,
Michael Faerber
Abstract:
In 3GPP new radio system, two types of codebook, namely Type-1 and Type-2 codebook, have been standardized for the channel state information (CSI) feedback in the support of advanced MIMO operation. Both types of codebook are constructed from 2-D DFT based grid of beams, and enable the CSI feedback of beam selection as well as PSK based co-phase combining between two polarizations. Moreover, Type-…
▽ More
In 3GPP new radio system, two types of codebook, namely Type-1 and Type-2 codebook, have been standardized for the channel state information (CSI) feedback in the support of advanced MIMO operation. Both types of codebook are constructed from 2-D DFT based grid of beams, and enable the CSI feedback of beam selection as well as PSK based co-phase combining between two polarizations. Moreover, Type-2 codebook based CSI feedback reports the wideband and subband amplitude information of the selected beams. As a result, it is envisioned that more accurate CSI shall be obtained from the Type-2 codebook based CSI feedback so that better precoded MIMO transmission can be employed by the network. To reduce the CSI feedback signaling, 1 bit based subband amplitude with only two quantization levels is supported in combination to 3 bits based wideband amplitude feedback. Typically, wideband amplitude shall be calculated as the linear average amplitude of the beam over all subbands. However, due to the coarse subband amplitude quantization, it has been observed in case of joint wideband and subband amplitude feedback, the average based wideband amplitude can lead to a large amplitude quantization errors. In this paper, we study two methods for joint wideband and subband amplitude calculations. Specifically, both optimal and sub-optimal methods are proposed. The optimal method can achieve the minimum amplitude quantization errors at the cost of a relatively large computation complexity. And by virtue of a derived scaling factor, the sub-optimal method exhibits clearly smaller quantization error than the conventional linear average based method especially for the channel with large frequency selectivity.
△ Less
Submitted 20 August, 2018;
originally announced August 2018.
-
Configurable Distributed Physical Downlink Control Channel for 5G New Radio: ResourceBundling and Diversity Trade-off
Authors:
Honglei Miao,
Michael Faerber
Abstract:
New radio technologies for the fifth generation of wireless system have been extensively studied globally. Specifically, air interface protocols for 5G radio access network will be standardized in coming years by 3GPP. Due to its crucial function in scheduled system, physical layer downlink control channel (PDCCH) is a core element to enable all physical layer data transmissions. Recently, configu…
▽ More
New radio technologies for the fifth generation of wireless system have been extensively studied globally. Specifically, air interface protocols for 5G radio access network will be standardized in coming years by 3GPP. Due to its crucial function in scheduled system, physical layer downlink control channel (PDCCH) is a core element to enable all physical layer data transmissions. Recently, configurable distributed PDCCH with the intention to cope with different scenarios has been developed in 3GPP. To have comprehensive understanding of respective technical advantages and potential scenario dependent limitations, detailed performance analysis and evaluations of configurable distributed PDCCH are thoroughly studied in this paper. In particular, exponential effective SNR map** (EESM) has been employed as the performance metric of configurable distributed PDCCH in different scenarios. It is demonstrated from EESM results that configurable distributed PDCCH offers additional degree of freedom for the trade-off between achieved frequency diversity and channel estimation gain by adjusting resource bundling level according to the channel and interference scenario experienced by the control channel transmission.
△ Less
Submitted 20 August, 2018;
originally announced August 2018.
-
An upper bound for topological complexity
Authors:
Michael Farber,
Mark Grant,
Gregory Lupton,
John Oprea
Abstract:
In arXiv:1711.10132 a new approximating invariant ${\mathsf{TC}}^{\mathcal{D}}$ for topological complexity was introduced called $\mathcal{D}$-topological complexity. In this paper, we explore more fully the properties of ${\mathsf{TC}}^{\mathcal{D}}$ and the connections between ${\mathsf{TC}}^{\mathcal{D}}$ and invariants of Lusternik-Schnirelmann type. We also introduce a new $\mathsf{TC}$-type…
▽ More
In arXiv:1711.10132 a new approximating invariant ${\mathsf{TC}}^{\mathcal{D}}$ for topological complexity was introduced called $\mathcal{D}$-topological complexity. In this paper, we explore more fully the properties of ${\mathsf{TC}}^{\mathcal{D}}$ and the connections between ${\mathsf{TC}}^{\mathcal{D}}$ and invariants of Lusternik-Schnirelmann type. We also introduce a new $\mathsf{TC}$-type invariant $\widetilde{\mathsf{TC}}$ that can be used to give an upper bound for $\mathsf{TC}$, $$\mathsf{TC}(X)\le {\mathsf{TC}}^{\mathcal{D}}(X) + \left\lceil \frac{2\dim X -k}{k+1}\right\rceil,$$ where $X$ is a finite dimensional simplicial complex with $k$-connected universal cover $\tilde X$. The above inequality is a refinement of an estimate given by Dranishnikov.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
Machine Learning Guidance and Proof Certification for Connection Tableaux
Authors:
Michael Färber,
Cezary Kaliszyk,
Josef Urban
Abstract:
Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: First, we show optimised functional implementations of clausal and nonclausal proof search, including a consistent Skolemisation procedure for machine learning. Then, we show two guidance methods based on machine learning, namely reorderin…
▽ More
Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: First, we show optimised functional implementations of clausal and nonclausal proof search, including a consistent Skolemisation procedure for machine learning. Then, we show two guidance methods based on machine learning, namely reordering of proof steps with Naive Bayesian probablities, and expansion of a proof search tree with Monte Carlo Tree Search. Finally, we give a translation of connection proofs to LK, enabling proof certification and automatic proof search in interactive theorem provers.
△ Less
Submitted 15 May, 2018; v1 submitted 8 May, 2018;
originally announced May 2018.
-
PRoST: Distributed Execution of SPARQL Queries Using Mixed Partitioning Strategies
Authors:
Matteo Cossu,
Michael Färber,
Georg Lausen
Abstract:
The rapidly growing size of RDF graphs in recent years necessitates distributed storage and parallel processing strategies. To obtain efficient query processing using computer clusters a wide variety of different approaches have been proposed. Related to the approach presented in the current paper are systems built on top of Hadoop HDFS, for example using Apache Accumulo or using Apache Spark. We…
▽ More
The rapidly growing size of RDF graphs in recent years necessitates distributed storage and parallel processing strategies. To obtain efficient query processing using computer clusters a wide variety of different approaches have been proposed. Related to the approach presented in the current paper are systems built on top of Hadoop HDFS, for example using Apache Accumulo or using Apache Spark. We present a new RDF store called PRoST (Partitioned RDF on Spark Tables) based on Apache Spark. PRoST introduces an innovative strategy that combines the Vertical Partitioning approach with the Property Table, two preexisting models for storing RDF datasets. We demonstrate that our proposal outperforms state-of-the-art systems w.r.t. the runtime for a wide range of query types and without any extensive precomputing phase.
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
-
Bredon cohomology and robot motion planning
Authors:
Michael Farber,
Mark Grant,
Gregory Lupton,
John Oprea
Abstract:
In this paper we study the topological invariant ${\sf {TC}}(X)$ reflecting the complexity of algorithms for autonomous robot motion. Here, $X$ stands for the configuration space of a system and ${\sf {TC}}(X)$ is, roughly, the minimal number of continuous rules which are needed to construct a motion planning algorithm in $X$. We focus on the case when the space $X$ is aspherical; then the number…
▽ More
In this paper we study the topological invariant ${\sf {TC}}(X)$ reflecting the complexity of algorithms for autonomous robot motion. Here, $X$ stands for the configuration space of a system and ${\sf {TC}}(X)$ is, roughly, the minimal number of continuous rules which are needed to construct a motion planning algorithm in $X$. We focus on the case when the space $X$ is aspherical; then the number ${\sf TC}(X)$ depends only on the fundamental group $π=π_1(X)$ and we denote it ${\sf TC}(π)$. We prove that ${\sf TC}(π)$ can be characterised as the smallest integer $k$ such that the canonical $π\timesπ$-equivariant map of classifying spaces $$E(π\timesπ) \to E_{\mathcal D}(π\timesπ)$$ can be equivariantly deformed into the $k$-dimensional skeleton of $E_{\mathcal D}(π\timesπ)$. The symbol $E(π\timesπ)$ denotes the classifying space for free actions and $E_{\mathcal D}(π\timesπ)$ denotes the classifying space for actions with isotropy in a certain family $\mathcal D$ of subgroups of $π\timesπ$. Using this result we show how one can estimate ${\sf TC}(π)$ in terms of the equivariant Bredon cohomology theory. We prove that ${\sf TC}(π) \le \max\{3, {\rm cd}_{\mathcal D}(π\timesπ)\},$ where ${\rm cd}_{\mathcal D}(π\timesπ)$ denotes the cohomological dimension of $π\timesπ$ with respect to the family of subgroups $\mathcal D$. We also introduce a Bredon cohomology refinement of the canonical class and prove its universality. Finally we show that for a large class of principal groups (which includes all torsion free hyperbolic groups as well as all torsion free nilpotent groups) the essential cohomology classes in the sense of Farber and Mescher are exactly the classes having Bredon cohomology extensions with respect to the family $\mathcal D$.
△ Less
Submitted 17 July, 2018; v1 submitted 28 November, 2017;
originally announced November 2017.
-
Combining γ-ray and particle spectroscopy with SONIC@HORUS
Authors:
S. G. Pickstone,
M. Weinert,
M. Färber,
F. Heim,
E. Hoemann,
J. Mayer,
M. Müscher,
S. Prill,
P. Scholz,
M. Spieker,
V. Vielmetter,
J. Wilhelmy,
A. Zilges
Abstract:
The particle spectrometer SONIC for particle-$γ$ coincidence measurements was commissioned at the Institute for Nuclear Physics in Cologne, Germany. SONIC consists of up to 12 silicon $\mathitΔE$-$E$ telescopes with a total solid angle coverage of 9%, and will complement HORUS, a $γ$-ray spectrometer with 14 HPGe detectors. The combined setup SONIC@HORUS is used to investigate the $γ$-decay behavi…
▽ More
The particle spectrometer SONIC for particle-$γ$ coincidence measurements was commissioned at the Institute for Nuclear Physics in Cologne, Germany. SONIC consists of up to 12 silicon $\mathitΔE$-$E$ telescopes with a total solid angle coverage of 9%, and will complement HORUS, a $γ$-ray spectrometer with 14 HPGe detectors. The combined setup SONIC@HORUS is used to investigate the $γ$-decay behaviour of low-spin states up to the neutron separation threshold excited by light-ion inelastic scattering and transfer reactions using beams provided by a 10 MV FN Tandem accelerator. The particle-$γ$ coincidence method will be presented using data from a $^{92}$Mo(p,p'$γ$) experiment. In a $^{119}$Sn(d,X) experiment, excellent particle identification has been achieved because of the good energy resolution of the silicon detectors of approximately 20 keV. Due to the non-negligible momentum transfer in the reaction, a Doppler correction of the detected $γ$-ray energy has to be performed, using the additional information from measuring the ejectile energy and direction. The high sensitivity of the setup is demonstrated by the results from a $^{94}$Mo(p,p'$γ$) experiment, where small $γ$-decay branching ratios have been deduced.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
On the topological complexity of aspherical spaces
Authors:
Michael Farber,
Stephan Mescher
Abstract:
The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining algebraically the topological complexity of the Eilenberg-MacLane spaces. One of our main results states that in the case when the fundamental group is hyperbolic in the…
▽ More
The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining algebraically the topological complexity of the Eilenberg-MacLane spaces. One of our main results states that in the case when the fundamental group is hyperbolic in the sense of Gromov the topological complexity of an aspherical space $K(π, 1)$ either equals or is by one larger than the cohomological dimension of $π\times π$. We approach the problem by studying essential cohomology classes, i.e. classes which can be obtained from the powers of the canonical class via coefficient homomorphisms. We describe a spectral sequence which allows to specify a full set of obstructions for a cohomology class to be essential. In the case of a hyperbolic group we establish a vanishing property of this spectral sequence which leads to the main result.
△ Less
Submitted 28 August, 2017; v1 submitted 22 August, 2017;
originally announced August 2017.
-
Configuration Spaces and Robot Motion Planning Algorithms
Authors:
Michael Farber
Abstract:
The paper surveys topological problems relevant to the motion planning problem of robotics and includes some new results and constructions. First we analyse the notion of topological complexity of configuration spaces which is responsible for discontinuities in algorithms for robot navigation. Then we present explicit motion planning algorithms for coordinated collision free control of many partic…
▽ More
The paper surveys topological problems relevant to the motion planning problem of robotics and includes some new results and constructions. First we analyse the notion of topological complexity of configuration spaces which is responsible for discontinuities in algorithms for robot navigation. Then we present explicit motion planning algorithms for coordinated collision free control of many particles moving in Euclidean spaces or on graphs. These algorithms are optimal in the sense that they have minimal number of regions of continuity. Moreover, we describe in full detail the topology of configuration spaces of two particles on a tree and use it to construct some top-dimensional cohomology classes in configuration spaces of n particles on a tree.
△ Less
Submitted 9 January, 2017;
originally announced January 2017.
-
Weak Separation, Pure Domains and Cluster Distance
Authors:
Miriam Farber,
Pavel Galashin
Abstract:
Following the proof of the purity conjecture for weakly separated collections, recent years have revealed a variety of wider examples of purity in different settings. In this paper we consider the collection $\mathcal A_{I,J}$ of sets that are weakly separated from two fixed sets $I$ and $J$. We show that all maximal by inclusion weakly separated collections $\mathcal W\subset\mathcal A_{I,J}$ are…
▽ More
Following the proof of the purity conjecture for weakly separated collections, recent years have revealed a variety of wider examples of purity in different settings. In this paper we consider the collection $\mathcal A_{I,J}$ of sets that are weakly separated from two fixed sets $I$ and $J$. We show that all maximal by inclusion weakly separated collections $\mathcal W\subset\mathcal A_{I,J}$ are also maximal by size, provided that $I$ and $J$ are sufficiently "generic". We also give a simple formula for the cardinality of $\mathcal W$ in terms of $I$ and $J$. We apply our result to calculate the cluster distance and to give lower bounds on the mutation distance between cluster variables in the cluster algebra structure on the coordinate ring of the Grassmannian. Using a linear projection that relates weak separation to the octahedron recurrence, we also find the exact mutation distances and cluster distances for a family of cluster variables.
△ Less
Submitted 16 December, 2016;
originally announced December 2016.
-
Monte Carlo Tableau Proof Search
Authors:
Michael Färber,
Cezary Kaliszyk,
Josef Urban
Abstract:
We study Monte Carlo Tree Search to guide proof search in tableau calculi. This includes proposing a number of proof-state evaluation heuristics, some of which are learnt from previous proofs. We present an implementation based on the leanCoP prover. The system is trained and evaluated on a large suite of related problems coming from the Mizar proof assistant, showing that it is capable to find ne…
▽ More
We study Monte Carlo Tree Search to guide proof search in tableau calculi. This includes proposing a number of proof-state evaluation heuristics, some of which are learnt from previous proofs. We present an implementation based on the leanCoP prover. The system is trained and evaluated on a large suite of related problems coming from the Mizar proof assistant, showing that it is capable to find new and different proofs.
△ Less
Submitted 14 June, 2019; v1 submitted 18 November, 2016;
originally announced November 2016.
-
Internal Guidance for Satallax
Authors:
Michael Färber,
Chad Brown
Abstract:
We propose a new internal guidance method for automated theorem provers based on the given-clause algorithm. Our method influences the choice of unprocessed clauses using positive and negative examples from previous proofs. To this end, we present an efficient scheme for Naive Bayesian classification by generalising label occurrences to types with monoid structure. This makes it possible to extend…
▽ More
We propose a new internal guidance method for automated theorem provers based on the given-clause algorithm. Our method influences the choice of unprocessed clauses using positive and negative examples from previous proofs. To this end, we present an efficient scheme for Naive Bayesian classification by generalising label occurrences to types with monoid structure. This makes it possible to extend existing fast classifiers, which consider only positive examples, with negative ones. We implement the method in the higher-order logic prover Satallax, where we modify the delay with which propositions are processed. We evaluated our method on a simply-typed higher-order logic version of the Flyspeck project, where it solves 26% more problems than Satallax without internal guidance.
△ Less
Submitted 30 May, 2016;
originally announced May 2016.
-
Large Random Simplicial Complexes, III; The Critical Dimension
Authors:
A. Costa,
M. Farber
Abstract:
In this paper we study the notion of critical dimension of random simplicial complexes in the general multi-parameter model described in our previous papers of this series. This model includes as special cases the Linial-Meshulam-Wallach model as well as the clique complexes of random graphs. We characterise the concept of critical dimension in terms of various geometric and topological properties…
▽ More
In this paper we study the notion of critical dimension of random simplicial complexes in the general multi-parameter model described in our previous papers of this series. This model includes as special cases the Linial-Meshulam-Wallach model as well as the clique complexes of random graphs. We characterise the concept of critical dimension in terms of various geometric and topological properties of random simplicial complexes such as their Betti numbers, the fundamental group, the size of minimal cycles and the degrees of simplexes. We mention in the text a few interesting open questions.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
Noncrossing partitions, toggles, and homomesies
Authors:
David Einstein,
Miriam Farber,
Emily Gunawan,
Michael Joseph,
Matthew Macauley,
James Propp,
Simon Rubinstein-Salzedo
Abstract:
We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomeno…
▽ More
We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics.
△ Less
Submitted 1 November, 2016; v1 submitted 21 October, 2015;
originally announced October 2015.
-
Large Random Simplicial Complexes, II; the fundamental groups
Authors:
A. Costa,
M. Farber
Abstract:
In our recent work we described conditions under which a multi-parameter random simplicial complex is connected and simply connected. We showed that the Betti numbers of multi-parameter random simplicial complexes in one specific dimension dominate significantly the Betti numbers in all other dimensions. In this paper we focus mainly on the properties of fundamental groups of multi-parameter rando…
▽ More
In our recent work we described conditions under which a multi-parameter random simplicial complex is connected and simply connected. We showed that the Betti numbers of multi-parameter random simplicial complexes in one specific dimension dominate significantly the Betti numbers in all other dimensions. In this paper we focus mainly on the properties of fundamental groups of multi-parameter random simplicial complexes, which can be viewed as a new class of random groups. We describe thresholds for nontrivially and hyperbolicity (in the sense of Gromov) for these groups. Besides, we find domains in the multi-parameter space where these groups have 2-torsion. We also prove that these groups have never odd-prime torsion and their geometric and cohomological dimensions are either 0,1, 2 or infinity. Another result presented in this paper states that aspherical 2-dimensional subcomplexes of random complexes satisfy the Whitehead Conjecture, i.e. all their subcomplexes are also aspherical (with probability tending to one).
△ Less
Submitted 14 November, 2015; v1 submitted 16 September, 2015;
originally announced September 2015.
-
Arrangements Of Minors In The Positive Grassmannian And a Triangulation of The Hypersimplex
Authors:
Miriam Farber,
Yelena Mandelshtam
Abstract:
The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimp…
▽ More
The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.
△ Less
Submitted 8 September, 2015;
originally announced September 2015.
-
Large random simplicial complexes, I
Authors:
A. Costa,
M. Farber
Abstract:
In this paper we develop further the multi-parameter model of random simplicial complexes. Firstly, we give an intrinsic characterisation of the multi-parameter probability measure. Secondly, we show that in multi-parameter random simplicial complexes the links of simplexes and their intersections are also multi-parameter random simplicial complexes. Thirdly, we find conditions under which a multi…
▽ More
In this paper we develop further the multi-parameter model of random simplicial complexes. Firstly, we give an intrinsic characterisation of the multi-parameter probability measure. Secondly, we show that in multi-parameter random simplicial complexes the links of simplexes and their intersections are also multi-parameter random simplicial complexes. Thirdly, we find conditions under which a multi-parameter random simplicial complex is connected and simply connected.
△ Less
Submitted 21 March, 2015;
originally announced March 2015.
-
Homological Domination in Large Random Simplicial Complexes
Authors:
A. Costa,
M. Farber
Abstract:
In this paper we state the homological domination principle for random multi-parameter simplicial complexes, claiming that the Betti number in one specific dimension (which is explicitly determined by the probability multi-parameter) significantly dominates the Betti numbers in all other dimensions. We also state and discuss evidence for two interesting conjectures which would imply a stronger ver…
▽ More
In this paper we state the homological domination principle for random multi-parameter simplicial complexes, claiming that the Betti number in one specific dimension (which is explicitly determined by the probability multi-parameter) significantly dominates the Betti numbers in all other dimensions. We also state and discuss evidence for two interesting conjectures which would imply a stronger version of the homological domination principle, namely that generically homology of a random simplicial complex coincides with that of a wedges of k-dimensional spheres. These two conjectures imply that under an additional assumption (specified in the paper) a random simplicial complex collapses to a k-dimensional complex homotopy equivalent to a wedge of spheres of dimension k.
△ Less
Submitted 13 August, 2015; v1 submitted 11 March, 2015;
originally announced March 2015.
-
Arrangements of equal minors in the positive Grassmannian
Authors:
Miriam Farber,
Alexander Postnikov
Abstract:
We discuss arrangements of equal minors of totally positive matrices. More precisely, we investigate the structure of equalities and inequalities between the minors. We show that arrangements of equal minors of largest value are in bijection with sorted sets, which earlier appeared in the context of alcoved polytopes and Gröbner bases. Maximal arrangements of this form correspond to simplices of t…
▽ More
We discuss arrangements of equal minors of totally positive matrices. More precisely, we investigate the structure of equalities and inequalities between the minors. We show that arrangements of equal minors of largest value are in bijection with sorted sets, which earlier appeared in the context of alcoved polytopes and Gröbner bases. Maximal arrangements of this form correspond to simplices of the alcoved triangulation of the hypersimplex; and the number of such arrangements equals the Eulerian number. On the other hand, we prove in many cases that arrangements of equal minors of smallest value are exactly weakly separated sets. Weakly separated sets, originally introduced by Leclerc and Zelevinsky, are closely related to the positive Grassmannian and the associated cluster algebra. However, we also construct examples of arrangements of smallest minors which are not weakly separated using chain reactions of mutations of plabic graphs.
△ Less
Submitted 5 February, 2015;
originally announced February 2015.
-
Random Simplicial Complexes
Authors:
A. Costa,
M. Farber
Abstract:
In this paper we introduce a new model of random simplicial complexes depending on multiple probability parameters. This model includes the well-known Linial - Meshulam random simplicial complexes and random clique complexes as special cases. Topological and geometric properties of a multi-parameter random simplicial complex depend on the whole combination of the probability parameters and the thr…
▽ More
In this paper we introduce a new model of random simplicial complexes depending on multiple probability parameters. This model includes the well-known Linial - Meshulam random simplicial complexes and random clique complexes as special cases. Topological and geometric properties of a multi-parameter random simplicial complex depend on the whole combination of the probability parameters and the thresholds for topological properties are convex sets rather than numbers (as in all previously known models). We discuss the containment properties, density domains and dimension of the random simplicial complexes.
△ Less
Submitted 1 March, 2015; v1 submitted 18 December, 2014;
originally announced December 2014.
-
Conjectured bounds for the sum of squares of positive eigenvalues of a graph
Authors:
Clive Elphick,
Felix Goldberg,
Miriam Farber,
Pawel Wocjan
Abstract:
A well known upper bound for the spectral radius of a graph, due to Hong, is that $μ_1^2 \le 2m - n + 1$. It is conjectured that for connected graphs $n - 1 \le s^+ \le 2m - n + 1$, where $s^+$ denotes the sum of the squares of the positive eigenvalues. The conjecture is proved for various classes of graphs, including bipartite, regular, complete $q$-partite, hyper-energetic, and barbell graphs. V…
▽ More
A well known upper bound for the spectral radius of a graph, due to Hong, is that $μ_1^2 \le 2m - n + 1$. It is conjectured that for connected graphs $n - 1 \le s^+ \le 2m - n + 1$, where $s^+$ denotes the sum of the squares of the positive eigenvalues. The conjecture is proved for various classes of graphs, including bipartite, regular, complete $q$-partite, hyper-energetic, and barbell graphs. Various searches have found no counter-examples. The paper concludes with a brief discussion of the apparent difficulties of proving the conjecture in general.
△ Less
Submitted 17 September, 2015; v1 submitted 6 September, 2014;
originally announced September 2014.
-
Interlacing networks: birational RSK, the octahedron recurrence, and Schur function identities
Authors:
Miriam Farber,
Sam Hopkins,
Wuttisak Trongsiriwat
Abstract:
Motivated by the problem of giving a bijective proof of the fact that the birational RSK correspondence satisfies the octahedron recurrence, we define interlacing networks, which are certain planar directed networks with a rigid structure of sources and sinks. We describe an involution that swaps paths in these networks and leads to Plücker-like three-term relations among path weights. We show tha…
▽ More
Motivated by the problem of giving a bijective proof of the fact that the birational RSK correspondence satisfies the octahedron recurrence, we define interlacing networks, which are certain planar directed networks with a rigid structure of sources and sinks. We describe an involution that swaps paths in these networks and leads to Plücker-like three-term relations among path weights. We show that indeed these relations follow from the Plücker relations in the Grassmannian together with some simple rank properties of the matrices corresponding to our interlacing networks. The space of matrices obeying these rank properties forms the closure of a cell in the matroid stratification of the totally nonnegative Grassmannian. Not only does the octahedron recurrence for RSK follow immediately from the three-term relations for interlacing networks, but also these relations imply some interesting identities of Schur functions reminiscent of those obtained by Fulmek and Kleber. These Schur function identities lead to some results on Schur positivity for expressions of the form $s_νs_ρ - s_λs_μ$.
△ Less
Submitted 10 June, 2015; v1 submitted 22 July, 2014;
originally announced July 2014.
-
Fundamental groups of random clique complexes
Authors:
Armindo Costa,
Michael Farber,
Danijela Horak
Abstract:
We study fundamental groups of clique complexes associated to random graphs. We establish thresholds for their cohomological and geometric dimension and torsion. We also show that in certain regime any aspherical subcomplex of a random clique complex satisfies the Whitehead conjecture, i.e. all irs subcomplexes are also aspherical.
We study fundamental groups of clique complexes associated to random graphs. We establish thresholds for their cohomological and geometric dimension and torsion. We also show that in certain regime any aspherical subcomplex of a random clique complex satisfies the Whitehead conjecture, i.e. all irs subcomplexes are also aspherical.
△ Less
Submitted 19 November, 2014; v1 submitted 4 December, 2013;
originally announced December 2013.
-
On Totally Positive Matrices and Geometric Incidences
Authors:
Miriam Farber,
Saurabh Ray,
Shakhar Smorodinsky
Abstract:
A matrix is called totally positive if every minor of it is positive. Such matrices are well studied and have numerous applications in Mathematics and Computer Science. We study how many times the value of a minor can repeat in a totally positive matrix and show interesting connections with incidence problems in combinatorial geometry. We prove that the maximum possible number of repeated…
▽ More
A matrix is called totally positive if every minor of it is positive. Such matrices are well studied and have numerous applications in Mathematics and Computer Science. We study how many times the value of a minor can repeat in a totally positive matrix and show interesting connections with incidence problems in combinatorial geometry. We prove that the maximum possible number of repeated $d \times d$-minors in a $d \times n$ totally-positive matrix is $O(n^{d-\frac{d}{d+1}})$. For the case $d=2$ we also show that our bound is optimal. We consider some special families of totally postive matrices to show non-trivial lower bounds on the number of repeated minors. In doing so, we arrive at a new interesting problem: How many unit-area and axis-parallel rectangles can be spanned by two points in a set of $n$ points in the plane? This problem seems to be interesting in its own right especially since it seem to have a flavor of additive combinatorics and relate to interesting incidence problems where considering only the topology of the curves involved is not enough. We prove an upper bound of $O(n^{\frac{4}{3}})$ and provide a lower bound of $n^{1+\frac{1}{O(\log\log n)}}$.
△ Less
Submitted 18 September, 2013;
originally announced September 2013.
-
Equal Entries in Totally Positive Matrices
Authors:
Miriam Farber,
Mitchell Faulk,
Charles R. Johnson,
Evan Marzion
Abstract:
We show that the maximal number of equal entries in a totally positive (resp. totally nonsingular) $n\textrm{-by-}n$ matrix is $Θ(n^{4/3})$ (resp. $Θ(n^{3/2}$)). Relationships with point-line incidences in the plane, Bruhat order of permutations, and $TP$ completability are also presented. We also examine the number and positionings of equal $2\textrm{-by-}2$ minors in a $2\textrm{-by-}n$ $TP$ mat…
▽ More
We show that the maximal number of equal entries in a totally positive (resp. totally nonsingular) $n\textrm{-by-}n$ matrix is $Θ(n^{4/3})$ (resp. $Θ(n^{3/2}$)). Relationships with point-line incidences in the plane, Bruhat order of permutations, and $TP$ completability are also presented. We also examine the number and positionings of equal $2\textrm{-by-}2$ minors in a $2\textrm{-by-}n$ $TP$ matrix, and give a relationship between the location of equal $2\textrm{-by-}2$ minors and outerplanar graphs.
△ Less
Submitted 17 September, 2013;
originally announced September 2013.
-
Geometry and Topology of Random 2-complexes
Authors:
A. E. Costa,
M. Farber
Abstract:
We study random 2-dimensional complexes in the Linial - Meshulam model and find torsion in their fundamental groups at various regimes. We find a simple algorithmically testable criterion for a subcomplex of a random 2-complex to be aspherical; this implies that any aspherical subcomplex of a random 2-complex satisfies the Whitehead conjecture. We use inequalities for Cheeger constants and systole…
▽ More
We study random 2-dimensional complexes in the Linial - Meshulam model and find torsion in their fundamental groups at various regimes. We find a simple algorithmically testable criterion for a subcomplex of a random 2-complex to be aspherical; this implies that any aspherical subcomplex of a random 2-complex satisfies the Whitehead conjecture. We use inequalities for Cheeger constants and systoles of simplicial surfaces to analyse spheres and projective planes lying in random 2-complexes. Our proofs exploit the strong hyperbolicity property of random 2-complexes.
△ Less
Submitted 23 June, 2014; v1 submitted 13 July, 2013;
originally announced July 2013.
-
A contribution to the connections between Fibonacci Numbers and Matrix Theory
Authors:
Miriam Farber,
Abraham Berman
Abstract:
We present a lovely connection between the Fibonacci numbers and the sums of inverses of $(0,1)-$ triangular matrices, namely, a number $S$ is the sum of the entries of the inverse of an $n \times n$ $(n \geq 3)$ $(0,1)-$ triangular matrix iff $S$ is an integer between $2-F_{n-1}$ and $2+F_{n-1}$. Corollaries include Fibonacci identities and a Fibonacci type result on determinants of family of (1,…
▽ More
We present a lovely connection between the Fibonacci numbers and the sums of inverses of $(0,1)-$ triangular matrices, namely, a number $S$ is the sum of the entries of the inverse of an $n \times n$ $(n \geq 3)$ $(0,1)-$ triangular matrix iff $S$ is an integer between $2-F_{n-1}$ and $2+F_{n-1}$. Corollaries include Fibonacci identities and a Fibonacci type result on determinants of family of (1,2)-matrices.
△ Less
Submitted 6 June, 2013;
originally announced June 2013.
-
The asphericity of random 2-dimensional complexes
Authors:
A. E. Costa,
M. Farber
Abstract:
We study random 2-dimensional complexes in the Linial - Meshulam model and prove that for the probability parameter satisfying $$p\ll n^{-46/47}$$ a random 2-complex
$Y$ contains several pairwise disjoint tetrahedra such that the 2-complex $Z$ obtained by removing any face from each of these tetrahedra is aspherical. Moreover, we prove that the obtained complex $Z$ satisfies the Whitehead conjec…
▽ More
We study random 2-dimensional complexes in the Linial - Meshulam model and prove that for the probability parameter satisfying $$p\ll n^{-46/47}$$ a random 2-complex
$Y$ contains several pairwise disjoint tetrahedra such that the 2-complex $Z$ obtained by removing any face from each of these tetrahedra is aspherical. Moreover, we prove that the obtained complex $Z$ satisfies the Whitehead conjecture, i.e. any subcomplex $Z'\subset Z$ is aspherical. This implies that $Y$ is homotopy equivalent to a wedge $Z\vee S^2\vee...\vee S^2$ where $Z$ is a 2-dimensional aspherical simplicial complex. We also show that under the assumptions $$c/n<p<n^{-1+ε},$$ where $c>3$ and $0<ε<1/47$, the complex $Z$ is genuinely 2-dimensional and in particular, it has sizable 2-dimensional homology; it follows that in the indicated range of the probability parameter $p$ the cohomological dimension of the fundamental group $π_1(Y)$ of a random 2-complex equals 2.
△ Less
Submitted 15 November, 2012;
originally announced November 2012.
-
Status of the GAMMA-400 Project
Authors:
A. M. Galper,
O. Adriani,
R. L. Aptekar,
I. V. Arkhangelskaja,
A. I. Arkhangelskiy,
M. Boezio,
V. Bonvicini,
K. A. Boyarchuk,
Yu. V. Gusakov,
M. O. Farber,
M. I. Fradkin,
V. A. Kachanov,
V. A. Kaplin,
M. D. Kheymits,
A. A. Leonov,
F. Longo,
P. Maestro,
P. Marrocchesi,
E. P. Mazets,
E. Mocchiutti,
A. A. Moiseev,
N. Mori,
I. Moskalenko,
P. Yu. Naumov,
P. Papini
, et al. (13 additional authors not shown)
Abstract:
The preliminary design of the new space gamma-ray telescope GAMMA-400 for the energy range 100 MeV - 3 TeV is presented. The angular resolution of the instrument, 1-2° at Eγ ~100 MeV and ~0.01^{\circ} at Eγ > 100 GeV, its energy resolution ~1% at Eγ > 100 GeV, and the proton rejection factor ~10E6 are optimized to address a broad range of science topics, such as search for signatures of dark matte…
▽ More
The preliminary design of the new space gamma-ray telescope GAMMA-400 for the energy range 100 MeV - 3 TeV is presented. The angular resolution of the instrument, 1-2° at Eγ ~100 MeV and ~0.01^{\circ} at Eγ > 100 GeV, its energy resolution ~1% at Eγ > 100 GeV, and the proton rejection factor ~10E6 are optimized to address a broad range of science topics, such as search for signatures of dark matter, studies of Galactic and extragalactic gamma-ray sources, Galactic and extragalactic diffuse emission, gamma-ray bursts, as well as high-precision measurements of spectra of cosmic-ray electrons, positrons, and nuclei.
△ Less
Submitted 12 January, 2012;
originally announced January 2012.
-
Nonpositive Eigenvalues of the Adjacency Matrix and Lower Bounds for Laplacian Eigenvalues
Authors:
Zachary B. Charles,
Miriam Farber,
Charles R. Johnson,
Lee Kennedy-Shaffer
Abstract:
Let $NPO(k)$ be the smallest number $n$ such that the adjacency matrix of any undirected graph with $n$ vertices or more has at least $k$ nonpositive eigenvalues. We show that $NPO(k)$ is well-defined and prove that the values of $NPO(k)$ for $k=1,2,3,4,5$ are $1,3,6,10,16$ respectively. In addition, we prove that for all $k \geq 5$, $R(k,k+1) \ge NPO(k) > T_k$, in which $R(k,k+1)$ is the Ramsey n…
▽ More
Let $NPO(k)$ be the smallest number $n$ such that the adjacency matrix of any undirected graph with $n$ vertices or more has at least $k$ nonpositive eigenvalues. We show that $NPO(k)$ is well-defined and prove that the values of $NPO(k)$ for $k=1,2,3,4,5$ are $1,3,6,10,16$ respectively. In addition, we prove that for all $k \geq 5$, $R(k,k+1) \ge NPO(k) > T_k$, in which $R(k,k+1)$ is the Ramsey number for $k$ and $k+1$, and $T_k$ is the $k^{th}$ triangular number. This implies new lower bounds for eigenvalues of Laplacian matrices: the $k$-th largest eigenvalue is bounded from below by the $NPO(k)$-th largest degree, which generalizes some prior results.
△ Less
Submitted 26 May, 2012; v1 submitted 24 August, 2011;
originally announced August 2011.
-
Upper bound for the Laplacian eigenvalues of a graph
Authors:
Miriam Farber,
Ido Kaminer
Abstract:
In this note we give a new upper bound for the Laplacian eigenvalues of an unweighted graph. Let $G$ be a simple graph on $n$ vertices. Let $d_{m}(G)$ and $λ_{m+1}(G)$ be the $m$-th smallest degree of $G$ and the $m+1$-th smallest Laplacian eigenvalue of $G$ respectively. Then $ λ_{m+1}(G)\leq d_{m}(G)+m-1 $ for $\bar{G} \neq K_{m}+(n-m)K_1 $. We also introduce upper and lower bound for the Laplac…
▽ More
In this note we give a new upper bound for the Laplacian eigenvalues of an unweighted graph. Let $G$ be a simple graph on $n$ vertices. Let $d_{m}(G)$ and $λ_{m+1}(G)$ be the $m$-th smallest degree of $G$ and the $m+1$-th smallest Laplacian eigenvalue of $G$ respectively. Then $ λ_{m+1}(G)\leq d_{m}(G)+m-1 $ for $\bar{G} \neq K_{m}+(n-m)K_1 $. We also introduce upper and lower bound for the Laplacian eigenvalues of weighted graphs, and compare it with the special case of unweighted graphs.
△ Less
Submitted 3 June, 2011;
originally announced June 2011.
-
The topology of spaces of polygons
Authors:
Michael Farber,
Viktor Fromm
Abstract:
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 a…
▽ More
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$.
△ Less
Submitted 3 May, 2011;
originally announced May 2011.
-
Telescopic Linkages and Topological Approach to Phase Transitions
Authors:
Michael Farber,
Viktor Fromm
Abstract:
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 c…
▽ More
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".
△ Less
Submitted 4 April, 2011; v1 submitted 7 October, 2010;
originally announced October 2010.
-
Topology of random 2-complexes
Authors:
Armindo Costa,
Michael Farber,
Thomas Kappeler
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 June, 2010; v1 submitted 22 June, 2010;
originally announced June 2010.
-
Random groups arising as graph products
Authors:
Ruth Charney,
Michael Farber
Abstract:
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 hyperbolic…
▽ More
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$.
△ Less
Submitted 17 June, 2010;
originally announced June 2010.
-
The homotopical dimension of random 2-complexes
Authors:
Daniel C. Cohen,
Michael Farber,
Thomas Kappeler
Abstract:
In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0.
In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0.
△ Less
Submitted 19 May, 2010;
originally announced May 2010.