Genetic Improvement of OLC and H3 with Magpie

Magpie (Machine Automated General Performance Improvement via Evolution of software) has been recently developed by Aymeric Blot from PyGGI 2.0. Like PyGGI, it claims to be able to optimise computer source code written in arbitrary programming languages. So far it has been demonstrated on benchmarks written in Python and C. Recently we have used hill climbing to customise two industrial open source programs: Google's Open Location Code OLC and Uber's Hexagonal Hierarchical Spatial Index H3 [W. B. Langdon et al., 'Genetic improvement of LLVM intermediate representation', in EuroGP 2023]. Magpie found much faster improvements (reducing instruction counts by up to 15% v. 2%) which generalise. Various glitches in Magpie are also reported

Approximate Invariance for Ergodic Actions of Amenable Groups

We develop in this paper some general techniques to analyze action sets of small doubling for probability measure-preserving actions of amenable groups. As an application of these techniques, we prove a dynamical generalization of Kneser\u27s celebrated density theorem for subsets in (Z, +), valid for any countable amenable group, and we show how it can be used to establish a plethora of new inverse product set theorems for upper and lower asymptotic densities. We provide several examples demonstrating that our results are optimal for the settings under study

Virtual factory layouts from 3D laser scanning – A novel framework to define solid model requirements

In a world with increasing customer demands, manufacturing companies must develop and produce products more rapidly and adapt their production systems offline, to not disturb the ongoing processes. This creates a demand of using digital production development so that development can be performed in parallel with production. Virtual factory layouts (VFLs) are essential for companies in order to plan their factory layout and evaluate production scenarios. However, requirements for a VFL depends heavily on its purpose. For example, the requirements on a model for offline programming of robots are different from those on a model used to determine buffer locations. There is currently a lack of clear guidelines for how developed a VFL should be to fulfil said requirements, which contributes to unnecessary modelling time and variation in delivery quality. This paper aims to put the actual demands and requirements of a VFL in focus. By adapting a Level of Development-framework for establishment of Building Information Models (BIMs) and connecting it to the purpose of VFLs, development of a framework for detail and functionality level of VFLs is enabled. Such a purpose-oriented framework will help to define delivery packages suited for different circumstances, which will provide the modeler with knowledge of how much detail and functionality a specific model should contain. The increased clarity provided by the developed framework results in a clearer connection between expected result and actual output from a custom VFL project. Also, by connecting model properties or development to the model-purpose, the framework brings clarity and structure to a currently vague field. This provides means for a more efficient and accurate use of VFLs, which will support the rapid development of production facilities

Laguerre–Gauss and Hermite–Gauss soft X-ray states generated using diffractive optics

Light’s capacity to carry angular momentum is integral to our knowledge of physics and ability to probe matter. In addition to spin, photons can occupy free-space orbital angular momentum eigenstates 1,2 . Visible light orbital angular momentum is used in quantum information experiments, super-resolution microscopy, optical tweezers and angular momentum transfer to atoms in optical lattices 3,4 . Soft X-ray orbital angular momentum applications, slowed by the lack of suitable optics and the rarity of coherent X-ray sources, could enable the direct alteration of atomic states through orbital angular momentum exchange, and methods to study the electronic properties of quantum materials. We have made soft X-ray diffractive optics that generate single Laguerre–Gauss modes, observed carrying up to 30ħ angular momentum per photon, or their superpositions. We also present Hermite–Gauss diffractive optics and a soft X-ray orbital angular momentum analyser. These tools could enable both the manipulation and finer characterization of topologically complex electronic matter, such as magnetic skyrmions

Rossby wave dynamics of the North Pacific extra-tropical response to El Niño: importance of the basic state in coupled GCMs

The extra-tropical response to El Nino in a "low" horizontal resolution coupled climate model, typical of the Intergovernmental Panel on Climate Change fourth assessment report simulations, is shown to have serious systematic errors. A high resolution configuration of the same model has a much improved response that is similar to observations. The errors in the low resolution model are traced to an incorrect representation of the atmospheric teleconnection mechanism that controls the extra-tropical sea surface temperatures (SSTs) during El Nino. This is due to an unrealistic atmospheric mean state, which changes the propagation characteristics of Rossby waves. These erroneous upper tropospheric circulation anomalies then induce erroneous surface circulation features over the North Pacific. The associated surface wind speed and direction errors create erroneous surface flux and upwelling anomalies which finally lead to the incorrect extra-tropical SST response to El Nino in the low resolution model. This highlights the sensitivity of the climate response to a single link in a chain of complex climatic processes. The correct representation of these processes in the high resolution model indicates the importance of horizontal resolution in resolving such processes

Central limit theorems for Diophantine approximants

\ua9 2019, The Author(s). In this paper we study certain counting functions which represent the numbers of solutions of systems of linear inequalities arising in the theory of Diophantine approximation. We develop a method that allows us to explain the random-like behavior that these functions exhibit and prove a central limit theorem for them. Our approach is based on a quantitative study of higher-order correlations for functions defined on the space of lattices and a novel technique for estimating cumulants of Siegel transforms

Aerothermodynamic Analysis of a Reentry Brazilian Satellite

