Relative Stanley–Reisner theory and Upper Bound Theorems for Minkowski sums

In this paper we settle two long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed facets of Minkowski sums. This has a wide range of applications and generalizes the classical Upper Bound Theorems of McMullen and Stanley.Our main observation is that within (relative) Stanley–Reisner theory, it is possible to encode topological as well as combinatorial/geometric restrictions in an algebraic setup. We illustrate the technology by providing several simplicial isoperimetric and reverse isoperimetric inequalities in addition to our treatment of Minkowski sums.     

Extensions of orthosymmetric lattice bimorphisms revisited

This note furnishes an example illustrating the following two facts. On the one hand, there exist Archimedean Riesz spaces and with Dedekind-complete and an orthosymmetric lattice bimorphism with lattice bimorphism extension which is not orthosymmetric, where denotes the Dedekind-completion of . On the other hand, there is an associative -multiplication in the same Archimedean Riesz space which extends to a -multiplication in which is not associative. The existence of such an example provides counterexamples to assertions in Toumi, 2005.

     

Daubechies–Matzinger wavelets and Lorentz polynomials

We construct new compactly supported wavelets and investigate their asymptotic regularity; they appear to be more regular than the Daubechies ones. These new wavelets are associated to Bernstein–Lorentz polynomials (Daubechies–Volkmer’s wavelets) and Hermite–Féjer polynomials (Lemarié–Matzinger’s wavelets) and this property enables us to derive some improved regularity ratio bounds. This revised version was published online in June 2006 with corrections to the Cover Date.     

Zero-Dimensional Imbeddability

In this article, we try to understand which generically complete intersection monomial ideals with fixed radical are Cohen–Macaulay. We are able to give a complete characterization for a special class of simplicial complexes, namely the Cohen–Macaulay complexes without cycles in codimension 1. Moreover, we give sufficient conditions when the square-free monomial ideal has minimal multiplicity.     

Non Deterministic Classical Logic: The λμ++ ‐calculus

In this paper, we present an extension of λμ‐calculus called λμ⁺⁺‐calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel‐or.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

A ruled residue theorem for function fields of conics

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from 2 this theorem is extended here to function fields of conics. The main result is that there is at most one extension of a valuation on the base field to the function field of a conic for which the residue field extension is transcendental but not ruled. Furthermore the situation when this valuation is present is characterised.     

On quadratic fields with large 3-rank

Davenport and Heilbronn defined a bijection between classes of binary cubic forms and classes of cubic fields, which has been used to tabulate the latter. We give a simpler proof of their theorem then analyze and improve the table-building algorithm. It computes the multiplicities of the general cubic discriminants (real or imaginary) up to in time and space , or more generally in time and space for a freely chosen positive . A variant computes the -ranks of all quadratic fields of discriminant up to with the same time complexity, but using only units of storage. As an application we obtain the first real quadratic fields with , and prove that is the smallest imaginary quadratic field with -rank equal to .