900 research outputs found
Refinement Type Inference via Horn Constraint Optimization
We propose a novel method for inferring refinement types of higher-order
functional programs. The main advantage of the proposed method is that it can
infer maximally preferred (i.e., Pareto optimal) refinement types with respect
to a user-specified preference order. The flexible optimization of refinement
types enabled by the proposed method paves the way for interesting
applications, such as inferring most-general characterization of inputs for
which a given program satisfies (or violates) a given safety (or termination)
property. Our method reduces such a type optimization problem to a Horn
constraint optimization problem by using a new refinement type system that can
flexibly reason about non-determinism in programs. Our method then solves the
constraint optimization problem by repeatedly improving a current solution
until convergence via template-based invariant generation. We have implemented
a prototype inference system based on our method, and obtained promising
results in preliminary experiments.Comment: 19 page
Confinement and the analytic structure of the one body propagator in Scalar QED
We investigate the behavior of the one body propagator in SQED. The self
energy is calculated using three different methods: i) the simple bubble
summation, ii) the Dyson-Schwinger equation, and iii) the Feynman-Schwinger
represantation. The Feynman-Schwinger representation allows an {\em exact}
analytical result. It is shown that, while the exact result produces a real
mass pole for all couplings, the bubble sum and the Dyson-Schwinger approach in
rainbow approximation leads to complex mass poles beyond a certain critical
coupling. The model exhibits confinement, yet the exact solution still has one
body propagators with {\it real} mass poles.Comment: 5 pages 2 figures, accepted for publication in Phys. Rev.
Study of relativistic bound states for scalar theories in Bethe-Salpeter and Dyson-Schwinger formalism
The Bethe-Salpeter equation for Wick-Cutkosky like models is solved in
dressed ladder approximation. The bare vertex truncation of the Dyson-Schwinger
equations for propagators is combined with the dressed ladder Bethe-Salpeter
equation for the scalar S-wave bound state amplitudes. With the help of
spectral representation the results are obtained directly in Minkowski space.
We give a new analytic formula for the resulting equation simplifying the
numerical treatment. The bare ladder approximation of Bethe-Salpeter equation
is compared with the one with dressed ladder. The elastic electromagnetic form
factors is calculated within the relativistic impulse approximation.Comment: 30 pages, 10 figures, accepted for publication in Phys. Rev.
Unfolding-Based Process Discovery
This paper presents a novel technique for process discovery. In contrast to
the current trend, which only considers an event log for discovering a process
model, we assume two additional inputs: an independence relation on the set of
logged activities, and a collection of negative traces. After deriving an
intermediate net unfolding from them, we perform a controlled folding giving
rise to a Petri net which contains both the input log and all
independence-equivalent traces arising from it. Remarkably, the derived Petri
net cannot execute any trace from the negative collection. The entire chain of
transformations is fully automated. A tool has been developed and experimental
results are provided that witness the significance of the contribution of this
paper.Comment: This is the unabridged version of a paper with the same title
appearead at the proceedings of ATVA 201
Relativistic bound-state equations in three dimensions
Firstly, a systematic procedure is derived for obtaining three-dimensional
bound-state equations from four-dimensional ones. Unlike ``quasi-potential
approaches'' this procedure does not involve the use of delta-function
constraints on the relative four-momentum. In the absence of negative-energy
states, the kernels of the three-dimensional equations derived by this
technique may be represented as sums of time-ordered perturbation theory
diagrams. Consequently, such equations have two major advantages over
quasi-potential equations: they may easily be written down in any Lorentz
frame, and they include the meson-retardation effects present in the original
four-dimensional equation. Secondly, a simple four-dimensional equation with
the correct one-body limit is obtained by a reorganization of the generalized
ladder Bethe-Salpeter kernel. Thirdly, our approach to deriving
three-dimensional equations is applied to this four-dimensional equation, thus
yielding a retarded interaction for use in the three-dimensional bound-state
equation of Wallace and Mandelzweig. The resulting three-dimensional equation
has the correct one-body limit and may be systematically improved upon. The
quality of the three-dimensional equation, and our general technique for
deriving such equations, is then tested by calculating bound-state properties
in a scalar field theory using six different bound-state equations. It is found
that equations obtained using the method espoused here approximate the wave
functions obtained from their parent four-dimensional equations significantly
better than the corresponding quasi-potential equations do.Comment: 28 pages, RevTeX, 6 figures attached as postscript files. Accepted
for publication in Phys. Rev. C. Minor changes from original version do not
affect argument or conclusion
Generation and detection of guided waves using PZT wafer Transducers
Abstract We report here the use of finite element simulation and experiments to further explore the operation of the wafer transducer. We have separately modeled the emission and detection processes. In particular, we have calculated the wave velocities and the received voltage signals due to A0 and S0 modes at an output transducer as a function of pulse center frequency. These calculations include the effects of finite pulse width, pulse dispersion, and the detailed interaction between the piezoelectric element and the transmitting medium. We show that the received signals for A0 and S0 modes have maxima near the frequencies predicted from the previously published point-force model
Role of retardation in 3-D relativistic equations
Equal-time Green's function is used to derive a three-dimensional integral
equation from the Bethe-Salpeter equation. The resultant equation, in the
absence of anti-particles, is identical to the use of time-ordered diagrams,
and has been used within the framework of coupling to study the
role of energy dependence and non-locality when the two-body potential is the
sum of -exchange and crossed exchange. The results show that
non-locality and energy dependence make a substantial contribution to both the
on-shell and off-shell amplitudes.Comment: 17 pages, RevTeX; 8 figures. Accepted for publication in Phys. Rev.
C56 (Nov. 97
Variational Worldline Approximation for the Relativistic Two-Body Bound State in a Scalar Model
We use the worldline representation of field theory together with a
variational approximation to determine the lowest bound state in the scalar
Wick-Cutkosky model where two equal-mass constituents interact via the exchange
of mesons. Self-energy and vertex corrections are included approximately in a
consistent way as well as crossed diagrams. Only vacuum-polarization effects of
the heavy particles are neglected. In a path integral description of an
appropriate current-current correlator an effective, retarded action is
obtained by integrating out the meson field. As in the polaron problem we
employ a quadratic trial action with variational functions to describe
retardation and binding effects through multiple meson exchange.The variational
equations for these functions are derived, discussed qualitatively and solved
numerically. We compare our results with the ones from traditional approaches
based on the Bethe-Salpeter equation and find an enhanced binding contrary to
some claims in the literature. For weak coupling this is worked out
analytically and compared with results from effective field theories. However,
the well-known instability of the model, which usually is ignored, now appears
at smaller coupling constants than in the one-body case and even when
self-energy and vertex corrections are turned off. This induced instability is
investigated analytically and the width of the bound state above the critical
coupling is estimated.Comment: 62 pages, 7 figures, FBS style, published versio
Mutation-specific reporter for optimization and enrichment of prime editing
Prime editing is a versatile genome-editing technique that shows great promise for the generation and repair of patient mutations. However, some genomic sites are difficult to edit and optimal design of prime-editing tools remains elusive. Here we present a fluorescent prime editing and enrichment reporter (fluoPEER), which can be tailored to any genomic target site. This system rapidly and faithfully ranks the efficiency of prime edit guide RNAs (pegRNAs) combined with any prime editor variant. We apply fluoPEER to instruct correction of pathogenic variants in patient cells and find that plasmid editing enriches for genomic editing up to 3-fold compared to conventional enrichment strategies. DNA repair and cell cycle-related genes are enriched in the transcriptome of edited cells. Stalling cells in the G1/S boundary increases prime editing efficiency up to 30%. Together, our results show that fluoPEER can be employed for rapid and efficient correction of patient cells, selection of gene-edited cells, and elucidation of cellular mechanisms needed for successful prime editing
The Nuclear Yukawa Model on a Lattice
We present the results of the quantum field theory approach to nuclear Yukawa
model obtained by standard lattice techniques. We have considered the simplest
case of two identical fermions interacting via a scalar meson exchange.
Calculations have been performed using Wilson fermions in the quenched
approximation. We found the existence of a critical coupling constant above
which the model cannot be numerically solved. The range of the accessible
coupling constants is below the threshold value for producing two-body bound
states. Two-body scattering lengths have been obtained and compared to the non
relativistic results.Comment: 15 page
- …