A note on zeta functions of Ihara type for normal Kähler graphs

A regular Kähler graph is a compound of two regular graphs. When adjacency operators of component graphs are commutative, we introduce equivalence relations on sets of primitive bicolored paths, which are considered as sets of trajectory-segments of magnetic fields on this Kähler graph, we study their zeta functions of Ihara type, and show a correspondence to those for ordinary regular graphs.     

Zeta functions of finite graphs and coverings, III

A graph theoretical analog of Brauer-Siegel theory for zeta functions of number fields is developed using the theory of Artin L-functions for Galois coverings of graphs from parts I and II. In the process, we discuss possible versions of the Riemann hypothesis for the Ihara zeta function of an irregular graph.     

Ihara zeta functions of digraphs

After defining and exploring some of the properties of Ihara zeta functions of digraphs, we improve upon Kotani and Sunada’s bounds on the poles of Ihara zeta functions of undirected graphs by considering digraphs whose adjacency matrices are directed edge matrices.     

The Ihara zeta function of the complement of a semiregular bipartite graph

We study the Ihara zeta function of the complement of a semiregular bipartite graph. A factorization formula for the Ihara zeta function is derived via which the number of spanning trees is computed. For a class of complements of semiregular bipartite graphs, it is shown that they have the same Ihara zeta function if and only if they are cospectral.     

An iterative construction of isospectral digraphs

Recently, Storm used generating functions to provide a proof that an infinite family of graphs constructed by Cooper have the same Ihara zeta function. Here, we generalize the construction of that infinite family of graphs to a directed graph construction. A similar generating function proof technique applies, and we exhibit conditions under which our digraphs have the same spectra with respect to the adjacency matrix.     

Bartholdi zeta and L-functions of weighted digraphs, their coverings and products

Since a zeta function of a regular graph was introduced by Ihara [Y. Ihara, On discrete subgroups of the two by two projective linear group over p-adic fields, J. Math. Soc. Japan 19 (1966) 219-235], many kinds of zeta functions and L-functions of a graph or a digraph have been defined and investigated. Most of the works concerning zeta and L-functions of a graph contain the following: (1) defining a zeta function, (2) defining an L-function associated with a (regular) graph covering, (3) providing their determinant expressions, and (4) computing the zeta function of a graph covering and obtaining its decomposition formula as a product of L-functions. As a continuation of those works, we introduce a zeta function of a weighted digraph and an L-function associated with a weighted digraph bundle. A graph bundle is a notion containing a cartesian product of graphs and a (regular or irregular) graph covering. Also we provide determinant expressions of the zeta function and the L-function. Moreover, we compute the zeta function of a weighted digraph bundle and obtain its decomposition formula as a product of the L-functions.     

A generalized Ihara zeta function formula for simple graphs with bounded degree

We establish a generalized Ihara zeta function formula for simple graphs with bounded degree. This is a generalization of the formula obtained by G. Chinta, J. Jorgenson and A. Karlsson from vertex-transitive graphs.     

Rank‐tolerance graph classes

In this article we introduce certain classes of graphs that generalize ?‐tolerance chain graphs. In a rank‐tolerance representation of a graph, each vertex is assigned two parameters: a rank, which represents the size of that vertex, and a tolerance which represents an allowed extent of conflict with other vertices. Two vertices are adjacent if and only if their joint rank exceeds (or equals) their joint tolerance. This article is concerned with investigating the graph classes that arise from a variety of functions, such as min, max, sum, and prod (product), that may be used as the coupling functions ? and ρ to define the joint tolerance and the joint rank. Our goal is to obtain basic properties of the graph classes from basic properties of the coupling functions. We prove a skew symmetry result that when either ? or ρ is continuous and weakly increasing, the (?,ρ)‐representable graphs equal the complements of the (ρ,?)‐representable graphs. In the case where either ? or ρ is Archimedean or dual Archimedean, the class contains all threshold graphs. We also show that, for min, max, sum, prod (product) and, in fact, for any piecewise polynomial ?, there are infinitely many split graphs which fail to be representable. In the reflexive case (where ? = ρ), we show that if ? is nondecreasing, weakly increasing and associative, the class obtained is precisely the threshold graphs. This extends a result of Jacobson, McMorris, and Mulder [10] for the function min to a much wider class, including max, sum, and prod. We also give results for homogeneous functions, powers of sums, and linear combinations of min and max. © 2006 Wiley Periodicals, Inc. J Graph Theory     

