title: The role of surface charge in the interaction of nanoparticles with model pulmonary surfactants

abstract: Inhaled nanoparticles traveling through the airways are able to reach the respiratory zone of the lungs. In such event, the incoming particles first enter in contact with the liquid lining the alveolar epithelium, the pulmonary surfactant. The pulmonary surfactant is composed of lipids and proteins that are assembled into large vesicular structures. The question of the nature of the biophysicochemical interaction with the pulmonary surfactant is central to understand how the nanoparticles can cross the air-blood barrier. Here we explore the phase behavior of sub-100 nm particles and surfactant substitutes in controlled conditions. Three types of surfactant mimetics, including the exogenous substitute Curosurf, a drug administred to infants with respiratory distress syndrome are tested together with aluminum oxide (Al2O3), silicon dioxide (SiO2) and polymer (latex) nanoparticles. The main result here is the observation of the spontaneous nanoparticle-vesicle aggregation induced by Coulombic attraction. The role of the surface charges is clearly established. We also evaluate the supported lipid bilayer formation recently predicted and find that in the cases studied these structures do not occur. Pertaining to the aggregate internal structure, fluorescence microscopy ascertains that the vesicles and particles are intermixed at the nano- to microscale. With particles acting as stickers between vesicles, it is anticipated that the presence of inhaled nanomaterials in the alveolar spaces could significantly modify the interfacial and bulk properties of the pulmonary surfactant and interfere with the lung physiology.


title: Isoparametric functions and nodal solutions of the Yamabe equation

abstract: We prove existence results for nodal solutions of the Yamabe equation that are constant along the level sets of an isoparametric function.


title: Temporal evolution of arch filaments as seen in He I 10830 \r{A}

abstract: We study the evolution of an arch filament system (AFS) and of its individual arch filaments to learn about the processes occurring in them. We observed the AFS at the GREGOR solar telescope on Tenerife at high cadence with the very fast spectroscopic mode of the GREGOR Infrared Spectrograph (GRIS) in the He I 10830 \AA\ spectral range. The He I triplet profiles were fitted with analytic functions to infer line-of-sight (LOS) velocities to follow plasma motions within the AFS. We tracked the temporal evolution of an individual arch filament over its entire lifetime, as seen in the He I 10830 \AA\ triplet. The arch filament expanded in height and extended in length from 13" to 21". The lifetime of this arch filament is about 30 min. About 11 min after the arch filament is seen in He I, the loop top starts to rise with an average Doppler velocity of 6 km/s. Only two minutes later, plasma drains down with supersonic velocities towards the footpoints reaching a peak velocity of up to 40 km/s in the chromosphere. The temporal evolution of He I 10830 \AA\ profiles near the leading pore showed almost ubiquitous dual red components of the He I triplet, indicating strong downflows, along with material nearly at rest within the same resolution element during the whole observing time. We followed the arch filament as it carried plasma during its rise from the photosphere to the corona. The material then drained toward the photosphere, reaching supersonic velocities, along the legs of the arch filament. Our observational results support theoretical AFS models and aids in improving future models.


title: Terahertz Transition-Edge Sensor with Kinetic-Inductance Amplifier at 4.2 K

abstract: Different terrestrial terahertz applications would benefit from large-format arrays, operating in compact and inexpensive cryocoolers at liquid helium temperature with sensitivity, limited by the 300-K background radiation only. A voltage-biased Transition-Edge Sensor (TES) as a THz detector can have sufficient sensitivity and has a number of advantages important for real applications as linearity of response, high dynamic range and a simple calibration, however it requires a low-noise current readout. Usually, a current amplifier based on Superconducting Quantum-Interference Device (SQUID) is used for readout, but the scalability of this approach is limited due to complexity of the operation and fabrication. Recently, it has been shown that instead of SQUID it is possible to use a current sensor, which is based on the nonlinearity of the kinetic inductance of a current-carrying superconducting stripe. Embedding the stripe into a microwave high-Q superconducting resonator allows for reaching sufficient current sensitivity. More important, it is possible with the resonator approach to scale up to large arrays using Frequency-Division Multiplexing (FDM) in GHz range. Here, we demonstrate the operation of a voltage-biased TES with a microwave kinetic-inductance current amplifier at 4.2 K. We measured the expected intrinsic Noise-Equivalent Power NEP ~$5\times 10^{-14} \; \rm W/Hz^{1/2}$ and confirmed that a sufficient sensitivity of the readout can be reached in conjunction with a real TES operation. The construction of an array with the improved sensitivity ~ $10^{-15}\; \rm W/Hz^{1/2}$ at 4.2 K could be realized using a combination of the new current amplifier and already existing TES detectors with improved thermal isolation.


title: Radially weighted Besov spaces and the Pick property

abstract: For $s\in \mathbb R$ the weighted Besov space on the unit ball $\mathbb B_d$ of $\mathbb C^d$ is defined by $B^s_\omega=\{f\in \operatorname{Hol}(\mathbb B_d): \int_{\mathbb B_d}|R^sf|^2 \omega dV<\infty\}.$ Here $R^s$ is a power of the radial derivative operator $R= \sum_{i=1}^d z_i\frac{\partial}{\partial z_i}$, $V$ denotes Lebesgue measure, and $\omega$ is a radial weight function not supported on any ball of radius $< 1$. Our results imply that for all such weights $\omega$ and $\nu$, every bounded column multiplication operator $B^s_\omega \to B^t_\nu \otimes \ell^2$ induces a bounded row multiplier $B^s_\omega \otimes \ell^2 \to B^t_\nu$. Furthermore we show that if a weight $\omega$ satisfies that for some $\alpha >-1$ the ratio $\omega(z)/(1-|z|^2)^\alpha$ is nondecreasing for $t_0<|z|<1$, then $B^s_\omega$ is a complete Pick space, whenever $s\ge (\alpha+d)/2$.


title: Redshift-space distortions from vector perturbations II: Anisotropic signal

abstract: We study the impact on the galaxy correlation function of the presence of a vector component in the tracers' peculiar velocities, in the case in which statistical isotropy is violated. We present a general framework - based on the bipolar spherical harmonics expansion - to study this effect in a model independent way, without any hypothesis on the origin or the properties of these vector modes. We construct six new observables, that can be directly measured in galaxy catalogs in addition to the standard monopole, quadrupole and hexadecapole, and we show that they completely describe any deviations from isotropy. We then perform a Fisher analysis in order to quantify the constraining power of future galaxy surveys. As an example, we show that the SKA2 would be able to detect anisotropic rotational velocities with amplitudes as low as 1% of that of the vorticity generated during shell-crossing in standard dark matter scenarios.


title: Localization for quasiperiodic operators with unbounded monotone potentials

abstract: We establish non-perturbative Anderson localization for a wide class of 1D quasiperiodic operators with unbounded monotone potentials, extending the classical results on Maryland model and perturbative results for analytic potentials by B\'ellissard, Lima, and Scoppola.


title: Irreducible nonlocality of optical model potentials based on realistic NN interactions

abstract: We investigate the nonlocal structure of optical model potentials for nucleon-nucleus scattering based on microscopic approaches. To this purpose, \emph{in-medium} folding optical potentials are calculated in momentum space and their corresponding coordinate-space counterpart are examined, paying special attention to their nonlocal shape. The nucleon-nucleon effective interaction consists of the actual full off-shell $g$ matrix in Brueckner-Hartree-Fock approximation. The nonlocality of effective interactions is preserved throughout all stages in the the calculation. Argonne $v_{18}$ bare potential and chiral next-to-next-to-next-to-leading order bare interaction are used as starting point. The study is focused on proton elastic scattering off $^{40}$Ca at beam energies between 30 and 800 MeV. We find that the gradual suppression of high-momentum contributions of the optical potential results in quite different-looking coordinate-space counterparts. Despite this non-uniqueness in their nonlocal structure, the implied scattering observables remain unchanged for momentum cutoff above a critical one, which depends on incident energy of the projectile. We find that coordinate-space potentials with momentum cutoffs at the critical value yield the least structured nonlocal behavior. Implications of these findings are discussed.


title: The relativistic discriminator: a key element missing from standard GAN

abstract: In standard generative adversarial network (SGAN), the discriminator estimates the probability that the input data is real. The generator is trained to increase the probability that fake data is real. We argue that it should also simultaneously decrease the probability that real data is real because 1) this would account for a priori knowledge that half of the data in the mini-batch is fake, 2) this would be observed with divergence minimization, and 3) in optimal settings, SGAN would be equivalent to integral probability metric (IPM) GANs. We show that this property can be induced by using a relativistic discriminator which estimate the probability that the given real data is more realistic than a randomly sampled fake data. We also present a variant in which the discriminator estimate the probability that the given real data is more realistic than fake data, on average. We generalize both approaches to non-standard GAN loss functions and we refer to them respectively as Relativistic GANs (RGANs) and Relativistic average GANs (RaGANs). We show that IPM-based GANs are a subset of RGANs which use the identity function. Empirically, we observe that 1) RGANs and RaGANs are significantly more stable and generate higher quality data samples than their non-relativistic counterparts, 2) Standard RaGAN with gradient penalty generate data of better quality than WGAN-GP while only requiring a single discriminator update per generator update (reducing the time taken for reaching the state-of-the-art by 400%), and 3) RaGANs are able to generate plausible high resolutions images (256x256) from a very small sample (N=2011), while GAN and LSGAN cannot; these images are of significantly better quality than the ones generated by WGAN-GP and SGAN with spectral normalization.


title: hep-th

abstract: We apply techniques in natural language processing, computational linguistics, and machine-learning to investigate papers in hep-th and four related sections of the arXiv: hep-ph, hep-lat, gr-qc, and math-ph. All of the titles of papers in each of these sections, from the inception of the arXiv until the end of 2017, are extracted and treated as a corpus which we use to train the neural network Word2Vec. A comparative study of common n-grams, linear syntactical identities, word cloud and word similarities is carried out. We find notable scientific and sociological differences between the fields. In conjunction with support vector machines, we also show that the syntactic structure of the titles in different sub-fields of high energy and mathematical physics are sufficiently different that a neural network can perform a binary classification of formal versus phenomenological sections with 87.1% accuracy, and can perform a finer five-fold classification across all sections with 65.1% accuracy.


