3,323 research outputs found
Quark-Antiquark Bound States in the Relativistic Spectator Formalism
The quark-antiquark bound states are discussed using the relativistic
spectator (Gross) equations. A relativistic covariant framework for analyzing
confined bound states is developed. The relativistic linear potential developed
in an earlier work is proven to give vanishing meson decay
amplitudes, as required by confinement. The regularization of the singularities
in the linear potential that are associated with nonzero energy transfers (i.e.
) is improved. Quark mass functions that build chiral
symmetry into the theory and explain the connection between the current quark
and constituent quark masses are introduced. The formalism is applied to the
description of pions and kaons with reasonable results.Comment: 31 pages, 16 figure
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
We present Fiat, a library for the Coq proof assistant supporting refinement of declarative specifications into efficient functional programs with a high degree of automation. Each refinement process leaves a proof trail, checkable by the normal Coq kernel, justifying its soundness. We focus on the synthesis of abstract data types that package methods with private data. We demonstrate the utility of our framework by applying it to the synthesis of query structures--abstract data types with SQL-like query and insert operations. Fiat includes a library for writing specifications of query structures in SQL-inspired notation, expressing operations over relations (tables) in terms of mathematical sets. This library includes a suite of tactics for automating the refinement of specifications into efficient, correct- by-construction OCaml code. Using these tactics, a programmer can generate such an implementation completely automatically by only specifying the equivalent of SQL indexes, data structures capturing useful views of the abstract data. Throughout we speculate on the new programming modularity possibilities enabled by an automated refinement system with proved-correct rules. “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.”--MichelangeloNational Science Foundation (U.S.) (NSF grant CCF-1253229)United States. Defense Advanced Research Projects Agency (DARPA, agreement number FA8750-12-2- 0293
Gauging the spectator equations
We show how to derive relativistic, unitary, gauge invariant, and charge
conserving three-dimensional scattering equations for a system of hadrons
interacting with an electromagnetic field. In the method proposed, the
spectator equations describing the strong interactions of the hadrons are
gauged using our recently introduced gauging of equations method. A key
ingredient in our model is the on-mass-shell particle propagator. We discuss
how to gauge this on-mass-shell propagator so that both the Ward-Takahashi and
Ward identities are satisfied. We then demonstrate our gauging procedure by
deriving the gauge-invariant three-dimensional expression for the deuteron
photodisintegration amplitude within the spectator approach.Comment: 17 pages, REVTeX, epsf, 1 Postscript figur
Integrability and Conformal Symmetry in the BCS model
The exactly solvable BCS Hamiltonian of superconductivity is considered from
several viewpoints: Richardson's ansatz, conformal field theory, integrable
inhomogenous vertex models and Chern-Simons theory.Comment: Latex with macros included, 12 pages, Proceedings of the NATO
Advanced Research Workshop on Statistical Field Theories, Como 18-23 June
2001. Editors: Andrea Cappelli and Giuseppe Mussardo. to be published by
Kluwer, Academic Publishers. Corrected some typos and further acknowledgment
Multisensory Home-Monitoring in Individuals With Stable Chronic Obstructive Pulmonary Disease and Asthma: Usability Study of the CAir-Desk
Background: Research integrating multisensory home-monitoring in respiratory disease is scarce. Therefore, we created a novel multisensory home-monitoring device tailored for long-term respiratory disease management (named the CAir-Desk). We hypothesize that recent technological accomplishments can be integrated into a multisensory participant-driven platform. We also believe that this platform could improve chronic disease management and be accessible to large groups at an acceptable cost.
Objective: This study aimed to report on user adherence and acceptance as well as system functionality of the CAir-Desk in a sample of participants with stable chronic obstructive pulmonary disease (COPD) or asthma.
Methods: We conducted an observational usability study. Participants took part in 4 weeks of home-monitoring with the CAir-Desk. The CAir-Desk recorded data from all participants on symptom burden, physical activity, spirometry, and environmental air quality; data on sputum production, and nocturnal cough were only recorded for participants who experienced symptoms. After the study period, participants reported on their perceptions of the usability of the monitoring device through a purpose-designed questionnaire. We used descriptive statistics and visualizations to display results.
Results: Ten participants, 5 with COPD and 5 with asthma took part in this study. They completed symptom burden questionnaires on a median of 96% (25th percentile 14%, 75th percentile 96%), spirometry recordings on 55% (20%, 94%), wrist-worn physical activity recordings on 100% (97%, 100%), arm-worn physical activity recordings on 45% (13%, 63%), nocturnal cough recordings on 34% (9%, 54%), sputum recordings on 5% (3%, 12%), and environmental air quality recordings on 100% (99%, 100%) of the study days. The participants indicated that the measurements consumed a median of 13 (10, 15) min daily, and that they preferred the wrist-worn physical activity monitor to the arm-worn physical activity monitor.
Conclusions: The CAir-Desk showed favorable technical performance and was well-accepted by our sample of participants with stable COPD and asthma. The obtained insights were used in a redesign of the CAir-Desk, which is currently applied in a randomized controlled trial including an interventional program
Covariant description of inelastic electron--deuteron scattering:predictions of the relativistic impulse approximation
Using the covariant spectator theory and the transversity formalism, the
unpolarized, coincidence cross section for deuteron electrodisintegration,
, is studied. The relativistic kinematics are reviewed, and simple
theoretical formulae for the relativistic impulse approximation (RIA) are
derived and discussed. Numerical predictions for the scattering in the high
region obtained from the RIA and five other approximations are presented
and compared. We conclude that measurements of the unpolarized coincidence
cross section and the asymmetry , to an accuracy that will distinguish
between different theoretical models, is feasible over most of the wide
kinematic range accessible at Jefferson Lab.Comment: 54 pages and 24 figure
The equivalence theorem and the Bethe-Salpeter equation
We solve the Bethe-Salpeter equation for two-particle scattering in a
field-theoretical model using two lagrangians related by a field
transformation. The kernel of the equation consists of the sum of all
tree-level diagrams for each lagrangian. The solutions differ even if all four
external particles are put on the mass shell, which implies that observables
calculated by solving the Bethe-Salpeter equation depend on the representation
of the theory. We point out that this violation of the equivalence theorem has
a simple explanation and should be expected for any Bethe-Salpeter equation
with a tree-level kernel. Implications for dynamical models of hadronic
interactions are discussed.Comment: 10 pages, 4 figures, using REVTeX. Fig. 2 corrected, results
unchanged, to be published in Phys. Lett.
Quadratic Effective Action for QED in D=2,3 Dimensions
We calculate the effective action for Quantum Electrodynamics (QED) in D=2,3
dimensions at the quadratic approximation in the gauge fields. We analyse the
analytic structure of the corresponding nonlocal boson propagators
nonperturbatively in k/m. In two dimensions for any nonzero fermion mass, we
end up with one massless pole for the gauge boson . We also calculate in D=2
the effective potential between two static charges separated by a distance L
and find it to be a linearly increasing function of L in agreement with the
bosonized theory (massive Sine-Gordon model). In three dimensions we find
nonperturbatively in k/m one massive pole in the effective bosonic action
leading to screening. Fitting the numerical results we derive a simple
expression for the functional dependence of the boson mass upon the
dimensionless parameter e^{2}/m .Comment: 10 pages, 2 figure
Effective Action for QED with Fermion Self-Interaction in D=2 and D=3 Dimensions
In this work we discuss the effect of the quartic fermion self-interaction of
Thirring type in QED in D=2 and D=3 dimensions. This is done through the
computation of the effective action up to quadratic terms in the photon field.
We analyze the corresponding nonlocal photon propagators nonperturbatively in %
\frac{k}{m}, where k is the photon momentum and m the fermion mass. The poles
of the propagators were determined numerically by using the Mathematica
software. In D=2 there is always a massless pole whereas for strong enough
Thirring coupling a massive pole may appear . For D=3 there are three regions
in parameters space. We may have one or two massive poles or even no pole at
all. The inter-quark static potential is computed analytically in D=2. We
notice that the Thirring interaction contributes with a screening term to the
confining linear potential of massive QED_{2}. In D=3 the static potential must
be calculated numerically. The screening nature of the massive QED
prevails at any distance, indicating that this is a universal feature of % D=3
electromagnetic interaction. Our results become exact for an infinite number of
fermion flavors.Comment: Latex, 13 pages, 3 figure
- …