title: Influence of Chloride Substitution on the Rotational Dynamics of Methylammonium in MAPbI$_{3-x}$Cl$_{x}$ Perovskites

abstract: The hybrid halide perovskites MAPbI$_{3}$, MAPbI$_{2.94}$Cl$_{0.06}$, and MAPbCl$_{3}$ (MA - methylammonium) have been investigated using inelastic and quasielastic neutron scattering (QENS) with the aim of elucidating the impact of chloride substitution on the rotational dynamics of MA. In this context, we discuss the influence of the inelastic neutron scattering caused by low-energy phonons on the QENS resulting from the MA rotational dynamics in MAPbI$_{3-x}$Cl$_{x}$. Through a comparative temperature-dependent QENS investigation with different energy resolutions, which allow a wide Fourier time window, we achieved a consistent description of the influence of chlorine substitution in MAPbI$_{3}$ on to the MA dynamics. Our results show that chlorine substitution in the low temperature orthorhombic phase leads to a weakening of the hydrogen bridge bonds since the characteristic relaxation times of C$_{3}$ rotation at 70 K in MAPbCl$_{3}$ (135 ps) and MAPbI$_{2.94}$Cl$_{0.06}$ (485 ps) are much shorter than in MAPbI$_{3}$ (1635 ps). For the orthorhombic phase, we obtained the activation energies from the temperature-dependent characteristic relaxation times ${\tau}$C$_{3}$ by Arrhenius fits indicating lower values of E$_{a}$ for MAPbCl$_{3}$ and MAPbI$_{2.94}$Cl$_{0.06}$ compared to MAPbI$_{3}$. We also performed QENS analyses at 190 K for all three samples. Here we observed that MAPbCl$_{3}$ shows slower MA rotational dynamics than MAPbI$_{3}$ in the disordered structure.


title: Time-dependent potential impurity in topological insulator

abstract: We consider periodically driven potential impurities coupled to the surface states of a two-dimensional topological insulator. The problem is addressed by means of two models, out which the first model is an effective continuum Hamiltonian for the surface states, whereas the Kane-Mele lattice model is our second approach. While both models result in drastic changes in the local density of electron states with increasing amplitude and frequency of the driving field, the linearly low energy local density of electron states remains in the continuum model, however, with an increased Fermi velocity. The spectrum of the continuum model remains gapless under the emergence of new impurity resonances near the Fermi energy. The Kane-Mele lattice model represents a finite size system, with edge states appearing at the boundary of the system. We, thus, consider the impurity at two different positions, one at the boundary and one at the center of the lattice. In the former case, a reduction and broadening of the low energy local density of electron states result with increasing amplitude of the driving field. On the other hand, there are no new resonances emerging in the spectrum. In the latter case, the spectrum is gapped both in the absence of the impurity as well as for weak amplitudes of the driving field, while the gap tends to fill up with impurity states with increasing amplitude.


title: Reducing Anomaly Detection in Images to Detection in Noise

abstract: Anomaly detectors address the difficult problem of detecting automatically exceptions in an arbitrary background image. Detection methods have been proposed by the thousands because each problem requires a different background model. By analyzing the existing approaches, we show that the problem can be reduced to detecting anomalies in residual images (extracted from the target image) in which noise and anomalies prevail. Hence, the general and impossible background modeling problem is replaced by simpler noise modeling, and allows the calculation of rigorous thresholds based on the a contrario detection theory. Our approach is therefore unsupervised and works on arbitrary images.


title: mmb: Flexible High-Speed Userspace Middleboxes

abstract: Nowadays, Internet actors have to deal with a strong increase in Internet traffic at many levels. One of their main challenge is building high-speed and efficient networking solutions. In such a context, kernel-bypass I/O frameworks have become their preferred answer to the increasing bandwidth demands. Many works have been achieved, so far, all of them claiming to have succeeded in reaching line-rate for traffic forwarding. However, this claim does not hold for more complex packet processing. In addition, all those solutions share common drawbacks on either deployment flexibility or configurability and user-friendliness. This is exactly what we tackle in this paper by introducing mmb, a VPP middlebox plugin. mmb allows, through an intuitive command-line interface, to easily build stateless and stateful classification and rewriting middleboxes. mmb makes a careful use of instruction caching and memory prefetching, in addition to other techniques used by other high-performance I/O frameworks. We compare mmb performance with other performance-enhancing middlebox solutions, such as kernel-bypass framework, kernel-level optimized approach and other state-of-the-art solutions for enforcing middleboxes policies (firewall, NAT, transport-level engineering). We demonstrate that mmb performs, generally, better than existing solutions, sustaining a line-rate processing while performing large numbers of complex policies.


title: Complexity of URLLC Scheduling and Efficient Approximation Schemes

abstract: In this paper we address the problem of joint admission control and resource scheduling for \emph{Ultra Reliable Low Latency Communications} (URLLC). We examine two models: (i) the \emph{continuous}, where all allocated resource blocks contribute to the success probability, and (ii) a \emph{binary}, where only resource blocks with strong signal are "active" for each user, and user $k$ needs $d_k$ active resource blocks for a successful URLLC transmission. In situations of congestion, we are interested in finding a subset of users that can be scheduled simultaneously. We show that finding a feasible schedule for at least $m$ URLLC users is NP-complete in the (easier) binary SNR model, hence also in the continuous. Maximizing the reward obtained from a feasible set of URLLC users is NP-hard and inapproximable to within ${(\log_2d)^2}/{d}$ of the optimal, where $d\doteq \max_kd_k$. On the other hand, we prove that checking a candidate set of users for feasibility and finding the corresponding schedule (when feasible) can be done in polynomial time, which we exploit to design an efficient heuristic algorithm for the general continuous SNR model. We complement our theoretical contributions with a numerical evaluation of our proposed schemes.


title: The mass and residues of radially and orbitally excited doubly heavy baryons in QCD

abstract: The mass and residues of the first radial and orbital excitations of $J=\frac{1}{2}$ baryons containing two heavy quarks (b or c) are calculated within the QCD sum rules method. In calculations, the general forms of the interpolating currents with symmetric and anti-symmetric forms with respect to the exchange of heavy quarks have been used. Our results on the spectroscopic parameters of doubly heavy baryons are compared with the predictions of other theoretical approaches.


title: Predicting Stroke from Electronic Health Records

abstract: Studies have identified various risk factors associated with the onset of stroke in an individual. Data mining techniques have been used to predict the occurrence of stroke based on these factors by using patients' medical records. However, there has been limited use of electronic health records to study the inter-dependency of different risk factors of stroke. In this paper, we perform an analysis of patients' electronic health records to identify the impact of risk factors on stroke prediction. We also provide benchmark performance of the state-of-art machine learning algorithms for predicting stroke using electronic health records.


title: Deductive Proof of Ethereum Smart Contracts Using Why3

abstract: A bug or error is a common problem that any software or computer program may encounter. It can occur from badly writing the program, a typing error or bad memory management. However, errors can become a significant issue if the unsafe program is used for critical systems. Therefore, formal methods for these kinds of systems are greatly required. In this paper, we use a formal language that performs deductive verification on an Ethereum Blockchain application based on smart contracts, which are self-executing digital contracts. Blockchain systems manipulate cryptocurrency and transaction information. Therefore , if a bug occurs in the blockchain, serious consequences such as a loss of money can happen. Thus, the aim of this paper is to propose a language dedicated to deductive verification, called Why3, as a new language for writing formal and verified smart contracts, thereby avoiding attacks exploiting such contract execution vulnerabilities. We first write a Why3 smart contracts program; next we formulate specifications to be proved as absence of RunTime Error properties and functional properties, then we verify the behavior of the program using the Why3 system. Finally we compile the Why3 contracts to the Ethereum Virtual Machine (EVM). Moreover, we give a set of generic mathematical statements that allows verifying functional properties suited to any type of smart contracts holding cryptocurrency, showing that Why3 can be a suitable language to write smart contracts. To illustrate our approach, we describe its application to a realistic industrial use case.


title: Four-derivative couplings via T-duality constraint

abstract: We examine the proposal that the dimensional reduction of the effective action of perturbative string theory on a circle, should be invariant under T-duality transformations. The T-duality transformations are the standard Buscher rules plus some higher covariant derivatives. By explicit calculations at order $\alpha'$ for metric, dilaton and B-field, we show that the T-duality constraint can fix both the effective action and the higher derivative corrections to the Buscher rules up to an overall factor. The corrections depend on the scheme that one uses for the effective action. We have found the effective action and its corresponding T-duality transformations in an arbitrary scheme.


title: Noncompact quasi-Einstein manifolds conformal to a Euclidean space

abstract: The goal of this article is to investigate nontrivial $m$-quasi-Einstein manifolds globally conformal to an $n$-dimensional Euclidean space. By considering such manifolds, whose conformal factors and potential functions are invariant under the action of an $(n-1)$-dimensional translation group, we provide a complete classification when $\lambda=0$ and $m\geq 1$ or $m=2-n.$


title: Nuclear excitations within microscopic EDF approaches : pairing and temperature effects on the dipole response

abstract: In the present work, the isovector dipole responses, both in the resonance region and in the low-energy sector, are investigated using the microscopic nuclear Energy Density Functionals (EDFs). The self-consistent QRPA model based on Skyrme Hartree Fock BCS approach is applied to study the evolution of the isovector dipole strength by increasing neutron number and temperature. First, the isovector dipole strength and excitation energies are investigated for the Ni isotopic chain at zero temperature. The evolution of the low-energy dipole strength is studied as a function of the neutron number. In the second part, the temperature dependence of the isovector dipole excitations is studied using the self-consistent finite temperature QRPA, below and above the critical temperatures. It is shown that new excited states become possible due to the thermally occupied states above the Fermi level, and opening of the new excitations channels. In addition, temperature leads to fragmentation of the low-energy strength around the neutron separation energies, and between 9 and 12 MeV. We find that the cumulative sum of the strength below E$\leq12$ MeV decreases in open-shell nuclei due to the vanishing of the pairing correlations as temperature increases up to T=1 MeV. The analysis of the transition densities in the low-energy region shows that the proton and neutron transition densities display a mixed pattern: both isoscalar and isovector motion of protons and neutrons are obtained inside nuclei, while the neutron transition density is dominant at the surface region.


