title: Efficient Splitting of Measures and Necklaces

abstract: We provide approximation algorithms for two problems, known as NECKLACE SPLITTING and $\epsilon$-CONSENSUS SPLITTING. In the problem $\epsilon$-CONSENSUS SPLITTING, there are $n$ non-atomic probability measures on the interval $[0, 1]$ and $k$ agents. The goal is to divide the interval, via at most $n (k-1)$ cuts, into pieces and distribute them to the $k$ agents in an approximately equitable way, so that the discrepancy between the shares of any two agents, according to each measure, is at most $2 \epsilon / k$. It is known that this is possible even for $\epsilon = 0$. NECKLACE SPLITTING is a discrete version of $\epsilon$-CONSENSUS SPLITTING. For $k = 2$ and some absolute positive constant $\epsilon$, both of these problems are PPAD-hard. We consider two types of approximation. The first provides every agent a positive amount of measure of each type under the constraint of making at most $n (k - 1)$ cuts. The second obtains an approximately equitable split with as few cuts as possible. Apart from the offline model, we consider the online model as well, where the interval (or necklace) is presented as a stream, and decisions about cutting and distributing must be made on the spot. For the first type of approximation, we describe an efficient algorithm that gives every agent at least $\frac{1}{nk}$ of each measure and works even online. For the second type of approximation, we provide an efficient online algorithm that makes $\text{poly}(n, k, \epsilon)$ cuts and an offline algorithm making $O(nk \log \frac{k}{\epsilon})$ cuts. We also establish lower bounds for the number of cuts required in the online model for both problems even for $k=2$ agents, showing that the number of cuts in our online algorithm is optimal up to a logarithmic factor.


title: Haptic human-human interaction does not improve individual visuomotor adaptation

abstract: Haptic interaction between two humans, for example, a physiotherapist assisting a patient regaining the ability to grasp a cup, likely facilitates motor skill acquisition. Haptic human-human interaction has been shown to enhance individual performance improvement in a tracking task with a visuomotor rotation perturbation. These results are remarkable given that haptically assisting or guiding an individual rarely benefits their individual improvement when the assistance is removed. We, therefore, replicated a study that reported that haptic interaction between humans was beneficial for individual improvement for tracking a target in a visuomotor rotation perturbation. In addition, we tested the effect of more interaction time and a stronger haptic coupling between the partners on individual improvement in the same task. We found no benefits of haptic interaction on individual improvement compared to individuals who practised the task alone, independent of interaction time or interaction strength.


title: Inertial extragradient algorithms for solving variational inequalities and fixed point problems

abstract: The objective of this research is to explore a convex feasibility problem, which consists of a monotone variational inequality problem and a fixed point problem. We introduce four inertial extragradient algorithms that are motivated by the inertial method, the subgradient extragradient method, the Tseng's extragradient method and the Mann-type method endowed with a simple step size. Strong convergence theorems of the algorithms are established under some standard and suitable conditions enforced by the cost operators. Finally, we implement some computational tests to show the efficiency and advantages of the proposed algorithms and compare them with some existing ones.


title: Extending the OpenCHK Model with Advanced Checkpoint Features

abstract: One of the major challenges in using extreme scale systems efficiently is to mitigate the impact of faults. Application-level checkpoint/restart (CR) methods provide the best trade-off between productivity, robustness, and performance. There are many solutions implementing CR at the application level. They all provide advanced I/O capabilities to minimize the overhead introduced by CR. Nevertheless, there is still room for improvement in terms of programmability and flexibility, because end-users must manually serialize and deserialize application state using low-level APIs, modify the flow of the application to consider restarts, or rewrite CR code whenever the backend library changes. In this work, we propose a set of compiler directives and clauses that allow users to specify CR operations in a simple way. Our approach supports the common CR features provided by all the CR libraries. However, it can also be extended to support advanced features that are only available in some CR libraries, such as differential checkpointing, the use of HDF5 format, and the possibility of using fault-tolerance-dedicated threads. The result of our evaluation revealed a high increase in programmability. On average, we reduced the number of lines of code by 71%, 94%, and 64% for FTI, SCR, and VeloC, respectively, and no additional overhead was perceived using our solution compared to using the backend libraries directly. Finally, portability is enhanced because our programming model allows the use of any backend library without changing any code.


title: Statistical Mechanical Analysis of Neural Network Pruning

abstract: Deep learning architectures with a huge number of parameters are often compressed using pruning techniques to ensure computational efficiency of inference during deployment. Despite multitude of empirical advances, there is a lack of theoretical understanding of the effectiveness of different pruning methods. We inspect different pruning techniques under the statistical mechanics formulation of a teacher-student framework and derive their generalization error (GE) bounds. It has been shown that Determinantal Point Process (DPP) based node pruning method is notably superior to competing approaches when tested on real datasets. Using GE bounds in the aforementioned setup we provide theoretical guarantees for their empirical observations. Another consistent finding in literature is that sparse neural networks (edge pruned) generalize better than dense neural networks (node pruned) for a fixed number of parameters. We use our theoretical setup to prove this finding and show that even the baseline random edge pruning method performs better than the DPP node pruning method. We also validate this empirically on real datasets.


title: Spin-orbit torque magnetization switching in MoTe2/permalloy heterostructures

abstract: The ability to switch magnetic elements by spin-orbit-induced torques has recently attracted much attention for a path towards high-performance, non-volatile memories with low power consumption. Realizing efficient spin-orbit-based switching requires harnessing both new materials and novel physics to obtain high charge-to-spin conversion efficiencies, thus making the choice of spin source crucial. Here we report the observation of spin-orbit torque switching in bilayers consisting of a semimetallic film of 1T'-MoTe2 adjacent to permalloy. Deterministic switching is achieved without external magnetic fields at room temperature, and the switching occurs with currents one order of magnitude smaller than those typical in devices using the best-performing heavy metals. The thickness dependence can be understood if the interfacial spin-orbit contribution is considered in addition to the bulk spin Hall effect. Further threefold reduction in the switching current is demonstrated with resort to dumbbell-shaped magnetic elements. These findings foretell exciting prospects of using MoTe2 for low-power semimetal material based spin devices.


title: Graph Laplacians, Riemannian Manifolds and their Machine-Learning

abstract: Graph Laplacians as well as related spectral inequalities and (co-)homology provide a foray into discrete analogues of Riemannian manifolds, providing a rich interplay between combinatorics, geometry and theoretical physics. We apply some of the latest techniques in data science such as supervised and unsupervised machine-learning and topological data analysis to the Wolfram database of some 8000 finite graphs in light of studying these correspondences. Encouragingly, we find that neural classifiers, regressors and networks can perform, with high efficiently and accuracy, a multitude of tasks ranging from recognizing graph Ricci-flatness, to predicting the spectral gap, to detecting the presence of Hamiltonian cycles, etc.


title: Linking the Supersymmetric Standard Model to the Cosmological Constant

abstract: String theory has no parameter except the string scale $M_S$, so the Planck scale $M_\text{Pl}$, the supersymmetry-breaking scale, the EW scale $m_\text{EW}$ as well as the vacuum energy density (cosmological constant) $\Lambda$ are to be determined dynamically at any local minimum solution in the string theory landscape. Here we consider a model that links the supersymmetric electroweak phenomenology (bottom up) to the string theory motivated flux compactification approach (top down). In this model, supersymmetry is broken by a combination of the racetrack K\"ahler uplift mechanism, which naturally allows an exponentially small positive $\Lambda$ in a local minimum, and the anti-D3-brane in the KKLT scenario. In the absence of the Higgs doublets in the supersymmetric standard model, one has either a small $\Lambda$ or a big enough SUSY-breaking scale, but not both. The introduction of the Higgs fields (with their soft terms) allows a small $\Lambda$ and a big enough SUSY-breaking scale simultaneously. Since an exponentially small $\Lambda$ is statistically preferred (as the properly normalized probability distribution $P(\Lambda)$ diverges at $\Lambda=0^{+}$), identifying the observed $\Lambda_{\rm obs}$ to the median value $\Lambda_{50\%}$ yields $m_{\rm EW} \sim 100$ GeV. We also find that the warped anti-D3-brane tension has a SUSY-breaking scale of $100m_{\rm EW}$ in the landscape while the SUSY-breaking scale that directly correlates with the Higgs fields in the visible sector has a value of $m_{\rm EW}$.


title: A Simple Domain Shifting Networkfor Generating Low Quality Images

abstract: Deep Learning systems have proven to be extremely successful for image recognition tasks for which significant amounts of training data is available, e.g., on the famous ImageNet dataset. We demonstrate that for robotics applications with cheap camera equipment, the low image quality, however,influences the classification accuracy, and freely available databases cannot be exploited in a straight forward way to train classifiers to be used on a robot. As a solution we propose to train a network on degrading the quality images in order to mimic specific low quality imaging systems. Numerical experiments demonstrate that classification networks trained by using images produced by our quality degrading network along with the high quality images outperform classification networks trained only on high quality data when used on a real robot system, while being significantly easier to use than competing zero-shot domain adaptation techniques.


title: A new algorithm for electrostatic interactions in Monte Carlo simulations of charged particles

abstract: To minimise systematic errors in Monte Carlo simulations of charged particles, long range electrostatic interactions have to be calculated accurately and efficiently. Standard approaches, such as Ewald summation or the naive application of the classical Fast Multipole Method, result in a cost per Metropolis-Hastings step which grows in proportion to some positive power of the number of particles $N$ in the system. This prohibitively large cost prevents accurate simulations of systems with a sizeable number of particles. Currently, large systems are often simulated by truncating the Coulomb potential which introduces uncontrollable systematic errors. In this paper we present a new multilevel method which reduces the computational complexity to $\mathcal{O}(\log(N))$ per Metropolis-Hastings step, while maintaining errors which are comparable to direct Ewald summation. We show that compared to related previous work, our approach reduces the overall cost by better balancing time spent in the proposal- and acceptance- stages of each Metropolis-Hastings step. By simulating large systems with up to $N=10^5$ particles we demonstrate that our implementation is competitive with state-of-the-art MC packages and allows the simulation of very large systems of charged particles with accurate electrostatics.


