arXiv++ Combinatorics

Ulam words are binary words defined recursively as follows: the length-$1$ Ulam words are $0$ and $1$, and a binary word of length $n$ is Ulam if and only if it is expressible uniquely as a concatenation of two shorter, distinct Ulam words. We discover, fully describe, and prove a surprisingly rich structure already in the set of Ulam words containing exactly two $1$'s. In particular, this leads to a complete description of such words and a logarithmic-time algorithm to determine whether a binary word with two $1$'s is Ulam. Along the way, we uncover delicate parity and biperiodicity properties, as well as sharp bounds on the number of $0$'s outside the two $1$'s. We also show that sets of Ulam words indexed by the number $y$ of $0$'s between the two $1$'s have intricate tensor-based hierarchical structures determined by the arithmetic properties of $y$. This allows us to construct an infinite family of self-similar Ulam-word-based fractals indexed by the set of $2$-adic integers, containing the outward Sierpinski gasket as a special case.

The ground state solution of the random dimer model is at a critical point after, which has been shown with random link excitations. In this paper we test the robustness of the random dimer model to the random link excitation by imposing the maximum weight excitation. We numerically compute the scaling exponents of the curves arising in the model as well as the fractal dimension. Although strong finite size corrections are present, the results are compatible with that of the random link excitation. Furthermore, another form of excitation, the ε - coupling excitation is studied. We find that near-optimal configurations belong to the same universality class as the travelling salesman problem. Thus, we confirm a conjecture on the scaling properties of combinatorial optimisation problems, for the specific case of minimum weight perfect matchings on 2-dimensional lattices. This document was submitted as my thesis project for the MSc Complex Systems Modelling course at King's College London in 2021. In particular, I would like to thank my supervisor, Dr Gabriele Sicuro for his insights and guidance.

This paper introduces Haros graphs, a construction which provides a graph-theoretical representation of real numbers in the unit interval reached via paths in the Farey binary tree. We show how the topological structure of Haros graphs yields a natural classification of the reals numbers into a hierarchy of families. To unveil such classification, we introduce an entropic functional on these graphs and show that it can be expressed, thanks to its fractal nature, in terms of a generalised de Rham curve. We show that this entropy reaches a global maximum at the reciprocal of the Golden number and otherwise displays a rich hierarchy of local maxima and minima that relate to specific families of irrationals (noble numbers) and rationals, overall providing an exotic classification and representation of the reals numbers according to entropic principles. We close the paper with a number of conjectures and outline a research programme on Haros graphs.

Let $0 \leq s \leq 1$, and let $\mathbb{P} := \{(t,t^{2}) \in \mathbb{R}^{2} : t \in [-1,1]\}$. If $K \subset \mathbb{P}$ is a closed set with $\dim_{\mathrm{H}} K = s$, it is not hard to see that $\dim_{\mathrm{H}} (K + K) \geq 2s$. The main corollary of the paper states that if $0 < s < 1$, then adding $K$ once more makes the sum slightly larger: $$\dim_{\mathrm{H}} (K + K + K) \geq 2s + ε, $$ where $ε= ε(s) > 0$. This information is deduced from an $L^{6}$ bound for the Fourier transforms of Frostman measures on $\mathbb{P}$. If $0 < s < 1$, and $μ$ is a Borel measure on $\mathbb{P}$ satisfying $μ(B(x,r)) \leq r^{s}$ for all $x \in \mathbb{P}$ and $r > 0$, then there exists $ε= ε(s) > 0$ such that $$ \|\hatμ\|_{L^{6}(B(R))}^{6} \leq R^{2 - (2s + ε)} $$ for all sufficiently large $R \geq 1$. The proof is based on a reduction to a $δ$-discretised point-circle incidence problem, and eventually to the $(s,2s)$-Furstenberg set problem.

Hierarchical networks actually have many applications in the real world. Firstly, we propose a new class of hierarchical networks with scale-free and fractal structure, which are the networks with triangles compared to traditional hierarchical networks. Secondly, we study the precise results of some structural properties to derive small-world effect and scale-free feature. Thirdly, it is found that the constructed network is sparse through the average degree and density. Fourthly, it is also demonstrated the degree distributions of hub nodes and the bottom nodes are the power law and exponential, respectively. Finally, we prove that clustering coefficient with a definite value z tends to stabilize at a lower bound as t iterates to a certain number, and the average distance of G_{t}^{z} has a increasing relationship along with the value of lnN_{t}.

