Showing 1–49 of 49 results for author: Weiss, M

Two Models for Surface Segmentation using the Total Variation of the Normal Vector

Authors: Lukas Baumgärtner, Ronny Bergmann, Roland Herzog, Stephan Schmidt, Manuel Weiß

Abstract: We consider the problem of surface segmentation, where the goal is to partition a surface represented by a triangular mesh. The segmentation is based on the similarity of the normal vector field to a given set of label vectors. We propose a variational approach and compare two different regularizers, both based on a total variation measure. The first regularizer penalizes the total variation of th… ▽ More We consider the problem of surface segmentation, where the goal is to partition a surface represented by a triangular mesh. The segmentation is based on the similarity of the normal vector field to a given set of label vectors. We propose a variational approach and compare two different regularizers, both based on a total variation measure. The first regularizer penalizes the total variation of the assignment function directly, while the second regularizer penalizes the total variation in the label space. In order to solve the resulting optimization problems, we use variations of the split Bregman (ADMM) iteration adapted to the problem at hand. While computationally more expensive, the second regularizer yields better results in our experiments, in particular it removes noise more reliably in regions of constant curvature. △ Less

Submitted 30 November, 2024; originally announced December 2024.

Algorithms in 4-manifold topology

Authors: Stefan Bastl, Rhuaidi Burke, Rima Chatterjee, Subhankar Dey, Alison Durst, Stefan Friedl, Daniel Galvin, Alejandro García Rivas, Tobias Hirsch, Cara Hobohm, Chun-Sheng Hsueh, Marc Kegel, Frieda Kern, Shun Ming Samuel Lee, Clara Löh, Naageswaran Manikandan, Léo Mousseau, Lars Munser, Mark Pencovitch, Patrick Perras, Mark Powell, José Pedro Quintanilha, Lisa Schambeck, David Suchodoll, Martin Tancer , et al. (6 additional authors not shown)

Abstract: We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm.… ▽ More We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm. Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from any of its Kirby diagrams and describe an algorithm that decides whether or not two intersection forms are isometric. In a slightly different direction, we discuss the decidability of the stable classification of smooth manifolds with more general fundamental groups. Here we show that there exists an algorithm that takes as input two closed, oriented, smooth 4-manifolds with fundamental groups isomorphic to a finite group with cyclic Sylow 2-subgroup, an infinite cyclic group, or a group of geometric dimension at most 3 (in the latter case we additionally assume that the universal covers of both 4-manifolds are not spin), and decides whether or not these two 4-manifolds are orientation-preserving stably diffeomorphic. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 24 pages, 1 Figure

Report number: MPIM-Bonn-2024 MSC Class: 57K40; 57K10; 57R65

Interplay of Cubic Graphs and Simplicial Surfaces

Authors: Meike Weiß, Alice C. Niemeyer

Abstract: Simplicial surfaces describe the incidence relations between vertices, edges and faces of triangulated 2-dimensional manifolds in a purely combinatorial way. By considering only the incidences of edges and faces, simplicial surfaces are closely related to cubic graphs. In this paper we investigate how properties of simplicial surfaces and cubic graphs can be transferred to each other. Furthermore,… ▽ More Simplicial surfaces describe the incidence relations between vertices, edges and faces of triangulated 2-dimensional manifolds in a purely combinatorial way. By considering only the incidences of edges and faces, simplicial surfaces are closely related to cubic graphs. In this paper we investigate how properties of simplicial surfaces and cubic graphs can be transferred to each other. Furthermore, we study embeddings of cubic graphs on simplicial surfaces and how they are connected to strong graph embeddings. For instance, 3-connected cubic planar graphs are uniquely embeddable on simplicial spheres, which is a direct consequence of Whitney's embedding theorem. Moreover, 3-connected cubic planar graphs can also be embedded on simplicial surfaces of higher genus. We characterise the properties that a simplicial sphere must possess such that the cubic graph describing its edge-face incidence relation can be embedded on a simplicial surface of non-negative Euler characteristic. △ Less

Submitted 25 June, 2025; v1 submitted 29 October, 2024; originally announced October 2024.

Comments: Wrong number of embeddings on the Klein bottle

Strong Embeddings of 3-connected Cubic Planar Graphs on Surfaces of non-negative Euler Characteristic

Authors: Meike Weiß, Alice C. Niemeyer

Abstract: Whitney proved that 3-connected planar graphs can be embedded uniquely on the sphere. In general, such a graph may also have embeddings on different surfaces. Enami focused on cubic graphs and showed that a 3-connected cubic planar graph can be re-embedded on a surface of non-negative Euler characteristic if and only if the dual graph contains a specific subgraph. Motivated by applications to tria… ▽ More Whitney proved that 3-connected planar graphs can be embedded uniquely on the sphere. In general, such a graph may also have embeddings on different surfaces. Enami focused on cubic graphs and showed that a 3-connected cubic planar graph can be re-embedded on a surface of non-negative Euler characteristic if and only if the dual graph contains a specific subgraph. Motivated by applications to triangulated surfaces, we investigate strong re-embeddings and show that these are characterised by a subset of Enami's subgraphs. Additionally, we provide criteria for when a graph does not possess a strong re-embedding on the projective plane, the torus or the Klein bottle. △ Less

Submitted 25 July, 2024; originally announced July 2024.

Homology manifolds and euclidean bundles

Authors: Fabian Hebestreit, Markus Land, Michael Weiss, Christoph Winges

Abstract: We construct a Poincaré complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature: Namely, on the one hand that a Poincaré complex with vanishing periodic total surgery obstruction is homotopy equivalent to a homology manifold, which appears in… ▽ More We construct a Poincaré complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature: Namely, on the one hand that a Poincaré complex with vanishing periodic total surgery obstruction is homotopy equivalent to a homology manifold, which appears in work of Bryant--Ferry--Mio--Weinberger, and on the other that the Spivak normal fibration of a homology manifold always admits a reduction to a stable euclidean bundle, which appears in work of Ferry--Pedersen. △ Less

Submitted 20 June, 2024; originally announced June 2024.

