Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Linear Colouring of Binomial Random Graphs
Published
• View Publication
• BIB
We investigate the linear chromatic number $χ_{\text{lin}}(G(n,p))$ of the binomial random graph $G(n,p)$ on $n$ vertices in which each edge appears independently with probability $p=p(n)$. For dense random graphs ($np \to \infty$ as $n \to \infty$), we show that asymptotically almost surely $χ_{\text{lin}}(G(n,p)) \ge n (1 - O( (np)^{-1/2} ) ) = n(1-o(1))$. Understanding the order of the linear chromatic number for subcritical random graphs ($np < 1$) and critical ones ($np=1$) is relatively easy. However, supercritical sparse random graphs ($np = c$ for some constant $c > 1$) remain to be investigated.
Relaxation strength for multilinear optimization: McCormick strikes back
Published
• View Publication
• BIB
We consider linear relaxations for multilinear optimization problems. In a recent paper, Khajavirad proved that the extended flower relaxation is at least as strong as the relaxation of any recursive McCormick linearization (Operations Research Letters 51 (2023) 146-152). In this paper we extend the result to more general linearizations, and present a simpler proof. Moreover, we complement Khajavirad's result by showing that the intersection of the relaxations of such linearizations and the extended flower relaxation are equally strong.
Fast Parallel Tensor Times Same Vector for Hypergraphs
Published
• View Publication
• BIB
Hypergraphs are a popular paradigm to represent complex real-world networks exhibiting multi-way relationships of varying sizes. Mining centrality in hypergraphs via symmetric adjacency tensors has only recently become computationally feasible for large and complex datasets. To enable scalable computation of these and related hypergraph analytics, here we focus on the Sparse Symmetric Tensor Times Same Vector (S$^3$TTVc) operation. We introduce the Compound Compressed Sparse Symmetric (CCSS) format, an extension of the compact CSS format for hypergraphs of varying hyperedge sizes and present a shared-memory parallel algorithm to compute S$^3$TTVc. We experimentally show S$^3$TTVc computation using the CCSS format achieves better performance than the naive baseline, and is subsequently more performant for hypergraph $H$-eigenvector centrality.
The Distribution of Sandpile Groups of Random Graphs with their Pairings
Published
• View Publication
• BIB
We determine the distribution of the sandpile group (also known as the Jacobian) of the Erdős-Rényi random graph $G(n,q)$ along with its canonical duality pairing as $n$ tends to infinity, fully resolving a conjecture from 2015 due to Clancy, Leake, and Payne and generalizing the result by Wood on the groups. In particular, we show that a finite abelian $p$-group $G$ equipped with a perfect symmetric pairing $δ$ appears as the Sylow $p$-part of the sandpile group and its pairing with frequency inversely proportional to $|G||\mathrm{Aut}(G,δ)|$, where $\mathrm{Aut}(G,δ)$ is the set of automorphisms of $G$ preserving the pairing $δ$. While this distribution is related to the Cohen-Lenstra distribution, the two distributions are not the same on account of the additional algebraic data of the pairing. The proof utilizes the moment method: we first compute a complete set of moments for our random variable (the average number of epimorphisms from our random object to a fixed object in the category of interest) and then show the moments determine the distribution. To obtain the moments, we prove a universality result for the moments of cokernels of random symmetric integral matrices whose dual groups are equipped with symmetric pairings that is strong enough to handle both the dependence in the diagonal entries and the additional data of the pairing. We then apply results due to Sawin and Wood to show that these moments determine a unique distribution.
Reconfiguration of basis pairs in regular matroids
In recent years, combinatorial reconfiguration problems have attracted great attention due to their connection to various topics such as optimization, counting, enumeration, or sampling. One of the most intriguing open questions concerns the exchange distance of two matroid basis sequences, a problem that appears in several areas of computer science and mathematics. In 1980, White proposed a conjecture for the characterization of two basis sequences being reachable from each other by symmetric exchanges, which received a significant interest also in algebra due to its connection to toric ideals and Gröbner bases. In this work, we verify White's conjecture for basis sequences of length two in regular matroids, a problem that was formulated as a separate question by Farber, Richter, and Shan and Andres, Hochstättler, and Merkel. Most of previous work on White's conjecture has not considered the question from an algorithmic perspective. We study the problem from an optimization point of view: our proof implies a polynomial algorithm for determining a sequence of symmetric exchanges that transforms a basis pair into another, thus providing the first polynomial upper bound on the exchange distance of basis pairs in regular matroids. As a byproduct, we verify a conjecture of Gabow from 1976 on the serial symmetric exchange property of matroids for the regular case.
Plane partitions and rowmotion on rectangular and trapezoidal posets
We define a birational map between labelings of a rectangular poset and its associated trapezoidal poset. This map tropicalizes to a bijection between the plane partitions of these posets of fixed height, giving a new bijective proof of a result by Proctor. We also show that this map is equivariant with respect to birational rowmotion, resolving a conjecture of Williams and implying that birational rowmotion on trapezoidal posets has finite order.
Note on the second eigenvalue of regular graphs
The goal of this expository note is to give a short, self-contained proof of nearly optimal lower bounds for the second largest eigenvalue of the adjacency matrix of regular graphs.
Two New Integer Sequences Related to Crossroads and Catalan Numbers
The lonely singles sequence represents the number of noncrossing partitions of the finite set {1,. .. , n} in which no pair of singletons {i} and {j} can be merged into the pair {i, j} so that the partition stays noncrossing. The marriageable singles sequence represents the number of all the other noncrossing partitions and is the difference between the Catalan numbers sequence and the lonely singles sequence. The 14 first terms of these sequences are given, as well as some of their properties. These sequences appear when one wants to count the number of ways to cross simultaneously certain road intersections.
Component sizes in the supercritical percolation on the binary cube
We present a relatively short and self-contained proof of the classical result on component sizes in the supercritical percolation on the high dimensional binary cube, due to Ajtai, Komlós and Szemerédi (1982) and to Bollobás, Kohayakawa and Łuczak (1992).
On Blockers and Transversals of Maximum Independent Sets in Co-Comparability Graphs
Published
• View Publication
• BIB
In this paper, we consider the following two problems: (i) Deletion Blocker($α$) where we are given an undirected graph $G=(V,E)$ and two integers $k,d\geq 1$ and ask whether there exists a subset of vertices $S\subseteq V$ with $|S|\leq k$ such that $α(G-S) \leq α(G)-d$, that is the independence number of $G$ decreases by at least $d$ after having removed the vertices from $S$; (ii) Transversal($α$) where we are given an undirected graph $G=(V,E)$ and two integers $k,d\geq 1$ and ask whether there exists a subset of vertices $S\subseteq V$ with $|S|\leq k$ such that for every maximum independent set $I$ we have $|I\cap S| \geq d$. We show that both problems are polynomial-time solvable in the class of co-comparability graphs by reducing them to the well-known Vertex Cut problem. Our results generalize a result of [Chang et al., Maximum clique transversals, Lecture Notes in Computer Science 2204, pp. 32-43, WG 2001] and a recent result of [Hoang et al., Assistance and interdiction problems on interval graphs, Discrete Applied Mathematics 340, pp. 153-170, 2023].
Graded Betti numbers of a hyperedge ideal associated to join of graphs
Published in Bulletin of the Malaysian Mathematical Sciences Society, 48 (116), 2025
• View Publication
• BIB
Let $G$ be a finite simple graph on the vertex set $V(G)$ and let $r$ be a positive integer. We consider the hypergraph $\mathrm{Con}_r(G)$ whose vertices are the vertices of $G$ and the (hyper)edges are all $A\subseteq V(G)$ such that $|A|=r+1$ and the induced subgraph $G[A]$ is connected. The (hyper)edge ideal $I_r(G)$ of $\mathrm{Con}_r(G)$ is also the Stanley-Reisner ideal of a generalisation of the independence complex of $G$, called the $r$-independence complex $\mathrm{Ind}_r(G)$. In this article we make extensive use of the Mayer-Vietoris sequence to find the graded Betti numbers of $I_r(G_1*G_2)$ in terms of the graded Betti numbers of $I_r(G_1)$ and $I_r(G_2)$, where $G_1*G_2$ is the join of $G_1$ and $G_2$. Moreover, we find formulas for all the graded Betti numbers of $I_r(G)$, when $G$ is a complete graph, complete multipartite graph, cycle graph and the wheel graph.
Factorization structures, cones, and polytopes
Published
• View Publication
• BIB
Factorization structures occur in toric differential and discrete geometry, and can be viewed in multiple ways, e.g., as objects determining substantial classes of explicit toric Sasaki and Kähler geometries, as special coordinates on such, or as an apex generalisation of cyclic polytopes featuring a generalised Gale's evenness condition. This article presents a comprehensive study of factorization structures. It establishes their structure theory and introduces their use in the geometry of cones and polytopes. The article explains the construction of polytopes and cones compatible with a given factorization structure, and exemplifies it for product Segre-Veronese and Veronese factorization structures, where the latter case includes cyclic polytopes. Further, it derives the generalised Gale's evenness condition for compatible cones, polytopes and their duals, and explicitly describes faces of these. Factorization structures naturally provide generalised Vandermonde identities, which relate normals of any compatible polytope, and which are used for Veronese factorization structure to find examples of Delzant and rational Delzant compatible polytopes. The article offers a myriad of factorization structure examples, which are later characterised to be precisely factorization structures with decomposable curves, and raises the question if these encompass all factorization structures, i.e., the existence of an indecomposable factorization curve.
Cylindric Schur functions
We generalize several classical results about Schur functions to the family of cylindric Schur functions. First, we give a combinatorial proof of a Murnaghan--Nakayama formula for expanding cylindric Schur functions in the power-sum basis. We also explore some cases where this formula is cancellation-free.
The second result is polynomiality of Kostka coefficients associated with stretched row-flagged skew Schur functions. This implies polynomiality of stretched cylindric Kostka coefficients. This generalizes a result by E. Rassart from 2004.
Finally, we also show the saturation property for the row-flagged skew Kostka coefficients which also implies the saturation property for cylindric Schur functions.
On the asymptotic of lottery numbers
Let $L(n,k,r,p)$ denote the minimum number of $k$-subsets of an $n$-set such that all the $\binom{n}{p}$ $p$-subsets are intersected by one of them in at least $r$ elements. The case $p=r$ corresponds to the covering numbers, while the case $k=r$ corresponds to the Turán numbers. In both cases, there exists a limit of $L(n,k,r,p) / \binom{n}{r}$ as $n\to\infty$. We prove the existence of this limit in the general case.
The structure and normalized volume of Monge polytopes
Published
• View Publication
• BIB
A matrix $C$ has the Monge property if $c_{ij} + c_{IJ} \leq c_{Ij} + c_{iJ}$ for all $i < I$ and $j < J$. Monge matrices play an important role in combinatorial optimization; for example, when the transportation problem (resp., the traveling salesman problem) has a cost matrix which is Monge, then the problem can be solved in linear (resp., quadratic) time. For given matrix dimensions, we define the Monge polytope to be the set of nonnegative Monge matrices normalized with respect to the sum of the entries. In this paper, we give an explicit description and enumeration of the vertices, edges, and facets of the Monge polytope; these results are sufficient to construct the face lattice. In the special case of two-row Monge matrices, we also prove a polytope volume formula. For symmetric Monge matrices, we show that the Monge polytope is a simplex and we prove a general formula for its volume.
Spectral properties of random graphs with fixed equitable partition
We define a graph to be $S$-regular if it contains an equitable partition given by a matrix $S$. These graphs are generalizations of both regular and bipartite, biregular graphs. An $S$-regular matrix is defined then as a matrix on an $S$-regular graph consistent with the graph's equitable partition. In this paper we derive the limiting spectral density for large, random $S$-regular matrices as well as limiting functions of certain statistics for their eigenvector coordinates as a function of eigenvalue. These limiting functions are defined in terms of spectral measures on $S$-regular trees. In general, these spectral measures do not have a closed-form expression; however, we provide a defining system of polynomials for them. Finally, we explore eigenvalue bounds of $S$-regular graph, proving an expander mixing lemma, Alon-Bopana bound, and other eigenvalue inequalities in terms of the eigenvalues of the matrix $S$.
The process of fluctuations of the giant component of an Erdős-Rényi graph
Published
• View Publication
• BIB
We present a detailed study of the evolution of the giant component of the Erdős-Rényi graph process as the mean degree increases from 1 to infinity. It leads to the identification of the limiting process of the rescaled fluctuations of its order around its deterministic asymptotic. This process is Gaussian with an explicit covariance.
Spherical complexes
In this paper we define spherical complexes as simplicial complexes with the property that every subcomplex obtained by a sequence of links and deletions either has trivial homology, or has the homology of a sphere. Examples of such complexes are independence complexes of ternary graphs and independence complexes of simplicial forests. We give criteria for when a spherical complex is acyclic, and describe the dimension of the sphere when it is not. We then apply our results to compute the Leray number of these complexes, and define combinatorial invariants for them which are counterparts to algebraic invariants of their Stanley-Reisner rings.
Depth and regularity of tableau ideals
Published
• View Publication
• BIB
We compute the depth and regularity of ideals associated with arbitrary fillings of positive integers to a Young diagram, called the tableau ideals.
Schubert cells of mixed type in complex Lagrangian Grassmannians
Published
• View Publication
• BIB
We describe CW decompositions of complex Lagrangian Grassmannians, that contain as subcomplexes, CW decompositions of real Lagrangian Grassmannians by Schubert-Arnol'd cells. The degrees of attaching maps are explicitly computed in terms of quantities that can be read off from the corresponding shifted Young diagrams of mixed type. The signs are determined by a choice of lexicographical ordering on coordinates. As an immediate consequence, we obtain the homotopy extension property for real and complex Lagrangian Grassmannians. We also show some torsion classes in the integral homology of the real Lagrangian Grassmannian are contractible inside the complex Lagrangian Grassmannian.