arXiv subjects
Publications and source records attributed to Marek Kaluba.
We compute lower bounds for Kazhdan constants of Chevalley groups over the integers, endowed with the standard Steinberg generators. For types other than $\mathtt{A}_{n}$, these are the first explicit asymptotically sharp such bounds. The method relies on establishing a new connection between the structure of a root system grading a family of groups and the behaviour of the square of the Laplace operator in the family.
We show that the cohomological Laplacian in degree 1 in the group cohomology of $\operatorname{SL}_3(\mathbb{Z})$ is a sum of hermitian squares in the algebra $\mathbb{M}_n(\mathbb{R}G)$. We provide an estimate of the spectral gap for this Laplacian for every unitary representation.
We propose a new geometric method for measuring the quality of representations obtained from deep learning. Our approach, called Random Polytope Descriptor, provides an efficient description of data points based on the construction of random convex polytopes. We demonstrate the use of our technique by qualitatively comparing the behavior of classic and regularized autoencoders. This reveals that applying regularization to autoencoder networks may decrease the out-of-distribution detection performance in latent space. While our technique is similar in spirit to $k$-means clustering, we achieve significantly better false positive/negative balance in clustering tasks on autoencoded datasets.
We prove that $\operatorname{Aut}(F_n)$ has Kazhdan's property (T) for every $n \geqslant 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n\geqslant 5$. We also provide explicit lower bounds for the Kazhdan constants of $\operatorname{SAut}(F_n)$ (with $n \geqslant 6$) and of $\operatorname{SL}_n(\mathbb{Z})$ (with $n \geqslant 3$) with respect to natural generating sets. In the latter case, these bounds improve upon previously known lower bounds whenever $n > 6$.
We construct several series of explicit presentations of infinite hyperbolic groups enjoying Kazhdan's property (T). Some of them are significantly shorter than the previously known shortest examples. Moreover, we show that some of those hyperbolic Kazhdan groups possess finite simple quotient groups of arbitrarily large rank; they constitute the first known specimens combining those properties. All the hyperbolic groups we consider are non-positively curved k-fold generalized triangle groups, i.e. groups that possess a simplicial action on a CAT(0) triangle complex, which is sharply transitive on the set of triangles, and such that edge-stabilizers are cyclic of order k.
We present the Julia interface Polymake.jl to polymake, a software for research in polyhedral geometry. We describe the technical design and how the integration into Julia makes it possible to combine polymake with state-of-the-art numerical software.
We explore transformation groups of manifolds of the form $M\times S^n$, where $M$ is an asymmetric manifold, i.e. a manifold which does not admit any non-trivial action of a finite group. In particular, we prove that for $n=2$ there exists an infinite family of distinct non-diagonal effective circle actions on such products. A similar result holds for actions of cyclic groups of prime order. We also discuss free circle actions on $M \times S^1$, where $M$ belongs to the class of "almost asymmetric" manifolds considered previously by V. Puppe and M. Kreck.
We give a constructive, computer-assisted proof that $\operatorname{Aut}(\mathbb{F}_5)$, the automorphism group of the free group on $5$ generators, has Kazhdan's property $(T)$.
We establish a lower bound on the spectral gap of the Laplace operator on special linear groups using conic optimisation. In particular, this provides a constructive (but computer assisted) proof that these groups have Kazhdan property (T). A software for such optimisation for other finitely presented groups is provided.
We investigate equivariant and invariant topological complexity of spheres endowed with smooth non-free actions of cyclic groups of prime order. We prove that semilinear $\mathbb{Z}/p$-spheres have both invariants either $2$ or $3$ and calculate exact values in all but two cases for linear actions. On the other hand, we exhibit examples which show that these invariants can be arbitrarily high in the class of smooth $\mathbb{Z}/p$-spheres.
We introduce a version of Farber's topological complexity suitable for investigating mechanical systems whose configuration spaces exhibit symmetries. Our invariant has vastly different properties to the previous approaches of Colman-Grant, Dranishnikov and Lubawski-Marzantowicz. In particular, it is bounded from above by Farber's topological complexity.
The Reeb graph $\mathcal{R}(f) $ is one of the fundamental invariants of a smooth function $f\colon M\to \mathbb{R} $ with isolated critical points. It is defined as the quotient space $M/_{\!\sim}$ of the closed manifold $M$ by a relation that depends on $f$. Here we construct a $1$-dimensional complex $Γ(f)$ embedded into $M$ which is homotopy equivalent to $\mathcal{R}(f)$. As a consequence we show that for every function $f$ on a manifold with finite fundamental group, the Reeb graph of $f$ is a tree. If $π_1(M)$ is an abelian group, or more general, a discrete amenable group, then $\mathcal{R}(f)$ contains at most one loop. Finally we prove that the number of loops in the Reeb graph of every function on a surface $M_g$ is estimated from above by $g$, the genus of $M_g$.
We construct smooth actions of arbitrary compact Lie groups on complex projective spaces, such that the corresponding transformations arising from the group action do not preserve any symplectic structure on the complex projective space.