Determinant identities for Laplace matrices

We show that every minor of an n×n Laplace matrix, i.e., a symmetric matrix whose row- and column sums are 0, can be written in terms of those minors that are obtained by deleting two rows and the corresponding columns. The proof is based on a classical determinant identity due to Sylvester. Furthermore, we show how our result can be applied in the context of electrical networks and spanning tree enumeration.     

Further analysis of the number of spanning trees in circulant graphs

Let 1?s₁<s₂<?<s_k?⌊n/2⌋ be given integers. An undirected even-valent circulant graph, has n vertices 0,1,2,…, n-1, and for each and j(0?j?n-1) there is an edge between j and . Let stand for the number of spanning trees of . For this special class of graphs, a general and most recent result, which is obtained in [Y.P. Zhang, X. Yong, M. Golin, [The number of spanning trees in circulant graphs, Discrete Math. 223 (2000) 337-350]], is that where a_n satisfies a linear recurrence relation of order 2^s_k-1. And, most recently, for odd-valent circulant graphs, a nice investigation on the number a_n is [X. Chen, Q. Lin, F. Zhang, The number of spanning trees in odd-valent circulant graphs, Discrete Math. 282 (2004) 69-79].In this paper, we explore further properties of the numbers a_n from their combinatorial structures. Comparing with the previous work, the differences are that (1) in finding the coefficients of recurrence formulas for a_n, we avoid solving a system of linear equations with exponential size, but instead, we give explicit formulas; (2) we find the asymptotic functions and therefore we ‘answer’ the open problem posed in the conclusion of [Y.P. Zhang, X. Yong, M. Golin, The number of spanning trees in circulant graphs, Discrete Math. 223 (2000) 337-350]. As examples, we describe our technique and the asymptotics of the numbers.     

Square roots of semihyponormal operators have scalar extensions

In this paper, we study some properties of , i.e., square roots of semihyponormal operators. In particular we show that an operator has a scalar extension, i.e., is similar to the restriction to an invariant subspace of a (generalized) scalar operator (in the sense of Colojoar?-Foia?). As a corollary, we obtain that an operator has a nontrivial invariant subspace if its spectrum has interior in the plane.     

The ring of quasimodular forms for a cocompact group

We describe the additive structure of the graded ring of quasimodular forms over any discrete and cocompact group Γ⊂PSL(2,R). We show that this ring is never finitely generated. We calculate the exact number of new generators in each weight k. This number is constant for k sufficiently large and equals where I and are the ideals of modular forms and quasimodular forms, respectively, of positive weight. We show that is contained in some finitely generated ring of meromorphic quasimodular forms with i.e., the same order of growth as      

The asymptotic number of spanning trees in circulant graphs

Let T(G) be the number of spanning trees in graph G. In this note, we explore the asymptotics of T(G) when G is a circulant graph with given jumps.The circulant graph is the 2k-regular graph with n vertices labeled 0,1,2,…,n−1, where node i has the 2k neighbors i±s₁,i±s₂,…,i±s_k where all the operations are . We give a closed formula for the asymptotic limit as a function of s₁,s₂,…,s_k. We then extend this by permitting some of the jumps to be linear functions of n, i.e., letting s_i, d_i and e_i be arbitrary integers, and examining

     

On the Laplacian spectral radii of trees

Let Δ(T) and μ(T) denote the maximum degree and the Laplacian spectral radius of a tree T, respectively. Let T_n be the set of trees on n vertices, and . In this paper, we determine the two trees which take the first two largest values of μ(T) of the trees T in when . And among the trees in , the tree which alone minimizes the Laplacian spectral radius is characterized. We also prove that for two trees T₁ and T₂ in , if Δ(T₁)>Δ(T₂) and , then μ(T₁)>μ(T₂). As an application of these results, we give a general approach about extending the known ordering of trees in T_n by their Laplacian spectral radii.     

The mathematics of the grand unified theory

This paper surveys the mathematics of GUT and highlights the author’s new real number system which is a continuum, non-Archimedean and non-Hausdorff, but its subspace of decimals is countably infinite, discrete, Archimedean and Hausdorff. The paper also proves Goldbach’s conjecture in and provides an overview of GUT and qualitative and computational models of many of the presently ill-defined physical concepts, e.g., gravity.     

The least eigenvalue of the complements of trees

Let be the set of the complements of trees of order n. In this paper, we characterize the unique graph whose least eigenvalue attains the minimum among all graphs in .     

On the asymptotic number of inequivalent binary self-dual codes

Let Ψn be the number of inequivalent self-dual codes in . We prove that , where . Let Δn be the number of inequivalent doubly even self-dual codes in . We also prove that .     

Chromatic Turán problems and a new upper bound for the Turán density of

We consider a new type of extremal hypergraph problem: given an r-graph and an integer k≥2 determine the maximum number of edges in an -free, k-colourable r-graph on n vertices.Our motivation for studying such problems is that it allows us to give a new upper bound for an old Turán problem. We show that a 3-graph in which any four points span at most two edges has density less than , improving previous bounds of due to de Caen [D. de Caen, Extension of a theorem of Moon and Moser on complete subgraphs, Ars Combin. 16 (1983) 5–10], and due to Mubayi [D. Mubayi, On hypergraphs with every four points spanning at most two triples, Electron. J. Combin. 10 (10) (2003)].     

Ore-type conditions implying 2-factors consisting of short cycles

For every graph G, let . The main result of the paper says that every n-vertex graph G with contains each spanning subgraph H all whose components are isomorphic to graphs in . This generalizes the earlier results of Justesen, Enomoto, and Wang, and is a step towards an Ore-type analogue of the Bollobás-Eldridge-Catlin Conjecture.     

A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees

We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ₁ and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of .