Finite Groups Whose <Emphasis Type="Italic">n</Emphasis>-Maximal Subgroups Are Modular

Let G be a finite group. If M_n< M_n?1< · · · < M₁< M₀ = G with Mi a maximal subgroup of M_i?1 for all i = 1,..., n, then M_n (n > 0) is an n-maximal subgroup of G. A subgroup M of G is called modular provided that (i) 〈X,M ∩ Z〉 = 〈X,M〉 ∩ Z for all X ≤ G and Z ≤ G such that X ≤ Z, and (ii) 〈M,Y ∩ Z〉 = 〈M,Y 〉 ∩ Z for all Y ≤ G and Z ≤ G such that M ≤ Z. In this paper, we study finite groups whose n-maximal subgroups are modular.     

Time-dependent analysis of an <Emphasis Type="Italic">M</Emphasis> / <Emphasis Type="Italic">M</Emphasis> / <Emphasis Type="Italic">c</Emphasis> preemptive priority system with two priority classes

We analyze the time-dependent behavior of an M / M / c priority queue having two customer classes, class-dependent service rates, and preemptive priority between classes. More particularly, we develop a method that determines the Laplace transforms of the transition functions when the system is initially empty. The Laplace transforms corresponding to states with at least c high-priority customers are expressed explicitly in terms of the Laplace transforms corresponding to states with at most \(c - 1\) high-priority customers. We then show how to compute the remaining Laplace transforms recursively, by making use of a variant of Ramaswami’s formula from the theory of M / G / 1-type Markov processes. While the primary focus of our work is on deriving Laplace transforms of transition functions, analogous results can be derived for the stationary distribution; these results seem to yield the most explicit expressions known to date.     

Liouville type results for a <Emphasis Type="Italic">p</Emphasis>-Laplace equation with negative exponent

Positive entire solutions of the equation \(\Delta _p u = u^{ - q} in \mathbb{R}^N (N \geqslant 2)\) where 1 < p ≤ N, q > 0, are classified via their Morse indices. It is seen that there is a critical power q = q _c such that this equation has no positive radial entire solution that has finite Morse index when q > q _c but it admits a family of stable positive radial entire solutions when 0 < q ≤ q _c. Proof of the stability of positive radial entire solutions of the equation when 1 < p < 2 and 0 < q ≤ q _c relies on Caffarelli–Kohn–Nirenberg’s inequality. Similar Liouville type result still holds for general positive entire solutions when 2 < p ≤ N and q > q _c. The case of 1 < p < 2 is still open. Our main results imply that the structure of positive entire solutions of the equation is similar to that of the equation with p = 2 obtained previously. Some new ideas are introduced to overcome the technical difficulties arising from the p-Laplace operator.     

On power deformations of univalent functions

For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) ? 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f _c (z) = z(f (z)/z) ^c for a complex number c. We determine those values c for which the operator \({f \mapsto f_c}\) maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.     

Teichmller space of negatively curved metrics on complex hyperbolic manifolds is not contractible

We prove that for all n = 4k- 2 and k 2 there exists a closed smooth complex hyperbolic manifold M with real dimension n having non-trivial π1(T0(M)). T0(M) denotes the Teichm¨uller space of all negatively curved Riemannian metrics on M, which is the topological quotient of the space of all negatively curved metrics modulo the space of self-diffeomorphisms of M that are homotopic to the identity.     

Behavior of the Fourier–Walsh coefficients of a corrected function

