二次曲面和平面位置关系的判式

在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面a11x2+a22y2+a33z2+2a12xy+2a13xz+2a23yz+2a14x+2a24y+2a34z+a44=0(1)和平面Ax+By+Cz+D=0(2)的相对位置的判别式Δ=a11a12a13a14Aa21a22a23a24Ba31a32a33a34Ca41a42a43a44DA B C D0(aij=aji).(3)并证明了:若Δ>0,则二次曲面(1)与平面(2)相交;若Δ=0,则(1)和(2)相切;若Δ<0,则(1)和(2)相离.     

图的分数k-因子

给定图G=(V,E).设a和b是两个非负整数.fE→［0,1］是一个函数.如果     

Complex affine distributions

Geometry of affine immersions is the study of hypersurfaces that are invariant under affine transformations. As with the hypersurface theory on the Euclidean space, an affine immersion can induce a torsion-free affine connection and a (pseudo)-Riemannian metric on the hypersurface. Moreover, an affine immersion can induce a statistical manifold, which plays a central role in information geometry. Recently, a statistical manifold with a complex structure is actively studied since it connects information geometry and Kähler geometry. However, a holomorphic complex affine immersion cannot induce such a statistical manifold with a Kähler structure. In this paper, we introduce complex affine distributions, which are non-integrable generalizations of complex affine immersions. We then present the fundamental theorem for a complex affine distribution, and show that a complex affine distribution can induce a statistical manifold with a Kähler structure.     

On the intersections of circuits and cocircuits in matroids

Seymour has shown that a matroid has a triad, that is, a 3-element set which is the intersection of a circuit and a cocircuit, if and only if it is non-binary. In this paper we determine precisely when a matroidM has a quad, a 4-element set which is the intersection of a circuit and a cocircuit. We also show that this will occur ifM has a circuit and a cocircuit meeting in more than four elements. In addition, we prove that if a 3-connected matroid has a quad, then every pair of elements is in a quad. The corresponding result for triads was proved by Seymour.     

Toader型平均与几种经典平均的确界

给出了最佳参数α_1,α_2,α_3,β_1,β_2,β_3∈R,使得双向不等式α_1Q(a,b)+(1-α_1)G(a,b)0且a≠b成立.其中A(a,b)=(a+b)/2,H(a,b)=2ab/(a+b),G(a,b)=(ab)~(1/2),Q(a,b)=((a~2+b~2)/2)~(1/2),C(a,b)=(a~2+b~2)/(a+b),T(a,b)=2/π∫_0~(π/2)(a~2cos~2t+b~2sin~2)~(1/2)tdt分别是两个正数a和b的算术平均,调和平均,几何平均,二次平均,反调和平均和Toader平均.     

图的分数κ-因子

给定图Ｇ＝（Ｖ,Ｅ）．设ａ和ｂ是两个非负整数．是一个函数．如果对所有的均成立,称 ｆ为 Ｇ的一个分数［ａ,ｂ］－ 因子． ａ＝ ｂ＝ κ时,称ｆ为 Ｇ的一个分数 ｋ＝因子．本文给出了一个图有分数 ｋ－因子的充分必要条件．     

An algebraic index theorem for orbifolds

Using the concept of a twisted trace density on a cyclic groupoid, a trace is constructed on a formal deformation quantization of a symplectic orbifold. An algebraic index theorem for orbifolds follows as a consequence of a local Riemann-Roch theorem for such densities. In the case of a reduced orbifold, this proves a conjecture by Fedosov, Schulze, and Tarkhanov. Finally, it is shown how the Kawasaki index theorem for elliptic operators on orbifolds follows from this algebraic index theorem.     

A semidefinite algorithm for completely positive tensor decomposition

A symmetric tensor, which has a symmetric nonnegative decomposition, is called a completely positive tensor. In this paper, we characterize the completely positive tensor as a truncated moment sequence, and transform the problem of checking whether a tensor is completely positive to checking whether its corresponding truncated moment sequence admits a representing measure, then present a semidefinite algorithm to solve it. If a tensor is not completely positive, a certificate for it can be obtained; if it is completely positive, a nonnegative decomposition can be obtained.     

Approximate evaluation of multi-location inventory models with lateral transshipments and hold back levels