title: An Algorithmic Framework For Differentially Private Data Analysis on Trusted Processors

abstract: Differential privacy has emerged as the main definition for private data analysis and machine learning. The {\em global} model of differential privacy, which assumes that users trust the data collector, provides strong privacy guarantees and introduces small errors in the output. In contrast, applications of differential privacy in commercial systems by Apple, Google, and Microsoft, use the {\em local model}. Here, users do not trust the data collector, and hence randomize their data before sending it to the data collector. Unfortunately, local model is too strong for several important applications and hence is limited in its applicability. In this work, we propose a framework based on trusted processors and a new definition of differential privacy called {\em Oblivious Differential Privacy}, which combines the best of both local and global models. The algorithms we design in this framework show interesting interplay of ideas from the streaming algorithms, oblivious algorithms, and differential privacy.


title: Learning Goal-Oriented Visual Dialog via Tempered Policy Gradient

abstract: Learning goal-oriented dialogues by means of deep reinforcement learning has recently become a popular research topic. However, commonly used policy-based dialogue agents often end up focusing on simple utterances and suboptimal policies. To mitigate this problem, we propose a class of novel temperature-based extensions for policy gradient methods, which are referred to as Tempered Policy Gradients (TPGs). On a recent AI-testbed, i.e., the GuessWhat?! game, we achieve significant improvements with two innovations. The first one is an extension of the state-of-the-art solutions with Seq2Seq and Memory Network structures that leads to an improvement of 7%. The second one is the application of our newly developed TPG methods, which improves the performance additionally by around 5% and, even more importantly, helps produce more convincing utterances.


title: Treating Interference as Noise in Cellular Networks: A Stochastic Geometry Approach

abstract: The interference management technique that treats interference as noise (TIN) is optimal when the interference is sufficiently low. Scheduling algorithms based on the TIN optimality condition have recently been proposed, e.g., for application to device-to-device communications. TIN, however, has never been applied to cellular networks. In this work, we propose a scheduling algorithm for application to cellular networks that is based on the TIN optimality condition. In the proposed scheduling algorithm, each base station (BS) first randomly selects a user equipment (UE) in its coverage region, and then checks the TIN optimality conditions. If the latter conditions are not fulfilled, the BS is turned off. In order to assess the performance of TIN applied to cellular networks, we introduce an analytical framework with the aid of stochastic geometry theory. We develop, in particular, tractable expressions of the signal-to-interference-and-noise ratio (SINR) coverage probability and average rate of cellular networks. In addition, we carry out asymptotic analysis to find the optimal system parameters that maximize the SINR coverage probability. By using the optimized system parameters, it is shown that TIN applied to cellular networks yields significant gains in terms of SINR coverage probability and average rate. Specifically, the numerical results show that average rate gains of the order of $21\%$ over conventional scheduling algorithms are obtained.


title: Energy contribution of a point interacting impurity in a Fermi gas

abstract: We give a bound on the ground state energy of a system of $N$ non-interacting fermions in a three dimensional cubic box interacting with an impurity particle via point interactions. We show that the change in energy compared to the system in the absence of the impurity is bounded in terms of the gas density and the scattering length of the interaction, independently of $N$. Our bound holds as long as the ratio of the mass of the impurity to the one of the gas particles is larger than a critical value $m_c\approx 0.36$, which is the same regime for which we recently showed stability of the system.


title: $\Lambda$-Enhanced Imaging of Molecules in an Optical Trap

abstract: We report non-destructive imaging of optically trapped calcium monofluoride (CaF) molecules using in-situ $\Lambda$-enhanced gray molasses cooling. $200$ times more fluorescence is obtained compared to destructive on-resonance imaging, and the trapped molecules remain at a temperature of $20\,\mu\text{K}$. The achieved number of scattered photons makes possible non-destructive single-shot detection of single molecules with high fidelity.


title: Surface Structures of Epitaxial B20 FeGe(-1-1-1) Thin Films via Scanning Tunneling Microscopy

abstract: We grew 20-100 nm thick films of B20 FeGe by molecular beam epitaxy and investigated the surface structures via scanning tunneling microscopy. We observed the atomic resolution of each of the four possible chemical layers in FeGe(-1-1-1). An average hexagonal surface unit cell is observed via scanning tunneling microscopy, low energy electron diffraction, and reflection high energy electron diffraction resulting in a size of ~6.84 {\AA} in agreement with the bulk expectation. Furthermore, the atomic resolution and registry across triple-layer step edges definitively determine the grain orientation as (111) or (-1-1-1). Further verification of the grain orientation is made by Ar+ sputtering FeGe(-1-1-1) surface allowing direct imaging of the subsurface layer.


title: A note on orderability and Dehn filling

abstract: We improve upon a recent result of Culler and Dunfield on orderability of certain Dehn fillings by removing a difficult condition they required.


title: Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm

abstract: Standard approaches for inference in probabilistic formalisms with first-order constructs include lifted variable elimination (LVE) for single queries as well as first-order knowledge compilation (FOKC) based on weighted model counting. To handle multiple queries efficiently, the lifted junction tree algorithm (LJT) uses a first-order cluster representation of a model and LVE as a subroutine in its computations. For certain inputs, the implementations of LVE and, as a result, LJT ground parts of a model where FOKC has a lifted run. The purpose of this paper is to prepare LJT as a backbone for lifted inference and to use any exact inference algorithm as subroutine. Using FOKC in LJT allows us to compute answers faster than LJT, LVE, and FOKC for certain inputs.


title: Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm

abstract: The lifted dynamic junction tree algorithm (LDJT) efficiently answers filtering and prediction queries for probabilistic relational temporal models by building and then reusing a first-order cluster representation of a knowledge base for multiple queries and time steps. Unfortunately, a non-ideal elimination order can lead to groundings even though a lifted run is possible for a model. We extend LDJT (i) to identify unnecessary groundings while proceeding in time and (ii) to prevent groundings by delaying eliminations through changes in a temporal first-order cluster representation. The extended version of LDJT answers multiple temporal queries orders of magnitude faster than the original version.


title: Training a Neural Network in a Low-Resource Setting on Automatically Annotated Noisy Data

abstract: Manually labeled corpora are expensive to create and often not available for low-resource languages or domains. Automatic labeling approaches are an alternative way to obtain labeled data in a quicker and cheaper way. However, these labels often contain more errors which can deteriorate a classifier's performance when trained on this data. We propose a noise layer that is added to a neural network architecture. This allows modeling the noise and train on a combination of clean and noisy data. We show that in a low-resource NER task we can improve performance by up to 35% by using additional, noisy data and handling the noise.


title: Temperature-dependent $s_\pm \leftrightarrow s_{++}$ transitions in the multiband model for Fe-based superconductors with impurities

abstract: We study the dependence of the superconducting gaps on both the disorder and the temperature within the two-band model for iron-based materials. In the clean limit, the system is in the $s_\pm$ state with the sign-changing gaps. Scattering by nonmagnetic impurities leads to the change of sign of the smaller gap thus resulting in a transition from the $s_{\pm}$ to the $s_{++}$ state with the sign-preserving gaps. We show here that the transition is temperature-dependent, thus, there is a line of $s_\pm \to s_{++}$ transition in the temperature-disorder phase diagram. There exists a narrow range of impurity scattering rates, where the disorder-induced $s_\pm \to s_{++}$ transition occurs at low temperatures, but then the low-temperature $s_{++}$ state transforms back to the $s_\pm$ state at higher temperatures. With increasing impurity scattering rate, temperature of such $s_{++} \to s_{\pm}$ transition shifts to the critical temperature $T_c$ and only the $s_{++}$ state is left for higher amount of disorder.


title: Online Label Recovery for Deep Learning-based Communication through Error Correcting Codes

abstract: We demonstrate that error correcting codes (ECCs) can be used to construct a labeled data set for finetuning of "trainable" communication systems without sacrificing resources for the transmission of known symbols. This enables adaptive systems, which can be trained on-the-fly to compensate for slow fluctuations in channel conditions or varying hardware impairments. We examine the influence of corrupted training data and show that it is crucial to train based on correct labels. The proposed method can be applied to fully end-to-end trained communication systems (autoencoders) as well as systems with only some trainable components. This is exemplified by extending a conventional OFDM system with a trainable pre-equalizer neural network (NN) that can be optimized at run time.


title: Characterization and modeling of thermally-induced doping contaminants in high-purity Germanium

abstract: High purity Ge (HPGe) is the key material for gamma ray detector production. Its high purity level (< 2x10^(-4) ppb of doping impurity) has to be preserved in the bulk during the processes needed to form the detector junctions. With the goal of improving the device performance and expanding the application fields, in this paper many alternative doping processes are evaluated, in order to verify their effect on the purity of the material. In more detail, we investigated the electrical activation of contaminating doping defects or impurities inside the bulk HPGe, induced by both conventional and non-conventional surface doping processes, such as B ion implantation, P and Ga diffusion from Spin-On Doping (SOD) sources, Sb equilibrium diffusion from a remote sputtered source and laser thermal annealing (LTA) of sputtered Sb. Doping defects, thermally-activated during high temperature annealing, were characterized through electrical measurements. A phenomenological model describing the contamination process was developed and used to analyze the diffusion parameters and possible process thermal windows. It resulted that out-of-equilibrium doping processes confined to the HPGe surface have higher possibilities to be successfully employed for the formation of thin contacts, maintaining the pristine purity of the bulk material. Among them, laser thermal annealing turned out to be the most promising.


title: Generating functions for power moments of elliptic curves over $\mathbb{F}_p$

