Geometry of tropical moduli spaces and linkage of graphs

We prove the following “linkage” theorem: two p-regular graphs of the same genus can be obtained from one another by a finite alternating sequence of one-edge-contractions; moreover this preserves 3-edge-connectivity. We use the linkage theorem to prove that various moduli spaces of tropical curves are connected through codimension one.     

Time shifted aliasing error upper bounds for truncated sampling cardinal series

Time shifted aliasing error upper bound extremals for the sampling reconstruction procedure are fully characterized. Sharp upper bounds are found on the aliasing error of truncated cardinal series and the corresponding extremals are described for entire functions from certain specific Lp, p>1, classes. Analogous results are obtained in multidimensional regular sampling. Truncation error analysis is provided in all cases considered. Moreover, sharpness of bounding inequalities, convergence rates and various sufficient conditions are discussed.     

A nearfield-free definition of regular Hughes planes and some embeddings of PG(3,q) in Hughes planes of order q 4

We give a nearfield-free definition of some finite and infinite incidence systems by means of half-points and half-lines and show that they are projective planes. We determine a planar ternary ring for these planes and use it to determine the full collineation group and to demonstrate some embeddings of these planes among themselves. We show that these planes include all finite regular Hughes planes and many infinite ones. We also show that PG(3, q) embeds in Hu(q ⁴) (and show infinite versions of this embedding). Dan Hughes 80th Birthday.     

Nonaxiomatisability of equivalences over finite state processes

This paper considers the existence of finite equational axiomatisations of behavioural equivalences over a calculus of finite state processes. To express even simple properties such as μxE = μxE[E/x] some notation for substitutions is required. Accordingly, the calculus is embedded in a simply typed lambda calculus, allowing such schemas to be expressed as equations between terms containing first order variables. A notion of first order trace congruence over such terms is introduced and used to show that no finite set of such equations is sound and complete for any reasonable equivalence finer than trace equivalence. The intermediate results are then applied to give two nonaxiomatisability results over calculi of regular expressions.     

Disintegration of Gaussian measures and average-case optimal algorithms

It is shown that a Gaussian measure in a given infinite-dimensional Banach space always admits an essentially unique Gaussian disintegration with respect to a given continuous linear operator. This covers a similar statement made earlier in [Lee and Wasilkowski, Approximation of linear functionals on a Banach space with a Gaussian measure, J. Complexity 2(1) (1986) 12–43.] for the case of finite-rank operators.     

Exact scaling behavior of partially convex vesicles

We solve analytically for the perimeter-area generating functions for two models of vesicles. While from the solution of the first model, staircase polygons, one can easily extract the asymptotic scaling behavior, the exact solution of the second, column-convex polygons, is difficult to analyze. This leads us to apply a recently developed method for deriving the scaling behavior indirectly, utilizing a set of nonlinear differential equations. One result of this work is a nontrivial confirmation of the scaling/universality hypothesis.     

Characterizations of Strongly Regular Rings

ＣｈａｒａｃｔｅｒｉｚａｔｉｏｎｓｏｆＳｔｒｏｎｇｌｙＲｅｇｕｌａｒＲｉｎｇｓＺｈａｎｇＪｕｌｅ（章聚乐）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｎｈｕｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈｕ２４１０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉ...     

A linear approximation for the regular reflection of a weak shock at a wedge satisfying sonic condition

The problem of shock reflection by a wedge, which the flow is dominated by the unsteady potential flow equation, is a important problem. In weak regular reflection, the flow behind the reflected shock is immediately supersonic and becomes subsonic further downstream. The reflected shock is transonic. Its position is a free boundary for the unsteady potential equation, which is degenerate at the sonic line in self-similar coordinates. Applying the special partial hodograph transformation used in [Zhouping Xin, Huicheng Yin, Transonic shock in a nozzle I, 2-D case, Comm. Pure Appl. Math. 57 (2004) 1-51; Zhouping Xin, Huicheng Yin, Transonic shock in a nozzle II, 3-D case, IMS, preprint (2003)], we derive a nonlinear degenerate elliptic equation with nonlinear boundary conditions in a piecewise smooth domain. When the angle, which between incident shock and wedge, is small, we can see that weak regular reflection as the disturbance of normal reflection as in [Shuxing Chen, Linear approximation of shock reflection at a wedge with large angle, Comm. Partial Differential Equations 21 (78) (1996) 1103-1118]. By linearizing the resulted nonlinear equation and boundary conditions with above viewpoint, we obtain a linear degenerate elliptic equation with mixed boundary conditions and a linear degenerate elliptic equation with oblique boundary conditions in a curved quadrilateral domain. By means of elliptic regularization techniques, delicate a priori estimate and compact arguments, we show that the solution of linearized problem with oblique boundary conditions is smooth in the interior and Lipschitz continuous up to the degenerate boundary.     

带自由边界调和映射的Liouville型定理

本文给出一类带由边界的调和映射的Liouville型定理,这种类型的定理在微分几何的一些问题中有十分重要的应用.我们通过对调和映射的能量选取特殊的变分族,得到任意从半空间的简单流形到一黎曼流形的带自由边界的调和映射在如果满足适当的条件(见定理)必为常值映射的结果.     

The number of smallest knots on the cubic lattice

It has been shown that the smallest knots on the cubic lattice are all trefoils of length 24. In this paper, we show that the number of such unrooted knots on the cubic lattice is 3496.