title: Bandgap Lowering in Mixed Alloys of Cs2Ag(SbxBi1-x)Br6 Double Perovskite Thin Films

abstract: Halide double perovskites have gained significant attention, owing to their composition of low-toxicity elements, stability in air and long charge-carrier lifetimes. However, most double perovskites, including Cs2AgBiBr6, have wide bandgaps, which limit photo conversion efficiencies. The bandgap can be reduced through hallowing with Sb3+, but Sb-rich alloys are difficult to synthesise due to the high formation energy of Cs2AgSbBr6, which itself has a wide bandgap. We develop a solution-based route to synthesis phase-pure Cs2Ag(SbxBi1-x)Br6 thin films, with the mixing parameter x continuous varying over the entire composition range. We reveal that the mixed alloys (x between 0.5 and 0.9) demonstrate smaller bandgaps (as low as 2.08 eV) than the pure Sb- (2.18 eV) and Bi-based (2.25 eV) compounds, with strong deviation from Vegard's law. Through in-depth computations, we propose that bandgap lowering arises from the Type II band alignment between Cs2AgBiBr6 and Cs2AgSbBr6. The energy mismatch between the Bi and Sb s and p atomic orbitals, coupled with their non-linear mixing, results in the alloys adopting a smaller bandgap than the pure compounds. Our work demonstrates an approach to achieve bandgap reduction and highlights that bandgap bowing may be found in other double perovskite alloys by pairing together materials forming a Type II band alignment.


title: Single Shot Structured Pruning Before Training

abstract: We introduce a method to speed up training by 2x and inference by 3x in deep neural networks using structured pruning applied before training. Unlike previous works on pruning before training which prune individual weights, our work develops a methodology to remove entire channels and hidden units with the explicit aim of speeding up training and inference. We introduce a compute-aware scoring mechanism which enables pruning in units of sensitivity per FLOP removed, allowing even greater speed ups. Our method is fast, easy to implement, and needs just one forward/backward pass on a single batch of data to complete pruning before training begins.


title: Performance of Borel-Pad\'e-Laplace integrator for the resolution of stiff and non-stiff problems

abstract: A stability analysis of the Borel-Laplace series summation technique, used as explicit time integrator, is carried out. Its numerical performance on stiff and non-stiff problems is analyzed. Applications to ordinary and partial differential equations are presented. The results are compared with those of many popular schemes designed for stiff and non-stiff equations.


title: Convex Regularization in Monte-Carlo Tree Search

abstract: Monte-Carlo planning and Reinforcement Learning (RL) are essential to sequential decision making. The recent AlphaGo and AlphaZero algorithms have shown how to successfully combine these two paradigms in order to solve large scale sequential decision problems. These methodologies exploit a variant of the well-known UCT algorithm to trade off exploitation of good actions and exploration of unvisited states, but their empirical success comes at the cost of poor sample-efficiency and high computation time. In this paper, we overcome these limitations by considering convex regularization in Monte-Carlo Tree Search (MCTS), which has been successfully used in RL to efficiently drive exploration. First, we introduce a unifying theory on the use of generic convex regularizers in MCTS, deriving the regret analysis and providing guarantees of exponential convergence rate. Second, we exploit our theoretical framework to introduce novel regularized backup operators for MCTS, based on the relative entropy of the policy update, and on the Tsallis entropy of the policy. Finally, we empirically evaluate the proposed operators in AlphaGo and AlphaZero on problems of increasing dimensionality and branching factor, from a toy problem to several Atari games, showing their superiority w.r.t. representative baselines.


title: Active-sterile neutrino mixing constraint using reactor antineutrinos with the ISMRAN set-up

abstract: In this work, we present an analysis of the sensitivity to the active-sterile neutrino mixing with the Indian Scintillator Matrix for Reactor Anti-Neutrino (ISMRAN) experimental set-up at very short baseline. In this article, we have considered the measurement of electron antineutrino induced events employing a single detector which can be placed either at a single position or moved between near and far positions from the given reactor core. Results extracted in the later case are independent of the theoretical prediction of the reactor anti-neutrino spectrum and detector related systematic uncertainties. Our analysis shows that the results obtained from the measurement carried out at a combination of the near and far detector positions are improved significantly at higher $\Delta m^{2}_{41}$ compared to the ones obtained with the measurement at a single detector position only. It is found that the best possible combination of near and far detector positions from a 100 MW$_{th}$ power DHRUVA research reactor core are 7 m and 9 m, respectively, for which ISMRAN set-up can exclude in the range 1.4 $eV^{2} \leq \Delta m^{2}_{41} \leq$ 4.0 $eV^{2}$ of reactor antineutrino anomaly region along with the present best-fit point of active-sterile neutrino oscillation parameters. At those combinations of detector positions, the ISMRAN set-up can observe the active sterile neutrino oscillation with a 95$\%$ confidence level provided that $\sin^{2}2\theta_{14}\geq 0.09$ at $\Delta m^{2}_{41}$ = 1 eV$^{2}$ for an exposure of 1 ton-yr. The active-sterile neutrino mixing sensitivity can be improved by about 22\% at the same exposure by placing the detector at near and far distances of 15 m and 17 m, respectively, from the compact proto-type fast breeder reactor (PFBR) facility which has a higher thermal power of 1250 MW$_{th}$.


title: Rogue waves of Ultra-High Peak Amplitude: A Mechanism for Reaching up to Thousand Times the Background Level

abstract: We unveil a mechanism enabling a fundamental rogue wave, expressed by a rational function of fourth degree, to reach a peak amplitude as high as a thousand times the background level in a system of coupled nonlinear Schrodinger equations involving both incoherent and coherent coupling terms with suitable coefficients. We obtain the exact explicit vector rational solutions using a Darboux-dressing transformation. We show that both components of such coupled equations can reach extremely high amplitudes. The mechanism is confirmed in direct numerical simulations and its robustness confirmed upon noisy perturbations. Additionally, we showcase the fact that extremely high peak-amplitude vector fundamental rogue waves (of about 80 times the background level) can be excited even within a chaotic background field.


title: The IKEA ASM Dataset: Understanding People Assembling Furniture through Actions, Objects and Pose

abstract: The availability of a large labeled dataset is a key requirement for applying deep learning methods to solve various computer vision tasks. In the context of understanding human activities, existing public datasets, while large in size, are often limited to a single RGB camera and provide only per-frame or per-clip action annotations. To enable richer analysis and understanding of human activities, we introduce IKEA ASM -- a three million frame, multi-view, furniture assembly video dataset that includes depth, atomic actions, object segmentation, and human pose. Additionally, we benchmark prominent methods for video action recognition, object segmentation and human pose estimation tasks on this challenging dataset. The dataset enables the development of holistic methods, which integrate multi-modal and multi-view data to better perform on these tasks.


title: Almost all optimally coloured complete graphs contain a rainbow Hamilton path

abstract: A subgraph $H$ of an edge-coloured graph is called rainbow if all of the edges of $H$ have different colours. In 1989, Andersen conjectured that every proper edge-colouring of $K_{n}$ admits a rainbow path of length $n-2$. We show that almost all optimal edge-colourings of $K_{n}$ admit both (i) a rainbow Hamilton path and (ii) a rainbow cycle using all of the colours. This result demonstrates that Andersen's Conjecture holds for almost all optimal edge-colourings of $K_{n}$ and answers a recent question of Ferber, Jain, and Sudakov. Our result also has applications to the existence of transversals in random symmetric Latin squares.


title: A realisation of the Bershadsky--Polyakov algebras and their relaxed modules

abstract: We present a realisation of the universal/simple Bershadsky--Polyakov vertex algebras as subalgebras of the tensor product of the universal/simple Zamolodchikov vertex algebras and an isotropic lattice vertex algebra. This generalises the realisation of the universal/simple affine vertex algebras associated to $\mathfrak{sl}_2$ and $\mathfrak{osp}(1|2)$ given in arXiv:1711.11342. Relaxed highest-weight modules are likewise constructed, conditions for their irreducibility are established, and their characters are explicitly computed, generalising the character formulae of arXiv:1803.01989.


title: Cobalt and copper abundances in 56 Galactic bulge red giants

abstract: The Milky Way bulge is an important tracer of the early formation and chemical enrichment of the Galaxy. The abundances of different iron-peak elements in field bulge stars can give information on the nucleosynthesis processes that took place in the earliest supernovae. Cobalt (Z=27) and copper (Z=29) are particularly interesting.We aim to identify the nucleosynthesis processes responsible for the formation of the iron-peak elements Co and Cu. Methods. We derived abundances of the iron-peak elements cobalt and copper in 56 bulge giants, 13 of which were red clump stars. High-resolution spectra were obtained using FLAMES-UVES at the ESO Very Large Telescope by our group in 2000-2002, which appears to be the highest quality sample of high-resolution data on bulge red giants obtained in the literature to date. Over the years we have derived the abundances of C, N, O, Na, Al, Mg; the iron-group elements Mn and Zn; and neutron-capture elements. In the present work we derive abundances of the iron-peak elements cobalt and copper. We also compute chemodynamical evolution models to interpret the observed behaviour of these elements as a function of iron. The sample stars show mean values of [Co/Fe]~0.0 at all metallicities, and [Cu/Fe]~0.0 for [Fe/H]>-0.8 and decreasing towards lower metallicities with a behaviour of a secondary element. We conclude that [Co/Fe] varies in lockstep with [Fe/H], which indicates that it should be produced in the alpha-rich freezeout mechanism in massive stars. Instead [Cu/Fe] follows the behaviour of a secondary element towards lower metallicities, indicating its production in the weak s-process nucleosynthesis in He-burning and later stages. The chemodynamical models presented here confirm the behaviour of these two elements (i.e. [Co/Fe] vs. [Fe/H]~constant and [Cu/Fe] decreasing with decreasing metallicities).


title: DocVQA: A Dataset for VQA on Document Images

