15,932 research outputs found

    Wisdom in the university

    Get PDF
    We live in troubled times. There are wars, poverty of millions, destruction of natural habitats and rapid extinction of species and, above all, the menace of global warming. In the light of these threats, humanity needs urgently to learn how to manage its affairs rather more wisely than it has done so far. That in turn requires that institutions of learning, above all universities, are organized for and devoted to the task. But they are not. They seek knowledge, not a wiser world. How ought universities to be organized if they are to help humanity acquire a bit more wisdom

    Checking Observational Purity of Procedures

    Full text link
    Verifying whether a procedure is observationally pure is useful in many software engineering scenarios. An observationally pure procedure always returns the same value for the same argument, and thus mimics a mathematical function. The problem is challenging when procedures use private mutable global variables, e.g., for memoization of frequently returned answers, and when they involve recursion. We present a novel verification approach for this problem. Our approach involves encoding the procedure's code as a formula that is a disjunction of path constraints, with the recursive calls being replaced in the formula with references to a mathematical function symbol. Then, a theorem prover is invoked to check whether the formula that has been constructed agrees with the function symbol referred to above in terms of input-output behavior for all arguments. We evaluate our approach on a set of realistic examples, using the Boogie intermediate language and theorem prover. Our evaluation shows that the invariants are easy to construct manually, and that our approach is effective at verifying observationally pure procedures.Comment: FASE 201

    Are the reactions γγVV\gamma\gamma\to VV' a challenge for the factorized Pomeron at high energies?

    Full text link
    We would like to point to the strong violation of the putative factorized Pomeron exchange model in the reactions γγVV\gamma\gamma\to VV' in the high-energy region where this model works fairly well in all other cases.Comment: 4 pages, LaTex, 1 fig. in postscript, minor typos corrected, to be published in Phys. Rev. D 60, 117503 (1999

    Capacities of Grassmann channels

    Full text link
    A new class of quantum channels called Grassmann channels is introduced and their classical and quantum capacity is calculated. The channel class appears in a study of the two-mode squeezing operator constructed from operators satisfying the fermionic algebra. We compare Grassmann channels with the channels induced by the bosonic two-mode squeezing operator. Among other results, we challenge the relevance of calculating entanglement measures to assess or compare the ability of bosonic and fermionic states to send quantum information to uniformly accelerated frames.Comment: 33 pages, Accepted in Journal of Mathematical Physics; The role of the (fermionic) braided tensor product for quantum Shannon theory, namely capacity formulas, elucidated; The conclusion on the equivalence of Unruh effect for bosons and fermions for quantum communication purposes made clear and even more precis

    Molecular dynamics in shape space and femtosecond vibrational spectroscopy of metal clusters

    Full text link
    We introduce a method of molecular dynamics in shape space aimed at metal clusters. The ionic degrees of freedom are described via a dynamically deformable jellium with inertia parameters derived from an incompressible, irrotational flow. The shell correction method is used to calculate the electronic potential energy surface underlying the dynamics. Our finite temperature simulations of Ag_14 and its ions, following the negative to neutral to positive scheme, demonstrate the potential of pump and probe ultrashort laser pulses as a spectroscopy of cluster shape vibrations.Comment: Latex/Revtex, 4 pages with 3 Postscript figure

    A Non-supersymmetric Interpretation of the CDF e+e-\gamma\gamma + missing E_T Event

    Full text link
    The \eegg event reported recently by the CDF Collaboration has been interpreted as a signal of supersymmetry in several recent papers. In this article, we report on an alternative non-supersymmetric interpretation of the event using an extension of the standard model which contains new physics at the electroweak scale that does not effect the existing precision electroweak data. We extend the standard model by including an extra sequential generation of fermions, heavy right-handed neutrinos for all generations and an extra singly charged SU(2)-singlet Higgs boson. We discuss possible ways to discriminate this from the standard supersymemtric interpretations.Comment: 7 pages, Latex, no figure

    Generalized Log-Normal Chain-Ladder

    Full text link
    We propose an asymptotic theory for distribution forecasting from the log normal chain-ladder model. The theory overcomes the difficulty of convoluting log normal variables and takes estimation error into account. The results differ from that of the over-dispersed Poisson model and from the chain-ladder based bootstrap. We embed the log normal chain-ladder model in a class of infinitely divisible distributions called the generalized log normal chain-ladder model. The asymptotic theory uses small σ\sigma asymptotics where the dimension of the reserving triangle is kept fixed while the standard deviation is assumed to decrease. The resulting asymptotic forecast distributions follow t distributions. The theory is supported by simulations and an empirical application

    Total Widths And Slopes From Complex Regge Trajectories

    Get PDF
    Maximally complex Regge trajectories are introduced for which both Re α(s)\alpha(s) and Im α(s)\alpha(s) grow as s1ϵs^{1-\epsilon} (ϵ\epsilon small and positive). Our expression reduces to the standard real linear form as the imaginary part (proportional to ϵ\epsilon) goes to zero. A scaling formula for the total widths emerges: ΓTOT/M\Gamma_{TOT}/M\to constant for large M, in very good agreement with data for mesons and baryons. The unitarity corrections also enhance the space-like slopes from their time-like values, thereby resolving an old problem with the ρ\rho trajectory in πN\pi N charge exchange. Finally, the unitarily enhanced intercept, αρ0.525\alpha_{\rho}\approx 0.525, \nolinebreak is in good accord with the Donnachie-Landshoff total cross section analysis.Comment: 9 pages, 3 Figure
    corecore