arXiv subjects

Alice C. Niemeyer

Publications and source records attributed to Alice C. Niemeyer.

At least 19 recordsLinked to original sources

arXiv2026

A pyramidal ISRU lunar habitat design based on topological interlocking of sintered regolith blocks

In this framing study, we propose a new lunar-habitat design based on topological interlocking of the building blocks. The design combines block geometries that permit interlocking without binders or connectors with a pyramidal overall structure. This approach is well suited for ISRU-enabled extraterrestrial construction. Finite element simulations employing the Drucker-Prager model confirm that habitats manufactured from lunar regolith using this concept are tolerant to local failures or missing blocks. We further suggest that this approach can be extended and improved by optimising the geometry of the interlockable building blocks.

cs.CE↗

arXiv2026

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

Whitney proved that 3-connected planar graphs admit a unique embedding on the sphere. In contrast, Enami investigated embeddings of 3-connected cubic planar graphs on non-spherical surfaces with non-negative Euler characteristic. He established that such an embedding exists if and only if the dual graph contains a particular subgraph. Here, strong embeddings are investigated motivated by the cycle double cover conjecture and the relation to triangulated surfaces. We provide a complete characterization of strong embeddings on the projective plane, the torus, and the Klein bottle in terms of a distinguished subset of Enami's subgraphs. This characterization not only deepens the structural understanding of graph embeddings on non-spherical surfaces, but also establishes a robust foundation for computing cycle double covers. As a direct consequence, we derive explicit criteria that determine when a graph does not admit a strong embedding on these surfaces-offering new tools for both theoretical analysis and algorithmic applications.

math.CO↗

arXiv2026

Polyhedral Maps of Cubic Graphs with given Automorphism Groups

L. Babai introduced a method for constructing a cubic graph whose automorphism group is isomorphic to a given finite group $G$, obtained by modifying a corresponding Cayley graph of $G$. Building on this approach, we construct a cubic graph that admits a polyhedral map whose automorphism group, as well as the automorphism group of the polyhedral map itself, is isomorphic to $G$.

math.CO↗

arXiv2026

An algorithmic approach for computing fundamental domains of crystallographic groups

A crystallographic group is a discrete subgroup of the Euclidean group $\operatorname{E}(n)$ that has a compact fundamental domain. Since such a crystallographic group $Γ$ is infinite, computing fundamental domains of $Γ$ is algorithmically challenging. We address this difficulty by targeting the computation of Dirichlet cells that can form fundamental domains of $Γ$. We show that the half-spaces defining such a Dirichlet cell can be derived from elements of $Γ$ acting on $\mathbb{R}^n$ that can be expressed as words of bounded length in a suitable generating set. Based on these results, we design an algorithm for the computation of fundamental domains of crystallographic groups and exploit it to study the construction of topological interlocking assemblies.

math.MG↗

arXiv2026

Construction Methods for Space-Filling Heterogeneous Topological Interlocking Assemblies

Deforming fundamental domains of wallpaper groups provides a systematic way to generate non-convex blocks which admit topological interlocking assemblies (TIAs). We use this approach to construct TIAs that fully occupy the space between two parallel planes and incorporate multiple block types. In addition to wallpaper groups, semiregular tessellations are employed in the construction of such TIAs. These construction methods open up an extensive design space for TIAs, expanding the possibilities of feasible interlocking systems and creating new opportunities for architectural and material design. Several resulting block families can be interpreted as geometric realizations of generalized Truchet tiles or decorated lozenge tilings and, with suitable colouring rules, we establish a one-to-one correspondence between these tilings and specific TIAs. This framework enables a systematic investigation of symmetric and asymmetric assemblies derived from diverse block types.

math.GR↗

arXiv2026

The probability that two elements with large $1$-eigenspaces generate a classical group

With high probability, among $O(\log n)$ independent randomly selected elements from a finite $n$-dimensional classical group, some pair of elements power to a $2$-element generating set for a naturally embedded classical subgroup of dimension $O(\log n)$. The $2$-element generating set produced consists of certain elements with large $1$-eigenspaces, called stingray elements. Underpinning this result is a new theorem on the generation of a finite classical group by a pair of stingray elements. In particular we show that, for classical groups not containing ${\rm SL}_n(q)$, the probability of generation is at least $0.975$. The explicit probability bounds we obtain will be applied to justify complexity analyses for new constructive recognition algorithms for finite classical groups.

