Related papers: Finite type as fundamental objects even non-single…
It is well-known that in finite graphs, large complete minors/topological minors can be forced by assuming a large average degree. Our aim is to extend this fact to infinite graphs. For this, we generalise the notion of the relative end…
Two major milestones on the road to the full complexity dichotomy for finite-domain constraint satisfaction problems were Bulatov's proof of the dichotomy for conservative templates, and the structural dichotomy for smooth digraphs of…
The shift graph is defined on the space of infinite subsets of natural numbers by letting two sets be adjacent if one can be obtained from the other by removing its least element. We show that this graph is not a minimum among the graphs of…
We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…
We study shadowing-type properties for set-valued dynamical systems. In particular, we investigate the periodic shadowing property and its relationship with expansivity and chain transitivity. We establish that for positively expansive…
Hyperfiniteness or amenability of measurable equivalence relations and group actions has been studied for almost fifty years. Recently, unexpected applications of hyperfiniteness were found in computer science in the context of testability…
In this paper, we study the dynamics of set-valued maps whose graphs are open and such that the image of each point is an open and connected set. Building upon the work of P. Duarte and M. Torres, who introduced and analyzed the…
We consider inverse periodic shadowing properties of discrete dynamical systems generated by diffeomorphisms of closed smooth manifolds. We show that the $C^1$-interior of the set of all diffeomorphisms having so-called inverse periodic…
A directed graph is set-homogeneous if, whenever U and V are isomorphic finite subdigraphs, there is an automorphism g of the digraph with U^g=V. Here, extending work of Lachlan on finite homogeneous digraphs, we classify finite…
Is the Doppler interpretation of galaxy redshifts in a Friedmann-Lemaitre-Robertson-Walker (FLRW) model valid in the context of the approach to comoving spatial sections pioneered by de Sitter, Friedmann, Lemaitre and Robertson, i.e.…
We prove analogues of classical results for higher homotopy groups and singular homology groups of pseudotopological spaces. Pseudotopological spaces are a generalization of (\v{C}ech) closure spaces which are in turn a generalization of…
A standard combinatorial construction, due to Kontsevich, associates to any A-infinity algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We…
Let $G=(V, E)$ be a finite connected graph, where $V$ denotes the set of vertices and $E$ denotes the set of edges. We revisit the following Chern-Simons Higgs model, \begin{equation*} \Delta u=\lambda…
We study various weaker forms of inverse shadowing property for discrete dynamical systems on a smooth compact manifold. First, we introduce the so-called Ergodic Inverse Shadowing property (Birhhoff averages of continuous functions along…
In this paper we extend and prove in detail the Finite Rank Theorem for connection matrices of graph parameters definable in Monadic Second Order Logic with counting (CMSOL) from B. Godlin, T. Kotek and J.A. Makowsky (2008) and J.A.…
In a series of three papers we develop an end space theory for digraphs. Here in the second paper we introduce the topological space $|D|$ formed by a digraph $D$ together with its ends and limit edges. We then characterise those digraphs…
Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on…
A finite dynamical system with $n$ components is a function $f:X\to X$ where $X=X_1\times\dots\times X_n$ is a product of $n$ finite intervals of integers. The structure of such a system $f$ is represented by a signed digraph $G$, called…
An infinite-type surface $\Sigma$ is of type $\mathcal{S}$ if it has an isolated puncture $p$ and admits shift maps. This includes all infinite-type surfaces with an isolated puncture outside of two sporadic classes. Given such a surface,…
After Fossas-Parlier, we consider two graphs $\mathcal{G}_{0}(S)$ and $\mathcal{G}_{\infty}(S)$, constructed from multicurves on connected, orientable surfaces of infinite-type. Our first result asserts that $\mathcal{G}_{\infty}(S)$ has…