Master corner polyhedron: Vertices

We focus on the vertices of the master corner polyhedron (MCP), a fundamental object in the theory of integer linear programming. We introduce two combinatorial operations that transform vertices to their neighbors. This implies that each MCP can be defined by the initial vertices regarding these operations; we call them support vertices. We prove that the class of support vertices of all MCPs over a group is invariant under automorphisms of this group and describe MCP vertex bases. Among other results, we characterize its irreducible points, establish relations between a vertex and the nontrivial facets that pass through it, and prove that this polyhedron is of diameter 2.     

判定P_n(Γ)的Hilbert基的一个充要

设Γ是一作用在R^n上的紧李群，P_n(Γ)是Γ不变的多项式芽构成的环. Hilbert-Weyl定理证明了对于P_n(Γ)总存在一组由Γ不变的齐次多项式芽组成的Hilbert基. 然而，如何从Γ不变的齐次多项式芽中选出一组Hilbert基？如何判定Γ不变的齐次多项式芽的一个有限集就是P_n(Γ)的一组Hilbert基？该文借助于Noether环和不变积分的某些基本性质以及奇点理论的有关定理，证明了判定P_n(Γ)的Hilbert基的一个充要条件. 这对某些P_n(Γ)提供了计算一组Hilbert基的新途径.     

On the 3-Pfister Number of Quadratic Forms

For a field F of characteristic different from 2, containing a square root of -1, endowed with an F^×2-compatible valuation v such that the residue field has at most two square classes, we use a combinatorial analogue of the Witt ring of F to prove that an anisotropic quadratic form over F with even dimension d, trivial discriminant, and Hasse–Witt invariant can be written in the Witt ring as the sum of at most (d²)/8 3-fold Pfister forms.     

Dehn Invariant and Scissors Congruence of Flexible Polyhedra

We prove that the Dehn invariant of any flexible polyhedron in n-dimensional Euclidean space, where n ≥ 3, is constant during the flexion. For n = 3 and 4 this implies that any flexible polyhedron remains scissors congruent to itself during the flexion. This proves the Strong Bellows Conjecture posed by R. Connelly in 1979. It was believed that this conjecture was disproved by V. Alexandrov and R. Connelly in 2009. However, we find an error in their counterexample. Further, we show that the Dehn invariant of a flexible polyhedron in the n-dimensional sphere or n-dimensional Lobachevsky space, where n ≥ 3, is constant during the flexion whenever this polyhedron satisfies the usual Bellows Conjecture, i.e., whenever its volume is constant during every flexion of it. Using previous results of the first named author, we deduce that the Dehn invariant is constant during the flexion for every bounded flexible polyhedron in odd-dimensional Lobachevsky space and for every flexible polyhedron with sufficiently small edge lengths in any space of constant curvature of dimension at least 3.     

Das zariskische Diskriminantenkriterium und die Fortsetzung von Derivationen

Let A be a reduced equidimensional local analytic algebra and let R?A be a regular local “parametrization” of A. Then the Zariski discriminant criterion can be stated as follows: If A is a simple extension of R, i.e. A=R[x] for a certain x, and if the (reduced) discriminant locus S in R of A is smooth, then A is “lipschitz-meromorphically” trivial along S; this means that every derivation of R leaving S invariant can be extended to the relative saturation Ã^R of A over R.- In this paper quite generally (i.e. not only for the case of a simple extension) the following question is considered: Which conditions should a derivation of R satisfy in order that it leaves invariant the ring Ã^R?     

Über Bewertungen,welche unter einer reduktiven Gruppe invariant sind

Summary LetG be a reductive group defined over an algebraically closed fieldk and letX be aG-variety. In this paper we studyG-invariant valuationsv of the fieldK of rational functions onX. These objects are fundamental for the theory of equivariant completions ofX. LetB be a Borel subgroup andU the unipotent radical ofB. It is proved thatv is uniquely determined by its restriction toK ^U . Then we study the set of invariant valuations having some fixed restrictionv ₀, toK ^B . Ifv ₀ is geometric (i.e., induced by a prime divisor) then this set is a polyhedron in some vector space. In characteristic zero we prove that this polyhedron is a simplicial cone and in fact the fundamental domain of finite reflection groupW ^X . Thus, the classification of invariant valuations is almost reduced to the classification of valuations ofK ^B .

