English
Related papers

Related papers: Uniforming n-place functions on ds(alpha)

200 papers

For a finitely generated free group F_n, of rank at least 2, any finite subgroup of Out(F_n) can be realized as a group of automorphisms of a graph with fundamental group F_n. This result, known as Out(F_n) realization, was proved by…

Group Theory · Mathematics 2007-05-23 Matt Clay

The Pathwidth Theorem states that if a class of graphs has unbounded pathwidth, then it contains all trees as graph minors. We prove a similar result for dense graphs. More precisely, we give a finite family of tree-like patterns and prove…

Logic in Computer Science · Computer Science 2026-04-09 Mikołaj Bojańczyk , Pierre Ohlmann

This is the first paper in a series of three where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Our main goal is to show that group actions on Z^n-trees give one a powerful tool to…

Group Theory · Mathematics 2009-07-21 Olga Kharlampovich , Alexei Miasnikov , Vladimir Remeslennikov , Denis Serbin

We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby…

Functional Analysis · Mathematics 2012-05-31 Michael Grosser , Michael Kunzinger , Roland Steinbauer , James Vickers

Random forests on the one hand, and neural networks on the other hand, have met great success in the machine learning community for their predictive performance. Combinations of both have been proposed in the literature, notably leading to…

Machine Learning · Computer Science 2021-10-15 Ludovic Arnould , Claire Boyer , Erwan Scornet , Sorbonne Lpsm

We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…

Formal Languages and Automata Theory · Computer Science 2023-01-31 Mikołaj Bojańczyk , Amina Doumane

The number of embeddings of a partially ordered set $S$ in a partially ordered set $T$ is the number of subposets of $T$ isomorphic to $S$. If both, $S$ and $T$, have only one unique maximal element, we define good embeddings as those in…

We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Tur\'an's theorem, the…

Combinatorics · Mathematics 2022-05-30 David Malec , Casey Tompkins

In his seminal paper on complex reflection arrangements, Bessis introduces a Garside structure for the braid group of a well-generated irreducible complex reflection group. Using this Garside structure, he establishes a strong connection…

Group Theory · Mathematics 2023-01-23 Owen Garnier

The famous Erd\H{o}s-S\'os conjecture states that every graph of average degree more than $t-1$ must contain every tree on $t+1$ vertices. In this paper, we study a spectral version of this conjecture. For $n>k$, let $S_{n,k}$ be the join…

Combinatorics · Mathematics 2022-06-08 Sebastian Cioabă , Dheer Noal Desai , Michael Tait

A variant of the Erd\H{o}s-S\'os conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges.…

Combinatorics · Mathematics 2025-12-19 Alexey Pokrovskiy , Leo Versteegen , Ella Williams

The computational complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a regular language. In case regular languages are…

Formal Languages and Automata Theory · Computer Science 2011-02-15 Markus Lohrey , Christian Mathissen

Coverings of undirected graphs are used in distributed computing, and unfoldings of directed graphs in semantics of programs. We study these two notions from a graph theoretical point of view so as to highlight their similarities, as they…

Logic in Computer Science · Computer Science 2026-04-08 Bruno Courcelle

Combinatorial classes T that are recursively defined using combinations of the standard multiset, sequence, directed cycle and cycle constructions, and their restrictions, have generating series T(z) with a positive radius of convergence;…

Combinatorics · Mathematics 2007-05-23 Jason P. Bell , Stanley N. Burris , Karen A. Yeats

The Aldous--Broder algorithm provides a way of sampling a uniformly random spanning tree for finite connected graphs using simple random walk. Namely, start a simple random walk on a connected graph and stop at the cover time. The tree…

Probability · Mathematics 2021-03-29 Yiping Hu , Russell Lyons , Pengfei Tang

We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the…

Combinatorics · Mathematics 2020-04-06 J. Pascal Gollin , Karl Heuer

Solving of regular equations via Arden's Lemma is folklore knowledge. We first give a concise algorithmic specification of all elementary solving steps. We then discuss a computational interpretation of solving in terms of coercions that…

Formal Languages and Automata Theory · Computer Science 2019-08-13 Martin Sulzmann , Kenny Zhuo Ming Lu

We introduce the notion of a restricted exchangeable partition of $\mathbb{N}$. We obtain integral representations, consider associated fragmentations, embeddings into continuum random trees and convergence to such limit trees. In…

Probability · Mathematics 2012-11-12 Bo Chen , Matthias Winkel

We extend Tilson's theory of the algebra of finite categories, in particular, the Derived Category Theorem, to the setting of forest algebras. As an illustration of the usefulness of this method, we provide a new proof of a result of Place…

Logic in Computer Science · Computer Science 2018-01-16 Howard Straubing

To any real rational function with generic ramification points we assign a combinatorial object, called a garden, which consists of a weighted labeled directed planar chord diagram and of a set of weighted rooted trees each corresponding to…

Algebraic Geometry · Mathematics 2016-05-19 Sergei Natanzon , Boris Shapiro , Alek Vainshtein
‹ Prev 1 3 4 5 6 7 10 Next ›