title: Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption

abstract: Compiler writers typically focus primarily on the performance of the generated program binaries when selecting the passes and the order in which they are applied in the standard optimization levels, such as GCC -O3. In some domains, such as embedded systems and High-Performance Computing (HPC), it might be sometimes acceptable to slowdown computations if the energy consumed can be significantly decreased. Embedded systems often rely on a battery and besides energy also have power dissipation limitations, while HPC centers have a growing concern with electricity and cooling costs. Relying on power policies to apply frequency/voltage scaling and/or change the CPU to idle states (e.g., alternate between power levels in bursts) as the main method to reduce energy leaves potential for improvement using other orthogonal approaches. In this work we evaluate the impact of compiler pass sequences specialization (also known as compiler phase ordering) as a means to reduce the energy consumed by a set of programs/functions when comparing with the use of the standard compiler phase orders provided by, e.g., -OX flags. We use our phase selection and ordering framework to explore the design space in the context of a Clang+LLVM compiler targeting a multicore ARM processor in an ODROID board and a dual x86 desktop representative of a node in a Supercomputing center. Our experiments with a set of representative kernels show that there we can reduce energy consumption by up to 24% and that some of these improvements can only be partially explained by improvements to execution time. The experiments show cases where applications that run faster consume more energy. Additionally, we make an effort to characterize the compiler sequence exploration space in terms of their impact on performance and energy.


title: Statistical physics of the inflaton decaying in an inhomogeneous random environment

abstract: We derive a stochastic wave equation for an inflaton in an environment of an infinite number of fields. We study solutions of the linearized stochastic evolution equation in an expanding universe. The Fokker-Planck equation for the inflaton probability distribution is derived. The relative entropy (free energy) of the stochastic wave is defined. The second law of thermodynamics for the diffusive system is obtained. Gaussian probability distributions are studied in detail.


title: Revised SED of the triple protostellar system VLA 1623-2417

abstract: VLA 1623$-$2417 is a triple protostellar system deeply embedded in Ophiuchus A. Sources A and B have a separation of 1.1", making their study difficult beyond the submillimeter regime. Lack of circumstellar gas emission suggested that VLA 1623$-$2417 B has a very cold envelope and is much younger than source A, generally considered the prototypical Class 0 source. We explore the consequences of new ALMA Band 9 data on the spectral energy distribution (SED) of VLA 1623$-$2417 and their inferred nature. Using dust continuum observations spanning from centimeter to near-infrared wavelengths, the SED of each component in VLA 1623$-$2417 is constructed and analysed. The ALMA Band 9 data presented here show that the SED of VLA 1623$-$2417 B does not peak at 850 $\mu$m as previously expected, but instead presents the same shape as VLA 1623$-$2417 A at wavelengths shorter than 450 $\mu$m. The results presented here indicate that the previous assumption that the flux in $Herschel$ and Spitzer observations is solely dominated by VLA 1623$-$2417 A is not valid, and instead, VLA 1623$-$2417 B most likely contributes a significant fraction of the flux at $\lambda~<$ 450 $\mu$m. These results, however, do not explain the lack of circumstellar gas emission and puzzling nature of VLA 1623$-$2417 B.


title: Energy transfer in elastic collisions between electrons and trapped ions

abstract: Heating of trapped ion clouds by interactions with free electrons crossing the trapping potential was observed. A model describing such process was proposed and discussed. The presented approach predicts two effects: pushing and heating of the ions' ensemble by electrons. The former was found to be too weak for observation, however the latter was investigated experimentally. For comparison between experimental results and theoretical predictions, molecular dynamics simulations for various ion ensembles in various temperatures were performed to determine dependence between ion cloud geometry and its temperature. A heating rate coefficient was defined and determined together with temperatures of ion clouds bombarded with electrons. Good correlation between the two quantities was found, which agrees with the proposed model.


title: Hilbert functions and tensor analysis

abstract: We show how well known tools of algebraic geometry for the study of finite sets can be fruitfully applied to the study of Waring decompositions of symmetric tensors (forms). We mainly focus on the uniqueness of a given decomposition (the identifiability problem), and show how, in some cases, one can effectively determine the uniqueness even in some range in which the Kruskal's criterion does not apply.


title: Block-Value Symmetries in Probabilistic Graphical Models

abstract: One popular way for lifted inference in probabilistic graphical models is to first merge symmetric states into a single cluster (orbit) and then use these for downstream inference, via variations of orbital MCMC [Niepert, 2012]. These orbits are represented compactly using permutations over variables, and variable-value (VV) pairs, but they can miss several state symmetries in a domain. We define the notion of permutations over block-value (BV) pairs, where a block is a set of variables. BV strictly generalizes VV symmetries, and can compute many more symmetries for increasing block sizes. To operationalize use of BV permutations in lifted inference, we describe 1) an algorithm to compute BV permutations given a block partition of the variables, 2) BV-MCMC, an extension of orbital MCMC that can sample from BV orbits, and 3) a heuristic to suggest good block partitions. Our experiments show that BV-MCMC can mix much faster compared to vanilla MCMC and orbital MCMC.


title: Blowing up Light: A nonlinear amplification scheme for electromagnetic waves

abstract: We use blow-up solutions of nonlinear Helmholtz equations to introduce a nonlinear resonance effect that is capable of amplifying electromagnetic waves of particular intensity. To achieve this, we propose a scattering setup consisting of a Kerr slab with a negative (defocusing) Kerr constant placed to the left of a linear slab in such a way that a left-incident coherent TE wave with a specific incidence angle and intensity realizes a blow-up solution of the corresponding Helmholtz equation whenever its wavenumber $k$ takes a certain critical value, $k_\star$. For $k=k_\star$, the solution blows up at the right-hand boundary of the Kerr slab. For $k<k_\star$, the setup defines a scattering system with a transmission coefficient that diverges as $(k-k_\star)^{-4}$ for $k\to k_\star$. By tuning the distance between the slabs we can use this setup to amplify coherent waves with a wavelength in an extremely narrow spectral band. For nearby wavelengths the setup serves as a filter. Our analysis makes use of a nonlinear generalization of the transfer matrix of the scattering theory as well as properties of unidirectionally invisible potentials.


title: Fast Hermite interpolation and evaluation over finite fields of characteristic two

abstract: This paper presents new fast algorithms for Hermite interpolation and evaluation over finite fields of characteristic two. The algorithms reduce the Hermite problems to instances of the standard multipoint interpolation and evaluation problems, which are then solved by existing fast algorithms. The reductions are simple to implement and free of multiplications, allowing low overall multiplicative complexities to be obtained. The algorithms are suitable for use in encoding and decoding algorithms for multiplicity codes.


title: Mapping of Yu-Shiba-Rusinov states from an extended scatterer

abstract: We investigate the spatial evolution of Yu-Shiba-Rusinov (YSR) states resulting from the interaction between Copper phthalocyanine molecules and a superconducting Vanadium (100) surface with submolecular resolution. Each molecule creates several YSR states at different energies showing distinctly different spatial intensity patterns. Surprisingly, on the molecules the largest YSR intensities are found not at the metal center, but close to one of the pyrrolic N-atoms, demonstrating strong molecular substrate interactions via the organic ligands. Energy resolved YSR maps reveal that the different YSR states originate from different molecular orbitals. We also follow the YSR states well-beyond the extent of the molecules and find clear oscillations of the YSR intensities without strong particle hole scattering phase differences. This is in contrast to expectations from a point scattering model and recent experimental findings on atomic impurities on superconductors. Our results can be explained by treating the molecular system as extended scatterer. Our findings provide new insights that are crucial to interpret the effects of a variety of magnetic systems on superconductors, in particular also those discussed in the context of Majorana bound states, which because of their size can not be considered point like as well.


title: Quantum entanglement shared in hydrogen bonds and its usage as a resource in molecular recognition

abstract: Quantum tunneling events occurring through biochemical bonds are capable to generate quantum correlations between bonded systems, which in turn makes the conventional second law of thermodynamics approach insufficient to investigate these systems. This means that the utilization of these correlations in their biological functions could give an evolutionary advantage to biomolecules to an extent beyond the predictions of molecular biology that are generally based on the second law in its standard form. To explore this possibility, we first compare the tunneling assisted quantum entanglement shared in the ground states of covalent and hydrogen bonds. Only the latter appears to be useful from a quantum information point of view. Also, significant amounts of quantum entanglement can be found in the thermal state of hydrogen bond. Then, we focus on an illustrative example of ligand binding in which a receptor protein or an enzyme is restricted to recognize its ligands using the same set of proton-acceptors and donors residing on its binding site. In particular, we show that such a biomolecule can discriminate between $3^n - 1$ agonist ligands if it uses the entanglement shared in $n$ intermolecular hydrogen bonds as a resource in molecular recognition. Finally, we consider the molecular recognition events encountered in both the contemporary genetic machinery and its hypothetical primordial ancestor in pre-DNA world, and discuss whether there may have been a place for the utilization of quantum entanglement in the evolutionary history of this system.


title: Zero sums in restricted sequences

abstract: A sequence $\bfx=(x_1,\ldots,x_m)$ of elements of $\Z_n$ is called an \textit{$A$-weighted Davenport Z-sequence} if there exists $\bfa:=(a_1,\ldots,a_m)\in (A\cup\{0\})^m\setminus\bfzero_m$ such that $\sum_i a_ix_i=0$. Here $\bfzero_m=(0,\ldots,0)\in\Z_n^m$. Similarly, the sequence $\bfx$ is called an \textit{$A$-weighted Erd\H{o}s Z-sequence} if there exists $\bfa:=(a_1,\ldots,a_m)\in (A\cup\{0\})^m\setminus\{\bfzero_m\}$ with $|Supp(\bfa)|=n$, such that $\sum_i a_ix_i=0$, where $Supp(\bfa):=\{i: a_i\ne 0\}$. A $\Z_n$-sequence $\bfx$ is called $k$-restricted if no element of $\Z_n$ appears more than $k$ times in $\bfx$. In this paper, we study the problem of determining the least value of $m$ for which a $k$-restricted $\Z_n$-sequence of length $m$ is an $A$-weighted Davenport Z-sequence (resp. an$A$-weighted Erd\H{o}s Z-sequence). We also consider the same problem for random $\Z_n$ sequences, for certain very natural choices for the set $A$.