abstract: Seminal works by Birch and Ihara gave formulas for the $m$th power moments of the traces of Frobenius endomorphisms of elliptic curves over $\mathbb{F}_{p}$ for primes $p \geq 5$. Recent works by Kaplan and Petrow generalized these results to the setting of elliptic curves that contain a subgroup isomorphic to a fixed finite abelian group $A$. We revisit these formulas and determine a simple expression for the zeta function $Z_p(A; t)$, the generating function for these $m$th power moments. In particular, we find that \[ Z_p(A;t) = \frac{\widehat{Z}_p(A; t)}{\displaystyle \prod_{a \in \textrm{Frob}_p(A)}(1 - at)},\] where $\textrm{Frob}_p(A) := \{ a \, \colon -2\sqrt{p} \leq a \leq 2\sqrt{p}\, \text{ and } a \equiv p+1 \pmod{|A|}\}$, and $\widehat{Z}_p(A;t)$ is an easily computed polynomial that is determined by the first $\Big\lceil\frac{2\lfloor 2\sqrt{p}\rfloor}{|A|}\Big\rceil$ power moments. These rational zeta functions have two natural applications. We find rational generating functions in weight aspect for traces of Hecke operators on $S_k(\Gamma)$ for various congruence subgroups $\Gamma$. We also prove congruence relations for power moments by making use of known congruences for traces of Hecke operators.


title: Crystal flex bases and the RUM spectrum

abstract: A theory of free spanning sets, free bases and their space group symmetric variants is developed for the first order flex spaces of infinite bar-joint frameworks. Such spanning sets and bases are computed for a range of fundamental crystallographic bar-joint frameworks, including the honeycomb (graphene) framework, the octahedron (perovskite) framework and the 2D and 3D kagome frameworks. It is also shown that the existence of crystal flex bases is closely related to linear structure in the rigid unit mode (RUM) spectrum and a more general geometric flex spectrum.


title: Understanding the Effectiveness of Lipschitz-Continuity in Generative Adversarial Nets

abstract: In this paper, we investigate the underlying factor that leads to failure and success in the training of GANs. We study the property of the optimal discriminative function and show that in many GANs, the gradient from the optimal discriminative function is not reliable, which turns out to be the fundamental cause of failure in training of GANs. We further demonstrate that a well-defined distance metric does not necessarily guarantee the convergence of GANs. Finally, we prove in this paper that Lipschitz-continuity condition is a general solution to make the gradient of the optimal discriminative function reliable, and characterized the necessary condition where Lipschitz-continuity ensures the convergence, which leads to a broad family of valid GAN objectives under Lipschitz-continuity condition, where Wasserstein distance is one special case. We experiment with several new objectives, which are sound according to our theorems, and we found that, compared with Wasserstein distance, the outputs of the discriminator with new objectives are more stable and the final qualities of generated samples are also consistently higher than those produced by Wasserstein distance.


title: Waveform to Single Sinusoid Regression to Estimate the F0 Contour from Noisy Speech Using Recurrent Deep Neural Networks

abstract: The fundamental frequency (F0) represents pitch in speech that determines prosodic characteristics of speech and is needed in various tasks for speech analysis and synthesis. Despite decades of research on this topic, F0 estimation at low signal-to-noise ratios (SNRs) in unexpected noise conditions remains difficult. This work proposes a new approach to noise robust F0 estimation using a recurrent neural network (RNN) trained in a supervised manner. Recent studies employ deep neural networks (DNNs) for F0 tracking as a frame-by-frame classification task into quantised frequency states but we propose waveform-to-sinusoid regression instead to achieve both noise robustness and accurate estimation with increased frequency resolution. Experimental results with PTDB-TUG corpus contaminated by additive noise (NOISEX-92) demonstrate that the proposed method improves gross pitch error (GPE) rate and fine pitch error (FPE) by more than 35 % at SNRs between -10 dB and +10 dB compared with well-known noise robust F0 tracker, PEFAC. Furthermore, the proposed method also outperforms state-of-the-art DNN-based approaches by more than 15 % in terms of both FPE and GPE rate over the preceding SNR range.


title: Active Structure-from-Motion for 3D Straight Lines

abstract: A reliable estimation of 3D parameters is a must for several applications like planning and control. Included in the latter is the Image-Based Visual Servoing, whose control scheme depends directly on 3D parameters e.g. depth of points, and depth and direction of 3D straight lines. Recently a framework for Active Structure-from-Motion was proposed, addressing the former feature type. However, straight lines were not addressed. These are 1D objects, which allow for more robust detection and tracking. In this work, the problem of Active Structure-from-Motion for 3D straight lines is addressed. An explicit representation of this type of feature is presented, and a change of variables is proposed, which allows the dynamics of the line to respect the conditions for observability of the framework. The approach is validated first in simulation for a single line, and second using a real robot. The latter set of experiments are conducted first for a single line, and then for three lines, which is the minimum required number of lines to control a 6 degree of freedom camera.


title: Semidefinite Approximations of Invariant Measures for Polynomial Systems

abstract: We consider the problem of approximating numerically the moments and the supports of measures which are invariant with respect to the dynamics of continuous- and discrete-time polynomial systems, under semialgebraic set constraints. First, we address the problem of approximating the density and hence the support of an invariant measure which is absolutely continuous with respect to the Lebesgue measure. Then, we focus on the approximation of the support of an invariant measure which is singular with respect to the Lebesgue measure. Each problem is handled through an appropriate reformulation into a linear optimization problem over measures, solved in practice with two hierarchies of finite-dimensional semidefinite moment-sum-of-square relaxations, also called Lasserre hierarchies. Under specific assumptions, the first Lasserre hierarchy allows to approximate the moments of an absolutely continuous invariant measure as close as desired and to extract a sequence of polynomials converging weakly to the density of this measure. The second Lasserre hierarchy allows to approximate as close as desired in the Hausdorff metric the support of a singular invariant measure with the level sets of the Christoffel polynomials associated to the moment matrices of this measure. We also present some application examples together with numerical results for several dynamical systems admitting either absolutely continuous or singular invariant measures.


title: LeapsAndBounds: A Method for Approximately Optimal Algorithm Configuration

abstract: We consider the problem of configuring general-purpose solvers to run efficiently on problem instances drawn from an unknown distribution. The goal of the configurator is to find a configuration that runs fast on average on most instances, and do so with the least amount of total work. It can run a chosen solver on a random instance until the solver finishes or a timeout is reached. We propose LeapsAndBounds, an algorithm that tests configurations on randomly selected problem instances for longer and longer time. We prove that the capped expected runtime of the configuration returned by LeapsAndBounds is close to the optimal expected runtime, while our algorithm's running time is near-optimal. Our results show that LeapsAndBounds is more efficient than the recent algorithm of Kleinberg et al. (2017), which, to our knowledge, is the only other algorithm configuration method with non-trivial theoretical guarantees. Experimental results on configuring a public SAT solver on a new benchmark dataset also stand witness to the superiority of our method.


title: Pseudodoping of Metallic Two-Dimensional Materials by The Supporting Substrates

abstract: We demonstrate how hybridization between a two-dimensional material and its substrate can lead to an apparent heavy doping, using the example of monolayer TaS$_2$ grown on Au(111). Combining $\textit{ab-initio}$ calculations, scanning tunneling spectroscopy experiments and a generic model, we show that strong changes in Fermi areas can arise with much smaller actual charge transfer. This mechanism, which we refer to as pseudodoping, is a generic effect for metallic two-dimensional materials which are either adsorbed to metallic substrates or embedded in vertical heterostructures. It explains the apparent heavy doping of TaS$_2$ on Au(111) observed in photoemission spectroscopy and spectroscopic signatures in scanning tunneling spectroscopy. Pseudodoping is associated with non-linear energy-dependent shifts of electronic spectra, which our scanning tunneling spectroscopy experiments reveal for clean and defective TaS$_2$ monolayer on Au(111). The influence of pseudodoping on the formation of charge ordered, magnetic, or superconducting states is analyzed.


title: On Possible Limit Functions on a Fatou Component in non-Autonomous Iteration

abstract: The possibilities for limit functions on a Fatou component for the iteration of a single polynomial or rational function are well understood and quite restricted. In non-autonomous iteration, where one considers compositions of arbitrary polynomials with suitably bounded degrees and coefficients, one should observe a far greater range of behaviour. We show this is indeed the case and we exhibit a bounded sequence of quadratic polynomials which has a bounded Fatou component on which one obtains as limit functions every member of the classical Schlicht family of normalized univalent functions on the unit disc. The proof is based on quasiconformal surgery and the use of high iterates of a quadratic polynomial with a Siegel disc which closely approximate the identity on compact subsets. Careful bookkeeping using the hyperbolic metric is required to control the errors in approximating the desired limit functions and ensure that these errors ultimately tend to zero.


title: Monitoring Hyperproperties

abstract: Hyperproperties, such as non-interference and observational determinism, relate multiple system executions to each other. They are not expressible in standard temporal logics, like LTL, CTL, and CTL*, and thus cannot be monitored with standard runtime verification techniques. HyperLTL extends linear-time temporal logic (LTL) with explicit quantification over traces in order to express Hyperproperties. We investigate the runtime verification problem of HyperLTL formulas for three different input models: (1) The parallel model, where a fixed number of system executions is processed in parallel. (2) The unbounded sequential model, where system executions are processed sequentially, one execution at a time. In this model, the number of incoming executions may grow forever. (3) The bounded sequential model where the traces are processed sequentially and the number of incoming executions is bounded. We show that deciding monitorability of HyperLTL formulas is PSPACE-complete for input models (1) and (3). Deciding monitorability is PSPACE-complete for alternation-free HyperLTL formulas in input model (2). For every input model, we provide practical monitoring algorithms. We also present various optimization techniques. By recognizing properties of specifications such as reflexivity, symmetry, and transitivity, we reduce the number of comparisons between traces. For the sequential models, we present a technique that minimized the number of traces that need to be stored. Finally, we provide an optimization that succinctly represents the stored traces by sharing common prefixes. We evaluate our optimizations, showing that this leads to much more scalable monitoring, in particular, significantly lower memory consumption.


