alphaCertified: certifying solutions to polynomial systems

Smale's alpha-theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to a square polynomial system. The program alphaCertified implements algorithms based on alpha-theory to certify solutions to polynomial systems using both exact rational arithmetic and arbitrary precision floating point arithmetic. It also implements an algorithm to certify whether a given point corresponds to a real solution to a real polynomial system, as well as algorithms to heuristically validate solutions to overdetermined systems. Examples are presented to demonstrate the algorithms.Comment: 21 page

Advantages and Distinguishing Features of Focus Point Supersymmetry

Diverse experimental constraints now motivate models of supersymmetry breaking in which some superpartners have masses well above the weak scale. Three alternatives are focus point supersymmetry and inverted hierarchy models, which embody a naturalness constraint, and the more recent framework of split supersymmetry, which relaxes that constraint. Many aspects of their phenomenology are very similar. They can be distinguished, however, through detailed study of superoblique parameters, the Higgs potential and other observables.Comment: 9 pages, published versio

The Puzzle of Environmental Politics

In this report we study estimation of time-delays in linear dynamical systems with additive noise. Estimating time-delays is a common engineering problem, e.g. in automatic control, system identification and signal processing. The purpose with this work is to test and evaluate a certain class of methods for time-delay estimation, especially with automatic control applications in mind. Particularly interesting it is to determine the best method. Is one method best in all situations or should different methods be used for different situations? The tested class of methods consists essentially of thresholding the cross correlation between the output and input signals. This is a very common method for time-delay estimation. The methods are tested and evaluated experimentally with the aid of simulations and plots of RMS error, bias and confidence intervals. The results are: The methods often miss to detect because the threshold is too high. The threshold has nevertheless been selected to give the best result. All methods over-estimate the time-delay. Nearly the whole RMS error is due to the bias. None of the tested methods is always best. Which method is best depends on the system and what is done when missing detections. Some form of averaging of the cross correlation, e.g. integration to step response or CUSUM, is advantageous. Fast systems are easiest. White noise input signal is easiest and steps is hardest. The RMS-errors are high in average (approximately greater than 6 sampling intervals). The error is lower for fast system or for high SNR

N-jettiness Subtractions for NNLO QCD Calculations

We present a subtraction method utilizing the N-jettiness observable, Tau_N, to perform QCD calculations for arbitrary processes at next-to-next-to-leading order (NNLO). Our method employs soft-collinear effective theory (SCET) to determine the IR singular contributions of N-jet cross sections for Tau_N -> 0, and uses these to construct suitable Tau_N-subtractions. The construction is systematic and economic, due to being based on a physical observable. The resulting NNLO calculation is fully differential and in a form directly suitable for combining with resummation and parton showers. We explain in detail the application to processes with an arbitrary number of massless partons at lepton and hadron colliders together with the required external inputs in the form of QCD amplitudes and lower-order calculations. We provide explicit expressions for the Tau_N-subtractions at NLO and NNLO. The required ingredients are fully known at NLO, and at NNLO for processes with two external QCD partons. The remaining NNLO ingredient for three or more external partons can be obtained numerically with existing NNLO techniques. As an example, we employ our method to obtain the NNLO rapidity spectrum for Drell-Yan and gluon-fusion Higgs production. We discuss aspects of numerical accuracy and convergence and the practical implementation. We also discuss and comment on possible extensions, such as more-differential subtractions, necessary steps for going to N3LO, and the treatment of massive quarks.Comment: 51 pages, 10 figures, v2: journal versio

Numerical simulation of flow, H2SO4 cycle and new particle formation in the CERN CLOUD chamber

To study the effect of galactic cosmic rays on aerosols and clouds, the Cosmic Leaving OUtdoor Droplets (CLOUD) project was established. Experiments are carried out at a 26 m3 tank at CERN (Switzerland). In the experiments, the effect of ionising particle radiation on H2SO4 particle formation and growth is investigated. To evaluate the experimental configuration, the experiment was simulated using a coupled multidimensional CFD – particle model (CLOUD-FPM). In the model the coupled fields of gas/vapour species, temperature, flow velocity and particle properties were computed to investigate the tank's mixing state and mixing times. Simulation results show that the mixing state of the tank's contents largely depends on the characteristics of the mixing fans and a 1-fan configuration, as used in first experiments, may not be sufficient to ensure a homogeneously mixed chamber. To mix the tank properly, 2 fans are necessary. The 1/e response times for instantaneous changes of wall temperature and saturation ratio inside the chamber were found to be in the order of few minutes. Particle nucleation and growth was also simulated and particle number size distribution properties of the freshly nucleated particles (particle number, mean size, standard deviation of the assumed log-normal distribution) were found to be mixed over the tank's volume similar to the gas species

A primal-dual formulation for certifiable computations in Schubert calculus

Formulating a Schubert problem as the solutions to a system of equations in either Pl\"ucker space or in the local coordinates of a Schubert cell typically involves more equations than variables. We present a novel primal-dual formulation of any Schubert problem on a Grassmannian or flag manifold as a system of bilinear equations with the same number of equations as variables. This formulation enables numerical computations in the Schubert calculus to be certified using algorithms based on Smale's \alpha-theory.Comment: 21 page

The Gluon Beam Function at Two Loops

The virtuality-dependent beam function is a universal ingredient in the resummation for observables probing the virtuality of incoming partons, including N-jettiness and beam thrust. We compute the gluon beam function at two-loop order. Together with our previous results for the two-loop quark beam function, this completes the full set of virtuality-dependent beam functions at next-to-next-to-leading order (NNLO). Our results are required to account for all collinear ISR effects to the N-jettiness event shape through N^3LL order. We present numerical results for both the quark and gluon beam functions up to NNLO and N^3LL order. Numerically, the NNLO matching corrections are important. They reduce the residual matching scale dependence in the resummed beam function by about a factor of two.Comment: 21 pages, 6 figures; v2: journal versio

A citation-based map of concepts in invasion biology

Invasion biology has been quickly expanding in the last decades so that it is now metaphorically flooded with publications, concepts, and hypotheses. Among experts, there is no clear consensus about the relationships between invasion concepts, and almost no one seems to have a good overview of the literature anymore. Similar observations can be made for other research fields. Science needs new navigation tools so that researchers within and outside of a research field as well as science journalists, students, teachers, practitioners, policy-makers, and others interested in the field can more easily understand its key ideas. Such navigation tools could, for example, be maps of the major concepts and hypotheses of a research field. Applying a bibliometric method, we created such maps for invasion biology. We analysed research papers of the last two decades citing at least two of 35 common invasion hypotheses. Co-citation analysis yields four distinct clusters of hypotheses. These clusters can describe the main directions in invasion biology and explain basic driving forces behind biological invasions. The method we outline here for invasion biology can be easily applied for other research fields