English
Related papers

Related papers: Background construction for $\lambda$-indexed mice

200 papers

In this paper we present a systematic study of continuous local iterated function systems. We prove local iterated function systems admit compact attractors and, under a contractivity assumption, construct their code space and present an…

Dynamical Systems · Mathematics 2026-01-13 Elismar R. Oliveira , Paulo Varandas

This paper studies the logical properties of a very general class of infinite ranked trees, namely those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal mu-calculus, three main…

Logic in Computer Science · Computer Science 2021-03-03 Christopher H. Broadbent , Arnaud Carayol , C. -H. Luke Ong , Olivier Serre

For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…

Geometric Topology · Mathematics 2018-09-05 Sergey Fomin , Dylan Thurston

Imitation learning is a powerful family of techniques for learning sensorimotor coordination in immersive environments. We apply imitation learning to attain state-of-the-art performance on hard exploration problems in the Minecraft…

Machine Learning · Computer Science 2020-07-07 Artemij Amiranashvili , Nicolai Dorka , Wolfram Burgard , Vladlen Koltun , Thomas Brox

We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up…

Algebraic Topology · Mathematics 2022-03-02 Brendan Mallery , Adélie Garin , Justin Curry

We study how iterated and composed completely positive maps act on operator-valued kernels. Each kernel is realized inside a single Hilbert space where composition corresponds to applying bounded creation operators to feature vectors. This…

Functional Analysis · Mathematics 2025-11-18 James Tian

Normalized random measures (NRMs) provide a broad class of discrete random measures that are often used as priors for Bayesian nonparametric models. Dirichlet process is a well-known example of NRMs. Most of posterior inference methods for…

Machine Learning · Statistics 2015-11-19 Juho Lee , Seungjin Choi

The technique of $\star$-translation is important in arguments calibrating the strengths of determinacy theories against large cardinals, for example in [9] and [1] in the paper's bibliography. It has also been used in analysing the…

Logic · Mathematics 2026-02-10 Farmer Schlutzenberg

We introduce a natural conjugate prior for the transition matrix of a reversible Markov chain. This allows estimation and testing. The prior arises from random walk with reinforcement in the same way the Dirichlet prior arises from…

Statistics Theory · Mathematics 2007-06-13 Persi Diaconis , Silke W. W. Rolles

We introduce a tree structure for the iterates of symmetric bimodal maps and identify a subset which we prove to be isomorphic to the family of unimodal maps. This subset is used as a second factor for a $\ast $-product that we define in…

Dynamical Systems · Mathematics 2007-05-23 J. P. Lampreia , R. Severino , J. Sousa Ramos

We introduce bijections between families of rooted maps with unfixed genus and families of so-called blossoming trees endowed with an arbitrary forward matching of their leaves. We first focus on Eulerian maps with controlled vertex…

Combinatorics · Mathematics 2022-11-28 Éric Fusy , Emmanuel Guitter

The two-dimensional comb lattice $C_2$ is a natural spanning tree of the Euclidean lattice $\mathbb{Z}^2$. We study three related cluster growth models on $C_2$: internal diffusion limited aggregation (IDLA), in which random walkers move on…

Probability · Mathematics 2012-04-13 Wilfried Huss , Ecaterina Sava

In this paper, we are concerned with mean hitting time $\langle\mathcal{H}\rangle$ for random walks on recursive growth tree networks that are built based on an arbitrary tree as the seed via implementing various primitive graphic…

Combinatorics · Mathematics 2021-12-10 Fei Ma , Ping Wang

In this paper we combine the theory of reproducing kernel Hilbert spaces with the field of collocation methods to solve boundary value problems with special emphasis on reproducing property of kernels. From the reproducing property of…

Numerical Analysis · Mathematics 2019-03-26 Babak Azarnavid , Mahdi Emamjome , Mohammad Nabati , Saeid Abbasbandy

This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to mice below a superstrong cardinal. The…

Logic · Mathematics 2013-01-22 Farmer Schlutzenberg

We study three different kinds of embeddings of tree patterns: weakly-injective, ancestor-preserving, and lca-preserving. While each of them is often referred to as injective embedding, they form a proper hierarchy and their computational…

Databases · Computer Science 2012-05-01 Jakub Michaliszyn , Anca Muscholl , Sławek Staworko , Piotr Wieczorek , Zhilin Wu

We give a novel combinatorial interpretation to the perturbative series solutions for a class of Dyson-Schwinger equations. We show how binary tubings of rooted trees with labels from an alphabet on the tubes, and where the labels satisfy…

Mathematical Physics · Physics 2025-09-16 Michael Borinsky , Gerald V. Dunne , Karen Yeats

In this work, we describe how to construct matrices and block right-hand sides that exhibit a specified restarted block \gmres convergence pattern, such that the eigenvalues and Ritz values at each iteration can be chosen independent of the…

Numerical Analysis · Mathematics 2026-02-19 Kirk M. Soodhalter

Glycans are tree-like polymers made up of sugar monomer building blocks. They are found on the surface of all living cells, and distinct glycan trees act as identity markers for distinct cell types. Proteins called GTase enzymes assemble…

Logic in Computer Science · Computer Science 2021-07-07 Ansuman Biswas , Ashutosh Gupta , Meghana Missula , Mukund Thattai

This article develops iterative machine learning (IML) for output tracking. The input-output data generated during iterations to develop the model used in the iterative update. The main contribution of this article to propose the use of…

Systems and Control · Computer Science 2018-01-04 Santosh Devasia