title: Flat trace statistics of the transfer operator of a random partially expanding map

abstract: We consider the skew-product of an expanding map $E$ on the circle $\mathbb T$ with an almost surely $\mathcal C^k$ random perturbation $\tau=\tau_0+\delta\tau$ of a deterministic function $\tau_0$: \[F :\left\{\begin{array}{rcl} \mathbb T \times \mathbb R & \longrightarrow & \mathbb T \times \mathbb R\\ (x,y)& \longmapsto & (E(x), y+\tau(x))\\ \end{array} \right.\] The associated transfer operator $\mathcal L:u \in \mathcal C^k (\mathbb T \times \mathbb R) \mapsto u\circ F$ can be decomposed with respect to frequency in the $y$ variable into a family of operators acting on functions on the circle: \[\mathcal L_\xi :\left\{\begin{array}{rcl} \mathcal C^k(\mathbb T) & \longrightarrow & \mathcal C^k(\mathbb T)\\ u & \longmapsto & e^{i\xi\tau}u\circ E \\ \end{array} \right.\] We show that the flat traces of $\mathcal L^n_{\xi}$ behave as normal distributions in the semiclassical limit $n, \xi\to\infty$ up to the Ehrenfest time $n\leq c_k\log\xi$.


title: The HST Large Programme on NGC 6752. I. Serendipitous discovery of a dwarf Galaxy in background

abstract: As part of a large Hubble Space Telescope investigation aiming at reaching the faintest stars in the Galactic globular cluster NGC 6752, an ACS/WFC field was the subject of deep optical observations reaching magnitudes as faint as V~30. In this field we report the discovery of Bedin I a dwarf spheroidal galaxy too faint and too close to the core of NGC 6752 for detection in earlier surveys. As it is of broad interest to complete the census of galaxies in the local Universe, in this Letter we provide the position of this new object along with preliminary assessments of its main param eters. Assuming the same reddening as for NGC 6752, we estimate a distance modulus of (m-M)_0 = 29.70+/-0.13 from the observed red giant branch, i.e., 8.7 (+0.5 -0.7) Mpc, and size of ~840x340pc, about 1/5 the size of the LMC. A comparison of the observed colour-magnitude diagram with synthetic counterparts that account for the galaxy distance modulus, reddening and photometric errors, suggests the presence of an old (~13Gyr) and metal poor ([Fe/H]~-1.3) population. This object is most likely a relatively isolated satellite dwarf spheroidal galaxy of the nearby great spiral NGC 6744, or potentially the most distant isolated dwarf spheroidal known with a secure distance.


title: Are all fast radio bursts repeating sources?

abstract: We present Monte-Carlo simulations of a cosmological population of repeating fast radio burst (FRB) sources whose comoving density follows the cosmic star formation rate history. We assume a power-law model for the intrinsic energy distribution for each repeating FRB source located at a randomly chosen position in the sky and simulate their dispersion measures (DMs) and propagation effects along the chosen lines-of-sight to various telescopes. In one scenario, an exponential distribution for the intrinsic wait times between pulses is chosen, and in a second scenario we model the observed pulse arrival times to follow a Weibull distribution. For both models we determine whether the FRB source would be deemed a repeater based on the telescope sensitivity and time spent on follow-up observations. We are unable to rule out the existence of a single FRB population based on comparisons of our simulations with the longest FRB follow-up observations performed. We however rule out the possibility of FRBs 171020 and 010724 repeating with the same rate statistics as FRB 121102 and also constrain the slope of a power-law fit to the FRB energy distribution to be $-2.0 < \gamma <-1.0$. All-sky simulations of repeating FRB sources imply that the detection of singular events correspond to the bright tail-end of the adopted energy distribution due to the combination of the increase in volume probed with distance, and the position of the burst in the telescope beam.


title: Bloch oscillations of multi-magnon excitations in a Heisenberg XXZ chain

abstract: The studies of multi-magnon excitations will extend our understandings of quantum magnetism and strongly correlated matters. Here, by using the time-evolving block decimation algorithm, we investigate the Bloch oscillations of two-magnon excitations under a gradient magnetic field. Through analyzing the symmetry of the Hamiltonian, we derive a rigorous and universal relation between ferromagnetic and anti-ferromagnetic systems. Under strong interactions, in addition to free-magnon Bloch oscillations, there appear fractional bounded-magnon Bloch oscillations which can be understood by an effective single-particle model. To extract the frequencies of Bloch oscillations and determine the gradient of magnetic field, we respectively calculate the fidelity in the time domain and the sub-standard deviation in the frequency domain. Our study not only explore the interaction-induced Bloch oscillations of multi-magnon excitations, but also provides an alternative approach to determine the gradient of magnetic field via ultracold atoms in optical lattices.


title: Deep Learning Solutions for TanDEM-X-based Forest Classification

abstract: In the last few years, deep learning (DL) has been successfully and massively employed in computer vision for discriminative tasks, such as image classification or object detection. This kind of problems are core to many remote sensing (RS) applications as well, though with domain-specific peculiarities. Therefore, there is a growing interest on the use of DL methods for RS tasks. Here, we consider the forest/non-forest classification problem with TanDEM-X data, and test two state-of-the-art DL models, suitably adapting them to the specific task. Our experiments confirm the great potential of DL methods for RS applications.


title: Flow++: Improving Flow-Based Generative Models with Variational Dequantization and Architecture Design

abstract: Flow-based generative models are powerful exact likelihood models with efficient sampling and inference. Despite their computational efficiency, flow-based models generally have much worse density modeling performance compared to state-of-the-art autoregressive models. In this paper, we investigate and improve upon three limiting design choices employed by flow-based models in prior work: the use of uniform noise for dequantization, the use of inexpressive affine flows, and the use of purely convolutional conditioning networks in coupling layers. Based on our findings, we propose Flow++, a new flow-based model that is now the state-of-the-art non-autoregressive model for unconditional density estimation on standard image benchmarks. Our work has begun to close the significant performance gap that has so far existed between autoregressive models and flow-based models. Our implementation is available at https://github.com/aravindsrinivas/flowpp


title: Impact of Polarity on the Anisotropic Diffusion of Conjugated Organic Molecules on (10-10) Zinc Oxide Surface

abstract: We study the influence of polarity on the binding and diffusion of single conjugated organic molecules on the inorganic (10-10) zinc oxide surface by means of all-atom molecular dynamics simulations at room temperature and above. In particular, we consider the effects of partial fluorination of the para-sexiphenyl (p-6P) molecule with chemical modifications of one head group (p-6PF2) or both (symmetric) head and tail (p-6PF4). Quantum-mechanical and classical simulations both result in consistent and highly distinct dipole moments and densities of the fluorinated molecules, which interestingly lead to a weaker adhesion to the surface than for p-6P. The diffusion for all molecules is found to be normal and Arrhenius-like for long times. Strikingly, close to room temperature the polar molecules diffuse 1-2 orders of magnitudes slower compared to the p-6P reference in the apolar x-direction of the electrostatically heterogeneous surface, while in the polar y-direction they diffuse 1-2 orders of magnitude faster. We demonstrate that this rather unexpected behavior is governed by a subtle electrostatic anisotropic mismatch between the polar molecules and the chemically specific surface, as well as by increased entropic contributions coming from orientational and internal degrees of freedom.


title: On existence and uniqueness of solution for a hydrodynamic problem related to water artificial circulation in a lake

abstract: In this work we introduce a well-posed mathematical model for the processes involved in the artificial circulation of water, in order to avoid eutrophication phenomena, for instance, in a lake. This novel and general formulation is based on the modified Navier-Stokes equations following the Smagorinsky model of turbulence, and presenting a suitable nonhomogeneous Dirichlet boundary condition. For the analytical study of the problem, we prove several theoretical results related to existence, uniqueness and smoothness for the solution of this recirculation model.


title: Mathematical analysis and numerical resolution of a heat transfer problem arising in water recirculation

abstract: This work is devoted to the analysis and resolution of a well-posed mathematical model for several processes involved in the artificial circulation of water in a large waterbody. This novel formulation couples the convective heat transfer equation with the modified Navier-Stokes system following a Smagorinsky turbulence model, completed with a suitable set of mixed, nonhomogeneous boundary conditions of diffusive, convective and radiative type. We prove several theoretical results related to existence of solution, and propose a full algorithm for its computation, illustrated with some realistic numerical examples.


title: Flexible collaborative transportation by a team of rotorcraft

abstract: We propose a combined method for the collaborative transportation of a suspended payload by a team of rotorcraft. A recent distance-based formation-motion control algorithm based on assigning distance disagreements among robots generates the acceleration signals to be tracked by the vehicles. In particular, the proposed method does not need global positions nor tracking prescribed trajectories for the motion of the members of the team. The acceleration signals are followed accurately by an Incremental Nonlinear Dynamic Inversion controller designed for rotorcraft that measures and resists the tensions from the payload. Our approach allows us to analyze the involved accelerations and forces in the system so that we can calculate the worst case conditions explicitly to guarantee a nominal performance, provided that the payload starts at rest in the 2D centroid of the formation, and it is not under significant disturbances. For example, we can calculate the maximum safe deformation of the team with respect to its desired shape. We demonstrate our method with a team of four rotorcraft carrying a suspended object two times heavier than the maximum payload for an individual. Last but not least, our proposed algorithm is available for the community in the open-source autopilot Paparazzi.


title: A generic frequency dependence for the atmospheric tidal torque of terrestrial planets

abstract: Thermal atmospheric tides have a strong impact on the rotation of terrestrial planets. They can lock these planets into an asynchronous rotation state of equilibrium. We aim at characterizing the dependence of the tidal torque resulting from the semidiurnal thermal tide on the tidal frequency, the planet orbital radius, and the atmospheric surface pressure. The tidal torque is computed from full 3D simulations of the atmospheric climate and mean flows using a generic version of the LMDZ general circulation model (GCM) in the case of a nitrogen-dominated atmosphere. Numerical results are discussed with the help of an updated linear analytical framework. Power scaling laws governing the evolution of the torque with the planet orbital radius and surface pressure are derived. The tidal torque exhibits i) a thermal peak in the vicinity of synchronization, ii) a resonant peak associated with the excitation of the Lamb mode in the high frequency range, and iii) well defined frequency slopes outside these resonances. These features are well explained by our linear theory. Whatever the star-planet distance and surface pressure, the torque frequency spectrum -- when rescaled with the relevant power laws -- always presents the same behaviour. This allows us to provide a single and easily usable empirical formula describing the atmospheric tidal torque over the whole parameter space. With such a formula, the effect of the atmospheric tidal torque can be implemented in evolutionary models of the rotational dynamics of a planet in a computationally efficient, and yet relatively accurate way.


