Showing 20 papers (Total: 83133 papers, 48023 authors in database)
A Spin Analogue of Kerov Polynomials
Published in SIGMA 14 (2018), 053, 13 pages
• View Publication
• BIB
Kerov polynomials describe normalized irreducible characters of the symmetric groups in terms of the free cumulants associated with Young diagrams. We suggest well-suited counterparts of the Kerov polynomials in spin (or projective) representation settings. We show that spin analogues of irreducible characters are polynomials in even free cumulants associated with double diagrams of strict partitions. Moreover, we present a conjecture for the positivity of their coefficients.
Manifolds of isospectral matrices and Hessenberg varieties
Published in Int. Math. Research Notices 2021:21 (2021), 16671-16692
• View Publication
• BIB
We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its smooth type is independent of the spectrum. Morse theory is then used to show the vanishing of odd degree cohomology, so that $X_h$ is an equivariantly formal manifold. The equivariant and ordinary cohomology of $X_h$ are described using GKM-theory. The main goal of this paper is to show the connection between the manifolds $X_h$ and the semisimple Hessenberg varieties well-known in algebraic geometry. Both the spaces $X_h$ and Hessenberg varieties form wonderful families of submanifolds in the complete flag variety. There is a certain symmetry between these families which can be generalized to other submanifolds of the flag variety.
Every toroidal graph without triangles adjacent to $5$-cycles is DP-$4$-colorable
DP-coloring, also known as correspondence coloring, is introduced by Dvo{ř}{á}k and Postle. It is a generalization of list coloring. In this paper, we show that every connected toroidal graph without triangles adjacent to $5$-cycles has minimum degree at most three unless it is a 2-connected $4$-regular graph with Euler characteristic $ε(G) = 0$. Consequently, every toroidal graph without triangles adjacent to $5$-cycles is DP-$4$-colorable. In the final, we show that every planar graph without two certain subgraphs is DP-$4$-colorable. As immediate consequences, (i) every planar graph without $3$-cycles adjacent to $4$-cycles is DP-$4$-colorable; (ii) every planar graph without $3$-cycles adjacent to $5$-cycles is DP-$4$-colorable; (iii) every planar graph without $4$-cycles adjacent to $5$-cycles is DP-$4$-colorable.
Jeu de taquin, uniqueness of rectification, and ultradiscrete KP
Published
• View Publication
• BIB
In this paper, we study tropical-theoretic aspects of the ``rectification algorithm'' on skew Young tableaux. It is shown that the algorithm is interpreted as a time evolution of some tropical integrable system. By using this fact, we construct a new combinatorial map that is essentially equivalent to the rectification algorithm. Some of properties of the rectification can be seen more clearly via this map. For example, the uniqueness of a rectification boils down to an easy combinatorial problem. Our method is mainly based on the two previous researches: the theory of geometric tableaux by Noumi-Yamada, and the study on the relationship between jeu de taquin slides and the ultradiscrete KP equation by Mikami and Katayama-Kakei.
Krull dimension and regularity of binomial edge ideals of block graphs
Published
• View Publication
• BIB
We give a lower bound for the Castelnuovo-Mumford regularity of binomial edge ideals of block graphs by computing the two distinguished extremal Betti numbers of a new family of block graphs, called flower graphs. Moreover, we present a linear time algorithm to compute the Castelnuovo-Mumford regularity and Krull dimension of binomial edge ideals of block graphs.
An efficient algorithm to test forcibly-connectedness of graphical degree sequences
Published
• View Publication
• BIB
We present an algorithm to test whether a given graphical degree sequence is forcibly connected or not and prove its correctness. We also outline the extensions of the algorithm to test whether a given graphical degree sequence is forcibly $k$-connected or not for every fixed $k\ge 2$. We show through experimental evaluations that the algorithm is efficient on average, though its worst case run time is probably exponential. We also adapt Ruskey et al's classic algorithm to enumerate zero-free graphical degree sequences of length $n$ and Barnes and Savage's classic algorithm to enumerate graphical partitions of even integer $n$ by incorporating our testing algorithm into theirs and then obtain some enumerative results about forcibly connected graphical degree sequences of given length $n$ and forcibly connected graphical partitions of given even integer $n$. Based on these enumerative results we make some conjectures such as: when $n$ is large, (1) almost all zero-free graphical degree sequences of length $n$ are forcibly connected; (2) almost none of the graphical partitions of even $n$ are forcibly connected.
On stability properties of powers of polymatroidal ideals
Published
• View Publication
• BIB
Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with the maximal ideal $\frak{m}=(x_1,...,x_n)$.
Let $\astab(I)$ and $\dstab(I)$ be the smallest integer $n$ for which $\Ass(I^n)$ and $\depth(I^n)$ stabilize, respectively.
In this paper we show that $\astab(I)=\dstab(I)$ in the following cases:
\begin{itemize} \item[(i)] $I$ is a matroidal ideal and $n\leq 5$. \item[(ii)] $I$ is a polymatroidal ideal, $n=4$ and $\frak{m}\notin\Ass^{\infty}(I)$, where $\Ass^{\infty}(I)$ is the stable set of associated prime ideals of $I$. \item[(iii)] $I$ is a polymatroidal ideal of degree $2$. \end{itemize} Moreover, we give an example of a polymatroidal ideal for which $\astab(I)\neq\dstab(I)$. This is a counterexample to the conjecture of Herzog and Qureshi, according to which these two numbers are the same for polymatroidal ideals.
An easy proof of Polya's theorem on random walks
We present an easy proof of Polya's theorem on random walks: with the probability one a random walk on the two-dimensional lattice returns to the starting point.
The "No Justice in the Universe" phenomenon: why honesty of effort may not be rewarded in tournaments
In 2000 Allen Schwenk, using a well-known mathematical model of matchplay tournaments in which the probability of one player beating another in a single match is fixed for each pair of players, showed that the classical single-elimination, seeded format can be "unfair" in the sense that situations can arise where an indisputibly better (and thus higher seeded) player may have a smaller probability of winning the tournament than a worse one. This in turn implies that, if the players are able to influence their seeding in some preliminary competition, situations can arise where it is in a player's interest to behave "dishonestly", by deliberately trying to lose a match. This motivated us to ask whether it is possible for a tournament to be both honest, meaning that it is impossible for a situation to arise where a rational player throws a match, and "symmetric" - meaning basically that the rules treat everyone the same - yet unfair, in the sense that an objectively better player has a smaller probability of winning than a worse one. After rigorously defining our terms, our main result is that such tournaments exist and we construct explicit examples for any number n >= 3 of players. For n=3, we show (Theorem 3.6) that the collection of win-probability vectors for such tournaments form a 5-vertex convex polygon in R^3, minus some boundary points. We conjecture a similar result for any n >= 4 and prove some partial results towards it.
The Determination of 2-color zero-sum generalized Schur Numbers
Consider the equation $\mathcal{E}: x_1+ \cdots+x_{k-1} =x_{k}$ and let $k$ and $r$ be positive integers such that $r\mid k$. The number $S_{\mathfrak{z},2}(k;r)$ is defined to be the least positive integer $t$ such that for any 2-coloring $χ: [1, t] \to \{0, 1\}$ there exists a solution $(\hat{x}_1, \hat{x}_2, \ldots, \hat{x}_k)$ to the equation $\mathcal{E}$ satisfying $\displaystyle \sum_{i=1}^kχ(\hat{x}_i) \equiv 0\pmod{r}$. In a recent paper, the first author posed the question of determining the exact value of $S_{\mathfrak{z}, 2}(k;4)$. In this article, we solve this problem and show, more generally, that $S_{\mathfrak{z}, 2}(k, r)=kr - 2r+1$ for all positive integers $k$ and $r$ with $k>r$ and $r \mid k$.
Goldberg's Conjecture is true for random multigraphs
Published
• View Publication
• BIB
In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph $G$, the chromatic index $χ'(G)$ satisfies $χ'(G)\leq \max \{Δ(G)+1, \lceilρ(G)\rceil\}$, where $ρ(G)=\max \{\frac {e(G[S])}{\lfloor
|S|/2\rfloor} \mid S\subseteq V \}$. We show that their conjecture (in a stronger form) is true for random multigraphs. Let $M(n,m)$ be the probability space consisting of all loopless multigraphs with $n$ vertices and $m$ edges, in which $m$ pairs from $[n]$ are chosen independently at random with repetitions. Our result states that, for a given $m:=m(n)$, $M\sim M(n,m)$ typically satisfies $χ'(G)=\max\{Δ(G),\lceilρ(G)\rceil\}$. In particular, we show that if $n$ is even and $m:=m(n)$, then $χ'(M)=Δ(M)$ for a typical $M\sim M(n,m)$. Furthermore, for a fixed $\varepsilon>0$, if $n$ is odd, then a typical $M\sim M(n,m)$ has $χ'(M)=Δ(M)$ for $m\leq (1-\varepsilon)n^3\log n$, and $χ'(M)=\lceilρ(M)\rceil$ for $m\geq (1+\varepsilon)n^3\log n$.
A study in $\mathbb{G}_{\mathbb{R}, \geq 0}$: from the geometric case book of Wilson loop diagrams and SYM $N=4$
Published
• View Publication
• BIB
We study the geometry underlying the Wilson loop diagram approach to calculating scattering amplitudes in the gauge theory of Supersymmetric Yang Mills (SYM) $N=4$. By applying the tools developed to study total positivity in the real Grassmannian, we are able to systematically compute with all Wilson loop diagrams of a given size and find unexpected patterns and relationships between them. We focus on the smallest nontrivial multi-propagator case, consisting of 2 propagators on 6 vertices, and compute the positroid cells associated to each diagram and the homology of the subcomplex they generate in $\mathbb{G}_{\mathbb{R}, \geq 0}$. We also verify in this case the conjecture that the spurious singularities of the volume functional {\em do} all cancel on the codimension 1 boundaries of these cells.
Unlimited parity alternating partitions
Published
• View Publication
• BIB
We introduce a new type of partitions that consists of partitions whose different parts alternate in parity (e.g., $3+2+2+1+1$). Various properties of this partition function are studied. In particular, we obtain its asymptotic behavior by employing Ingham's Tauberian theorem.
Bounding $χ$ by a fraction of $Δ$ for graphs without large cliques
Published
• View Publication
• BIB
The greedy coloring algorithm shows that a graph of maximum degree at most $Δ$ has chromatic number at most $Δ+ 1$, and this is tight for cliques. Much attention has been devoted to improving this "greedy bound" for graphs without large cliques. Brooks famously proved that this bound can be improved by one if $Δ\geq 3$ and the graph contains no clique of size $Δ+ 1$. Reed's Conjecture states that the "greedy bound" can be improved by $k$ if the graph contains no clique of size $Δ+ 1 - 2k$. Johansson proved that the "greedy bound" can be improved by a factor of $Ω(\ln(Δ)^{-1})$ or $Ω\left(\frac{\ln(\ln(Δ))}{\ln(Δ)}\right)$ for graphs with no triangles or no cliques of any fixed size, respectively.
Notably missing is a $\textit{linear}$ improvement on the "greedy bound" for graphs without large cliques. In this paper, we prove that for sufficiently large $Δ$, if $G$ is a graph with maximum degree at most $Δ$ and no clique of size $ω$, then $$χ(G) \leq 72Δ\sqrt{\frac{\ln(ω)}{\ln(Δ)}}.$$ This implies that for sufficiently large $Δ$, if $ω^{(72c)^2} \leq Δ$ then $χ(G) \leq Δ/c$.
This bound actually holds for the list-chromatic and even the correspondence-chromatic number (also known as the DP-chromatic number). In fact, we prove what we call a "local version" of it, a result implying the existence of a coloring when the number of available colors for each vertex depends on local parameters, like the degree and the clique number of its neighborhood. Our result simultaneously implies the linear improvement over the "greedy bound" and the two aforementioned results of Johansson.
On k-11-representable graphs
Published
• View Publication
• BIB
Distinct letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word of the form $xyxy\cdots$ (of even or odd length) or a word of the form $yxyx\cdots$ (of even or odd length). A simple graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. Thus, edges of $G$ are defined by avoiding the consecutive pattern 11 in a word representing $G$, that is, by avoiding $xx$ and $yy$.
In 2017, Jeff Remmel has introduced the notion of a $k$-$11$-representable graph for a non-negative integer $k$, which generalizes the notion of a word-representable graph. Under this representation, edges of $G$ are defined by containing at most $k$ occurrences of the consecutive pattern $11$ in a word representing $G$. Thus, word-representable graphs are precisely $0$-$11$-representable graphs. Our key result in this paper is showing that any graph is $2$-$11$-representable by a concatenation of permutations, which is rather surprising taking into account that concatenation of permutations has limited power in the case of $0$-$11$-representation. Also, we show that the class of word-representable graphs, studied intensively in the literature, is contained strictly in the class of $1$-$11$-representable graphs. Another result that we prove is the fact that the class of interval graphs is precisely the class of $1$-$11$-representable graphs that can be represented by uniform words containing two copies of each letter. This result can be compared with the known fact that the class of circle graphs is precisely the class of $0$-$11$-representable graphs that can be represented by uniform words containing two copies of each letter.
Minimizing the number of 5-cycles in graphs with given edge-density
Published in Combinatorics, Probability and Computing 29 (2020) 44-67
• View Publication
• BIB
Motivated by the work of Razborov about the minimal density of triangles in graphs we study the minimal density of the 5-cycle $C_5$. We show that every graph of order $n$ and size $\left( 1-\frac{1}{k}\right)\binom{n}{2}$, where $k\ge 3$ is an integer, contains at least \[ \left( \frac{1}{10} -\frac{1}{2k} + \frac{1}{k^2} - \frac{1}{k^3} + \frac{2}{5 k^4} \right)n^5 +o(n^5) \] copies of $C_5$. This bound is optimal, since a matching upper bound is given by the balanced complete $k$-partite graph. The proof is based on the flag algebras framework. We also provide a stability result. An SDP solver is not necessary to verify our proofs.
Multilinear representations of Free PROs
Published
• View Publication
• BIB
We describe a structure of PRO on hypermatrices. This structure allows us to define multilinear representations of PROs and in particular of free Pros. As an example of applications, we investigate the relations of the representations of Pros with the theory of automata.
Vertex types in threshold and chain graphs
A graph is called a chain graph if it is bipartite and the neighborhoods of the vertices in each color class form a chain with respect to inclusion. A threshold graph can be obtained from a chain graph by making adjacent all pairs of vertices in one color class. Given a graph $G$, let $λ$ be an eigenvalue (of the adjacency matrix) of $G$ with multiplicity $k \geq 1$. A vertex $v$ of $G$ is a downer, or neutral, or Parter depending whether the multiplicity of $λ$ in $G-v$ is $k-1$, or $k$, or $k+1$, respectively. We consider vertex types in the above sense in threshold and chain graphs. In particular, we show that chain graphs can have neutral vertices, disproving a conjecture by Alazemi {\em et al.}
Cographs: Eigenvalues and Dilworth Number
Published
• View Publication
• BIB
A cograph is a simple graph which contains no path on 4 vertices as an induced subgraph. The vicinal preorder on the vertex set of a graph is defined in terms of inclusions among the neighborhoods of vertices. The minimum number of chains with respect to the vicinal preorder required to cover the vertex set of a graph $G$ is called the Dilworth number of $G$. We prove that for any cograph $G$, the multiplicity of any eigenvalue $λ\ne0,-1$, does not exceed the Dilworth number of $G$ and show that this bound is tight. G. F. Royle [The rank of a cograph, Electron. J. Combin. 10 (2003), Note 11] proved that if a cograph $G$ has no pair of vertices with the same neighborhood, then $G$ has no 0 eigenvalue, and asked if beside cographs, there are any other natural classes of graphs for which this property holds. We give a partial answer to this question by showing that an $H$-free family of graphs has this property if and only if it is a subclass of the family of cographs. A similar result is also shown to hold for the $-1$ eigenvalue.
Strong subgraph $k$-connectivity bounds
Let $D=(V,A)$ be a digraph of order $n$, $S$ a subset of $V$ of size $k$ and $2\le k\leq n$. Strong subgraphs $D_1, \dots , D_p$ containing $S$ are said to be internally disjoint if $V(D_i)\cap V(D_j)=S$ and $A(D_i)\cap A(D_j)=\emptyset$ for all $1\le i<j\le p$. Let $κ_S(D)$ be the maximum number of internally disjoint strong digraphs containing $S$ in $D$. The strong subgraph $k$-connectivity is defined as $$κ_k(D)=\min\{κ_S(D)\mid S\subseteq V, |S|=k\}.$$ A digraph $D=(V, A)$ is called minimally strong subgraph $(k,\ell)$-connected if $κ_k(D)\geq \ell$ but for any arc $e\in A$, $κ_k(D-e)\leq \ell-1$. In this paper, we first give a sharp upper bound for the parameter $κ_k(D)$ and then study the minimally strong subgraph $(k,\ell)$-connected digraphs.