title: Calabi-Yau Spaces in the String Landscape

abstract: Calabi-Yau spaces, or Kahler spaces admitting zero Ricci curvature, have played a pivotal role in theoretical physics and pure mathematics for the last half-century. In physics, they constituted the first and natural solution to compactification of superstring theory to our 4-dimensional universe, primarily due to one of their equivalent definitions being the admittance of covariantly constant spinors. Since the mid-1980s, physicists and mathematicians have joined forces in creating explicit examples of Calabi-Yau spaces, compiling databases of formidable size, including the complete intersecion (CICY) dataset, the weighted hypersurfaces dataset, the elliptic-fibration dataset, the Kreuzer-Skarke toric hypersurface dataset, generalized CICYs etc., totaling at least on the order of 10^10 manifolds. These all contribute to the vast string landscape, the multitude of possible vacuum solutions to string compactification. More recently, this collaboration has been enriched by computer science and data science, the former, in bench-marking the complexity of the algorithms in computing geometric quantities and the latter, in applying techniques such as machine-learning in extracting unexpected information. These endeavours, inspired by the physics of the string landscape, have rendered the investigation of Calabi-Yau spaces one of the most exciting and inter-disciplinary fields. Invited contribution to the Oxford Research Encyclopedia of Physics, B.~Foster Ed., OUP, 2020


title: On functors between categories of modules over trusses

abstract: Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss versions of the Eilenberg-Watts theorem and Morita equivalence are formulated. Projective and small-projective modules over trusses are defined and their properties studied.


title: BitMix: Data Augmentation for Image Steganalysis

abstract: Convolutional neural networks (CNN) for image steganalysis demonstrate better performances with employing concepts from high-level vision tasks. The major employed concept is to use data augmentation to avoid overfitting due to limited data. To augment data without damaging the message embedding, only rotating multiples of 90 degrees or horizontally flipping are used in steganalysis, which generates eight fixed results from one sample. To overcome this limitation, we propose BitMix, a data augmentation method for spatial image steganalysis. BitMix mixes a cover and stego image pair by swapping the random patch and generates an embedding adaptive label with the ratio of the number of pixels modified in the swapped patch to those in the cover-stego pair. We explore optimal hyperparameters, the ratio of applying BitMix in the mini-batch, and the size of the bounding box for swapping patch. The results reveal that using BitMix improves the performance of spatial image steganalysis and better than other data augmentation methods.


title: Real time warm pions from the lattice using an effective theory

abstract: Lattice measurements provide adequate information to fix the parameters of long distance effective field theories in Euclidean time. Using such a theory, we examine the analytic continuation of long distance correlation functions of composite operators at finite temperature from Euclidean to Minkowski space time. We show through an explicit computation that the analytic continuation of the pion correlation function is possible and gives rise to non-trivial effects. Among them is the possibility, supported by lattice computations of Euclidean correlators, that long distance excitations can be understood in terms of (very massive) pions even at temperatures higher than the QCD cross over temperature.


title: Training highly effective connectivities within neural networks with randomly initialized, fixed weights

abstract: We present some novel, straightforward methods for training the connection graph of a randomly initialized neural network without training the weights. These methods do not use hyperparameters defining cutoff thresholds and therefore remove the need for iteratively searching optimal values of such hyperparameters. We can achieve similar or higher performances than in the case of training all weights, with a similar computational cost as for standard training techniques. Besides switching connections on and off, we introduce a novel way of training a network by flipping the signs of the weights. If we try to minimize the number of changed connections, by changing less than 10% of the total it is already possible to reach more than 90% of the accuracy achieved by standard training. We obtain good results even with weights of constant magnitude or even when weights are drawn from highly asymmetric distributions. These results shed light on the over-parameterization of neural networks and on how they may be reduced to their effective size.


title: Beamspace Channel Estimation for Wideband Millimeter-Wave MIMO: A Model-Driven Unsupervised Learning Approach

abstract: Millimeter-wave (mmWave) communications have been one of the promising technologies for future wireless networks that integrate a wide range of data-demanding applications. To compensate for the large channel attenuation in mmWave band and avoid high hardware cost, a lens-based beamspace massive multiple-input multiple-output (MIMO) system is considered. However, the beam squint effect in wideband mmWave systems makes channel estimation very challenging, especially when the receiver is equipped with a limited number of radio-frequency (RF) chains. Furthermore, the real channel data cannot be obtained before the mmWave system is used in a new environment, which makes it impossible to train a deep learning (DL)-based channel estimator using real data set beforehand. To solve the problem, we propose a model-driven unsupervised learning network, named learned denoising-based generalized expectation consistent (LDGEC) signal recovery network. By utilizing the Stein's unbiased risk estimator loss, the LDGEC network can be trained only with limited measurements corresponding to the pilot symbols, instead of the real channel data. Even if designed for unsupervised learning, the LDGEC network can be supervisingly trained with the real channel via the denoiser-by-denoiser way. The numerical results demonstrate that the LDGEC-based channel estimator significantly outperforms state-of-the-art compressive sensing-based algorithms when the receiver is equipped with a small number of RF chains and low-resolution ADCs.


title: On the correlations of $n^\alpha$ mod 1

