Showing 20 papers (Total: 82374 papers, 47635 authors in database)
The $e$-positivity and Schur positivity of the chromatic symmetric functions of some trees
We investigate the $e$-positivity and Schur positivity of the chromatic symmetric functions of some spider graphs with three legs. We obtain the positivity classification of all broom graphs and that of most double broom graphs. The methods involve extracting particular $e$-coefficients of the chromatic symmetric function of these graphs with the aid of Orellana and Scott's triple-deletion property, and using the combinatorial formula of Schur coefficients by examining certain special rim hook tabloids. We also propose some conjectures on the $e$-positivity and Schur positivity of trees.
On Planarity of Graphs in Homotopy Type Theory
Published in Math. Struct. Comp. Sci. 34 (2024) 281-321
• View Publication
• BIB
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary characterisation of planarity for locally directed finite and connected multigraphs that takes inspiration from topological graph theory, particularly from combinatorial embeddings of graphs into surfaces. A graph is planar if it has a map and an outer face with which any walk in the embedded graph is walk-homotopic to another. A result is that this type of planar maps forms a homotopy set for a graph. As a way to construct examples of planar graphs inductively, extensions of planar maps are introduced. We formalise the essential parts of this work in the proof-assistant Agda with support for homotopy type theory.
Two cycle-chord graphs are $e$-positive
Published
• View Publication
• BIB
We prove Gebhard and Sagan's $(e)$-positivity of the line graphs of tadpoles in noncommuting variables. This implies the $e$-positivity of these line graphs. We then extend this $(e)$-positivity result to that of certain cycle-chord graphs, and derive the bivariate generating function of all cycle-chord graphs.
Hecke triangle Groups and Dessin d'enfant
In this work we will construct bipartite graphs, famously known as Dessin d'enfant, corresponding to finite index subgroups of Hecke triangle groups $(2, q, \infty )$. Then using a results of \cite{ll} we shall show the correspondences among the special polygons, the bi-partite graph, and the tree diagram for a finite index subgroup of the Hecke triangle groups $(2, q, \infty )$.
Asymptotics of the number of waves on rational polyhedra
The problem of counting the number of waves arriving at the vertex of a polyhedron is motivated by physics. In the article it was solved for the case of Platonic solid using three nontrivial results from number theory. This growth turns out to be subexponential. Also we prove a subexponential upper bound for all polyhedra with rational total angles at vertices.
Persistent Animal Identification Leveraging Non-Visual Markers
Published in Machine Vision and Applications 34, 68 (2023)
• View Publication
• BIB
Our objective is to locate and provide a unique identifier for each mouse in a cluttered home-cage environment through time, as a precursor to automated behaviour recognition for biological research. This is a very challenging problem due to (i) the lack of distinguishing visual features for each mouse, and (ii) the close confines of the scene with constant occlusion, making standard visual tracking approaches unusable. However, a coarse estimate of each mouse's location is available from a unique RFID implant, so there is the potential to optimally combine information from (weak) tracking with coarse information on identity. To achieve our objective, we make the following key contributions: (a) the formulation of the object identification problem as an assignment problem (solved using Integer Linear Programming), and (b) a novel probabilistic model of the affinity between tracklets and RFID data. The latter is a crucial part of the model, as it provides a principled probabilistic treatment of object detections given coarse localisation. Our approach achieves 77% accuracy on this animal identification problem, and is able to reject spurious detections when the animals are hidden.
Toric Promotion
Published
• View Publication
• BIB
We introduce toric promotion as a cyclic analogue of Schützenberger's promotion operator. Toric promotion acts on the set of labelings of a graph $G$. We discuss connections between toric promotion and previously-studied notions such as toric posets and friends-and-strangers graphs. Our main theorem provides a surprisingly simple description of the orbit structure of toric promotion when $G$ is a forest.
Sylvester-Cayley vector partitions algorithm and the Gaussian polynomials
We extend an algorithm suggested in 1858 by Sylvester and implemented in 1860 by Cayley for a problem of double partitions and apply it to derivation of explicit expressions for coefficients of the Gaussian polynomials through convolution of restricted partition functions.
Factorization and pseudofactorization of weighted graphs
Published
• View Publication
• BIB
For unweighted graphs, finding isometric embeddings is closely related to decompositions of $G$ into Cartesian products of smaller graphs. When $G$ is isomorphic to a Cartesian graph product, we call the factors of this product a factorization of $G$. When $G$ is isomorphic to an isometric subgraph of a Cartesian graph product, we call those factors a pseudofactorization of $G$. Prior work has shown that an unweighted graph's pseudofactorization can be used to generate a canonical isometric embedding into a product of the smallest possible pseudofactors. However, for arbitrary weighted graphs, which represent a richer variety of metric spaces, methods for finding isometric embeddings or determining their existence remain elusive, and indeed pseudofactorization and factorization have not previously been extended to this context. In this work, we address the problem of finding the factorization and pseudofactorization of a weighted graph $G$, where $G$ satisfies the property that every edge constitutes a shortest path between its endpoints. We term such graphs minimal graphs, noting that every graph can be made minimal by removing edges not affecting its path metric. We generalize pseudofactorization and factorization to minimal graphs and develop new proof techniques that extend the previously proposed algorithms due to Graham and Winkler [Graham and Winkler, '85] and Feder [Feder, '92] for pseudofactorization and factorization of unweighted graphs. We show that any $m$-edge, $n$-vertex graph with positive integer edge weights can be factored in $O(m^2)$ time, plus the time to find all pairs shortest paths (APSP) distances in a weighted graph, resulting in an overall running time of $O(m^2+n^2\log\log n)$ time. We also show that a pseudofactorization for such a graph can be computed in $O(mn)$ time, plus the time to solve APSP, resulting in an $O(mn+n^2\log\log n)$ running time.
Isometric Hamming embeddings of weighted graphs
Published
• View Publication
• BIB
A mapping $α: V(G) \to V(H)$ from the vertex set of one graph $G$ to another graph $H$ is an isometric embedding if the shortest path distance between any two vertices in $G$ equals the distance between their images in $H$. Here, we consider isometric embeddings of a weighted graph $G$ into unweighted Hamming graphs, called Hamming embeddings, when $G$ satisfies the property that every edge is a shortest path between its endpoints. Using a Cartesian product decomposition of $G$ called its pseudofactorization, we show that every Hamming embedding of $G$ may be partitioned into Hamming embeddings for each irreducible pseudofactor graph of $G$, which we call its canonical partition. This implies that $G$ permits a Hamming embedding if and only if each of its irreducible pseudofactors is Hamming embeddable. This result extends prior work on unweighted graphs that showed that an unweighted graph permits a Hamming embedding if and only if each irreducible pseudofactor is a complete graph. When a graph $G$ has nontrivial pseudofactors, determining whether $G$ has a Hamming embedding can be simplified to checking embeddability of two or more smaller graphs.
Double cohomology of moment-angle complexes
Published in Advances in Math. 432 (2023), Paper no. 109274, 34 pp
• View Publication
• BIB
We put a cochain complex structure ${CH}^*(\mathcal Z_K)$ on the cohomology of a moment-angle complex $\mathcal Z_K$ and call the resulting cohomology the double cohomology, ${HH}^*(\mathcal Z_K)$. We give three equivalent definitions for the differential, and compute ${HH}^*(\mathcal Z_K)$ for a family of simplicial complexes containing clique complexes of chordal graphs.
On permutation quadrinomials from Niho exponents in characteristic two
In a recent paper Zheng et al. characterized the coefficients of $ f(x) = x + a_1x^{s_1(2m-1)+1} + a_2x^{s_2(2m-1)+1} + a_3x^{s_3(2m-1)+1} $ over $\mathbb{ F}_2^{2m}$ that lead $ f(x) $ to be a permutation of $\mathbb{ F}_2^{2m}$ for $ (s_1, s_2, s_3) = (\frac{1}{4},1, \frac{3}{4})$. They left open the question whether those conditions were also necessary. In this paper we give a positive answer to that question.
A Torelli Theorem for Graph Isomorphisms
Published in Journal of Combinatorial Theory, Series A, Volume 198, August 2023, 105764
• View Publication
• BIB
It is known that isomorphisms of graph Jacobians induce cyclic bijections on the associated graphs. We characterize when such cyclic bijections can be strengthened to graph isomorphisms, in terms of an easily computed divisor. The result refines tools used in algebraic geometry to examine the fibers of the compactified Torelli map.
Clustering with fair-center representation: parameterized approximation algorithms and heuristics
Published
• View Publication
• BIB
We study a variant of classical clustering formulations in the context of algorithmic fairness, known as diversity-aware clustering. In this variant we are given a collection of facility subsets, and a solution must contain at least a specified number of facilities from each subset while simultaneously minimizing the clustering objective ($k$-median or $k$-means). We investigate the fixed-parameter tractability of these problems and show several negative hardness and inapproximability results, even when we afford exponential running time with respect to some parameters.
Motivated by these results we identify natural parameters of the problem, and present fixed-parameter approximation algorithms with approximation ratios $\big(1 + \frac{2}{e} +ε\big)$ and $\big(1 + \frac{8}{e}+ ε\big)$ for diversity-aware $k$-median and diversity-aware $k$-means respectively, and argue that these ratios are essentially tight assuming the gap-exponential time hypothesis. We also present a simple and more practical bicriteria approximation algorithm with better running time bounds. We finally propose efficient and practical heuristics. We evaluate the scalability and effectiveness of our methods in a wide variety of rigorously conducted experiments, on both real and synthetic data.
LLT polynomials in the Schiffmann algebra
Published
• View Publication
• BIB
We identify certain combinatorially defined rational functions which, under the shuffle to Schiffmann algebra isomorphism, map to LLT polynomials in any of the distinguished copies $Λ(X^{m,n})\subset \mathcal{E}$ of the algebra of symmetric functions embedded in the elliptic Hall algebra $\mathcal{E}$ of Burban and Schiffmann. As a corollary, we deduce an explicit raising operator formula for the $\nabla$ operator applied to any LLT polynomial. In particular, we obtain a formula for $\nabla ^m s_λ$ which serves as a starting point for our proof of the Loehr-Warrington conjecture in a companion paper to this one.
The smallest pair of cospectral cubic graphs with different chromatic indexes
Published
• View Publication
• BIB
Using an exhaustive search on cubic graphs of order 16, we find a unique cospectral pair with different chromatic indexes. This example indicates that the chromatic index of a regular graph is not characterized by its spectrum, which answers a question recently posed in [O. Etesami, W. H. Haemers, On NP-hard graph properties characterized by the spectrum, Discrete Appl. Math., 285(2020)526-529]. We prove that any orthogonal matrix representing the similarity between the two adjacency matrices of the cospectral pair cannot be rational. This implies that the cospectral pair cannot be obtained using the original GM-switching method or its generalizations based on rational orthogonal matrices.
An extension of the Lindström-Gessel-Viennot theorem
Published in Electron. J. Combin. 29 (2022), no. 2, Paper No. 2.41, 31 pp
• View Publication
• BIB
Consider a weighted directed acyclic graph $G$ having an upward planar drawing. We give a formula for the total weight of the families of non-intersecting paths on $G$ with any given starting and ending points. While the Lindström-Gessel-Viennot theorem gives the signed enumeration of these weights (according to the connection type), our result provides the straight count, expressing it as a determinant whose entries are signed counts of lattice paths with given starting and ending points.
Perfect codes in vertex-transitive graphs
Published
• View Publication
• BIB
Given a graph $Γ$, a perfect code in $Γ$ is an independent set $C$ of vertices of $Γ$ such that every vertex outside of $C$ is adjacent to a unique vertex in $C$, and a total perfect code in $Γ$ is a set $C$ of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. To study (total) perfect codes in vertex-transitive graphs, we generalize the concept of subgroup (total) perfect code of a finite group introduced in \cite{HXZ18} as follows: Given a finite group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a subgroup (total) perfect code of the pair $(G,H)$ if there exists a coset graph $Cos(G,H,U)$ such that the set consisting of left cosets of $H$ in $A$ is a (total) perfect code in $Cos(G,H,U)$. We give a necessary and sufficient condition for a subgroup $A$ of $G$ containing $H$ to be a (total) perfect code of the pair $(G,H)$ and generalize a few known results of subgroup (total) perfect codes of groups. We also construct some examples of subgroup perfect codes of the pair $(G,H)$ and propose a few problems for further research.
Approximating TSP walks in subcubic graphs
Published
• View Publication
• BIB
We prove that every simple 2-connected subcubic graph on $n$ vertices with $n_2$ vertices of degree 2 has a TSP walk of length at most $\frac{5n+n_2}{4}-1$, confirming a conjecture of Dvořák, Král', and Mohar. This bound is best possible; there are infinitely many subcubic and cubic graphs whose minimum TSP walks have lengths $\frac{5n+n_2}{4}-1$ and $\frac{5n}{4} - 2$ respectively. We characterize the extremal subcubic examples meeting this bound. We also give a quadratic-time combinatorial algorithm for finding such a TSP walk. In particular, we obtain a $\frac{5}{4}$-approximation algorithm for the graphic TSP on simple cubic graphs, improving on the previously best known approximation ratio of $\frac{9}{7}$.
Coefficient Quivers, $\mathbb{F}_1$-Representations, and Euler Characteristics of Quiver Grassmannians
Published
• View Publication
• BIB
A quiver representation assigns a vector space to each vertex, and a linear map to each arrow. When one considers the category $\textrm{Vect}(\mathbb{F}_1)$ of vector spaces ``over $\mathbb{F}_1$'' (the field with one element), one obtains $\mathbb{F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\textrm{Rep}(Q,\mathbb{F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over $Q$. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of ``$\mathbb{F}_1$-rational points'' of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated to $\mathbb{F}_1$-representations. These techniques apply to a large class of $\mathbb{F}_1$-representations, which we call the $\mathbb{F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb{F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated to $\mathbb{F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb{F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated to representations with finite nice length, and compute them for certain families of quivers.