Reconstructing the number of copies of a valency-labeled finite graph in an infinite graph

Suppose that G, H are infinite graphs and there is a bijection Ψ; V(G) Ψ V(H) such that G - ξ ? H - Ψ(ξ) for every ξ ～ V(G). Let J be a finite graph and /(π) be a cardinal number for each π ? V(J). Suppose also that either /(π) is infinite for every π ? V(J) or J has a connected subgraph C such that /(π) is finite for every π ? V(C) and every vertex in V(J)/V(C) is adjacent to a vertex of C. Let (J, I, G) be the set of those subgraphs of G that are isomorphic to J under isomorphisms that map each vertex π of J to a vertex whose valency in G is /(π). We prove that the sets (J, I, G), m(J, I, H) have the same cardinality and include equal numbers of induced subgraphs of G, H respectively.     

五边方程的集合理论解

本文给出五边方程的集合理论解.假设V作用在有限群的张量积G(?)G上,满足五边方程V12V13V23=V23V12,则在给定条件下,V由三元组(a,d,p)惟一确定,其中a,d,p是G到自身的群同态。由此给出了V的分类.     

关于赋权图中重圈的一个范型定理

设G=(V, E; w)为赋权图,定义G中点v的权度d_G^w(v)为G中与v相关联的所有边的权和.该文证明了下述定理: 假设G为满足下列条件的2 -连通赋权图: (i) 对G中任何导出路xyz都有w(xy)=w(yz); (ii)对G中每一个与K_1,3或K_1,3+e同构的导出子图T, T中所有边的权都相等并且min{max{d_G^w(x), d^w_G(y)}:d(x,y)=2,x,y∈ V(T)}≥ c/2. 那么, G中存在哈密尔顿圈或者存在权和至少为 c 的圈. 该结论分别推广了Fan^[5], Bedrossian等人^[2]和Zhang等人^[7]的相关定理     

最大度为7 且不含带弦5- 圈的平面图是8- 全可染的

若能用k种颜色给图的顶点和边同时进行染色使得相邻或相关联的元素(顶点或边) 染不同的色, 则称这个图是k- 全可染的. 显然, 给最大度为Δ的图进行全染色, 至少要用Δ + 1 种不同的色.本文证明最大度为7 且不含带弦5- 圈的平面图是8- 全可染的. 这一结果进一步拓广了(Δ+1)- 全可染图类.     

On commutative group algebras of mixed groups

Suppose F is a perfect field of characteristic p 0 and G is an abelian group whose torsion subgroup Gt is p-primary. If Gt is totally projective of countable length, it is shown that G is a direct factor of the group of normalized units V(G) of the group algebra F(G) and that V(G)/G is a totally projective p-group. The proof of this result is based on a new characterization of the class of totally projective p-groups of countable length. Li addition, the same result regarding V(G) is obtained if G has countable torsion-free rank and Gt is totally projective of length less than ω₁ + ω₀ . Finally, these results are applied to the question of whether the existence of an F-i pomorphism F(G) ? F(H) for some group H implies that G?H.     

图的邻点可区别全色数的一个上界

Let G = （V, E） be a simple connected graph, and ｜V（G）｜ ≥ 2. Let f be a mapping from V（G） ∪ E（G） to {1,2…, k}. If arbitary uv ∈ E（G）,f（u） ≠ f（v）,f（u） ≠ f（uv）,f（v） ≠ f（uv）; arbitary uv, uw ∈ E（G）（v ≠ w）, f（uv） ≠ f（uw）;arbitary uv ∈ E（G） and u ≠ v, C（u） ≠ C（v）, where
C（u）={f（u）}∪{f（uv）｜uv∈E（G）}.
Then f is called a k-adjacent-vertex-distinguishing-proper-total coloring of the graph G（k-AVDTC of G for short）. The number min{k｜k-AVDTC of G} is called the adjacent vertex-distinguishing total chromatic number and denoted by χat（G）. In this paper we prove that if △（G） is at least a particular constant and δ ≥32√△ln△, then χat（G） ≤ △（G） ＋ 10^26 ＋ 2√△ln△.     

图加一条边后的带宽和