title: Detecting and Counting Small Patterns in Planar Graphs in Subexponential Parameterized Time

abstract: We present an algorithm that takes as input an $n$-vertex planar graph $G$ and a $k$-vertex pattern graph $P$, and computes the number of (induced) copies of $P$ in $G$ in $2^{O(k/\log k)}n^{O(1)}$ time. If $P$ is a matching, independent set, or connected bounded maximum degree graph, the runtime reduces to $2^{\tilde{O}(\sqrt{k})}n^{O(1)}$. While our algorithm counts all copies of $P$, it also improves the fastest algorithms that only detect copies of $P$. Before our work, no $2^{O(k/\log k)}n^{O(1)}$ time algorithms for detecting unrestricted patterns $P$ were known, and by a result of Bodlaender et al. [ICALP 2016] a $2^{o(k/\log k)}n^{O(1)}$ time algorithm would violate the Exponential Time Hypothesis (ETH). Furthermore, it was only known how to detect copies of a fixed connected bounded maximum degree pattern $P$ in $2^{\tilde{O}(\sqrt{k})}n^{O(1)}$ time probabilistically. For counting problems, it was a repeatedly asked open question whether $2^{o(k)}n^{O(1)}$ time algorithms exist that count even special patterns such as independent sets, matchings and paths in planar graphs. The above results resolve this question in a strong sense by giving algorithms for counting versions of problems with running times equal to the ETH lower bounds for their decision versions. Generally speaking, our algorithm counts copies of $P$ in time proportional to its number of non-isomorphic separations of order $\tilde{O}(\sqrt{k})$. The algorithm introduces a new recursive approach to construct families of balanced cycle separators in planar graphs that have limited overlap inspired by methods from Fomin et al. [FOCS 2016], a new `efficient' inclusion-exclusion based argument and uses methods from Bodlaender et al. [ICALP 2016].


title: Reversible Graphene decoupling by NaCl photo-dissociation

abstract: We describe the reversible intercalation of Na under graphene on Ir(111) by photo-dissociation of a previously adsorbed NaCl overlayer. After room temperature evaporation, NaCl adsorbs on top of graphene forming a bilayer. With a combination of electron diffraction and photoemission techniques we demonstrate that the NaCl overlayer dissociates upon a short exposure to an X-ray beam. As a result, chlorine desorbs while sodium intercalates under the graphene, inducing an electronic decoupling from the underlying metal. Low energy electron diffraction shows the disappearance of the moir\'e pattern when Na intercalates between graphene and iridium. Analysis of the Na 2p core-level by X-ray photoelectron spectroscopy shows a chemical change from NaCl to metallic buried Na at the graphene/Ir interface. The intercalation-decoupling process leads to a n-doped graphene due to the charge transfer from the Na, as revealed by constant energy angle resolved X-ray photoemission maps. Moreover, the process is reversible by a mild annealing of the samples without damaging the graphene.


title: The game semantics of game theory

abstract: We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment. Specifically, the system is jointly controlled by $n \geq 0$ noncooperative players, each independently optimising a real-valued payoff. The goal of the system is to play a Nash equilibrium, and the goal of the environment is to prevent it. The key to this is the realisation that lenses (from functional programming) form a dialectica category, which have an existing game-semantic interpretation. In the second half of this paper, we apply these ideas to build a compact closed category of `computable open games' by replacing the underlying dialectica category with a wave-style geometry of interaction category, specifically the Int-construction applied to the cartesian monoidal category of directed-complete partial orders.


title: Parametric local stability condition of a multi-converter system

abstract: We study local (also referred to as small-signal) stability of a network of identical DC/AC converters having a rotating degree of freedom. We develop a stability theory for a class of partitioned linear systems with symmetries that has natural links to classical stability theories of interconnected systems. We find stability conditions descending from a particular Lyapunov function involving an oblique projection onto the complement of the synchronous steady state set and enjoying insightful structural properties. Our sufficient and explicit stability conditions can be evaluated in a fully decentralized fashion, reflect a parametric dependence on the converter's steady-state variables, and can be one-to-one generalized to other types of systems exhibiting the same behavior, such as synchronous machines. Our conditions demand for sufficient reactive power support and resistive damping. These requirements are well aligned with practitioners' insights.


title: A practical method for estimating coupling functions in complex dynamical systems

abstract: A foremost challenge in modern network science is the inverse problem of reconstruction (inference) of coupling equations and network topology from the measurements of the network dynamics. Of particular interest are the methods that can operate on real (empirical) data without interfering with the system. One such earlier attempt (Tokuda et al. 2007 Phys. Rev. Lett.99, 064101) was a method suited for general limit-cycle oscillators, yielding both oscillators' natural frequencies and coupling functions between them (phase equations) from empirically measured time series. The present paper reviews the above method in a way comprehensive to domain-scientists other than physics. It also presents applications of the method to (i) detection of the network connectivity, (ii) inference of the phase sensitivity function, (iii) approximation of the interaction among phase-coherent chaotic oscillators, and (iv) experimental data from a forced Van der Pol electric circuit. This reaffirms the range of applicability of the method for reconstructing coupling functions and makes it accessible to a much wider scientific community.


title: Instability of a dilute Fermi liquid in the presence of forward scattering

abstract: The stability of a Fermi liquid is analyzed by summing series of diagrams with an interaction mediated by a system close to quantum criticality. The critical temperature and the gap are derived in terms of an effective coupling constant and do not depend on the density of states at the Fermi surface. The forward scattering process is identified as the main pairing mechanism for the case of low, or vanishing, levels of doping.


title: Neutrino-13C Cross Sections at Supernova Neutrino Energies

abstract: We present neutrino capture cross sections on 13C at supernova neutrino energies, up to 50 MeV. For both charged-current and neutral-current reactions partial cross sections are calculated using statistical Hauser-Feschbach method. Coherent elastic neutrino scattering cross section for a 13C target is also provided.


title: On Classical Solutions to the Mean Field Game System of Controls

abstract: In this paper, we consider a class of mean field games in which the optimal strategy of a representative agent depends on the statistical distribution of the states and controls. We prove some existence results for the forward-backward system of PDEs under rather natural assumptions. The main step of the proof consists of obtaining a priori estimates on the gradient of the cost function by Bernstein's method. Uniqueness is also proved under more restrictive assumptions. The last section contains some examples to which the previously mentioned existence (and possibly uniqueness) results apply.


title: A color-difference formula for evaluating color pairs with no separation -- $\Delta E_{NS}$

abstract: All color-difference formulas are developed to evaluate color differences for pairs of stimuli with hair-line separation. In printing applications, however, color differences are frequently judged between a pair of samples with no-separation because they are printed adjacent on the same piece of paper. A new formula, dENS has been developed for pairs of stimuli with no-separation (NS). An experiment was conducted to investigate the effect of different color-difference magnitudes using sample pairs with NS. 1,012 printed pairs with NS were prepared around 11 CIE recommended color centers. The pairs, representing four color-difference magnitudes of 1, 2, 4 and 8 CIELAB units were visually evaluated by a panel of 19 observers using the gray-scale method. Comparison of the present data based on pairs with NS, and previously generated data using pairs with hair-line separation, showed a clear separation effect. A new color-difference equation for the NS viewing condition (dENS) is proposed by modifying the CIEDE2000 formula. The separation effect can be well described by the new formula. For a sample pair with NS, when the CIEDE2000 color difference is less than 9.1, a larger color difference leads to a larger lightness difference, and thus the total color difference increases. When the CIEDE2000 color difference is greater than 9.1, the effect is opposite, i.e. the lightness difference decreases, and thus the total color difference also decreases. The new formula is recommended for future research to evaluate its performance in appropriate applications.


title: A robust measurement of the first higher-derivative bias of dark matter halos

abstract: We present a new simulation technique in which any chosen mode $\mathbf{k}$ of the density contrast field can be amplified by an amplitude $\Delta$. These amplified-mode simulations allow us to study the response of the halo density field to a long-wavelength mode other than the DC mode. In this sense they are a generalization of the separate-universe simulations to finite-wavelength modes. In particular, we use these simulations to obtain robust measurements of the first higher-derivative bias of dark matter halos $b_{\nabla^2 \delta}$. We find a negative bias at all mass considered, roughly following the $-R_L^2(M)$ relation, the Lagrangian radius of halos squared, as naively expected. We compare our results with those obtained from a fit to the 1-loop halo-matter power spectrum, as well as with the recent results from Abidi and Baldauf (2018), and to the prediction from the peak theory.


title: Bregman Proximal Gradient Algorithm with Extrapolation for a class of Nonconvex Nonsmooth Minimization Problems