The torus trick for configuration categories

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: We show that in codimension at least 3, spaces of locally flat topological embeddings of manifolds are correctly modelled by derived spaces of maps between their configuration categories (under mild smoothability conditions). That general claim was reduced in an earlier paper to the special cases where the manifolds in question are euclidean spaces. We deal with these special cases by comparing to… ▽ More We show that in codimension at least 3, spaces of locally flat topological embeddings of manifolds are correctly modelled by derived spaces of maps between their configuration categories (under mild smoothability conditions). That general claim was reduced in an earlier paper to the special cases where the manifolds in question are euclidean spaces. We deal with these special cases by comparing to other special cases where the manifolds have the form "torus" and "torus times euclidean space" respectively, and by setting up a torus trick for configuration categories. △ Less

Submitted 30 September, 2024; v1 submitted 1 January, 2024; originally announced January 2024.

Comments: 52 pages. Changes in v3: some minor changes to sections 4 and appendix A and bigger changes to sections 6 and 7

MSC Class: 57R40 (Primary) 55U40; 55P4 (Secondary)

Presentations of configuration categories

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as a complete Segal space if the manifold in question is the interior of a compact manifold. The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as a complete Segal space if the manifold in question is the interior of a compact manifold. △ Less

Submitted 1 January, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 15 pages

MSC Class: 57R40 (Primary); 55U40; 55P48 (Secondary)

The configuration category of a covering space

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: We investigate the relationship between the configuration category of a manifold and the configuration category of a covering space of that manifold. We investigate the relationship between the configuration category of a manifold and the configuration category of a covering space of that manifold. △ Less

Submitted 1 January, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 18 pages

MSC Class: 57R40 (Primary) 55U40; 55P48 (Secondary)

Surface quotient singularities and bigness of the cotangent bundle: Part II

Authors: Yohannes D. Asega, Bruno De Oliveira, Michael Weiss

Abstract: In two parts, we present a bigness criterion for the cotangent bundle of resolutions of orbifold surfaces of general type. As a corollary, we obtain the \textit{canonical model singularities} (CMS) criterion that can be applied to determine when a birational class of surfaces has smooth representatives with big cotangent bundle and compare it with other known criteria. We then apply this criterion… ▽ More In two parts, we present a bigness criterion for the cotangent bundle of resolutions of orbifold surfaces of general type. As a corollary, we obtain the \textit{canonical model singularities} (CMS) criterion that can be applied to determine when a birational class of surfaces has smooth representatives with big cotangent bundle and compare it with other known criteria. We then apply this criterion to the problem of finding the minimal degrees $d$ for which the deformation equivalence class of a smooth hypersurface of degree d in $\PP^3$ has a representative with big cotangent bundle; applications to the minimal resolutions of cyclic covers of $\PP^2$ branched along line arrangements in general position are also obtained. The CMS criterion involves invariants of canonical singularities whose values were unknown. In this part of the work, we describe a method of finding these invariants and obtain formulas for $A_n$-singularities. We also use our approach to derive several extension results for symmetric differentials on the complement of the exceptional locus $E$ of the minimal resolution of an $A_n$-singularity; namely, we characterize the precise extent to which the poles along $E$ of symmetric differentials on the complement are milder than logarithmic poles. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 40 pages

Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies

Authors: Tom Goertzen, Domen Macek, Lukas Schnelle, Meike Weiß, Stefanie Reese, Hagen Holthusen, Alice C. Niemeyer

Abstract: Topological Interlocking assemblies are arrangements of blocks kinematically constrained by a fixed frame, such that all rigid body motions of each block are constrained only by its permanent contact with other blocks and the frame. In the literature several blocks are introduced that can be arranged into different interlocking assemblies. In this study we investigate the influence of arrangement… ▽ More Topological Interlocking assemblies are arrangements of blocks kinematically constrained by a fixed frame, such that all rigid body motions of each block are constrained only by its permanent contact with other blocks and the frame. In the literature several blocks are introduced that can be arranged into different interlocking assemblies. In this study we investigate the influence of arrangement on the overall structural behaviour of the resulting interlocking assemblies. This is performed using the Versatile Block, as it can be arranged in three different doubly periodic ways given by wallpaper symmetries. Our focus lies on the load transfer mechanisms from the assembly onto the frame. For fast a priori evaluation of the assemblies we introduce a combinatorial model called Interlocking Flows. To investigate our assemblies from a mechanical point of view we conduct several finite element studies. These reveal a strong influence of arrangement on the structural behaviour, for instance, an impact on both the point and amount of maximum deflection. The results of the finite element analysis are in very good agreement with the predictions of the Interlocking Flow model. Our source code, data and examples are available under https://doi.org/10.5281/zenodo.10246034. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Journal ref: International Journal of Solids and Structures, 306, 2025, 113102

Optimization of Cartesian Tasks with Configuration Selection

Authors: Martin G. Weiß

Abstract: A basic task in the design of an industrial robot application is the relative placement of robot and workpiece. Process points are defined in Cartesian coordinates relative to the workpiece coordinate system, and the workpiece has to be located such that the robot can reach all points. Finding such a location is still an iterative procedure based on the developers' intuition. One difficulty is the… ▽ More A basic task in the design of an industrial robot application is the relative placement of robot and workpiece. Process points are defined in Cartesian coordinates relative to the workpiece coordinate system, and the workpiece has to be located such that the robot can reach all points. Finding such a location is still an iterative procedure based on the developers' intuition. One difficulty is the choice of one of the several solutions of the backward transform of a typical 6R robot. % combined with the limited range of the axes. We present a novel algorithm that simultaneously optimizes the workpiece location and the robot configuration at all process points using higher order optimization algorithms. A key ingredient is the extension of the robot with a virtual prismatic axis. The practical feasibility of the approach is shown with an example using a commercial industrial robot. △ Less

Submitted 18 February, 2023; originally announced February 2023.

Comments: 8 pages, 2nd IMA Conference on Mathematics of Robotics, 2021

MSC Class: 90C26

A Dynamical Systems Approach to the Theory of Circumbinary Orbits in the Circular Restricted Problem

Authors: Andrew Langford, Lauren M. Weiss