math.GR↗

arXiv2026

Influence of the geometry on the mechanical performance of tubular interlockings: A study of the Sine Block

Topological interlocking assemblies (TIA) are arrangements of blocks such that rigid-body motions of the blocks are fully constrained by their neighbours and a fixed frame. In this work, we investigate tubular interlocking structures derived from the sine curve and parametrised by several geometric design parameters. We analyse the behaviour of these parametrised tubular interlockings under various boundary conditions and examine how our proposed parameters influence the mechanical response. For this purpose, we first develop a simplified multibody dynamics formulation that enables an efficient exploration of how the design parameters of the block influence the load transfer within the assembly. To further corroborate these results, we perform several finite element simulations, which give insights into the mechanical behaviour of our proposed TIA. Our results show that the block geometry plays a decisive role in the mechanical performance of the corresponding TIA. We additionally discuss the problem of exploding TIAs and demonstrate that the TIA resulting from our Sine Block does not exhibit this behaviour. Lastly, we provide evidence that non-exploding TIAs possess better mechanical properties than exploding ones.

cs.CE↗

arXiv2026

On 3-Connected Planar Graphs with Unique Orientable Circuit Double Covers

A circuit double cover of a bridgeless graph is a collection of even subgraphs such that every edge is contained in exactly two subgraphs of the given collection. Such a circuit double cover describes an embedding of the corresponding graph onto a surface. In this paper, we investigate the well-known Orientable Strong Embedding Conjecture. This conjecture proposes that every bridgeless graph has a circuit double cover describing an embedding on an orientable surface. In a recent paper, we have proved that a 3-connected cubic planar graph G has exactly one orientable circuit double cover if and only if G is the dual graph of an Apollonian network. In this paper, we extend this result by demonstrating that this characterisation applies to any 3-connected planar graph, regardless of whether it is cubic.

math.CO↗

arXiv2025

Influence of a generative parameter on the mechanical performance of topological interlocking assemblies of a hexagonal block

A topological interlocking assembly is an arrangement of blocks, where all blocks are kinematically constrained by their neighboring blocks and a fixed frame. This concept has been known for a long time, attracting recent interest due to its advantageous mechanical properties, such as reusability, redundancy and limited crack propagation. New mathematical methods enable the generation of vast numbers of new topologically interlocking blocks. A natural next question is the quantification of the mechanical performance of these new blocks. We conduct a numerical study of topological interlocking assemblies whose blocks are constructed based on the hexagonal grid. By varying a design parameter used in the generation of these blocks, we study its influence on the structural performance of the entire assembly. The results improve our understanding of the link between the block parameters and the mechanical performance. This enhances the ability to custom design blocks for certain mechanical requirements of the topological interlocking assemblies.

cond-mat.mtrl-sci↗

arXiv2025

On 3-Connected Cubic Planar Graphs and their Strong Embeddings on Orientable Surfaces

Although the strong embedding of a 3-connected planar graph $G$ on the sphere is unique, $G$ can have different inequivalent strong embeddings on a surface of positive genus. If $G$ is cubic, then the strong embeddings of $G$ on the projective plane, the torus and the Klein bottle each are in one-to-one correspondence with certain subgraphs of the dual graph $G^\ast$. Here, we exploit this characterisation and show that two strong embeddings of $G$ on the projective plane, the torus or the Klein bottle are isomorphic if and only if the corresponding subgraphs of $G^{\ast}$ are contained in the same orbit under $\mathrm{Aut}(G^{\ast})$. This allows us to construct a data base containing all isomorphism classes of strong embeddings on the projective plane, the torus and the Klein bottle of all 3-connected cubic planar graphs with up to 22 vertices. Moreover, we establish that cyclically 4-edge connected cubic planar graphs can be strongly embedded on orientable surfaces of positive genera. We use this to show that a 3-connected cubic planar graph has no strong embedding on orientable surfaces of positive genera if and only if it is the dual of an Apollonian network.

math.CO↗

arXiv2025

Interplay of Cubic Graphs and Simplicial Surfaces

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.

math.CO↗

arXiv2025

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.

math.GR↗

arXiv2024

Construction of Toroidal Polyhedra corresponding to perfect Chains of wild Tetrahedra

