-
On the Value of PHH3 for Mitotic Figure Detection on H&E-stained Images
Authors:
Jonathan Ganz,
Christian Marzahl,
Jonas Ammeling,
Barbara Richter,
Chloé Puget,
Daniela Denk,
Elena A. Demeter,
Flaviu A. Tabaran,
Gabriel Wasinger,
Karoline Lipnik,
Marco Tecilla,
Matthew J. Valentine,
Michael J. Dark,
Niklas Abele,
Pompei Bolfa,
Ramona Erber,
Robert Klopfleisch,
Sophie Merz,
Taryn A. Donovan,
Samir Jabari,
Christof A. Bertram,
Katharina Breininger,
Marc Aubreville
Abstract:
The count of mitotic figures (MFs) observed in hematoxylin and eosin (H&E)-stained slides is an important prognostic marker as it is a measure for tumor cell proliferation. However, the identification of MFs has a known low inter-rater agreement. Deep learning algorithms can standardize this task, but they require large amounts of annotated data for training and validation. Furthermore, label nois…
▽ More
The count of mitotic figures (MFs) observed in hematoxylin and eosin (H&E)-stained slides is an important prognostic marker as it is a measure for tumor cell proliferation. However, the identification of MFs has a known low inter-rater agreement. Deep learning algorithms can standardize this task, but they require large amounts of annotated data for training and validation. Furthermore, label noise introduced during the annotation process may impede the algorithm's performance. Unlike H&E, the mitosis-specific antibody phospho-histone H3 (PHH3) specifically highlights MFs. Counting MFs on slides stained against PHH3 leads to higher agreement among raters and has therefore recently been used as a ground truth for the annotation of MFs in H&E. However, as PHH3 facilitates the recognition of cells indistinguishable from H&E stain alone, the use of this ground truth could potentially introduce noise into the H&E-related dataset, impacting model performance. This study analyzes the impact of PHH3-assisted MF annotation on inter-rater reliability and object level agreement through an extensive multi-rater experiment. We found that the annotators' object-level agreement increased when using PHH3-assisted labeling. Subsequently, MF detectors were evaluated on the resulting datasets to investigate the influence of PHH3-assisted labeling on the models' performance. Additionally, a novel dual-stain MF detector was developed to investigate the interpretation-shift of PHH3-assisted labels used in H&E, which clearly outperformed single-stain detectors. However, the PHH3-assisted labels did not have a positive effect on solely H&E-based models. The high performance of our dual-input detector reveals an information mismatch between the H&E and PHH3-stained images as the cause of this effect.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
VACO: a Multi-perspective Development of a Therapeutic and Motivational Virtual Robotic Agent for Concentration for children with ADHD
Authors:
Birte Richter,
Ira-Katharina Petras,
Anna-Lisa Vollmer,
Ayla Luong,
Michael Siniatchkin,
Britta Wrede
Abstract:
In this work, we present (i) a novel approach how artificial intelligence can support in the therapy for better concentration of children with Attention Deficit Hyperactivity Disorder (ADHD) through motivational attention training with a virtual robotic agent and (ii) a development process in which different stakeholders are included with their perspectives. Therefore, we present three participati…
▽ More
In this work, we present (i) a novel approach how artificial intelligence can support in the therapy for better concentration of children with Attention Deficit Hyperactivity Disorder (ADHD) through motivational attention training with a virtual robotic agent and (ii) a development process in which different stakeholders are included with their perspectives. Therefore, we present three participative approaches to include the perspectives of different stakeholders. An online survey (Study I) was conducted with parents in Germany with the aim of ascertaining whether they would use software to promote their children's attention, what influences their attitude towards using it, and what requirements it would have to meet. About half of the parents would be willing to use software to promote attention. To develop the software as close to practice as possible, one of the developers took part in an intensive training for ADHD with the aim of testing which of the elements are technically feasible. Afterward, a first prototype was presented to clinicians (Study II) to make further adjustments. A first feasibility test (Study III) was conducted with the end users to check if the system works and if children and adolescents can use it. Attentional performance software offers multiple opportunities in the treatment of ADHD if the system is adapted to the needs of the practitioner and end user. This development process requires a lot of time and close interdisciplinary collaboration.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Loday Constructions of Tambara functors
Authors:
Ayelet Lindenstrauss,
Birgit Richter,
Foling Zou
Abstract:
Building on work of Hill, Hoyer and Mazur we propose an equivariant version of a Loday construction for $G$-Tambara functors where $G$ is an arbitrary finite group. For any finite simplicial $G$-set and any $G$-Tambara functor, our Loday construction is a simplicial $G$-Tambara functor. We study its properties and examples. For a circle with rotation action by a finite cyclic group our constructio…
▽ More
Building on work of Hill, Hoyer and Mazur we propose an equivariant version of a Loday construction for $G$-Tambara functors where $G$ is an arbitrary finite group. For any finite simplicial $G$-set and any $G$-Tambara functor, our Loday construction is a simplicial $G$-Tambara functor. We study its properties and examples. For a circle with rotation action by a finite cyclic group our construction agrees with the twisted cyclic nerve of Blumberg, Gerhardt, Hill, and Lawson. We also show how the Loday construction for genuine commutative $G$-ring spectra relates to our algebraic one via the $\underlineπ_0$-functor. We describe Real topological Hochschild homology as such a Loday construction.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Nuclear Pleomorphism in Canine Cutaneous Mast Cell Tumors: Comparison of Reproducibility and Prognostic Relevance between Estimates, Manual Morphometry and Algorithmic Morphometry
Authors:
Andreas Haghofer,
Eda Parlak,
Alexander Bartel,
Taryn A. Donovan,
Charles-Antoine Assenmacher,
Pompei Bolfa,
Michael J. Dark,
Andrea Fuchs-Baumgartinger,
Andrea Klang,
Kathrin Jäger,
Robert Klopfleisch,
Sophie Merz,
Barbara Richter,
F. Yvonne Schulman,
Hannah Janout,
Jonathan Ganz,
Josef Scharinger,
Marc Aubreville,
Stephan M. Winkler,
Matti Kiupel,
Christof A. Bertram
Abstract:
Variation in nuclear size and shape is an important criterion of malignancy for many tumor types; however, categorical estimates by pathologists have poor reproducibility. Measurements of nuclear characteristics (morphometry) can improve reproducibility, but manual methods are time consuming. The aim of this study was to explore the limitations of estimates and develop alternative morphometric sol…
▽ More
Variation in nuclear size and shape is an important criterion of malignancy for many tumor types; however, categorical estimates by pathologists have poor reproducibility. Measurements of nuclear characteristics (morphometry) can improve reproducibility, but manual methods are time consuming. The aim of this study was to explore the limitations of estimates and develop alternative morphometric solutions for canine cutaneous mast cell tumors (ccMCT). We assessed the following nuclear evaluation methods for measurement accuracy, reproducibility, and prognostic utility: 1) anisokaryosis (karyomegaly) estimates by 11 pathologists; 2) gold standard manual morphometry of at least 100 nuclei; 3) practicable manual morphometry with stratified sampling of 12 nuclei by 9 pathologists; and 4) automated morphometry using a deep learning-based segmentation algorithm. The study dataset comprised 96 ccMCT with available outcome information. The study dataset comprised 96 ccMCT with available outcome information. Inter-rater reproducibility of karyomegaly estimates was low ($κ$ = 0.226), while it was good (ICC = 0.654) for practicable morphometry of the standard deviation (SD) of nuclear size. As compared to gold standard manual morphometry (AUC = 0.839, 95% CI: 0.701 - 0.977), the prognostic value (tumor-specific survival) of SDs of nuclear area for practicable manual morphometry (12 nuclei) and automated morphometry were high with an area under the ROC curve (AUC) of 0.868 (95% CI: 0.737 - 0.991) and 0.943 (95% CI: 0.889 - 0.996), respectively. This study supports the use of manual morphometry with stratified sampling of 12 nuclei and algorithmic morphometry to overcome the poor reproducibility of estimates.
△ Less
Submitted 23 May, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
PaLM 2 Technical Report
Authors:
Rohan Anil,
Andrew M. Dai,
Orhan Firat,
Melvin Johnson,
Dmitry Lepikhin,
Alexandre Passos,
Siamak Shakeri,
Emanuel Taropa,
Paige Bailey,
Zhifeng Chen,
Eric Chu,
Jonathan H. Clark,
Laurent El Shafey,
Yan** Huang,
Kathy Meier-Hellstern,
Gaurav Mishra,
Erica Moreira,
Mark Omernick,
Kevin Robinson,
Sebastian Ruder,
Yi Tay,
Kefan Xiao,
Yuanzhong Xu,
Yu**g Zhang,
Gustavo Hernandez Abrego
, et al. (103 additional authors not shown)
Abstract:
We introduce PaLM 2, a new state-of-the-art language model that has better multilingual and reasoning capabilities and is more compute-efficient than its predecessor PaLM. PaLM 2 is a Transformer-based model trained using a mixture of objectives. Through extensive evaluations on English and multilingual language, and reasoning tasks, we demonstrate that PaLM 2 has significantly improved quality on…
▽ More
We introduce PaLM 2, a new state-of-the-art language model that has better multilingual and reasoning capabilities and is more compute-efficient than its predecessor PaLM. PaLM 2 is a Transformer-based model trained using a mixture of objectives. Through extensive evaluations on English and multilingual language, and reasoning tasks, we demonstrate that PaLM 2 has significantly improved quality on downstream tasks across different model sizes, while simultaneously exhibiting faster and more efficient inference compared to PaLM. This improved efficiency enables broader deployment while also allowing the model to respond faster, for a more natural pace of interaction. PaLM 2 demonstrates robust reasoning capabilities exemplified by large improvements over PaLM on BIG-Bench and other reasoning tasks. PaLM 2 exhibits stable performance on a suite of responsible AI evaluations, and enables inference-time control over toxicity without additional overhead or impact on other capabilities. Overall, PaLM 2 achieves state-of-the-art performance across a diverse set of tasks and capabilities.
When discussing the PaLM 2 family, it is important to distinguish between pre-trained models (of various sizes), fine-tuned variants of these models, and the user-facing products that use these models. In particular, user-facing products typically include additional pre- and post-processing steps. Additionally, the underlying models may evolve over time. Therefore, one should not expect the performance of user-facing products to exactly match the results reported in this report.
△ Less
Submitted 13 September, 2023; v1 submitted 17 May, 2023;
originally announced May 2023.
-
Examples of étale extensions of Green functors
Authors:
Ayelet Lindenstrauss,
Birgit Richter,
Foling Zou
Abstract:
We provide new examples of étale extensions of Green functors by transferring classical examples of étale extensions to the equivariant setting. Our examples are Tambara functors, and we prove Green étaleness for them, which implies Tambara étaleness. We show that every $C_2$-Galois extensions of fields gives rise to an étale extension of $C_2$-Green functors. Here we associate the constant Tambar…
▽ More
We provide new examples of étale extensions of Green functors by transferring classical examples of étale extensions to the equivariant setting. Our examples are Tambara functors, and we prove Green étaleness for them, which implies Tambara étaleness. We show that every $C_2$-Galois extensions of fields gives rise to an étale extension of $C_2$-Green functors. Here we associate the constant Tambara functor to the base field and the fix-Tambara functor to the extension. We also prove that all $C_n$-Kummer extensions give rise to étale extensions for arbitrary finite $n$. Étale extensions of fields induce étale extension of $G$-Green functors for any finite group $G$ by passing to the corresponding constant $G$-Tambara functors.
△ Less
Submitted 24 June, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Deep Learning-Based Automatic Assessment of AgNOR-scores in Histopathology Images
Authors:
Jonathan Ganz,
Karoline Lipnik,
Jonas Ammeling,
Barbara Richter,
Chloé Puget,
Eda Parlak,
Laura Diehl,
Robert Klopfleisch,
Taryn A. Donovan,
Matti Kiupel,
Christof A. Bertram,
Katharina Breininger,
Marc Aubreville
Abstract:
Nucleolar organizer regions (NORs) are parts of the DNA that are involved in RNA transcription. Due to the silver affinity of associated proteins, argyrophilic NORs (AgNORs) can be visualized using silver-based staining. The average number of AgNORs per nucleus has been shown to be a prognostic factor for predicting the outcome of many tumors. Since manual detection of AgNORs is laborious, automat…
▽ More
Nucleolar organizer regions (NORs) are parts of the DNA that are involved in RNA transcription. Due to the silver affinity of associated proteins, argyrophilic NORs (AgNORs) can be visualized using silver-based staining. The average number of AgNORs per nucleus has been shown to be a prognostic factor for predicting the outcome of many tumors. Since manual detection of AgNORs is laborious, automation is of high interest. We present a deep learning-based pipeline for automatically determining the AgNOR-score from histopathological sections. An additional annotation experiment was conducted with six pathologists to provide an independent performance evaluation of our approach. Across all raters and images, we found a mean squared error of 0.054 between the AgNOR- scores of the experts and those of the model, indicating that our approach offers performance comparable to humans.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Detecting and describing ramification for structured ring spectra
Authors:
Eva Höning,
Birgit Richter
Abstract:
Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological André-Quillen homology. In the classical algebraic context it is important to distinguish between tame and wild ramification. Noether's theorem characterizes tame ramification in terms of a normal basis and tame ramification can also be detected via the surjectivity of the trace…
▽ More
Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological André-Quillen homology. In the classical algebraic context it is important to distinguish between tame and wild ramification. Noether's theorem characterizes tame ramification in terms of a normal basis and tame ramification can also be detected via the surjectivity of the trace map. We transfer the latter fact to ring spectra and use the Tate cohomology spectrum to detect wild ramification in the context of commutative ring spectra. We study ramification in examples in the context of topological K-theory and topological modular forms.
△ Less
Submitted 29 January, 2021;
originally announced January 2021.
-
Strong $3$-Flow Conjecture for Projective Planar Graphs
Authors:
Jamie V. de Jong,
R. Bruce Richter
Abstract:
In 1972, Tutte posed the $3$-Flow Conjecture: that all $4$-edge-connected graphs have a nowhere zero $3$-flow. This was extended by Jaeger et al.(1992) to allow vertices to have a prescribed, possibly non-zero difference (modulo $3$) between the inflow and outflow. They conjectured that all $5$-edge-connected graphs with a valid prescription function have a nowhere zero $3$-flow meeting that presc…
▽ More
In 1972, Tutte posed the $3$-Flow Conjecture: that all $4$-edge-connected graphs have a nowhere zero $3$-flow. This was extended by Jaeger et al.(1992) to allow vertices to have a prescribed, possibly non-zero difference (modulo $3$) between the inflow and outflow. They conjectured that all $5$-edge-connected graphs with a valid prescription function have a nowhere zero $3$-flow meeting that prescription. Kochol (2001) showed that replacing $4$-edge-connected with $5$-edge-connected would suffice to prove the $3$-Flow Conjecture and Lovász et al.(2013) showed that both conjectures hold if the edge connectivity condition is relaxed to $6$-edge-connected. Both problems are still open for $5$-edge-connected graphs.
The $3$-Flow Conjecture was known to hold for planar graphs, as it is the dual of Grötzsch's Colouring Theorem. Steinberg and Younger (1989) provided the first direct proof using flows for planar graphs, as well as a proof for projective planar graphs. Richter et al.(2016) provided the first direct proof using flows of the Strong $3$-Flow Conjecture for planar graphs. We prove the Strong $3$-Flow Conjecture for projective planar graphs.
△ Less
Submitted 1 November, 2020;
originally announced November 2020.
-
Remarks on the structure of simple drawings of $K_n$
Authors:
R. Bruce Richter,
Matthew Sullivan
Abstract:
In studying properties of simple drawings of the complete graph in the sphere, two natural questions arose for us: can an edge have multiple segments on the boundary of the same face? and is each face the intersection of sides of 3-cycles? The second is asserted to be obvious in two previously published articles, but when asked, authors of both papers were unable to provide a proof. We present a p…
▽ More
In studying properties of simple drawings of the complete graph in the sphere, two natural questions arose for us: can an edge have multiple segments on the boundary of the same face? and is each face the intersection of sides of 3-cycles? The second is asserted to be obvious in two previously published articles, but when asked, authors of both papers were unable to provide a proof. We present a proof. The first is quite easily proved and the technique yields a third, even simpler, fact: no three edges at a vertex all have internal points incident with the same face.
△ Less
Submitted 14 May, 2020;
originally announced May 2020.
-
Drawings of complete graphs in the projective plane
Authors:
Alan Arroyo,
Dan McQuillan,
R. Bruce Richter,
Gelasio Salazar,
Matthew Sullivan
Abstract:
Hill's Conjecture states that the crossing number $\text{cr}(K_n)$ of the complete graph $K_n$ in the plane (equivalently, the sphere) is $\frac{1}{4}\lfloor\frac{n}{2}\rfloor\lfloor\frac{n-1}{2}\rfloor\lfloor\frac{n-2}{2}\rfloor\lfloor\frac{n-3}{2}\rfloor=n^4/64 + O(n^3)$. Moon proved that the expected number of crossings in a spherical drawing in which the points are randomly distributed and joi…
▽ More
Hill's Conjecture states that the crossing number $\text{cr}(K_n)$ of the complete graph $K_n$ in the plane (equivalently, the sphere) is $\frac{1}{4}\lfloor\frac{n}{2}\rfloor\lfloor\frac{n-1}{2}\rfloor\lfloor\frac{n-2}{2}\rfloor\lfloor\frac{n-3}{2}\rfloor=n^4/64 + O(n^3)$. Moon proved that the expected number of crossings in a spherical drawing in which the points are randomly distributed and joined by geodesics is precisely $n^4/64+O(n^3)$, thus matching asymptotically the conjectured value of $\text{cr}(K_n)$. Let $\text{cr}_P(G)$ denote the crossing number of a graph $G$ in the projective plane. Recently, Elkies proved that the expected number of crossings in a naturally defined random projective plane drawing of $K_n$ is $(n^4/8π^2)+O(n^3)$. In analogy with the relation of Moon's result to Hill's conjecture, Elkies asked if $\lim_{n\to\infty} \text{cr}_P(K_n)/n^4=1/8π^2$. We construct drawings of $K_n$ in the projective plane that disprove this.
△ Less
Submitted 18 March, 2021; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Loday constructions on twisted products and on tori
Authors:
Alice Hedenlund,
Sarah Klanderman,
Ayelet Lindenstrauss,
Birgit Richter,
Foling Zou
Abstract:
We develop a spectral sequence for the homotopy groups of Loday constructions with respect to twisted products in the case where the group involved is a constant simplicial group. We show that for commutative Hopf algebra spectra Loday constructions are stable, generalizing a result by Berest, Ramadoss and Yeung. We prove that several truncated polynomial rings are not multiplicatively stable by i…
▽ More
We develop a spectral sequence for the homotopy groups of Loday constructions with respect to twisted products in the case where the group involved is a constant simplicial group. We show that for commutative Hopf algebra spectra Loday constructions are stable, generalizing a result by Berest, Ramadoss and Yeung. We prove that several truncated polynomial rings are not multiplicatively stable by investigating their torus homology.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Extending drawings of complete graphs into arrangements of pseudocircles
Authors:
Alan Arroyo,
R. Bruce Richter,
Matthew Sunohara
Abstract:
Motivated by the successful application of geometry to proving the Harary-Hill Conjecture for "pseudolinear" drawings of $K_n$, we introduce "pseudospherical" drawings of graphs. A spherical drawing of a graph $G$ is a drawing in the unit sphere $\mathbb{S}^2$ in which the vertices of $G$ are represented as points -- no three on a great circle -- and the edges of $G$ are shortest-arcs in…
▽ More
Motivated by the successful application of geometry to proving the Harary-Hill Conjecture for "pseudolinear" drawings of $K_n$, we introduce "pseudospherical" drawings of graphs. A spherical drawing of a graph $G$ is a drawing in the unit sphere $\mathbb{S}^2$ in which the vertices of $G$ are represented as points -- no three on a great circle -- and the edges of $G$ are shortest-arcs in $\mathbb{S}^2$ connecting pairs of vertices. Such a drawing has three properties: (1) every edge $e$ is contained in a simple closed curve $γ_e$ such that the only vertices in $γ_e$ are the ends of $e$; (2) if $e\ne f$, then $γ_e\capγ_f$ has precisely two crossings; and (3) if $e\ne f$, then $e$ intersects $γ_f$ at most once, either in a crossing or an end of $e$. We use Properties (1)--(3) to define a pseudospherical drawing of $G$. Our main result is that, for the complete graph, Properties (1)--(3) are equivalent to the same three properties but with "precisely two crossings" in (2) replaced by "at most two crossings".
The proof requires a result in the geometric transversal theory of arrangements of pseudocircles. This is proved using the surprising result that the absence of special arcs ( coherent spirals) in an arrangement of simple closed curves characterizes the fact that any two curves in the arrangement have at most two crossings.
Our studies provide the necessary ideas for exhibiting a drawing of $K_{10}$ that has no extension to an arrangement of pseudocircles and a drawing of $K_9$ that does extend to an arrangement of pseudocircles, but no such extension has all pairs of pseudocircles crossing twice.
△ Less
Submitted 19 April, 2021; v1 submitted 16 January, 2020;
originally announced January 2020.
-
The unavoidable rotation systems
Authors:
Alan Arroyo,
R. Bruce Richter,
Gelasio Salazar,
Matthew Sullivan
Abstract:
For each positive integer $m$, Pach, Solymosi, and Tóth identified two canonical complete topological subgraphs $C_m$ and $T_m$, and proved that every sufficiently large topological complete graph contains $C_m$ or $T_m$ as a subgraph. We generalize this result in the setting of abstract rotation systems.
For each positive integer $m$, Pach, Solymosi, and Tóth identified two canonical complete topological subgraphs $C_m$ and $T_m$, and proved that every sufficiently large topological complete graph contains $C_m$ or $T_m$ as a subgraph. We generalize this result in the setting of abstract rotation systems.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Stability of Loday constructions
Authors:
Ayelet Lindenstrauss,
Birgit Richter
Abstract:
We study the question for which commutative ring spectra $A$ the tensor of a simplicial set $X$ with $A$, $X \otimes A$, is a stable invariant in the sense that it depends only on the homotopy type of $ΣX$. We prove several structural properties about different notions of stability, corresponding to different levels of invariance required of $X\otimes A$, and establish stability in important cases…
▽ More
We study the question for which commutative ring spectra $A$ the tensor of a simplicial set $X$ with $A$, $X \otimes A$, is a stable invariant in the sense that it depends only on the homotopy type of $ΣX$. We prove several structural properties about different notions of stability, corresponding to different levels of invariance required of $X\otimes A$, and establish stability in important cases, such as complex and real periodic topological K-theory, $KU$ and $KO$.
△ Less
Submitted 17 April, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Graphs with at most one crossing
Authors:
André C. Silva,
Alan Arroyo,
R. Bruce Richter,
Orlando Lee
Abstract:
The crossing number of a graph $G$ is the least number of crossings over all possible drawings of $G$. We present a structural characterization of graphs with crossing number one.
The crossing number of a graph $G$ is the least number of crossings over all possible drawings of $G$. We present a structural characterization of graphs with crossing number one.
△ Less
Submitted 26 April, 2019; v1 submitted 28 January, 2019;
originally announced January 2019.
-
Splittings and calculational techniques for higher THH
Authors:
Irina Bobkova,
Eva Höning,
Ayelet Lindenstrauss,
Kate Poirier,
Birgit Richter,
Inna Zakharevich
Abstract:
Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $ΣX \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine…
▽ More
Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $ΣX \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine $THH^{[n]}_*(\mathbb{Z}/p^m; \mathbb{Z}/p)$ for all $n \geq 1$ and for all $m \geq 2$.
△ Less
Submitted 20 November, 2018; v1 submitted 16 August, 2018;
originally announced August 2018.
-
Towards topological Hochschild homology of Johnson-Wilson spectra
Authors:
Christian Ausoni,
Birgit Richter
Abstract:
We offer a complete description of $THH(E(2))$ under the assumption that the Johnson-Wilson spectrum $E(2)$ at a chosen odd prime carries an $E_\infty$-structure. We also place $THH(E(2))$ in a cofiber sequence $E(2) \rightarrow THH(E(2))\rightarrow \overline{THH}(E(2))$ and describe $\overline{THH}(E(2))$ under the assumption that $E(2)$ is an $E_3$-ring spectrum. We state general results about t…
▽ More
We offer a complete description of $THH(E(2))$ under the assumption that the Johnson-Wilson spectrum $E(2)$ at a chosen odd prime carries an $E_\infty$-structure. We also place $THH(E(2))$ in a cofiber sequence $E(2) \rightarrow THH(E(2))\rightarrow \overline{THH}(E(2))$ and describe $\overline{THH}(E(2))$ under the assumption that $E(2)$ is an $E_3$-ring spectrum. We state general results about the $K(i)$-local behaviour of $THH(E(n))$ for all $n$ and $0 \leq i \leq n$. In particular, we compute $K(i)_*THH(E(n))$.
△ Less
Submitted 4 October, 2018; v1 submitted 6 July, 2018;
originally announced July 2018.
-
Bounding the number of non-duplicates of the $q$-side in simple drawings of $K_{p,q}$
Authors:
R. Bruce Richter,
André C. Silva,
Orlando Lee
Abstract:
The number $Z(n):=\lfloor n/2\rfloor\lfloor (n-1)/2\rfloor$ is the smallest number of crossings in a simple planar drawing of $K_{2,n}$ in which both vertices on the 2-side have the same clockwise rotation. For two vertices $u,v$ on the $q$-side of a simple drawing of $K_{p,q}$, let $\operatorname{cr}_D(u,v)$ denote the total number of crossings that edges incident with $u$ have with edges inciden…
▽ More
The number $Z(n):=\lfloor n/2\rfloor\lfloor (n-1)/2\rfloor$ is the smallest number of crossings in a simple planar drawing of $K_{2,n}$ in which both vertices on the 2-side have the same clockwise rotation. For two vertices $u,v$ on the $q$-side of a simple drawing of $K_{p,q}$, let $\operatorname{cr}_D(u,v)$ denote the total number of crossings that edges incident with $u$ have with edges incident with $v$.
We show that in any simple drawing $D$ of $K_{p,q}$ in a surface $Σ$ the number of pairs of vertices on the $q$-side of $K_{p,q}$ having $\operatorname{cr}_D(u,v)<Z(p)$ is bounded as a function of $p$ and $Σ$. As a consequence, we also show that, for a fixed integer $p$ and surface $Σ$, there exists a finite set of drawings $\mathcal{D}(p,Σ)$ of complete bipartite graphs such that, for each $q$, a crossing-minimal drawing of $K_{p,q}$ can be obtained by "duplicating vertices" in some drawing from $\mathcal D(p,Σ)$.
△ Less
Submitted 23 August, 2021; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Extending Drawings of Graphs to Arrangements of Pseudolines
Authors:
Alan Arroyo,
Julien Bensmail,
R. Bruce Richter
Abstract:
A pseudoline is a homeomorphic image of the real line in the plane so that its complement is disconnected. An arrangement of pseudolines is a set of pseudolines in which every two cross exactly once. A drawing of a graph is pseudolinear if the edges can be extended to an arrangement of pseudolines. In the recent study of crossing numbers, pseudolinear drawings have played an important role as they…
▽ More
A pseudoline is a homeomorphic image of the real line in the plane so that its complement is disconnected. An arrangement of pseudolines is a set of pseudolines in which every two cross exactly once. A drawing of a graph is pseudolinear if the edges can be extended to an arrangement of pseudolines. In the recent study of crossing numbers, pseudolinear drawings have played an important role as they are a natural combinatorial extension of rectilinear drawings. A characterization of the pseudolinear drawings of $K_n$ was found recently. We extend this characterization to all graphs, by describing the set of minimal forbidden subdrawings for pseudolinear drawings. Our characterization also leads to a polynomial-time algorithm to recognize pseudolinear drawings and construct the pseudolines when it is possible.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
SAT-based Reverse Engineering of Gate-Level Schematics using Fault Injection and Probing
Authors:
Shahrzad Keshavarz,
Falk Schellenberg,
Bastian Richter,
Christof Paar,
Daniel Holcomb
Abstract:
Gate camouflaging is a known security enhancement technique that tries to thwart reverse engineering by hiding the functions of gates or the connections between them. A number of works on SAT-based attacks have shown that it is often possible to reverse engineer a circuit function by combining a camouflaged circuit model and the ability to have oracle access to the obfuscated combinational circuit…
▽ More
Gate camouflaging is a known security enhancement technique that tries to thwart reverse engineering by hiding the functions of gates or the connections between them. A number of works on SAT-based attacks have shown that it is often possible to reverse engineer a circuit function by combining a camouflaged circuit model and the ability to have oracle access to the obfuscated combinational circuit. Especially in small circuits it is easy to reverse engineer the circuit function in this way, but SAT-based reverse engineering techniques provide no guarantees of recovering a circuit that is gate-by-gate equivalent to the original design. In this work we show that an attacker who does not know gate functions or connections of an aggressively camouflaged circuit cannot learn the correct gate-level schematic even if able to control inputs and probe all combinational nodes of the circuit. We then present a stronger attack that extends SAT-based reverse engineering with fault analysis to allow an attacker to recover the correct gate-level schematic. We analyze our reverse engineering approach on an S-Box circuit.
△ Less
Submitted 24 February, 2018;
originally announced February 2018.
-
A strictly commutative model for the cochain algebra of a space
Authors:
Birgit Richter,
Steffen Sagave
Abstract:
The commutative differential graded algebra $A_{\mathrm{PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal{I}}(X)$ of $A_{\mathrm{PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal{I}$ to model $E_{\infty}$ differential gr…
▽ More
The commutative differential graded algebra $A_{\mathrm{PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal{I}}(X)$ of $A_{\mathrm{PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal{I}$ to model $E_{\infty}$ differential graded algebras by strictly commutative objects, called commutative $\mathcal{I}$-dgas. We define a functor $A^{\mathcal{I}}$ from simplicial sets to commutative $\mathcal{I}$-dgas and show that it is a commutative lift of the usual cochain algebra functor. In particular, it gives rise to a new construction of the $E_{\infty}$ dga of cochains.
The functor $A^{\mathcal{I}}$ shares many properties of $A_{\mathrm{PL}}$, and can be viewed as a generalization of $A_{\mathrm{PL}}$ that works over arbitrary commutative ground rings. Working over the integers, a theorem by Mandell implies that $A^{\mathcal{I}}(X)$ determines the homotopy type of $X$ when $X$ is a nilpotent space of finite type.
△ Less
Submitted 26 February, 2020; v1 submitted 3 January, 2018;
originally announced January 2018.
-
Convex drawings of the complete graph: topology meets geometry
Authors:
Alan Arroyo,
Dan McQuillan,
R. Bruce Richter,
Gelasio Salazar
Abstract:
In this work, we introduce and develop a theory of convex drawings of the complete graph $K_n$ in the sphere. A drawing $D$ of $K_n$ is convex if, for every 3-cycle $T$ of $K_n$, there is a closed disc $Δ_T$ bounded by $D[T]$ such that, for any two vertices $u,v$ with $D[u]$ and $D[v]$ both in $Δ_T$, the entire edge $D[uv]$ is also contained in $Δ_T$.
As one application of this perspective, we c…
▽ More
In this work, we introduce and develop a theory of convex drawings of the complete graph $K_n$ in the sphere. A drawing $D$ of $K_n$ is convex if, for every 3-cycle $T$ of $K_n$, there is a closed disc $Δ_T$ bounded by $D[T]$ such that, for any two vertices $u,v$ with $D[u]$ and $D[v]$ both in $Δ_T$, the entire edge $D[uv]$ is also contained in $Δ_T$.
As one application of this perspective, we consider drawings containing a non-convex $K_5$ that has restrictions on its extensions to drawings of $K_7$. For each such drawing, we use convexity to produce a new drawing with fewer crossings. This is the first example of local considerations providing sufficient conditions for suboptimality. In particular, we do not compare the number of crossings {with the number of crossings in} any known drawings. This result sheds light on Aichholzer's computer proof (personal communication) showing that, for $n\le 12$, every optimal drawing of $K_n$ is convex.
Convex drawings are characterized by excluding two of the five drawings of $K_5$. Two refinements of convex drawings are h-convex and f-convex drawings. The latter have been shown by Aichholzer et al (Deciding monotonicity of good drawings of the complete graph, Proc.~XVI Spanish Meeting on Computational Geometry (EGC 2015), 2015) and, independently, the authors of the current article (Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles, \rbr{J. Graph Theory DOI: 10.1002/jgt.22167)}, to be equivalent to pseudolinear drawings. Also, h-convex drawings are equivalent to pseudospherical drawings as demonstrated recently by Arroyo et al (Extending drawings of complete graphs into arrangements of pseudocircles, submitted).
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
Commutative ring spectra
Authors:
Birgit Richter
Abstract:
In this survey paper on commutative ring spectra we present some basic features of commutative ring spectra and discuss model category structures. As a first interesting class of examples of such ring spectra we focus on (commutative) algebra spectra over commutative Eilenberg-MacLane ring spectra. We present two constructions that yield commutative ring spectra: Thom spectra associated to infinit…
▽ More
In this survey paper on commutative ring spectra we present some basic features of commutative ring spectra and discuss model category structures. As a first interesting class of examples of such ring spectra we focus on (commutative) algebra spectra over commutative Eilenberg-MacLane ring spectra. We present two constructions that yield commutative ring spectra: Thom spectra associated to infinite loop maps and Segal's construction starting with bipermutative categories. We define topological Hochschild homology, some of its variants, and topological Andre-Quillen homology. Obstruction theory for commutative structures on ring spectra is described in two versions. The notion of etale extensions in the spectral world is tricky and we explain why. We define Picard groups and Brauer groups of commutative ring spectra and present examples.
△ Less
Submitted 6 October, 2017;
originally announced October 2017.
-
Collective dynamics of accelerated atoms
Authors:
Benedikt Richter,
Hugo Terças,
Yasser Omar,
Inés de Vega
Abstract:
We study the collective dynamics of accelerated atoms interacting with a massless field via an Unruh-deWitt-type interaction. We first derive a general Hamiltonian describing such a system and then, employing a Markovian master equation, we study the corresponding collective dynamics. In particular, we observe that the emergence of entanglement between two-level atoms is linked to the building up…
▽ More
We study the collective dynamics of accelerated atoms interacting with a massless field via an Unruh-deWitt-type interaction. We first derive a general Hamiltonian describing such a system and then, employing a Markovian master equation, we study the corresponding collective dynamics. In particular, we observe that the emergence of entanglement between two-level atoms is linked to the building up of coherences between them and to superradiant emission. In addition, we show that the derived Hamiltonian can be experimentally implemented by employing impurities in Bose-Einstein condensates.
△ Less
Submitted 9 November, 2017; v1 submitted 28 April, 2017;
originally announced May 2017.
-
Inhabitants of interesting subsets of the Bousfield lattice
Authors:
Andrew Brooke-Taylor,
Benedikt Löwe,
Birgit Richter
Abstract:
The set of Bousfield classes has some important subsets such as the distributive lattice $\mathbf{DL}$ of all classes $\langle E\rangle$ which are smash idempotent and the complete Boolean algebra $\mathbf{cBA}$ of closed classes. We provide examples of spectra that are in $\mathbf{DL}$, but not in $\mathbf{cBA}$; in particular, for every prime $p$, the Bousfield class of the Eilenberg-MacLane spe…
▽ More
The set of Bousfield classes has some important subsets such as the distributive lattice $\mathbf{DL}$ of all classes $\langle E\rangle$ which are smash idempotent and the complete Boolean algebra $\mathbf{cBA}$ of closed classes. We provide examples of spectra that are in $\mathbf{DL}$, but not in $\mathbf{cBA}$; in particular, for every prime $p$, the Bousfield class of the Eilenberg-MacLane spectrum $\langle H\mathbb{F}_p\rangle\in\mathbf{DL}{\setminus}\mathbf{cBA}$.
△ Less
Submitted 10 February, 2017;
originally announced February 2017.
-
Effect of acceleration on localized fermionic Gaussian states: from vacuum entanglement to maximally entangled states
Authors:
Benedikt Richter,
Krzysztof Lorek,
Andrzej Dragan,
Yasser Omar
Abstract:
We study the effects of acceleration on fermionic Gaussian states of localized modes of a Dirac field. We consider two wave-packets in a Gaussian state and transform these to an accelerated frame of reference. In particular, we formulate the action of this transformation as a fermionic quantum channel. Having developed the general framework for fermions, we then investigate the entanglement of the…
▽ More
We study the effects of acceleration on fermionic Gaussian states of localized modes of a Dirac field. We consider two wave-packets in a Gaussian state and transform these to an accelerated frame of reference. In particular, we formulate the action of this transformation as a fermionic quantum channel. Having developed the general framework for fermions, we then investigate the entanglement of the vacuum, as well as the entanglement in Bell states. We find that with increasing acceleration vacuum entanglement increases, while the entanglement of Bell states decreases. Notably, our results have an immediate operational meaning given the localization of the modes.
△ Less
Submitted 11 May, 2017; v1 submitted 20 January, 2017;
originally announced January 2017.
-
Classical Holographic Codes
Authors:
Enrico M. Brehm,
Benedikt Richter
Abstract:
In this work, we introduce classical holographic codes. These can be understood as concatenated probabilistic codes and can be represented as networks uniformly covering hyperbolic space. In particular, classical holographic codes can be interpreted as maps from bulk degrees of freedom to boundary degrees of freedom. Interestingly, they are shown to exhibit features similar to those expected from…
▽ More
In this work, we introduce classical holographic codes. These can be understood as concatenated probabilistic codes and can be represented as networks uniformly covering hyperbolic space. In particular, classical holographic codes can be interpreted as maps from bulk degrees of freedom to boundary degrees of freedom. Interestingly, they are shown to exhibit features similar to those expected from the AdS/CFT correspondence. Among these are a version of the Ryu-Takayanagi formula and intriguing properties regarding bulk reconstruction and boundary representations of bulk operations. We discuss the relation of our findings with expectations from AdS/CFT and, in particular, with recent results from quantum error correction.
△ Less
Submitted 8 September, 2017; v1 submitted 12 September, 2016;
originally announced September 2016.
-
Relative Loday constructions and applications to higher THH-calculations
Authors:
Gemma Halliwell,
Eva Höning,
Ayelet Lindenstrauss,
Birgit Richter,
Inna Zakharevich
Abstract:
We define a relative version of the Loday construction for a sequence of commutative S-algebras $A \rightarrow B \rightarrow C$ and a pointed simplicial subset $Y \subset X$. We use this to construct several spectral sequences for the calculation of higher topological Hochschild homology and apply those for calculations in some examples that could not be treated before.
We define a relative version of the Loday construction for a sequence of commutative S-algebras $A \rightarrow B \rightarrow C$ and a pointed simplicial subset $Y \subset X$. We use this to construct several spectral sequences for the calculation of higher topological Hochschild homology and apply those for calculations in some examples that could not be treated before.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Universality of Black Hole Quantum Computing
Authors:
Gia Dvali,
Cesar Gomez,
Dieter Lust,
Yasser Omar,
Benedikt Richter
Abstract:
By analyzing the key properties of black holes from the point of view of quantum information, we derive a model-independent picture of black hole quantum computing. It has been noticed that this picture exhibits striking similarities with quantum critical condensates, allowing the use of a common language to describe quantum computing in both systems. We analyze such quantum computing by allowing…
▽ More
By analyzing the key properties of black holes from the point of view of quantum information, we derive a model-independent picture of black hole quantum computing. It has been noticed that this picture exhibits striking similarities with quantum critical condensates, allowing the use of a common language to describe quantum computing in both systems. We analyze such quantum computing by allowing coupling to external modes, under the condition that the external influence must be soft-enough in order not to offset the basic properties of the system. We derive model-independent bounds on some crucial time-scales, such as the times of gate operation, decoherence, maximal entanglement and total scrambling. We show that for black hole type quantum computers all these time-scales are of the order of the black hole half-life time. Furthermore, we construct explicitly a set of Hamiltonians that generates a universal set of quantum gates for the black hole type computer. We find that the gates work at maximal energy efficiency. Furthermore, we establish a fundamental bound on the complexity of quantum circuits encoded on these systems, and characterize the unitary operations that are implementable. It becomes apparent that the computational power is very limited due to the fact that the black hole life-time is of the same order of the gate operation time. As a consequence, it is impossible to retrieve its information, within the life-time of a black hole, by externally coupling to the black hole qubits. However, we show that, in principle, coupling to some of the internal degrees of freedom allows acquiring knowledge about the micro-state. Still, due to the trivial complexity of operations that can be performed, there is no time advantage over the collection of Hawking radiation and subsequent decoding.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
Towards an understanding of ramified extensions of structured ring spectra
Authors:
Bjørn Ian Dundas,
Ayelet Lindenstrauss,
Birgit Richter
Abstract:
We propose topological Hochschild homology as a tool for measuring ramification of maps of structured ring spectra. We determine second order topological Hochschild homology of the $p$-local integers. For the tamely ramified extension of the map from the connective Adams summand to $p$-local complex topological K-theory we determine the relative topological Hochschild homology and show that it det…
▽ More
We propose topological Hochschild homology as a tool for measuring ramification of maps of structured ring spectra. We determine second order topological Hochschild homology of the $p$-local integers. For the tamely ramified extension of the map from the connective Adams summand to $p$-local complex topological K-theory we determine the relative topological Hochschild homology and show that it detects the tame ramification of this extension. We also determine relative topological Hochschild homology for the complexification map from connective real to complex topological K-theory and for some quotient maps with commutative quotients.
△ Less
Submitted 3 August, 2020; v1 submitted 20 April, 2016;
originally announced April 2016.
-
Revisiting a Nice Cycle Lemma and its Consequences
Authors:
M. O. Albertson,
J. P. Hutchinson,
R. B. Richter
Abstract:
We correct some errors and omissions primarily in a paper [Albertson&Hutchinson2004], discovered by R.B. Richter, and also some in a proof of [Thomassen1993] and of [Yu1997]. We give a short proof of Thomassen's theorem that every triangulation of a surface with all noncontractible cycles sufficiently long can be 5-colored; part of the shortness is due to the use of the Four Color Theorem, which i…
▽ More
We correct some errors and omissions primarily in a paper [Albertson&Hutchinson2004], discovered by R.B. Richter, and also some in a proof of [Thomassen1993] and of [Yu1997]. We give a short proof of Thomassen's theorem that every triangulation of a surface with all noncontractible cycles sufficiently long can be 5-colored; part of the shortness is due to the use of the Four Color Theorem, which is not used in Thomassen's original proof.
△ Less
Submitted 7 May, 2016; v1 submitted 22 February, 2016;
originally announced February 2016.
-
Drawings of Kn with the same rotation scheme are the same up to Reidemeister moves. Gioan's Theorem
Authors:
Alan Arroyo,
Dan McQuillan,
R. Bruce Richter,
Gelasio Salazar
Abstract:
A {\em good drawing\/} of $K_n$ is a drawing of the complete graph with $n$ vertices in the sphere such that: no two edges with a common end cross; no two edges cross more than once; and no three edges all cross at the same point. Gioan's Theorem asserts that any two good drawings of $K_n$ that have the same rotations of incident edges at every vertex are equivalent up to Reidemeister moves. At th…
▽ More
A {\em good drawing\/} of $K_n$ is a drawing of the complete graph with $n$ vertices in the sphere such that: no two edges with a common end cross; no two edges cross more than once; and no three edges all cross at the same point. Gioan's Theorem asserts that any two good drawings of $K_n$ that have the same rotations of incident edges at every vertex are equivalent up to Reidemeister moves. At the time of preparation, 10 years had passed between the statement in the WG 2005 conference proceedings and our interest in the proposition. Shortly after we completed our preprint, Gioan independently completed a preprint.
△ Less
Submitted 27 January, 2016; v1 submitted 30 December, 2015;
originally announced December 2015.
-
Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles
Authors:
Alan Arroyo,
Dan McQuillan,
Bruce Richter,
Gelasio Salazar
Abstract:
There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that pseudolinear and convex drawings of $K_n$ have $n^2+{}$O$(n\log n)$ and O$(n^2)$, respectively, empty triangles. All the arguments are elementary, algorithmic, and self-…
▽ More
There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that pseudolinear and convex drawings of $K_n$ have $n^2+{}$O$(n\log n)$ and O$(n^2)$, respectively, empty triangles. All the arguments are elementary, algorithmic, and self-contained.
△ Less
Submitted 20 November, 2015;
originally announced November 2015.
-
Bishellable drawings of $K_n$
Authors:
Bernardo M. Ábrego,
Oswin Aichholzer,
Silvia Fernández-Merchant,
Dan McQuillan,
Bojan Mohar,
Petra Mutzel,
Pedro Ramos,
R. Bruce Richter,
Birgit Vogtenhuber
Abstract:
The Harary--Hill conjecture, still open after more than 50 years, asserts that the crossing number of the complete graph $K_n$ is $ H(n) = \frac 1 4 \left\lfloor\frac{\mathstrut n}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-1}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-2}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-3}{\mathstrut 2}\right \rfloor$. Ábrego…
▽ More
The Harary--Hill conjecture, still open after more than 50 years, asserts that the crossing number of the complete graph $K_n$ is $ H(n) = \frac 1 4 \left\lfloor\frac{\mathstrut n}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-1}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-2}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-3}{\mathstrut 2}\right \rfloor$. Ábrego et al. introduced the notion of shellability of a drawing $D$ of $K_n$. They proved that if $D$ is $s$-shellable for some $s\geq\lfloor\frac{n}{2}\rfloor$, then $D$ has at least $H(n)$ crossings. This is the first combinatorial condition on a drawing that guarantees at least $H(n)$ crossings. In this work, we generalize the concept of $s$-shellability to bishellability, where the former implies the latter in the sense that every $s$-shellable drawing is, for any $b \leq s-2$, also $b$-bishellable. Our main result is that $(\lfloor \frac{n}{2} \rfloor\!-\!2)$-bishellability of a drawing $D$ of $K_n$ also guarantees, with a simpler proof than for $s$-shellability, that $D$ has at least $H(n)$ crossings. We exhibit a drawing of $K_{11}$ that has $H(11)$ crossings, is 3-bishellable, and is not $s$-shellable for any $s\geq5$. This shows that we have properly extended the class of drawings for which the Harary-Hill Conjecture is proved. Moreover, we provide an infinite family of drawings of $K_n$ that are $(\lfloor \frac{n}{2} \rfloor\!-\!2)$-bishellable, but not $s$-shellable for any $s\geq\lfloor\frac{n}{2}\rfloor$.
△ Less
Submitted 12 July, 2018; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Degradation of entanglement between two accelerated parties: Bell states under the Unruh effect
Authors:
Benedikt Richter,
Yasser Omar
Abstract:
We study the entanglement of families of Unruh modes in the Bell states $|Φ^\pm\rangle =1/\sqrt{2}(|00\rangle\pm|11\rangle)$ and $|Ψ^\pm\rangle=1/\sqrt{2}(|01\rangle\pm|10\rangle)$ shared by two accelerated observers and find fundamental differences in the robustness of entanglement against acceleration for these states. States $Ψ^\pm$ are entangled for all finite accelerations, whereas, due to th…
▽ More
We study the entanglement of families of Unruh modes in the Bell states $|Φ^\pm\rangle =1/\sqrt{2}(|00\rangle\pm|11\rangle)$ and $|Ψ^\pm\rangle=1/\sqrt{2}(|01\rangle\pm|10\rangle)$ shared by two accelerated observers and find fundamental differences in the robustness of entanglement against acceleration for these states. States $Ψ^\pm$ are entangled for all finite accelerations, whereas, due to the Unruh effect, states $Φ^\pm$ lose their entanglement for finite accelerations. This is true for Bell states of two bosonic modes, as well as for Bell states of a bosonic and a fermionic mode. Furthermore, there are also differences in the degradation of entanglement for Bell states of fermionic modes. We reveal the origin of these distinct characteristics of entanglement degradation and discuss the role that is played by particle statistics. Our studies suggest that the behavior of entanglement in accelerated frames strongly depends on the occupation patterns of the constituent states, whose superposition constitutes the entangled state, where especially states $Φ^\pm$ and $Ψ^\pm$ exhibit distinct characteristics regarding entanglement degradation. Finally, we point out possible implications of hovering over a black hole for these states.
△ Less
Submitted 1 September, 2015; v1 submitted 25 March, 2015;
originally announced March 2015.
-
On higher topological Hochschild homology of rings of integers
Authors:
Bjørn Ian Dundas,
Ayelet Lindenstrauss,
Birgit Richter
Abstract:
We determine higher topological Hochschild homology of rings of integers in number fields with coefficients in suitable residue fields. We use the iterative description of higher THH for this and Postnikov arguments that allow us to reduce the necessary computations to calculations in homological algebra, starting from the results of Bökstedt and Lindenstrauss-Madsen on (ordinary) topological Hoch…
▽ More
We determine higher topological Hochschild homology of rings of integers in number fields with coefficients in suitable residue fields. We use the iterative description of higher THH for this and Postnikov arguments that allow us to reduce the necessary computations to calculations in homological algebra, starting from the results of Bökstedt and Lindenstrauss-Madsen on (ordinary) topological Hochschild homology.
△ Less
Submitted 2 September, 2021; v1 submitted 9 February, 2015;
originally announced February 2015.
-
An algebraic model for commutative HZ-algebras
Authors:
Birgit Richter,
Brooke Shipley
Abstract:
We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a chain of Quillen equivalences between the corresponding model categories. We also provide a Quillen equivalence to commutative monoids in the category of functor…
▽ More
We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a chain of Quillen equivalences between the corresponding model categories. We also provide a Quillen equivalence to commutative monoids in the category of functors from the category of finite sets and injections to unbounded chain complexes.
△ Less
Submitted 12 January, 2017; v1 submitted 26 November, 2014;
originally announced November 2014.
-
High Energy Colliding Beams; What Is Their Future?
Authors:
Burton Richter
Abstract:
The success of the first few years of LHC operations at CERN, and the expectation of more to come as the LHC performance improves, are already leading to discussions of what should be next for both proton-proton and electron-positron colliders. In this discussion I see too much theoretical desperation caused by the so far unsuccessful hunt for what is beyond the Standard Model, and too little of t…
▽ More
The success of the first few years of LHC operations at CERN, and the expectation of more to come as the LHC performance improves, are already leading to discussions of what should be next for both proton-proton and electron-positron colliders. In this discussion I see too much theoretical desperation caused by the so far unsuccessful hunt for what is beyond the Standard Model, and too little of the necessary interaction of the accelerator, experimenter, and theory communities necessary for a scientific and engineering success. Here, I give my impressions of the problem, its possible solution, and what is needed to have both a scientifically productive and financially viable future.
△ Less
Submitted 3 September, 2014;
originally announced September 2014.
-
On the higher topological Hochschild homology of $\mathbb{F}_p$ and commutative $\mathbb{F}_p$-group algebras
Authors:
Irina Bobkova,
Ayelet Lindenstrauss,
Kate Poirier,
Birgit Richter,
Inna Zakharevich
Abstract:
We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and étale descent to c…
▽ More
We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and étale descent to calculate ${\sf HH}_*^{[n]}(\mathbb{F}_p[G])$ for all $n>0$ for any cyclic group $G$, and therefore also for any finitely generated abelian group $G$. We show a splitting result for higher ${\sf THH}$ of commutative $\mathbb{F}_p$-group algebras and use this technique to calculate higher topological Hochschild homology of such group algebras for as large an $n$ as ${\sf THH}^{[n]}_*(\mathbb{F}_p) $ is known for.
△ Less
Submitted 10 July, 2014; v1 submitted 22 December, 2013;
originally announced December 2013.
-
Characterizing 2-crossing-critical graphs
Authors:
Drago Bokal,
Bogdan Oporowski,
R. Bruce Richter,
Gelasio Salazar
Abstract:
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connecte…
▽ More
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i) determine all the 3-connected 2-crossing-critical graphs that contain a subdivision of the Möbius Ladder $V_{10}$; (ii) show how to obtain all the not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii) show that there are only finitely many 3-connected 2-crossing-critical graphs not containing a subdivision of $V_{10}$; and (iv) determine all the 3-connected 2-crossing-critical graphs that do not contain a subdivision of $V_{8}$.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
On the homology and homotopy of commutative shuffle algebras
Authors:
Birgit Richter
Abstract:
For commutative algebras there are three important homology theories, Harrison homology, Andre-Quillen homology and Gamma-homology. In general these differ, unless one works with respect to a ground field of characteristic zero. We show that the analogues of these homology theories agree in the category of pointed commutative monoids in symmetric sequences and that Hochschild homology always posse…
▽ More
For commutative algebras there are three important homology theories, Harrison homology, Andre-Quillen homology and Gamma-homology. In general these differ, unless one works with respect to a ground field of characteristic zero. We show that the analogues of these homology theories agree in the category of pointed commutative monoids in symmetric sequences and that Hochschild homology always possesses a Hodge decomposition in this setting. In addition we prove that the category of pointed differential graded commutative monoids in symmetric sequences has a model structure and that it is Quillen equivalent to the model category of pointed simplicial commutative monoids in symmetric sequences.
△ Less
Submitted 24 January, 2014; v1 submitted 10 October, 2013;
originally announced October 2013.
-
On the crossing number of K_13
Authors:
Dan McQuillan,
Shengjun Pan,
R. Bruce Richter
Abstract:
Since the crossing number of K_{12} is now known to be 150, it is well-known that simple counting arguments and Kleitman's parity theorem for the crossing number of K_{2n+1} combine with a specific drawing of K_{13} to show that the crossing number of K_{13} is one of the numbers in {217,219,221,223,225}. We show that the crossing number is not 217.
Since the crossing number of K_{12} is now known to be 150, it is well-known that simple counting arguments and Kleitman's parity theorem for the crossing number of K_{2n+1} combine with a specific drawing of K_{13} to show that the crossing number of K_{13} is one of the numbers in {217,219,221,223,225}. We show that the crossing number is not 217.
△ Less
Submitted 11 July, 2013;
originally announced July 2013.
-
Explicit bounds for graph minors
Authors:
Jim Geelen,
Tony Huynh,
R. Bruce Richter
Abstract:
Let $Σ$ be a surface with boundary $b(Σ)$, $\mathcal{L}$ be a collection of $k$ disjoint $b(Σ)$-paths in $Σ$, and $P$ be a non-separating $b(Σ)$-path in $Σ$. We prove that there is a homeomorphism $φ: Σ\to Σ$ that fixes each point of $b(Σ)$ and such that $φ(\mathcal{L})$ meets $P$ at most $2k$ times.
With this theorem, we derive explicit constants in the graph minor algorithms of Robertson and S…
▽ More
Let $Σ$ be a surface with boundary $b(Σ)$, $\mathcal{L}$ be a collection of $k$ disjoint $b(Σ)$-paths in $Σ$, and $P$ be a non-separating $b(Σ)$-path in $Σ$. We prove that there is a homeomorphism $φ: Σ\to Σ$ that fixes each point of $b(Σ)$ and such that $φ(\mathcal{L})$ meets $P$ at most $2k$ times.
With this theorem, we derive explicit constants in the graph minor algorithms of Robertson and Seymour. We reprove a result concerning redundant vertices for graphs on surfaces, but with explicit bounds. That is, we prove that there exists a computable integer $t:=t(Σ,k)$ such that if $v$ is a '$t$-protected' vertex in a surface $Σ$, then $v$ is redundant with respect to any $k$-linkage.
△ Less
Submitted 2 May, 2016; v1 submitted 7 May, 2013;
originally announced May 2013.
-
A spectral sequence for the homology of a finite algebraic deloo**
Authors:
Birgit Richter,
Stephanie Ziegenhagen
Abstract:
In the world of chain complexes E_n-algebras are the analogues of based n-fold loop spaces in the category of topological spaces. Fresse showed that operadic E_n-homology of an E_n-algebra computes the homology of an n-fold algebraic deloo**. The aim of this paper is to construct two spectral sequences for calculating these homology groups and to treat some concrete classes of examples such as H…
▽ More
In the world of chain complexes E_n-algebras are the analogues of based n-fold loop spaces in the category of topological spaces. Fresse showed that operadic E_n-homology of an E_n-algebra computes the homology of an n-fold algebraic deloo**. The aim of this paper is to construct two spectral sequences for calculating these homology groups and to treat some concrete classes of examples such as Hochschild cochains, graded polynomial algebras and chains on iterated loop spaces. In characteristic zero we gain an identification of the summands in Pirashvili's Hodge decomposition of higher order Hochschild homology in terms of derived functors of indecomposables of Gerstenhaber algebras and as the homology of exterior and symmetric powers of derived Kähler differentials.
△ Less
Submitted 29 October, 2015; v1 submitted 4 February, 2013;
originally announced February 2013.
-
Some properties of the Thom spectrum over loop suspension of complex projective space
Authors:
Andrew Baker,
Birgit Richter
Abstract:
This note provides a reference for some properties of the Thom spectrum $Mξ$ over $ΩΣ\CPi$. Some of this material is used in recent work of Kitchloo and Morava. We determine the $Mξ$-cohomology of $\CPi$ and show that $Mξ^*(\CPi)$ injects into power series over the algebra of non-symmetric functions. We show that $Mξ$ gives rise to a commutative formal group law over the non-commutative ring…
▽ More
This note provides a reference for some properties of the Thom spectrum $Mξ$ over $ΩΣ\CPi$. Some of this material is used in recent work of Kitchloo and Morava. We determine the $Mξ$-cohomology of $\CPi$ and show that $Mξ^*(\CPi)$ injects into power series over the algebra of non-symmetric functions. We show that $Mξ$ gives rise to a commutative formal group law over the non-commutative ring $π_*Mξ$. We also discuss how $Mξ$ and some real and quaternionic analogues behave with respect to spectra that are related to these Thom spectra by splittings and by maps.
△ Less
Submitted 16 January, 2013; v1 submitted 20 July, 2012;
originally announced July 2012.
-
Brauer groups for commutative $S$-algebras
Authors:
Andrew Baker,
Birgit Richter,
Markus Szymik
Abstract:
We investigate a notion of Azumaya algebras in the context of structured ring spectra and give a definition of Brauer groups. We investigate their Galois theoretic properties, and discuss examples of Azumaya algebras arising from Galois descent and cyclic algebras. We construct examples that are related to topological Hochschild cohomology of group ring spectra and we present a K(n)-local variant…
▽ More
We investigate a notion of Azumaya algebras in the context of structured ring spectra and give a definition of Brauer groups. We investigate their Galois theoretic properties, and discuss examples of Azumaya algebras arising from Galois descent and cyclic algebras. We construct examples that are related to topological Hochschild cohomology of group ring spectra and we present a K(n)-local variant of the notion of Brauer groups.
△ Less
Submitted 2 February, 2012; v1 submitted 28 May, 2010;
originally announced May 2010.
-
Some properties of Lubin-Tate cohomology for classifying spaces of finite groups
Authors:
Andrew Baker,
Birgit Richter
Abstract:
We consider brave new cochain extensions $F(BG_+,R)\to F(EG_+,R)$, where $R$ is either a Lubin-Tate spectrum $E_n$ or the related 2-periodic Morava K-theory $K_n$, and $G$ is a finite group. When $R$ is an Eilenberg-Mac Lane spectrum, in some good cases such an extension is a $G$-Galois extension in the sense of John Rognes, but not always faithful. We prove that for $E_n$ and $K_n$ these extensio…
▽ More
We consider brave new cochain extensions $F(BG_+,R)\to F(EG_+,R)$, where $R$ is either a Lubin-Tate spectrum $E_n$ or the related 2-periodic Morava K-theory $K_n$, and $G$ is a finite group. When $R$ is an Eilenberg-Mac Lane spectrum, in some good cases such an extension is a $G$-Galois extension in the sense of John Rognes, but not always faithful. We prove that for $E_n$ and $K_n$ these extensions are always faithful in the $K_n$ local category. However, for a cyclic $p$-group $C_{p^r}$, the cochain extension $F({BC_{p^r}}_+,E_n) \to F({EC_{p^r}}_+,E_n)$ is not a Galois extensions because it ramifies. As a consequence, it follows that the $E_n$-theory Eilenberg-Moore spectral sequence for $G$ and $BG$ does not always converge to its expected target.
△ Less
Submitted 31 May, 2011; v1 submitted 10 May, 2010;
originally announced May 2010.
-
Stable bundles over rig categories
Authors:
Nils A. Baas,
Bjorn Ian Dundas,
Birgit Richter,
John Rognes
Abstract:
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a geometric cohomology theory of the same telescopic complexity as elliptic cohomology. The main technical step is showing that for well-behaved small rig catego…
▽ More
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a geometric cohomology theory of the same telescopic complexity as elliptic cohomology. The main technical step is showing that for well-behaved small rig categories R (also known as bimonoidal categories) the algebraic K-theory space, K(HR), of the ring spectrum HR associated to R is equivalent to Z \times |BGL(R)|^+, where GL(R) is the monoidal category of weakly invertible matrices over R. If π_0R is a ring this is almost formal, and our approach is to replace R by a ring completed version provided by [BDRR1] whose π_0 is the ring completion of π_0R.
△ Less
Submitted 12 May, 2011; v1 submitted 9 September, 2009;
originally announced September 2009.
-
An interpretation of E_n-homology as functor homology
Authors:
Muriel Livernet,
Birgit Richter
Abstract:
We prove that E_n-homology of non-unital commutative algebras can be described as functor homology when one considers functors from a certain category of planar trees with n levels. For different n these homology theories are connected by natural maps, ranging from Hochschild homology and its higher order versions to Gamma homology.
We prove that E_n-homology of non-unital commutative algebras can be described as functor homology when one considers functors from a certain category of planar trees with n levels. For different n these homology theories are connected by natural maps, ranging from Hochschild homology and its higher order versions to Gamma homology.
△ Less
Submitted 30 May, 2010; v1 submitted 7 July, 2009;
originally announced July 2009.