Abstract: To better understand the orbital dynamics of exoplanets around close binary stars, i.e., circumbinary planets (CBPs), we applied techniques from dynamical systems theory to a physically motivated set of solutions in the Circular Restricted Three-Body Problem (CR3BP). We applied Floquet theory to characterize the linear dynamical behavior -- static, oscillatory, or exponential -- surrounding planar… ▽ More To better understand the orbital dynamics of exoplanets around close binary stars, i.e., circumbinary planets (CBPs), we applied techniques from dynamical systems theory to a physically motivated set of solutions in the Circular Restricted Three-Body Problem (CR3BP). We applied Floquet theory to characterize the linear dynamical behavior -- static, oscillatory, or exponential -- surrounding planar circumbinary periodic trajectories (limit cycles). We computed prograde and retrograde limit cycles and analyzed their geometries, stability bifurcations, and dynamical structures. Orbit and stability calculations are exact computations in the CR3BP and reproducible through the open-source Python package pyraa. The periodic trajectories produce a set of non-crossing, dynamically cool circumbinary orbits conducive to planetesimal growth. For mass ratios $μ\in [0.01, 0.50]$ we found recurring features in the prograde families. These features include: (1) an innermost near-circular trajectory, inside which solutions have resonant geometries, (2) an innermost stable trajectory ($a_{cr} \approx 1.61 - 1.85 \, a_\textrm{bin}$) characterized by a tangent bifurcating limit cycle, and (3) a region of dynamical instability ($a \approx 2.1 \ a_\textrm{bin}; Δa \approx 0.1 \ a_\textrm{bin}$), the exclusion zone, bounded by a pair of critically stable trajectories -- bifurcating limit cycles. The exterior boundary of the exclusion zone is consistent with prior determinations of $a_{cr}$ around a circular binary. We validate our analytic results with N-body simulations and apply them to the Pluto-Charon system. The absence of detected CBPs in the inner stable region, between the prograde exclusion zone and $a_{cr}$, suggests that the exclusion zone may inhibit the inward migration of CBPs. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: Accepted for publication in The Astronomical Journal. 31 pages, 17 figures, 4 tables, open-source results from numerical computations

Non-Convergence and Limit Cycles in the Adam optimizer

Authors: Sebastian Bock, Martin Georg Weiß

Abstract: One of the most popular training algorithms for deep neural networks is the Adaptive Moment Estimation (Adam) introduced by Kingma and Ba. Despite its success in many applications there is no satisfactory convergence analysis: only local convergence can be shown for batch mode under some restrictions on the hyperparameters, counterexamples exist for incremental mode. Recent results show that for s… ▽ More One of the most popular training algorithms for deep neural networks is the Adaptive Moment Estimation (Adam) introduced by Kingma and Ba. Despite its success in many applications there is no satisfactory convergence analysis: only local convergence can be shown for batch mode under some restrictions on the hyperparameters, counterexamples exist for incremental mode. Recent results show that for simple quadratic objective functions limit cycles of period 2 exist in batch mode, but only for atypical hyperparameters, and only for the algorithm without bias correction. %More general there are several more adaptive gradient methods which try to estimate a fitting learning rate and / or search direction from the training data to improve the learning process compared to pure gradient descent with fixed learningrate. We extend the convergence analysis for Adam in the batch mode with bias correction and show that even for quadratic objective functions as the simplest case of convex functions 2-limit-cycles exist, for all choices of the hyperparameters. We analyze the stability of these limit cycles and relate our analysis to other results where approximate convergence was shown, but under the additional assumption of bounded gradients which does not apply to quadratic functions. The investigation heavily relies on the use of computer algebra due to the complexity of the equations. △ Less

Submitted 5 October, 2022; originally announced October 2022.

The Proximal Map of the Weighted Mean Absolute Error

Authors: Lukas Baumgärtner, Roland Herzog, Stephan Schmidt, Manuel Weiß

Abstract: We investigate the proximal map for the weighted mean absolute error function. An algorithm for its efficient and vectorized evaluation is presented. As a demonstration, this algorithm is applied as part of a checkerboard algorithm to solve a total-variation image denoising (ROF) problem as well as a non-smooth energy minimization problem. We investigate the proximal map for the weighted mean absolute error function. An algorithm for its efficient and vectorized evaluation is presented. As a demonstration, this algorithm is applied as part of a checkerboard algorithm to solve a total-variation image denoising (ROF) problem as well as a non-smooth energy minimization problem. △ Less

Submitted 8 February, 2023; v1 submitted 27 September, 2022; originally announced September 2022.

Veldkamp quadrangles and polar spaces

Authors: Richard M. Weiss, Bernhard Mühlherr

Abstract: Veldkamp polygons are certain graphs $Γ=(V,E)$ such that for each $v\in V$, $Γ_v$ is endowed with a symmetric anti-reflexive relation $\equiv_v$. These relations are all trivial if and only if $Γ$ is a thick generalized polygon. A Veldkamp polygon is called flat if no two vertices have the same set of vertices that are opposite in a natural sense. We explore the connection between Veldkamp quadran… ▽ More Veldkamp polygons are certain graphs $Γ=(V,E)$ such that for each $v\in V$, $Γ_v$ is endowed with a symmetric anti-reflexive relation $\equiv_v$. These relations are all trivial if and only if $Γ$ is a thick generalized polygon. A Veldkamp polygon is called flat if no two vertices have the same set of vertices that are opposite in a natural sense. We explore the connection between Veldkamp quadrangles and polar spaces. Using this connection, we give the complete classification of flat Veldkamp quadrangles in which some but not all of the relations $\equiv_v$ are trivial. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 27 pages

MSC Class: 20E42; 51E12; 51E24

Local Convergence of Adaptive Gradient Descent Optimizers

Authors: Sebastian Bock, Martin Georg Weiß

Abstract: Adaptive Moment Estimation (ADAM) is a very popular training algorithm for deep neural networks and belongs to the family of adaptive gradient descent optimizers. However to the best of the authors knowledge no complete convergence analysis exists for ADAM. The contribution of this paper is a method for the local convergence analysis in batch mode for a deterministic fixed training set, which give… ▽ More Adaptive Moment Estimation (ADAM) is a very popular training algorithm for deep neural networks and belongs to the family of adaptive gradient descent optimizers. However to the best of the authors knowledge no complete convergence analysis exists for ADAM. The contribution of this paper is a method for the local convergence analysis in batch mode for a deterministic fixed training set, which gives necessary conditions for the hyperparameters of the ADAM algorithm. Due to the local nature of the arguments the objective function can be non-convex but must be at least twice continuously differentiable. Then we apply this procedure to other adaptive gradient descent algorithms and show for most of them local convergence with hyperparameter bounds. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Mesh Denoising and Inpainting using the Total Variation of the Normal and a Shape Newton Approach

Authors: Lukas Baumgärtner, Ronny Bergmann, Roland Herzog, Stephan Schmidt, José Vidal-Núñez, Manuel Weiß

