Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies
Published in International Journal of Solids and Structures, 306, 2025, 113102
• View Publication
• BIB
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.
Every $d(d+1)$-connected graph is globally rigid in $\mathbb{R}^d$
Using a probabilistic method, we prove that $d(d+1)$-connected graphs are rigid in $\mathbb{R}^d$, a conjecture of Lovász and Yemini. Then, using recent results on weakly globally linked pairs, we modify our argument to prove that $d(d+1)$-connected graphs are globally rigid, too, a conjecture of Connelly, Jordán and Whiteley. The constant $d(d+1)$ is best possible.
Unbounded matroids
Published
• View Publication
• BIB
A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.
A Method for Finding All Permutiples with a Fixed Set of Digits from a Single Known Example
Published in Integers 24 (2024), #A88
• View Publication
• BIB
A permutiple is a natural number that is a nontrivial multiple of a permutation of its digits in some base. Special cases of permutiples include cyclic numbers (multiples of cyclic permutations of their digits) and palintiple numbers (multiples of their digit reversals). While cyclic numbers have a fairly straightforward description, palintiple numbers admit many varieties and cases. A previous paper attempts to get a better handle on the general case by constructing new examples of permutiples with the same set of digits, multiplier, and length as a known example. However, the results are not sufficient for finding all possible examples except when the multiplier divides the base. Using an approach based on the methods of this previous paper, we develop a new method which enables us to find all examples under any conditions.
A Framework for Symmetric Self-Intersecting Surfaces
Published
• View Publication
• BIB
3D printing of surfaces has become an established method for prototyping and visualisation. However, surfaces often contain certain degenerations, such as self-intersecting faces or non-manifold parts, which pose problems in obtaining a 3D printable file. Therefore, it is necessary to examine these degenerations beforehand. Surfaces in three-dimensional space can be represented as embedded simplicial complexes describing a triangulation of the surface. We use this combinatorial description, and the notion of embedded simplicial surfaces (which can be understood as well-behaved surfaces) to give a framework for obtaining 3D printable files. This provides a new perspective on self-intersecting triangulated surfaces in three-dimensional space. Our method first retriangulates a surface using a minimal number of triangles, then computes its outer hull, and finally treats non-manifold parts. To this end, we prove an initialisation criterion for the computation of the outer hull. We also show how symmetry properties can be used to simplify computations. Implementations of the proposed algorithms are given in the computer algebra system GAP4. To verify our methods, we use a dataset of self-intersecting symmetric icosahedra. Exploiting the symmetry of the underlying embedded complex leads to a notable speed-up and enhanced numerical robustness when computing a retriangulation, compared to methods that do not take advantage of symmetry.
Mod $p$ Buchstaber invariant
We investigate the mod $p$ Buchstaber invariant of the skeleta of simplices, for a prime number $p$, and compare them for different values of $p$. For $p=2$, the invariant is the real Buchstaber invariant. Our findings reveal that these values are generally distinct. Additionally, we determine or estimate the mod $p$ Buchstaber invariants of certain universal simplicial complexes $X(\F_p^n)$.
Classification of Minimal Separating Sets of Low Genus Surfaces
A minimal separating set in a connected topological space $X$ is a subset $L \subset X$ with the property that $X \setminus L$ is disconnected, but if $L^{\prime}$ is a proper subset of $L$, then $X \setminus L^{\prime}$ is connected. Such sets show up in a variety of contexts. For example, in a wide class of metric spaces, if we choose distinct points p and q, then the set of points x satisfying d(x, p) = d(x, q) is a minimal separating set. In this paper we classify which topological graphs can be realized as minimal separating sets in surfaces of low genus. In general the question of whether a graph can be embedded at all in a surface is a difficult one, so our work is partly computational. We classify graphs embeddings which are minimal separating in a given genus and write a computer program to find all such embeddings and their underlying graphs.
Homomesy on permutations with toggling actions
Published in Involve 18 (2025) 829-854
• View Publication
• BIB
Homomesy is an invariance phenomenon in dynamical algebraic combinatorics which occurs when the average value of some statistic on a set of combinatorial objects is the same over each orbit generated by a map on these objects. In this paper we perform a systematic search for statistics homomesic for the set of permutations under the rotation map, identifying and proving 34 instances of homomesy. We show that these homomesies actually hold not only for rotation but in fact for a whole class of maps related to rotation by the notion of toggling, which is identified initially with composition of simple transpositions. In this way these maps are related to the rowmotion action defined on various combinatorial structures, which has a useful definition in terms of toggling. We prove some initial results on maps given by restricted or modified toggles. We discuss also the computational method used to identify candidate statistics from FindStat, a combinatorial statistics database.
Regular sets of lines in rank 3 polar spaces
Published
• View Publication
• BIB
There are 6 families of finite polar spaces of rank $3$.
The set of lines in a rank $3$ polar space form a rank $5$ association scheme.
We determine the regular sets of minimal size in several of these polar spaces, and describe some examples.
We also give a new family of Cameron--Liebler sets of generators in the polar spaces $O^+(10,q)$ when $q = 3^h$ using a regular set of lines in $O(7,q)$.
On Steiner Trees of the Regular Simplex
In the Euclidean Steiner Tree problem, we are given as input a set of points (called terminals) in the $\ell_2$-metric space and the goal is to find the minimum-cost tree connecting them. Additional points (called Steiner points) from the space can be introduced as nodes in the solution.
The seminal works of Arora [JACM'98] and Mitchell [SICOMP'99] provide a Polynomial Time Approximation Scheme (PTAS) for solving the Euclidean Steiner Tree problem in fixed dimensions. However, the problem remains poorly understood in higher dimensions (such as when the dimension is logarithmic in the number of terminals) and ruling out a PTAS for the problem in high dimensions is a notoriously long standing open problem (for example, see Trevisan [SICOMP'00]). Moreover, the explicit construction of optimal Steiner trees remains unknown for almost all well-studied high-dimensional point configurations. Furthermore, a vast majority the state-of-the-art structural results on (high-dimensional) Euclidean Steiner trees were established in the 1960s, with no noteworthy update in over half a century.
In this paper, we revisit high-dimensional Euclidean Steiner trees, proving new structural results. We also establish a link between the computational hardness of the Euclidean Steiner Tree problem and understanding the optimal Steiner trees of regular simplices (and simplicial complexes), proposing several conjectures and showing that some of them suffice to resolve the status of the inapproximability of the Euclidean Steiner Tree problem. Motivated by this connection, we investigate optimal Steiner trees of regular simplices, proving new structural properties of their optimal Steiner trees, revisiting an old conjecture of Smith [Algorithmica'92] about their optimal topology, and providing the first explicit, general construction of candidate optimal Steiner trees for that topology.
New 2-closed groups that are not automorphism groups of digraphs
Published in Algebraic Combinatorics, 7(6):1793-1811, 2024
• View Publication
• BIB
In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.
Non-central sections of the regular n-simplex
We show that the maximal non-central hyperplane sections of the regular n-simplex of side-length sqrt 2 at a fixed distance t to the centroid are those parallel to a face of the simplex, if $\sqrt{(n-2)/(3(n+1))} < t < \sqrt{(n-1)/(2(n+1))}$ and $n>4$. For $n=4$, the same is true in a slightly smaller range for t. This adds to a previous result for $\sqrt{(n-1)/(2(n+1))} < t < \sqrt{n/(n+1)}$. For $n=2,3$, we determine the maximal and the minimal sections for all distances t to the centroid.
The minimum number of detours in graphs
A longest path in a graph is called a detour. It is easy to see that a connected graph of minimum degree at least $2$ and order at least $4$ has at least $4$ detours. We prove that if the number of detours in such a graph of order at least $9$ is odd, then it is at least $9,$ and this lower bound can be attained for every order. Thus the possibilities $3,$ $5$ and $7$ are excluded. Two open problems are posed.
The reachability homology of a directed graph
Published in International Mathematics Research Notices, 2025(3):1-18, 2025
• View Publication
• BIB
The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.
Lascoux polynomials and subdivisions of Gelfand-Zetlin polytopes
Published in International Mathematics Research Notices, volume 2024, issue 19, October 2024, pages 12954-12977
• View Publication
• BIB
We give a new combinatorial description for stable Grothendieck polynomials in terms of subdivisions of Gelfand-Zetlin polytopes. Moreover, these subdivisions also provide a description of Lascoux polynomials. This generalizes a similar result on key polynomials by Kiritchenko, Smirnov, and Timorin.
Finding and counting small tournaments in large tournaments
Published
• View Publication
• BIB
We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, it is proved that every tournament on four vertices (there are four) can be detected in $O(n^2)$ time and counted in $O(n^ω)$ time where $ω< 2.373$ is the matrix multiplication exponent. It is also proved that any tournament on five vertices (there are $12$) can be counted in $O(n^{ω+1})$ time. As for lower-bounds, we prove that for almost all $k$-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for {\em undirected cliques} of order $k-O(\log k)$.
Indivisibility for Classes of Graphs
Published
• View Publication
• BIB
We examine indivisibility for classes of graphs. We show that the class of hereditarily $α$-sparse graphs is indivisible if and only if $α> 2$. Additionally, we show that the following classes of graphs are indivisible: perfect graphs, cographs, and chordal graphs, and the following classes of graphs are not indivisible: threshold graphs, split graphs, and distance-hereditary graphs.
When Effort May Fail: Equilibria of Shared Effort with a Threshold
Published
• View Publication
• BIB
People, robots, and companies mostly divide time and effort between projects, and \defined{shared effort games} model people investing resources in public endeavors and sharing the generated values. In linear $θ$ sharing (effort) games, a project's value is linear in the total contribution, thus modelling predictable, uniform, and scalable activities. The threshold $θ$ for effort defines which contributors win and receive their share, equal share modelling standard salaries, equity-minded projects, etc. Thresholds between 0 and 1 model games such as paper co-authorship and shared assignments, where a minimum positive contribution is required for sharing in the value. We constructively characterise the conditions for the existence of a pure equilibrium for $θ\in\{0,1\}$, and for two-player games with a general threshold, and find the prices of anarchy and stability. We also provide existence and efficiency results for more than two players, and use generalised fictitious play simulations to show when a pure equilibrium exists and what its efficiency is. We propose a novel method for studying solution concepts by defining a new concept and proving its equivalence to a previously known on a large subclass of games. This means that the original concept narrows down to a more demanding concepts on certain games, providing new insights and opening a path to study both concepts conveniently. We also prove mixed equilibria always exist and bound their efficiency.
Quantum properties of $\mathcal F$-cographs
We initiate a systematic study of quantum properties of finite graphs, namely, quantum asymmetry, quantum symmetry, and quantum isomorphism. We define the Schmidt alternative for a class of graphs, which reveals to be a useful tool for studying quantum symmetries of graphs. After showing that quantum isomorphic graphs have quantum isomorphic centers and connected components, we solve the aforementioned problems for the classes of cographs and forests. We also compute their quantum automorphism groups for the first time. In doing so, we extend to the noncommutative setting a theorem of Jordan. Using general results on $\mathcal F$-cographs, we extend the precedent results to $\mathcal G_5$-cographs and tree-cographs, two distinct strictly proper superclasses of cographs and forests respectively. Finally, we show that quantum isomorphic planar graphs are isomorphic.
Combinatorics of $(m,n)$-Word Lattices
Published in The Electronic Journal of Combinatorics 31, 4 (2024). P4.1
• View Publication
• BIB
We study the $(m,n)$-word lattices recently introduced by V. Pilaud and D. Poliakova in their study of generalized Hochschild polytopes. We prove that these lattices are extremal and constructable by interval doublings. Moreover, we describe further combinatorial properties of these lattices, such as their cardinality, their canonical join representations and their Galois graphs.