<p>We consider three-dimensional domino tilings of cylinders <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {R}_N = \mathcal {D}\times [0,N]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> <mo>=</mo> <mi mathvariant="script">D</mi> <mo>×</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>N</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {D}\subset \mathbb {R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">D</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is a fixed quadriculated disk and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>. A domino is a <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2 \times 1 \times 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>×</mo> <mn>1</mn> <mo>×</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> brick. A flip is a local move in the space of tilings <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {T}(\mathcal {R}_N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>: remove two adjacent dominoes and place them back after a rotation. The twist is a flip invariant which associates an integer number to each tiling. For some disks <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation>, called <i>regular</i>, two tilings of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {R}_N\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> </math></EquationSource> </InlineEquation> with the same twist can be joined by a sequence of flips once we add vertical space to the cylinder. We have that if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> is regular then the size of the largest connected component under flips of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {T}(\mathcal {R}_N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Theta (N^{-\frac{1}{2}}|\mathcal {T}(\mathcal {R}_N)|)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">(</mo> <msup> <mi>N</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> <mo stretchy="false">|</mo> <mi mathvariant="script">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The domino group <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(G_\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi mathvariant="script">D</mi> </msub> </math></EquationSource> </InlineEquation> captures information of the space of tilings. A disk <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> is regular if and only if <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(G_{\mathcal {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi mathvariant="script">D</mi> </msub> </math></EquationSource> </InlineEquation> is isomorphic to <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {Z} \oplus \mathbb {Z}/(2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Z</mi> <mo>⊕</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>; sufficiently large rectangles are regular. We prove that certain families of disks are irregular. We show that the existence of a bottleneck in a disk <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> often implies irregularity. In many, but not all, of these cases, we also prove that <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> is <i>strongly irregular</i>, i.e., that there exists a surjective homomorphism from <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(G_{\mathcal {D}}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>G</mi> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>+</mo> </msubsup> </math></EquationSource> </InlineEquation> (a subgroup of index two of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(G_{\mathcal {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi mathvariant="script">D</mi> </msub> </math></EquationSource> </InlineEquation>) to the free group of rank two. Moreover, we show that if <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> is strongly irregular then the cardinality of the largest connected component under flips of <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\mathcal {T}(\mathcal {R}_N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(O(c^N |\mathcal {T}(\mathcal {R}_N)|)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>c</mi> <mi>N</mi> </msup> <mo stretchy="false">|</mo> <mi mathvariant="script">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">R</mi> <mi>N</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(c \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

3D domino tilings: irregular disks and connected components under flips

  • Raphael de Marreiros

摘要

We consider three-dimensional domino tilings of cylinders \(\mathcal {R}_N = \mathcal {D}\times [0,N]\) R N = D × [ 0 , N ] where \(\mathcal {D}\subset \mathbb {R}^2\) D R 2 is a fixed quadriculated disk and \(N \in \mathbb {N}\) N N . A domino is a \(2 \times 1 \times 1\) 2 × 1 × 1 brick. A flip is a local move in the space of tilings \(\mathcal {T}(\mathcal {R}_N)\) T ( R N ) : remove two adjacent dominoes and place them back after a rotation. The twist is a flip invariant which associates an integer number to each tiling. For some disks \(\mathcal {D}\) D , called regular, two tilings of \(\mathcal {R}_N\) R N with the same twist can be joined by a sequence of flips once we add vertical space to the cylinder. We have that if \(\mathcal {D}\) D is regular then the size of the largest connected component under flips of \(\mathcal {T}(\mathcal {R}_N)\) T ( R N ) is \(\Theta (N^{-\frac{1}{2}}|\mathcal {T}(\mathcal {R}_N)|)\) Θ ( N - 1 2 | T ( R N ) | ) . The domino group \(G_\mathcal {D}\) G D captures information of the space of tilings. A disk \(\mathcal {D}\) D is regular if and only if \(G_{\mathcal {D}}\) G D is isomorphic to \(\mathbb {Z} \oplus \mathbb {Z}/(2)\) Z Z / ( 2 ) ; sufficiently large rectangles are regular. We prove that certain families of disks are irregular. We show that the existence of a bottleneck in a disk \(\mathcal {D}\) D often implies irregularity. In many, but not all, of these cases, we also prove that \(\mathcal {D}\) D is strongly irregular, i.e., that there exists a surjective homomorphism from \(G_{\mathcal {D}}^+\) G D + (a subgroup of index two of \(G_{\mathcal {D}}\) G D ) to the free group of rank two. Moreover, we show that if \(\mathcal {D}\) D is strongly irregular then the cardinality of the largest connected component under flips of \(\mathcal {T}(\mathcal {R}_N)\) T ( R N ) is \(O(c^N |\mathcal {T}(\mathcal {R}_N)|)\) O ( c N | T ( R N ) | ) for some \(c \in (0,1)\) c ( 0 , 1 ) .