Charakterisierung semisimplizialer Mengen durch Unterteilung und Graphen

We define a subdivision functor G for semisimplicial sets such that GXGY implies XY for all pairs of semisimplicial sets X, Y and (GX)¹(GY)¹ implies XY, too, but only, as far as we know, for pairs of weakly degenerate semisimplicial sets X, Y. These results are analogous to theorems on simplicial complexes which have been proved by Finney [1] and Segal [6].

---

---

In der Literatur werden semisimpliziale Mengen auch oft als complete semisimplicial complexes, abgekürzt css complexes bezeichnet. Wir halten uns hier im wesentlichen an die Terminologie von K. Lamotke [5].     

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

Sufficiency-Type Stability and Stabilization Criteria for Linear Time-Invariant Systems with Constant Point Delays

A set of criteria of asymptotic stability for linear and time-invariant systems with constant point delays are derived. The criteria are concerned with -stability local in the delays and -stability independent of the delays, namely, stability with all the characteristic roots in Res–<0 for all delays in some defined real intervals including zero and stability with characteristic roots in Res<–<0 as 0⁺ for all possible values of the delays, respectively. The results are classified in several groups according to the technique dealt with. The used techniques include both Lyapunov's matrix inequalities and equalities and Gerschgorin's circle theorem. The Lyapunov's inequalities are guaranteed if a set of matrices, built from the matrices of undelayed and delayed dynamics, are stability matrices. Some extensions to robust stability of the above results are also discussed.     

On the Cesàro summability of orthogonal sequences

(C, ). , . 0<<1. 1) - ( _k ), _k =a _k , (C, ), . 2) , , (C, ) ; _k = =¦a _k ¦.     

Perron-frobenius theory for Banach spaces with a hyperbolic cone

If X is a real Banach space, then the inequality x defines so-called hyperbolic cone in E=X. We develop a relevant version of Perron-Frobenius-Krein-Rutman theory.     

Minimality of derivative chains,corresponding to a boundary value problem on a finite segment

One investigates the minimality of derivative chains, constructed from the root vectors of polynomial pencils of operators, acting in a Hilbert space. One investigates in detail the quadratic pencil of operators. In particular, for L()=L₀+L₁+²L₂ with bounded operators L₀0, L₂0 and Re L₁0, one shows the minimality in the space_173-02 of the system {x_k, _kekx_k}, where x_k are eigenvectors of L(), corresponding to the characteristic numbers _kin the deleted neighborhoods of which one has the representation L^–1()=(–_k)^–1R_K+W_K() with one-dimensional operators R_k and operator-valued functions W_K(), k=1, 2, ..., analytic for =_k.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 195–205, February, 1990.     

The interactive fixed charge inhomogeneous flows optimization problem

An optimization problem of interactive inhomogenous flows (Steiner multicommodity network flow problem) is formulated. The problem's main characteristic is a fixed charge change when combining multicommodity communications. In this paper we propose a method for solving this problem which, in order to restrict the search on the feasible domain, reduces the original problem to a concave programming problem in the form: min {f(x)|xX} wheref:ⁿ is a concave function, andX ₀ ⁿ is a flow polytope defined by network transportation constraints. For practical large-scale problems arising from planning transportation networks on inhomogeneous surfaces defined by a digital model, a method of local optimization over a flow polytope vertex set is proposed, which is far more effective in comparison with the Gallo and Sodini method under polytope strong degeneracy conditions.     

A r (Ω)-Weighted Imbedding Inequalities for A-Harmonic Tensors

We prove the basic A _r ()-weighted imbedding inequalities for A-harmonic tensors. These results can be used to estimate the integrals for A-harmonic tensors and to study the integrability of A-harmonic tensors and the properties of the homotopy operator T: C (D, ^l )C (D, ^l–1).     

Nonlinear programming,approximation, and optimization on infinitely differentiable functions

A nonnegative, infinitely differentiable function defined on the real line is called a Friedrichs mollifier function if it has support in [0, 1] and ₀ ¹ (t)dt=1. In this article, the following problem is considered. Determine _k =inf ₀ ¹ |^(k)(t)|dt,k=1, 2, ..., where ^(k) denotes thekth derivative of and the infimum is taken over the set of all mollifier functions , which is a convex set. This problem has applications to monotone polynomial approximation as shown by this author elsewhere. The problem is reducible to three equivalent problems, a nonlinear programming problem, a problem on the functions of bounded variation, and an approximation problem involving Tchebycheff polynomials. One of the results of this article shows that _k =k!2^2k–1,k=1, 2, .... The numerical values of the optimal solutions of the three problems are obtained as a function ofk. Some inequalities of independent interest are also derived.This research was supported in part by the National Science Foundation, Grant No. GK-32712.     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

