Generalized Higher-Order Optimality Conditions for Set-Valued Optimization under Henig Efficiency

In this paper, generalized mth-order contingent epiderivative and generalized mth-order epiderivative of set-valued maps are introduced, respectively. By virtue of the generalized mth-order epiderivatives, generalized necessary and sufficient optimality conditions are obtained for Henig efficient solutions to a set-valued optimization problem whose constraint set is determined by a fixed set. Generalized Kuhn–Tucker type necessary and sufficient optimality conditions are also obtained for Henig efficient solutions to a set-valued optimization problem whose constraint set is determined by a set-valued map.     

Tame kernels of pure cubic fields

In this paper, we study the p-rank of the tame kernels of pure cubic fields. In particular, we prove that for a fixed positive integer m, there exist infinitely many pure cubic fields whose 3-rank of the tame kernel equal to m. As an application, we determine the 3-rank of their tame kernels for some special pure cubic fields.     

Some Remarks on Almost and Stable Almost Complex Manifolds

In the first part we give necessary and sufficient conditions for the existence of a stable almost complex structure on a 10-manifold M with H₁(M;?) = 0 and no 2-torsion in H₁(M;?) for i = 2,3. Using the Classification Theorem of Donaldson we give a reformulation of the conditions for a 4-manifold to be almost complex in terms of Betti numbers and the dimension of the ±-eigenspaces of the intersection form. In the second part we give general conditions for an almost complex manifold to admit infinitely many almost complex structures and apply these to symplectic manifolds, to homogeneous spaces and to complete intersections.     

Decomposition of multivariate infinitely divisible characteristic functions with absolutely continuous Poisson spectral measures

We shall consider the decomposition problem of multivariate infinitely divisible characteristic functions which have no Gaussian component and have absolutely continuous Poisson spectral measures. Under the condition that A = {x;f(x) > 0} is open, where f is the density of spectral measure, we shall show that a known sufficient condition for the membership of the class I_0m (i.e., infinitely divisible characteristic functions having only infinitely divisible factors) is also necessary.     

The existence of harmonic maps from an annulus toS 2 with symmetric boundary value

In this paper, we use the deformation method andG-equivariant theory to prove the existence and multiplicity of harmonic maps from an annulus to the unit sphere inℝ ³ with symmetric boundary value. In particular, we can get infinitely many homotopically different harmonic maps if the boundary value isS ¹-equivariant and nonconstant. This research partially supported by the NNSF, P.R. China.     

Regular combinatorial maps

The classical approach to maps is by cell decomposition of a surface. A combinatorial map is a graph-theoretic generalization of a map on a surface. Besides maps on orientable and non-orientable surfaces, combinatorial maps include tessellations, hypermaps, higher dimensional analogues of maps, and certain toroidal complexes of Coxeter, Shephard, and Grünbaum. In a previous paper the incidence structure, diagram, and underlying topological space of a combinatorial map were investigated. This paper treats highly symmetric combinatorial maps. With regularity defined in terms of the automorphism group, necessary and sufficient conditions for a combinatorial map to be regular are given both graph- and group-theoretically. A classification of regular combinatorial maps on closed simply connected manifolds generalizes the well-known classification of metrically regular polytopes. On any closed manifold with nonzero Euler characteristic there are at most finitely many regular combinatorial maps. However, it is shown that, for nearly any diagram D, there are infinitely many regular combinatorial maps with diagram D. A necessary and sufficient condition for the regularity of rank 3 combinatorial maps is given in terms of Coxeter groups. This condition reveals the difficulty in classifying the regular maps on surfaces. In light of this difficulty an algorithm for generating a large class of regular combinatorial maps that are obtained as cyclic coverings of a given regular combinatorial map is given.     

On the number of Diophantine <Emphasis Type="Italic">m</Emphasis>-tuples