abstract: In this paper, we consider an accelerated method for solving nonconvex and nonsmooth minimization problems. We propose a Bregman Proximal Gradient algorithm with extrapolation(BPGe). This algorithm extends and accelerates the Bregman Proximal Gradient algorithm (BPG), which circumvents the restrictive global Lipschitz gradient continuity assumption needed in Proximal Gradient algorithms (PG). The BPGe algorithm has higher generality than the recently introduced Proximal Gradient algorithm with extrapolation(PGe), and besides, due to the extrapolation step, BPGe converges faster than BPG algorithm. Analyzing the convergence, we prove that any limit point of the sequence generated by BPGe is a stationary point of the problem by choosing parameters properly. Besides, assuming Kurdyka-{\'L}ojasiewicz property, we prove the whole sequences generated by BPGe converges to a stationary point. Finally, to illustrate the potential of the new method BPGe, we apply it to two important practical problems that arise in many fundamental applications (and that not satisfy global Lipschitz gradient continuity assumption): Poisson linear inverse problems and quadratic inverse problems. In the tests the accelerated BPGe algorithm shows faster convergence results, giving an interesting new algorithm.


title: Combining Anatomical and Functional Networks for Neuropathology Identification: A Case Study on Autism Spectrum Disorder

abstract: While the prevalence of Autism Spectrum Disorder (ASD) is increasing, research continues in an effort to identify common etiological and pathophysiological bases. In this regard, modern machine learning and network science pave the way for a better understanding of the neuropathology and the development of diagnosis aid systems. The present work addresses the classification of neurotypical and ASD subjects by combining knowledge about both the structure and the functional activity of the brain. In particular, we model the brain structure as a graph, and the resting-state functional MRI (rs-fMRI) signals as values that live on the nodes of that graph. We then borrow tools from the emerging field of Graph Signal Processing (GSP) to build features related to the frequency content of these signals. In order to make these features highly discriminative, we apply an extension of the Fukunaga-Koontz transform. Finally, we use these new markers to train a decision tree, an interpretable classification scheme, which results in a final diagnosis aid model. Interestingly, the resulting decision tree outperforms state-of-the-art methods on the publicly available Autism Brain Imaging Data Exchange (ABIDE) collection. Moreover, the analysis of the predictive markers reveals the influence of the frontal and temporal lobes in the diagnosis of the disorder, which is in line with previous findings in the literature of neuroscience. Our results indicate that exploiting jointly structural and functional information of the brain can reveal important information about the complexity of the neuropathology.


title: Plasmon-induced nonlinearity enhancement and homogenization of graphene metasurfaces

abstract: We demonstrate that the effective third-order nonlinear susceptibility of a graphene sheet can be enhanced by more than two orders of magnitude by patterning it into a graphene metasurface. In addition, in order to gain deeper physical insights into this phenomenon, we introduce a novel homogenization method, which is subsequently used to characterize quantitatively this nonlinearity enhancement effect by calculating the effective linear and nonlinear susceptibility of graphene metasurfaces. The accuracy of the proposed homogenization method is demonstrated by comparing its predictions with those obtained from the Kramers-Kronig relations. This work may open up new opportunities to explore novel physics pertaining to nonlinear optical interactions in graphene metasurfaces.


title: Generalizable control for quantum parameter estimation through reinforcement learning

abstract: Measurement and estimation of parameters are essential for science and engineering, where one of the main quests is to find systematic schemes that can achieve high precision. While conventional schemes for quantum parameter estimation focus on the optimization of the probe states and measurements, it has been recently realized that control during the evolution can significantly improve the precision. The identification of optimal controls, however, is often computationally demanding, as typically the optimal controls depend on the value of the parameter which then needs to be re-calculated after the update of the estimation in each iteration. Here we show that reinforcement learning provides an efficient way to identify the controls that can be employed to improve the precision. We also demonstrate that reinforcement learning is highly generalizable, namely the neural network trained under one particular value of the parameter can work for different values within a broad range. These desired features make reinforcement learning an efficient alternative to conventional optimal quantum control methods.


title: An In Situ Surface-Enhanced Infrared Absorption Spectroscopy Study of Electrochemical CO2 Reduction: Selectivity Dependence on Surface C-Bound and O-Bound Reaction Intermediates

abstract: The CO_{2} electro-reduction reaction (CORR) is a promising avenue to convert greenhouse gases into high-value fuels and chemicals, in addition to being an attractive method for storing intermittent renewable energy. Although polycrystalline Cu surfaces have long known to be unique in their capabilities of catalyzing the conversion of CO_{2} to higher-order C1 and C2 fuels, such as hydrocarbons (CH_{4}, C_{2}H_{4} etc.) and alcohols (CH_{3}OH, C_{2}H_{5}OH), product selectivity remains a challenge. In this study, we select three metal catalysts (Pt, Au, Cu) and apply in situ surface enhanced infrared absorption spectroscopy (SEIRAS) and ambient-pressure X-ray photoelectron spectroscopy (APXPS), coupled to density-functional theory (DFT) calculations, to get insight into the reaction pathway for the CORR. We present a comprehensive reaction mechanism for the CORR, and show that the preferential reaction pathway can be rationalized in terms of metal-carbon (M-C) and metal-oxygen (M-O) affinity. We show that the final products are determined by the configuration of the initial intermediates, C-bound and O-bound, which can be obtained from CO_{2} and (H)CO_{3}, respectively. C1 hydrocarbons are produced via OCH_{3, ad} intermediates obtained from O-bound CO_{3, ad} and require a catalyst with relatively high affinity for O-bound intermediates. Additionally, C2 hydrocarbon formation is suggested to result from the C-C coupling between C-bound CO_{ad} and (H)CO_{ad}, which requires an optimal affinity for the C-bound species, so that (H)CO_{ad} can be further reduced without poisoning the catalyst surface. Our findings pave the way towards a design strategy for CORR catalysts with improved selectivity, based on this experimental/theoretical reaction mechanisms that have been identified.


title: Improved energy estimates for a class of time-dependent perturbed Hamiltonians

abstract: We consider time-dependent perturbations which are relatively bounded with respect to the square root of an unperturbed Hamiltonian operator, and whose commutator with the latter is controlled by the full perturbed Hamiltonian. The perturbation is modulated by two auxiliary parameters, one regulates its intensity as a prefactor and the other one controls its time-scale via a regular function, whose derivative is compactly supported in a finite interval. We introduce a natural generalization of energy conservation in the case of time-dependent Hamiltonians: the boundedness of the two-parameter unitary propagator for the physical evolution with respect to the $n/2$-th power energy norm for all $n\in\mathbb{Z}$. We provide bounds of the $n/2$-th power energy norms, uniformly in time and in the time-scale parameter, for the unitary propagators, generated by the time-dependent perturbed Hamiltonian and by the unperturbed Hamiltonian in the interaction picture. The physically interesting model of Landau-type Hamiltonians with an additional weak and time-slowly-varying electric potential of unit drop is included in this framework.


title: Deep Iterative Reconstruction for Phase Retrieval

abstract: Classical phase retrieval problem is the recovery of a constrained image from the magnitude of its Fourier transform. Although there are several well-known phase retrieval algorithms including the hybrid input-output (HIO) method, the reconstruction performance is generally sensitive to initialization and measurement noise. Recently, deep neural networks (DNNs) have been shown to provide state-of-the-art performance in solving several inverse problems such as denoising, deconvolution, and superresolution. In this work, we develop a phase retrieval algorithm that utilizes two DNNs together with the model-based HIO method. First, a DNN is trained to remove the HIO artifacts and is used iteratively with the HIO method to improve the reconstructions. After this iterative phase, a second DNN is trained to remove the remaining artifacts. Numerical results demonstrate the effectiveness of ourapproach, which has little additional computational cost compared to the HIO method. Our approach not only achieves state-of-the-art reconstruction performance but also is more robust to different initialization and noise levels.


title: Photo-astrometric distances, extinctions, and astrophysical parameters for Gaia DR2 stars brighter than G = 18

abstract: Combining the precise parallaxes and optical photometry delivered by Gaia's second data release (Gaia DR2) with the photometric catalogues of PanSTARRS-1, 2MASS, and AllWISE, we derive Bayesian stellar parameters, distances, and extinctions for 265 million stars brighter than G=18. Because of the wide wavelength range used, our results substantially improve the accuracy and precision of previous extinction and effective temperature estimates. After cleaning our results for both unreliable input and output data, we retain 137 million stars, for which we achieve a median precision of 5% in distance, 0.20 mag in V-band extinction, and 245 K in effective temperature for G<14, degrading towards fainter magnitudes (12%, 0.20 mag, and 245 K at G=16; 16%, 0.23 mag, and 260 K at G=17, respectively). We find a very good agreement with the asteroseismic surface gravities and distances of 7000 stars in the Kepler, the K2-C3, and the K2-C6 fields, with stellar parameters from the APOGEE survey, as well as with distances to star clusters. Our results are available through the ADQL query interface of the Gaia mirror at the Leibniz-Institut f\"{u}r Astrophysik Potsdam (gaia.aip.de) and as binary tables at data.aip.de. As a first application, in this paper we provide distance- and extinction-corrected colour-magnitude diagrams, extinction maps as a function of distance, and extensive density maps, demonstrating the potential of our value-added dataset for mapping the three-dimensional structure of our Galaxy. In particular, we see a clear manifestation of the Galactic bar in the stellar density distributions, an observation that can almost be considered a direct imaging of the Galactic bar.


title: Joint Allocation Strategies of Power and Spreading Factors with Imperfect Orthogonality in LoRa Networks

abstract: The LoRa physical layer is one of the most promising Low Power Wide-Area Network (LPWAN) technologies for future Internet of Things (IoT) applications. It provides a flexible adaptation of coverage and data rate by allocating different Spreading Factors (SFs) and transmit powers to end-devices. We focus on improving throughput fairness while reducing energy consumption. Whereas most existing methods assume perfect SF orthogonality and ignore the harmful effects of inter-SF interferences, we formulate a joint SF and power allocation problem to maximize the minimum uplink throughput of end-devices, subject to co-SF and inter-SF interferences, and power constraints. This results into a mixed-integer non-linear optimization, which, for tractability, is split into two sub-problems: firstly, the SF assignment for fixed transmit powers, and secondly, the power allocation given the previously obtained assignment solution. For the first sub-problem, we propose a low-complexity many-to-one matching algorithm between SFs and end-devices. For the second one, given its intractability, we transform it using two types of constraints approximation: a linearized and a quadratic version. Our performance evaluation demonstrates that the proposed joint SF allocation and power optimization enables to drastically enhance various performance objectives such as throughput, fairness and power consumption, and that it outperforms baseline schemes.


title: The Epsilon Calculus with Equality and Herbrand Complexity

abstract: Hilbert's epsilon calculus is an extension of elementary or predicate calculus by a term-forming operator $\varepsilon$ and initial formulas involving such terms. The fundamental results about the epsilon calculus are so-called epsilon theorems, which have been proven by means of the epsilon elimination method. It is a procedure of transforming a proof in epsilon calculus into a proof in elementary or predicate calculus through getting rid of those initial formulas. One remarkable consequence is a proof of Herbrand's theorem due to Bernays and Hilbert which comes as a corollary of extended first epsilon theorem. The contribution of this paper is the upper and lower bounds analysis of the length of Herbrand disjunctions in extended first epsilon theorem for epsilon calculus with equality. We also show that the complexity analysis for Herbrand's theorem with equality is a straightforward consequence of the one for extended first epsilon theorem without equality due to Moser and Zach.


title: Radiative decays of the p-wave charmed heavy baryons

abstract: The radiative decays of the p-wave charmed heavy baryons to the ground state baryon states are studied in the framework of the light cone QCD sum rules method. Firstly, the transition form factors that describe these transitions are estimated, and then using these form factors the corresponding decay widths are calculated. A comparison of our results on the decay widths with those predicted by the other approaches existing in literature is performed.


title: A Preferential Attachment Model for the Stellar Initial Mass Function

abstract: Accurate specification of a likelihood function is becoming increasingly difficult in many inference problems in astronomy. As sample sizes resulting from astronomical surveys continue to grow, deficiencies in the likelihood function lead to larger biases in key parameter estimates. These deficiencies result from the oversimplification of the physical processes that generated the data, and from the failure to account for observational limitations. Unfortunately, realistic models often do not yield an analytical form for the likelihood. The estimation of a stellar initial mass function (IMF) is an important example. The stellar IMF is the mass distribution of stars initially formed in a given cluster of stars, a population which is not directly observable due to stellar evolution and other disruptions and observational limitations of the cluster. There are several difficulties with specifying a likelihood in this setting since the physical processes and observational challenges result in measurable masses that cannot legitimately be considered independent draws from an IMF. This work improves inference of the IMF by using an approximate Bayesian computation approach that both accounts for observational and astrophysical effects and incorporates a physically-motivated model for star cluster formation. The methodology is illustrated via a simulation study, demonstrating that the proposed approach can recover the true posterior in realistic situations, and applied to observations from astrophysical simulation data.


title: Accessible categories, set theory, and model theory: an invitation

abstract: We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality localized to a given category, as well as stable independence, a generalization of pushouts and model-theoretic forking that may interest mathematicians at large. We give many examples, including recently discovered connections with homotopy theory and homological algebra. We also discuss concrete versions of accessible categories (such as abstract elementary classes), and how they allow nontrivial `element by element' constructions. We conclude with a new proof of the equivalence between saturated and homogeneous which does not use the coherence axiom of abstract elementary classes.


title: Tailoring superhydrophobic ZnO nanorods on Si pyramids with enhanced visible range antireflection property

abstract: Simultaneous superhydrophobic and visible range antireflective properties are demonstrated in hydrothermally grown ZnO nanorods on chemically textured Si surfaces. A drastic transformation of Si micro pyramids from hydrophobic to superhydrophobic is observed by securing the formation of polycrystalline ZnO nanorods at surfaces, showing an increment of apparent contact angle from 102 degree to 157 degree and further explained in the light of a decrease in solid fractional surface area, according to the Cassie Baxter model. Moreover, wurtzite phase of ZnO NRs is confirmed by the X ray diffraction and Raman analysis. Such hierarchical structures further exhibit a large visible range antireflection, 5 percentage, and correlated it to the variation in aspect ratio of Si pyramids in conjunction with the formation of graded refractive index. The combined superhydrophobic and large antireflection phenomenon in the present dual scale structures is believed to be useful for Si based photovoltaic applications.


title: Multi-scale Cross-form Pyramid Network for Stereo Matching

abstract: Stereo matching plays an indispensable part in autonomous driving, robotics and 3D scene reconstruction. We propose a novel deep learning architecture, which called CFP-Net, a Cross-Form Pyramid stereo matching network for regressing disparity from a rectified pair of stereo images. The network consists of three modules: Multi-Scale 2D local feature extraction module, Cross-form spatial pyramid module and Multi-Scale 3D Feature Matching and Fusion module. The Multi-Scale 2D local feature extraction module can extract enough multi-scale features. The Cross-form spatial pyramid module aggregates the context information in different scales and locations to form a cost volume. Moreover, it is proved to be more effective than SPP and ASPP in ill-posed regions. The Multi-Scale 3D feature matching and fusion module is proved to regularize the cost volume using two parallel 3D deconvolution structure with two different receptive fields. Our proposed method has been evaluated on the Scene Flow and KITTI datasets. It achieves state-of-the-art performance on the KITTI 2012 and 2015 benchmarks.


title: Transcriptional bursts in a non-equilibrium model for gene regulation by supercoiling

abstract: We analyse transcriptional bursting within a stochastic non-equilibrium model which accounts for the coupling between the dynamics of DNA supercoiling and gene transcription. We find a clear signature of bursty transcription when there is a separation between the timescales of transcription initiation and supercoiling dissipation - the latter may either be diffusive or mediated by topological enzymes, such as type I or type II topoisomerases. In multigenic DNA domains we observe either bursty transcription, or transcription waves; the type of behaviour can be selected for by controlling gene activity and orientation. In the bursty phase, the statistics of supercoiling fluctuations at the promoter are markedly non-Gaussian.


title: On the curious pulsation properties of the accreting millisecond pulsar IGR J17379-3747

abstract: We report on the Neutron Star Interior Composition Explorer (NICER) monitoring campaign of the 468 Hz accreting millisecond X-ray pulsar IGR J17379-3747. From a detailed spectral and timing analysis of the coherent pulsations we find that they show a strong energy dependence, with soft thermal emission lagging about 640 microseconds behind the hard, Comptonized emission. Additionally, we observe uncommonly large pulse fractions, with measured amplitudes in excess of 20% sinusoidal fractional amplitude across the NICER passband and fluctuations of up to ~70%. Based on a phase-resolved spectral analysis, we suggest that these extreme properties might be explained if the source has an unusually favorable viewing geometry with a large magnetic misalignment angle. Due to these large pulse fractions, we were able to detect pulsations down to quiescent luminosities (~5 x 10^33 erg s^-1). We discuss these low-luminosity pulsations in the context of transitional millisecond pulsars.


title: Shifted Coisotropic Correspondences

abstract: We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable, and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterated cospans.


title: Cybertwin: An Origin of Next Generation Network Architecture

abstract: With fast development of Internet of Everything (IoE) and its applications, the ever increasing mobile internet traffic and services bring unprecedented challenges including scalability, mobility, availability, and security which cannot be addressed by the current clean-slate network architecture. In this paper, a cybertwin based next generation network architecture is proposed to accomodate the evolution from end-to-end connection to cloud-to-end connection in the future network. As a digital representation of human or things in the virtual cyberspace, cybertwin serves in multiple capacities, such as communications assistant, network data logger, and digital asset owner. The new and unique characteristics of the cybertwin make the proposed network to be flexible, scalable, reliable, and secure. Further, we advocate a new cloud network operating system which can work in a distributed way through a real-time multi-agent trading platform to allocate 3C (computing, caching, communications) resources. We also propose cloud operator, a new operator that can provide and manage the resources to the end users and offer location and authentication services for human and things in the cyberspace. Some promising and open research topics are discussed to envision the challenges and opportunities of the cybertwin in the future network architecture.


title: Random walks on Fibonacci treelike models: emergence of power law

abstract: In this paper, we propose a class of growth models, named Fibonacci trees $F(t)$, with respect to the intrinsic advantage of Fibonacci sequence $\{F_{t}\}$. First, we turn out model $F(t)$ to have power-law degree distribution with exponent $\gamma$ greater than $3$. And then, we study analytically two significant indices correlated to random walks on networks, namely, both the optimal mean first-passage time ($OMFPT$) and the mean first-passage time ($MFPT$). We obtain a closed-form expression of $OMFPT$ using algorithm 1. Meanwhile, algorithm 2 and algorithm 3 are introduced, respectively, to capture a valid solution to $MFPT$. We demonstrate that our algorithms are able to be widely applied to many network models with self-similar structure to derive desired solution to $OMFPT$ or $MFPT$. Especially, we capture a nontrivial result that the $MFPT$ reported by algorithm 3 is no longer correlated linearly with the order of model $F(t)$.


title: JPEG XT Image Compression with Hue Compensation for Two-Layer HDR Coding

abstract: We propose a novel JPEG XT image compression with hue compensation for two-layer HDR coding. LDR images produced from JPEG XT bitstreams have some distortion in hue due to tone mapping operations. In order to suppress the color distortion, we apply a novel hue compensation method based on the maximally saturated colors. Moreover, the bitstreams generated by using the proposed method are fully compatible with the JPEG XT standard. In an experiment, the proposed method is demonstrated not only to produce images with small hue degradation but also to maintain well-mapped luminance, in terms of three kinds of criterion: TMQI, hue value in CIEDE2000, and the maximally saturated color on the constant-hue plane.


title: Stability and Optimization Error of Stochastic Gradient Descent for Pairwise Learning

abstract: In this paper we study the stability and its trade-off with optimization error for stochastic gradient descent (SGD) algorithms in the pairwise learning setting. Pairwise learning refers to a learning task which involves a loss function depending on pairs of instances among which notable examples are bipartite ranking, metric learning, area under ROC (AUC) maximization and minimum error entropy (MEE) principle. Our contribution is twofold. Firstly, we establish the stability results of SGD for pairwise learning in the convex, strongly convex and non-convex settings, from which generalization bounds can be naturally derived. Secondly, we establish the trade-off between stability and optimization error of SGD algorithms for pairwise learning. This is achieved by lower-bounding the sum of stability and optimization error by the minimax statistical error over a prescribed class of pairwise loss functions. From this fundamental trade-off, we obtain lower bounds for the optimization error of SGD algorithms and the excess expected risk over a class of pairwise losses. In addition, we illustrate our stability results by giving some specific examples of AUC maximization, metric learning and MEE.


title: An Improved Descriptor of Cluster Stability. Application to Small Carbon Clusters

abstract: The mass spectra of gas-phase clusters in cluster beams have a rich structure where the relative heights of the peaks compared to peaks corresponding to clusters of neighbor sizes reveal the stability of the clusters as a function of the size $N$. In an analysis of the published mass spectrum of carbon clusters cations $C_N^{+}$ with $N\leq$16 we have employed the most common descriptor of cluster stability, which is based on comparing the total energy of the cluster of size $N$ with the averaged energies of clusters with sizes $N$+1 and $N$-1. Those energies have been obtained from density functional calculations. The comparison between the stability function and the mass spectrum leaves some experimental features unexplained; in particular, the correlation with the detailed variation of the height of the mass peaks as a function of size $N$ is not satisfactory. We then propose a novel stability descriptor which improves matters substantially, in particular the correlation with the detailed variation of the height of the mass peaks. The new stability index is based on comparing the atom-evaporation energy of the cluster of size $N$ with the averaged atom-evaporation energies of clusters with sizes $N$+1 and $N$-1. The substantial improvement achieved is attributed to the fact that evaporation energies are quantities directly connected with the processes controllig the cluster abundances in the beam.


title: The interpretation of broad diffuse maxima using superspace crystallography

abstract: Single crystal diffuse scattering is generally interpreted using correlation parameters that describe probabilities for certain configurations on a local scale. In this paper we present a novel interpretation of diffuse maxima using a disordered superspace approach. In (D+d)-dimensional superspace two modulation functions are disordered along the superspace axis $\vec{a}_{s,i}$ for i = 1,..,D, while the periodicity along the internal dimensions is maintained. This simple approach allows the generation of diffuse maxima of any width at any position in reciprocal space. The extinction rules that are introduced by superspace symmetry are also fulfilled by the diffuse maxima from structures generated using the disordered superspace approach. In this manuscript we demonstrate the disordered superspace approach using a simple a simple two-dimensional binary disordered system. The extension of the approach to (3+D)-dimensional superspace is trivial. The treatment of displacement and magnetic disorder in a similar approach is straight forward.


title: Unsupervised Deep Learning for Bayesian Brain MRI Segmentation

abstract: Probabilistic atlas priors have been commonly used to derive adaptive and robust brain MRI segmentation algorithms. Widely-used neuroimage analysis pipelines rely heavily on these techniques, which are often computationally expensive. In contrast, there has been a recent surge of approaches that leverage deep learning to implement segmentation tools that are computationally efficient at test time. However, most of these strategies rely on learning from manually annotated images. These supervised deep learning methods are therefore sensitive to the intensity profiles in the training dataset. To develop a deep learning-based segmentation model for a new image dataset (e.g., of different contrast), one usually needs to create a new labeled training dataset, which can be prohibitively expensive, or rely on suboptimal ad hoc adaptation or augmentation approaches. In this paper, we propose an alternative strategy that combines a conventional probabilistic atlas-based segmentation with deep learning, enabling one to train a segmentation model for new MRI scans without the need for any manually segmented images. Our experiments include thousands of brain MRI scans and demonstrate that the proposed method achieves good accuracy for a brain MRI segmentation task for different MRI contrasts, requiring only approximately 15 seconds at test time on a GPU. The code is freely available at http://voxelmorph.mit.edu.


title: Deformation principle and Andr\'e motives of projective hyperk\"ahler manifolds

abstract: Let $X_1$ and $X_2$ be deformation equivalent projective hyperk\"ahler manifolds. We prove that the Andr\'e motive of $X_1$ is abelian if and only if the Andr\'e motive of $X_2$ is abelian. Applying this to manifolds of $\mbox{K3}^{[n]}$, generalized Kummer and OG6 deformation types, we deduce that their Andr\'e motives are abelian. As a consequence, we prove that all Hodge classes in arbitrary degree on such manifolds are absolute. We discuss applications to the Mumford-Tate conjecture, showing in particular that it holds for even degree cohomology of such manifolds.


title: High Spin-Wave Propagation Length Consistent with Low Damping in a Metallic Ferromagnet

abstract: We report ultra-low intrinsic magnetic damping in Co$_{\text{25}}$Fe$_{\text{75}}$ heterostructures, reaching the low $10^{-4}$ regime at room temperature. By using a broadband ferromagnetic resonance technique, we extracted the dynamic magnetic properties of several Co$_{\text{25}}$Fe$_{\text{75}}$-based heterostructures with varying ferromagnetic layer thickness. By estimating the eddy current contribution to damping, measuring radiative damping and spin pumping effects, we found the intrinsic damping of a 26\,nm thick sample to be $$\alpha_{\mathrm{0}} \lesssim 3.18\times10^{-4}$. Furthermore, using Brillouin light scattering microscopy we measured spin-wave propagation lengths of up to $(21\pm1)\,\mathrm{\mu m}$ in a 26 nm thick Co$_{\text{25}}$Fe$_{\text{75}}$ heterostructure at room temperature, which is in excellent agreement with the measured damping.


title: Breast Cancer Classification with Ultrasound Images Based on SLIC

abstract: Ultrasound image diagnosis of breast tumors has been widely used in recent years. However, there are some problems of it, for instance, poor quality, intense noise and uneven echo distribution, which has created a huge obstacle to diagnosis. To overcome these problems, we propose a novel method, a breast cancer classification with ultrasound images based on SLIC (BCCUI). We first utilize the Region of Interest (ROI) extraction based on Simple Linear Iterative Clustering (SLIC) algorithm and region growing algorithm to extract the ROI at the super-pixel level. Next, the features of ROI are extracted. Furthermore, the Support Vector Machine (SVM) classifier is applied. The calculation states that the accuracy of this segment algorithm is up to 88.00% and the sensitivity of the algorithm is up to 92.05%, which proves that the classifier presents in this paper has certain research meaning and applied worthiness.


title: Performance Prediction for Coarse-Grained Locking

abstract: A standard design pattern found in many concurrent data structures, such as hash tables or ordered containers, is an alternation of parallelizable sections that incur no data conflicts and critical sections that must run sequentially and are protected with locks. A lock can be viewed as a queue that arbitrates the order in which the critical sections are executed, and a natural question is whether we can use stochastic analysis to predict the resulting throughput. As a preliminary evidence to the affirmative, we describe a simple model that can be used to predict the throughput of coarse-grained lock-based algorithms. We show that our model works well for CLH lock, and we expect it to work for other popular lock designs such as TTAS, MCS, etc.


title: Scaling in the massive antiferromagnetic XXZ spin-1/2 chain near the isotropic point

abstract: The scaling limit of the Heisenberg XXZ spin chain at zero magnetic field is studied in the gapped antiferromagnetic phase. For a spin-chain ring having $N_x$ sites, the universal Casimir scaling function, which characterises the leading finite-size correction term in the large-$N_x$ expansion of the ground state energy, is calculated by numerical solution of the nonlinear integral equation of the convolution type. It is shown, that the same scaling function describes the temperature dependence of the free energy of the infinite XXZ chain at low enough temperatures in the gapped scaling regime.


title: Communication trade-offs for synchronized distributed SGD with large step size

abstract: Synchronous mini-batch SGD is state-of-the-art for large-scale distributed machine learning. However, in practice, its convergence is bottlenecked by slow communication rounds between worker nodes. A natural solution to reduce communication is to use the \emph{`local-SGD'} model in which the workers train their model independently and synchronize every once in a while. This algorithm improves the computation-communication trade-off but its convergence is not understood very well. We propose a non-asymptotic error analysis, which enables comparison to \emph{one-shot averaging} i.e., a single communication round among independent workers, and \emph{mini-batch averaging} i.e., communicating at every step. We also provide adaptive lower bounds on the communication frequency for large step-sizes ($ t^{-\alpha} $, $ \alpha\in (1/2 , 1 ) $) and show that \emph{Local-SGD} reduces communication by a factor of $O\Big(\frac{\sqrt{T}}{P^{3/2}}\Big)$, with $T$ the total number of gradients and $P$ machines.


title: QUIC-FEC: Bringing the benefits of Forward Erasure Correction to QUIC

abstract: Originally implemented by Google, QUIC gathers a growing interest by providing, on top of UDP, the same service as the classical TCP/TLS/HTTP/2 stack. The IETF will finalise the QUIC specification in 2019. A key feature of QUIC is that almost all its packets, including most of its headers, are fully encrypted. This prevents eavesdropping and interferences caused by middleboxes. Thanks to this feature and its clean design, QUIC is easier to extend than TCP. In this paper, we revisit the reliable transmission mechanisms that are included in QUIC. More specifically, we design, implement and evaluate Forward Erasure Correction (FEC) extensions to QUIC. These extensions are mainly intended for high-delays and lossy communications such as In-Flight Communications. Our design includes a generic FEC frame and our implementation supports the XOR, Reed-Solomon and Convolutional RLC error-correcting codes. We also conservatively avoid hindering the loss-based congestion signal by distinguishing the packets that have been received from the packets that have been recovered by the FEC. We evaluate its performance by applying an experimental design covering a wide range of delay and packet loss conditions with reproducible experiments. These confirm that our modular design allows the protocol to adapt to the network conditions. For long data transfers or when the loss rate and delay are small, the FEC overhead negatively impacts the download completion time. However, with high packet loss rates and long delays or smaller files, FEC allows drastically reducing the download completion time by avoiding costly retransmission timeouts. These results show that there is a need to use FEC adaptively to the network conditions.


title: Ephemeral Data Handling in Microservices - Technical Report

abstract: In modern application areas for software systems --- like eHealth, the Internet-of-Things, and Edge Computing --- data is encoded in heterogeneous, tree-shaped data-formats, it must be processed in real-time, and it must be ephemeral, i.e., not persist in the system. While it is preferable to use a query language to express complex data-handling logic, their typical execution engine, a database external from the main application, is unfit in scenarios of ephemeral data-handling. A better option is represented by integrated query frameworks, which benefit from existing development support tools (e.g., syntax and type checkers) and execute within the application memory. In this paper, we propose one such framework that, for the first time, targets tree-shaped, document-oriented queries. We formalise an instantiation of MQuery, a sound variant of the widely-used MongoDB query language, which we implemented in the Jolie language. Jolie programs are microservices, the building blocks of modern software systems. Moreover, since Jolie supports native tree data-structures and automatic management of heterogeneous data-encodings, we can provide a uniform way to use MQuery on any data-format supported by the language. We present a non-trivial use case from eHealth, use it to concretely evaluate our model, and to illustrate our formalism.


title: Uncertainty principles for eventually constant sign bandlimited functions

abstract: We study the uncertainty principles related to the generalized Logan problem in $\mathbb{R}^{d}$. Our main result provides the complete solution of the following problem: for a fixed $m\in \mathbb{Z}_{+}$, find \[ \sup\{|x|\colon (-1)^{m}f(x)>0\}\cdot \sup \{|x|\colon x\in \mathrm{supp}\,\widehat{f}\,\}\to \inf, \] where the infimum is taken over all nontrivial positive definite bandlimited functions such that $\int_{\mathbb{R}^d}|x|^{2k}f(x)\,dx=0$ for $k=0,\dots,m-1$ if $m\ge 1$. We also obtain the uncertainty principle for bandlimited functions related to the recent result by Bourgain, Clozel, and Kahane.


title: Inflationary RSII Model with a Matter in the Bulk and Exponential Potential of Tachyon Field

abstract: In this paper we study a tachyon cosmological model based on dynamics of a 3-brane in the second Randall-Sundrum (RSII) model extended to include matter in the bulk. The presence of matter in the bulk changes warp factor which leads to modification of inflationary dynamics. The additional brane behaves effectively as a tachyon. We calculate numerically observation parameters of inflation: the scalar spectral index ($n_s$) and the tensor-to-scalar ratio ($r$) for the exponential potential of tachyon field.


title: Singular Vectors on Fractals and Projections of Self-similar Measures

abstract: Singular vectors are those for which the quality of rational approximations provided by Dirichlet's Theorem can be improved by arbitrarily small multiplicative constants. We provide an upper bound on the Hausdorff dimension of singular vectors lying on self-similar fractals in $\mathbb{R}^d$ satisfying the open set condition. The bound is in terms of quantities which are closely tied to Frostman exponents of projections of the Hausdorff measure supported on the fractal. Our bound is optimal in the sense that it agrees with the exact dimension of singular vectors obtained by Cheung and Chevallier when the fractal is trivial (i.e. has non-empty interior). As a corollary, we show that if the fractal is the product of $2$ copies of Cantor's middle thirds set or the attractor of a planar homogeneous irrational IFS, then the upper bound is $2/3$ the dimension of the fractal. This addresses the upper bound part of a question raised by Bugeaud, Cheung and Chevallier. We apply our method in the setting of translation flows on flat surfaces to show that the dimension of non-uniquely ergodic directions belonging to a fractal is at most $1/2$ the dimension of the fractal.


title: Intermediate Luminosity Optical Transients (ILOTs) from merging giants

abstract: We suggest and study the formation of intermediate luminosity optical transients (ILOTs) from the merger of two cool giant stars. For the two stars to merge when both are in their giant phases the stars must have close masses at their zero age main sequence, and the orbital separation must be in the right range. After the two giants merge, the two cores spiral-in toward each other within a common envelope. We study the energy sources of radiation in this process that include the ejection of mass that powers radiation by both recombination and by collision with previously ejected mass. This process includes no jets, unlike many other types of ILOTs, hence the event will not form a bipolar nebula. Using the stellar evolution numerical code mesa for two binary systems with stellar masses of (15Mo, 15.75Mo) and (31Mo, 31.5Mo), we find that the merger of the two cores releases gravitational energy that marginally ejects the entire common envelope. This implies that in many cases the two cores merge, i.e., a fatal common envelope evolution, leading to a somewhat more luminous ILOT. A typical ILOT from merger of two cool giant stars lasts for several months to several years and has a typical average luminosity of L(ILOT)~=10^6(M_{CE}/10Mo)Lo, where M_{CE} is the ejected common envelope mass. The merger-driven massive outflow forms dust, hence leading to a very red ILOT, possibly even infrared luminous and undetectable in the visible.


title: Random Fixed Boundary Flows

abstract: We consider fixed boundary flow with canonical interpretability as principal components extended on non-linear Riemannian manifolds. We aim to find a flow with fixed starting and ending points for noisy multivariate data sets lying on an embedded non-linear Riemannian manifold. In geometric term, the fixed boundary flow is defined as an optimal curve that moves in the data cloud with two fixed end points. At any point on the flow, we maximize the inner product of the vector field, which is calculated locally, and the tangent vector of the flow. The rigorous definition derives from an optimization problem using the intrinsic metric on the manifolds. For random data sets, we name the fixed boundary flow the random fixed boundary flow and analyze its limiting behavior under noisy observed samples. We construct a high level algorithm to compute the random fixed boundary flow and the convergence of the algorithm is provided. We show that the fixed boundary flow yields a concatenate of three segments, of which one coincides with the usual principal flow when the manifold is reduced to the Euclidean space. We further prove that the random fixed boundary flow converges largely to the population fixed boundary flow with high probability. We illustrate how the random fixed boundary flow can be used and interpreted, and showcase its application in real data sets.


title: Transformation laws for generalized Dedekind sums associated to Fuchsian groups

abstract: We establish transformation laws for generalized Dedekind sums associated to the Kronecker limit function of non-holomorphic Eisenstein series and their higher-order variants. These results apply to general Fuchsian groups of the first kind, and examples are provided in the cases of the Hecke triangle groups, the Hecke congruence groups $\Gamma_0(N)$, and the non-congruence arithmetic groups $\Gamma_0(N)^+$.


title: Palindromes in two-dimensional Words

abstract: A two-dimensional ($2$D) word is a $2$D palindrome if it is equal to its reverse and it is an HV-palindrome if all its columns and rows are $1$D palindromes. We study some combinatorial and structural properties of HV-palindromes and its comparison with $2$D palindromes. We investigate the maximum number number of distinct non-empty HV-palindromic sub-arrays in any finite $2$D word, thus, proving the conjecture given by Anisiua et al. We also find the least number of HV-palindromes in an infinite $2$D word over a finite alphabet size $q$.


title: Change detection in SAR time-series based on the coefficient of variation

abstract: This paper discusses change detection in SAR time-series. Firstly, several statistical properties of the coefficient of variation highlight its pertinence for change detection. Then several criteria are proposed. The coefficient of variation is suggested to detect any kind of change. Then other criteria based on ratios of coefficients of variations are proposed to detect long events such as construction test sites, or point-event such as vehicles. These detection methods are evaluated first on theoretical statistical simulations to determine the scenarios where they can deliver the best results. Then detection performance is assessed on real data for different types of scenes and sensors (Sentinel-1, UAVSAR). In particular, a quantitative evaluation is performed with a comparison of our solutions with state-of-the-art methods.


title: Constraining the deformed dispersion relation with the hydrogen atom 1S-2S transition

abstract: In this paper, we use the latest results of the ultra-high accuracy 1S-2S transition experiments in hydrogen atom to constrain the forms of the deformed dispersion relation in the nonrelativistic limit. For the leading correction of the nonrelativistic limit, the experiment sets a limit at an order of magnitude for the desired Planck-scale level, thereby providing another example of the Planck-scale sensitivity in the study of the dispersion relation in controlled laboratory experiments. And for the next-to-leading term, bound has two orders of magnitude away from the Planck scale, but it still amounts to the best limit, in contrast to previously obtained bound in the nonrelativistic limit from the cold-atom-recoil experiments.


title: A multi-start local search algorithm for the Hamiltonian completion problem on undirected graphs

abstract: This paper proposes a local search algorithm for a specific combinatorial optimisation problem in graph theory: the Hamiltonian Completion Problem (HCP) on undirected graphs. In this problem, the objective is to add as few edges as possible to a given undirected graph in order to obtain a Hamiltonian graph. This problem has mainly been studied in the context of various specific kinds of undirected graphs (e.g. trees, unicyclic graphs and series-parallel graphs). The proposed algorithm, however, concentrates on solving HCP for general undirected graphs. It can be considered to belong to the category of matheuristics, because it integrates an exact linear time solution for trees into a local search algorithm for general graphs. This integration makes use of the close relation between HCP and the minimum path partition problem, which makes the algorithm equally useful for solving the latter problem. Furthermore, a benchmark set of problem instances is constructed for demonstrating the quality of the proposed algorithm. A comparison with state-of-the-art solvers indicates that the proposed algorithm is able to achieve high-quality results.


title: Minisuperspace model of compact phase space gravity

abstract: The kinematical phase space of classical gravitational field is flat (affine) and unbounded. Because of this, field variables may tend to infinity leading to appearance of singularities, which plague Einstein's theory of gravity. The purpose of this article is to study the idea of generalizing the theory of gravity by compactification of the phase space. We investigate the procedure of compactification of the phase space on a minisuperspace gravitational model with two dimensional phase space. In the affine limit, the model reduces to the flat de Sitter cosmology. The phase space is generalized to the spherical case, and the case of loop quantum cosmology is recovered in the cylindrical phase space limit. Analysis of the dynamics reveals that the compactness of the phase space leads to both UV and IR effects. In particular, the phase of re-collapse appears, preventing the universe from expanding to infinite volume. Furthermore, the quantum version of the model is investigated and the quantum constraint is solved. As an example, we analyze the case with the spin quantum number $s=2$, for which we determine transition amplitude between initial and final state of the classical trajectory. The probability of the transition is peaked at $\Lambda=0$.


title: Expanded flow rate range of high-resolution nanoDMAs via improved sample flow injection at the aerosol inlet slit

abstract: High-resolution DMAs requiring hundreds of liters per minute of sheath gas flow Q to classify 1 nm particles have not been previously examined and optimized under the modest Q values (tens of liters per minute) needed to classify particles well above 10 nm. Here we study the resolving power R (based on the relative width of the transfer function) of the Halfmini DMA, at sample flow rates q beyond 1 l/min. The charge-reduced electrosprayed ovalbumin protein used as test aerosol has an accurately determinable Gaussian mobility distribution, which limits the measurable R to at most 25 to 30. Non-ideal DMA response can however be precisely probed by comparing measured peak widths with the convolution of the protein's mobility distribution with the triangular Knutson-Whitby distribution associated to the finite qi/Q ratio. For the unmodified Halfmini DMA, R departs considerably from ideal at qi/Q values as modest as 2%, revealing a problem with the aerosol inlet flow. This imperfection is not removed by either increasing or decreasing the slit width, nor by reorienting axially the sample flow jet as it merges with the sheath gas. By introducing a ring with many perforations upstream of the inlet slit, which favors a more symmetric distribution of the sample flow over the slit perimeter, R values close to ideal are approached with qi/Q ratios as large as 6 to 12%. This improvement enables (in principle) classification of particles larger than 30 nm.


title: Enhanced IoV Security Network by Using Blockchain Governance Game

abstract: This paper deals with the design of the secure network in an Enhanced Internet of Vehicles by using the Blockchain Governance Game (BGG). The BGG is a system model of a stochastic game to find best strategies towards preparation of preventing a network malfunction by an attacker and the paper applies this game model into the connected vehicle security. Analytically tractable results for decision-making parameters enable to predict the moment for safety operations and to deliver the optimal combination of the number of reserved nodes with the acceptance probability of backup nodes to protect a connected car. This research helps for whom considers the enhanced secure IoV architecture with the BGG within a decentralized network.


title: Constrained Dynamics of Tachyon Field in FRWL Spacetime

abstract: In this paper we continue study of tachyon scalar field described by a Dirac-Born-Infeld (DBI) type action with constraints in the cosmological context. The proposed extension of the system introducing an auxiliary field in the minisuperspace framework is discussed. A new equivalent set of constraints is constructed, satisfying the usual regularity conditions.


title: Nonlinear elasticity of silica nanofiber

abstract: Optical nanofibers (ONFs) are excellent nanophotonic platforms for various applications such as optical sensing, quantum and nonlinear optics, due to both the tight optical confinement and their wide evanescent field in the sub-wavelength limit. Other remarkable features of these ultrathin fibers are their surface acoustic properties and their high tensile strength. Here we investigate Brillouin light scattering in silica-glass tapered optical fibers under high tensile strain and show that the fundamental properties of elastic waves dramatically change due to elastic anisotropy and nonlinear elasticity for strain larger than 2%. This yields to unexpected and remarkable Brillouin strain coefficients for all Brillouin resonances including surface and hybrid waves, followed by a nonlinear evolution at high tensile strength. We further provide a complete theoretical analysis based on third-order nonlinear elasticity of silica that remarkably agrees with our experimental data. These new regimes open the way to the development of compact tensile strain optical sensors based on nanofibers.


title: Self-Diffusion in a Triple-Defect A-B Binary System: Monte Carlo simulation

abstract: In this comprehensive and detailed study, vacancy-mediated self-diffusion of A- and B-elements in 'triple-defect' B2-ordered ASB(1-S) binaries is simulated by means of a kinetic Monte Carlo (KMC) algorithm involving atomic jumps to nearest-neighbour (nn) and next-nearest-neighbour (nnn) vacancies. The systems are modelled with an Ising-type Hamiltonian with nn and nnn pair interactions complete with migration barriers dependent on local configurations. Self-diffusion is simulated at equilibrium and temperature-dependent vacancy concentrations are generated by means of a Semi Grand Canonical MC (SGCMC) code. The KMC simulations reproduced the phenomena observed experimentally in Ni-Al intermetallics being typical representatives of the 'triple-defect' binaries. In particular, they yielded the characteristic 'V'-shapes of the isothermal concentration dependencies of A- and B-atom diffusivities, as well as the strong enhancement of the B-atom diffusivity in B-rich systems. The atomistic origins of the phenomenon, as well as other features of the simulated self-diffusion such as temperature and composition dependences of tracer correlation factors and activation energies are analyzed in depth in terms of a number of nanoscopic parameters that are able to be tuned and monitored exclusively with atomistic simulations. The roles of equilibrium and kinetic factors in the generation of the observed features are clearly distinguished and elucidated.


title: Holographic entanglement first law for d + 1 dimensional rotating cylindrical black holes

abstract: We calculate the holographic entanglement entropy for the rotating cylindrical black holes in $d+1$ dimensions as perturbations over $AdS_{d+1}$. This is accomplished based on the first order variation of the area functional in arbitrary dimensions. For these types of black holes, the angular momentum appears at the first order of the perturbative expansion of the holographic entanglement entropy for spacetime dimensions of d +1 $\geq$ 4. We obtain a form of holographic entanglement first law in the presence of both energy and angular momentum.


title: The possibility of a stable flat dark energy-dominated Swiss-cheese Brane-world universe with a deceleration-acceleration transition

abstract: In this paper, we study the possibility of obtaining a stable flat dark energy-dominated universe in a good agreement with observations in the framework of Swiss-cheese Brane-world cosmology. Two different Brane-world cosmologies with black strings have been introduced for any cosmological constant $\Lambda$ using two empirical forms of the scale factor. In both models, we have performed a fine-tuning between the brane tension and the cosmological constant so that the EoS parameter $\omega(t)\rightarrow -1$ for the current epoch where the redshift $z\simeq 0$. We then used these fine-tuned values to calculate and plot all parameters and energy conditions. The deceleration-acceleration cosmic transition is allowed in both models, and the jerk parameter $j\rightarrow 1$ at late-times. Both solutions predict a future dark energy-dominated universe in which $\omega=-1$ with no crossing to the phantom divide line. While the pressure in the first solution is always negative, the second solution predicts a better behavior of cosmic pressure where the pressure is negative only in the late-time accelerating era but positive in the early-time decelerating era. Since black strings have been proved to be unstable by some authors, this instability can actually reflect doubts on the stability of cosmological models with black strings (Swiss-cheese type brane-worlds cosmological models). For this reason, we have carefully investigated the stability through energy conditions and sound speed. Because of the presence of quadratic energy terms in Swiss-cheese type brane-world cosmology, we have tested the new nonlinear energy conditions in addition to the classical energy conditions. We have also found that constructing non-singular and cyclic solutions through certain ansatze in Swiss-cheese Brane-worlds are not possible.


title: Matrix-Valued Mean-Field-Type Games: Risk-Sensitive, Adversarial, and Risk-Neutral Linear-Quadratic Case

abstract: In this paper we study a class of matrix-valued linear-quadratic mean-field-type games for both the risk-neutral, risk-sensitive and robust cases. Non-cooperation, full cooperation and adversarial between teams are treated. We provide a semi-explicit solution for both problems by means of a direct method. The state dynamics is described by a matrix-valued linear jump-diffusion-regime switching system of conditional mean-field type where the conditioning is with respect to common noise which is a regime switching process. The optimal strategies are in a state-and-conditional mean-field feedback form. Semi-explicit solutions of equilibrium costs and strategies are also provided for the full cooperative, adversarial teams, risk-sensitive full cooperative and risk-sensitive adversarial team cases. It is shown that full cooperation increases the well-posedness domain under risk-sensitive decision-makers by means of population risk-sharing. Finally, relationship between risk-sensitivity and robustness are established in the mean-field type context.


title: Imaging pulsar echoes at low frequencies

abstract: Interstellar scattering is known to broaden distant objects spatially and temporally. The latter aspect is difficult to analyse, unless the signals carry their own time stamps. Pulsars are so kind to do us this favour. Typically the signature is a broadened image with little or no substructure and a similarly smooth exponential scattering tail in the temporal profile. The case of the pulsar B1508+55 is special: The profile shows additional components that are moving relative to the main pulse with time. We use low-frequency VLBI with LOFAR to test the hypothesis that these components are actually such scattering-induced echoes, by trying to detect the expected angular offset. Using international stations (plus the Kilpisj\"arvi Atmospheric Imaging Receiver Array "KAIRA") and the phased-up core of the LOFAR array, we can do interferometry at high resolution in time and space. This contribution presents a selection of results from an ongoing large-scale monitoring campaign. We can not only detect the offset, but even image a full string of echoes, and relate the positions with delays. What we find is apparently consistent with scattering by highly aligned components in a single screen at a distance of 120 pc. Further investigations will improve our understanding of the scattering process as basis of using the scattering-induced subimages as arms of a giant interstellar interferometer with insanely high resolution.


title: $L^p$ regularity of least gradient functions

abstract: It is shown that solutions to the anisotropic least gradient problem for boundary data $f \in L^p(\partial\Omega)$ lie in $L^{\frac{Np}{N-1}}(\Omega)$; the exponent is shown to be optimal. Moreover, the solutions are shown to be locally bounded with explicit bounds on the rate of blow-up of the solution near the boundary in two settings: in the anisotropic case on the plane and in the isotropic case in any dimension.


title: Drastic enhancement of the Raman intensity in few-layer InSe by uniaxial strain

abstract: The vibrational and electronic properties of 2-dimensinal (2D) materials can be efficiently tuned by external strain due to their good stretchability. Resonant Raman spectroscopy is a versatile tool to study the physics of phonons, electrons and their interactions simultaneously, which is particularly useful for the investigation of strain effect on 2D materials. Here, for the first time, we report the resonant Raman study of strained few-layer InSe ({\gamma}-phase). Under ~ 1% of uniaxial tensile strain, one order of magnitude enhancement of Raman intensity for longitudinal optical (LO) phonon is observed, while other modes exhibit only modest change. Further analysis demonstrates that it arises from the intraband electron-phonon scattering channel for LO phonon in resonance. The large enhancement of Raman intensity provides us a sensitive and novel method to characterize the strain effect and a mapping of the strain distribution in a wrinkled sample is demonstrated. In addition, we observed sizable redshifts of first-order optical phonon modes. The shift rate exhibits phonon mode dependence, in excellent agreement with density functional perturbation theory (DFPT) calculations. Our study paves the way for sensitive strain quantification in few-layer InSe and its application in flexible electronic and optoelectronic devices.


title: A Hecke action on $G_1T$-modules

abstract: We give an action of the Hecke category on the principal block $\mathrm{Rep}_0(G_1T)$ of $G_1T$-modules where $G$ is a connected reductive group over an algebraically closed field of characteristic $p > 0$, $T$ a maximal torus of $G$ and $G_1$ the Frobenius kernel of $G$. To define it, we define a new category with a Hecke action which is equivalent to the combinatorial category defined by Andersen-Jantzen-Soergel.


title: Maximal $2$-distance sets containing the regular simplex

abstract: A finite subset $X$ of the Euclidean space is called an $m$-distance set if the number of distances between two distinct points in $X$ is equal to $m$. An $m$-distance set $X$ is said to be maximal if any vector cannot be added to $X$ while maintaining the $m$-distance condition. We investigate a necessary and sufficient condition for vectors to be added to a regular simplex such that the set has only $2$ distances. We construct several $d$-dimensional maximal $2$-distance sets that contain a $d$-dimensional regular simplex. In particular, there exist infinitely many maximal non-spherical $2$-distance sets that contain both the regular simplex and the representation of a strongly resolvable design. The maximal $2$-distance set has size $2s^2(s+1)$, and the dimension is $d=(s-1)(s+1)^2-1$, where $s$ is a prime power.


title: Construction of the similarity matrix for the spectral clustering method: numerical experiments

abstract: Spectral clustering is a powerful method for finding structure in a dataset through the eigenvectors of a similarity matrix. It often outperforms traditional clustering algorithms such as $k$-means when the structure of the individual clusters is highly non-convex. Its accuracy depends on how the similarity between pairs of data points is defined. Two important items contribute to the construction of the similarity matrix: the sparsity of the underlying weighted graph, which depends mainly on the distances among data points, and the similarity function. When a Gaussian similarity function is used, the choice of the scale parameter $\sigma$ can be critical. In this paper we examine both items, the sparsity and the selection of suitable $\sigma$'s, based either directly on the graph associated to the dataset or on the minimal spanning tree (MST) of the graph. An extensive numerical experimentation on artificial and real-world datasets has been carried out to compare the performances of the methods.


title: Reconstruction Approach to Quantum Dynamics of Bosonic Systems

abstract: We propose an approach to analytically solve the quantum dynamics of bosonic systems. The method is based on reconstructing the quantum state of the system from the moments of its annihilation operators, dynamics of which is solved in the Heisenberg picture. The proposed method is general in the sense that it does not assume anything on the initial conditions of the system such as separability, or the structure of the system such as linearity. It is an alternative to the standard master equation approaches, which are analytically demanding especially for large multipartite quantum systems. To demonstrate the proposed technique, we apply it to a system consisting of two coupled damped quantum harmonic oscillators.


title: Catching all geodesics of a manifold with moving balls and application to controllability of the wave equation

abstract: We address the problem of catching all speed $1$ geodesics of a Riemannian manifold with a moving ball: given a compact Riemannian manifold $(M,g)$ and small parameters $\varepsilon>0$ and $v>0$, is it possible to find $T>0$ and an absolutely continuous map $x:[0,T]\rightarrow M, t\mapsto x(t)$ satisfying $\|\dot{x}\|_{\infty}\leq v$ and such that any geodesic of $(M,g)$ traveled at speed $1$ meets the open ball $B_g(x(t),\varepsilon)\subset M$ within time $T$? Our main motivation comes from the control of the wave equation: our results show that the controllability of the wave equation can sometimes be improved by allowing the domain of control to move adequately, even very slowly. We first prove that, in any Riemannian manifold $(M,g)$ satisfying a geodesic recurrence condition (GRC), our problem has a positive answer for any $\varepsilon>0$ and $v>0$, and we give examples of Riemannian manifolds $(M,g)$ for which (GRC) is satisfied. Then, we build an explicit example of a domain $X\subset\mathbb{R}^2$ (with flat metric) containing convex obstacles, not satisfying (GRC), for which our problem has a negative answer if $\epsilon$ and $v$ are small enough, i.e., no sufficiently small ball moving sufficiently slowly can catch all geodesics of $X$.


title: On the Cohomology of Moduli Space of Parabolic Connections

abstract: We study the moduli space of logarithmic connections of rank $2$ on $\mathbb{P}^1 \setminus \{ t_1, \dots, t_5 \}$ with fixed spectral data. The aim of this paper is to compute the cohomology of such space, and this computation will be used to extend the results of Geometric Langlands Correspondence due to D. Arinkin to the case where this type of connections have five simple poles on $\mathbb{P}^1$.


title: Voltage control of DC-DC Three level Boost converter using TS Fuzzy PI controller

abstract: Appropriate control contributes essentially in the design of efficient DC-DC converters. With this intention, a study deals with the synthesis of a controller for DC-DC Three-level Boost converter (TLBC), has been addressed. The studied TLBC, known as nonlinear system, has been locally modeled using transfer function models. For instance, PI controllers were designed using the local models, and then they were combined using Takagi-Sugeno fuzzy (TSF) approach to form a TSF-PI controller. Simulation tests show the flexibility of the proposed controller, its rejection capability to different disturbances, and its ability to achieve the performance specification overall the wide operating range of the system.


title: Two-Dimensional Room Temperature Ferromagnetic Semiconductors with Quantum Anomalous Hall Effect

abstract: To obtain room temperature ferromagnetic semiconductors is one of big challenges in science, and also premises essentially to realize room temperature quantum anomalous Hall effect (QAHE), both of which are quite expected for a long time. Here we report that, based on first-principles calculations, PdBr3, PtBr3, PdI3 and PtI3 monolayers are ferromagnetic semiconductors with possible high temperature QAHE. Monte Carlo simulations give Curie temperatures 350 K and 375 K for PdBr3 and PtBr3 monolayers, respectively. These two-dimensional (2D) materials are Chern insulators. The band gaps of PdBr3 and PtBr3 are 58.7 meV and 28.1 meV with GGA and 100.8 meV and 45 meV with HSE06, respectively, quite well in favor of observing room temperature QAHE. The large band gaps were unveiled from multi-orbital electron correlations. By carefully checking the stability, PdBr3, PtBr3, and PtI3 monolayers are all predicted to be feasible in experiment. The present work sheds new light on developing promising spintronic devices by using the room temperature ferromagnetic semiconductors, and dissipationless devices by applying room temperature QAHE.


title: A note on non-homogeneous deformations with homogeneous Cauchy stress for a strictly rank-one convex energy in isotropic hyperelasticity

abstract: It has recently been shown that for a Cauchy stress response induced by a strictly rank-one convex hyperelastic energy potential, a homogeneous Cauchy stress tensor field cannot correspond to a non-homogeneous deformation if the deformation gradient has discrete values, i.e. if the deformation is piecewise affine linear and satisfies the Hadamard jump condition. In this note, we expand upon these results and show that they do not hold for arbitrary deformations by explicitly giving an example of a strictly rank-one convex energy and a non-homogeneous deformation such that the induced Cauchy stress tensor is constant. In the planar case, our example is related to another previous result concerning criteria for generalized convexity properties of conformally invariant energy functions, which we extend to the case of strict rank-one convexity.


title: Hyperbolization of infinite-type 3-manifolds

abstract: We study the class $\mathcal M^B$ of 3-manifolds $M$ that have a compact exhaustion $M=\cup_{i\in\mathbb N} M_i$ satisfying: each $M_i$ is hyperbolizable with incompressible boundary and each component of $\partial M_i$ has genus at most $g= g(M)$. For manifolds in $\mathcal M^{B}$ we give necessary and sufficient topological conditions that guarantee the existence of a complete hyperbolic metric.


title: Observations of CH$_3$OH and CH$_3$CHO in a Sample of Protostellar Outflow Sources

abstract: Iram 30-m Observations towards eight protostellar outflow sources were taken in the 96-\SI{176}{\giga\hertz} range. Transitions of CH$_3$OH and CH$_3$CHO were detected in seven of them. The integrated emission of the transitions of each species that fell into the observed frequency range were measured and fit using RADEX and LTE models. Column densities and gas properties inferred from this fitting are presented. The ratio of the A and E-type isomers of CH$_3$OH indicate that the methanol observed in these outflows was formed on the grain surface. Both species demonstrate a reduction of terminal velocity in their line profiles in faster outflows, indicating destruction in the post-shock gas phase. This destruction, and a near constant ratio of the CH$_3$OH and CH$_3$CHO column densities imply it is most likely that CH$_3$CHO also forms on the grain surface.


title: Learning to Detect an Odd Markov Arm

abstract: A multi-armed bandit with finitely many arms is studied when each arm is a homogeneous Markov process on an underlying finite state space. The transition law of one of the arms, referred to as the odd arm, is different from the common transition law of all other arms. A learner, who has no knowledge of the above transition laws, has to devise a sequential test to identify the index of the odd arm as quickly as possible, subject to an upper bound on the probability of error. For this problem, we derive an asymptotic lower bound on the expected stopping time of any sequential test of the learner, where the asymptotics is as the probability of error vanishes. Furthermore, we propose a sequential test, and show that the asymptotic behaviour of its expected stopping time comes arbitrarily close to that of the lower bound. Prior works deal with independent and identically distributed arms, whereas our work deals with Markov arms. Our analysis of the rested Markov setting is a key first step in understanding the difficult case of restless Markov setting, which is still open.


title: A large disparity in cosmic reference frames determined from the sky distributions of radio sources and the microwave background radiation

abstract: The angular distribution of the Cosmic Microwave Background Radiation (CMBR) in sky shows a dipole asymmetry, ascribed to the observer's motion (peculiar velocity of the solar system!), relative to the local comoving coordinates. The peculiar velocity thus determined turns out to be $370$ km s$^{-1}$ in the direction RA$=168^{\circ}$, Dec$=-7^{\circ}$. On the other hand, a dipole asymmetry in the sky distribution of radio sources in the NRAO VLA Sky Survey (NVSS) catalog, comprising 1.8 million sources, yielded a value for the observer's velocity to be $\sim 4$ times larger than the CMBR value, though the direction turned out to be in agreement with that of the CMBR dipole. This large difference in observer's speeds with respect to the reference frames of NVSS radio sources and of CMBR, confirmed since by many independent groups, is rather disconcerting as the observer's motion with respect to local comoving coordinates should be independent of the technique used to determine it. A genuine difference in relative speeds of two cosmic reference frames could jeopardize the cosmological principle, thence it is crucial to confirm such discrepancies using independent samples of radio sources. We here investigate the dipole in the sky distribution of radio sources in the recent TIFR GMRT Sky Survey (TGSS) dataset, comprising 0.62 million sources, to determine observer's motion. We find a significant disparity in observer's speeds relative to all three reference frames, determined from the radio source datasets and the CMBR, which does not fit with the cosmological principle, a starting point for the standard modern cosmology.