influence.ME: tools for detecting influential data in mixed effects models

influence.ME provides tools for detecting influential data in mixed effects models. The application of these models has become common practice, but the development of diagnostic tools has lagged behind. influence.ME calculates standardized measures of influential data for the point estimates of generalized mixed effects models, such as DFBETAS, Cook’s distance, as well as percentile change and a test for changing levels of significance. influence.ME calculates these measures of influence while accounting for the nesting structure of the data. The package and measures of influential data\ud are introduced, a practical example is given, and strategies for dealing with influential data are suggested

Adolescents' future in the balance of family, school, and the neighborhood:A multidimensional application of two theoretical perspectives

OBJECTIVE: Family, school, and neighborhood contexts provide cultural resources that may foster children's ambitions and bolster their academic performance. Reference group theory instead highlights how seemingly positive settings can depress educational aspirations, expectations, and performance. We test these competing claims. METHODS: We test these claims using the British Avon Longitudinal Study of Parents and Children (N = 4968). RESULTS: Results are broadly in line with the cultural resource perspective. However, important exceptions to this pattern point to reference group processes for children from low-educated parents, whose academic aspirations are especially low when they either attended an affluent school or lived in an affluent neighborhood—but not both, and for children from highly educated parents attending poor schools, whose realistic expectations of the future are higher than their peers in affluent schools. CONCLUSION: The resource perspective strongly predicts adolescents’ (ideas about) education, but reference group processes also play an important role in neighborhoods and schools.https://onlinelibrary.wiley.com/doi/10.1111/ssqu.13137Published versio

Nonperturbative dynamics of scalar field theories through the Feynman-Schwinger representation

In this paper we present a summary of results obtained for scalar field theories using the Feynman-Schwinger (FSR) approach. Specifically, scalar QED and chi^2phi theories are considered. The motivation behind the applications discussed in this paper is to use the FSR method as a rigorous tool for testing the quality of commonly used approximations in field theory. Exact calculations in a quenched theory are presented for one-, two-, and three-body bound states. Results obtained indicate that some of the commonly used approximations, such as Bethe-Salpeter ladder summation for bound states and the rainbow summation for one body problems, produce significantly different results from those obtained from the FSR approach. We find that more accurate results can be obtained using other, simpler, approximation schemes.Comment: 25 pags, 19 figures, prepared for the volume celebrating the 70th birthday of Yuri Simono

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.

Exact spinor-scalar bound states in a QFT with scalar interactions

We study two-particle systems in a model quantum field theory, in which scalar particles and spinor particles interact via a mediating scalar field. The Lagrangian of the model is reformulated by using covariant Green's functions to solve for the mediating field in terms of the particle fields. This results in a Hamiltonian in which the mediating-field propagator appears directly in the interaction term. It is shown that exact two-particle eigenstates of the Hamiltonian can be determined. The resulting relativistic fermion-boson equation is shown to have Dirac and Klein-Gordon one-particle limits. Analytic solutions for the bound state energy spectrum are obtained for the case of massless mediating fields.Comment: 12 pages, RevTeX, 1 figur

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty in providing formal guarantees about their behavior. We present a novel, scalable, and efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique is based on the simplex method, extended to handle the non-convex Rectified Linear Unit (ReLU) activation function, which is a crucial ingredient in many modern neural networks. The verification procedure tackles neural networks as a whole, without making any simplifying assumptions. We evaluated our technique on a prototype deep neural network implementation of the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu). Results show that our technique can successfully prove properties of networks that are an order of magnitude larger than the largest networks verified using existing methods.Comment: This is the extended version of a paper with the same title that appeared at CAV 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