97 research outputs found
Quintessence Models and the Cosmological Evolution of alpha
The cosmological evolution of a quintessence-like scalar field, phi, coupled
to matter and gauge fields leads to effective modifications of the coupling
constants and particle masses over time. We analyze a class of models where the
scalar field potential V(phi) and the couplings to matter B(phi) admit common
extremum in phi, as in the Damour-Polyakov ansatz. We find that even for the
simplest choices of potentials and B(phi), the observational constraints on
delta alpha/alpha coming from quasar absorption spectra, the Oklo phenomenon
and Big Bang nucleosynthesis provide complementary constraints on the
parameters of the model. We show the evolutionary history of these models in
some detail and describe the effects of a varying mass for dark matter.Comment: 26 pages, 20 eps figure
Declarative symbolic pure-logic model checking
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.Includes bibliographical references (p. 173-181).Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating correctness properties. Existing model checkers are well-suited for analyzing control-intensive algorithms (e.g. network protocols with simple node state). Many important analyses, however, fall outside the capabilities of existing model checkers. Examples include checking algorithms with complex state, distributed algorithms over all network topologies, and highly declarative models. This thesis addresses the problem of building an efficient model checker that overcomes these limitations. The work builds on Alloy, a relational modeling language. Previous work has defined the language and shown that it can be analyzed by translation to SAT. The primary contributions of this thesis include: a modeling paradigm for describing complex structures in Alloy; significant improvements in scalability of the analyzer; and improvements in usability of the analyzer via addition of a debugger for over constraints. Together, these changes make model-checking practical for important new classes of analyses. While the work was done in the context of Alloy, some techniques generalize to other verification tools.by Ilya A. Shlyakhter.S.M
Re/Os constraint on the time-variability of the fine-structure constant
We argue that the accuracy by which the isochron parameters of the decay
are determined by dating iron meteorites may
not directly constrain the possible time-dependence of the decay rate and hence
of the fine-structure constant . From this point of view, some of the
attempts to analyze the Oklo constraint and the results of the QSO absorption
lines are re-examined.Comment: 7 pages, 3 figures; v2, revised top sentence on p.
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry
We consider a common type of symmetry where we have a matrix of decision
variables with interchangeable rows and columns. A simple and efficient method
to deal with such row and column symmetry is to post symmetry breaking
constraints like DOUBLELEX and SNAKELEX. We provide a number of positive and
negative results on posting such symmetry breaking constraints. On the positive
side, we prove that we can compute in polynomial time a unique representative
of an equivalence class in a matrix model with row and column symmetry if the
number of rows (or of columns) is bounded and in a number of other special
cases. On the negative side, we show that whilst DOUBLELEX and SNAKELEX are
often effective in practice, they can leave a large number of symmetric
solutions in the worst case. In addition, we prove that propagating DOUBLELEX
completely is NP-hard. Finally we consider how to break row, column and value
symmetry, correcting a result in the literature about the safeness of combining
different symmetry breaking constraints. We end with the first experimental
study on how much symmetry is left by DOUBLELEX and SNAKELEX on some benchmark
problems.Comment: To appear in the Proceedings of the 16th International Conference on
Principles and Practice of Constraint Programming (CP 2010
Runaway dilaton and equivalence principle violations
In a recently proposed scenario, where the dilaton decouples while
cosmologically attracted towards infinite bare string coupling, its residual
interactions can be related to the amplitude of density fluctuations generated
during inflation, and are large enough to be detectable through a modest
improvement on present tests of free-fall universality. Provided it has
significant couplings to either dark matter or dark energy, a runaway dilaton
can also induce time-variations of the natural "constants" within the reach of
near-future experiments.Comment: 4 pages, minor change
Variable rest masses in 5-dimensional gravitation confronted with experimental data
Cosmological solutions of Einstein equation for a \mbox{5-dimensional}
space-time, in the case of a dust-filled universe, are presented. With these
solutions we are able to test a hypothetical relation between the rest mass of
a particle and the dimension. Comparison with experiment strongly
refutes the implied dependence of the rest mass on the cosmological time.Comment: Some references adde
Testing the stability of fundamental constants with the 199Hg+ single-ion optical clock
Over a two-year duration, we have compared the frequency of the 199Hg+ 5d106s
2S 1/2 (F=0) 5d9 6s2 2D 5/2 (F=2) electric-quadrupole transition at 282 nm
with the frequency of the ground-state hyperfine splitting in neutral 133Cs.
These measurements show that any fractional time variation of the ratio
nu(Cs)/nu(Hg) between the two frequencies is smaller than +/- 7 10^-15 / yr (1
sigma uncertainty). According to recent atomic structure calculations, this
sets an upper limit to a possible fractional time variation of g(Cs) m_e / m_p
alpha^6.0 at the same level.Comment: 4 pages with 3 figures. RevTeX 4, Submitted to Phys. Rev. Let
Limits on cosmological variation of quark masses and strong interaction
We discuss limits on variation of . The results are
obtained by studying -interaction during Big Bang, Oklo natural
nuclear reactor data and limits on variation of the proton -factor from
quasar absorpion spectra.Comment: 5 pages, RevTe
Towards a sensitive search for variation of the fine structure constant using radio-frequency E1 transitions in atomic dysprosium
It has been proposed that the radio-frequency electric-dipole (E1) transition
between two nearly degenerate opposite-parity states in atomic dysprosium
should be highly sensitive to possible temporal variation of the fine structure
constant () [V. A. Dzuba, V. V. Flambaum, and J. K. Webb, Phys. Rev. A
{\bf 59}, 230 (1999)]. We analyze here an experimental realization of the
proposed search in progress in our laboratory, which involves monitoring the E1
transition frequency over a period of time using direct frequency counting
techniques. We estimate that a statistical sensitivity of |\adota| \sim
10^{-18}/yr may be achieved and discuss possible systematic effects that may
limit such a measurement.Comment: 8 pages, 7 figure
- …