Abstract: We present a novel approach to denoising and inpainting problems for surface meshes. The purpose of these problems is to remove noise or fill in missing parts while preserving important features such as sharp edges. A discrete variant of the total variation of the unit normal vector field serves as a regularizing functional to achieve these goals. In order to solve the resulting problem, we use a… ▽ More We present a novel approach to denoising and inpainting problems for surface meshes. The purpose of these problems is to remove noise or fill in missing parts while preserving important features such as sharp edges. A discrete variant of the total variation of the unit normal vector field serves as a regularizing functional to achieve these goals. In order to solve the resulting problem, we use a version of the split Bregman (ADMM) iteration adapted to the problem. A new formulation of the total variation regularizer, as well as the use of an inexact Newton method for the shape optimization step, bring significant speed-up compared to earlier methods. Numerical examples are included, demonstrating the performance of our algorithm with some complex 3D geometries. △ Less

Submitted 12 March, 2024; v1 submitted 21 December, 2020; originally announced December 2020.

Journal ref: SIAM Journal on Scientific Computing, 47.1 (2025)

Binary recurrences for which powers of two are discriminating moduli

Authors: A. de Clercq, F. Luca, L. Martirosyan, M. Matthis, P. Moree, M. A. Stoumen, M. Weiß

Abstract: Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that… ▽ More Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that $\mathcal{D}_{\bf w}(2^e)=2^e$ for every $e\geq 1.$ For all of these sequences it is expected that one can actually give a fairly simple description of $\mathcal{D}_{\bf w}(n)$ for every $n\ge 1.$ For two infinite families of such sequences this has been done already in 2019 by Faye, Luca and Moree, respectively Ciolan and Moree. △ Less

Submitted 30 November, 2020; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 10 pages, 2 tables, final version

Report number: Max Planck Institute for Mathematics Preprint 2020-15

Journal ref: J. Integer Sequences 23 (2020), Article 20.11.3, pp. 10

Resolutions of surfaces with big cotangent bundle and $A_2$ singularities

Authors: Bruno De Oliveira, Michael L Weiss

Abstract: We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$. We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 14 pages

Journal ref: Boletim da SPM 77 (December 2019)

Spectral content of a single non-Brownian trajectory

Authors: D. Krapf, N. Lukat, E. Marinari, R. Metzler, G. Oshanin, C. Selhuber-Unkel, A. Squarcini, L. Stadler, M. Weiss, X. Xu

Abstract: Time-dependent processes are often analysed using the power spectral density (PSD), calculated by taking an appropriate Fourier transform of individual trajectories and finding the associated ensemble-average. Frequently, the available experimental data sets are too small for such ensemble averages, and hence it is of a great conceptual and practical importance to understand to which extent releva… ▽ More Time-dependent processes are often analysed using the power spectral density (PSD), calculated by taking an appropriate Fourier transform of individual trajectories and finding the associated ensemble-average. Frequently, the available experimental data sets are too small for such ensemble averages, and hence it is of a great conceptual and practical importance to understand to which extent relevant information can be gained from $S(f,T)$, the PSD of a single trajectory. Here we focus on the behavior of this random, realization-dependent variable, parametrized by frequency $f$ and observation-time $T$, for a broad family of anomalous diffusions---fractional Brownian motion (fBm) with Hurst-index $H$---and derive exactly its probability density function. We show that $S(f,T)$ is proportional---up to a random numerical factor whose universal distribution we determine---to the ensemble-averaged PSD. For subdiffusion ($H<1/2$) we find that $S(f,T)\sim A/f^{2H+1}$ with random-amplitude $A$. In sharp contrast, for superdiffusion $(H>1/2)$ $S(f,T)\sim BT^{2H-1}/f^2$ with random amplitude $B$. Remarkably, for $H>1/2$ the PSD exhibits the same frequency-dependence as Brownian motion, a deceptive property that may lead to false conclusions when interpreting experimental data. Notably, for $H>1/2$ the PSD is ageing and is dependent on $T$. Our predictions for both sub- and superdiffusion are confirmed by experiments in live cells and in agarose hydrogels, and by extensive simulations. △ Less

Submitted 1 February, 2019; originally announced February 2019.

Comments: 13 pages, 5 figures, Supplemental Material can be found at https://journals.aps.org/prx/supplemental/10.1103/PhysRevX.9.011019/prx_SM_final.pdf

Journal ref: Phys. Rev. X 9, 011019 (2019)

Optimal Object Placement using a Virtual Axis

Authors: Martin Weiß

Abstract: A basic task in the design of a robotic production cell is the relative placement of robot and workpiece. The fundamental requirement is that the robot can reach all process positions; only then one can think of further optimization. Therefore an algorithm that automatically places an object into the workspace is very desirable. However many iterative optimzation algorithms cannot guarantee that a… ▽ More A basic task in the design of a robotic production cell is the relative placement of robot and workpiece. The fundamental requirement is that the robot can reach all process positions; only then one can think of further optimization. Therefore an algorithm that automatically places an object into the workspace is very desirable. However many iterative optimzation algorithms cannot guarantee that all intermediate steps are reachable, resulting in complicated procedures. We present a novel approach which extends a robot by a virtual prismatic joint - which measures the distance to the workspace - such that any TCP frames are reachable. This allows higher order nonlinear programming algorithms to be used for placement of an object alone as well as the optimal placement under some differentiable criterion. △ Less

Submitted 1 January, 2019; originally announced January 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1811.07137

MSC Class: 90C26

Tits Endomorphisms and Buildings of Type $F_4$

Authors: Tom De Medts, Yoav Segev, Richard M. Weiss

Abstract: The fixed point building of a polarity of a Moufang quadrangle of type $F_4$ is a Moufang set, as is the fixed point building of a semi-linear automorphism of order $2$ of a Moufang octagon that stabilizes at least two panels of one type but none of the other. We show that these two classes of Moufang sets are, in fact, the same, that each member of this class can be constructed as the fixed point… ▽ More The fixed point building of a polarity of a Moufang quadrangle of type $F_4$ is a Moufang set, as is the fixed point building of a semi-linear automorphism of order $2$ of a Moufang octagon that stabilizes at least two panels of one type but none of the other. We show that these two classes of Moufang sets are, in fact, the same, that each member of this class can be constructed as the fixed point building of a group of order $4$ acting on a building of type $F_4$ and that the group generated by all the root groups of any one of these Moufang sets is simple. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 55 pages, will appear in Annales de l'Institut Fourier

MSC Class: 20E42; 51E12; 51E24

Journal ref: Ann. Inst. Fourier 67 (2017), 2349-2421