abstract: A well known result in the theory of uniform distribution modulo one (which goes back to Fej\'er and Csillag) states that the fractional parts $\{n^\alpha\}$ of the sequence $(n^\alpha)_{n\ge1}$ are uniformly distributed in the unit interval whenever $\alpha>0$ is not an integer. For sharpening this knowledge to local statistics, the $k$-level correlation functions of the sequence $(\{n^\alpha\})_{n\geq1}$ are of fundamental importance. We prove that for each $k\ge2,$ the $k$-level correlation function $R_k$ is Poissonian for almost every $\alpha>4k^2-4k-1$.


title: Computing extracellular electric potentials from neuronal simulations

abstract: Measurements of electric potentials from neural activity have played a key role in neuroscience for almost a century, and simulations of neural activity is an important tool for understanding such measurements. Volume conductor (VC) theory is used to compute extracellular electric potentials such as extracellular spikes, MUA, LFP, ECoG and EEG surrounding neurons, and also inversely, to reconstruct neuronal current source distributions from recorded potentials through current source density methods. In this book chapter, we show how VC theory can be derived from a detailed electrodiffusive theory for ion concentration dynamics in the extracellular medium, and show what assumptions that must be introduced to get the VC theory on the simplified form that is commonly used by neuroscientists. Furthermore, we provide examples of how the theory is applied to compute spikes, LFP signals and EEG signals generated by neurons and neuronal populations.


title: Modulus of Continuity Estimates for Fully Nonlinear Parabolic Equations

abstract: We prove that the moduli of continuity of viscosity solutions to fully nonlinear parabolic partial differential equations are viscosity subsolutions of suitable parabolic equations of one space variable. As applications, we obtain sharp Lipschitz bounds and gradient estimates for fully nonlinear parabolic equations with bounded initial data, via comparison with one-dimensional solutions. This work extends multiple results of Andrews and Clutterbuck for quasilinear equations to fully nonlinear equations.


title: Counting Homomorphisms to $K_4$-minor-free Graphs, modulo 2

abstract: We study the problem of computing the parity of the number of homomorphisms from an input graph $G$ to a fixed graph $H$. Faben and Jerrum [ToC'15] introduced an explicit criterion on the graph $H$ and conjectured that, if satisfied, the problem is solvable in polynomial time and, otherwise, the problem is complete for the complexity class $\oplus\mathrm{P}$ of parity problems. We verify their conjecture for all graphs $H$ that exclude the complete graph on $4$ vertices as a minor. Further, we rule out the existence of a subexponential-time algorithm for the $\oplus\mathrm{P}$-complete cases, assuming the randomised Exponential Time Hypothesis. Our proofs introduce a novel method of deriving hardness from globally defined substructures of the fixed graph $H$. Using this, we subsume all prior progress towards resolving the conjecture (Faben and Jerrum [ToC'15]; G\"obel, Goldberg and Richerby [ToCT'14,'16]). As special cases, our machinery also yields a proof of the conjecture for graphs with maximum degree at most $3$, as well as a full classification for the problem of counting list homomorphisms, modulo $2$.


title: Primary Tumor Origin Classification of Lung Nodules in Spectral CT using Transfer Learning

abstract: Early detection of lung cancer has been proven to decrease mortality significantly. A recent development in computed tomography (CT), spectral CT, can potentially improve diagnostic accuracy, as it yields more information per scan than regular CT. However, the shear workload involved with analyzing a large number of scans drives the need for automated diagnosis methods. Therefore, we propose a detection and classification system for lung nodules in CT scans. Furthermore, we want to observe whether spectral images can increase classifier performance. For the detection of nodules we trained a VGG-like 3D convolutional neural net (CNN). To obtain a primary tumor classifier for our dataset we pre-trained a 3D CNN with similar architecture on nodule malignancies of a large publicly available dataset, the LIDC-IDRI dataset. Subsequently we used this pre-trained network as feature extractor for the nodules in our dataset. The resulting feature vectors were classified into two (benign/malignant) and three (benign/primary lung cancer/metastases) classes using support vector machine (SVM). This classification was performed both on nodule- and scan-level. We obtained state-of-the art performance for detection and malignancy regression on the LIDC-IDRI database. Classification performance on our own dataset was higher for scan- than for nodule-level predictions. For the three-class scan-level classification we obtained an accuracy of 78\%. Spectral features did increase classifier performance, but not significantly. Our work suggests that a pre-trained feature extractor can be used as primary tumor origin classifier for lung nodules, eliminating the need for elaborate fine-tuning of a new network and large datasets. Code is available at \url{https://github.com/tueimage/lung-nodule-msc-2018}.


title: Photooxidation of water with heptazine-based molecular photocatalysts: Insights from spectroscopy and computational chemistry

abstract: We present a conspectus of recent joint spectroscopic and computational studies which provided novel insight into the photochemistry of hydrogen-bonded complexes of the heptazine (Hz) chromophore with hydroxylic substrate molecules (water and phenol). It was found that a functionalized derivative of Hz, tri-anisole-heptazine (TAHz), can photooxidize water and phenol in a homogeneous photochemical reaction. This allows the exploration of the basic mechanisms of the proton-coupled electron-transfer (PCET) process involved in the water photooxidation reaction in well-defined complexes of chemically tunable molecular chromophores with chemically tunable substrate molecules. The unique properties of the excited electronic states of the Hz molecule and derivatives thereof are highlighted. The potential energy landscape relevant for the PCET reaction has been characterized by judicious computational studies. These data provided the basis for the demonstration of rational laser control of PCET reactions in TAHz-phenol complexes by pump-push-probe spectroscopy, which sheds light on the branching mechanisms occurring by the interaction of nonreactive locally excited states of the chromophore with reactive intermolecular charge-transfer states. Extrapolating from these results, we propose a general scenario which unravels the complex photoinduced water-splitting reaction into simple sequential light-driven one-electron redox reactions followed by simple dark radical-radical recombination reactions.


title: Dark matter neutrinos: A proposed mechanism for the stellar rotational velocity curve of the Milky Way

abstract: The inconsistency of the observed rotational velocity curve of the Milky Way with the current theory of gravitational dynamics is well documented. The curve implies the presence of significantly more mass, or dark matter, than is observable. Current models estimate the amount of dark matter to be of the order of 85% of total matter. This paper explores relativistic neutrinos as a potential source of dark matter and proposes a crude binary star accretion model mechanism at the centre of the Milky Way for their production. The results show this to be consistent with the current theory of gravitation, the observed velocity curve of the Milky Way and current estimates of the proportion of dark matter to baryonic matter of the order of 85%.


title: On pathwise uniqueness for multidimensional McKean--Vlasov equations

abstract: Pathwise uniqueness for multi-dimensional stochastic McKean--Vlasov equation is established under moderate regularity conditions on the drift and diffusion coefficients. Both drift and diffusion depend on the marginal measure of the solution. For pathwise uniqueness, the drift is assumed to be Dini-continuous in the state variable, while the diffusion must be Lipschitz, continuous in time and uniformly nondegenerate. The setting is classical McKean--Vlasov, that is, coefficients of the equation are represented as integrals over the marginal distributions of the process.


title: OccInpFlow: Occlusion-Inpainting Optical Flow Estimation by Unsupervised Learning

abstract: Occlusion is an inevitable and critical problem in unsupervised optical flow learning. Existing methods either treat occlusions equally as non-occluded regions or simply remove them to avoid incorrectness. However, the occlusion regions can provide effective information for optical flow learning. In this paper, we present OccInpFlow, an occlusion-inpainting framework to make full use of occlusion regions. Specifically, a new appearance-flow network is proposed to inpaint occluded flows based on the image content. Moreover, a boundary warp is proposed to deal with occlusions caused by displacement beyond image border. We conduct experiments on multiple leading flow benchmark data sets such as Flying Chairs, KITTI and MPI-Sintel, which demonstrate that the performance is significantly improved by our proposed occlusion handling framework.


title: Exploring Consequences of Simulation Design for Apparent Performance of Statistical Methods. 1: Results from simulations with constant sample sizes

abstract: Contemporary statistical publications rely on simulation to evaluate performance of new methods and compare them with established methods. In the context of meta-analysis of log-odds-ratios, we investigate how the ways in which simulations are implemented affect such conclusions. Choices of distributions for sample sizes and/or control probabilities considerably affect conclusions about statistical methods. Here we report on the results for constant sample sizes. Our two subsequent publications will cover normally and uniformly distributed sample sizes.


title: Refractive uses of layered and two-dimensional materials for integrated photonics

abstract: The scientific community has witnessed tremendous expansion of research on layered (i.e. two-dimensional, 2D) materials, with increasing recent focus on applications to photonics. Layered materials are particularly exciting for manipulating light in the confined geometry of photonic integrated circuits, where key material properties include strong and controllable light-matter interaction, and limited optical loss. Layered materials feature tunable optical properties, phases that are promising for electro-optics, and a panoply of polymorphs that suggest a rich design space for highly-nonperturbative photonic integrated devices based on phase-change functionality. All of these features are manifest in materials with band gap above the photonics-relevant near-infrared (NIR) spectral band ($\sim$ 0.5 - 1 eV), meaning that they can be harnessed in refractive (i.e. non-absorptive) applications.


title: CVE based classification of vulnerable IoT systems

abstract: Common Vulnerabilities and Exposures database (CVE) is one of the largest publicly available source of software and hardware vulnerability data and reports. In this work we analyze the CVE database in the context of IoT device and system vulnerabilities. We introduce a real-world based classification of IoT systems. Then, we employ a SVM algorithm on selected subset of CVE database to classify "new" vulnerability records in this framework. The subset of interest consists of records that describe vulnerabilities of potential IoT devices of different applications, such as: home, industry, mobile controllers, networking, etc. The purpose of the classification is to develop and test an automatic system for recognition of vulnerable IoT devices and to test completes, sufficiency and reliability of CVE data in this respect.


title: Primordial black holes from modified supergravity

abstract: The modified supergravity approach is applied to describe a formation of Primordial Black Holes (PBHs) after Starobinsky inflation. Our approach naturally leads to the two-(scalar)-field attractor-type double inflation, whose first stage is driven by scalaron and whose second stage is driven by another scalar field which belongs to a supergravity multiplet. The scalar potential and the kinetic terms are derived, the vacua are studied, and the inflationary dynamics of those two scalars is investigated. We numerically compute the power spectra and we find the ultra-slow-roll regime leading to an enhancement (peak) in the scalar power spectrum. This leads to an efficient formation of PBHs. We estimate the masses of PBHs and we find their density fraction (as part of Dark Matter). We show that our modified supergravity models are in agreement with inflationary observables, while they predict the PBH masses in a range between $10^{16}$ g and $10^{20}$ g. In this sense, modified supergravity provides a natural top-down approach for explaining and unifying the origin of inflation and the PBHs Dark Matter.


title: A Data-driven Neural Network Architecture for Sentiment Analysis

abstract: The fabulous results of convolution neural networks in image-related tasks, attracted attention of text mining, sentiment analysis and other text analysis researchers. It is however difficult to find enough data for feeding such networks, optimize their parameters, and make the right design choices when constructing network architectures. In this paper we present the creation steps of two big datasets of song emotions. We also explore usage of convolution and max-pooling neural layers on song lyrics, product and movie review text datasets. Three variants of a simple and flexible neural network architecture are also compared. Our intention was to spot any important patterns that can serve as guidelines for parameter optimization of similar models. We also wanted to identify architecture design choices which lead to high performing sentiment analysis models. To this end, we conducted a series of experiments with neural architectures of various configurations. Our results indicate that parallel convolutions of filter lengths up to three are usually enough for capturing relevant text features. Also, max-pooling region size should be adapted to the length of text documents for producing the best feature maps. Top results we got are obtained with feature maps of lengths 6 to 18. An improvement on future neural network models for sentiment analysis, could be generating sentiment polarity prediction of documents using aggregation of predictions on smaller excerpt of the entire text.


title: Critical current for an insulating regime of an underdamped current-biased topological Josephson junction

abstract: We study analytically an underdamped current-biased topological Josephson junction. First, we consider a simplified model at zero temperature, where the parity of the non-local fermionic state formed by Majorana bound states (MBSs) localized on the junction is fixed, and show that a transition from insulating to conducting state in this case is governed by single-quasiparticle tunneling rather than by Cooper pair tunneling in contrast to a non-topological Josephson junction. This results in a significantly lower critical current for the transition from insulating to conducting state. We propose that, if the length of the system is finite, the transition from insulating to conducting state occurs at exponentially higher bias current due to hybridization of the states with different parities as a result of the overlap of MBSs localized on the junction and at the edges of the topological nanowire forming the junction. Finally, we discuss how the appearance of MBSs can be established experimentally by measuring the critical current for an insulating regime at different values of the applied magnetic field.


title: Rethinking CNN-Based Pansharpening: Guided Colorization of Panchromatic Images via GANs

abstract: Convolutional Neural Networks (CNN)-based approaches have shown promising results in pansharpening of satellite images in recent years. However, they still exhibit limitations in producing high-quality pansharpening outputs. To that end, we propose a new self-supervised learning framework, where we treat pansharpening as a colorization problem, which brings an entirely novel perspective and solution to the problem compared to existing methods that base their solution solely on producing a super-resolution version of the multispectral image. Whereas CNN-based methods provide a reduced resolution panchromatic image as input to their model along with reduced resolution multispectral images, hence learn to increase their resolution together, we instead provide the grayscale transformed multispectral image as input, and train our model to learn the colorization of the grayscale input. We further address the fixed downscale ratio assumption during training, which does not generalize well to the full-resolution scenario. We introduce a noise injection into the training by randomly varying the downsampling ratios. Those two critical changes, along with the addition of adversarial training in the proposed PanColorization Generative Adversarial Networks (PanColorGAN) framework, help overcome the spatial detail loss and blur problems that are observed in CNN-based pansharpening. The proposed approach outperforms the previous CNN-based and traditional methods as demonstrated in our experiments.


title: Pebble Minimization of Polyregular Functions

abstract: We show that a polyregular word-to-word function is regular if and only if its output size is at most linear in its input size. Moreover a polyregular function can be realized by: a transducer with two pebbles if and only if its output has quadratic size in its input, a transducer with three pebbles if and only if its output has cubic size in its input, etc. Moreover the characterization is decidable and, given a polyregular function, one can compute a transducer realizing it with the minimal number of pebbles. We apply the result to mso interpretations from words to words. We show that mso interpretations of dimension k exactly coincide with k-pebble transductions.


title: Deep reinforcement learning approach to MIMO precoding problem: Optimality and Robustness

abstract: In this paper, we propose a deep reinforcement learning (RL)-based precoding framework that can be used to learn an optimal precoding policy for complex multiple-input multiple-output (MIMO) precoding problems. We model the precoding problem for a single-user MIMO system as an RL problem in which a learning agent sequentially selects the precoders to serve the environment of MIMO system based on contextual information about the environmental conditions, while simultaneously adapting the precoder selection policy based on the reward feedback from the environment to maximize a numerical reward signal. We develop the RL agent with two canonical deep RL (DRL) algorithms, namely deep Q-network (DQN) and deep deterministic policy gradient (DDPG). To demonstrate the optimality of the proposed DRL-based precoding framework, we explicitly consider a simple MIMO environment for which the optimal solution can be obtained analytically and show that DQN- and DDPG-based agents can learn the near-optimal policy to map the environment state of MIMO system to a precoder that maximizes the reward function, respectively, in the codebook-based and non-codebook based MIMO precoding systems. Furthermore, to investigate the robustness of DRL-based precoding framework, we examine the performance of the two DRL algorithms in a complex MIMO environment, for which the optimal solution is not known. The numerical results confirm the effectiveness of the DRL-based precoding framework and show that the proposed DRL-based framework can outperform the conventional approximation algorithm in the complex MIMO environment.


title: Celestial Women of Africa

abstract: The indigenous astronomy in Africa and of Africans exhibits many of the same patterns as indigenous astronomy found in other parts of the world such as with agricultural calendars established by observing celestial bodies as well as other natural phenomenon. Africa is the continent with the most countries which can be used as an indicator of its immense cultural diversity, and given such diversity there are unique local aspects to African indigenous astronomy. This chapter answers the question: How do women appear in the indigenous astronomy of Africans? The celestial bodies considered are the Sun, the Moon, the planet Venus, the Pleiades asterism and a small collection of other female celestial bodies. Examples are drawn from North, South, East, West and Central Africa with the caveat that these are merely examples from the region and not exemplars of the region. Women use the phases of the moon to track their menses, usually the moon is female as is Venus, and celestial women are used to signal how women should behave. Focusing on celestial women brings a different lens to cultural astronomy research that elucidates additional ways that that the sky is entwined in culture.


title: Associations between finger tapping, gait and fall risk with application to fall risk assessment

abstract: As the world ages, elderly care becomes a big concern of the society. To address the elderly's issues on dementia and fall risk, we have investigated smart cognitive and fall risk assessment with machine learning methodology based on the data collected from finger tapping test and Timed Up and Go (TUG) test. Meanwhile, we have discovered the associations between cognition and finger motion from finger tapping data and the association between fall risk and gait characteristics from TUG data. In this paper, we jointly analyze the finger tapping and gait characteristics data with copula entropy. We find that the associations between certain finger tapping characteristics ('number of taps', 'average interval of tapping', 'frequency of tapping' of both hands of bimanual inphase and those of left hand of bimanual untiphase) and TUG score are relatively high. According to this finding, we propose to utilize this associations to improve the predictive models of automatic fall risk assessment we developed previously. Experimental results show that using the characteristics of both finger tapping and gait as inputs of the predictive models of predicting TUG score can considerably improve the prediction performance in terms of MAE compared with using only one type of characteristics.


title: Sparse Gaussian Processes with Spherical Harmonic Features

abstract: We introduce a new class of inter-domain variational Gaussian processes (GP) where data is mapped onto the unit hypersphere in order to use spherical harmonic representations. Our inference scheme is comparable to variational Fourier features, but it does not suffer from the curse of dimensionality, and leads to diagonal covariance matrices between inducing variables. This enables a speed-up in inference, because it bypasses the need to invert large covariance matrices. Our experiments show that our model is able to fit a regression model for a dataset with 6 million entries two orders of magnitude faster compared to standard sparse GPs, while retaining state of the art accuracy. We also demonstrate competitive performance on classification with non-conjugate likelihoods.


title: A systematic study of \ce{CO2} planetary atmospheres and their link to the stellar environment

abstract: The Milky Way Galaxy is literally teeming with exoplanets; thousands of planets have been discovered, with thousands more planet candidates identified. Terrestrial-like planets are quite common around other stars, and are expected to be detected in large numbers in the future. Such planets are the primary targets in the search for potentially habitable conditions outside the solar system. Determining the atmospheric composition of exoplanets is mandatory to understand their origin and evolution, as atmospheric processes play crucial roles in many aspects of planetary architecture. In this work we construct and exploit a 1D radiative transfer model based on the discrete-ordinates method in plane-parallel geometry. Radiative results are linked to a convective flux that redistributes energy at any altitude producing atmospheric profiles in radiative-convective equilibrium. The model has been applied to a large number (6250) of closely dry synthetic \ce{CO2} atmospheres, and the resulting pressure and thermal profiles have been interpreted in terms of parameter variability. Although less accurate than 3D general circulation models, not properly accounting for e.g., clouds and atmospheric and ocean dynamics, 1D descriptions are computationally inexpensive and retain significant value by allowing multidimensional parameter sweeps with relative ease.


title: Vertex Guarding for Dynamic Orthogonal Art Galleries

abstract: We devise an algorithm for surveying a dynamic orthogonal polygonal domain by placing one guard at each vertex in a subset of its vertices, i.e., whenever an orthogonal polygonal domain {\cal P'} is modified to result in another orthogonal polygonal domain {\cal P}, our algorithm updates the set of vertex guards surveying {\cal P'} so that the updated guard set surveys {\cal P}. Our algorithm modifies the guard placement in O(k \lg{(n+n')}) amortized time while ensuring the updated orthogonal polygonal domain with h holes and n vertices is guarded using at most \lfloor (n+2h)/4 \rfloor vertex guards. For the special case of the initial orthogonal polygon being hole-free and each update resulting in a hole-free orthogonal polygon, our guard update algorithm takes O(k\lg{(n+n')}) worst-case time. Here, n' and n are the number of vertices of the orthogonal polygon before and after the update, respectively; and, k is the sum of |n - n'| and the number of updates to a few structures maintained by our algorithm. Further, by giving a construction, we show it suffices for the algorithm to consider only the case in which the parity of the number of reflex vertices of both {\cal P'} and {\cal P} are equal.


title: Long-Range Quantum Gravity

abstract: It is a tantalising possibility that quantum gravity (QG) states remaining coherent at astrophysical, galactic and cosmological scales could exist and that they could play a crucial role in understanding macroscopic gravitational effects. We explore, using only general principles of General Relativity, quantum and statistical mechanics, the possibility of using long-range QG states to describe black holes. In particular, we discuss in a critical way the interplay between various aspects of long-range quantum gravity, such as the holographic bound, classical and quantum criticality and the recently proposed quantum thermal generalisation of Einstein's equivalence principle. We also show how black hole thermodynamics can be easily explained in this framework.


title: Involutive MCMC: a Unifying Framework

abstract: Markov Chain Monte Carlo (MCMC) is a computational approach to fundamental problems such as inference, integration, optimization, and simulation. The field has developed a broad spectrum of algorithms, varying in the way they are motivated, the way they are applied and how efficiently they sample. Despite all the differences, many of them share the same core principle, which we unify as the Involutive MCMC (iMCMC) framework. Building upon this, we describe a wide range of MCMC algorithms in terms of iMCMC, and formulate a number of "tricks" which one can use as design principles for developing new MCMC algorithms. Thus, iMCMC provides a unified view of many known MCMC algorithms, which facilitates the derivation of powerful extensions. We demonstrate the latter with two examples where we transform known reversible MCMC algorithms into more efficient irreversible ones.


title: Spin-orbit coupling suppression and singlet-state blocking of spin-triplet Cooper pairs

abstract: An inhomogeneous magnetic exchange field at a superconductor/ferromagnet interface converts spin-singlet Cooper pairs to a spin-aligned (i.e. spin-polarized) triplet state. Although the decay envelope of such triplet pairs within ferromagnetic materials is well studied, little is known about their decay in non-magnetic metals and superconductors, and in particular in the presence of spin-orbit coupling (SOC). Here we investigate devices in which triplet supercurrents are injected into the s-wave superconductor Nb. In the normal state of Nb, triplet supercurrents decay over a distance of 5 nm, which is an order of magnitude smaller than the decay of spin singlet pairs due to the SOC interacting with the spin associated with triplet pairs. In the superconducting state of Nb, triplet supercurrents are not able to couple with the singlet wavefunction and thus blocked by the absence of available equilibrium states in the singlet gap. The results offer new insight into the dynamics between s-wave singlet and s-wave triplet states.


title: Determinantal tensor product surfaces and the method of moving quadrics

abstract: A tensor product surface $\mathscr{S}$ is an algebraic surface that is defined as the closure of the image of a rational map $\phi$ from $\mathbb{P}^1\times \mathbb{P}^1$ to $\mathbb{P}^3$. We provide new determinantal representations of $\mathscr{S}$ under the assumptions that $\phi$ is generically injective and its base points are finitely many and locally complete intersections. These determinantal representations are matrices that are built from the coefficients of linear relations (syzygies) and quadratic relations of the bihomogeneous polynomials defining $\phi$. Our approach relies on a formalization and generalization of the method of moving quadrics introduced and studied by David Cox and his co-authors.


title: High-Voltage Honeycomb Layered Oxide Positive Electrodes for Rechargeable Sodium Batteries

abstract: Natural abundance, impressive chemical characteristics and economic feasibility have rekindled the appeal for rechargeable sodium (Na) batteries as a practical solution for the growing energy demand, environmental sustainability and energy independence. However, the scarcity of viable positive electrode materials remains a huge impediment to the actualization of this technology. In this paper, we explore honeycomb layered oxides adopting the composition Na$_2$Ni$_{2-x}$Co$_x$TeO$_6$ ($x = 0, 0.25$ and $0.50$) as feasible positive electrode (cathode) materials for rechargeable sodium batteries at both room- and elevated temperatures using ionic liquids. Through standard galvanostatic assessments and analyses we demonstrate that substitution of nickel with cobalt in Na$_2$Ni$_2$TeO$_6$ leads to an increase in the discharge voltage to nearly $4$ V (versus Na$^+$ / Na) for the Na$_2$Ni$_{2-x}$Co$_x$TeO$_6$ family of honeycomb layered oxide materials, which surpasses the attained average voltages for most layered oxide positive electrode materials that facilitate Na-ion desertion. We also verify the increased kinetics within the Na$_2$Ni$_{2-x}$Co$_x$TeO$_6$ honeycomb layered oxides during operations at elevated temperatures which lead to an increase in reversible capacity of the rechargeable Na battery. This study underpins the doping of congener transition metal atoms to the honeycomb structure of Na$_2$Ni$_2$TeO$_6$ in addition to elevated-temperature operation as a judicious route to enhance the electrochemical performance of analogous layered oxides.


title: A Robust Adaptive Modified Maximum Likelihood Estimator for the Linear Regression Model

abstract: In linear regression, the least squares (LS) estimator has certain optimality properties if the errors are normally distributed. This assumption is often violated in practice, partly caused by data outliers. Robust estimators can cope with this situation and thus they are widely used in practice. One example of robust estimators for regression are adaptive modified maximum likelihood (AMML) estimators (Donmez, 2010). However, they are not robust to $x$ outliers, so-called leverage points. In this study, we propose a new regression estimator by employing an appropriate weighting scheme in the AMML estimation method. The resulting estimator is called robust AMML (RAMML) since it is not only robust to y outliers but also to x outliers. A simulation study is carried out to compare the performance of the RAMML estimator with some existing robust estimators such as MM, least trimmed squares (LTS) and S. The results show that the RAMML estimator is preferable in most settings according to the mean squared error (MSE) criterion. Two data sets taken from the literature are also analyzed to show the implementation of the RAMML estimation methodology.


title: Simplicity out of complexity: band structure for W$_{20}$O$_{58}$ superconductor

abstract: The band structure, density of states, and the Fermi surface of a recently discovered superconductor, oxygen-deficient tungsten oxide WO$_{2.9}$ that is equivalent to W$_{20}$O$_{58}$, studied within the density functional theory (DFT) in the generalized gradient approximation (GGA). Here we show that despite the extremely complicated structure containing 78 atoms in the unit cell, the low-energy band structure is quite feasible. Fermi level is crossed by no more than 10 bands per one spin projection (and even 9 bands per pseudospin projection when the spin-orbit coupling is considered) originating from the $d$-orbitals of tungsten atoms forming zigzag chains.


title: Delayed Q-update: A novel credit assignment technique for deriving an optimal operation policy for the Grid-Connected Microgrid

abstract: A microgrid is an innovative system that integrates distributed energy resources to supply electricity demand within electrical boundaries. This study proposes an approach for deriving a desirable microgrid operation policy that enables sophisticated controls in the microgrid system using the proposed novel credit assignment technique, delayed-Q update. The technique employs novel features such as the ability to tackle and resolve the delayed effective property of the microgrid, which prevents learning agents from deriving a well-fitted policy under sophisticated controls. The proposed technique tracks the history of the charging period and retroactively assigns an adjusted value to the ESS charging control. The operation policy derived using the proposed approach is well-fitted for the real effects of ESS operation because of the process of the technique. Therefore, it supports the search for a near-optimal operation policy under a sophisticatedly controlled microgrid environment. To validate our technique, we simulate the operation policy under a real-world grid-connected microgrid system and demonstrate the convergence to a near-optimal policy by comparing performance measures of our policy with benchmark policy and optimal policy.


title: Neutron powder diffraction study of NaMn$_2$O$_4$ and Li$_{0.92}$Mn$_2$O$_4$: New insights on spin-charge-orbital ordering

abstract: The high-pressure synthesized quasi-one-dimensional compounds NaMn$_2$O$_4$ and Li$_{0.92}$Mn$_2$O$_4$ are both antiferromagnetic insulators, and here their atomic and magnetic structures were investigated using neutron powder diffraction. The present crystal structural analyses of NaMn2O4 reveal that Mn3+/Mn4+ charge-ordering state exist even at low temperature (down to 1.5 K). It is evident from one of the Mn sites shows a strongly distorted Mn3+ octahedra due to the Jahn-Teller effect. Above TN = 39 K, a two-dimensional short-range correlation is observed, as indicated by an asymmetric diffuse scattering. Below TN, two antiferromagnetic transitions are observed (i) a commensurate long-range Mn3+ spin ordering below 39 K, and (ii) an incommensurate Mn4+ spin ordering below 10 K. The commensurate magnetic structure (kC = 0.5, -0.5, 0.5) follows the magnetic anisotropy of the local easy axes of Mn3+, while the incommensurate one shows a spin-density-wave order with kIC = (0,0,0.216). For Li$_{0.92}$Mn$_2$O$_4$, on the other hand, absence of a long-range spin ordered state down to 1.5 K is confirmed.


title: Verification of Initial-State Opacity for Switched Systems: A Compositional Approach

abstract: The security in information-flow has become a major concern for cyber-physical systems (CPSs). In this work, we focus on the analysis of an information-flow security property, called opacity. Opacity characterizes the plausible deniability of a system's secret in the presence of a malicious outside intruder. We propose a methodology of checking a notion of opacity, called approximate initial-state opacity, for networks of discrete-time switched systems. Our framework relies on compositional constructions of finite abstractions for networks of switched systems and their so-called approximate initial-state opacity-preserving simulation functions (InitSOPSFs). Those functions characterize how close concrete networks and their finite abstractions are in terms of the satisfaction of approximate initial-state opacity. We show that such InitSOPSFs can be obtained compositionally by assuming some small-gain type conditions and composing so-called local InitSOPSFs constructed for each subsystem separately. Additionally, assuming certain stability property of switched systems, we also provide a technique on constructing their finite abstractions together with the corresponding local InitSOPSFs. Finally, we illustrate the effectiveness of our results through an example.


title: Shape phase transitions in odd-A Zr isotopes

abstract: Spectroscopic properties that characterize shape phase transitions in neutron-rich odd-A Zr isotopes are investigated using the framework of nuclear density functional theory and particle-core coupling. The interacting-boson Hamiltonian of the even-even core nuclei, and the single-particle energies and occupation probabilities of the unpaired neutron are completely determined by deformation constrained self-consistent mean-field calculations based on the relativistic Hartree-Bogoliubov model with a choice of a universal energy density functional and pairing interaction. The triaxial $(\beta,\gamma)$ deformation energy surfaces for even-even $^{94-102}$Zr indicates transition from triaxial or $\gamma$-soft ($^{94,96}$Zr) to prolate ($^{98}$Zr), and triaxial ($^{100,102}$Zr) shapes. The corresponding low-energy excitation spectra of the odd-A Zr isotopes are in very good agreement with recent experimental results. Consistent with the structural evolution of the neighboring even-even Zr nuclei, the state-dependent effective deformations and their fluctuations in the odd-A isotopes indicate a pronounced discontinuity around the transitional nucleus $^{99}$Zr.


title: Self-exciting jump processes and their asymptotic behaviour

abstract: The purpose of this paper is to investigate properties of self-exciting jump processes. We derive the Laplace transform of SDE driven self-exciting processes with independent, identically distributed jump sizes. By using this Laplace transform, we find a recursive formula for the moments of the self-exciting process. The formula for the moments allow us to derive expressions for the expectation and variance of the self-exciting process. We show that self-exciting processes can exhibit both finite and infinite activity behaviour. Furthermore, we show that the scaling limit of the intensity process equals the strong solution of the square-root diffusion process(Cox-Ingersoll-Ross process) in distribution. As a particular example, we study the case of a linear intensity process and derive explicit expressions for the expectation and variance in this case.


title: Constructive Universal High-Dimensional Distribution Generation through Deep ReLU Networks

abstract: We present an explicit deep neural network construction that transforms uniformly distributed one-dimensional noise into an arbitrarily close approximation of any two-dimensional Lipschitz-continuous target distribution. The key ingredient of our design is a generalization of the "space-filling" property of sawtooth functions discovered in (Bailey & Telgarsky, 2018). We elicit the importance of depth - in our neural network construction - in driving the Wasserstein distance between the target distribution and the approximation realized by the network to zero. An extension to output distributions of arbitrary dimension is outlined. Finally, we show that the proposed construction does not incur a cost - in terms of error measured in Wasserstein-distance - relative to generating $d$-dimensional target distributions from $d$ independent random variables.


title: Temperature Accelerated Life Test and Failure Analysis on Upright Metamorphic Ga0.37In0.63P/Ga0.83In0.17As/Ge Triple Junction Solar Cells

abstract: A temperature accelerated life test on Upright Metamorphic Ga0.37In0.63P/Ga0.83In0.17As/Ge triple-junction solar cells has been carried out. The acceleration has been accomplished by subjecting the solar cells to temperatures (125, 145 and 165{\deg}C) significantly higher than the nominal working temperature inside a concentrator (90{\deg}C), while the nominal photo-current (500 suns) has been emulated by injecting current in darkness. The failure distributions have been fitted to an Arrhenius-Weibull model resulting in an activation energy of 1.39 eV. Accordingly, a 72 years warranty time for those solar cells for a place like Tucson (AZ, USA), was determined. After the ALT, an intense characterization campaign has been carried out in order to determine the failure origin. We have detected that temperature soak alone is enough to degrade the cell performance by increasing the leakage currents, the series resistance, and the recombination currents. When solar cells were also forward biased an increase of series resistance together with a reduction of short circuit current is detected. The failure analysis shows that: a) several metallization sub-products concentrate in several regions of front metal grid where they poison the silver, resulting in a two times reduction of the metal sheet resistance; b) the metal/cap layer interface is greatly degraded and there is also a deterioration of the cap layer crystalline quality producing a huge increase of the specific front contact resistance, c) the decrease of short circuit current is mainly due to the GaInP top subcell degradation.


