Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Macdonald symmetry at $q=1$ and a new class of inv-preserving bijections on words
We give a direct combinatorial proof of the $q,t$-symmetry relation $\tilde H_μ(X;q,t)=\tilde H_{μ'}(X;t,q)$ in the Macdonald polynomials $\tilde H_μ$ at the specialization $q=1$. The bijection demonstrates that the Macdonald inv statistic on the permutations of any given row of a Young diagram filling is Mahonian. Moreover, our bijection gives rise a family of new bijections on words that preserves the classical Mahonian inv statistic.
Enumeration of permutations indexing local complete intersection Schubert varieties
We find the generating function for the permutation class $\mathcal{A}'=\text{Av}(52341,53241,52431,35142,42513,351624)$ whose permutations index local complete intersection Schubert varieties. The method we apply is the extension of how Albert and Brignall discover the generating function for $\mathcal{A}=\text{Av}(4231,35142,42513,351624)$ in their paper. This completes the enumerations of all classical permutation classes indexing certain types of Schubert varieties.
Scaling Laws for Maximum Coloring of Random Geometric Graphs
Published
• View Publication
• BIB
We examine maximum vertex coloring of random geometric graphs, in an arbitrary but fixed dimension, with a constant number of colors. Since this problem is neither scale-invariant nor smooth, the usual methodology to obtain limit laws cannot be applied. We therefore leverage different concepts based on subadditivity to establish convergence laws for the maximum number of vertices that can be colored. For the constants that appear in these results, we provide the exact value in dimension one, and upper and lower bounds in higher dimensions.
Resistance distance and Kirchhoff index in the corona-vertex and the corona $-$ edge of subdivision graph
Published
• View Publication
• BIB
The subdivision graph $S(G)$ of a graph $G$ is the graph obtained by inserting a new vertex into every edge of $G$. In $\cite{PL}$, two classes of new corona graphs, the corona-vertex of the subdivision graph $G_{1}\diamondsuit G_{2}$ and corona-edge of the subdivision graph $G_{1}\star G_{2}$ were defined. The adjacency spectrum and the signless Laplacian spectrum of the two new graphs were computed when $G_{1}$ is an arbitrary graph and $G_{2}$ is an $r$-regular graph. In this paper, we give the formulate of the resistance distance and the Kirchhoff index in $G_{1}\diamondsuit G_{2}$ and $G_{1}\star G_{2}$ when $G_{1}$ and $G_{2}$ are arbitrary graphs. These results generalize them in $\cite{PL}$.
New Characterisations of Tree-Based Networks and Proximity Measures
Published
• View Publication
• BIB
Phylogenetic networks are a type of directed acyclic graph that represent how a set $X$ of present-day species are descended from a common ancestor by processes of speciation and reticulate evolution. In the absence of reticulate evolution, such networks are simply phylogenetic (evolutionary) trees. Moreover, phylogenetic networks that are not trees can sometimes be represented as phylogenetic trees with additional directed edges placed between their edges. Such networks are called {\em tree based}, and the class of phylogenetic networks that are tree based has recently been characterised. In this paper, we establish a number of new characterisations of tree-based networks in terms of path partitions and antichains (in the spirit of Dilworth's theorem), as well as via matchings in a bipartite graph. We also show that a temporal network is tree based if and only if it satisfies an antichain-to-leaf condition. In the second part of the paper, we define three indices that measure the extent to which an arbitrary phylogenetic network deviates from being tree based. We describe how these three indices can be described exactly and computed efficiently using classical results concerning maximum-sized matchings in bipartite graphs.
Properties of chromatic polynomials of hypergraphs not held for chromatic polynomials of graphs
Published
• View Publication
• BIB
In this paper, we present some properties on chromatic polynomials of hypergraphs which do not hold for chromatic polynomials of graphs. We first show that chromatic polynomials of hypergraphs have all integers as their zeros and contain dense real zeros in the set of real numbers. We then prove that for any multigraph $G=(V,E)$, the number of totally cyclic orientations of $G$ is equal to the value of $|P(H,-1)|$, where $P(H,λ)$ is the chromatic polynomial of a hypergraph $H$ which is constructed from $G$. Finally we show that the multiplicity of root "$0$" of $P(H,λ)$ may be at least $2$ for some connected hypergraphs $H$, and the multiplicity of root "$1$" of $P(H,λ)$ may be $1$ for some connected and separable hypergraphs $H$ and may be $2$ for some connected and non-separable hypergraphs $H$.
Characterization of ${\cal B}(\infty)$ using marginally large tableaux and rigged configurations in the $A_n$ case via integer sequences
Published in Journal of Combinatorics (2018), Vol. 9, No. 2, 345-399
• View Publication
• BIB
Rigged configurations are combinatorial objects prominent in the study of solvable lattice models. Marginally large tableaux are semi-standard Young tableaux of special form that give a realization of the crystals ${\cal B}(\infty)$. We introduce cascading sequences to characterize marginally large tableaux. Then we use cascading sequences and a non-explicit crystal isomorphism between marginally large tableaux and rigged configurations to give a characterization of the latter set, and to give an explicit bijection between the two sets.
Order divisor graphs of finite groups
Published in Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica 26(3):29-40, 2018
• View Publication
• BIB
The interplay between groups and graphs have been the most famous and productive area of algebraic graph theory. In this paper, we introduce and study the graphs whose vertex set is group G such that two distinct vertices a and b having different orders are adjacent provided that o(a) divides o(b) or o(b) divides o(a).
Mixed metric dimension of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected graph. A vertex $w\in V$ distinguishes two elements (vertices or edges) $x,y\in E\cup V$ if $d_G(w,x)\ne d_G(w,y)$. A set $S$ of vertices in a connected graph $G$ is a mixed metric generator for $G$ if every two elements (vertices or edges) of $G$ are distinguished by some vertex of $S$. The smallest cardinality of a mixed metric generator for $G$ is called the mixed metric dimension and is denoted by $\mathrm{mdim}(G)$. In this paper we consider the structure of mixed metric generators and characterize graphs for which the mixed metric dimension equals the trivial lower and upper bounds. We also give results about the mixed metric dimension of some families of graphs and present an upper bound with respect to the girth of a graph. Finally, we prove that the problem of determining the mixed metric dimension of a graph is NP-hard in the general case.
Non-reconstructible locally finite graphs
Published
• View Publication
• BIB
Two graphs $G$ and $H$ are \emph{hypomorphic} if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is \emph{reconstructible} if $H \cong G$ for all $H$ hypomorphic to $G$.
Nash-Williams proved that all locally finite graphs with a finite number $\geq 2$ of ends are reconstructible, and asked whether locally finite graphs with one end or countably many ends are also reconstructible.
In this paper we construct non-reconstructible graphs of bounded maximum degree with one and countably many ends respectively, answering the two questions of Nash-Williams about the reconstruction of locally finite graphs in the negative.
Nuclei and automorphism groups of generalized twisted Gabidulin codes
Published in Linear algebra and its applications 575: 1-26, 2019
• View Publication
• BIB
Generalized twisted Gabidulin codes are one of the few known families of maximum rank matrix codes over finite fields. As a subset of m by n matrices, when m=n, the automorphism group of any generalized twisted Gabidulin code has been completely determined recently. In this paper, we consider the same problem for m<n. Under certain conditions on their parameters, we determine their middle nuclei and right nuclei, which are important invariants with respect to the equivalence for rank metric codes. Furthermore, we also use them to derive necessary conditions on the automorphisms of generalized twisted Gabidulin codes.
Substitution-based sequences with absolutely continuous diffraction
Published in Journal of Physics: Conference Series 809 (2017) 012027
• View Publication
• BIB
Modifying Rudin's original construction of the Rudin-Shapiro sequence, we derive a new substitution-based sequence with purely absolutely continuous diffraction spectrum.
On the splitting case of a semi-biplane construction
Published in Proceedings of the Fifteenth Australasian Workshop on Combinatorial Algorithms, AWOCA 2004 (S-H. Hong, ed.), 2004, pp. 192-198
• Search Publication
We consider the case where a particular incidence structure splits into two substructures. The incidence structure in question was used previously by the authors to construct semi-biplanes $sbp(k^2,k)$ or $sbp(k^2/2,k)$. A complete description of the two substructures is obtained. We also show that none of the three semi-biplanes, $sbp(18,6)$, can be described using this construction.
Bijections for Weyl Chamber walks ending on an axis, using arc diagrams and Schnyder woods
Published in European Journal of Combinatorics, 2018, vol. 69, p. 126-142
• View Publication
• BIB
In the study of lattice walks there are several examples of enumerative equivalences which amount to a trade-off between domain and endpoint constraints. We present a family of such bijections for simple walks in Weyl chambers which use arc diagrams in a natural way. One consequence is a set of new bijections for standard Young tableaux of bounded height. A modification of the argument in two dimensions yields a bijection between Baxter permutations and walks ending on an axis, answering a recent question of Burrill et al. (2016). Some of our arguments (and related results) are proved using Schnyder woods. Our strategy for simple walks extends to any dimension and yields a new bijective connection between standard Young tableaux of height at most $2k$ and certain walks with prescribed endpoints in the $k$-dimensional Weyl chamber of type D.
A better bound on the largest induced forests in triangle-free planar graphs
Published
• View Publication
• BIB
It is well-known that there exists a triangle-free planar graph of $n$ verticess such that the largest induced forest has size at most $\frac{5n}{8}$. Salavatipour proved that there is a forest of size at least $\frac{5n}{9.41}$ in any triangle-free planar graph of $n$ vertices. Dross, Montassier and Pinlou improved Salavatipour's bound to $\frac{5n}{9.17}$. In this work, we further improve the bound to $\frac{5n}{9}$. Our technique is inspired by the recent ideas from Lukot'ka, Maz{á}k and Zhu.
Real Stable Polynomials and Matroids: Optimization and Counting
Published
• View Publication
• BIB
A great variety of fundamental optimization and counting problems arising in computer science, mathematics and physics can be reduced to one of the following computational tasks involving polynomials and set systems: given an $m$-variate real polynomial $g$ and a family of subsets $B$ of $[m]$, (1) find $S\in B$ such that the monomial in $g$ corresponding to $S$ has the largest coefficient in $g$, or (2) compute the sum of coefficients of monomials in $g$ corresponding to all the sets in $B$. Special cases of these problems, such as computing permanents, sampling from DPPs and maximizing subdeterminants have been topics of recent interest in theoretical computer science.
In this paper we present a general convex programming framework geared to solve both of these problems. We show that roughly, when $g$ is a real stable polynomial with non-negative coefficients and $B$ is a matroid, the integrality gap of our relaxation is finite and depends only on $m$ (and not on the coefficients of g).
Prior to our work, such results were known only in sporadic cases that relied on the structure of $g$ and $B$; it was not even clear if one could formulate a convex relaxation that has a finite integrality gap beyond these special cases. Two notable examples are a result by Gurvits on the van der Waerden conjecture for real stable $g$ when $B$ is a single element and a result by Nikolov and Singh for multilinear real stable polynomials when $B$ is a partition matroid. Our work, which encapsulates most interesting cases of $g$ and $B$, benefits from both - we were inspired by the latter in deriving the right convex programming relaxation and the former in establishing the integrality gap. However, proving our results requires significant extensions of both; in that process we come up with new notions and connections between stable polynomials and matroids which should be of independent interest.
Connected chord diagrams and bridgeless maps
Published
• View Publication
• BIB
We present a surprisingly new connection between two well-studied combinatorial classes: rooted connected chord diagrams on one hand, and rooted bridgeless combinatorial maps on the other hand. We describe a bijection between these two classes, which naturally extends to indecomposable diagrams and general rooted maps. As an application, this bijection provides a simplifying framework for some technical quantum field theory work realized by some of the authors. Most notably, an important but technical parameter naturally translates to vertices at the level of maps. We also give a combinatorial proof to a formula which previously resulted from a technical recurrence, and with similar ideas we prove a conjecture of Hihn. Independently, we revisit an equation due to Arquès and Béraud for the generating function counting rooted maps with respect to edges and vertices, giving a new bijective interpretation of this equation directly on indecomposable chord diagrams, which moreover can be specialized to connected diagrams and refined to incorporate the number of crossings. Finally, we explain how these results have a simple application to the combinatorics of lambda calculus, verifying the conjecture that a certain natural family of lambda terms is equinumerous with bridgeless maps.
Fighting Fish: enumerative properties
Published
• View Publication
• BIB
Fighting fish were very recently introduced by the authors as combinatorial structures made of square tiles that form two dimensional branching surfaces. A main feature of these fighting fish is that the area of uniform random fish of size $n$ scales like $n^{5/4}$ as opposed to the typical $n^{3/2}$ area behavior of the staircase or direct convex polyominoes that they generalize. In this extended abstract we concentrate on enumerative properties of fighting fish: in particular we provide a new decomposition and we show that the number of fighting fish with $i$ left lower free edges and $j$ right lower free edges is equal to
\begin{equation*}
\frac{(2i+j-2)!(2j+i-2)!}{i!j!(2i-1)!(2j-1)!}.
\end{equation*} These numbers are known to count rooted planar non-separable maps with $i+1$ vertices and $j+1$ faces, or two-stack-sortable permutations with respect to ascending and descending runs, or left ternary trees with respect to vertices with even and odd abscissa. However we have been unable until now to provide any explicit bijection between our fish and such structures. Instead we provide new refined generating series for left ternary trees to prove further equidistribution results.
Bihomogeneous symmetric functions
Published
• View Publication
• BIB
We consider two natural gradings on the space of symmetric functions: by degree and by length. We introduce a differential operator $T$ that leaves the components of this double grading invariant and exhibit a basis of bihomogeneous symmetric functions in which this operator is triangular. This allows us to compute the eigenvalues of $T$, which turn out to be non-negative integers.
Coloring Complexes and Combinatorial Hopf Monoids
Published
• View Publication
• BIB
We generalize the notion of a coloring complex of a graph to linearized combinatorial Hopf monoids. We determine when a linearized combinatorial Hopf monoid has such a construction, and discover some inequalities that are satisfied by the quasisymmetric function invariants associated to the combinatorial Hopf monoid. We show that the collection of all such coloring complexes forms a linearized combinatorial Hopf monoid, which is the terminal object in the category of combinatorial Hopf monoids with convex characters. We also study several examples of combinatorial Hopf monoids.