Uniform boundedness of a family of set functions

Let be a ring of sets, X a normed space, : X ( ) a bounded family of triangular functions. The following generalized Nikodym theorem is established: the family {} is uniformly bounded on if and only if it is bounded on every sequence of pairwise disjoint sets of which the union is a part of some set in . An analogous criterion is established also for semiadditive functions. In addition, it is shown that uniform boundedness of a family of triangular functions is preserved in passing from a ring to the -ring it generates.Translated from Matematicheskie Zametki, Vol. 23, No. 6, pp. 855–861, June, 1978.     

More pathological examples for network flow problems

Two examples are presented. The first example is bad for a large subset of the primal minimum cost flow algorithms, namely those algorithms which start with the required amount ofs – t flow distributed in a feasible, but nonoptimal manner, and which get optimal by sending flow about negative cycles. In particular, the example is bad for the primal method which always sends flow about a cycle which yields the largest decrease in the objective function.The second example requires O(n ³) flow augmentations using tie-breaking variants of either the Edmonds—Karp shortest path or fewest reverse arcs in path maximum flow algorithms. This example implies that it is not possible to substantially improve the performance (in a worst case sense) of either algorithm by resolving ties.     

On the Riemann derivatives ofC sP-integrable functions

[4] , .     

Оъ одной Задаче из Теории Процессов Размножения и Гибели

. [4].      

Plane Partitions and Characters of the Symmetric Group

In this paper we show that the existence of plane partitions, which are minimal in a sense to be defined, yields minimal irreducible summands in the Kronecker product of two irreducible characters of the symmetric group S(n). The minimality of the summands refers to the dominance order of partitions of n. The multiplicity of a minimal summand equals the number of pairs of Littlewood-Richardson multitableaux of shape (, ), conjugate content and type . We also give lower and upper bounds for these numbers.     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

Jensen inequalities for functions with higher monotonicities

Summary We investigate generalizations of the classical Jensen and Chebyshev inequalities. On one hand, we restrict the class of functions and on the other we enlarge the class of measures which are allowed. As an example, consider the inequality (J)(f(x) d) A (f(x) d, d d = 1. Iff is an arbitrary nonnegativeL _x function, this holds if 0, is convex andA = 1. Iff is monotone the measure need not be positive for (J) to hold for all convex withA = 1. If has higher monotonicity, e.g., is also convex, then we get a version of (J) withA < 1 and measures that need not be positive.     

Regularity of solutions and interfaces of a generalized porous medium equation inR N

Summary We consider the Cauchy problem for the generalized porous medium equation u_t=(u) where u=u(x, t), xRⁿ and t>0, and the initial datum u(x, 0) is assumed to be nonnegative, integrable mid to nave compact support. The nonlinearity (u) is a C¹ function defined for uO which grows like a power of u. Our assumptions generalize the porous medium case, (u)=u^m, m>1, and also include the equation of the Marshak waves. This problem has finite speed of propagation. We estimate the rate of growth of the support of the solution with precise estimates for t 0 and t. Our main result deals with the regularity of the solutions. We show that after a certain time t₀ the pressure, defined by v=(u), with (u)=(u)/u and (0)=0, is a Lipschitz-continuous function of x and t and the interface is a Lipschitz-continuous surface in R^N+1; the solution u is Hölder continuous for all times t> 0.Both authors partially supported by CAICYT, Project 2805-83. The second author also supported by USA-Spain Joint Research Grant CCB-8402023.     

The Long Dimodules Category and Nonlinear Equations

Let H be a bialgebra and _H L^H be the category of Long H-dimodules defined, for a commutative and co-commutative H, by F. W. Long and studied in connection with the Brauer group of a so-called H-dimodule algebra. For a commutative and co-commutative H, _H L^H =_H YD^H (the category of Yetter–Drinfel'd modules), but for an arbitrary H, the categories _H L^H and _H YD^H are basically different. Keeping in mind that the category _H YD^H is deeply involved in solving the quantum Yang–Baxter equation, we study the category _H L^H of H-dimodules in connection with what we have called the D-equation: R¹² R²³ = R²³ R¹², where R End_k(M M) for a vector space M over a field k. The main result is a FRT-type theorem: if M is finite-dimensional, then any solution R of the D-equation has the form R = R_{(M, , )}, where (M, , ) is a Long D(R)-dimodule over a bialgebra D(R) and R_{(M, , )} is the special map R_{(M, , )}(m n) : = n₁ m n₀. In the last section, if C is a coalgebra and I is a coideal of C, we introduce the notion of D-map on C, that is a k-bilinear map : C C / I k satisfying a condition which ensures on the one hand that, for any right C-comodule, the special map R is a solution of the D-equation and, on the other, that, in the finite case, any solution of the D-equation has this form.