Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Difference of facial achromatic numbers between two triangular embeddings of a graph
Published in Theory and Applications of Graphs: Vol. 10: Iss. 2, Article 6 (2023)
• View Publication
• BIB
A facial $3$-complete $k$-coloring of a triangulation $G$ on a surface is a vertex $k$-coloring such that every triple of $k$-colors appears on the boundary of some face of $G$. The facial $3$-achromatic number $ψ_3(G)$ of $G$ is the maximum integer $k$ such that $G$ has a facial $3$-complete $k$-coloring. This notion is an expansion of the complete coloring, that is, a proper vertex coloring of a graph such that every pair of colors appears on the ends of some edge.
For two triangulations $G$ and $G'$ on a surface, $ψ_3(G)$ may not be equal to $ψ_3(G')$ even if $G$ is isomorphic to $G'$ as graphs. Hence, it would be interesting to see how large the difference between $ψ_3(G)$ and $ψ_3(G')$ can be. We shall show that the upper bound for such difference in terms of the genus of the surface.
Arithmetic Progressions in Sumsets of Sparse Sets
Published
• View Publication
• BIB
A set of positive integers $A \subset \mathbb{Z}_{> 0}$ is \emph{log-sparse} if there is an absolute constant $C$ so that for any positive integer $x$ the sequence contains at most $C$ elements in the interval $[x,2x)$. In this note we study arithmetic progressions in sums of log-sparse subsets of $\mathbb{Z}_{> 0}$. We prove that for any log-sparse subsets $S_1, \dots, S_n$ of $\mathbb{Z}_{> 0},$ the sumset $S = S_1 + \cdots + S_n$ cannot contain an arithmetic progression of size greater than $n^{(1+o(1))n}.$ We also show that this is nearly tight by proving that there exist log-sparse sets $S_1, \dots, S_n$ such that $S_1 + \cdots + S_n$ contains an arithmetic progression of size $n^{(1-o(1)) n}.$
Saved by the rook: a case of matchings and Hamiltonian cycles
Published in Contributions to Discrete Mathematics 20, No. 1, 95--104 (2025) [https://cdm.ucalgary.ca/article/view/73743]
• View Publication
• BIB
The rook graph is a graph whose edges represent all the possible legal moves of the rook chess piece on a chessboard. The problem we consider is the following. Given any set $M$ containing pairs of cells such that each cell of the $m_1 \times m_2$ chessboard is in exactly one pair, we determine the values of the positive integers $m_1$ and $m_2$ for which it is possible to construct a closed tour of all the cells of the chessboard which uses all the pairs of cells in $M$ and some edges of the rook graph. This is an alternative formulation of a graph-theoretical problem presented in [Electron. J. Combin. 28(1) (2021), #P1.7] involving the Cartesian product $G$ of two complete graphs $K_{m_1}$ and $K_{m_2}$, which is, in fact, isomorphic to the $m_{1}\times m_{2}$ rook graph. The problem revolves around determining the values of the parameters $m_1$ and $m_2$ that would allow any perfect matching of the complete graph on the same vertex set of $G$ to be extended to a Hamiltonian cycle by using only edges in $G$.
Triplicate Dual Series of Dougall--Dixon Theorem
Published
• View Publication
• BIB
Applying the triplicate form of the extended Gould--Hsu inverse series relations to Dougall's summation theorem for the well--poised $_7F_6$-series, we establish, from the dual series, several interesting Ramanujan--like infinite series expressions for $π^2$ and $π^{\pm1}$ with convergence rate "$-\frac{1}{27}$".
Centered polygon numbers, heptagons and nonagons, and the Robbins numbers
In this note, we explore certain determinantal descriptions of the Robbins numbers. Techniques used for this include continued fractions, Riordan arrays and series inversion. Proven and conjectured representations involve the determinants of both Hankel and symmetric matrices. In specific cases, links are drawn to centered polygonal numbers, and to heptagons and nonagons. We conjecture a Hankel transform determinant for the Robbins numbers related to the Fibonacci and the Catalan numbers.
On the Rényi-Ulam Game with Restricted Size Queries
Published in Discrete Optimization 48:1 (2023) 100772
• View Publication
• BIB
We investigate the following version of the well-known Rényi-Ulam game. Two players - the Questioner and the Responder - play against each other. The Responder thinks of a number from the set $\{1,\ldots,n\}$, and the Questioner has to find this number. To do this, he can ask whether a chosen set of at most $k$ elements contains the thought number. The Responder answers with YES or NO immediately, but during the game, he may lie at most $\ell$ times. The minimum number of queries needed for the Questioner to surely find the unknown element is denoted by $RU_\ell^k(n)$. First, we develop a highly effective tool that we call Convexity Lemma. By using this lemma, we give a general lower bound of $RU_\ell^k(n)$ and an upper bound which differs from the lower one by at most $2\ell+1$. We also give its exact value when $n$ is sufficiently large compared to $k$. With these, we managed to improve and generalize the results obtained by Meng, Lin, and Yang in a 2013 paper about the case $\ell=1$.
Extremal Graphs for a Spectral Inequality on Edge-Disjoint Spanning Trees
Liu, Hong, Gu, and Lai proved if the second largest eigenvalue of the adjacency matrix of graph $G$ with minimum degree $δ\ge 2m+2 \ge 4$ satisfies $λ_2(G) < δ- \frac{2m+1}{δ+1}$, then $G$ contains at least $m+1$ edge-disjoint spanning trees, which verified a generalization of a conjecture by Cioabă and Wong. We show this bound is essentially the best possible by constructing $d$-regular graphs $\mathcal{G}_{m,d}$ for all $d \ge 2m+2 \ge 4$ with at most $m$ edge-disjoint spanning trees and $λ_2(\mathcal{G}_{m,d}) < d-\frac{2m+1}{d+3}$. As a corollary, we show that a spectral inequality on graph rigidity by Cioabă, Dewar, and Gu is essentially tight.
What does a typical metric space look like?
Published
• View Publication
• BIB
The collection $\mathcal{M}_n$ of all metric spaces on $n$ points whose diameter is at most $2$ can naturally be viewed as a compact convex subset of $\mathbb{R}^{\binom{n}{2}}$, known as the metric polytope. In this paper, we study the metric polytope for large $n$ and show that it is close to the cube $[1,2]^{\binom{n}{2}} \subseteq \mathcal{M}_n$ in the following two senses. First, the volume of the polytope is not much larger than that of the cube, with the following quantitative estimates: \[ \left(\tfrac{1}{6}+o(1)\right)n^{3/2} \le \log \mathrm{Vol}(\mathcal{M}_n)\le O(n^{3/2}). \] Second, when sampling a metric space from $\mathcal{M}_n$ uniformly at random, the minimum distance is at least $1 - n^{-c}$ with high probability, for some $c > 0$. Our proof is based on entropy techniques. We discuss alternative approaches to estimating the volume of $\mathcal{M}_n$ using exchangeability, Szemerédi's regularity lemma, the hypergraph container method, and the Kővári--Sós--Turán theorem.
Distance signless Laplacian spectral radius and perfect matching in graphs and bipartite graphs
The distance matrix $\mathcal{D}$ of a connected graph $G$ is the matrix indexed by the vertices of $G$ which entry $\mathcal{D}_{i,j}$ equals the distance between the vertices $v_i$ and $v_j$. The distance signless Laplacian matrix $\mathcal{Q}(G)$ of graph $G$ is defined as $\mathcal{Q}(G)=Diag(Tr)+\mathcal{D}(G)$, where $Diag(Tr)$ is the diagonal matrix of the vertex transmissions in $G$. The largest eigenvalue of $\mathcal{Q}(G)$ is called the distance signless Laplacian spectral radius of $G$, written as $η_1(G)$. And a perfect matching in a graph is a set of disadjacent edges covering every vertex of $G$. In this paper, we present two suffcient conditions in terms of the distance signless Laplacian sepectral radius for the exsitence of perfect matchings in graphs and bipatite graphs.
A note on cycle lengths in graphs of chromatic number five and six
In this note, we prove that every non-complete $(k+1)$-critical graph contains cycles of all lengths modulo $k$, where $k=4,5$.
Dyck tilings of type $D$
We introduce and study cover-inclusive and cover-exclusive Dyck tilings of type $D$. It is shown that the generating functions of Dyck tilings of type $D$ are expressed in terms of the generating function of ballot tilings of type $B$. We introduce link patterns of type $D$ and plane trees for a ballot path, and construct a map from trees to $\mathbb{Z}[q]$. This map gives the generating function of cover-inclusive Dyck tilings of type $D$ associated to the ballot path.
Improving the Gilbert-Varshamov Bound by Graph Spectral Method
Published
• View Publication
• BIB
We improve Gilbert-Varshamov bound by graph spectral method. Gilbert graph $G_{q,n,d}$ is a graph with all vectors in $\mathbb{F}_q^n$ as vertices where two vertices are adjacent if their Hamming distance is less than $d$. In this paper, we calculate the eigenvalues and eigenvectors of $G_{q,n,d}$ using the properties of Cayley graph. The improved bound is associated with the minimum eigenvalue of the graph. Finally we give an algorithm to calculate the bound and linear codes which satisfy the bound.
Inhomogeneous spin $q$-Whittaker polynomials
Published
• View Publication
• BIB
We introduce and study an inhomogeneous generalization of the spin $q$-Whittaker polynomials from [Borodin,Wheeler-17]. These are symmetric polynomials, and we prove a branching rule, skew dual and non-dual Cauchy identities, and an integral representation for them. Our main tool is a novel family of deformed Yang-Baxter equations.
A Note on Consistent Rotation Maps of Graph Cartesian Products
Given two regular graphs with consistent rotation maps, we produce a constructive method for a consistent rotation map on their Cartesian product. This method will be given as a simple set of rules of addition and table look ups. We assume that the combinatorial construction of both consistent rotation maps has occurred before we construct the Cartesian product.
Constructions of New q-Cryptomorphisms
Published
• View Publication
• BIB
In the theory of classical matroids, there are several known equivalent axiomatic systems that define a matroid, which are described as matroid cryptomorphisms. A q-matroid is a q-analogue of a matroid where subspaces play the role of the subsets in the classical theory. In this article we establish cryptomorphisms of q-matroids. In doing so we highlight the difference between classical theory and its q-analogue. We introduce a comprehensive set of q-matroid axiom systems and show cryptomorphisms between them and existing axiom systems of a q-matroid. These axioms are described as the rank, closure, basis, independence, dependence, circuit, hyperplane, flat, open space, spanning space, non-spanning space, and bi-colouring axioms.
A condition for the existence of zero coefficients in the powers of the determinant polynomial
Published
• View Publication
• BIB
We discuss the existence of zero coefficients in the powers of the determinant polynomial of order $n$. D. G. Glynn proved that the coefficients of the $m$th power of the determinant polynomial are all nonzero, if $m = p-1$ with a prime $p$. We show that the converse also holds, if $n \geq 3$. The proof is quite elementary.
On the triviality of flows in Alexandroff spaces
Published
• View Publication
• BIB
We prove that the unique possible flow in an Alexandroff $T_0$-space is the trivial one. To motivate this result, we relate Alexandroff spaces to topological hyperspaces.
Catacondensed Chemical Hexagonal Complexes: A Natural Generalisation of Benzenoids
Catacondensed benzenoids (those benzenoids having no carbon atom belonging to three hexagonal rings) form the simplest class of polycyclic aromatic hydrocarbons (PAH). They have a long history of study and are of wide chemical importance. In this paper, mathematical possibilities for natural extension of the notion of a catacondensed benzenoid are discussed, leading under plausible chemically and physically motivated restrictions to the notion of a catacondensed chemical hexagonal complex (CCHC). A general polygonal complex is a topological structure composed of polygons that are glued together along certain edges. A polygonal complex is flat if none of its edges belong to more than two polygons. A connected flat polygonal complex determines an orientable or nonorientable surface, possibly with boundary. A CCHC is then a connected flat polygonal complex all of whose polygons are hexagons and each of whose vertices belongs to at most two hexagonal faces. We prove that all CCHC are Kekulean and give formulas for counting the perfect matchings in a series of examples based on expansion of cubic graphs in which the edges are replaced by linear polyacenes of equal length. As a preliminary assessment of the likely stability of molecules with CCHC structure, all-electron quantum chemical calculations are applied to molecular structures based on several CCHC, using either linear or kinked unbranched catafused polyacenes as the expansion motif. The systems examined all have closed shells according to Hückel theory and all correspond to minima on the potential surface, thus passing the most basic test for plausibility as a chemical species.
The modularity of random graphs on the hyperbolic plane
Published
• View Publication
• BIB
Modularity is a quantity which has been introduced in the context of complex networks in order to quantify how close a network is to an ideal modular network in which the nodes form small interconnected communities that are joined together with relatively few edges. In this paper, we consider this quantity on a recent probabilistic model of complex networks introduced by Krioukov et al. (Phys. Rev. E 2010).
This model views a complex network as an expression of hidden hierarchies, encapsulated by an underlying hyperbolic space. For certain parameters, this model was proved to have typical features that are observed in complex networks such as power law degree distribution, bounded average degree, clustering coefficient that is asymptotically bounded away from zero, and ultra-small typical distances. In the present work, we investigate its modularity and we show that, in this regime, it converges to 1 in probability.
Conjecture of TxGraffiti: Independence, domination, and matchings
TxGraffiti is an automated conjecturing program that produces graph theoretic conjectures in the form of conjectured inequalities. This program written and maintained by the second author since 2017 was inspired by the successes of previous automated conjecturing programs including Fajtlowicz's GRAFFITI and DeLaViña's GRAFFITI.pc. In this paper we prove and generalize several conjectures generated by TxGraffiti when it was prompted to conjecture on the \emph{independence number}, the \emph{domination number}, and the \emph{matching number} (and generalizations of each of these graph invariants). Moreover, in several instances we also show the proposed inequalities relating these graph invariants are sharp.