title: A-priori study of the subgrid energy transfers for small-scale dynamo in kinematic and saturation regimes

abstract: The statistical properties of the subgrid energy transfers of homogeneous small-scale dynamo are investigated during the kinematic, nonlinear and statistically saturated stages. We carry out an a priori analysis of data obtained from an ensemble of direct numerical simulations on $512^3$ grid points and at unity magnetic Prandtl number. In order to provide guidance for subgrid-scale (SGS) modelling of different types of energy transfer that occur in magnetohydrodynamic dynamos, we consider the SGS stress tensors originating from inertial dynamics, Lorentz force and the magnetic induction separately. We find that all SGS energy transfers display some degree of intermittency as quantified by the scale-dependence of their respective probability density functions. Concerning the inertial dynamics, a depletion of intermittency occurs in presence of a saturated dynamo.


title: Role of thermal expansion heterogeneity in the cryogenic rejuvenation of metallic glasses

abstract: Cryogenic rejuvenation in metallic glasses reported in Ketov et al 's experiment (Nature(2015)524,200) has attracted much attention, both in experiments and numerical studies. The atomic mechanism of rejuvenation has been conjectured to be related to the heterogeneity of the glassy state, but the quantitative evidence is still elusive. Here we use molecular dynamics simulations of a model metallic glass to investigate the heterogeneity in the local thermal expansion. We then combine the resulting spatial distribution of thermal expansion with a continuum mechanics calculation to infer the internal stresses caused by a thermal cycle. Comparing the internal stress with the local yield stress, we prove that the heterogeneity in thermomechanical response has the potential to trigger local shear transformations, and therefore to induce rejuvenation during a cryogenic thermal cycling.


title: Chaos and $\mathcal{PT}$-symmetry breaking transitions in a driven, nonlinear dimer with balanced gain and loss

abstract: Dynamics of a simple system, such as a two-state (dimer) model, are dramatically changed in the presence of interactions and external driving, and the resultant unitary dynamics show both regular and chaotic regions. We investigate the non-unitary dynamics of such a dimer in the presence of balanced gain and loss for the two states, i.e. a $\mathcal{PT}$ symmetric dimer. We find that at low and high driving frequencies, the $\mathcal{PT}$-symmetric dimer motion continues to be regular, and the system is in the $\mathcal{PT}$-symmetric state. On that other hand, for intermediate driving frequency, the system shows chaotic motion, and is usually in the $\mathcal{PT}$-symmetry broken state. Our results elucidate the interplay between the $\mathcal{PT}$-symmetry breaking transitions and regular-chaotic transitions in an experimentally accessible toy model.


title: FTP and NSO: Astronomy With (Several) Robotic Telescopes

abstract: We present details of two UK based robotic telescope projects, The Faulkes Telescope Project and the National Schools Observatory. We discuss details on how these projects utilise large aperture robotic telescopes for education purposes.


title: A 3D Model of AR 11726 Heated by Nanoflares

abstract: The Extreme Ultraviolet Normal Incidence Spectrograph (EUNIS) and the Hinode/ EUV Imaging Spectrometer (EIS) observed AR 11726 on 2013 April 23. We present intensity images in numerous atomic lines constructed from these observations. These lines are formed over a wide range of temperatures, and we use their relative intensities to constrain a parameterization of nanoflare heating. We construct a 3D model of the magnetic field in this active region by extrapolating the surface magnetic field into the corona and using SDO/AIA images of coronal loops to ensure that extrapolated magnetic field lines co-align with observed coronal loops. We trace 2848 magnetic field lines within the volume of this active region and model how they fill with hot plasma in response to nanoflare heating. We perform a parameter study to determine how the frequency and energy released in nanoflares scale with magnetic field strength and loop length. From our 3D model, we construct synthetic images of the lines observed by EUNIS and EIS and constrain the parameter study by minimizing the difference between the synthetic and observed images.


title: A Nonhyperbolic Toy Model of Cochlear Dynamics

abstract: Cochlea displays complex and highly nonlinear behavior in response to wide-ranging auditory stimuli. While there have been many recent advancements in the modeling of cochlear dynamics, it remains unclear what mathematical structures underlie the essential features of the extended cochlea. We construct a dynamical system consisting of a series of strongly coupled critical oscillators to show that high-dimensional nonhyperbolic dynamics can account for high-order compressive nonlinearities, amplification of weak input, frequency selectivity, and traveling waves of activity. As a single Hopf bifurcation generically gives rise to features of cochlea at a local level, the nonhyperbolicity mechanism proposed in this paper can be seen as a higher-dimensional analogue for the entire extended cochlea.


title: Ion Traps and the Memory Effect for Periodic Gravitational Waves

abstract: The Eisenhart lift of a Paul Trap used to store ions in molecular physics is a linearly polarized periodic gravitational wave. A modified version of Dehmelt's Penning Trap is in turn related to circularly polarized periodic gravitational waves, sought for in inflationary models. Similar equations rule also the Lagrange points in Celestial Mechanics. The explanation is provided by anisotropic oscillators.

categories: gr-qc astro-ph.CO hep-th physics.class-ph


title: Slightly degenerate categories and $\mathbb{Z}$-modular data

abstract: Given a slightly degenerate fusion category $\mathcal{C}$, we explain how it naturally gives rise to a Z-modular data. We do not restrict to spherical categories and work with pivotal categories instead. Finally, we give an interpretation in this framework of the Bonnaf\'e-Rouquier categorification of the $\mathbb{Z}$-modular datum associated to non trivial family of the cyclic complex reflection group.


title: Moments of general time dependent branching processes with applications

abstract: In this paper, we give sufficient conditions for a Crump-Mode-Jagers process to be bounded in $L_k$ for a given $k>1$. This result is then applied to a recent random graph process motivated by pairwise collaborations and driven by time-dependent branching dynamics. We show that the maximal degree has the same rate of increase as the degree process of a fixed vertex.


title: Multi-fluid Theory and Cosmology: A Convective Variational Approach to Interacting Dark-Sector

abstract: This article examines the foundation of the recently developed relativistic variational formalism[1]. Our work is heavily based on [2, 27] which extends this approach to the multi-fluid theory and examines its utility in astrophysics and cosmology. Unlike the extension to the formalism mentioned above, that looks at the general interaction between different types of matter, we use the formalism to examine the interaction involving, ordinary matter, dark matter (DM) and dark energy (DE). We focus on entrainment phenomena involving the dark-sector constituents.


title: A high-performance interactive computing framework for engineering applications

abstract: To harness the potential of advanced computing technologies, efficient (real time) analysis of large amounts of data is as essential as are front-line simulations. In order to optimise this process, experts need to be supported by appropriate tools that allow to interactively guide both the computation and data exploration of the underlying simulation code. The main challenge is to seamlessly feed the user requirements back into the simulation. State-of-the-art attempts to achieve this, have resulted in the insertion of so-called check- and break-points at fixed places in the code. Depending on the size of the problem, this can still compromise the benefits of such an attempt, thus, preventing the experience of real interactive computing. To leverage the concept for a broader scope of applications, it is essential that a user receives an immediate response from the simulation to his or her changes. Our generic integration framework, targeted to the needs of the computational engineering domain, supports distributed computations as well as on-the-fly visualisation in order to reduce latency and enable a high degree of interactivity with only minor code modifications. Namely, the regular course of the simulation coupled to our framework is interrupted in small, cyclic intervals followed by a check for updates. When new data is received, the simulation restarts automatically with the updated settings (boundary conditions, simulation parameters, etc.). To obtain rapid, albeit approximate feedback from the simulation in case of perpetual user interaction, a multi-hierarchical approach is advantageous. Within several different engineering test cases, we will demonstrate the flexibility and the effectiveness of our approach.


title: Drinfeld double of quantum groups, tilting modules and $\mathbb{Z}$-modular data associated to complex reflection groups

abstract: Generalizing Lusztig's work, Malle has associated to some imprimitive complex reflection group $W$ a set of "unipotent characters", which are in bijection of the usual unipotent characters of the associated finite reductive group if $W$ is a Weyl group. He also obtained a partition of these characters into families and associated to each family a $\mathbb{Z}$-modular datum. We construct a categorification of some of these data, by studying the category of tilting modules of the Drinfeld double of the quantum enveloping algebra of the Borel of a simple complex Lie algebra.


title: Path Finding for the Coalition of Co-operative Agents Acting in the Environment with Destructible Obstacles

abstract: The problem of planning a set of paths for the coalition of robots (agents) with different capabilities is considered in the paper. Some agents can modify the environment by destructing the obstacles thus allowing the other ones to shorten their paths to the goal. As a result the mutual solution of lower cost, e.g. time to completion, may be acquired. We suggest an original procedure to identify the obstacles for further removal that can be embedded into almost any heuristic search planner (we use Theta*) and evaluate it empirically. Results of the evaluation show that time-to-complete the mission can be decreased up to 9-12 % by utilizing the proposed technique.


title: HgCdTe APD Arrays for Astronomy: Natural Guide Star Wavefront Sensing and Space Astronomy

abstract: This dissertation describes work I have conducted over five academic years 2013/14 through 2017/18 as a NASA Space Technology Research Fellow at the University of Hawai'i Institute for Astronomy. The focus has been the characterization and improvement of the Selex Avalanche Photodiode HgCdTe InfraRed Array (SAPHIRA), a 320 x 256@24um pitch metal organic vapor phase epitaxy mercury cadmium telluride array that provides new capabilities and performance for near infrared (NIR) astronomy. This has involved more than a dozen arrays, working closely with the manufacturer so as to provide feedback for improvement of the next generation.


title: The TROY project: II. Multi-technique constraints on exotrojans in nine planetary systems

