Existence of resolvable H-designs with group sizes 2, 3, 4 and 6

In 1987, Hartman showed that the necessary condition v ≡ 4 or 8 (mod 12) for the existence of a resolvable SQS(v) is also sufficient for all values of v, with 23 possible exceptions. These last 23 undecided orders were removed by Ji and Zhu in 2005 by introducing the concept of resolvable H-designs. In this paper, we first develop a simple but powerful construction for resolvable H-designs, i.e., a construction of an RH(g ²ⁿ ) from an RH((2g) ⁿ ), which we call group halving construction. Based on this construction, we provide an alternative existence proof for resolvable SQS(v)s by investigating the existence problem of resolvable H-designs with group size 2. We show that the necessary conditions for the existence of an RH(2 ⁿ ), namely, n ≡ 2 or 4 (mod 6) and n ≥ 4 are also sufficient. Meanwhile, we provide an alternative existence proof for resolvable H-designs with group size 6. These results are obtained by first establishing an existence result for resolvable H-designs with group size 4, that is, the necessary conditions n ≡ 1 or 2 (mod 3) and n ≥ 4 for the existence of an RH(4 ⁿ ) are also sufficient for all values of n except possibly n ∈ {73, 149}. As a consequence, the general existence problem of an RH(g ⁿ ) is solved leaving mainly the case of g ≡ 0 (mod 12) open. Finally, we show that the necessary conditions for the existence of a resolvable G-design of type g ⁿ are also sufficient.     

On the simple isotopy class of a source-sink diffeomorphism on the 3-sphere

The results obtained in this paper are related to the Palis-Pugh problem on the existence of an arc with finitely or countably many bifurcations which joins two Morse-Smale systems on a closed smooth manifold M ⁿ . Newhouse and Peixoto showed that such an arc joining flows exists for any n and, moreover, it is simple. However, there exist isotopic diffeomorphisms which cannot be joined by a simple arc. For n = 1, this is related to the presence of the Poincaré rotation number, and for n = 2, to the possible existence of periodic points of different periods and heteroclinic orbits. In this paper, for the dimension n = 3, a new obstruction to the existence of a simple arc is revealed, which is related to the wild embedding of all separatrices of saddle points. Necessary and sufficient conditions for a Morse-Smale diffeomorphism on the 3-sphere without heteroclinic intersections to be joined by a simple arc with a “source-sink” diffeomorphism are also found.     

NONEXISTENCE AND EXISTENCE OF POSITIVE SOLUTIONS FOR 2nTH-ORDER SINGULAR SUPERLINEAR PROBLEMS WITH STRUM-LIOUVILLE BOUNDARY CONDITIONS

This paper investigates a class of 2nth-order singular superlinear problems with Strum-Liouville boundary conditions. We obtain a necessary and sufficient condition for the existence of C 2 n- 2 [0, 1] positive solutions, and a sufficient condition, a necessary condition for the existence of C 2 n-1 [0, 1] positive solutions. Relations between the positive solutions and the Green’s functions are depicted. The results are used to judge nonexistence or existence of positive solutions for given boundary value problems.     

The exponential Diophantine equation x2 + (3n 2 + 1) y = (4n 2 + 1) z

Let n be a positive integer. In this paper, using the results on the existence of primitive divisors of Lucas numbers and some properties of quadratic and exponential diophantine equations, we prove that if n ≡ 3 (mod 6), then the equation x ² + (3n ² + 1) ^y = (4n ² + 1) ^z has only the positive integer solutions (x, y, z) = (n, 1, 1) and (8n ³ + 3n, 1, 3).     

A new existence proof for Steiner quadruple systems

