arXiv++ Combinatorics

Fractal phenomena may be widely observed in a great number of complex systems. In this paper, we revisit the well-known Vicsek fractal, and study some of its structural properties for purpose of understanding how the underlying topology influences its dynamic behaviors. For instance, we analytically determine the exact solution to mean first-passage time for random walks on Vicsek fractal in a more light mapping-based manner than previous other methods, including typical spectral technique. More importantly, our method can be quite efficient to precisely calculate the solutions to mean first-passage time on all generalized versions of Vicsek fractal generated based on an arbitrary allowed seed, while other previous methods suitable for typical Vicsek fractal will become prohibitively complicated and even fail. Lastly, this analytic results suggest that the scaling relation between mean first-passage time and vertex number in generalized versions of Vicsek fractal keeps unchanged in the large graph size limit no matter what seed is selected.

Frierson used a powerful parameterization of the pattern of the order 3 associative magic square to construct a family of six related order 9 compound (or composite) magic squares, several of them ancient. Stimulated by Bellew's 1997 extension to order 27, we extend these ideas to all orders that are powers of 3, and in addition find simple formulae for the matrix spectra and entropic measures for all those orders. This construction is fractal and we give numerical results to order 243 which show an information entropy measure converging to a constant value of about 1.168.. for the lowest entropy members. We also briefly consider compounding of an order 4 magic square with the lowest entropy, for which we find a similar trend to constant entropy.

Wythoff's game as a classic combinatorial game has been well studied. In this paper, we focus on $(2n+1)$-dimensional Wythoff's game; that is the Wythoff's game with $(2n+1)$ heaps. We characterize their $\mathcal{P}$-positions explicitly and show that they have self-similar structures. In particular, the set of all $\mathcal{P}$-positions of $3$-dimensional Wythoff's game generates the well-known fractal set---the Sierpinski sponge.

For a contractive iterated function system (IFS), it is known that there is a natural hyperbolic graph structure (augmented tree) on the symbolic space of the IFS that reflects the relationship among neighboring cells, and its hyperbolic boundary with the Gromov metric is Hölder equivalent to the attractor $K$. This setup was taken up to study the probabilistic potential theory on $K$, and the bi-Lipschitz equivalence on $K$. In this paper, we formulate a broad class of hyperbolic graphs, called expansive hyperbolic graphs, to capture the most essential properties from the augmented trees and the hyperbolic boundaries (e.g., the special geodesics, bounded degree property, metric doubling property, and Hölder equivalence). We also study a new setup of "weighted" IFS and investigate its connection with the self-similar energy form in the analysis of fractals.

Baxter permutations, plane bipolar orientations, and a specific family of walks in the non-negative quadrant are well-known to be related to each other through several bijections. We introduce a further new family of discrete objects, called coalescent-walk processes, that are fundamental for our results. We relate these new objects with the other previously mentioned families introducing some new bijections. We prove joint Benjamini--Schramm convergence (both in the annealed and quenched sense) for uniform objects in the four families. Furthermore, we explicitly construct a new fractal random measure of the unit square, called the coalescent Baxter permuton and we show that it is the scaling limit (in the permuton sense) of uniform Baxter permutations. To prove the latter result, we study the scaling limit of the associated random coalescent-walk processes. We show that they converge in law to a continuous random coalescent-walk process encoded by a perturbed version of the Tanaka stochastic differential equation. This result has connections (to be explored in future projects) with the results of Gwynne, Holden, Sun (2016) on scaling limits (in the Peanosphere topology) of plane bipolar triangulations. We further prove some results that relate the limiting objects of the four families to each other, both in the local and scaling limit case.

We propose a new point of view on multidimensional continued fraction algorithms inspired by Rauzy induction. The generic behaviour of such an algorithm is described here as a random walk on a graph that we call simplicial system. These systems provide a family of examples for random walks with memory recorded by a finite dimensional vector. We introduce a general criterion on these graphs that induces ergodicity together with a bundle of many other dynamical properties. In particular, after computing the representation of Brun, Selmer and Arnoux-Rauzy-Poincare algorithm in this formalism, it provides a unified proof of ergodicity for these classical examples as well as new results such as uniqueness of the measure of maximal entropy on a canonical suspension. These objects also bring a new perspective to some fractal sets such as Rauzy gaskets. We show general explicit upper bound on Hausdorff dimensions of fractals described in this formalism as well as a construction of their measure of maximal entropy. This implies in particular that the Rauzy gasket in all dimensions has Hausdorff dimension strictly smaller than its ambient space, as well as sharper bounds on the dimension and an asymptotic result.

