<p>Given a graph <i>G</i> with vertex set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_524_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{1,\ldots ,n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, we can project the graphical arrangement of <i>G</i> to an <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_524_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\((n-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-dimensional torus to obtain a toric hyperplane arrangement. Adams, Defant, and Striker constructed a toric combinatorial refraction billiard system in which beams of light travel in the torus, refracting (with refraction coefficient <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_524_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>) whenever they hit one of the toric hyperplanes in this toric arrangement. Each billiard trajectory in this system is periodic. We adopt a topological perspective and view the billiard trajectories as closed loops in the torus. We say <i>G</i> is <i>ensnaring</i> if all of the billiard trajectories are contractible, and we say <i>G</i> is <i>expelling</i> if none of the billiard trajectories is contractible. Our first main result states that a graph is expelling if and only if it is bipartite. We then provide several necessary conditions and several sufficient conditions for a graph to be ensnaring. For example, we show that the complement of an ensnaring graph cannot have a clique as a connected component. We also discuss ways to construct ensnaring graphs from other ensnaring graphs. For example, gluing two ensnaring graphs at a single vertex always yields another ensnaring graph.</p>

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

Homology in combinatorial refraction billiards

  • Colin Defant,
  • Derek Liu

摘要

Given a graph G with vertex set \(\{1,\ldots ,n\}\) { 1 , , n } , we can project the graphical arrangement of G to an \((n-1)\) ( n - 1 ) -dimensional torus to obtain a toric hyperplane arrangement. Adams, Defant, and Striker constructed a toric combinatorial refraction billiard system in which beams of light travel in the torus, refracting (with refraction coefficient \(-1\) - 1 ) whenever they hit one of the toric hyperplanes in this toric arrangement. Each billiard trajectory in this system is periodic. We adopt a topological perspective and view the billiard trajectories as closed loops in the torus. We say G is ensnaring if all of the billiard trajectories are contractible, and we say G is expelling if none of the billiard trajectories is contractible. Our first main result states that a graph is expelling if and only if it is bipartite. We then provide several necessary conditions and several sufficient conditions for a graph to be ensnaring. For example, we show that the complement of an ensnaring graph cannot have a clique as a connected component. We also discuss ways to construct ensnaring graphs from other ensnaring graphs. For example, gluing two ensnaring graphs at a single vertex always yields another ensnaring graph.