A set of m positive integers is called a Diophantine m-tuple if the product of any two of them is one less than a perfect square. It is known that there does not exist a Diophantine sextuple and that there are only finitely many Diophantine quintuples. On the other hand, there are infinitely many Diophantine m-tuples for m=2, 3 and 4. In this paper, we derive asymptotic estimates for the number of Diophantine pairs, triples and quadruples with elements less than given positive integer N. The author was supported by the Ministry of Science and Technology, Republic of Croatia, grants 0037110 and 037-0372781-2821.     

Latin squares with restricted transversals

We prove that for all odd m ≥ 3 there exists a latin square of order 3 m that contains an ( m ? 1 ) × m latin subrectangle consisting of entries not in any transversal. We prove that for all even n ≥ 10 there exists a latin square of order n in which there is at least one transversal, but all transversals coincide on a single entry. A corollary is a new proof of the existence of a latin square without an orthogonal mate, for all odd orders n ≥ 11 . Finally, we report on an extensive computational study of transversal‐free entries and sets of disjoint transversals in the latin squares of order n ? 9 . In particular, we count the number of species of each order that possess an orthogonal mate. © 2011 Wiley Periodicals, Inc. J Combin Designs 20:124‐141, 2012     

Non-orientable Regular Maps of a Given Type over Linear Fractional Groups

It is known that for any given k and m such that 1/k + 1/m < 1/2 there exist infinitely many regular maps M of valence k and face length m on orientable surfaces such that the automorphism group of M is isomorphic to a linear fractional group over a finite field. We examine the pairs (k, m) for which this result can be extended to regular maps on non-orientable surfaces.     

On the Existence of Large Sets of <Emphasis Type="Italic">t</Emphasis>-designs of Prime Sizes

In this paper, we employ the known recursive construction methods to obtain some new existence results for large sets of t-designs of prime sizes. We also present a new recursive construction which leads to more comprehensive theorems on large sets of sizes two and three. As an application, we show that for infinitely many values of block size, the trivial necessary conditions for the existence of large sets of 2-designs of size three are sufficient.AMS Classification: 05B05Communicated by:L. TeirlinckThis research was in part supported by a grant from IPM (No. 83050312).     

On commuting varieties of upper triangular matrices

It is known that the variety of the pairs of n×n commuting upper triangular matrices is not a complete intersection for infinitely many values of n; we show that there exists m such that this happens if and only if n>m. We also show that m<18 and that m could be found by determining the dimension of the variety of the pairs of commuting strictly upper triangular matrices. Then, we define an embedding of any commuting variety into a grassmannian of subspaces of codimension 2.     

Stably free modules over virtually free groups

Let F _m be the free group on m generators, and let G be a finite nilpotent group of non square-free order; we show that for each m ≥ 2 the integral group ring Z[G × F _m ] has infinitely many stably free modules of rank 1.     

On Inverse Transversals of Ordered Regular Semigroups

We first consider an ordered regular semigroup S in which every element has a biggest inverse and determine necessary and sufficient conditions for the subset S ^○ of biggest inverses to be an inverse transversal of S. Such an inverse transversal is necessarily weakly multiplicative. We then investigate principally ordered regular semigroups S with the property that S ^○ is an inverse transversal. In such a semigroup we determine precisely when the set S ^☆ of biggest pre-inverses is a subsemigroup and show that in this case S ^☆ is itself an inverse transversal of a subsemigroup of S. The ordered regular semigroup of 2 × 2 boolean matrices provides an informative illustrative example. The structure of S, when S ^☆ is a group, is also described.     

The Rees Valuations of Complete Ideals in a Regular Local Ring