The configuration category of a product

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: A construction related to the Boardman-Vogt tensor product of operads allows us to describe the configuration category of a product manifold $M\times N$ in terms of the configuration categories of the factors $M$ and $N$. A construction related to the Boardman-Vogt tensor product of operads allows us to describe the configuration category of a product manifold $M\times N$ in terms of the configuration categories of the factors $M$ and $N$. △ Less

Submitted 24 November, 2017; v1 submitted 24 January, 2017; originally announced January 2017.

Comments: 15 pages. v2: added details and theorem 2

MSC Class: 57R40; 55U40; 55P48

Topological embeddings of disks via configuration categories

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: The functor that takes a manifold to its configuration category exhibits a type of full faithfulness in some cases. The functor that takes a manifold to its configuration category exhibits a type of full faithfulness in some cases. △ Less

Submitted 12 July, 2016; originally announced July 2016.

Comments: 2 pages

MSC Class: 57R40; 55U40; 55P48

On the Distribution of Rational Squares

Authors: Michael Weiss

Abstract: Let $a$ be a positive integer, and let $σ(a)$ denote the least natural number $s$ such that an integer square lies between $s^2 a$ and $s^2 (a+1)$; let $τ_s(a)$ denote the number of such integer squares. The function $σ(a)$ and the sequence $(τ_s(a))_{s \in \mathbb{Z}^+}$ are studied, and are observed to exhibit surprisingly chaotic behavior. Upper- and lower-bounds for $σ(a)$ are derived, as are… ▽ More Let $a$ be a positive integer, and let $σ(a)$ denote the least natural number $s$ such that an integer square lies between $s^2 a$ and $s^2 (a+1)$; let $τ_s(a)$ denote the number of such integer squares. The function $σ(a)$ and the sequence $(τ_s(a))_{s \in \mathbb{Z}^+}$ are studied, and are observed to exhibit surprisingly chaotic behavior. Upper- and lower-bounds for $σ(a)$ are derived, as are criteria for when they are sharp. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 12 pages. A shorter version of this paper is to be submitted to the American Mathematical Monthly

Dalian notes on rational Pontryagin classes

Authors: Michael S. Weiss

Abstract: The rational Pontryagin classes, evaluated on fiber bundles where the fiber is a 2n-dimensional euclidean space, can be nonzero in cohomology dimensions much greater than 4n. This makes a striking contrast with the Pontryagin classes of vector bundles. The rational Pontryagin classes, evaluated on fiber bundles where the fiber is a 2n-dimensional euclidean space, can be nonzero in cohomology dimensions much greater than 4n. This makes a striking contrast with the Pontryagin classes of vector bundles. △ Less

Submitted 27 December, 2020; v1 submitted 1 July, 2015; originally announced July 2015.

Comments: v2: corrections in appendix A, references added. v3: new appendix B. v4: bibliography updated, appendix A downsized, typos corrected. v5: abstract added. v6: details added. v7: section 2 simplified, minor mistakes corrected. v8: new fonts, erroneous crossrefs corrected. This will be published under another title, "Rational Pontryagin classes of Euclidean fiber bundles"

MSC Class: 57N55; 57R20; 57R40

Journal ref: Geom. Topol. 25 (2021) 3351-3424

Truncated operads and simplicial spaces

Authors: Michael S. Weiss

Abstract: It was shown in a recent paper by Boavida de Brito and Weiss that a well-known construction which to a plain (=monochromatic) topological operad associates a topological category and a functor from it to the category of finite sets is homotopically fully faithful, under mild conditions on the operads. The main result here is a generalization of that statement to k-truncated plain topological opera… ▽ More It was shown in a recent paper by Boavida de Brito and Weiss that a well-known construction which to a plain (=monochromatic) topological operad associates a topological category and a functor from it to the category of finite sets is homotopically fully faithful, under mild conditions on the operads. The main result here is a generalization of that statement to k-truncated plain topological operads. A k-truncated operad is a weaker version of operad where all operations have arity at most k. △ Less

Submitted 10 January, 2018; v1 submitted 24 March, 2015; originally announced March 2015.

Comments: v2: just a few typos corrected. v3: corrections end of section 2

MSC Class: 55U40

Journal ref: Tunisian J. Math. 1 (2019) 109-126

Configuration categories and homotopy automorphisms

Authors: Michael S Weiss

Abstract: Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of derived homotopy automorphisms of the configuration category of the interior of M then acts on the homotopical model of the pair (M,boundary of M), in a way which is… ▽ More Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of derived homotopy automorphisms of the configuration category of the interior of M then acts on the homotopical model of the pair (M,boundary of M), in a way which is compatible with a known homotopical action of the homeomorphism group of M minus boundary on (M,boundary of M). △ Less

Submitted 11 September, 2018; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: v2: introduction added, appendix added. Some updates reflecting corrections and changes in the prequel v3: some typos corrected, references updated, many explanations added

MSC Class: 57R19; 55P65

Occupants in manifolds

Authors: Steffen Tillmann, Michael S. Weiss

Abstract: Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K. Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K. △ Less

Submitted 3 February, 2016; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: There is a sequel to this paper: title "Configuration categories and homotopy automorphisms". v2: some typos corrected, v3: some errors in section 1 corrected. v4: more errors corrected and therefore number of authors increased from 1 to 2. v5: more errors corrected especially in section 3. v6: just a few typos corrected and pointers added

MSC Class: 57R19; 55P65

Spaces of smooth embeddings and configuration categories

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: In the homotopical study of spaces of smooth embeddings, the functor calculus method (Goodwillie-Klein-Weiss manifold calculus) has opened up important connections to operad theory. Using this and a few simplifying observations, we arrive at an operadic description of the obstructions to deforming smooth immersions into smooth embeddings. We give an application which in some respects improves on r… ▽ More In the homotopical study of spaces of smooth embeddings, the functor calculus method (Goodwillie-Klein-Weiss manifold calculus) has opened up important connections to operad theory. Using this and a few simplifying observations, we arrive at an operadic description of the obstructions to deforming smooth immersions into smooth embeddings. We give an application which in some respects improves on recent results of Arone-Turchin and Dwyer-Hess concerning high-dimensional variants of spaces of long knots. △ Less

Submitted 11 November, 2017; v1 submitted 5 February, 2015; originally announced February 2015.

Comments: 84 pages. v2: minor errors in section 7 corrected, old section 8 improved and reorganized into three separate sections. v3: typos corrected