title: Nef cones of some Quot schemes on a smooth projective curve

abstract: Let $C$ be a smooth projective curve over $\mathbb C$. Let $n,d\geq 1$. Let $\mathcal Q$ be the Quot scheme parameterizing torsion quotients of the vector bundle $\mathcal O^n_C$ of degree $d$. In this article we study the nef cone of $\mathcal Q$. We give a complete description of the nef cone in the case of elliptic curves. We compute it in the case when $d=2$ and $C$ very general, in terms of the nef cone of the second symmetric product of $C$. In the case when $n\geq d$ and $C$ very general, we give upper and lower bounds for the Nef cone. In general, we give a necessary and sufficient criterion for a divisor on $\mathcal Q$ to be nef.


title: A hidden symmetry of a branching law

abstract: We consider branching laws for the restriction of some irreducible unitary representations $\Pi$ of $G=O(p,q)$ to its subgroup $H=O(p-1,q)$. In Kobayashi (arXiv:1907.07994), the irreducible subrepresentations of $O(p-1,q)$ in the restriction of the unitary $\Pi|_{O(p-1,q) }$ are determined. By considering the restriction of packets of irreducible representations we obtain another very simple branching law, which was conjectured in Orsted-Speh (arXiv:1907.07544).


title: GShard: Scaling Giant Models with Conditional Computation and Automatic Sharding

