The orthogonal subcategory problem in homotopy theory

It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is equivalent to a large-cardinal axiom from set theory. One proves similarly, on one hand, that homotopy localization exists with respect to sets of maps in every cofibrantly generated, left proper, simplicial model category M whose underlying category is locally presentable. On the other hand, as we show in this article, the existence of localization with respect to possibly proper classes of maps in a model category M satisfying the above assumptions is implied by a large-cardinal axiom called Vopënka's principle, although we do not know if the reverse implication holds. We also show that, under the same assumptions on M, every endofunctor of M that is idempotent up to homotopy is equivalent to localization with respect to some class S of maps, and if Vopënka's principle holds then S can be chosen to be a set. There are examples showing that the latter need not be true if M is not cofibrantly generated. The above assumptions on M are satisfied by simplicial sets and symmetric spectra over simplicial sets, among many other model categories.

Periodic orbits of the planar collision restricted 3-body problem

Using the continuation method we prove that the circular and the elliptic symmetric periodic orbits of the planar rotating Kepler problem can be continued into periodic orbits of the planar collision restricted 3–body problem. Additionally, we also continue to this restricted problem the so called “comets orbits”.

Polynomial-time complexity for instances of the endomorphism problem in free groups

We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F, there is an endomorphism Φ of F sending W to U. This work analyzes an approach due to C. Edmunds and improved by C. Sims. Here we prove that the approach provides an efficient algorithm for solving the endomorphism problem when W is a two- generator word. We show that when W is a two-generator word this algorithm solves the problem in time polynomial in the length of U. This result gives a polynomial-time algorithm for solving, in free groups, two-variable equations in which all the variables occur on one side of the equality and all the constants on the other side.

Estudos dos agrupamentos vegetativos relacionados com as áreas onde foram efetuadas as pesquisas sôbre a febre amarela silvestre no Município de Passos, Estado de Minas Gerais