abstract: We present a new dataset for Visual Question Answering (VQA) on document images called DocVQA. The dataset consists of 50,000 questions defined on 12,000+ document images. Detailed analysis of the dataset in comparison with similar datasets for VQA and reading comprehension is presented. We report several baseline results by adopting existing VQA and reading comprehension models. Although the existing models perform reasonably well on certain types of questions, there is large performance gap compared to human performance (94.36% accuracy). The models need to improve specifically on questions where understanding structure of the document is crucial. The dataset, code and leaderboard are available at docvqa.org


title: Online Robust Regression via SGD on the l1 loss

abstract: We consider the robust linear regression problem in the online setting where we have access to the data in a streaming manner, one data point after the other. More specifically, for a true parameter $\theta^*$, we consider the corrupted Gaussian linear model $y = \langle x , \ \theta^* \rangle + \varepsilon + b$ where the adversarial noise $b$ can take any value with probability $\eta$ and equals zero otherwise. We consider this adversary to be oblivious (i.e., $b$ independent of the data) since this is the only contamination model under which consistency is possible. Current algorithms rely on having the whole data at hand in order to identify and remove the outliers. In contrast, we show in this work that stochastic gradient descent on the $\ell_1$ loss converges to the true parameter vector at a $\tilde{O}( 1 / (1 - \eta)^2 n )$ rate which is independent of the values of the contaminated measurements. Our proof relies on the elegant smoothing of the non-smooth $\ell_1$ loss by the Gaussian data and a classical non-asymptotic analysis of Polyak-Ruppert averaged SGD. In addition, we provide experimental evidence of the efficiency of this simple and highly scalable algorithm.


title: Accelerating Uncertainty Quantification of Groundwater Flow Modelling Using a Deep Neural Network Proxy

abstract: Quantifying the uncertainty in model parameters and output is a critical component in model-driven decision support systems for groundwater management. This paper presents a novel algorithmic approach which fuses Markov Chain Monte Carlo (MCMC) and Machine Learning methods to accelerate uncertainty quantification for groundwater flow models. We formulate the governing mathematical model as a Bayesian inverse problem, considering model parameters as a random process with an underlying probability distribution. MCMC allows us to sample from this distribution, but it comes with some limitations: it can be prohibitively expensive when dealing with costly likelihood functions, subsequent samples are often highly correlated, and the standard Metropolis-Hastings algorithm suffers from the curse of dimensionality. This paper designs a Metropolis-Hastings proposal which exploits a deep neural network (DNN) approximation of a groundwater flow model, to significantly accelerate MCMC sampling. We modify a delayed acceptance (DA) model hierarchy, whereby proposals are generated by running short subchains using an inexpensive DNN approximation, resulting in a decorrelation of subsequent fine model proposals. Using a simple adaptive error model, we estimate and correct the bias of the DNN approximation with respect to the posterior distribution on-the-fly. The approach is tested on two synthetic examples; a isotropic two-dimensional problem, and an anisotropic three-dimensional problem. The results show that the cost of uncertainty quantification can be reduced by up to 50% compared to single-level MCMC, depending on the precomputation cost and accuracy of the employed DNN.


title: Stability for systems of porous medium type

abstract: We establish stability properties of weak solutions for systems of porous medium type with respect to the exponent $m$. Thereby we treat stability for the local case as well as for Cauchy-Dirichlet problems. Both degenerate and singular cases are covered.


title: Sequential Bayesian optimal experimental design for structural reliability analysis

abstract: Structural reliability analysis is concerned with estimation of the probability of a critical event taking place, described by $P(g(\textbf{X}) \leq 0)$ for some $n$-dimensional random variable $\textbf{X}$ and some real-valued function $g$. In many applications the function $g$ is practically unknown, as function evaluation involves time consuming numerical simulation or some other form of experiment that is expensive to perform. The problem we address in this paper is how to optimally design experiments, in a Bayesian decision theoretic fashion, when the goal is to estimate the probability $P(g(\textbf{X}) \leq 0)$ using a minimal amount of resources. As opposed to existing methods that have been proposed for this purpose, we consider a general structural reliability model given in hierarchical form. We therefore introduce a general formulation of the experimental design problem, where we distinguish between the uncertainty related to the random variable $\textbf{X}$ and any additional epistemic uncertainty that we want to reduce through experimentation. The effectiveness of a design strategy is evaluated through a measure of residual uncertainty, and efficient approximation of this quantity is crucial if we want to apply algorithms that search for an optimal strategy. The method we propose is based on importance sampling combined with the unscented transform for epistemic uncertainty propagation. We implement this for the myopic (one-step look ahead) alternative, and demonstrate the effectiveness through a series of numerical experiments.


title: Nitsche's method for Kirchhoff plates

abstract: We introduce a Nitsche's method for the numerical approximation of the Kirchhoff-Love plate equation under general Robin-type boundary conditions. We analyze the method by presenting a priori and a posteriori error estimates in mesh-dependent norms. Several numerical examples are given to validate the approach and demonstrate its properties.


title: Quantum droplets of dipolar mixtures

abstract: Recently achieved two-component dipolar Bose-Einstein condensates open exciting possibilities for the study of mixtures of ultra-dilute quantum liquids. While non-dipolar self-bound mixtures are necessarily miscible with an approximately fixed ratio between the two densities, the density ratio for the dipolar case is free. As a result, self-bound dipolar mixtures present qualitatively novel and much richer physics, characterized by three possible ground-state phases: miscible, symmetric immiscible and asymmetric immiscible, which may in principle occur at any population imbalance. Self-bound immiscible droplets are possible due to mutual non-local inter-component attraction, which results in the formation of a droplet molecule. Moreover, our analysis of the impurity regime, shows that quantum fluctuations in the majority component crucially modify the miscibility of impurities. Our work opens intriguing perspectives for the exploration of spinor physics in ultra-dilute liquids, which should resemble to some extent that of 4He-3He droplets and impurity-doped helium droplets.


title: Branching Brownian motion conditioned on small maximum

abstract: We consider a standard binary branching Brownian motion on the real line. It is known that the maximal position $M_t$ among all particles alive at time $t$, shifted by $m_t = \sqrt{2} t - \frac{3}{2\sqrt{2}} \log t$ converges in law to a randomly shifted Gumbel variable. Derrida and Shi (2017) conjectured the precise asymptotic behaviour of the corresponding lower deviation probability $\mathbb{P}(M_t \leq \sqrt{2}\alpha t)$ for $\alpha < 1$. We verify their conjecture, and describe the law of the branching Brownian motion conditioned on having a small maximum.


title: Tracing the main elements and electron orbitals that induce superconducting phase transition

abstract: The experimental determination of the superconducting transition requires the observation of the emergence of zero-resistance and perfect diamagnetism state. Based on the close relationship between superconducting transition temperature (Tc) and electron density of states (DOS), we take two typical superconducting materials Hg and ZrTe3 as samples and calculate their DOS versus temperature under different pressures by using the first-principle molecular dynamics simulations. According to the analysis of the calculation results, the main contributors that induce superconducting transitions are deduced by tracing the variation of partial density of states near Tc. In particular, the microscopic mechanism of pressure increasing Tc is further analyzed.


title: Hydration free energies from kernel-based machine learning: Compound-database bias

abstract: We consider the prediction of a basic thermodynamic property---hydration free energies---across a large subset of the chemical space of small organic molecules. Our in silico study is based on computer simulations at the atomistic level with implicit solvent. We report on a kernel-based machine learning approach that is inspired by recent work in learning electronic properties, but differs in key aspects: The representation is averaged over several conformers to account for the statistical ensemble. We also include an atomic-decomposition ansatz, which we show offers significant added transferability compared to molecular learning. Finally, we explore the existence of severe biases from databases of experimental compounds. By performing a combination of dimensionality reduction and cross-learning models, we show that the rate of learning depends significantly on the breadth and variety of the training dataset. Our study highlights the dangers of fitting machine-learning models to databases of narrow chemical range.


title: Sensitivity of $^{229}$Th nuclear clock transition to variation of the fine-structure constant

abstract: Peik and Tamm [Europhys. Lett. 61, 181 (2003)] proposed a nuclear clock based on the isomeric transition between the ground state and the first excited state of thorium-229. This transition was recognized as a potentially sensitive probe of possible temporal variation of the fine-structure constant, $\alpha$. The sensitivity to such a variation can be determined from measurements of the mean-square charge radius and quadrupole moment of the different isomers. However, current measurements of the quadrupole moment are yet to achieve an accuracy high enough to resolve non-zero sensitivity. Here we determine this sensitivity using existing measurements of the change in the mean-square charge radius, coupled with the ansatz of constant nuclear density. The enhancement factor for $\alpha$ variation is $K = -(0.82 \pm 0.25) \times 10^4$. For the current experimental limit, $\delta\alpha/\alpha \lesssim 10^{-17}$ per year, the corresponding frequency shift is $\sim\!200$ Hz per year. This shift is six orders of magnitude larger than the projected accuracy of the nuclear clock, paving the way for increased accuracy of the determination of $\delta \alpha$ and interaction strength with low-mass scalar dark matter. We verify that the constant-nuclear-density ansatz is supported by nuclear theory and propose how to verify it experimentally. We also consider a possible effect of the octupole deformation on the sensitivity to $\alpha$ variation, and calculate the effects of $\alpha$ variation in a number of M\"ossbauer transitions.


title: Polarizing the Medium: Fermion-Mediated Interactions between Bosons

abstract: We consider a homogeneous mixture of bosons and polarized fermions. We find that long-range and attractive fermion-mediated interactions between bosons have dramatic effects on the properties of the bosons. We construct the phase diagram spanned by boson-fermion mass ratio and boson-fermion scattering parameter. It consists of stable region of mixing and unstable region toward phase separation. In stable mixing phase, the collective long-wavelength excitations can either be well-behaved with infinite lifetime or be finite in lifetime suffered from the Landau damping. We examine the effects of the induced interaction on the properties of weakly interacting bosons. It turns out that the induced interaction not only enhances the repulsion between the bosons against collapse but also enhances the stability of the superfluid state by suppressing quantum depletion.


title: A time adaptive multirate Dirichlet-Neumann waveform relaxation method for heterogeneous coupled heat equations

