Contributions to Discrete Mathematics (E-Journal, University of Calgary)
Not a member yet
406 research outputs found
Sort by
On the double covers of a line graph.
Let be the line graph of graph . Let be the Kronecker product of by . In this paper, we see that is a double cover of . We define the symmetric edge graph of , denoted as which is also a double cover of . We study various properties of in relation to and the relationship amongst the three double covers of that are and . With the help of these double covers, we show that for any integer , there exist two equienergetic graphs of order that are not cospectral
Dyck paths with first sojourn highest
A Dyck path is a lattice path in the first quadrant using steps and , starting at the origin and ending on the -axis. A Dyck sojourn is a Dyck path with only one return to the -axis. Various subclasses of Dyck paths are shown to be counted by Catalan numbers: Dyck paths with weakly highest first sojourn and semilength are counted by twice the th Catalan number and Dyck paths with semilength where the second sojourn is weakly highest are counted by the th Catalan number. Also Dyck paths in which the first sojourn is strictly highest are equinumerous to Dyck paths with exactly one peak of maximum height. Some of these equivalences are proved using bijections. Generating functions for all these subclasses are also developed in the paper. The asymptotics as for the case where the first sojourn is strictly highest are explored
A generalization of the Beraha–Kahane–Weiss theorem with graph polynomial applications
The beautiful Beraha–Kahane–Weiss (BKW) theorem has found many applications within graph theory, allowing for the determination of the limits of zeros of graph polynomials in a wide range of settings such as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. However, the proof only provides solutions for linear recurrence relations of polynomials whose characteristic polynomials have simple zeros. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics
(G, s)-Transitive Graphs Of Valency 15
Let be a finite simple undirected graph and . If is transitive on the set of -arcs but not on the set of -arcs of , then is called -transitive. In this paper, we determine the structure of the vertex-stabilizer when is a connected -transitive graph of valency . We also give some examples to show that each type of with , can be realized
On Freiman-Lev conjecture
Let be a set of integers such that , and . Let denote the set of all sums of two distinct elements of . Write . In this paper, we obtain the upper bound of with some restrictions on . As an application, we show that the Freiman-Lev conjecture is true for using the structure of with
Applications via series accelerations of new identities involving Catalan-type numbers
We introduce infinite families of terminating hypergeometric identities involving generalizations of Catalan numbers, generalizing results introduced by Chu and K\i l\i\c{c}, and we apply Wilf—Zeilberger (WZ) pairs associated with our new identities via a series acceleration method. We apply a WZ pair introduced in our article to prove an identity for accelerating the convergence for a family of -series with three real parameters from to , and we apply this identity to generalize Ramanujan-like series for , , , and that are due to Chu et al. A fast-converging series for due to Guillera is also a special case of our acceleration identity. We also apply another WZ pair introduced in this article to prove an identity for accelerating the convergence of a -family with three real parameters from to , and we apply this result, via a series bisection, to formulate a new WZ proof of Ramanujan\u27s series for of convergence rate . A number of our finite sums involving Catalan-type numbers are such that up-to-date versions of the Maple Computer Algebra System cannot compute WZ pairs for such sums, which is representative of the computationally challenging nature of our results
On next-to-minimum size blocking sets of external lines to a nondegenerate quadric in
Consider a hyperbolic or an elliptic quadric , , in and let denote the set of all lines of that are external with respect to . If is a (tangent or secant) plane of , then is an -blocking set which is minimal, except when and is a secant plane. In this way, we obtain two families of (minimal) blocking sets of sizes and , with and , where those of size are also the minimum size -blocking sets. Motivated by the search for new (families of) minimal -blocking sets with sizes in the open interval , we determine here all -blocking sets of size in in the case
Orthogonal colourings of tensor graphs
Perfect -orthogonal colourings of tensor product graphs are studied in this article. First, the problem of determining if a given graph has a perfect 2-orthogonal colouring is reformulated as a tensor subgraph problem. Then, it is shown that if two graphs have a perfect -orthogonal colouring, then so does their tensor graph. This provides an upper bound on the -orthogonal chromatic number for general tensor graphs. Lastly, two other conditions for a tensor graph to have a perfect -orthogonal colouring are given
Identities involving trigonometric, zeta and partition functions
Using well-known trigonometric functions, we establish identities involving the multiple zeta function and the multiple lambda function. Furthermore, we derive new identities by applying classical trigonometric relations. Some of these results are expressed in terms of colored partitions, highlighting connections between partition theory and special functions
Congruence properties of 8- and 9-colored generalized Frobenius partitions modulo 5
In his 1984 AMS Memoir, Andrews introduced the family of functions , which denotes the number of -colored generalized Frobenius partitions of . In this paper, by employing some -series identities and elementary generating function manipulations, we prove a characterization of modulo . Moreover, we derive a characterization of modulo . These two characterizations can lead to the corresponding infinite sets of Ramanujan-type congruences modulo satisfied by and