The element number of the convex regular polytopes

Let Σ be a set of n-dimensional polytopes. A set Ω of n-dimensional polytopes is said to be an element set for Σ if each polytope in Σ is the union of a finite number of polytopes in Ω identified along (n − 1)-dimensional faces. In this paper, we consider the n-dimensional polytopes in general, and extend the notion of element sets to higher dimensions. In particular, we will show that in the 4-space, the element number of the six convex regular polychora is at least 2, and in the n-space (n ≥ 5), the element number is 3, unless n + 1 is a square number.     

Switching Sets Regolari E Cubiche Rigate Di P G (5, q ) Piani Di Tralsazione Ad Essi Associati G (5, q ) Piani Di Tralsazione Ad Essi Associati

In a recent paper, the authors studied some algebraic hypersurfaces of the third order in the projective spacePG(5,q) and they called them ruled cubics, since they possess three systems of planes. Any two of these constitute a regular switching set and furthermore, if Σ is a given regular spread ofPG(5,q), one of the three systems is contained in Σ. The subject of this note is to prove, conversely, that every regular switching set (Φ, Φ′) with Φ ⊂ Σ is a ruled cubic and to construct, for a generic choice of the projective reference system inP G(5,q), the quasifield which coordinatizes the translation plane Π associated with the spread (Σ − Φ) ∪ Φ′. The planes Π, of orderq ³, are a generalization of the finite Hall planes.     

Sails and Hilbert bases

A Klein polyhedron is the convex hull of the nonzero integral points of a simplicial coneC⊂ ℝⁿ. There are relationships between these polyhedra and the Hilbert bases of monoids of integral points contained in a simplicial cone. In the two-dimensional case, the set of integral points lying on the boundary of a Klein polyhedron contains a Hilbert base of the corresponding monoid. In general, this is not the case if the dimension is greater than or equal to three (e.g., [2]). However, in the three-dimensional case, we give a characterization of the polyhedra that still have this property. We give an example of such a sail and show that our criterion does not hold if the dimension is four. CEREMADE, University Paris 9. Translated from Funktsional'nyi Analiz i Ego Prilozheniya, Vol. 34, No. 2, pp. 43–49, April–June, 2000. Translated by J.-O. Moussafir     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities are finite for all if and only if ∂Ω and ∂Π do not contain isolated points. This work was supported by a grant of the Deutsche Forschungsgemeinschaft for F. G. Avkhadiev.     

A souslin operation for Π 2 1

Throughout this paper we assume the existence of a measureable cardinal. Membership in a Π ₂ ¹ set of reals is shown to be equivalent to the existence of an infinite path in a tree ℐ* of pairs of finite sequences of natural numbers and ordinals. This is used to prove that every Π ₂ ¹ relation can be uniformized by a Π ₂ ¹ function. One gets that under certain assumptions the Shoenfield Absoluteness Theorem holds for Σ ₃ ¹ statements, that Π ₃ ¹ sets include perfect subsets and that Σ ₃ ¹ sets are Lebesgue measureable and have the Baire Property.     

Boundary Asymptotic Analysis for an Incompressible Viscous Flow: Navier Wall Laws

We consider a new way of establishing Navier wall laws. Considering a bounded domain Ω of R ^N , N=2,3, surrounded by a thin layer Σ _ε , along a part Γ₂ of its boundary ∂Ω, we consider a Navier-Stokes flow in Ω∪∂Ω∪Σ _ε with Reynolds’ number of order 1/ε in Σ _ε . Using Γ-convergence arguments, we describe the asymptotic behaviour of the solution of this problem and get a general Navier law involving a matrix of Borel measures having the same support contained in the interface Γ₂. We then consider two special cases where we characterize this matrix of measures. As a further application, we consider an optimal control problem within this context.     

Σ-Bounded algebraic systems and universal functions. I