Unterstützt durch den Schweizerischen Nationalfonds zur Förderung der wissenschaftlichen Forschung.     

On lattice points in polyhedral cross-sections

(a) We prove that the convex hull of anyk ^d +1 points of ad-dimensional lattice containsk+1 collinear lattice points. (b) For a convex polyhedron we consider the numbers of its lattice points in consecutive parallel lattice hyperplanes (levels). We prove that if a polyhedron spans no more than 2 ^d−1 levels, then this string of numbers may be arbitrary. On the other hand, we give an example of a string of 2 ^d−1+1 numbers to which no convex polyhedron corresponds inR ^d .     

Ideal invariance and localization

We give an new proof for the main theorem of [8], ie. that a right-noetherian right-a-homogeneous right-weakly ideal invariant ring has a right-artinian classical right-quotient ring, relating it to the a-tors-ion theory; and we show that for weakly ideal invariant rings satisfying | R/P |_l = | R/P |_r for all prime ideals P , the clans are Krull homogeneous and can be characterized by various kinds of links.     

Wavelet Bases on the Sphere Obtained by Radial Projection

We present a method for constructing wavelet bases on the unit sphere S² of R³, using the radial projection and an inner product associated to a convex polyhedron having the origin inside. The main advantage of this method is the avoidance of singularities and distortions around poles, which occur in other approaches. Also, we can obtain spherical wavelets with small support, a fact which is crucial in working with large amounts of data, since the algorithms deal with sparse matrices.     

Maxwell and Lamé eigenvalues on polyhedra

In a convex polyhedron, a part of the Lamé eigenvalues with hard simple support boundary conditions does not depend on the Lamé coefficients and coincides with the Maxwell eigenvalues. The other eigenvalues depend linearly on a parameter s linked to the Lamé coefficients and the associated eigenmodes are the gradients of the Laplace–Dirichlet eigenfunctions. In a non‐convex polyhedron, such a splitting of the spectrum disappears partly or completely, in relation with the non‐H² singularities of the Laplace–Dirichlet eigenfunctions. From the Maxwell equations point of view, this means that in a non‐convex polyhedron, the spectrum cannot be approximated by finite element methods using H¹ elements. Similar properties hold in polygons. We give numerical results for two L‐shaped domains. Copyright © 1999 John Wiley & Sons, Ltd.     

The Derksen invariant vs. the Makar-Limanov invariant

In this article it is shown that the Makar-Limanov invariant of a ring (or variety) can be trivial while the Derksen invariant is not, and vice versa.

     

A Rigidity Criterion for Non-Convex Polyhedra

Let P be a (non-necessarily convex) embedded polyhedron in R³, with its vertices on the boundary of an ellipsoid. Suppose that the interior of $P$ can be decomposed into convex polytopes without adding any vertex. Then P is infinitesimally rigid. More generally, let P be a polyhedron bounding a domain which is the union of polytopes C₁, . . ., C_n with disjoint interiors, whose vertices are the vertices of P. Suppose that there exists an ellipsoid which contains no vertex of P but intersects all the edges of the C_i. Then P is infinitesimally rigid. The proof is based on some geometric properties of hyperideal hyperbolic polyhedra.     

Ideal-Symmetric and Semiprime Rings

Lambek extended the usual commutative ideal theory to ideals in noncommutative rings, calling an ideal A of a ring R symmetric if rst ∈ A implies rts ∈ A for r, s, t ∈ R. R is usually called symmetric if 0 is a symmetric ideal. This naturally gives rise to extending the study of symmetric ring property to the lattice of ideals. In the process, we introduce the concept of an ideal-symmetric ring. We first characterize the class of ideal-symmetric rings and show that this ideal-symmetric property is Morita invariant. We provide a method of constructing an ideal-symmetric ring (but not semiprime) from any given semiprime ring, noting that semiprime rings are ideal-symmetric. We investigate the structure of minimal ideal-symmetric rings completely, finding two kinds of basic forms of finite ideal-symmetric rings. It is also shown that the ideal-symmetric property can go up to right quotient rings in relation with regular elements. The polynomial ring R[x] over an ideal-symmetric ring R need not be ideal-symmetric, but it is shown that the factor ring R[x]/xⁿR[x] is ideal-symmetric over a semiprime ring R.     