title: Distributed Ledger Technology, Cyber-Physical Systems, and Social Compliance

abstract: This paper describes how Distributed Ledger Technologies can be used to design a class of cyber-physical systems, as well as to enforce social contracts and to orchestrate the behaviour of agents trying to access a shared resource. The first part of the paper analyses the advantages and disadvantages of using Distributed Ledger Technologies architectures to implement certain control systems in an Internet of Things (IoT) setting, and then focuses on a specific type of DLT based on a Directed Acyclic Graph. In this setting we propose a set of delay differential equations to describe the dynamical behaviour of the Tangle, an IoT-inspired Directed Acyclic Graph designed for the cryptocurrency IOTA. The second part proposes an application of Distributed Ledger Technologies as a mechanism for dynamic deposit pricing, wherein the deposit of digital currency is used to orchestrate access to a network of shared resources. The pricing signal is used as a mechanism to enforce the desired level of compliance according to a predetermined set of rules. After presenting an illustrative example, we analyze the control system and provide sufficient conditions for the stability of the network.


title: On wave equations of the $p$-Laplacian type with supercritical nonlinearities

abstract: This article focuses on a quasilinear wave equation of $p$-Laplacian type: \[ u_{tt} - \Delta_p u -\Delta u_t = f(u) \] in a bounded domain $\Omega \subset \mathbb{R}^3$ with a sufficiently smooth boundary $\Gamma=\partial \Omega$ subject to a generalized Robin boundary condition featuring boundary damping and a nonlinear source term. The operator $\Delta_p$, $2<p<3$, denotes the classical $p$-Laplacian. The interior and boundary terms $f(u)$, $h(u)$ are sources that are allowed to have a supercritical exponent, in the sense that their associated Nemytskii operators are not locally Lipschitz from $W^{1,p}(\Omega)$ into $L^2(\Omega)$ or $L^2(\Gamma)$. Under suitable assumptions on the parameters we provide a rigorous proof of existence of a local weak solution which can be extended globally in time, provided the damping terms dominates the corresponding sources in an appropriate sense. Moreover, a blow-up result is proved for solutions with negative initial total energy.


title: A Neural Approach to Language Variety Translation

abstract: In this paper we present the first neural-based machine translation system trained to translate between standard national varieties of the same language. We take the pair Brazilian - European Portuguese as an example and compare the performance of this method to a phrase-based statistical machine translation system. We report a performance improvement of 0.9 BLEU points in translating from European to Brazilian Portuguese and 0.2 BLEU points when translating in the opposite direction. We also carried out a human evaluation experiment with native speakers of Brazilian Portuguese which indicates that humans prefer the output produced by the neural-based system in comparison to the statistical system.


title: PointSIFT: A SIFT-like Network Module for 3D Point Cloud Semantic Segmentation

abstract: Recently, 3D understanding research sheds light on extracting features from point cloud directly, which requires effective shape pattern description of point clouds. Inspired by the outstanding 2D shape descriptor SIFT, we design a module called PointSIFT that encodes information of different orientations and is adaptive to scale of shape. Specifically, an orientation-encoding unit is designed to describe eight crucial orientations, and multi-scale representation is achieved by stacking several orientation-encoding units. PointSIFT module can be integrated into various PointNet-based architecture to improve the representation ability. Extensive experiments show our PointSIFT-based framework outperforms state-of-the-art method on standard benchmark datasets. The code and trained model will be published accompanied by this paper.


title: Nesterov-aided Stochastic Gradient Methods using Laplace Approximation for Bayesian Design Optimization

abstract: Finding the best setup for experiments is the primary concern for Optimal Experimental Design (OED). Here, we focus on the Bayesian experimental design problem of finding the setup that maximizes the Shannon expected information gain. We use the stochastic gradient descent and its accelerated counterpart, which employs Nesterov's method, to solve the optimization problem in OED. We adapt a restart technique, originally proposed for the acceleration in deterministic optimization, to improve stochastic optimization methods. We combine these optimization methods with three estimators of the objective function: the double-loop Monte Carlo estimator (DLMC), the Monte Carlo estimator using the Laplace approximation for the posterior distribution (MCLA) and the double-loop Monte Carlo estimator with Laplace-based importance sampling (DLMCIS). Using stochastic gradient methods and Laplace-based estimators together allows us to use expensive and complex models, such as those that require solving partial differential equations (PDEs). From a theoretical viewpoint, we derive an explicit formula to compute the gradient estimator of the Monte Carlo methods, including MCLA and DLMCIS. From a computational standpoint, we study four examples: three based on analytical functions and one using the finite element method. The last example is an electrical impedance tomography experiment based on the complete electrode model. In these examples, the accelerated stochastic gradient descent method using MCLA converges to local maxima with up to five orders of magnitude fewer model evaluations than gradient descent with DLMC.


title: Simplified Gentlest Ascent Dynamics for Saddle Points in Non-gradient Systems

abstract: The gentlest ascent dynamics (GAD) (Nonlinearity, vol. 24, no. 6, p1831, 2011) is a continuous time dynamics coupling both the position and the direction variables to efficiently locate the saddle point with a given index. These saddle points play important roles in the activated process of the randomly perturbed dynamical systems. For index-1 saddle points in non-gradient systems, the GAD requires two direction variables to approximate the eigenvectors of the Jacobian matrix and its transpose, respectively, while in the gradient systems, these two directions collapse to be the single min mode of the Hessian matrix. In this note, we present a simplified GAD which only needs one direction variable even for non-gradient systems. This new method not only reduces computational cost for directions by half, but also can avoid inconvenient operations on the transpose of Jacobian matrix. We prove the same convergence property for the simplified GAD as for the original GAD. The motivation of our simplified GAD is its formal analogy to the Hamiltonian dynamics governing the exit dynamics when the system is perturbed by small noise. Several non-gradient examples are presented to demonstrate our method, including the two dimensional models and the Allen-Cahn equation in the presence of shear flow.


title: On the Tradeoff Between Accuracy and Complexity in Blind Detection of Polar Codes

abstract: Polar codes are a recent family of error-correcting codes with a number of desirable characteristics. Their disruptive nature is illustrated by their rapid adoption in the $5^{th}$-generation mobile-communication standard, where they are used to protect control messages. In this work, we describe a two-stage system tasked with identifying the location of control messages that consists of a detection and selection stage followed by a decoding one. The first stage spurs the need for polar-code detection algorithms with variable effort to balance complexity between the two stages. We illustrate this idea of variable effort for multiple detection algorithms aimed at the first stage. We propose three novel blind detection methods based on belief-propagation decoding inspired by early-stopping criteria. Then we show how their reliability improves with the number of decoding iterations to highlight the possible tradeoffs between accuracy and complexity. Additionally, we show similar tradeoffs for a detection method from previous work. In a setup where only one block encoded with the polar code of interest is present among many other blocks, our results notably show that, depending on the complexity budget, a variable number of undesirable blocks can be dismissed while achieving a missed-detection rate in line with the block-error rate of a complex decoding algorithm.


title: Perturbation expansions at large order: Results for scalar field theories revisited

abstract: The question of the asymptotic form of the perturbation expansion in scalar field theories is reconsidered. Renewed interest in the computation of terms in the epsilon-expansion, used to calculate critical exponents, has been frustrated by the differing and incompatible results for the high-order behaviour of the perturbation expansion reported in the literature. We identify the sources of the errors made in earlier papers, correct them, and obtain a consistent set of results. We focus on phi^4 theory, since this has been the most studied and is the most widely used, but we also briefly discuss analogous results for phi^N theory, with N>4. This reexamination of the structure of perturbation expansions raises issues concerning the renormalisation of non-perturbative effects and the nature of the Feynman diagrams at large order, which we discuss.


title: The GJ 504 system revisited. Combining interferometric, radial velocity, and high contrast imaging data

abstract: The G-type star GJ504A is known to host a 3 to 35 MJup companion whose temperature, mass, and projected separation all contribute to make it a test case for the planet formation theories and for atmospheric models of giant planets and light brown dwarfs. We collected data from the CHARA interferometer, SOPHIE spectrograph, and VLT/SPHERE high contrast imager to revisit the properties of the system. We measure a radius of 1.35+/- 0.04Rsun for GJ504A which yields isochronal ages of 21+/-2Myr or 4.0+/-1.8Gyr for the system and line-of-sight stellar rotation axis inclination of $162.4_{-4.3}^{+3.8}$ degrees or $18.6_{-3.8}^{+4.3}$ degrees. We re-detect the companion in the Y2, Y3, J3, H2, and K1 dual band SPHERE images. The complete 1-4 $\mu$m SED shape of GJ504b is best reproduced by T8-T9.5 objects with intermediate ages ($\leq1.5$Gyr), and/or unusual dusty atmospheres and/or super-solar metallicities. All six atmospheric models used yield $\mathrm{T_{eff}=550 \pm 50}$K for GJ504b and point toward a low surface gravity (3.5-4.0 dex). The accuracy on the metallicity value is limited by model-to-model systematics. It is not degenerate with the C/O ratio. We derive $\mathrm{log\:L/L_{\odot}=-6.15\pm0.15}$ dex for the companion compatible with masses of $\mathrm{M=1.3^{+0.6}_{-0.3}M_{Jup}}$ and $\mathrm{M=23^{+10}_{-9} M_{Jup}}$ for the young and old age ranges, respectively. The semi-major axis (sma) is above 27.8 au and the eccentricity lower than 0.55. The posterior on GJ~504b's orbital inclination suggests a misalignment with GJ~504A rotation axis. We combine the radial velocity and multi-epoch imaging data to exclude additional objects (90\% prob.) more massive than 2.5 and 30 $\mathrm{M_{Jup}}$ with sma in the range 0.01-80 au for the young and old system ages, respectively. The companion is in the envelope of the population of planets synthetized with our core-accretion model.


title: Finite big Ramsey degrees in universal structures