The work reported here was carried-out on the invitation of Dr. Henry Kumm, Director of the Rockefeller Foundation, and by appointment from Dr. Henrique Aragão, Director of the Instituto Oswaldo Cruz. It was done during the investigation of sylvan yellow fever, in June 1947, with a view to establishing the phyto-ecological conditions of the county of Passos. The pe¬riod was, however, too short for definite conclusions to be reached. Thanks are due to Dr. O. R. Causey, Chief of Research on Yellow Fever for transpor¬tation and other help. THE REGIONAL VEGETATION. Aerial photographs of the county of Passos shoto that it is covered by three great types of vegetation: Rain Forest, Secondary Pasture Land and Scrub.1 Detailed investigation, however, brings out the fact that these correspond to different seres; furthermore, each type presents not only the specific, characteristics of the biological form dominant for the climate, but also are at various stages, which express HABITATS differing from those of the normal sere. The phytogeographic survey of the region shows that most of it is now covered by secondary pasture land (disclimax) in which Melinis minutiflora, v. "fat grass" (fig. 1), predominates. The mosaic of Rain Forest and of small patches of Scrub reveals the effects of human intervention (BARRETO, H. L. de Mello 1); consequently, all the formations have to be regarded as secon¬dary, though some of them probably include relicts of the primitive climax (WARMING, E. 2). On close examination, the Scrub cannot be considered as the climax, because of the following facts: 1. In the zone of Rain-Forest stretches of forest are present in very varied topographic conditions and the reconstitution of the associations show that man has destroyed an ecological unit (fig. 2). 2. In the zone of Scrub the characteristic patches are small. The banks of rivers and brooks, the valleys and ravine and whatever the soil has retained some humidity, is being invaded fry Rain Forest, which seems to be growing under optimum conditions. The Scrub is thus limited to small belts on the calcareous mountains and on sandy soils with alcaline depths (pH abo¬ve 7) which do not retain enough moisture for the Rain Forest that is progres¬sively restricting the area occupied by Scrub. In view of the topographic and present climatic conditions the Rain Forest must consequently be regarded as the regional climax. The presence of ecologically contradictory elements and associations shows that the real problem is that of the fluctuations of the climate of Passos or even of Minas Geraes during the quaternary and recent periods (DAN-SEREAU, P. : 3), a subject on which little is known and which is tied to the evolution of the climate of Brazil (OLIVEIRA, E. : 4) . The transformation of Scrub into Rain Forest has been - observed by the author before, in other parts of Brazil (VELOSO, PL P.: 5) . It seems probable that the Rio Grande has also greatly influenced the change of the regional vegetation, by invading areas of Scrub and dislocating the limit of the Pluvial climate towards the Canastra Range, though there are remnants of Scrub (postclimax) transfor¬med into secondary open country (disclimax, fig. 5) by human devastation and the setting of fire to the land. VEGETATION GROUPS OF THE PLUVIAL TYPE. The map of the region also shows that at the present time the small patches of forest (whether devasted or intact) occupy the least accessible places, such as valleys, peaks and abrupt slopes (fig. 2). Even these are now being destroyed, so that in the near future this forested region will be en¬tirely reduced to poor pasture land unless energetic measures of conservation are undertaken in time. The Special Service for Prophylaxis against Yellow Fever installed two of their four Stations for the Capture of Mosquitos in this area, one of them at Batatal and the other at Cachoeira, which have separate formations each of them composed of several associations. Other vegetation formations were also analysed, from the synecological point of view, so as to ascertain of which degree of succession their associations belong. These phytosociological sur¬veys give an idea of the principal characteristics of each station. BATATAL FORMATION. The abrupt nature of the valley has rendered this location inappropriate for agricultural purposes since colonial times. The relict of the primitive forest climax saved by this circumstance has expanded gradually to zones whose paedologic conditions favour the eatablishment of mesophilous species. The aerial photograph shows two small stretches of forest, one apparently primi¬tive, the other composed of associations belonging to the subclimax of the subsere. CACHOEIRA FORMATION. Aerial photographs show that this station is crossed by a small river, which divides it into two separate parts. The first, which presents ecological conditions similar, though not identical to those of Batatal, is favoured by topography and apparently remains primitive forest. Though the topography of the other, on the whole, favours the establishment of groups belonging to the normal sere of the climax, is has been partly devastated recently and the aspect of the associations has been completely modified. It was is this part that the four posts for the capturing of mosquitos were set up. The first forest is favoured by deposition of organic matter, washed out from the nearby devasted areas by torrential rains, and thus provides, an appropriate HABITAT for the climax species with certain hygrophilous trends of the ecological quasiclimax type. This association seems to have reached a biological equilibrium, as the dominates. Gallesia gorarema and Cariniana legalis (fig. 10), present an optimum vitality with a vigorous habit and a normal evolutionary cycle. The Cariniantum legalis Gallesiosum equilibrium, corresponds however, to a provisory association, because if the moving of soil by torrential rains should cease it would become possible…

Periodic orbits near a heteroclinic loop formed by one dimensional orbit and a 2-dimensional manifold: application to the charged collinear 3-body problem

The paper is devoted to the study of a type of differential systems which appear usually in the study of some Hamiltonian systems with 2 degrees of freedom. We prove the existence of infinitely many periodic orbits on each negative energy level. All these periodic orbits pass near the total collision. Finally we apply these results to study the existence of periodic orbits in the charged collinear 3–body problem.

Bribe-proof rules in the division problem

The division problem consists of allocating an amount of a perfectly divisible good among a group of n agents with single-peaked preferences. A rule maps preference profiles into n shares of the amount to be allocated. A rule is bribe-proof if no group of agents can compensate another agent to misrepresent his preference and, after an appropriate redistribution of their shares, each obtain a strictly preferred share. We characterize all bribe-proof rules as the class of efficient, strategy-proof, and weak replacement monotonic rules. In addition, we identify the functional form of all bribe-proof and tops-only rules.

A maximal domain of preferences for tops-only rules in the division problem

