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$\to$ $q+\bar{q}$ decay amplitudes, as required by confinement. The regularization of the singularities in the linear potential that are associated with nonzero energy transfers (i.e. $q^2=0,q^{\mu}\neq0$) 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, $d(e,e'p)n$, 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 $Q^2$ 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 $A_\phi$, 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$_{3}$ 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