abstract: Big Ramsey degrees of finite structures are usually considered with respect to a Fra\"{i} ss\'e limit. Building mainly on the work of Devlin, Sauer, Laflamme and Van Th\'e, in this paper we consider structures which are not Fra\"{i} ss\'e limits, and still have the property that their finite substructures have finite big Ramsey degrees in them. For example, the class of all finite acyclic oriented graphs is not a Fra\"{i} ss\'e class, and yet we show that there is a countably infinite acyclic oriented graph in which every finite acyclic oriented graph has finite big Ramsey degree. Our main tools come from category theory as it has recently become evident that the Ramsey property is not only a deep combinatorial property, but also a genuine categorical property.


title: Creating mid-infrared single photons

abstract: Single-photon creation through parametric downconversion underpins quantum technology for quantum sensing and imaging. Here we numerically study the creation of single photons in the near- and mid-infrared regime from 1.5 - 12 um in a range of novel nonlinear semiconductor and chalcopyrite materials. We identify phase-matching conditions and single out regimes in which group-velocity matching can be achieved with commercially available pump lasers. Finally, we discuss how mid-infrared single photons can be detected. Using our numerical results, we identify materials and pump lasers for up-conversion detection in conventional wavelength bands. Our study provides a complete recipe for mid-IR single-photon generation and detection, opening up quantum enhancements for mid-IR applications such as bio-medical imaging, communication, and remote sensing.


title: Higher Deformations of Lie Algebra Representations I

abstract: In the late 1980s, Friedlander and Parshall studied the representations of a family of algebras which were obtained as deformations of the distribution algebra of the first Frobenius kernel of an algebraic group. The representation theory of these algebras tells us much about the representation theory of Lie algebras in positive characteristic. We develop an analogue of this family of algebras for the distribution algebras of the higher Frobenius kernels, answering a 30 year old question posed by Friedlander and Parshall. We also examine their representation theory in the case of the special linear group.


title: Transient Typechecks are (Almost) Free

abstract: Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in programs' performance. This performance impact discourages the use of type annotations because adding types to a program makes the program slower. A virtual machine can employ standard just-in-time optimizations to reduce the overhead of transient checks to near zero. These optimizations can give gradually-typed languages performance comparable to state-of-the-art dynamic languages, so programmers can add types to their code without affecting their programs' performance.


title: On a functional equation related to two-variable Cauchy means

abstract: In this paper, we are dealing with the solution of the functional equation $$ \varphi\Big(\frac{x+y}2\Big)(f(x)-f(y))=F(x)-F(y), $$ concerning the unknown functions $\varphi,f$ and $F$ defined on a same open subinterval of the reals. Improving the previous results related to this topic, we describe the solution triplets $(\varphi,f,F)$ assuming only the continuity of $\varphi$. As an application, under natural conditions, we also solve the equality problem of two-variable Cauchy means and two-variable quasi-arithmetic means.


title: New tools for state complexity

abstract: A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions allowing one to transform a set of automata into one automaton. We revisit some language transformation algorithms in terms of modifier and monster. These new theoretical concepts allow one to find easily some state complexities. We illustrate this by retrieving the state complexity of the Star of Intersection and the one of the Square root operation.


title: Learning to Personalize in Appearance-Based Gaze Tracking

abstract: Personal variations severely limit the performance of appearance-based gaze tracking. Adapting to these variations using standard neural network model adaptation methods is difficult. The problems range from overfitting, due to small amounts of training data, to underfitting, due to restrictive model architectures. We tackle these problems by introducing the SPatial Adaptive GaZe Estimator (SPAZE). By modeling personal variations as a low-dimensional latent parameter space, SPAZE provides just enough adaptability to capture the range of personal variations without being prone to overfitting. Calibrating SPAZE for a new person reduces to solving a small optimization problem. SPAZE achieves an error of 2.70 degrees with 9 calibration samples on MPIIGaze, improving on the state-of-the-art by 14 %. We contribute to gaze tracking research by empirically showing that personal variations are well-modeled as a 3-dimensional latent parameter space for each eye. We show that this low-dimensionality is expected by examining model-based approaches to gaze tracking. We also show that accurate head pose-free gaze tracking is possible.


title: Search of the neutrino-less double beta decay of $^{82}$Se into the excited states of $^{82}$Kr with CUPID-0

