Contributions to Discrete Mathematics (E-Journal, University of Calgary)
Not a member yet
    406 research outputs found

    On the double covers of a line graph.

    Full text link
    Let L(X)L(X) be the line graph of graph XX. Let XX^{\prime\prime} be the Kronecker product of XX by K2K_2. In this paper, we see that L(X)L(X^{\prime\prime}) is a double cover of L(X)L(X). We define the symmetric edge graph of XX, denoted as ga(X)\rm{ga}(X) which is also a double cover of L(X)L(X). We study various properties of ga(X)\rm{ga}(X) in relation to XX and the relationship amongst the three double covers of L(X)L(X) that are L(X),ga(X)L(X^{\prime\prime}),\rm{ga}(X) and L(X)L(X)^{\prime\prime}. With the help of these double covers, we show that for any integer k5k\geq 5, there exist two equienergetic graphs of order 2k2k that are not cospectral

    Dyck paths with first sojourn highest

    Full text link
    A Dyck path is a lattice path in the first quadrant using steps u=(1,1)u=(1,1) and d=(1,1)d=(1,-1), starting at the origin and ending on the xx-axis. A Dyck sojourn is a Dyck path with only one return to the xx-axis. Various subclasses of Dyck paths are shown to be counted by Catalan numbers: Dyck paths with weakly highest first sojourn and semilength n+1n+1 are counted by twice the nnth Catalan number and Dyck paths with semilength n+1n+1 where the second sojourn is weakly highest are counted by the nnth 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 nn\to\infty for the case where the first sojourn is strictly highest are explored

    A generalization of the Beraha–Kahane–Weiss theorem with graph polynomial applications

    Full text link
    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

    Full text link
    Let XX be a finite simple undirected graph and GAut(X)G\leq \rm{Aut}(X). If GG is transitive on the set of ss-arcs but not on the set of (s+1)(s+1)-arcs of XX, then XX is called (G,s)(G, s)-transitive. In this paper, we determine the structure of the vertex-stabilizer GvG_{v} when XX is a connected (G,s)(G,s)-transitive graph of valency 1515. We also give some examples to show that each type of GvG_{v} with s2s\ge 2, can be realized

    On Freiman-Lev conjecture

    No full text
    Let AA be a set of kk integers such that A[0,l]A\subseteq [0, l], 0,lA0, l\in A and gcd(A)=1\gcd(A)=1. Let 2A2^{\wedge}A denote the set of all sums of two distinct elements of AA. Write W={w[0,l]\A:w,w+l∉2A}W=\{w\in [0, l]\backslash A: w,w+l\not\in 2^{\wedge}A\}. In this paper, we obtain the upper bound of W|W| with some restrictions on ll. As an application, we show that the Freiman-Lev conjecture is true for l=2k4l=2k-4 using the structure of AA with W=2|W|=2

    Applications via series accelerations of new identities involving Catalan-type numbers

    Full text link
    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 3F2(1){}_{3}F_{2}(1)-series with three real parameters from 11 to 14\frac{1}{4}, and we apply this identity to generalize Ramanujan-like series for 1π\frac{1}{\pi}, 2π\frac{\sqrt{2}}{\pi}, 3π\frac{\sqrt{3}}{\pi}, and 2±2π \frac{\sqrt{2 \pm \sqrt{2}}}{\pi } that are due to Chu et al. A fast-converging series for π2\pi^2 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 3F2(1){}_{3}F_{2}(1)-family with three real parameters from 11 to 116\frac{1}{16}, and we apply this result, via a series bisection, to formulate a new WZ proof of Ramanujan\u27s series for 1π\frac{1}{\pi} of convergence rate 14\frac{1}{4}. 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 PG(3,q)\operatorname{PG}(3,q)

    No full text
    Consider a hyperbolic or an elliptic quadric Qϵ(3,q)Q^\epsilon(3,q), ϵ{+,}\epsilon \in \{ +,- \}, in PG(3,q)\operatorname{PG}(3,q) and let Eϵ\mathcal{E}^\epsilon denote the set of all lines of PG(3,q)\operatorname{PG}(3,q) that are external with respect to Qϵ(3,q)Q^\epsilon(3,q). If π\pi is a (tangent or secant) plane of PG(3,q)\operatorname{PG}(3,q), then πQϵ(3,q)\pi \setminus Q^\epsilon(3,q) is an Eϵ\mathcal{E}^\epsilon-blocking set which is minimal, except when (q,ϵ)=(2,+)(q,\epsilon) = (2,+) and π\pi is a secant plane. In this way, we obtain two families of (minimal) blocking sets of sizes m1ϵm_1^\epsilon and m2ϵm_2^\epsilon, with (m1+,m2+)=(q2q,q2)(m_1^+,m_2^+)=(q^2-q,q^2) and (m1,m2)=(q2,q2+q)(m_1^-,m_2^-)=(q^2,q^2+q), where those of size m1ϵm_1^\epsilon are also the minimum size Eϵ\mathcal{E}^\epsilon-blocking sets. Motivated by the search for new (families of) minimal Eϵ\mathcal{E}^\epsilon-blocking sets with sizes in the open interval ]m1ϵ,m2ϵ[]m_1^\epsilon,m_2^\epsilon[, we determine here all Eϵ\mathcal{E}^\epsilon-blocking sets of size m1ϵ+1m_1^\epsilon+1 in PG(3,q)\operatorname{PG}(3,q) in the case q{2,3}q \in \{ 2,3 \}

    Orthogonal colourings of tensor graphs

    Full text link
    Perfect kk-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 kk-orthogonal colouring, then so does their tensor graph. This provides an upper bound on the kk-orthogonal chromatic number for general tensor graphs. Lastly, two other conditions for a tensor graph to have a perfect kk-orthogonal colouring are given

    Identities involving trigonometric, zeta and partition functions

    Full text link
    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

    Full text link
    In his 1984 AMS Memoir, Andrews introduced the family of functions cϕk(n)c\phi_k(n), which denotes the number of kk-colored generalized Frobenius partitions of nn. In this paper, by employing some qq-series identities and elementary generating function manipulations, we prove a characterization of cϕ8(5n+2)c\phi_8(5n+2) modulo 55. Moreover, we derive a characterization of cϕ9(5n+1)c\phi_9(5n+1) modulo 55. These two characterizations can lead to the corresponding infinite sets of Ramanujan-type congruences modulo 55 satisfied by cϕ8(n)c\phi_8(n) and cϕ9(n)c\phi_9(n)

    333

    full texts

    406

    metadata records
    Updated in last 30 days.
    Contributions to Discrete Mathematics (E-Journal, University of Calgary)
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