三维空间中的有理样条插值

对三维空间某个多面体区域的四面体剖分，通过在每个四面体胞腔的棱和顶点设置适当的插值结点．本文给出了（１，１）型Ｃ⁰及Ｃ¹光滑的非奇异有理样条存在的充分必要条件．     

INVARIANT FIELDS AND LOCALIZED INVARIANT RINGS OF p-GROUPS

It is well known that for a p-group, the invariant field ispurely transcendental (T. Miyata, Invariants of certain groupsI, Nagoya Math. J. 41 (1971), 69–73). In this note, weshow that a minimal generating set of this field can be chosenas homogeneous invariants from the invariant ring. As a result,we show that the invariant ring localized at one suitable invariantis the localization of a polynomial subring at this same invariant.This second result is a generalization of a recent result ofthe first author for cyclic groups of order p (H. E. A. Campbell,Rings of invariants of representations of C_p in characteristicp, preprint, 2006). As well, we specialize these results tothis latter case.     

Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm

We show that every orthogonal polyhedron homeomorphic to a sphere can be unfolded without overlap while using only polynomially many (orthogonal) cuts. By contrast, the best previous such result used exponentially many cuts. More precisely, given an orthogonal polyhedron with n vertices, the algorithm cuts the polyhedron only where it is met by the grid of coordinate planes passing through the vertices, together with Θ(n ²) additional coordinate planes between every two such grid planes.     

Total Curvature and Spiralling Shortest Paths

This paper gives a partial confirmation of a conjecture of Agarwal, Har-Peled, Sharir, and Varadarajan that the total curvature of a shortest path on the boundary of a convex polyhedron in R ³ cannot be arbitrarily large. It is shown here that the conjecture holds for a class of polytopes for which the ratio of the radii of the circumscribed and inscribed ball is bounded. On the other hand, an example is constructed to show that the total curvature of a shortest path on the boundary of a convex polyhedron in R ³ can exceed 2. Another example shows that the spiralling number of a shortest path on the boundary of a convex polyhedron can be arbitrarily large.     

The Direct Summand Property in Modular Invariant Theory

In nonmodular invariant theory of finite groups, the invariant ring is always a direct summand of the full polynomial ring. This is no longer generally true in modular invariant theory, but nevertheless interesting examples are known where this happens. We give useful characterisations of the direct summand property in terms of the image of a twisted transfer map. For example, for p-groups acting in characteristic p the direct summand property holds if and only if the image of the ordinary transfer is a principal ideal; and in that case the group is generated by transvections. We also extend some known results in the nonmodular case to where only the direct summand property is assumed, e.g., the invariant ring is always generated by its elements of degree at most the order of the group.     

Espace des modules de certains polyèdres projectifs miroirs

A projective mirror polyhedron is a projective polyhedron endowed with reflections across its faces. We construct an explicit diffeomorphism between the moduli space of a mirror projective polyhedron with fixed dihedral angles in (0,\fracp2]{(0,\frac{\pi}{2}]}, and the union of n copies of \mathbbR^d{\mathbb{R}^{d}}, when the polyhedron has the combinatorics of an ecimahedron, an infinite class of combinatorial polyhedra we introduce here. Moreover, the integers n and d can be computed explicitly in terms of the combinatorics and the fixed dihedral angles.     

Characterizations of efficient solutions under polyhedrality assumptions

Summary We give several characterizations of efficient solutions of subsets ofR ^p (with respect to compatible preorders) in terms of the lexicographical order, under the assumptions that the set of admissible points is a convex polyhedron or the nonnegative cone corresponding to the preorder is polyhedral. We also characterize the lexicographical minimum of a convex polyhedron by means of the componentwise order and unitary lower triangular matrices.Financial support from the Dirección General de Investigación Cientifica y Técnica (DGICYT), under project PS89-0058, is gratefully acknowledged.