abstract: The CUPID0 experiment searches for double beta decay using cryogenic calorimeters with double (heat and light) read-out. The detector, consisting of 24 ZnSe crystals 95$\%$ enriched in $^{82}$Se and 2 natural ZnSe crystals, started data-taking in 2017 at Laboratori Nazionali del Gran Sasso. We present the search for the neutrino-less double beta decay of $^{82}$Se into the 0$_1^+$, 2$_1^+$ and 2$_2^+$ excited states of $^{82}$Kr with an exposure of 5.74 kg$\cdot$yr (2.24$\times$10$^{25}$ emitters$\cdot$yr). We found no evidence of the decays and set the most stringent limits on the widths of these processes: $\Gamma$($^{82}$Se $\rightarrow ^{82}$Kr$_{0_1^+}$)$<$8.55$\times$10$^{-24}$ yr$^{-1}$, $\Gamma$($^{82}$Se $\rightarrow ^{82}$Kr$_{2_1^+}$)$<6.25 \times10^{-24}$ yr$^{-1}$, $\Gamma$($^{82}$Se $\rightarrow ^{82}$Kr$_{2_2^+}$)$<$8.25$\times$10$^{-24}$ yr$^{-1}$ (90$\%$ credible interval


title: Analysis of $R^p$ inflationary model as $p\geqslant 2$

abstract: We study the $R^p$ inflationary model of [Muller:1989rp] for $p>2$ using the result of Ref. [Motohashi:2014tra]. After reproducing the observable quantities: the power spectral index $n_s$, its corresponding running $\alpha=\frac{dn_s}{d\ln(k)}$ and the tensor to scalar ration $r$ in terms of e-folding number $N$ and $p$, we show that $R^p$ inflation model is still alive as $p$ is from $2$ to $2.02$. In this range, our calculation confirms that $n_s$ and $r$ agree with observations and $\alpha$ is of order $10^{-4}$ which needs more precise observational constraints. We find that, as the value of $p$ increases, all $n_s$, $r$ and $|\alpha|$ decrease. However, the precise interdependence between these observables is such that this class of models can in principle be tested by the next generation of dedicated satellite CMB probes.


title: Travelling waves and light-front approach in relativistic electrodynamics

abstract: We briefly report on a recent proposal (Fiore in J Phys A Math Theor 51:085203, 2018) for simplifying the equations of motion of charged particles in an electromagnetic (EM) field $F^{\mu\nu}$ that is the sum of a plane travelling wave $F_t^{\mu\nu}(ct\!-\!z)$ and a static part $F_s^{\mu\nu}(x,y,z)$; it adopts the light-like coordinate $\xi=ct\!-\!z$ instead of time $t$ as an independent variable. We illustrate it in a few cases of extreme acceleration, first of an isolated particle, then of electrons in a plasma in plane hydrodynamic conditions: the Lorentz-Maxwell \& continuity PDEs can be simplified or sometimes even completely reduced to a family of decoupled systems of ordinary ones; this occurs e.g. with the impact of the travelling wave on a vacuum-plasma interface (what may produce plasma waves or the slingshot effect).


title: Using routinely collected patient data to support clinical trials research in accountable care organizations

abstract: Background: More than half (57%) of pharma clinical research spend is in support of clinical trials. One reason is that Electronic Health Record (EHR) systems and HIPAA privacy rules often limit how broadly patient information can be shared, resulting in laborious human efforts to manually collect, de-identify, and summarize patient information for use in clinical studies. Purpose: Conduct feasibility study for a Rheumatoid Arthritis (RA) clinical trial in an Accountable Care Organization. Measure prevalence of RA and related conditions matching study criteria. Evaluate automation of patient de-identification and summarization to support patient cohort development for clinical studies. Methods: Collect original clinical documentation directly from the provider EHR system and extract clinical concepts necessary for matching study criteria. Automatically de-identify Protected Health Information (PHI) protect patient privacy and promote sharing. Leverage existing physician expert knowledge sources to enable analysis of patient populations. Results: Prevalence of RA was four percent (4%) in the study population (mean age 53 years, 52% female, 48% male). Clinical documentation for 3500 patient were extracted from three (3) EHR systems. Grouped diagnosis codes revealed high prevalence of diabetes and diseases of the circulatory system, as expected. De-identification accurately removed 99% of PHI identifiers with 99% sensitivity and 99% specificity. Conclusions: Results suggest the approach can improve automation and accelerate planning and construction of new clinical studies in the ACO setting. De-identification accuracy was better than previously approved requirements defined by four (4) hospital Institutional Review Boards.


title: Verifying Security Protocols using Dynamic Strategies

abstract: Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to their large or infinite state spaces. In this paper, we propose a novel framework that can automatically verifying security protocols without any human intervention. Experimental results show that SmartVerif automatically verifies security protocols that cannot be automatically verified by existing approaches. The case study also validates the effectiveness of our dynamic strategy.


title: A generalization of some random variables involving in certain compressive sensing problems

abstract: In this paper we give a generalization of the discrete complex-valued random variable defined and investigated in \cite{ssa} and \cite{m8}. We prove the statements concerning the expressions for the excepted value and the variance of this random variable. In partucular, such a random variable here is defined for each of $m$ rows of any $m\times N$ complex or real matrix ${\rm{\bf A}}$ with $1\le m\le N$. We consider the arithmetic mean $\bar{X}(m)$ of these $m$ random variables and we deduce the expressions for the expected value $\Bbb E[\bar{X}(m)]$ and the variance ${\rm{ Var}}[\bar{X}(m)]$ of $\bar{X}(m)$. Using the expression for ${\rm{ Var}}[\bar{X}(m)]$, we establish some equalities and inequalities involving ${\rm{Var}}[\bar{X}(m)]$, the Frobenius norm, the largest eigenvalue, the largest singular value and the coherence of a matrix ${\rm{\bf A}}$. It is showed that some of these estimates are closely related to the Welch bound of the coherence of a $m\times N$ complex or real matrix ${\rm{\bf A}}$ with $1\le m\le N$. Taking into account that the value of coherence of the measurement matrix in the theory of compressive sensing has a significant role, we believe that our results should be useful for some topics of this theory.


title: Introducing non-local correlations into speckles

abstract: Laser speckles have become a fundamental component of the modern optics-research toolbox. Not only are speckle patterns the basis of numerous imaging techniques, but also, they are employed to generate optical potentials for cold atoms and colloidal particles. The ability to manipulate a speckle pattern's spatial intensity correlations, particularly long-range (non-local) ones, is essential in numerous applications. A typical fully-developed speckle pattern, however, only possesses short-ranged (local) intensity correlations which are determined by the spatial field correlations. Here we experimentally demonstrate and theoretically develop a general method for creating fully-developed speckles with strong non-local intensity correlations. The functional form of the spatial intensity correlations can be arbitrarily tailored without altering the field correlations. Our approach provides a versatile and utilitarian framework for enhancing and controlling non-local correlations in speckle patterns.


title: A GPU-enabled finite volume solver for large shallow water simulations

abstract: This paper presents the implementation of a HLLC finite volume solver using GPU technology for the solution of shallow water problems in two dimensions. It compares both CPU and GPU approaches for implementing all the solver's steps. The technology of graphics and central processors is highlighted with a particular emphasis on the CUDA architecture of NVIDIA. The simple and well-documented Application Programming Interface (CUDA API) facilitates the use of the display card workstation as an additional computer unit to the central processor. Four professional solutions of the NVIDIA Quadro line are tested. Comparison tests between CPU and GPU are carried out on unstructured grids of small sizes (up to 10,000 elements), medium and large sizes (up to 10,000,000 elements). For all test cases, the accuracy of results is of the same order of magnitude for both approaches. Furthermore, the obtained speed gains with the GPU strongly depend on the model of the graphics card, the size of the problem and the simulation time.

categories: cs.CE cs.MS physics.comp-ph physics.med-ph


title: Flexibility potentials of a combined use of heat storages and batteries in PV-CHP hybrid systems

abstract: Due to the 2012 change in the renewable energy act the feed-in tariffs and as result the number of newly installed photovoltaic systems decreased dramatically in Germany. Therefore, there was the need, particularly, in the residential sector to develop new business ideas for photovoltaic systems. In context of this development, combined photovoltaic and heat-power systems were analyzed, which provide not only electricity but also heat throughout one entire year. Flexibilities are provided in form of thermal and electrical storage systems leading to many possible setting options requiring an elaborated control management. In this paper, a new optimized control algorithm is proposed that in contrast to standard strategies can operate optimal even under incorrect weather and load forecasts. A predictive controller based on a mixed integer optimization problem and an additional so called secondary, rule-based controller is combined. The controller is based on several input data. Depending on the choice of these data the PV-CHP hybrid system can be used for different control strategies, like maximum self-consumption, minimum CO2 emission or minimum operational costs. The main focus in this paper is to study if the flexibility potentials of the combined thermal and electrical storage systems can ensure a market oriented or a grid-friendly behavior. This is studied in five control options. As a result we found that the control algorithm is stable and able to adapt to the different conditions. In conclusion, it was discovered that the storage systems play a crucial role in terms of forecast differences and parameter changes. Storage systems are as expected the key-element for the flexibility of PV-CHP hybrid systems.


title: Tidally induced bars in gas-rich dwarf galaxies orbiting the Milky Way

abstract: Bars in galaxies may form not only through instability, but also as a result of an interaction with another galaxy. In particular, they may appear in disky dwarf galaxies interacting with Milky Way-like galaxies. Here we report the results of N-body/SPH simulations of such dwarfs orbiting in the static potential of a larger galaxy. We used several models of the dwarf galaxy, all of the same mass, but covering a large range of gas fractions: 0, 30 and 70%. We also tested the impact of subgrid star formation processes. In all cases bars of similar length formed in the stellar disk of the dwarfs at the first pericenter passage. However, unexpectedly, the gaseous component remained approximately axisymmetric and unaffected by the bar potential. The bar properties did not change significantly between two consecutive pericenters. The impact of the later encounters with the host depends strongly on the exact orientation of the bar at the pericenter. When the bar is spun up by the tidal force torque, it is also shortened. Conversely, if it is slowed down, it gets longer. In the models with a low gas fraction the bars were more pronounced and survived until the end of the simulations, while in the dwarfs with a high gas fraction the bars were destroyed after the second or third pericenter passage. In terms of the ratio of the corotation radius to the bar length, the bars are slow, and remain so independently of the encounters with the host.


title: Exploring the Quark-Gluon Vertex with Slavnov-Taylor Identities and Lattice Simulations

abstract: The soft gluon limit of the longitudinal part of the quark-gluon vertex is studied by resorting to non-perturbative approaches to Quantum Chromodynamics (QCD). Based on a Slavnov-Taylor identity (STI), the longitudinal form factors is expressed in terms of the quark-ghost kernel, the quark self energy and the quark wave function. An exact relation between the non-vanishing longitudinal form factors is derived for the soft gluon limit and explored to understand the behaviour of the vertex. Within a Ball-Chiu vertex, the form factor $\lambda_1$ was analysed using recent lattice simulations for full QCD for the soft gluon limit. The lattice data shows that the gluon propagator resumes the momentum dependence of such component of the vertex. This connection is understood via a fully dressed one-loop Bethe-Salpeter equation. The behaviour of the remaining longitudinal form factors $\lambda_2(p^2)$ and $\lambda_3(p^2)$ is investigated combining both the information of lattice simulations and the derived relations based on the STI.


title: A Novel Geometric Framework on Gram Matrix Trajectories for Human Behavior Understanding

abstract: In this paper, we propose a novel space-time geometric representation of human landmark configurations and derive tools for comparison and classification. We model the temporal evolution of landmarks as parametrized trajectories on the Riemannian manifold of positive semidefinite matrices of fixed-rank. Our representation has the benefit to bring naturally a second desirable quantity when comparing shapes, the spatial covariance, in addition to the conventional affine-shape representation. We derived then geometric and computational tools for rate-invariant analysis and adaptive re-sampling of trajectories, grounding on the Riemannian geometry of the underlying manifold. Specifically, our approach involves three steps: (1) landmarks are first mapped into the Riemannian manifold of positive semidefinite matrices of fixed-rank to build time-parameterized trajectories; (2) a temporal warping is performed on the trajectories, providing a geometry-aware (dis-)similarity measure between them; (3) finally, a pairwise proximity function SVM is used to classify them, incorporating the (dis-)similarity measure into the kernel function. We show that such representation and metric achieve competitive results in applications as action recognition and emotion recognition from 3D skeletal data, and facial expression recognition from videos. Experiments have been conducted on several publicly available up-to-date benchmarks.


title: Revealing the 3D Structure of Graphene Defects

abstract: We demonstrate insights into the three-dimensional structure of defects in graphene, in particular grain boundaries, obtained via a new approach from two transmission electron microscopy images recorded at different angles. The structure is obtained through an optimization process where both the atomic positions as well as the simulated imaging parameters are iteratively changed until the best possible match to the experimental images is found. We first demonstrate that this method works using an embedded defect in graphene that allows direct comparison to the computationally predicted three-dimensional shape. We then applied the method to a set of grain boundary structures with misorientation angles nearly spanning the whole available range (2.6-29.8{\deg}). The measured height variations at the boundaries reveal a strong correlation with the misorientation angle with lower angles resulting in stronger corrugation and larger kink angles. Our results allow for the first time a direct comparison with theoretical predictions for the corrugation at grain boundaries and we show that the measured kink angles are significantly smaller than the largest predicted ones.


title: 43 W, 1.55 {\mu}m and 12.5 W, 3.1 {\mu}m dual-beam, sub-10 cycle, 100 kHz optical parametric chirped pulse amplifier

abstract: We present a 100 kHz optical parametric chirped pulse amplifier (OPCPA) developed for strong-field attosecond physics and soft-X-ray transient absorption experiments. The system relies on noncollinear potassium titanyl arsenate (KTA) booster OPCPAs and is pumped by a 240 W, 1.1 ps Yb:YAG Innoslab chirped pulse laser amplifier. Two optically synchronized infrared output beams are simultaneously available: a 430 {\mu}J, 51 fs, carrier-envelope phase (CEP) stable beam at 1.55 {\mu}m and an angular-dispersion-compensated, 125 {\mu}J, 73 fs beam at 3.1 {\mu}m.


title: Nonlinear dynamics of non-neutral Maxwellian plasma in external trapping field

abstract: Nonlinear dynamics of collisionless non-neutral plasma in an external electrical trapping field is considered. Time-dependent solution of the nonlinear Vlasov-Poisson equations are obtained. The influence of initial conditions on the dynamics of charged layer is discussed.


title: A systematic study of alpha and cluster decay in Platinum isotopes

abstract: The feasibility of alpha and cluster decay from Pt isotopes has been investigated within the framework of Skyrme Hartree-Fock-Bogoliubov theory. Calculation has been carried out for various Skyrme forces. Harmonic oscillator and transformed harmonic oscillator basis are used to solve HFB equations. The role played by shell closure is withal analysed. Half-lives are estimated with the help of Universal Decay Law (UDL). Geiger-Nuttel plots are also plotted and successfully preserves its linear nature.


title: Analysis and prediction of JND-based video quality model

abstract: The just-noticeable-difference (JND) visual perception property has received much attention in characterizing human subjective viewing experience of compressed video. In this work, we quantify the JND-based video quality assessment model using the satisfied user ratio (SUR) curve, and show that the SUR model can be greatly simplified since the JND points of multiple subjects for the same content in the VideoSet can be well modeled by the normal distribution. Then, we design an SUR prediction method with video quality degradation features and masking features and use them to predict the first, second and the third JND points and their corresponding SUR curves. Finally, we verify the performance of the proposed SUR prediction method with different configurations on the VideoSet. The experimental results demonstrate that the proposed SUR prediction method achieves good performance in various resolutions with the mean absolute error (MAE) of the SUR smaller than 0.05 on average.


title: Dynamic Power Allocation and User Scheduling for Power-Efficient and Low-Latency Communications

abstract: In this paper, we propose a joint dynamic power control and user pairing algorithm for power-efficient and low-latency hybrid multiple access systems. In a hybrid multiple access system, user pairing determines whether the transmitter should serve a certain user by orthogonal multiple access (OMA) or non-orthogonal multiple access (NOMA). The proposed optimization framework minimizes the long-term time-average transmit power expenditure while reducing the queueing delay and satisfying time-average data rate requirements. The proposed technique observes channel and queue state information and adjusts queue backlogs to avoid an excessive queueing delay by appropriate user pairing and power allocation. Further, user scheduling for determining the activation of a given user link as well as flexible use of resources are captured in the proposed algorithm. Data-intensive simulation results show that the proposed scheme guarantees an end-to-end delay smaller than 1 ms with high power-efficiency and high reliability, based on the short frame structure designed for ultra-reliable low-latency communications (URLLC).


title: Multipole analysis for linearized $f(R,\mathcal{G})$ gravity with irreducible Cartesian tensors

abstract: The field equations of $f(R,\mathcal{G})$ gravity are rewritten in the form of obvious wave equations with the stress-energy pseudotensor of the matter fields and the gravitational field, as their sources, under the de Donder condition. The linearized field equations of $f(R,\mathcal{G})$ gravity are the same as those of linearized $f(R)$ gravity, and thus, their multipole expansions under the de Donder condition are also the same. It is also shown that the Gauss-Bonnet curvature scalar $\mathcal{G}$ does not contribute to the effective stress-energy tensor of gravitational waves in linearized $f(R,\mathcal{G})$ gravity, though $\mathcal{G}$ plays an important role in the nonlinear effects in general. Further, by applying the $1/r$ expansion in the distance to the source to the linearized $f(R,\mathcal{G})$ gravity, the energy, momentum, and angular momentum carried by gravitational waves in linearized $f(R,\mathcal{G})$ gravity are provided, which shows that $\mathcal{G}$, unlike the nonlinear term $R^2$ in the gravitational Lagrangian, does not contribute to them either.


title: Emulating $\Lambda$CDM-like expansion on the Phantom brane

abstract: In [Schmidt PRD 80 123003 (2009)], the author suggested that dynamical dark energy (DDE) propagating on the phantom brane could mimick $\Lambda$CDM. Schmidt went on to derive a phenomenological expression for $\rho_{\rm DE}$ which could achieve this. We demonstrate that while Schmidt's central premise is correct, the expression for $\rho_{\rm DE}$ derived in Schmidt (2009) is flawed. We derive the correct expression for $\rho_{\rm DE}$ which leads to $\Lambda$CDM-like expansion on the phantom brane. We also show that DDE on the brane can be associated with a Quintessence field and derive a closed form expression for its potential $V(\phi)$. Interestingly the $\alpha$-attractor based potential $V(\phi) \propto \coth^2{\lambda\phi}$ makes braneworld expansion resemble $\Lambda$CDM. However the two models can easily be distinguished on the basis of density perturbations which grow at different rates on the braneworld and in $\Lambda$CDM.


title: High-resolution single-shot ultrafast imaging at ten trillion frames per second

abstract: Ultrafast imaging is a powerful tool for studying space-time dynamics in photonic material, plasma physics, living cells, and neural activity. Pushing the imaging speed to the quantum limit could reveal extraordinary scenes about the questionable quantization of life and intelligence, or the wave-particle duality of light. However, previous designs of ultrafast photography are intrinsically limited by framing speed. Here, we introduce a new technique based on a multiple non-collinear optical parametric amplifier principle (MOPA), which readily push the frame rate into the area of ten trillion frames per second with higher spatial resolution than 30 line pairs per millimeter. The MOPA imaging is applied to record the femtosecond early evolution of laser-induced plasma grating in air for the first time. Our approach avoids the intrinsic limitations of previous methods, thus can be potentially optimized for higher speed and resolution, opening the way of approaching quantum limits to test the fundamentals.


title: YH Technologies at ActivityNet Challenge 2018

abstract: This notebook paper presents an overview and comparative analysis of our systems designed for the following five tasks in ActivityNet Challenge 2018: temporal action proposals, temporal action localization, dense-captioning events in videos, trimmed action recognition, and spatio-temporal action localization.


title: Simplifying Urban Data Fusion with BigSUR

abstract: Our ability to understand data has always lagged behind our ability to collect it. This is particularly true in urban environments, where mass data capture is particularly valuable, but the objects captured are more varied, denser, and complex. To understand the structure and content of the environment, we must process the unstructured data to a structured form. BigSUR is an urban reconstruction algorithm which fuses GIS data, photogrammetric meshes, and street level photography, to create clean representative, semantically labelled, geometry. However, we have identified three problems with the system i) the street level photography is often difficult to acquire; ii) novel fa\c{c}ade styles often frustrate the detection of windows and doors; iii) the computational requirements of the system are large, processing a large city block can take up to 15 hours. In this paper we describe the process of simplifying and validating the BigSUR semantic reconstruction system. In particular, the requirement for street level images is removed, and greedy post-process profile assignment is introduced to accelerate the system. We accomplish this by modifying the binary integer programming (BIP) optimization, and re-evaluating the effects of various parameters. The new variant of the system is evaluated over a variety of urban areas. We objectively measure mean squared error (MSE) terms over the unstructured geometry, showing that BigSUR is able to accurately recover omissions from the input meshes. Further, we evaluate the ability of the system to label the walls and roofs of input meshes, concluding that our new BigSUR variant achieves highly accurate semantic labelling with shorter computational time and less input data.


