Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Classes of binary matroids with small lists of excluded induced minors
Published
• View Publication
• BIB
In earlier work, we characterized the class of matroids with no $M(C_4)$ as an induced minor and the class of matroids with no member of $\{M(C_4),M(K_4)\}$ as an induced minor. In this paper, for every two matroids in $\{M(C_4),M(K_4\backslash e),M(K_4),F_7\}$, we determine the class of matroids that have neither of the chosen pair as an induced minor. Additionally, we prove structural lemmas toward characterizing the class of matroids that do not contain $M(K_4)$ as an induced minor.
Hyperbolicity, slimness, and minsize, on average
A metric space $(X,d)$ is said to be $δ$-hyperbolic if $d(x,y)+d(z,w)$ is at most $\max(d(x,z)+d(y,w), d(x,w)+d(y,z))$ by $2 δ$. A geodesic space is $δ$-slim if every geodesic triangle $Δ(x,y,z)$ is $δ$-slim. It is well-established that the notions of $δ$-slimness, $δ$-hyperbolicity, $δ$-thinness and similar concepts are equivalent up to a constant factor. In this paper, we investigate these properties under an average-case framework and reveal a surprising discrepancy: while $\mathbb{E}δ$-slimness implies $\mathbb{E}δ$-hyperbolicity, the converse does not hold. Furthermore, similar asymmetries emerge for other definitions when comparing average-case and worst-case formulations of hyperbolicity. We exploit these differences to analyze the random Gaussian distribution in Euclidean space, random $d$-regular graph, and the random Erdős-Rényi graph model, illustrating the implications of these average-case deviations.
A Coprime Buratti-Horak-Rosa Conjecture and Grid-Based Linear Realizations
We propose a "Coprime Buratti-Horak-Rosa (BHR) Conjecture": If $L$ is a multiset of size $v-1$ with support contained in $\{1, 2, \ldots, \lfloor v/2 \rfloor\}$ such that $\gcd(v,x) = 1$ for all $x \in L$, then $L$ is realizable. This is a specialization of the well-known BHR Conjecture and it includes Buratti's original conjecture.
We argue that the most effective route to a resolution of the conjecture when the support has size 3 is to focus on $L = \{1^a, x^b, y^c\}$, where $1<x<y$, with $a$ large subject to $a < x+y$. We use grid-based graphs to construct linear realizations for many such multisets. A partial list of parameter sets that the constructions cover: $a = x+y-1$; $a = x+y-2$ when $x=3$ or $x$ is even; $a \geq 4x-3$ for $x$ odd, $y > 2x-2$, and $b \geq y-2x+2$; $a \geq x$ for $y=tx$, with $x$ and $t$ odd, and $b \geq tx+2t-3$; $a \geq 7$ for $x=3$ and $b \geq y-4$. As well as these (and further) immediate results, the techniques introduced show promise for further development, both to head towards a proof of the conjecture when the support has size 3 and for situations with larger support.
We also show that if $y > (2x^2 + 2x + 1)/(x-2)$ then the Coprime BHR Conjecture holds for $\{1^a,x^b,y^c\}$ for infinitely many values of $v$, and that there are at most 3 values of $v$ for which it does not hold when $(x,y) = (6,18)$.
Ternary near-extremal self-dual codes of lengths $36$, $48$ and $60$
Published
• View Publication
• BIB
For lengths $36$, $48$ and $60$, we construct new ternary near-extremal self-dual codes with weight enumerators for which no ternary near-extremal self-dual codes were previously known to exist.
Machine Checked Proofs and Programs in Algebraic Combinatorics
Published in CPP 2025, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• View Publication
• BIB
We present a library of formalized results around symmetric functions and the character theory of symmetric groups. Written in Coq/Rocq and based on the Mathematical Components library, it covers a large part of the contents of a graduate level textbook in the field. The flagship result is a proof of the Littlewood-Richardson rule, which computes the structure constants of the algebra of symmetric function in the schur basis which are integer numbers appearing in various fields of mathematics, and which has a long history of wrong proofs. A specific feature of algebraic combinatorics is the constant interplay between algorithms and algebraic constructions: algorithms are not only in computations, but also are key ingredients in definitions and proofs. As such, the proof of the Littlewood-Richardson rule deeply relies on the understanding of the execution of the Robinson-Schensted algorithm. Many results in this library are effective and actually used in computer algebra systems, and we discuss their certified implementation.
Triangular norms on finite lattices
Published
• View Publication
• BIB
This article intends to characterize triangular norms on a finite lattice. We first give a method for generating a triangular norm on an atomistic lattice by the values of atoms. Then we prove that every triangular norm on a non-Boolean atomistic lattice is not left-continuous and $T_M$ is the uniquely left-continuous triangular norm on an atomistic Boolean lattice. Furthermore, we show that each atomistic Boolean lattice can be represented by a family of triangular norms on an atomistic lattice with the same number of atoms. Finally, we construct a triangular norm on a finite lattice by restricting a triangular norm on an extended atomistic lattice of the finite lattice to the finite lattice.
Punctured surfaces, quiver mutations, and quotients of Coxeter groups
Published
• View Publication
• BIB
In 2011, Barot and Marsh provided an explicit construction of presentation of a finite Weyl group $W$ by any quiver mutation-equivalent to an orientation of a Dynkin diagram with Weyl group $W$. The construction was extended by the authors of the present paper to obtain presentations for all affine Coxeter groups, as well as to construct groups from triangulations of unpunctured surfaces and orbifolds, where the groups are invariant under change of triangulation and thus are presented as quotients of numerous distinct Coxeter groups. We extend the construction to include most punctured surfaces and orbifolds, providing a new invariant for almost all marked surfaces.
Divisible design graphs from symplectic graphs over rings with precisely three ideals
Published
• View Publication
• BIB
In this paper we construct two new infinite families of divisible design graphs based on symplectic graphs over rings with precisely three ideals.
Deterministic Algorithms to Solve the $(n,k)$-Complete Hidden Subset Sum Problem
Published
• View Publication
• BIB
The Hidden Subset Sum Problem (HSSP) is a significant NP-complete problem in number theory and combinatorics, with applications in cryptography and AI privacy. For the $(n,k)$-complete HSSP, where a target multiset must be recovered from its all $k$-subset sums, existing algorithms face limitations due to high complexity or intractability. This paper proposes two deterministic algorithms: a brute-force approach, and a novel method leveraging symmetric polynomials and Vieta's formulas with $O\left(\sum_{u=1}^n p(u,\leq k)^3+\binom{n}{k}n\right)$ complexity, where $ p(u,\leq k)$ counts the number of partitions of a positive integer $u$ into at most $k$ parts. The latter constructs an $n$-th degree polynomial via Vieta's formulas, whose roots correspond to the hidden multiset elements. Additionally, the discussion about the homogeneous symmetric polynomial rings is of independent interest.
Undecidability of polynomial inequalities in tournaments
Published
• View Publication
• BIB
Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify polynomial inequalities in graph homomorphism densities. Recently, Blekherman, Raymond and Wei extended this result by showing that it is also undecidable to determine the validity of polynomial inequalities in homomorphism densities for weighted graphs with edge weights taking real values. These two results resolved a question of Lovász. In this paper, we consider the problem of determining the validity of polynomial inequalities in digraph homomorphism densities for tournaments. We prove that the answer to this problem is also undecidable.
A conjecture of Radu and Sellers on congruences modulo powers of 2 for broken 3-diamond partitions
Published
• View Publication
• BIB
In 2007, Andrews and Paule introduced the family of functions $Δ_k(n)$, which enumerate the number of broken $k$-diamond partitions for a fixed positive integer $k$. In 2013, Radu and Sellers completely characterized the parity of $Δ_3(8n + r)$ for some $r$ and gave a conjecture on congruences modulo powers of 2 for broken 3-diamond partitions. We use an unconventional $U$-sequence to solve the revised conjecture proposed by Radu and Sellers.
Hypercurveball algorithm for sampling hypergraphs with fixed degrees
Published
• View Publication
• BIB
Comparative analysis between a network and a random graph model can uncover network properties that significantly deviate from those in random networks. The standard random graph model used for comparison uniformly samples random graphs with the same degrees as the network data, often achieved through edge-swap algorithms. However, for hypergraphs, fewer such methodologies are available. This study introduces the Hypercurveball algorithm, designed to sample random, potentially directed, hypergraphs with fixed degrees. Minor adjustments enable the sampling of hypergraphs without degenerate hyperedges, self-loops, or multi-hyperedges. For most of these algorithms, we prove whether they sample uniformly or with bias. We experimentally show that the Hypercurveball algorithm can be significantly faster or slower than the standard hyperedge-shuffling algorithm, which is the hyperedge-equivalent of the edge-swap algorithm. We present criteria on the hypergraph degree sequence that indicate when the Hypercurveball algorithm is more efficient than the standard hyperedge-shuffling method. Finally, our experimental results suggest polynomial scaling of the mixing time for both the Hypercurveball and hyperedge-shuffling algorithms.
Metrics for classes of semi-binary phylogenetic networks using $μ$-representations
Published
• View Publication
• BIB
Phylogenetic networks are useful in representing the evolutionary history of taxa. In certain scenarios, one requires a way to compare different networks. In practice, this can be rather difficult, except within specific classes of networks. In this paper, we derive metrics for the class of \emph{orchard networks} and the class of \emph{strongly reticulation-visible} networks, from variants of so-called \emph{$μ$-representations}, which are vector representations of networks. For both network classes, we impose degree constraints on the vertices, by considering \emph{semi-binary} networks.
Covering points by hyperplanes and related problems
Published in SIAM Journal on Discrete Mathematics (2025), 39(4): 2242 - 2249
• View Publication
• BIB
For a set $P$ of $n$ points in $\mathbb R^d$, for any $d\ge 2$, a hyperplane $h$ is called $k$-rich with respect to $P$ if it contains at least $k$ points of $P$. Answering and generalizing a question asked by Peyman Afshani, we show that if the number of $k$-rich hyperplanes in $\mathbb R^d$, $d \geq 3$, is at least $Ω(n^d/k^α+ n/k)$, with a sufficiently large constant of proportionality and with $d\le α< 2d-1$, then there exists a $(d-2)$-flat that contains $Ω(k^{(2d-1-α)/(d-1)})$ points of $P$. We also present upper bound constructions that give instances in which the above lower bound is tight. An extension of our analysis yields similar lower bounds for $k$-rich spheres or $k$-rich flats.
Integer and Unsplittable Multiflows in Series-Parallel Digraphs
Published
• View Publication
• BIB
An unsplittable multiflow routes the demand of each commodity along a single path from its source to its sink node. As our main result, we prove that in series-parallel digraphs, any given multiflow can be expressed as a convex combination of unsplittable multiflows, where the total flow on any arc deviates from the given flow by less than the maximum demand of any commodity. This result confirms a 25-year-old conjecture by Goemans for single-source unsplittable flows, as well as a stronger recent conjecture by Morell and Skutella, for series-parallel digraphs - even for general multiflow instances where commodities have distinct source and sink nodes. Previously, no non-trivial class of digraphs was known for which either conjecture holds. En route to proving this result, we also establish strong integrality results for multiflows on series-parallel digraphs, showing that their computation can be reduced to a simple single-commodity network flow problem.
Vertex-distinguishing and sum-distinguishing edge coloring of regular graphs
Published
• View Publication
• BIB
Given an integer $k\ge1$, an edge-$k$-coloring of a graph $G$ is an assignment of $k$ colors $1,\ldots,k$ to the edges of $G$ such that no two adjacent edges receive the same color. A vertex-distinguishing (resp. sum-distinguishing) edge-$k$-coloring of $G$ is an edge-$k$-coloring such that for any two distinct vertices $u$ and $v$, the set (resp. sum) of colors taken from all the edges incident with $u$ is different from that taken from all the edges incident with $v$. The vertex-distinguishing chromatic index (resp. sum-distinguishing chromatic index), denoted $χ'_{vd}(G)$ (resp. $χ'_{sd}(G)$), is the smallest value $k$ such that $G$ has a vertex-distinguishing-edge-$k$-coloring (resp. sum-distinguishing-edge-$k$-coloring). Let $G$ be a $d$-regular graph on $n$ vertices, where $n$ is even and sufficiently large. We show that $χ'_{vd}(G) =d+2$ if $d$ is arbitrarily close to $n/2$ from above, and $χ'_{sd}(G) =d+2$ if $d\ge \frac{2n}{3}$. Our first result strengthens a result of Balister et al. in 2004 for such class of regular graphs, and our second result constitutes a significant advancement in the field of sum-distinguishing edge coloring.
To achieve these results, we introduce novel edge coloring results which may be of independent interest.
A cospectral construction for the generalized distance matrix
Published
• View Publication
• BIB
The generalized distance matrix of a graph is a matrix in which the $(i,j)$th entry is a function, $f$, of the distance between vertex $i$ and vertex $j$. Depending on the choice of $f$, this family of matrices includes both the adjacency matrix and the traditional distance matrix. We present a cospectral construction for the generalized distance matrix akin to Godsil-McKay Switching. We also investigate a special case of the generalized distance matrix: the exponential distance matrix, which is a matrix where every entry is a value $q$ raised to the power of the distance between the vertices. We give an upper bound on the values of $q$ needed to show a pair of graphs is cospectral for all values of $q$ corresponding to the diameter of the graphs.
We also give cospectral constructions unique to value $q=1/2$.
A combinatorial representation of Arrow's single-peaked domains
The most studied class of Condorcet domains (acyclic sets of linear orders) is the class of peak-pit domains of maximal width. It has a number of combinatorial representations by such familiar combinatorial objects like rhombus tilings and arrangements of pseudolines. Arrow's single-peaked domains are peak-pit but do not have maximal width. We suggest how to represent them by means of generalised arrangements of pseudolines.
The Triple Riordan Group
Published
• View Publication
• BIB
We define the triple Riordan group, whose elements consist of $4$-tuples of power series $(g, f_1, f_2, f_3)$ with $g\in \mathbf{R}[[x^3]]$, and $f_1, f_2, f_3 \in x\mathbf{R}[[x^3]]$, for an appropriate ring $\mathbf{R}$. The construction of this group generalizes that of the double Riordan group, and lays the pattern for further generalizations.
Arrangements of small circles for Morse-Bott functions
As a topic of mathematics, "arrangements", systems of hyperplanes, circles, and general (regular) submanifolds, attract us strongly. We present a natural elementary study of arrangements of circles. It is also a kind of new studies. Our study is closely related to geometry and singularity theory of Morse(-Bott) functions. Regions surrounded by circles are regarded as images of real algebraic maps and composing them with projections gives Morse-Bott functions: this observation is natural, and surprisingly, recently presented first, by the author. We present a systematic way of constructing such arrangements by choosing small circles centered at existing circles inductively. We are interested in graphs the regions surrounded by the circles naturally collapse. We have studied local changes of the graphs in adding these circles. These graphs are essentially so-called {\it Reeb graphs} of the previous Morse-Bott functions: they are spaces of all components of preimages of single points for the functions.