abstract: Neural network scaling has been critical for improving the model quality in many real-world machine learning applications with vast amounts of training data and compute. Although this trend of scaling is affirmed to be a sure-fire approach for better model quality, there are challenges on the path such as the computation cost, ease of programming, and efficient implementation on parallel devices. GShard is a module composed of a set of lightweight annotation APIs and an extension to the XLA compiler. It provides an elegant way to express a wide range of parallel computation patterns with minimal changes to the existing model code. GShard enabled us to scale up multilingual neural machine translation Transformer model with Sparsely-Gated Mixture-of-Experts beyond 600 billion parameters using automatic sharding. We demonstrate that such a giant model can efficiently be trained on 2048 TPU v3 accelerators in 4 days to achieve far superior quality for translation from 100 languages to English compared to the prior art.


title: EasyQuant: Post-training Quantization via Scale Optimization

abstract: The 8 bits quantization has been widely applied to accelerate network inference in various deep learning applications. There are two kinds of quantization methods, training-based quantization and post-training quantization. Training-based approach suffers from a cumbersome training process, while post-training quantization may lead to unacceptable accuracy drop. In this paper, we present an efficient and simple post-training method via scale optimization, named EasyQuant (EQ),that could obtain comparable accuracy with the training-based method.Specifically, we first alternately optimize scales of weights and activations for all layers target at convolutional outputs to further obtain the high quantization precision. Then, we lower down bit width to INT7 both for weights and activations, and adopt INT16 intermediate storage and integer Winograd convolution implementation to accelerate inference.Experimental results on various computer vision tasks show that EQ outperforms the TensorRT method and can achieve near INT8 accuracy in 7 bits width post-training.