MSC Class: 57R40; 55U40; 55P48

Automorphisms of Manifolds and Algebraic K-Theory: Part III

Authors: Michael S. Weiss, E. Bruce Williams

Abstract: The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic L-theory and algebraic K-theory spaces associated with M. The construction refines the well-known surgery theoretic analysis of the block structure space of M in ter… ▽ More The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic L-theory and algebraic K-theory spaces associated with M. The construction refines the well-known surgery theoretic analysis of the block structure space of M in terms of L-theory. △ Less

Submitted 19 August, 2013; originally announced August 2013.

Comments: approx 95 pages

MSC Class: 57R50; 57R65; 57R67; 19J25; 19J10

Manifold calculus and homotopy sheaves

Authors: Pedro Boavida de Brito, Michael S. Weiss

Abstract: Manifold calculus is a form of functor calculus concerned with functors from some category of manifolds to spaces. A weakness in the original formulation is that it is not continuous in the sense that it does not handle well the natural enrichments. In this paper, we correct this by defining an enriched version of manifold calculus which essentially extends the discrete setting. Along the way, we… ▽ More Manifold calculus is a form of functor calculus concerned with functors from some category of manifolds to spaces. A weakness in the original formulation is that it is not continuous in the sense that it does not handle well the natural enrichments. In this paper, we correct this by defining an enriched version of manifold calculus which essentially extends the discrete setting. Along the way, we recast the Taylor tower as a tower of homotopy sheafifications. As a spin-off we obtain a natural connection to operads: the limit of the Taylor tower is a certain (derived) space of right module maps over the framed little discs operad. △ Less

Submitted 21 February, 2013; v1 submitted 6 February, 2012; originally announced February 2012.

Comments: 19 pages; added minor corrections and improvements

Journal ref: Homology, Homotopy and Applications, vol. 15(2), 2013, pp.361-383

Webs of Lagrangian Tori in Projective Symplectic Manifolds

Authors: Jun-Muk Hwang, Richard M. Weiss

Abstract: For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-an… ▽ More For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-angle variables for algebraically completely integrable Hamiltonian systems and Wielandt's theory of subnormal subgroups. △ Less

Submitted 13 January, 2012; v1 submitted 11 January, 2012; originally announced January 2012.

Comments: 18 pages, minor latex problem fixed

MSC Class: 14J40; 32G10; 53B99; 20D35

Functor calculus and the discriminant method

Authors: Rui M. G. Reis, Michael S. Weiss

Abstract: The discriminant method is a tool for describing the cohomology, or the homotopy type, of certain spaces of smooth maps with uncomplicated singularities from a smooth compact manifold L to R^k. We recast some of it in the language of functor calculus. This reformulation allows us to use the discriminant method in a setting where we wish to impose conditions on the multilocal behavior of smooth map… ▽ More The discriminant method is a tool for describing the cohomology, or the homotopy type, of certain spaces of smooth maps with uncomplicated singularities from a smooth compact manifold L to R^k. We recast some of it in the language of functor calculus. This reformulation allows us to use the discriminant method in a setting where we wish to impose conditions on the multilocal behavior of smooth maps f from L to R^k. △ Less

Submitted 19 August, 2013; v1 submitted 8 March, 2011; originally announced March 2011.

Comments: Few changes in v3. Shorter title. Some promises removed

MSC Class: Primary 57R45; Secondary 57R35; 57R70

Rational Pontryagin classes and functor calculus

Authors: Rui M. G. Reis, Michael S. Weiss

Abstract: It is known that in the integral cohomology of BSO(2m), the square of the Euler class is the same as the Pontryagin class in degree 4m. Given that the Pontryagin classes extend rationally to the cohomology of BSTOP(2m), it is reasonable to ask whether the same relation between the Euler class and the Pontryagin class in degree 4m is still valid in the rational cohomology of BSTOP(2m). In this pape… ▽ More It is known that in the integral cohomology of BSO(2m), the square of the Euler class is the same as the Pontryagin class in degree 4m. Given that the Pontryagin classes extend rationally to the cohomology of BSTOP(2m), it is reasonable to ask whether the same relation between the Euler class and the Pontryagin class in degree 4m is still valid in the rational cohomology of BSTOP(2m). In this paper we use smoothing theory and tools from homotopy theory to reformulate the hypothesis, and variants, in a differential topology setting and in a functor calculus setting. △ Less

Submitted 2 March, 2015; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: Very minor changes in the last revision

MSC Class: 57D20 (Primary) 55F40; 57D10 (Secondary)

Compact Totally Disconnected Moufang Buildings

Authors: Theo Grundhofer, Linus Kramer, Hendrik Van Maldeghem, Richard M. Weiss

Abstract: Let $Δ$ be a spherical building each of whose irreducible components is infinite, has rank at least 2 and satisfies the Moufang condition. We show that $Δ$ can be given the structure of a topological building that is compact and totally disconnected precisely when $Δ$ is the building at infinity of a locally finite affine building. Let $Δ$ be a spherical building each of whose irreducible components is infinite, has rank at least 2 and satisfies the Moufang condition. We show that $Δ$ can be given the structure of a topological building that is compact and totally disconnected precisely when $Δ$ is the building at infinity of a locally finite affine building. △ Less

Submitted 7 August, 2011; v1 submitted 30 August, 2010; originally announced August 2010.

Comments: To appear in Tohoku Math. Journal

MSC Class: 20E42; 20G25; 22F50; 51H99

Smooth maps to the plane and Pontryagin classes, Part I: Local aspects

Authors: Rui M. G. Reis, Michael S. Weiss

Abstract: We classify the most common local forms of smooth maps from a smooth manifold L to the plane. The word "local" can refer to locations in the source L, but also to locations in the target. The first point of view leads us to a classification of certain germs of maps, which we review here although it is very well known. The second point of view leads us to a classification of certain multigerms of m… ▽ More We classify the most common local forms of smooth maps from a smooth manifold L to the plane. The word "local" can refer to locations in the source L, but also to locations in the target. The first point of view leads us to a classification of certain germs of maps, which we review here although it is very well known. The second point of view leads us to a classification of certain multigerms of maps. △ Less

Submitted 3 October, 2011; v1 submitted 30 August, 2010; originally announced August 2010.

Comments: 25 pages

MSC Class: 57R45 (Primary) 57R35; 57R70 (Secondary)

The Kneser-Tits conjecture for groups with Tits-index E_{8,2}^{66} over an arbitrary field