We consider a continuous-time, single-echelon, multi-location inventory model with Poisson demand processes. In case of a stock-out at a local warehouse, a demand can be fulfilled via a lateral transshipment (LT). Each warehouse is assigned a pre-determined sequence of other warehouses where it will request for an LT. However, a warehouse can hold its last part(s) back from such a request. This is called a hold back pooling policy, where each warehouse has hold back levels determining whether a request for an LT by another warehouse is satisfied. We are interested in the fractions of demand satisfied from stock (fill rate), via an LT, and via an emergency procedure from an external source. From these, the average costs of a policy can be determined. We present a new approximation algorithm for the evaluation of a given policy, approximating the above mentioned fractions. Whereas algorithms currently known in the literature approximate the stream of LT requests from a warehouse by a Poisson process, we use an interrupted Poisson process. This is a process that is turned alternatingly On and Off for exponentially distributed durations. This leads to the On/Off overflow algorithm. In a numerical study we show that this algorithm is significantly more accurate than the algorithm based on Poisson processes, although it requires a longer computation time. Furthermore, we show the benefits of hold back levels, and we illustrate how our algorithm can be used in a heuristic search for the setting of the hold back levels.     

Induction of Geometric Actions

We prove that, in some situations, an induced action from a normal subgroup preserves a geometric structure. Combined with known geometric rigidity results, this result implies certain rigidity statements concerning the full diffeomorphism group of a manifold. It also provides many examples of actions on Lorentz manifolds. Combining these with a small number of well-known actions, we get the full list of connected, simply connected Lie groups admitting a locally faithful, orbit nonproper action by isometries of a connected Lorentz manifold. We give an example of a connected nilpotent Lie group with no complicated action on a Lorentz manifold. We show that, if a connected Lie group has a normal closed subgroup isomorphic to a (two-dimensional) cylinder, then it admits a locally faithful, orbit nonproper action by isometries of a connected Lorentz manifold.     

Asymptotic formulae with remainder estimates for eigenvalue branches of the Schrödinger operator

The Floquet theory provides a decomposition of a periodic
Schrödinger operator into a direct integral, over a torus, of operators on a basic period cell. In this paper, it is proved that the same transform establishes a unitary equivalence between a multiplier by a decaying potential and a pseudo-differential operator on the torus, with an operator-valued symbol. A formula for the symbol is given. As applications, precise remainder estimates and two-term asymptotic formulas for spectral problems for a perturbed periodic Schrödinger operator are obtained.

     

An algorithm for constructing star-shaped drawings of plane graphs

A straight-line planar drawing of a plane graph is called a convex drawing if every facial cycle is drawn as a convex polygon. Convex drawings of graphs is a well-established aesthetic in graph drawing, however not all planar graphs admit a convex drawing. Tutte [W.T. Tutte, Convex representations of graphs, Proc. of London Math. Soc. 10 (3) (1960) 304–320] showed that every triconnected plane graph admits a convex drawing for any given boundary drawn as a convex polygon. Thomassen [C. Thomassen, Plane representations of graphs, in: Progress in Graph Theory, Academic Press, 1984, pp. 43–69] gave a necessary and sufficient condition for a biconnected plane graph with a prescribed convex boundary to have a convex drawing.In this paper, we initiate a new notion of star-shaped drawing of a plane graph as a straight-line planar drawing such that each inner facial cycle is drawn as a star-shaped polygon, and the outer facial cycle is drawn as a convex polygon. A star-shaped drawing is a natural extension of a convex drawing, and a new aesthetic criteria for drawing planar graphs in a convex way as much as possible. We give a sufficient condition for a given set A of corners of a plane graph to admit a star-shaped drawing whose concave corners are given by the corners in A, and present a linear time algorithm for constructing such a star-shaped drawing.     

Partnership formation based on multiple traits

