-
In vivo optogenetic identification and manipulation of GABAergic interneuron subtypes
Authors:
Lisa Roux,
Eran Stark,
Lucas Sjulson,
György Buzsáki
Abstract:
Identification and manipulation of different GABAergic interneuron classes in the behaving animal are important to understand their role in circuit dynamics and behavior. The combination of optogenetics and large-scale neuronal recordings allows specific interneuron populations to be identified and perturbed for circuit analysis in intact animals. A crucial aspect of this approach is coupling elec…
▽ More
Identification and manipulation of different GABAergic interneuron classes in the behaving animal are important to understand their role in circuit dynamics and behavior. The combination of optogenetics and large-scale neuronal recordings allows specific interneuron populations to be identified and perturbed for circuit analysis in intact animals. A crucial aspect of this approach is coupling electrophysiological recording with spatially and temporally precise light delivery. Focal multisite illumination of neuronal activators and silencers in predetermined temporal configurations or a closed loop manner opens the door to addressing many novel questions. Recent progress demonstrates the utility and power of this novel technique for interneuron research.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Failure of quasi-isometric rigidity for infinite-ended groups
Authors:
Nir Lazarovich,
Emily Stark
Abstract:
We prove that an infinite-ended group whose one-ended factors have finite-index subgroups and are in a family of groups with a nonzero multiplicative invariant is not quasi-isometrically rigid. Combining this result with work of the first author proves that a residually-finite multi-ended hyperbolic group is quasi-isometrically rigid if and only if it is virtually free. The proof adapts an argumen…
▽ More
We prove that an infinite-ended group whose one-ended factors have finite-index subgroups and are in a family of groups with a nonzero multiplicative invariant is not quasi-isometrically rigid. Combining this result with work of the first author proves that a residually-finite multi-ended hyperbolic group is quasi-isometrically rigid if and only if it is virtually free. The proof adapts an argument of Whyte for commensurability of free products of closed hyperbolic surface groups.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Graphically discrete groups and rigidity
Authors:
Alex Margolis,
Sam Shepherd,
Emily Stark,
Daniel Woodhouse
Abstract:
We introduce the notion of graphical discreteness to group theory. A finitely generated group is graphically discrete if whenever it acts geometrically on a locally finite graph, the automorphism group of the graph is compact-by-discrete. Notable examples include finitely generated nilpotent groups, most lattices in semisimple Lie groups, and irreducible non-geometric 3-manifold groups. We show gr…
▽ More
We introduce the notion of graphical discreteness to group theory. A finitely generated group is graphically discrete if whenever it acts geometrically on a locally finite graph, the automorphism group of the graph is compact-by-discrete. Notable examples include finitely generated nilpotent groups, most lattices in semisimple Lie groups, and irreducible non-geometric 3-manifold groups. We show graphs of groups with graphically discrete vertex groups frequently have strong rigidity properties. We prove free products of one-ended virtually torsion-free graphically discrete groups are action rigid within the class of virtually torsion-free groups. We also prove quasi-isometric rigidity for many hyperbolic graphs of groups whose vertex groups are closed hyperbolic manifold groups and whose edge groups are non-elementary quasi-convex subgroups. This includes the case of two hyperbolic 3-manifold groups amalgamated along a quasi-convex malnormal non-abelian free subgroup. We provide several additional examples of graphically discrete groups and illustrate this property is not a commensurability invariant.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Bidirectional optogenetic control of inhibitory neurons in freely-moving mice
Authors:
Ori Noked,
Amir Levi,
Shirly Someck,
Ortal Amber-Vitos,
Eran Stark
Abstract:
Objective: Optogenetic manipulations of excitable cells enable activating or silencing specific types of neurons. By expressing two types of exogenous proteins, a single neuron can be depolarized using light of one wavelength and hyperpolarized with another. However, routing two distinct wavelengths into the same brain locality typically requires bulky optics that cannot be implanted on the head o…
▽ More
Objective: Optogenetic manipulations of excitable cells enable activating or silencing specific types of neurons. By expressing two types of exogenous proteins, a single neuron can be depolarized using light of one wavelength and hyperpolarized with another. However, routing two distinct wavelengths into the same brain locality typically requires bulky optics that cannot be implanted on the head of a freely-moving animal.
Methods: We developed a lens-free approach for constructing dual-color head-mounted, fiber-based optical units: any two wavelengths can be combined.
Results: Here, each unit was comprised of one 450 nm and one 638 nm laser diode, yielding light power of 0.4 mW and 8 mW at the end of a 50 micrometer multimode fiber. To create a multi-color/multi-site optoelectronic device, a four-shank silicon probe mounted on a microdrive was equipped with two dual-color and two single-color units, for a total weight under 3 g. Devices were implanted in mice expressing the blue-light sensitive cation channel ChR2 and the red-light sensitive chloride pump Jaws in parvalbumin-immunoreactive (PV) inhibitory neurons. The combination of dual-color units with recording electrodes was free from electromagnetic interference, and device heating was under 7°C even after prolonged operation.
Conclusion: Using these devices, the same cortical PV cell could be activated and silenced. This was achieved for multiple cells both in neocortex and hippocampus of freely-moving mice.
Significance: This technology can be used for controlling spatially intermingled neurons that have distinct genetic profiles, and for controlling spike timing of cortical neurons during cognitive tasks.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Outan: An On-Head System for Driving micro-LED Arrays Implanted in Freely Moving Mice
Authors:
Alexander Tarnavsky Eitan,
Shirly Someck,
Mario Zajac,
Eran Socher,
Eran Stark
Abstract:
In the intact brain, neural activity can be recorded using sensing electrodes and manipulated using light stimulation. Silicon probes with integrated electrodes and micro-LEDs enable the detection and control of neural activity using a single implanted device. Miniaturized solutions for recordings from small freely moving animals are commercially available, but stimulation is driven by large, stat…
▽ More
In the intact brain, neural activity can be recorded using sensing electrodes and manipulated using light stimulation. Silicon probes with integrated electrodes and micro-LEDs enable the detection and control of neural activity using a single implanted device. Miniaturized solutions for recordings from small freely moving animals are commercially available, but stimulation is driven by large, stationary current sources. We designed and fabricated a current source chip and integrated it into a headstage PCB that weighs 1.37 g. The proposed system provides 10-bit resolution current control for 32 channels, driving micro-LEDs with up to 4.6 V and sourcing up to 0.9 mA at a refresh rate of 5 kHz per channel. When calibrated against a micro-LED probe, the system allows linear control of light output power, up to 10 micro-W per micro-LED. To demonstrate the capabilities of the system, synthetic sequences of neural spiking activity were produced by driving multiple micro-LEDs implanted in the hippocampal CA1 area of a freely moving mouse. The high spatial, temporal, and amplitude resolution of the system provides a rich variety of stimulation patterns. Combined with commercially available sampling headstages, the system provides an easy to use back-end, fully utilizing the bi-directional potential of integrated opto-electronic arrays.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
SoK: SCT Auditing in Certificate Transparency
Authors:
Sarah Meiklejohn,
Joe DeBlasio,
Devon O'Brien,
Chris Thompson,
Kevin Yeo,
Emily Stark
Abstract:
The Web public key infrastructure is essential to providing secure communication on the Internet today, and certificate authorities play a crucial role in this ecosystem by issuing certificates. These authorities may misissue certificates or suffer misuse attacks, however, which has given rise to the Certificate Transparency (CT) project. The goal of CT is to store all issued certificates in publi…
▽ More
The Web public key infrastructure is essential to providing secure communication on the Internet today, and certificate authorities play a crucial role in this ecosystem by issuing certificates. These authorities may misissue certificates or suffer misuse attacks, however, which has given rise to the Certificate Transparency (CT) project. The goal of CT is to store all issued certificates in public logs, which can then be checked for the presence of potentially misissued certificates. Thus, the requirement that a given certificate is indeed in one (or several) of these logs lies at the core of CT. In its current deployment, however, most individual clients do not check that the certificates they see are in logs, as requesting a proof of inclusion directly reveals the certificate and thus creates the clear potential for a violation of that client's privacy. In this paper, we explore the techniques that have been proposed for privacy-preserving auditing of certificate inclusion, focusing on their effectiveness, efficiency, and suitability in a near-term deployment. In doing so, we also explore the parallels with related problems involving browser clients. Guided by a set of constraints that we develop, we ultimately observe several key limitations in many proposals, ranging from their privacy provisions to the fact that they focus on the interaction between a client and a log but leave open the question of how a client could privately report any certificates that are missing.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Coarse Alexander duality for pairs and applications
Authors:
G. Christopher Hruska,
Emily Stark,
Hung Cong Tran
Abstract:
For a group $G$ (of type $F$) acting properly on a coarse Poincaré duality space $X$, Kapovich-Kleiner introduced a coarse version of Alexander duality between $G$ and its complement in $X$. More precisely, the cohomology of $G$ with group ring coefficients is dual to a certain Čech homology group of the family of increasing neighborhoods of a $G$-orbit in $X$. This duality applies more generally…
▽ More
For a group $G$ (of type $F$) acting properly on a coarse Poincaré duality space $X$, Kapovich-Kleiner introduced a coarse version of Alexander duality between $G$ and its complement in $X$. More precisely, the cohomology of $G$ with group ring coefficients is dual to a certain Čech homology group of the family of increasing neighborhoods of a $G$-orbit in $X$. This duality applies more generally to coarse embeddings of certain contractible simplicial complexes into coarse $PD(n)$ spaces. In this paper we introduce a relative version of this Čech homology that satisfies the Eilenberg-Steenrod Exactness Axiom, and we prove a relative version of coarse Alexander duality.
As an application we provide a detailed proof of the following result, first stated by Kapovich-Kleiner. Given a $2$-complex formed by gluing $k$ halfplanes along their boundary lines and a coarse embedding into a contractible $3$-manifold, the complement consists of $k$ deep components that are arranged cyclically in a pattern called a Jordan cycle. We use the Jordan cycle as an invariant in proving the existence of a $3$-manifold group that is virtually Kleinian but not itself Kleinian.
△ Less
Submitted 29 April, 2024; v1 submitted 30 October, 2020;
originally announced November 2020.
-
Free products from spinning and rotating families
Authors:
Mladen Bestvina,
Ryan Dickmann,
George Domat,
Sanghoon Kwak,
Priyam Patel,
Emily Stark
Abstract:
The far-reaching work of Dahmani-Guirardel-Osin and recent work of Clay-Mangahas-Margalit provide geometric approaches to the study of the normal closure of a subgroup (or a collection of subgroups)in an ambient group $G$. Their work gives conditions under which the normal closure in $G$ is a free product. In this paper we unify their results and simplify and significantly shorten the proof of the…
▽ More
The far-reaching work of Dahmani-Guirardel-Osin and recent work of Clay-Mangahas-Margalit provide geometric approaches to the study of the normal closure of a subgroup (or a collection of subgroups)in an ambient group $G$. Their work gives conditions under which the normal closure in $G$ is a free product. In this paper we unify their results and simplify and significantly shorten the proof of the Dahmani-Guirardel-Osin theorem.
△ Less
Submitted 3 January, 2022; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Planar lattice subsets with minimal vertex boundary
Authors:
Radhika Gupta,
Ivan Levcovitz,
Alexander Margolis,
Emily Stark
Abstract:
A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization elucidates the structure of all minimal sets, and we are able to use it to obtain several applications. We characterize uniquely minimal sets of X: those which are co…
▽ More
A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization elucidates the structure of all minimal sets, and we are able to use it to obtain several applications. We characterize uniquely minimal sets of X: those which are congruent to any other minimal set of the same size. We also classify all efficient sets of X: those that have maximal size amongst all such sets with a fixed vertex boundary. We define and investigate the graph G of minimal sets whose vertices are congruence classes of minimal sets of X and whose edges connect vertices which can be represented by minimal sets that differ by exactly one vertex. We prove that G has exactly one infinite component, has infinitely many isolated vertices and has bounded components of arbitrarily large size. Finally, we show that all minimal sets, except one, are connected.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Surprising circles in Morse boundaries of right-angled Coxeter groups
Authors:
Marius Graeber,
Annette Karrer,
Nir Lazarovich,
Emily Stark
Abstract:
We show that the Morse boundary of a right-angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph.
We show that the Morse boundary of a right-angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Action rigidity for free products of hyperbolic manifold groups
Authors:
Emily Stark,
Daniel J. Woodhouse
Abstract:
Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. The Milnor-Schwarz lemma implies that groups with a common model geometry are quasi-isometric; however, the converse is false in general. We consider free products of uniform lattices in isometry groups of rank-1 symmetric spaces and prove, within each quasi-isometry…
▽ More
Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. The Milnor-Schwarz lemma implies that groups with a common model geometry are quasi-isometric; however, the converse is false in general. We consider free products of uniform lattices in isometry groups of rank-1 symmetric spaces and prove, within each quasi-isometry class, residually finite groups that have a common model geometry are abstractly commensurable. Our result gives the first examples of hyperbolic groups that are quasi-isometric but do not virtually have a common model geometry. Indeed, each quasi-isometry class contains infinitely many abstract commensurability classes. We prove that two free products of closed hyperbolic surface groups have a common model geometry if and only if the groups are isomorphic. This result combined with a commensurability classification of Whyte yields the first examples of torsion-free abstractly commensurable hyperbolic groups that do not have a common model geometry. An important component of the proof is a generalization of Leighton's graph covering theorem. The main theorem depends on residual finiteness, and we show that finite extensions of uniform lattices in rank-1 symmetric spaces that are not residually finite would give counterexamples.
△ Less
Submitted 14 May, 2021; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Hyperbolic groups that are not commensurably coHopfian
Authors:
Emily Stark,
Daniel J. Woodhouse
Abstract:
Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every simple surface amalgam is not commensurably coHopfian.
Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every simple surface amalgam is not commensurably coHopfian.
△ Less
Submitted 17 February, 2020; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Cannon--Thurston maps for CAT(0) groups with isolated flats
Authors:
Benjamin Beeker,
Matthew Cordes,
Giles Gardam,
Radhika Gupta,
Emily Stark
Abstract:
Mahan Mitra (Mj) proved Cannon--Thurston maps exist for normal hyperbolic subgroups of a hyperbolic group. We prove that Cannon--Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic CAT(0) groups with isolated flats with respect to the visual boundaries. We also show Cannon--Thurston maps do not exist for infinite infinite-index normal CAT(0) subgroups with isolate…
▽ More
Mahan Mitra (Mj) proved Cannon--Thurston maps exist for normal hyperbolic subgroups of a hyperbolic group. We prove that Cannon--Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic CAT(0) groups with isolated flats with respect to the visual boundaries. We also show Cannon--Thurston maps do not exist for infinite infinite-index normal CAT(0) subgroups with isolated flats in non-hyperbolic CAT(0) groups with isolated flats. We obtain a structure theorem for the normal subgroups in these settings and show that outer automorphism groups of hyperbolic groups have no purely atoroidal $\mathbb{Z}^2$ subgroups.
△ Less
Submitted 11 November, 2019; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Nonplanar graphs in boundaries of CAT(0) groups
Authors:
Kevin Schreve,
Emily Stark
Abstract:
Croke and Kleiner constructed two homeomorphic locally CAT(0) complexes whose universal covers have visual boundaries that are not homeomorphic. We construct two homeomorphic locally CAT(0) complexes so that the visual boundary of one universal cover contains a nonplanar graph, while the visual boundary of the other does not. In contrast, we prove for any two locally CAT(0) metrics on the Croke-Kl…
▽ More
Croke and Kleiner constructed two homeomorphic locally CAT(0) complexes whose universal covers have visual boundaries that are not homeomorphic. We construct two homeomorphic locally CAT(0) complexes so that the visual boundary of one universal cover contains a nonplanar graph, while the visual boundary of the other does not. In contrast, we prove for any two locally CAT(0) metrics on the Croke-Kleiner complex, if a finite graph embeds in the visual boundary of one universal cover, then the graph embeds in the visual boundary of the other.
△ Less
Submitted 6 July, 2018;
originally announced July 2018.
-
The visual boundary of hyperbolic free-by-cyclic groups
Authors:
Yael Algom-Kfir,
Arnaud Hilion,
Emily Stark
Abstract:
Let $φ$ be an atoroidal outer automorphism of the free group $F_n$. We study the Gromov boundary of the hyperbolic group $G_φ = F_n \rtimes_φ \mathbb{Z}$. We explicitly describe a family of embeddings of the complete bipartite graph $K_{3,3}$ into $\partial G_φ$. To do so, we define the directional Whitehead graph and prove that an indecomposable $F_n$-tree is Levitt type if and only if one of its…
▽ More
Let $φ$ be an atoroidal outer automorphism of the free group $F_n$. We study the Gromov boundary of the hyperbolic group $G_φ = F_n \rtimes_φ \mathbb{Z}$. We explicitly describe a family of embeddings of the complete bipartite graph $K_{3,3}$ into $\partial G_φ$. To do so, we define the directional Whitehead graph and prove that an indecomposable $F_n$-tree is Levitt type if and only if one of its directional Whitehead graphs contains more than one edge. As an application, we obtain a direct proof of Kapovich-Kleiner's theorem that $\partial G_φ$ is homeomorphic to the Menger curve if the automorphism is atoroidal and fully irreducible.
△ Less
Submitted 15 January, 2018;
originally announced January 2018.
-
Quasi-isometric groups with no common model geometry
Authors:
Emily Stark,
Daniel Woodhouse
Abstract:
A simple surface amalgam is the union of a finite collection of surfaces with precisely one boundary component each and which have their boundary curves identified. We prove if two fundamental groups of simple surface amalgams act properly and cocompactly by isometries on the same proper geodesic metric space, then the groups are commensurable. Consequently, there are infinitely many fundamental g…
▽ More
A simple surface amalgam is the union of a finite collection of surfaces with precisely one boundary component each and which have their boundary curves identified. We prove if two fundamental groups of simple surface amalgams act properly and cocompactly by isometries on the same proper geodesic metric space, then the groups are commensurable. Consequently, there are infinitely many fundamental groups of simple surface amalgams that are quasi-isometric, but which do not act properly and cocompactly on the same proper geodesic metric space.
△ Less
Submitted 25 October, 2018; v1 submitted 14 November, 2017;
originally announced November 2017.
-
Detecting a subclass of torsion-generated groups
Authors:
Emily Stark
Abstract:
We classify the groups quasi-isometric to a group generated by finite-order elements within the class of one-ended hyperbolic groups which are not Fuchsian and whose JSJ decomposition over two-ended subgroups does not contain rigid vertex groups. To do this, we characterize which JSJ trees of a group in this class admit a cocompact group action with quotient a tree. The conditions are stated in te…
▽ More
We classify the groups quasi-isometric to a group generated by finite-order elements within the class of one-ended hyperbolic groups which are not Fuchsian and whose JSJ decomposition over two-ended subgroups does not contain rigid vertex groups. To do this, we characterize which JSJ trees of a group in this class admit a cocompact group action with quotient a tree. The conditions are stated in terms of two graphs we associate to the degree refinement of a group in this class. We prove there is a group in this class which is quasi-isometric to a Coxeter group but is not abstractly commensurable to a group generated by finite-order elements. Consequently, the subclass of groups in this class generated by finite-order elements is not quasi-isometrically rigid. We provide necessary conditions for two groups in this class to be abstractly commensurable. We use these conditions to prove there are infinitely many abstract commensurability classes within each quasi-isometry class within this class that contains a group generated by finite-order elements.
△ Less
Submitted 9 September, 2018; v1 submitted 16 October, 2017;
originally announced October 2017.
-
Surface group amalgams that (don't) act on 3-manifolds
Authors:
G. Christopher Hruska,
Emily Stark,
Hung Cong Tran
Abstract:
We determine which amalgamated products of surface groups identified over multiples of simple closed curves are not fundamental groups of 3-manifolds. We prove each surface amalgam considered is virtually the fundamental group of a 3-manifold. We prove that each such surface group amalgam is abstractly commensurable to a right-angled Coxeter group from a related family. In an appendix, we determin…
▽ More
We determine which amalgamated products of surface groups identified over multiples of simple closed curves are not fundamental groups of 3-manifolds. We prove each surface amalgam considered is virtually the fundamental group of a 3-manifold. We prove that each such surface group amalgam is abstractly commensurable to a right-angled Coxeter group from a related family. In an appendix, we determine the quasi-isometry classes among these surface amalgams and their related right-angled Coxeter groups.
△ Less
Submitted 2 September, 2018; v1 submitted 3 May, 2017;
originally announced May 2017.
-
Topological rigidity fails for quotients of the Davis complex
Authors:
Emily Stark
Abstract:
A Coxeter group acts properly and cocompactly by isometries on the Davis complex for the group; we call the quotient of the Davis complex under this action the Davis orbicomplex for the group. We prove the set of finite covers of the Davis orbicomplexes for the set of one-ended Coxeter groups is not topologically rigid. We exhibit a quotient of a Davis complex by a one-ended right-angled Coxeter g…
▽ More
A Coxeter group acts properly and cocompactly by isometries on the Davis complex for the group; we call the quotient of the Davis complex under this action the Davis orbicomplex for the group. We prove the set of finite covers of the Davis orbicomplexes for the set of one-ended Coxeter groups is not topologically rigid. We exhibit a quotient of a Davis complex by a one-ended right-angled Coxeter group which has two finite covers that are homotopy equivalent but not homeomorphic. We discuss consequences for the abstract commensurability classification of Coxeter groups.
△ Less
Submitted 13 September, 2017; v1 submitted 27 October, 2016;
originally announced October 2016.
-
Commensurability for certain right-angled Coxeter groups and geometric amalgams of free groups
Authors:
Pallavi Dani,
Emily Stark,
Anne Thomas
Abstract:
We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized theta-graphs, and geometric amalgams of free groups whose JSJ graphs are trees of diameter at most 4. We also show that if a geometric amalgam of free groups has JSJ…
▽ More
We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized theta-graphs, and geometric amalgams of free groups whose JSJ graphs are trees of diameter at most 4. We also show that if a geometric amalgam of free groups has JSJ graph a tree, then it is commensurable to a right-angled Coxeter group, and give an example of a geometric amalgam of free groups which is not quasi-isometric (hence not commensurable) to any group which is finitely generated by torsion elements. Our proofs involve a new geometric realization of the right-angled Coxeter groups we consider, such that covers corresponding to torsion-free, finite-index subgroups are surface amalgams.
△ Less
Submitted 5 October, 2017; v1 submitted 19 October, 2016;
originally announced October 2016.
-
Go-Smart: Web-based Computational Modeling of Minimally Invasive Cancer Treatments
Authors:
Phil Weir,
Dominic Reuter,
Roland Ellerweg,
Tuomas Alhonnoro,
Mika Pollari,
Philip Voglreiter,
Panchatcharam Mariappan,
Ronan Flanagan,
Chang Sub Park,
Stephen Payne,
Elmar Staerk,
Peter Voigt,
Michael Moche,
Marina Kolesnik
Abstract:
The web-based Go-Smart environment is a scalable system that allows the prediction of minimally invasive cancer treatment. Interventional radiologists create a patient-specific 3D model by semi-automatic segmentation and registration of pre-interventional CT (Computed Tomography) and/or MRI (Magnetic Resonance Imaging) images in a 2D/3D browser environment. This model is used to compare patient-sp…
▽ More
The web-based Go-Smart environment is a scalable system that allows the prediction of minimally invasive cancer treatment. Interventional radiologists create a patient-specific 3D model by semi-automatic segmentation and registration of pre-interventional CT (Computed Tomography) and/or MRI (Magnetic Resonance Imaging) images in a 2D/3D browser environment. This model is used to compare patient-specific treatment plans and device performance via built-in simulation tools. Go-Smart includes evaluation techniques for comparing simulated treatment with real ablation lesions segmented from follow-up scans. The framework is highly extensible, allowing manufacturers and researchers to incorporate new ablation devices, mathematical models and physical parameters.
△ Less
Submitted 12 November, 2015; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams
Authors:
Emily Stark
Abstract:
Let $\mathcal{X}_S$ denote the class of spaces homeomorphic to two closed orientable surfaces of genus greater than one identified to each other along an essential simple closed curve in each surface. Let $\mathcal{C}_S$ denote the set of fundamental groups of spaces in $\mathcal{X}_S$. In this paper, we characterize the abstract commensurability classes within $\mathcal{C}_S$ in terms of the rati…
▽ More
Let $\mathcal{X}_S$ denote the class of spaces homeomorphic to two closed orientable surfaces of genus greater than one identified to each other along an essential simple closed curve in each surface. Let $\mathcal{C}_S$ denote the set of fundamental groups of spaces in $\mathcal{X}_S$. In this paper, we characterize the abstract commensurability classes within $\mathcal{C}_S$ in terms of the ratio of the Euler characteristic of the surfaces identified and the topological type of the curves identified. We prove that all groups in $\mathcal{C}_S$ are quasi-isometric by exhibiting a bilipschitz map between the universal covers of two spaces in $\mathcal{X}_S$. In particular, we prove that the universal covers of any two such spaces may be realized as isomorphic cell complexes with finitely many isometry types of hyperbolic polygons as cells. We analyze the abstract commensurability classes within $\mathcal{C}_S$: we characterize which classes contain a maximal element within $\mathcal{C}_S$; we prove each abstract commensurability class contains a right-angled Coxeter group; and, we construct a common CAT$(0)$ cubical model geometry for each abstract commensurability class.
△ Less
Submitted 3 November, 2015; v1 submitted 24 April, 2014;
originally announced April 2014.
-
Intrinsically triple-linked graphs in RP^3
Authors:
Joel Foisy,
Jared Federman,
Kristin McNamara,
Emily Stark
Abstract:
Flapan--Naimi--Pommersheim showed that every spatial embedding of $K_{10}$, the complete graph on ten vertices, contains a non-split three-component link; that is, $K_{10}$ is intrinsically triple-linked in $\mathbb{R}^3$. The work of Bowlin--Foisy and Flapan--Foisy--Naimi--Pommersheim extended the list of known intrinsically triple-linked graphs in $\mathbb{R}^3$ to include several other families…
▽ More
Flapan--Naimi--Pommersheim showed that every spatial embedding of $K_{10}$, the complete graph on ten vertices, contains a non-split three-component link; that is, $K_{10}$ is intrinsically triple-linked in $\mathbb{R}^3$. The work of Bowlin--Foisy and Flapan--Foisy--Naimi--Pommersheim extended the list of known intrinsically triple-linked graphs in $\mathbb{R}^3$ to include several other families of graphs. In this paper, we will show that while some of these graphs can be embedded 3-linklessly in $\mathbb{R}P^3$, $K_{10}$ is intrinsically triple-linked in $\mathbb{R}P^3$.
△ Less
Submitted 3 November, 2015; v1 submitted 10 November, 2008;
originally announced November 2008.
-
Intrinsically Linked Graphs in Projective Space
Authors:
Joel Foisy,
Jason Bustamante,
Jared Federman,
Kenji Kozai,
Kevin Matthews,
Kristen McNamara,
Emily Stark,
Kirsten Trickey
Abstract:
We examine graphs that contain a non-trivial link in every embedding into real projective space, using a weaker notion of unlink than was used by Flapan, et al. We call such graphs intrinsically linked in projective space. We fully characterize such graphs with connectivity 0,1 and 2. We also show that only one Petersen-family graph is intrinsically linked in projective space and prove that K7 m…
▽ More
We examine graphs that contain a non-trivial link in every embedding into real projective space, using a weaker notion of unlink than was used by Flapan, et al. We call such graphs intrinsically linked in projective space. We fully characterize such graphs with connectivity 0,1 and 2. We also show that only one Petersen-family graph is intrinsically linked in projective space and prove that K7 minus any two edges is also minor-minimal intrinsically linked. In all, 594 graphs are shown to be minor-minimal intrinsically linked in projective space.
△ Less
Submitted 2 September, 2008;
originally announced September 2008.