Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Characterizing the fullerene graphs with the minimum forcing number 3
The minimum forcing number of a graph $G$ is the smallest number of edges simultaneously contained in a unique perfect matching of $G$. Zhang, Ye and Shiu \cite{HDW} showed that the minimum forcing number of any fullerene graph was bounded below by $3$. However, we find that there exists exactly one excepted fullerene $F_{24}$ with the minimum forcing number $2$. In this paper, we characterize all fullerenes with the minimum forcing number $3$ by a construction approach. This also solves an open problem proposed by Zhang et al. We also find that except for $F_{24}$, all fullerenes with anti-forcing number $4$ have the minimum forcing number $3$. In particular, the nanotube fullerenes of type $(4, 2)$ are such fullerenes.
On the status sequences of trees
The status of a vertex $v$ in a connected graph is the sum of the distances from $v$ to all other vertices. The status sequence of a connected graph is the list of the statuses of all the vertices of the graph. In this paper we investigate the status sequences of trees. Particularly, we show that it is NP-complete to decide whether there exists a tree that has a given sequence of integers as its status sequence. We also present some results about trees whose status sequences are comprised of a few distinct numbers or many distinct numbers. In this direction, we provide a partial answer to a conjecture of Shang and Lin from 2011, showing that any status injective tree is unique among trees. Finally, we investigate how orbit partitions and equitable partitions relate to the status sequence.
Arctic Boundaries of the Ice Model on Three-Bundle Domains
In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted by Colomo-Sportiello in 2016 as one of the initial applications of a general heuristic that they introduced for locating arctic boundaries, called the (geometric) tangent method. Our proof uses a probabilistic analysis of non-crossing directed path ensembles to provide a mathematical justification of their tangent method heuristic in this case, which might be of independent interest.
Catlin's conjecture and maximum eulerian subgraph
A graph $G=(V(G), E(G))$ is supereulerian if it has a spanning Eulerian subgraph. Let $\ell(G)$ be the maximum number of edges of spanning Eulerian subgraphs of a supereulerian graph $G$. In $1996$, Catlin conjectured that if $G$ is a supereulerian graph, then $\ell(G)\ge \frac{2}{3}|E(G)|$. But in $2004$, infinitely many counterexamples were found for this conjecture and it was shown that this conjecture holds for $r$-regular graphs when $r\neq 5$. In this paper we show that Catlin's Conjecture holds for graphs having no vertex with degree $3$ and also it holds for $5$-regular graphs. Moreover, if $G$ is a graph having no vertex with degree $3$, then $\ell(G)\ge \frac{2}{3}|E(G)|+ v_2(G)$, when $v_2(G)$ is the number of vertices of degree $2$.
Asymptotics of lieanders with fixed composition sizes
Lieanders are special cases of meanders and first appeared in connection with Lie algebras. Using the results from the author with E. Goujard, P. Zograf and A. Zorich, we prove a polynomial asymptotics for the number of lieanders with fixed composition sizes as the number of arches tend to infinity. The coefficients of the asymptotics are rational numbers divided by an even power of pi.
A recursive enumeration of connected Feynman diagrams with an arbitrary number of external legs in the fermionic non-relativistic interacting gas
Published in Journal of Physics A Mathematical and Theoretical (2019)
• View Publication
• BIB
In this work, we generalize a recursive enumerative formula for connected Feynman diagrams with two external legs. The Feynman diagrams are defined from a fermionic gas with a two-body interaction. The generalized recurrence is valid for connected Feynman diagrams with an arbitrary number of external legs and an arbitrary order. The recurrence formula terms are expressed in function of weak compositions of non-negative integers and partitions of positive integers in such a way that to each term of the recurrence correspond a partition and a weak composition. The foundation of this enumeration is the Wick theorem, permitting an easy generalization to any quantum field theory. The iterative enumeration is constructive and enables a fast computation of the number of connected Feynman diagrams for a large amount of cases. In particular, the recurrence is solved exactly for two and four external legs, leading to the asymptotic expansion of the number of different connected Feynman diagrams.
Map graphs having witnesses of large girth
Published
• View Publication
• BIB
A half-square of a bipartite graph $B=(X,Y,E_B)$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. If $G=(V,E_G)$ is the half-square of a planar bipartite graph $B=(V,W,E_B)$, then $G$ is called a map graph, and $B$ is a witness of $G$. Map graphs generalize planar graphs, and have been introduced and investigated by Chen, Grigni and Papadimitriou [STOC 1998, J. ACM 2002]. They proved that recognizing map graphs is in $\mathsf{NP}$ by proving the existence of a witness. Soon later, Thorup [FOCS 1998] claimed that recognizing map graphs is in $\mathsf{P}$, by providing an $Ω(n^{120})$-time algorithm for $n$-vertex input graphs.
In this note, we give good characterizations and efficient recognition for half-squares of bipartite graphs with girth at least a given integer $g\ge 8$. It turns out that map graphs having witnesses of girth at least $g$ are precisely the graphs whose vertex-clique incidence bipartite graph is planar and of girth at least $g$. Our structural characterization implies an $O(n^2m)$-time algorithm for recognizing if a given $n$-vertex $m$-edge graph $G$ is such a map graph.
Generalized Hamming weights of projective Reed--Muller-type codes over graphs
Let $G$ be a connected graph and let $\mathbb{X}$ be the set of projective points defined by the column vectors of the incidence matrix of $G$ over a field $K$ of any characteristic. We determine the generalized Hamming weights of the Reed--Muller-type code over the set $\mathbb{X}$ in terms of graph theoretic invariants. As an application to coding theory we show that if $G$ is non-bipartite and $K$ is a finite field of ${\rm char}(K)\neq 2$, then the $r$-th generalized Hamming weight of the linear code generated by the rows of the incidence matrix of $G$ is the $r$-th weak edge biparticity of $G$. If ${\rm char}(K)=2$ or $G$ is bipartite, we prove that the $r$-th generalized Hamming weight of that code is the $r$-th edge connectivity of $G$.
Triangulations and a discrete Brunn-Minkowski inequality in the plane
Published in Discrete Comput. Geom. 64:2 (2020), 396-426
• View Publication
• BIB
For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point sets $A,B \subset {\mathbb R}^2$ one has \[ {\rm tr}(A+B)^{\frac12}\geq {\rm tr}(A)^{\frac12}+{\rm tr}(B)^{\frac12}. \]
We prove this conjecture in several cases: if $[A]=[B]$, if $B=A\cup\{b\}$, if $|B|=3$, or if none of $A$ or $B$ has interior points.
An upper bound for the restricted online Ramsey number
The restricted $(m,n;N)$-online Ramsey game is a game played between two players, Builder and Painter. The game starts with $N$ isolated vertices. Each turn Builder picks an edge to build and Painter chooses whether that edge is red or blue, and Builder aims to create a red $K_m$ or blue $K_n$ in as few turns as possible. The restricted online Ramsey number $\tilde{r}(m,n;N)$ is the minimum number of turns that Builder needs to guarantee her win in the restricted $(m,n;N)$-online Ramsey game. We show that if $N=r(n,n)$, \[ \tilde{r}(n,n;N)\le \binom{N}{2} - Ω(N\log N), \] motivated by a question posed by Conlon, Fox, Grinshpun and He. The equivalent game played on infinitely many vertices is called the online Ramsey game. As almost all known Builder strategies in the online Ramsey game end up reducing to the restricted setting, we expect further progress on the restricted online Ramsey game to have applications in the general case.
An existence result on two-orbit maniplexes
A maniplex of rank n is a connected, n-valent, edge-coloured graph that generalises abstract polytopes and maps. If the automorphism group of a maniplex M partitions the vertex-set of M into k distinct orbits, we say that M is a k-orbit n-maniplex. The symmetry type graph of M is the quotient pregraph obtained by contracting every orbit into a single vertex. Symmetry type graphs of maniplexes satisfy a series of very specific properties. The question arises whether any pregraph of order k satisfying these properties is the symmetry type graph of some k-orbit maniplex. We answer the question when k = 2.
Classification of cubic vertex-transitive tricirculants
A finite graph is called a tricirculant if admits a cyclic group of automorphism which has precisely three orbits on the vertex-set of the graph, all of equal size. We classify all finite connected cubic vertex-transitive tricirculants. We show that except for some small exceptions of order less than 54, each of these graphs is either a prism of order 6k with k odd, a Möbius ladder, or it falls into one of two infinite families, each family containing one graph for every order of the form 6k with k odd.
Melting lollipop chromatic quasisymmetric functions and Schur expansion of unicellular LLT polynomials
Published
• View Publication
• BIB
In this work, we generalize and utilize the linear relations of LLT polynomials introduced by Lee \cite{Lee}. By using the fact that the chromatic quasisymmetric functions and the unicellular LLT polynomials are related via plethystic substitution and thus they satisfy the same linear relations, we can apply the linear relations to both sets of functions.
As a result, in the chromatic quasisymmetric function side, we find a class of $e$-positive graphs, called \emph{melting lollipop graphs}, and explicitly prove the $e$-unimodality. In the unicellular LLT side, we obtain Schur expansion formulas for LLT polynomials corresponding to certain set of graphs, namely, complete graphs, path graphs, lollipop graphs and melting lollipop graphs.
Spiders and their Kin: An Investigation of Stanley's Chromatic Symmetric Function for Spiders and Related Graphs
Published
• View Publication
• BIB
We study the chromatic symmetric functions of graph classes related to spiders, namely generalized spider graphs (line graphs of spiders), and what we call horseshoe crab graphs. We show that no two generalized spiders have the same chromatic symmetric function, thereby extending the work of Martin, Morin and Wagner. Additionally, we establish that a subclass of generalized spiders, which we call generalized nets, has no e-positive members, providing a more general counterexample to the necessity of the claw-free condition. We use yet another class of generalized spiders to construct a counterexample to a problem involving the $e$-positivity of claw-free, P4-sparse graphs, showing that Tsujie's result on the e-positivity of claw-free, P4-free graphs cannot be extended to graphs in this set. Finally, we investigate the e-positivity of another type of graphs, the horseshoe crab graphs (a class of unit interval graphs), and prove the positivity of all but one of the coefficients. This has close connections to the work of Gebhard and Sagan and Cho and Huh.
Asymptotic bounds on total domination in regular graphs
We find new upper bounds on the size of a minimum totally dominating set for random regular graphs and for regular graphs with large girth. These bounds are obtained through the analysis of a local algorithm using a method due to Hoppen and Wormald [Local algorithms, regular graphs of large girth, and random regular graphs. Combinatorica 38(3) (2018), 619-664].
A combinatorial interpretation of Gaussian blur
Published in Minnesota Journal of Undergraduate Mathematics 5 (2020)
• Search Publication
Gaussian blur is a commonly-used method to filter image data. This paper introduces the collapsing sum, a new operator on matrices that provides a combinatorial interpretation of Gaussian blur. We study the combinatorial properties of this operator and prove the explicit relation between Gaussian blur and the collapsing sum.
The $k$-conversion number of regular graphs
Given a graph $G=(V,E)$ and a set $S_0\subseteq V$, an irreversible $k$-threshold conversion process on $G$ is an iterative process wherein, for each $t=1,2,\dots$, $S_t$ is obtained from $S_{t-1}$ by adjoining all vertices that have at least $k$ neighbours in $S_{t-1}$. We call the set $S_0$ the seed set of the process, and refer to $S_0$ as an irreversible $k$-threshold conversion set, or a $k$-conversion set, of $G$ if $S_t=V(G)$ for some $t\geq 0$. The $k$-conversion number $c_{k}(G)$ is the size of a minimum $k$-conversion set of $G$.
A set $X\subseteq V$ is a decycling set, or feedback vertex set, if and only if $G[V-X]$ is acyclic. It is known that $k$-conversion sets in $(k+1)$-regular graphs coincide with decycling sets.
We characterize $k$-regular graphs having a $k$-conversion set of size $k$, discuss properties of $(k+1)$-regular graphs having a $k$-conversion set of size $k$, and obtain a lower bound for $c_k(G)$ for $(k+r)$-regular graphs. We present classes of cubic graphs that attain the bound for $c_2(G)$, and others that exceed it---for example, we construct classes of $3$-connected cubic graphs $H_m$ of arbitrary girth that exceed the lower bound for $c_2(H_m)$ by at least $m$.
The spectra of generalized Paley graphs of $(q^\ell+1)$-th powers and applications
We consider a special class of generalized Paley graphs over finite fields, namely the Cayley graphs with vertex set $\mathbb{F}_{q^m}$ and connection set the nonzero $(q^\ell+1)$-th powers in $\mathbb{F}_{q^m}$, as well as their complements. We explicitly compute the spectrum and the energy of these graphs. As a consequence, the graphs turn out to be (with trivial exceptions) simple, connected, non-bipartite, integral and strongly regular, of pseudo or negative Latin square type. By using the spectral information we compute several invariants of these graphs. We exhibit infinitely many pairs of equienergetic non-isospectral graphs. As applications, on the one hand we solve Waring's problem over $\mathbb{F}_q^m$ for the exponents $q^\ell+1$, for each $q$ and for infinitely many values of $\ell$ and $m$. We obtain that the Waring's number $g(q^\ell+1,q^m)=1$ or $2$, depending on $m$ and $\ell$, thus solving some open cases. On the other hand, we construct infinite towers of Ramanujan graphs in all characteristics. Finally, we give the Ihara zeta functions of these graphs.
Ehrhart positivity and Demazure characters
Published in Algebraic and Geometric Combinatorics on Lattice Polytopes, pp. 56-71 (2019)
• View Publication
• BIB
Demazure characters, also known as key polynomials, generalize the classical Schur polynomials. In particular, when all variables are set equal to $1$, these polynomials count the number of integer points in a certain class of Gelfand--Tsetlin polytopes. This property highlights the interaction between the corresponding polyhedral and combinatorial structures via Ehrhart theory. In this paper, we give an overview of results concerning the interplay between the geometry of Gelfand-Tsetlin polytopes and their Ehrhart polynomials. Motivated by strong computer evidence, we propose several conjectures about the non-negativity of the coefficients of such polynomials.
Multi-Dimensional Scaling on Groups
Leveraging the intrinsic symmetries in data for clear and efficient analysis is an important theme in signal processing and other data-driven sciences. A basic example of this is the ubiquity of the discrete Fourier transform which arises from translational symmetry (i.e. time-delay/phase-shift). Particularly important in this area is understanding how symmetries inform the algorithms that we apply to our data. In this paper we explore the behavior of the dimensionality reduction algorithm multi-dimensional scaling (MDS) in the presence of symmetry. We show that understanding the properties of the underlying symmetry group allows us to make strong statements about the output of MDS even before applying the algorithm itself. In analogy to Fourier theory, we show that in some cases only a handful of fundamental "frequencies" (irreducible representations derived from the corresponding group) contribute information for the MDS Euclidean embedding.