The One-Loop Matter Bispectrum in the Effective Field Theory of Large Scale Structures

Given the importance of future large scale structure surveys for delivering new cosmological information, it is crucial to reliably predict their observables. The Effective Field Theory of Large Scale Structures (EFTofLSS) provides a manifestly convergent perturbative scheme to compute the clustering of dark matter in the weakly nonlinear regime in an expansion in $k/k_{\rm NL}$, where $k$ is the wavenumber of interest and $k_{\rm NL}$ is the wavenumber associated to the nonlinear scale. It has been recently shown that the EFTofLSS matches to $1\%$ level the dark matter power spectrum at redshift zero up to $k\simeq 0.3 h\,$Mpc$^{-1}$ and $k\simeq 0.6 h\,$Mpc$^{-1}$ at one and two loops respectively, using only one counterterm that is fit to data. Similar results have been obtained for the momentum power spectrum at one loop. This is a remarkable improvement with respect to former analytical techniques. Here we study the prediction for the equal-time dark matter bispectrum at one loop. We find that at this order it is sufficient to consider the same counterterm that was measured in the power spectrum. Without any remaining free parameter, and in a cosmology for which $k_{\rm NL}$ is smaller than in the previously considered cases ($\sigma_8=0.9$), we find that the prediction from the EFTofLSS agrees very well with $N$-body simulations up to $k\simeq 0.25 h\,$Mpc$^{-1}$, given the accuracy of the measurements, which is of order a few percent at the highest $k$'s of interest. While the fit is very good on average up to $k\simeq 0.25 h\,$Mpc$^{-1}$, the fit performs slightly worse on equilateral configurations, in agreement with expectations that for a given maximum $k$, equilateral triangles are the most nonlinear.Comment: 39 pages, 12 figures; v2: JCAP published version, improved numerical data, added explanation and clarification

Nucleation and growth in two dimensions

We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of Dehghanpour and Schonmann. In particular, we determine the typical infection time up to a constant factor for almost all natural values of the parameters, and in a large range we obtain a stronger, sharp threshold.Comment: 35 pages, Section 6 update

Efficient sugar production from sugarcane bagasse by microwave assisted acid and alkali pretreatment

Sugarcane bagasse represents one of the best potential feedstocks for the production of second generation bioethanol. The most efficient method to produce fermentable sugars is by enzymatic hydrolysis, assisted by thermochemical pretreatments. Previous research was focused on conventional heating pretreatment and the pretreated biomass residue characteristics. In this work, microwave energy is applied to facilitate sodium hydroxide (NaOH) and sulphuric acid (H2SO4) pretreatments on sugarcane bagasse and the efficiency of sugar production was evaluated on the soluble sugars released during pretreatment. The results show that microwave assisted pretreatment was more efficient than conventional heating pretreatment and it gave rise to 4 times higher reducing sugar release by using 5.7 times less pretreatment time. It is highlighted that enrichment of xylose and glucose can be tuned by changing pretreatment media (NaOH/H2SO4) and holding time. SEM study shows significant delignification effect of NaOH pretreatment, suggesting a possible improved enzymatic hydrolysis process. However, severe acid conditions should be avoided (long holding time or high acid concentration) under microwave heating conditions. It led to biomass carbonization, reducing sugar production and forming ‘humins’. Overall, in comparison with conventional pretreatment, microwave assisted pretreatment removed significant amount of hemicellulose and lignin and led to high amount of sugar production during pretreatment process, suggesting microwave heating pretreatment is an effective and efficient pretreatment method

Designing potentials by sculpturing wires

Magnetic trapping potentials for atoms on atom chips are determined by the current flow in the chip wires. By modifying the shape of the conductor we can realize specialized current flow patterns and therefore micro-design the trapping potentials. We have demonstrated this by nano-machining an atom chip using the focused ion beam technique. We built a trap, a barrier and using a BEC as a probe we showed that by polishing the conductor edge the potential roughness on the selected wire can be reduced. Furthermore we give different other designs and discuss the creation of a 1D magnetic lattice on an atom chip.Comment: 6 pages, 8 figure

Total Haskell is Reasonable Coq

We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell programs into Coq programs via a shallow embedding. We apply our tool in three case studies -- a lawful Monad instance, "Hutton's razor", and an existing data structure library -- and prove their correctness. These examples show that this approach is viable: both that hs-to-coq applies to existing Haskell code, and that the output it produces is amenable to verification.Comment: 13 pages plus references. Published at CPP'18, In Proceedings of 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP'18). ACM, New York, NY, USA, 201

New insights into the nature of transition disks from a complete disk survey of the Lupus star forming region

Transition disks with large dust cavities around young stars are promising targets for studying planet formation. Previous studies have revealed the presence of gas cavities inside the dust cavities hinting at recently formed, giant planets. However, many of these studies are biased towards the brightest disks in the nearby star forming regions, and it is not possible to derive reliable statistics that can be compared with exoplanet populations. We present the analysis of 11 transition disks with large cavities (>20 AU radius) from a complete disk survey of the Lupus star forming region, using ALMA Band 7 observations at 0.3" (22-30 AU radius) resolution of the 345 GHz continuum, 13CO and C18O 3-2 observations and the Spectral Energy Distribution of each source. Gas and dust surface density profiles are derived using the physical-chemical modeling code DALI. This is the first study of transition disks of large cavities within a complete disk survey within a star forming region. The dust cavity sizes range from 20-90 AU radius and in three cases, a gas cavity is resolved as well. The deep drops in gas density and large dust cavity sizes are consistent with clearing by giant planets. The fraction of transition disks with large cavities in Lupus is ~11%, which is inconsistent with exoplanet population studies of giant planets at wide orbits. Furthermore, we present a hypothesis of an evolutionary path for large massive disks evolving into transition disks with large cavities.Comment: 29 pages, 15 figures, Accepted by Ap

Identification of crop cultivars with consistently high lignocellulosic sugar release requires the use of appropriate statistical design and modelling

Background In this study, a multi-parent population of barley cultivars was grown in the field for two consecutive years and then straw saccharification (sugar release by enzymes) was subsequently analysed in the laboratory to identify the cultivars with the highest consistent sugar yield. This experiment was used to assess the benefit of accounting for both the multi-phase and multi-environment aspects of large-scale phenotyping experiments with field-grown germplasm through sound statistical design and analysis. Results Complementary designs at both the field and laboratory phases of the experiment ensured that non-genetic sources of variation could be separated from the genetic variation of cultivars, which was the main target of the study. The field phase included biological replication and plot randomisation. The laboratory phase employed re-randomisation and technical replication of samples within a batch, with a subset of cultivars chosen as duplicates that were randomly allocated across batches. The resulting data was analysed using a linear mixed model that incorporated field and laboratory variation and a cultivar by trial interaction, and ensured that the cultivar means were more accurately represented than if the non-genetic variation was ignored. The heritability detected was more than doubled in each year of the trial by accounting for the non-genetic variation in the analysis, clearly showing the benefit of this design and approach. Conclusions The importance of accounting for both field and laboratory variation, as well as the cultivar by trial interaction, by fitting a single statistical model (multi-environment trial, MET, model), was evidenced by the changes in list of the top 40 cultivars showing the highest sugar yields. Failure to account for this interaction resulted in only eight cultivars that were consistently in the top 40 in different years. The correspondence between the rankings of cultivars was much higher at 25 in the MET model. This approach is suited to any multi-phase and multi-environment population-based genetic experiment