15,984 research outputs found
Wisdom in the university
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
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 a challenge for the factorized Pomeron at high energies?
We would like to point to the strong violation of the putative factorized
Pomeron exchange model in the reactions 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
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
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
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
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 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
Maximally complex Regge trajectories are introduced for which both Re
and Im grow as ( small and
positive). Our expression reduces to the standard real linear form as the
imaginary part (proportional to ) goes to zero. A scaling formula for
the total widths emerges: 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 trajectory in charge exchange. Finally, the
unitarily enhanced intercept, , \nolinebreak is in
good accord with the Donnachie-Landshoff total cross section analysis.Comment: 9 pages, 3 Figure
- …