By investigating the properties of Hellinger-Toeplitz topologies, we establish a general version of Kalton's cioed graph theorem. From this general version, we deduce a number of new closed graph theorems, which a...By investigating the properties of Hellinger-Toeplitz topologies, we establish a general version of Kalton's cioed graph theorem. From this general version, we deduce a number of new closed graph theorems, which are convenient for application. Particularly we improve some results of Kalton.展开更多
We generalize Biggs Theorem to the case of directed cycles of multi-digraphs allowing to compute the dimension of the directed cycle space independently of the graph representation with linear runtime complexity. By c...We generalize Biggs Theorem to the case of directed cycles of multi-digraphs allowing to compute the dimension of the directed cycle space independently of the graph representation with linear runtime complexity. By considering two-dimensional CW complex of elementary cycles and deriving formulas for the Betti numbers of the associated cellular homology groups, we extend the list of representation independent topological inavariants measuring the graph structure. We prove the computation of the 2nd Betti number to be sharp #<em>P</em> hard in general and present specific representation invariant sub-fillings yielding efficiently computable homology groups. Finally, we suggest how to use the provided structural measures to shed new light on graph theoretical problems as <em>graph embeddings</em>, <em>discrete Morse theory </em>and<em> graph clustering</em>.展开更多
By introducing the notions of L-spaces and L_r-spaces, a complete generalization of Kalton's closed graph theorem is obtained. It points out the class of L_r-spaces is the maximal class of range spaces for the clo...By introducing the notions of L-spaces and L_r-spaces, a complete generalization of Kalton's closed graph theorem is obtained. It points out the class of L_r-spaces is the maximal class of range spaces for the closed graph theorem when the class of domain spaces is the class of Mackey spaces with weakly * sequentially complete dual.Some examples are constructed showing that the class of L_r-spaces is strictly larger than the class of separable B_r-complete spaces.Some properties of L-spaces and L_r-spaces are discussed and the relations between B-complete (resp. B_r-complete) spaces and L-spaces (resp. L_r-spaces) are given.展开更多
The classical Ambarzumyan’s theorem states that if the Neumann eigenvalues of the Sturm-Liouville operator-d^(2)/dx^(2)+q with an integrable real-valued potential q on[0,π] are {n^(2):n≥0},then q=0 for almost all x...The classical Ambarzumyan’s theorem states that if the Neumann eigenvalues of the Sturm-Liouville operator-d^(2)/dx^(2)+q with an integrable real-valued potential q on[0,π] are {n^(2):n≥0},then q=0 for almost all x∈[0,π].In this work,the classical Ambarzumyan’s theorem is extended to the Dirac operator on equilateral tree graphs.We prove that if the spectrum of the Dirac operator on graphs coincides with the unperturbed case,then the potential is identically zero.展开更多
The spread of an advantageous mutation through a population is of fundamental interest in population genetics. While the classical Moran model is formulated for a well-mixed population, it has long been recognized tha...The spread of an advantageous mutation through a population is of fundamental interest in population genetics. While the classical Moran model is formulated for a well-mixed population, it has long been recognized that in real-world applications, the population usually has an explicit spatial structure which can significantly influence the dynamics. In the context of cancer initiation in epithelial tissue, several recent works have analyzed the dynamics of advantageous mutant spread on integer lattices, using the biased voter model from particle systems theory. In this spatial version of the Moran model, individuals first reproduce according to their fitness and then replace a neighboring individual. From a biological standpoint, the opposite dynamics, where individuals first die and are then replaced by a neighboring individual according to its fitness, are equally relevant. Here, we investigate this death-birth analogue of the biased voter model. We construct the process mathematically, derive the associated dual process, establish bounds on the survival probability of a single mutant, and prove that the process has an asymptotic shape. We also briefly discuss alternative birth-death and death-birth dynamics, depending on how the mutant fitness advantage affects the dynamics. We show that birth-death and death-birth formulations of the biased voter model are equivalent when fitness affects the former event of each update of the model, whereas the birth-death model is fundamentally different from the death-birth model when fitness affects the latter event.展开更多
The design synthesis is the key issue in the mechanical conceptual design to generate the design candidates that meet the design requirements.This paper devotes to propose a novel and computable synthesis approach of ...The design synthesis is the key issue in the mechanical conceptual design to generate the design candidates that meet the design requirements.This paper devotes to propose a novel and computable synthesis approach of mechanisms based on graph theory and polynomial operation.The graph framework of the synthesis approach is built firstly,and it involves:(1)the kinematic function units extracted from mechanisms;(2)the kinematic link graph that transforms the synthesis problem from mechanical domain into graph domain;(3)two graph representations,i.e.,walk representation and path representation,of design candidates;(4)a weighted matrix theorem that transforms the synthesis process into polynomial operation.Then,the formulas and algorithm to the polynomial operation are presented.Based on them,the computational flowchart to the synthesis approach is summarized.A design example is used to validate and illustrate the synthesis approach in detail.The proposed synthesis approach is not only supportive to enumerate the design candidates to the conceptual design of a mechanical system exhaustively and automatically,but also helpful to make that enumeration process computable.展开更多
For a convex set-valued map between p-normed (0 < p < 1) spaces, we give a criterion for its inverse to be locally Lipschitz of order p. From this we obtain the Robinson-Ursescu Theorem in p-normed spaces and th...For a convex set-valued map between p-normed (0 < p < 1) spaces, we give a criterion for its inverse to be locally Lipschitz of order p. From this we obtain the Robinson-Ursescu Theorem in p-normed spaces and the open mapping and closed graph theorems for closed convex set-valued maps.展开更多
A signed graph G˙=(G,σ)is a graph G=(V(G),E(G))with vertex set V(G)and edge set E(G),together with a functionσ:E→{+1,−1}assigning a positive or negative sign to each edge.In this paper,we present a more elementary...A signed graph G˙=(G,σ)is a graph G=(V(G),E(G))with vertex set V(G)and edge set E(G),together with a functionσ:E→{+1,−1}assigning a positive or negative sign to each edge.In this paper,we present a more elementary proof for the matrix-tree theorem of signed graphs,which is based on the relations between the incidence matrices and the Laplcians of signed graphs.As an application,we also obtain the results of Monfared and Mallik about the matrix-tree theorem of graphs for signless Laplacians.展开更多
文摘By investigating the properties of Hellinger-Toeplitz topologies, we establish a general version of Kalton's cioed graph theorem. From this general version, we deduce a number of new closed graph theorems, which are convenient for application. Particularly we improve some results of Kalton.
文摘We generalize Biggs Theorem to the case of directed cycles of multi-digraphs allowing to compute the dimension of the directed cycle space independently of the graph representation with linear runtime complexity. By considering two-dimensional CW complex of elementary cycles and deriving formulas for the Betti numbers of the associated cellular homology groups, we extend the list of representation independent topological inavariants measuring the graph structure. We prove the computation of the 2nd Betti number to be sharp #<em>P</em> hard in general and present specific representation invariant sub-fillings yielding efficiently computable homology groups. Finally, we suggest how to use the provided structural measures to shed new light on graph theoretical problems as <em>graph embeddings</em>, <em>discrete Morse theory </em>and<em> graph clustering</em>.
文摘By introducing the notions of L-spaces and L_r-spaces, a complete generalization of Kalton's closed graph theorem is obtained. It points out the class of L_r-spaces is the maximal class of range spaces for the closed graph theorem when the class of domain spaces is the class of Mackey spaces with weakly * sequentially complete dual.Some examples are constructed showing that the class of L_r-spaces is strictly larger than the class of separable B_r-complete spaces.Some properties of L-spaces and L_r-spaces are discussed and the relations between B-complete (resp. B_r-complete) spaces and L-spaces (resp. L_r-spaces) are given.
基金supported by the National Natural Science Foundation of China(No.11871031)the Natural Science Foundation of the Jiangsu Province of China(No.BK 20201303).
文摘The classical Ambarzumyan’s theorem states that if the Neumann eigenvalues of the Sturm-Liouville operator-d^(2)/dx^(2)+q with an integrable real-valued potential q on[0,π] are {n^(2):n≥0},then q=0 for almost all x∈[0,π].In this work,the classical Ambarzumyan’s theorem is extended to the Dirac operator on equilateral tree graphs.We prove that if the spectrum of the Dirac operator on graphs coincides with the unperturbed case,then the potential is identically zero.
基金supported in part by the NIH grant R01CA241134supported in part by the NSF grant CMMI-1552764+3 种基金supported in part by the NSF grants DMS-1349724 and DMS-2052465supported in part by the NSF grant CCF-1740761supported in part by the U.S.-Norway Fulbright Foundation and the Research Council of Norway R&D Grant 309273supported in part by the Norwegian Centennial Chair grant and the Doctoral Dissertation Fellowship from the University of Minnesota.
文摘The spread of an advantageous mutation through a population is of fundamental interest in population genetics. While the classical Moran model is formulated for a well-mixed population, it has long been recognized that in real-world applications, the population usually has an explicit spatial structure which can significantly influence the dynamics. In the context of cancer initiation in epithelial tissue, several recent works have analyzed the dynamics of advantageous mutant spread on integer lattices, using the biased voter model from particle systems theory. In this spatial version of the Moran model, individuals first reproduce according to their fitness and then replace a neighboring individual. From a biological standpoint, the opposite dynamics, where individuals first die and are then replaced by a neighboring individual according to its fitness, are equally relevant. Here, we investigate this death-birth analogue of the biased voter model. We construct the process mathematically, derive the associated dual process, establish bounds on the survival probability of a single mutant, and prove that the process has an asymptotic shape. We also briefly discuss alternative birth-death and death-birth dynamics, depending on how the mutant fitness advantage affects the dynamics. We show that birth-death and death-birth formulations of the biased voter model are equivalent when fitness affects the former event of each update of the model, whereas the birth-death model is fundamentally different from the death-birth model when fitness affects the latter event.
基金Supported by State Key Program of National Natural Science Foundation of China(Grant No.51535009)111 Project of China(Grant No.B13044).
文摘The design synthesis is the key issue in the mechanical conceptual design to generate the design candidates that meet the design requirements.This paper devotes to propose a novel and computable synthesis approach of mechanisms based on graph theory and polynomial operation.The graph framework of the synthesis approach is built firstly,and it involves:(1)the kinematic function units extracted from mechanisms;(2)the kinematic link graph that transforms the synthesis problem from mechanical domain into graph domain;(3)two graph representations,i.e.,walk representation and path representation,of design candidates;(4)a weighted matrix theorem that transforms the synthesis process into polynomial operation.Then,the formulas and algorithm to the polynomial operation are presented.Based on them,the computational flowchart to the synthesis approach is summarized.A design example is used to validate and illustrate the synthesis approach in detail.The proposed synthesis approach is not only supportive to enumerate the design candidates to the conceptual design of a mechanical system exhaustively and automatically,but also helpful to make that enumeration process computable.
基金The NSF (Q1107107) of Jiangsu Educational Commission.
文摘For a convex set-valued map between p-normed (0 < p < 1) spaces, we give a criterion for its inverse to be locally Lipschitz of order p. From this we obtain the Robinson-Ursescu Theorem in p-normed spaces and the open mapping and closed graph theorems for closed convex set-valued maps.
文摘A signed graph G˙=(G,σ)is a graph G=(V(G),E(G))with vertex set V(G)and edge set E(G),together with a functionσ:E→{+1,−1}assigning a positive or negative sign to each edge.In this paper,we present a more elementary proof for the matrix-tree theorem of signed graphs,which is based on the relations between the incidence matrices and the Laplcians of signed graphs.As an application,we also obtain the results of Monfared and Mallik about the matrix-tree theorem of graphs for signless Laplacians.