令$BS(G,f)=\sum\limits_{uv\in E(G)}|f(u)-f(v)|$, 其中$f$为$V(G)\rightarrow\{1,2,\cdots,|V(G)|\}$的双射, 并称$BS(G)=\min\limits_{f}BS(G,f)$为图$G$的带宽和. 讨论顶点数为$n$的简单图$G$加上一条边$e\in\overline{E(G)}$后, 带宽和$BS(G+e)$与$BS(G)$的关系, 得其关系式$BS(G)+1\leq BS(G+e)\leq BS(G)+n-1$. 并证明此不等式中等号可取到, 即存在图$G_{1}$和$G_{2}$使得$BS(G_{1}+e)=BS(G_{1})+1$, $BS(G_{2}+e)=BS(G_{2})+n-1$.     

Halin-图的点强全染色

图G(V,E)的一个k-正常全染色f叫做一个k-点强全染色当且仅当对任意v∈V(G), N[v]中的元素被染不同色,其中N[v]={u|uv∈V(G)}∪{v}．χTvs(G)=min{k|存在图G的k- 点强全染色}叫做图G的点强全色数．对3-连通平面图G(V,E),如果删去面fo边界上的所有点后的图为一个树图,则G(V,E)叫做一个Halin-图．本文确定了最大度不小于6的Halin- 图和一些特殊图的的点强全色数XTvs(G),并提出了如下猜想:设G(V,E)为每一连通分支的阶不小于6的图,则χTvs(G)≤△(G) 2,其中△(G)为图G(V,E)的最大度．     

三圈图的无符号拉普拉斯谱半径

假设图G的点集是V(G)={v_1,v_2,…,v_n},用d_(v_i)(G)表示图G中点v_i的度,令A(G)表示G的邻接矩阵,D(G)是对角线上元素等于d_(v_i)(G)的n×n对角矩阵,Q(G)=D(G)+A(G)是G的无符号拉普拉斯矩阵,Q(G)的最大特征值是G的无符号拉普拉斯谱半径.现确定了所有点数为n的三圈图中无符号拉普拉斯谱半径最大的图的结构.     

Cohen-Macaulay Properties of Thom-Boardman Strata I: Morin's Ideal

Thom–Boardman strata ^I are fundamental tools in studyingsingularities of maps. The Zariski closures of the strata ^Iare components of the set of zeros of the ideals ^I defined by B. Morin using iterated jacobian extensions in his paper‘Calcul jacobien’ (Ann. Sci. École Norm.Sup.} 8 (1975) 1–98). In this paper, we consider the questionof when the Morin ideals ^I define Cohen–Macaulay spaces.We determine all I=(i₁...,i_k) such that ^I defines a Cohen–Macaulayspace alongthe stratum. 1991 Mathematics Subject Classification: 13D25, 14B05, 14M12, 58C25.     

On Hardy, BMO and Lipschitz spaces of invariantly harmonic functions in the unit ball

The invariantly harmonic functions in the unit ball Bⁿ in Cⁿare those annihilated by the Bergman Laplacian . The Poisson-Szegökernel P(z,) solves the Dirichlet problem for : if f C(Sⁿ),the Poisson-Szegö transform of f, where d is the normalized Lebesgue measure on Sⁿ,is the unique invariantly harmonic function u in Bⁿ, continuousup to the boundary, such that u=f on Sⁿ. The Poisson-Szegötransform establishes, loosely speaking, a one-to-one correspondencebetween function theory in Sⁿ and invariantly harmonic functiontheory in Bⁿ. When n 2, it is natural to consider on Sⁿ functionspaces related to its natural non-isotropic metric, for theseare the spaces arising from complex analysis. In the paper,different characterizations of such spaces of smooth functionsare given in terms of their invariantly harmonic extensions,using maximal functions and area integrals, as in the correspondingEuclidean theory. Particular attention is given to characterizationin terms of purely radial or purely tangential derivatives.The smoothness is measured in two different scales: that ofSobolev spaces and that of Lipschitz spaces, including BMO andBesov spaces. 1991 Mathematics Subject Classification: 32A35,32A37, 32M15, 42B25.     

Effective log Iitaka fibrations for surfaces and threefolds

We prove an analogue of Fujino and Mori’s “bounding the denominators” (Theorem 3.1 of Fujino and Mori, J Diff Geom 50:167–188, 2000) in the log canonical bundle formula (see also Theorem 8.1 of Prokhorov and Shokurov, J Algebraic Geom 18(1):151–199, 2009) for Kawamata log terminal pairs of relative dimension one. As an application we prove that for a klt pair (X,Δ) of Kodaira codimension one and dimension at most three such that the coefficients of Δ are in a DCC set ${\mathcal{A}}$ , there is a natural number N that depends only on ${\mathcal{A}}$ for which ${\lfloor{N(K_X+\Delta)\rfloor}}$ induces the Iitaka fibration. We also prove a birational boundedness result for klt surfaces of general type.     