title: Numerical simulation of transport in porous media: some problems from micro to macro scale

abstract: This paper deals with simulation of flow and transport in porous media such as transport of groundwater contaminants. We first discuss how macro scale equations are derived and which terms have to be closed by models. The transport of tracers is strongly influenced by pore scale velocity structure and large scale inhomogeneities in the permeability field. The velocity structure on the pore scale is investigated by direct numerical simulations of the 3D velocity field in a random sphere pack. The velocity probability density functions are strongly skewed, including some negative velocities. The large probability for very small velocities might be the reason for non-Fickian dispersion in the initial phase of contaminant transport. We present a method to determine large scale distributions of the permeability field from point-wise velocity measurements. The adjoint-based optimisation algorithm delivers fully satisfying agreement between input and estimated permeability fields. Finally numerical methods for convection dominated tracer transports are investigated from a theoretical point of view. It is shown that high order Finite Element Methods can reduce or even eliminate non-physical oscillations in the solution without introducing additional numerical diffusivity.


title: Attractive Bose-Einstein condensates in anharmonic traps: Accurate numerical treatment and the intriguing physics of the variance

abstract: The dynamics of attractive bosons trapped in one dimensional anharmonic potentials is investigated. Particular emphasis is put on the variance of the position and momentum many-particle operators. Coupling of the center-of-mass and relative-motion degrees-of-freedom necessitates an accurate numerical treatment. The multiconfigurational time-dependent Hartree for bosons (MCTDHB) method is used, and high convergence of the energy, depletion and occupation numbers, and position and momentum variances is proven numerically. We demonstrate for the ground state and out-of-equilibrium dynamics, for condensed and fragmented condensates, for small systems and {\it en route} to the infinite-particle limit, that intriguing differences between the density and variance of an attractive Bose-Einstein condensate emerge. Implications are briefly discussed.


title: First order logic without equality on relativized semantics

abstract: Let $\alpha\geq 2$ be any ordinal. We consider the class $\mathsf{Drs}_{\alpha}$ of relativized diagonal free set algebras of dimension $\alpha$. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of $\mathsf{Drs}_{\alpha}$ are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element. The class $\mathsf{Drs}_{\alpha}$ corresponds to first order logic, without equality symbol, with $\alpha$-many variables and on relativized semantics. Hence, in this variation of first order logic, there is no finitely axiomatizable, complete and consistent theory.


title: Folded ribbon knots in the plane

abstract: This survey reviews Kauffman's model of folded ribbon knots: knots made of a thin strip of paper folded flat in the plane. The ribbonlength is the length to width ratio of such a ribbon, and the ribbonlength problem asks to minimize the ribbonlength for a given knot type. We give a summary of known results. For the most part, these are upper bounds of ribbonlength of twist knots and certain families of torus knots. We discuss result of G. Tian, which give upper bounds of ribbonlength in terms of crossing number. In addition, it turns out the choice of fold affects the ribbonlength. We end with a discussion of three different types of folded ribbon equivalence and give examples illustrating their relationship to ribbonlength.


title: Grapevine: A Wine Prediction Algorithm Using Multi-dimensional Clustering Methods

abstract: We present a method for a wine recommendation system that employs multidimensional clustering and unsupervised learning methods. Our algorithm first performs clustering on a large corpus of wine reviews. It then uses the resulting wine clusters as an approximation of the most common flavor palates, recommending a user a wine by optimizing over a price-quality ratio within clusters that they demonstrated a preference for.


title: Investigating the basins of convergence in the circular Sitnikov three-body problem with non-spherical primaries

abstract: In this work we numerically explore the Newton-Raphson basins of convergence, related to the equilibrium points, in the Sitnikov three-body problem with non-spherical primaries. The evolution of the position of the roots is determined, as a function of the value of the oblateness coefficient. The attracting regions, on several types of two dimensional planes, are revealed by using the classical Newton-Raphson iterative method. We perform a systematic and thorough investigation in an attempt to understand how the oblateness coefficient affects the geometry as well as the overall properties of the convergence regions. The basins of convergence are also related with the required number of iterations and also with the corresponding probability distributions.


title: Characterising the nonequilibrium stationary states of Ornstein-Uhlenbeck processes

abstract: We characterise the nonequilibrium stationary state of a generic multivariate Ornstein-Uhlenbeck process involving $N$ degrees of freedom. The irreversibility of the process is encoded in the antisymmetric part of the Onsager matrix. The linearity of the Langevin equations allows us to derive closed-form expressions in terms of the latter matrix for many quantities of interest, including the entropy production rate and the fluctuation-dissipation ratio matrix. This general setting is then illustrated by two classes of systems. First, we consider the one-dimensional ferromagnetic Gaussian spin model endowed with a stochastic dynamics where spatial asymmetry results in irreversibility. The stationary state on a ring is independent of the asymmetry parameter, whereas it depends continuously on the latter on an open chain. Much attention is also paid to finite-size effects, especially near the critical point. Second, we consider arrays of resistively coupled electrical circuits. The entropy production rate is evaluated in the regime where the local temperatures of the resistors have small fluctuations. For $RL$ networks the entropy production rate grows linearly with the size of the array. For $RC$ networks a quadratic growth law violating extensivity is predicted.