Authors: R. Parimala, J. -P. Tignol, R. M. Weiss

Abstract: We prove: (1) The group of multipliers of similitudes of a 12-dimensional anisotropic quadratic form over a field K with trivial discriminant and split Clifford invariant is generated by norms from quadratic extensions E/K such that q_E is hyperbolic. (2) If G is the group of K-rational points of an absolutely simple algebraic group whose Tits index is E_{8,2}^{66}, then G is generated by its root… ▽ More We prove: (1) The group of multipliers of similitudes of a 12-dimensional anisotropic quadratic form over a field K with trivial discriminant and split Clifford invariant is generated by norms from quadratic extensions E/K such that q_E is hyperbolic. (2) If G is the group of K-rational points of an absolutely simple algebraic group whose Tits index is E_{8,2}^{66}, then G is generated by its root groups, as predicted by the Kneser-Tits conjecture. △ Less

Submitted 11 August, 2010; originally announced August 2010.

MSC Class: 11E04; 20G15; 20G41; 51E12

The norm of a Ree group

Authors: Tom De Medts, Richard M. Weiss

Abstract: We give an explicit construction of the Ree groups of type $G_2$ as groups acting on mixed Moufang hexagons together with detailed proofs of the basic properties of these groups contained in the two fundamental papers of Tits on this subject. We also give a short proof that the norm of a Ree group is anisotropic. We give an explicit construction of the Ree groups of type $G_2$ as groups acting on mixed Moufang hexagons together with detailed proofs of the basic properties of these groups contained in the two fundamental papers of Tits on this subject. We also give a short proof that the norm of a Ree group is anisotropic. △ Less

Submitted 25 June, 2009; originally announced June 2009.

Coarse Equivalences of Euclidean Buildings

Authors: Linus Kramer, Richard M Weiss, Jeroen Schillewaert, Koen Struyve

Abstract: We prove the following rigidity results. Coarse equivalences between Euclidean buildings preserve spherical buildings at infinity. If all irreducible factors have dimension at least two, then coarsely equivalent Euclidean buildings are isometric (up to scaling factors). If in addition none of the irreducible factors is a Euclidean cone, then the isometry is unique and has finite distance from the… ▽ More We prove the following rigidity results. Coarse equivalences between Euclidean buildings preserve spherical buildings at infinity. If all irreducible factors have dimension at least two, then coarsely equivalent Euclidean buildings are isometric (up to scaling factors). If in addition none of the irreducible factors is a Euclidean cone, then the isometry is unique and has finite distance from the coarse equivalence. △ Less

Submitted 9 December, 2013; v1 submitted 8 February, 2009; originally announced February 2009.

Comments: To appear in: Advances in Mathematics. v2: Substantially revised and expanded. v3: We have added an appendix by Jeroen Schillewaert and Koen Struyve which shows that our main results hold also for non-complete Euclidean buildings. v4 and v5: Some minor typos and misprints corrected

MSC Class: 51E24; 53C24

On the construction and topological invariance of the Pontryagin classes

Authors: Andrew Ranicki, Michael Weiss

Abstract: We use sheaves and algebraic L-theory to construct the rational Pontryagin classes of fiber bundles with fiber R^n. This amounts to an alternative proof of Novikov's theorem on the topological invariance of the rational Pontryagin classes of vector bundles. Transversality arguments and torus tricks are avoided. We use sheaves and algebraic L-theory to construct the rational Pontryagin classes of fiber bundles with fiber R^n. This amounts to an alternative proof of Novikov's theorem on the topological invariance of the rational Pontryagin classes of vector bundles. Transversality arguments and torus tricks are avoided. △ Less

Submitted 24 February, 2010; v1 submitted 7 January, 2009; originally announced January 2009.

Comments: 32 pages. Submitted for publication. v2: minor revision, new references added

MSC Class: 57R67

Nonperturbative Effects and the Large-Order Behavior of Matrix Models and Topological Strings

Authors: Marcos Marino, Ricardo Schiappa, Marlene Weiss

Abstract: This work addresses nonperturbative effects in both matrix models and topological strings, and their relation with the large-order behavior of the 1/N expansion. We study instanton configurations in generic one-cut matrix models, obtaining explicit results for the one-instanton amplitude at both one and two loops. The holographic description of topological strings in terms of matrix models impli… ▽ More This work addresses nonperturbative effects in both matrix models and topological strings, and their relation with the large-order behavior of the 1/N expansion. We study instanton configurations in generic one-cut matrix models, obtaining explicit results for the one-instanton amplitude at both one and two loops. The holographic description of topological strings in terms of matrix models implies that our nonperturbative results also apply to topological strings on toric Calabi-Yau manifolds. This yields very precise predictions for the large-order behavior of the perturbative genus expansion, both in conventional matrix models and in topological string theory. We test these predictions in detail in various examples, including the quartic matrix model, topological strings on the local curve, and Hurwitz theory. In all these cases we provide extensive numerical checks which heavily support our nonperturbative analytical results. Moreover, since all these models have a critical point describing two-dimensional gravity, we also obtain in this way the large-order asymptotics of the relevant solution to the Painleve I equation, including corrections in inverse genus. From a mathematical point of view, our results predict the large-genus asymptotics of simple Hurwitz numbers and of local Gromov-Witten invariants. △ Less

Submitted 19 May, 2008; v1 submitted 13 November, 2007; originally announced November 2007.

Comments: 50 pages, 24 figures, JHEP3.cls; v2: added references, added discussion on Painleve I, final version for CNTP

Report number: CERN-PH-TH/2007-218

The block structure spaces of real projective spaces and orthogonal calculus of functors II

Authors: Tibor Macko, Michael Weiss