The study and calculation of spectrum of networks can be used to describe networks structure and quantify analysis of networks performance. The fractal Möbius octagonal networks, denoted by $Q_n$, is derived from the inverse identification of the opposite lateral edges of fractal linear octagonal networks. In this paper, the normalized Laplacian spectrum of $Q_n$ is determined by two matrices $\mathcal {L}_A$ and $\mathcal {L}_S$. As an important application of our results, some topological indices (multiplicative degree-Kirchhoff index, the number of spanning trees) formulas of $Q_n$ are obtained.

We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except for the last step (the "almost linear" case). We also give sharp bounds on Castelnuovo-Mumford regularity and numbers of generators in some cases. It is a basic observation that linearity properties are inherited by the restriction of an ideal to a subset of variables, and we study when the converse holds. We construct fractal examples of almost linear primary ideals with relatively few generators related to the Sierpiński triangle. Our results also lead to classes of highly connected simplicial complexes $Δ$ that can not be extended to the complete $\dim Δ$-skeleton of the simplex on the same variables by shelling.

Experiments are conducted to improve Tokuda (1992) gap sequence in Shellsort into $γ$-sequences, and the best result is the gap sequence in which the $k$-th increment $h_k$ is given by \begin{align} h_k=\left\lceil \frac{γ^k-1}{γ-1} \right\rceil \end{align} , where $γ=2.243609061420001...$ and $k\in\mathbb{N}_1$. The first few increments of the gap sequence are \begin{align} 1,\, 4,\, 9,\, 20,\, 45,\, 102,\, 230,\, 516,\,1158,\,2599,\,5831,\,13082,\,29351,\,65853,\, 147748,\,331490,\,743735,\, ...\end{align}It empirically yields less numbers of comparison on average than Tokuda (1992) gap sequence. In the procedure of search, it reveals the potential existence of a new type of fractal.

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 operations, and propose a series of combinatorial techniques that are called Mapping Transformation to exactly determine the associated $\langle\mathcal{H}\rangle-$polynomial. Our formulas can be able to completely cover the previously published results in some well-studied and specific cases where a single edge or a star is often chose to serve as seed for creating recursive growth models. The techniques proposed are more convenient than the commonly-used spectral methods mainly because of getting around the operations of matrix inversion and multiplication. Accordingly, our results can be extended for both many other stochastic models including BA-scale-free tree and random uniform tree as well as graphs of great interest consisting of line graph of tree and Vicsek fractal network to derive numerical solutions of related structural parameters. And then, the closed-form solutions of two extensions of Wiener index with respect to multiplicative and additive degrees on an arbitrary tree are conveniently obtained as well. In addition, we discuss some extremal problems of random walks on tree networks and outline the related research directions in the next step.

We survey the history and recent developments around two decades-old problems that continue to attract a great deal of interest: the slicing $\times 2$, $\times 3$ conjecture of H. Furstenberg in ergodic theory, and the distance set problem in geometric measure theory introduced by K. Falconer. We discuss some of the ideas behind our solution of Furstenberg's slicing conjecture, and recent progress in Falconer's problem. While these two problems are on the surface rather different, we emphasize some common themes in our approach: analyzing fractals through a combinatorial description in terms of ``branching numbers'', and viewing the problems through a ``multiscale projection'' lens.

In the previous papers, we tried to analyze the complete loop counting functions that count all the loops in an infinite random walk represented by digits of a real number. In this paper, the consideration will be restricted to the partial loop counting functions $V$ that count the returns to the origin only. This simplification allows us to find closed-form expressions for various integrals related to $V$. Some applications to the complete loop counting functions, in particular, their connections with Bernoulli polynomials, are also provided.

Repeatedly folding a strip of paper in half and unfolding it in straight angles produces a fractal: the dragon curve. Shallit, van der Poorten and others showed that the sequence of right and left turns relates to a continued fraction that is also a simple infinite series. We construct a Mahler function from two functions of Dilcher and Stolarsky with similar properties. It produces a predictable irregular continued fraction that admits a regular continued fraction and a shape resembling the dragon curve. Furthermore, we discuss numerous variations on this theme.

