Analog of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> with a subadditive measure

For a subadditive fuzzy measure (not assumed finite), a Minkowski type triangle inequality, with Choquet integrals in place of Lebesgue integrals, is shown to hold. It is immediate that the set of functions for which a certain positive power of the absolute values have finite Choquet integrals is closed under addition, leading to a linear space analogous to the Lebesgue space L ^p , with a metric related to the integral of that power. Under the additional condition that the subadditive fuzzy measure is inner continuous (Sugeno), the space is shown to be complete. Consequences of the Minkowski type inequality are illustrated in two specific instances.      

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates

The purpose of this paper is to use semiclassical analysis to unify and generalize L ^p estimates on high energy eigenfunctions and spectral clusters. In our approach these estimates do not depend on ellipticity and order, and apply to operators which are selfadjoint only at the principal level. They are estimates on weakly approximate solutions to semiclassical pseudodifferential equations. Submitted: May 11, 2006. Accepted: September 19, 2006.     

Weak interpolation in extensions of the logics <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript> and <Emphasis Type="Italic">K</Emphasis><Subscript>4</Subscript>

Conditions are specified which are necessary and sufficient for a logic over K4 to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of K4, the weak interpolation property is proved decidable. Supported by RFBR (project No. 06-01-00358) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-335.2008.1). __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 705–722, November–December, 2008.     

A new multivariable <Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript><Emphasis Type="BoldItalic">ψ</Emphasis><Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript> summation formula

By multidimensional matrix inversion, combined with an A _r extension of Jackson’s ₈ φ ₇ summation formula by Milne, a new multivariable ₈ φ ₇ summation is derived. By a polynomial argument this ₈ φ ₇ summation is transformed to another multivariable ₈ φ ₇ summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating ₆ φ ₅ summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey’s very-well-poised ₆ ψ ₆ summation formula. Partly supported by FWF Austrian Science Fund grants P17563-N13, and S9607 (the second is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”).     

Quasi Lp-Intersection Bodies

The purpose of this paper is to generalize the notion of intersection bodies to that of quasi Lp-intersection bodies. The Lp-analogs of the Busemann intersection inequality and the Brunn- Minkowski inequality for the quasi Lp-intersection bodies are obtained. The Aleksandrov Fenchel inequality for the mixed quasi Lp-intersection bodies is also established.     

On <Emphasis Type="Italic">l</Emphasis><Subscript>2,<Emphasis Type="Italic">p</Emphasis></Subscript>-circle numbers

Circle numbers are defined to reflect the Euclidean area-content and, for p ≠ 2, suitably defined non-Euclidean circumference properties of the l _2,p -circles, p ∈ [1, ∞]. The resulting function is continuous, increasing, and takes all values from [2, 4]. The actually chosen dual l _2,p -geometry for measuring the arc-length is closely connected with a generalization of the method of indivisibles of Cavalieri and Torricelli in the sense that integrating such arc-lengths means measuring area content. Moreover, this approach enables one to look in a new way into the co-area formula of measure theory which says that integrating Euclidean arc-lengths does not yield area content except for p = 2. The new circle numbers play a natural role, e.g., as norming constants in geometric measure representation formulae for p-generalized uniform probability distributions on l _2,p -circles.     

Polyhedral <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">2</Emphasis></Subscript>

 Using elementary graded automorphisms of polytopal algebras (essentially the coordinate rings of projective toric varieties) polyhedral versions of the group of elementary matrices and the Steinberg and Milnor groups are defined. They coincide with the usual K-theoretic groups in the special case when the polytope is a unit simplex and can be thought of as compact/polytopal substitutes for the tame automorphism groups of polynomial algebras. Relative to the classical case, many new aspects have to be taken into account. We describe these groups explicitly when the underlying polytope is 2-dimensional. Already this low-dimensional case provides interesting classes of groups. Received: 13 December 2001 / Revised version: 24 June 2002 The second author was supported by the Deutsche Forschungsgemeinschaft, INTAS grant 99-00817 and TMR grant ERB FMRX CT-97-0107 Mathematics Subject Classification (2000): 14L27, 14M25, 19C09, 52B20     

Group invariance and <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-bounded operators

The Hilbert and Riesz transforms can be characterized up to scalar as the translation invariant operators that satisfy additionally certain relative invariance of conformal transformation groups. In this article, we initiate a systematic study of translation invariant operators from group theoretic viewpoints, and formalize a geometric condition that characterizes specific multiplier operators uniquely up to scalar by means of relative invariance of affine subgroups. After providing some interesting examples of multiplier operators having “large symmetry”, we classify which of these examples can be extended to continuous operators on L ^p (R ⁿ ) (1 < p < ∞). T. Kobayashi was partially supported by Grant-in-Aid for Scientific Research 18340037, Japan Society for the Promotion of Science. A. Nilsson was partially supported by Japan Society for the Promotion of Science.     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

<Emphasis Type="Italic">p</Emphasis>-Ideals in <Emphasis Type="Italic">p</Emphasis>-Regular Semirings

In this paper, we introduce p-ideals in semirings. A new form of regularity, which is compatible with p-ideals, is defined. Our aim is to explore the possibilities of establishing an ideal theory in semirings, going alongside the existing literature of semiring theory.AMS Subject Classification (2000): Primary 16Y60     

<Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-nearest neighbor estimators of entropy

For estimating the entropy of an absolutely continuous multivariate distribution, we propose nonparametric estimators based on the Euclidean distances between the n sample points and their k _n -nearest neighbors, where {k _n : n = 1, 2, …} is a sequence of positive integers varying with n. The proposed estimators are shown to be asymptotically unbiased and consistent.      

On Nilpotent Orbits of SL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> and Sp<Subscript>2<Emphasis Type="Italic">n</Emphasis></Subscript> over a Local Non-Archimedean Field

We relate the partition-type parametrization of rational (arithmetic) nilpotent adjoint orbits of the classical groups SL _n and Sp_2n over local non-Archimedean fields with a parametrization, introduced by DeBacker in 2002, which uses the associated Bruhat-Tits building to relate the question to one over the residue field.     

一种基于函数值的二元有理插值函数及其性质

利用带参数的仅以被插函数的函数值作为插值条件的一元有理插值方法,构造了一种分母为双二次的仪基于函数值的二元有理双三次插值函数,插值函数具有简洁的显示表示,插值函数中含有四个参数,当这些参数满足一定条件时,插值曲而在插值区域上C1光滑.由于插值函数中含有参数,这样可以在插值数据不变的情况下通过对参数的选择进行插值曲面的局部修改,最后讨论了插值函数的一些性质.     

An algorithm for fitting circular arcs to data using the <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">1</Emphasis></Subscript> norm

There are many applications of fitting circular arcs to data. We have for example, system control, using a computer controlled cutting machine, approximating hulls of boats, drawing and image techniques. Out of these applications comes the least squares norm to be the most commonly used criterion. This paper examines how the l ₁ norm is used which seems to be more appropriate than the use of least squares in the context of wild points in the data. An algorithm and different methods to determine the starting points are developed. However, numerical examples are given to help illustrate these methods.      

Discretization and resolution of the (<Emphasis Type="Italic">r</Emphasis>|<Emphasis Type="Italic">X</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>)-medianoid problem involving quality criteria

In this paper an extension of the (r|X _p )-medianoid on networks introduced by Hakimi (1983) is studied. In this extension the customer considers not only the distance but some characteristics of the facilities such as store size, quality of service and parking space. A new firm wants to establishr new facilities which have to compete with thep facilities that already exist in the market. The entry firm wants to find their locations and characteristics to maximize profits. Three different customer choice rules (binary, partially binary and proportional preferences) are considered. Some discretization results are obtained and a resolution procedure is proposed. The problem is solved combining a global search algorithm based on a branch and bound procedure with some combinatorial heuristics (greedy, interchange, and tabu search). Some computational experiences are presented. Partially supported by Ministerio de Ciencia y Tecnología (Spain) and FEDER, grant BFM2002-04525-C02-01.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-mixed intersection bodies

In this paper the author first introduce a new concept of L _p -dual mixed volumes of star bodies which extends the classical dual mixed volumes. Moreover, we extend the notions of L _p intersection body to L _p -mixed intersection body. Inequalities for L _p -dual mixed volumes of L _p -mixed intersection bodies are established and the results established here provide new estimates for these type of inequalities. This work was supported by the Natural Science Foundation of Zhejiang Province of China (Grant No. Y605065) and the Foundation of the Education Department of Zhejiang Province of China (Grant No. 20050392)     

Lifting elementary embeddings <Emphasis Type="Italic">j</Emphasis>: <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript> → <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript>

We describe a fairly general procedure for preserving I₃ embeddings j: V _λ → V _λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I₃ embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in which consistency was established assuming an I₁ embedding.      

Analysis of GI<Superscript><Emphasis Type="Italic">X</Emphasis></Superscript>/<Emphasis Type="Italic">M</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)//<Emphasis Type="Italic">N</Emphasis> systems with stochastic customer acceptance policy

We investigate GI ^X /M(n)//N systems with stochastic customer acceptance policy, function of the customer batch size and the number of customers in the system at its arrival. We address the time-dependent and long-run analysis of the number of customers in the system at prearrivals and postarrivals of batches and seen by customers at their arrival to the system, as well as customer blocking probabilities. These results are then used to derive the continuous-time long-run distribution of the number of customers in the system. Our analysis combines Markov chain embedding with uniformization and uses stochastic ordering as a way to bound the errors of the computed performance measures.      

Frame Wavelets with Compact Supports for L^2（R^n）

The construction of frame wavelets with compact supports is a meaningful problem in wavelet analysis. In particular, it is a hard work to construct the frame wavelets with explicit analytic forms. For a given n × n real expansive matrix A, the frame-sets with respect to A are a family of sets in R^n. Based on the frame-sets, a class of high-dimensional frame wavelets with analytic forms are constructed, which can be non-bandlimited, or even compactly supported. As an application, the construction is illustrated by several examples, in which some new frame wavelets with compact supports are constructed. Moreover, since the main result of this paper is about general dilation matrices, in the examples we present a family of frame wavelets associated with some non-integer dilation matrices that is meaningful in computational geometry.