We measured the ratio $P_{x}/P_{z}$ of the transverse to longitudinal components of polarization transferred from electrons to bound protons in $^{12}\mathrm{C}$ by the $^{12}\mathrm{C}(\vec{e},e'\vec{p})$ process at the Mainz Microtron (MAMI). We observed consistent deviations from unity of this ratio normalized to the free-proton ratio, $(P_{x}/P_{z})_{^{12}\mathrm{C}}/(P_{x}/P_{z})_{^{1}\mathrm{H}}$, for both $s$- and $p$-shell knocked out protons, even though they are embedded in averaged local densities that differ by about a factor of two. The dependence of the double ratio on proton virtuality is similar to the one for knocked out protons from $^{2}\mathrm{H}$ and $^{4}\mathrm{He}$, suggesting a universal behavior. It further implies no dependence on average local nuclear density.

We report the first measurements of the transverse ($P_{x}$ and $P_{y}$) and longitudinal ($P_{z}$) components of the polarization transfer to a bound proton in the deuteron via the $^{2}\mathrm{H}(\vec{e},e'\vec{p})$ reaction, over a wide range of missing momentum. A precise determination of the electron beam polarization reduces the systematic uncertainties on the individual components, to a level that enables a detailed comparison to a state-of-the-art calculation of the deuteron that uses free-proton electromagnetic form factors. We observe very good agreement between the measured and the calculated $P_{x}/P_{z}$ ratios, but deviations of the individual components. Our results cannot be explained by medium modified electromagnetic form factors. They point to an incomplete description of the nuclear reaction mechanism in the calculation.

Possible differences between free and bound protons may be observed in the ratio of polarization-transfer components, $P'_x/P'_z$. We report the measurement of $P'_x/P'_z$, in the $^2\textrm{H}(\vec{e},e^{\prime}\vec{p})n$ reaction at low and high missing momenta. Observed increasing deviation of $P'_x/P'_z$ from that of a free proton as a function of the virtuality, similar to that observed in \hefour, indicates that the effect in nuclei is due to the virtuality of the knock-out proton and not due to the average nuclear density. The measured differences from calculations assuming free-proton form factors ($\sim10\%$), may indicate in-medium modifications.

Complementation of B\"uchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approaches to complementation. The first is the rank-based approach of Kupferman and Vardi, which operates over a DAG that embodies all runs of the automaton. This approach is based on the observation that the vertices of this DAG can be ranked in a certain way, termed an odd ranking, iff all runs are rejecting. The second is the slice-based approach of K\"ahler and Wilke. This approach tracks levels of "split trees" - run trees in which only essential information about the history of each run is maintained. While the slice-based construction is conceptually simple, the complementing automata it generates are exponentially larger than those of the recent rank-based construction of Schewe, and it suffers from the difficulty of symbolically encoding levels of split trees. In this work we reformulate the slice-based approach in terms of run DAGs and preorders over states. In doing so, we begin to draw parallels between the rank-based and slice-based approaches. Through deeper analysis of the slice-based approach, we strongly restrict the nondeterminism it generates. We are then able to employ the slice-based approach to provide a new odd ranking, called a retrospective ranking, that is different from the one provided by Kupferman and Vardi. This new ranking allows us to construct a deterministic-in-the-limit rank-based automaton with a highly restricted transition function. Further, by phrasing the slice-based approach in terms of ranks, our approach affords a simple symbolic encoding and achieves the tight bound of Schewe's construction

The premetric approach to electrodynamics provides a unified description of a wide class of electromagnetic phenomena. In particular, it involves axion, dilaton and skewon modifications of the classical electrodynamics. This formalism emerges also when the non-minimal coupling between the electromagnetic tensor and the torsion of Einstein-Cartan gravity is considered. Moreover, the premetric formalism can serve as a general covariant background of the electromagnetic properties of anisotropic media. In the current paper, we study wave propagation in the premetric electrodynamics. We derive a system of characteristic equations corresponded to premetric generalization of the Maxwell equation. This singular system is characterized by the adjoint matrix which turns to be of a very special form -- proportional to a scalar quartic factor. We prove that a necessary condition for existence a non-trivial solution of the characteristic system is expressed by a unique scalar dispersion relation. In the tangential (momentum) space, it determines a fourth order light hypersurface which replaces the ordinary light cone of the standard Maxwell theory. We derive an explicit form of the covariant dispersion relation and establish it'salgebraic and physical origin.

The possible extensions of GR for description of fermions on a curved space, for supergravity and for loop quantum gravity require a richer set of 16 independent variables. These variables can be assembled in a coframe field, i.e., a local set of four linearly independent 1-forms. In the ordinary formulation, the coframe gravity does not have any connection to a specific geometry even being constructed from the geometrical meaningful objects. A geometrization of the coframe gravity is an aim of this paper. We construct a complete class of the coframe connections which are linear in the first order derivatives of the coframe field on an $n$ dimensional manifolds with and without a metric. The subclasses of the torsion-free, metric-compatible and flat connections are derived. We also study the behavior of the geometrical structures under local transformations of the coframe. The remarkable fact is an existence of a subclass of connections which are invariant when the infinitesimal transformations satisfy the Maxwell-like system of equations. In the framework of the coframe geometry construction, we propose a geometrical action for the coframe gravity. It is similar to the Einstein-Hilbert action of GR, but the scalar curvature is constructed from the general coframe connection. We show that this geometric Lagrangian is equivalent to the coframe Lagrangian up to a total derivative term. Moreover there is a family of coframe connections which Lagrangian does not include the higher order terms at all. In this case, the equivalence is complete.

The previous analysis of the convective Urca neutrino loss process in degenerate, convective, quasi-static, carbon-burning cores by Barkat and Wheeler omitted specific consideration of the role of the kinetic energy flux. The arguments of Barkat and Wheeler that steady-state composition gradients exist are correct, but chemical equilibrium does not result in net cooling. Barkat and Wheeler included a "work" term that effectively removed energy from the total energy budget that could only have come from the kinetic energy, which must remain positive. Consideration of the kinetic energy in the thermodynamics of the convective Urca process shows that the convective Urca neutrinos reduce the rate of increase of entropy that would otherwise be associated with the input of nuclear energy and slow down the convective current, but, unlike the "thermal" Urca process do not reduce the entropy or temperature.