title: An affirmative answer to Yamada's Conjecture

abstract: In this paper, we give an affirmative answer to Yamada's Conjecture on free topological groups, which was posed in [K. Yamada, {\it Fr\'echet-Urysohn spaces in free topological groups}, Proc. Amer. Math. Soc., {\bf 130}(2002), 2461--2469.].


title: Impact of UAV Antenna Configuration on Wireless Connectivity in Urban Environments

abstract: The growing presence of UAVs has led operators to explore the issue of how to provide wireless service to UAVs. The achieveable service quality will be affected by a number of factors, including the type of antenna that the UAVs are equipped with and whether to use existing cellular infrastructure or deploy dedicated ground stations to service these new user devices. In this paper we employ stochastic geometry to carry out an analysis of the UAV coverage probability that can be achieved with a network of dedicated ground stations using a sub-6GHz technology such as LTE under different deployment conditions, given different types of UAV antennas. We provide analytical expressions for the coverage probability; we also evaluate the performance of the GS network against the case where the UAVs are served by a typical terrestrial BS network.


title: Nonlinear light absorption in colloidal CdSe/CdS nanoplatelets

abstract: We investigated the nonlinear optical properties of CdSe/CdS nanoplatelets in the vicinity of heavy hole and light hole exciton resonances. The two color pump-probe technique was applied. The first intense pulse created non-equilibrium exciton population, which was detected as a decrease of probe light absorption. We observed intense scattering of excitons between heavy- and light-hole excitonic states. We also studied experimentally saturation of absorption in nanoplatelets. Theoretical description of these phenomena allowed us to determine parameters of exciton dynamics in nanoplatelets.


title: A simple proof of the discrete time geometric Pontryagin maximum principle on smooth manifolds

abstract: We establish a geometric Pontryagin maximum principle for discrete time optimal control problems on finite dimensional smooth manifolds under the following three types of constraints: a) constraints on the states pointwise in time, b) constraints on the control actions pointwise in time, c) constraints on the frequency spectrum of the optimal control trajectories. Our proof follows, in spirit, the path to establish geometric versions of the Pontryagin maximum principle on smooth manifolds indicated in [Cha11] in the context of continuous-time optimal control.


title: Global optimization of spin Hamiltonians with gain-dissipative systems

abstract: Recently, several platforms were proposed and demonstrated a proof-of-principle for finding the global minimum of the spin Hamiltonians such as the Ising and XY models using gain-dissipative quantum and classical systems. The implementation of dynamical adjustment of the gain and coupling strengths has been established as a vital feedback mechanism for analog Hamiltonian physical systems that aim to simulate spin Hamiltonians. Based on the principle of operation of such simulators we develop a novel class of gain-dissipative algorithms for global optimisation of NP-hard problems and show its performance in comparison with the classical global optimisation algorithms. These systems can be used to study the ground state and statistical properties of spin systems and as a direct benchmark for the performance testing of the gain-dissipative physical simulators. The estimates of the time operation of the physical implementation of the gain-dissipative simulators for large matrices show a possible speed-up of the several orders of magnitude in comparison with classical computations.


title: Cosmology of the interacting Cubic Galileon

abstract: We consider the cosmological dynamics of the cubic Galileon field model interacting with dark matter, where the interaction between the cosmic dark sectors is proportional to Hubble parameter and dark energy density. The background field equations are converted into an autonomous dynamical system of first order equations using suitable dimensionless variables. The fixed points are determined and their stability analyzed by means of the eigenvalue method. The analysis of the stability of the fixed points along that of the avoidance of ghosts and Laplacian instabilities implies negative coupling parameter. We find an attractor fixed point in the de Sitter phase, and construct an approximated tracker solution, which to a good approximation, mimics the background cosmic evolution obtained by solving numerically the autonomous system of equations. In addition, we perform the statefinder and Om diagnostics and show that for some appropriate values of the coupling constant and initial conditions, the trajectories in the statefinder parameter phase space evolves towards a stable state corresponding to {\Lambda} CDM model. The comparison with the observed distance modulus and Hubble parameter data sets clearly indicates that the cosmological dynamics of the interacting cubic model is compatible with the existence of an interaction between the dark sectors.


title: Weakest-link control of invasive species: Impacts of memory, bounded rationality and network structure in repeated cooperative games

abstract: The nature of dispersal of many invasive pests and pathogens in agricultural and forestry makes it necessary to consider how the actions of one manager affect neighbouring properties. In addition to the direct effects of a potential spread of a pest and the resulting economic loss, there are also indirect consequences that affect whole regions and that require coordinated actions to manage and/or to eradicate it (like movement restrictions). In this paper we address the emergence and stability of cooperation among agents who respond to a threat of an invasive pest or disease. The model, based on the weakest-link paradigm, uses repeated multi-participant coordination games where players' pay-offs depend on management decisions to prevent the invasion on their own land as well as of their neighbours on a network. We show that for the basic cooperation game agents select the risk-dominant strategy of a Stag hunt game over the pay-off dominant strategy of implementing control measures. However, cooperation can be achieved by the social planner offering a biosecurity payment. The critical level of this payment depends on the details of the decision-making process, with higher trust (based on a reputation of other agents reflecting their past performance) allowing a significant reduction in necessary payments and slowing down decay in cooperation when the payment is low. We also find that allowing for uncertainty in decision-making process can enhance cooperation for low levels of payments. Finally, we show the importance of industry structure to the emergence of cooperation, with increase in the average coordination number of network nodes leading to increase in the critical biosecurity payment.


title: Broadband optical-fiber-compatible photodetector based on a graphene-MoS2-WS2 heterostructure with a synergetic photo-generating mechanism

abstract: Integrating two-dimensional (2D) crystals into optical fibers can grant them optoelectronic properties and extend their range of applications. However, our ability to produce complicated structures is limited by the challenges of chemical vapor deposition (CVD) manufacturing. Here, we successfully demonstrate a 2D-material heterostructure created on a fiber endface by integrating a microscale multilayer graphene-MoS2-WS2 van der Waals (vdW) heterostructure film on it. Hence, based on simple layer-by-layer transferring, a visible-to-infrared gating-free all-in-fiber photodetector (FPD) is produced. Our FPD exhibits an ultrahigh photoresponsivity of 6.6X107 A/W and a relatively fast response speed of 7 ms at 400 nm light wavelength, due to the strong light absorption and the built-in electric field of the heterostructure. Moreover, owning to the type-II staggered band alignments in the MoS2-WS2 heterostructure, the interlayer optical transition between the MoS2 and WS2 layers enable our FPD to sense the infrared light power, displaying a photoresponsivity of 17.1 A/W at 1550 nm. In addition, an inverse photoresponse is observed under an illuminating power higher than 1 mW at 1550 nm, indicating a competingphotocurrent generation mechanism, comprising the photoconductive and photo-bolometric effects. These findings offer a new strategy for developing broadband and gating-free photodetectors and other novel optoelectronic devices based on 2D crystals. Furthermore, our fabrication method may provide a new platform for the integration of optical fibers with semiconducting materials.


title: Introducing the Simulated Flying Shapes and Simulated Planar Manipulator Datasets

abstract: We release two artificial datasets, Simulated Flying Shapes and Simulated Planar Manipulator that allow to test the learning ability of video processing systems. In particular, the dataset is meant as a tool which allows to easily assess the sanity of deep neural network models that aim to encode, reconstruct or predict video frame sequences. The datasets each consist of 90000 videos. The Simulated Flying Shapes dataset comprises scenes showing two objects of equal shape (rectangle, triangle and circle) and size in which one object approaches its counterpart. The Simulated Planar Manipulator shows a 3-DOF planar manipulator that executes a pick-and-place task in which it has to place a size-varying circle on a squared platform. Different from other widely used datasets such as moving MNIST [1], [2], the two presented datasets involve goal-oriented tasks (e.g. the manipulator grasping an object and placing it on a platform), rather than showing random movements. This makes our datasets more suitable for testing prediction capabilities and the learning of sophisticated motions by a machine learning model. This technical document aims at providing an introduction into the usage of both datasets.


title: Towards quantum-chemical method development for arbitrary basis functions

abstract: We present the design of a flexible quantum-chemical method development framework, which supports employing any type of basis function. This design has been implemented in the light-weight program package molsturm, yielding a basis-function-independent self-consistent field scheme. Versatile interfaces, making use of open standards like python, mediate the integration of molsturm with existing third-party packages. In this way both rapid extension of the present set of methods for electronic structure calculations as well as adding new basis function types can be readily achieved. This makes molsturm well-suitable for testing novel approaches for discretising the electronic wave function and allows comparing them to existing methods using the same software stack. This is illustrated by two examples, an implementation of coupled-cluster doubles as well as a gradient-free geometry optimisation, where in both cases, an arbitrary basis functions could be used. molsturm is open-source and can be obtained from https://molsturm.org.


title: Analysis of a Cahn-Hilliard-Brinkman model for tumour growth with chemotaxis

abstract: Phase field models recently gained a lot of interest in the context of tumour growth models. Typically Darcy-type flow models are coupled to Cahn-Hilliard equations. However, often Stokes or Brinkman flows are more appropriate flow models. We introduce and mathematically analyse a new Cahn-Hilliard-Brinkman model for tumour growth allowing for chemotaxis. Outflow boundary conditions are considered in order not to influence tumour growth by artificial boundary conditions. Existence of global-in-time weak solutions is shown in a very general setting.


title: Multiwavelength observations of V407 Lupi (ASASSN-16kt) --- a very fast nova erupting in an intermediate polar

