Showing 20 papers (Total: 83400 papers, 48159 authors in database)
On connected subgraph arrangements
Published
• View Publication
• BIB
Recently, Cuntz and Kühne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if $A_G$ is an aspherical connected subgraph arrangement, then $A_G$ is free with the unique possible exception when the underlying graph $G$ is the complete graph on $4$ nodes.
Connectivity for square percolation and coarse cubical rigidity in random right-angled Coxeter groups
Published
• View Publication
• BIB
We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups.
We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.
The Determinantal Matroid
We study the algebraic matroid induced by the ideal of (r+1)-minors of a matrix of variables over a field. This is inherently connected to the bounded-rank matrix completion problem, in which the aim is to complete a partially observed rank r matrix. We give criteria that detect dependent sets in the matroid, we describe a family of bases of the matroid, and we study the question of unique completability.
Unbent Collections of Orthogonal Drawings
Recently, there has been interest in representing single graphs by multiple drawings; for example, using graph stories, storyplans, or uncrossed collections. In this paper, we apply this idea to orthogonal graph drawing. Due to the orthogonal drawing style, we focus on 4-graphs, that is, graphs of maximum degree 4. We restrict ourselves to plane graphs, that is, planar graphs whose embedding is fixed. Our goal is to represent any plane 4-graph $G$ by an unbent collection, that is, a collection of orthogonal drawings of $G$ that adhere to the embedding of $G$ and ensure that each edge of $G$ is drawn without bends in at least one of the drawings. We investigate two objectives. First, we consider minimizing the number of drawings in an unbent collection. We prove that every plane 4-graph can be represented by a collection with at most three drawings, which is tight. We also give necessary and sufficient conditions for a graph to admit an unbent collection of size $2$. Second, we consider minimizing the total number of bends over all drawings in an unbent collection. We show that this problem is NP-hard and give a 3-approximation algorithm. For the special case of plane triconnected cubic graphs, we show how to compute minimum-bend collections in linear time.
Square-free powers of Cohen-Macaulay simplicial forests
Published
• View Publication
• BIB
Let $I(Δ)^{[k]}$ denote the $k^{\text{th}}$ square-free power of the facet ideal of a simplicial complex $Δ$ in a polynomial ring $R$. Square-free powers are intimately related to the `Matching Theory' and `Ordinary Powers'. In this article, we show that if $Δ$ is a Cohen-Macaulay simplicial forest, then $R/I(Δ)^{[k]}$ is Cohen-Macaulay for all $k\ge 1$. This result is quite interesting since all ordinary powers of a graded radical ideal can never be Cohen-Macaulay unless it is a complete intersection. To prove the result, we introduce a new combinatorial notion called special leaf, and using this, we provide an explicit combinatorial formula of $\mathrm{depth}(R/I(Δ)^{[k]})$ for all $k\ge 1$, where $Δ$ is a Cohen-Macaulay simplicial forest. As an application, we show that the normalized depth function of a Cohen-Macaulay simplicial forest is nonincreasing.
Chevalley operations on TNN Grassmannians
Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras.
We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea.
Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers.
Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.
Factorization norms and Zarankiewicz problems
The $γ_2$-norm of Boolean matrices plays an important role in communication complexity and discrepancy theory. In this paper, we study combinatorial properties of this norm, and provide new applications, involving Zarankiewicz type problems. We show that if $M$ is an $m\times n$ Boolean matrix such that $γ_2(M)<γ$ and $M$ contains no $t\times t$ all-ones submatrix, then $M$ contains $O_{γ,t}(m+n)$ one entries. In other words, graphs of bounded $γ_2$-norm are degree bounded. This addresses a conjecture of Hambardzumyan, Hatami, and Hatami for locally sparse matrices. We prove that if $G$ is a $K_{t,t}$-free incidence graph of $n$ points and $n$ homothets of a polytope $P$ in $\mathbb{R}^d$, then the average degree of $G$ is $O_{d,P}(t(\log n)^{O(d)})$. This is sharp up the $O(.)$ notations. In particular, we prove a more general result on semilinear graphs, which greatly strengthens the work of Basit, Chernikov, Starchenko, Tao, and Tran.
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
Published
• View Publication
• BIB
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
Universality of Polyhedral Linkages
Published
• View Publication
• BIB
Planar linkages are a rich area of study motivated by practical applications in engineering mechanisms. A central result is Kempe's Universality Theorem, which states that semi-algebraic sets can be realized by planar linkages. Polyhedral linkages are generalizations of planar linkages to higher dimensions, where the faces are required to be rigid. In this paper, we generalize Kempe's Universality Theorem to polyhedral linkages with an embedded construction in dimension three and above.
Claw-free cubic graphs are (1, 1, 1, 3)-packing edge-colorable
Published in Discrete Applied Mathematics 379 (2026) 332-338
• View Publication
• BIB
For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.
Optimal redundancy of function-correcting codes
Published
• View Publication
• BIB
Function-correcting codes, introduced by Lenz, Bitar, Wachter-Zeh, and Yaakobi, protect specific function values of a message rather than the entire message. A central challenge is determining the optimal redundancy -- the minimum additional information required to recover function values amid errors. This redundancy depends on both the number of correctable errors $t$ and the structure of message vectors yielding identical function values. While prior works established bounds, key questions remain, such as the optimal redundancy for functions like Hamming weight and Hamming weight distribution, along with efficient code constructions. In this paper, we make the following contributions:
(1) For the Hamming weight function, we improve the lower bound on optimal redundancy from $\frac{10(t-1)}{3}$ to $4t - \frac{4}{3}\sqrt{6t+2} + 2$. On the other hand, we provide a systematical approach to constructing explicit FCCs via a novel connection with Gray codes, which also improve the previous upper bound from $\frac{4t-2}{1 - 2\sqrt{\log{2t}/(2t)}}$ to $4t - \log{t}$. Consequently, we almost determine the optimal redundancy for Hamming weight function.
(2) The Hamming weight distribution function is defined by the value of Hamming weight divided by a given positive integer $T$. Previous work established that the optimal redundancy is $2t$ when $T > 2t$, while the case $T \le 2t$ remained unclear. We show that the optimal redundancy remains $2t$ when $T \ge t+1$. However, in the surprising regime where $T = o(t)$, we achieve near-optimal redundancy of $4t - o(t)$. Our results reveal a significant distinction in behavior of redundancy for distinct choices of $T$.
Expression of special stretched $9j$ coefficients in terms of $_5F_4$ hypergeometric series
Published
• View Publication
• BIB
The Clebsch-Gordan coefficients or Wigner $3j$ symbols are known to be proportional to a $_3F_2(1)$ hypergeometric series, and Racah $6j$ coefficients to a $_4F_3(1)$. In general, however, non-trivial $9j$ symbols can not be expressed as a $_5F_4$. In this letter, we show, using the Dougall-Ramanujan identity, that special stretched $9j$ symbols can be reformulated as $_5F_4(1)$ hypergeometric series.
On homological properties of some Cynk-Szemberg octic hyperplane arrangements
In this paper we study Cynk-Szemberg octic hyperplane arrangements from the perspective of homological properties of their derivation modules. In particular, we define the notion of the type of hyperplane arrangements that will be used in our characterization of rigid Cynk-Szemberg octic hyperplane arrangements. Moreover, we deliver a combinatorial non-freeness criterion for essential hyperplane arrangements in $\mathbb{C}^{4}$.
On the Global Optimality of Fibonacci Lattices in the Torus
We use linear programming bounds to analyze point sets in the torus with respect to their optimality for problems in discrepancy theory and quasi-Monte Carlo methods. These concepts will be unified by introducing tensor product energies.
We show that the canonical $3$-point lattice in any dimension is globally optimal among all $3$-point sets in the torus with respect to a large class of such energies. This is a new instance of universal optimality, a special phenomenon that is only known for a small class of highly structured point sets.
In the case of $d=2$ dimensions it is conjectured that so-called Fibonacci lattices should also be optimal with respect to a large class of potentials. To this end we show that the $5$-point Fibonacci lattice is globally optimal for a continuously parametrized class of potentials relevant to the analysis fo the quasi-Monte Carlo method.
Lotuses as computational architectures
Published
• View Publication
• BIB
Lotuses are certain types of finite contractible simplicial complexes, obtained by identifying vertices of polygons subdivided by diagonals. As we explained in a previous paper, each time one resolves a complex reduced plane curve singularity by a sequence of toroidal modifications with respect to suitable local coordinates, one gets a naturally associated lotus, which allows to unify the classical trees used to encode the combinatorial type of the singularity. In this paper we explain how to associate a lotus to each constellation of crosses, which is a finite constellation of infinitely near points endowed with compatible germs of normal crossings divisors with two components, and how this lotus may be seen as a computational architecture. Namely, if the constellation of crosses is associated to an embedded resolution of a complex reduced plane curve singularity $A$, one may compute progressively as vertex and edge weights on the lotus the log-discrepancies of the exceptional divisors, the orders of vanishing on them of the starting coordinates, the multiplicities of the strict transforms of the branches of $A$, the orders of vanishing of a defining function of $A$, the associated Eggers-Wall tree, the delta invariant and the Milnor number of $A$, etc. We illustrate these computations using three recurrent examples. Finally, we describe the changes to be done when one works in positive characteristic.
Ellipsoidal designs and the Prouhet--Tarry--Escott problem
Published
• View Publication
• BIB
The notion of ellipsoidal design was first introduced by Pandey (2022) as a full generalization of spherical designs on the unit circle $S^1$. In this paper, we elucidate the advantages of examining the connections between ellipsoidal design and the two-dimensional Prouhet--Tarry--Escott problem, say ${\mathrm PTE}_2$, originally introduced by Alpers and Tijdeman (2007) as a natural generalization of the classical one-dimensional PTE problem (${\mathrm PTE}_1$). We first provide a combinatorial criterion for the construction of solutions of ${\mathrm PTE}_2$ from a pair of ellipsoidal designs. We also give an arithmetic proof of the Stroud-type bound for ellipsoidal designs, and then establish a classification theorem for designs with equality. Such a classification result is closely related to an open question on the existence of rational spherical $4$-designs on $S^1$, discussed in Cui, Xia and Xiang (2019). As far as the authors know, a solution found by Alpers and Tijdeman is the first and the only known parametric ideal solution of degree $5$ for ${\mathrm PTE}_2$. Moreover, as one of our main theorems, we prove that the Alpers--Tijdeman solution is equivalent to a certain two-dimensional extension of the famous Borwein solution for ${\mathrm PTE}_1$. As a by-product of this theorem, we discover a family of ellipsoidal $5$-designs among the Alpers--Tijdeman solution.
An Alternative Generating Function for $k$-Regular Partitions
We construct a $k$-fold $q$-series as a generating function of $k$-regular partitions for each positive integer $k$. The $k=1$ case is one of Euler's $q$-series identities pertaining to the partitions into distinct parts. The construction is combinatorial. Although we find a connection to Bessel polynomials in the $k=2$ case, this note is certainly not a study of Bessel polynomials and their $q$-analogs.
Toroidal graphs without $K_{5}^{-}$ and 6-cycles
Published in Discrete Mathematics, 347 (2024) 114076
• View Publication
• BIB
Cai et al.\ proved that a toroidal graph $G$ without $6$-cycles is $5$-choosable, and proposed the conjecture that $\textsf{ch}(G) = 5$ if and only if $G$ contains a $K_{5}$ [J. Graph Theory 65 (2010) 1--15], where $\textsf{ch}(G)$ is the choice number of $G$. However, Choi later disproved this conjecture, and proved that toroidal graphs without $K_{5}^{-}$ (a $K_{5}$ missing one edge) and $6$-cycles are $4$-choosable [J. Graph Theory 85 (2017) 172--186]. In this paper, we provide a structural description, for toroidal graphs without $K_{5}^{-}$ and $6$-cycles. Using this structural description, we strengthen Choi's result in two ways: (I) we prove that such graphs have weak degeneracy at most three (nearly $3$-degenerate), and hence their DP-paint numbers and DP-chromatic numbers are at most four; (II) we prove that such graphs have Alon-Tarsi numbers at most $4$. Furthermore, all of our results are sharp in some sense.
Cookie cutters: Bisections with fixed shapes
Published
• View Publication
• BIB
In a mass partition problem, we are interested in finding equitable partitions of smooth measures in $\mathbb{R}^d$. In this manuscript, we study the problem of finding simultaneous bisections of measures using scaled copies of a prescribed set $K$. We distinguish the problem when we are allowed to use scaled and translated copies of $K$ and the problem when we are allowed to use scaled isometric copies of $K$. These problems have only previously been studied if $K$ is a half-space or a Euclidean ball. We obtain positive results for simultaneous bisection of any $d+1$ masses for star-shaped compact sets $K$ with non-empty interior, where the conditions on the problem depend on the smoothness of the boundary of $K$. Additional proofs are included for particular instances of $K$, such as hypercubes and cylinders, answering positively a conjecture of Soberón and Takahashi. The proof methods are topological and involve new Borsuk--Ulam-type theorems.
On Pancyclicity in a Mixed Model for Domination Reconfiguration
Published
• View Publication
• BIB
A new model for domination reconfiguration is introduced which combines the properties of the preexisting token addition/removal (TAR) and token sliding (TS) models. The vertices of the TARS-graph correspond to the dominating sets of $G$, where two vertices are adjacent if and only if they are adjacent via either the TAR reconfiguration rule or the TS reconfiguration rule. While the domination reconfiguration graph obtained by using only the TAR rule (sometimes called the dominating graph) will never have a Hamilton cycle, we show that for some classes of graphs $G$, by adding a relatively small number of token sliding edges, the resulting graph is not only hamiltonian, but is in fact pancyclic. In particular, if the underlying graphs are trees, complete graphs, or complete multipartite graphs, their TARS-graphs will be pancyclic. We also provide pancyclicity results for TARS-graphs of graph unions and joins, and conclude by posing the question: Are all TARS-graphs pancyclic?