Minimizing total completion time for UET tasks with release time and outtree precedence constraints

Brucker et al. (Math Methods Oper Res 56: 407–412, 2003) have given an O(n ²)-time algorithm for the problems , outtree and , outtree . In this note, we show that their algorithm admits an O(n log n)-time implementation.     

On <Emphasis Type="Italic">t</Emphasis><Superscript>2</Superscript>-like solutions of certain second order differential equations

Via an integral transformation, we establish two embedding results between the Emden-Fowler type equation , t ≥ t ₀ > 0, with solutions x such that as , , and the equation , u > 0, with solutions y such that for given k > 0. The conclusions of our investigation are used to derive conditions for the existence of radial solutions to the elliptic equation , , that blow up as in the two dimensional case.      

A priori bounds and a Liouville theorem on a half-space for higher-order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu = f (x, u) on a bounded smooth domain with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic operator of order 2m given by . For the nonlinearity we assume that , where are positive functions and q > 1 if N ≤ 2m, if N > 2m. We prove a priori bounds, i.e, we show that for every solution u, where C > 0 is a constant. The solutions are allowed to be sign-changing. The proof is done by a blow-up argument which relies on the following new Liouville-type theorem on a half-space: if u is a classical, bounded, non-negative solution of ( − Δ) ^m u  =  u ^q in with Dirichlet boundary conditions on and q > 1 if N ≤ 2m, if N > 2m then .      

Elliptic estimates independent of domain expansion

In this paper, we consider elliptic estimates for a system with smooth variable coefficients on a domain containing the origin. We first show the invariance of the estimates under a domain expansion defined by the scale that with parameter R > 1, provided that the coefficients are in a homogeneous Sobolev space. Then we apply these invariant estimates to the global existence of unique strong solutions to a parabolic system defined on an unbounded domain. This paper was supported in part by research funds of Chonbuk National University in 2007.     

Inequalities of the Brunn–Minkowski type for Gaussian measures

Let be an integer, let γ be the standard Gaussian measure on , and let . Given this paper gives a necessary and sufficient condition such that the inequality is true for all Borel sets A ₁,...,A _m in of strictly positive γ-measure or all convex Borel sets A ₁,...,A _m in of strictly positive γ-measure, respectively. In particular, the paper exhibits inequalities of the Brunn–Minkowski type for γ which are true for all convex sets but not for all measurable sets.      

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Non-linear Lie conformal algebras with three generators

We classify certain non-linear Lie conformal algebras with three generators, which can be viewed as deformations of the current Lie conformal algebra of sℓ ₂. In doing so we discover an interesting 1-parameter family of non-linear Lie conformal algebras and the corresponding freely generated vertex algebras , which includes for d = 1 the affine vertex algebra of sℓ ₂ at the critical level k = –2. We construct free-field realizations of the algebras extending the Wakimoto realization of at the critical level, and we compute their Zhu algebras. Dedicated to our teacher Victor Kac on the occasion of his 65th birthday     

A new extension theorem for 3-weight modulo q linear codes over $${\mathbb{F}_ q}$$

We prove that every [n, k, d] _q code with q ≥ 4, k ≥ 3, whose weights are congruent to 0, −1 or −2 modulo q and is extendable unless its diversity is for odd q, where .      

On the Spectral Analysis of Direct Sums of Riemann-Liouville Operators in Sobolev Spaces of Vector Functions

Let J ^α _k be a real power of the integration operator J _k defined on the Sobolev space W ^k _p [0, 1]. We investigate the spectral properties of the operator defined on . Namely, we describe the commutant {A _k }′, the double commutant and the algebra Alg A _k . Moreover, we describe the lattices Lat A _k and HypLat A _k of invariant and hyperinvariant subspaces of A _k , respectively. We also calculate the spectral multiplicity  of A _k and describe the set Cyc A _k of its cyclic subspaces. In passing, we present a simple counterexample for the implication

Hamiltonian cycles and 2-dominating induced cycles in claw-free graphs

Let G = (V, E) be a connected graph. For a vertex subset , G[S] is the subgraph of G induced by S. A cycle C (a path, respectively) is said to be an induced cycle (path, respectively) if G[V(C)] = C (G[V(P)] = P, respectively). The distance between a vertex x and a subgraph H of G is denoted by , where d(x, y) is the distance between x and y. A subgraph H of G is called 2-dominating if d(x, H) ≤ 2 for all . An induced path P of G is said to be maximal if there is no induced path P′ satisfying and . In this paper, we assume that G is a connected claw-free graph satisfying the following condition: for every maximal induced path P of length p ≥ 2 with end vertices u, v it holds:

