Do you want to publish a course? Click here

Digital Fundamental Groups and Edge Groups of Clique Complexes

111   0   0.0 ( 0 )
 Added by Gregory Lupton
 Publication date 2019
  fields
and research's language is English




Ask ChatGPT about the research

In previous work, we have defined---intrinsically, entirely within the digital setting---a fundamental group for digital images. Here, we show that this group is isomorphic to the edge group of the clique complex of the digital image considered as a graph. The clique complex is a simplicial complex and its edge group is well-known to be isomorphic to the ordinary (topological) fundamental group of its geometric realization. This identification of our intrinsic digital fundamental group with a topological fundamental group---extrinsic to the digital setting---means that many familiar facts about the ordinary fundamental group may be translated into their counterparts for the digital fundamental group: The digital fundamental group of any digital circle is $mathbb{Z}$; a version of the Seifert-van Kampen Theorem holds for our digital fundamental group; every finitely presented group occurs as the (digital) fundamental group of some digital image. We also show that the (digital) fundamental group of every 2D digital image is a free group.



rate research

Read More

We define a fundamental group for digital images. Namely, we construct a functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology. Our construction differs in several basic ways from previously establish
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $tilde{A}_{d}$ ($dgeq1$). As a result, we obtain explicit generators for the finite classical groups $PGL_{n}(mathbb{F}_{q})$ for which the associated Cayley graphs exhibit total-variation cutoff.
177 - John Nicholson 2019
If $G$ has $4$-periodic cohomology, then D2 complexes over $G$ are determined up to polarised homotopy by their Euler characteristic if and only if $G$ has at most two one-dimensional quaternionic representations. We use this to solve Walls D2 problem for several infinite families of non-abelian groups and, in these cases, also show that any finite Poincar{e} $3$-complex $X$ with $pi_1(X)=G$ admits a cell structure with a single $3$-cell. The proof involves cancellation theorems for $mathbb{Z} G$ modules where $G$ has periodic cohomology.
324 - Masaki Kameko 2014
For n>2, we prove the mod 2 cohomology of the finite Chevalley group Spin_n(F_q) is isomorphic to that of the classifying space of the loop group of the spin group Spin(n).
113 - Gareth A. Jones 2021
Building on earlier results for regular maps and for orientably regular chiral maps, we classify the non-abelian finite simple groups arising as automorphism groups of maps in each of the 14 Graver-Watkins classes of edge-transitive maps.
comments
Fetching comments Fetching comments
Sign in to be able to follow your search criteria
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا