On modules with <Emphasis Type="Italic">d</Emphasis>-Koszul-type submodules

The so-called weakly d-Koszul-type module is introduced and it turns out that each weakly d-Koszul-type module contains a d-Koszul-type submodule. It is proved that, M ∈ W H J^d（A） if and only if M admits a filtration of submodules： 0 belong to U0 belong to U1 belong to ... belong to Up = M such that all Ui/Ui-1 are d-Koszul-type modules, from which we obtain that the finitistic dimension conjecture holds in W H J^d（A） in a special case. Let M ∈ W H J^d（A）. It is proved that the Koszul dual E（M） is Noetherian, Hopfian, of finite dimension in special cases, and E（M） ∈ gr0（E（A））. In particular, we show that M ∈ W H J^d（A） if and only if E（G（M）） ∈ gr0（E（A））, where G is the associated graded functor.     

<Emphasis Type="Italic">f</Emphasis>-Vectors of barycentric subdivisions

For a simplicial complex or more generally Boolean cell complex Δ we study the behavior of the f- and h-vector under barycentric subdivision. We show that if Δ has a non-negative h-vector then the h-polynomial of its barycentric subdivision has only simple and real zeros. As a consequence this implies a strong version of the Charney–Davis conjecture for spheres that are the subdivision of a Boolean cell complex or the subdivision of the boundary complex of a simple polytope. For a general (d − 1)-dimensional simplicial complex Δ the h-polynomial of its n-th iterated subdivision shows convergent behavior. More precisely, we show that among the zeros of this h-polynomial there is one converging to infinity and the other d − 1 converge to a set of d − 1 real numbers which only depends on d. F. Brenti and V. Welker are partially supported by EU Research Training Network “Algebraic Combinatorics in Europe”, grant HPRN-CT-2001-00272 and the program on “Algebraic Combinatorics” at the Mittag-Leffler Institut in Spring 2005.     

BGP-reflection functors and cluster combinatorics

We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the “truncated simple reflections” on the set of almost positive roots Φ_≥−1 associated with a finite dimensional semi-simple Lie algebra. Combining this with the tilting theory in cluster categories developed in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054], we give a unified interpretation via quiver representations for the generalized associahedra associated with the root systems of all Dynkin types (simply laced or non-simply laced). This confirms the Conjecture 9.1 in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054] for all Dynkin types.     

Stable Grothendieck polynomials and <Emphasis Type="Italic">K</Emphasis>-theoretic factor sequences

We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of Fomin and Kirillov (Proc Formal Power Series Alg Comb, 1994) in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of Fomin and Greene (Discret Math 193:565–596, 1998) for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood–Richardson rule of Buch (Acta Math 189(1):37–78, 2002). The proof is based on a generalization of the Robinson–Schensted and Edelman–Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of Lascoux and Schützenberger (C R Acad Sci Paris Ser I Math 294(13):447–450, 1982). In particular, we provide the first K-theoretic analogue of the factor sequence formula of Buch and Fulton (Invent Math 135(3):665–687, 1999) for the cohomological quiver polynomials.     

Sufficiency and Duality in Multiobjective Variational Problems with Generalized Type I Functions

Recently Hachimi and Aghezzaf introduced the notion of (F,α,ρ,d)-type I functions, a new class of functions that unifies several concepts of generalized type I functions. Here, we extend the concepts of (F,α,ρ,d)-type I and generalized (F,α,ρ, d)-type I functions to the continuous case and we use these concepts to establish various sufficient optimality conditions and mixed duality results for multiobjective variational problems. Our results apparently generalize a fairly large number of sufficient optimality conditions and duality results previously obtained for multiobjective variational problems.     

Shellability and higher Cohen-Macaulay connectivity of generalized cluster complexes

Let Φ be a finite root system of rank n and let m be a nonnegative integer. The generalized cluster complex Δ^m(Φ) was introduced by S. Fomin and N. Reading. It was conjectured by these authors that Δ^m(Φ) is shellable and by V. Reiner that it is (m + 1)-Cohen-Macaulay, in the sense of Baclawski. These statements are proved in this paper. Analogous statements are shown to hold for the positive part Δ₊^m(Φ) of Δ^m(Φ). An explicit homotopy equivalence is given between Δ₊^m(Φ) and the poset of generalized noncrossing partitions, associated to the pair (Φ, m) by D. Armstrong.     

The Smallest Degree Sum That Yields Potentially Kr＋1 - K3-Graphic Sequences

Let a（Kr,＋1 - K3,n） be the smallest even integer such that each n-term graphic sequence п= （d1,d2,…dn） with term sum σ（п） = d1 ＋ d2 ＋…＋ dn 〉 σ（Kr＋1 -K3,n） has a realization containing Kr＋1 - K3 as a subgraph, where Kr＋1 -K3 is a graph obtained from a complete graph Kr＋1 by deleting three edges which form a triangle. In this paper, we determine the value σ（Kr＋1 - K3,n） for r ≥ 3 and n ≥ 3r＋ 5.     

On upper and lower D*-supercontinuous multifunctions

We define a multifunction F: X ⇝ Y to be upper (lower) D*-supercontinuous if F ⁺(V) (F ⁻(V)) is d*-open in X for every open set V of Y. We obtain some characterizations and several properties concerning upper (lower) D*-supercontinuous multifunctions.      

Optimality conditions and duality for nondifferentiable multiobjective fractional programming with generalized convexity

In this paper, we consider nondifferentiable multiobjective fractional programming problems. A concept of generalized convexity, which is called (C,α,ρ,d)-convexity, is first discussed. Based on this generalized convexity, we obtain efficiency conditions for multiobjective fractional programming (MFP). Furthermore, we establish duality results for three types of dual problems of (MFP) and present the corresponding duality theorems.     

The infinite server queue and heuristic approximations to the multi-server queue with and without retrials

In this paper, properties of the time-dependent state probabilities of theM _t /G/∞ queue, when the queue is assumed to start empty are studied. Those results are compared with corresponding time-dependent results for theM/M/1 queue. Approximation to the time-dependent state probabilities of theM/G/m/m queue by means of the corresponding time-dependent state probabilities of theM/G/∞ queue are discussed. Through a decomposition formula it is shown that the main performance characteristics of the ergodicM/M/m/m+d queue are sums of the corresponding random variables for the ergodicM/M/m/m andM/M/1/1+(d−1) queues, respectively, weighted by the 3-rd Erlang formula (stationary probability of waiting or being lost for theM/M/m/m+d queue). Successful exact and approximation extensions of this kind of decomposition formula to theM/M/m/m+d queue with retrials are presented.     

Almost everywhere convergence of Banach space-valued Vilenkin-Fourier series

The duality between martingale Hardy and BMO spaces is generalized for Banach space valued martingales. It is proved that if X is a UMD Banach space and f ∈ L _p(X) for some 1 < p < ∞ then the Vilenkin-Fourier series of f converges to f almost everywhere in X norm, which is the extension of Carleson’s result. This paper was written while the author was researching at University of Vienna (NuHAG) supported by Lise Meitner fellowship No. M733-N04. This research was also supported by the Hungarian Scientific Research Funds (OTKA) No. T043769, T047128, T047132.     

Scrambling non-uniform nets

In this paper, we consider Owen’s scrambling of an (m−1, m, d)-net in base b which consists of d copies of a (0, m, 1)-net in base b, and derive an exact formula for the gain coefficients of these nets. This formula leads us to a necessary and sufficient condition for scrambled (m − 1, m, d)-nets to have smaller variance than simple Monte Carlo methods for the class of L ₂ functions on [0, 1] ^d . Secondly, from the viewpoint of the Latin hypercube scrambling, we compare scrambled non-uniform nets with scrambled uniform nets. An important consequence is that in the case of base two, many more gain coefficients are equal to zero in scrambled (m − 1, m, d)-nets than in scrambled Sobol’ points for practical size of samples and dimensions.      

Dimension in algebraic frames

In an algebraic frame L the dimension, dim(L), is defined, as in classical ideal theory, to be the maximum of the lengths n of chains of primes p ₀ < p ₁ < ... < p _n , if such a maximum exists, and ∞ otherwise. A notion of “dominance” is then defined among the compact elements of L, which affords one a primefree way to compute dimension. Various subordinate dimensions are considered on a number of frame quotients of L, including the frames dL and zL of d-elements and z-elements, respectively. The more concrete illustrations regarding the frame convex ℓ-subgroups of a lattice-ordered group and its various natural frame quotients occupy the second half of this exposition. For example, it is shown that if A is a commutative semiprime f-ring with finite ℓ-dimension then A must be hyperarchimedean. The d-dimension of an ℓ-group is invariant under formation of direct products, whereas ℓ-dimension is not. r-dimension of a commutative semiprime f-ring is either 0 or infinite, but this fails if nilpotent elements are present. sp-dimension coincides with classical Krull dimension in commutative semiprime f-rings with bounded inversion.     

