Showing 1–8 of 8 results for author: Bock, C

Funktionalanalysis Teil I

Authors: Christoph Bock

Abstract: Roughly spoken, Functionalanalysis means the study of the category of infinite-dimensional vectorspaces over the field of real or complex numbers, together with their linear maps. In most cases, one further needs a topological structure on such a vectorspace, because then, you can consider the continuous linear maps between such spaces. The name Functionalanalysis is due to the fact, that in the b… ▽ More Roughly spoken, Functionalanalysis means the study of the category of infinite-dimensional vectorspaces over the field of real or complex numbers, together with their linear maps. In most cases, one further needs a topological structure on such a vectorspace, because then, you can consider the continuous linear maps between such spaces. The name Functionalanalysis is due to the fact, that in the beginning of the theory, the authors wanted to expand Calculus onto functionals of spaces of functions. Functionalanalytical results give the possibility to solve problems in the Theory of (Partial) Differential Equations, in Complex Analysis or in Quantum Mechanics. But the aim of this lines is not to explain the applications. We will discuss the mathematical theory of almost metric spaces, normed vector spaces and algebras, spaces of continuous resp. $p$-integrable functions as well as reflexive and uniformly convex spaces. ad v2: We added that, in the case $p \in {]}0,1{[}$, $L^p$ is the completion of the compactly supported continuous functions (with the obvious metric), too. Actually, the proof is the same as in the case $p \in {[}1, \infty{[}$. △ Less

Submitted 4 March, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: 288 pp, in German

MSC Class: 46-01

Odd-dimensional solvmanifolds are contact

Authors: Christoph Bock

Abstract: Bourgeois proved in [5] that odd-dimensional tori admit a contact structure. We shall prove a more general result: Any odd-dimensional parallelisable closed manifold admits a contact structure. This implies that a solvmanifold $Γ\backslash G$ is contact, where $Γ$ is a lattice in a connected and simply-connected solvable Lie group G of odd dimension. Bourgeois proved in [5] that odd-dimensional tori admit a contact structure. We shall prove a more general result: Any odd-dimensional parallelisable closed manifold admits a contact structure. This implies that a solvmanifold $Γ\backslash G$ is contact, where $Γ$ is a lattice in a connected and simply-connected solvable Lie group G of odd dimension. △ Less

Submitted 27 January, 2024; v1 submitted 10 October, 2021; originally announced October 2021.

MSC Class: Primary: 57R17; Secondary: 53D15

The solution on the geography-problem of non-formal compact (almost) contact manifolds

Authors: Christoph Bock

Abstract: Let $(m,b)$ be a pair of natural numbers. For $m$ odd with $m \ge 7$ (resp. $m \ge 5$) and $b=1$ (resp. $b=0$) we show that there is a non-formal compact (almost) contact $m$-manifold with first Betti number $b_1 = b$. Moreover, in the case $b = 0$ with $m \ge 7$, the manifold even is simply-connected. Let $(m,b)$ be a pair of natural numbers. For $m$ odd with $m \ge 7$ (resp. $m \ge 5$) and $b=1$ (resp. $b=0$) we show that there is a non-formal compact (almost) contact $m$-manifold with first Betti number $b_1 = b$. Moreover, in the case $b = 0$ with $m \ge 7$, the manifold even is simply-connected. △ Less

Submitted 15 January, 2022; v1 submitted 7 April, 2021; originally announced April 2021.

Comments: ad v8: Theorem 2.2 has been corrected

MSC Class: Primary: 57R17; 16E45; Secondary: 57K50; 55S30; 55P62

Uncovering the Topology of Time-Varying fMRI Data using Cubical Persistence

Authors: Bastian Rieck, Tristan Yates, Christian Bock, Karsten Borgwardt, Guy Wolf, Nicholas Turk-Browne, Smita Krishnaswamy

Abstract: Functional magnetic resonance imaging (fMRI) is a crucial technology for gaining insights into cognitive processes in humans. Data amassed from fMRI measurements result in volumetric data sets that vary over time. However, analysing such data presents a challenge due to the large degree of noise and person-to-person variation in how information is represented in the brain. To address this challeng… ▽ More Functional magnetic resonance imaging (fMRI) is a crucial technology for gaining insights into cognitive processes in humans. Data amassed from fMRI measurements result in volumetric data sets that vary over time. However, analysing such data presents a challenge due to the large degree of noise and person-to-person variation in how information is represented in the brain. To address this challenge, we present a novel topological approach that encodes each time point in an fMRI data set as a persistence diagram of topological features, i.e. high-dimensional voids present in the data. This representation naturally does not rely on voxel-by-voxel correspondence and is robust to noise. We show that these time-varying persistence diagrams can be clustered to find meaningful grou**s between participants, and that they are also useful in studying within-subject brain state trajectories of subjects performing a particular task. Here, we apply both clustering and trajectory analysis techniques to a group of participants watching the movie 'Partly Cloudy'. We observe significant differences in both brain state trajectories and overall topological activity between adults and children watching the same movie. △ Less

Submitted 22 October, 2020; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: Accepted at the Conference on Neural Information Processing Systems (NeurIPS) 2020; camera-ready version

On rational homotopy and minimal models

Authors: Christoph Bock

Abstract: We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models. We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models. △ Less

Submitted 13 March, 2019; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:0903.2926

MSC Class: 55P62 (Primary); 16E45 (Secondary)

Journal ref: Forum Math. 33 (2021), no. 1, 283-288

Neural Persistence: A Complexity Measure for Deep Neural Networks Using Algebraic Topology

Authors: Bastian Rieck, Matteo Togninalli, Christian Bock, Michael Moor, Max Horn, Thomas Gumbsch, Karsten Borgwardt

Abstract: While many approaches to make neural networks more fathomable have been proposed, they are restricted to interrogating the network with input data. Measures for characterizing and monitoring structural properties, however, have not been developed. In this work, we propose neural persistence, a complexity measure for neural network architectures based on topological data analysis on weighted strati… ▽ More While many approaches to make neural networks more fathomable have been proposed, they are restricted to interrogating the network with input data. Measures for characterizing and monitoring structural properties, however, have not been developed. In this work, we propose neural persistence, a complexity measure for neural network architectures based on topological data analysis on weighted stratified graphs. To demonstrate the usefulness of our approach, we show that neural persistence reflects best practices developed in the deep learning community such as dropout and batch normalization. Moreover, we derive a neural persistence-based stop** criterion that shortens the training process while achieving comparable accuracies as early stop** based on validation loss. △ Less

Submitted 27 September, 2019; v1 submitted 23 December, 2018; originally announced December 2018.

Comments: Published as a conference paper at ICLR 2019

On Low-Dimensional Solvmanifolds

Authors: Christoph Bock

Abstract: A nilmanifold resp. solvmanifold is a compact homogeneous space of a connected and simply-connected nilpotent resp. solvable Lie group by a lattice, i.e. a discrete co-compact subgroup. There is an easy criterion for nilpotent Lie groups which enables one to decide whether there is a lattice or not. Moreover, it is easy to decide whether a nilmanifold is formal, Kaehlerian or (Hard) Lefschetz.… ▽ More A nilmanifold resp. solvmanifold is a compact homogeneous space of a connected and simply-connected nilpotent resp. solvable Lie group by a lattice, i.e. a discrete co-compact subgroup. There is an easy criterion for nilpotent Lie groups which enables one to decide whether there is a lattice or not. Moreover, it is easy to decide whether a nilmanifold is formal, Kaehlerian or (Hard) Lefschetz. The study of solvmanifolds meets with noticeably greater obstacles than the study of nilmanifolds. Even the construction of solvmanifolds is considerably more difficult than is the case for nilmanifolds. The reason is that there is no simple criterion for the existence of a lattice in a connected and simply-connected solvable Lie group. We consider the question of existence of lattices in solvable Lie groups up to dimension six and examine whether the corresponding solvmanifolds are formal, symplectic, Kaehler or (Hard) Lefschetz. △ Less

Submitted 31 August, 2009; v1 submitted 17 March, 2009; originally announced March 2009.

Comments: 105 pages, 36 tables; ad v4: References to other papers added

MSC Class: 53C30; 57T15; 57R17

Journal ref: Asian J. Math. 20 (2016), no. 2, 199-262

Geography of non-formal symplectic and contact manifolds

Authors: Christoph Bock

Abstract: Let (m,b) a pair of natural numbers. For m even (resp. m odd and b greater than or equal to 2) we show that if there is an m-dimensional non-formal compact oriented manifold whose first Betti number equals b, there is also a symplectic (resp. contact) manifold with these properties. Let (m,b) a pair of natural numbers. For m even (resp. m odd and b greater than or equal to 2) we show that if there is an m-dimensional non-formal compact oriented manifold whose first Betti number equals b, there is also a symplectic (resp. contact) manifold with these properties. △ Less

Submitted 6 July, 2009; v1 submitted 8 December, 2008; originally announced December 2008.

Comments: 11 pages; ad v2: revised version, accepted for publication in Forum Mathematicum

MSC Class: 57R17; 55S30; 55P62

Journal ref: Forum Math. 23 (2011), no. 4, 713-727