Upwind difference approximations for degenerate parabolic convection-diffusion equations with a discontinuous coefficient

We analyse approximate solutions generated by an upwind differencescheme (of Engquist–Osher type) for nonlinear degenerateparabolic convection–diffusion equations where the nonlinearconvective flux function has a discontinuous coefficient (x)and the diffusion function A(u) is allowed to be strongly degenerate(the pure hyperbolic case is included in our setup). The mainproblem is obtaining a uniform bound on the total variationof the difference approximation u, which is a manifestationof resonance. To circumvent this analytical problem, we constructa singular mapping (, ·) such that the total variationof the transformed variable z = (, u) can be bounded uniformlyin . This establishes strong L¹ compactness of z and, since(, ·) is invertible, also u. Our singular mapping isnovel in that it incorporates a contribution from the diffusionfunction A(u). We then show that the limit of a converging sequenceof difference approximations is a weak solution as well as satisfyinga Krukov-type entropy inequality. We prove that the diffusionfunction A(u) is Hölder continuous, implying that the constructedweak solution u is continuous in those regions where the diffusionis nondegenerate. Finally, some numerical experiments are presentedand discussed.     

关于拟k-连通图的一个注释

G是一个k-连通图,T是G的一个k-点割,若G-T可被划分成两个子图G1,G2,且|G1 |≥2,|G2 |≥2,则称T是G的一个非平凡点割.假定G是一个不含非平凡(k-1)点割的(k-1)-连通图,则称G是一个拟k-连通图.证明了对任意一个k≥5且t＞k/2的整数,若G是一个不含(K2+tK1)的k-连通图,且G中任...     

Fractionally colouring total graphs

Bchzad and Vizing have conjectured that given any simple graph of maximum degree , one can colour its edges and vertices with +2 colours so that no two adjacent vertices, or two incident edges, or an edge and either of its ends receive the same colour. We show that for any simple graphG, V(G)E(G) can be fractionally coloured with +2 colours.     

On the Global Stability of Cooperative Systems

Suppose that F is a C¹ cooperative vector field on X, whereX = Rⁿ or Int , or [[p, q]].We prove that the unique equilibrium of F is globally asymptoticallystable if and only if every forward semi-orbit has compact closurein X.     

Definiteness of the Peano Kernel Associated with the Polyharmonic Mean Value Property

The definiteness of the Peano kernel is proved for a functionalassociated with the mean-value property of Picone and Brambleand Payne for polyharmonic functions in the ball. An importantcorollary of this is that if a function f satisfying (–1)^ppf>0vanishes on p concentric spheres centered at 0, then f(0)>0.This generalizes a well-known property of subharmonic functions(which arise in the special case p = 1).     

Finite element analysis of a current density-electric field formulation of Bean's model for superconductivity

We study a current density–electric field formulationof Bean's model for the experimental set-up of an infinitelylong cylindrical superconductor subject to a transverse magneticfield. We introduce a fully practical finite-element approximationof the model and prove an error between the exact solution andthe approximate solution for the current density of order (h+ t)^1/2. Numerical simulations for a variety of given sourcecurrents are presented.     

Toroidal and Annular Dehn Fillings

Suppose that M is a hyperbolic 3-manifold which admits two Dehnfillings M(r₁) and M(r₂) such that M(r₁) contains an essentialannulus, and M(r₂) contains an essential torus. It is knownthat = (r₁, r₂) 5. We will show that if = 5 then M is theWhitehead sister link exterior, and if = 4 then M is the exteriorof either the Whitehead link or the 2-bridge link associatedto the rational number . There are infinitely many examples with = 3. 1991 Mathematics SubjectClassification: 11D25, 11G05, 14G05.     

Free Lie Algebras and Adams Operations

Let G be a group and K a field. For any finite-dimensional KG-moduleV and any positive integer n, let L^n(V) denote the nth homogeneouscomponent of the free Lie K-algebra generated by (a basis of)V. Then L^n(V) can be considered as a KG-module, called the nthLie power of V. The paper is concerned with identifying thismodule up to isomorphism. A simple formula is obtained whichexpresses L^n(V) in terms of certain linear functions on theGreen ring. When n is not divisible by the characteristic ofK these linear functions are Adams operations. Some resultsare also obtained which clarify the relationship between Adamsoperations defined by means of exterior powers and symmetricpowers and operations introduced by Benson. Some of these resultsare put into a more general setting in an appendix by StephenDonkin.