title: Can we rely on hybrid-DFT energies of solid-state problems with local-DFT geometries?

abstract: Hybrid functionals often improve considerably the accuracy of density-functional calculations, in particular of quantities resulting from the band structure. In plane-wave (PW) calculations this benefit comes at the cost of an increase in computation time by several orders of magnitude. For this reason, large-scale problems addressed within the PW formalism have to rely on pre-relaxed atomistic geometries, obtained with cheaper local or semi-local exchange-correlation functionals. We investigate how suitable these geometries are when plugged into single-point hybrid-DFT calculations. Based on several case studies, we find two important sources of error originating from (i) bond strain and (ii) over-mixing between defect and crystalline states. The first arises from the mismatch between the pre-relaxed geometry and that obtained after a subsequent hybrid-DFT-level relaxation. The second occurs when defect states edging an underestimated band gap artificially mix with crystalline states, affecting the local bonding character of the defect, and therefore leading the spurious hybrid-DFT energies. Due to cancelation effects, the lingering strain contributes little ($\lesssim10$ meV) to the error bar of quantities based on energy differences of pre-relaxed structures. The error from state over-mixing does not benefit from cancelation effects and has to be monitored with caution.


title: Understanding MCMC Dynamics as Flows on the Wasserstein Space

abstract: It is known that the Langevin dynamics used in MCMC is the gradient flow of the KL divergence on the Wasserstein space, which helps convergence analysis and inspires recent particle-based variational inference methods (ParVIs). But no more MCMC dynamics is understood in this way. In this work, by developing novel concepts, we propose a theoretical framework that recognizes a general MCMC dynamics as the fiber-gradient Hamiltonian flow on the Wasserstein space of a fiber-Riemannian Poisson manifold. The "conservation + convergence" structure of the flow gives a clear picture on the behavior of general MCMC dynamics. The framework also enables ParVI simulation of MCMC dynamics, which enriches the ParVI family with more efficient dynamics, and also adapts ParVI advantages to MCMCs. We develop two ParVI methods for a particular MCMC dynamics and demonstrate the benefits in experiments.


title: An optimization problem related to water artificial recirculation for controlling eutrophication

abstract: In this work, the artificial recirculation of water is presented and analyzed, from the perspective of the optimal control of partial differential equations, as a tool to prevent eutrophication effects in large waterbodies. A novel formulation of the environmental problem, based on the coupling of nonlinear models for hydrodynamics, water temperature and concentrations of the different species involved in the eutrophication processes, is introduced. After a complete and rigorous analysis of the existence of optimal solutions, a full numerical algorithm for their computation is proposed. Finally, some numerical results for a realistic scenario are shown, in order to prove the efficiency of our approach.


title: Defect-free assembly of 2D clusters of more than 100 single-atom quantum systems

abstract: We demonstrate the defect-free assembly of versatile target patterns of up 111 neutral atoms, building on a 361-site subset of a micro-optical architecture that readily provides thousands of sites for single-atom quantum systems. By performing multiple assembly cycles in rapid succession, we drastically increase achievable structure sizes and success probabilities. We implement repeated target pattern reconstruction after atom loss and deterministic transport of partial atom clusters necessary for distributing entanglement in large-scale systems. This technique will propel assembled-atom architectures beyond the threshold of quantum advantage and into a regime with abundant applications in quantum sensing and metrology, Rydberg-state mediated quantum simulation, and error-corrected quantum computation.


title: $SU(2)$-particle sigma model: Momentum-space quantization of a particle on the sphere $S^3$

abstract: We perform the momentum-space quantization of a spin-less particle moving on the $SU(2)$ group manifold, that is, the three-dimensional sphere $S^{3}$, by using a non-canonical method entirely based on symmetry grounds. To achieve this task, non-standard (contact) symmetries are required as already shown in a previous article where the configuration-space quantization was given. The Hilbert space in the momentum space representation turns out to be made of a subset of (oscillatory) solutions of the Helmholtz equation in four dimensions. The most relevant result is the fact that both the scalar product and the generalized Fourier transform between configuration and momentum spaces deviate notably from the naively expected expressions, the former exhibiting now a non-trivial kernel, under a double integral, traced back to the non-trivial topology of the phase space, even though the momentum space as such is flat. In addition, momentum space itself appears directly as the carrier space of an irreducible representation of the symmetry group, and the Fourier transform as the unitary equivalence between two unitary irreducible representations.


title: Boundedness of variation operators associated with the heat semigroup generated by high order Schr\"odinger type operators

abstract: In this paper, we derive the $L^p$-boundedness of the variation operators associated with the heat semigroup which is generated by the high order Schr\"odinger type operator $(-\Delta)^2+V^2$. Further more, we prove the boundedness of the variation operators on Morrey spaces. In the proof of the main results, we always make use of the variation inequalities associated with the heat semigroup generated by the biharmonic operator $(-\Delta)^2.$


title: Causal Simulations for Uplift Modeling

abstract: Uplift modeling requires experimental data, preferably collected in random fashion. This places a logistical and financial burden upon any organisation aspiring such models. Once deployed, uplift models are subject to effects from concept drift. Hence, methods are being developed that are able to learn from newly gained experience, as well as handle drifting environments. As these new methods attempt to eliminate the need for experimental data, another approach to test such methods must be formulated. Therefore, we propose a method to simulate environments that offer causal relationships in their parameters.


title: Optically Controlled Entangling Gates in Randomly Doped Silicon

abstract: Randomly-doped silicon has many competitive advantages for quantum computation; not only is it fast to fabricate but it could naturally contain high numbers of qubits and logic gates as a function of doping densities. We determine the densities of entangling gates in randomly doped silicon comprising two different dopant species. First, we define conditions and plot maps of the relative locations of the dopants necessary for them to form exchange interaction mediated entangling gates. Second, using nearest neighbour Poisson point process theory, we calculate the doping densities necessary for maximal densities of single and dual-species gates. We find agreement of our results with a Monte Carlo simulation, for which we present the algorithms, which handles multiple donor structures and scales optimally with the number of dopants and use it to extract donor structures not captured by our Poisson point process theory. Third, using the moving average cluster expansion technique, we make predictions for a proof of principle experiment demonstrating the control of one species by the orbital excitation of another. These combined approaches to density optimization in random distributions may be useful for other condensed matter systems as well as applications outside physics.


title: Observational Constraints on Growth Index with Cosmography

abstract: In the literature, it was proposed that the growth index $\gamma$ is useful to distinguish the scenarios of dark energy and modified gravity. In the present work, we consider the constraints on the growth index $\gamma$ by using the latest observational data. To be model-independent, we use cosmography to describe the cosmic expansion history, and also expand the general $\gamma(z)$ as a Taylor series with respect to redshift $z$ or $y$-shift, $y=z/(1+z)$. We find that the present value $\gamma_0=\gamma(z=0)\simeq 0.42$ (for most of viable $f(R)$ theories) is inconsistent with the latest observational data at high confidence level (C.L.). On the other hand, $\gamma_0\simeq 0.55$ (for dark energy models in GR) can be consistent with the latest observational data at $1\sigma$ C.L. in 5 of the 9 cases under consideration, but is inconsistent beyond $2\sigma$ C.L. in the other 4 cases (while it is still consistent within the $3\sigma$ region). Thus, we can say nothing firmly about $\gamma_0\simeq 0.55$. We also find that a varying $\gamma(z)$ is favored.


title: The complexity classes of angular diagrams of the metal conductivity in strong magnetic fields

abstract: We consider angular diagrams describing the dependence of the magnetic conductivity of metals on the direction of the magnetic field in rather strong fields. As it can be shown, all angular conductivity diagrams can be divided into a finite number of classes with different complexity. The greatest interest among such diagrams is represented by diagrams with the maximal complexity, which can occur for metals with rather complicated Fermi surfaces. In describing the structure of complex diagrams, in addition to the description of the conductivity itself, the description of the Hall conductivity for different directions of the magnetic field plays very important role. For the evaluation of the complexity of angular diagrams of the conductivity of metals, it is convenient also to compare such diagrams with the full mathematical diagrams that are defined (formally) for the entire dispersion relation.


title: Multi-state Operating Reserve Model of Aggregate Thermostatically-Controlled-Loads for Power System Short-Term Reliability Evaluation

abstract: Thermostatically-controlled-loads (TCLs) have been regarded as a good candidate for maintaining the power system reliability by providing operating reserve. The short-term reliability evaluation of power systems, which is essential for power system operators in decision making to secure the system real time balancing, calls for the accurate modelling of operating reserve provided by TCLs. However, the particular characteristics of TCLs make their dynamic response different from the traditional generating units, resulting in difficulties to accurately represent the reliability of operating reserve provided by TCLs with conventional reliability model. This paper proposes a novel multi-state reliability model of operating reserve provided by TCLs considering their dynamic response during the reserve deployment process. An analytical model for characterizing dynamics of operating reserve provided by TCLs is firstly developed based on the migration of TCLs' room temperature within the temperature hysteresis band. Then, considering the stochastic consumers' behaviour and ambient temperature, the probability distribution functions of reserve capacity provided by TCLs are obtained by cumulants. On this basis, the states of reserve capacity and the corresponding probabilities at each time instant are obtained for representing the reliability of operating reserve provided by TCLs in the LZ-transform approach. Case studies are conducted to validate the proposed technique.