abstract: We consider partitioned time integration for heterogeneous coupled heat equations. First and second order multirate, as well as time-adaptive Dirichlet-Neumann Waveform relaxation (DNWR) methods are derived. In 1D and for implicit Euler time integration, we analytically determine optimal relaxation parameters for the fully discrete scheme. We test the robustness of the relaxation parameters on the second order multirate method in 2D. DNWR is shown to be very robust and consistently yielding fast convergence rates, whereas the closely related Neumann-Neumann Waveform relaxtion (NNWR) method is slower or even diverges. The waveform approach naturally allows for different timesteps in the subproblems. In a performance comparison for DNWR, the time-adaptive method dominates the multirate method due to automatically finding suitable stepsize ratios. Overall, we obtain a fast, robust, multirate and time adaptive partitioned solver for unsteady conjugate heat transfer.


title: Handling Variable-Dimensional Time Series with Graph Neural Networks

abstract: Several applications of Internet of Things (IoT) technology involve capturing data from multiple sensors resulting in multi-sensor time series. Existing neural networks based approaches for such multi-sensor or multivariate time series modeling assume fixed input dimension or number of sensors. Such approaches can struggle in the practical setting where different instances of the same device or equipment such as mobiles, wearables, engines, etc. come with different combinations of installed sensors. We consider training neural network models from such multi-sensor time series, where the time series have varying input dimensionality owing to availability or installation of a different subset of sensors at each source of time series. We propose a novel neural network architecture suitable for zero-shot transfer learning allowing robust inference for multivariate time series with previously unseen combination of available dimensions or sensors at test time. Such a combinatorial generalization is achieved by conditioning the layers of a core neural network-based time series model with a "conditioning vector" that carries information of the available combination of sensors for each time series. This conditioning vector is obtained by summarizing the set of learned "sensor embedding vectors" corresponding to the available sensors in a time series via a graph neural network. We evaluate the proposed approach on publicly available activity recognition and equipment prognostics datasets, and show that the proposed approach allows for better generalization in comparison to a deep gated recurrent neural network baseline.


title: Cluster-correlation expansion for studying decoherence of clock transitions in spin baths

abstract: The clock transitions (CTs) of central spins have long coherence times because their frequency fluctuations vanish in the linear order of external field noise (such as Overhauser fields from nuclear spin baths). Therefore, CTs are useful for quantum technologies. Also, the quadratic dependence of frequencies on noises makes the CT decoherence an interesting physics problem. Thus we are motivated to study the decoherence of CTs. We consider noise from spin baths, which is one of the most relevant mechanisms of qubit decoherence. Various quantum many-body methods have been developed to study the decoherence of a central spin in spin baths. In particular, the cluster-correlation expansion (CCE) systematically accounts for the many-body correlations that cause the central spin decoherence. However, the CCE can not be straightforwardly applied to CTs in spin baths, for the expansion may fail to converge due to the effective long-range interactions resulting from the quadratic term of the noise (e.g., the second-order interaction mediated by hyperfine interactions for a nuclear spin bath). In this work, we develop a modified CCE method to tackle this class of decoherence problems. By diagonalizing the central spin Hamiltonian for each bath eigenstate of the hyperfine interaction, we find that the effects of long-range interactions are absorbed as fluctuations of central spin eigenenergies in the form of single-spin correlations. We apply the method to two specific systems, namely, nitrogen vacancy center electron spins in near zero magnetic field and singlet-triplet transition of two electrons in a double quantum dot. The numerical simulation shows that the modified CCE converges rapidly for the CTs.


title: Multi-Axis Support-Free Printing of Freeform Parts with Lattice Infill Structures

abstract: In additive manufacturing, infill structures are commonly used to reduce the weight and cost of a solid part. Currently, most infill structure generation methods are based on the conventional 2.5-axis printing configuration, which, although able to satisfy the self-supporting condition on the infills, suffer from the well-known stair-case effect on the finished surface and the need of extensive support for overhang features. In this paper, based on the emerging continuous multi-axis printing configuration, we present a new lattice infill structure generation algorithm, which is able to achieve both the self-supporting condition for the infills and the support-free requirement at the boundary surface of the part. The algorithm critically relies on the use of three mutually orthogonal geodesic distance fields that are embedded in the tetrahedral mesh of the solid model. The intersection between the iso-geodesic distance surfaces of these three geodesic distance fields naturally forms the desired lattice of infill structure, while the density of the infills can be conveniently controlled by adjusting the iso-values. The lattice infill pattern in each curved slicing layer is trimmed to conform to an Eulerian graph so to generate a continuous printing path, which can effectively reduce the nozzle retractions during the printing process. In addition, to cater to the collision-free requirement and to improve the printing efficiency, we also propose a printing sequence optimization algorithm for determining a collision-free order of printing of the connected lattice infills, which seeks to reduce the air-move length of the nozzle. Ample experiments in both computer simulation and physical printing are performed, and the results give a preliminary confirmation of the advantages of our methodology.


title: On partitions of $\mathbb{Z}_{m}$ with the same representation function

abstract: For any positive integer $m$, let $\mathbb{Z}_{m}$ be the set of residue classes modulo $m$. For $A\subseteq \mathbb{Z}_{m}$ and $\overline{n}\in \mathbb{Z}_{m}$, let $R_{A}(\overline{n})$ denote the number of solutions of $\overline{n}=\overline{a}+\overline{a'}$ with unordered pairs $(\overline{a}, \overline{a'})\in A \times A$. In this paper, we prove that if $m=2^{\alpha}$ with $\alpha\neq 2$, $A\cup B=\mathbb{Z}_{m}$ and $|A\cap B|=2$, then $R_{A}(\overline{n})=R_{A}(\overline{n})$ for all $\overline{n}\in \mathbb{Z}_{m}$ if and only if $B=A+\overline{\frac{m}{2}}$.


title: A Truly Self-Sovereign Identity System

abstract: Existing digital identity management systems fail to deliver the desirable properties of control by the users of their own identity data, credibility of disclosed identity data, and network-level anonymity. The recently proposed Self-Sovereign Identity (SSI) approach promises to give users these properties. However, we argue that without addressing privacy at the network level, SSI systems cannot deliver on this promise. In this paper we present the design and analysis of our solution TCID, created in collaboration with the Dutch government. TCID is a system consisting of a set of components that together satisfy seven functional requirements to guarantee the desirable system properties. We show that the latency incurred by network-level anonymization in TCID is significantly larger than that of identity data disclosure protocols but is still low enough for practical situations. We conclude that current research on SSI is too narrowly focused on these data disclosure protocols.


title: Joint-Diagonalizability-Constrained Multichannel Nonnegative Matrix Factorization Based on Multivariate Complex Sub-Gaussian Distribution

abstract: In this paper, we address a statistical model extension of multichannel nonnegative matrix factorization (MNMF) for blind source separation, and we propose a new parameter update algorithm used in the sub-Gaussian model. MNMF employs full-rank spatial covariance matrices and can simulate situations in which the reverberation is strong and the sources are not point sources. In conventional MNMF, spectrograms of observed signals are assumed to follow a multivariate Gaussian distribution. In this paper, first, to extend the MNMF model, we introduce the multivariate generalized Gaussian distribution as the multivariate sub-Gaussian distribution. Since the cost function of MNMF based on this multivariate sub-Gaussian model is difficult to minimize, we additionally introduce the joint-diagonalizability constraint in spatial covariance matrices to MNMF similarly to FastMNMF, and transform the cost function to the form to which we can apply the auxiliary functions to derive the valid parameter update rules. Finally, from blind source separation experiments, we show that the proposed method outperforms the conventional methods in source-separation accuracy.


title: Uniform continuity bounds for characteristics of multipartite quantum systems

abstract: We consider universal methods for obtaining (uniform) continuity bounds for characteristics of multipartite quantum systems. We pay a special attention to infinite-dimensional multipartite quantum systems under the energy constraints. By these methods we obtain continuity bounds for several important characteristics of a multipartite quantum state: the quantum (conditional) mutual information, the squashed entanglement, the c-squashed entanglement and the conditional entanglement of mutual information. The continuity bounds for the multipartite quantum mutual information are asymptotically tight for large dimension/energy. The obtained results are used to prove the asymptotic continuity of the $n$-partite squashed entanglement, c-squashed entanglement and the conditional entanglement of mutual information under the energy constraints.


title: Forcing as a computational process

abstract: We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,\in^M\rangle$, we explain senses in which one may compute $M$-generic filters $G\subseteq\mathbb{P}\in M$ and the corresponding forcing extensions $M[G]$. Specifically, from the atomic diagram one may compute $G$, from the $\Delta_0$-diagram one may compute $M[G]$ and its $\Delta_0$-diagram, and from the elementary diagram one may compute the elementary diagram of $M[G]$. We also examine the information necessary to make the process functorial, and conclude that in the general case, no such computational process will be functorial. For any such process, it will always be possible to have different isomorphic presentations of a model of set theory $M$ that lead to different non-isomorphic forcing extensions $M[G]$. Indeed, there is no Borel function providing generic filters that is functorial in this sense.


title: Sparse Randomized Shortest Paths Routing with Tsallis Divergence Regularization

abstract: This work elaborates on the important problem of (1) designing optimal randomized routing policies for reaching a target node t from a source note s on a weighted directed graph G and (2) defining distance measures between nodes interpolating between the least cost (based on optimal movements) and the commute-cost (based on a random walk on G), depending on a temperature parameter T. To this end, the randomized shortest path formalism (RSP, [2,99,124]) is rephrased in terms of Tsallis divergence regularization, instead of Kullback-Leibler divergence. The main consequence of this change is that the resulting routing policy (local transition probabilities) becomes sparser when T decreases, therefore inducing a sparse random walk on G converging to the least-cost directed acyclic graph when T tends to 0. Experimental comparisons on node clustering and semi-supervised classification tasks show that the derived dissimilarity measures based on expected routing costs provide state-of-the-art results. The sparse RSP is therefore a promising model of movements on a graph, balancing sparse exploitation and exploration in an optimal way.