In 1957, Steinhaus proved that a chain of regular tetrahedra, meeting face-to-face and forming a closed loop does not exist. Over the years, various modifications of this statement have been considered and analysed. Weakening the statement by only requiring the tetrahedra of a chain to be wild, i.e. having all faces congruent, results in various examples of such chains. In this paper, we elaborate on the construction of these chains of wild tetrahedra. We therefore introduce the notions of chains and clusters of wild tetrahedra and relate these structures to simplicial surfaces. We establish that clusters and chains of wild tetrahedra can be described by polyhedra in Euclidean 3-space. As a result, we present methods to construct toroidal polyhedra arising from chains and provide a census of such toroidal polyhedra consisting of up to 20 wild tetrahedra. Here, we classify toroidal polyhedra with respect to self-intersections and reflection symmetries. We further prove the existence of an infinite family of toroidal polyhedra emerging from chains of wild tetrahedra and present clusters of wild tetrahedra that yield polyhedra of higher genera.

math.CO↗

arXiv2024

Absolutely irreducible quasisimple linear groups containing elements of order a specified Zsigmondy prime

This paper is concerned with absolutely irreducible quasisimple subgroups $G$ of a finite general linear group $GL_d(\mathbb{F}_q)$ for which some element $g\in G$ of prime order $r$, in its action on the natural module $V=(\mathbb{F}_q)^d$, is irreducible on a subspace of the form $V(1-g)$ of dimension $d/2$. We classify $G,d,r$, the characteristic $p$ of the field $\mathbb{F}_q$, and we identify those examples where the element $g$ has a fixed point subspace of dimension $d/2$. Our proof relies on representation theory, in particular, the multiplicities of eigenvalues of $g$, and builds on earlier results of DiMuro.

math.RT↗

arXiv2024

Topologically Interlocking Blocks inside the Tetroctahedrille

A topological interlocking assembly consists of rigid blocks together with a fixed frame, such that any subset of blocks is kinematically constrained and therefore cannot be removed from the assembly. In this paper we pursue a modular approach to construct (non-convex) interlocking blocks by combining finitely many tetrahedra and octahedra. This gives rise to polyhedra whose vertices can be described by the tetrahedral-octahedral honeycomb, also known as tetroctahedrille. We show that the resulting interlocking blocks are very versatile and allow many possibilities to form topological interlocking assemblies consisting of copies of a single block. We formulate a generalised construction of some of the introduced blocks to construct families of topological interlocking blocks. Moreover, we demonstrate a geometric application by using the tetroctahedrille to approximate given geometric objects. Finally, we show that given topological interlocking assemblies can be deformed continuously in order to obtain new topological interlocking assemblies.

math.CO↗

arXiv2024

Showcasing straight-line programs with memory via matrix Bruhat decomposition

We suggest that straight-line programs designed for algebraic computations should be accompanied by a comprehensive complexity analysis that takes into account both the number of fundamental algebraic operations needed, as well as memory requirements arising during evaluation. We introduce an approach for formalising this idea and, as illustration, construct and analyse straight-line programs for the Bruhat decomposition of $d\times d$ matrices with determinant $1$ over a finite field of order $q$ that have length $O(d^2\log(q))$ and require storing only $O(\log(q))$ matrices during evaluation.

cs.DS↗

arXiv2023

Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies

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.

cs.CE↗

arXiv2022

Random generation of direct sums of finite non-degenerate subspaces

Let $V$ be a $d$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$, we estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $e$-subspace of $V$ and $U'$ is a non-degenerate $e'$-subspace of $V$, such that $U\cap U'=0$ and $U\oplus U'$ is non-degenerate (the sum $U\oplus U'$ is direct and usually not perpendicular). The proportion is shown to be positive and at least $1-c/q>0$ for some constant $c$. For example, $c=7/4$ suffices in both the unitary and symplectic cases. The arguments in the orthogonal case are delicate and assume that $\dim(U)$ and $\dim(U')$ are even, an assumption relevant for an algorithmic application (which we discuss) for recognising finite classical groups. We also describe how recognising a classical groups $G$ relies on a connection between certain pairs $(U,U')$ of non-degenerate subspaces and certain pairs $(g,g')\in G^2$ of group elements where $U={\rm im}(g-1)$ and $U'={\rm im}(g'-1)$.

math.GR↗