title: EndoSLAM Dataset and An Unsupervised Monocular Visual Odometry and Depth Estimation Approach for Endoscopic Videos: Endo-SfMLearner

abstract: Deep learning techniques hold promise to develop dense topography reconstruction and pose estimation methods for endoscopic videos. However, currently available datasets do not support effective quantitative benchmarking. In this paper, we introduce a comprehensive endoscopic SLAM dataset consisting of 3D point cloud data for six porcine organs, capsule and standard endoscopy recordings as well as synthetically generated data. A Panda robotic arm, two commercially available capsule endoscopes, two conventional endoscopes with different camera properties, and two high precision 3D scanners were employed to collect data from 8 ex-vivo porcine gastrointestinal (GI)-tract organs. In total, 35 sub-datasets are provided with 6D pose ground truth for the ex-vivo part: 18 sub-dataset for colon, 12 sub-datasets for stomach and 5 sub-datasets for small intestine, while four of these contain polyp-mimicking elevations carried out by an expert gastroenterologist. Synthetic capsule endoscopy frames from GI-tract with both depth and pose annotations are included to facilitate the study of simulation-to-real transfer learning algorithms. Additionally, we propound Endo-SfMLearner, an unsupervised monocular depth and pose estimation method that combines residual networks with spatial attention module in order to dictate the network to focus on distinguishable and highly textured tissue regions. The proposed approach makes use of a brightness-aware photometric loss to improve the robustness under fast frame-to-frame illumination changes. To exemplify the use-case of the EndoSLAM dataset, the performance of Endo-SfMLearner is extensively compared with the state-of-the-art. The codes and the link for the dataset are publicly available at https://github.com/CapsuleEndoscope/EndoSLAM. A video demonstrating the experimental setup and procedure is accessible through https://www.youtube.com/watch?v=G_LCe0aWWdQ.


title: Real Elliptically Skewed Distributions and Their Application to Robust Cluster Analysis

abstract: This article proposes a new class of Real Elliptically Skewed (RESK) distributions and associated clustering algorithms that allow for integrating robustness and skewness into a single unified cluster analysis framework. Non-symmetrically distributed and heavy-tailed data clusters have been reported in a variety of real-world applications. Robustness is essential because a few outlying observations can severely obscure the cluster structure. The RESK distributions are a generalization of the Real Elliptically Symmetric (RES) distributions. To estimate the cluster parameters and memberships, we derive an expectation maximization (EM) algorithm for arbitrary RESK distributions. Special attention is given to a new robust skew-Huber M-estimator, which is also the maximum likelihood estimator (MLE) for the skew-Huber distribution that belongs to the RESK class. Numerical experiments on simulated and real-world data confirm the usefulness of the proposed methods for skewed and heavy-tailed data sets.


title: Rayleigh-Faber-Krahn, Lyapunov and Hartmann-Wintner inequalities for fractional elliptic problems

abstract: In this paper in the cylindrical domain we consider a fractional elliptic operator with Dirichlet conditions. We prove, that the first eigenvalue of the fractional elliptic operator is minimised in a circular cylinder among all cylindrical domains of the same Lebesgue measure. This inequality is called the Rayleigh-Faber-Krahn inequality. Also, we give Lyapunov and Hartmann-Wintner inequalities for the fractional elliptic boundary value problem.


title: Cross-Scale Internal Graph Neural Network for Image Super-Resolution

abstract: Non-local self-similarity in natural images has been well studied as an effective prior in image restoration. However, for single image super-resolution (SISR), most existing deep non-local methods (e.g., non-local neural networks) only exploit similar patches within the same scale of the low-resolution (LR) input image. Consequently, the restoration is limited to using the same-scale information while neglecting potential high-resolution (HR) cues from other scales. In this paper, we explore the cross-scale patch recurrence property of a natural image, i.e., similar patches tend to recur many times across different scales. This is achieved using a novel cross-scale internal graph neural network (IGNN). Specifically, we dynamically construct a cross-scale graph by searching k-nearest neighboring patches in the downsampled LR image for each query patch in the LR image. We then obtain the corresponding k HR neighboring patches in the LR image and aggregate them adaptively in accordance to the edge label of the constructed graph. In this way, the HR information can be passed from k HR neighboring patches to the LR query patch to help it recover more detailed textures. Besides, these internal image-specific LR/HR exemplars are also significant complements to the external information learned from the training dataset. Extensive experiments demonstrate the effectiveness of IGNN against the state-of-the-art SISR methods including existing non-local networks on standard benchmarks.


title: On the linear independence of radicals

abstract: We provide an alternative proof that the finite rational linear combination of radicals, under certain constraint, are linearly independent over $\mathbb{Q}$.


title: Needle tip force estimation by deep learning from raw spectral OCT data

abstract: Purpose. Needle placement is a challenging problem for applications such as biopsy or brachytherapy. Tip force sensing can provide valuable feedback for needle navigation inside the tissue. For this purpose, fiber-optical sensors can be directly integrated into the needle tip. Optical coherence tomography (OCT) can be used to image tissue. Here, we study how to calibrate OCT to sense forces, e.g. during robotic needle placement. Methods. We investigate whether using raw spectral OCT data without a typical image reconstruction can improve a deep learning-based calibration between optical signal and forces. For this purpose, we consider three different needles with a new, more robust design which are calibrated using convolutional neural networks (CNNs). We compare training the CNNs with the raw OCT signal and the reconstructed depth profiles. Results. We find that using raw data as an input for the largest CNN model outperforms the use of reconstructed data with a mean absolute error of 5.81 mN compared to 8.04 mN. Conclusions. We find that deep learning with raw spectral OCT data can improve learning for the task of force estimation. Our needle design and calibration approach constitute a very accurate fiber-optical sensor for measuring forces at the needle tip.


title: Experimental visually-guided investigation of sub-structures in three-dimensional Turing-like patterns

abstract: In his 1952 paper "The chemical basis of morphogenesis", Alan M. Turing presented a model for the formation of skin patterns. While it took several decades, the model has been validated by finding corresponding natural phenomena, e.g. in the skin pattern formation of zebrafish. More surprising, seemingly unrelated pattern formations can also be studied via the model, like e.g. the formation of plant patches around termite hills. In 1984, David A. Young proposed a discretization of Turing's model, reducing it to an activator/inhibitor process on a discrete domain. From this model, the concept of three-dimensional Turing-like patterns was derived. In this paper, we consider this generalization to pattern-formation in three-dimensional space. We are particularly interested in classifying the different arising sub-structures of the patterns. By providing examples for the different structures, we prove a conjecture regarding these structures within the setup of three-dimensional Turing-like pattern. Furthermore, we investigate - guided by visual experiments - how these sub-structures are distributed in the parameter space of the discrete model. We found two-fold versions of zero- and one-dimensional sub-structures as well as two-dimensional sub-structures and use our experimental findings to formulate several conjectures for three-dimensional Turing-like patterns and higher-dimensional cases.


title: A $d$-dimensional Analyst's Travelling Salesman Theorem for general sets in $\mathbb{R}^n$