title: A priori error analysis for a finite element approximation of dynamic viscoelasticity problems involving a fractional order integro-differential constitutive law

abstract: We consider a fractional order viscoelasticity problem modelled by a power-law type stress relaxation function. This viscoelastic problem is a Volterra integral equation of the second kind with a weakly singular kernel where the convolution integral corresponds to fractional order differentiation/integration. We use a spatial finite element method and a finite difference scheme in time. Due to the weak singularity, fractional order integration in time is managed approximately by linear interpolation so that we can formulate a fully discrete problem. In this paper, we present a stability bound as well as a priori error estimates. Furthermore, we carry out numerical experiments with varying regularity of exact solutions at the end.


title: New universal estimates for free boundary problems arising in plasma physics

abstract: For $\Omega\subset \mathbb{R}^2$ a smooth and bounded domain, we derive a sharp universal energy estimate for non-negative solutions of free boundary problems on $\Omega$ arising in plasma physics. As a consequence, we are able to deduce new universal estimates for this class of problems. We first come up with a sharp positivity threshold which guarantees that there is no free boundary inside $\Omega$ or either, equivalently, with a sharp necessary condition for the existence of a free boundary in the interior of $\Omega$. Then we derive an explicit bound for the $L^{\infty}$-norm of non-negative solutions and also obtain explicit estimates for the thresholds relative to other neat density boundary values. At least to our knowledge, these are the first explicit estimates of this sort in the superlinear case.


title: $\lambda$-deformed $AdS_5\times S^5$ superstring from 4D Chern-Simons theory

abstract: We present the construction of the $\lambda$-deformation of $AdS_5\times S^5$ superstring from the four dimensional Chern-Simons-type gauge theory. The procedure is applicable to all the semi-symmetric coset models and generalizes the previous construction of $\lambda$-deformation of the symmetric coset models.


title: Gravitational quadrupole deformation and the tidal deformability for stellar systems: (The number of) Love for undergraduates

abstract: This article is intended for undergraduate students with the aim to provide a pedagogical introduction to the physics of stellar tidal deformations. The spherically symmetric shape of any star is deformed via rotation around an arbitrary axis or by the presence of an external tidal field. We compute the ellipticity of such a stellar object and show that rotation can be treated analogously to tidal effects caused by an external field, which induces a quadrupole moment. The detection of gravitational waves from a binary neutron star merger in 2017 set constraints on the tidal deformability parameter and on equations of state for compact stars. We derive the corresponding formalism classically and show that the Newtonian limit taken via general relativity is justified. The compressibility and the compactness of matter are discussed classically and compared to the relativistic approach. We find that relativistically the main influence on tidal deformability is related to the star's compactness.


title: Analytical Results for the Classical and Quantum Tsallis Hadron Transverse Momentum Spectra: the Zeroth Order Approximation and beyond

abstract: We derive the analytical expressions for the first and second order terms in the hadronic transverse momentum spectra obtained from the Tsallis normalized (Tsallis-1) statistics. We revisit the zeroth order quantum Tsallis distributions and obtain the corresponding analytical closed form expressions. It is observed that unlike the classical case, the analytical closed forms of the zeroth order quantum spectra do not resemble the phenomenological distributions used in the literature after $q \to q^{-1}$ substitution, where $q$ is the Tsallis entropic parameter. However, the factorization approximation increases the extent of similarity.


title: Interaction-limited Inverse Reinforcement Learning

abstract: This paper proposes an inverse reinforcement learning (IRL) framework to accelerate learning when the learner-teacher \textit{interaction} is \textit{limited} during training. Our setting is motivated by the realistic scenarios where a helpful teacher is not available or when the teacher cannot access the learning dynamics of the student. We present two different training strategies: Curriculum Inverse Reinforcement Learning (CIRL) covering the teacher's perspective, and Self-Paced Inverse Reinforcement Learning (SPIRL) focusing on the learner's perspective. Using experiments in simulations and experiments with a real robot learning a task from a human demonstrator, we show that our training strategies can allow a faster training than a random teacher for CIRL and than a batch learner for SPIRL.


title: Dynamic Bidding Strategies with Multivariate Feedback Control for Multiple Goals in Display Advertising

abstract: Real-Time Bidding (RTB) display advertising is a method for purchasing display advertising inventory in auctions that occur within milliseconds. The performance of RTB campaigns is generally measured with a series of Key Performance Indicators (KPIs) - measurements used to ensure that the campaign is cost-effective and that it is purchasing valuable inventory. While an RTB campaign should ideally meet all KPIs, simultaneous improvement tends to be very challenging, as an improvement to any one KPI risks a detrimental effect toward the others. Here we present an approach to simultaneously controlling multiple KPIs with a PID-based feedback-control system. This method generates a control score for each KPI, based on both the output of a PID controller module and a metric that quantifies the importance of each KPI for internal business needs. On regular intervals, this algorithm - Sequential Control - will choose the KPI with the greatest overall need for improvement. In this way, our algorithm is able to continually seek the greatest marginal improvements to its current state. Multiple methods of control can be associated with each KPI, and can be triggered either simultaneously or chosen stochastically, in order to avoid local optima. In both offline ad bidding simulations and testing on live traffic, our methods proved to be effective in simultaneously controlling multiple KPIs, and bringing them toward their respective goals.


title: Distributed Model Predictive Control with Reconfigurable Terminal Ingredients for Reference Tracking

abstract: Various efforts have been devoted to developing stabilizing distributed Model Predictive Control (MPC) schemes for tracking piecewise constant references. In these schemes, terminal sets are usually computed offline and used in the MPC online phase to guarantee recursive feasibility and asymptotic stability. Maximal invariant terminal sets do not necessarily respect the distributed structure of the network, hindering the distributed implementation of the controller. On the other hand, ellipsoidal terminal sets respect the distributed structure, but may lead to conservative schemes. In this paper, a novel distributed MPC scheme is proposed for reference tracking of networked dynamical systems where the terminal ingredients are reconfigured online depending on the closed-loop states to alleviate the aforementioned issues. The resulting non-convex infinite-dimensional problem is approximated using a quadratic program. The proposed scheme is tested in simulation where the proposed MPC problem is solved using distributed optimization.


title: The Basic Geometric Structures of Electromagnetic Digital Information: Statistical characterization of the digital measurement of spatio-Doppler and polarimetric fluctuations of the radar electromagnetic wave

