Measuring and engineering entropy and spin squeezing in weakly linked Bose-Einstein condensates

We propose a method to infer the single-particle entropy of bosonic atoms in an optical lattice and to study the local evolution of entropy, spin squeezing, and entropic inequalities for entanglement detection in such systems. This method is based on experimentally feasible measurements of non-nearest-neighbour coherences. We study a specific example of dynamically controlling atom tunneling between selected sites and show that this could potentially also improve the metrologically relevant spin squeezing

Correct light deflection in Weyl conformal gravity

The conformal gravity fit to observed galactic rotation curves requires {\gamma}>0. On the other hand, conventional method for light deflection by galaxies gives a negative contribution to Schwarzschild value for {\gamma}>0, which is contrary to observation. Thus, it is very important that the contribution to bending should in principle be positive, no matter how small its magnitude is. Here we show that the Rindler-Ishak method gives a positive contribution to Schwarzschild deflection for {\gamma}>0, as desired. We also obtain the exact local coupling term derived earlier by Sereno. These results indicate that conformal gravity can potentially test well against all astrophysical observations to date.Comment: 6 page

Light bending in the galactic halo by Rindler-Ishak method

After the work of Rindler and Ishak, it is now well established that the bending of light is influenced by the cosmological constant {\Lambda} appearing in the Schwarzschild-de Sitter spacetime. We show that their method, when applied to the galactic halo gravity parametrized by a constant {\gamma}, yields exactly the same {\gamma}- correction to Schwarzschild bending as obtained by standard methods. Different cases are analyzed, which include some corrections to the special cases considered in the original paper by Rindler and Ishak.Comment: 15 page

Solution of the Lane-Emden Equation Using the Bernstein Operational Matrix of Integration

Lane-Emden's equation has fundamental importance in the recent analysis of many problems in relativity and astrophysics including some models of density profiles for dark matter halos. An efficient numerical method is presented for linear and nonlinear Lane-Emden-type equations using the Bernstein polynomial operational matrix of integration. The proposed approach is different from other numerical techniques as it is based on the Bernstein polynomial integration matrix. Some illustrative examples are given to demonstrate the efficiency and validity of the proposed algorithm

Elliptical double corrugated tubes for enhanced heat transfer

The thermal performance at constant pumping power conditions was numerically investigated in ellipse and super ellipse-based double corrugated tubes. A significant increase in thermal efficiency in double corrugated tubes is accompanied with a reasonable penalty in flow reduction for the cases modelled. An ellipse and a super ellipse-based double corrugated tubes were modelled at laminar fully hydraulically developed incompressible flow. Each base geometry was analysed holding either hydraulic diameter constant or the cross-sectional area constant. The pressure drop was normalized to the length of each modelled tube in order to maintain the pumping power. Thermal analysis was conducted under constant wall temperature boundary condition. The governing equations for non-isothermal flow were solved using the finite element method, and the results of the simulations were normalized to an equivalent straight tube. Numerical results predict a thermal efficiency enhanced by 400% maintaining 4.2 times lower volumetric flow rate in double corrugated tubes at the same pressure drop. The global performance evaluation criterion increases up to 14% for the double corrugated tubes with an ellipse-base and up to 11% for the tubes with super ellipse-base

Regular Solutions in Vacuum Brans-Dicke Theory Compared to Vacuum Einstein Theory

We will confront some static spherically symmetric vacuum Brans-Dicke solutions in the Jordan and Einstein Frames with the Robertson parameters. While the regular solution in the vacuum Einstein theory is just the Schwarzschild black hole, the same in the Jordan frame Brans-Dicke theory is shown to represent not a black hole but a traversable wormhole. But, in this case, the valid range ofωbecomes too narrow to yield the observed weak field Robertson parameters at the positive mass mouth. The corresponding solution in the Einstein frame also provides a regular wormhole, and it yields the correct parametric values but only up to "one and half order." We argue that a second-order contribution can in principle distinguish between the signatures of the regular wormhole and the singular Buchdahl solution in the Einstein frame. Thus, at the level of regular solutions, Brans-Dicke theory in each frame predicts effects very different from those of Einstein's theory. To our knowledge, these theoretical distinctions seem not to have received adequate attention so far