A Steiner quadruple system of order v is an ordered pair ${(X, \mathcal{B})}$ , where X is a set of cardinality v, and ${\mathcal{B}}$ is a set of 4-subsets of X, called blocks, with the property that every 3-subset of X is contained in a unique block. Such designs exist if and only if ${v \equiv 2,4\, (\bmod\, 6)}$ . The first and second proofs of this result were given by Hanani in 1960 and in 1963, respectively. All the existing proofs are rather cumbersome, even though simplified proofs have been given by Lenz in 1985 and by Hartman in 1994. To study Steiner quadruple systems, Hanani introduced the concept of H-designs in 1963. The purpose of this paper is to provide an alternative existence proof for Steiner quadruple systems via H-designs of type 2 ⁿ . In 1990, Mills showed that for n > 3, n ≠ 5, an H-design of type g ⁿ exists if and only if ng is even and g(n ? 1)(n ? 2) is divisible by 3, where the main context is the complicated existence proof for H-designs of type 2 ⁿ . However, Mill’s proof was based on the existence result of Steiner quadruple systems. In this paper, by using the theory of candelabra systems and H-frames, we give a new existence proof for H-designs of type 2 ⁿ independent of the existence result of Steiner quadruple systems. As a consequence, we also provide a new existence proof for Steiner quadruple systems.     

Über eine kombinatorisch-geometrische Frage von Hadwiger und Debrunner

The problem of the partition-numbersJ _?(p, q), considered by Hadwiger and Debrunner for the family ?=C ⁿ of convex bodies, is extended to simplicial complexes and arbitrary families assuming only the validity of Helly’s theorem. We obtain results similar to those of Hadwiger and Debrunner. Further we show the existence of all partition-numbers for the family? = H ⁿC of homothets of a convex body and we get new informations on the partition-numbers for the family of parallel rectangles.     

Existence and uniqueness of solutions to first-order three-point boundary value problems

We give the existence and uniqueness results of solutions for the three-point boundary value problems

where f : [a, c] × Rⁿ → Rⁿ satisfies Carathéodory's conditions, and M, N, and R are constant square matrices of order n and α ϵ Rⁿ. The existence of a solutions is proven by the Leray-Schauder continuation theorem.     

On the focus order of planar polynomial differential equations

This paper is devoted to finding the highest possible focus order of planar polynomial differential equations. The results consist of two parts: (i) we explicitly construct a class of concrete systems of degree n, where n+1 is a prime p or a power of a prime pk, and show that these systems can have a focus order n²−n; (ii) we theoretically prove the existence of polynomial systems of degree n having a focus order n²−1 for any even number n. Corresponding results for odd n and more concrete examples having higher focus orders are given too.     

The Hemivariational Inequalities for an Upper Semicontinuous Set-valued Mapping

We establish some existence results for hemivariational inequalities of Stampacchia type involving an upper semicontinuous set-valued mapping on a bounded, closed and convex subset in ? ⁿ . We also derive a sufficient condition for the existence and boundedness of solution, without assuming boundedness of the constraint set.     

Value on a class of non-differentiable market games

We prove the existence of a (unique) Aumann-Shapley value on the space on non-atomic gamesQ ⁿ generated byn-handed glove games. (These are the minima ofn non-atomic mutually singular probability measures.) It is also shown that this value can be extended to a value on the smallest space containingQ ⁿ andpNA.     

A PDE approach to regularity of solutions to finite horizon optimal switching problems

We study optimal 2-switching and n-switching problems and the corresponding system of variational inequalities. We obtain results on the existence of viscosity solutions for the 2-switching problem for various setups when the cost of switching is non-deterministic. For the n-switching problem we obtain regularity results for the solutions of the variational inequalities. The solutions are C^1,1-regular away for the free boundaries of the action sets.     

The non-existence of certain finite linear spaces

We study the existence of finite linear spaces with v points and n ²+n+2 lines, where n ²+1?v?n ²+n+1. For n?3, there is only one such linear space; it has ten points and fourteen lines.     

C (n)-cardinals

For each natural number n, let C ⁽ⁿ⁾ be the closed and unbounded proper class of ordinals α such that V _α is a Σ _n elementary substructure of V. We say that κ is a C ⁽ⁿ⁾ -cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C ⁽ⁿ⁾. By analyzing the notion of C ⁽ⁿ⁾-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, C ⁽ⁿ⁾-cardinals form a much finer hierarchy. The naturalness of the notion of C ⁽ⁿ⁾-cardinal is exemplified by showing that the existence of C ⁽ⁿ⁾-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et?al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C ⁽ⁿ⁾-extendible cardinals.     