In this paper we study self-similar and fractal networks from the combinatorial perspective. We establish analogues of topological (Lebesgue) and fractal (Hausdorff) dimensions for graphs and demonstrate that they are naturally related to known graph-theoretical characteristics: rank dimension and product (or Prague or Nešetřil-Rödl) dimension. Our approach reveals how self-similarity and fractality of a network are defined by a pattern of overlaps between densely connected network communities. It allows us to identify fractal graphs, explore the relations between graph fractality, graph colorings and graph Kolmogorov complexity, and analyze the fractality of several classes of graphs and network models, as well as of a number of real-life networks. We demonstrate the application of our framework to evolutionary studies by revealing the growth of self-organization of heterogeneous viral populations over the course of their intra-host evolution, thus suggesting mechanisms of their gradual adaptation to the host's environment. As far as the authors know, the proposed approach is the first theoretical framework for study of network fractality within the combinatorial paradigm. The obtained results lay a foundation for studying fractal properties of complex networks using combinatorial methods and algorithms.

Geodesic distance, commonly called shortest path length, has proved useful in a great variety of disciplines. It has been playing a significant role in search engine at present and so attracted considerable attention at the last few decades, particularly, almost all data structures and corresponding algorithms suitable to searching information generated based on treelike models. Hence, we, in this paper, study in detail geodesic distance on some treelike models which can be generated by three different types of operations, including first-order subdivision, ($1,m$)-star-fractal operation and $m$-vertex-operation. Compared to the most best used approaches for calculating geodesic distance on graphs, for instance, enumeration method and matrix multiplication, we take useful advantage of a novel method consisting in spirit of the concept of vertex cover in the language of graph theory and mapping. For each kind of treelike model addressed here, we certainly obtain an exact solution for its geodesic distance using our method. With the help of computer simulations, we confirm that the analytical results are in perfect agreement with simulations. In addition, we also report some intriguing structure properties on treelike models of two types among them. The one obeys exponential degree distribution seen in many complex networks, by contrast, the other possesses all but leaf vertices with identical degree and shows more homogeneous topological structure than the former. Besides that, the both have, in some sense, self-similar feature but instead the latter exhibits fractal property.

A minor-closed class of matroids is (strongly) fractal if the number of n-element matroids in the class is dominated by the number of n-element excluded minors. We conjecture that when K is an infinite field, the class of K-representable matroids is strongly fractal. We prove that the class of sparse paving matroids with at most k circuit-hyperplanes is a strongly fractal class when k is at least three. The minor-closure of the class of spikes with at most k circuit-hyperplanes (with k>4) satisfies a strictly weaker condition: the number of 2t-element matroids in the class is dominated by the number of 2t-element excluded minors. However, there are only finitely many excluded minors with ground sets of odd size.

Measures of tree balance play an important role in the analysis of phylogenetic trees. One of the oldest and most popular indices in this regard is the Colless index for rooted bifurcating trees, introduced by Colless (1982). While many of its statistical properties under different probabilistic models for phylogenetic trees have already been established, little is known about its minimum value and the trees that achieve it. In this manuscript, we fill this gap in the literature. To begin with, we derive both recursive and closed expressions for the minimum Colless index of a tree with $n$ leaves. Surprisingly, these expressions show a connection between the minimum Colless index and the so-called Blancmange curve, a fractal curve. We then fully characterize the tree shapes that achieve this minimum value and we introduce both an algorithm to generate them and a recurrence to count them. After focusing on two extremal classes of trees with minimum Colless index (the maximally balanced trees and the greedy from the bottom trees), we conclude by showing that all trees with minimum Colless index also have minimum Sackin index, another popular balance index.

Suppose that $d \geq 2$, and that $A \subset [0,1]$ has sufficiently large dimension, $1 - ε_d < \dim_H(A) < 1$. Then for any polynomial $P$ of degree $d$ with no constant term, there exists a point configuration $\{ x, x-t,x-P(t) \} \subset A$ with $t \approx_P 1$.

Measures of tree balance play an important role in various research areas, for example in phylogenetics. There they are for instance used to test whether an observed phylogenetic tree differs significantly from a tree generated by the Yule model of speciation. One of the most popular indices in this regard is the Colless index, which measures the degree of balance for rooted binary trees. While many statistical properties of the Colless index (e.g. asymptotic results for its mean and variance under different models of speciation) have already been discussed in different contexts, we focus on its extremal properties. While it is relatively straightforward to characterize trees with maximal Colless index, the analysis of the minimal value of the Colless index and the characterization of trees that achieve it, are much more involved. In this note, we therefore focus on the minimal value of the Colless index for any given number of leaves. We derive both a recursive formula for this minimal value, as well as an explicit expression, which shows a surprising connection between the Colless index and the so-called Blancmange curve, a fractal curve that is also known as the Takagi curve. Moreover, we characterize two classes of trees that have minimal Colless index, consisting of the set of so-called \emph{maximally balanced trees} and a class of trees that we call \emph{greedy from the bottom trees}. Furthermore, we derive an upper bound for the number of trees with minimal Colless index by relating these trees with trees with minimal Sackin index (another well-studied index of tree balance).

