Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Complexity and asymptotics of structure constants
Published
• View Publication
• BIB
Kostka, Littlewood-Richardson, Kronecker, and plethysm coefficients are fundamental quantities in algebraic combinatorics, yet many natural questions about them stay unanswered for more than 80 years. Kronecker and plethysm coefficients lack ``nice formulas'', a notion that can be formalized using computational complexity theory. Beyond formulas and combinatorial interpretations, we can attempt to understand their asymptotic behavior in various regimes, and inequalities they could satisfy. Understanding these quantities has applications beyond combinatorics. On the one hand, the asymptotics of structure constants is closely related to understanding the [limit] behavior of vertex and tiling models in statistical mechanics. More recently, these structure constants have been involved in establishing computational complexity lower bounds and separation of complexity classes like VP vs VNP, the algebraic analogs of P vs NP in arithmetic complexity theory. Here we discuss the outstanding problems related to asymptotics, positivity, and complexity of structure constants focusing mostly on the Kronecker coefficients of the symmetric group and, less so, on the plethysm coefficients.
This expository paper is based on the talk presented at the Open Problems in Algebraic Combinatorics coneference in May 2022.
A Hyperbolic Extension of Kadison-Singer Type Results
In 2013, Marcus, Spielman, and Srivastava resolved the famous Kadison-Singer conjecture. It states that for $n$ independent random vectors $v_1,\cdots, v_n$ that have expected squared norm bounded by $ε$ and are in the isotropic position in expectation, there is a positive probability that the determinant polynomial $\det(xI - \sum_{i=1}^n v_iv_i^\top)$ has roots bounded by $(1 + \sqrtε)^2$. An interpretation of the Kadison-Singer theorem is that we can always find a partition of the vectors $v_1,\cdots,v_n$ into two sets with a low discrepancy in terms of the spectral norm (in other words, rely on the determinant polynomial).
In this paper, we provide two results for a broader class of polynomials, the hyperbolic polynomials. Furthermore, our results are in two generalized settings:
$\bullet$ The first one shows that the Kadison-Singer result requires a weaker assumption that the vectors have a bounded sum of hyperbolic norms.
$\bullet$ The second one relaxes the Kadison-Singer result's distribution assumption to the Strongly Rayleigh distribution.
To the best of our knowledge, the previous results only support determinant polynomials [Anari and Oveis Gharan'14, Kyng, Luh and Song'20]. It is unclear whether they can be generalized to a broader class of polynomials. In addition, we also provide a sub-exponential time algorithm for constructing our results.
Extremal Results on Conflict-free Coloring
Published
• View Publication
• BIB
A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighborhood instead of open neighborhood, we obtain the analogous notions of conflict-free closed neighborhood (CFCN) coloring, and CFCN chromatic number (denoted by $χ_{CN}(G)$). The notion of conflict-free coloring was introduced in 2002, and has since received considerable attention.
In this paper, we study some extremal questions related to CFON and CFCN coloring.
Boundary and Hearing Independent Broadcasts in Graphs and Trees
A broadcast on a connected graph G with vertex set V(G) is a function $f:V(G)\rightarrow \{0, 1, ..., \text{diam}(G)\}$ such that $f(v)\leq e(v)$ (the eccentricity of $v$) for all $v\in V$. A vertex $v$ is said to be broadcasting if $f(v)>0$, with the set of all such vertices denoted $V_f^+$. A vertex $u$ hears $f$ from $v\in V_f^+$ if $d_G(u, v)\leq f(v)$. The broadcast $f$ is hearing independent if no broadcasting vertex hears another. If, in addition, any vertex $u$ that hears $f$ from multiple broadcasting vertices satisfies $f(v)\leq d_G(u, v)$ for all $v\in V_f^+$, the broadcast is said to be boundary independent.
The cost of $f$ is $σ(f)=\sum_{v\in V(G)}f(v)$. The minimum cost of a maximal boundary independent broadcast on G, called the lower bn-independence number, is denoted $i_{bn}(G)$. The lower h-independence number $i_h(G)$ is defined analogously for hearing independent broadcasts. We prove that $i_{bn}(G)\leq i_h(G)$ for all G and show that $i_h(G)/i_{bn}(G)$ is bounded. For both parameters, we show that the lower bn-independence number (h-independence number) of a connected graph G equals the minimum lower bn-independence number (h-independence number) among those of its spanning trees.
We further study the maximum cost of boundary independent broadcasts, denoted $α_{bn}(G)$. We show $α_{bn}(G)$ can be bounded in terms of the independence number $α(G)$, and prove that the maximum bn-independent broadcast problem is NP-hard by a reduction from the independent set problem to an instance of the maximum bn-independent broadcast problem.
With particular interest in caterpillars, we investigate bounds on $α_{bn}(T)$ when T is a tree in terms of its order and the number of vertices of degree at least 3, known as the branch vertices of T. We conclude by describing a polynomial-time algorithm to determine $α_{bn}(T)$ for a given tree T.
A short note on the characterization of countable chains with finite big Ramsey spectra
Published
• View Publication
• BIB
In this short note we confirm the deep structural correspondence between the complexity of a countable scattered chain (= strict linear order) and its big Ramsey combinatorics: we show that a countable scattered chain has finite big Ramsey degrees if and only if it is of finite Hausdorff rank. This also provides a complete characterization of countable chains whose big Ramsey spectra are finite.
We expand the notion of big Ramsey spectrum to monomorphic structures and give a sufficient condition for a monomorphic countable structure to have finite big Ramsey spectrum.
A strong FKG inequality for multiple events
Published
• View Publication
• BIB
We give an extension of the FKG inequality to the case of multiple events with equal pairwise intersections. We then apply this inequality to resolve Kahn's question on positive associated (PA) measures.
Stirling numbers with higher level and records
Published
• View Publication
• BIB
In this present paper, we show that the Stirling numbers of the first kind with higher level connected with the probability distribution of the number of records and record times in the so-called F^α-scheme. In addition, we determine the location of the maximum of the Stirling numbers of the first kind with higher level.
Row graphs of Toeplitz matrices
In this paper, we study row graphs of Toeplitz matrices. The notion of row graphs was introduced by Greenberg et al. in 1984 and is closely related to the notion of competition graphs, which has been extensively studied since Cohen had introduced it in 1968.
To understand the structure of the row graphs of Toeplitz matrices, which seem to be quite complicated, we have begun with Toeplitz matrices whose row graphs are triangle-free. We could show that if the row graph G of a Toeplitz matrix T is triangle-free, then T has the maximum row sum at most 2. Furthermore, it turns out that G is a disjoint union of paths and cycles whose lengths cannot vary that much in such a case. Then we study (0, 1)-Toeplitz matrices whose row graphs have only path components, only cycle components, and a cycle component of specific length, respectively. In particular, we completely characterize a (0, 1)-Toeplitz matrix whose row graph is a cycle.
Two-round Ramsey games on random graphs
Published
• View Publication
• BIB
Motivated by the investigation of sharpness of thresholds for Ramsey properties in random graphs, Friedgut, Kohayakawa, Rödl, Ruciński and Tetali introduced two variants of a single-player game whose goal is to colour the edges of a~random graph, in an online fashion, so as not to create a monochromatic triangle. In the two-round variant of the game, the player is first asked to find a triangle-free colouring of the edges of a random graph $G_1$ and then extend this colouring to a triangle-free colouring of the union of $G_1$ and another (independent) random graph $G_2$, which is disclosed to the player only after they have coloured $G_1$. Friedgut et al.\ analysed this variant of the online Ramsey game in two instances: when $G_1$ has $Θ(n^{4/3})$ edges and when the number of edges of $G_1$ is just below the threshold above which a random graph typically no longer admits a triangle-free colouring, which is located at $Θ(n^{3/2})$.
The two-round Ramsey game has been recently revisited by Conlon, Das, Lee and Mészáros, who generalised the result of Friedgut at al.\ from triangles to all strictly $2$-balanced graphs. We extend the work of Friedgut et al.\ in an orthogonal direction and analyse the triangle case of the two-round Ramsey game at all intermediate densities. More precisely, for every $n^{-4/3} \ll p \ll n^{-1/2}$, with the exception of $p = Θ(n^{-3/5})$, we determine the threshold density $q$ at which it becomes impossible to extend any triangle-free colouring of a typical $G_1 \sim G_{n,p}$ to a triangle-free colouring of the union of $G_1$ and $G_2 \sim G_{n,q}$. An interesting aspect of our result is that this threshold density $q$ `jumps' by a polynomial quantity as $p$ crosses a `critical' window around $n^{-3/5}$.
Quasi-cyclic perfect codes in Doob graphs and special partitions of Galois rings
Published in IEEE Trans. Inf. Theory 69(9) 2023, 5597-5603
• View Publication
• BIB
The Galois ring GR$(4^Δ)$ is the residue ring $Z_4[x]/(h(x))$, where $h(x)$ is a basic primitive polynomial of degree $Δ$ over $Z_4$. For any odd $Δ$ larger than $1$, we construct a partition of GR$(4^Δ) \backslash \{0\}$ into $6$-subsets of type $\{a,b,-a-b,-a,-b,a+b\}$ and $3$-subsets of type $\{c,-c,2c\}$ such that the partition is invariant under the multiplication by a nonzero element of the Teichmuller set in GR$(4^Δ)$ and, if $Δ$ is not a multiple of $3$, under the action of the automorphism group of GR$(4^Δ)$.
As a corollary, this implies the existence of quasi-cyclic additive $1$-perfect codes of index $(2^Δ-1)$ in $D((2^Δ-1)(2^Δ-2)/{6}, 2^Δ-1 )$ where $D(m,n)$ is the Doob metric scheme on $Z^{2m+n}$.
Tight bound on the minimum degree to guarantee graphs forbidding some odd cycles to be bipartite
Published
• View Publication
• BIB
Erdős and Simonovits asked the following question: For an integer $r\geq 2$ and a family of non-bipartite graphs $\mathcal{H}$, determine the infimum of $α$ such that any $\mathcal{H}$-free $n$-vertex graph with minimum degree at least $αn$ has chromatic number at most $r$. We answer this question for $r=2$ and any family consisting of odd cycles. Let ${\mathcal C}$ be a family of odd cycles in which $C_{2\ell+1}$ is the shortest odd cycle not in ${\mathcal C}$ and $C_{2k+1}$ is the longest odd cycle in ${\mathcal C}$, we show that if $G$ is an $n$-vertex ${\mathcal C}$-free graph with $n\ge 1000k^{8}$ and $δ(G)>\max\{ n/(2(2\ell+1)), 2n/(2k+3)\}$, then $G$ is bipartite. Moreover, the bound of the minimum degree is tight.
Chain Tutte polynomials
Published
• View Publication
• BIB
The Tutte polynomial and Derksen's $\mathcal{G}$-invariant are the universal deletion-contraction and valuative matroid and polymatroid invariants, respectively. There are only a handful of well known invariants (like the matroid Kazhdan-Lusztig polynomials) between (in terms of fineness) the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. The aim of this study is to define a spectrum of generalized Tutte polynomials to fill the gap between the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. These polynomials are built by taking repeated convolution products of universal Tutte characters studied by Dupont, Fink, and Moci and using the framework of Ardila and Sanchez for studying valuative invariants. We develop foundational aspects of these polynomials by showing they are valuative on generalized permutahedra and present a generalized deletion-contraction formula. We apply these results on chain Tutte polynomials to obtain formulas for the Möbius polynomial, the opposite characteristic polynomial, a generalized Möbius polynomial, Ford's expected codimension of a matroid variety, and Derksen's $\mathcal{G}$-invariant.
Efficient vectors in priority setting methodology
Published
• View Publication
• BIB
The Analytic Hierarchy Process (AHP) is a much discussed method in ranking business alternatives based on empirical and judgemental information. We focus here upon the key component of deducing efficient vectors for a reciprocal matrix of pair-wise comparisons. It is not yet known how to produce all efficient vectors. It has been shown that the entry-wise geometric mean of all columns is efficient for any reciprocal matrix. Here, by combining some new basic observations with some known theory, we 1) give a method for inductively generating large collections of efficient vectors, and 2) show that the entry-wise geometric mean of any collection of distinct columns of a reciprocal matrix is efficient. We study numerically, using different measures, the performance of these geometric means in approximating the reciprocal matrix by a consistent matrix.
Bounds on the lettericity of graphs
Published
• View Publication
• BIB
Lettericity measures the minimum size of an alphabet needed to represent a graph as a letter graph, where vertices are encoded by letters, and edges are determined by an underlying decoder. We prove that all graphs on~$n$ vertices have lettericity at most approximately $n - \tfrac{1}{2} \log_2 n$ and that almost all graphs on $n$ vertices have lettericity at least $n - (2 \log_2 n + 2 \log_2 \log_2 n)$.
Maximum values of the Sombor-index-like graph invariants of trees and connected graphs
Published
• View Publication
• BIB
A set of novel vertex-degree-based invariants was introduced by Gutman, denoted by \newline $SO_1, SO_2, \ldots,SO_6$. These invariants were constructed through geometric reasoning based on a new graph invariant framework. Motivated by proposed open problems in [Z. Tang, Q. Li, H. Deng, \textit{Trees with Extremal Values of the Sombor-Index-Like Graph Invariants}, MATCH Commun. Math. Comput. Chem. \textbf{90} (2023) 203-222], we have found the maximum values of $SO_5$ and $SO_6$ in the set of molecular trees with a given number of vertices, respectively, and we have found the maximum value of $SO_5$ in a class of connected graphs.
Asymptotics of parity biases for partitions into distinct parts via Nahm sums
Published
• View Publication
• BIB
For a random partition, one of the most basic questions is: what can one expect about the parts which arise? For example, what is the distribution of the parts of random partitions modulo $N$? Since most partitions contain a $1$, and indeed many $1$s arise as parts of a random partition, it is natural to expect a skew towards $1\pmod{N}$. This is indeed the case. For instance, Kim, Kim, and Lovejoy recently established ``parity biases'' showing how often one expects partitions to have more odd than even parts. Here, we generalize their work to give asymptotics for biases $\mod N$ for partitions into distinct parts. The proofs rely on the Circle Method and give independently useful techniques for analyzing the asymptotics of Nahm-type $q$-hypergeometric series.
On the frame complex of symplectic spaces
Published
• View Publication
• BIB
For a symplectic space $V$ of dimension $2n$ over $\mathbb{F}_{q}$, we compute the eigenvalues of its orthogonality graph. This is the simple graph with vertices the $2$-dimensional non-degenerate subspaces of $V$ and edges between orthogonal vertices. As a consequence of Garland's method, we obtain vanishing results on the homology groups of the frame complex of $V$, which is the clique complex of this graph. We conclude that if $n < q+3$ then the poset of frames of size $\neq 0,n-1$, which is homotopy equivalent to the frame complex, is Cohen-Macaulay over a field of characteristic $0$. However, we also show that this poset is not Cohen-Macaulay if the dimension is big enough.
Spectra of s-neighbourhood corona of two signed graphs
A signed graph $S=(G, σ)$ is a pair in which $G$ is an underlying graph and $σ$ is a function from the edge set to $\{\pm1\}$. For signed graphs $S_{1}$ and $S_{2}$ on $n_{1}$ and $n_{2}$ vertices, respectively, the signed neighbourhood corona $S_{1} \star_s S_{2}$ (in short s-neighbourhood corona) of $S_{1}$ and $S_{2}$ is the signed graph obtained by taking one copy of $S_{1}$ and $n_{1}$ copies of $S_{2}$ and joining every neighbour of the $i$th vertex of $S_{1}$ with the same sign as the sign of incident edge to every vertex in the $i$th copy of $S_{2}$. In this paper, we investigate the adjacency, Laplacian and net Laplacian spectrum of $S_{1} \star_s S_{2}$ in terms of the corresponding spectrum of $ S_{1}$ and $ S_{2}$. We determine $(i)$ the adjacency spectrum of $S_{1} \star_s S_{2}$ for arbitrary $S_{1} $ and net regular $ S_{2}$, $(ii)$ the Laplacian spectrum for regular $S_{1} $ and regular and net regular $ S_{2}$ and $(iii)$ the net Laplacian spectrum for net regular $S_{1} $ and arbitrary $ S_{2}$. As a consequence, we obtain the signed graphs with $4$ and $5$ distinct adjacency, Laplacian and net Laplacian eigenvalues. Finally, we show that the signed neighbourhood corona of two signed graphs is not determined by its adjacency (resp., Laplacian, net Laplacian) spectrum.
Topology of matching complexes of complete graphs via discrete Morse theory
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (November 4, 2024) dmtcs:12887
• View Publication
• BIB
Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $ν_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $ν_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(ν_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.
On Connectivity in Random Graph Models with Limited Dependencies
Published
• View Publication
• BIB
For any positive edge density $p$, a random graph in the Erdős-Renyi $G_{n,p}$ model is connected with non-zero probability, since all edges are mutually independent. We consider random graph models in which edges that do not share endpoints are independent while incident edges may be dependent and ask: what is the minimum probability $ρ(n)$, such that for any distribution $\mathcal{G}$ (in this model) on graphs with $n$ vertices in which each potential edge has a marginal probability of being present at least $ρ(n)$, a graph drawn from $\mathcal{G}$ is connected with non-zero probability?
As it turns out, the condition ``edges that do not share endpoints are independent'' needs to be clarified and the answer to the question above is sensitive to the specification. In fact, we formalize this intuitive description into a strict hierarchy of five independence conditions, which we show to have at least three different behaviors for the threshold $ρ(n)$. For each condition, we provide upper and lower bounds for $ρ(n)$. In the strongest condition, the coloring model (which includes, e.g., random geometric graphs), we show that $ρ(n)\rightarrow 2-φ\approx 0.38$ for $n\rightarrow\infty$, proving a conjecture by Badakhshian, Falgas-Ravry, and Sharifzadeh. This separates the coloring models from the weaker independence conditions we consider, as there we prove that $ρ(n)>0.5-o(n)$. In stark contrast to the coloring model, for our weakest independence condition -- pairwise independence of non-adjacent edges -- we show that $ρ(n)$ lies within $O(1/n^2)$ of the threshold $1-2/n$ for completely arbitrary distributions.