abstract: Co-orbital bodies are the byproduct of planet formation and evolution, as we know from the Solar System. Although planet-size co-orbitals do not exists in our planetary system, dynamical studies show that they can remain stable for long periods of time in the gravitational well of massive planets. Should they exist, their detection is feasible with the current instrumentation. In this paper, we present new ground-based observations searching for these bodies co-orbiting with nine close-in (P<5 days) planets, using different observing techniques. The combination of all of them allows us to restrict the parameter space of any possible trojan in the system. We use multi-technique observations (radial velocity, precision photometry and transit timing variations), both newly acquired in the context of the TROY project and publicly available, to constrain the presence of planet-size trojans in the Lagrangian points of nine known exoplanets. We find no clear evidence of trojans in these nine systems through any of the techniques used down to the precision of the observations. However, this allows us to constrain the presence of any potential trojan in the system, specially in the trojan mass/radius versus libration amplitude plane. In particular, we can set upper mass limits in the super-Earth mass regime for six of the studied systems.


title: Demonstration of long-term thermally stable Silicon-Organic Hybrid Modulators at 85 {\deg}C

abstract: We report on the first demonstration of long-term thermally stable silicon-organic hybrid (SOH) modulators in accordance with Telcordia standards of high-temperature storage. The devices rely on an organic electro-optic sidechain polymer with a high glass transition temperature of 172 {\deg}C. In our high-temperature storage experiments at 85 {\deg}C, we find that the electro-optic activity converges to a constant long-term stable level after an initial decay. If we consider a burn-in time of 300 h, the {\pi}-voltage of the modulators increases on average by less than 15 % if we store the devices for additional 2400 h. The performance of the devices is demonstrated by generating high-quality 40 Gbit/s OOK signals both after the burn-in period and after extended high-temperature storage.


title: Representation Mapping: A Novel Approach to Generate High-Quality Multi-Lingual Emotion Lexicons

abstract: In the past years, sentiment analysis has increasingly shifted attention to representational frameworks more expressive than semantic polarity (being positive, negative or neutral). However, these richer formats (like Basic Emotions or Valence-Arousal-Dominance, and variants therefrom), rooted in psychological research, tend to proliferate the number of representation schemes for emotion encoding. Thus, a large amount of representationally incompatible emotion lexicons has been developed by various research groups adopting one or the other emotion representation format. As a consequence, the reusability of these resources decreases as does the comparability of systems using them. In this paper, we propose to solve this dilemma by methods and tools which map different representation formats onto each other for the sake of mutual compatibility and interoperability of language resources. We present the first large-scale investigation of such representation mappings for four typologically diverse languages and find evidence that our approach produces (near-)gold quality emotion lexicons, even in cross-lingual settings. Finally, we use our models to create new lexicons for eight typologically diverse languages.


title: Dynamics of beryllium-7 specific activity in relation to meteorological variables, tropopause height, teleconnection indices and sunspot number

abstract: The dynamics of the beryllium-7 specific activity in surface air over 1987--2011 is analyzed using wavelet transform (WT) analysis and time-dependent detrended moving average (tdDMA) method. WT analysis gives four periodicities in the beryllium-7 specific activity: one month, three months, one year, and three years. These intervals are further used in tdDMA to calculate local autocorrelation exponents for precipitation, tropopause height and teleconnection indices. Our results show that these parameters share common periods with the beryllium-7 surface concentration. tdDMA method indicates that on the characteristic intervals of one year and shorter, the beryllium-7 specific activity is strongly autocorrelated. On the three-year interval, the beryllium-7 specific activity shows periods of anticorrelation, implying slow changes in its dynamics that become evident only over a prolonged period of time. A comparison of the Hurst exponents of all the variables on the one- and three-year intervals suggest some similarities in their dynamics. Overall, a good agreement in the behavior of the teleconnection indices and specific activity of beryllium-7 in surface air is noted.


title: Comment on "Evidence for absence of metallic surface states in BiO2-terminated BaBiO3 thin films"

abstract: In a recent work by Ji Seop Oh et al., BaBiO3(001) thin films were grown on SrTiO3 by Pulsed Laser Deposition. It was argued that the films are BiO2-terminated from the modelling of angle-resolved photoemission spectroscopy experiments. The authors claim, in opposition to previous theoretical predictions, that there are no metallic surface states on their films. In this short comment we question that the authors have enough evidence to make such a claim, as we consider that the large mismatch between SrTiO3 and BaBiO3 and the lack of control of their fabrication process with reflection high energy electron difraction could unlikely give high quality films with a single BiO2- termination, which is one of the requisites for the stabilization of these surface metallic states.


title: The KSVZ Axion Model with Quasi-Degenerate Minima: A Unified Model for Dark Matter and Dark Energy

abstract: We consider the possibility that dark matter and dark energy can be explained by the minimal KSVZ axion model. This is possible if the lowest energy metastable minimum of the scalar potential has zero energy density, which is possible in theoretical models of vacuum energy cancellation based on spacetime averaging and in models based on energy parity. Dark energy is then understood as being due to the energy density of the metastable electroweak vacuum relative to a second quasi-degenerate metastable minimum. The requirement of quasi-degenerate minima is a non-trivial condition which completely determines the form of the potential for a given value of the axion decay constant, $f_{a}$, and the PQ scalar self-coupling, $\lambda_{\phi}$. The existence of the second quasi-degenerate minimum imposes a new lower bound on the axion decay constant, $f_{a} \geq 2.39 \times 10^{10} \, \lambda_{\phi}^{-1/4}$ GeV. If the PQ symmetry is broken after inflation then the lower bound on $f_{a}$ implies a lower bound on the amount of axion dark matter, $\Omega_{a}/\Omega_{dm} \geq (0.28-0.46)\,\lambda_{\phi}^{-0.291}$, where the range is due to the uncertainty in the amount of axion dark matter produced by vacuum realignment, cosmic strings and domain walls, therefore at least 30$\%$ of dark matter must be due to axions if $\lambda_{\phi} \lesssim 1$. When axions constitute all of the dark matter and the PQ symmetry is broken after inflation, $f_{a}$, and so the form of the scalar potential, is completely fixed for a given value of $\lambda_{\phi}$, with only a weak dependence on $\lambda_{\phi}$. This will allow the inflation and post-inflation evolution of the model to be quantitatively studied for a given inflation model and dimensionally natural values of $\lambda_{\phi}$.


title: Strong-Field Polarizability-Enhanced Dissociative Ionization

abstract: We investigate dissociative single and double ionization of HeH+ induced by intense femtosecond laser pulses. By employing a semi-classical model with nuclear trajectories moving on field-dressed surfaces and ionization events treated as stochastical jumps, we identify a strong-field mechanism wherein the molecules dynamically align along the laser polarization axis and stretch towards a critical internuclear distance before getting dissociative ionized. As the tunnel-ionization rate is greater for larger internuclear distance and for aligned samples, ionization is enhanced. The strong dynamical rotation is traced back to a maximum in the parallel component of the internuclear-distance-dependent polarizability tensor. Qualitative agreement with our experimental observations is found. Finally the criteria for observing the isotope effect for the ion angular distribution is discussed.


title: Ambient Hidden Space of Generative Adversarial Networks

abstract: Generative adversarial models are powerful tools to model structure in complex distributions for a variety of tasks. Current techniques for learning generative models require an access to samples which have high quality, and advanced generative models are applied to generate samples from noisy training data through ambient modules. However, the modules are only practical for the output space of the generator, and their application in the hidden space is not well studied. In this paper, we extend the ambient module to the hidden space of the generator, and provide the uniqueness condition and the corresponding strategy for the ambient hidden generator in the adversarial training process. We report the practicality of the proposed method on the benchmark dataset.


title: Euclidean correlators at imaginary spatial momentum and their relation to the thermal photon emission rate

abstract: The photon emission rate of a thermally equilibrated system is determined by the imaginary part of the in-medium retarded correlator of the electromagnetic current transverse to the spatial momentum of the photon. In a Lorentz-covariant theory, this correlator can be parametrized by a scalar function ${\cal G}_R(u\cdot {\cal K},{\cal K}^2)$, where $u$ is the fluid four-velocity and ${\cal K}$ corresponds to the momentum of the photon. We propose to compute the analytic continuation of ${\cal G}_R(u\cdot {\cal K},{\cal K}^2)$ at fixed, vanishing virtuality ${\cal K}^2$, to imaginary values of the first argument, $u\cdot {\cal K}= i\omega_n$. At these kinematics, the retarded correlator is equal to the Euclidean correlator $G_E(\omega_n, k=i\omega_n)$, whose first argument is the Matsubara frequency and the second is the spatial momentum. The Euclidean correlator, which is directly accessible in lattice QCD simulations, must be given an imaginary spatial momentum in order to realize the photon on-shell condition. Via a once-subtracted dispersion relation that we derive in a standard way at fixed ${\cal K}^2=0$, the Euclidean correlator with imaginary spatial momentum is related to the photon emission rate. The relation allows for a more direct probing of the real-photon emission rate of the quark-gluon plasma in lattice QCD than the dispersion relations which have been used so far, the latter being at fixed spatial photon momentum $k$ and thus involving all possible virtualities of the photon.


title: Measurement of differential cross sections for inclusive isolated-photon and photon+jet production in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Measurements of inclusive isolated-photon and photon+jet production in proton-proton collisions at $\sqrt{s} =$ 13 TeV are presented. The analysis uses data collected by the CMS experiment in 2015, corresponding to an integrated luminosity of 2.26 fb$^{-1}$. The cross section for inclusive isolated photon production is measured as a function of the photon transverse energy in a fiducial region. The cross section for photon+jet production is measured as a function of the photon transverse energy in the same fiducial region with identical photon requirements and with the highest transverse momentum jet. All measurements are in agreement with predictions from next-to-leading-order perturbative QCD.


title: Variety of rotation modes in a small chain of coupled pendulums