Notes on estimating inverse-Gaussian and gamma subordinators under high-frequency sampling

We study joint efficient estimation of two parameters dominating either the inverse-Gaussian or gamma subordinator, based on discrete observations sampled at satisfying as . Under the condition that as we have two kinds of optimal rates, and . Moreover, as in estimation of diffusion coefficient of a Wiener process the -consistent component of the estimator is effectively workable even when T _n does not tend to infinity. Simulation experiments are given under several h _n ’s behaviors.     

Local convergence of Newton’s method for subanalytic variational inclusions

This paper concerns variational inclusions of the form where f is a single locally Lipschitz subanalytic function and F is a set-valued map acting in Banach spaces. We prove the existence and the convergence of a sequence (x _k ) satisfying where lies to which is the Clarke Jacobian of f at the point x _k .      

Quasi-reflection algebras and cyclotomic associators

We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism , where B _n ¹ is a braid group of type B. The formality isomorphism depends algebraically on a series Ψ_KZ, the “KZ pseudotwist”. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N, k), mapping to Drinfeld’s group GT(k), and whose Lie algebra is isomorphic to its associated graded (N, k). We prove that Ihara’s subgroup GTK of the Grothendieck–Teichmüller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue (N, k) of (N, k); it is a graded Lie algebra with an action of , and we give a lower bound for the character of its space of generators.      

The covering radius of extreme binary 2-surjective codes

The covering radius of binary 2-surjective codes of maximum length is studied in the paper. It is shown that any binary 2-surjective code of M codewords and of length has covering radius if M − 1 is a power of 2, otherwise . Two different combinatorial proofs of this assertion were found by the author. The first proof, which is written in the paper, is based on an existence theorem for k-uniform hypergraphs where the degrees of its vertices are limited by a given upper bound. The second proof, which is omitted for the sake of conciseness, is based on Baranyai’s theorem on l-factorization of a complete k-uniform hypergraph.      

The symplectomorphism group of a blow up

We study the relation between the symplectomorphism group Symp M of a closed connected symplectic manifold M and the symplectomorphism and diffeomorphism groups Symp and Diff of its one point blow up . There are three main arguments. The first shows that for any oriented M the natural map from to is often injective. The second argument applies when M is simply connected and detects nontrivial elements in the homotopy group that persist into the space of self-homotopy equivalences of . Since it uses purely homological arguments, it applies to c-symplectic manifolds (M, a), that is, to manifolds of dimension 2n that support a class such that . The third argument uses the symplectic structure on M and detects nontrivial elements in the (higher) homology of BSymp, M using characteristic classes defined by parametric Gromov–Witten invariants. Some results about many point blow ups are also obtained. For example we show that if M is the four-torus with k-fold blow up (where k > 0) then is not generated by the groups as ranges over the set of all symplectic forms on . Partially supported by NSF grants DMS 0305939 and 0604769.     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

Fibred multilinks and singularities $${f \overline g}$$

In this article we extend Milnor’s fibration theorem to the case of functions of the form with f, g holomorphic, defined on a complex analytic (possibly singular) germ (X, 0). We further refine this fibration theorem by looking not only at the link of , but also at its multi-link structure, which is more subtle. We mostly focus on the case when X has complex dimension two. Our main result (Theorem 4.4) gives in this case the equivalence of the following three statements:

Disproof of a Conjecture on the Subdivision Domination Number of a Graph

A set S of vertices of a graph G = (V,E) is a dominating set if every vertex of is adjacent to some vertex in S. The domination number γ(G) is the minimum cardinality of a dominating set of G. The domination subdivision number sd_γ(G) is the minimum number of edges that must be subdivided (each edge in G can be subdivided at most once) in order to increase the domination number. Haynes et al. (Discussiones Mathematicae Graph Theory 21 (2001) 239-253) conjectured that for any graph G with . In this note we first give a counterexample to this conjecture in general and then we prove it for a particular class of graphs.     

Reiterated homogenization of monotone parabolic problems

Reiterated homogenization is studied for divergence structure parabolic problems of the form . It is shown that under standard assumptions on the function a(y ₁,y ₂,t,ξ) the sequence of solutions converges weakly in to the solution u of the homogenized problem .