Abstract: For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on vector spaces with inner product, relying on functor calculus ideas. It was shown in part I that F agrees with its first Taylor approximation T_1 F (which is… ▽ More For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on vector spaces with inner product, relying on functor calculus ideas. It was shown in part I that F agrees with its first Taylor approximation T_1 F (which is a polynomial functor of degree 1) on vector spaces V with dim(V) > 5. To convert this theorem into a functorial homotopy-theoretic description of F(V), one needs to know in addition what T_1 F(V) is when V=0. Here we show that T_1 F(0) is the standard L-theory space associated with the group Z/2, except for a deviation in π_0. The main corollary is a functorial two-stage decomposition of F(V) for dim(V) > 5 which has the L-theory of the group Z/2 as one layer, and a form of unreduced homology of RP (V) with coefficients in the L-theory of the trivial group as the other layer. (Except for dimension shifts, these are also the layers in the traditional Sullivan-Wall-Quinn-Ranicki decomposition of F(V). But the dimension shifts are serious and the SWQR decomposition of F(V) is not functorial in V.) Because of the functoriality, our analysis of F(V) remains meaningful and valid when V=R^\infty. △ Less

Submitted 11 March, 2007; originally announced March 2007.

Comments: 34 pages

MSC Class: Primary 57N99; 55P99; Secondary: 57R67

On the algebraic $L$-theory of $Δ$-sets

Authors: Andrew Ranicki, Michael Weiss

Abstract: The algebraic $L$-groups $L_*(\A,X)$ are defined for an additive category $\A$ with chain duality and a $Δ$-set $X$, and identified with the generalized homology groups $H_*(X;\LL_{\bullet}(\A))$ of $X$ with coefficients in the algebraic $L$-spectrum $\LL_{\bullet}(\A)$. Previously such groups had only been defined for simplicial complexes $X$. The algebraic $L$-groups $L_*(\A,X)$ are defined for an additive category $\A$ with chain duality and a $Δ$-set $X$, and identified with the generalized homology groups $H_*(X;\LL_{\bullet}(\A))$ of $X$ with coefficients in the algebraic $L$-spectrum $\LL_{\bullet}(\A)$. Previously such groups had only been defined for simplicial complexes $X$. △ Less

Submitted 24 September, 2010; v1 submitted 29 January, 2007; originally announced January 2007.

Comments: LATEX, 23 pages. To appear in the special issue of the Pure and Applied Mathematics Quarterly dedicated to F. Thomas Farrell and Lowell E. Jones

MSC Class: 57A65; 19G24

The homotopy type of the cobordism category

Authors: Soren Galatius, Ib Madsen, Ulrike Tillmann, Michael Weiss

Abstract: The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d=2, our results lead to a new proof of the generalized Mumford conjecture, somewhat… ▽ More The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d=2, our results lead to a new proof of the generalized Mumford conjecture, somewhat different in spirit from the original one. △ Less

Submitted 21 September, 2010; v1 submitted 10 May, 2006; originally announced May 2006.

Comments: 40 pages. v2 has improved notation, added explanations, and minor mistakes fixed. v3 has minor corrections and improvements. Final submitted version

MSC Class: 57R90

Journal ref: Acta Math. 202 (2009), no. 2, 195--239

The stable moduli space of Riemann surfaces: Mumford's conjecture

Authors: Ib Madsen, Michael S. Weiss

Abstract: The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group. The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group. △ Less

Submitted 14 July, 2004; v1 submitted 23 December, 2002; originally announced December 2002.

Comments: Ca. 97 pages. For this version, many results have been reformulated and re-proved to be valid in all dimensions and with more general notions of orientation

MSC Class: 57R50; 14H15; 32G15; 57R45; 57M99

Automorphisms of manifolds

Authors: Michael S. Weiss, Bruce Williams

Abstract: This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias concordance theory, Waldhausen style. It culminates in (an outline of) a synthesis of these two theories, producing algebraic models, valid in a stable range, for sp… ▽ More This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias concordance theory, Waldhausen style. It culminates in (an outline of) a synthesis of these two theories, producing algebraic models, valid in a stable range, for spaces of manifolds in a fixed homotopy type. This is inspired by earlier work of Burghelea-Lashof and Hatcher. The algebraic models are a mix of algebraic L-theory and algebraic K-theory. △ Less

Submitted 13 December, 2000; originally announced December 2000.

Comments: 56 pages; survey paper; appears also in "Surveys on Surgery Theory: Volume 2" (eds. S.Cappell, A.Ranicki, J.Rosenberg), Princeton University Press, Princeton, New Jersey; January 2001

MSC Class: 19JXX; 57R50; 57N37

Embeddings from the point of view of immersion theory: Part II

Authors: Thomas G. Goodwillie, Michael Weiss

Abstract: Let M and N be smooth manifolds. For an open V of M let emb(V,N) be the space of embeddings from V to N. By results of Goodwillie and Goodwillie-Klein, the cofunctor V |--> emb(V,N) is analytic if dim(N)-dim(M) > 2. We deduce that its Taylor series converges to it. For details about the Taylor series, see Part I. Let M and N be smooth manifolds. For an open V of M let emb(V,N) be the space of embeddings from V to N. By results of Goodwillie and Goodwillie-Klein, the cofunctor V |--> emb(V,N) is analytic if dim(N)-dim(M) > 2. We deduce that its Taylor series converges to it. For details about the Taylor series, see Part I. △ Less

Submitted 27 May, 1999; originally announced May 1999.

Comments: 16 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTVol3/paper4.abs.html

Report number: G&T migration 1999-4 MSC Class: 57R40; 57R42

Journal ref: Geom. Topol. 3 (1999) 103-118

Embeddings from the point of view of immersion theory: Part I

Authors: Michael Weiss

Abstract: Let M and N be smooth manifolds without boundary. Immersion theory suggests that an understanding of the space of smooth embeddings emb(M,N) should come from an analysis of the cofunctor V |--> emb(V,N) from the poset O of open subsets of M to spaces. We therefore abstract some of the properties of this cofunctor, and develop a suitable calculus of such cofunctors, Goodwillie style, with Taylor… ▽ More Let M and N be smooth manifolds without boundary. Immersion theory suggests that an understanding of the space of smooth embeddings emb(M,N) should come from an analysis of the cofunctor V |--> emb(V,N) from the poset O of open subsets of M to spaces. We therefore abstract some of the properties of this cofunctor, and develop a suitable calculus of such cofunctors, Goodwillie style, with Taylor series and so on. The terms of the Taylor series for the cofunctor V |--> emb(V,N) are explicitly determined. In a sequel to this paper, we introduce the concept of an analytic cofunctor from O to spaces, and show that the Taylor series of an analytic cofunctor F converges to F. Deep excision theorems due to Goodwillie and Goodwillie-Klein imply that the cofunctor V |--> emb(V,N) is analytic when dim(N)-dim(M) > 2. △ Less

Submitted 27 May, 1999; originally announced May 1999.

Comments: 35 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTVol3/paper3.abs.html

Report number: G&T migration 1999-3 MSC Class: 57R40; 57R42

Journal ref: Geom. Topol. 3 (1999) 67-101