-
A self-avoiding curve associated with sums of digits
Authors:
Francis Oger
Abstract:
For each $n\in N ^{\ast }$, we write $s_{n}=\left( 1,\ldots ,1,0\right) $ with $n$ times $1$. For each $a \in N$, we consider the binary representation $\left( a_{i}\right) _{i\in -N }$ of $a$ with $a_{i}=0$ for nearly each $i$; we denote by $α_{n}(a)$ the number of integers $i$ such that $\left( a_{i}, \ldots ,a_{i+n} \right) =s_{n}$. We consider the curve…
▽ More
For each $n\in N ^{\ast }$, we write $s_{n}=\left( 1,\ldots ,1,0\right) $ with $n$ times $1$. For each $a \in N$, we consider the binary representation $\left( a_{i}\right) _{i\in -N }$ of $a$ with $a_{i}=0$ for nearly each $i$; we denote by $α_{n}(a)$ the number of integers $i$ such that $\left( a_{i}, \ldots ,a_{i+n} \right) =s_{n}$. We consider the curve $C_{n}=\left( S_{n,k}\right) _{k\in N ^{\ast }}$ which consists of consecutive segments of length $1$ such that, for each $k$, $S_{n,k+1}$ is obtained from $S_{n,k}$ by turning right if $k+α_{n}(k)-α_{n}(k-1)$ is even and left otherwise. $C_{1}$ is self-avoiding since it is the curve associated to the alternating folding sequence. In [1], M. Mendès France and J. Shallit conjectured that the curves $C_{n}$ for $n\geq 2$ are also self-avoiding. In the present paper, we show that this property is true for $n=2$. We also prove that $C_{2}$ has some properties similar to those which were shown in [2], [3] and [4] for folding curves.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Self-avoiding space-filling folding curves in dimension 3
Authors:
Francis Oger
Abstract:
Various examples of folding curves in $R^{2}$ have been considered: dragons and other square curves, terdragons and other triangular curves, Peano-Gosper curves based on hexagons. They are self-avoiding. They form coverings of $R^{2}$, by one curve or by a small number of curves, which satisfy the local isomorphism property. They were used to define some fractals. We construct an example with simi…
▽ More
Various examples of folding curves in $R^{2}$ have been considered: dragons and other square curves, terdragons and other triangular curves, Peano-Gosper curves based on hexagons. They are self-avoiding. They form coverings of $R^{2}$, by one curve or by a small number of curves, which satisfy the local isomorphism property. They were used to define some fractals. We construct an example with similar properties in $R^{3}$.
△ Less
Submitted 12 January, 2025;
originally announced January 2025.
-
Coverings of the plane by self-avoiding curves which satisfy the local isomorphism property
Authors:
Francis Oger
Abstract:
A self-avoiding plane-filling curve cannot be periodic, but we show that it can satisfy the local isomorphism property. We investigate three families of coverings of the plane by finite sets of nonoverlapping self-avoiding curves which satisfy that property in a strong form. These curves are respectively inductive limits of: 1) $n$-folding square curves such as the dragon curve, obtained by foldin…
▽ More
A self-avoiding plane-filling curve cannot be periodic, but we show that it can satisfy the local isomorphism property. We investigate three families of coverings of the plane by finite sets of nonoverlapping self-avoiding curves which satisfy that property in a strong form. These curves are respectively inductive limits of: 1) $n$-folding square curves such as the dragon curve, obtained by folding $n$ times a strip of paper in $2$ and unfolding it with $π/2$ angles; 2) $n$-folding triangular curves such as the terdragon curve, obtained by folding $n$ times a strip of paper in $3$ and unfolding it with $π/3$ angles; 3) generalizations of Peano-Gosper curves. In each family, the coverings consist of a small number of curves (at most $6$), and in many examples only $1$ curve. We do not know presently if similar examples exist in spaces of dimension $\geq 3$.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Self-avoiding and plane-filling properties for terdragons and other triangular folding curves
Authors:
Francis Oger
Abstract:
We consider $n$-folding triangular curves, or $n$-folding t-curves, obtained by folding $n$ times a strip of paper in $3$, each time possibly left then right or right then left, and unfolding it with $π/3$ angles. An example is the well known terdragon curve. They are self-avoiding like $n$-folding curves obtained by folding $n$ times a strip of paper in two, each time possibly left or right, and…
▽ More
We consider $n$-folding triangular curves, or $n$-folding t-curves, obtained by folding $n$ times a strip of paper in $3$, each time possibly left then right or right then left, and unfolding it with $π/3$ angles. An example is the well known terdragon curve. They are self-avoiding like $n$-folding curves obtained by folding $n$ times a strip of paper in two, each time possibly left or right, and unfolding it with $π/2$ angles.
We also consider complete folding t-curves, which are the curves without endpoint obtained as inductive limits of $n$-folding t-curves. We show that each of them can be extended into a unique covering of the plane by disjoint such curves, and this covering satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. Two coverings are locally isomorphic if and only if they are associated to the same sequence of foldings. Each class of locally isomorphic coverings contains exactly $ 2^{ω}$ (resp. $2^{ω}$, $2$ or $5$, $0$) isomorphism classes of coverings by $1$ (resp. $2$, $3$, $\geq 4$) curves. These properties are partly similar to those of complete folding curves.
△ Less
Submitted 30 October, 2023; v1 submitted 27 December, 2017;
originally announced December 2017.
-
Peano-Gosper curves and the local isomorphism property
Authors:
Francis Oger
Abstract:
We consider unbounded curves without endpoints. Isomorphism is equivalence up to translation. Self-avoiding plane-filling curves cannot be periodic, but they can satisfy the local isomorphism property: We obtain a set $Ω$ of coverings of the plane by sets of disjoint self-avoiding nonoriented curves, generalizing the Peano-Gosper curves, such that:
1) each $C \in Ω$ satisfies the local isomorphi…
▽ More
We consider unbounded curves without endpoints. Isomorphism is equivalence up to translation. Self-avoiding plane-filling curves cannot be periodic, but they can satisfy the local isomorphism property: We obtain a set $Ω$ of coverings of the plane by sets of disjoint self-avoiding nonoriented curves, generalizing the Peano-Gosper curves, such that:
1) each $C \in Ω$ satisfies the local isomorphism property; any set of curves locally isomorphic to $C$ belongs to $Ω$;
2) $Ω$ is the union of $2^{ω}$ equivalence classes for the relation "$C$ locally isomorphic to $D$"; each of them contains $2^{ω}$ (resp. $2^{ω}$, $4$, $0$) isomorphism classes of coverings by $1$ (resp. $2$, $3$, $\geq 4$) curves.
Each $C \in Ω$ gives exactly $2$ coverings by sets of oriented curves which satisfy the local isomorphism property. They have opposite orientations.
△ Less
Submitted 30 October, 2023; v1 submitted 1 May, 2017;
originally announced May 2017.
-
The number of paperfolding curves in a covering of the plane
Authors:
Francis Oger
Abstract:
These results complete our paper in Hiroshima Mathematical Journal, vol. 42, pp. 37-75. Let C be a covering of the plane by disjoint complete folding curves which satisfies the local isomorphism property. We show that C is locally isomorphic to an essentially unique covering generated by an $\infty$-folding curve. We prove that C necessarily consists of 1, 2, 3, 4 or 6 curves. We give examples for…
▽ More
These results complete our paper in Hiroshima Mathematical Journal, vol. 42, pp. 37-75. Let C be a covering of the plane by disjoint complete folding curves which satisfies the local isomorphism property. We show that C is locally isomorphic to an essentially unique covering generated by an $\infty$-folding curve. We prove that C necessarily consists of 1, 2, 3, 4 or 6 curves. We give examples for each case; the last one is realized if and only if C is generated by the alternating folding curve or one of its successive antiderivatives. We also extend the results of our previous paper to another class of paperfolding curves introduced by M. Dekking.
△ Less
Submitted 14 July, 2015; v1 submitted 13 August, 2014;
originally announced August 2014.
-
Unfriendly or weakly unfriendly partitions of graphs
Authors:
Francis Oger
Abstract:
For each infinite cardinal $κ$ and each graph $G=(V,E)$, we say that a partition $π:V\rightarrow \left\{ 0,1\right\} $ is $κ$-unfriendly if, for each $x\in V$, $\left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)\neq π(x)\right\} \right| $ is $\geq \left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)=π(x)\right\} \right| $ or $\geq κ$; $π$ is unfriendly if the first…
▽ More
For each infinite cardinal $κ$ and each graph $G=(V,E)$, we say that a partition $π:V\rightarrow \left\{ 0,1\right\} $ is $κ$-unfriendly if, for each $x\in V$, $\left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)\neq π(x)\right\} \right| $ is $\geq \left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)=π(x)\right\} \right| $ or $\geq κ$; $π$ is unfriendly if the first property is true for each $x\in V$. Some uncountable graphs of infinite minimum degree without unfriendly partition have been constructed by S. Shelah and E.C. Milner, but it is not presently known if countable graphs without unfriendly partition exist. We show that, for each integer $n$, each graph of infinite minimum degree has an $ω_{n}$-unfriendly partition. We also prove that the following properties are equivalent: (i) each graph has an $ω$-unfriendly partition; (ii) each countable graph has an unfriendly partition; (iii) each countable graph without nonempty induced subgraph of infinite minimum degree has an unfriendly partition (actually it is enough to consider a smaller class of graphs).
△ Less
Submitted 1 February, 2014;
originally announced February 2014.
-
Direct products and elementary equivalence of polycyclic-by-finite groups
Authors:
Clement Lasserre,
Francis Oger
Abstract:
We give an algebraic characterization of elementary equivalence for polycyclic-by-finite groups. Using this characterization, we investigate the relations between their elementary equivalence and the elementary equivalence of the factors in their decompositions in direct products of indecomposable groups. In particular we prove that the elementary equivalence of two such groups G,H is equivalent t…
▽ More
We give an algebraic characterization of elementary equivalence for polycyclic-by-finite groups. Using this characterization, we investigate the relations between their elementary equivalence and the elementary equivalence of the factors in their decompositions in direct products of indecomposable groups. In particular we prove that the elementary equivalence of two such groups G,H is equivalent to each of the following properties:
1)Gx...xG (k times G) and Hx...xG (k times H) are elementarily equivalent for a strictly positive integer k;
2)AxG and AxH are elementarily equivalent for two elementarily equivalent polycyclic-by-finite groups A,B.
It is not presently known if 1) implies elementary equivalence for any groups G,H.
△ Less
Submitted 13 August, 2014; v1 submitted 10 September, 2013;
originally announced September 2013.
-
Tilings and associated relational structures
Authors:
Francis Oger
Abstract:
In the present paper, as we did previously in [7], we investigate the relations between the geometric properties of tilings and the algebraic properties of associated relational structures. Our study is motivated by the existence of aperiodic tiling systems. In [7], we considered tilings of the euclidean spaces of finite dimension, and isomorphism was defined up to translation. Here, we consider…
▽ More
In the present paper, as we did previously in [7], we investigate the relations between the geometric properties of tilings and the algebraic properties of associated relational structures. Our study is motivated by the existence of aperiodic tiling systems. In [7], we considered tilings of the euclidean spaces of finite dimension, and isomorphism was defined up to translation. Here, we consider, more generally, tilings of a metric space, and isomorphism is defined modulo an arbitrary group of isometries.
In Section 1, we define the relational structures associated to tilings. The results of Section 2 concern local isomorphism, the extraction preorder and the characterization of relational structures which can be represented by tilings of some given type.
In Section 3, we show that the notions of periodicity and invariance through a translation, defined for tilings of the euclidean spaces of finite dimension, can be generalized, with appropriate hypotheses, to relational structures, and in particular to tilings of noneuclidean spaces.
The results of Section 4 are valid for uniformly locally finite relational structures, and in particular tilings, which satisfy the local isomorphism property. We characterize among such structures those which are locally isomorphic to structures without nontrivial automorphism. We show that, in an euclidean space of finite dimension, this property is true for a tiling which satisfies the local isomorphism property if and only if it is not invariant through a nontrivial translation. We illustrate these results with examples, some of them concerning aperiodic tilings systems of euclidean or noneuclidean spaces.
△ Less
Submitted 19 February, 2010; v1 submitted 19 February, 2009;
originally announced February 2009.
-
Paperfolding sequences, paperfolding curves and local isomorphism
Authors:
Francis Oger
Abstract:
For each integer n, an n-folding curve is obtained by folding n times a strip of paper in two, possibly up or down, and unfolding it with right angles. Generalizing the usual notion of infinite folding curve, we define complete folding curves as the curves without endpoint which are unions of increasing sequences of n-folding curves for n integer. We prove that there exists a standard way to exten…
▽ More
For each integer n, an n-folding curve is obtained by folding n times a strip of paper in two, possibly up or down, and unfolding it with right angles. Generalizing the usual notion of infinite folding curve, we define complete folding curves as the curves without endpoint which are unions of increasing sequences of n-folding curves for n integer. We prove that there exists a standard way to extend any complete folding curve into a covering of the plane by disjoint such curves, which satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. This covering contains at most six curves.
△ Less
Submitted 29 June, 2010; v1 submitted 6 June, 2008;
originally announced June 2008.