We introduce the concept of a Σ-bounded algebraic system and prove that if a system is Σ- bounded with respect to a subset A then in a hereditarily finite admissible set over this system there exists a universal Σ-function for the family of functions definable by Σ-formulas with parameters in A. We obtain a necessary and sufficient condition for the existence of a universal Σ-function in a hereditarily finite admissible set over a Σ-bounded algebraic system. We prove that every linear order is a Σ-bounded system and in a hereditarily finite admissible set over it there exists a universal Σ-function.     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

Scattering Rigidity for Analytic Riemannian Manifolds with a Possible Magnetic Field

Consider a compact manifold M with boundary ∂ M endowed with a Riemannian metric g and a magnetic field Ω. Given a point and direction of entry at the boundary, the scattering relation Σ determines the point and direction of exit of a particle of unit charge, mass, and energy. In this paper we show that a magnetic system (M,∂ M,g,Ω) that is known to be real-analytic and that satisfies some mild restrictions on conjugate points is uniquely determined up to a natural equivalence by Σ. In the case that the magnetic field Ω is taken to be zero, this gives a new rigidity result in Riemannian geometry that is more general than related results in the literature.     

Non-wandering sets of the powers of maps of a tree

Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( fⁿ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( fⁿ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f^k) = Ω(f^kn) for each continuous map f of T.     

Basic Propositional Calculus II. Interpolation

Let ℒ and ? be propositional languages over Basic Propositional Calculus, and ℳ = ℒ∩?. Weprove two different but interrelated interpolation theorems. First, suppose that Π is a sequent theory over ℒ, and Σ∪ {C⇒C′} is a set of sequents over ?, such that Π,Σ⊢C⇒C′. Then there is a sequent theory Φ over ℳ such that Π⊢Φ and Φ, Σ⊢C⇒C′. Second, let A be a formula over ℒ, and C ₁, C ₂ be formulas over ?, such that A∧C ₁⊢C ₂. Then there exists a formula B over ℳ such that A⊢B and B∧C ₁⊢C ₂. Received: 7 January 1998 / Published online: 18 May 2001     

Nondegeneracy of Polyhedra and Linear Programs

This paper deals with nondegeneracy of polyhedra andlinear programming (LP) problems. We allow for the possibilitythat the polyhedra and the feasible polyhedra of the LPproblems under consideration be non-pointed.(A polyhedron is pointed if it has a vertex.) With respect to a given polyhedron, we consider two notions ofnondegeneracy and then provide several equivalent characterizationsfor each of them. With respect to LP problems, we study thenotion of constant cost nondegeneracy first introduced byTsuchiya [25] under a different name, namelydual nondegeneracy. (We do not follow this terminology sincethe term dual nondegeneracy is already used to refer to a relatedbut different type of nondegeneracy.) We show two main results about constant cost nondegeneracy of an LP problem.The first one shows that constant cost nondegeneracy of an LPproblem is equivalent to the condition that the union of all minimal faces of the feasible polyhedron be equal to the set of feasible points satisfying a certain generalized strict complementarity condition.When the feasible polyhedron of an LP is nondegenerate,the second result showsthat constant cost nondegeneracy is equivalent to the conditionthat the set of feasible points satisfying the generalizedcondition be equal to the set of feasible points satisfyingthe same complementarity condition strictly.For the purpose of giving a preview of the paper,the above results specialized to the context of polyhedra and LP problems in standard form are described in the introduction.     

Index sets of computable structures

The index set of a computable structure is the set of indices for computable copies of . We determine complexity of the index sets of various mathematically interesting structures including different finite structures, ℚ-vector spaces, Archimedean real-closed ordered fields, reduced Abelian p-groups of length less than ω², and models of the original Ehrenfeucht theory. The index sets for these structures all turn out to be m-complete Π _n ⁰ , d-Σ _n ⁰ , or Σ _n ⁰ , for various n. In each case the calculation involves finding an optimal sentence (i.e., one of simplest form) that describes the structure. The form of the sentence (computable Π_n, d-Σ_n, or Σ_n) yields a bound on the complexity of the index set. Whenever we show m-completeness of the index set, we know that the sentence is optimal. For some structures, the first sentence that comes to mind is not optimal, and another sentence of simpler form is shown to serve the purpose. For some of the groups, this involves Ramsey’s theory. Supported by the NSF grants DMS-0139626 and DMS-0353748. Supported by the NSF grant DMS-0502499 and by the Columbian Research Fellowship of the George Washington University. Supported by the NSF grant DMS-0353748. __________ Translated from Algebra i Logika, Vol. 45, No. 5, pp. 538–574, September–October, 2006.     

Vertex-faithful regular polyhedra

We study the abstract regular polyhedra with automorphism groups that act faithfully on their vertices, and show that each non-flat abstract regular polyhedron covers a “vertex-faithful” polyhedron with the same number of vertices. We then use this result and earlier work on flat polyhedra to study abstract regular polyhedra based on the size of their vertex set. In particular, we classify all regular polyhedra where the number of vertices is prime or twice a prime. We also construct the smallest regular polyhedra with a prime squared number of vertices.     

The Dirichlet problem for the minimal surface equation in non-regular domains

Summary In this paper we study the Dirichlet problem for the minimal surface equation in a open set Ω without any assumption about the regularity of ϖΩ. We prove an existence theorem using only the pseudoconvexity of Ω.

---

Riassunto In questo lavoro studiamo il problema di Dirichlet per l'equazione delle superfici minime in un aperto Ω diR ⁿ sulla cui frontiera non si fa nessuna ipotesi di regolarità. Si ottiene un teorema di esistenza usando la sola pseudoconvessità di Ω.

     

Critical Points of Wang�CYau Quasi-Local Energy

In this paper, we prove the following theorem regarding the Wang–Yau quasi-local energy of a spacelike two-surface in a spacetime: Let Σ be a boundary component of some compact, time-symmetric, spacelike hypersurface Ω in a time-oriented spacetime N satisfying the dominant energy condition. Suppose the induced metric on Σ has positive Gaussian curvature and all boundary components of Ω have positive mean curvature. Suppose H ≤ H ₀ where H is the mean curvature of Σ in Ω and H ₀ is the mean curvature of Σ when isometrically embedded in \mathbb R³{\mathbb R^3} . If Ω is not isometric to a domain in \mathbb R³{\mathbb R^3}, then

Generalization of theorems of Szász and Ruscheweyh on exact bounds for derivatives of analytic functions

Let Ω and Π be two domains in the extended complex plane equipped by the Poincaré metric. In this paper we obtain analogs of Schwarz-Pick type inequalities in the class A(Ω, gH) = {f: Ω → Π} of functions locally holomorphic in Ω; for the domain Ω we consider the exterior of the unit disk and the upper half-plane. The obtained results generalize the well-known theorems of Szász and Ruscheweyh about the exact estimates of derivatives of analytic functions defined on the disk |z| < 1.     

Schwarz—Pick Inequalities for Derivatives of Arbitrary Order

   Abstract. Let Ω and Π be two simply connected domains in the complex plane C which are not equal to the whole plane C and let λ _Ω and λ _Π denote the densities of the Poincare metric in Ω and Π , respectively. For f: Ω → Π analytic in Ω , inequalities of the type

On linear isometries of Banach lattices in <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(Ω)-spaces

Consider the space C0(Ω) endowed with a Banach lattice-norm ‖ · ‖ that is not assumed to be the usual spectral norm ‖ · ‖_∞ of the supremum over Ω. A recent extension of the classical Banach-Stone theorem establishes that each surjective linear isometry U of the Banach lattice (C ₀(Ω), ‖ · ‖) induces a partition Π of Ω into a family of finite subsets S ⊂ Ω along with a bijection T: Π → Π which preserves cardinality, and a family [u(S): S ∈ Π] of surjective linear maps u(S): C(T(S)) → C(S) of the finite-dimensional C*-algebras C(S) such that