title: Analogues of Entropy in Bi-Free Probability Theory: Non-Microstate

abstract: In this paper, we extend the notion of non-microstate free entropy to the bi-free setting. Using a diagrammatic approach involving bi-non-crossing diagrams, bi-free difference quotients are constructed as analogues of the free partial derivations. Adjoints of bi-free difference quotients are discussed and used to define bi-free conjugate variables. Notions of bi-free Fisher information and non-microstate entropy are defined and properties of free entropy are extended to the bi-free setting.


title: Analogues of Entropy in Bi-Free Probability Theory: Microstates

abstract: In this paper, we extend the notion of microstate free entropy to the bi-free setting. In particular, using the bi-free analogue of random matrices, microstate bi-free entropy is defined. Properties essential to an entropy theory are developed, such as the behaviour of the entropy when transformations on the left variables or on the right variables are performed. In addition, the microstate bi-free entropy is demonstrated to be additive over bi-free collections provided additional regularity assumptions are included and is computed for all bi-free central limit distributions. Moreover, an orbital version of bi-free entropy is examined which provides a tighter upper bound for the subadditivity of microstate bi-free entropy and provides an alternate characterization of bi-freeness in certain settings.


title: Zenith angle dependence of the cosmic ray rate as measured with Imaging air-Cherenkov Telescopes

abstract: The rate of extensive air-showers observed with imaging air-Cherenkov telescopes is zenith angle dependent. This effect originates from the increasing geometrical distance of the observed shower to the telescope with increasing zenith distance. This paper investigates how this alters the observed image and how this affects the trigger rate as a function of zenith angle. The discussed effects include the change of Cherenkov light yield, of absorption in the atmosphere, of photon density at the aperture and of the image size at the focal plane of the telescope. Based on a simple model for the atmosphere and well-known first principles on the development of extensive air-showers, the zenith angle dependence is expressed analytically. The assumption that most light is emitted from the shower core and mathematical approximations allow to derive an analytical expression describing the zenith angle dependence well with only three free parameters which are directly linked with the underlying physics. This suggests further investigations about how these fit parameters are linked to the properties of the atmosphere and the instrument. Using data published by the First G-APD Cherenkov Telescope, a good match of the fit functions with the data is obtained. For the trigger rate of cosmic rays, the obtained parameters are consistent with the naive expectation.


title: Deep Hashing using Entropy Regularised Product Quantisation Network

abstract: In large scale systems, approximate nearest neighbour search is a crucial algorithm to enable efficient data retrievals. Recently, deep learning-based hashing algorithms have been proposed as a promising paradigm to enable data dependent schemes. Often their efficacy is only demonstrated on data sets with fixed, limited numbers of classes. In practical scenarios, those labels are not always available or one requires a method that can handle a higher input variability, as well as a higher granularity. To fulfil those requirements, we look at more flexible similarity measures. In this work, we present a novel, flexible, end-to-end trainable network for large-scale data hashing. Our method works by transforming the data distribution to behave as a uniform distribution on a product of spheres. The transformed data is subsequently hashed to a binary form in a way that maximises entropy of the output, (i.e. to fully utilise the available bit-rate capacity) while maintaining the correctness (i.e. close items hash to the same key in the map). We show that the method outperforms baseline approaches such as locality-sensitive hashing and product quantisation in the limited capacity regime.


title: On the optimum operating conditions of ThNe calibration lamps for measurements of radial velocity variations

abstract: Previous studies have shown that ThNe lamps are very suitable for the precise measurement of wavelength variations. A critical issue for all hollow cathode lamps (HCL) is the current at which the lamp is operated - a low value has the advantage that the life time of the lamp is longer whereas the number of useful lines is lower. We investigate the number of suitable spectral lines depending on the current used and obtained spectra of a ThNe HCL coupled by a fibre to the Tautenburg Echelle spectrograph in a setting that is typical for many high-resolution spectrographs. Operating currents were chosen in the range specified by the manufacturer. We varied exposure time to identify the saturation level and effects of noise. A few thousands of Th lines were identified automatically in the wavelength range considered. We noticed a scatter of several hundred ms$^{-1}$ of Th lines when varying the settings but did not detect any systematic trends. The scatter in wavelength residuals of Th lines however indicates that a precise control of operating current can be necessary. An estimation of the calibration precision of individual lines indicates that a combination of strong Th lines allows one to reach a level of 1$\mathrm{ms}^{-1}$. Although a high operating current reduces the life-time of the lamp and accelerates its ageing it guarantees highest precision because of the numerous Th lines which become strong compared to the Ne lines. Then, noise, saturation, wavelength residuals of lines identified, and the pollution due to saturated Ne lines can be minimised by adjusting exposure time. Our results indicate that ThNe lamps can be better suited than ThAr lamps for all kinds of studies that involve the precise measurement of radial velocity variations, e.g. studies on late-type stars, brown dwarfs, objects that suffer from strong extinction, or high-redshift galaxies.


title: Towards an All-Purpose Content-Based Multimedia Information Retrieval System

abstract: The growth of multimedia collections - in terms of size, heterogeneity, and variety of media types - necessitates systems that are able to conjointly deal with several forms of media, especially when it comes to searching for particular objects. However, existing retrieval systems are organized in silos and treat different media types separately. As a consequence, retrieval across media types is either not supported at all or subject to major limitations. In this paper, we present vitrivr, a content-based multimedia information retrieval stack. As opposed to the keyword search approach implemented by most media management systems, vitrivr makes direct use of the object's content to facilitate different types of similarity search, such as Query-by-Example or Query-by-Sketch, for and, most importantly, across different media types - namely, images, audio, videos, and 3D models. Furthermore, we introduce a new web-based user interface that enables easy-to-use, multimodal retrieval from and browsing in mixed media collections. The effectiveness of vitrivr is shown on the basis of a user study that involves different query and media types. To the best of our knowledge, the full vitrivr stack is unique in that it is the first multimedia retrieval system that seamlessly integrates support for four different types of media. As such, it paves the way towards an all-purpose, content-based multimedia information retrieval system.


title: Solving QSAT in sublinear depth