Loop counting functions $U(x)$ estimate the number of "weighted" loops in a digital representation of $x\in[-1,1]$. Roughly speaking, each $x$ is considered as an infinite walk, where the steps of the walk correspond to digits of $x$. The graph of loop counting functions $U$ has a fractal structure that resembles complex mountain landscapes. In some sense, $U$ allows us to look at random walks globally. These functions may be helpful in the analysis of some hard problems related to the distribution of self-avoiding random walks (SAW) in a multi-dimensional case since SAW closely relate to zeros of $U(x)$. We note here that $U(x)$ can be naturally extended to a multidimensional argument $x$. In this article, the focus will be on some analytic aspects. It will be shown that integrals $\int x^AU(x)^Bdx$ with non-negative integers $A$ and $B$ can be expressed in terms of integrals of rational functions with integer coefficients. Moreover, it will be shown that $\int x^A U(x)dx$ admits closed-form expressions. Fourier series for $U$ is also computed. Finally, we discuss some connections with special functions and generalized continued fractions, and other perspectives.

We consider the relationship between the Laplacians on two sequences of planar graphs, one from the theory of self-similar groups and one from analysis on fractals. By establishing a spectral decimation map between these sequences we give an elementary calculation of the spectrum of the former, which was first computed by Grigorchuk and Šunić. Our method also gives a full description of the eigenfunctions.

We discuss a variation of Takagi curves based, however, more on algebraic than geometric principles. Namely, we construct functions of loops in a special binary representation. The graph of these functions usually has chaotic and fractal forms, sometimes recall mountain landscapes. Nevertheless, the values in a dense set of points and even the integral of these functions can be calculated explicitly.

We construct an Arnoux-Rauzy word for which the set of all differences of two abelianized factors is equal to $\mathbb{Z}^3$. In particular, the imbalance of this word is infinite - and its Rauzy fractal is unbounded in all directions of the plane.

Column replacement techniques for creating covering arrays rely on the construction of perfect and distributing hash families with few rows, having as many columns as possible for a specified number of symbols. To construct distributing hash families in which the number of rows is less than the strength, we examine a method due to Blackburn and extend it in three ways. First, the method is generalized from homogeneous hash families (in which every row has the same number of symbols) to heterogeneous ones. Second, the extension treats distributing hash families, in which only separation into a prescribed number of parts is required, rather than perfect hash families, in which columns must be completely separated. Third, the requirements on one of the main ingredients are relaxed to permit the use of a large class of distributing hash families, which we call fractal. Constructions for fractal perfect and distributing hash families are given, and applications to the construction of perfect hash families of large strength are developed.

We prove a general theorem on cutoffs for symmetric exclusion and interchange processes on finite graphs $G_N=(V_N,E_N)$, under the assumption that either the graphs converge geometrically and spectrally to a compact metric measure space, or they are isomorphic to discrete Boolean hypercubes. Specifically, cutoffs occur at times $\displaystyle t_N= (2γ_1^N)^{-1}\log |V_N|$, where $γ_1^N$ is the spectral gap of the symmetric random walk process on $G_N$. Under the former assumption, our theorem is applicable to the said processes on graphs such as: the $d$-dimensional discrete grids and tori for any integer dimension $d$; the $L$-th powers of cycles for fixed $L$, a.k.a. the $L$-adjacent transposition shuffle; and self-similar fractal graphs and products thereof.

We define and study a class of fractal dendrites called triangular labyrinth fractals. For the construction, we use triangular labyrinth patterns systems that consist of two triangular patterns: a white and a yellow one. Correspondingly, we have two fractals: a white and a yellow one. The fractals studied here are self-similar, and fit into the framework of graph directed constructions. The main results consist in showing how special families of triangular labyrinth patterns systems, defined based on some shape features, can generate exactly three types of dendrites: labyrinth fractals where are all nontrivial arcs have infinite length, fractals where all nontrivial arcs have finite length, and fractals where the only arcs of finite length are line segments parallel to a certain direction. We also study the existence of tangents to arcs. The paper is inspired by research done on labyrinth fractals in the unit square that have been studied during the last decade. In the triangular case, due to the geometry of traingular shapes, some new techniques and ideas are necessary in order to obtain the results.

In this paper, we use the theory of Riordan matrices to introduce the notion of an oriented Riordan graph. The oriented Riordan graphs are a far-reaching generalization of the well known and well studied Toeplitz oriented graphs and tournament. The main focus in this paper is the study of structural properties of the oriented Riordan graphs which includes a fundamental decomposition theorem and fractal property. Finally, we introduce the generalization of the oriented Riordan graph who is called a $p$-Riordan graph.