Existence and uniqueness of solutions to the GRID macroscopic growth equation

In this paper we prove the existence and uniqueness of solutions to the initial value problems associated with the GRID integro-differential equation describing macroscopic growth of an organism. We consider the general form of the macroscopic growth operator Φ and study the set of conditions on Φ that are sufficient to guarantee existence and uniqueness of solutions in Rⁿ,n=1,2,3.     

On continuous maps between Grassmann manifolds

LetG _n,k denote the Grassmann manifold ofk-planes in ?ⁿ. We show that for any continuous mapf: G _n,k→G_n,l the induced map inZ/2-cohomology is either zero in positive dimensions or has image in the subring generated by w₁(γ_{n, k}), provided 1≤l<k≤[n/2] andn≥k+2l-1. Our main application is to obtain negative results on the existence of equivariant maps between oriented Grassmann manifolds. We also obtain positive results in many cases on the existence of equivariant maps between oriented Grassmann manifolds.     

Separately radial and radial Toeplitz operators on the projective space and representation theory

We consider separately radial (with corresponding group T ⁿ ) and radial (with corresponding group U(n)) symbols on the projective space P ⁿ (C), as well as the associated Toeplitz operators on the weighted Bergman spaces. It is known that the C*-algebras generated by each family of such Toeplitz operators are commutative (see R. Quiroga-Barranco and A. Sanchez-Nungaray (2011)). We present a new representation theoretic proof of such commutativity. Our method is easier and more enlightening as it shows that the commutativity of the C*-algebras is a consequence of the existence of multiplicity-free representations. Furthermore, our method shows how to extend the current formulas for the spectra of the corresponding Toeplitz operators to any closed group lying between T ⁿ and U(n).     

Homographic solutions of the n-body problem in E4

We prove the existence of many homographic solutions of the n-body problem in E⁴ by topological methods. Homographic solutions are associated with relative equilibria. Homothetic solutions always give rise to central configurations. In Euclidean space E⁴ central configurations are a proper subset of the relative equilibria for any n ? 3 and for any (m_i)?R₊ⁿ. We compare the existence and classification of homographic solutions of the n-body problem in E³ with the Newtonian potential and that of homographic solutions of the n-body problem in E⁴. Classifying relative equilibria leads to classifying homographic solutions.     

Population models with diffusion, strong Allee effect, and nonlinear boundary conditions

We consider a population model with diffusion, a strong Allee effect per capita growth function, and constant yield harvesting. In particular, we focus our study on a population living in a patch, Ω⊆Rⁿ with n≥1, that satisfies a certain nonlinear boundary condition. We establish our existence results by the method of sub-supersolutions.     

Solving discrete systems of nonlinear equations

We study the existence problem of a zero point of a function defined on a finite set of elements of the integer lattice Zⁿ of the n-dimensional Euclidean space Rⁿ. It is assumed that the set is integrally convex, which implies that the convex hull of the set can be subdivided in simplices such that every vertex is an element of Zⁿ and each simplex of the triangulation lies in an n-dimensional cube of size one. With respect to this triangulation we assume that the function satisfies some property that replaces continuity. Under this property and some boundary condition the function has a zero point. To prove this we use a simplicial algorithm that terminates with a zero point within a finite number of iterations. The standard technique of applying a fixed point theorem to a piecewise linear approximation cannot be applied, because the ‘continuity property’ is too weak to assure that a zero point of the piecewise linear approximation induces a zero point of the function itself. We apply the main existence result to prove the existence of a pure Cournot-Nash equilibrium in a Cournot oligopoly model. We further obtain a discrete analogue of the well-known Borsuk-Ulam theorem and a theorem for the existence of a solution for the discrete nonlinear complementarity problem.     

Critical sobolev exponent problem in ℝ n (n ≥ 4) with neumann boundary condition

In this paper we study the existence and non existence of positive solution for the critical Sobolev exponent problem ? Δu =u(n + 2)/(n ? 2) +λα(x)u) in Ω \(\frac{{\partial u}}{{\partial v}} = 0 on \partial B\) , where Ω is a bounded domain in ? ⁿ (n ≥ 4).