No Arabic abstract
We propose a version of chaotic inflation, in which a fundamental scale M, well below the Planck scale M_P, fixes the initial value of the effective potential. If this scale happens to be the scale of grand unified theories, there are just enough e-foldings of inflation. An initial epoch of fast-roll breaks scale-invariance at the largest observable scales.
We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session calculus and systematically take into account all known fairness assumptions, thereby identifying precisely three interesting and semantically distinct notions of lock-freedom, all of which having a sound session type system. We then show that, by using a general merge operator in an otherwise standard approach to global session types, we obtain a session type system complete for the strongest amongst those notions of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems.
There are two canonical approaches to treating the Standard Model as an Effective Field Theory (EFT): Standard Model EFT (SMEFT), expressed in the electroweak symmetric phase utilizing the Higgs doublet, and Higgs EFT (HEFT), expressed in the broken phase utilizing the physical Higgs boson and an independent set of Goldstone bosons. HEFT encompasses SMEFT, so understanding whether SMEFT is sufficient motivates identifying UV theories that require HEFT as their low energy limit. This distinction is complicated by field redefinitions that obscure the naive differences between the two EFTs. By reformulating the question in a geometric language, we derive concrete criteria that can be used to distinguish SMEFT from HEFT independent of the chosen field basis. We highlight two cases where perturbative new physics must be matched onto HEFT: (i) the new particles derive all of their mass from electroweak symmetry breaking, and (ii) there are additional sources of electroweak symmetry breaking. Additionally, HEFT has a broader practical application: it can provide a more convergent parametrization when new physics lies near the weak scale. The ubiquity of models requiring HEFT suggests that SMEFT is not enough.
State-of-the-art automated segmentation algorithms are not 100% accurate especially when segmenting difficult to interpret datasets like those with severe osteoarthritis (OA). We present a novel interactive method called just-enough interaction (JEI), which adds a fast correction step to the automated layered optimal graph segmentation of multiple objects and surfaces (LOGISMOS). After LOGISMOS segmentation in knee MRI, the JEI user interaction does not modify boundary surfaces of the bones and cartilages directly. Local costs of underlying graph nodes are modified instead and the graph is re-optimized, providing globally optimal corrected results. Significant performance improvement ($p ll 0.001$) was observed when comparing JEI-corrected results to the automated. The algorithm was extended from 3D JEI to longitudinal multi-3D (4D) JEI allowing simultaneous visualization and interaction of multiple-time points of the same patient.
Effort estimation is an integral part of activities planning in Agile iterative development. An Agile team estimates the effort of a task based on the available information which is usually conveyed through documentation. However, as documentation has a lower priority in Agile, little is known about how documentation effort can be optimized while achieving accurate estimation. Hence, to help practitioners achieve just-enough documentation for effort estimation, we investigated the different types of documented information that practitioners considered useful for effort estimation. We conducted a survey study with 121 Agile practitioners across 25 countries. Our survey results showed that (1) despite the lower priority of documentation in Agile practices, 98% of the respondents considered documented information moderately to extremely important when estimating effort, (2) 73% of them reported that they would re-estimate a task when the documented information was changed, and (3) functional requirements, user stories, definition of done, UI wireframes, acceptance criteria, and task dependencies were ranked as the most useful types of documented information for effort estimation. Nevertheless, many respondents reported that these useful types of documented information were occasionally changing or missing. Based on our study results, we provide recommendations for agile practitioners on how effort estimation can be improved by focusing on just-enough documentation.
It depends: While we find within holography that the lifetime of the magnetic field for collider energies like the ones achieved at RHIC is long enough to build up the chiral magnetic current, the lifetime of the magnetic field at LHC seems to be too short. We study the real time evolution of the chiral magnetic effect out-of-equilibrium in strongly coupled holographic gauge theories. We consider the backreaction of the magnetic field onto the geometry and monitor pressure and chiral magnetic current. Our findings show that generically at small magnetic field the pressure builds up faster than the chiral magnetic current whereas at strong magnetic field the opposite is true. At large charge we also find that equilibration is delayed significantly due to long lived oscillations. We also match the parameters of our model to QCD parameters and draw lessons of possible relevance to the realization of the chiral magnetic effect in heavy ion collisions. In particular, we find an equilibration time of about $sim0.35$ fm/c in presence of the chiral anomaly for plasma temperatures of order $Tsim300-400$ MeV.