abstract: The aim is to describe new geometric approaches to define the statistics of spatio-temporal and polarimetric measurements of the states of an electromagnetic wave, using the works of Maurice Fr{\'e}chet, Jean-Louis Koszul and Jean-Marie Souriau, with in particular the notion of 'average' state of this digital measurement as a Fr{\'e}chet barycentre in a metric space and a model derived from statistical mechanics to define and calculate a maximum density of entropy (extension of the notion of Gaussian) to describe the fluctuations of the electromagnetic wave. The article will illustrate these new tools with examples of radar application for Doppler, spatio-temporal and polarimetric measurement of the electromagnetic wave by introducing a distance on the covariance matrices of the electromagnetic digital signal, based on Fisher's metric from Information Geometry.


title: An upper bound for the size of $s$-distance sets in real algebraic sets

abstract: In a recent paper Petrov and Pohoata developed a new algebraic method which combines the Croot-Lev-Pach Lemma from additive combinatorics and Sylvester's Law of Inertia for real quadratic forms. As an application, they gave a simple proof of the Bannai-Bannai-Stanton bound on the size of $s$-distance sets (subsets $\mbox{$\cal A$}\subseteq {\mathbb R}^n$ which determine at most $s$ different distances). In this paper we extend their work and prove upper bounds for the size of $s$-distance sets in various real algebraic sets. This way we obtain a novel and short proof for the bound of Delsarte-Goethals-Seidel on spherical $s$-distance sets and a generalization of a bound by Bannai-Kawasaki-Nitamizu-Sato on $s$-distance sets on unions of spheres. In our arguments we use the method of Petrov and Pohoata together with some Gr\"obner basis techniques.


title: On the Role of Models in Learning Control: Actor-Critic Iterative Learning Control

abstract: Learning from data of past tasks can substantially improve the accuracy of mechatronic systems. Often, for fast and safe learning a model of the system is required. The aim of this paper is to develop a model-free approach for fast and safe learning for mechatronic systems. The developed actor-critic iterative learning control (ACILC) framework uses a feedforward parameterization with basis functions. These basis functions encode implicit model knowledge and the actor-critic algorithm learns the feedforward parameters without explicitly using a model. Experimental results on a printer setup demonstrate that the developed ACILC framework is capable of achieving the same feedforward signal as preexisting model-based methods without using explicit model knowledge.


title: Exciton-exciton interaction beyond the hydrogenic picture in a MoSe$_2$ monolayer in the strong light-matter coupling regime

abstract: In transition metal dichalcogenides layers of atomic scale thickness, the electron-hole Coulomb interaction potential is strongly influenced by the sharp discontinuity of the dielectric function across the layer plane. This feature results in peculiar non-hydrogenic excitonic states, in which exciton-mediated optical nonlinearities are predicted to be enhanced as compared to their hydrogenic counterpart. To demonstrate this enhancement, we performed optical transmission spectroscopy of a MoSe$_2$ monolayer placed in the strong coupling regime with the mode of an optical microcavity, and analyzed the results quantitatively with a nonlinear input-output theory. We find an enhancement of both the exciton-exciton interaction and of the excitonic fermionic saturation with respect to realistic values expected in the hydrogenic picture. Such results demonstrate that unconventional excitons in MoSe$_2$ are highly favourable for the implementation of large exciton-mediated optical nonlinearities, potentially working up to room temperature.


title: Collective effects of the cost of opinion change

abstract: We study the dynamics of opinion formation in the situation where changing opinion involves a cost for the agents. To do so we couple the dynamics of a heterogeneous bounded confidence Hegselmann-Krause model with that of the resources that the agents invest on each opinion change. The outcomes of the dynamics are non-trivial and strongly depend on the different regions of the confidence parameter space. In particular, a second order phase transition, for which we determine the corresponding critical exponents, is found in the region where a re-entrant consensus phase is observed in the heterogeneous Hegselmann-Krause model. For regions where consensus always exist in the heterogeneous Hegselmann-Krause model, the introduction of cost does not lead to a phase transition but just to a continuous decrease of the size of the largest opinion cluster. Finally in the region where fragmentation is expected in the heterogeneous HK model, the introduction of a very small cost paradoxically increases the size of the largest opinion cluster.


title: Shuffle-Exchange Brings Faster: Reduce the Idle Time During Communication for Decentralized Neural Network Training

abstract: As a crucial scheme to accelerate the deep neural network (DNN) training, distributed stochastic gradient descent (DSGD) is widely adopted in many real-world applications. In most distributed deep learning (DL) frameworks, DSGD is implemented with Ring-AllReduce architecture (Ring-SGD) and uses a computation-communication overlap strategy to address the overhead of the massive communications required by DSGD. However, we observe that although $O(1)$ gradients are needed to be communicated per worker in Ring-SGD, the $O(n)$ handshakes required by Ring-SGD limits its usage when training with many workers or in high latency network. In this paper, we propose Shuffle-Exchange SGD (SESGD) to solve the dilemma of Ring-SGD. In the cluster of 16 workers with 0.1ms Ethernet latency, SESGD can accelerate the DNN training to $1.7 \times$ without losing model accuracy. Moreover, the process can be accelerated up to $5\times$ in high latency networks (5ms).


title: Graph Classification via Heat Diffusion on Simplicial Complexes

abstract: In this paper, we study the graph classification problem in vertex-labeled graphs. Our main goal is to classify the graphs comparing their higher-order structures thanks to heat diffusion on their simplices. We first represent vertex-labeled graphs as simplex-weighted super-graphs. We then define the diffusion Frechet function over their simplices to encode the higher-order network topology and finally reach our goal by combining the function values with machine learning algorithms. Our experiments on real-world bioinformatics networks show that using diffusion Fr{\'e}chet function on simplices is promising in graph classification and more effective than the baseline methods. To the best of our knowledge, this paper is the first paper in the literature using heat diffusion on higher-dimensional simplices in a graph mining problem. We believe that our method can be extended to different graph mining domains, not only the graph classification problem.


title: Dual Forms of the Squares of Nijenhuis Tensor

abstract: We express the dual forms of squares of Nijenhuis tensor in terms of the second order component derivatives of the exterior derivative on differential forms and give new vanishing results for the squares of Nijenhuis tensor.


title: Multi-Layer Bilinear Generalized Approximate Message Passing

abstract: In this paper, we extend the bilinear generalized approximate message passing (BiG-AMP) approach, originally proposed for high-dimensional generalized bilinear regression, to the multi-layer case for the handling of cascaded problem such as matrix-factorization problem arising in relay communication among others. Assuming statistically independent matrix entries with known priors, the new algorithm called ML-BiGAMP could approximate the general sum-product loopy belief propagation (LBP) in the high-dimensional limit enjoying a substantial reduction in computational complexity. We demonstrate that, in large system limit, the asymptotic MSE performance of ML-BiGAMP could be fully characterized via a set of simple one-dimensional equations termed state evolution (SE). We establish that the asymptotic MSE predicted by ML-BiGAMP' SE matches perfectly the exact MMSE predicted by the replica method, which is well known to be Bayes-optimal but infeasible in practice. This consistency indicates that the ML-BiGAMP may still retain the same Bayes-optimal performance as the MMSE estimator in high-dimensional applications, although ML-BiGAMP's computational burden is far lower. As an illustrative example of the general ML-BiGAMP, we provide a detector design that could estimate the channel fading and the data symbols jointly with high precision for the two-hop amplify-and-forward relay communication systems.


title: Levels and trends in the sex ratio at birth in seven provinces of Nepal between 1980 and 2016 with probabilistic projections to 2050: a Bayesian modeling approach

abstract: The sex ratio at birth (SRB; ratio of male to female births) in Nepal has been reported without imbalance on the national level. However, the national SRB could mask the disparity within the country. Given the demographic and cultural heterogeneities in Nepal, it is crucial to model Nepal SRB on the subnational level. Prior studies on subnational SRB in Nepal are mostly based on reporting observed values from surveys and census, and no study has provided probabilistic projections. We aim to estimate and project SRB for the seven provinces of Nepal from 1980 to 2050 using a Bayesian modeling approach. We compiled an extensive database on provincial SRB of Nepal, consisting 2001, 2006, 2011, and 2016 Nepal Demographic and Health Surveys and 2011 Census. We adopted a Bayesian hierarchical time series model to estimate and project the provincial SRB, with a focus on modelling the potential SRB imbalance. In 2016, the highest SRB is estimated in Province 5 at 1.102 with a 95% credible interval (1.044, 1.127) and the lowest SRB is in Province 2 at 1.053 (1.035, 1.109). The SRB imbalance probabilities in all provinces are generally low and vary from 16% in Province 2 to 81% in Province 5. SRB imbalances are estimated to have begun at the earliest in 2001 in Province 5 with a 95% credible interval (1992, 2022) and the latest in 2017 (1998, 2040) in Province 2. We project SRB in all provinces to begin converging back to the national baseline in the mid-2030s. Our findings imply that the majority of provinces in Nepal have low risks of SRB imbalance for the period 1980-2016. However, we identify a few provinces with higher probabilities of having SRB inflation. The projected SRB is an important illustration of potential future prenatal sex discrimination and shows the need to monitor SRB in provinces with higher possibilities of SRB imbalance.


title: On globally hypoelliptic abelian actions and their existence on homogeneous spaces

abstract: We define globally hypoelliptic smooth $\mathbb R^k$ actions as actions whose leafwise Laplacian along the orbit foliation is a globally hypoelliptic differential operator. When $k=1$, strong global rigidity is conjectured for such actions by Greenfield-Wallach and Katok: every such action is smoothly conjugate to a Diophantine flow on the torus. The conjecture has been confirmed for all homogeneous flows on homogeneous spaces \cite{FFRH}. In this paper we conjecture that among homogeneous $\mathbb R^k$ actions ($k\ge 2$) on homogeneous spaces globally hypoelliptic actions exist only on nilmanifolds. We obtain a partial result towards this conjecture: we show non-existence of globally hypoelliptic $\mathbb R^2$ actions on homogeneous spaces $G/\Gamma$, with at least one quasi-unipotent generator, where $G= SL(n, \mathbb R)$. We also show that the same type of actions on solvmanifolds are smoothly conjugate to homogeneous actions on nilmanifolds.


title: Super Asymptotically Nonexpansive Actions of Semitopological Semigroups on Frechet and Locally Convex Spaces

abstract: Let LUC$(S)$ be the space of left uniformly continuous functions on a semitopological semigroup $S$. Suppose that $S$ is right reversible and $\operatorname{LUC}(S)$ has a left invariant mean. Let $(X,d)$ be a Fr\'echet space. Let $\tau$ be a locally convex topology of $X$ weaker than the $d$-topology such that the metric $d$ is $\tau$-lower semicontinuous. Let $K$ be a $d$--separable and $\tau$--compact convex subset of $X$. We show that every jointly $\tau$-continuous and super asymptotically $d$-nonexpansive action $S\times K\mapsto K$ of $S$ has a common fixed point. Similar results in the locally convex space setting are provided.


title: PPS results and prospects from CMS/TOTEM collaborations

abstract: We describe the most recent results from the Proton Precision Spectrometer from the CMS and TOTEM collaborations, namely the first observation of exclusive di-lepton production at high mass at the LHC, and the prospects concerning the sensitivity to quartic anomalous couplings..


title: Diagnosing phase correlations in the joint spectrum of parametric downconversion using multi-photon emission

abstract: The development of new quantum light sources requires robust and convenient methods of characterizing their joint spectral properties. Measuring the joint spectral intensity between a photon pair ignores any correlations in spectral phase which may be responsible for degrading the quality of quantum interference. A fully phase-sensitive characterization tends to require significantly more experimental complexity. Here, we investigate the sensitivity of the frequency-resolved double-pair emission to spectral phase correlations, in particular to the presence of a simple form of correlated phase which can be generated by a chirped pump laser pulse. We observe interference fringes in the four photon coincidences which depend on the frequencies of all four photons, with a period which depends on the strength of their correlation. We also show that phase correlations in the JSA induce spectral intensity correlations between two signal photons, even when the corresponding idler photons are not detected, and link this correlation pattern to the purity of a single signal photon. These effects will be useful in assessing new photon-pair sources for quantum technologies, especially since we require little additional complexity compared to a joint spectral intensity measurement - essentially just the ability to detect at least two photons in each output port.


title: A Multi-wavelength search for Black Widows and Redbacks counterparts of candidate $\gamma$-ray millisecond pulsars

abstract: The wealth of detections of millisecond pulsars (MSPs) in $\gamma$-rays by {\em Fermi} has spurred searches for these objects among the several unidentified $\gamma$-ray sources. Interesting targets are a sub-class of binary MSPs, dubbed "Black Widows" (BWs) and "Redbacks" (RBs), which are in orbit with low-mass non-degenerate companions fully or partially ablated by irradiation from the MSP wind. These systems can be easily missed in radio pulsar surveys owing to the eclipse of the radio signal by the intra-binary plasma from the ablated companion star photosphere, making them better targets for multi-wavelength observations. We used optical and X-ray data from public databases to carry out a systematic investigation of all the unidentified $\gamma$-ray sources from the Fermi Large Area Telescope (LAT) Third Source Catalog (3FGL), which have been pre-selected as likely MSP candidates according to a machine-learning technique analysis. We tested our procedure by recovering known binary BW/RB identifications and searched for new ones, finding possible candidates. At the same time, we investigated previously proposed BW/RB identifications and we ruled out one of them based upon the updated $\gamma$-ray source coordinates.


title: Limit theorems for supercritical branching processes in random environment

abstract: We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We focus on the supercritical case, when the process survives with a positive probability and grows exponentially fast on the nonextinction set. Our main is goal is establish Fourier techniques for this model, which allow to obtain a number of precise estimates related to limit theorems. As a consequence we provide new results concerning central limit theorem, Edgeworth expansions and renewal theorem for $\log Z_n$.


title: Evidence for current-induced phase coexistence in Ca$_{2}$RuO$_{4}$ and its influence on magnetic order

abstract: Combining quasistatic and time-resolved transport measurements with X-ray and neutron diffraction experiments we study the non-equilibrium states that arise in pure and in Ti substituted Ca$_2$RuO$_4$ under the application of current densities. Time-resolved studies of the current-induced switching find a slow conductance relaxation that can be identified with heating and a fast one that unambiguously proves an intrinsic mechanism. The current-induced phase transition leads to complex diffraction patterns. Separated Bragg reflections that can be associated with the metallic and insulating phases by their lattice parameters, indicate a real structure with phase coexistence that strongly varies with temperature and current strength. A third contribution with a $c$ lattice constant in between those of metallic and insulating phases appears upon cooling. At low current densities, this additional phase appears below $\sim$100 K and is accompanied by a suppression of the antiferromagnetic order that otherwise can coexist with current carrying states. A possible origin of the intermediate phase is discussed.


title: Error Correcting Codes, finding polynomials of bounded degree agreeing on a dense fraction of a set of points

abstract: Here we present some revised arguments to a randomized algorithm proposed by Sudan to find the polynomials of bounded degree agreeing on a dense fraction of a set of points in $\mathbb{F}^{2}$ for some field $\mathbb{F}$.


title: Rigorous derivation of a binary-ternary Boltzmann equation for a dense gas of hard spheres

abstract: This paper provides the first rigorous derivation of a binary-ternary Boltzmann equation describing the kinetic properties of a dense hard-spheres gas, where particles undergo either binary or ternary instantaneous interactions, while preserving momentum and energy. An important challenge we overcome in deriving this equation is related to providing a mathematical framework that allows us to detect both binary and ternary interactions. Furthermore, this paper introduces new algebraic and geometric techniques in order to eventually decouple binary and ternary interactions and understand the way they could succeed one another in time.


title: Mean propagation velocity of multiphoton wave-packet states with nonzero Lorentz-invariant mass

abstract: The concept of Lorenz invariant mass and mean propagation velocity have been investigated in detail for various multiphoton wave-packet states of light. Based on photodetection theory and straightforward kinematics, we presented a physically reasonable and at the same time rigorous proof that mean propagation velocity is consistent with the Lorentz-invariant mass concept for an arbitrary multiphoton wave-packet state. We argued that mean propagation velocity is less than the speed of light constant in vacuum and is governed by geometric properties of state's amplitude in wave-vector space for arbitrary wave-packet states. To classify states with different fixed values of Lorentz-invariant mass, we introduced a specific set of modes that allow us to describe the wave-packet state in its rest frame.


title: A New Equilateral Triangle?

abstract: In any triangle, the perpendicular side bisectors meet the corresponding internal angle bisectors on the circumcircle. If we take those three points as the vertices of a new triangle and repeat the operation indefinitly, we end up in the limit with a par of equilateral triangles whose sides are parallel to the sides of the Morley triangle of the initial triangle.


title: Multi-objective Optimal Control of Dynamic Integrated Model of Climate and Economy: Evolution in Action

abstract: One of the widely used models for studying economics of climate change is the Dynamic Integrated model of Climate and Economy (DICE), which has been developed by Professor William Nordhaus, one of the laureates of the 2018 Nobel Memorial Prize in Economic Sciences. Originally a single-objective optimal control problem has been defined on DICE dynamics, which is aimed to maximize the social welfare. In this paper, a bi-objective optimal control problem defined on DICE model, objectives of which are maximizing social welfare and minimizing the temperature deviation of atmosphere. This multi-objective optimal control problem solved using Non-Dominated Sorting Genetic Algorithm II (NSGA-II) also it is compared to previous works on single-objective version of the problem. The resulting Pareto front rediscovers the previous results and generalizes to a wide range of non-dominant solutions to minimize the global temperature deviation while optimizing the economic welfare. The previously used single-objective approach is unable to create such a variety of possibilities, hence, its offered solution is limited in vision and reachable performance. Beside this, resulting Pareto-optimal set reveals the fact that temperature deviation cannot go below a certain lower limit, unless we have significant technology advancement or positive change in global conditions.


title: Supervised Learning and Reinforcement Learning of Feedback Models for Reactive Behaviors: Tactile Feedback Testbed

abstract: Robots need to be able to adapt to unexpected changes in the environment such that they can autonomously succeed in their tasks. However, hand-designing feedback models for adaptation is tedious, if at all possible, making data-driven methods a promising alternative. In this paper we introduce a full framework for learning feedback models for reactive motion planning. Our pipeline starts by segmenting demonstrations of a complete task into motion primitives via a semi-automated segmentation algorithm. Then, given additional demonstrations of successful adaptation behaviors, we learn initial feedback models through learning from demonstrations. In the final phase, a sample-efficient reinforcement learning algorithm fine-tunes these feedback models for novel task settings through few real system interactions. We evaluate our approach on a real anthropomorphic robot in learning a tactile feedback task.


title: Improvement on Extrapolation of Species Abundance Distribution Across Scales from Moments Across Scales

abstract: Raw moments are used as a way to estimate species abundance distribution. The almost linear pattern of the log transformation of raw moments across scales allow us to extrapolate species abundance distribution for larger areas. However, results may produce errors. Some of these errors are due to computational complexity, fittings of patterns, binning methods, and so on. We provide some methods to reduce some of the errors. The main result is introducing new techniques for evaluating a more accurate species abundance distributions across scales through moments across scales.


title: Hamiltonian and Lagrangian BRST quantization in Riemann Manifold

abstract: The BRST quantization of particle motion on the hypersurface $V_{(N-1)}$ embedded in Euclidean space $R_N$ is carried out both in Hamiltonian and Lagrangian formalism. Using Batalin-Fradkin-Fradkina-Tyutin (BFFT) formalism, the second class constrained obtained using Hamiltonian analysis are converted into first class constraints. Then using BFV analysis the BRST symmetry is constructed. We have given a simple example of these kind of system. In the end we have discussed Batalin-Vilkovisky formalism in the context of this (BFFT modified) system.


title: M3d-CAM: A PyTorch library to generate 3D data attention maps for medical deep learning

abstract: M3d-CAM is an easy to use library for generating attention maps of CNN-based PyTorch models improving the interpretability of model predictions for humans. The attention maps can be generated with multiple methods like Guided Backpropagation, Grad-CAM, Guided Grad-CAM and Grad-CAM++. These attention maps visualize the regions in the input data that influenced the model prediction the most at a certain layer. Furthermore, M3d-CAM supports 2D and 3D data for the task of classification as well as for segmentation. A key feature is also that in most cases only a single line of code is required for generating attention maps for a model making M3d-CAM basically plug and play.


title: Pricing cyber insurance for a large-scale network

abstract: Facing the lack of cyber insurance loss data, we propose an innovative approach for pricing cyber insurance for a large-scale network based on synthetic data. The synthetic data is generated by the proposed risk spreading and recovering algorithm that allows infection and recovery events to occur sequentially, and allows dependence of random waiting time to infection for different nodes. The scale-free network framework is adopted to account for the topology uncertainty of the random large-scale network. Extensive simulation studies are conducted to understand the risk spreading and recovering mechanism, and to uncover the most important underwriting risk factors. A case study is also presented to demonstrate that the proposed approach and algorithm can be adapted accordingly to provide reference for cyber insurance pricing.


title: Color-flavor locked quark stars in energy-momentum squared gravity

abstract: Several attempts have been made in the past decades to search for the true ground state of the dense matter at sufficiently large densities and low temperatures via compact astrophysical objects. Focusing on strange stars, we derive the hydrostatic equilibrium assuming a maximally symmetric phase of homogeneous superconducting quark matter called the \textit{color-flavor-locked} (CFL) phase in the background of energy-momentum squared gravity (EMSG). Theoretical and experimental investigations show that strange quark matter (SQM) in a CFL state can be the true ground state of hadronic matter at least for asymptotic densities, and even if the unequal quark masses. Motivated by these theoretical models, we explore the structure of stellar objects in recently proposed EMSG, which allows a correction term $T_{\mu \nu}T^{\mu \nu}$ in the action functional of the theory. Interestingly, EMSG may be effective to resolve the problems at high energy densities, e.g., relevant to the early universe and dense compact astrophysical objects without invoking some new forms of fluid stress, such as bulk viscosity or scalar fields. Finally, we solve the complicated field equations numerically to obtain the mass-radius relations for strange stars in CFL equation of state.


title: Independent Component Analysis for Compositional Data

abstract: Compositional data represent a specific family of multivariate data, where the information of interest is contained in the ratios between parts rather than in absolute values of single parts. The analysis of such specific data is challenging as the application of standard multivariate analysis tools on the raw observations can lead to spurious results. Hence, it is appropriate to apply certain transformations prior further analysis. One popular multivariate data analysis tool is independent component analysis. Independent component analysis aims to find statistically independent components in the data and as such might be seen as an extension to principal component analysis. In this paper we examine an approach of how to apply independent component analysis on compositional data by respecting the nature of the former and demonstrate the usefulness of this procedure on a metabolomic data set.


title: Robust communication on networks

abstract: We consider sender-receiver games, where the sender and the receiver are two distinct nodes in a communication network. Communication between the sender and the receiver is thus indirect. We ask when it is possible to robustly implement the equilibrium outcomes of the direct communication game as equilibrium outcomes of indirect communication games on the network. Robust implementation requires that: (i) the implementation is independent of the preferences of the intermediaries and (ii) the implementation is guaranteed at all histories consistent with unilateral deviations by the intermediaries. Robust implementation of direct communication is possible if and only if either the sender and receiver are directly connected or there exist two disjoint paths between the sender and the receiver.


title: Bipartite temporal Bell inequalities for two-mode squeezed states

abstract: Bipartite temporal Bell inequalities are similar to the usual Bell inequalities except that, instead of changing the direction of the polariser at each measurement, one changes the time at which the measurement is being performed. By doing so, one is able to test for realism and locality, but relying on position measurements only. This is particularly useful in experimental setups where the momentum direction cannot be probed (such as in cosmology for instance). We study these bipartite temporal Bell inequalities for continuous systems placed in two-mode squeezed states, and find some regions in parameter space where they are indeed violated. We highlight the role played by the rotation angle, which is one of the three parameters characterising a two-mode squeezed state (the other two being the squeezing amplitude and the squeezing angle). In single-time measurements, it only determines the overall phase of the wavefunction and can therefore be discarded, but in multiple-time measurements, its time dynamics becomes relevant and crucially determines when bipartite temporal Bell inequalities can be violated. Our study opens up the possibility of new experimental designs for the observation of Bell inequality violations.


title: Fractional high order thin film equation: gradient flow approach

abstract: We prove existence of weak solutions of a fractional thin film type equation in any space dimension and for any order of the equation. The proof is based on a gradient flow technique in the space of Borel probability measures endowed with the Wasserstein distance.


title: Continuous dynamics related to monotone inclusions and non-smooth optimization problems

abstract: The aim of this survey is to present the main important techniques and tools from variational analysis used for first and second order dynamical systems of implicit type for solving monotone inclusions and non-smooth optimization problems. The differential equations are expressed by means of the resolvent (in case of a maximally monotone set valued operator) or the proximal operator for non-smooth functions. The asymptotic analysis of the trajectories generated relies on Lyapunov theory, where the appropriate energy functional plays a decisive role. While the most part of the paper is related to monotone inclusions and convex optimization problems in the variational case, we present also results for dynamical systems for solving non-convex optimization problems, where the Kurdyka-Lojasiewicz property is used.


title: Query Based Access Control for Linked Data

abstract: In recent years we have seen significant advances in the technology used to both publish and consume Linked Data. However, in order to support the next generation of ebusiness applications on top of interlinked machine readable data suitable forms of access control need to be put in place. Although a number of access control models and frameworks have been put forward, very little research has been conducted into the security implications associated with granting access to partial data or the correctness of the proposed access control mechanisms. Therefore the contributions of this paper are two fold: we propose a query rewriting algorithm which can be used to partially restrict access to SPARQL 1.1 queries and updates; and we demonstrate how a set of criteria, which was originally used to verify that an access control policy holds over different database states, can be adapted to verify the correctness of access control via query rewriting.


title: Addressing the cosmological $H_0$ tension by the Heisenberg uncertainty

abstract: The uncertainty on measurements, given by the Heisenberg principle, is a quantum concept usually not taken into account in General Relativity. From a cosmological point of view, several authors wonder how such a principle can be reconciled with the Big Bang singularity, but, generally, not whether it may affect the reliability of cosmological measurements. In this letter, we express the {Compton mass} as a function of the cosmological redshift. The cosmological application of the indetermination principle unveils the differences of the Hubble-Lema\^{i}tre constant value, $H_0$, as measured from the Cepheids estimates and from the Cosmic Microwave Background radiation constraints. In conclusion, the $H_0$ tension could be related to the effect of indetermination derived in comparing a kinematic with a dynamic measurement.


title: A Generalized Reinforcement Learning Algorithm for Online 3D Bin-Packing

abstract: We propose a Deep Reinforcement Learning (Deep RL) algorithm for solving the online 3D bin packing problem for an arbitrary number of bins and any bin size. The focus is on producing decisions that can be physically implemented by a robotic loading arm, a laboratory prototype used for testing the concept. The problem considered in this paper is novel in two ways. First, unlike the traditional 3D bin packing problem, we assume that the entire set of objects to be packed is not known a priori. Instead, a fixed number of upcoming objects is visible to the loading system, and they must be loaded in the order of arrival. Second, the goal is not to move objects from one point to another via a feasible path, but to find a location and orientation for each object that maximises the overall packing efficiency of the bin(s). Finally, the learnt model is designed to work with problem instances of arbitrary size without retraining. Simulation results show that the RL-based method outperforms state-of-the-art online bin packing heuristics in terms of empirical competitive ratio and volume efficiency.


title: Towards Accurate Labeling of Android Apps for Reliable Malware Detection

abstract: In training their newly-developed malware detection methods, researchers rely on threshold-based labeling strategies that interpret the scan reports provided by online platforms, such as VirusTotal. The dynamicity of this platform renders those labeling strategies unsustainable over prolonged periods, which leads to inaccurate labels. Using inaccurately labeled apps to train and evaluate malware detection methods significantly undermines the reliability of their results, leading to either dismissing otherwise promising detection approaches or adopting intrinsically inadequate ones. The infeasibility of generating accurate labels via manual analysis and the lack of reliable alternatives force researchers to utilize VirusTotal to label apps. In the paper, we tackle this issue in two manners. Firstly, we reveal the aspects of VirusTotal's dynamicity and how they impact threshold-based labeling strategies and provide actionable insights on how to use these labeling strategies given VirusTotal's dynamicity reliably. Secondly, we motivate the implementation of alternative platforms by (a) identifying VirusTotal limitations that such platforms should avoid, and (b) proposing an architecture of how such platforms can be constructed to mitigate VirusTotal's limitations.


title: Effects of density on the oxygen ionisation equilibrium in collisional plasmas

abstract: The ion populations most frequently adopted for diagnostics in collisional plasmas are derived from the density independent, coronal approximation. In higher density, lower temperature conditions, ionisation rates are enhanced once metastable levels become populated, and recombination rates are suppressed if ions recombine into Rydberg levels. As a result, the formation temperatures of ions shift, altering the diagnostics of the plasma. To accurately model the effect of ionisation from metastable levels, new electron impact, ionisation cross sections have been calculated for oxygen, both for direct ionisation and excitation--auto-ionisation of the ground and metastable levels. The results have been incorporated into collisional radiative modelling to show how the ionisation equilibrium of oxygen changes once metastable levels become populated. Suppression of dielectronic recombination has been estimated and also included in the modelling, demonstrating the shifts with density in comparison to the coronal approximation. The final results for the ionisation equilibrium are used in differential emission measure modelling to predict line intensities for many lines emitted by O II-VI in the solar transition region. The predictions show improved agreement by 15-40% for O II, O VI and the inter-combination lines of O III-V, when compared to results from coronal approximation modelling. While there are still discrepancies with observations of these lines, this could, to a large part, be explained by variability in the observations.


title: On the use of Nonlinear Normal Modes for Nonlinear Reduced Order Modelling

abstract: In many areas of engineering, nonlinear numerical analysis is playing an increasingly important role in supporting the design and monitoring of structures. Whilst increasing computer resources have made such formerly prohibitive analyses possible, certain use cases such as uncertainty quantification and real time high-precision simulation remain computationally challenging. This motivates the development of reduced order modelling methods, which can reduce the computational toll of simulations relying on mechanistic principles. The majority of existing reduced order modelling techniques involve projection onto linear bases. Such methods are well established for linear systems but when considering nonlinear systems their application becomes more difficult. Targeted schemes for nonlinear systems are available, which involve the use of multiple linear reduction bases or the enrichment of traditional bases. These methods are however generally limited to weakly nonlinear systems. In this work, nonlinear normal modes (NNMs) are demonstrated as a possible invertible reduction basis for nonlinear systems. The extraction of NNMs from output only data using machine learning methods is demonstrated and a novel NNM-based reduced order modelling scheme introduced. The method is demonstrated on a simulated example of a nonlinear 20 degree-of-freedom (DOF) system.


title: Standing waves with prescribed mass for the Schr\"{o}dinger equations with van der Waals type potentials

abstract: \begin{abstract} In this paper, we focus on the standing waves with prescribed mass for the Schr\"{o}dinger equations with van der Waals type potentials, that is, two-body potentials with different width. This leads to the study of the following nonlocal elliptic equation \begin{equation*}\label{1} -\Delta u=\lambda u+\mu (|x|^{-\alpha}\ast|u|^{2})u+(|x|^{-\beta}\ast|u|^{2})u,\ \ x\in \R^{N} \end{equation*} under the normalized constraint \[\int_{{\mathbb{R}^N}} {{u}^2}=c>0,\] where $N\geq 3$, $\mu\!>\!0$, $\alpha$, $\beta\in (0,N)$, and the frequency $\lambda\in \mathbb{R}$ is unknown and appears as Lagrange multiplier. Compared with the well studied case $\alpha=\beta$, the solution set of the above problem with different width of two body potentials $\alpha\neq\beta$ is much richer. Under different assumptions on $c$, $\alpha$ and $\beta$, we prove several existence, multiplicity and asymptotic behavior of solutions to the above problem. In addition, the stability of the corresponding standing waves for the related time-dependent problem is discussed.


title: Commutators of integral operators with functions in Campanato spaces on Orlicz-Morrey spaces

abstract: We consider the commutators $[b,T]$ and $[b,I_{\rho}]$ on Orlicz-Morrey spaces, where $T$ is a Calder\'on-Zygmund operator, $I_{\rho}$ is a generalized fractional integral operator and $b$ is a function in generalized Campanato spaces. We give a necessary and sufficient condition for the boundedness of the commutators on Orlicz-Morrey spaces. To do this we prove the boundedness of generalized fractional maximal operators on Orlicz-Morrey spaces. Moreover, we introduce Orlicz-Campanato spaces and establish their relations to Orlicz-Morrey spaces.


title: Review on Biophysical Modelling and Simulation Studies for Transcranial Magnetic Stimulation

abstract: Transcranial magnetic stimulation (TMS) is a technique for noninvasively stimulating a brain area for therapeutic, rehabilitation treatments and neuroscience research. Despite our understanding of the physical principles and experimental developments pertaining to TMS, it is difficult to identify the exact brain target as the generated dosage exhibits a non-uniform distribution owing to the complicated and subject-dependent brain anatomy and the lack of biomarkers that can quantify the effects of TMS in most cortical areas. Computational dosimetry has progressed significantly and enables TMS assessment by computation of the induced electric field (the primary physical agent known to activate the brain neurons) in a digital representation of the human head. In this review, TMS dosimetry studies are summarised, clarifying the importance of the anatomical and human biophysical parameters and computational methods. This review shows that there is a high consensus on the importance of a detailed cortical folding representation and an accurate modelling of the surrounding cerebrospinal fluid. Recent studies have also enabled the prediction of individually optimised stimulation based on magnetic resonance imaging of the patient/subject and have attempted to understand the temporal effects of TMS at the cellular level by incorporating neural modelling. These efforts, together with the fast deployment of personalised TMS computations, will permit the adoption of TMS dosimetry as a standard procedure in clinical procedures.


title: A continuous family of Exact Dispersive Quasi-Normal Modal (DQNM) Expansions for dispersive photonic structures

abstract: In photonics, Dispersive Quasi-Normal Modes (DQNMs) refer to optical resonant modes, solutions of spectral problems associated with Maxwell's equations for open photonic structures involving dispersive media. Since these DQNMs are the constituents determining optical responses, studying DQNM expansion formalisms is the key to model the physical properties of a considered system. In this paper, we emphasize the non-uniqueness of the expansions related to the over-completeness of the set of modes and discuss a family of DQNM expansions depending on continuous parameters that can be freely chosen. These expansions can be applied to dispersive, anisotropic, and even non-reciprocal materials. As an example, we particularly demonstrate the modal analysis on a 2-D scattering model where the permittivity of a silicon object is drawn directly from actual measurement data.


title: Radiative thermal switch via asymmetric black phosphorus gratings

abstract: Active control of heat transfer at the nanoscale has great potentials in thermal logic and energy conversion devices. In the present work, we theoretically propose a radiative thermal switch (RTS) composed of a pair of asymmetric black phosphorus (BP) gratings, with BP nanoribbons periodically patterned in different directions. The simply mechanical rotation between the gratings enables substantial modulation of near-field radiative heat transfer, especially when combined with the use of non-identical parameters, i.e., filling factors and electron densities of BP. Among all the cases including asymmetric BP gratings, symmetric BP gratings, and BP films, we find that the asymmetric BP gratings possess the most excellent switching performance. The optimized switching factors can be as high as 90% with the vacuum separation d=50 nm and higher than 70% even in the far-field regime. The high-performance switching is basically attributed to the rotatable-tunable matching degree between the surface characteristics of the two asymmetric gratings. Moreover, due to the twisting principle, the RTS can work at any temperature, which has great advantage over the phase change materials-based RTS. The proposed switching scheme has great significance for the applications in thermal management and thermal circuits.


title: Stability of Steady States for Hartree and Schrodinger Equations for Infinitely Many Particles

abstract: We prove a scattering result near certain steady states for a Hartree equation for a random field. This equation describes the evolution of a system of infinitely many particles. It is an analogous formulation of the usual Hartree equation for density matrices. We treat dimensions 2 and 3, extending our previous result. We reach a large class of interaction potentials, which includes the nonlinear Schrodinger equation. This result has an incidence in the density matrices framework. The proof relies on dispersive techniques used for the study of scattering for the nonlinear Schrodinger equation, and on the use of explicit low frequency cancellations as in the work of Lewin and Sabin. To relate to density matrices, we use Strichartz estimates for orthonormal systems from Frank and Sabin, and Leibniz rules for integral operators.


title: Cross-relaxation studies with optically detected magnetic resonances in nitrogen-vacancy centers in diamond in an external magnetic field

abstract: In this paper cross-relaxation between nitrogen-vacancy (NV) centers and substitutional nitrogen in a diamond crystal was studied. It was demonstrated that optically detected magnetic resonance signals (ODMR) can be used to measure these signals successfully. The ODMR were detected at axial magnetic field values around 51.2~mT in a diamond sample with a relatively high (200~ppm) nitrogen concentration. We observed transitions that involve magnetic sublevels that are split by the hyperfine interaction. Microwaves in the frequency ranges from 1.3 GHz to 1.6 GHz ($m_S=0\longrightarrow m_S=-1$ NV transitions) and from 4.1 to 4.6 GHz ($m_S=0\longrightarrow m_S=+1$ NV transitions) were used. To understand the cross-relaxation process in more detail and, as a result, reproduce measured signals more accurately, a model was developed that describes the microwave-initiated transitions between hyperfine levels of the NV center that are undergoing anti-crossing and are strongly mixed in the applied magnetic field. Additionally, we simulated the extent to which the microwave radiation used to induce ODMR in the NV center also induced transitions in the substitutional nitrogen via cross-relaxation. The improved understanding of the NV processes in the presence of a magnetic field will be useful for designing NV-diamond-based devices for a wide range of applications from implementation of q-bits to hyperpolarization of large molecules to various quantum technological applications such as field sensors.


title: Post-merger Mass Ejection of Low-mass Binary Neutron Stars

abstract: We study the post-merger mass ejection of low-mass binary neutron stars (NSs) with the system mass of $2.5\, M_\odot$, and subsequent nucleosynthesis by performing general-relativistic, neutrino-radiation viscous-hydrodynamics simulations in axial symmetry. We find that the merger remnants are long-lived massive NSs surviving more than several seconds, irrespective of the nuclear equations of state (EOSs) adopted. The ejecta masses of our fiducial models are $\sim 0.06$-$0.1\, M_\odot$ (depending on the EOS), being $\sim 30\%$ of the initial disk masses ($\sim 0.15$-$0.3\, M_\odot$). Post-processing nucleosynthesis calculations indicate that the ejecta is composed mainly of light $r$-process nuclei with small amounts of lanthanides (mass fraction $\sim 0.002$-$0.004$) and heavier species due to the modest average electron fraction ($\sim 0.32$-$0.34$) for a reasonable value of the viscous coefficient. Such abundance distributions are incompatible with the solar $r$-process-like abundance patterns found in all measured $r$-process-enhanced metal-poor stars. Therefore, low-mass binary NS mergers should be rare. If such low-mass NS mergers occur, their electromagnetic counterparts, kilonovae, will be characterized by an early bright blue emission because of the large ejecta mass as well as the small lanthanide fraction. We also show, however, that if the effective turbulent viscosity is very high, or there is an efficient mass ejection working in the early post-merger phase, the electron fraction of the ejecta could be low enough that the solar $r$-process-like abundance pattern is reproduced and the lanthanide fraction becomes so high that the kilonova would be characterized by early bright blue and late bright red emissions.


title: The GAPS Programme at TNG -- XXV. Stellar atmospheric parameters and chemical composition through GIARPS optical and near-infrared spectra

abstract: The detailed chemical composition of stars is important in many astrophysical fields, among which the characterisation of exoplanetary systems. Previous studies seem to indicate an anomalous chemical pattern of the youngest stellar population in the solar vicinity with a sub-solar metal content. This can influence various observational relations linking the properties of exoplanets to the characteristics of the host stars, for example the giant planet-metallicity relation. In this framework, we aim to expand our knowledge of the chemical composition of intermediate-age stars and understand whether these peculiarities are real or related to spectroscopic analysis techniques. We analysed high-resolution optical and near-infrared GIARPS spectra of intermediate-age stars (< 700Myr). To overcome issues related to the young ages of the stars, we applied a new spectroscopic method that uses titanium lines to derive the atmospheric parameters, in particular surface gravities and microturbulence velocity parameter. We also derived abundances of 14 different atomic species. The lack of systematic trends between elemental abundances and effective temperatures validates our method. However, we observed that the coolest (<5400 K) stars in the sample, display higher abundances for the Cr II, and for high-excitation potential C I lines. We found a positive correlation between the higher abundances measured of C I and Cr II and the activity index logR$_{HK}$. Instead, we found no correlations between the C abundances obtained from CH molecular band at 4300\AA, and both effective temperatures and activity. Thus, we suggest that these are better estimates for C abundances in young and cool stars. Finally, we found an indication of an increasing abundance ratio [X/H] with the condensation temperature for HD167389, indicating possible episodes of planet engulfment.


title: Absence of diagonal force constants in cubic Coulomb crystals

abstract: The quasi-harmonic model proposes that a crystal can be modeled as atoms connected by springs. We demonstrate how this viewpoint can be misleading: a simple application of Gauss' law shows that the ion-ion potential for a cubic Coulomb system can have no diagonal harmonic contribution and so cannot necessarily be modeled by springs. We investigate the repercussions of this observation by examining three illustrative regimes: the bare ionic, density tight-binding, and density nearly-free electron models. For the bare ionic model, we demonstrate the zero elements in the force constants matrix and explain this phenomenon as a natural consequence of Poisson's law. In the density tight-binding model, we confirm that the inclusion of localized electrons stabilizes all major crystal structures at harmonic order and we construct a phase diagram of preferred structures with respect to core and valence electron radii. In the density nearly-free electron model, we verify that the inclusion of delocalized electrons, in the form of a background jellium, is enough to counterbalance the diagonal force constants matrix from the ion-ion potential in all cases and we show that a first-order perturbation to the jellium does not have a destabilizing effect. We discuss our results in connection to Wigner crystals in condensed matter, Yukawa crystals in plasma physics, as well as the elemental solids.


title: Automatic Crack Detection on Road Pavements Using Encoder Decoder Architecture

abstract: Inspired by the development of deep learning in computer vision and object detection, the proposed algorithm considers an encoder-decoder architecture with hierarchical feature learning and dilated convolution, named U-Hierarchical Dilated Network (U-HDN), to perform crack detection in an end-to-end method. Crack characteristics with multiple context information are automatically able to learn and perform end-to-end crack detection. Then, a multi-dilation module embedded in an encoder-decoder architecture is proposed. The crack features of multiple context sizes can be integrated into the multi-dilation module by dilation convolution with different dilatation rates, which can obtain much more cracks information. Finally, the hierarchical feature learning module is designed to obtain a multi-scale features from the high to low-level convolutional layers, which are integrated to predict pixel-wise crack detection. Some experiments on public crack databases using 118 images were performed and the results were compared with those obtained with other methods on the same images. The results show that the proposed U-HDN method achieves high performance because it can extract and fuse different context sizes and different levels of feature maps than other algorithms.