Nondifferentiable Minimax Fractional Programming Problems with (C, α, ρ, d)-Convexity

In this paper, we present necessary optimality conditions for nondifferentiable minimax fractional programming problems. A new concept of generalized convexity, called (C, α, ρ, d)-convexity, is introduced. We establish also sufficient optimality conditions for nondifferentiable minimax fractional programming problems from the viewpoint of the new generalized convexity. When the sufficient conditions are utilized, the corresponding duality theorems are derived for two types of dual programs. This research was partially supported by NSF and Air Force grants     

On almost normal matrices

An almost normal matrix is defined as an n by n matrix having n − 1 mutually orthogonal eigenvectors. The properties of these matrices are shown to be intermediate between the properties of conventional normal matrices and those of general matrices. In particular, the Schur form of an almost normal matrix can in a certain sense be considered canonical.     

The Dichotomy Between Traces on d-sets F in R^n and the Density of D（R^n／Г） in Function Spaces

A space Apq^s （R^n） with A ： B or A = F and s ∈R, 0 〈 p, q 〈 ∞ either has a trace in Lp（Г）, where Г is a compact d-set in R^n with 0 〈 d 〈 n, or D（R^n／Г） is dense in it. Related dichotomy numbers are introduced and calculated.     

Interval Valued Intuitionistic （S, T）-fuzzy Hv-submodules

On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K. Atanassov, the notion of interval valued intuitionistic fuzzy Hv-submodules of an Hv-module with respect to a t-norm T and an s-norm S is given and the characteristic properties are described. The homomorphic image and the inverse image are investigated. In particular, the connections between interval valued intuitionistic （S, T）-fuzzy Hv-submodules and interval valued intuitionistic （S, T）-fuzzy submodules are discussed.     

Line Transversals in Large <Emphasis Type="Italic">T</Emphasis>(3)- and <Emphasis Type="Italic">T</Emphasis>(4)-Families of Congruent Discs

A family of closed discs is said to have property T(k) if to every subset of at most k discs there belongs a common line transversal. A family of discs is said to be d-disjoint, d≥1, if the mutual distance between the centers of the discs is larger than d. It is known that a d-disjoint T(3)-family ℱ of unit diameter discs has a line transversal if . Similarly, a d-disjoint T(4)-family has a line transversal if . Both results are sharp in d, i.e., they do not hold for smaller values of d. The main result of this paper is that while the above lower bounds on d cannot be relaxed in general, some reduction of d can be compensated by imposing a proper d-dependent lower bound on the size of the family in both cases.     

The minimizing of the Nielsen root classes

Given a map f: X→Y and a Nielsen root class, there is a number associated to this root class, which is the minimal number of points among all root classes which are H-related to the given one for all homotopies H of the map f. We show that for maps between closed surfaces it is possible to deform f such that all the Nielsen root classes have cardinality equal to the minimal number if and only if either N R[f]≤1, or N R[f]>1 and f satisfies the Wecken property. Here N R[f] denotes the Nielsen root number. The condition “f satisfies the Wecken property is known to be equivalent to |deg(f)|≤N R[f]/(1−χ(M ₂)−χ(M ₁0/(1−χ(M ₂)) for maps between closed orientable surfaces. In the case of nonorientable surfaces the condition is A(f)≤N R[f]/(1−χ(M ₂)−χ(M ₂)/(1−χ(M ₂)). Also we construct, for each integer n≥3, an example of a map f: K _n →N from an n-dimensionally connected complex of dimension n to an n-dimensional manifold such that we cannot deform f in a way that all the Nielsen root classes reach the minimal number of points at the same time.     

Counterexamples of the Conjecture on Roots of Ehrhart Polynomials

On roots of Ehrhart polynomials, Beck et al. conjecture that all roots α of the Ehrhart polynomial of an integral convex polytope of dimension d satisfy −d≤ℜ(α)≤d−1. In this paper, we provide counterexamples for this conjecture.