Electromagnetic energy penetration in the self-induced transparency regime of relativistic laser-plasma interactions

Two scenarios for the penetration of relativistically intense laser radiation into an overdense plasma, accessible by self-induced transparency, are presented. For supercritical densities less than 1.5 times the critical one, penetration of laser energy occurs by soliton-like structures moving into the plasma. At higher background densities laser light penetrates over a finite length only, that increases with the incident intensity. In this regime plasma-field structures represent alternating electron layers separated by about half a wavelength by depleted regions.Comment: 9 pages, 4 figures, submitted for publication to PR

Introduction—23rd North American Prairie Conference

Building upon the tradition started in Illinois by Peter Schramm in 1970, with the first conference on prairies and prairie restoration, the North American Prairie Conference (NAPC) has developed a tradition of excellence in native prairie research, conservation, education and restoration of one of the worlds’ most productive, yet most endangered, ecosystems. It has spawned great interest, enthusiasm and efforts to better understand, appreciate, manage and conserve this vital part of North America’s natural and cultural history. In early August 2012, the University of Manitoba in Winnipeg hosted the 23rd NAPC. The theme of the 2012 conference was “Celebrating Our Prairie Heritage.” It explored where we have been and where we should be heading. Over 230 people from 12 U.S. states and 5 Canadian provinces helped celebrate in outstanding style. This was only the second time this major international conference had been hosted in Canada. Manitoba is Canada’s easternmost prairie province, and traditionally has been the gateway to the vast Canadian prairies further west. Historically, aboriginal peoples and European settlers alike marveled at the open country revealed by lush shoulder-high grasses and wildflowers of the Red River Valley. The tall-grass prairie gradually gave way to the mixed grass and rough fescue prairies that stretched from western Manitoba right through to the Rockies

Computing Distances between Probabilistic Automata

We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs. We give logical characterisations of these notions by choosing suitable logics which differ from the elementary ones, L with negation and L without negation, by the modal operator. Using flow networks, we show how to compute the relations in PTIME. This allows the definition of an efficiently computable non-discounted distance between the states of a PA. A natural modification of this distance is introduced, to obtain a discounted distance, which weakens the influence of long term transitions. We compare our notions of distance to others previously defined and illustrate our approach on various examples. We also show that our distance is not expansive with respect to process algebra operators. Although L without negation is a suitable logic to characterise epsilon-(bi)simulation on deterministic PAs, it is not for general PAs; interestingly, we prove that it does characterise weaker notions, called a priori epsilon-(bi)simulation, which we prove to be NP-difficult to decide.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Automatic C-Plane Detection in Pelvic Floor Transperineal Volumetric Ultrasound

© 2020, Springer Nature Switzerland AG. Transperineal volumetric ultrasound (US) imaging has become routine practice for diagnosing pelvic floor disease (PFD). Hereto, clinical guidelines stipulate to make measurements in an anatomically defined 2D plane within a 3D volume, the so-called C-plane. This task is currently performed manually in clinical practice, which is labour-intensive and requires expert knowledge of pelvic floor anatomy, as no computer-aided C-plane method exists. To automate this process, we propose a novel, guideline-driven approach for automatic detection of the C-plane. The method uses a convolutional neural network (CNN) to identify extreme coordinates of the symphysis pubis and levator ani muscle (which define the C-plane) directly via landmark regression. The C-plane is identified in a postprocessing step. When evaluated on 100 US volumes, our best performing method (multi-task regression with UNet) achieved a mean error of 6.05 mm and 4.81 and took 20 s. Two experts blindly evaluated the quality of the automatically detected planes and manually defined the (gold standard) C-plane in terms of their clinical diagnostic quality. We show that the proposed method performs comparably to the manual definition. The automatic method reduces the average time to detect the C-plane by 100 s and reduces the need for high-level expertise in PFD US assessment