English
Related papers

Related papers: n-localization property

200 papers

Neutral macroevolutionary models, such as the Yule model, give rise to a probability distribution on the set of discrete rooted binary trees over a given leaf set. Such models can provide a signal as to the approximate location of the root…

Populations and Evolution · Quantitative Biology 2012-03-28 Mike Steel

For a first-order formula $\phi(x;y)$ we introduce and study the characteristic sequence $<P_n : n < \omega>$ of hypergraphs defined by $P_n(y_1,...,y_n) := (\exists x) \bigwedge_{i \leq n} \phi(x;y_i)$. We show that combinatorial and…

Logic · Mathematics 2011-02-21 M. E. Malliaris

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…

Logic · Mathematics 2025-11-07 Jason Block , Russell Miller

We present here a new and universal approach for the study of random and/or trees, unifying in one framework many different models, including some novel ones not yet understood in the literature. An and/or tree is a Boolean expression…

Probability · Mathematics 2017-06-09 Nicolas Broutin , Cécile Mailler

An automaton is called reachable if every state is reachable from the initial state. This notion has been generalized coalgebraically in two ways: first, via a universal property on pointed coalgebras, namely, that a reachable coalgebra has…

Logic in Computer Science · Computer Science 2026-01-23 Thorsten Wißmann , Bálint Kocsis , Jurriaan Rot , Ruben Turkenburg

An $\alpha$-thin tree $T$ of a graph $G$ is a spanning tree such that every cut of $G$ has at most an $\alpha$ proportion of its edges in $T$. The Thin Tree Conjecture proposes that there exists a function $f$ such that for any $\alpha >…

Computational Complexity · Computer Science 2026-01-01 Alice Moayyedi

Existing object proposal algorithms usually search for possible object regions over multiple locations and scales separately, which ignore the interdependency among different objects and deviate from the human perception procedure. To…

Computer Vision and Pattern Recognition · Computer Science 2017-03-09 Zequn Jie , Xiaodan Liang , Jiashi Feng , Xiaojie Jin , Wen Feng Lu , Shuicheng Yan

We provide a bijection between the set of factorizations, that is, ordered (n-1)-tuples of transpositions in ${\mathcal S}_{n}$ whose product is (12...n), and labelled trees on $n$ vertices. We prove a refinement of a theorem of D\'{e}nes…

Combinatorics · Mathematics 2016-09-07 Ian Goulden , Alexander Yong

A new model of causal failure is presented and used to solve a novel replica placement problem in data centers. The model describes dependencies among system components as a directed graph. A replica placement is defined as a subset of…

Data Structures and Algorithms · Computer Science 2017-01-09 K. Alex Mills , R. Chandrasekaran , Neeraj Mittal

Phylogenetic networks are generalizations of phylogenetic trees that allow the representation of reticulation events such as horizontal gene transfer or hybridization, and can also represent uncertainty in inference. A subclass of these,…

Populations and Evolution · Quantitative Biology 2019-10-15 Mareike Fischer , Andrew Francis

In this paper, we focus on the prediction phase of a random forest and study the problem of representing a bag of decision trees using a smaller bag of decision trees, where we only consider binary decision problems on the binary domain and…

Machine Learning · Computer Science 2024-02-06 Tatsuya Akutsu , Avraham A. Melkman , Atsuhiro Takasu

We study structural properties of trees grown by preferential attachment. In this mechanism, nodes are added sequentially and attached to existing nodes at a rate that is strictly proportional to the degree. We classify nodes by their depth…

Statistical Mechanics · Physics 2009-11-04 E. Ben-Naim , P. L. Krapivsky

A network is called localizable if the positions of all the nodes of the network can be computed uniquely. If a network is localizable and embedded in plane with generic configuration, the positions of the nodes may be computed uniquely in…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-08-30 Buddhadeb Sau , Krishnendu Mukhopadhyaya

We consider the replica placement problem: given a graph with clients and nodes, place replicas on a minimum set of nodes to serve all the clients; each client is associated with a request and maximum distance that it can travel to get…

Data Structures and Algorithms · Computer Science 2017-09-12 Anshul Aggarwal , Venkatesan T. Chakaravarthy , Neelima Gupta , Yogish Sabharwal , Sachin Sharma , Sonika Thakral

Mechanistic network models can capture salient characteristics of empirical networks using a small set of domain-specific, interpretable mechanisms. Yet inference remains challenging because the likelihood is often intractable. We show…

Social and Information Networks · Computer Science 2025-12-30 Till Hoffmann , Jukka-Pekka Onnela

Cayley's formula states that the number of labelled trees on $n$ vertices is $n^{n-2}$, and many of the current proofs involve complex structures or rigorous computation. We present a bijective proof of the formula by providing an…

Combinatorics · Mathematics 2014-09-08 Steven Hao , Andrew He , Ray Li , Scott Wu

Let us call a sequence of numbers heapable if they can be sequentially inserted to form a binary tree with the heap property, where each insertion subsequent to the first occurs at a leaf of the tree, i.e. below a previously placed number.…

Data Structures and Algorithms · Computer Science 2010-07-15 John Byers , Brent Heeringa , Michael Mitzenmacher , Georgios Zervas

This paper, dating from May 1991, contains preliminary (and unpublishable) notes on investigations about iteration trees. They will be of interest only to the specialist. In the first two sections I define notions of support and embeddings…

Logic · Mathematics 2016-09-06 William Mitchell

Tree-based networks are a class of phylogenetic networks that attempt to formally capture what is meant by "tree-like" evolution. A given non-tree-based phylogenetic network, however, might appear to be very close to being tree-based, or…

Populations and Evolution · Quantitative Biology 2020-01-17 Mareike Fischer , Andrew Francis

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…

Classical Analysis and ODEs · Mathematics 2007-05-23 Margherita Barile , Fiorella Barone , Wlodzimierz M. Tulczyjew