Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Note on Minkowski Summation and Unimodularity in Discrete Convex Analysis
Published
• View Publication
• BIB
This short note gives an elementary alternative proof for a theorem of Danilov and Koshevoy on Minkowski summation and unimodularity in discrete convex analysis. It is intended to disseminate this fundamental theorem and make its proof accessible to researchers in optimization and operations research.
Hajnal--Máté graphs, Cohen reals, and disjoint type guessing
Published
• View Publication
• BIB
A Hajnal--Máté graph is an uncountably chromatic graph on $ω_1$ satisfying a certain natural sparseness condition. We investigate Hajnal-Máté graphs and generalizations thereof, focusing on the existence of Hajnal-Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal-Máté graphs. In the process, we isolate a weakening of club guessing called \emph{disjoint type guessing} that we feel is of interest in its own right. We show that disjoint type guessing is independent of $\mathsf{ZFC}$ and, if disjoint type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal-Máté graphs $G$ such that the chromatic numbers of finite subgraphs of $G$ grow arbitrarily slowly.
Poncelet's closure theorem and the embedded topology of conic-line arrangements
Published
• View Publication
• BIB
In this paper, we consider conic-line arrangements that arise from Poncelet's closure theorem. We study unramified double covers of the union of two conics, that are induced by a $2m$-sided Poncelet transverse. As an application, we show the existence of families of Zariski pairs of degree $2m+6$ for $m\geq 2$ that consist of reducible curves having two conics and $2m+2$ lines as irreducible components.
Density results for the parity of $(4k,k)$-singular overpartitions
Published
• View Publication
• BIB
The $(k,i)$-singular overpartitions, combinatorial objects introduced by Andrews in 2015, are known to satisfy Ramanujan-type congruences modulo any power of prime coprime to $6k$. In this paper we consider the parity of the number $\overline{C}_{k,i}(n)$ of $(k,i)$-singular overpartitions of $n$. In particular, we give a sufficient condition on even values of $k$ so that the values of $\overline{C}_{4k,k}(n)$ are almost always even. Furthermore, we show that for odd values of $k \leq 23$, $k\neq 19$, certain subsequences of $\overline{C}_{4k,k}(n)$ are almost always even.
Packing and covering a given directed graph in a directed graph
Published
• View Publication
• BIB
For every fixed $k \ge 4$, it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed $k$-cycles, then there exists a set of at most $\frac{2}{3}kt+ o(n^2)$ arcs that meets all directed $k$-cycles and that the set of $k$-cycles admits a fractional cover of value at most $\frac{2}{3}kt$. It is also proved that the ratio $\frac{2}{3}k$ cannot be improved to a constant smaller than $\frac{k}{2}$. For $k=5$ the constant $2k/3$ is improved to $25/8$ and for $k=3$ it was recently shown by Cooper et al. that the constant can be taken to be $9/5$. The result implies a deterministic polynomial time $\frac{2}{3}k$-approximation algorithm for the directed $k$-cycle cover problem, improving upon a previous $(k{-}1)$-approximation algorithm of Kortsarz et al.
More generally, for every directed graph $H$ we introduce a graph parameter $f(H)$ for which it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint $H$-copies, then there exists a set of at most $f(H)t+ o(n^2)$ arcs that meets all $H$-copies and that the set of $H$-copies admits a fractional cover of value at most $f(H)t$. It is shown that for almost all $H$ it holds that $f(H) \approx |E(H)|/2$ and that for every $k$-vertex tournament $H$ it holds that $f(H) \le \lfloor k^2/4 \rfloor$.
On tournament inversion
Published
• View Publication
• BIB
An {\it inversion} of a tournament $T$ is obtained by reversing the direction of all edges with both endpoints in some set of vertices. Let ${\rm inv}_k(T)$ be the minimum length of a sequence of inversions using sets of size at most $k$ that result in the transitive tournament. Let ${\rm inv}_k(n)$ be the maximum of ${\rm inv}_k(T)$ taken over $n$-vertex tournaments. It is well-known that ${\rm inv}_2(n)=(1+o(1))n^2/4$ and it was recently proved by Alon et al. that ${\rm inv}(n):={\rm inv}_{n}(n)=n(1+o(1))$. In these two extreme cases ($k=2$ and $k=n$), random tournaments are asymptotically extremal objects. It is proved that the random tournament {\em does not} asymptotically attain ${\rm inv}_k(n)$ when $k \ge k_0$ and conjectured that ${\rm inv}_3(n)$ is (only) attained by (quasi) random tournaments. It is further proved that $(1+o(1)){\rm inv}_3(n)/n^2 \in [\frac{1}{12}, 0.0992)$ and $(1+o(1)){\rm inv}_k(n)/n^2 \in [\frac{1}{2k(k-1)}+δ_k, \frac{1}{2 \lfloor k^2/2 \rfloor}-ε_k]$ where $ε_k > 0$ for all $k \ge 3$ and $δ_k > 0$ for all $k \ge k_0$.
A Note on the 2-Colored Rectilinear Crossing Number of Random Point Sets in the Unit Square
Published
• View Publication
• BIB
Let $S$ be a set of four points chosen independently, uniformly at random from a square. Join every pair of points of $S$ with a straight line segment. Color these edges red if they have positive slope and blue, otherwise. We show that the probability that $S$ defines a pair of crossing edges of the same color is equal to $1/4$. This is connected to a recent result of Aichholzer et al. [GD 2019] who showed that by 2-colouring the edges of a geometric graph and counting monochromatic crossings instead of crossings, the number of crossings can be more than halfed. Our result shows that for the described random drawings, there is a coloring of the edges such that the number of monochromatic crossings is in expectation $\frac{1}{2}-\frac{7}{50}$ of the total number of crossings.
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.