title: Pulse-beam heating of deep atmospheric layers triggering their oscillations and upwards moving shocks that can modulate the reconnection in solar flares

abstract: We study processes occurring after a sudden heating of the chromosphere at the flare arcade footpoints which is assumed to be caused by particle beams. For the numerical simulations we adopt a 2-D magnetohydrodynamic (MHD) model, in which we solve a full set of the time-dependent MHD equations by means of the FLASH code, using the Adaptive Mesh Refinement (AMR) method. In the initial state we consider a model of the solar atmosphere with densities according to the VAL-C model and the magnetic field arcade having the X-point structure above, where the magnetic reconnection is assumed. We found that the sudden pulse-beam heating of the chromosphere at the flare arcade footpoints generates magnetohydrodynamic shocks, one propagating upwards and the second one propagating downwards in the solar atmosphere. The downward moving shock is reflected at deep and dense atmospheric layers and triggers oscillations of these layers. These oscillations generate the upwards moving magnetohydrodynamic waves that can influence the above located magnetic reconnection in a quasi-periodic way. Because these processes require a sudden heating in very localized regions in the chromosphere therefore they can be also associated with seismic waves.


title: End-to-end Lane Detection through Differentiable Least-Squares Fitting

abstract: Lane detection is typically tackled with a two-step pipeline in which a segmentation mask of the lane markings is predicted first, and a lane line model (like a parabola or spline) is fitted to the post-processed mask next. The problem with such a two-step approach is that the parameters of the network are not optimized for the true task of interest (estimating the lane curvature parameters) but for a proxy task (segmenting the lane markings), resulting in sub-optimal performance. In this work, we propose a method to train a lane detector in an end-to-end manner, directly regressing the lane parameters. The architecture consists of two components: a deep network that predicts a segmentation-like weight map for each lane line, and a differentiable least-squares fitting module that returns for each map the parameters of the best-fitting curve in the weighted least-squares sense. These parameters can subsequently be supervised with a loss function of choice. Our method relies on the observation that it is possible to backpropagate through a least-squares fitting procedure. This leads to an end-to-end method where the features are optimized for the true task of interest: the network implicitly learns to generate features that prevent instabilities during the model fitting step, as opposed to two-step pipelines that need to handle outliers with heuristics. Additionally, the system is not just a black box but offers a degree of interpretability because the intermediately generated segmentation-like weight maps can be inspected and visualized. Code and a video is available at github.com/wvangansbeke/LaneDetection_End2End.


title: Probabilistic Gathering Of Agents With Simple Sensors

abstract: Gathering is a fundamental task for multi-agent systems and the problem has been studied under various assumptions on the sensing capabilities of mobile agents. This paper addresses the problem for a group of agents that are identical and indistinguishable, oblivious, and lack the capacity of direct communication. At the beginning of unit-time intervals, the agents select random headings in the plane and then detect the presence of other agents behind them. Then they move forward only if no agents are detected in their sensing "back half-plane". Two types of motion are considered: when no peers are detected behind them, either the agents perform unit jumps forward, or they start to move with unit speed while continuously sensing their back half-plane, and stop whenever another agent appears there. For the first type of motion extensive empirical evidence suggests that with high probability clustering occurs in finite expected time to a small region with diameter of about the size of the unit jump, while for continuous sensing and motion we can prove gathering in finite expected time if a "blind-zone" is assumed in their sensing half-plane. Relationships between the number of agents or the size of the blind-zone and convergence time are empirically studied and compared to a theoretical upper-bound dependent on these factors.


title: QED corrections to leptonic decay rates

abstract: RBC/UKQCD is preparing a calculation of leptonic decay rates including isospin breaking corrections using a perturbative approach to include NLO contributions from QED effects. We present preliminary numerical results for a contribution to the leptonic pion decay rate and report on exploratory studies of computational techniques based on all-to-all propagators.


title: Binary phase separation in a collection of self-propelled particle with variable speed

