<p>In this paper, we study a new construction which associates a combinatorial cubical complex <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\texttt {Flex}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="monospace">Flex</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to an arbitrary undirected simple graph <i>G</i>. The vertices of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\texttt {Flex}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="monospace">Flex</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are indexed by all possible orientations of the edges of <i>G</i>. The cells of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\texttt {Flex}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="monospace">Flex</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are the sets of independent flexes, where a flex is a simultaneous change of orientations of the edges adjacent to a certain sink or a certain source in&#xa0;<i>G</i>. Accordingly, we call <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\texttt {Flex}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="monospace">Flex</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the <i>flex complex</i> of the graph&#xa0;<i>G</i>. Our focus is on studying topology and combinatorics of the flex complexes. The main topological theorem says that for an arbitrary graph <i>G</i>, the flex complex <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\texttt {Flex}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="monospace">Flex</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is homotopy equivalent to a disjoint union of tori. We also provide formulae for the number of these tori. Furthermore, we prove a much more precise combinatorial result saying that when <i>G</i> is connected, every connected component of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\texttt {Flex}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="monospace">Flex</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is either a&#xa0;collapsible cubical complex, or can be collapsed to a cycle whose length is equal to the number of vertices of&#xa0;<i>G</i>. We shall provide a combinatorial enumeration for the components of both types. Our study is motivated by the beauty and naturality of the graph construction, as well as by the mathematical modeling of the network evolution.</p>

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

Flex complexes of graphs

  • Dmitry N. Kozlov

摘要

In this paper, we study a new construction which associates a combinatorial cubical complex \(\texttt {Flex}(G)\) Flex ( G ) to an arbitrary undirected simple graph G. The vertices of \(\texttt {Flex}(G)\) Flex ( G ) are indexed by all possible orientations of the edges of G. The cells of \(\texttt {Flex}(G)\) Flex ( G ) are the sets of independent flexes, where a flex is a simultaneous change of orientations of the edges adjacent to a certain sink or a certain source in G. Accordingly, we call \(\texttt {Flex}(G)\) Flex ( G ) the flex complex of the graph G. Our focus is on studying topology and combinatorics of the flex complexes. The main topological theorem says that for an arbitrary graph G, the flex complex \(\texttt {Flex}(G)\) Flex ( G ) is homotopy equivalent to a disjoint union of tori. We also provide formulae for the number of these tori. Furthermore, we prove a much more precise combinatorial result saying that when G is connected, every connected component of \(\texttt {Flex}(G)\) Flex ( G ) is either a collapsible cubical complex, or can be collapsed to a cycle whose length is equal to the number of vertices of G. We shall provide a combinatorial enumeration for the components of both types. Our study is motivated by the beauty and naturality of the graph construction, as well as by the mathematical modeling of the network evolution.