This work deals with a computational investigation on the small ballistic reentry Brazilian vehicle SARA (acronyms for SAt\'elite de Reentrada Atmosf\'erica). Hypersonic flows over the vehicle SARA at zero-degree angle of attack in a chemical equilibrium and thermal non-equilibrium are modeled by the Direct Simulation Monte Carlo (DSMC) method, which has become the main technique for studying complex multidimensional rarefied flows, and that properly accounts for the non-equilibrium aspects of the flows. The emphasis of this paper is to examine the behavior of the primary properties during the high altitude portion of SARA reentry. In this way, velocity, density, pressure and temperature field are investigated for altitudes of 100, 95, 90, 85 and 80 km. In addition, comparisons based on geometry are made between axisymmetric and planar two-dimensional configurations. Some significant differences between these configurations were noted on the flowfield structure in the reentry trajectory. The analysis showed that the flow disturbances have different influence on velocity, density, pressure and temperature along the stagnation streamline ahead of the capsule nose. It was found that the stagnation region is a thermally stressed zone. It was also found that the stagnation region is a zone of strong compression, high wall pressure. Wall pressure distributions are compared with those of available experimental data and good agreement is found along the spherical nose for the altitude range investigated.Comment: The paper will be published in Vol. 42 of the Brazilian Journal of Physic

Mercury Removal from Concentrated Sulfuric Acid by Electrochemical Alloy Formation on Platinum

Mercury is a highly toxic heavy metal, and improved removal processes are required in a range of industrial applications to limit the environmental impacts. At present, no viable removal methods exist commercially for mercury removal of aqueous solutions at high acidic conditions, such as concentrated sulfuric acid. Herein, we show that electrochemical mercury removal based on electrochemical alloy formation on platinum, forming PtHg4, can be used to remove mercury from concentrated sulfuric acid. Thin platinum film electrodes and porous electrodes with supported platinum are used to remove more than 90% of mercury from concentrated acid from a zinc smelter with an initial mercury concentration of 0.3-0.9 mg/kg, achieving high-quality acid (<0.08 mg/kg) within 80 h. The removal process is carried out in 50 mL laboratory-scale experiments and scaled up to a 20 L pilot reactor with retained removal efficiency, highlighting excellent scalability of the method. In addition, the removal efficiency and stability of different electrode substrate materials are studied to ensure high-quality acid and a long lifetime of the electrodes in harsh chemical conditions, offering a potential method for future large-scale mercury decontamination of sulfuric acid

Improved biocatalytic cascade conversion of CO2 to methanol by enzymes Co-immobilized in tailored siliceous mesostructured cellular foams

CO2 can be enzymatically reduced to methanol in a cascade reaction involving three enzymes: formate-, formaldehyde- and alcohol dehydrogenase (FateDH, FaldDH, ADH). We report an improvement in the yield of this reaction by co-immobilizing the three dehydrogenases in siliceous mesostructured cellular foams (MCF). This material consists of large mesopores suitable for the co-immobilization of these comparatively large enzymes. To improve the interaction between the enzymes and support, the host silica material was functionalized with mercaptopropyl groups (MCF-MP). The enzymes were fluorescently labelled to independently monitor their uptake and spatial distribution into the particle. The three dehydrogenases were co-immobilized using two sequential methods. In the first one, the enzymes were immobilized according to the reaction order (FateDH -> FaldDH -> ADH) and secondly in order of increasing enzyme size (FateDH -> ADH -> FaldDH). Two protein loadings were also tested: 50 and 150 mg(enzymes) g(support)(-1). We could observe a 4.5-fold higher methanol yield in comparison to enzymes free in solution when the enzymes were immobilized in order of size and with a loading of 50 mg(enzymes) g(support)(-1). The results of this work show that by using MCF-MP, a simple method of immobilization can be applied to significantly increase the activity of the enzymes for the cascade reaction

Operando potassium K-edge X-ray absorption spectroscopy: investigating potassium catalysts during soot oxidation.

The chemical and structural nature of potassium compounds involved in catalytic soot oxidation have been studied by a combination of temperature programmed oxidation and operando potassium K-edge X-ray absorption spectroscopy experiments. These experiments are the first known operando studies using tender X-rays (∼3.6 keV) under high temperature oxidation reaction conditions. X-ray absorption near edge structure analysis of K2CO3/Al2O3 catalysts during heating shows that, at temperatures between 100 and 200 °C, potassium species undergo a structural change from an initial hydrated K2CO3·xH2O and KHCO3 mixture to well-defined K2CO3. As the catalyst is heated from 200 °C to 600 °C, a feature associated with multiple scattering shifts to lower energy, indicating increased K2CO3 dispersion, due to its mobility at high reaction temperature. This shift was noted to be greater in samples containing soot than in control experiments without soot and can be attributed to enhanced mobility of the K2CO3, due to the interaction between soot and potassium species. No potassium species except K2CO3 could be defined during reactions, which excludes a potential reaction mechanism in which carbonate ions are the active soot-oxidising species. Simulations of K-edge absorption near edge structures were performed to rationalise the observed changes seen. Findings showed that cluster size, unit cell distortions and variation in the distribution of potassium crystallographic sites influenced the simulated spectra of K2CO3. While further simulation studies are required for a more complete understanding, the current results support the hypothesis that changes in the local structure on dispersion can influence the observed spectra. Ex situ characterisation was carried out on the fresh and used catalyst, by X-ray diffraction and X-ray photoelectron spectroscopy, which indicated changes to the carbonate species, in line with the X-ray absorption spectroscopy experiments