Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Some ergodic theorems involving Omega function and their applications
Published
• View Publication
• BIB
In this paper, we build some ergodic theorems involving function $Ω$, where $Ω(n)$ denotes the number of prime factors of a natural number $n$ counted with multiplicities. As a combinatorial application, it is shown that for any $k\in \mathbb{N}$ and every $A\subset \mathbb{N}$ with positive upper Banach density, there are $a,d\in \mathbb{N}$ such that $$a,a+d,\ldots,a+kd,a+Ω(d)\in A.$$
Frequent elements in union-closed set families
The Union-Closed Sets Conjecture asks whether every union-closed set family $\mathcal{F}$ has an element contained in half of its sets. In 2022, Nagel posed a generalisation of this problem, suggesting that the $k$th-most popular element in a union-closed set family must be contained in at least $\frac{1}{2^{k-1} + 1} |\mathcal{F}|$ sets.
We combine the entropic method of Gilmer with the combinatorial arguments of Knill to show that this is indeed the case for all $k \ge 2$, and characterise the families that achieve equality. Furthermore, we show that when $|\mathcal{F}| \to \infty$, the $k$th-most frequent element will appear in at least $\left( \frac{3 - \sqrt{5}}{2} - o(1) \right) |\mathcal{F}|$ sets, reflecting the recent progress made for the Union-Closed Set Conjecture.
Further analysis on the second frequency of union-closed set families
The Union-Closed Sets Conjecture, also known as Frankl's conjecture, asks whether, for any union-closed set family $\mathcal{F}$ with $m$ sets, there is an element that lies in at least $\frac{1}{2}\cdot m$ sets in $\mathcal{F}$. In 2022, Nagel posed a stronger conjecture that within any union-closed family whose ground set size is at least $k$, there are always $k$ elements in the ground set that appear in at least $\frac{1}{2^{k-1}+1}$ proportion of the sets in the family.
Das and Wu showed that this conjecture is true for $k\geq 3$ and $k=2$ if $|\mathcal{F}|$ is outside a particular range. In this companion paper, we analyse further when $\mathcal{F}$ fails Nagel's conjecture for $k=2$ via linear programming.
Sparse graphs with an independent or foresty minimum vertex cut
Published
• View Publication
• BIB
A connected graph is called fragile if it contains an independent vertex cut. In 2002 Chen and Yu proved that every connected graph of order $n$ and size at most $2n-4$ is fragile, and in 2013 Le and Pfender characterized the non-fragile graphs of order $n$ and size $2n-3.$ It is natural to consider minimum vertex cuts. We prove two results. (1) Every connected graph of order $n$ with $n\ge 7$ and size at most $\lfloor 3n/2\rfloor$ has an independent minimum vertex cut; (2) every connected graph of order $n$ with $n\ge 7$ and size at most $2n$ has a foresty minimum vertex cut. Both results are best possible.
Matchings in matroids over abelian groups, II
Published
• View Publication
• BIB
The concept of matchings originated in group theory to address a linear algebra problem related to canonical forms for symmetric tensors. In an abelian group $(G,+)$, a matching is a bijection $f: A \to B$ between two finite subsets $A$ and $B$ of $G$ such that $a + f(a) \notin A$ for all $a \in A$. A group $G$ has the matching property if, for every two finite subsets $A, B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In prior work [5], matroid analogues of results concerning matchings in groups were introduced and established. This paper serves as a sequel, extending that line of inquiry by investigating sparse paving, panhandle, and Schubert matroids through the lens of matchability. While some proofs draw upon earlier findings on the matchability of sparse paving matroids, the paper is designed to be self-contained and accessible without reference to the preceding sequel. Our approach combines tools from both matroid theory and additive number theory.
On $P$-partitions Extended by Two-Rowed Plane Partitions
Inspired by Gansner's elegant $k$-trace generating function for rectangular plane partitions, we introduce two novel operators, $\varphi_{z}$ and $ψ_{z}$, along with their combinatorial interpretations. Through these operators, we derive a new formula for $P$-partitions of posets extended by two-rowed plane partitions. This formula allows us to compute explicit enumerative generating functions for various classes of $P$-partitions. Our findings encompass skew plane partitions, diamond-related two-rowed plane partitions, an extended $V$-poset, and ladder poset extensions, enriching the theory of $P$-partitions.
Relationship between misère NIM and two-player GOISHI HIROI
In combinatorial game theory, there are two famous winning conventions, normal play and misère play. Under normal play convention, the winner is the player who moves last and under misère play convention, the loser is the player who moves last. The difference makes these conventions completely different, and usually, games under misère play convention is much difficult to analyze than games under normal play convention. In this study, we show an interesting relationship between rulesets under different winning conventions; we can determine the winner of two-player GOISHI HIROI under normal play convention by using NIM under misère play convention. We also analyze two-player GOISHI HIROI under misère play convention.
A note on infinite versions of $(p,q)$-theorems
We prove that fractional Helly and $(p,q)$-theorems imply $(\aleph_0,q)$-theorems in an entirely abstract setting. We give a plethora of applications, including reproving almost all earlier $(\aleph_0,q)$-theorems about geometric hypergraphs that were proved recently. Some of the corollaries are new results, for example, we prove that if $\mathcal{F}$ is an infinite family of convex compact sets in $\mathbb{R}^d$ and among every $\aleph_0$ of the sets some $d+1$ contain a point in their intersection with integer coordinates, then all the members of $\mathcal{F}$ can be hit with finitely many points with integer coordinates.
Extending Robinson Spaces: Complexity and Algorithmic Solutions for Non-Symmetric Dissimilarity Spaces
Published
• View Publication
• BIB
In this work, we extend the concept of Robinson spaces to asymmetric dissimilarities, enhancing their applicability in representing and analyzing complex data. Within this generalized framework, we introduce two different problems that extend the classical seriation problem: an optimization problem and a decision problem. We establish that these problems are NP-hard and NP-complete, respectively. Despite this complexity results, we identify several non-trivial instances where these problems can be solved in polynomial time, providing valuable insights into their tractability.
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$ such that $\operatorname{tw}(G/(Z_i \setminus Z')) = O(p + |Z'|)$ for all $i \in [p]$ and $Z' \subseteq Z_i$. Here, $\operatorname{tw}(\cdot)$ denotes the treewidth of a graph and $G/(Z_i \setminus Z')$ denotes the graph obtained from $G$ by contracting all edges with both endpoints in $Z_i \setminus Z'$.
Our result generalizes earlier results by Klein [SICOMP 2008] and Demaine et al. [STOC 2011] based on partitioning $E(G)$, and some recent theorems for planar graphs by Marx et al. [SODA 2022], for bounded-genus graphs (more generally, almost-embeddable graphs) by Bandyapadhyay et al. [SODA 2022], and for unit-disk graphs by Bandyapadhyay et al. [SoCG 2022].
The robust contraction decomposition theorem directly results in parameterized algorithms with running time $2^{\widetilde{O}(\sqrt{k})} \cdot n^{O(1)}$ or $n^{O(\sqrt{k})}$ for every vertex/edge deletion problems on $H$-minor-free graphs that can be formulated as Permutation CSP Deletion or 2-Conn Permutation CSP Deletion. Consequently, we obtain the first subexponential-time parameterized algorithms for Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Subset Group Feedback Vertex Set, 2-Conn Component Order Connectivity on $H$-minor-free graphs. For other problems which already have subexponential-time parameterized algorithms on $H$-minor-free graphs (e.g., Odd Cycle Transversal, Vertex Multiway Cut, Vertex Multicut, etc.), our theorem gives much simpler algorithms of the same running time.