Let I be a complete m-primary ideal of a regular local ring (R, m) of dimension d ≥ 2. In the case of dimension two, the beautiful theory developed by Zariski implies that I factors uniquely as a product of powers of simple complete ideals and each of the simple complete factors of I has a unique Rees valuation. In the higher dimensional case, a simple complete ideal of R often has more than one Rees valuation, and a complete m-primary ideal I may have finitely many or infinitely many base points. For the ideals having finitely many base points Lipman proves a unique factorization involving special *-simple complete ideals and possibly negative exponents of the factors. Let T be an infinitely near point to R with dim R = dim T and R/m = T/m _T . We prove that the special *-simple complete ideal P _RT has a unique Rees valuation if and only if either dim R = 2 or there is no change of direction in the unique finite sequence of local quadratic transformations from R to T. We also examine conditions for a complete ideal to be projectively full.     

New Classes of Counterexamples to Hendrickson’s Global Rigidity Conjecture

We examine the generic local and global rigidity of various graphs in ℝ ^d . Bruce Hendrickson showed that some necessary conditions for generic global rigidity are (d+1)-connectedness and generic redundant rigidity, and hypothesized that they were sufficient in all dimensions. We analyze two classes of graphs that satisfy Hendrickson’s conditions for generic global rigidity, yet fail to be generically globally rigid. We find a large family of bipartite graphs for d>3, and we define a construction that generates infinitely many graphs in ℝ⁵. Finally, we state some conjectures for further exploration.     

Existence of solutions for linear hyperbolic initial-boundary value problems in a rectangle

In a recent article, we achieved the well-posedness of linear hyperbolic initial and boundary value problems (IBVP) in a rectangle via semigroup method, and we found that there are only two elementary modes called hyperbolic and elliptic modes in the system. It seems that, there is only one set of boundary conditions for the hyperbolic mode, while there are infinitely many sets of boundary conditions for the elliptic mode, which can lead to well-posedness. In this article, we continue to consider linear hyperbolic IBVP in a rectangle in the constant coefficients case and we show that there are also infinitely many sets of boundary conditions for hyperbolic mode which will lead to the existence of a solution. We also have uniqueness in some special cases. The boundary conditions satisfy the reflection conditions introduced in Section 3, which turn out to be equivalent to the strictly dissipative conditions.     

<Emphasis Type="Italic">E</Emphasis>-inversive Dubreil-Jacotin semigroups

Using group congruences, we obtain necessary and sufficient conditions for an ordered E-inversive semigroup to be a Dubreil-Jacotin semigroup. We also determine when such a semigroup is naturally ordered. In particular, when the subset of regular elements is a subsemigroup it contains a multiplicative inverse transversal.     

On twistor Gauss maps of surfaces in 4-spheres

In this paper we study surfaces in S⁴ and their twistor Gauss maps. Some necessary and sufficient conditions that the twistor Gauss map is harmonic are given. We find many examples of nonisotropic harmonic maps from a surface to P ³.Supported by the National Natural Science Foundation of China and the Science Foundation of Zhejiang Province.     

On the existence of smooth densities for jump processes

Summary We consider a Lévy processX _t and the solutionY _t of a stochastic differential equation driven byX _t; we suppose thatX _t has infinitely many small jumps, but its Lévy measure may be very singular (for instance it may have a countable support). We obtain sufficient conditions ensuring the existence of a smooth density forY _t: these conditions are similar to those of the classical Malliavin calculus for continuous diffusions. More generally, we study the smoothness of the law of variablesF defined on a Poisson probability space; the basic tool is a duality formula from which we estimate the characteristic function ofF.     

On the Representation of Primes by Cubic Polynomials in Two Variables

In an earlier paper (see Proc. London Math. Soc. (3) 84 (2002)257–288) we showed that an irreducible integral binarycubic form f(x, y) attains infinitely many prime values, providingthat it has no fixed prime divisor. We now extend this resultby showing that f(m, n) still attains infinitely many primevalues if m and n are restricted by arbitrary congruence conditions,providing that there is still no fixed prime divisor. Two immediate consequences for the solvability of diagonal cubicDiophantine equations are given. 2000 Mathematics Subject Classification11N32 (primary), 11N36, 11R44 (secondary).