Related papers: A Theorem of Roe and Strichartz on homogeneous tre…
Generalizing a result of Roe \cite{Roe} Strichartz proved in \cite{Str} that if a doubly-infinite sequence $\{f_k\}$ of functions on $\R^n$ satisfies $f_{k+1}=\Delta f_k$ and $|f_{k}(x)|\leq M$ for all $k=0,\pm 1,\pm 2,...$ and $x\in \R^n$,…
In \cite{Roe} Roe proved that if a doubly-infinite sequence $\{f_k\}$ of functions on $\R$ satisfies $f_{k+1}=(df_{k}/dx)$ and $|f_{k}(x)|\leq M$ for all $k=0,\pm 1,\pm 2,...$ and $x\in \R$, then $f_0(x)=a\sin(x+\varphi)$ where $a$ and…
A theorem of Strichartz states that if a uniformly bounded bi-infinite sequence of functions on the Euclidean spaces, satisfies the condition that the Laplacian acting on a function in this sequence yields the next one, then each function…
The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…
We prove the following indistinguishability theorem for $k$-tuples of trees in the uniform spanning forest of $\mathbb{Z}^d$: Suppose that $\mathscr{A}$ is a property of a $k$-tuple of components that is stable under finite modifications of…
Let $r_1,\ldots,r_s:\mathbb{Z}_{n\geqslant 0}\to\mathbb{C}$ be linearly recurrent sequences whose associated eigenvalues have arguments in $\pi\mathbb{Q}$ and let $F(z):=\sum_{n\geqslant 0}f(n)z^n$, where $f(n)\in\{r_1(n),\ldots,$…
This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree Theorem") is one of the most powerful known results…
In J. Stat. Phys. 115, 415-449 (2004) Brydges, Guadagni and Mitter proved the existence of multiscale expansions of a class of lattice Green's functions as sums of positive definite finite range functions (called fluctuation covariances).…
Seo and Shin showed that the number of rooted trees on $[n+1]$ such that the maximal decreasing subtree with the same root has $k+1$ vertices is equal to the number of functions $f:[n]\to[n]$ such that the image of $f$ contains $[k]$. We…
We prove a "uniform" version of the finite density Halpern-L\"{a}uchli Theorem. Specifically, we say that a tree $T$ is homogeneous if it is uniquely rooted and there is an integer $b\geq 2$, called the branching number of $T$, such that…
In 1975 Voronin proved the universality theorem for the Riemann zeta-function $\zeta(s)$ which roughly says that any admissible function $f(s)$ is approximated by $\zeta(s)$. A few years later Reich proved a discrete analogue of this…
We present in this paper a first-order axiomatization of an extended theory $T$ of finite or infinite trees, built on a signature containing an infinite set of function symbols and a relation $\fini(t)$ which enables to distinguish between…
In this paper we develop the theory of homogeneous functions between finite abelian groups. Here, a function $f:G\longrightarrow H$ between finite abelian groups is homogeneous of degree $d$ if $f(nx)=n^df(x)$ for all $x\in G$ and all $n$…
We demonstrate a method for proving precise concentration inequalities in uniformly random trees on $n$ vertices, where $n\geq1$ is a fixed positive integer. The method uses a bijection between mappings…
The paper is devoted to a study of certain fixed point properties, and their relatives, in the context of full automorphism groups of countable rooted trees. Namely, we study Serre's property (FA'), also called unsplittability, property…
This paper provides answers to questions regarding the almost sure limiting behavior of rooted, binary tree-structured rules for regression. Examples show that questions raised by Gordon and Olshen in 1984 have negative answers. For these…
Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by L\^e for the polynomial…
In 1986, S.Y. Li and H.Xie proved the following theorem:Let k>=2 and let F be a family of functions meromorphic in some domain D, all of whose zeros are of multiplicity at least k. Then F is normal if and only if the family…
The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<\omega}$, there is a set of nodes isomorphic to…
In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to…