abstract: We present a detailed study of the 2016 eruption of nova V407 Lupi (ASASSN-16kt), including optical, near-infrared, X-ray, and ultraviolet data from SALT, SMARTS, SOAR, Chandra, Swift, and XMM-Newton. Timing analysis of the multiwavelength light-curves shows that, from 168 days post-eruption and for the duration of the X-ray supersoft source phase, two periods at 565 s and 3.57 h are detected. We suggest that these are the rotational period of the white dwarf and the orbital period of the binary, respectively, and that the system is likely to be an intermediate polar. The optical light-curve decline was very fast ($t_2 \leq$ 2.9 d), suggesting that the white dwarf is likely massive ($\gtrsim 1.25$ M$_{\odot}$). The optical spectra obtained during the X-ray supersoft source phase exhibit narrow, complex, and moving emission lines of He II, also characteristics of magnetic cataclysmic variables. The optical and X-ray data show evidence for accretion resumption while the X-ray supersoft source is still on, possibly extending its duration.


title: A uniform estimate for the density of rational points on quadrics

abstract: This paper is concerned with the density of rational points of bounded height lying on a variety defined by an integral quadratic form Q. In the case of four variables, we give an estimate that does not depend on the coefficients of Q. For more variables, a similar estimate still holds with the restriction that we only count points which do not lie on rational lines.


title: The NANOGrav 11-Year Data Set: Arecibo Observatory Polarimetry And Pulse Microcomponents

abstract: We present the polarization pulse profiles for 28 pulsars observed with the Arecibo Observatory by the North American Nanohertz Observatory for Gravitational Waves (NANOGrav) timing project at 2.1 GHz, 1.4 GHz, and 430 MHz. These profiles represent some of the most sensitive polarimetric millisecond pulsar profiles to date, revealing the existence of microcomponents (that is, pulse components with peak intensities much lower than the total pulse peak intensity). Although microcomponents have been detected in some pulsars previously, we present microcomponents for PSRs B1937+21, J1713+0747, and J2234+0944 for the first time. These microcomponents can have an impact on pulsar timing, geometry, and flux density determination. We present rotation measures for all 28 pulsars, determined independently at different observation frequencies and epochs, and find the Galactic magnetic fields derived from these rotation measures to be consistent with current models. These polarization profiles were made using measurement equation template matching, which allows us to generate the polarimetric response of the Arecibo Observatory on an epoch-by-epoch basis. We use this method to describe its time variability, and find that the polarimetric responses of the Arecibo Observatory's 1.4 and 2.1 GHz receivers vary significantly with time.


title: Proceedings of "Open heavy flavour production in heavy-ion collisions with ALICE, The 34th Winter Workshop on Nuclear Dynamics", 25-31 March 2018

abstract: Heavy-flavour measurements give an important contribution to the understanding of the Quark-Gluon Plasma (QGP) produced in heavy-ion collisions. Heavy quarks are effective probes for the QGP and understanding their interaction with the medium can give insights into its transport properties. The ALICE Collaboration investigates heavy-flavour production by measuring leptons from heavy-flavour decays and by reconstructing hadronic decays of D mesons and charmed baryons. In this proceeding, recent results from ALICE as well as the direction of future heavy-flavour measurements are discussed.


title: Online mixed multiscale finite element method with oversampling and its applications

abstract: In this paper, we consider an online basis enrichment mixed generalized multiscale method with oversampling, for solving flow problems in highly heterogeneous porous media. This is an exten- sion of the online mixed generalized multiscale method [6]. The multiscale online basis functions are computed by solving a Neumann problem in an over-sampled domain, instead of a standard neighborhood of a coarse face. We are motivated by the restricted domain decomposition method. Extensive numerical experiments are presented to demonstrate the performance of our methods for both steady-state flow, and two-phase flow and transport problems.


title: A Note on Harmonic number identities, Stirling series and multiple zeta values

abstract: We study a general type of series and relate special cases of it to Stirling series, infinite series discussed by Choi and Hoffman, and also to special values of the Arakawa-Kaneko zeta function, complementing and generalizing earlier results. Moreover, we survey properties of certain truncated multiple zeta and zeta star values, pointing out their relation to finite sums of harmonic numbers. We also discuss the duality result of Hoffman, relating binomial sums and truncated multiple zeta star values.


title: The geometry of the space of BPS vortex-antivortex pairs

abstract: The gauged sigma model with target $\mathbb{P}^1$, defined on a Riemann surface $\Sigma$, supports static solutions in which $k_+$ vortices coexist in stable equilibrium with $k_-$ antivortices. Their moduli space is a noncompact complex manifold $M_{(k_+,k_-)}(\Sigma)$ of dimension $k_++k_-$ which inherits a natural K\"ahler metric $g_{L^2}$ governing the model's low energy dynamics. This paper presents the first detailed study of $g_{L^2}$, focussing on the geometry close to the boundary divisor $D=\partial M_{(k_+,k_-)}(\Sigma)$. On $\Sigma=S^2$, rigorous estimates of $g_{L^2}$ close to $D$ are obtained which imply that $M_{(1,1)}(S^2)$ has finite volume and is geodesically incomplete. On $\Sigma=\mathbb{R}^2$, careful numerical analysis and a point-vortex formalism are used to conjecture asymptotic formulae for $g_{L^2}$ in the limits of small and large separation. All these results make use of a localization formula, expressing $g_{L^2}$ in terms of data at the (anti)vortex positions, which is established for general $M_{(k_+,k_-)}(\Sigma)$. For arbitrary compact $\Sigma$, a natural compactification of the space $M_{(k_+,k_-)}(\Sigma)$ is proposed in terms of a certain limit of gauged linear sigma models, leading to formulae for its volume and total scalar curvature. The volume formula agrees with the result established for $Vol(M_{(1,1)}(S^2))$, and allows for a detailed study of the thermodynamics of vortex-antivortex gas mixtures. It is found that the equation of state is independent of the genus of $\Sigma$, and that the entropy of mixing is always positive.


title: Taxonomic classification of asteroids based on MOVIS near-infrared colors

abstract: We aim to provide a taxonomic classification for asteroids observed by VISTA-VHS survey. We derive a method for assigning a compositional type to an object based on its (Y-J), (J-Ks), and (H-Ks) colors. We present a taxonomic classification for 18\,265 asteroids from the MOVIS catalog, using a probabilistic method and the k-nearest neighbors algorithm. Because our taxonomy is based only on NIR colors, several classes from Bus-DeMeo were clustered into groups and a slightly different notation was used (i.e. the superscript indicates that the classification was obtained based on the NIR colors and the subscript indicates possible miss-identifications with other types). Our results are compared with the information provided by the Sloan Digital Sky Survey (SDSS) and Wide-field Infrared Survey Explorer (WISE). The two algorithms used in this study give a taxonomic type for all objects having at least (Y-J) and (J-Ks) observed colors. A final classification is reported for a set of 6\,496 asteroids based on the criteria that KNN and probabilistic algorithms gave the same result, (Y-J)$_{err}\leq$ 0.118 and (J-Ks)$_{err}\leq$0.136. This set includes 144 bodies classified as $B_k^{ni}$, 613 as $C^{ni}$, 197 as $C_{gx}^{ni}$, 91 as $X_t^{ni}$, 440 as $D_s^{ni}$, 665 as $K_l^{ni}$, 233 as $A_d^{ni}$, 3\,315 as $S^{ni}$, and 798 as $V^{ni}$. We report the albedo distribution for each taxonomic group and we compute new median values for the main types. We found that V-type and A-type candidates have identical size frequency distributions, but the V-types are five times more common than the A-types. Several particular cases, such as the A-type asteroid (11616) 1996 BQ2 and the S-type (3675) Kematsch, both in the Cybele population, are discussed. Files and codes available at: https://github.com/marcelpopescu/MOVIS-Taxonomy


title: Efficient Evaluation of Arbitrary Static Fields For Symplectic Particle Tracking

abstract: This article describes a method devised for efficient evaluation of arbitrary static magnetic and electric fields in a source free region needed for long time tracking of charged particles. Field values given on the boundary of the region of interest are reproduced inside by an arrangement of hypothetical magnetic or electric monopoles surrounding the boundary surface. The vector and scalar potentials are obtained by summing the contributions of each monopole. The second step of the method improves the evaluation speed of the potentials and their derivatives by orders of magnitude. This comprises covering the region of interest by overlapping spheres, then calculating the spherical harmonic expansion of the potentials on each sphere. During tracking, field values are evaluated by calculating the solid harmonics and their derivatives inside a sphere containing the particle. Software has been developed to test and demonstrate the method on a small particle accelerator. To our knowledge, there is no other method of this kind, allowing long time symplectic integration in general static fields, without simplification.


title: Scalable Platform for Adaptive optics Real-time Control (SPARC) Part 2: Field Programmable Gate Array (FPGA) implementation and performance

abstract: The next generation of Adaptive Optics (AO) systems on large telescopes will require immense computation performance and memory bandwidth, both of which are challenging with the technology available today. The objective of this work is to create a future-proof adaptive optics platform on an FPGA architecture, which scales with the number of subapertures, pixels per subaperture and external memory. We have created a scalable adaptive optics platform with an off-the-shelf FPGA development board, which provides an AO reconstruction time only limited by the external memory bandwidth. SPARC uses the same logic resources irrespective of the number of subapertures in the AO system. This paper is aimed at embedded developers who are interested in the FPGA design and the accompanying hardware interfaces. The central theme of this paper is to show how scalability is incorporated at different levels of the FPGA implementation. This work is a continuation of Part 1 of the paper which explains the concept, objectives, control scheme and method of validation used for testing the platform.


title: Voronoi summation for ${\rm GL}_n$: collusion between level and modulus

abstract: We investigate the Voronoi summation problem for ${\rm GL}_n$ in the level aspect for $n\geq 2$. Of particular interest are those primes at which the level and modulus are jointly ramified - a common occurrence in analytic number theory when using techniques such as the Petersson trace formula. Building on previous legacies, our formula stands as the most general of its kind; in particular we extend the results of Ichino-Templier. We also give (classical) refinements of our formula and study the $p$-adic generalisations of the Hankel transform.


title: Transparent, Efficient, and Robust Word Embedding Access with WOMBAT