abstract: This article studies the rotational dynamics of three identical coupled pendulums. There exist two parameter areas where the in-phase rotational motion is unstable and out-of-phase rotations are realized. Asymptotic theory is developed that allows to analytically identify boarders of instability areas of in-phase rotation motion. It is shown that out-of-phase rotations are the result of parametric instability of in-phase motion. Complex out-of-phase rotations are numerically found and their stability and bifurcations are defined. It is demonstrated that emergence of chaotic dynamics happens due period doubling bifurcation cascade. The detail scenario of symmetry breaking is presented. The development of chaotic dynamics leads to origin of two chaotic attractors of different types. The first one is characterized by the different phases of all pendulums. In the second case the phases of two pendulums are equal, and the phase of the third one is different. This regime with partial symmetry breaking is a chaotic chimera.


title: Conditional channel simulation

abstract: In this work we design a specific simulation tool for quantum channels which is based on the use of a control system. This allows us to simulate an average quantum channel which is expressed in terms of an ensemble of channels, even when these channel-components are not jointly teleportation-covariant. This design is also extended to asymptotic simulations, continuous ensembles, and memory channels. As an application, we derive relative-entropy-of-entanglement upper bounds for private communication over various channels, including non-Gaussian mixtures of bosonic lossy channels. Among other results, we also establish the two-way quantum and private capacity of the so-called `dephrasure' channel.


title: Rule Algebras for Adhesive Categories

abstract: We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably, our results hold in the general setting of $\mathcal{M}$-adhesive categories. This observation complements the classical Concurrency Theorem of DPO rewriting. We then proceed to define rule algebras in both settings, where the most general categories permissible are the finitary (or finitary restrictions of) $\mathcal{M}$-adhesive categories with $\mathcal{M}$-effective unions. If in addition a given such category possess an $\mathcal{M}$-initial object, the resulting rule algebra is unital (in addition to being associative). We demonstrate that in this setting a canonical representation of the rule algebras is obtainable, which opens the possibility of applying the concept to define and compute the evolution of statistical moments of observables in stochastic DPO rewriting systems.


title: Probing the Universe through the Stochastic Gravitational Wave Background

abstract: Stochastic gravitational wave backgrounds, predicted in many models of the early universe and also generated by various astrophysical processes, are a powerful probe of the Universe. The spectral shape is key information to distinguish the origin of the background since different production mechanisms predict different shapes of the spectrum. In this paper, we investigate how precisely future gravitational wave detectors can determine the spectral shape using single and broken power-law templates. We consider the detector network of Advanced-LIGO, Advanced-Virgo and KAGRA and the space-based gravitational-wave detector DECIGO, and estimate the parameter space which could be explored by these detectors. We find that, when the spectrum changes its slope in the frequency range of the sensitivity, the broken power-law templates dramatically improve the $\chi^2$ fit compared with the single power-law templates and help to measure the shape with a good precision.


title: A Unified Approach to Quantifying Algorithmic Unfairness: Measuring Individual & Group Unfairness via Inequality Indices

abstract: Discrimination via algorithmic decision making has received considerable attention. Prior work largely focuses on defining conditions for fairness, but does not define satisfactory measures of algorithmic unfairness. In this paper, we focus on the following question: Given two unfair algorithms, how should we determine which of the two is more unfair? Our core idea is to use existing inequality indices from economics to measure how unequally the outcomes of an algorithm benefit different individuals or groups in a population. Our work offers a justified and general framework to compare and contrast the (un)fairness of algorithmic predictors. This unifying approach enables us to quantify unfairness both at the individual and the group level. Further, our work reveals overlooked tradeoffs between different fairness notions: using our proposed measures, the overall individual-level unfairness of an algorithm can be decomposed into a between-group and a within-group component. Earlier methods are typically designed to tackle only between-group unfairness, which may be justified for legal or other reasons. However, we demonstrate that minimizing exclusively the between-group component may, in fact, increase the within-group, and hence the overall unfairness. We characterize and illustrate the tradeoffs between our measures of (un)fairness and the prediction accuracy.


title: Transport Measurements of Surface Electrons in 200 nm Deep Helium-Filled Microchannels Above Amorphous Metallic Electrodes

abstract: We report transport measurements of electrons on helium in a microchannel device where the channels are 200 nm deep and 3 $\mu$m wide. The channels are fabricated above amorphous metallic Ta$_{40}$W$_{40}$Si$_{20}$, which has surface roughness below 1 nm and minimal variations in work function across the surface due to the absence of polycrystalline grains. We are able to set the electron density in the channels using a ground plane. We estimate a mobility of 300 cm$^2$/V$\cdot$s and electron densities as high as 2.56$\times$10$^9$ cm$^{-2}$. We demonstrate control of the transport using a barrier which enables pinchoff at a central microchannel connecting two reservoirs. The conductance through the central microchannel is measured to be 10 nS for an electron density of 1.58$\times$10$^9$ cm$^{-2}$. Our work extends transport measurements of surface electrons to thin helium films in microchannel devices above metallic substrates.


title: The exon junction complex undergoes a compositional switch that alters mRNP structure and nonsense-mediated mRNA decay activity

abstract: The exon junction complex (EJC) deposited upstream of mRNA exon junctions shapes structure, composition and fate of spliced mRNA ribonucleoprotein particles (mRNPs). To achieve this, the EJC core nucleates assembly of a dynamic shell of peripheral proteins that function in diverse post-transcriptional processes. To illuminate consequences of EJC composition change, we purified EJCs from human cells via peripheral proteins RNPS1 and CASC3. We show that EJC originates as an SR-rich mega-dalton sized RNP that contains RNPS1 but lacks CASC3. After mRNP export to the cytoplasm and before translation, the EJC undergoes a remarkable compositional and structural remodeling into an SR-devoid monomeric complex that contains CASC3. Surprisingly, RNPS1 is important for nonsense-mediated mRNA decay (NMD) in general whereas CASC3 is needed for NMD of only select mRNAs. The promotion of switch to CASC3-EJC slows down NMD. Overall, the EJC compositional switch dramatically alters mRNP structure and specifies two distinct phases of EJC-dependent NMD.


title: An energy-based generative sequence model for testing sensory theories of Western harmony

abstract: The relationship between sensory consonance and Western harmony is an important topic in music theory and psychology. We introduce new methods for analysing this relationship, and apply them to large corpora representing three prominent genres of Western music: classical, popular, and jazz music. These methods centre on a generative sequence model with an exponential-family energy-based form that predicts chord sequences from continuous features. We use this model to investigate one aspect of instantaneous consonance (harmonicity) and two aspects of sequential consonance (spectral distance and voice-leading distance). Applied to our three musical genres, the results generally support the relationship between sensory consonance and harmony, but lead us to question the high importance attributed to spectral distance in the psychological literature. We anticipate that our methods will provide a useful platform for future work linking music psychology to music theory.


title: Pragmatic approach to structured data querying via natural language interface

abstract: As the use of technology increases and data analysis becomes integral in many businesses, the ability to quickly access and interpret data has become more important than ever. Information retrieval technologies are being utilized by organizations and companies to manage their information systems and processes. Despite information retrieval of a large amount of data being efficient organized in relational databases, a user still needs to master the DB language/schema to completely formulate the queries. This puts a burden on organizations and companies to hire employees that are proficient in DB languages/schemas to formulate queries. To reduce some of the burden on already overstretched data teams, many organizations are looking for tools that allow non-developers to query their databases. Unfortunately, writing a valid SQL query that answers the question a user is trying to ask isn't always easy. Even seemingly simple questions, like "Which start-up companies received more than $200M in funding?" can actually be very hard to answer, let alone convert into a SQL query. How do you define start-up companies? By size, location, duration of time they have been incorporated? This may be fine if a user is working with a database they're already familiar with, but what if users are not familiar with the database. What is needed is a centralized system that can effectively translate natural language queries into specific database queries for different customer database types. There is a number of factors that can dramatically affect the system architecture and the set of algorithms used to translate NL queries into a structured query representation.


title: Exact quantization of superconducting circuits

abstract: We present a theoretical description for circuits consisting of weak anharmonic qubits coupled to cavity multimodes. We obtain a unitary transformation that diagonalizes harmonic sector of the circuit. Weak anharmonicity does not alter the normal mode basis, however it can modify energy levels. We study two examples of a transmon and two transmons coupled to bus resonator, and we determine dressed frequencies and Kerr nonlinearities in closed form formulas. Our results are valid for arbitrary frequency detuning and coupling within and beyond dispersive regime.


title: Hypergraph Lagrangians I: the Frankl-F\"uredi conjecture is false

abstract: An old and well-known conjecture of Frankl and F\"{u}redi states that the Lagrangian of an $r$-uniform hypergraph with $m$ edges is maximised by an initial segment of colex. In this paper we disprove this conjecture by finding an infinite family of counterexamples for all $r \ge 4$. We also show that, for sufficiently large $t \in \mathbb{N}$, the conjecture is true in the range $\binom{t}{r} \le m \le \binom{t+1}{r} - \binom{t-1}{r-2}$.


title: Efficient Computation of Feedback Control for Constrained Systems

abstract: A method is presented for solving the discrete-time finite-horizon Linear Quadratic Regulator (LQR) problem subject to auxiliary linear equality constraints, such as fixed end-point constraints. The method explicitly determines an affine relationship between the control and state variables, as in standard Riccati recursion, giving rise to feedback control policies that account for constraints. Since the linearly-constrained LQR problem arises commonly in robotic trajectory optimization, having a method that can efficiently compute these solutions is important. We demonstrate some of the useful properties and interpretations of said control policies, and we compare the computation time of our method against existing methods.


title: CoCalc as a Learning Tool for Neural Network Simulation in the Special Course "Foundations of Mathematic Informatics"

abstract: The role of neural network modeling in the learning content of the special course "Foundations of Mathematical Informatics" was discussed. The course was developed for the students of technical universities - future IT-specialists and directed to breaking the gap between theoretic computer science and it's applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic "Neural network and pattern recognition" of the special course "Foundations of Mathematic Informatics" are shown. The program code was presented in a CoffeeScript language, which implements the basic components of artificial neural network: neurons, synaptic connections, functions of activations (tangential, sigmoid, stepped) and their derivatives, methods of calculating the network's weights, etc. The features of the Kolmogorov-Arnold representation theorem application were discussed for determination the architecture of multilayer neural networks. The implementation of the disjunctive logical element and approximation of an arbitrary function using a three-layer neural network were given as an examples. According to the simulation results, a conclusion was made as for the limits of the use of constructed networks, in which they retain their adequacy. The framework topics of individual research of the artificial neural networks is proposed.


title: Resolving the kinematics of the disks around Galactic B[e] supergiants

abstract: B[e] Supergiants are luminous evolved massive stars. The mass-loss during this phase creates a complex circumstellar environment with atomic, molecular, and dusty regions usually found in rings or disk-like structures. For a better comprehension of the mechanisms behind the formation of these rings, detailed knowledge about their structure and dynamics is essential. To address that, we obtained high-resolution optical and near-infrared spectra for 8 selected Galactic B[e] Supergiants, for which CO emission has been detected. Assuming Keplerian rotation for the disk, we combine the kinematics obtained from the CO bands in the near-IR with those obtained by fitting the forbidden emission [OI] $\lambda$5577, [OI] $\lambda\lambda$6300,6363, and [CaII] $\lambda\lambda$7291,7323 lines in the optical to probe the disk structure. We find that the emission originates from multiple ring structures around all B[e] Supergiants, with each one of them displaying a unique combination of rings regardless of whether the object is part of a binary system. The confirmed binaries display spectroscopic variations of their line intensities and profiles as well as photometric variability, whereas the ring structures around the single stars are stable.


title: Black holes and class groups

abstract: The theory of quadratic forms and class numbers has connections to many classical problems in number theory. Recently, class numbers have appeared in the study of black holes in string theory. We describe this connection and raise questions in the hope of inspiring new collaborations between number theorists and physicists.


title: Big-bang nucleosynthesis and cosmic microwave background constraints on non-minimally coupled theories of gravity

abstract: In this paper we show that the baryon-to-photon ratio $\eta$ is in general not conserved before decoupling in non-minimally coupled theories of gravity. We use big-bang nucleosynthesis and cosmic microwave background limits on the baryon-to-photon ratio $\eta$ to derive new constraints on modified gravity theories with a universal non-minimal coupling between matter and curvature, showing that they rule out a specific class of models previously considered in the literature as a substitute for the dark matter. We also compare these new constraints with the ones obtained from the COBE-FIRAS limits on CMB spectral distortions, highlighting the complementarity between them.


title: Cosmic Ray Electrons and Protons ~1 MeV - A 40 Year Study of Their Intensities from the Earth to the Heliopause and Beyond Into Local Interstellar Space by the CRS Experiment on Voyager 1

abstract: Studies on Voyager 1 using the CRS instrument have shown the presence of sub-MeV electrons in the interstellar medium beyond the heliopause. We believe that these electrons are the very low energy tail of the distribution of galactic GeV cosmic ray electrons produced in the galaxy. If so this observation places constraints on the origin and possible source distribution of these electrons in the galaxy. The intensities of these electrons as well as MeV protons and other higher energy electrons and nuclei have been followed outward from the Earth to beyond the heliopause during the 40 years of the Voyager mission. Among the other new features found in this study of the radial dependence of the electron intensity in the heliosphere are: 1. The heliosheath is a source of sub-MeV electrons as well as the already known anomalous cosmic rays of MeV and above, none of which appear to escape from the heliosphere because of an almost impenetrable heliopause at these lower energies; 2. Solar modulation effects are observed for these MeV electrons throughout the heliosphere. These modulation effects are particularly strong for electrons in the heliosheath and comprise over 90 percent of the observed intensity change of these electrons of 10-60 MeV between the Earth and the heliopause. Even for nuclei of 1 GV in rigidity, over 30 percent of the total intensity difference between the Earth and the LIM occurs in the heliosheath; 3. The 2 MeV protons studied here for the first time beyond the heliopause are also part of the low energy tail of the spectrum of galactic cosmic ray protons, similar to the tail noted above for sub MeV galactic cosmic ray electrons.


title: Quantum-assisted quantum compiling

abstract: Compiling quantum algorithms for near-term quantum computers (accounting for connectivity and native gate alphabets) is a major challenge that has received significant attention both by industry and academia. Avoiding the exponential overhead of classical simulation of quantum dynamics will allow compilation of larger algorithms, and a strategy for this is to evaluate an algorithm's cost on a quantum computer. To this end, we propose a variational hybrid quantum-classical algorithm called quantum-assisted quantum compiling (QAQC). In QAQC, we use the overlap between a target unitary $U$ and a trainable unitary $V$ as the cost function to be evaluated on the quantum computer. More precisely, to ensure that QAQC scales well with problem size, our cost involves not only the global overlap ${\rm Tr} (V^\dagger U)$ but also the local overlaps with respect to individual qubits. We introduce novel short-depth quantum circuits to quantify the terms in our cost function, and we prove that our cost cannot be efficiently approximated with a classical algorithm under reasonable complexity assumptions. We present both gradient-free and gradient-based approaches to minimizing this cost. As a demonstration of QAQC, we compile various one-qubit gates on IBM's and Rigetti's quantum computers into their respective native gate alphabets. Furthermore, we successfully simulate QAQC up to a problem size of 9 qubits, and these simulations highlight both the scalability of our cost function as well as the noise resilience of QAQC. Future applications of QAQC include algorithm depth compression, black-box compiling, noise mitigation, and benchmarking.


title: Deepcode: Feedback Codes via Deep Learning

abstract: The design of codes for communicating reliably over a statistically well defined channel is an important endeavor involving deep mathematical research and wide-ranging practical applications. In this work, we present the first family of codes obtained via deep learning, which significantly beats state-of-the-art codes designed over several decades of research. The communication channel under consideration is the Gaussian noise channel with feedback, whose study was initiated by Shannon; feedback is known theoretically to improve reliability of communication, but no practical codes that do so have ever been successfully constructed. We break this logjam by integrating information theoretic insights harmoniously with recurrent-neural-network based encoders and decoders to create novel codes that outperform known codes by 3 orders of magnitude in reliability. We also demonstrate several desirable properties of the codes: (a) generalization to larger block lengths, (b) composability with known codes, (c) adaptation to practical constraints. This result also has broader ramifications for coding theory: even when the channel has a clear mathematical model, deep learning methodologies, when combined with channel-specific information-theoretic insights, can potentially beat state-of-the-art codes constructed over decades of mathematical research.


title: Searches for exclusive Higgs and $Z$ boson decays into $J/\psi\gamma$, $\psi(2S)\gamma$, and $\Upsilon(nS)\gamma$ at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: Searches for the exclusive decays of the Higgs and $Z$ bosons into a $J/\psi$, $\psi(2S)$, or $\Upsilon(nS)$ ($n=1,2,3$) meson and a photon are performed with a $pp$ collision data sample corresponding to an integrated luminosity of 36.1 fb$^{-1}$ collected at $\sqrt{s}=13$ TeV with the ATLAS detector at the CERN Large Hadron Collider. No significant excess of events is observed above the expected backgrounds, and 95% confidence-level upper limits on the branching fractions of the Higgs boson decays to $J/\psi\gamma$, $\psi(2S)\gamma$, and $\Upsilon(nS)\gamma$ of $3.5\times10^{-4}$, $2.0\times10^{-3}$, and $(4.9,5.9,5.7)\times10^{-4}$, respectively, are obtained assuming Standard Model production. The corresponding 95% confidence-level upper limits for the branching fractions of the $Z$ boson decays are $2.3\times10^{-6}$, $4.5\times10^{-6}$ and $(2.8,1.7,4.8)\times10^{-6}$, respectively.


title: Modernization of Professional Training of Electromechanics Bachelors: ICT-based Competence Approach

abstract: Analysis of the standards for the preparation of electromechanics in Ukraine showed that the electromechanic engineer is able to solve complex specialized problems and practical problems in a certain area of professional activity or in the process of study. These problems are characterized by complexity and uncertainty of conditions. The main competencies include social-personal, general-scientific, instrumental, general-professional and specialized-professional. A review of scientific publications devoted to the training of electromechanics has shown that four branches of engineering are involved in the training of electromechanical engineers: mechanical and electrical engineering (with a common core of electromechanics), electronic engineering and automation. The common use of the theory, methods and means of these industries leads to the emergence of a combined field of engineering - mechatronics. Summarizing the experience of electrical engineers professional training in Ukraine and abroad makes it possible to determine the main directions of their professional training modernization.


title: Classifying Data with Local Hamiltonians

abstract: The goal of this work is to define a notion of a quantum neural network to classify data, which exploits the low energy spectrum of a local Hamiltonian. As a concrete application, we build a binary classifier, train it on some actual data and then test its performance on a simple classification task. More specifically, we use Microsoft's quantum simulator, Liquid, to construct local Hamiltonians that can encode trained classifier functions in their ground space, and which can be probed by measuring the overlap with test states corresponding to the data to be classified. To obtain such a classifier Hamiltonian, we further propose a training scheme based on quantum annealing which is completely closed-off to the environment and which does not depend on external measurements until the very end, avoiding unnecessary decoherence during the annealing procedure. For a network of size n, the trained network can be stored as a list of O(n) coupling strengths. We address the question of which interactions are most suitable for a given classification task, and develop a qubit-saving optimization for the training procedure on a simulated annealing device. Furthermore, a small neural network to classify colors into red vs. blue is trained and tested, and benchmarked against the annealing parameters.


title: Defining the Structure of Environmental Competence of Future Mining Engineers: ICT Approach

abstract: The object is to the reasonable selection of the ICT tools for formation of ecological competence. Pressing task is constructive and research approach to preparation of future engineers to performance of professional duties in order to make them capable to develop engineering projects independently and exercise control competently. Subject of research: the theoretical justification of competence system of future mining engineers. Methods: source analysis on the problem of ecological competence formation. Results: defining the structure of environmental competence of future mining engineers. Conclusion: the relevance of the material covered in the article, due to the need to ensure the effectiveness of the educational process in the preparation of the future mining engineers.


title: On the observational diagnostics to separate classical and disk-like bulges

abstract: Flattened bulges with disk-like properties are considered to be the end product of secular evolution processes at work in the inner regions of galaxies. On the contrary, classical bulges are characterized by rounder shapes and thought to be similar to low-luminosity elliptical galaxies. We aim at testing the variety of observational diagnostics which are commonly adopted to separate classical from disk-like bulges in nearby galaxies. We select a sample of eight unbarred lenticular galaxies to be morphologically and kinematically undisturbed with no evidence of other components than bulge and disk. We analyze archival data of broad-band imaging from SDSS and integral-field spectroscopy from the ATLAS$^{\rm 3D}$ survey to derive the photometric and kinematic properties, line-strength indices, and intrinsic shape of the sample bulges. We argue that the bulge S\'ersic index is a poor diagnostics to discriminate different bulge types. We find that the combination of line-strength with either kinematic or photometric diagnostics does not provide a clear separation for half of the sample bulges. We include for the first time the intrinsic three-dimensional shape of bulges as a possible discriminant of their nature. All bulges turn out to be thick oblate spheroids, but only one has a flattening consistent with that expected for outer disks. We conclude that bulge classification may be difficult even adopting all observational diagnostics proposed so far and that classical and disk-like bulges could be more confidently identified by considering their intrinsic shape.


title: Transfer learning for galaxy morphology from one survey to another

abstract: Deep Learning (DL) algorithms for morphological classification of galaxies have proven very successful, mimicking (or even improving) visual classifications. However, these algorithms rely on large training samples of labelled galaxies (typically thousands of them). A key question for using DL classifications in future Big Data surveys is how much of the knowledge acquired from an existing survey can be exported to a new dataset, i.e. if the features learned by the machines are meaningful for different data. We test the performance of DL models, trained with Sloan Digital Sky Survey (SDSS) data, on Dark Energy survey (DES) using images for a sample of $\sim$5000 galaxies with a similar redshift distribution to SDSS. Applying the models directly to DES data provides a reasonable global accuracy ($\sim$ 90%), but small completeness and purity values. A fast domain adaptation step, consisting in a further training with a small DES sample of galaxies ($\sim$500-300), is enough for obtaining an accuracy > 95% and a significant improvement in the completeness and purity values. This demonstrates that, once trained with a particular dataset, machines can quickly adapt to new instrument characteristics (e.g., PSF, seeing, depth), reducing by almost one order of magnitude the necessary training sample for morphological classification. Redshift evolution effects or significant depth differences are not taken into account in this study.


title: Chern Index of Taub-Bolt instantons in Einstein-Born-Infeld gravity

abstract: Partition functions can be calculated by saddle point approximations whenever regular solutions exist, as they dominate the path integral. We examine a regular Taub-Bolt dyon of Einstein-Born-Infeld theory which has electric and magnetic flux proportional to each other. Magnetic flux is found to be essentially a winding number and the electric flux turns out to be indexed by it.


title: Study of Interplanetary and Geomagnetic Response of Filament Associated CMEs

abstract: It has been established that Coronal Mass Ejections (CMEs) may have significant impact on terrestrial magnetic field and lead to space weather events. In the present study, we selected several CMEs which are associated with filament eruptions on the Sun. We attempt to identify the presence of filament material within ICME at 1AU. We discuss how different ICMEs associated with filaments lead to moderate or major geomagnetic activity on their arrival at the Earth. Our study also highlights the difficulties in identifying the filament material at 1AU within isolated and in interacting CMEs.


title: The risk function of the goodness-of-fit tests for tail models

abstract: This paper contributes to answering a question that is of crucial importance in risk management and extreme value theory: How to select the threshold above which one assumes that the tail of a distribution follows a generalized Pareto distribution. This question has gained increasing attention, particularly in finance institutions, as the recent regulative norms require the assessment of risk at high quantiles. Recent methods answer this question by multiple uses of the standard goodness-of-fit tests. These tests are based on a particular choice of symmetric weighting of the mean square error between the empirical and the fitted tail distributions. Assuming an asymmetric weighting, which rates high quantiles more than small ones, we propose new goodness-of-fit tests and automated threshold selection procedures. We consider a parameterized family of asymmetric weight functions and calculate the corresponding mean square error as a loss function. We then explicitly determine the risk function as the finite sample expected value of the loss function. Finally, the risk function can be used to discuss the question of which symmetric or asymmetric weight function and, thus, which goodness-of-fit test should be used in a new method for determining the threshold value.


title: $N^{3/4}$ law in the cubic lattice

abstract: We investigate the Edge-Isoperimetric Problem (EIP) for sets with $n$ elements of the cubic lattice by emphasizing its relation with the emergence of the Wulff shape in the crystallization problem. Minimizers $M_n$ of the edge perimeter are shown to deviate from a corresponding cubic Wulff configuration with respect to their symmetric difference by at most $ {\rm O}(n^{3/4})$ elements. The exponent $3/4$ is optimal. This extends to the cubic lattice analogous results that have already been established for the triangular, the hexagonal, and the square lattice in two space dimensions.


title: Equilibrium stellar configurations in Rastall theory and linear equation of state

abstract: Amongst a number of modified theories of gravity, the Rastall theory has been propounded to address some shortcomings of the standard theory of general relativity. Our purpose is to investigate this framework's capacity to analyse stellar structure in the context of elementary requirements for physical plausibility such as positive definite functions for the energy density and pressure, conformity to the causality criterion and the existence of an equation of state. We consider the analogue of the Saslaw \textit{et al} \cite{saslaw} isothermal model of general relativity and show that the Rastall version satisfies the basic requirements unlike its counterpart. Then we examine in turn the consequences of suppressing one of the inverse square law fall off of the energy density or the linear equation of state. In addition, the case of a constant spatial gravitational potential is studied on account of this prescription being a necessary and sufficient condition for isothermal behaviour in Einstein theory and its most general tensor extension Lovelock gravity.


title: Entropy as a bound for expectation values and variances of a general quantum mechanical observable

abstract: Quantum information-theoretic approach has been identified as a way to understand the foundations of quantum mechanics as early as 1950 due to Shannon. However there hasn't been enough advancement or rigorous development of the subject. In the following paper we try to find relationship between a general quantum mechanical observable and it von Neumann entropy. We find that the expectation values and the uncertainties of the observables have bounds which depend on the entropy. The results also show that von Neumann entropy is not just the uncertainty of the state but also encompasses the information about expectation values and uncertainties of any observable which depends on the observers choice for a particular measurement. Also a reverse uncertainty relation is derived for n quantum mechanical observables.


title: The Monitoring System of the End-Cap Calorimeter in the Belle II experiment

abstract: The Belle II experiment is presently in phase-2 operation at the SuperKEKB electron-positron collider in KEK (Tsukuba, Japan). The detector is an upgrade of the Belle experiment at the KEKB collider and it is optimized for the study of rare B decays, being also sensitive to signals of New Physics beyond the Standard Model. The Electromagnetic Calorimeter (ECL) is based on CsI(Tl) scintillation crystals. It splits in a barrel and two annular end-cap regions, these latter named Forward and Backward, according to the asymmetric design of the collider. CsI(Tl) crystals deliver a high light output at an affordable cost, however their yield changes with temperature and can be permanently damaged by humidity, due to the strong chemical affinity for moisture. Each ECL region is then equipped with thermistors and humidity probes to monitor environmental data. While sensors and cabling have been inherited from the original Belle design, the ECL monitoring system has been fully redesigned. In this paper, we present hardware and software architecture deployed for the 2112 CsI(Tl) crystals arranged in the Forward and Backward end-caps. Single-Board Computers (SBCs) have been designed ad-hoc for embedded applications. For sensor read-out, a data-acquisition system based on 24-bit ADCs with local processing capability has been realized and interfaced with the SBCs. EPICS applications send data across the Local Area Network for remote control and display.


title: Analogue of DP-coloring on variable degeneracy and its applications on list vertex-arboricity and DP-coloring

abstract: In \cite{listnoC3adjC4}), Borodin and Ivanova proved that every planar graph without $4$-cycles adjacent to $3$-cycle is list vertex-$2$-aborable. In fact, they proved a more general result. Inspired by these results and DP-coloring which becomes a widely studied topic, we introduce a generalization on variable degeneracy including list vertex arboricity. We use this notion to extend a general result by Borodin and Ivanova. Not only that this theorem implies results about planar graphs without $4$-cycles adjacent to $3$-cycle by Borodin and Ivanova, it implies many other results including a result by Kim and Yu \cite{KimY} that every planar graph without $4$-cycles adjacent to $3$-cycle is DP-$4$-colorable.


title: The MPGD-Based Photon Detectors for the upgrade of COMPASS RICH-1 and beyond

abstract: After pioneering gaseous detectors of single photon for RICH applications using CsI solid state photocathodes in MWPCs within the RD26 collaboration and by the constructions for the RICH detector of the COMPASS experiment at CERN SPS, in 2016 we have upgraded COMPASS RICH by novel gaseous photon detectors based on MPGD technology. Four novel photon detectors, covering a total active area of 1.5~m$^2$, have been installed in order to cope with the challenging efficiency and stability requirements of the COMPASS physics programme. These detectors are the first application in an experiment of MPGD-based single photon detectors. All aspects of the upgrade are presented, including engineering, mass production, quality assessment and performance. Perspectives for further developments in the field of gaseous single photon detectors are also presented.