We prove that, given a sequence {ak}_k=1^∞ with a_k ↓ 0 and {ak}_k=1^∞ ? l₂, reals 0 < ε < 1 and p ∈ [1, 2], and f ∈ L^p(0, 1), we can find f ∈ L^p(0, 1) with mes{f ≠ f < ε whose nonzero Fourier–Walsh coefficients c_k(f) are such that |c_k(f)| = a_k for k ∈ spec(f).     

Some Numerical Data for Single-Server Queues Involving Deterministic Input Arrangements

The steady-state parameters of the bulk input queue D _c /M/1 and the Erlang service queue D/E _c /1 have been tabulated for C = 1(1)6(2)12(4)20 and 25, 50 and 100 and for ρ = 0·1(0·1)0·9. The tabulation includes the mean waiting time, idle time and queue size. In addition the queue D/E _c /1 has been compared with the queue M/E _c /1 to indicate the gains to be achieved by regularizing the arrival mechanism for a given E _c service facility.     

Variational Approximation for Fokker–Planck Equation on Riemannian Manifold

Under the bounded geometry assumption on Riemannian manifold M, a variational approximation for Fokker–Planck equation on M is constructed by the scheme of Jordan et al. in SIAM J Math Anal 29(1):1–17, 1998. Moreover, the uniqueness and global L ^p -estimate of the solution for 1 < p < dim(M)/(dim(M) ? 1) are obtained for a broad class of potential.     

Spectral properties of the complex airy operator on the half-line

We prove a theorem on the completeness of the system of root functions of the Schrödinger operator L = ?d ²/dx ² + p(x) on the half-line R₊ with a potential p for which L appears to be maximal sectorial. An application of this theorem to the complex Airy operator L _c = ?d ²/dx ² + cx, c = const, implies the completeness of the system of eigenfunctions of L _c for the case in which |arg c| < 2π/3.We use subtler methods to prove a theorem stating that the system of eigenfunctions of this special operator remains complete under the condition that |arg c| < 5π/6.     

Prescribing the binary digits of primes,II

We obtain the expected asymptotic formula for the number of primes p < N = 2 ⁿ with r prescribed (arbitrary placed) binary digits, provided r < cn for a suitable constant c > 0. This result improves on our earlier result where r was assumed to satisfy \(r < c{\left( {\frac{n}{{\log n}}} \right)^{4/7}}\).     

The structure of finite groups with weakly <Emphasis Type="Italic">c</Emphasis>-normal subgroups

For a subgroup of a finite group we introduce a new property called weakly c-normal. Suppose that G is a finite group and H is a subgroup of G. H is said to be weakly c-normal in G if there exists a subnormal subgroup K of G such that \(G=HK\) and \(H\cap K\) is s-quasinormally embedded in G. We fix in every non-cyclic Sylow subgroup P of G some subgroup D satisfying \(1<|D|<|P|\) and study the structure of G under the assumption that every subgroup H of P with \(|H|=|D|\) is weakly c-normal in G. Some recent results are generalized and unified.     

A characterization of a certain real hypersurface of type (A<Subscript>2</Subscript>) in a complex projective space

In the class of real hypersurfaces M ^2n?1 isometrically immersed into a nonflat complex space form \(\widetilde {{M_n}}\left( c \right)\) of constant holomorphic sectional curvature c (≠ 0) which is either a complex projective space ?P ⁿ (c) or a complex hyperbolic space ?H ⁿ (c) according as c > 0 or c < 0, there are two typical examples. One is the class of all real hypersurfaces of type (A) and the other is the class of all ruled real hypersurfaces. Note that the former example are Hopf manifolds and the latter are non-Hopf manifolds. In this paper, inspired by a simple characterization of all ruled real hypersurfaces in \(\widetilde {{M_n}}\left( c \right)\), we consider a certain real hypersurface of type (A₂) in ?P ⁿ (c) and give a geometric characterization of this Hopf manifold.     

On the Number of Vedernikov–Ein Irreducible Components of the Moduli Space of Stable Rank 2 Bundles on the Projective Space

We propose a method for finding the exact number of Vedernikov–Ein irreducible components of the first and second types in the moduli space M(0, n) of stable rank 2 bundles on the projective space P³ with Chern classes c₁ = 0 and c₂ = n ≥ 1. We give formulas for the number of Vedernikov–Ein components and find a criterion for their existence for arbitrary n ≥ 1.     

Almost Empty Monochromatic Quadrilaterals in Planar Point Sets

For positive integers c, s ≥ 1, r ≥ 3, let W _r (c, s) be the least integer such that if a set of at least W _r (c, s) points in the plane, no three of which are collinear, is colored with c colors, then this set contains a monochromatic r-gon with at most s interior points. As is known, if r = 3, then W _r (c, s)=W _r (c, s). In this paper, we extend these results to the case r = 4. We prove that W4(2, 1) = 11, W4(3, 2) ≤ 120, and the least integer μ4(c) such that W4(c, μ4(c)) < ∞ is bounded by \(\left\lfloor {\frac{{c - 1}}{2}} \right\rfloor \cdot 2 \leqslant \mu 4\left( c \right) \leqslant 2c - 3\),where c ≥ 2.     

On the well-posedness of degenerate fractional differential equations in vector valued function spaces

We characterize completely the well-posedness on the vector-valued Hölder and Lebesgue spaces of the degenerate fractional differential equation D ^α (Mu)(t) = Au(t) + f(t), t ∈ ? by using vector-valued multiplier results in the spaces C ^γ (?;X) and L ^p (?;X), where A and M are closed linear operators defined on the Banach space X, 0 < γ < 1, 1 < p < ∞, the fractional derivative is understood in the sense of Caputo and α is positive.     

Optimal strategy in <Emphasis Type="Italic">N</Emphasis>-policy production system with early set-up

This paper considers a production system in which an early set-up is possible. The machine(server) is turned off when there are no units(customers) to process. When the accumulated number of units reaches m(<N), the operator starts a set-up that takes a random time. After the set-up, if there are N or more units waiting for processing, the machine begins to process the units immediately. Otherwise the machine remains dormant in the system until the accumulated number of units reaches N. We model this system by M/G/1 queue with early set-up and N-policy. We use the decomposition property of a vacation queue to derive the distribution of the number of units in the system. We, then, build a cost model and develop a procedure to find the optimal values of (m,N) that minimize a linear average cost.     

On a Diophantine Inequality with Prime Numbers of a Special Type

We consider the Diophantine inequality |p ₁ ^c + p ₂ ^c + p ₃ ^c ? N| < (logN)^?E, where 1 < c < 15/14, N is a sufficiently large real number and E > 0 is an arbitrarily large constant. We prove that the above inequality has a solution in primes p₁, p₂, p₃ such that each of the numbers p₁ + 2, p₂ + 2 and p₃ + 2 has at most [369/(180 ? 168c)] prime factors, counted with multiplicity.     

Choiceless Ramsey Theory of Linear Orders

Motivated by work of Erd?s, Milner and Rado, we investigate symmetric and asymmetric partition relations for linear orders without the axiom of choice. The relations state the existence of a subset in one of finitely many given order types that is homogeneous for a given colouring of the finite subsets of a fixed size of a linear order. We mainly study the linear orders 〈 ^α 2,< _{l e x} 〉, where α is an infinite ordinal and < _{l e x} is the lexicographical order. We first obtain the consistency of several partition relations that are incompatible with the axiom of choice. For instance we derive partition relations for 〈 ^ω 2,< _{l e x} 〉 from the property of Baire for all subsets of ^ω 2 and show that the relation \(\langle ^{\kappa }{2}, <_{lex}\rangle \longrightarrow (\langle ^{\kappa }{2}, <_{lex}\rangle )^{2}_{2}\) is consistent for uncountable regular cardinals κ with κ ^<κ = κ. We then prove a series of negative partition relations with finite exponents for the linear orders 〈 ^α 2,< _{l e x} 〉. We combine the positive and negative results to completely classify which of the partition relations \(\langle ^{\omega }{2}, <_{lex}\rangle \longrightarrow (\bigvee _{\nu <\lambda }K_{\nu },\bigvee _{\nu <\mu }M_{\nu })^{m}\) for linear orders K _ν ,M _ν and m≤4 and 〈 ^ω 2,< _{l e x} 〉→(K,M) ⁿ for linear orders K,M and natural numbers n are consistent.     

On the norm property of the Hilbert symbol for polynomial formal modules in a multidimensional local field

In a two-dimensional local field K containing the pth root of unity, a polynomial formal group F _c (X, Y) = X + Y + cXY acting on the maximal ideal M of the ring of integers б _K and a constructive Hilbert pairing {·, ·} _c : K ₂(K) × F _c (M) → <ξ> _c , where <ξ> _c is the module of roots of [p] _c (pth degree isogeny of F _c ) with respect to formal summation are considered. For the extension of two-dimensional local fields L/K, a norm map of Milnor groups Norm: K ₂(L) → K ₂(K) is considered. Its images are called norms in K ₂(L). The main finding of this study is that the norm property of pairing {·, ·}c: {x,β} _c : = 0 ? x is a norm in K ₂(K([p] _c ^-1 (β))), where [p] _c ^-1 (β) are the roots of the equation [p] _c = β, is checked constructively.     

Non-closed isometry-invariant geodesics

Let c be a non-closed and bounded geodesic in a complete Riemannian manifold M. Assume that c is invariant under an isometry A of M and that c is not contained in the set of fixed points of A. We prove that, for some \({k\ge 2}\), the geodesic flow line ? corresponding to c is dense in a k-dimensional torus N embedded in TM. In particular, every geodesic with initial vector in N is A-invariant.