Cutting the same fraction of several measures

We study some measure partition problems: Cut the same positive fraction of $d+1$ measures in $\mathbb R^d$ with a hyperplane or find a convex subset of $\mathbb R^d$ on which $d+1$ given measures have the same prescribed value. For both problems positive answers are given under some additional assumptions.Comment: 7 pages 2 figure

Good covers are algorithmically unrecognizable

A good cover in R^d is a collection of open contractible sets in R^d such that the intersection of any subcollection is either contractible or empty. Motivated by an analogy with convex sets, intersection patterns of good covers were studied intensively. Our main result is that intersection patterns of good covers are algorithmically unrecognizable. More precisely, the intersection pattern of a good cover can be stored in a simplicial complex called nerve which records which subfamilies of the good cover intersect. A simplicial complex is topologically d-representable if it is isomorphic to the nerve of a good cover in R^d. We prove that it is algorithmically undecidable whether a given simplicial complex is topologically d-representable for any fixed d \geq 5. The result remains also valid if we replace good covers with acyclic covers or with covers by open d-balls. As an auxiliary result we prove that if a simplicial complex is PL embeddable into R^d, then it is topologically d-representable. We also supply this result with showing that if a "sufficiently fine" subdivision of a k-dimensional complex is d-representable and k \leq (2d-3)/3, then the complex is PL embeddable into R^d.Comment: 22 pages, 5 figures; result extended also to acyclic covers in version

How large are the level sets of the Takagi function?

Let T be Takagi's continuous but nowhere-differentiable function. This paper considers the size of the level sets of T both from a probabilistic point of view and from the perspective of Baire category. We first give more elementary proofs of three recently published results. The first, due to Z. Buczolich, states that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. The second, due to J. Lagarias and Z. Maddock, states that the average number of points in a level set is infinite. The third result, also due to Lagarias and Maddock, states that the average number of local level sets contained in a level set is 3/2. In the second part of the paper it is shown that, in contrast to the above results, the set of ordinates y with uncountably infinite level sets is residual, and a fairly explicit description of this set is given. The paper also gives a negative answer to a question of Lagarias and Maddock by showing that most level sets (in the sense of Baire category) contain infinitely many local level sets, and that a continuum of level sets even contain uncountably many local level sets. Finally, several of the main results are extended to a version of T with arbitrary signs in the summands.Comment: Added a new Section 5 with generalization of the main results; some new and corrected proofs of the old material; 29 pages, 3 figure

A coupled terrestrial and aquatic biogeophysical model of the Upper Merrimack River watershed, New Hampshire, to inform ecosystem services evaluation and management under climate and land-cover change

Accurate quantification of ecosystem services (ES) at regional scales is increasingly important for making informed decisions in the face of environmental change. We linked terrestrial and aquatic ecosystem process models to simulate the spatial and temporal distribution of hydrological and water quality characteristics related to ecosystem services. The linked model integrates two existing models (a forest ecosystem model and a river network model) to establish consistent responses to changing drivers across climate, terrestrial, and aquatic domains. The linked model is spatially distributed, accounts for terrestrial–aquatic and upstream–downstream linkages, and operates on a daily time-step, all characteristics needed to understand regional responses. The model was applied to the diverse landscapes of the Upper Merrimack River watershed, New Hampshire, USA. Potential changes in future environmental functions were evaluated using statistically downscaled global climate model simulations (both a high and low emission scenario) coupled with scenarios of changing land cover (centralized vs. dispersed land development) for the time period of 1980–2099. Projections of climate, land cover, and water quality were translated into a suite of environmental indicators that represent conditions relevant to important ecosystem services and were designed to be readily understood by the public. Model projections show that climate will have a greater influence on future aquatic ecosystem services (flooding, drinking water, fish habitat, and nitrogen export) than plausible changes in land cover. Minimal changes in aquatic environmental indicators are predicted through 2050, after which the high emissions scenarios show intensifying impacts. The spatially distributed modeling approach indicates that heavily populated portions of the watershed will show the strongest responses. Management of land cover could attenuate some of the changes associated with climate change and should be considered in future planning for the region

Singular solutions of fully nonlinear elliptic equations and applications

We study the properties of solutions of fully nonlinear, positively homogeneous elliptic equations near boundary points of Lipschitz domains at which the solution may be singular. We show that these equations have two positive solutions in each cone of $\mathbb{R}^n$, and the solutions are unique in an appropriate sense. We introduce a new method for analyzing the behavior of solutions near certain Lipschitz boundary points, which permits us to classify isolated boundary singularities of solutions which are bounded from either above or below. We also obtain a sharp Phragm\'en-Lindel\"of result as well as a principle of positive singularities in certain Lipschitz domains.Comment: 41 pages, 2 figure

Bounding Helly numbers via Betti numbers

We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tilde\beta_i\left(\bigcap\mathcal G\right) \le b$ for any $\mathcal G \subsetneq \mathcal F$ and every $0 \le i \le \lceil d/2 \rceil-1$ then $\mathcal F$ has Helly number at most $h(b,d)$. Here $\tilde\beta_i$ denotes the reduced $\mathbb Z_2$-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these $\lceil d/2 \rceil$ first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex $K$, some well-behaved chain map $C_*(K) \to C_*(\mathbb R^d)$.Comment: 29 pages, 8 figure

Technical Design Report for the PANDA Solenoid and Dipole Spectrometer Magnets

This document is the Technical Design Report covering the two large spectrometer magnets of the PANDA detector set-up. It shows the conceptual design of the magnets and their anticipated performance. It precedes the tender and procurement of the magnets and, hence, is subject to possible modifications arising during this process.Comment: 10 pages, 14MB, accepted by FAIR STI in May 2009, editors: Inti Lehmann (chair), Andrea Bersani, Yuri Lobanov, Jost Luehning, Jerzy Smyrski, Technical Coordiantor: Lars Schmitt, Bernd Lewandowski (deputy), Spokespersons: Ulrich Wiedner, Paola Gianotti (deputy

An application of automated mediation to international climate treaty negotiation

A generic framework for automated mediation of multi-attribute negotiation has recently been reported (Lai and Sycara in Group Decis Negot 18:169–187, 2009). This framework seeks to shorten time to agreement, achieve agreements that are closer to Pareto optimality, and remain tractable in situations involving multiple issues, incomplete information, and dynamic reservation utility. These objectives are all relevant to international climate treaty negotiation. Therefore, in this paper, we describe how this mediation framework can be applied to the climate policy setting and articulate a necessary extension to allow for more than two negotiating parties. We then demonstrate application of the framework, employing some simple economic and procedural assumptions. This example shows that automated mediation can add value to the negotiation process without placing an undue mental or computational burden on negotiators. Part of this value comes simply from encouraging negotiators to be explicit about their assumptions and preferences, even if most of this information is not shared with their opponents.submittedVersio