abstract: We study the collective behavior of binary mixture of self-propelled particles. Particles moves along their heading direction with {\it variable speed} and interact through short range alignment interaction. A variable speed parameter $\gamma >0$ is introduced such that for $\gamma=0.0$ model reduces to {\it constant speed} Vicsek's model. We mix the particles with two different $\gamma$'s and study the steady state behavior of the mixture for different choice of $\gamma$'s and noise strength. One of the $\gamma$ is kept fixed to $1.0$ and another one is varied from small $0.0$ to larger values $8.0$. Properties of system is characterise by two types of order parameters (i) orientation order parameter, which is a measure of ordering in the system and (ii) density order parameter, which measures the phase separation is the system. For all set of $\gamma$'s, system shows a transition from disorder-to-ordered state on the variation of noise strength. The nature of transition and critical noise is independent of value of $\gamma$, which is also supported from coarse-grained hydrodynamic study. On the variation of system parameters, ($\gamma$'s, $\eta$), we find four distinct phases, (i) ordered phase separated, (ii) ordered mixed, (iii) disordered mixed and (iv) disordered phase segragated. Our study shade light on different phases of mixture of different types of active particles.


title: Signatures and Induction Principles for Higher Inductive-Inductive Types

abstract: Higher inductive-inductive types (HIITs) generalize inductive types of dependent type theories in two ways. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalizing higher inductive types of homotopy type theory. Examples that make use of both features are the Cauchy real numbers and the well-typed syntax of type theory where conversion rules are given as equality constructors. In this paper we propose a general definition of HIITs using a small type theory, named the theory of signatures. A context in this theory encodes a HIIT by listing the constructors. We also compute notions of induction and recursion for HIITs, by using variants of syntactic logical relation translations. Building full categorical semantics and constructing initial algebras is left for future work. The theory of HIIT signatures was formalised in Agda together with the syntactic translations. We also provide a Haskell implementation, which takes signatures as input and outputs translation results as valid Agda code.


title: Measuring the CP structure of the top Yukawa coupling in $t\bar{t}H$ events at the LHC

abstract: The ATLAS and CMS collaborations recently announced the observation of the associated production of the Higgs boson with a top quark pair ($t\bar tH$) at the LHC. This process depends directly on the the top quark Yukawa coupling and provides access to its properties. In particular, a CP-odd component is allowed in models beyond the Standard Model with extended Higgs sectors. Studies of the feasibility of such a measurement at the 13 TeV LHC were carried out, in the $H\rightarrow b\bar b$ decay channel and with the $t\bar t$ system decaying through the semileptonic and dileptonic channels. Fast detector simulation and kinematic fits were applied to samples of SM backgrounds and of signal scenarios with different CP-mixing angles of the coupling. Ratios of projections of momenta and angular distributions using boosted reference frames were found to be sensitive to the CP-mixing angle. Those are expected to be robust relatively to modeling uncertainties and are thus presented as good candidates for experimental use. Expected confidence levels for the exclusion of scenarios with a CP-odd component in the top quark Yukawa coupling were obtained, using different observables as discriminants, and are presented for integrated luminosities up to 3 ab$^{-1}$, as expected after the full HL-LHC program.


title: Criticality and scaling corrections for two-dimensional Heisenberg models in plaquette patterns with strong and weak couplings

abstract: We use the stochastic series expansion quantum Monte Carlo method to study the Heisenberg models on the square lattice with strong and weak couplings in the form of three different plaquette arrangements known as checkerboard models C$2\times2$, C$2\times4$ and C$4\times4$. The $a\times b$ here stands for the shape of plaquette consisting with spins connected by strong couplings. Through detailed analysis of finite-size scaling study, the critical point of C$2\times2$ model is improved as $g_{c}=0.548524(3)$ compared with previous studies with $g$ to be the ratio of weak and strong couplings in the models. For C$2\times4$ and C$4\times4$ we give $g_{c}=0.456978(2)$ and $0.314451(3)$. We also study the critical exponents $\nu$, $\eta$, and the universal property of Binder ratio to give further evidence that all quantum phase transitions in these three models are in the three-dimensional O(3) universality class. Furthermore, our fitting results show the importance of effective corrections in the scaling study of these models.


title: MASER: A Science Ready Toolbox for Low Frequency Radio Astronomy

abstract: MASER (Measurements, Analysis, and Simulation of Emission in the Radio range) is a comprehensive infrastructure dedicated to time-dependent low frequency radio astronomy (up to about 50 MHz). The main radio sources observed in this spectral range are the Sun, the magnetized planets (Earth, Jupiter, Saturn), and our Galaxy, which are observed either from ground or space. Ground observatories can capture high resolution data streams with a high sensitivity. Conversely, space-borne instruments can observe below the ionospheric cut-off (at about 10 MHz) and can be placed closer to the studied object. Several tools have been developed in the last decade for sharing space physics data. Data visualization tools developed by various institutes are available to share, display and analyse space physics time series and spectrograms. The MASER team has selected a sub-set of those tools and applied them to low frequency radio astronomy. MASER also includes a Python software library for reading raw data from agency archives.


title: Deep Hyperspectral Prior: Denoising, Inpainting, Super-Resolution

abstract: Deep learning algorithms have demonstrated state-of-the-art performance in various tasks of image restoration. This was made possible through the ability of CNNs to learn from large exemplar sets. However, the latter becomes an issue for hyperspectral image processing where datasets commonly consist of just a few images. In this work, we propose a new approach to denoising, inpainting, and super-resolution of hyperspectral image data using intrinsic properties of a CNN without any training. The performance of the given algorithm is shown to be comparable to the performance of trained networks, while its application is not restricted by the availability of training data. This work is an extension of original "deep prior" algorithm to HSI domain and 3D-convolutional networks.


title: Determining temperature and Rabi frequency regarding trapped ions in Doppler cooling: An analytic investigation

abstract: Doppler cooling with lasers is essential to ions' trapping and also a preliminary step towards achievement of ultracold ions. Due to lack of effective tools, experimentally monitoring the ions' temperature and the laser-ion coupling is difficult in Doppler cooling. Here we analytically explore the Doppler cooling process of trapped ions, exemplified by $^{40}$Ca$^{+}$, by solving the friction coefficient in the Doppler cooling with respect to a thermal bath, particularly, to a bath with large heating rate. We show four regions for cooling and heating induced by the three-level electromagnetically induced transparency and propose a practical method for measuring the Rabi frequency by the Doppler cooling window. In addition, the final temperature of the laser-cooled ions can be obtained analytically in the case of a weak thermal bath, whereas for the strong thermal bath this requires numerical treatment due to involvement of the Doppler shift and large Lamb-Dicke parameter. Our analytic results would help for understanding many experimental observations, such as configuration phase transition, phonon laser and thermodynamics regarding hot trapped ions.


title: Enhanced pyroelectric and piezoelectric properties of PZT with aligned porosity for energy harvesting applications

abstract: This paper demonstrates the significant benefits of exploiting highly aligned porosity in piezoelectric and pyroelectric materials for improved energy harvesting performance. Porous lead zirconate (PZT) ceramics with aligned pore channels and varying fractions of porosity were manufactured in a water-based suspension using freeze casting. The aligned porous PZT ceramics were characterized in detail for both piezoelectric and pyroelectric properties and their energy harvesting performance figures of merit were assessed parallel and perpendicular to the freezing direction. As a result of the introduction of porosity into the ceramic microstrucutre, high piezoelectric and pyroelectric harvesting figures of merits were achieved for porous freeze-cast PZT compared to dense PZT due to the reduced permittivity and volume specific heat capacity. Experimental results were compared to parallel and series analytical models with good agreement and the PZT with porosity aligned parallel to the freezing direction exhibited the highest piezoelectric and pyroelectric harvesting response; this was a result of the enhanced interconnectivity of the ferroelectric material along the poling direction and reduced fraction of unpoled material that leads to a higher polarization. A complete thermal energy harvesting system, composed of an parallel-aligned PZT harvester element and an AC/DC converter successfully demonstrated by charging a storage capacitor. The maximum energy density generated by the 60 vol.% porous parallel-connected PZT when subjected to thermal oscillations was 1653 {\mu}J/cm3 respectively, which was 374% higher than that of the dense PZT with an energy density of 446 {\mu}J/cm3. The results are of benefit for the design and manufacture of high performance porous pyroelectric and piezoelectric materials in devices for energy harvesting and sensor applications.


title: Fast Re-Optimization via Structural Diversity

abstract: When a problem instance is perturbed by a small modification, one would hope to find a good solution for the new instance by building on a known good solution for the previous one. Via a rigorous mathematical analysis, we show that evolutionary algorithms, despite usually being robust problem solvers, can have unexpected difficulties to solve such re-optimization problems. When started with a random Hamming neighbor of the optimum, the (1+1) evolutionary algorithm takes $\Omega(n^2)$ time to optimize the LeadingOnes benchmark function, which is the same asymptotic optimization time when started in a randomly chosen solution. There is hence no significant advantage from re-optimizing a structurally good solution. We then propose a way to overcome such difficulties. As our mathematical analysis reveals, the reason for this undesired behavior is that during the optimization structurally good solutions can easily be replaced by structurally worse solutions of equal or better fitness. We propose a simple diversity mechanism that prevents this behavior, thereby reducing the re-optimization time for LeadingOnes to $O(\gamma\delta n)$, where $\gamma$ is the population size used by the diversity mechanism and $\delta \le \gamma$ the Hamming distance of the new optimum from the previous solution. We show similarly fast re-optimization times for the optimization of linear functions with changing constraints and for the minimum spanning tree problem.


title: $p$-Jones-Wenzl idempotents

abstract: For a prime number $p$ and any natural number $n$ we introduce, by giving an explicit recursive formula, the $p$-Jones-Wenzl projector ${}^p\operatorname{JW}_n$, an element of the Temperley-Lieb algebra $TL_n(2)$ with coefficients in ${\mathbb F}_p$. We prove that these projectors give the indecomposable objects in the $\tilde{A}_1$-Hecke category over ${\mathbb F}_p$, or equivalently, they give the projector in $\mathrm{End}_{\mathrm{SL}_2(\overline{{\mathbb F}_p})}(({\mathbb F}_p^2)^{\otimes n})$ to the top tilting module. The way in which we find these projectors is by categorifying the fractal appearing in the expression of the $p$-canonical basis in terms of the Kazhdan-Lusztig basis for $\tilde{A}_1$.


title: The anti-Ramsey threshold of complete graphs

abstract: For graphs $G$ and $H$, let $G {\displaystyle\smash{\begin{subarray}{c} \hbox{$\tiny\rm rb$} \\ \longrightarrow \\ \hbox{$\tiny\rm p$} \end{subarray}}}H$ denote the property that for every proper edge-colouring of $G$ there is a rainbow $H$ in $G$. It is known that, for every graph $H$, an asymptotic upper bound for the threshold function $p^{\rm rb}_H=p^{\rm rb}_H(n)$ of this property for the random graph $G(n,p)$ is $n^{-1/m^{(2)}(H)}$, where $m^{(2)}(H)$ denotes the so-called maximum $2$-density of $H$. Extending a result of Nenadov, Person, \v{S}kori\'c, and Steger [J. Combin. Theory Ser. B 124 (2017),1-38] we prove a matching lower bound for $p^{\rm rb}_{K_k}$ for $k\geq 5$. Furthermore, we show that $p^{\rm rb}_{K_4} = n^{-7/15}$.


title: Matching Quasi Generalized Parton Distributions in the RI/MOM scheme

abstract: Within the framework of large momentum effective theory (LaMET), genenaralized parton distributions (GPDs) can be extracted from lattice calculations of quasi-GPDs through a perturbative matching relation, up to power corrections that are suppressed by the hadron momentum. In this paper, we focus on isovector quark GPDs, including the unpolarized, longitudinally and transversely polarized cases, and present the one-loop matching that connects the quasi-GPDs renormalized in a regularization-independent momentum subtraction (RI/MOM) scheme to the GPDs in MS scheme. We find that the matching coefficient is independent of the momentum transfer squared. As a consequence, the matching for the quasi-GPD with zero skewness is the same as that for the quasi-PDF. Our results provide a crucial input for the determination of quark GPDs from lattice QCD using LaMET.


title: A Research on the Force-Freeness of Photosphere Magnetic Field

abstract: In this paper, the statistical studies on the force-freeness of photosphere magnetic fields are given. The studies are based on the vector magnetic fields observed by Solar Optical Telescope/Spectro-Polarimeter (SOT/SP) on board Hinode. Three parameters ($F_{x}/ F_{p}$, $F_{y}/ F_{p}$, and $F_{z}/ F_{p}$) are introduced to investigate the force-freeness of active regions photosphere magnetic field. Various thresholds and reductions of original resolutions are selected to calculated parameters. As for the resolutions, the reductions of original resolution data by a factor of 2, 4 and 8 are applied. While for thresholds, they are calculated from individual active region with the average of 75/77/57 G for $B_{x}$/$B_{y}$/$B_{z}$ for all original data. When the resolution are reduced by 2, 4 and 8, the corresponding averages are 72/75/55, 66/68/49 and 57/59/41 G for $B_{x}$/$B_{y}$/$B_{z}$, respectively. It is found that the forces indicated by $F_{x}/ F_{p}$ and $F_{y}/ F_{p}$ increase as thresholds/resolutions increase/decrease. While for $F_{z}/ F_{p}$ the trends become more complex. For low threshold, when the resolution decrease the trends of $F_{z}/ F_{p}$ are similar as those of $F_{x}/ F_{p}$ and $F_{y}/ F_{p}$, while for high threshold the trends of $F_{z}/ F_{p}$ are different from those of $F_{x}/ F_{p}$ and $F_{y}/ F_{p}$. For original resolution, the forces indicated by $F_{y}/ F_{p}$ increase as thresholds increase, while for others resolution they decrease as the thresholds increase contrarily.


title: High Energy Cosmic Rays from Fanaroff-Riley Radio Galaxies

abstract: The extended jet structures of radio galaxies (RGs) represent an ideal acceleration site for High Energy Cosmic Rays (HECRs) and a recent model showed that the HECR data can be explained by these sources, if the arrival directions of HECRs at energies $\lesssim 8\,\text{EeV}$ from a certain RG, Cygnus A, are isotropized. First, this work introduces the inverted simulation setup in order to probe the isotropy assumption. Here, different extragalactic magnetic field models are compared showing that either a magnetic field of primordial origin that yields a high field strength in the large scale structures of the Universe is needed, or a significant contribution by a multitude of isotropically distributed sources. Secondly, the HECRs contribution by the bulk of RGs of different Fanaroff-Riley (FR) type is determined. Here, the most recent FR-type dependent radio-to-CR correlations $Q_{\rm cr}\propto L_{\rm radio}^{\beta_L}$ are used, and the impact of the slope $\beta_L$ on the HECRs is analyzed in detail. Finally, it is carved out that FR-II RGs provide a promising spectral behavior at the hardening part of the CR flux, between about $3\,\text{EeV}$ and $30\,\text{EeV}$, but most likely not enough CR power. At these energies, FR-I RGs can only provide an appropriate flux in the case of a high acceleration efficiency and $\beta_L\gtrsim 0.9$, otherwise these sources rather contribute below $3\,\text{EeV}$. Further, the required acceleration efficiency for a significant HECR contribution is exposed dependent on $\beta_L$ and the CR spectrum at the acceleration site.


title: Semi-classical limit of large fermionic systems at positive temperature

abstract: We study a system of $N$ interacting fermions at positive temperature in a confining potential. In the regime where the intensity of the interaction scales as $1/N$ and with an effective semi-classical parameter $\hbar=N^{-1/d}$ where $d$ is the space dimension, we prove the convergence to the corresponding Thomas-Fermi model at positive temperature.


title: Generative Smoke Removal

abstract: In minimally invasive surgery, the use of tissue dissection tools causes smoke, which inevitably degrades the image quality. This could reduce the visibility of the operation field for surgeons and introduces errors for the computer vision algorithms used in surgical navigation systems. In this paper, we propose a novel approach for computational smoke removal using supervised image-to-image translation. We demonstrate that straightforward application of existing generative algorithms allows removing smoke but decreases image quality and introduces synthetic noise (grid-structure). Thus, we propose to solve this issue by modification of GAN's architecture and adding perceptual image quality metric to the loss function. Obtained results demonstrate that proposed method efficiently removes smoke as well as preserves perceptually sufficient image quality.


title: Paradox of multiple plasmonic resonances at light scattering by a cylinder of infinitesimal radius

abstract: The paradox of the divergence of the resonant scattering cross section of a cylinder with the permittivity equals minus unity and vanishing radius (R) irradiated by a monochromatic electromagnetic wave is discussed. Within the framework of the exact solution of the Maxwell equations, the divergence at the specified conditions is caused by the overlap of all but one multipolar resonances. It is shown that the paradox is caused by the too straightforward analysis of the expression for the cross section, which has a singularity at this point. To resolve the singularity, one must, first, generalize the problem formulation, taking into account the final linewidth of the incident wave, and then perform the correct sequence of limit transitions. The application of this approach gives rise to the vanishing cross section at the vanishing R. It ruins the expectations to employ such a cylinder as a superscatterer but simultaneously open a door to counterintuitive effects both in far and near field zones related to unusual size dependences of the scattered fields at small but finite R.


title: VrR-VG: Refocusing Visually-Relevant Relationships

abstract: Relationships encode the interactions among individual instances, and play a critical role in deep visual scene understanding. Suffering from the high predictability with non-visual information, existing methods tend to fit the statistical bias rather than ``learning'' to ``infer'' the relationships from images. To encourage further development in visual relationships, we propose a novel method to automatically mine more valuable relationships by pruning visually-irrelevant ones. We construct a new scene-graph dataset named Visually-Relevant Relationships Dataset (VrR-VG) based on Visual Genome. Compared with existing datasets, the performance gap between learnable and statistical method is more significant in VrR-VG, and frequency-based analysis does not work anymore. Moreover, we propose to learn a relationship-aware representation by jointly considering instances, attributes and relationships. By applying the representation-aware feature learned on VrR-VG, the performances of image captioning and visual question answering are systematically improved with a large margin, which demonstrates the gain of our dataset and the features embedding schema. VrR-VG is available via http://vrr-vg.com/.


title: Freeze cast porous barium titanate for enhanced piezoelectric energy harvesting

abstract: Energy harvesting is an important developing technology for a new generation of self-powered sensor networks. This paper demonstrates the significant improvement in the piezoelectric energy harvesting performance of barium titanate by forming highly aligned porosity using freeze casting. Firstly, a finite element model demonstrating the effect of pore morphology and angle with respect to poling field on the poling behaviour of porous ferroelectrics was developed. A second model was then developed to understand the influence of microstructure-property relationships on the poling behaviour of porous freeze cast ferroelectric materials and their resultant piezoelectric and energy harvesting properties. To compare with model predictions, porous barium titanate was fabricated using freeze casting to form highly aligned microstructures with excellent longitudinal piezoelectric strain coefficients, d 33. Both model and experimental data indicated that introducing porosity provides a large reduction in the permittivity () of barium titanate, which leads to a substantial increase in energy harvesting figure of merit, , with a maximum of 3.79 pm2 N-1 for barium titanate with 45 vol.% porosity, compared to only 1.40 pm2 N-1 for dense barium titanate. Dense and porous barium titanate materials were then used to harvest energy from a mechanical excitation by rectification and storage of the piezoelectric charge on a capacitor. The porous barium titanate charged the capacitor to a voltage of 234 mV compared to 96 mV for the dense material, indicating a 2.4-fold increase that was similar to that predicted by the energy harvesting figures of merit.


title: Exploiting the causal tensor network structure of quantum processes to efficiently simulate non-Markovian path integrals

abstract: In the path integral formulation of the evolution of an open quantum system coupled to a Gaussian, non-interacting environment, the dynamical contribution of the latter is encoded in an object called the influence functional. Here, we relate the influence functional to the process tensor -- a more general representation of a quantum stochastic process -- describing the evolution. We then use this connection to motivate a tensor network algorithm for the simulation of multi-time correlations in open systems, building on recent work where the influence functional is represented in terms of time evolving matrix product operators. By exploiting the symmetries of the influence functional, we are able to use our algorithm to achieve orders-of-magnitude improvement in the efficiency of the resulting numerical simulation. Our improved algorithm is then applied to compute exact phonon emission spectra for the spin-boson model with strong coupling, demonstrating a significant divergence from spectra derived under commonly used assumptions of memorylessness.


title: Purification and time-reversal deny entanglement in LOCC-distinguishable orthonormal bases

abstract: We give a simple proof, based on time-reversibility and purity, that a complete orthonormal family of pure states which can be perfectly distinguished by LOCC cannot contain any entangled state. Our results are really about the shape of certain states and processes, and are valid in arbitrary categorical probabilistic theories with time-reversal. From the point of view of the resource theory of entanglement, our results can be interpreted to say that free processes can distinguish between the states in a complete orthonormal family only when the states themselves are all free.


title: Idempotent reduction for the finitistic dimension conjecture

abstract: In this note, we prove that if $\Lambda$ is an Artin algebra with a simple module $S$ of finite projective dimension, then the finiteness of the finitistic dimension of $\Lambda$ implies that of $(1-e)\Lambda(1-e)$ where $e$ is the primitive idempotent supporting $S$. We derive some consequences of this. In particular, we recover a result of Green-Solberg-Psaroudakis: if $\Lambda$ is the quotient of a path algebra by an admissible ideal $I$ whose defining relations do not involve a certain arrow $\alpha$, then the finitistic dimension of $\Lambda$ is finite if and only if the finitistic dimension of $\Lambda/\Lambda\alpha \Lambda$ is finite.


title: Spectangular: Disentangling variable spectra

abstract: Spectangular is a GUI based software package written in C++ designed for spectral disentangling on the wavelength scale. The code disentangles spectra of SB1 and SB2 systems and can now also be used also for spectra showing variability. In this work, effects of variability caused by telluric lines, line profile, and continuum flux are being investigated. Also shown is the disentangling on spectra from an artificial eclipsing binary. It is now possible to optimize on the flux ratios of each spectrum, making the disentangling a technique for extracting photometric information from spectroscopic observations usually provided by additional photometry. Furthermore, we make some comments about changes to the code since it was first published.


title: OODIDA: On-board/Off-board Distributed Real-Time Data Analytics for Connected Vehicles

abstract: A fleet of connected vehicles easily produces many gigabytes of data per hour, making centralized (off-board) data processing impractical. In addition, there is the issue of distributing tasks to on-board units in vehicles and processing them efficiently. Our solution to this problem is OODIDA (On-board/Off-board Distributed Data Analytics), which is a platform that tackles both task distribution to connected vehicles as well as concurrent execution of tasks on arbitrary subsets of edge clients. Its message-passing infrastructure has been implemented in Erlang/OTP, while the end points use a language-independent JSON interface. Computations can be carried out in arbitrary programming languages. The message-passing infrastructure of OODIDA is highly scalable, facilitating the execution of large numbers of concurrent tasks.


title: Fluctuations in ballistic transport from Euler hydrodynamics

abstract: We propose a general formalism, within large deviation theory, giving access to the exact statistics of fluctuations of ballistically transported conserved quantities in homogeneous, stationary states. The formalism is expected to apply to any system with an Euler hydrodynamic description, classical or quantum, integrable or not, in or out of equilibrium. We express the exact scaled cumulant generating function (or full counting statistics) for any (quasi-)local conserved quantity in terms of the flux Jacobian. We show that the "extended fluctuation relations" of Bernard and Doyon follow from the linearity of the hydrodynamic equations, forming a marker of "freeness" much like the absence of hydrodynamic diffusion does. We show how an extension of the formalism gives exact exponential behaviours of spatio-temporal two-point functions of twist fields, with applications to order-parameter dynamical correlations in arbitrary homogeneous, stationary state. We explain in what situations the large deviation principle at the basis of the results fail, and discuss how this connects with nonlinear fluctuating hydrodynamics. Applying the formalism to conformal hydrodynamics, we evaluate the exact cumulants of energy transport in quantum critical systems of arbitrary dimension at low but nonzero temperatures, observing a phase transition for Lorentz boosts at the sound velocity.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Benchmark study of an auxiliary-field quantum Monte Carlo technique for the Hubbard model with shifted-discrete Hubbard-Stratonovich transformations

abstract: Within the ground-state auxiliary-field quantum Monte Carlo technique, we introduce discrete Hubbard-Stratonovich transformations (HSTs) that are suitable also for spatially inhomogeneous trial functions. The discrete auxiliary fields introduced here are coupled to local spin or charge operators fluctuating around their Hartree-Fock values. The formalism can be considered as a generalization of the discrete HSTs by Hirsch [J. E. Hirsch, Phys. Rev. B 28, 4059 (1983)] or a compactification of the shifted-contour auxiliary-field Monte Carlo formalism by Rom et al. [N. Rom et al., Chem. Phys. Lett. 270, 382 (1997)]. An improvement of the acceptance ratio is found for a real auxiliary field, while an improvement of the average sign is found for a pure-imaginary auxiliary field. Efficiencies of the different HSTs are tested in the single-band Hubbard model at and away from half filling by studying the staggered magnetization and energy expectation values, respectively.


title: Diagonal Pad\'e Approximant of the one-body Green's function, a study on Hubbard rings

abstract: Pad\'e approximants to the many-body Green's function can be built by rearranging terms of its perturbative expansion. The hypothesis that the best use of a finite number of terms of such an expansion is given by the subclass of diagonal Pad\'e approximants is here tested, and largely confirmed, on a solvable model system, namely the Hubbard ring for a variety of site numbers, fillings and interaction strengths.


title: Laser-Assisted Self-Induced Feshbach resonance for ultracold polar molecule formation

abstract: We propose a new type of Feshbach resonance occurring when two different ultracold atoms in their ground state undergo an s-wave collision in the presence of a continuous-wave laser light. The atoms collide in the dissociation continuum of the molecular electronic ground state which is coupled by the light to a rovibrational level of the same electronic ground state: we name this a Laser-Assisted Self-Induced Feshbach Resonance (LASIFR). This mechanism, valid for all polar molecules, is analyzed on the example of ultracold 87Rb and 84Sr atoms, for which the laser frequency falls in the THz range. The control of the LASIFR with the laser frequency and intensity allows for a strong increase of the pair probability density at short distances, which tremendously increases the number of atoms pairs transfered toward the absolute ground state level by STImulated Rapid Adiabatic Passage (STIRAP). The LASIFR results in the observation of a standard Fano profile in the pump transition of the STIRAP process, and is also promising for the optical control of the interspecies scattering length without atom losses.


title: Relationship between Magnetic Field Properties and an X-class Flare in Active Region NOAA 9077

abstract: The magnetic field plays a key role in producing solar flares, so that the investigation on the relationship between the magnetic field properties and flares is significant. In this paper, based on the magnetic field extrapolated from the photospheric vector magnetograms of the active region NOAA 9077 obtained at Huairou Solar Observing Station, the magnetic field parameters including the height of field lines, force-free factor, free magnetic energy and inclination angle were studied with respect to an X-class flare in this region. We found that the magnetic field lines became lower and the ratio of number of closed field lines to those of open field lines increased after the flare. The force-free factor ($\alpha$) attained a large value before the flare and then decreased after the flare for the closed field lines, while the open field lines showed the opposite tendency. Free energy reach to maximum before flare, then decrease after flare. The magnetic inclination angles showed opposite change trends after the flare for closed and open field lines. Therefore, we may conclude that non-potential energy released by flare mostly contained in the closed magnetic field lines.


title: Quantum Hoare Logic with Ghost Variables

abstract: Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces "ghost variables" to extend the expressive power of pre-/postconditions. Ghost variables are variables that do not actually occur in the program and are allowed to have arbitrary quantum states (in a sense, they are existentially quantified), and be entangled with program variables. Ghost variables allow us to express properties such as the distribution of a program variable or the fact that a variable has classical content. And as a case study, we show how quantum Hoare logic with ghost variables can be used to prove the security of the quantum one-time pad.


title: Global properties of the light curves of magnetic, chemically peculiar stars as a testbed for the existence of dipole-like symmetry in surface structures

abstract: Magnetic, chemically peculiar stars are known for exhibiting surface abundance inhomogeneities (chemical spots) that lead to photometric and spectroscopic variability with the rotation period. It is commonly assumed that the surface structures are causally connected with the global magnetic field that dominates the photospheric and subphotospheric layers of these stars. As a rule, the observed magnetic fields show a simple dipole-like geometry, with the magnetic axis being noncollinear to the rotational one. The present study aims at detecting underlying patterns in the distribution of photometric spots in a sample of 650 magnetic, chemically peculiar stars and examines their link to the magnetic field topology. Photometric time-series observations from the ASAS-3 archive were employed to inspect the light-curve morphology of our sample stars and divide them into representative classes described using a principal component analysis. Theoretical light curves were derived from numerous simulations assuming different spot parameters and following the symmetry of a simple dipole magnetic field. These were subsequently compared with the observed light curves. The results from our simulations are in contradiction with the observations and predict a much higher percentage of doublewave light curves than is actually observed. We thereby conclude that the distribution of the chemical spots does not follow the magnetic field topology, which indicates that the role of the magnetic field in the creation and maintenance of the surface structures may be more subsidiary than what is predicted by theoretical studies.


title: Spatial inhomogeneities in the sedimentation of biogenic particles in ocean flows: analysis in the Benguela region

abstract: Sedimentation of particles in the ocean leads to inhomogeneous horizontal distributions at depth, even if the release process is homogeneous. We study this phenomenon considering a horizontal sheet of sinking particles immersed in an oceanic flow, and determine how the particles are distributed when they sediment on the seabed (or are collected at a given depth). The study is performed from a Lagrangian viewpoint attending to the properties of the oceanic flow and the physical characteristics (size and density) of typical biogenic sinking particles. Two main processes determine the distribution, the stretching of the sheet caused by the flow and its projection on the surface where particles accumulate. These mechanisms are checked, besides an analysis of their relative importance to produce inhomogeneities, with numerical experiments in the Benguela region. Faster (heavier or larger) sinking particles distribute more homogeneously than slower ones.


title: High piezoelectric sensitivity and hydrostatic figures of merit in unidirectional porous ferroelectric ceramics fabricated by freeze casting

abstract: High performance lead zirconate titanate (PZT) ceramics with aligned porosity for sensing applications were fabricated by an ice-templating method. To demonstrate the enhanced properties of these materials and their potential for sensor and hydrophone applications, the piezoelectric voltage constants hydrostatic parameters and AC conductivity as a function of the porosity in directions both parallel and perpendicular to the freezing temperature gradient were studied. As the porosity level was increased, PZT poled parallel to the freezing direction exhibited the highest coefficients, and hydrostatic figures of merit compared to the dense and PZT poled perpendicular to the freezing direction. This work demonstrates that piezoelectric ceramics produced with aligned pores by freeze casting are a promising candidate for a range of sensor applications and the polarisation orientation relative to the freezing direction can be used to tailor the microstructure and optimise sensitivity for sensor and hydrostatic transducer applications.


title: Privacy Against Brute-Force Inference Attacks

abstract: Privacy-preserving data release is about disclosing information about useful data while retaining the privacy of sensitive data. Assuming that the sensitive data is threatened by a brute-force adversary, we define Guessing Leakage as a measure of privacy, based on the concept of guessing. After investigating the properties of this measure, we derive the optimal utility-privacy trade-off via a linear program with any $f$-information adopted as the utility measure, and show that the optimal utility is a concave and piece-wise linear function of the privacy-leakage budget.


title: Joint Entity Linking with Deep Reinforcement Learning

abstract: Entity linking is the task of aligning mentions to corresponding entities in a given knowledge base. Previous studies have highlighted the necessity for entity linking systems to capture the global coherence. However, there are two common weaknesses in previous global models. First, most of them calculate the pairwise scores between all candidate entities and select the most relevant group of entities as the final result. In this process, the consistency among wrong entities as well as that among right ones are involved, which may introduce noise data and increase the model complexity. Second, the cues of previously disambiguated entities, which could contribute to the disambiguation of the subsequent mentions, are usually ignored by previous models. To address these problems, we convert the global linking into a sequence decision problem and propose a reinforcement learning model which makes decisions from a global perspective. Our model makes full use of the previous referred entities and explores the long-term influence of current selection on subsequent decisions. We conduct experiments on different types of datasets, the results show that our model outperforms state-of-the-art systems and has better generalization performance.


title: Understanding the effect of porosity on the polarisation-field response of ferroelectric materials

abstract: This paper combines experimental and modelling studies to provide a detailed examination of the influence of porosity volume fraction and morphology on the polarisation-electric field response of ferroelectric materials. The broadening of the electric field distribution and a decrease in the electric field experienced by the ferroelectric ceramic medium due to the presence of low-permittivity pores is examined and its implications on the shape of the hysteresis loop, remnant polarisation and coercive field is discussed. The variation of coercive field with porosity level is seen to be complex and is attributed to two competing mechanisms where at high porosity levels the influence of the broadening of the electric field distribution dominates, while at low porosity levels an increase in the compliance of the matrix is more important. This new approach to understanding these materials enables the seemingly conflicting observations in the existing literature to be clarified and provides an effective approach to interpret the influence of pore fraction and morphology on the polarisation behaviour of ferroelectrics. Such information provides new insights in the interpretation of the physical properties of porous ferroelectric materials to inform future effort in the design of ferroelectric materials for piezoelectric sensor, actuator, energy harvesting, and transducer applications.


title: Opportunistic Ambient Backscatter Communication in RF-Powered Cognitive Radio Networks

abstract: In the present contribution, we propose a novel opportunistic ambient backscatter communication (ABC) framework for radio frequency (RF)-powered cognitive radio (CR) networks. This framework considers opportunistic spectrum sensing integrated with ABC and harvest-then-transmit (HTT) operation strategies. Novel analytic expressions are derived for the average throughput, the average energy consumption and the energy efficiency in the considered set up. These expressions are represented in closed-form and have a tractable algebraic representation which renders them convenient to handle both analytically and numerically. In addition, we formulate an optimization problem to maximize the energy efficiency of the CR system operating in mixed ABC $-$ and HTT $-$ modes, for a given set of constraints including primary interference and imperfect spectrum sensing constraints. Capitalizing on this, we determine the optimal set of parameters which in turn comprise the optimal detection threshold, the optimal degree of trade-off between the CR system operating in the ABC $-$ and HTT $-$ modes and the optimal data transmission time. Extensive results from respective computer simulations are also presented for corroborating the corresponding analytic results and to demonstrate the performance gain of the proposed model in terms of energy efficiency.


title: Energy Build-up and Triggering Leading to a M1.5 Flare on 1 August 2014

abstract: The energy storage and trigger mechanisms of solar flares are important for understanding of solar activity. We analyzed multi-wavelength observations of a M1.5 flare on 1 August 2014, in active region NOAA 12127 (SOL2014-08-01T18:13). There are evident large scale sunspot rotations in positive magnetic field of the main energy release region before the eruption; the rotations contain both clockwise and counter-clockwise directions. Injection of magnetic helicity from the photosphere prior to the flare. The sign of the helicity injection is reversed after the flare. It is found that both persistent larger scale ($\approx$ one day) and impulse smaller scale ($\approx$ one to two hours) magnetic-flux emergences are associated with the flare. We conclude that larger-scale flux emergence, helicity injection and sunspot rotation contribute to the energy build up, while the small-scale magnetic-flux emergence plays crucial role in triggering the flare.


title: SensitiveNets: Learning Agnostic Representations with Application to Face Images

abstract: This work proposes a novel privacy-preserving neural network feature representation to suppress the sensitive information of a learned space while maintaining the utility of the data. The new international regulation for personal data protection forces data controllers to guarantee privacy and avoid discriminative hazards while managing sensitive data of users. In our approach, privacy and discrimination are related to each other. Instead of existing approaches aimed directly at fairness improvement, the proposed feature representation enforces the privacy of selected attributes. This way fairness is not the objective, but the result of a privacy-preserving learning method. This approach guarantees that sensitive information cannot be exploited by any agent who process the output of the model, ensuring both privacy and equality of opportunity. Our method is based on an adversarial regularizer that introduces a sensitive information removal function in the learning objective. The method is evaluated on three different primary tasks (identity, attractiveness, and smiling) and three publicly available benchmarks. In addition, we present a new face annotation dataset with balanced distribution between genders and ethnic origins. The experiments demonstrate that it is possible to improve the privacy and equality of opportunity while retaining competitive performance independently of the task.


title: Bethe-Sommerfeld conjecture in semiclassical settings

abstract: Under certain assumptions (including $d\ge 2)$ we prove that the spectrum of a scalar operator in $\mathscr{L}^2(\mathbb{R}^d)$ \begin{equation*} A_\varepsilon (x,hD)= A^0(hD) + \varepsilon B(x,hD), \end{equation*} covers interval $(\tau-\epsilon,\tau+\epsilon)$, where $A^0$ is an elliptic operator and $B(x,hD)$ is a periodic perturbation, $\varepsilon=O(h^\varkappa)$, $\varkappa>0$. Further, we consider generalizations.


title: Explaining the emergence of complex networks through log-normal fitness in a Euclidean node similarity space

abstract: Networks of disparate phenomena-- be it the global ecology, human social institutions, within the human brain, or in micro-scale protein interactions-- exhibit broadly consistent architectural features. To explain this, we propose a new theory where link probability is modelled by a log-normal node fitness (surface) factor and a latent Euclidean space-embedded node similarity (depth) factor. Modelling based on this theory considerably outperforms popular power-law fitness and hyperbolic geometry explanations across 110 networks. Importantly, the degree distributions of the model resemble power-laws at small densities and log-normal distributions at larger densities, posing a reconciliatory solution to the long-standing debate on the nature and existence of scale-free networks. Validating this theory, a surface factor inversion approach on an economic world city network and an fMRI connectome results in considerably more geometrically aligned nearest neighbour networks. This establishes new foundations from which to understand, analyse, deconstruct and interpret network phenomena.


title: Neural dynamics of emotion and cognition: from trajectories to underlying neural geometry

abstract: This paper describes the outlines of a research program for understanding the cognitive-emotional brain, with an emphasis on the issue of dynamics: How can we study, characterize, and understand the neural underpinnings of cognitive-emotional behaviors as inherently dynamic processes? The framework embraces many of the central themes developed by Steve Grossberg in his extensive body of work in the past 50 years. By embracing head on the leitmotifs of dynamics, decentralized computation, emergence, selection and competition, and autonomy, it is proposed that a science of the mind-brain can be developed that is built upon a solid foundation of understanding behavior while employing computational and mathematical tools in an integral manner. A key implication of the framework is that standard ways of thinking about causation are inadequate when unravelling the workings of a complex system such as the brain. Instead, it is proposed that researchers should focus on determining the dynamic multivariate structure of brain data. Accordingly, central problems become to characterize the dimensionality of neural trajectories, and the geometry of the underlying neural space. At a time when the development of neurotechniques has reached a fever pitch, neuroscience needs to redirect its focus and invest comparable energy in the conceptual and theoretical dimensions of its research endeavor. Otherwise we run the risk of being able to measure 'every atom' in the brain in a theoretical vacuum.


title: Toward Standard Data Production for Magnetic Field Observations at Huairou Solar Observing Station

abstract: The productions of data with internationally agreed standards are the common pursuits for all astronomical observation instruments both ground and spacebased undoubtedly, Since standard data to facilitate the use of scientific research. The routine solar observations are available at Huairou Solar Observing Station (HSOS) since 1987, which should be regarded as one main solar observations in the world. The data storage medium and format at HSOS experienced several changes, so there exist some inconveniences for solar physicist. This paper shows that the observations data of HSOS are further processed both for storage medium and format toward international standards, in order to explore HSOS observations data for scientific research.


title: Energy harvesting from coupled bending-twisting oscillations in carbon-fibre reinforced polymer laminates

abstract: The energy harvesting capability of resonant harvesting structures, such as piezoelectric cantilever beams, can be improved by utilizing coupled oscillations that generate favourable strain mode distributions. In this work, we present the first demonstration of the use of a laminated carbon fibre reinforced polymer to create cantilever beams that undergo coupled bending-twisting oscillations for energy harvesting applications. Piezoelectric layers that operate in bending and shear mode are attached to the bend-twist coupled beam surface at locations of maximum bending and torsional strains in the first mode of vibration to fully exploit the strain distribution along the beam. Modelling of this new bend-twist harvesting system is presented, which compares favourably with experimental results. It is demonstrated that the variety of bend and torsional modes of the harvesters can be utilized to create a harvester that operates over a wider range of frequencies and such multi-modal device architectures provides a unique approach to tune the frequency response of resonant harvesting systems.


title: Decentralized Stochastic Optimization and Gossip Algorithms with Compressed Communication

abstract: We consider decentralized stochastic optimization with the objective function (e.g. data samples for machine learning task) being distributed over $n$ machines that can only communicate to their neighbors on a fixed communication graph. To reduce the communication bottleneck, the nodes compress (e.g. quantize or sparsify) their model updates. We cover both unbiased and biased compression operators with quality denoted by $\omega \leq 1$ ($\omega=1$ meaning no compression). We (i) propose a novel gossip-based stochastic gradient descent algorithm, CHOCO-SGD, that converges at rate $\mathcal{O}\left(1/(nT) + 1/(T \delta^2 \omega)^2\right)$ for strongly convex objectives, where $T$ denotes the number of iterations and $\delta$ the eigengap of the connectivity matrix. Despite compression quality and network connectivity affecting the higher order terms, the first term in the rate, $\mathcal{O}(1/(nT))$, is the same as for the centralized baseline with exact communication. We (ii) present a novel gossip algorithm, CHOCO-GOSSIP, for the average consensus problem that converges in time $\mathcal{O}(1/(\delta^2\omega) \log (1/\epsilon))$ for accuracy $\epsilon > 0$. This is (up to our knowledge) the first gossip algorithm that supports arbitrary compressed messages for $\omega > 0$ and still exhibits linear convergence. We (iii) show in experiments that both of our algorithms do outperform the respective state-of-the-art baselines and CHOCO-SGD can reduce communication by at least two orders of magnitudes.


title: Entropy-Based Learning of Sensing Matrices

abstract: This paper proposes a learning method to construct an efficient sensing (measurement) matrix, having orthogonal rows, for compressed sensing of a class of signals. The learning scheme identifies the sensing matrix by maximizing the entropy of measurement vectors. The bounds on the entropy of the measurement vector necessary for the unique recovery of a signal are also proposed. A comparison of the performance of the designed sensing matrix and the sensing matrices constructed using other existing methods is also presented. The simulation results on the recovery of synthetic, speech, and image signals, compressively sensed using the sensing matrix identified, shows an improvement in the accuracy of recovery. The reconstruction quality is better, using less number of measurements, than those measured using sensing matrices identified by other methods.


title: Tree-Sliced Variants of Wasserstein Distances

abstract: Optimal transport (\OT) theory defines a powerful set of tools to compare probability distributions. \OT~suffers however from a few drawbacks, computational and statistical, which have encouraged the proposal of several regularized variants of OT in the recent literature, one of the most notable being the \textit{sliced} formulation, which exploits the closed-form formula between univariate distributions by projecting high-dimensional measures onto random lines. We consider in this work a more general family of ground metrics, namely \textit{tree metrics}, which also yield fast closed-form computations and negative definite, and of which the sliced-Wasserstein distance is a particular case (the tree is a chain). We propose the tree-sliced Wasserstein distance, computed by averaging the Wasserstein distance between these measures using random tree metrics, built adaptively in either low or high-dimensional spaces. Exploiting the negative definiteness of that distance, we also propose a positive definite kernel, and test it against other baselines on a few benchmark tasks.


title: Categorical Operational Physics

abstract: Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their processes, as described mathematically through the language of category theory. This extends a framework for quantum processes known as categorical quantum mechanics (CQM) due to Abramsky and Coecke. We first consider categorical frameworks for operational theories. We introduce a notion of such theory, based on those of Chiribella, D'Ariano and Perinotti (CDP), but more general than the probabilistic ones typically considered. We establish a correspondence between these and what we call "operational categories", using features introduced by Jacobs et al. in effectus theory, an area of categorical logic to which we provide an operational interpretation. We then see how to pass to a broader category of "super-causal" processes, allowing for the powerful diagrammatic features of CQM. Next we study operational theories themselves. We survey numerous principles that a theory may satisfy, treating them in a basic diagrammatic setting, and relating notions from probabilistic theories, CQM and effectus theory. We provide a new description of superpositions in the category of pure quantum processes, using this to give an abstract construction of the category of Hilbert spaces and linear maps. Finally, we reconstruct finite-dimensional quantum theory itself. More broadly, we give a recipe for recovering a class of generalised quantum theories, before instantiating it with operational principles inspired by an earlier reconstruction due to CDP. This reconstruction is fully categorical, not requiring the usual technical assumptions of probabilistic theories. Specialising to such theories recovers both standard quantum theory and that over real Hilbert spaces.


title: Standard Magnetic Field Production at Huairou Solar Observing Station

abstract: The regular solar observations are operated at Huairou Solar Observing Station (HSOS) since 1987, which make the construction of long-term magnetic field datasets available to understand solar magnetic field and cycles. There exist some inconveniences for solar physicist to use these data, because the data storage medium and format at HSOS experienced some changes. Additionally, the processes of magnetic field calibration are not easy to deal with for who are not familiar with these data. Here shows that the magnetic field of HSOS are further processed toward international standards, in order to explore HSOS observations data for scientific research.


title: Magnetic Properties of Epitaxially-grown $SrRuO_3$ Nanodots

abstract: We present the fabrication and exploration of arrays of nanodots of $SrRuO_3$ with dot sizes between 500 nm and 15 nm. Down to the smallest dot size explored, the samples were found to be magnetic with a maximum of the Curie temperature $T_C$ achieved by dots of 30 nm diameter. This peak in $T_C$ is associated with a dot-size-induced relief of the epitaxial strain, as evidenced by scanning transmission electron microscopy.


title: Energy Efficiency of Generalized Spatial Modulation Aided Massive MIMO Systems

abstract: One of focuses in green communication studies is the energy efficiency (EE) of massive multiple-input multiple-output (MIMO) systems. Although the massive MIMO technology can improve the spectral efficiency (SE) of cellular networks by configuring a large number of antennas at base stations (BSs), the energy consumption of radio frequency (RF) chains increases dramatically. The increment of energy consumption is caused by the increase of RF chain number to match the antenna number in massive MIMO communication systems. To overcome this problem, a generalized spatial modulation (GSM) solution is presented to simultaneously reduce the number of RF chains and maintain the SE of massive MIMO communication systems. A EE model is proposed to estimate the transmission and computation power of massive MIMO communication systems with GSM. Simulation results demonstrate that the EE of massive MIMO communication systems with GSM outperforms the massive MIMO communication systems without GSM. Besides, the computation power consumed by massive MIMO communication systems with GSM is effectively reduced.


title: Projection-Based 2.5D U-net Architecture for Fast Volumetric Segmentation

abstract: Convolutional neural networks are state-of-the-art for various segmentation tasks. While for 2D images these networks are also computationally efficient, 3D convolutions have huge storage requirements and require long training time. To overcome this issue, we introduce a network structure for volumetric data without 3D convolutional layers. The main idea is to include maximum intensity projections from different directions to transform the volumetric data to a sequence of images, where each image contains information of the full data. We then apply 2D convolutions to these projection images and lift them again to volumetric data using a trainable reconstruction algorithm.The proposed network architecture has less storage requirements than network structures using 3D convolutions. For a tested binary segmentation task, it even shows better performance than the 3D U-net and can be trained much faster.


title: Fine Magnetic Characteristics of a Light Bridge by Hinode

abstract: Light bridge (LB) is bright structure crossing the umbra of sunspots and associated to the breakup or assembly of sunspots. In this paper, a LB is presented and studied using the observatory data obtained by {\it Hinode} satellites. Force-free factor ($\alpha$) and the z-component of current ($J_{z}$) and tension force ($T_{z}$) are calculated basing on the vector magnetograms observed by Spectro-Polarimeter (SP) of the Solar Optical Telescope (SOT) on board {\it Hinode}. It is found that the amplitudes of $\alpha$ and $J_{z}$ of LB are generally larger than those of umbra. It is found that there are two signs of $J_{z}$ along LB, which are divided at near the middle position of LB. It is found that the amplitudes of $T_{z}$ of LB are smaller than those of umbra and there are changes of sign of $T_{z}$ between the boundary of LB and umbra. Through comparisons and investigations, it suggest that LB and umbra maybe two different magnetic systems, which is a necessary condition for interaction magnetic reconnection.


title: Universal relations for the Keplerian sequence of rotating neutron stars

abstract: We investigate the Keplerian (mass-shedding) sequence of rotating neutron stars. Twelve different equations of state are used to describe the nuclear structure. We find four fitting relations which connect the rotating frequency, mass and radius of stars in the mass-shedding limit to the mass and radius of stars in the static sequence. We show the breakdown of approximate relation for the Keplerian frequency derived by Lattimer and Prakash [Science, 304, 536, (2004)] and then we present a new, EOS-independent and more accurate relation. This relation fits the Keplerian frequency of rotating neutron stars to about $2\%$ for a large range of the compactness $M_{S}/R_{S}$ of the reference non-rotating neutron star, namely the static star with the same central density as the rotating one. The performance of the fitting formula is close to $4\%$ for $M_{S}/R_{S}\leq 0.05~M_{\odot}$/km ($f_{K}\leq 350$~Hz). We present additional EOS-independent relations for the Keplerian sequence including relations for $M_{K}f_{K}$ and $R_{K}f_{K}$ in terms of $M_{S}f_{S}$ and $R_{S}f_{S}$, respectively, one of $M_K/R_K$ as a function of $f_{K}/f_{S}$ and $M_S/R_S$, and a relation between the $M_K$, $R_K$ and $f_K$. These new fitting relations are approximately EOS-independent with an error in the worst case of $8\%$. The universality of the Keplerian sequence properties presented here add to the set of other neutron star universal relations in the literature such as the $I$-Love-$Q$ relation, the gravitational binding energy and the energy, angular momentum and radius of the last circular orbit of a test-particle around rotating neutron stars. This set of universal, analytic formulas, facilitate the inclusion of general relativistic effects in the description of relativistic astrophysical systems involving fast rotating neutron stars.


title: PACT I: Combining ACT and Planck data for optimal detection of tSZ signal

abstract: We present the optimal reconstruction of the thermal Sunyaev-Zel'dovich (tSZ) effect signal based on the combination of a heterogeneous dataset consisting of ACT and Planck data, with different numbers of channels, angular resolutions and noise levels. We combine both datasets using two different approaches, a Matched Multi-Filter (MMF) technique and an optimised Internal Linear Combination (ILC). We show that when applying the MMF to the combination of ACT and Planck data, the size-flux degeneracy is reduced and the signal-to-noise of clusters detected with their SZ signal improves by up to a factor of three. In the case of the optimised ILC method, we show that the tSZ map is reconstructed with a resolution of $\sim 1.5$ arcmin. This is more than a factor two improvement compared with the Planck resolution, and with a very good control of noise, i.e. limited only by the intrinsic noise of the individual experiments. The combination of ACT and Planck data offers a unique opportunity to improve on the study of the pressure profiles and to study substructure in clusters through their tSZ.


title: Dispersion free control of hydroelastic waves down to sub-wavelength scale

abstract: Hydroelastic surface waves propagate at the surface of water covered by a thin elastic sheet and can be directly measured with accurate space and time resolution. We present an experimental approach using hydroelastic waves that allows us to control waves down to the sub-wavelength scale. We tune the wave dispersion relation by varying locally the properties of the elastic cover and we introduce a local index contrast. This index contrast is independent of the frequency leading to a dispersion-free Snell-Descartes law for hydroelastic waves. We then show experimental evidence of broadband focusing, reflection and refraction of the waves. We also investigate the limits of diffraction through the example of a macroscopic analog to optical nanojets, revealing that any sub-wavelength configuration gives access to new features for surface waves.


title: A Quantum-Inspired Method for Three-Dimensional Ligand-Based Virtual Screening

abstract: Measuring similarity between molecules is an important part of virtual screening (VS) experiments deployed during the early stages of drug discovery. Most widely used methods for evaluating the similarity of molecules use molecular fingerprints to encode structural information. While similarity methods using fingerprint encodings are efficient, they do not consider all the relevant aspects of molecular structure. In this paper, we describe a quantum-inspired graph-based molecular similarity (GMS) method for ligand-based VS. The GMS method is formulated as a quadratic unconstrained binary optimization problem that can be solved using a quantum annealer, providing the opportunity to take advantage of this nascent and potentially groundbreaking technology. In this study, we consider various features relevant to ligand-based VS, such as pharmacophore features and three-dimensional atomic coordinates, and include them in the GMS method. We evaluate this approach on various datasets from the DUD_LIB_VS_1.0 library. Our results show that using three-dimensional atomic coordinates as features for comparison yields higher early enrichment values. In addition, we evaluate the performance of the GMS method against conventional fingerprint approaches. The results demonstrate that the GMS method outperforms fingerprint methods for most of the datasets, presenting a new alternative in ligand-based VS with the potential for future enhancement.


title: A counterexample to a strong variant of the Polynomial Freiman-Ruzsa conjecture

abstract: Let $p$ be a prime. One formulation of the Polynomial Freiman-Ruzsa conjecture over $\mathbb{F}_p$ can be stated as follows. If $\phi : \mathbb{F}_p^n \rightarrow \mathbb{F}_p^N$ is a function such that $\phi(x+y) - \phi(x) - \phi(y)$ takes values in some set $S$, then there is a linear map $\tilde{\phi} : \mathbb{F}_p^n \rightarrow \mathbb{F}_p^N$ with the property that $\phi - \tilde{\phi}$ takes at most $|S|^{O(1)}$ values. A strong variant of this conjecture states that, in fact, there is a linear map $\tilde{\phi}$ such that $\phi - \tilde{\phi}$ takes values in $tS$ for some constant $t$. In this note, we discuss a counterexample to this conjecture.


title: Rare cosmological events recorded in muscovite mica

abstract: A study of fossil tracks of charged particles recorded in crystals of muscovite has revealed evidence of rare events of cosmological origin. The events are not compatible with known particle interactions with matter. They were recorded during a period when the crystals were in a metastable state during cooling after growth 13km water equivalent underground. In this state a phase transition can be triggered by low energy events in the range 1eV to 10keV, when the crystals effectively behave as solid-state bubble chambers. At higher energies the chemical etching technique can be used to reveal massive damage to the lattice. The rare events show evidence of interaction with the crystal over a great range of energies. They leave a distinctive record that is easily recognised.