Strong structural properties of unidirectional star graphs

Day and Tripathi [K. Day, A. Tripathi, Unidirectional star graphs, Inform. Process. Lett. 45 (1993) 123-129] proposed an assignment of directions on the star graphs and derived attractive properties for the resulting directed graphs: an important one is that they are strongly connected. In [E. Cheng, M.J. Lipman, On the Day-Tripathi orientation of the star graphs: Connectivity, Inform. Process. Lett. 73 (2000) 5-10] it is shown that the Day-Tripathi orientations are in fact maximally arc-connected when n is odd; when n is even, they can be augmented to maximally arc-connected digraphs by adding a minimum set of arcs. This gives strong evidence that the Day-Tripathi orientations are good orientations. In [E. Cheng, M.J. Lipman, Connectivity properties of unidirectional star graphs, Congr. Numer. 150 (2001) 33-42] it is shown that vertex-connectivity is maximal, and that if we delete as many vertices as the connectivity, we can create at most two strong connected components, at most one of which is not a singleton. In this paper we prove an asymptotically sharp upper bound for the number of vertices we can delete without creating two nonsingleton strong components, and we also give sharp upper bounds on the number of singletons that we might create.     

On the Ihara Zeta Function of Cones Over Regular Graphs

In this paper we derive a formula of the Ihara zeta function of a cone over a regular graph that involves the spectrum of the adjacency matrix of the cone. We show that the Ihara zeta function and the spectrum of the adjacency matrix of the cone determine each other and we characterize those cones that satisfy the graph theory Riemann hypothesis.     

Some properties of graphs determined by edge zeta functions

In 1989, Hashimoto introduced an edge zeta function of a finite graph, which is a generalization of the Ihara zeta function. The edge zeta function is the reciprocal of a polynomial in twice as many indeterminants as edges in the graph and can be computed via a determinant expression. We look at graph properties which we can determine using the edge zeta function. In particular, the edge zeta function is enough to deduce the clique number, the number of Hamiltonian cycles, and whether a graph is perfect or chordal. Finally, we present a new example illustrating that the Ihara zeta function cannot necessarily do the same.     

Developments on spectral characterizations of graphs

In [E.R. van Dam, W.H. Haemers, Which graphs are determined by their spectrum? Linear Algebra Appl. 373 (2003), 241-272] we gave a survey of answers to the question of which graphs are determined by the spectrum of some matrix associated to the graph. In particular, the usual adjacency matrix and the Laplacian matrix were addressed. Furthermore, we formulated some research questions on the topic. In the meantime, some of these questions have been (partially) answered. In the present paper we give a survey of these and other developments.     

On roughly transitive amenable graphs and harmonic Dirichlet functions

We introduce the notion of rough transitivity and prove that there exist no non-constant harmonic Dirichlet functions on amenable roughly transitive graphs.

     

The weighted complexity and the determinant functions of graphs

The complexity of a graph can be obtained as a derivative of a variation of the zeta function [S. Northshield, A note on the zeta function of a graph, J. Combin. Theory Ser. B 74 (1998) 408-410] or a partial derivative of its generalized characteristic polynomial evaluated at a point [D. Kim, H.K. Kim, J. Lee, Generalized characteristic polynomials of graph bundles, Linear Algebra Appl. 429 (4) (2008) 688-697]. A similar result for the weighted complexity of weighted graphs was found using a determinant function [H. Mizuno, I. Sato, On the weighted complexity of a regular covering of a graph, J. Combin. Theory Ser. B 89 (2003) 17-26]. In this paper, we consider the determinant function of two variables and discover a condition that the weighted complexity of a weighted graph is a partial derivative of the determinant function evaluated at a point. Consequently, we simply obtain the previous results and disclose a new formula for the complexity from a variation of the Bartholdi zeta function. We also consider a new weighted complexity, for which the weights of spanning trees are taken as the sum of weights of edges in the tree, and find a similar formula for this new weighted complexity. As an application, we compute the weighted complexities of the product of the complete graphs.     