abstract: We present WOMBAT, a Python tool which supports NLP practitioners in accessing word embeddings from code. WOMBAT addresses common research problems, including unified access, scaling, and robust and reproducible preprocessing. Code that uses WOMBAT for accessing word embeddings is not only cleaner, more readable, and easier to reuse, but also much more efficient than code using standard in-memory methods: a Python script using WOMBAT for evaluating seven large word embedding collections (8.7M embedding vectors in total) on a simple SemEval sentence similarity task involving 250 raw sentence pairs completes in under ten seconds end-to-end on a standard notebook computer.


title: The $\Omega(2012)$ as a hadronic molecule

abstract: Recently the Belle collaboration has discovered a narrow $S=-3$ baryon, the $\Omega(2012)$. We explore the possibility that the $\Omega(2012)$ is a $\Xi(1530)\,\bar K$ molecule, where the binding mechanism is the coupled channel dynamics with the $\Omega\,\eta$ channel. The characteristic signature of a molecular $\Omega(2012)$ will be its decay into the three body channel $\Xi \pi \bar{K}$, for which we expect a partial decay width of $2-3\,{\rm MeV}$. The partial decay width into the $\Xi \bar{K}$ channel should lie in the range of $1-11\,{\rm MeV}$, a figure compatible with experiment and which we have deduced from the assumption that the coupling involved in this decay is of natural size. For comparison purposes the decay of a purely compact $\Omega(2012)$ into the $\Xi \bar{K}$ and $\Xi \pi \bar{K}$ channels is of the same order of magnitude as and one order of magnitude smaller than in the molecular scenario, respectively. This comparison indicates that the current experimental information is insufficient to distinguish between a compact and a molecular $\Omega(2012)$ and further experiments will be required to determine its nature. A molecular $\Omega(2012)$ will also imply the existence of two- and three-body molecular partners. The two-body partners comprise two $\Lambda$ hyperons located at $1740$ and $1950\,{\rm MeV}$ respectively, the first of which might correspond to the $\Lambda(1800)$ while the second to the $\Lambda(2000)$ or the $\Lambda(2050)$. The three-body partners include a $\Xi(1530) K\bar{K}$ and a $\Xi(1530) \eta \bar{K}$ molecule, with masses of $M = 2385-2445\,{\rm MeV}$ and $M = 2434-2503\,{\rm MeV}$ respectively. We might be tempted to identify the first with the $\Xi(2370)$ and the latter with the $\Omega(2470)$ listed in the PDG.


title: Gaussian Signalling for Covert Communications

abstract: In this work, we examine the optimality of Gaussian signalling for covert communications with an upper bound on $\mathcal{D}(p_{_1}||p_{_0})$ or $\mathcal{D}(p_{_0}||p_{_1})$ as the covertness constraint, where $\mathcal{D}(p_{_1}||p_{_0})$ and $\mathcal{D}(p_{_0}||p_{_1})$ are different due to the asymmetry of Kullback-Leibler divergence, $p_{_0}(y)$ and $p_{_1}(y)$ are the likelihood functions of the observation ${y}$ at the warden under the null hypothesis (no covert transmission) and alternative hypothesis (a covert transmission occurs), respectively. Considering additive white Gaussian noise at both the receiver and the warden, we prove that Gaussian signalling is optimal in terms of maximizing the mutual information of transmitted and received signals for covert communications with an upper bound on $\mathcal{D}(p_{_1}||p_{_0})$ as the constraint. More interestingly, we also prove that Gaussian signalling is not optimal for covert communications with an upper bound on $\mathcal{D}(p_{_0}||p_{_1})$ as the constraint, for which as we explicitly show skew-normal signalling can outperform Gaussian signalling in terms of achieving higher mutual information. Finally, we prove that, for Gaussian signalling, an upper bound on $\mathcal{D}(p_{_1}||p_{_0})$ is a tighter covertness constraint in terms of leading to lower mutual information than the same upper bound on $\mathcal{D}(p_{_0}||p_{_1})$, by proving $\mathcal{D}(p_{_0}||p_{_1}) \leq \mathcal{D}(p_{_1}||p_{_0})$.


title: The ELT-MOS (MOSAIC): towards the construction phase

abstract: When combined with the huge collecting area of the ELT, MOSAIC will be the most effective and flexible Multi-Object Spectrograph (MOS) facility in the world, having both a high multiplex and a multi-Integral Field Unit (Multi-IFU) capability. It will be the fastest way to spectroscopically follow-up the faintest sources, probing the reionisation epoch, as well as evaluating the evolution of the dwarf mass function over most of the age of the Universe. MOSAIC will be world-leading in generating an inventory of both the dark matter (from realistic rotation curves with MOAO fed NIR IFUs) and the cool to warm-hot gas phases in z=3.5 galactic haloes (with visible wavelenth IFUs). Galactic archaeology and the first massive black holes are additional targets for which MOSAIC will also be revolutionary. MOAO and accurate sky subtraction with fibres have now been demonstrated on sky, removing all low Technical Readiness Level (TRL) items from the instrument. A prompt implementation of MOSAIC is feasible, and indeed could increase the robustness and reduce risk on the ELT, since it does not require diffraction limited adaptive optics performance. Science programmes and survey strategies are currently being investigated by the Consortium, which is also hoping to welcome a few new partners in the next two years.


title: Magnetic Anisotropy and Orbital Ordering in Ca$_2$RuO$_4$

abstract: We review the magnetic and orbital ordered states in \cro{} by performing Resonant Elastic X-ray Scattering (REXS) at the Ru L$_{2,3}$-edges. In principle, the point symmetry at Ru sites does not constrain the direction of the magnetic moment below $T_N$. However early measurements reported the ordered moment entirely along the $\vec{b}$ orthorhombic axis. Taking advantage of the large resonant enhancement of the magnetic scattering close to the Ru L$_2$ and L$_3$ absorption edges, we monitored the azimuthal, thermal and energy dependence of the REXS intensity and find that a canting ($m_c \simeq 0.1 m_b$) along the $\vec{c}$-orthorhombic axis is present. No signal was found for $m_a$ despite this component also being allowed by symmetry. Such findings are interpreted by a microscopic model Hamiltonian, and pose new constraints on the parameters describing the model. Using the same technique we reviewed the accepted orbital ordering picture. We detected no symmetry breaking associated with the signal increase at the "so-called" orbital ordering temperature ($\simeq 260$ K). We did not find any changes of the orbital pattern even through the antiferromagnetic transition, suggesting that, if any, only a complex rearrangement of the orbitals, not directly measurable using linearly polarized light, can take place.


title: Quantum description of timing-jitter for single photon ON/OFF detectors

abstract: In the context of ultra-fast quantum communication and random number generation, detection timing-jitters represent a strong limitation as they can introduce major time-tagging errors and affect the quality of time-correlated photon counting or quantum state engineering. Despite their importance in emerging photonic quantum technologies, no detector model including such effects has been developed so far. We propose here an operational theoretical model based on POVM density formalism able to explicitly quantify the effect of timing-jitter for a typical class of single photon detector. We apply our model to some common experimental situations.


title: TASI Lectures on Moonshine

abstract: The word moonshine refers to unexpected relations between the two distinct mathematical structures: finite group representations and modular objects. It is believed that the key to understanding moonshine is through physical theories with special symmetries. Recent years have seen a varieties of new ways in which finite group representations and modular objects can be connected to each other, and these developments have brought promises and also puzzles into the string theory community. These lecture notes aim to bring graduate students in theoretical physics and mathematical physics to the forefront of this active research area. In Part II of this note, we review the various cases of moonshine connections, ranging from the classical monstrous moonshine established in the last century to the most recent findings. In Part III, we discuss the relation between the moonshine connections and physics, especially string theory. After briefly reviewing a recent physical realisation of monstrous moonshine, we will describe in some details the mystery of the physical aspects of umbral moonshine, and also mention some other setups where string theory black holes can be connected to moonshine. To make the exposition self-contained, we also provide the relevant background knowledge in Part I, including sections on finite groups, modular objects, and two-dimensional conformal field theories. This part occupies half of the pages of this set of notes and can be skipped by readers who are already familiar with the relevant concepts and techniques.


title: Finite distance corrections to the light deflection in a gravitational field with a plasma medium

abstract: The aim of the present work is twofold: first, we present general remarks about the application of recent procedures to compute the deflection angle in spherically symmetric and asymptotically flat spacetimes, taking into account finite distance corrections based on the Gauss-Bonnet theorem. Second, and as the main part of our work, we apply this powerful technique to compute corrections to the deflection angle produced by astrophysical configurations in the weak gravitational regime when a plasma medium is taken into account. For applications, we use these methods to introduce new general formulae for the bending angle of light rays in plasma environments in different astrophysical scenarios, generalizing previously known results. We also present new and useful formulae for the separation angle between the images of two sources when they are lensed by an astrophysical object surrounded by plasma. In particular, for the case of an homogeneous plasma we study these corrections for the case of light rays propagating near astrophysical objects described in the weak gravitational regime by a Parametrized-Post-Newtonian (PPN) metric which takes into account the mass of the objects and a possible quadrupole moment. Even when our work concentrates on finite distances corrections to the deflection angle, we also obtain as particular cases of our expressions new formulae which are valid for the more common assumption of infinite distance between receiver, lens and source. We also consider the presence of an inhomogeneous plasma media introducing as particular cases of our general results explicit expressions for particular charge number density profiles.


title: Renormalization of the multi-Higgs-doublet Standard Model and one-loop lepton mass corrections

abstract: Motivated by models for neutrino masses and lepton mixing, we consider the renormalization of the lepton sector of a general multi-Higgs-doublet Standard Model with an arbitrary number of right-handed neutrino singlets. We propose to make the theory finite by $\overline{\mbox{MS}}$ renormalization of the parameters of the unbroken theory. However, using a general $R_\xi$ gauge, in the explicit one-loop computations of one-point and two-point functions it becomes clear that---in addition---a renormalization of the vacuum expectation values (VEVs) is necessary. Moreover, in order to ensure vanishing one-point functions of the physical scalar mass eigenfields, finite shifts of the tree-level VEVs, induced by the finite parts of the tadpole diagrams, are required. As a consequence of our renormalization scheme, physical masses are functions of the renormalized parameters and VEVs and thus derived quantities. Applying our scheme to one-loop corrections of lepton masses, we perform a thorough discussion of finiteness and $\xi$-independence. In the latter context, the tadpole contributions figure prominently.