A model of partnership formation based on two traits, called beauty and character, is presented. There are two classes of individual and partners must be of different classes. Individuals prefer prospective partners with a high beauty measure and of a similar character. This problem may be interpreted as e.g. a job search problem in which the classes are employer and employee, or a mate choice problem in which the classes are male and female. Beauty can be observed instantly. However, a costly date (or interview) is required to observe the character of a prospective partner. On observing the beauty of a prospective partner, an individual decides whether he/she wishes to date. During a date, the participants observe each other’s character and then decide whether to form a pair. Mutual acceptance is required both for a date to occur and pair formation. On finding a partner, an individual stops searching. Beauty has a continuous distribution on a finite interval, while character ‘forms a circle’ and has a uniform distribution. Criteria based on the concept of a subgame perfect Nash equilibrium are used to define a symmetric equilibrium of this game. It is argued that this equilibrium is unique. When dating costs are high, this equilibrium is a block separating equilibrium as in more classical formulations of two-sided job search problems. However, for sufficiently small dating costs the form of this equilibrium is essentially different.     

Almost-regular factorization of graphs

For integers a and b, 0 ? a ? a ? b, an [a, b]-graph G satisties a ? deg(x, G) ? b for every vertex x of G, and an [a, b]-factor is a spanning subgraph F such that a ? deg(x, F) ? b for every vertex x of F. An [a, b]-factor is almost-regular if b = a + 1. A graph is [a, b]-factorable if its edges can be decomposed into [a, b]-factors. When both K and t are positive integers and s is a nonnegative integer, we prove that every [(12K + 2)t + 2ks, (12k + 4)t + 2ks]-graph is [2k,2k + 1]-factorable. As its corollary, we prove that every [r.r + 1]-graph with r ? 12k² + 2k is [2k + 1]-factorable, which is a partial extension of the two results, one by Thomassen and the other by Era.     

Subgradient Projectors: Extensions,Theory, and Characterizations

Subgradient projectors play an important role in optimization and for solving convex feasibility problems. For every locally Lipschitz function, we can define a subgradient projector via generalized subgradients even if the function is not convex. The paper consists of three parts. In the first part, we study basic properties of subgradient projectors and give characterizations when a subgradient projector is a cutter, a local cutter, or a quasi-nonexpansive mapping. We present global and local convergence analyses of subgradent projectors. Many examples are provided to illustrate the theory. In the second part, we investigate the relationship between the subgradient projector of a prox-regular function and the subgradient projector of its Moreau envelope. We also characterize when a mapping is the subgradient projector of a convex function. In the third part, we focus on linearity properties of subgradient projectors. We show that, under appropriate conditions, a linear operator is a subgradient projector of a convex function if and only if it is a convex combination of the identity operator and a projection operator onto a subspace. In general, neither a convex combination nor a composition of subgradient projectors of convex functions is a subgradient projector of a convex function.     

Scalarization of Henig Proper Efficient Points in a Normed Space

In a general normed space equipped with the order induced by a closed convex cone with a base, using a family of continuous monotone Minkowski functionals and a family of continuous norms, we obtain scalar characterizations of Henig proper efficient points of a general set and a bounded set, respectively. Moreover, we give a scalar characterization of a superefficient point of a set in a normed space equipped with the order induced by a closed convex cone with a bounded base.     

关于凸子集和（绝对）收缩核

讨论了线性度量空间中凸子集在什么情况下为该空间的收缩核，以及在什么情况下为绝对收缩核。     

On JB-Rings

A ring R is a QB-ring provided that aR bR=R with a,b∈R implies that there exists a y∈R such that a by∈R_q~(-1).It is said that a ring R is a JB-ring provided that R/J(R)is a QB-ring,where J(R)is the Jacobson radical of R.In this paper,various necessary and sufficient conditions,under which a ring is a JB-ring,are established.It is proved that JB-rings can be characterized by pseudo-similarity.Furthermore,the author proves that R is a JB-ring iff so is R/J(R)~2.     

What is sustainable development? An attempt to interpret it as a soliton-like phenomenon

An attempt is made to establish a relation between the question of what ‘sustainable development’ means and the non-linear theory of shock waves. Despite the presence of dispersive, i.e. entropy-producing, forces a soliton-like, isentropic, transport of a wilfully desired distribution in a field of traded commodities is possible. Starting with the classical Korteweg de Vries (KdV) equation, two other examples, a sigmoidal and a Gaussian soliton in a diffusional environment, are analyzed in detail as a guide-line of how a ‘sustainable’ transport of an economically defined creation can be carried through time.