7,716 research outputs found
Nucleon-nucleon resonances at intermediate energies using a complex energy formalism
We apply our method of complex scaling, valid for a general class of
potentials, in a search for nucleon-nucleon S-matrix poles up to 2 GeV
laboratory kinetic energy. We find that the realistic potentials JISP16,
constructed from inverse scattering, and chiral field theory potentials NLO
and NLO support resonances in energy regions well above their fit
regions. In some cases these resonances have widths that are narrow when
compared with the real part of the S-matrix pole.Comment: 7 pages, 5 figures, 2 Table
Incremental Recompilation of Knowledge
Approximating a general formula from above and below by Horn formulas (its
Horn envelope and Horn core, respectively) was proposed by Selman and Kautz
(1991, 1996) as a form of ``knowledge compilation,'' supporting rapid
approximate reasoning; on the negative side, this scheme is static in that it
supports no updates, and has certain complexity drawbacks pointed out by
Kavvadias, Papadimitriou and Sideri (1993). On the other hand, the many
frameworks and schemes proposed in the literature for theory update and
revision are plagued by serious complexity-theoretic impediments, even in the
Horn case, as was pointed out by Eiter and Gottlob (1992), and is further
demonstrated in the present paper. More fundamentally, these schemes are not
inductive, in that they may lose in a single update any positive properties of
the represented sets of formulas (small size, Horn structure, etc.). In this
paper we propose a new scheme, incremental recompilation, which combines Horn
approximation and model-based updates; this scheme is inductive and very
efficient, free of the problems facing its constituents. A set of formulas is
represented by an upper and lower Horn approximation. To update, we replace the
upper Horn formula by the Horn envelope of its minimum-change update, and
similarly the lower one by the Horn core of its update; the key fact which
enables this scheme is that Horn envelopes and cores are easy to compute when
the underlying formula is the result of a minimum-change update of a Horn
formula by a clause. We conjecture that efficient algorithms are possible for
more complex updates.Comment: See http://www.jair.org/ for any accompanying file
Nuclear three-body problem in the complex energy plane: Complex-Scaling-Slater method
The physics of open quantum systems is an interdisciplinary area of research.
The nuclear "openness" manifests itself through the presence of the many-body
continuum representing various decay, scattering, and reaction channels. As the
radioactive nuclear beam experimentation extends the known nuclear landscape
towards the particle drip lines, the coupling to the continuum space becomes
exceedingly more important. Of particular interest are weakly bound and unbound
nuclear states appearing around particle thresholds. Theories of such nuclei
must take into account their open quantum nature. To describe open quantum
systems, we introduce a Complex Scaling (CS) approach in the Slater basis. We
benchmark it with the complex-energy Gamow Shell Model (GSM) by studying
energies and wave functions of the bound and unbound states of the two-neutron
halo nucleus 6He viewed as an + n + n cluster system. In the CS
approach, we use the Slater basis, which exhibits the correct asymptotic
behavior at large distances. To extract particle densities from the
back-rotated CS solutions, we apply the Tikhonov regularization procedure,
which minimizes the ultraviolet numerical noise. While standard applications of
the inverse complex transformation to the complex-rotated solution provide
unstable results, the stabilization method fully reproduces the GSM benchmark.
We also propose a method to determine the smoothing parameter of the Tikhonov
regularization. The combined suite of CS-Slater and GSM techniques has many
attractive features when applied to nuclear problems involving weakly-bound and
unbound states. While both methods can describe energies, total widths, and
wave functions of nuclear states, the CS-Slater method, if it can be applied,
can provide an additional information about partial energy widths associated
with individual thresholds.Comment: 15 pages, 16 figure
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
Boolean satisfiability problems are an important benchmark for questions
about complexity, algorithms, heuristics and threshold phenomena. Recent work
on heuristics, and the satisfiability threshold has centered around the
structure and connectivity of the solution space. Motivated by this work, we
study structural and connectivity-related properties of the space of solutions
of Boolean satisfiability problems and establish various dichotomies in
Schaefer's framework.
On the structural side, we obtain dichotomies for the kinds of subgraphs of
the hypercube that can be induced by the solutions of Boolean formulas, as well
as for the diameter of the connected components of the solution space. On the
computational side, we establish dichotomy theorems for the complexity of the
connectivity and st-connectivity questions for the graph of solutions of
Boolean formulas. Our results assert that the intractable side of the
computational dichotomies is PSPACE-complete, while the tractable side - which
includes but is not limited to all problems with polynomial time algorithms for
satisfiability - is in P for the st-connectivity question, and in coNP for the
connectivity question. The diameter of components can be exponential for the
PSPACE-complete cases, whereas in all other cases it is linear; thus, small
diameter and tractability of the connectivity problems are remarkably aligned.
The crux of our results is an expressibility theorem showing that in the
tractable cases, the subgraphs induced by the solution space possess certain
good structural properties, whereas in the intractable cases, the subgraphs can
be arbitrary
Reconciliation of object interaction models
This paper presents Reconciliation+, a
tool-supported method which identifies overlaps
between models of different object interactions
expressed as UML sequence and/or collaboration
diagrams, checks whether the overlapping elements
of these models satisfy specific consistency rules,
and guides developers in handling these
inconsistencies. The method also keeps track of the
decisions made and the actions taken in the process
of managing inconsistencies
First Law, Counterterms and Kerr-AdS_5 Black Holes
We apply the counterterm subtraction technique to calculate the action and
other quantities for the Kerr--AdS black hole in five dimensions using two
boundary metrics; the Einstein universe and rotating Einstein universe with
arbitrary angular velocity. In both cases, the resulting thermodynamic
quantities satisfy the first law of thermodynamics. We point out that the
reason for the violation of the first law in previous calculations is that the
rotating Einstein universe, used as a boundary metric, was rotating with an
angular velocity that depends on the black hole rotation parameter. Using a new
coordinate system with a boundary metric that has an arbitrary angular
velocity, one can show that the resulting physical quantities satisfy the first
law.Comment: 19 pages, 1 figur
Ab-initio No-Core Gamow Shell Model calculations with realistic interactions
No-Core Gamow Shell Model (NCGSM) is applied for the first time to study
selected well-bound and unbound states of helium isotopes. This model is
formulated on the complex energy plane and, by using a complete Berggren
ensemble, treats bound, resonant, and scattering states on equal footing. We
use the Density Matrix Renormalization Group method to solve the many-body
Schr\"{o}dinger equation. To test the validity of our approach, we benchmarked
the NCGSM results against Faddeev and Faddeev-Yakubovsky exact calculations for
H and He nuclei. We also performed {\textit ab initio} NCGSM
calculations for the unstable nucleus He and determined the ground state
energy and decay width, starting from a realistic NLO chiral interaction.Comment: 17 pages, 14 figures. Revised version. Discussion on microscopic
overlap functions, SFs and ANCs is added. Added references. Accepted for
publication at PR
- …