Minimal Ellipsoid Circumscribing a Polytope Defined by a System of Linear Inequalities

In this paper, we will propose algorithms for calculating a minimal ellipsoid circumscribing a polytope defined by a system of linear inequalities. If we know all vertices of the polytope and its cardinality is not very large, we can solve the problem in an efficient manner by a number of existent algorithms. However, when the polytope is defined by linear inequalities, these algorithms may not work since the cardinality of vertices may be huge. Based on a fact that vertices determining an ellipsoid are only a fraction of these vertices, we propose algorithms which iteratively calculate an ellipsoid which covers a subset of vertices. Numerical experiment shows that these algorithms perform well for polytopes of dimension up to seven.     

A characterization of adding machine maps

Let f :X→X be a continuous map of a compact metric space to itself. We prove that f is topologically conjugate to an adding machine map if and only if X is an infinite minimal set for f and each point of X is regularly recurrent. Moreover, if X is an infinite minimal set for f and one point of X is regularly recurrent, then f is semiconjugate to an adding machine map.     

非线性控制系统的最小实现

对于那些由代数微分方程描述的具有输入输出关系的非线性控制系统，本文采用两种方法讨论了其最小实现问题：一种方法是直接计算系统的特征列；另一种方法则采用了本原元定理．两种方法给出的最小实现所需的状态变量最小数目是相等的．文中的大量代数与微分运算则可利用数学机械化来完成     

The set of toric minimal log discrepancies

We describe the set of minimal log discrepancies of toric log varieties, and study its accumulation points. This work is supported by a 21st Century COE Kyoto Mathematics Fellowship, and a JSPS Grant-in-Aid No 17740011.     

Achievable sets, brambles, and sparse treewidth obstructions

One consequence of the graph minor theorem is that for every k there exists a finite obstruction set Obs(TW?k). However, relatively little is known about these sets, and very few general obstructions are known. The ones that are known are the cliques, and graphs which are formed by removing a few edges from a clique. This paper gives several general constructions of minimal forbidden minors which are sparse in the sense that the ratio of the treewidth to the number of vertices n does not approach 1 as n approaches infinity. We accomplish this by a novel combination of using brambles to provide lower bounds and achievable sets to demonstrate upper bounds. Additionally, we determine the exact treewidth of other basic graph constructions which are not minimal forbidden minors.     

Dupin hypersurfaces with four principal Curvatures,II

If M is an isoparametric hypersurface in a sphere S ⁿ with four distinct principal curvatures, then the principal curvatures κ₁, . . . , κ₄ can be ordered so that their multiplicities satisfy m ₁ = m ₂ and m ₃ = m ₄, and the cross-ratio r of the principal curvatures (the Lie curvature) equals −1. In this paper, we prove that if M is an irreducible connected proper Dupin hypersurface in R ⁿ (or S ⁿ ) with four distinct principal curvatures with multiplicities m ₁ = m ₂ ≥ 1 and m ₃ = m ₄ = 1, and constant Lie curvature r = −1, then M is equivalent by Lie sphere transformation to an isoparametric hypersurface in a sphere. This result remains true if the assumption of irreducibility is replaced by compactness and r is merely assumed to be constant.      

Pairwise Correlations in a Multicomponent Anisotropic Liquid

We investigate a multicomponent anisotropic liquid system. The first spatial moment of the direct correlation function is taken into account to obtain asymptotic expressions for the pairwise correlation functions. In this approximation, we obtain the pairwise correlation functions that describe the system behavior not only in the critical-state neighborhood but also in the noncritical domain. We show that the critical parameters for the anisotropic system differ from those for the isotropic system.     

Codimension-one minimal projections onto Haar subspaces

Let H_n be an n-dimensional Haar subspace of and let H_n−1 be a Haar subspace of H_n of dimension n−1. In this note we show (Theorem 6) that if the norm of a minimal projection from H_n onto H_n−1 is greater than 1, then this projection is an interpolating projection. This is a surprising result in comparison with Cheney and Morris (J. Reine Angew. Math. 270 (1974) 61 (see also (Lecture Notes in Mathematics, Vol. 1449, Springer, Berlin, Heilderberg, New York, 1990, Corollary III.2.12, p. 104) which shows that there is no interpolating minimal projection from C[a,b] onto the space of polynomials of degree n, (n2). Moreover, this minimal projection is unique (Theorem 9). In particular, Theorem 6 holds for polynomial spaces, generalizing a result of Prophet [(J. Approx. Theory 85 (1996) 27), Theorem 2.1].     

De Sitter空间中具有常均曲率的类空超曲面（Ⅱ）

设Ｍ＾ｎ是Ｄｅ Ｓｉｔｔｅｒ空间Ｓ１＾ｎ＋１中具有常数平均曲率且第二基本形式长度的平方为常数的完备类空超曲面，若Ｓ≤２（ｎ－１）＾１／２，则Ｍ＾ｎ是等参超曲面。     

The existence of minimal large positive solutions for a class of nonlinear cooperative systems

In this paper we establish the existence of the minimal large positive solution for a general class of nonlinear cooperative systems including the simplest prototype of García-Melián et al. (2016). Precisely, based on the existence of a large positive supersolution, we can infer the existence of the minimal large positive solution. Moreover, we also give some sufficient easily computable conditions for the existence of a large positive supersolution. Our results generalize, very substantially, some of the findings of García-Melián et al. (2016) adopting a rather novel methodology.