abstract: In his 1990 paper, Jones proved the following: given $E \subseteq \mathbb{R}^2$, there exists a curve $\Gamma$ such that $E \subseteq \Gamma$ and \[ \mathscr{H}^1(\Gamma) \sim \text{diam}\, E + \sum_{Q} \beta_{E}(3Q)^2\ell(Q).\] Here, $\beta_E(Q)$ measures how far $E$ deviates from a straight line inside $Q$. This was extended by Okikiolu to subsets of $\mathbb{R}^n$ and by Schul to subsets of a Hilbert space. In 2018, Azzam and Schul introduced a variant of the Jones $\beta$-number. With this, they, and separately Villa, proved similar results for lower regular subsets of $\mathbb{R}^n.$ In particular, Villa proved that, given $E \subseteq \mathbb{R}^n$ which is lower content regular, there exists a `nice' $d$-dimensional surface $F$ such that $E \subseteq F$ and \begin{align} \mathscr{H}^d(F) \sim \text{diam}( E)^d + \sum_{Q} \beta_{E}(3Q)^2\ell(Q)^d. \end{align} In this context, a set $F$ is `nice' if it satisfies a certain topological non degeneracy condition, first introduced in a 2004 paper of David. In this paper we drop the lower regularity condition and prove an analogous result for general $d$-dimensional subsets of $\mathbb{R}^n.$ To do this, we introduce a new $d$-dimensional variant of the Jones $\beta$-number that is defined for any set in $\mathbb{R}^n.$


title: ARPEGE Cloud Cover Forecast Post-Processing with Convolutional Neural Network

