English
Related papers

Related papers: On limits of betweenness relations

200 papers

We develop the theory of homogeneous Polish ultrametric structures. Our starting point is a Fraisse class of finite structures and the crucial tool is the universal homogeneous epimorphism. The new Fraisse limit is an inverse limit,…

Logic · Mathematics 2023-11-10 W. Kubiś , Ch. Pech , M. Pech

The treewidth boundedness problem for a logic asks for the existence of an upper bound on the treewidth of the models of a given formula in that logic. This problem is found to be undecidable for first order logic. We consider a…

Logic in Computer Science · Computer Science 2024-05-20 Marius Bozga , Lucas Bueri , Radu Iosif , Florian Zuleger

We provide a proof of Sholander's claim (Trees, lattices, order, and betweenness, Proc. Amer. Math. Soc. 3, 369-381 (1952)) concerning the representability of collections of so-called segments by trees, which yields a characterization of…

Combinatorics · Mathematics 2011-01-18 Vašek Chvátal , Dieter Rautenbach , Philipp Matthias Schäfer

A rigidity theory is developed for frameworks in a metric space with two types of distance constraints. Mixed sparsity graph characterisations are obtained for the infinitesimal and continuous rigidity of completely regular bar-joint…

Metric Geometry · Mathematics 2019-08-26 Anthony Nixon , Stephen Power

We construct finite sets of real numbers that have a small difference set and strong local properties. In particular, we construct a set $A$ of $n$ real numbers such that $|A-A|=n^{\log_2 3}$ and that every subset $A'\subseteq A$ of size…

Combinatorics · Mathematics 2018-12-27 Sara Fish , Ben Lund , Adam Sheffer

We obtain results on the unitary equivalence of weak contractions of class $C_0$ to their Jordan models under an assumption on their commutants. In particular, our work addresses the case of arbitrary finite multiplicity. The main tool is…

Operator Algebras · Mathematics 2014-05-23 Raphaël Clouâtre

We study Jordan-Lie inner ideals of finite dimensional associative algebras and the corresponding Lie algebras and prove that they admit Levi decompositions. Moreover, we classify Jordan-Lie inner ideals satisfying a certain minimality…

Rings and Algebras · Mathematics 2019-07-11 Alexander Baranov , Hasan Shlaka

Extended formulations are an important tool to obtain small (even compact) formulations of polytopes by representing them as projections of higher dimensional ones. It is an important question whether a polytope admits a small extended…

Computational Complexity · Computer Science 2012-06-28 Gábor Braun , Sebastian Pokutta

In this paper, the well-known Faulkner construction is revisited and adapted to include the super case, which gives a bijective correspondence between generalized Jordan (super)pairs and faithful Lie (super)algebra (super)modules, under…

Rings and Algebras · Mathematics 2022-03-17 Diego Aranda-Orna

Primitive positive constructions have been introduced in recent work of Barto, Opr\v{s}al, and Pinsker to study the computational complexity of constraint satisfaction problems. Let $\mathfrak P_{\operatorname{fin}}$ be the poset which…

Rings and Algebras · Mathematics 2020-01-31 Manuel Bodirsky , Albert Vucaj

We give upper bounds for triples of subsets of a finite group such that the triples of elements that multiply to 1 form a perfect matching. Our bounds are the first to give exponential savings in powers of an arbitrary finite group.…

Combinatorics · Mathematics 2017-02-06 Will Sawin

We study the monodromies and the limit mixed Hodge structures of families of complete intersection varieties over a punctured disk in the complex plane. For this purpose, we express their motivic nearby fibers in terms of the geometric data…

Algebraic Geometry · Mathematics 2021-03-11 Takahiro Saito , Kiyoshi Takeuchi

The purpose of this paper is to provide a new account of multiplicity for finite morphisms between smooth projective varieties. Traditionally, this has been defined using commutative algebra in terms of the length of integral ring…

Algebraic Geometry · Mathematics 2007-05-23 Tristram de Piro

We answer a question from Raghavan and Stepr{\=a}ns' paper on weakly tight families by showing that $\mathfrak{s} = {\mathfrak{s}}_{\omega, \omega}$. Then we use this to construct a completely separable maximal almost disjoint family under…

Logic · Mathematics 2019-08-15 Heike Mildenberger , Dilip Raghavan , Juris Steprāns

Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of union, intersection, sequential and parallel composition, as…

Logic in Computer Science · Computer Science 2015-06-16 Hitoshi Furusawa , Georg Struth

Almost contact manifolds with B-metric are considered. A special linear connection is introduced, which preserves the almost contact B-metric structure on these manifolds. This connection is investigated on some classes of the considered…

Differential Geometry · Mathematics 2012-05-08 Mancho Manev , Miroslava Ivanova

We study bounded remainder sets with respect to an irrational rotation of the $d$-dimensional torus. The subject goes back to Hecke, Ostrowski and Kesten who characterized the intervals with bounded remainder in dimension one. First we…

Dynamical Systems · Mathematics 2014-10-23 Sigrid Grepstad , Nir Lev

The identification of nodes occupying important positions in a network structure is crucial for the understanding of the associated real-world system. Usually, betweenness centrality is used to evaluate a node capacity to connect different…

We propose a procedure of constructing new block designs starting from a given one by looking at the intersections of its blocks with various sets and grouping those sets according to the structure of the intersections. We introduce a…

Combinatorics · Mathematics 2017-01-31 Alexander Shramchenko , Vasilisa Shramchenko

One way to study the combinatorics of finite metric spaces is to study the betweenness relation associated with the metric space. In the hypergraph metrization problem, one has to find and characterize metric betweennesses whose collinear…

Combinatorics · Mathematics 2018-06-07 Péter G. N. Szabó