Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Optimally Reconfiguring List and Correspondence Colourings
Published in European J. Combinatorics, Volume 115, January 2024, 103798
• View Publication
• BIB
The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single vertex of $G$. Much work has focused on bounding the maximum value of ${\rm{diam}}~\mathcal{C}_k(G)$ over all $n$-vertex graphs $G$. We consider the analogous problems for list colourings and for correspondence colourings. We conjecture that if $L$ is a list-assignment for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+μ(G)$. We also conjecture that if $(L,H)$ is a correspondence cover for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+τ(G)$. (Here $μ(G)$ and $τ(G)$ denote the matching number and vertex cover number of $G$.) For every graph $G$, we give constructions showing that both conjectures are best possible. Our first main result proves the upper bounds (for the list and correspondence versions, respectively) ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+2μ(G)$ and ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+2τ(G)$. Our second main result proves that both conjectured bounds hold, whenever all $v$ satisfy $|L(v)|\ge 2d(v)+1$. We conclude by proving one or both conjectures for various classes of graphs such as complete bipartite graphs, subcubic graphs, cactuses, and graphs with bounded maximum average degree.
Higher order log-concavity of the overpartition function and its consequences
Published
• View Publication
• BIB
Let $\bar{p}(n)$ denote the overpartition function. In this paper, we study the asymptotic higher order $\log$-concavity property of the overpatition function in a similar framework done by Hou and Zhang for the partition function. This will enable us to move on further in order to prove $\log$-concavity of overpartitions, explicitly by studying the asymptotic expansion of the quotient $\bar{p}(n-1)\bar{p}(n+1)/\bar{p}(n)^2$ upto a certain order so that one can finally ends up with the phenomena of $2$-$\log$-concavity and higher order Turán property of $\bar{p}(n)$ by following a sort of unified approach.
The expected values, variances and limiting distributions of Gutman index, Schultz index, multiplicative degree-Kirchhoff index and additive degree-Kirchhoff index for a class of random chain networks
There has been an upsurge of research on complex networks in recent years. The purpose of this paper is to study the mathematical properties of the random chain networks PGn with the help of graph theory. We first solve the expected value expressions of the Gutman index, Schultz index, multiplicative degree-Kirchhoff index and additive degree-Kirchhoff index, and then we get the explicit expression formulas of their variances. Finally, we find that their limiting distributions all have the probabilistic and statistical significance of normal distribution.
Partial-duals for planar ribbon graphs
Published
• View Publication
• BIB
In 2009, Chmutov introduced the partial-duality for a ribbon graph $G$. Recently, Gross, Mansour and Tucker enumerated all possible partial-duals of $G$ by genus and introduced the partial-dual genus polynomial of a ribbon graph $G.$ This paper mainly enumerates partial-duals for planar ribbon graphs. First, we obtain a formula for the maximum partial-dual genus for any planar ribbon graph and give a negative answer to the interpolating conjecture of Gross, Mansour and Tucker. Then we show that there is a recurrence relation between the partial-dual genus polynomials of planar ribbon graphs $G-e$ and $G$. Furthermore, two related results are also given. These recurrence relations give new approaches to calculate the partial-genus dual polynomials for some planar ribbon graphs. In addition, we prove the asymptotic normality for some partial-dual genus distributions.
The combinatorics of Farey words and their traces
Published
• View Publication
• BIB
We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these polynomials from an abstract combinatorial viewpoint, including a recursive definition extending that which is known in the literature for the special case of manifolds, even beyond what the geometry predicts. We also present some intriguing examples and conjectures which we would like to bring to the attention of researchers interested in algebraic combinatorics and hypergeometric functions.
The results in this paper additionally provide a practical approach to various classification problems for rank-two subgroups of PSL(2,C) since they, together with other recent work of the authors, make it possible to provide certificates that certain groups are discrete and free, and effective ways to identify relators.
An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros
Published in Part I: Pi-Mu-Epsilon J. 15 (2023), no. 9, 539-551; Part II: ibid 15 (2024), no. 10, 617-628; Part III: ibid 16 (2024), no. 1, 11-25; Part IV: ibid 16 (2025), no. 2, 77-95
• Search Publication
A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and of its three medial parallelograms, which are accordingly referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to $n$-dimensional simplices for all $n > 3$. Part III explains how, for $n = 3$, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to $\mathbb Z_2^4$, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank $3$ chirotope, aka affine oriented matroid.
Galoisian Galois Theory
These notes are an exposition of Galois Theory from the original Lagrangian and Galoisian point of view. A particular effort was made here to better understand the connection between Lagrange's purely combinatorial approach and Galois algebraic extensions of the latter. Moreover, stimulated by the necessities of present day computer explorations, the algorithmic approach has been given priority here over every other aspect of presentation. In particular, you may not find here the clean simplistic look characteristic of the classical exposition of E. Artin. In contrast these notes should provide a good starting point in attempting constructions in this most difficult computational arena.
On the anisotropy theorem of Papadakis and Petrotou
Published
• View Publication
• BIB
We study the anisotropy theorem for Stanley-Reisner rings of simplicial homology spheres in characteristic 2 by Papadakis and Petrotou. This theorem implies the Hard Lefschetz theorem as well as McMullen's g-conjecture for such spheres. Our first result is an explicit description of the quadratic form. We use this description to prove a conjecture stated by Papadakis and Petrotou. All anisotropy theorems for homology spheres and pseudo-manifolds in characteristic 2 follow from this conjecture. Using a specialization argument, we prove anisotropy for certain homology spheres over the field $\mathbb{Q}$. These results provide another self-contained proof of the g-conjecture for homology spheres in characteristic 2.
The characterizing properties of (signless) Laplacian permanental polynomials of bicyclic graphs
Published
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices, and let $L(G)$ and $Q(G)$ be the Laplacian matrix and signless Laplacian matrix of $G$, respectively. The polynomial $π(L(G);x)={\rm per}(xI-L(G))$ (resp. $π(Q(G);x)={\rm per}(xI-Q(G))$) is called {\em Laplacian permanental polynomial} (resp. {\em signless Laplacian permanental polynomial}) of $G$. In this paper, we show that two classes of bicyclic graphs are determined by their (signless) Laplacian permanental polynomials.
Homology of weighted path complexes and directed hypergraphs
Published
• View Publication
• BIB
We introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the introduced notions.
A New Feasibility Condition for the AT4 Family
Published in Electron. J. Combin. 30(2) (2023), #P2.7
• View Publication
• BIB
Let $Γ$ be an antipodal distance-regular graph with diameter $4$ and eigenvalues $θ_0>θ_1>θ_2>θ_3>θ_4$. Then $Γ$ is tight in the sense of Jurišić, Koolen, and Terwilliger [12] whenever $Γ$ is locally strongly regular with nontrivial eigenvalues $p:=θ_2$ and $-q:=θ_3$. Assume that $Γ$ is tight. Then the intersection numbers of $Γ$ are expressed in terms of $p$, $q$, and $r$, where $r$ is the size of the antipodal classes of $Γ$. We denote $Γ$ by $\mathrm{AT4}(p,q,r)$ and call this an antipodal tight graph of diameter $4$ with parameters $p,q,r$. In this paper, we give a new feasibility condition for the $\mathrm{AT4}(p,q,r)$ family. We determine a necessary and sufficient condition for the second subconstituent of $\mathrm{AT4}(p,q,2)$ to be an antipodal tight graph. Using this condition, we prove that there does not exist $\mathrm{AT4}(q^3-2q,q,2)$ for $q\equiv3$ $(\mathrm{mod}~4)$. We discuss the $\mathrm{AT4}(p,q,r)$ graphs with $r=(p+q^3)(p+q)^{-1}$.
Spectrum for some Quantum Markov semigroups describing $N$-particle systems evolving under a binary collision mechanism
Published
• View Publication
• BIB
We compute the spectrum for a class of quantum Markov semigroups describing systems of $N$ particle interacting through a binary collision mechanism. These quantum Markov semgroups are associated to a novel kind of quantum random walk on graphs, with the graph structure arising naturally in the quantization of the classical Kac model, and we show that the spectrum of the generator of the quantum Markov semigroup is closely related to the spectrum of the Laplacian on the corresponding graph. For the direct analog of the original classical Kac model, we determine the exact spectral gap for the quantum generator. We also give a new and simple method for studying the spectrum of certain graph Laplacians.
Feynman Checkers with Absorption
We give a new elementary proof of the theorem by Ambainis et al. that for a quantum walk, the probability amplitudes of absorption at the initial point after 4n steps are proportional to the Catalan numbers. We also calculate the absorption probabilities at points close to the initial one for the first time.
The minimal sum of squares over partitions with a nonnegative rank
Published
• View Publication
• BIB
Motivated by a question of Defant and Propp (2020) regarding the connection between the degrees of noninvertibility of functions and those of their iterates, we address the combinatorial optimization problem of minimizing the sum of squares over partitions of $n$ with a nonnegative rank. Denoting the sequence of the minima by $(m_n)_{n\in\mathbb{N}}$, we prove that $m_n=Θ\left(n^{4/3}\right)$. Consequently, we improve by a factor of $2$ the lower bound provided by Defant and Propp for iterates of order two.
Sylvester power and weighted sums on the Frobenius set in arithmetic progression
Published in Discrete Applied Mathematics 315 (2022), 110-126
• View Publication
• BIB
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Frobenius number is the largest positive integer that is NOT representable in terms of $a_1,a_2,\dots,a_k$. When $k\ge 3$, there is no explicit formula in general, but some formulae may exist for special sequences $a_1,a_2,\dots,a_k$, including, those forming arithmetic progressions and their modifications. In this paper, we give formulae for the power and weighted sum of nonrepresentable positive integers. As applications, we show explicit expressions of these sums for $a_1,a_2,\dots,a_k$ forming arithmetic progressions.
Extremal sequences for the unit-weighted Gao constant of $\mathbb Z_n$
For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the Gao constant. Such a sequence which has $n-1$ zeroes is said to be of the standard type. When $A=U(n)$ (units in $\mathbb Z_n$) where $n$ is odd, we characterize all such sequences and show that they are of the standard type. When $n$ is even, we give examples of such sequences which are not of the standard type. We also characterize the $U(n)$-extremal sequences for the Gao constant, when $n=2^rp$, where $p$ is an odd prime.
The asymptotic of the number of permutations whose cycle lengths are prime numbers
Let $A$ be a set of natural numbers and let $S_{n,A}$ be the set of all permutations of $[n]=\{1,2,...,n\}$ with cycle lengths belonging to $A$. Furthermore, let $\mid A(n)\mid$ denote the cardinality of the set $A(n)=A\cap [n]$. The limit $ρ=\lim_{n\to\infty}\mid A(n)\mid/n$ (if it exists) is called the density of set $A$. It turns out that, as $n\to\infty$, the cardinality $\mid S_{n,A}\mid$ of the set $S_{n,A}$ essentially depends on $ρ$. The case $ρ>0$ was studied by several authors under certain additional conditions on $A$. In 1999, Kolchin noticed that there is a lack studies on classes of permutations for which $ρ=0$. In this context, he also proposed investigations on certain particular cases. In this paper, we consider the permutations whose cycle lengths are prime numbers, that is, we assume that $A=\mathcal{P}$, where $\mathcal{P}$ denotes the set of all primes. For this class of permutations, the Prime Number Theorem implies that $ρ=0$. In this paper, we show that, as $n\to\infty$, the ratio $S_{n,\mathcal{P}}/(n-1)!$ approaches a finite limit and determine its value explicitly. Our method of proof employs classical Tauberian theorems.
The semi-random tree process
Published
• View Publication
• BIB
The online semi-random graph process is a one-player game which starts with the empty graph on $n$ vertices. At every round, a player (called Builder) is presented with a vertex $v$ chosen uniformly at random and independently from previous rounds, and constructs an edge of their choice that is incident to $v$. Inspired by recent advances on the semi-random graph process, we define a family of generalised online semi-random models.
We analyse a particular instance that shares similar features with the original semi-random graph process and determine the hitting times of the classical graph properties minimum degree $k$, $k$-connectivity, containment of a perfect matching, a Hamiltonian cycle and an $H$-factor for a fixed graph $H$ possessing an additional tree-like property. Along the way, we derive a few consequences of the famous Aldous-Broder algorithm that may be of independent interest.
The Probabilistic Profitable Tour Problem under a specific graph structure
Published
• View Publication
• BIB
Among the most important variants of the traveling salesman problem (TSP) are those relaxing the constraint that every locus should necessarily get visited, rather taking into account a revenue (prize) for visiting customers. In the Profitable Tour Problem (PTP), we seek for a tour visiting a subset of customers while maximizing net gain (profit) as difference between total revenue collected from visited customers and incurred traveling costs. The metric TSP can be modeled as a PTP with large revenues. As such, PTP is well-known to be NP-hard and also APX-hardness follows. Nevertheless, PTP is solvable in polynomial time on particular graph structures like lines, trees and circles. Following recent emphasis on robust optimization, and motivated by current flourishing of retail delivery services, we study the Probabilistic Profitable Tour Problem (PPTP), the generalization of PTP where customers will show up with a known probability, in their respective loci,only after the tour has been planned. Here, the selection of customers has to be made a priori, before knowing if a customer will actually submit his request or will not. While the tour has to be designed without this knowledge, revenues will only be collected from customers who will require the service. The objective is to maximize the expected net gain obtained by visiting only the customers that show up. We provide a polynomial time algorithm computing and characterizing the space of optimal solutions for the special case of the PPTP where customers are distributed on a line.
On basic $2$-arc-transitive graphs
Published
• View Publication
• BIB
A connected graph $Γ=(V,E)$ of valency at least $3$ is called a basic $2$-arc-transitive graph if its full automorphism group has a subgroup $G$ with the following properties: (i) $G$ acts transitively on the set of $2$-arcs of $Γ$, and (ii) every minimal normal subgroup of $G$ has at most two orbits on $V$.
In her papers [17,18], Praeger proved a connected $2$-arc-transitive graph of valency at least $3$ is a normal cover of some basic $2$-arc-transitive graph, and characterized the group-theoretic structures for basic $2$-arc-transitive graphs.
Based on Praeger's theorems on $2$-arc-transitive graphs, this paper presents a further understanding on basic $2$-arc-transitive graphs.