Equivalences and the complete hierarchy of intersection graphs of paths in a tree

An (h,s,t)-representation of a graph G consists of a collection of subtrees of a tree T, where each subtree corresponds to a vertex in G, such that (i) the maximum degree of T is at most h, (ii) every subtree has maximum degree at most s, (iii) there is an edge between two vertices in the graph G if and only if the corresponding subtrees have at least t vertices in common in T. The class of graphs that have an (h,s,t)-representation is denoted by [h,s,t]. It is well known that the class of chordal graphs corresponds to the class [3, 3, 1]. Moreover, it was proved by Jamison and Mulder that chordal graphs correspond to orthodox-[3, 3, 1] graphs defined below.In this paper, we investigate the class of [h,2,t] graphs, i.e., the intersection graphs of paths in a tree. The [h,2,1] graphs are also known as path graphs [F. Gavril, A recognition algorithm for the intersection graphs of paths in trees, Discrete Math. 23 (1978) 211-227] or VPT graphs [M.C. Golumbic, R.E. Jamison, Edge and vertex intersection of paths in a tree, Discrete Math. 55 (1985) 151-159], and [h,2,2] graphs are known as the EPT graphs. We consider variations of [h,2,t] by three main parameters: h, t and whether the graph has an orthodox representation. We give the complete hierarchy of relationships between the classes of weakly chordal, chordal, [h,2,t] and orthodox-[h,2,t] graphs for varied values of h and t.     

Bipartite and directed scale-free complex networks arising from zeta functions

We construct a new class of directed and bipartite random graphs whose topology is governed by the analytic properties of multiple zeta functions. The bipartite L-graphs and the multiplicative zeta graphs are relevant examples of the proposed construction. Phase transitions and percolation thresholds for our models are determined.     

The joint value distribution of the Riemann zeta function and Hurwitz zeta functions II

In the previous paper [9] the author proved the joint limit theorem for the Riemann zeta function and the Hurwitz zeta function attached with a transcendental real number. As a corollary, the author obtained the joint functional independence for these two zeta functions. In this paper, we study the joint value distribution for the Riemann zeta function and the Hurwitz zeta function attached with an algebraic irrational number. Especially we establish the weak joint functional independence for these two zeta functions. Received: 17 Apri1 2007     

Some results involving series representations of hypergeometric functions

In this paper, we prove some generalisations of several theorems given in [K.A. Driver, S.J. Johnston, An integral representation of some hypergeometric functions, Electron. Trans. Numer. Anal. 25 (2006) 115-120] and examine some special cases which correspond to a transformation given by Chaundy in [T.W. Chaundy, An extension of hypergeometric functions, I., Quart. J. Maths. Oxford Ser. 14 (1943) 55-78] and other transformations involving the Riemann zeta function and the beta function.     

Archimedean ϕ ‐tolerance graphs

Let ? be a symmetric binary function, positive valued on positive arguments. A graph G = (V,E) is a ?‐tolerance graph if each vertex υ ∈ V can be assigned a closed interval I_υ and a positive tolerance t_υ so that xy ∈ E ? | I_x ∩ I_y|≥ ? (t_x,t_y). An Archimedean function has the property of tending to infinity whenever one of its arguments tends to infinity. Generalizing a known result of [15] for trees, we prove that every graph in a large class (which includes all chordless suns and cacti and the complete bipartite graphs K_2,k) is a ?‐tolerance graph for all Archimedean functions ?. This property does not hold for most graphs. Next, we present the result that every graph G can be represented as a ?_G‐tolerance graph for some Archimedean polynomial ?_G. Finally, we prove that there is a ?universal”? Archimedean function ? ^* such that every graph G is a ?^*‐tolerance graph. © 2002 Wiley Periodicals, Inc. J Graph Theory 41: 179–194, 2002     

Periodic paths on nonautonomous graphs

We define nonautonomous graphs as a class of dynamic graphs in discrete time whose time-dependence consists in connecting or disconnecting edges. We study periodic paths in these graphs, and the associated zeta functions. Based on the analytic properties of these zeta functions we obtain explicit formulae for the number of n-periodic paths, as the sum of the nth powers of some specific algebraic numbers.