arXiv++ Combinatorics

The present paper formulates and solves a problem of dividing coins. The basic form of the problem seeks the set of the possible ways of dividing coins of face values 1,2,4,8,... between three people. We show that this set possesses a nested structure like the Sierpinski-gasket fractal. For a set of coins with face values power of r, the number of layer of the gasket becomes r. A higher-dimensional Sierpinski gasket is obtained if the number of people is more than three. In addition to Sierpinski-type fractals, the Cantor set is also obtained in dividing an incomplete coin set between two people.

This paper introduced a way of fractal to solve the problem of taking count of the integer partitions, furthermore, using the method in this paper some recurrence equations concerning the integer partitions can be deduced, including the pentagonal number theorem.

It is well known that Pascal's triangle exhibits fractal behavior when reduced modulo a prime. We show that the triangle of Fibonomial coefficients has a similar nature modulo two. Specifically, for any $m \ge 0$, the subtriangle consisting of the first $3 \cdot 2^m$ rows is duplicated on the left and right sides of the next $3 \cdot 2^m$ rows, with an inverted triangle of zeros in between. We give three proofs of this fact. The first uses a combinatorial interpretation of the Fibonomials due to Sagan and Savage. The second employs an analogue of Lucas' congruence for the parity of binomial coefficients. The final one is inductive. We also use induction to show that the Fibonomial triangle has a similar structure modulo three. We end with some open questions.

Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$. In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing the mask polynomial $P_{\mathcal D}$ into product of cyclotomic polynomials. In this paper, we first show that a tile digit set in ${\Bbb Z}^s$ must be an integer tile (i.e. ${\mathcal D}\oplus{\mathcal L} = {\Bbb Z}^s$ for some discrete set ${\mathcal L}$). This allows us to combine the technique of Coven and Meyerowitz on integer tiling on ${\Bbb R}^1$ together with our previous results to characterize explicitly all tile digit sets ${\mathcal D}\subset {\Bbb Z}$ with $A = p^αq$ ($p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^α$ and $pq$.

We examine the behavior of the coefficients of powers of polynomials over a finite field of prime order. Extending the work of Allouche-Berthe, 1997, we study a(n), the number of occurring strings of length n among coefficients of any power of a polynomial f reduced modulo a prime p. The sequence of line complexity a(n) is p-regular in the sense of Allouche-Shalit. For f=1+x and general p, we derive a recursion relation for a(n) then find a new formula for the generating function for a(n). We use the generating function to compute the asymptotics of a(n)/n^2 as n approaches infinity, which is an explicitly computable piecewise quadratic in x with n= [p^m/x] and x is a real number between 1/p and 1. Analyzing other cases, we form a conjecture about the generating function for general a(n). We examine the matrix B associated with f and p used to compute the count of a coefficient, which applies to the theory of linear cellular automata and fractals. For p=2 and polynomials of small degree we compute the largest positive eigenvalue, λ, of B, related to the fractal dimension d of the corresponding fractal by d= \log_2(λ). We find proofs and make a number of conjectures for some bounds on λ, and upper bounds on its degree.

In this paper we introduce a family of infinite words that generalize the Fibonacci word and we study their combinatorial properties. Moreover, we associate to this family of words a family of curves, which have fractal properties, in particular these curves have as attractor the Fibonacci word fractal. Finally, we describe an infinite family of polyominoes (double squares) from the generalized Fibonacci words and we study some of their geometric properties. These last polyominoes generalize the Fibonacci snowflake.

Using the method of spectral decimation and a modified version of Kirchhoffs Matrix-Tree Theorem, a closed form solution to the number of spanning trees on approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal is given in Theorem (3.4). Examples calculated include the Sierpinski Gasket, a non p.c.f. analog of the Sierpinski Gasket, the Diamond fractal, and the Hexagasket. For each example, the asymptotic complexity constant is found. Dropping the fully symmetry assumption, it is shown that the limsup and liminf of the asymptotic complexity constant exist.

The Abelian sandpile process evolves configurations of chips on the integer lattice by toppling any vertex with at least 4 chips, distributing one of its chips to each of its 4 neighbors. When begun from a large stack of chips, the terminal state of the sandpile has a curious fractal structure which has remained unexplained. Using a characterization of the quadratic growths attainable by integer-superharmonic functions, we prove that the sandpile PDE recently shown to characterize the scaling limit of the sandpile admits certain fractal solutions, giving a precise mathematical perspective on the fractal nature of the sandpile.

We study multilinear generalized Radon transforms using a graph-theoretic paradigm that includes the widely studied linear case. These provide a general mechanism to study Falconer-type problems involving $(k+1)$-point configurations in geometric measure theory, with $k \ge 2$, including the distribution of simplices, volumes and angles determined by the points of fractal subsets $E \subset {\Bbb R}^d$, $d \ge 2$. If $T_k(E)$ denotes the set of noncongruent $(k+1)$-point configurations determined by $E$, we show that if the Hausdorff dimension of $E$ is greater than $d-\frac{d-1}{2k}$, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$ is positive. This compliments previous work on the Falconer conjecture (\cite{Erd05} and the references there), as well as work on finite point configurations \cite{EHI11,GI10}. We also give applications to Erdös-type problems in discrete geometry and a fractal regular value theorem, providing a multilinear framework for the results in \cite{EIT11}.

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among $N$ points in ${\mathbb R}^d$, $d \ge 4$, motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

We study partition functions for the dimer model on families of finite graphs converging to infinite self-similar graphs and forming approximation sequences to certain well-known fractals. The graphs that we consider are provided by actions of finitely generated groups by automorphisms on rooted trees, and thus their edges are naturally labeled by the generators of the group. It is thus natural to consider weight functions on these graphs taking different values according to the labeling. We study in detail the well-known example of the Hanoi Towers group $H^{(3)}$, closely related to the Sierpiński gasket.

We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental domain with fractal boundary (a Rauzy fractal) for this toral translation.

In this paper we study multi-parameter projection theorems for fractal sets. With the help of these estimates, we recover results about the size of $A \cdot A+...+A \cdot A$, where $A$ is a subset of the real line of a given Hausdorff dimension, $A+A=\{a+a': a,a' \in A \}$ and $A \cdot A=\{a \cdot a': a,a' \in A\}$. We also use projection results and inductive arguments to show that if a Hausdorff dimension of a subset of ${\Bbb R}^d$ is sufficiently large, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of the set of $k$-simplexes determined by this set is positive. The sharpness of these results and connection with number theoretic estimates is also discussed.

The Abelian sandpile growth model is a diffusion process for configurations of chips placed on vertices of the integer lattice $\mathbb{Z}^d$, in which sites with at least 2d chips {\em topple}, distributing 1 chip to each of their neighbors in the lattice, until no more topplings are possible. From an initial configuration consisting of $n$ chips placed at a single vertex, the rescaled stable configuration seems to converge to a particular fractal pattern as $n\to \infty$. However, little has been proved about the appearance of the stable configurations. We use PDE techniques to prove that the rescaled stable configurations do indeed converge to a unique limit as $n \to \infty$. We characterize the limit as the Laplacian of the solution to an elliptic obstacle problem.

Motivated by the hierarchial network model of E. Ravasz, A.-L. Barabasi, and T. Vicsek, we introduce deterministic scale-free networks derived from a graph directed self-similar fractal $Λ$. With rigorous mathematical results we verify that our model captures some of the most important features of many real networks: the scale free and the high clustering properties. We also prove that the diameter is the logarithm of the size of the system. Using our (deterministic) fractal $Λ$ we generate random graph sequence sharing similar properties.

Rauzy fractals are compact sets with fractal boundary that can be associated with any unimodular Pisot irreducible substitution. These fractals can be defined as the Hausdorff limit of a sequence of compact sets, where each set is a renormalized projection of a finite union of faces of unit cubes. We exploit this combinatorial definition to prove the connectedness of the Rauzy fractal associated with any finite product of three-letter Arnoux-Rauzy substitutions.

An interesting class of automatic sequences emerges from iterated paperfolding. The sequences generate curves in the plane with an almost periodic structure. We generalize the results obtained by Davis and Knuth on the self-avoiding and planefilling properties of these curves, giving simple geometric criteria for a complete classification. Finally, we show how the automatic structure of the sequences leads to self-similarity of the curves, which turns the planefilling curves in a scaling limit into fractal tiles. For some of these tiles we give a particularly simple formula for the Hausdorff dimension of their boundary.

We prove that if ${\mathcal E} \subset {\Bbb R}^{2d}$, $d \ge 2$, is an Ahlfors-David regular product set of sufficiently large Hausdorff dimension, denoted by $dim_{\mathcal H}({\mathcal E})$, and $φ$ is a sufficiently regular function, then the upper Minkowski dimension of the set $$ \{w \in {\mathcal E}: φ_l(w)=t_l; 1 \leq l \leq m \}$$ does not exceed $dim_{\mathcal H}({\mathcal E})-m$, in line with the regular value theorem from the elementary differential geometry. Our arguments are based on the mapping properties of the underlying Fourier Integral Operators and are intimately connected with the Falconer distance conjecture in geometric measure theory. We shall see that our results are in general sharp in the sense that if the Hausdorff dimension is smaller than a certain threshold, then the dimensional inequality fails in a quantifiable way. The constructions used to demonstrate this are based on the distribution of lattice points on convex surfaces and have connections with combinatorial geometry.

We generalise a fundamental graph-theoretical fact, stating that every element of the cycle space of a graph is a sum of edge-disjoint cycles, to arbitrary continua. To achieve this we replace graph cycles by topological circles, and replace the cycle space of a graph by a new homology group for continua which is a quotient of the first singular homology group $H_1$. This homology seems to be particularly apt for studying spaces with infinitely generated $H_1$, e.g. infinite graphs or fractals.

We consider badly approximable numbers in the case of dyadic diophantine approximation. For the unit circle $\mathbb{S}$ and the smallest distance to an integer $\|\cdot\|$ we give elementary proofs that the set $F(c) = \{x \in \mathbb{S}: \|2^nx\| \geq c, n\geq 0\}$ is a fractal set whose Hausdorff dimension depends continuously on $c$, is constant on intervals which form a set of Lebesgue measure 1 and is self-similar. Hence it has a fractal graph. Moreover, the dimension of $F(c)$ is zero if and only if $c\geq 1-2τ$, where $τ$ is the Thue-Morse constant. We completely characterise the intervals where the dimension remains unchanged. As a consequence we can completely describe the graph of $ c\mapsto \dim_H \{x\in[0,1]: \|x-\frac{m}{2^n}\|< \frac{c}{2^n} \textnormal{finitely often}\}$.