-
Inferring a Cell Structure on the Space of Cyclooctane Conformations
Authors:
Ulrich Bauer,
Fabian Lenzen
Abstract:
The conformation space of cyclooctane, a ringlike organic molecule comprising eight carbon atoms, is a two-dimensional algebraic variety, which has been studied extensively for more than 90 years. We propose a cell structure representing this space, which arises naturally by partitioning the space into subsets of conformations that admit particular symmetries. We do so both for the labeled conform…
▽ More
The conformation space of cyclooctane, a ringlike organic molecule comprising eight carbon atoms, is a two-dimensional algebraic variety, which has been studied extensively for more than 90 years. We propose a cell structure representing this space, which arises naturally by partitioning the space into subsets of conformations that admit particular symmetries. We do so both for the labeled conformation space, in which the carbon atoms are considered as distinct, and for the actual, unlabeled, conformation space. The proposed cell structure is obtained by identifying subspaces of conformations based on symmetry patterns and studying the geometry and topology of these subsets using methods from dimensionality reduction and topological data analysis. Our findings suggest that, in contrast to the labeled variant, the conformation space of cyclooctane is contractible.
△ Less
Submitted 27 February, 2025;
originally announced February 2025.
-
Faster Algebraic Shifting
Authors:
Antony Della Vecchia,
Michael Joswig,
Fabian Lenzen
Abstract:
Improved algorithms for computing (partial and full) exterior algebraic shifts of hypergraphs and simplicial complexes are presented. The main benefit is in positive characteristic. Experiments with an implementation in OSCAR are reported.
Improved algorithms for computing (partial and full) exterior algebraic shifts of hypergraphs and simplicial complexes are presented. The main benefit is in positive characteristic. Experiments with an implementation in OSCAR are reported.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Partial Algebraic Shifting
Authors:
Antony Della Vecchia,
Michael Joswig,
Fabian Lenzen
Abstract:
We study algebraic shifting of uniform hypergraphs and finite simplicial complexes in the exterior algebra with respect to matrices which are not necessarily generic. Several questions raised by Kalai (2002) are addressed. For instance, it turns out that the combinatorial shifting of Erdős$\unicode{x2013}$Ko$\unicode{x2013}$Rado (1961) arises as a special case. Moreover, we identify a sufficient c…
▽ More
We study algebraic shifting of uniform hypergraphs and finite simplicial complexes in the exterior algebra with respect to matrices which are not necessarily generic. Several questions raised by Kalai (2002) are addressed. For instance, it turns out that the combinatorial shifting of Erdős$\unicode{x2013}$Ko$\unicode{x2013}$Rado (1961) arises as a special case. Moreover, we identify a sufficient condition for partial shifting to preserve the Betti numbers of a simplicial complex; examples show that this condition is sharp.
△ Less
Submitted 9 May, 2025; v1 submitted 31 October, 2024;
originally announced October 2024.
-
Computing Fringe Presentations of Multigraded Persistence Modules
Authors:
Fabian Lenzen
Abstract:
Minimal free resolutions and minimal free presentations are standard ways to represent the isomorphism type of a persistence module in software. This description is a multi-parameter generalization of the barcode known in one-parameter persistence. Another multi-parameter generalization of this concept is given by fringe presentations (Miller: 2020), which represents the module as the image of a m…
▽ More
Minimal free resolutions and minimal free presentations are standard ways to represent the isomorphism type of a persistence module in software. This description is a multi-parameter generalization of the barcode known in one-parameter persistence. Another multi-parameter generalization of this concept is given by fringe presentations (Miller: 2020), which represents the module as the image of a morphism from a free to an injective module. In this paper, we demonstrate a way to calculate the matrix representing a fringe presentation of a given persistence module from a minimal free resolution of it.
△ Less
Submitted 17 January, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
Efficient two-parameter persistence computation via cohomology
Authors:
Ulrich Bauer,
Fabian Lenzen,
Michael Lesnick
Abstract:
Clearing is a simple but effective optimization for the standard algorithm of persistent homology (PH), which dramatically improves the speed and scalability of PH computations for Vietoris--Rips filtrations. Due to the quick growth of the boundary matrices of a Vietoris--Rips filtration with increasing dimension, clearing is only effective when used in conjunction with a dual (cohomological) vari…
▽ More
Clearing is a simple but effective optimization for the standard algorithm of persistent homology (PH), which dramatically improves the speed and scalability of PH computations for Vietoris--Rips filtrations. Due to the quick growth of the boundary matrices of a Vietoris--Rips filtration with increasing dimension, clearing is only effective when used in conjunction with a dual (cohomological) variant of the standard algorithm. This approach has not previously been applied successfully to the computation of two-parameter PH.
We introduce a cohomological algorithm for computing minimal free resolutions of two-parameter PH that allows for clearing. To derive our algorithm, we extend the duality principles which underlie the one-parameter approach to the two-parameter setting. We provide an implementation and report experimental run times for function-Rips filtrations. Our method is faster than the current state-of-the-art by a factor of up to 20.
△ Less
Submitted 3 August, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Clifford-symmetric polynomials
Authors:
Fabian Lenzen
Abstract:
Based on the NilHecke algebra $\mathsf{NH}_n$, the odd NilHecke algebra developed by Ellis, Khovanov and Lauda and Kang, Kashiwara and Tsuchioka's quiver Hecke superalgebra, we develop the Clifford Hecke superalgebra $\mathsf{NH}\mathfrak{C}_n$ as another super-algebraic analogue of $\mathsf{NH}_n$. We show that there is a notion of symmetric polynomials fitting in this picture, and we prove that…
▽ More
Based on the NilHecke algebra $\mathsf{NH}_n$, the odd NilHecke algebra developed by Ellis, Khovanov and Lauda and Kang, Kashiwara and Tsuchioka's quiver Hecke superalgebra, we develop the Clifford Hecke superalgebra $\mathsf{NH}\mathfrak{C}_n$ as another super-algebraic analogue of $\mathsf{NH}_n$. We show that there is a notion of symmetric polynomials fitting in this picture, and we prove that these are generated by an appropriate analogue of elementary symmetric polynomials, whose properties we shall discuss in this text.
△ Less
Submitted 17 May, 2023; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Shuffling functors and spherical twists on $D^\mathrm b(\mathcal O_0)$
Authors:
Fabian Lenzen
Abstract:
For a semisimple complex Lie algebra $\mathfrak g$, the BGG category $\mathcal{O}$ is of particular interest in representation theory. It is known that Irving's shuffling functors $\mathrm{Sh}_{w}$, indexed by elements $w\in W$ of the Weyl group, induce an action of the braid group $B_W$ associated to $W$ on the derived categories $D^\mathrm{b}(\mathcal{O}_λ)$ of blocks of $\mathcal{O}$.
We show…
▽ More
For a semisimple complex Lie algebra $\mathfrak g$, the BGG category $\mathcal{O}$ is of particular interest in representation theory. It is known that Irving's shuffling functors $\mathrm{Sh}_{w}$, indexed by elements $w\in W$ of the Weyl group, induce an action of the braid group $B_W$ associated to $W$ on the derived categories $D^\mathrm{b}(\mathcal{O}_λ)$ of blocks of $\mathcal{O}$.
We show that for maximal parabolic subalgebras $\mathfrak{p}$ of $\mathfrak{sl}_n$ corresponding to the parabolic subgroup $W_\mathfrak{p}=S_{n-1}\times S_1$ of $S_n$, the derived shuffling functors $\mathbf{L}\mathrm{Sh}{s_i}$ are instances of Seidel and Thomas' spherical twist functors. Namely, we show that certain parabolic indecomposable projectives $P^\mathfrak{p}(w)$ are spherical objects, and the associated twist functors are naturally isomorphic to $\mathbf{L}\mathrm{Sh}{w}[1]$ as auto-equivalences of $D^\mathrm{b}(\mathcal{O}^\mathfrak{p})$.
We give an overview of the main properties of the BGG category $\mathcal{O}$, the construction of shuffling and spherical twist functors, and give some examples how to determine images of both. To this end, we employ the equivalence of blocks of $\mathcal{O}$ and the module categories of certain path algebras.
△ Less
Submitted 27 March, 2021; v1 submitted 25 February, 2020;
originally announced February 2020.
-
The Implicit Convex Feasibility Problem and Its Application to Adaptive Image Denoising
Authors:
Yair Censor,
Aviv Gibali,
Frank Lenzen,
Christoph Schnorr
Abstract:
The implicit convex feasibility problem attempts to find a point in the intersection of a finite family of convex sets, some of which are not explicitly determined but may vary. We develop simultaneous and sequential projection methods capable of handling such problems and demonstrate their applicability to image denoising in a specific medical imaging situation. By allowing the variable sets to u…
▽ More
The implicit convex feasibility problem attempts to find a point in the intersection of a finite family of convex sets, some of which are not explicitly determined but may vary. We develop simultaneous and sequential projection methods capable of handling such problems and demonstrate their applicability to image denoising in a specific medical imaging situation. By allowing the variable sets to undergo scaling, shifting and rotation, this work generalizes previous results wherein the implicit convex feasibility problem was used for cooperative wireless sensor network positioning where sets are balls and their centers were implicit.
△ Less
Submitted 19 June, 2016;
originally announced June 2016.
-
Second-Order Recursive Filtering on the Rigid-Motion Lie Group SE(3) Based on Nonlinear Observations
Authors:
Johannes Berger,
Frank Lenzen,
Florian Becker,
Andreas Neufeld,
Christoph Schnörr
Abstract:
Camera motion estimation from observed scene features is an important task in image processing to increase the accuracy of many methods, e.g. optical flow and structure-from-motion. Due to the curved geometry of the state space SE(3) and the non-linear relation to the observed optical flow, many recent filtering approaches use a first-order approximation and assume a Gaussian a posteriori distribu…
▽ More
Camera motion estimation from observed scene features is an important task in image processing to increase the accuracy of many methods, e.g. optical flow and structure-from-motion. Due to the curved geometry of the state space SE(3) and the non-linear relation to the observed optical flow, many recent filtering approaches use a first-order approximation and assume a Gaussian a posteriori distribution or restrict the state to Euclidean geometry. The physical model is usually also limited to uniform motions.
We propose a second-order minimum energy filter with a generalized kinematic model that copes with the full geometry of SE(3) as well as with the nonlinear dependencies between the state space and observations. The derived filter enables reconstructing motions correctly for synthetic and real scenes, e.g. from the KITTI benchmark. Our experiments confirm that the derived minimum energy filter with higher-order state differential equation copes with higher-order kinematics and is also able to minimize model noise. We also show that the proposed filter is superior to state-of-the-art extended Kalman filters on Lie groups in the case of linear observations and that our method reaches the accuracy of modern visual odometry methods.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Second Order Minimum Energy Filtering on $\operatorname{SE}_3$ with Nonlinear Measurement Equations
Authors:
Johannes Berger,
Andreas Neufeld,
Florian Becker,
Frank Lenzen,
Christoph Schnörr
Abstract:
Accurate camera motion estimation is a fundamental building block for many Computer Vision algorithms. For improved robustness, temporal consistency of translational and rotational camera velocity is often assumed by propagating motion information forward using stochastic filters. Classical stochastic filters, however, use linear approximations for the non-linear observer model and for the non-lin…
▽ More
Accurate camera motion estimation is a fundamental building block for many Computer Vision algorithms. For improved robustness, temporal consistency of translational and rotational camera velocity is often assumed by propagating motion information forward using stochastic filters. Classical stochastic filters, however, use linear approximations for the non-linear observer model and for the non-linear structure of the underlying Lie Group $\operatorname{SE}_3$ and have to approximate the unknown posteriori distribution. In this paper we employ a non-linear measurement model for the camera motion estimation problem that incorporates multiple observation equations. We solve the underlying filtering problem using a novel Minimum Energy Filter on $\operatorname{SE}_3$ and give explicit expressions for the optimal state variables. Experiments on the challenging KITTI benchmark show that, although a simple motion model is only employed, our approach improves rotational velocity estimation and otherwise is on par with the state-of-the-art.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
Solving QVIs for Image Restoration with Adaptive Constraint Sets
Authors:
Frank Lenzen,
Jan Lellmann,
Florian Becker,
Christoph Schnörr
Abstract:
We consider a class of quasi-variational inequalities (QVIs) for adaptive image restoration, where the adaptivity is described via solution-dependent constraint sets. In previous work we studied both theoretical and numerical issues. While we were able to show the existence of solutions for a relatively broad class of problems, we encountered problems concerning uniqueness of the solution as well…
▽ More
We consider a class of quasi-variational inequalities (QVIs) for adaptive image restoration, where the adaptivity is described via solution-dependent constraint sets. In previous work we studied both theoretical and numerical issues. While we were able to show the existence of solutions for a relatively broad class of problems, we encountered problems concerning uniqueness of the solution as well as convergence of existing algorithms for solving QVIs. In particular, it seemed that with increasing image size the growing condition number of the involved differential operator poses severe problems. In the present paper we prove uniqueness for a larger class of problems and in particular independent of the image size. Moreover, we provide a numerical algorithm with proved convergence. Experimental results support our theoretical findings.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Optimality Bounds for a Variational Relaxation of the Image Partitioning Problem
Authors:
Jan Lellmann,
Frank Lenzen,
Christoph Schnörr
Abstract:
We consider a variational convex relaxation of a class of optimal partitioning and multiclass labeling problems, which has recently proven quite successful and can be seen as a continuous analogue of Linear Programming (LP) relaxation methods for finite-dimensional problems. While for the latter case several optimality bounds are known, to our knowledge no such bounds exist in the continuous setti…
▽ More
We consider a variational convex relaxation of a class of optimal partitioning and multiclass labeling problems, which has recently proven quite successful and can be seen as a continuous analogue of Linear Programming (LP) relaxation methods for finite-dimensional problems. While for the latter case several optimality bounds are known, to our knowledge no such bounds exist in the continuous setting. We provide such a bound by analyzing a probabilistic rounding method, showing that it is possible to obtain an integral solution of the original partitioning problem from a solution of the relaxed problem with an a priori upper bound on the objective, ensuring the quality of the result from the viewpoint of optimization. The approach has a natural interpretation as an approximate, multiclass variant of the celebrated coarea formula.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.