The division problem consists of allocating an amount M of a perfectly divisible good among a group of n agents. Sprumont (1991) showed that if agents have single-peaked preferences over their shares, the uniform rule is the unique strategy-proof, efficient, and anonymous rule. Ching and Serizawa (1998) extended this result by showing that the set of single-plateaued preferences is the largest domain, for all possible values of M, admitting a rule (the extended uniform rule) satisfying strategy-proofness, efficiency and symmetry. We identify, for each M and n, a maximal domain of preferences under which the extended uniform rule also satisfies the properties of strategy-proofness, efficiency, continuity, and "tops-onlyness". These domains (called weakly single-plateaued) are strictly larger than the set of single-plateaued preferences. However, their intersection, when M varies from zero to infinity, coincides with the set of single-plateaued preferences.

On Boas-Type Problem

R.P. Boas has found necessary and sufficient conditions of belonging of function to Lipschitz class. From his findings it turned out, that the conditions on sine and cosine coefficients for belonging of function to Lip α(0 & α & 1) are the same, but for Lip 1 are different. Later his results were generalized by many authors in the viewpoint of generalization of condition on the majorant of modulus of continuity. The aim of this paper is to obtain Boas-type theorems for generalized Lipschitz classes. To define generalized Lipschitz classes we use the concept of modulus of smoothness of fractional order.

Normal forms for rational difference equations with applications to the global periodicity problem

We propose a classification and derive the associated normal forms for rational difference equations with complex coefficients. As an application, we study the global periodicity problem for second order rational difference equations with complex coefficients. We find new necessary conditions as well as some new examples of globally periodic equations.

Malignant transformation of a rat fibroma by the treatment with an anti-fibrosing drug: CY-168F (Plastenan)

Fifteen albino (Sprague Dawley) rats with subcutaneous transplanted fibromas was used in the present study. The tumour was formed by typical fibroblasts in a dense collagen matrix and was provenient from a fibroma that appeared spontaneously in an albino rat of the same strain. Ultrastructurally collagen disclosed normal periodicity and the fibroblasts showed irregular notched nuclei with irregular distribution of chromatin, that suggests transitional aspects to fibrosarcoma. The 15 animals, from different passage groups, were divided into: 8 animals submitted to treatment with the drug acexamic acid (CY-168F) - N acetyl-amino-6-hexanoic acid (plastenan) and 7 untreated control animals. Three of the treated animals showed a malignant transformation to fibrosarcoma. transitional histological features from typical fibroma to highly indifferentiated fibrosarcoma could be detected in come animal subjected to repeated biopsies. Ultrastructural study disclosed nuclear alterations and hyperactive ergastoplasm and collagen containing inclusions into the cytoplasm of fibroblasts. In the group of 7 untreated naimals, no malignant transformation could be detected histologically. Two aspects deserve attention: the malignant potential of a typical fibroma and the apparent effect of an antifibrosing drug in inducing malignization of this tumour.

The word problem distinguishes counter languages

Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m &= n.

On the complexity of the Whitehead minimization problem

The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to solve this problem, that is, an algorithm that is polynomial both in the length of the input word and in the rank of the free group. Earlier algorithms had an exponential dependency in the rank of the free group. It follows that the primitivity problem – to decide whether a word is an element of some basis of the free group – and the free factor problem can also be solved in polynomial time.

Addressing the net balances problem as a prerequisite for EU budget reform: a proposal

Conflict among member states regarding the distribution of net financial burdens has been allowed to contaminate the entire design of the EU budget with very negative consequences in terms of equity, efficiency and transparency. To get around this problem and pave the way for a substantive budget reform, we propose to decouple distributional negotiations from the rest of the budget process by linking member state net balances in a rigid manner to relative prosperity. This would be achieved through the introduction of a system of compensating horizontal transfers that would take to its logical conclusion the Commission's proposal for a generalized compensation mechanism. We discuss the impact of the proposed scheme on member states? incentives and illustrate its financial implications using revenue and expenditure projections for 2013 that are based on the current Financial Perspectives and Own Resources Decision.