We show the density theorem for the class of finite oriented trees ordered by the homomorphism order. We also show that every interval of oriented trees, in addition to be dense, is in fact universal. We end by considering the fractal property in the class of all finite digraphs.

For a prime number $p$ and any natural number $n$ we introduce, by giving an explicit recursive formula, the $p$-Jones-Wenzl projector ${}^p\operatorname{JW}_n$, an element of the Temperley-Lieb algebra $TL_n(2)$ with coefficients in ${\mathbb F}_p$. We prove that these projectors give the indecomposable objects in the $\tilde{A}_1$-Hecke category over ${\mathbb F}_p$, or equivalently, they give the projector in $\mathrm{End}_{\mathrm{SL}_2(\overline{{\mathbb F}_p})}(({\mathbb F}_p^2)^{\otimes n})$ to the top tilting module. The way in which we find these projectors is by categorifying the fractal appearing in the expression of the $p$-canonical basis in terms of the Kazhdan-Lusztig basis for $\tilde{A}_1$.

We outline necessary and sufficient condition to the existence of extrmas of a function on a self-similar set, and we describe discrete gradient algorithm to find the extrema.

We continue the exploration of the relationship between conformal dimension and the separation profile by computing the separation of families of spheres in hyperbolic graphs whose boundaries are standard Sierpiński carpets and Menger sponges. In all cases, we show that the separation of these spheres is $n^{\frac{d-1}{d}}$ for some $d$ which is strictly smaller than the conformal dimension, in contrast to the case of rank 1 symmetric spaces of dimension $\geq 3$. The value of $d$ obtained naturally corresponds to a previously known lower bound on the conformal dimension of the associated fractal.

We introduce two frameworks in order to deal with fractal and multi-fractal analysis for subset sum problems where some embedding into the $1$-dimensional Euclidean space plays an important role. As one of these frameworks, the notion of the combinatorial $q$-fractal dimension for a subset sum function is introduced. Thereby, ``non-classical'' generalized dimensions for a family of subset~sum functions can be defined. These generalized dimensions include the box-counting dimension, the information dimension and the correlation dimension as well as the classical case. The combinatorial $q$-fractal dimension includes the density of the subset sum problem. As the other framework, we construct a self-similar set for a particular subset sum function in a family of subset sum functions by using a graph theoretical technique. In this paper, we give a lower bound for a combinatorial $q$-fractal dimension and we show the relations between the three parameters: the number of connected components in a graph, the Hausdorff dimension and a combinatorial $q$-fractal dimension.

In this paper, we introduce a new concept: the transfinite fractal dimension of graph sequences motivated by the notion of fractality of complex networks proposed by Song et al. We show that the definition of fractality cannot be applied to networks with `tree-like' structure and exponential growth rate of neighborhoods. However, we show that the definition of fractal dimension could be modified in a way that takes into account the exponential growth, and with the modified definition, the fractal dimension becomes a proper parameter of graph sequences. We find that this parameter is related to the growth rate of trees. We also generalize the concept of box dimension further and introduce the transfinite Cesaro fractal dimension. Using rigorous proofs we determine the optimal box-covering and transfinite fractal dimension of various models: the hierarchical graph sequence model introduced by Komjáthy and Simon, Song-Havlin-Makse model, spherically symmetric trees, and supercritical Galton-Watson trees.

Graph operations or products play an important role in complex networks. In this paper, we study the properties of $q$-subdivision graphs, which have been applied to model complex networks. For a simple connected graph $G$, its $q$-subdivision graph $S_q(G)$ is obtained from $G$ through replacing every edge $uv$ in $G$ by $q$ disjoint paths of length 2, with each path having $u$ and $v$ as its ends. We derive explicit formulas for many quantities of $S_q(G)$ in terms of those corresponding to $G$, including the eigenvalues and eigenvectors of normalized adjacency matrix, two-node hitting time, Kemeny constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. We also study the properties of the iterated $q$-subdivision graphs, based on which we obtain the closed-form expressions for a family of hierarchical lattices, which has been used to describe scale-free fractal networks.

We introduce our GraftalLace Cellular Automaton in short GLCA which is a new one-dimensional cellular automaton on the regular square lattice. It makes a monochromatic infinite directed graph otherwise an octal number triangle or number trapezoid by partly influences the states of the neighbour cells with bit operations. We show new ways to make symmetric fractals like Sierpinski triangle and Pascal triangle modulo 3 and unknown complex patterns. We find reversible rules and show possibilities to represent and extend our automaton in different ways. 2D version of GLCA can be represented as a 3D digraph or a 2D animated tessellation which could be a closer relative of Conway's Game of Life.