Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Plethystic formulas for permutation enumeration
Published in Adv. Math. 375: Article #107370, 55 pp., 2020
• View Publication
• BIB
We prove several general formulas for the distributions of various permutation statistics over any set of permutations whose quasisymmetric generating function is a symmetric function. Our formulas involve certain kinds of plethystic substitutions on quasisymmetric generating functions, and the permutation statistics we consider include the descent number, peak number, left peak number, and the number of up-down runs. We apply these results to cyclic permutations, involutions, and derangements, and more generally, to derive formulas for counting all permutations by the above statistics jointly with the number of fixed points and jointly with cycle type. A number of known formulas are recovered as special cases of our results, including formulas of Désarménien-Foata, Gessel-Reutenauer, Stembridge, Fulman, Petersen, Diaconis-Fulman-Holmes, Zhuang, and Athanasiadis.
Wiener Index of Quadrangulation Graphs
The Wiener index of a graph $G$, denoted $W(G)$, is the sum of the distances between all pairs of vertices in $G$. É. Czabarka, et al. conjectured that for an $n$-vertex, $n\geq 4$, simple quadrangulation graph $G$,
\begin{equation*}W(G)\leq \begin{cases} \frac{1}{12}n^3+\frac{7}{6}n-2, &\text{ $n\equiv 0~(mod \ 2)$,}\\ \frac{1}{12}n^3+\frac{11}{12}n-1, &\text{ $n\equiv 1~(mod \ 2)$}. \end{cases} \end{equation*} In this paper, we confirm this conjecture.
An infinite family of linear codes supporting 4-designs
Published
• View Publication
• BIB
The first linear code supporting a $4$-design was the $[11, 6, 5]$ ternary Golay code discovered in 1949 by Golay. In the past 71 years, sporadic linear codes holding $4$-designs or $5$-designs were discovered and many infinite families of linear codes supporting $3$-designs were constructed. However, the question as to whether there is an infinite family of linear codes holding an infinite family of $t$-designs for $t\geq 4$ remains open for 71 years. This paper settles this long-standing problem by presenting an infinite family of BCH codes of length $2^{2m+1}+1$ over $\mathrm{GF}(2^{2m+1})$ holding an infinite family of $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ designs. Moreover, an infinite family of linear codes holding the spherical design $S(3, 5, 4^m+1)$ is presented.
Overpartitions and Bressoud's conjecture, II
Published in European Journal of Combinatorics (2024)
• View Publication
• BIB
The main objective of this paper is to present an answer to Bressoud's conjecture for the case $j=0$, resulting in a complete solution to the conjecture. The case for $j=1$ has been recently resolved by Kim. Using the connection established in our previous paper between the ordinary partition function $B_0$ and the overpartition function $\overline{B}_1$, we found that the proof of Bressoud's conjecture for the case $j=0$ is equivalent to establishing an overpartition analogue of the conjecture for $j=1$. By generalizing Kim's method, we obtain the desired overpartition analogue of Bressoud's conjecture for $j=1$, which eventually enables us to confirm Bressoud's conjecture for the case $j=0$.
(1,0,0)-colorability of planar graphs without cycles of length 4 or 6
Published
• View Publication
• BIB
A graph $G$ is $(d_1,d_2,d_3)$-colorable if the vertex set $V(G)$ can be partitioned into three subsets $V_1,V_2$ and $V_3$ such that for $i\in\{1,2,3\}$, the induced graph $G[V_i]$ has maximum vertex-degree at most $d_i$. So, $(0,0,0)$-colorability is exactly 3-colorability.
The well-known Steinberg's conjecture states that every planar graph without cycles of length 4 or 5 is 3-colorable. As this conjecture being disproved by Cohen-Addad etc. in 2017, a similar question, whether every planar graph without cycles of length 4 or $i$ is 3-colorable for a given $i\in \{6,\ldots,9\}$, is gaining more and more interest. In this paper, we consider this question for the case $i=6$ from the viewpoint of improper colorings. More precisely, we prove that every planar graph without cycles of length 4 or 6 is (1,0,0)-colorable, which improves on earlier results that they are (2,0,0)-colorable and also (1,1,0)-colorable, and on the result that planar graphs without cycles of length from 4 to 6 are (1,0,0)-colorable.
Non-Schur-positivity of chromatic symmetric functions
Published
• View Publication
• BIB
We provide a formula for every Schur coefficient in the chromatic symmetric function of a graph in terms of special rim hook tabloids. This formula is useful in confirming the non-Schur positivity of the chromatic symmetric function of a graph, especially when Stanley's stable partition method does not work. As applications, we determine Schur positive fan graphs and Schur positive complete tripartite graphs. We show that any squid graph obtained by adding $n$ leaves to a common vertex on an $m$-vertex cycle is not Schur positive if $m\ne 2n-1$, and conjecture that neither are the squid graphs with $m=2n-1$.
Perverse Equivalences and Dg-stable Combinatorics
Chuang and Rouquier describe an action by perverse equivalences on the set of bases of a triangulated category of Calabi-Yau dimension $-1$. We develop an analogue of their theory for Calabi-Yau categories of dimension $w<0$ and show it is equivalent to the mutation theory of $w$-simple-minded systems.
Given a non-positively graded, finite-dimensional symmetric algebra $A$, we show that the differential graded stable category of $A$ has negative Calabi-Yau dimension. When $A$ is a Brauer tree algebra, we construct a combinatorial model of the dg-stable category and show that perverse equivalences act transitively on the set of $|w|$-bases.
Isometries between finite groups
We prove that if $H$ is a subgroup of index $n$ of any cyclic group $G$, then $G$ can be isometrically embedded in $(H^n, d_{_{Ham}}^n)$, thus generalizing previous results of Carlet (1998) for $G=\mathbb{Z}_{2^k}$ and Yildiz-Özger (2012) for $G=\mathbb{Z}_{p^k}$ with $p$ prime. Next, for any positive integer $q$ we define the $q$-adic metric $d_q$ in $\mathbb{Z}_{q^n}$ and prove that $(\mathbb{Z}_{q^n}, d_q)$ is isometric to $(\mathbb{Z}_q^n, d_{RT})$ for every $n$, where $d_{RT}$ is the Rosenbloom-Tsfasman metric. More generally, we then demonstrate that any pair of finite groups of the same cardinality are isometric to each other for some metrics that can be explicitly constructed. Finally, we consider a chain $\mathcal{C}$ of subgroups of a given group and define the chain metric $d_{\mathcal{C}}$ and chain isometries between two chains. Let $G, K$ be groups with $|G|=q^n$, $|K|=q$ and let $H<G$. Using chains, we prove that under certain conditions, $(G,d_\mathcal{C}) \simeq (K^n, d_{RT})$ and $(G,d_\mathcal{C}) \simeq (H^{[G:H]}, d_{BRT})$ where $d_{BRT}$ is the block Rosenbloom-Tsfasman metric which generalizes $d_{RT}$.
Total dominator chromatic number of Kneser graphs
Published
• View Publication
• BIB
In this paper among some other results and by using the existance of Steiner triple systems, we determine the total dominator chromatic number of the Kneser graph KG(n,2).
Complex Hadamard Diagonalisable Graphs
Published
• View Publication
• BIB
In light of recent interest in Hadamard diagonalisable graphs (graphs whose Laplacian matrix is diagonalisable by a Hadamard matrix), we generalise this notion from real to complex Hadamard matrices. We give some basic properties and methods of constructing such graphs. We show that a large class of complex Hadamard diagonalisable graphs have vertex sets forming an equitable partition, and that the Laplacian eigenvalues must be even integers. We provide a number of examples and constructions of complex Hadamard diagonalisable graphs, including two special classes of graphs: the Cayley graphs over $\mathbb{Z}_r^d$, and the non--complete extended $p$--sum (NEPS). We discuss necessary and sufficient conditions for $(α, β)$--Laplacian fractional revival and perfect state transfer on continuous--time quantum walks described by complex Hadamard diagonalisable graphs and provide examples of such quantum state transfer.
Multi-transversals for Triangles and the Tuza's Conjecture
Published
• View Publication
• BIB
In this paper, we study a primal and dual relationship about triangles: For any graph $G$, let $ν(G)$ be the maximum number of edge-disjoint triangles in $G$, and $τ(G)$ be the minimum subset $F$ of edges such that $G \setminus F$ is triangle-free. It is easy to see that $ν(G) \leq τ(G) \leq 3 ν(G)$, and in fact, this rather obvious inequality holds for a much more general primal-dual relation between $k$-hyper matching and covering in hypergraphs. Tuza conjectured in $1981$ that $τ(G) \leq 2 ν(G)$, and this question has received attention from various groups of researchers in discrete mathematics, settling various special cases such as planar graphs and generalized to bounded maximum average degree graphs, some cases of minor-free graphs, and very dense graphs. Despite these efforts, the conjecture in general graphs has remained wide open for almost four decades.
In this paper, we provide a proof of a non-trivial consequence of the conjecture; that is, for every $k \geq 2$, there exist a (multi)-set $F \subseteq E(G): |F| \leq 2k ν(G)$ such that each triangle in $G$ overlaps at least $k$ elements in $F$. Our result can be seen as a strengthened statement of Krivelevich's result on the fractional version of Tuza's conjecture (and we give some examples illustrating this.) The main technical ingredient of our result is a charging argument, that locally identifies edges in $F$ based on a local view of the packing solution. This idea might be useful in further studying the primal-dual relations in general and the Tuza's conjecture in particular.
Permutations with restricted movement
Published
• View Publication
• BIB
A restricted permutation of a locally finite directed graph $G=(V,E)$ is a vertex permutation $π: V\to V$ for which $(v,π(v))\in E$, for any vertex $v\in V$. The set of such permutations, denoted by $Ω(G)$, with a group action induced from a subset of graph isomorphisms form a topological dynamical system. We focus on the particular case presented by Schmidt and Strasser (2016) of restricted $\mathbb{Z}^d$ permutations, in which $Ω(G)$ is a subshift of finite type. We show a correspondence between restricted permutations and perfect matchings (also known as dimer coverings). We use this correspondence in order to investigate and compute the topological entropy in a class of cases of restricted $\mathbb{Z}^d$-permutations. We discuss the global and local admissibility of patterns, in the context of restricted $\mathbb{Z}^d$-permutations. Finally, we review the related models of injective and surjective restricted functions.
Permutations, moments, measures
Which combinatorial sequences correspond to moments of probability measures on the real line? We present a generating function, in the form of a continued fraction, for a fourteen-parameter family of such sequences and interpret these in terms of combinatorial statistics on the symmetric groups. Special cases include several classical and noncommutative probability laws, along with a substantial subset of the orthogonalizing measures in the q-Askey scheme, now given a new combinatorial interpretation in terms of elementary permutation statistics. This framework further captures a variety of interesting combinatorial sequences including, notably, the moment sequences associated to distributions of the numbers of occurrences of (classical and vincular) permutation patterns of length three. This connection between pattern avoidance and broader ideas in classical and noncommutative probability is among several intriguing new corollaries, which generalize and unify results previously appearing in the literature, while opening up new lines of inquiry. The fourteen combinatorial statistics further generalize to signed and colored permutations, and, as an infinite family of statistics, to the k-arrangements: permutations with k-colored fixed points, introduced here along with several related results and conjectures.
No more than $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$
Published
• View Publication
• BIB
We prove a combinatorial theorem on families of disjoint sub-boxes of a discrete cube, which implies that there are at most $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$.
Characterization of graphs with some normalized Laplacian eigenvalue of multiplicity n-3
Published
• View Publication
• BIB
Graphs with few distinct eigenvalues have been investigated extensively. In this paper, we focus on another relevant topic: characterizing graphs with some eigenvalue of large multiplicity. Specifically, the normalized Laplacian matrix of a graph is considered here. Let $ρ_{n-1}(G)$ and $ν(G)$ be the second least normalized Laplacian eigenvalue and the independence number of a graph $G$, respectively. As the main conclusions, two families of $n$-vertex connected graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$ are determined: graphs with $ρ_{n-1}(G)=-1$ and graphs with $ρ_{n-1}(G)\neq -1$ and $ν(G)\neq 2$. Moreover, it is proved that these graphs are determined by their spectrum.
Proof of Nash-Williams' Intersection Conjecture for countable matroids
We prove that if $ M $ and $ N $ are finitary matroids on a common countable edge set $ E $ then they admit a common independent set $I $ such that there is a bipartition $ E=E_{M}\cup E_{N} $ for which $ I\cap E_M $ spans $ E_M $ in $ M $ and $ I\cap E_N $ spans $ E_N $ in $ N $. It answers positively the Matroid Intersection Conjecture of Nash-Williams in the countable case.
Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials
Published in SIGMA 16 (2020), 053, 21 pages
• View Publication
• BIB
Two problems are addressed: reduction of an arbitrary degree non-special divisor to the equivalent divisor of the degree equal to genus of a curve, and addition of divisors of arbitrary degrees. The hyperelliptic case is considered as the simplest model. Explicit formulas defining reduced divisors for some particular cases are found. The reduced divisors are obtained in the form of solution of the Jacobi inversion problem which provides the way of computing Abelian functions on arbitrary non-special divisors. An effective reduction algorithm is proposed, which has the advantage that it involves only arithmetic operations on polynomials. The proposed addition algorithm contains more details comparing with the known in cryptography, and is extended to divisors of arbitrary degrees comparing with the known in the theory of hyperelliptic functions.
Computing the spectral action for fuzzy geometries: from random noncommutative geometry to bi-tracial multimatrix models
Published in J. Noncommut. Geom. 16 (2022), no. 4, pp. 1137-1178
• View Publication
• BIB
A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to systematically compute the spectral action $S(D)= \mathrm{Tr} f(D)$ for $2n$-dimensional fuzzy geometries. In contrast to the original Chamseddine-Connes spectral action, we take a polynomial $f$ with $f(x)\to \infty$ as $ |x|\to\infty$ in order to obtain a well-defined path integral that can be stated as a random matrix model with action of the type $S(D)=N \cdot \mathrm{tr}\, F+\textstyle\sum_i \mathrm{tr}\,A_i \cdot \mathrm{tr} \,B_i $, being $F,A_i $ and $B_i $ noncommutative polynomials in $2^{2n-1}$ complex $N\times N$ matrices that parametrize the Dirac operator $D$. For arbitrary signature---thus for any admissible KO-dimension---formulas for 2-dimensional fuzzy geometries are given up to a sextic polynomial, and up to a quartic polynomial for 4-dimensional ones, with focus on the octo-matrix models for Lorentzian and Riemannian signatures. The noncommutative polynomials $F,A_i $ and $B_i$ are obtained via chord diagrams and satisfy: independence of $N$; self-adjointness of the main polynomial $F$ (modulo cyclic reordering of each monomial); also up to cyclicity, either self-adjointness or anti-self-adjointness of $A_i $ and $B_i $ simultaneously, for fixed $i$. Collectively, this favors a free probabilistic perspective for the large-$N$ limit we elaborate on.
Structure and colour in triangle-free graphs
Published
• View Publication
• BIB
Motivated by a recent conjecture of the first author, we prove that every properly coloured triangle-free graph of chromatic number $χ$ contains a rainbow independent set of size $\lceil\frac12χ\rceil$. This is sharp up to a factor $2$. This result and its short proof have implications for the related notion of chromatic discrepancy.
Drawing inspiration from both structural and extremal graph theory, we conjecture that every triangle-free graph of chromatic number $χ$ contains an induced cycle of length $Ω(χ\logχ)$ as $χ\to\infty$. Even if one only demands an induced path of length $Ω(χ\logχ)$, the conclusion would be sharp up to a constant multiple. We prove it for regular girth $5$ graphs and for girth $21$ graphs.
As a common strengthening of the induced paths form of this conjecture and of Johansson's theorem (1996), we posit the existence of some $c >0$ such that for every forest $H$ on $D$ vertices, every triangle-free and induced $H$-free graph has chromatic number at most $c D/\log D$. We prove this assertion with `triangle-free' replaced by `regular girth $5$'.
Biased infinity Laplacian Boundary Problem on finite graphs
We provide an algorithm, running in polynomial time in the number of vertices, computing the unique solution to the biased infinity Laplacian Boundary Problem on finite graphs. The algorithm is based on the general outline and approach taken in the corresponding algorithm for the unbiased case provided by Lazarus et al. The new ingredient is an adjusted (biased) notion of a slope of a function on a path in a graph. The algorithm can be used to determine efficiently numerical approximations to the viscosity solutions of biased infinity Laplacian PDEs.