abstract: Among $\mathbf{PSPACE}$-complete problems, QSAT, or quantified SAT, is one of the most used to show that the class of problems solvable in polynomial time by families of a given variant of P systems includes the whole $\mathbf{PSPACE}$. However, most solutions require a membrane nesting depth that is linear with respect to the number of variables of the QSAT instance under consideration. While a system of a certain depth is needed, since depth 1 systems only allows to solve problems in $\mathbf{P^{\#P}}$, it was until now unclear if a linear depth was, in fact, necessary. Here we use P systems with active membranes with charges, and we provide a construction that proves that QSAT can be solved with a sublinear nesting depth of order $\frac{n}{\log n}$, where $n$ is the number of variables in the quantified formula given as input.


title: Fluorescent C II* 1335A emission spectroscopically resolved in a galaxy at z = 5.754

abstract: We report the discovery of the first spectroscopically resolved C II /C II* 1334, 1335A doublet in the Lyman-break galaxy J0215-0555 at z = 5.754. The separation of the resonant and fluorescent emission channels was possible thanks to the large redshift of the source and long integration time, as well as the small velocity width of the feature, 0.6 +- 0.2A. We model this emission and find that at least two components are required to reproduce the combination of morphologies of C II* emission, C II absorption and emission, and Lyman-alpha emission from the object. We suggest that the close alignment between the fluorescence and Lyman-alpha emission could indicate an ionisation escape channel within the object. While the faintness of such a C II /C II* doublet makes it prohibitively difficult to pursue for similar systems with current facilities, we suggest it can become a valuable porosity diagnostic in the era of JWST and the upcoming generations of ELTs.


title: The complexity of orientable graph manifolds

abstract: We give an upper bound for the Matveev complexity of the whole class of closed connected orientable prime graph manifolds that is sharp for all 14502 graph manifolds of the Recognizer catalogue (available at \texttt{http://matlas.math.csu.ru/?page=search}).


title: A typed parallel {\lambda}-calculus via 1-depth intermediate proofs

abstract: We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The resulting calculus, we call it $\lambda_{\parallel}$, is a strongly normalizing parallel extension of the simply typed $\lambda$-calculus. Although simple, the $\lambda_{\parallel}$ reduction rules can model arbitrary process network topologies, and encode interesting parallel programs ranging from numeric computation to algorithms on graphs.


title: A Turing machine simulation by P systems without charges

abstract: It is well known that the kind of P systems involved in the definition of the P conjecture is able to solve problems in the complexity class $\mathbf{P}$ by leveraging the uniformity condition. Here we show that these systems are indeed able to simulate deterministic Turing machines working in polynomial time with a weaker uniformity condition and using only one level of membrane nesting. This allows us to embed this construction into more complex membrane structures, possibly showing that constructions similar to the one performed in [1] for P systems with charges can be carried out also in this case.


title: Discretization and superintegrability all rolled into one

abstract: Abelian integrals arise in the mathematical description of various physical processes. According to Abel's theorem these integrals are related to motion of a set of points along a plane curve around fixed points, which are relatively little used in physics applications. We propose to interpret coordinates of the fixed points either as parameters of exact discretization or as additional first integrals for equations of motion reduced to Abelian quadratures.


title: The Riemannian barycentre as a proxy for global optimisation

abstract: Let $M$ be a simply-connected compact Riemannian symmetric space, and $U$ a twice-differentiable function on $M$, with unique global minimum at $x^* \in M$. The idea of the present work is to replace the problem of searching for the global minimum of $U$, by the problem of finding the Riemannian barycentre of the Gibbs distribution $P_{\scriptscriptstyle{T}} \propto \exp(-U/T)$. In other words, instead of minimising the function $U$ itself, to minimise $\mathcal{E}_{\scriptscriptstyle{T}}(x) = \frac{1}{2}\int d^{\scriptscriptstyle 2}(x,z)P_{\scriptscriptstyle{T}}(dz)$, where $d(\cdot,\cdot)$ denotes Riemannian distance. The following original result is proved : if $U$ is invariant by geodesic symmetry about $x^*$, then for each $\delta < \frac{1}{2} r_{\scriptscriptstyle cx}$ ($r_{\scriptscriptstyle cx}$ the convexity radius of $M$), there exists $T_{\scriptscriptstyle \delta}$ such that $T \leq T_{\scriptscriptstyle \delta}$ implies $\mathcal{E}_{\scriptscriptstyle{T}}$ is strongly convex on the geodesic ball $B(x^*,\delta)\,$, and $x^*$ is the unique global minimum of $\mathcal{E}_{\scriptscriptstyle{T\,}}$. Moreover, this $T_{\scriptscriptstyle \delta}$ can be computed explicitly. This result gives rise to a general algorithm for black-box optimisation, which is briefly described, and will be further explored in future work.


title: Characterization of finite dimensional nilpotent Lie algebras by the dimension of their Schur multipliers, $s(L)=5$

abstract: It is known that the dimension of the Schur multiplier of a non-abelian nilpotent Lie algebra $L$ of dimension $n$ is equal to $\frac{1}{2}(n-1)(n-2)+1-s(L)$ for some $ s(L)\geq0 $. The structure of all nilpotent Lie algebras has been given for $ s(L) \leq 4 $ in several papers. Here, we are going to give the structure of all non-abelian nilpotent Lie algebras for $s(L)=5$.


title: Quantization for uniform distributions on hexagonal, semicircular, and elliptical curves

abstract: In this paper, first we have defined a uniform distribution on the boundary of a regular hexagon, and then investigated the optimal sets of $n$-means and the $n$th quantization errors for all positive integers $n$. We give an exact formula to determine them, if $n$ is of the form $n=6k$ for some positive integer $k$. We further calculate the quantization dimension, the quantization coefficient, and show that the quantization dimension is equal to the dimension of the object, and the quantization coefficient exists as a finite positive number. Then, we define a mixture of two uniform distributions on the boundary of a semicircular disc, and obtain a sequence and an algorithm, with the help of which we determine the optimal sets of $n$-means and the $n$th quantization errors for all positive integers $n$ with respect to the mixed distribution. Finally, for a uniform distribution defined on an elliptical curve, we investigate the optimal sets of $n$-means and the $n$th quantization errors for all positive integers $n$.


title: NIHAO XIX: How supernova feedback shapes the galaxy baryon cycle

abstract: We have used the NIHAO simulations to explore how supernovae (SNe) affect star formation in galaxies. We find that SN feedback operates on all scales from the interstellar medium (ISM) to several virial radii. SNe regulate star formation by preventing condensation of HI into H$_2$ and by moving cold neutral gas to the hot HII phase. The first effect explains why the cold neutral gas in dwarf galaxies forms stars inefficiently. The second maintains the hot ISM of massive galaxies (HII vents out at lower masses). At $v_{\rm vir}\simeq 67{\rm\,km\,s}^{-1}$, the outflow rate follows the relation: $\dot{M}_{\rm out}=23\,(v_{\rm vir}/67{\rm\,km\,s}^{-1})^{-4.6}\,{\rm SFR}$. $20\%$ to $70\%$ of the gas expelled from galaxies escapes from the halo (ejective feedback) but outflows are dominated by cold swept-up gas, most of which falls back onto the galaxy on a $\sim 1\,$Gyr timescale. This `fountain feedback' reduces the masses of galaxies by a factor of two to four, since gas spends half to three quarter of its time in the fountain. Less than $10\%$ of the ejected gas mixes with the hot circumgalactic medium and this gas is usually not reaccreted. On scales as large as $6r_{\rm vir}$, galactic winds divert the incoming gas from cosmic filaments and prevent if from accreting onto galaxies (pre-emptive feedback). This process is the main reason for the low baryon content of ultradwarves.


title: Incentivizing the Workers for Truth Discovery in Crowdsourcing with Copiers

abstract: Crowdsourcing has become an efficient paradigm for performing large scale tasks. Truth discovery and incentive mechanism are fundamentally important for the crowdsourcing system. Many truth discovery methods and incentive mechanisms for crowdsourcing have been proposed. However, most of them cannot be applied to deal with the crowdsourcing with copiers. To address the issue, we formulate the problem of maximizing the social welfare such that all tasks can be completed with the least confidence for truth discovery. We design an incentive mechanism consisting truth discovery stage and reverse auction stage. In truth discovery stage, we estimate the truth for each task based on both the dependence and accuracy of workers. In reverse auction stage, we design a greedy algorithm to select the winners and determine the payment. Through both rigorous theoretical analysis and extensive simulations, we demonstrate that the proposed mechanisms achieve computational efficiency, individual rationality, truthfulness, and guaranteed approximation. Moreover, our truth discovery method shows prominent advantage in terms of precision when there are copiers in the crowdsourcing systems.


title: Multi-component Decomposition of Astronomical Spectra by Compressed Sensing

abstract: The signal measured by an astronomical spectrometer may be due to radiation from a multi-component mixture of plasmas with a range of physical properties (e.g. temperature, Doppler velocity). Confusion between multiple components may be exacerbated if the spectrometer sensor is illuminated by overlapping spectra dispersed from different slits, with each slit being exposed to radiation from a different portion of an extended astrophysical object. We use a compressed sensing method to robustly retrieve the different components. This method can be adopted for a variety of spectrometer configurations, including single-slit, multi-slit (e.g., the proposed MUlti-slit Solar Explorer mission; MUSE) and slot spectrometers (which produce overlappograms).


title: CLIcK: a Continuum and Line fItting Kit for circumstellar disks

abstract: Infrared spectroscopy with medium to high spectral resolution is essential to characterize the gas content of circumstellar disks. Unfortunately, conducting continuum and line radiative transfer of thermochemical disk models is too time-consuming to carry out large parameter studies. Simpler approaches using a slab model to fit continuum-subtracted spectra require the identification of either the global or local continuum. Continuum subtraction, particularly when covering a broad wavelength range, is challenging but critical in rich molecular spectra as hot (several hundreds K) molecular emission lines can also produce a pseudo continuum. In this work, we present CLIcK, a flexible tool to simultaneously fit the continuum and line emission. The DDN01 continuum model (Dullemond et al. 2001) and a plane-parallel slab of gas in local thermodynamic equilibrium are adopted to simulate the continuum and line emission respectively, both of them are fast enough for homogeneous studies of large disk samples. We applied CLIcK to fit the observed water spectrum of the AA Tau disk and obtained water vapor properties that are consistent with literature results. We also demonstrate that CLIcK properly retrieves the input parameters used to simulate the water spectrum of a circumstellar disk. CLIcK will be a versatile tool for the interpretation of future James Webb Space Telescope spectra.


title: Curvature-induced quantum spin-Hall effect on a M\"obius strip

abstract: The quantum Hall effect has been predicted and discovered in various condensed-matter systems. A promising quantum material for such topological effects is graphene. We report the numerical observation of a curvature-induced spin-Hall effect in a monolayer graphene M\"obius strip. The solution of the Dirac equation on the nontrivial and non-Euclidean manifold reveals that despite the absence of a Hall current, a spin-Hall current is a natural consequence for such a topology, as predicted from symmetry arguments.


title: 12 Years of Data, Results and Experiences in the European Researchers' Night Project

abstract: Since twelve years the researchers of the Roman area organize the European Researchers' Night, a project funded by European Commission to discover science and meet researchers through an Europe-wide public event dedicated to fun learning. Since the first edition in 2006, when the National Laboratory of INFN's in Frascati hosted 4000 visitors the project is always grown up to 50,000 attendees and more than 50 scientific partners. In the last edition, The Frascati Scienza association, which was born to coordinate the event, operated in over 30 Italian cities from south to north of the peninsula. In addition, the Made in Science project - European Research Week 2016/17 - has been the one of the largest project funded by the European Commission and it's often referred to as a model for organization and communication to the general public. The 12 yeas data collected and results obtained, as well as some of the most important experiences in public communication of science will be shown.


title: Mixed RF/FSO Relaying Systems with Hardware Impairments

abstract: In this work, we provide a detailed analysis of a dual-hop fixed gain (FG) amplify-and-forward relaying system, consisting of a hybrid radio frequency (RF) and free-space optical (FSO) channels. We introduce an impairment model which is the soft envelope limiter (SEL). Additionally, we propose the partial relay selection (PRS) protocol with outdated channel state information (CSI) based on the knowledge of the RF channels in order to select one relay for the communication. Moreover, the RF channels of the first hop experience Rayleigh fading while we propose a unified fading model for the FSO channels, called the unified Gamma Gamma (GG), taking into account the atmospheric turbulence, the path loss and the misalignment between the transmitter and the receiver aperture also called the pointing error. Novel closed-forms of the outage probability (OP), the bit error probability (BEP) and the average ergodic capacity (EC) are derived in terms of Meijer-G and Fox-H functions. Capitalizing on these metrics, we also derive the asymptotical high signal-to-noise ratio (SNR) in order to get engineering insights into the impacts of the hardware impairments and the system parameters as well. Finally, using Monte Carlo simulations, we validate numerically the derived mathematical formulations.


title: On the general relativistic framework of the Sagnac effect

abstract: The Sagnac effect is usually considered as being a relativistic effect produced in an interferometer when the device is rotating. General relativistic explanations are known and already widely explained in many papers. Such general relativistic approaches are founded on Einstein's equivalence principle (EEP), which states the equivalence between the gravitational "force" and the pseudo-force experienced by an observer in a non-inertial frame of reference, included a rotating observer. Typically, the authors consider the so-called Langevin-Landau-Lifschitz metric and the path of light is determined by null geodesics. This approach partially hides the physical meaning of the effect. It seems indeed that the light speed varies by c\pm\omega r in one or the other direction around the disk. In this paper, a slightly different general relativistic approach will be used. The different "gravitational field" acting on the beam splitter and on the two rays of light is analyzed. This different approach permits a better understanding of the physical meaning of the Sagnac effect.


title: Reconstructing dynamical networks via feature ranking

abstract: Empirical data on real complex systems are becoming increasingly available. Parallel to this is the need for new methods of reconstructing (inferring) the topology of networks from time-resolved observations of their node-dynamics. The methods based on physical insights often rely on strong assumptions about the properties and dynamics of the scrutinized network. Here, we use the insights from machine learning to design a new method of network reconstruction that essentially makes no such assumptions. Specifically, we interpret the available trajectories (data) as features, and use two independent feature ranking approaches -- Random forest and RReliefF -- to rank the importance of each node for predicting the value of each other node, which yields the reconstructed adjacency matrix. We show that our method is fairly robust to coupling strength, system size, trajectory length and noise. We also find that the reconstruction quality strongly depends on the dynamical regime.

categories: math.DS cs.LG cs.SI physics.soc-ph stat.ML


title: Pinned or moving: states of a single shock in a ring

abstract: Totally asymmetric exclusion processes (TASEP) with open boundaries are known to exhibit moving shocks or delocalised domain walls (DDW) for sufficiently small equal injection and extraction rates. In contrast TASEPs in an inhomogeneous ring have been shown to display pinned shocks or localised domain walls (LDW) under similar conditions [see, e.g., H. Hinsch and E. Frey, {\em Phys. Rev. Lett.} {\bf 97}, 095701 (2006)]. By studying periodic exclusion processes composed of a driven (TASEP) and a diffusive segments, we uncover smooth transitions between LDW and DDW; the latter mimics DDWs in an open TASEP, controlled essentially by the fluctuations in the diffusive segment. Mean-field theory together with Monte Carlo simulations are employed to characterize the emerging nonequilibrium steady states. Our studies provide an explicit route to control the degree of shock fluctuations in periodic systems, and should be relevant in cell biological transport where the availability of molecular motors is the rate limiting constraint.


title: Field theory and structure-preserving geometric particle-in-cell algorithm for drift wave instability and turbulence

abstract: A field theory and the associated structure-preserving geometric Particle-In-Cell (PIC) algorithm are developed to study low frequency electrostatic perturbations with fully kinetic ions and adiabatic electrons in magnetized plasmas. The algorithm is constructed by geometrically discretizing the field theory using discrete exterior calculus, high-order Whitney interpolation forms, and non-canonical Hamiltonian splitting method. The discretization preserves the non-canonical symplectic structure of the particle-field system, as well as the electromagnetic gauge symmetry. As a result, the algorithm is charge-conserving and possesses long-term conservation properties. Because drift wave turbulence and anomalous transport intrinsically involve multi time-scales, simulation studies using fully kinetic particle demand algorithms with long-term accuracy and fidelity. The structure-preserving geometric PIC algorithm developed adequately servers this purpose. The algorithm has been implemented in the \textsl{SymPIC} code, tested and benchmarked using the examples of ion Bernstein waves and drift waves. We apply the algorithm to study the Ion Temperature Gradient (ITG) instability and turbulence in a 2D slab geometry. Simulation results show that at the early stage of the turbulence, the energy diffusion is between the Bohm scaling and gyro-Bohm scaling. At later time, the observed diffusion is closer to the gyro-Bohm scaling, and density blobs generated by the rupture of unstable modes are the prominent structures of the fully developed ITG turbulence.


title: Mind the Mining

abstract: In this paper we revisit the mining strategies in proof of work based cryptocurrencies and propose two strategies, we call smart and smarter mining, that in many cases strictly dominate honest mining. In contrast to other known attacks, like selfish mining, which induce zero-sum games among the miners, the strategies proposed in this paper increase miners' profit by reducing their variable costs (i.e., electricity). Moreover, the proposed strategies are viable for much smaller miners than previously known attacks, and surprisingly, an attack performed by one miner is profitable for all other miners as well. While saving electricity power is very encouraging for the environment, it is less so for the coin's security. The smart/smarter strategies expose the coin to under 50\% attacks and this vulnerability might only grow when new miners join the coin as a response to the increase in profit margins induced by these strategies.


title: A resonant pair of warm giant planets revealed by TESS

abstract: We present the discovery of a pair of transiting giant planets, TOI-216b and c, using four sectors of TESS photometry. TOI-216 is a $0.87 M_{\odot}$ dwarf orbited by two transiters with radii of $8.2 R_{\oplus}$ and $11.3 R_{\oplus}$, and periods of $17.01$d and $34.57$d, respectively. Anti-correlated TTVs are clearly evident indicating that the transiters orbit the same star and interact via a near 2:1 mean motion resonance. By fitting the TTVs with a dynamical model, we infer masses of $26_{-11}^{+24} M_{\oplus}$ and $190_{-80}^{+220} M_{\oplus}$, establishing that the objects are planetary in nature and have likely sub-Kronian and Kronian densities. TOI-216 lies close to the southern ecliptic pole and thus will be observed by TESS throughout the first year, providing an opportunity for continuous dynamical monitoring and considerable refinement of the dynamical masses presented here. TOI-216 closely resembles Kepler-9 in architecture, and we hypothesize that in such systems these Saturn-analogs failed to fully open a gap and thus migrated far deeper into the system before becoming trapped into resonance, which would imply that future detections of new analogs may also have sub-Jupiter masses.


title: Dirac operators and shell interactions: a survey

abstract: In this survey we gather recent results on Dirac operators coupled with $\delta$-shell interactions. We start by discussing recent advances regarding the question of self-adjointness for these operators. Afterward we switch to an approximation question: can these operators be recovered as limits of Dirac operators coupled with squeezing potentials ? We also discuss spectral features of these models. Namely, we recall the main spectral consequences of a resolvent formula and conclude the survey by commenting a result of asymptotic nature for the eigenvalues in the gap of a Dirac operator coupled with a Lorentz-scalar interaction.


title: Achieving Secure and Efficient Cloud Search Services: Cross-Lingual Multi-Keyword Rank Search over Encrypted Cloud Data

abstract: Multi-user multi-keyword ranked search scheme in arbitrary language is a novel multi-keyword rank searchable encryption (MRSE) framework based on Paillier Cryptosystem with Threshold Decryption (PCTD). Compared to previous MRSE schemes constructed based on the k-nearest neighbor searcha-ble encryption (KNN-SE) algorithm, it can mitigate some draw-backs and achieve better performance in terms of functionality and efficiency. Additionally, it does not require a predefined keyword set and support keywords in arbitrary languages. However, due to the pattern of exact matching of keywords in the new MRSE scheme, multilingual search is limited to each language and cannot be searched across languages. In this pa-per, we propose a cross-lingual multi-keyword rank search (CLRSE) scheme which eliminates the barrier of languages and achieves semantic extension with using the Open Multilingual Wordnet. Our CLRSE scheme also realizes intelligent and per-sonalized search through flexible keyword and language prefer-ence settings. We evaluate the performance of our scheme in terms of security, functionality, precision and efficiency, via extensive experiments.


title: Near-integrability of periodic Klein-Gordon lattices

abstract: In this paper we study the Klein-Gordon (KG) lattice with periodic boundary conditions. It is an $N$ degrees of freedom Hamiltonian system with linear inter-site forces and nonlinear on-site potential, which here is taken to be of the $\phi^4$ form. First, we prove that the system in consideration is non-integrable in Liuville sense. The proof is based on the Morales-Ramis theory. Next, we deal with the resonant Birkhoff normal form of the KG Hamiltonian, truncated to order four. Due to the choice of potential, the periodic KG lattice shares the same set of discrete symmetries as the periodic Fermi-Pasta-Ulam (FPU) chain. Then we show that the above normal form is integrable. To do this we utilize the results of B. Rink on FPU chains. If $N$ is odd this integrable normal form turns out to be KAM nondegenerate Hamiltonian. This implies the existence of many invariant tori at low-energy level in the dynamics of the periodic KG lattice, on which the motion is quasi-periodic. We also prove that the KG lattice with Dirichlet boundary conditions (that is, with fixed endpoints) admits an integrable, KAM nondegenerated normal forth order form, which in turn shows that almost all low-energetic solutions of KG lattice with fixed endpoints are quasi-periodic.


title: Effect of shielding gas composition and welding speed on autogenous welds of unalloyed tungsten plates

abstract: Tungsten usually exhibits poor weldability and marked brittleness at room temperature. This cause tungsten welds to be affected by the evolution of cracks along the weld bead, which can be eliminated by using a pre-heating step to reduce thermal straining. In this study, based on the tungsten inert gas welding process, a working envelope, focussed on varying welding speed and five different shielding gas mixtures of argon and helium, has been defined with the view of producing crack-free autogenous welds. The bead appearance and the microstructure of the different welds were correlated to the welding parameters, whose main effects have been analysed. Welding defects such as humping occurred when using gas mixtures with relatively low content of helium, and when using relatively high welding speeds. Crack-free autogenous welds have been produced without pre-heating when using a high content of helium and relatively low welding speeds. Thus, this study has demonstrated that a helium-rich shielding gas is required for welding thick tungsten plates. Moreover, the low thermal shock induced by the process, coupled with the purity of the tungsten plates used, strongly contributed to avoid the occurrence of any crack.


title: Multimessenger Research before GW170817

abstract: Linking the previous research that occurred over the last decades, I will try to provide some objective elements to evaluate the innovation of the joint observation of GW170817 and GRB 170817A and their occurrence detection, in light of preceding experiences regarding the experimental research of association between gamma-ray bursts and gravitational waves. Without debating about the phenomenological properties of astrophysical events, I propose a comparison between that result and the previous experimental research by the interferometer GW community, using a fundamental energy emission law, and including about fifteen years of accredited results regarding coincident detection. From the present review, an intense and old pre-existing activity in the field of multimessenger observations emerges giving a first interesting fact. The widespread opinion that joint detection of GW170817 and GRB 170817A has opened a new method in astrophysics does not find a robust reason. Moreover, some critical points highlight. In the past, applying the same multimessenger method, numerous measures have been taken towards much brighter and much closer sources. Then, it would have been plausible to see joint signals even taking into account a worse sensitivity of the instruments of the time. At current time, there is only one event associated to a subthreshold GRB, compared to a long list of candidate events that would have been much more revealing. If these inconsistencies are admissible enough to lead to a claim, then the question arises about the interpretation of the long previous measurements carried out applying the same multimessenger observation method but without positive responses.


title: Investigations on Increased Data rate Differential Space-Time Block Codes for Single Carrier Wireless Systems

abstract: In this thesis, we study differential modulation schemes which do not need channel knowledge at the transmitter nor at the receiver. First, we consider single-antenna systems and investigate the use of Differential Amplitude Phase Shift Keying (DAPSK) modulation. We study the use of Multiple-Symbol Differential Detection (MSDD) to bridge the performance gap between coherent and non-coherent systems and remove the error floor associated with fast-fading channels. Second, we consider multi-antenna systems to combat fading and improve the transmission reliability. The resulting performance improvement (known as diversity) does not require additional bandwidth nor power. Achieving diversity using multiple antennas at the receiver (receive diversity) is proved to be a much simpler task than using multiple antennas at the transmitter (transmit diversity). However, in downlink mobile communications, mounting multiple antennas on the receiving mobile handsets results in an increase in the size and cost of mobiles. This motivates the need of transmit diversity, which can be achieved by a technique known as Space-Time Coding (STC). In this thesis, we investigate a class of ST codes known as Orthogonal Space-Time Block Codes (OSTBC), which achieves a good performance with linear decoding complexity. As an attempt to increase the data rate, the orthogonality requirement of OSTBCs is relaxed leading to the so-called Quasi-Orthogonal STBCs (QOSTBC). Recently a new class of QOSTBCs known as Minimum Decoding Complexity QOSTBCs (MDC-QOSTBC) has proved to increase the data rate with the same complexity requirement of OSTBCs. In this thesis, we propose the use of MDC-QOSTBC in differential non-coherent systems and show that their performance is remarkably better than that of differential OSTBCs.


title: On an Irreducibility Criterion of Anca I. Bonciocat and Nicolae C. Bonciocat

abstract: There is an error in the main result. We provide an easy generalization to the irreducibility criterion in the title.


title: Quantum robustness and phase transitions of the 3D Toric Code in a field

abstract: We study the robustness of 3D intrinsic topogical order under external perturbations by investigating the paradigmatic microscopic model, the 3D toric code in an external magnetic field. Exact dualities as well as variational calculations reveal a ground-state phase diagram with first and second-order quantum phase transitions. The variational approach can be applied without further approximations only for certain field directions. In the general field case, an approximative scheme based on an expansion of the variational energy in orders of the variational parameters is developed. For the breakdown of the 3D intrinsic topological order, it is found that the (im-)mobility of the quasiparticle excitations is crucial in contrast to their fractional statistics.


title: Blind Channel Separation in Massive MIMO System under Pilot Spoofing and Jamming Attack

abstract: We consider a channel separation approach to counter the pilot attack in a massive MIMO system, where malicious users (MUs) perform pilot spoofing and jamming attack (PSJA) in uplink by sending symbols to the basestation (BS) during the channel estimation (CE) phase of the legitimate users (LUs). More specifically, the PSJA strategies employed by the MUs may include (i) sending the random symbols according to arbitrary stationary or non-stationary distributions that are unknown to the BS; (ii) sending the jamming symbols that are correlative to those of the LUs. We analyze the empirical distribution of the received pilot signals (ED-RPS) at the BS, and prove that its characteristic function (CF) asymptotically approaches to the product of the CFs of the desired signal (DS) and the noise, where the DS is the product of the channel matrix and the signal sequences sent by the LUs/MUs. These observations motivate a novel two-step blind channel separation method, wherein we first estimate the CF of DS from the ED-RPS and then extract the alphabet of the DS to separate the channels. Both analysis and simulation results show that the proposed method achieves good channel separation performance in massive MIMO systems.


title: Rigid isotopy of maximally writhed links

abstract: This is a sequel to the paper \cite{MO-mw} which identified maximally writhed algebraic links in $\rp^3$ and classified them topologically. In this paper we prove that all maximally writhed links of the same topological type are rigidly isotopic, i.e. one can be deformed into another with a family of smooth real algebraic links of the same degree.


title: Singular Patterns of Generic Maps of Surfaces with Boundary into the Plane

abstract: For generic maps from compact surfaces with boundary into the plane we develop an explicit algorithm for minimizing both the number of cusps and the number of components of the singular locus. More precisely, we minimize among maps with fixed boundary conditions and prescribed singular pattern, by which we mean the combinatorial information of how the 1-dimensional singular locus meets the boundary. Each step of our algorithm modifies the given map only locally by either creating or eliminating a pair of cusps. We show that the number of cusps is an invariant modulo 2 and can be reduced to at most one, and we compute the minimal number of components of the singular locus in terms of the prescribed data. Applications include a discussion of pseudo-immersions as well as the computation of state sums in Banagl's positive topological field theory.


title: Energy-recycling Blockchain with Proof-of-Deep-Learning

abstract: An enormous amount of energy is wasted in Proofof-Work (PoW) mechanisms adopted by popular blockchain applications (e.g., PoW-based cryptocurrencies), because miners must conduct a large amount of computation. Owing to this, one serious rising concern is that the energy waste not only dilutes the value of the blockchain but also hinders its further application. In this paper, we propose a novel blockchain design that fully recycles the energy required for facilitating and maintaining it, which is re-invested to the computation of deep learning. We realize this by proposing Proof-of-Deep-Learning (PoDL) such that a valid proof for a new block can be generated if and only if a proper deep learning model is produced. We present a proof-of-concept design of PoDL that is compatible with the majority of the cryptocurrencies that are based on hash-based PoW mechanisms. Our benchmark and simulation results show that the proposed design is feasible for various popular cryptocurrencies such as Bitcoin, Bitcoin Cash, and Litecoin.


title: Diffusion and entanglement in open quantum systems

abstract: The macroscopic fluctuation theory provides a complete hydrodynamic description of non-equilibrium classical diffusive systems. As a first step towards a diffusive theory of open quantum systems, we show how to construct a microscopic open quantum system that exhibits genuine quantum diffusive scaling. Namely, the dynamics is diffusive and the density matrix is entangled in the hydrodynamic length and time scales.


title: Taxonomy driven indicator scoring in MISP threat intelligence platforms

abstract: IT security community is recently facing a change of trend from closed to open working groups and from restrictive information to full information disclosure and sharing. One major feature for this trend change is the number of incidents and various Indicators of compromise (IoC) that appear on a daily base, which can only be faced and solved in a collaborative way. Sharing information is key to stay on top of the threats. To cover the needs of having a medium for information sharing, different initiatives were taken such as the Open Source Threat Intelligence and Sharing Platform called MISP. At current state, this sharing and collection platform has become far more than a malware information sharing platform. It includes all kind of IoCs, malware and vulnerabilities, but also financial threat or fraud information. Hence, the volume of information is increasing and evolving. In this paper we present implemented distributed data interaction methods for MISP followed by a generic scoring model for decaying information that is shared within MISP communities. As the MISP community members do not have the same objectives, use cases and implementations of the scoring model are discussed. A commonly encountered use case in practice is the detection of indicators of compromise in operational networks.


title: Ekeland's variational principle in weak and strong systems of arithmetic

abstract: We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural restrictions (e.g.~to compact spaces or continuous functions) yield statements equivalent to weak K\"onig's lemma (${\sf WKL}_0$) and to arithmetical comprehension (${\sf ACA}_0$). We also find that the localized version of Ekeland's variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$ even when restricting to continuous functions. This is a rare example of a statement about continuous functions having great logical strength.


title: Homogeneous and Mixed Energy Communities Discovery with Spatial-Temporal Net Energy

abstract: Smart grid has integrated an increasing number of distributed energy resources to improve the efficiency and flexibility of power generation and consumption as well as the resilience of the power grid. The energy consumers on the power grid (e.g., households) equipped with the distributed energy resources can be considered as "microgrids" that both generate and consume electricity. In this paper, we study the energy community discovery problems which identify multiple kinds of energy communities for the microgrids to facilitate energy management (e.g., power supply adjustment, load balancing, energy sharing) on the grid, such as homogeneous energy communities (HECs), mixed energy communities (MECs), and self-sufficient energy communities (SECs). Specifically, we present efficient algorithms to discover such communities of microgrids by taking into account not only their geo-locations but also their net energy over any period. Finally, we experimentally validate the performance of the algorithms using both synthetic and real datasets.


title: The constructions of 3-Hom-Lie bialgebras

abstract: In this paper, we first introduce the notion of a 3-Hom-Lie bialgebra and prove that it is equivalent to a Manin triple of 3-Hom-Lie algebras. Also, we study the $\mathcal{O}$-operator and construct solutions of the 3-Lie classical Hom-Yang-Baxter equation interms of $\mathcal{O}$-operators and 3-Hom-pre-Lie algebras. Finally, we show that a 3-Hom-Lie algebra has a phase space if and only if it is sub-adjacent to a 3-Hom-pre-Lie algebra.


title: On Curvature properties of Nariai Spacetimes

abstract: The charged Nariai spacetimes are the exact solutions of Einstein-Maxwell field equations with positive cosmological constant and such a spacetime is the direct topological product of a $2$-dimentional de-Sitter spacetime with a round $2$-sphere of constant radius. The present paper deals with the investigation of curvature restricted geometric structures admitted by the charged Nariai spacetime metric and it is shown that such a spacetime is locally symmetric, $2$-quasi-Einstein and $Ein(2)$-space. Moreover it realizes the pseudosymmetric type conditions such as Ricci generalized projectively pseudosymmetric and pseudosymmetric due to Weyl conformal curvature tensor. It is interesting to note that the energy momentum tensor can be expressed explicitly with the help of some $1$-forms. We also evaluate the curvature properties of charged Nariai type topological product metric, and it is found that such metric is semisymmetric but not locally symmetric and under certain restrictions belongs to the family of generalized class of recurrent manifolds. Finally we end up our findings with some concluding remarks.


title: The statistics of chaos in a bursting laser

abstract: We demonstrate experimentally how semiconductor lasers subjected to double optical feedback change the statistics of their chaotic spiking dynamics from Gaussian to long-tail Power Law distributions associated to the emergency of bursting. These chaotic regimes, which are features of excitable complex systems, are quantified by the tail exponent $\alpha$ and appear by changing the ratio between the feedback times. Transitions to bursting occur in the neighbourhood of low order Farey fractions. The physics behind these transitions is related to the variation of threshold pump current in the compound system as obtained from a deterministic set of rate equations. Numerical integration also verifies the observed chaos transitions indicating the possibility of controlling the bursting chaotic statistics.


title: Using Automatic Differentiation as a General Framework for Ptychographic Reconstruction

abstract: Coherent diffraction imaging methods enable imaging beyond lens-imposed resolution limits. In these methods, the object can be recovered by minimizing an error metric that quantifies the difference between diffraction patterns as observed, and those calculated from a present guess of the object. Efficient minimization methods require analytical calculation of the derivatives of the error metric, which is not always straightforward. This limits our ability to explore variations of basic imaging approaches. In this paper, we propose to substitute analytical derivative expressions with the automatic differentiation method, whereby we can achieve object reconstruction by specifying only the physics-based experimental forward model. We demonstrate the generality of the proposed method through straightforward object reconstruction for a variety of complex ptychographic experimental models.


title: Predictions for the First Parker Solar Probe Encounter

abstract: We examine Alfv\'en Wave Solar atmosphere Model (AWSoM) predictions of the first Parker Solar Probe (PSP) encounter. We focus on the 12-day closest approach centered on the 1st perihelion. AWSoM (van der Holst et al., 2014) allows us to interpret the PSP data in the context of coronal heating via Alfv\'en wave turbulence. The coronal heating and acceleration is addressed via outward-propagating low-frequency Alfv\'en waves that are partially reflected by Alfv\'en speed gradients. The nonlinear interaction of these counter-propagating waves results in a turbulent energy cascade. To apportion the wave dissipation to the electron and anisotropic proton temperatures, we employ the results of the theories of linear wave damping and nonlinear stochastic heating as described by Chandran et al. (2011). We find that during the first encounter, PSP was in close proximity to the heliospheric current sheet (HCS) and in the slow wind. PSP crossed the HCS two times, namely at 2018/11/03 UT 01:02 and 2018/11/08 UT 19:09 with perihelion occuring on the south of side of the HCS. We predict the plasma state along the PSP trajectory, which shows a dominant proton parallel temperature causing the plasma to be firehose unstable.


title: Class of hypocomplex structures on the two dimensional torus

abstract: We study the H\"{o}lder solvability of a class of complex vector fields on the torus $\mathbb{T}^2$. We make use of the Theta function to associate a Cauchy-Pompeiu type integral operator. A similarity principle for the solutions of the equation $Lu=au+b\bar{u}$ is obtained.


title: $\texttt{simsurvey}$: Estimating Transient Discovery Rates for the Zwicky Transient Facility

abstract: When planning a survey for astronomical transients, many factors such as cadence, filter choice, sky coverage, and depth of observations need to be balanced in order to optimize the scientific gain of the survey. Here we present a software package called $\texttt{simsurvey}$ for simulating the supernova lightcurves that are expected based on a survey strategy, which can then be used to determine the potential for discoveries of each strategy in question. The code is set up in a modular fashion that allows easy modification of small details of the survey and enables the user to adapt it to any survey design and transient template that they wish to use in planning their survey. As an example of its utility, we use $\texttt{simsurvey}$ to simulate the lightcurve of several types of supernovae that the recently started Zwicky Transient Facility (ZTF) is expected to find and compare the results to the discoveries made during its early operations. We conclude that ZTF will find thousands of bright supernovae per year, of which about 10 could potentially be found with two days of explosion. Over the course of three years the survey will obtain lightcurves of about 1800 type Ia supernovae with $z < 0.1$ that can be used as distance indicators in cosmology if they are spectroscopically classified using additional telescopes. In a comparison to detections from the ZTF public survey, we found good agreement with the numbers of detections expected from the simulations.


title: First observation of a planetary transit with the SPARC4 CCD: improved parameters for HATS-24b

abstract: The photometric monitoring of planetary transits is an important method for the characterization of exoplanets. Transiting exoplanets allow measurements of the planetary radius and mass, providing information on the physical structure of the planet. Therefore, the parameters obtained with the transit method become fundamental for a comparative study of exoplanets in different planetary systems. In this work, we present the results obtained from observations of a transit event of the exoplanet HATS-24b using the new SPARC4 CCD mounted on the 1.6 m telescope of the Pico dos Dias Observatory (OPD). We have used Bayesian statistical inference to determine the physical parameters of this exoplanet, where we obtained a radius of 1.395+-0.057 RJup, mass of 2.26+-0.17 MJup, and density of 1.03+-0.15 g/cm^3. We have combined our measurements of the central time of transit and orbital period with values from the literature to obtain an improved ephemeris for the transits of HATS-24b, Tc=(2457948.709321+-0.000039) + E (1.3484978+-0.0000009). We have applied the differential analysis using a solar spectrum to recalculate the stellar surface parameters of HATS-24, where we obtained Teff=6125+-94 K, log(g)=4.370+-0.045 cm/s^2, and [Fe/H]=-0.229+-0.058 dex. This allowed us to estimate an equilibrium temperature for HATS-24b of Teq=2166+-53 K. The mass and radius of HATS-24b are consistent with the theoretical model of a pure helium-hydrogen planet at 1 Gy.


title: Game-Theoretic Analysis of Cyber Deception: Evidence-Based Strategies and Dynamic Risk Mitigation

abstract: Deception is a technique to mislead human or computer systems by manipulating beliefs and information. For the applications of cyber deception, non-cooperative games become a natural choice of models to capture the adversarial interactions between the players and quantitatively characterizes the conflicting incentives and strategic responses. In this chapter, we provide an overview of deception games in three different environments and extend the baseline signaling game models to include evidence through side-channel knowledge acquisition to capture the information asymmetry, dynamics, and strategic behaviors of deception. We analyze the deception in binary information space based on a signaling game framework with a detector that gives off probabilistic evidence of the deception when the sender acts deceptively. We then focus on a class of continuous one-dimensional information space and take into account the cost of deception in the signaling game. We finally explore the multi-stage incomplete-information Bayesian game model for defensive deception for advanced persistent threats (APTs). We use the perfect Bayesian Nash equilibrium (PBNE) as the solution concept for the deception games and analyze the strategic equilibrium behaviors for both the deceivers and the deceivees.


title: Speech enhancement with variational autoencoders and alpha-stable distributions

abstract: This paper focuses on single-channel semi-supervised speech enhancement. We learn a speaker-independent deep generative speech model using the framework of variational autoencoders. The noise model remains unsupervised because we do not assume prior knowledge of the noisy recording environment. In this context, our contribution is to propose a noise model based on alpha-stable distributions, instead of the more conventional Gaussian non-negative matrix factorization approach found in previous studies. We develop a Monte Carlo expectation-maximization algorithm for estimating the model parameters at test time. Experimental results show the superiority of the proposed approach both in terms of perceptual quality and intelligibility of the enhanced speech signal.


title: Pipeline Leak Detection Systems and Data Fusion: A Survey

abstract: The pipeline leakage problem is a very challenging and critical issue. Solving this problem will save the nation a lot of money, resources and more importantly, it will save the environment. This paper discusses the state-of-the-art of leak detection systems (LDSs) and data fusion approaches that are applicable to pipeline monitoring. A comparison of LDSs is performed based on well-defined criteria. We have classified and critically reviewed these techniques. A thorough analysis and comparison of all the recent works have been provided.


title: The Degree of Fine-Tuning in our Universe -- and Others

abstract: (abridged) Both fundamental constants that describe the laws of physics and cosmological parameters that determine the cosmic properties must fall within a range of values in order for the universe to develop astrophysical structures and ultimately support life. This paper reviews current constraints on these quantities. The standard model of particle physics contains both coupling constants and particle masses, and the allowed ranges of these parameters are discussed first. We then consider cosmological parameters, including the total energy density, the vacuum energy density, the baryon-to-photon ratio, the dark matter contribution, and the amplitude of primordial density fluctuations. These quantities are constrained by the requirements that the universe lives for a long time, emerges from the BBN epoch with an acceptable chemical composition, and can successfully produce galaxies. On smaller scales, stars and planets must be able to form and function. The stars must have sufficiently long lifetimes and hot surface temperatures. The planets must be massive enough to maintain an atmosphere, small enough to remain non-degenerate, and contain enough particles to support a complex biosphere. These requirements place constraints on the gravitational constant, the fine structure constant, and composite parameters that specify nuclear reaction rates. We consider specific instances of possible fine-tuning in stars, including the triple alpha reaction that produces carbon, as well as the effects of unstable deuterium and stable diprotons. For all of these issues, viable universes exist over a range of parameter space, which is delineated herein. Finally, for universes with significantly different parameters, new types of astrophysical processes can generate energy and support habitability.


title: Evolution of open quantum systems: time scales, stochastic and continuous processes

abstract: The study of the physical properties of open quantum systems is at the heart of many present investigations which aim to describe their dynamical evolution, on theoretical ground and through physical realizations. Here we develop a presentation of different aspects which characterize these systems and confront different physical situations which can be realized leading to systems which experience Markovian, non-Markovian, divisible or non-divisible interactions with the environments to which they are dynamically coupled. We aim to show how different approaches describe the evolution of quantum systems subject to different types of interactions with their environments.


title: Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times

abstract: Static stochastic VRPs aim at modeling real-life VRPs by considering uncertainty on data. In particular, the SS-VRPTW-CR considers stochastic customers with time windows and does not make any assumption on their reveal times, which are stochastic as well. Based on customer request probabilities, we look for an a priori solution composed preventive vehicle routes, minimizing the expected number of unsatisfied customer requests at the end of the day. A route describes a sequence of strategic vehicle relocations, from which nearby requests can be rapidly reached. Instead of reoptimizing online, a so-called recourse strategy defines the way the requests are handled, whenever they appear. In this paper, we describe a new recourse strategy for the SS-VRPTW-CR, improving vehicle routes by skipping useless parts. We show how to compute the expected cost of a priori solutions, in pseudo-polynomial time, for this recourse strategy. We introduce a new meta-heuristic, called Progressive Focus Search (PFS), which may be combined with any local-search based algorithm for solving static stochastic optimization problems. PFS accelerates the search by using approximation factors: from an initial rough simplified problem, the search progressively focuses to the actual problem description. We evaluate our contributions on a new, real-world based, public benchmark.


title: Companion-launched jets and their effect on the dynamics of common envelope interaction simulations

abstract: We conduct three-dimensional hydrodynamic simulations of the common envelope binary interaction and show that if the companion were to launch jets while interacting with the giant primary star's envelope, the jets would remove a substantial fraction of the envelope's gas. We use the setup and numerical code of an earlier common envelope study that did not include jets, with a 0.88Mo, 83Ro red giant star and a 0.3Mo companion. The assumption is that the companion star accretes mass via an accretion disk that is responsible for launching the jets which, in the simulations, are injected numerically. For the first time we conduct simulations that include jets as well as the gravitational energy released by the inspiraling core-companion system. We find that simulations with jets unbind approximately three times as much envelope mass than identical simulations that do not include jets, though the total fraction of unbound gas remains below 50 per cent for these particular simulations. The jets generate high velocity outflows in the polar directions. The jets also increase the final core-companion orbital separation and lead to a kick velocity of the core-companion binary system. Our results show that, if able to form, jets could play a crucial role in ejecting the envelope and in shaping the outflow.


title: Cyclical Stochastic Gradient MCMC for Bayesian Deep Learning

abstract: The posteriors over neural network weights are high dimensional and multimodal. Each mode typically characterizes a meaningfully different representation of the data. We develop Cyclical Stochastic Gradient MCMC (SG-MCMC) to automatically explore such distributions. In particular, we propose a cyclical stepsize schedule, where larger steps discover new modes, and smaller steps characterize each mode. We also prove non-asymptotic convergence of our proposed algorithm. Moreover, we provide extensive experimental results, including ImageNet, to demonstrate the scalability and effectiveness of cyclical SG-MCMC in learning complex multimodal distributions, especially for fully Bayesian inference with modern deep neural networks.


title: Counter-directional polariton coupler

abstract: We report on an on-chip routing device for propagating condensates of exciton-polaritons. This counterdirectional coupler implements signal control by a photonic microdisk potential, which couples two lithographically defined waveguides and reverses the condensate's propagation direction. By varying the structural sizes, we utilize the conjunction of the different dimensionalities to additionally evidence the functionality of a polaritonic resonant tunnel diode. Furthermore, we investigate the ultra fast dynamics of the device via ps-resolved streak camera measurements, which is distinctive for the polariton platform. This scalable, all-directional coupler element is a central building block for compact non-linear on-chip photonic architectures.


title: Entangled Neutrino States in a Toy Model QFT

abstract: It has been claimed that wave packets must be covariant and also that decohered neutrino oscillations are always revived during measurement. These conjectures are supported by general arguments which are not specific to the electroweak theory, and so if they are true for neutrinos they will also be true for simplified models. In this paper we produce such a simplified model in which the neutrino wave function, including its entanglement with the source particle and the environment, can be calculated explicitly in quantum field theory. It exhibits neutrino oscillation, which is reduced at late times by decoherence due to interactions of the source with the environment. One simple lesson from this model is that only the difference between the environmental interactions before and after neutrino emission can reduce the amplitude of neutrino oscillations. The model will be used to test the conjectures in a companion paper.


title: Molecular assembly of ground state cooled single atoms

abstract: We demonstrate full quantum state control of two species of single atoms using optical tweezers and assemble the atoms into a molecule. Our demonstration includes 3D ground-state cooling of a single atom (Cs) in an optical tweezer, transport by several microns with minimal heating, and merging with a single Na atom. Subsequently, both atoms occupy the simultaneous motional ground state with 61(4)\% probability. This realizes a sample of exactly two co-trapped atoms near the phase-space-density limit of one, and allows for efficient stimulated-Raman transfer of a pair of atoms into a molecular bound state of the triplet electronic ground potential $a^3\Sigma^+$. The results are key steps toward coherent creation of single ultracold molecules, for future exploration of quantum simulation and quantum information processing.


title: Gaussian Generalized Tetranacci Numbers

abstract: In this paper, we define Gaussian generalized Tetranacci numbers and as special cases, we investigate Gaussian Tetranacci and Gaussian Tetranacci-Lucas numbers with their properties.


title: Merits and Limits: Applying open data to monitor open access publications in bibliometric databases

abstract: Identifying and monitoring Open Access (OA) publications might seem a trivial task while practical efforts prove otherwise. Contradictory information arise often depending on metadata employed. We strive to assign OA status to publications in Web of Science (WOS) and Scopus while complementing it with different sources of OA information to resolve contradicting cases. We linked publications from WOS and Scopus via DOIs and ISSNs to Unpaywall, Crossref, DOAJ and ROAD. Only about 50% of articles and reviews from WOS and Scopus could be matched via a DOI to Unpaywall. Matching with Crossref brought 56 distinct licences, which define in many cases the legally binding access status of publications. But only 44% of publications hold only a single licence on Crossref, while more than 50% have no licence information submitted to Crossref. Contrasting OA information from Crossref licences with Unpaywall we found contradictory cases overall amounting to more than 25%, which might be partially explained by (ex-)including green OA. A further manual check found about 17% of OA publications that are not accessible and 15% non-OA publications that are accessible through publishers' websites. These preliminary results suggest that identification of OA state of publications denotes a difficult and currently unfulfilled task.


title: MISO: Mutual Information Loss with Stochastic Style Representations for Multimodal Image-to-Image Translation

abstract: Unpaired multimodal image-to-image translation is a task of translating a given image in a source domain into diverse images in the target domain, overcoming the limitation of one-to-one mapping. Existing multimodal translation models are mainly based on the disentangled representations with an image reconstruction loss. We propose two approaches to improve multimodal translation quality. First, we use a content representation from the source domain conditioned on a style representation from the target domain. Second, rather than using a typical image reconstruction loss, we design MILO (Mutual Information LOss), a new stochastically-defined loss function based on information theory. This loss function directly reflects the interpretation of latent variables as a random variable. We show that our proposed model Mutual Information with StOchastic Style Representation(MISO) achieves state-of-the-art performance through extensive experiments on various real-world datasets.


title: Horndeski in the Swampland

abstract: We investigate the implications of string Swampland criteria for alternative theories of gravity. Even though this has not rigorously been proven, there is some evidence that exact de-Sitter solutions with a positive cosmological constant cannot be successfully embedded into string theory, and that the low energy effective field theories containing a scalar field $\pi$ with a potential $V$ in the habitable landscape should satisfy the Swampland criteria $|V'|/V\ge c\sim\mathcal{O}(1)$. As a paradigmatic class of modified gravity theories for inflation and dark energy, we consider the extensively studied family of Horndeski Lagrangians in view of cosmological observations. Apart from a possible potential term, they contain derivative self-interactions as the Galileon and non-minimal couplings to the gravity sector. Hence, our conclusions on the Galileon sector can be also applied to many other alternative theories with scalar helicity modes containing derivative interactions such as massive gravity and generalized Proca. In the presence of such derivative terms, the dynamics of the scalar mode is substantially modified, and imposing the cosmological evolution constrained by observations places tight constraints on $c$ within the Swampland conjecture.


title: A P2P-dominant Distribution System Architecture

abstract: Peer-to-peer interactions between small-scale energy resources exploit distribution network infrastructure as an electricity carrier, but remain financially unaccountable to electric power utilities. This status-quo raises multiple challenges. First, peer-to-peer energy trading reduces the portion of electricity supplied to end-customers by utilities and their revenue streams. Second, utilities must ensure that peer-to-peer transactions comply with distribution network limits. This paper proposes a peer-to-peer energy trading architecture, in two configurations, that couples peer-to-peer interactions and distribution network operations. The first configuration assumes that these interactions are settled by the utility in a centralized manner, while the second one is peer-centric and does not involve the utility. Both configurations use distribution locational marginal prices to compute network usage charges that peers must pay to the utility for using the distribution network.


title: Stationary Distributions and Convergence for M/M/1 Queues in Interactive Random Environment

abstract: A Markovian single-server queue is studied in an interactive random environment. The arrival and service rates of the queue depend on the environment, while the transition dynamics of the random environment depends on the queue length. We consider in detail two types of Markov random environments: a pure jump process and a reflected jump-diffusion. In both cases, the joint dynamics is constructed so that the stationary distribution can be explicitly found in a simple form (weighted geometric). We also derive an explicit estimate for exponential rate of convergence to the stationary distribution via coupling.


title: Beyond the Standard Model Physics at the High Luminosity LHC

abstract: The High-Luminosity Large Hadron Collider (HL-LHC) is expected to deliver an integrated luminosity of up to 3000 fb$^{-1}$. The very high instantaneous luminosity will lead to about 200 proton-proton collisions per bunch crossing (pileup) superimposed to each event of interest, thus providing extremely challenging experimental conditions, which will be addressed by accompanying improvements in the decetors. The sensitivity to find new physics Beyond the Standard Model (BSM) is significantly improved and will allow to extend the reach for SUSY, heavy exotic resonances, vector like quarks, dark matter and exotic long-lived signatures, to name a few. This note summarizes several ATLAS and CMS studies performed to asses HL-LHC sensitivity to various BSM models and signatures.


title: Improved oxidation resistance of high emissivity coatings on fibrous ceramic for reusable space system

abstract: To develop high emissivity coatings on fibrous ceramic substrates with improved thermal resistance for reusable space systems, WSi2-MoSi2-Si-SiB6-borosilicate glass coatings were prepared on fibrous ZrO2 by slurry dipping and subsequent high temperature rapid sintering. A coating with 50 wt% WSi2 and 50 wt% MoSi2 presents optimal thermal stability with only 10.06 mg/cm2 mass loss and 4.0 % emissivity decrease in the wavelength regime of 1.27 to 1.73 microns after 50 h oxidation at 1773 K. The advantages of double phase metal silicide coatings combining WSi2 and MoSi2 include improved thermal compatibility with the substrate and an enhanced glass mediated self healing ability.


title: Magnetism and Magneto-optical Effects in Bulk and Few-layer CrI$_3$: A Theoretical GGA + U Study

abstract: The latest discovery of ferromagnetism in atomically thin films of semiconductors Cr$_2$Ge$_2$Te$_6$ and CrI$_3$ has unleashed numerous opportunities for fundamental physics of magnetism in two-dimensional (2D) limit and also for technological applications based on 2D magnetic materials. In this paper, we present a comprehensive theoretical study of the magnetic, electronic, optical and magneto-optical(MO) properties of multilayers [monolayer(ML), bilayer and trilayer] and bulk CrI$_3$, based on the density functional theory with the generalized gradient approximation plus on-site Coulomb repulsion scheme. Interestingly, all the structures are found to be single-spin ferromagnetic(FM) semiconductors. They all have a large out-of-plane magnetic anisotropy energy(MAE) of $\sim$0.5 meV/Cr. These large MAEs suppress transverse spin fluctuations and thus stabilize long-range magnetic orders at finite temperatures down to the ML limit. They also exhibit strong MO effects with their Kerr and Faraday rotation angles being comparable to that of best-known bulk MO materials. The shape and position of the main features in the optical and MO spectra are found to be nearly thickness-independent although the magnitude of Kerr rotation angles increases monotonically with the film thickness. Magnetic transition temperatures estimated based on calculated exchange coupling parameters, calculated optical conductivity, MO Kerr and Faraday rotation angles agree quite well with available experimental data. The calculated MAE as well as optical and MO properties are analyzed in terms of the calculated orbital-decomposed densities of states, band state symmetries and dipole selection rules. Our findings of large out-of-plane MAEs and strong MO effects in these single-spin FM semiconducting CrI$_3$ ultrathin films suggest that they will find valuable applications in semiconductor MO and spintronic nanodevices.


title: Conductivity and capacitance of streamers in avalanche model for streamer propagation in dielectric liquids

abstract: Propagation of positive streamers in dielectric liquids, modeled by the electron avalanche mechanism, is simulated in a needle-plane gap. The streamer is modeled as an RC-circuit where the channel is a resistor and the extremities of the streamer have a capacitance towards the plane. The addition of the RC-model introduces a time constant to the propagation model. Increase in capacitance as a streamer branch propagates reduces its potential, while conduction through the streamer channel increases its potential, as a function of the time constant of the RC-system. Streamer branching also increases the capacitance and decreases the potential of the branches. If the electric field within the streamer channel exceeds a threshold, a breakdown occurs in the channel, and the potential of the streamer is equalized with the needle electrode. This is interpreted as a re-illumination. According to this model, a low conductive streamer branch can propagate some distance before its potential is reduced to below the propagation threshold, and then the RC time constant controls the streamer propagation speed. Channel breakdowns, or re-illuminations, are less frequent when the channels are conductive and more frequent for more branched streamers.


title: Boolean FIP ring extensions

abstract: We characterize extensions of commutative rings $R \subseteq S$ whose sets of subextensions $[R,S]$ are finite ({\it i.e.} $R\subseteq S$ has the FIP property) and are Boolean lattices, that we call Boolean FIP extensions. Some characterizations involve ``factorial" properties of the poset $[R,S]$. A non trivial result is that each subextension of a Boolean FIP extension is simple (i.e. $R \subseteq S$ is a simple pair).


title: Conditional Tail Independence in Archimedean Copula Models

abstract: Consider a random vector $U$, whose distribution function coincides in its upper tail with that of an Archimedean copula. We report the fact that the conditional distribution of $U$, conditional on one of its components, has under a mild condition on the generator function independent upper tails, no matter what the unconditional tail behavior is. This finding is extended to Archimax copulas.


title: Scaling Big Data Platform for Big Data Pipeline

abstract: Monitoring and Managing High Performance Computing (HPC) systems and environments generate an ever growing amount of data. Making sense of this data and generating a platform where the data can be visualized for system administrators and management to proactively identify system failures or understand the state of the system requires the platform to be as efficient and scalable as the underlying database tools used to store and analyze the data. In this paper we will show how we leverage Accumulo, d4m, and Unity to generate a 3D visualization platform to monitor and manage the Lincoln Laboratory Supercomputer systems and how we have had to retool our approach to scale with our systems.


title: A model updating procedure to enhance structural analysis in the FE code NOSA-ITACA

abstract: This paper describes the model updating procedure implemented in NOSA-ITACA, a finite-element code for the structural analysis of masonry constructions of historical interest. The procedure, aimed at matching experimental frequencies and mode shapes, allows fine-tuning calculation of the free parameters in the model. The numerical method is briefly described, and some issues related to its robustness are addressed. The procedure is then applied to a simple case study and two historical structures in Tuscany, the Clock Tower in Lucca and the Maddalena bridge in Borgo a Mozzano.


title: Equivalent Polyadic Decompositions of Matrix Multiplication Tensors

abstract: Invariance transformations of polyadic decompositions of matrix multiplication tensors define an equivalence relation on the set of such decompositions. In this paper, we present an algorithm to efficiently decide whether two polyadic decompositions of a given matrix multiplication tensor are equivalent. With this algorithm, we analyze the equivalence classes of decompositions of several matrix multiplication tensors. This analysis is relevant for the study of fast matrix multiplication as it relates to the question of how many essentially different fast matrix multiplication algorithms there exist. This question has been first studied by de~Groote, who showed that for the multiplication of $2\times2$ matrices with $7$ active multiplications, all algorithms are essentially equivalent to Strassen's algorithm. In contrast, the results of our analysis show that for the multiplication of larger matrices, (e.g., $2\times3$ by $3\times2$ or $3\times3$ by $3\times3$ matrices), two decompositions are very likely to be essentially different. We further provide a necessary criterion for a polyadic decomposition to be equivalent to a polyadic decomposition with integer entries. Decompositions with specific integer entries, e.g., powers of two, provide fast matrix multiplication algorithms with better efficiency and stability properties. This condition can be tested algorithmically and we present the conclusions obtained for the decompositions of small/medium matrix multiplication tensors.


title: Inflation after Planck: Judgment Day

abstract: Inflation is considered as the best theory of the early universe by a very large fraction of cosmologists. However, the validity of a scientific model is not decided by counting the number of its supporters and, therefore, this dominance cannot be taken as a proof of its correctness. Throughout its history, many criticisms have been put forward against inflation. The final publication of the Planck Cosmic Microwave Background data represents a benchmark time to study their relevance and to decide whether inflation really deserves its supremacy. In this paper, we categorize the criticisms against inflation, go through all of them in the light of what is now observationally known about the early universe, and try to infer and assess the scientific status of inflation. Although we find that important questions still remain open, we conclude that the inflationary paradigm is not in trouble but, on the contrary, has rather been strengthened by the Planck data.


title: An IFU investigation of possible Lyman continuum escape from Mrk 71/NGC 2366

abstract: Mrk 71/NGC 2366 is the closest Green Pea (GP) analog and candidate Lyman Continuum (LyC) emitter. Recently, 11 LyC-leaking GPs have been detected through direct observations of the ionizing continuum, making this the most abundant class of confirmed LyC-emitters at any redshift. High resolution, multi-wavelength studies of GPs can lead to an understanding of the method(s), through which LyC escapes from these galaxies. The proximity of Mrk 71/NCG 2366 offers unprecedented detail on the inner workings of a GP analog, and enables us to identify the mechanisms of LyC escape. We use 5825-7650{\AA} integral field unit PMAS observations to study the kinematics and physical conditions in Mrk 71. An electron density map is obtained from the [S II] ratio. A fortuitous second order contamination by the [O II]3727 doublet enables the construction of an electron temperature map. Resolved maps of sound speed, thermal broadening, "true" velocity dispersion, and Mach number are obtained and compared to the high resolution magneto-hydrodynamic SILCC simulations. Two regions of increased velocity dispersion indicative of outflows are detected to the north and south of the super star cluster, knot B, with redshifted and blueshifted velocities, respectively. We confirm the presence of a faint broad kinematical component, which is seemingly decoupled from the outflow regions, and is fainter and narrower than previously reported in the literature. Within uncertainties, the low- and high-ionization gas move together. Outside of the core of Mrk 71, an increase in Mach numbers is detected, implying a decrease in gas density. Simulations suggest this drop in density can be as high as ~4 dex, down to almost optically thin levels, which would imply a non-zero LyC escape fraction along the outflows... [abridged]


title: Uniform convergence in von Neumann's ergodic theorem in the absence of a spectral gap

abstract: Von Neumann's original proof of the ergodic theorem is revisited. A uniform convergence rate is established under the assumption that one can control the density of the spectrum of the underlying self-adjoint operator when restricted to suitable subspaces. Explicit rates are obtained when the bound is polynomial, with applications to the linear Schr\"odinger and wave equations. In particular, decay estimates for time-averages of solutions are shown.


title: Color Image and Multispectral Image Denoising Using Block Diagonal Representation

abstract: Filtering images of more than one channel is challenging in terms of both efficiency and effectiveness. By grouping similar patches to utilize the self-similarity and sparse linear approximation of natural images, recent nonlocal and transform-domain methods have been widely used in color and multispectral image (MSI) denoising. Many related methods focus on the modeling of group level correlation to enhance sparsity, which often resorts to a recursive strategy with a large number of similar patches. The importance of the patch level representation is understated. In this paper, we mainly investigate the influence and potential of representation at patch level by considering a general formulation with block diagonal matrix. We further show that by training a proper global patch basis, along with a local principal component analysis transform in the grouping dimension, a simple transform-threshold-inverse method could produce very competitive results. Fast implementation is also developed to reduce computational complexity. Extensive experiments on both simulated and real datasets demonstrate its robustness, effectiveness and efficiency.


title: Analyzing, Comparing, and Detecting Emerging Malware: A Graph-based Approach

abstract: The growth in the number of Android and Internet of Things (IoT) devices has witnessed a parallel increase in the number of malicious software (malware), calling for new analysis approaches. We represent binaries using their graph properties of the Control Flow Graph (CFG) structure and conduct an in-depth analysis of malicious graphs extracted from the Android and IoT malware to understand their differences. Using 2,874 and 2,891 malware binaries corresponding to IoT and Android samples, we analyze both general characteristics and graph algorithmic properties. Using the CFG as an abstract structure, we then emphasize various interesting findings, such as the prevalence of unreachable code in Android malware, noted by the multiple components in their CFGs, and larger number of nodes in the Android malware, compared to the IoT malware, highlighting a higher order of complexity. We implement a Machine Learning based classifiers to detect IoT malware from benign ones, and achieved an accuracy of 97.9% using Random Forests (RF).


title: Efficient Computation of High-Order Electromagnetic Field Derivatives for Multiple Design Parameters in FDTD

abstract: This paper introduces a new computational framework to derive electromagnetic field derivatives with respect to multiple design parameters up to any order with the Finite-Difference Time-Domain (FDTD) technique. Specifically, only one FDTD simulation is needed to compute the first-order field derivatives with respect to N parameters, while two FDTD simulations are needed to compute the field derivatives with respect to one parameter up to any order. The field derivatives with respect to N parameters up to any order are computed with (N+1) FDTD runs. In addition to its efficiency, this framework is based on a subtractive cancellation error-free approach, providing guaranteed accuracy toward the computation of field derivatives up to any order. With high-order field derivatives available, sensitivity analysis, parametric modelling and uncertainty quantification can be accurately performed.


title: The Kato Square Root Problem on locally uniform domains

abstract: We obtain the Kato square root estimate for second order elliptic operators in divergence form with mixed boundary conditions on an open and possibly unbounded set in $\mathbb{R}^d$ under two simple geometric conditions: The Dirichlet boundary part is Ahlfors--David regular and a quantitative connectivity property in the spirit of locally uniform domains holds near the Neumann boundary part. This improves upon all existing results even in the case of pure Dirichlet or Neumann boundary conditions. We also treat elliptic systems with lower order terms. As a side product we establish new regularity results for the fractional powers of the Laplacian with boundary conditions in our geometric setup.


title: A new dynamical core of the Global Environmental Multiscale (GEM) model with a height-based terrain-following vertical coordinate

abstract: A new dynamical core of Environment and Climate Change Canada's Global Environmental Multiscale (GEM) atmospheric model is presented. Unlike the existing log-hydrostatic-pressure-type terrain-following vertical coordinate, the proposed core adopts a height-based approach. The move to a height-based vertical coordinate is motivated by its potential for improving model stability over steep terrain, which is expected to become more prevalent with the increasing demand for very high resolution forecasting systems. A dynamical core with height-based vertical coordinate generally requires an iterative solution approach. In addition to a three-dimensional iterative solver, a simplified approach has been devised allowing the use of a direct solver for the new dynamical core that separates a three-dimensional elliptic boundary value problem into a set of two-dimensional independent Helmholtz problems. The new dynamical core is evaluated using numerical experiments that include two-dimensional nonhydrostatic theoretical cases as well as 25-km resolution global forecasts. For a wide range of horizontal grid resolutions---from a few meters to up to 25 km---the results from the direct solution approach is found to be equivalent to the iterative approach for the new dynamical core. Furthermore, results from the numerical experiments confirm that the new height-based dynamical core leads to results that are equivalent to the existing pressure-based core.


title: Bose-Einstein Condensation for an Exponential Density of States Function and Lerch Zeta Function

abstract: I show how Bose-Einstein condensation (BEC) in a non interacting bosonic system with exponential density of states function yields to a new class of Lerch zeta functions. By looking on the critical temperature, I suggest that a possible strategy to prove the "Riemann hypothesis" problem. In a theorem and a lemma I suggested that the classical limit $\hbar\to 0$ of BEC can be used as a tool to find zeros of real part of the Riemann zeta function with complex argument. It reduces the Riemann hypothesis to a softer form. Furthermore I propose a pair of creation-annihilation operators for BEC phenomena. This set of creation-annihilation operators is defined on a complex Hilbert space. They build a set up to interpret this type of BEC as a creation-annihilation phenomenon for a virtual hypothetical particle.


title: From proteins to grains: a journey through simple models

abstract: This thesis is about the study of complex systems through simple models. Our work evidences the relevance of this kind of modeling in science, which provides us with a better understanding of nature at minimum cost. The fundamentals tools for our investigation are those of (nonequilibrium) statistical mechanics. More specifically, we thoroughly analyze two minimalistic models, which are motivated by two quite different realms: modular biomolecules and granular fluids. On the one hand, we look into the elastic response of modular biomolecules. Therein, our main goal is predicting of the unfolding pathway of the molecule. We put forward and check a theoretical framework that is valid in the maximum hysteresis path limit. On the other hand, a model mimicking the shear modes of granular gases is analyzed in depth. Our study embraces a wide range of fundamental aspects, among others: physical stationary states, fluctuations, finite size effects, stability of the stationary solutions, and memory effects. This analysis is carried out by a combination of numerical and analytical techniques, with the numerical results showing, in general, an excellent agreement with the theory.


title: The minimal cone of an algebraic Laurent series

abstract: We study the algebraic closure of $\mathbb K(\!(x)\!)$, the field of power series in several indeterminates over a field $\mathbb K$. In characteristic zero we show that the elements algebraic over $\mathbb K(\!(x)\!)$ can be expressed as Puiseux series such that the convex hull of its support is essentially a polyhedral rational cone, strengthening the known results. In positive characteristic we construct algebraic closed fields containing the field of power series and we give examples showing that the results proved in characteristic zero are longer valid in positive characteristic.


title: Energy spectrum of two-dimensional excitons in a non-uniform dielectric medium

abstract: We demonstrate that, in monolayers (MLs) of semiconducting transition metal dichalcogenides, the $s$-type Rydberg series of excitonic states follows a simple energy ladder: $\epsilon_n=-Ry^*/(n+\delta)^2$, $n$=1,2,\ldots, in which $Ry^*$ is very close to the Rydberg energy scaled by the dielectric constant of the medium surrounding the ML and by the reduced effective electron-hole mass, whereas the ML polarizability is only accounted for by $\delta$. This is justified by the analysis of experimental data on excitonic resonances, as extracted from magneto-optical measurements of a high-quality WSe$_2$ ML encapsulated in hexagonal boron nitride (hBN), and well reproduced with an analytically solvable Schr\"odinger equation when approximating the electron-hole potential in the form of a modified Kratzer potential. Applying our convention to other, MoSe$_2$, WS$_2$, MoS$_2$ MLs encapsulated in hBN, we estimate an apparent magnitude of $\delta$ for each of the studied structures. Intriguingly, $\delta$ is found to be close to zero for WSe$_2$ as well as for MoS$_2$ monolayers, what implies that the energy ladder of excitonic states in these two-dimensional structures resembles that of Rydberg states of a three-dimensional hydrogen atom.


title: Transient response of an electrolyte to a thermal quench

abstract: We study the transient response of an electrolytic cell subject to a small, suddenly applied temperature increase at one of its two bounding electrode surfaces. An inhomogeneous temperature profile then develops, causing, via the Soret effect, ionic rearrangements towards a state of polarized ionic charge density $q$ and local salt density $c$. For the case of equal cationic and anionic diffusivities, we derive analytical approximations to $q, c$, and the thermovoltage $V_{T}$ for early ($t\ll\tau_{T}$) and late ($t\gg\tau_{T}$) times as compared to the relaxation time $\tau_{T}$ of the temperature. We challenge the conventional wisdom that the typically large Lewis number, the ratio $a/D$ of thermal to ionic diffusivities, of most liquids implies a quickly reached steady-state temperature profile onto which ions relax slowly. Though true for the evolution of $c$, it turns out that $q$ (and $V_{T}$) can respond much faster. Particularly when the cell is much bigger than the Debye length, a significant portion of the transient response of the cell falls in the $t\ll\tau_{T}$ regime, for which our approximated $q$ (corroborated by numerics) exhibits a density wave that has not been discussed before in this context. For electrolytes with unequal ionic diffusivities, $V_{T}$ exhibits a two-step relaxation process, in agreement with experimental data of Bonetti et al. [J. Chem. Phys. 142, 244708 (2015)].


title: Deep Node Ranking for Neuro-symbolic Structural Node Embedding and Classification

abstract: Network node embedding is an active research subfield of complex network analysis. This paper contributes a novel approach to learning network node embeddings and direct node classification using a node ranking scheme coupled with an autoencoder-based neural network architecture. The main advantages of the proposed Deep Node Ranking (DNR) algorithm are competitive or better classification performance, significantly higher learning speed and lower space requirements when compared to state-of-the-art approaches on 15 real-life node classification benchmarks. Furthermore, it enables exploration of the relationship between symbolic and the derived sub-symbolic node representations, offering insights into the learned node space structure. To avoid the space complexity bottleneck in a direct node classification setting, DNR computes stationary distributions of personalized random walks from given nodes in mini-batches, scaling seamlessly to larger networks. The scaling laws associated with DNR were also investigated on 1488 synthetic Erd\H{o}s-R\'enyi networks, demonstrating its scalability to tens of millions of links.