abstract: Cloud cover is crucial information for many applications such as planning land observation missions from space. It remains however a challenging variable to forecast, and Numerical Weather Prediction (NWP) models suffer from significant biases, hence justifying the use of statistical post-processing techniques. In this study, ARPEGE (M\'et\'eo-France global NWP) cloud cover is post-processed using a convolutional neural network (CNN). CNN is the most popular machine learning tool to deal with images. In our case, CNN allows the integration of spatial information contained in NWP outputs. We use a gridded cloud cover product derived from satellite observations over Europe as ground truth, and predictors are spatial fields of various variables produced by ARPEGE at the corresponding lead time. We show that a simple U-Net architecture produces significant improvements over Europe. Moreover, the U-Net outclasses more traditional machine learning methods used operationally such as a random forest and a logistic quantile regression. We introduced a weighting predictor layer prior to the traditional U-Net architecture which produces a ranking of predictors by importance, facilitating the interpretation of the results. Using $N$ predictors, only $N$ additional weights are trained which does not impact the computational time, representing a huge advantage compared to traditional methods of ranking (permutation importance, sequential selection, ...).


title: R2-B2: Recursive Reasoning-Based Bayesian Optimization for No-Regret Learning in Games

abstract: This paper presents a recursive reasoning formalism of Bayesian optimization (BO) to model the reasoning process in the interactions between boundedly rational, self-interested agents with unknown, complex, and costly-to-evaluate payoff functions in repeated games, which we call Recursive Reasoning-Based BO (R2-B2). Our R2-B2 algorithm is general in that it does not constrain the relationship among the payoff functions of different agents and can thus be applied to various types of games such as constant-sum, general-sum, and common-payoff games. We prove that by reasoning at level 2 or more and at one level higher than the other agents, our R2-B2 agent can achieve faster asymptotic convergence to no regret than that without utilizing recursive reasoning. We also propose a computationally cheaper variant of R2-B2 called R2-B2-Lite at the expense of a weaker convergence guarantee. The performance and generality of our R2-B2 algorithm are empirically demonstrated using synthetic games, adversarial machine learning, and multi-agent reinforcement learning.


title: Topics on global analysis of manifolds and representation theory of reductive groups

abstract: Geometric symmetry induces symmetries of function spaces, and the latter yields a clue to global analysis via representation theory. In this note we summarize recent developments on the general theory about how geometric conditions affect representation theoretic properties on function spaces, with focus on multiplicities and spectrum.


title: The Yannelis-Prabhakar Theorem on Upper Semi-Continuous Selections in Paracompact Spaces: Extensions and Applications

abstract: In a 1983 paper, Yannelis-Prabhakar rely on Michael's selection theorem to guarantee a continuous selection in the context of the existence of maximal elements and equilibria in abstract economies. In this tribute to Nicholas Yannelis, we root this paper in Chapter II of Yannelis' 1983 Rochester Ph.D. dissertation, and identify its pioneering application of the paracompactness condition to current and ongoing work of Yannelis and his co-authors, and to mathematical economics more generally. We move beyond the literature to provide a necessary and sufficient condition for upper semi-continuous local and global selections of correspondences, and to provide application to five domains of Yannelis' interests: Berge's maximum theorem, the Gale-Nikaido-Debreu lemma, the Gale-McKenzie survival assumption, Shafer's non-transitive setting, and the Anderson-Khan-Rashid approximate existence theorem. The last resonates with Chapter VI of the Yannelis' dissertation.


title: The continuum limit of quantum gravity at second order in perturbation theory

abstract: We show that perturbative quantum gravity based on the Einstein-Hilbert action, has a novel continuum limit. The renormalized trajectory emanates from the Gaussian fixed point along (marginally) relevant directions but enters the diffeomorphism invariant subspace only well below a dynamically generated scale. We show that for pure quantum gravity to second order in perturbation theory, and with vanishing cosmological constant, the result is the same as computed in the standard quantisation. Although this case is renormalizable at second order for kinematic reasons, the structure we uncover works in general. One possibility is that gravity has a genuine consistent continuum limit even though it has an infinite number couplings. However we also suggest a possible non-perturbative mechanism, based on the parabolic properties of these flow equations, which would fix all higher order couplings in terms of Newton's constant and the cosmological constant.


title: Periodic quenches across the Berezinskii-Kosterlitz-Thouless phase transition

abstract: The quenched dynamics of an ultracold homogeneous atomic two-dimensional Bose gas subjected to periodic quenches across the Berezinskii-Kosterlitz-Thouless (BKT) phase transition are discussed. Specifically, we address the effect of periodic cycling of the effective atomic interaction strength between a thermal disordered state above, and a highly ordered state below the critical BKT interaction strength, by means of numerical simulations of the stochastic projected Gross-Pitaevskii equation. Probing the emerging dynamics as a function of the frequency of sinusoidal driving from low to high frequencies reveals diverse dynamical features, including phase-lagged quasi adiabatic reversible condensate formation, resonant excitation consistent with an intrinsic system relaxation timescale, and gradual establishment of dynamically-recurring or time-averaged non-equilibrium states with enhanced coherence which are neither condensed, nor thermal. Our study paves the way for experimental observation of such driven non-equilibrium ultracold superfluid states.


title: Spiking Associative Memory for Spatio-Temporal Patterns

abstract: Spike Timing Dependent Plasticity is form of learning that has been demonstrated in real cortical tissue, but attempts to use it for artificial systems have not produced good results. This paper seeks to remedy this with two significant advances. The first is the development a simple stochastic learning rule called cyclic STDP that can extract patterns encoded in the precise spiking times of a group of neurons. We show that a population of neurons endowed with this learning rule can act as an effective short-term associative memory, storing and reliably recalling a large set of pattern associations over an extended period of time. The second major theme examines the challenges associated with training a neuron to produce a spike at a precise time and for the fidelity of spike recall time to be maintained as further learning occurs. The strong constraint of working with precisely-timed spikes (so-called temporal coding) is mandated by the learning rule but is also consistent with the believe in the necessity of such an encoding scheme to render a spiking neural network a competitive solution for flexible intelligent systems in continuous learning environments. The encoding and learning rules are demonstrated in the design of a single-layer associative memory (an input layer consisting of 3,200 spiking neurons fully-connected to a similar sized population of memory neurons), which we simulate and characterise. Design considerations and clarification of the role of parameters under the control of the designer are explored.


title: Eigenfunction asymptotics and spectral Rigidity of the ellipse

abstract: This paper is part of a series concerning the isospectral problem for an ellipse. In this paper, we study Cauchy data of eigenfunctions of the ellipse with Dirichlet or Neumann boundary conditions. Using many classical results on ellipse eigenfunctions, we determine the microlocal defect measures of the Cauchy data of the eigenfunctions. The ellipse has integrable billiards, i.e. the boundary phase space is foliated by invariant curves of the billiard map. We prove that, for any invariant curve $C$, there exists a sequence of eigenfunctions whose Cauchy data concentrates on $C$. We use this result to give a new proof that ellipses are infinitesimally spectrally rigid among $C^{\infty}$ domains with the symmetries of the ellipse.


title: Revisiting Asynchronous Fault Tolerant Computation with Optimal Resilience

abstract: The celebrated result of Fischer, Lynch and Paterson is the fundamental lower bound for asynchronous fault tolerant computation: any 1-crash resilient asynchronous agreement protocol must have some (possibly measure zero) probability of not terminating. In 1994, Ben-Or, Kelmer and Rabin published a proof-sketch of a lesser known lower bound for asynchronous fault tolerant computation with optimal resilience against a Byzantine adversary: if $n\le 4t$ then any t-resilient asynchronous verifiable secret sharing protocol must have some non-zero probability of not terminating. Our main contribution is to revisit this lower bound and provide a rigorous and more general proof. Our second contribution is to show how to avoid this lower bound. We provide a protocol with optimal resilience that is almost surely terminating for a strong common coin functionality. Using this new primitive we provide an almost surely terminating protocol with optimal resilience for asynchronous Byzantine agreement that has a new fair validity property. To the best of our knowledge this is the first asynchronous Byzantine agreement with fair validity in the information theoretic setting.


title: Symplectic fillings and cobordisms of lens spaces

abstract: We complete the classification of symplectic fillings of tight contact structures on lens spaces. In particular, we show that any symplectic filling $X$ of a virtually overtwisted contact structure on $L(p,q)$ has another symplectic structure that fills the universally tight contact structure on $L(p,q)$. Moreover, we show that the Stein filling of $L(p,q)$ with maximal second homology is given by the plumbing of disk bundles. We also consider the question of constructing symplectic cobordisms between lens spaces and report some partial results.


title: It's Time to Play Safe: Shield Synthesis for Timed Systems

abstract: Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given as timed automata. A timed shield enforces the safety of a running system while interfering with the system as little as possible. We present timed post-shields and timed pre-shields. A timed pre-shield is placed before the system and provides a set of safe outputs. This set restricts the choices of the system. A timed post-shield is implemented after the system. It monitors the system and corrects the system's output only if necessary. We further extend the timed post-shield construction to provide a guarantee on the recovery phase, i.e., the time between a specification violation and the point at which full control can be handed back to the system. In our experimental results, we use timed post-shields to ensure the safety in a reinforcement learning setting for controlling a platoon of cars, during the learning and execution phase, and study the effect.


title: A Speech Enhancement Algorithm based on Non-negative Hidden Markov Model and Kullback-Leibler Divergence

abstract: In this paper, we propose a novel supervised single-channel speech enhancement method combing the the Kullback-Leibler divergence-based non-negative matrix factorization (NMF) and hidden Markov model (NMF-HMM). With the application of HMM, the temporal dynamics information of speech signals can be taken into account. In the training stage, the sum of Poisson, leading to the KL divergence measure, is used as the observation model for each state of HMM. This ensures that a computationally efficient multiplicative update can be used for the parameter update of the proposed model. In the online enhancement stage, we propose a novel minimum mean-square error (MMSE) estimator for the proposed NMF-HMM. This estimator can be implemented using parallel computing, saving the time complexity. The performance of the proposed algorithm is verified by objective measures. The experimental results show that the proposed strategy achieves better speech enhancement performance than state-of-the-art speech enhancement methods. More specifically, compared with the traditional NMF-based speech enhancement methods, our proposed algorithm achieves a 5\% improvement for short-time objective intelligibility (STOI) and 0.18 improvement for perceptual evaluation of speech quality (PESQ).


title: Towards a Quantum Software Modeling Language

abstract: We set down the principles behind a modeling language for quantum software. We present a minimal set of extensions to the well-known Unified Modeling Language (UML) that allows it to effectively model quantum software. These extensions are separate and independent of UML as a whole. As such they can be used to extend any other software modeling language, or as a basis for a completely new language. We argue that these extensions are both necessary and sufficient to model, abstractly, any piece of quantum software. Finally, we provide a small set of examples that showcase the effectiveness of the extension set.


title: Distribution of entanglement Hamiltonian spectrum in free fermion models

abstract: We studied numerically the distribution of the entanglement Hamiltonian eigenvalues in two one-dimensional free fermion models and the typical three-dimensional Anderson model. We showed numerically that this distribution depends on the phase of the system: In the delocalized phase it is centered around very small values and in the localized phase, picks of the distribution goes to larger values. We therefore, based on the distribution of entanglement Hamiltonian eigenvalues, explain the behavior of the entanglement entropy in different phases. In addition we propose the smallest magnitude entanglement Hamiltonian eigenvalue as a characterization of phase and phase transition point (although it does not locate the phase transition point very sharply), and we verify it in the mentioned models.


title: Hubble constant and sound horizon from the late-time Universe

abstract: We measure the expansion rate of the recent Universe and the calibration scale of the baryon acoustic oscillation (BAO) from low-redshift data. BAO relies on the calibration scale, i.e., the sound horizon at the end of drag epoch $r_d$, which often imposes a prior of the cosmic microwave background (CMB) measurement from the Planck satellite. In order to make really independent measurements of $H_0$, we leave $r_d$ completely free and use the BAO data sets combined with the 31 observational $H(z)$ data, GW170817 and Pantheon sample of Type Ia supernovae. In $\Lambda$CDM model, we get $H_0=68.63^{+1.75}_{-1.77}$ km s$^{-1}$ Mpc$^{-1}$, $r_d=146.85^{+3.29}_{-3.77}$ Mpc. For the two model-independent reconstructions of $H(z)$, we obtain $H_0=68.02\pm1.82$ km s$^{-1}$ Mpc$^{-1}$, $r_d=148.18^{+3.36}_{-3.78}$ Mpc in the cubic expansion, and $H_0=68.58\pm1.76$ km s$^{-1}$ Mpc$^{-1}$, $r_d=148.02^{+3.63}_{-3.60}$ Mpc in the polynomial expansion. The values of Hubble constant $H_0$ and sound horizon $r_d$ are consistent with the estimate derived from the Planck CMB data assuming a flat $\Lambda$CDM model, but $H_0$ is in $2.4\sim2.6$ $\sigma$ tension with SH0ES 2019, respectively.


title: Evaluating Single-mode Nonclassicality

abstract: Quantifying nonclassicality of a bosonic mode is an important but challenge task in quantum optics. Recently, the first nonclassicality measure based on the concept of operational resource theory has been proposed [Phys. Rev. Research 2, 023400 (2020)], which shows several crucial properties as a resource for quantum metrology. Here we apply the measure to evaluate and categorize different classes of nonclassical states. We discover a class of states that can achieve the maximum nonclassicality in the asymptotic limit of large mean number of excitations. These states can provide the same sensitivity in place of a squeezed vacuum in a sensing scheme, e.g., the LIGO experiments. We also discover that the nonclassicality of certain states can be greatly improved with a single-photon addition. Besides, we explore some examples on how to evaluate analytically the nonclassicality of mixed states, which are in general difficult to calculate due to the convex roof nature of the measure. Our results will be useful for preparing and utilizing nonclassical states for applications in precision sensing tasks, such as quadrature sensing and phase sensing in a Mach-Zehnder interferometer.


title: Bilocal Bell inequalities violated by the quantum Elegant Joint Measurement

abstract: Network Bell experiments give rise to a form of quantum nonlocality that conceptually goes beyond Bell's theorem. We investigate here the simplest network, known as the bilocality scenario. We depart from the typical use of the Bell State Measurement in the network central node and instead introduce a family of symmetric iso-entangled measurement bases that generalise the so-called Elegant Joint Measurement. This leads us to report noise-tolerant quantum correlations that elude bilocal variable models. Inspired by these quantum correlations, we introduce network Bell inequalities for the bilocality scenario and show that they admit noise-tolerant quantum violations. In contrast to many previous studies of network Bell inequalities, neither our inequalities nor their quantum violations are based on standard Bell inequalities and standard quantum nonlocality. Moreover, we pave the way for an experimental realisation by presenting a simple two-qubit quantum circuit for the implementation of the Elegant Joint Measurement and our generalisation.


title: Introducing a special collection of papers in the Journal of High Energy Astrophysics on the Early Results of China's 1st X-ray Astronomy Satellite: Insight-HXMT

abstract: Insight-HXMT is the first Chinese X-ray astronomical mission, launched successfully on June 15, 2017, from China's Jiuquan Satellite Launch Center. Insight-HXMT was designed to have a broad energy coverage in X-rays, from 1-250 keV, with excellent timing and adequate energy resolution at soft X-rays, and the largest effective area at hard X-rays. Here, we present a collection of papers of the Journal of High Energy Astrophysics on the Early Results of China's 1st X-ray Astronomy Satellite Insight-HXMT. These papers cover the in-orbit performance, the background model, and all calibration results, together with several first results on observations of binaries and details on the Galactic plane survey.


title: Maximal Regularity for Non-Autonomous Evolutionary Equations

abstract: We discuss the issue of maximal regularity for evolutionary equations with non-autonomous coefficients. Here evolutionary equations are abstract partial-differential algebraic equations considered in Hilbert spaces. The catch is to consider time-dependent partial differential equations in an exponentially weighted Hilbert space. In passing, one establishes the time derivative as a continuously invertible, normal operator admitting a functional calculus with the Fourier--Laplace transformation providing the spectral representation. Here, the main result is then a regularity result for well-posed evolutionary equations solely based on an assumed parabolic-type structure of the equation and estimates of the commutator of the coefficients with the square root of the time derivative. We thus simultaneously generalise available results in the literature for non-smooth domains. Examples for equations in divergence form, integro-differential equations, perturbations with non-autonomous and rough coefficients as well as non-autonomous equations of eddy current type are considered.


title: Femtoscopy scales and particle production in the relativistic heavy ion collisions from Au+Au at 200 AGeV to Xe+Xe at 5.44 ATeV within the integrated hydrokinetic model

abstract: The recent results on the main soft observables, including hadron and photon yields and particle number ratios, $p_T$ spectra, flow harmonics, as well as the femtoscopy radii, obtained within the integrated hydrokinetic model (iHKM) for high-energy heavy-ion collisions are reviewed and re-examined. The cases of different nuclei colliding at different energies are considered: Au+Au collisions at the top RHIC energy $\sqrt{s_{NN}}=200$ GeV, Pb+Pb collisions at the LHC energies $\sqrt{s_{NN}}=2.76$ TeV and $\sqrt{s_{NN}}=5.02$ TeV, and the LHC Xe+Xe collisions at $\sqrt{s_{NN}}=5.44$ TeV. The effect of the initial conditions and the model parameters, including the utilized equation of state (EoS) for quark-gluon phase, on the simulation results, as well as the role of the final afterburner stage of the matter evolution are discussed. The possible solution of the so-called ``photon puzzle'' is considered. The attention is also paid to the dependency of the interferometry volume and individual interferometry radii on the initial transverse geometrical size of the system formed in the collision.


title: 2D MoSe2 as a Promising Chemo-resistive Sensor for N2O Detection: A DFT Approach

abstract: We have investigated the impact of toxic N2O gas upon structural and electronic properties of 2D MoSe2 monolayer using DFT approach. In this work, as a result of N2O gas absorption, charge transfer, band gap and density of states (DOS) are changed and these parameters are extracted as electronic properties of 2D MoSe2 monolayer nano-gas sensor. Moreover, the band gap is tunable upon the N2O gas absorption for pristine and adsorbed MoSe2 in both Top Mo (Top Se) structures. Also, the spin up and down states in the DOS results considerable magnetic moment altering the magnetic property of the 2D MoSe2 monolayer. Later, the desorption property of the 2D MoSe2 monolayer towards the target N2O gas molecule at three different temperature are calculated. Thus, the paper concludes with outcomes of the structural and electronic properties aligning its behavior as a chemo-resistive nano-gas sensor and showing it as a potential applicant for sensing of toxic N2O gas molecule. The nature of toxic N2O gas molecule is not explored till date using 2D monolayer, thus, in this work it is estimated through simulated results and the experimental verification is awaited.