title: Gold Matrix Ghost Imaging

abstract: Light field modulation matrix is closely related to the quality of reconstructed image in ghost imaging. The orthogonality light field modulation matrix with better noise immunity and high quality reconstructed image is urgently needed in the practical application of ghost imaging. In this work, we propose a Gold matrix ghost imaging method with excellent imaging and anti-noise performance, which is proud of the pseudo-randomness and orthogonality of the deterministic Gold matrix. Numerical simulation and experimental results show that the Gold matrix has the characteristics of both random speckle and Hadamard matrix, and the reconstructed images are superior to the two modulation matrixes under the condition of noise, which shows better imaging robustness.


title: Regularity for convex viscosity solutions of special Lagrangian equation

abstract: We establish interior regularity for convex viscosity solutions of the special Lagrangian equation. Our result states that all such solutions are real analytic in the interior of the domain.


title: Comment on "The Flyby Anomaly and the Gravitational-Magnetic Field Induced Frame-Dragging Effect around the Earth"

abstract: Independent radar data with larger discrepancies, which were left out in JPL's 2008 summary on the anomaly, rules out any actual change in motion, relativistic or otherwise.


title: Composite Higgs Meets Planck Scale: Partial Compositeness from Partial Unification

abstract: Providing an Ultra-Violet completion valid up to the Planck scale is of paramount importance to validate the composite Higgs paradigm, at par with supersymmetry. We propose the first complete and feasible framework, based on partial unification of a confining hypercolor gauge group, where couplings of the standard model fermions are mediated by both gauge and scalar bosons. We demonstrate our approach by providing an explicit model based on a Techni-Pati-Salam unification, $SU(8)_{\rm PS}\times SU(2)_L\times SU(2)_R$, able to generate masses for all fermion generations, including neutrinos, via partial compositeness. We predict an $Sp(4)$ hypercolor group, and lattice studies will be crucial to validate the model.


title: Analytical solution of magneto-hydrodynamics with acceleration effects of Bjorken expansion in heavy-ion collisions

abstract: In this work, we study the 1+1 longitudinal acceleration expansion of hot and dense quark matter as a conducting relativistic fluid with the electric conductivity $\sigma$. The plasma has embedded in the presence of electric and magnetic fields which are perpendicular together in the transverse plane. In order to be more realistic, we generalize the Bjorken solution, which includes the acceleration effects on the fluid expansion. We apply a perturbation fashion in initial condition to solve the relativistic magneto-hydrodynamics equations. This procedure leads us to achieve the exact algebraic expressions for both electric and magnetic fields. We also find the effects of the electromagnetic fields on the acceleration of the fluid, and the correction of energy density obtained from the magneto-hydrodynamics solutions.


title: New series for powers of $\pi$ and related congruences

abstract: Via symbolic computation we deduce 97 new type series for powers of $\pi$ related to Ramanujan-type series. Here are three typical examples: $$\sum_{k=0}^\infty \frac{P(k) \binom{2k}k\binom{3k}k \binom{6k}{3k}}{(k+1)(2k-1)(6k-1)(-640320)^{3k}} =\frac{18\times557403^3\sqrt{10005}}{5\pi}$$ with \begin{align*}P(k) = &637379600041024803108 k^2 + 657229991696087780968 k \\&+ 19850391655004126179, \end{align*} $$\sum_{k=1}^\infty \frac{(3k+1)16^k}{(2k+1)^2k^3\binom{2k}k^3} = \frac{\pi^2-8}2,$$ and $$\sum_{n=0}^\infty\frac{3n+1}{(-100)^n} \sum_{k=0}^n{n\choose k}^2T_k(1,25)T_{n-k}(1,25) = \frac{25}{8\pi},$$ where the generalized central trinomial coefficient $T_k(b,c)$ denotes the coefficient of $x^k$ in the expansion of $(x^2+bx+c)^k$. We also formulate a general characterization of rational Ramanujan-type series for $1/\pi$ via congruences, and pose 117 new conjectural series for powers of $\pi$ via looking for corresponding congruences. For example, we conjecture that $$\sum_{k=0}^\infty\frac{39480k+7321}{(-29700)^k}T_k(14,1)T_k(11,-11)^2=\frac{6795\sqrt5}{\pi}.$$ Eighteen of the new series in this paper involve some imaginary quadratic fields with class number $8$.


title: On the indecomposable involutive set-theoretic solutions of the Yang-Baxter equation of prime-power size

abstract: We develop a method to construct all the indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with a prime-power number of elements and cyclic permutation group. Moreover, we give a complete classification of the indecomposable ones having abelian permutation group and cardinality $pq$ (where $p$ and $q$ are prime numbers not necessarily distinct).


title: Characterization of the $^{12}$C(p,p')$^{12}$C Reaction (E$_p$=19.5$-$30 MeV) for Active Interrogation

abstract: Passive detection of special nuclear material (SNM) is challenging due to its inherently low rate of spontaneous emission of penetrating radiation, the relative ease of shielding, and the fluctuating and frequently overwhelming background. Active interrogation (AI), the use of external radiation to increase the emission rate of characteristic radiation from SNM, has long been considered to be a promising method to overcome those challenges. Current AI systems that incorporate radiography tend to use bremsstrahlung beams, which can deliver high radiation doses. Low-energy ion-driven nuclear reactions that produce multiple monoenergetic photons may be used as an alternative. The $^{12}$C(p,p')$^{12}$C is one such reaction that could produce large gamma-ray yields of highly penetrating 4.4- and 15.1-MeV gamma rays. This reaction does not directly produce neutrons below the $\sim$19.7-MeV threshold, and the 15.1-MeV gamma-ray line is well matched to the photofission cross-section of $^{235}$U and $^{238}$U. We report the measurements of thick-target gamma-ray yields at 4.4 and 15.1 MeV from the $^{12}$C(p,p')$^{12}$C at proton energies of 19.5, 25, and 30 MeV. Measurements were made with two 3'' EJ309 cylindrical liquid scintillation detectors and thermoluminescent dosimeters placed at 0 and 90 degrees. We estimate the highest yields of the 4.4- and 15.1-MeV gamma rays of 1.65$\times10^{10}$ sr$^{-1}\mu$ C$^{-1}$ and 4.47$\times10^8$ sr$^{-1}\mu$ C$^{-1}$ at a proton energy of 30 MeV, respectively. The yield of 4.4 and 15.1 MeV gamma rays in all experimental configurations is greater than a comparable deuteron-driven reaction that produces the same gamma-ray energies- $^{11}$B(d,n$\gamma$)$^{12}$C. However, a two orders of magnitude increase of the neutron radiation dose is observed when the proton energy increases from 19.5 to 30 MeV.


title: Deformed conformal symmetry of Kerr-Newman-NUT-AdS black holes

abstract: We find generators of the conformal symmetry for the class of Kerr-Newman-NUT-AdS black holes from the deformed scalar probe equation. We find two classes of solutions for the generators (also known as conformal J and Q pictures). The two classes of deformed generators are the extension of similar generators for the regular conformal symmetry. Moreover, we find that the two pictures can be generalized and extended into a general picture. In each picture, the generators produce an extended local family of SL(2,R)_L \times SL(2,R)_R hidden conformal symmetries for the Kerr-Newman-NUT-AdS black holes which are parameterized by one deformation parameter. We find the absorption cross-section of the scalar probes for the Kerr-Newman-NUT-AdS black holes, which in turn, supports the existence of Kerr/CFT correspondence. Moreover, our deformed conformal generators for the Kerr-Newman-NUT-AdS black holes provide the deformed conformal generators for the non-rotating Reissner-Nordstrom-NUT-AdS black holes.


title: Nested Bethe Ansatz for RTT Algebra of U_q(sp(2n) Type

abstract: We study the highest weight representations of the RTT algebras for the R matrix of sp_q(2n) type by the nested algebraic Bethe ansatz. It is a generalization of our study for R matrix of sp(2n) and so(2n) type


title: On the Complexity of Labeled Datasets

abstract: The Statistical Learning Theory (SLT) provides the foundation to ensure that a supervised algorithm generalizes the mapping $f: \mathcal{X} \to \mathcal{Y}$ given $f$ is selected from its search space bias $\mathcal{F}$. SLT depends on the Shattering coefficient function $\mathcal{N}(\mathcal{F},n)$ to upper bound the empirical risk minimization principle, from which one can estimate the necessary training sample size to ensure the probabilistic learning convergence and, most importantly, the characterization of the capacity of $\mathcal{F}$, including its underfitting and overfitting abilities while addressing specific target problems. However, the analytical solution of the Shattering coefficient is still an open problem since the first studies by Vapnik and Chervonenkis in $1962$, which we address on specific datasets, in this paper, by employing equivalence relations from Topology, data separability results by Har-Peled and Jones, and combinatorics. Our approach computes the Shattering coefficient for both binary and multi-class datasets, leading to the following additional contributions: (i) the estimation of the required number of hyperplanes in the worst and best-case classification scenarios and the respective $\Omega$ and $O$ complexities; (ii) the estimation of the training sample sizes required to ensure supervised learning; and (iii) the comparison of dataset embeddings, once they (re)organize samples into some new space configuration. All results introduced and discussed along this paper are supported by the R package shattering (https://cran.r-project.org/web/packages/shattering).


title: Quantization-based Bermudan option pricing in the $FX$ world

abstract: This paper proposes two numerical solution based on Product Optimal Quantization for the pricing of Foreign Echange (FX) linked long term Bermudan options e.g. Bermudan Power Reverse Dual Currency options, where we take into account stochastic domestic and foreign interest rates on top of stochastic FX rate, hence we consider a 3-factor model. For these two numerical methods, we give an estimation of the $L^2$-error induced by such approximations and we illustrate them with market-based examples that highlight the speed of such methods.


title: Jet quenching and effects of non-Gaussian transverse-momentum broadening on di-jet observables

abstract: We study, at a qualitative level, production of jet pairs in ultrarelativistic nuclear collisions within a framework combining High Energy Factorisation (HEF) and in-medium propagation of jet particles that takes into account stochastic transverse forces as well as medium-induced radiation. We find that the resulting di-jet observables feature the behaviour deviating from that of jet-pairs which undergo transverse-momentum broadening following the Gaussian distribution.


title: Mining urban lifestyles: urban computing, human behavior and recommender systems

abstract: In the last decade, the digital age has sharply redefined the way we study human behavior. With the advancement of data storage and sensing technologies, electronic records now encompass a diverse spectrum of human activity, ranging from location data, phone and email communication to Twitter activity and open-source contributions on Wikipedia and OpenStreetMap. In particular, the study of the shopping and mobility patterns of individual consumers has the potential to give deeper insight into the lifestyles and infrastructure of the region. Credit card records (CCRs) provide detailed insight into purchase behavior and have been found to have inherent regularity in consumer shopping patterns; call detail records (CDRs) present new opportunities to understand human mobility, analyze wealth, and model social network dynamics. In this chapter, we jointly model the lifestyles of individuals, a more challenging problem with higher variability when compared to the aggregated behavior of city regions. Using collective matrix factorization, we propose a unified dual view of lifestyles. Understanding these lifestyles will not only inform commercial opportunities, but also help policymakers and nonprofit organizations understand the characteristics and needs of the entire region, as well as of the individuals within that region. The applications of this range from targeted advertisements and promotions to the diffusion of digital financial services among low-income groups.


title: Relation Learning on Social Networks with Multi-Modal Graph Edge Variational Autoencoders

abstract: While node semantics have been extensively explored in social networks, little research attention has been paid to profile edge semantics, i.e., social relations. Ideal edge semantics should not only show that two users are connected, but also why they know each other and what they share in common. However, relations in social networks are often hard to profile, due to noisy multi-modal signals and limited user-generated ground-truth labels. In this work, we aim to develop a unified and principled framework that can profile user relations as edge semantics in social networks by integrating multi-modal signals in the presence of noisy and incomplete data. Our framework is also flexible towards limited or missing supervision. Specifically, we assume a latent distribution of multiple relations underlying each user link, and learn them with multi-modal graph edge variational autoencoders. We encode the network data with a graph convolutional network, and decode arbitrary signals with multiple reconstruction networks. Extensive experiments and case studies on two public DBLP author networks and two internal LinkedIn member networks demonstrate the superior effectiveness and efficiency of our proposed model.


title: Attentive Geo-Social Group Recommendation

abstract: Social activities play an important role in people's daily life since they interact. For recommendations based on social activities, it is vital to have not only the activity information but also individuals' social relations. Thanks to the geo-social networks and widespread use of location-aware mobile devices, massive geo-social data is now readily available for exploitation by the recommendation system. In this paper, a novel group recommendation method, called attentive geo-social group recommendation, is proposed to recommend the target user with both activity locations and a group of users that may join the activities. We present an attention mechanism to model the influence of the target user $u_T$ in candidate user groups that satisfy the social constraints. It helps to retrieve the optimal user group and activity topic candidates, as well as explains the group decision-making process. Once the user group and topics are retrieved, a novel efficient spatial query algorithm SPA-DF is employed to determine the activity location under the constraints of the given user group and activity topic candidates. The proposed method is evaluated in real-world datasets and the experimental results show that the proposed model significantly outperforms baseline methods.


title: ChebNet: Efficient and Stable Constructions of Deep Neural Networks with Rectified Power Units via Chebyshev Approximations

abstract: In a previous study [B. Li, S. Tang and H. Yu, Commun. Comput. Phy. 27(2):379-411, 2020], it is shown that deep neural networks built with rectified power units (RePU) as activation functions can give better approximation for sufficient smooth functions than those built with rectified linear units, by converting polynomial approximations using power series into deep neural networks with optimal complexity and no approximation error. However, in practice, power series approximations are not easy to obtain due to the associated stability issue. In this paper, we propose a new and more stable way to construct RePU deep neural networks based on Chebyshev polynomial approximations. By using a hierarchical structure of Chebyshev polynomial approximation in frequency domain, we obtain efficient and stable deep neural network construction, which we call ChebNet. The approximation of smooth functions by ChebNets is no worse than the approximation by deep RePU nets using power series. On the same time, ChebNets are much more stable. Numerical results show that the constructed ChebNets can be further fine-tuned to obtain much better results than those obtained by tuning deep RePU nets constructed by power series approach. As spectral accuracy is hard to obtain by direct training of deep neural networks, ChebNets provide a practical way to obtain spectral accuracy, it is expected to be useful in real applications that require efficient approximations of smooth functions.


title: Coupled Systems of Differential-Algebraic and Kinetic Equations with Application to the Mathematical Modelling of Muscle Tissue

abstract: We consider a coupled system composed of a linear differential-algebraic equation (DAE) and a linear large-scale system of ordinary differential equations where the latter stands for the dynamics of numerous identical particles. Replacing the discrete particles by a kinetic equation for a particle density, we obtain in the mean-field limit the new class of partially kinetic systems. We investigate the influence of constraints on the kinetic theory of those systems and present necessary adjustments. We adapt the mean-field limit to the DAE model and show that index reduction and the mean-field limit commute. As a main result, we prove Dobrushin's stability estimate for linear systems. The estimate implies convergence of the mean-field limit and provides a rigorous link between the particle dynamics and their kinetic description. Our research is inspired by mathematical models for muscle tissue where the macroscopic behaviour is governed by the equations of continuum mechanics, often discretised by the finite element method, and the microscopic muscle contraction process is described by Huxley's sliding filament theory. The latter represents a kinetic equation that characterises the state of the actin-myosin bindings in the muscle filaments. Linear partially kinetic systems are a simplified version of such models, with focus on the constraints.


title: Multi-MotifGAN (MMGAN): Motif-targeted Graph Generation and Prediction

abstract: Generative graph models create instances of graphs that mimic the properties of real-world networks. Generative models are successful at retaining pairwise associations in the underlying networks but often fail to capture higher-order connectivity patterns known as network motifs. Different types of graphs contain different network motifs, an example of which are triangles that often arise in social and biological networks. It is hence vital to capture these higher-order structures to simulate real-world networks accurately. We propose Multi-MotifGAN (MMGAN), a motif-targeted Generative Adversarial Network (GAN) that generalizes the benchmark NetGAN approach. The generalization consists of combining multiple biased random walks, each of which captures a different motif structure. MMGAN outperforms NetGAN at creating new graphs that accurately reflect the network motif statistics of input graphs such as Citeseer, Cora and Facebook.


title: A geometric based preprocessing for weighted ray transforms with applications in SPECT

abstract: In this work we investigate numerically the reconstruction approach proposed in Goncharov, Novikov, 2016, for weighted ray transforms (weighted Radon transforms along oriented straight lines) in 3D. In particular, the approach is based on a geometric reduction of the data modeled by weighted ray transforms to new data modeled by weighted Radon transforms along two-dimensional planes in 3D. Such reduction could be seen as a preprocessing procedure which could be further completed by any preferred reconstruction algorithm. In a series of numerical tests on modelized and real SPECT (single photon emission computed tomography) data we demonstrate that such procedure can significantly reduce the impact of noise on reconstructions.


title: Tracing The Physical Conditions of Planet Formation with Molecular Excitation

abstract: Understanding the physical structure of the planet formation environment, the protoplanetary disk, is essential for the interpretation of high resolution observations of the dust and future observations of the magnetic field structure. Observations of multiple transitions of molecular species offers a unique view of the underlying physical structure through excitation analyses. Here we describe a new method to extract high-resolution spectra from low-resolution observations, then provide two case studies of how molecular excitation analyses were used to constrain the physical structure in TW Hya, the closest protoplanetary disk to Earth.


title: A Nonlinear Hyperbolic Model for Radiative Transfer Equation in Slab Geometry

abstract: Linear models for the radiative transfer equation have been well developed, while nonlinear models are seldom investigated even for slab geometry due to some essential difficulties. We have proposed a moment model in MPN for slab geometry which combines the ideas of the classical PN and MN model. Though the model is far from perfect, it was demonstrated to be quite efficient in numerically approximating the solution of the radiative transfer equation, that we are motivated to further improve this model. Consequently we propose in this paper a new model following the chartmap in MPN with some significant theoretic progresses. The new model is derived with global hyperbolicity, and meanwhile some necessary physical properties are preserved. We give a complete analysis to the characteristic structure and propose a numerical scheme for the new model. Numerical examples are presented to demonstrate the numerical performance of the new model.


title: Asynchronous Distributed Learning from Constraints

abstract: In this paper, the extension of the framework of Learning from Constraints (LfC) to a distributed setting where multiple parties, connected over the network, contribute to the learning process is studied. LfC relies on the generic notion of "constraint" to inject knowledge into the learning problem and, due to its generality, it deals with possibly nonconvex constraints, enforced either in a hard or soft way. Motivated by recent progresses in the field of distributed and constrained nonconvex optimization, we apply the (distributed) Asynchronous Method of Multipliers (ASYMM) to LfC. The study shows that such a method allows us to support scenarios where selected constraints (i.e., knowledge), data, and outcomes of the learning process can be locally stored in each computational node without being shared with the rest of the network, opening the road to further investigations into privacy-preserving LfC. Constraints act as a bridge between what is shared over the net and what is private to each node and no central authority is required. We demonstrate the applicability of these ideas in two distributed real-world settings in the context of digit recognition and document classification.


title: Quantum origin of the Minkowski space

abstract: We show that D=4 Minkowski space is an emergent concept related to a class of operators in extended Hilbert space with no positive-definite scalar product. We start with the idea of position-like and momentum-like operators (Plewa 2019 J. Phys. A: Math. Theor. 52 375401), introduced discussing a connection between quantum entanglement and geometry predicted by ER=EPR conjecture. We examine eigenequations of the simplest operators and identify D=4 Minkowski space as to be spanned by normalized eigenvectors corresponding to the zero eigenvalue. Both spacetime dimension and signature of the metric are fixed by the regularization procedure. We generalize the result to the case of more general operators, being analogues to quantum fields. We reproduce the Minkowski space again, however, now in a holographic way, as being identified with the conformal boundary of $AdS_5$. We observe an interesting analogy to string theory and, in particular, to AdS/CFT correspondence.


title: Unveiling phase transitions in 1D systems with short-range interactions

abstract: The statement that any phase transition is related to the appearance or disappearance of long-range spatial correlations precludes a finite transition temperature in one-dimensional (1D) systems. In this paper we demonstrate that the 1D Ising model with short-range exchange interactions exhibits a second-order phase transition at a finite temperature relying on the proper choice of the order parameter. To accomplish this, we combined analytical calculations and high-precision entropic sampling simulations and chose a slightly different order parameter, namely the module of the magnetization. Notably, we detected a phase transition with a corresponding critical temperature around 15 K, which is in excellent agreement with experimental results. Our study indicates that an inappropriate choice of the order parameter may mask phase transitions in one-dimensional systems.


title: Generation and Classification of Activity Sequences for Spatiotemporal Modeling of Human Populations

abstract: Human activity encompasses a series of complex spatiotemporal processes that are difficult to model, but represents an essential component of human exposure assessment. A significant empirical data source like the American Time Use Survey (ATUS) can be leveraged to model human activity, but tractable models require a better stratification of activity data to inform about different, but classifiable groups of individuals that exhibit similar activities and mobility patterns. We have developed a simple unsupervised classification and sequence generation method from existing machine learning algorithms that is capable of generating coherent and stochastic sequences of activity from the data in the ATUS. This classification, when combined with any spatiotemporal exposure profile, allows the development of stochastic models of exposure patterns for groups of individuals exhibiting similar activity behaviors.


title: Turning genome-wide association study findings into opportunities for drug repositioning

abstract: Drug development is a very costly and lengthy process, while repositioned or repurposed drugs could be brought into clinical practice within a shorter time-frame and at a much reduced cost. The past decade has observed a massive growth in the amount of data from genome-wide association studies (GWAS). The rich information contained in GWAS data has great potential to guide drug discovery or repositioning. Here we provide an overview of different computational approaches which employ GWAS data to guide drug repositioning. These methods include selection of top candidate genes from GWAS as drug targets, deducing drug candidates based on drug-drug and disease-disease similarity, searching for reversed expression profiles between drugs and diseases, pathway-based methods as well as repositioning based on analysis of biological networks. Each method is illustrated with examples, and their respective strengths and limitations are discussed. Finally we discussed several areas for future research.


title: Deep Reinforcement Learning Attitude Control of Fixed-Wing UAVs Using Proximal Policy Optimization

abstract: Contemporary autopilot systems for unmanned aerial vehicles (UAVs) are far more limited in their flight envelope as compared to experienced human pilots, thereby restricting the conditions UAVs can operate in and the types of missions they can accomplish autonomously. This paper proposes a deep reinforcement learning (DRL) controller to handle the nonlinear attitude control problem, enabling extended flight envelopes for fixed-wing UAVs. A proof-of-concept controller using the proximal policy optimization (PPO) algorithm is developed, and is shown to be capable of stabilizing a fixed-wing UAV from a large set of initial conditions to reference roll, pitch and airspeed values. The training process is outlined and key factors for its progression rate are considered, with the most important factor found to be limiting the number of variables in the observation vector, and including values for several previous time steps for these variables. The trained reinforcement learning (RL) controller is compared to a proportional-integral-derivative (PID) controller, and is found to converge in more cases than the PID controller, with comparable performance. Furthermore, the RL controller is shown to generalize well to unseen disturbances in the form of wind and turbulence, even in severe disturbance conditions.


title: Decoding Neural Responses in Mouse Visual Cortex through a Deep Neural Network

abstract: Finding a code to unravel the population of neural responses that leads to a distinct animal behavior has been a long-standing question in the field of neuroscience. With the recent advances in machine learning, it is shown that the hierarchically Deep Neural Networks (DNNs) perform optimally in decoding unique features out of complex datasets. In this study, we utilize the power of a DNN to explore the computational principles in the mammalian brain by exploiting the Neuropixel data from Allen Brain Institute. We decode the neural responses from mouse visual cortex to predict the presented stimuli to the animal for natural (bear, trees, cheetah, etc.) and artificial (drifted gratings, orientated bars, etc.) classes. Our results indicate that neurons in mouse visual cortex encode the features of natural and artificial objects in a distinct manner, and such neural code is consistent across animals. We investigate this by applying transfer learning to train a DNN on the neural responses of a single animal and test its generalized performance across multiple animals. Within a single animal, DNN is able to decode the neural responses with as much as 100% classification accuracy. Across animals, this accuracy is reduced to 91%. This study demonstrates the potential of utilizing the DNN models as a computational framework to understand the neural coding principles in the mammalian brain.


title: Longitudinal rms emittance preservation during adiabatic capture for Gaussian beams

abstract: This paper presents an analysis of the emittance preservation during a heavy ion bunching process. This analysis aims at finding the correlation between the rms emittance of a coasting beam and that of the resulting bunches. The emittance of a Gaussian coasting beam bunched adiabatically in synchrotrons is investigated using theoretical considerations and particle tracking simulations. New results are presented on the relation between the emittance before and after the bunching process. It is found that a constant factor can be determined to describe this relation. This factor can be used to avoid time-consuming simulations. If the rms emittance is known before the bunching process, it can be calculated for the bunched beam afterwards. This also makes it possible to determine the required bucket area for a certain filling ratio.


title: Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL

abstract: Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose planning tools and that enable the computation of plans, i.e., sequences of production steps that are required to reach certain production goals. These plans are then merged back into the production system model, thus enriching the formalized production system knowledge.


title: Convergence of knowledge in a cultural evolution model with population structure, random social learning and credibility biases

abstract: Understanding how knowledge is created and propagates within groups is crucial to explain how human populations have evolved through time. Anthropologists have relied on different theoretical models to address this question. In this work, we introduce a mathematically oriented model that shares properties with individual based approaches, inhomogeneous Markov chains and learning algorithms, such as those introduced in [F. Cucker, S. Smale, Bull. Amer. Math. Soc., 39 (1), 2002] and [F. Cucker, S. Smale and D.~X Zhou, Found. Comput. Math., 2004]. After deriving the model, we study some of its mathematical properties, and establish theoretical and quantitative results in a simplified case. Finally, we run numerical simulations to illustrate some properties of the model.


title: Sentiment Analysis for Arabic in Social Media Network: A Systematic Mapping Study

abstract: With the expansion in tenders on the Internet and social media, Arabic Sentiment Analysis (ASA) has assumed a significant position in the field of text mining study and has since remained used to explore the sentiments of users about services, various products or topics conversed over the Internet. This mapping paper designs to comprehensively investigate the papers demographics, fertility, and directions of the ASA research domain. Furthermore, plans to analyze current ASA techniques and find movements in the research. This paper describes a systematic mapping study (SMS) of 51 primary selected studies (PSS) is handled with the approval of an evidence-based systematic method to ensure handling of all related papers. The analyzed results showed the increase of both the ASA research area and numbers of publications per year since 2015. Three main research facets were found, i.e. validation, solution, and evaluation research, with solution research becoming more treatment than another research type. Therefore numerous contribution facets were singled out. In totality, the general demographics of the ASA research field were highlighted and discussed


title: Extracting a Discriminative Structural Sub-Network for ASD Screening using the Evolutionary Algorithm

abstract: Autism spectrum disorder (ASD) is one of the most significant neurological disorders that disrupt a person's social communication skills. The progression and development of neuroimaging technologies has made structural network construction of brain regions possible. In this paper, after finding the discriminative sub-network using the evolutionary algorithm, the simple features of the sub-network lead us to diagnose autism in various subjects with plausible accuracy (76% on average). This method yields substantially better results compared to previous researches. Thus, this method may be used as an accurate assistance in autism screening


title: Diffusion Improves Graph Learning

abstract: Graph convolution is the core of most Graph Neural Networks (GNNs) and usually approximated by message passing between direct (one-hop) neighbors. In this work, we remove the restriction of using only the direct neighbors by introducing a powerful, yet spatially localized graph convolution: Graph diffusion convolution (GDC). GDC leverages generalized graph diffusion, examples of which are the heat kernel and personalized PageRank. It alleviates the problem of noisy and often arbitrarily defined edges in real graphs. We show that GDC is closely related to spectral-based models and thus combines the strengths of both spatial (message passing) and spectral methods. We demonstrate that replacing message passing with graph diffusion convolution consistently leads to significant performance improvements across a wide range of models on both supervised and unsupervised tasks and a variety of datasets. Furthermore, GDC is not limited to GNNs but can trivially be combined with any graph-based model or algorithm (e.g. spectral clustering) without requiring any changes to the latter or affecting its computational complexity. Our implementation is available online.


title: ELRUNA: Elimination Rule-based Network Alignment

abstract: Networks model a variety of complex phenomena across different domains. In many applications, one of the most essential tasks is to align two or more networks to infer the similarities between cross-network vertices and discover potential node-level correspondence. In this paper, we propose ELRUNA (Elimination rule-based network alignment), a novel network alignment algorithm that relies exclusively on the underlying graph structure. Under the guidance of the elimination rules that we defined, ELRUNA computes the similarity between a pair of cross-network vertices iteratively by accumulating the similarities between their selected neighbors. The resulting cross-network similarity matrix is then used to infer a permutation matrix that encodes the final alignment of cross-network vertices. In addition to the novel alignment algorithm, we also improve the performance of local search, a commonly used post-processing step for solving the network alignment problem, by introducing a novel selection method RAWSEM (Randomwalk based selection method) based on the propagation of the levels of mismatching (defined in the paper) of vertices across the networks. The key idea is to pass on the initial levels of mismatching of vertices throughout the entire network in a random-walk fashion. Through extensive numerical experiments on real networks, we demonstrate that ELRUNA significantly outperforms the state-of-the-art alignment methods in terms of alignment accuracy under lower or comparable running time. Moreover, ELRUNA is robust to network perturbations such that it can maintain a close to optimal objective value under a high level of noise added to the original networks. Finally, the proposed RAWSEM can further improve the alignment quality with a less number of iterations compared with the naive local search method.


title: Impact of the crystal orientation on spin-orbit torques in Fe/Pd bilayers

abstract: Spin-orbit torques in ferromagnetic (FM)/non-magnetic (NM) heterostructures offer more energy-efficient means to realize spin-logic devices; however, their strengths are determined by the heterostructure interface. This work examines crystal orientation impact on the spin-orbit torque efficiency in different Fe/Pd bilayer systems. Spin torque ferromagnetic measurements evidence that the damping-like torque efficiency is higher in epitaxial than in polycrystalline bilayer structures while the field-like torque is negligible in all bilayer structures. The strength of the damping-like torque decreases with deterioration of the bilayer epitaxial quality. The present finding provides fresh insight for the enhancement of spin-orbit torques in magnetic heterostructures.


title: Data Economy for Prosumers in a Smart Grid Ecosystem

abstract: Smart grids technologies are enablers of new business models for domestic consumers with local flexibility (generation, loads, storage) and where access to data is a key requirement in the value stream. However, legislation on personal data privacy and protection imposes the need to develop local models for flexibility modeling and forecasting and exchange models instead of personal data. This paper describes the functional architecture of an home energy management system (HEMS) and its optimization functions. A set of data-driven models, embedded in the HEMS, are discussed for improving renewable energy forecasting skill and modeling multi-period flexibility of distributed energy resources.


title: Fair treatment allocations in social networks

abstract: Simulations of infectious disease spread have long been used to understand how epidemics evolve and how to effectively treat them. However, comparatively little attention has been paid to understanding the fairness implications of different treatment strategies -- that is, how might such strategies distribute the expected disease burden differentially across various subgroups or communities in the population? In this work, we define the precision disease control problem -- the problem of optimally allocating vaccines in a social network in a step-by-step fashion -- and we use the ML Fairness Gym to simulate epidemic control and study it from both an efficiency and fairness perspective. We then present an exploratory analysis of several different environments and discuss the fairness implications of different treatment strategies.


title: The Potential Gains of Macrodiversity in mmWave Cellular Networks with Correlated Blocking

abstract: At millimeter wave (mmWave) frequencies, signals are prone to blocking by objects in the environment, which causes paths to go from line-of-sight (LOS) to non-LOS (NLOS). We consider macrodiversity as a strategy to improve the performance of mmWave cellular systems, where the user attempts to connect with two or more base stations. An accurate analysis of macrodiversity must account for the possibility of correlated blocking, which occurs when a single blockage simultaneously blocks the paths to two base stations. In this paper, we analyze the macrodiverity gain in the presence of correlated random blocking and interference. To do so, we develop a framework to determine distributions for the LOS probability, SNR, and SINR by taking into account correlated blocking. We consider a cellular uplink with both diversity combining and selection combining schemes. We also study the impact of blockage size and blockage density. We show that blocking can be both a blessing and a curse. On the one hand, the signal from the source transmitter could be blocked, and on the other hand, interfering signals tend to also be blocked, which leads to a completely different effect on macrodiversity gains. We also show that the assumption of independent blocking can lead to an incorrect evaluation of macrodiversity gain, as the correlation tends to decrease macrodiversity gain.


title: Topology of nerves and formal concepts

abstract: The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial simplification of simplicial complexes and allows to see a certain duality on a class of simplicial complexes. This duality generalizes Poincare duality on cell subdivisions of manifolds. On the other hand, with the notion of a topological formal context, we review the classical proofs of two basic theorems of homotopy topology: Alexandrov Nerve theorem and Quillen--McCord theorem, which are both important in the applications. A brief overview of the applications of the Nerve theorem in brain studies is given. The focus is made on the task of the external stimuli space reconstruction from the activity of place cells. We propose to use the combination of FCA and topology in the analysis of neural codes. The lattice of formal concepts of a neural code is homotopy equivalent to the nerve complex, but, moreover, it allows to analyse certain implication relations between collections of neural cells.


title: Preserving privacy enables "co-existence equilibrium" of competitive diffusion in social networks

abstract: With the advent of social media, different companies often promote competing products simultaneously for word-of-mouth diffusion and adoption by users in social networks. For such scenarios of competitive diffusion, prior studies show that the weaker product will soon become extinct (i.e., "winner takes all"). It is intriguing to observe that in practice, however, competing products, such as iPhone and Android phone, often coexist in the market. This discrepancy may result from many factors such as the phenomenon that a user in the real world may not spread its use of a product due to dissatisfaction of the product or privacy protection. In this paper, we incorporate users' privacy for spreading behavior into competitive diffusion of two products and develop a problem formulation for privacy-aware competitive diffusion. Then, we prove that privacy-preserving mechanisms can enable a "coexistence equilibrium" (i.e., two competing products coexist in the equilibrium) in competitive diffusion over social networks. In addition to the rigorous analysis, we also demonstrate our results with experiments over real network topologies.


title: UrbanRhythm: Revealing Urban Dynamics Hidden in Mobility Data

abstract: Understanding urban dynamics, i.e., how the types and intensity of urban residents' activities in the city change along with time, is of urgent demand for building an efficient and livable city. Nonetheless, this is challenging due to the expanding urban population and the complicated spatial distribution of residents. In this paper, to reveal urban dynamics, we propose a novel system UrbanRhythm to reveal the urban dynamics hidden in human mobility data. UrbanRhythm addresses three questions: 1) What mobility feature should be used to present residents' high-dimensional activities in the city? 2) What are basic components of urban dynamics? 3) What are the long-term periodicity and short-term regularity of urban dynamics? In UrbanRhythm, we extract staying, leaving, arriving three attributes of mobility and use a image processing method Saak transform to calculate the mobility distribution feature. For the second question, several city states are identified by hierarchy clustering as the basic components of urban dynamics, such as sleeping states and working states. We further characterize the urban dynamics as the transform of city states along time axis. For the third question, we directly observe the long-term periodicity of urban dynamics from visualization. Then for the short-term regularity, we design a novel motif analysis method to discovery motifs as well as their hierarchy relationships. We evaluate our proposed system on two real-life datesets and validate the results according to App usage records. This study sheds light on urban dynamics hidden in human mobility and can further pave the way for more complicated mobility behavior modeling and deeper urban understanding.


title: Concept Drift Adaptive Physical Event Detection for Social Media Streams

abstract: Event detection has long been the domain of physical sensors operating in a static dataset assumption. The prevalence of social media and web access has led to the emergence of social, or human sensors who report on events globally. This warrants development of event detectors that can take advantage of the truly dense and high spatial and temporal resolution data provided by more than 3 billion social users. The phenomenon of concept drift, which causes terms and signals associated with a topic to change over time, renders static machine learning ineffective. Towards this end, we present an application for physical event detection on social sensors that improves traditional physical event detection with concept drift adaptation. Our approach continuously updates its machine learning classifiers automatically, without the need for human intervention. It integrates data from heterogeneous sources and is designed to handle weak-signal events (landslides, wildfires) with around ten posts per event in addition to large-signal events (hurricanes, earthquakes) with hundreds of thousands of posts per event. We demonstrate a landslide detector on our application that detects almost 350% more land-slides compared to static approaches. Our application has high performance: using classifiers trained in 2014, achieving event detection accuracy of 0.988, compared to 0.762 for static approaches.


title: Correlated Feature Selection for Tweet Spam Classification

abstract: The identification of spam messages on social networks is a very challenging task. Social media sites like Twitter \& Facebook attracts a lot of users and companies to advertise and attract users of personal gains. These advertisements most of the time leads to spamming, which in return leads to poor user experience. The purpose of this paper is to undertake the analysis of spamming on Twitter. To classify spams efficiently, it is necessary to first understand the features of the spam tweets as well as identify attributes of the spammer. We extract both tweet based features and user-based features for our analysis and observe the correlation between these features. This step is necessary as we can reduce the training time if we combine the highly correlated features. Our proposed approach uses a classification model based on artificial neural networks to classify the tweets as spam or non-spam giving the highest accuracy of 97.57\% when compared with four other standard classifiers namely, SVM, K Nearest Neighbours, Naive Bayes, and Random Forest.


title: Temporal Graph Kernels for Classifying Dissemination Processes

abstract: Many real-world graphs or networks are temporal, e.g., in a social network persons only interact at specific points in time. This information directs dissemination processes on the network, such as the spread of rumors, fake news, or diseases. However, the current state-of-the-art methods for supervised graph classification are designed mainly for static graphs and may not be able to capture temporal information. Hence, they are not powerful enough to distinguish between graphs modeling different dissemination processes. To address this, we introduce a framework to lift standard graph kernels to the temporal domain. Specifically, we explore three different approaches and investigate the trade-offs between loss of temporal information and efficiency. Moreover, to handle large-scale graphs, we propose stochastic variants of our kernels with provable approximation guarantees. We evaluate our methods on a wide range of real-world social networks. Our methods beat static kernels by a large margin in terms of accuracy while still being scalable to large graphs and data sets. Hence, we confirm that taking temporal information into account is crucial for the successful classification of dissemination processes.


title: Going Negative Online? -- A Study of Negative Advertising on Social Media

abstract: A growing number of empirical studies suggest that negative advertising is effective in campaigning, while the mechanisms are rarely mentioned. With the scandal of Cambridge Analytica and Russian intervention behind the Brexit and the 2016 presidential election, people have become aware of the political ads on social media and have pressured congress to restrict political advertising on social media. Following the related legislation, social media companies began disclosing their political ads archive for transparency during the summer of 2018 when the midterm election campaign was just beginning. This research collects the data of the related political ads in the context of the U.S. midterm elections since August to study the overall pattern of political ads on social media and uses sets of machine learning methods to conduct sentiment analysis on these ads to classify the negative ads. A novel approach is applied that uses AI image recognition to study the image data. Through data visualization, this research shows that negative advertising is still the minority, Republican advertisers and third party organizations are more likely to engage in negative advertising than their counterparts. Based on ordinal regressions, this study finds that anger evoked information-seeking is one of the main mechanisms causing negative ads to be more engaging and effective rather than the negative bias theory. Overall, this study provides a unique understanding of political advertising on social media by applying innovative data science methods. Further studies can extend the findings, methods, and datasets in this study, and several suggestions are given for future research.


title: Superiorization vs. Accelerated Convex Optimization: The Superiorized/Regularized Least-Squares Case

abstract: We conduct a study and comparison of superiorization and optimization approaches for the reconstruction problem of superiorized/regularized least-squares solutions of underdetermined linear equations with nonnegativity variable bounds. Regarding superiorization, the state of the art is examined for this problem class, and a novel approach is proposed that employs proximal mappings and is structurally similar to the established forward-backward optimization approach. Regarding convex optimization, accelerated forward-backward splitting with inexact proximal maps is worked out and applied to both the natural splitting least-squares term/regularizer and to the reverse splitting regularizer/least-squares term. Our numerical findings suggest that superiorization can approach the solution of the optimization problem and leads to comparable results at significantly lower costs, after appropriate parameter tuning. On the other hand, applying accelerated forward-backward optimization to the reverse splitting slightly outperforms superiorization, which suggests that convex optimization can approach superiorization too, using a suitable problem splitting.


title: HDDL -- A Language to Describe Hierarchical Planning Problems

abstract: The research in hierarchical planning has made considerable progress in the last few years. Many recent systems do not rely on hand-tailored advice anymore to find solutions, but are supposed to be domain-independent systems that come with sophisticated solving techniques. In principle, this development would make the comparison between systems easier (because the domains are not tailored to a single system anymore) and -- much more important -- also the integration into other systems, because the modeling process is less tedious (due to the lack of advice) and there is no (or less) commitment to a certain planning system the model is created for. However, these advantages are destroyed by the lack of a common input language and feature set supported by the different systems. In this paper, we propose an extension to PDDL, the description language used in non-hierarchical planning, to the needs of hierarchical planning systems. We restrict our language to a basic feature set shared by many recent systems, give an extension of PDDL's EBNF syntax definition, and discuss our extensions with respect to several planner-specific input languages from related work.


title: Functional Calculus for Elliptic Operators on Noncommutative Tori, I

abstract: In this paper, we introduce a parametric pseudodifferential calculus on noncommutative $n$-tori which is a natural nest for resolvents of elliptic pseudodifferential operators. Unlike in some previous approaches to parametric pseudodifferential calculi, our parametric pseudodifferential calculus contains resolvents of elliptic pseudodifferential operators that need not be differential operators. As an application we show that complex powers of positive elliptic pseudodifferential operators on noncommutative $n$-tori are pseudodifferential operators. This confirms a claim of Fathi-Ghorbanpour-Khalkhali.


title: Path and cycle decompositions of dense graphs

abstract: We make progress on three long standing conjectures from the 1960s about path and cycle decompositions of graphs. Gallai conjectured that any connected graph on $n$ vertices can be decomposed into at most $\left\lceil \frac{n}{2}\right\rceil$ paths, while a conjecture of Haj\'{o}s states that any Eulerian graph on $n$ vertices can be decomposed into at most $\left\lfloor \frac{n-1}{2}\right\rfloor$ cycles. The Erd\H{o}s-Gallai conjecture states that any graph on $n$ vertices can be decomposed into $O(n)$ cycles and edges. We show that if $G$ is a sufficiently large graph on $n$ vertices with linear minimum degree, then the following hold. (i) $G$ can be decomposed into at most $\frac{n}{2}+o(n)$ paths. (ii) If $G$ is Eulerian, then it can be decomposed into at most $\frac{n}{2}+o(n)$ cycles. (iii) $G$ can be decomposed into at most $\frac{3 n}{2}+o(n)$ cycles and edges. If in addition $G$ satisfies a weak expansion property, we asymptotically determine the required number of paths/cycles for each such $G$. (iv) $G$ can be decomposed into $\max \left\{\frac{odd(G)}{2},\frac{\Delta(G)}{2}\right\}+o(n)$ paths, where $odd(G)$ is the number of odd-degree vertices of $G$. (v) If $G$ is Eulerian, then it can be decomposed into $\frac{\Delta(G)}{2}+o(n)$ cycles. All bounds in (i)-(v) are asymptotically best possible.


title: An exponential inequality for $U$-statistics of i.i.d. data

abstract: We establish an exponential inequality for degenerated $U$-statistics of order $r$ of i.i.d. data. This inequality gives a control of the tail of the maxima absolute values of the $U$-statistic by the sum of two terms: an exponential term and one involving the tail of $h\left(X_1,\dots,X_r\right)$. We also give a version for not necessarily degenerated $U$-statistics having a symmetric kernel and furnish an application to the convergence rates in the Marcinkiewicz law of large numbers. Application to invariance principle in H\"older spaces is also considered.


title: Uncertainty on Asynchronous Time Event Prediction

abstract: Asynchronous event sequences are the basis of many applications throughout different industries. In this work, we tackle the task of predicting the next event (given a history), and how this prediction changes with the passage of time. Since at some time points (e.g. predictions far into the future) we might not be able to predict anything with confidence, capturing uncertainty in the predictions is crucial. We present two new architectures, WGP-LN and FD-Dir, modelling the evolution of the distribution on the probability simplex with time-dependent logistic normal and Dirichlet distributions. In both cases, the combination of RNNs with either Gaussian process or function decomposition allows to express rich temporal evolution of the distribution parameters, and naturally captures uncertainty. Experiments on class prediction, time prediction and anomaly detection demonstrate the high performances of our models on various datasets compared to other approaches.


title: 3-D Feature and Acoustic Modeling for Far-Field Speech Recognition

abstract: Automatic speech recognition in multi-channel reverberant conditions is a challenging task. The conventional way of suppressing the reverberation artifacts involves a beamforming based enhancement of the multi-channel speech signal, which is used to extract spectrogram based features for a neural network acoustic model. In this paper, we propose to extract features directly from the multi-channel speech signal using a multi variate autoregressive (MAR) modeling approach, where the correlations among all the three dimensions of time, frequency and channel are exploited. The MAR features are fed to a convolutional neural network (CNN) architecture which performs the joint acoustic modeling on the three dimensions. The 3-D CNN architecture allows the combination of multi-channel features that optimize the speech recognition cost compared to the traditional beamforming models that focus on the enhancement task. Experiments are conducted on the CHiME-3 and REVERB Challenge dataset using multi-channel reverberant speech. In these experiments, the proposed 3-D feature and acoustic modeling approach provides significant improvements over an ASR system trained with beamformed audio (average relative improvements of 10 % and 9 % in word error rates for CHiME-3 and REVERB Challenge datasets respectively.


title: A Ribe theorem for noncommutative L$_1$-spaces and Lipschitz free operator spaces

abstract: These notes have the intent to introduce the study of the nonlinear aspects of operator space theory. We investigate some results on the nonlinear theory of Banach spaces which remain valid in the noncommutative case. In particular, we show that Ribe's theorem has a complete analog to preduals of von Neumann algebras and introduce the concept of the Lipschitz free operator space of an operator space. We use those to prove results about injective von Neumann algebras, Pisier's operator space OH, and the existence of complete linear isometric embeddings between operator spaces.


title: Circumbinary Disks: Accretion and Torque as a Function of Mass Ratio and Disk Viscosity

abstract: Using numerical hydrodynamics calculations and a novel method for densely sampling parameter space, we measure the accretion and torque on a binary system from a circumbinary disk. In agreement with previous studies, we find that the net torque on the binary is positive for mass ratios close to unity, and that accretion always drives the binary towards equal mass. Accretion variability depends sensitively on the numerical sink prescription, but the torque and relative accretion onto each component do not depend on the sink timescale. Positive torque and highly variable accretion occurs only for mass ratios greater than around $0.05$. This means that for mass ratios below $0.05$, the binary would migrate inward until the secondary accreted sufficient mass, after which it would execute a U-turn and migrate outward. We explore a range of viscosities, from $\alpha = 0.03$ to $\alpha = 0.15$, and find that this outward torque is proportional to the viscous torque, simply proportional to viscosity in this range. Dependence of accretion and torque on mass ratio is explored in detail, densely sampling mass ratios between $0.01$ and unity. For mass ratio $q > 0.6$, accretion variability is found to exhibit a distinct sawtooth pattern, typically with a five-orbit cycle that provides a "smoking gun" prediction for variable quasars observed over long periods, as a potential means to confirm the presence of a binary.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.HE


title: Compressive Transformers for Long-Range Sequence Modelling

abstract: We present the Compressive Transformer, an attentive sequence model which compresses past memories for long-range sequence learning. We find the Compressive Transformer obtains state-of-the-art language modelling results in the WikiText-103 and Enwik8 benchmarks, achieving 17.1 ppl and 0.97 bpc respectively. We also find it can model high-frequency speech effectively and can be used as a memory mechanism for RL, demonstrated on an object matching task. To promote the domain of long-range sequence learning, we propose a new open-vocabulary language modelling benchmark derived from books, PG-19.


title: Influence of the topology on the dynamics of a complex network of HIV/AIDS epidemic models

abstract: In this paper, we propose an original complex network model for an epidemic problem in an heterogeneous geographical area. The complex network is constructed by coupling nonidentical instances of a HIV/AIDS epidemiological model for which a disease-free equilibrium and an endemic equilibrium can coexist. After proving the existence of a positively invariant region for the solutions of the complex network problem, we investigate the effect of the coupling on the dynamics of the network, and establish the existence of a unique disease-free equilibrium for the whole network, which is globally asymptotically stable. We prove the existence of an optimal topology that minimizes the level of infected individuals, and apply the theoretical results to the case of the Cape Verde archipelago.


title: Le probl\`eme de la sch\'ematisation de Grothendieck revisit\'e

abstract: The objective of this work is to reconsider the schematization problem of [6], with a particular focus on the global case over Z. For this, we prove the conjecture [Conj. 2.3.6][15] which gives a formula for the homotopy groups of the schematization of a simply connected homotopy type. We deduce from this several results on the behaviour of the schematization functor, which we propose as a solution to the schematization problem.


title: Phase coherent transport and spin-orbit interaction in GaAs/InSb core/shell nanowires

abstract: Low-temperature magnetotransport measurements are performed on GaAs/InSb core-shell nanowires. The nanowires were self-catalyzed grown by molecular beam epitaxy. The conductance measurements as a function of back-gate voltage show an ambipolar behavior comprising an insulating range in between the transition from the p-type to the n-type region. Simulations based on a self-consistent Schr\"odinger--Poisson solver revealed that the ambipolar characteristics originate from a Fermi level dependent occupation of hole and electron states within the approximately circular quantum well formed in the InSb shell. By applying a perpendicular magnetic field with respect to the nanowire axis, conductance fluctuations were observed, which are used to extract the phase-coherence length. By averaging the magneto-conductance traces at different back-gate voltages, weak antilocalization features are resolved. Regular flux-periodic conductance oscillations are measured when an axial magnetic field is applied. These oscillations are attributed to closed-loop quantized states located in the InSb shell which shift their energetic position periodically with the magnetic flux. Possible reasons for experimentally observed variations in the oscillation patterns are discussed using simulation results.


title: $\eta$-Einstein Sasakian immersions in non-compact Sasakian space forms

abstract: The aim of this paper is to study Sasakian immersions of (non-compact) complete regular Sasakian manifolds into the Heisenberg group and into $ \mathbb{B}^N\times \mathbb{R}$ equipped with their standard Sasakian structures. We obtain a complete classification of such manifolds in the $\eta$-Einstein case.


title: Poisson type conformastat spherically symmetric anisotropic fluid spacetimes

abstract: We construct conformastat spherically symmetric spacetimes representing anisotropic fluid matter distributions from given solutions of the Poisson's equation of Newtonian gravity and its corresponding circular speed profile. As simple examples, we present three families of spherically symmetric spacetimes which we apply in constructing new models of relativistic anisotropic thick spherical shells, and of relativistic galaxy models composite by a central spherical bulge, the thick disk and the dark matter halo, writing in this case the metric in cylindrical coordinates. Moreover, the geodesic motion of test particles in stable circular orbits around such structures is studied. We build anisotropic fluid sources for these spacetimes which satisfy all the energy conditions and the principal stresses are positive quantities (pressure).


title: Coupling Rydberg atoms to microwave fields in a superconducting coplanar waveguide resonator

abstract: Rydberg helium atoms traveling in pulsed supersonic beams have been coupled to microwave fields in a superconducting coplanar waveguide (CPW) resonator. The atoms were initially prepared in the 1s55s $^3$S$_1$ Rydberg level by two-color two-photon laser excitation from the metastable 1s2s $^3$S$_1$ level. Two-photon microwave transitions between the 1s55s $^3$S$_1$ and 1s56s $^3$S$_1$ levels were then driven by the 19.556 GHz third-harmonic microwave field in a quarter-wave CPW resonator. This superconducting microwave resonator was fabricated from niobium nitride on a silicon substrate and operated at temperatures between 3.65 and 4.30 K. The populations of the Rydberg levels in the experiments were determined by state-selective pulsed electric field ionization. The coherence of the atom-resonator coupling was studied by time-domain measurements of Rabi oscillations.


title: Tailoring topological order and {\pi}-conjugation to engineer quasi-metallic polymers

abstract: Topological band theory provides a conceptual framework to predict or even engineer robust metallic states at the boundaries of topologically distinct phases. The bulk-boundary correspondence requires that a topological electronic phase transition between two insulators must proceed via closing of the electronic gap. Therefore, it can provide a conceptual solution to the instability of metallic phases in {\pi}-conjugated 1D polymers. In this work we predict and demonstrate that a clever design and on-surface synthesis of polymers consisting of 1D linearly bridged polyacene moieties, can position the resulting polymer near the topological transition from a trivial to a non-trivial quantum phase featuring a very narrow bandgap with in-gap zero-energy edge-states at the topologically non-trivial phase. We also reveal the fundamental connection between topological classes and electronic transformation of 1D {\pi}-conjugated polymers.


title: Multi-component scalar dark matter from a $Z_N$ symmetry: a systematic analysis

abstract: The dark matter may consist not of one elementary particle but of different species, each of them contributing a fraction of the observed dark matter density. A major theoretical difficulty with this scenario --dubbed multi-component dark matter-- is to explain the stability of these distinct particles. Imposing a single $Z_N$ symmetry, which may be a remnant of a spontaneously broken $U(1)$ gauge symmetry, seems to be the simplest way to simultaneously stabilize several dark matter particles. In this paper we systematically study scenarios for multi-component dark matter based on various $Z_N$ symmetries ($N\leq 10$) and with different sets of scalar fields charged under it. A generic feature of these scenarios is that the number of stable particles is not determined by the Lagrangian but depends on the relations among the masses of the different fields charged under the $Z_N$ symmetry. We explicitly obtain and illustrate the regions of parameter space that are consistent with up to five dark matter particles. For $N$ odd, all these particles turn out to be complex, whereas for $N$ even one of them may be real. Within this framework, many new models for multi-component dark matter can be implemented.


title: Finite-dimensional Hopf algebras over the Hopf algebra $H_{b:1}$ of Kashina

abstract: Let $H$ be the 16-dimensional nontrivial (namely, noncommutative and noncocommutative) semisimple Hopf algebra $H_{b:1}$ appeared in Kashina's work \cite{K00}. We obtain all simple Yetter-Drinfeld modules over $H$ and then determine all finite-dimensional Nichols algebras satisfying $\mathcal{B}(V)\cong \bigotimes_{i\in I}\mathcal{B}(V_i)$, where $V=\bigoplus_{i\in I}V_i$, each $V_i$ is a simple object in $_H^H\mathcal{YD}$. Finally, we describe all liftings of those $\mathcal{B}(V)$ over $H$.


title: Qubit Movement-Assisted Entanglement Swapping

abstract: In this paper, we propose a scheme to generate entanglement between two distant qubits (two-level atom) which are separately trapped in their own (in general) non-Markovian dissipative cavities by utilizing entangling swapping. We consider the case in which the qubits can move along their cavity axes rather than a static state of motion. We first examine the role of movement of the qubit by studying the entropy evolution for each subsystem. We calculate the average entropy over the initial states of the qubit. Then by performing a Bell state measurement on the fields leaving the cavities, we swap the entanglement between qubit-field in each cavity into qubit-qubit and field-field subsystems. We use the entangling power to measure the average amount of swapped entanglement over all possible pure initial states. Our results are presented in two weak and strong coupling regimes. Our results illustrate the positive role of the movement of the qubits on the swapped entanglement. It is revealed that by considering certain conditions for the initial state of qubits, it is possible to achieve a maximally long-leaving stationary entanglement (Bell state) which is entirely independent of the environmental variables as well as the velocity of qubits. This happens when the two qubits have the same velocities.


title: Cosmological Meaning of Geometric Curvatures

abstract: In this paper, we analyzed the physical meaning of scalar curvatures for a generalized Riemannian space. It is developed the Madsen's formulae for pressures and energy-densities with respect to the corresponding energy-momentum tensors. After that, the energy-momentum tensors, pressures, energy-densities and state-parameters are analyzed with respect to different concepts of generalized Riemannian spaces. At the end of this paper, linearities of the energy-momentum tensor, pressure, energy-density and the state-parameter are examined.


title: Production of highly charged ions of rare species by laser-induced desorption inside an electron beam ion trap

abstract: This paper reports on the development and testing of a novel, highly efficient technique for the injection of very rare species into electron beam ion traps (EBITs) for the production of highly charged ions (HCI). It relies on in-trap laser-induced desorption of atoms from a sample brought very close to the electron beam resulting in a very high capture efficiency in the EBIT. We have demonstrated a steady production of HCI of the stable isotope $^{165}\mathrm{Ho}$ from samples of only $10^{12}$ atoms ($\sim$ 300 pg) in charge states up to 45+. HCI of these species can be subsequently extracted for use in other experiments or stored in the trapping volume of the EBIT for spectroscopic measurements. The high efficiency of this technique expands the range of rare isotope HCIs available for high-precision nuclear mass and spectroscopic measurements. A first application of this technique is the production of HCI of the synthetic radioisotope $^{163}\mathrm{Ho}$ for a high-precision measurement of the $Q_{\mathrm{EC}}$-value of the electron capture in $^{163}\mathrm{Ho}$ within the Electron Capture in Holmium experiment (ECHo collaboration) ultimately leading to a measurement of the electron neutrino mass with an uncertainty on the sub-eV level.


title: A Polynomial Kernel for Funnel Arc Deletion Set

abstract: In Directed Feeback Arc Set (DFAS) we search for a set of at most $k$ arcs which intersect every cycle in the input digraph. It is a well-known open problem in parameterized complexity to decide if DFAS admits a kernel of polynomial size. We consider $\mathcal{C}$-Arc Deletion Set ($\mathcal{C}$-ADS), a variant of DFAS where we want to remove at most $k$ arcs from the input digraph in order to turn it into a digraph of a class $\mathcal{C}$. In this work, we choose $\mathcal{C}$ to be the class of funnels. Funnel-Arc Deletion Set is NP-hard even if the input is a DAG, but is fixed-parameter tractable with respect to $k$. So far no polynomial kernels for this problem were known. Our main result is a kernel for Funnel-Arc Deletion Set with $\mathcal{O}(k^6)$ many vertices and $\mathcal{O}(k^7)$ many arcs, computable in $\mathcal{O}(nm)$ time, where $n$ is the number of vertices and $m$ the number of arcs in the input digraph.


title: Real-time ultra-low power ECG anomaly detection using an event-driven neuromorphic processor

abstract: Accurate detection of pathological conditions in human subjects can be achieved through off-line analysis of recorded biological signals such as electrocardiograms (ECGs). However, human diagnosis is time-consuming and expensive, as it requires the time of medical professionals. This is especially inefficient when indicative patterns in the biological signals are infrequent. Moreover, patients with suspected pathologies are often monitored for extended periods, requiring the storage and examination of large amounts of non-pathological data, and entailing a difficult visual search task for diagnosing professionals. In this work we propose a compact and sub-mW low power neural processing system that can be used to perform on-line and real-time preliminary diagnosis of pathological conditions, to raise warnings for the existence of possible pathological conditions, or to trigger an off-line data recording system for further analysis by a medical professional. We apply the system to real-time classification of ECG data for distinguishing between healthy heartbeats and pathological rhythms. Multi-channel analog ECG traces are encoded as asynchronous streams of binary events and processed using a spiking recurrent neural network operated in a reservoir computing paradigm. An event-driven neuron output layer is then trained to recognize one of several pathologies. Finally, the filtered activity of this output layer is used to generate a binary trigger signal indicating the presence or absence of a pathological pattern. We validate the approach proposed using a Dynamic Neuromorphic Asynchronous Processor (DYNAP) chip, implemented using a standard 180 nm CMOS VLSI process, and present experimental results measured from the chip.


title: Anomaly Detection in Large Scale Networks with Latent Space Models

abstract: We develop a real-time anomaly detection algorithm for directed activity on large, sparse networks. We model the propensity for future activity using a dynamic logistic model with interaction terms for sender- and receiver-specific latent factors in addition to sender- and receiver-specific popularity scores; deviations from this underlying model constitute potential anomalies. Latent nodal attributes are estimated via a variational Bayesian approach and may change over time, representing natural shifts in network activity. Estimation is augmented with a case-control approximation to take advantage of the sparsity of the network and reduces computational complexity from $O(N^2)$ to $O(E)$, where $N$ is the number of nodes and $E$ is the number of observed edges. We run our algorithm on network event records collected from an enterprise network of over 25,000 computers and are able to identify a red team attack with half the detection rate required of the model without latent interaction terms.


title: Bounds on Multi-asset Derivatives via Neural Networks

abstract: Using neural networks, we compute bounds on the prices of multi-asset derivatives given information on prices of related payoffs. As a main example, we focus on European basket options and include information on the prices of other similar options, such as spread options and/or basket options on subindices. We show that, in most cases, adding further constraints gives rise to bounds that are considerably tighter and discuss the maximizing/minimizing copulas achieving such bounds. Our approach follows the literature on constrained optimal transport and, in particular, builds on a recent paper by Eckstein and Kupper (2019, Appl. Math. Optim.).


title: Time evolution of a Vlasov-Poisson plasma with different species and infinite mass in $\mathbb{R}^3$

abstract: We study existence and uniqueness of the solution to the Vlasov-Poisson system describing a plasma constituted by different species evolving in $\mathbb{R}^3$, whose particles interact via the Coulomb potential. The species can have both positive or negative charge. It is assumed that initially the particles are distributed according to a spatial density with a power-law decay in space, allowing for unbounded mass, and an exponential decay in velocities given by a Maxwell-Boltzmann law, extending a result obtained by the same authors, which was restricted to finite total mass.


title: Observational signatures of wormholes with thin accretion disks

abstract: We numerically construct images of thin accretion disks in rotating wormhole backgrounds, for the Kerr-like and the Teo class of wormholes. Our construction is illustrated by two methods, a semi-analytic scheme where separated null geodesic equations obtained by analytically integrating the second order equations once are used, as well as by a numerical ray-tracing method utilizing a fourth order Runge-Kutta algorithm. Our result shows dramatic differences between accretion disk images in wormhole backgrounds, compared to black hole ones, specifically because a wormhole can in principle have accretion disks on both sides of its throat. We establish the nature of the images if the observer and the disk are on two opposite sides of the throat, and show that these can provide conclusive observational evidence of wormhole geometries.


title: K-theoretic Hall algebras for quivers with potential

abstract: Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the cohomology of the stack of representations of $(Q,W)$. As shown by Davison-Meinhardt, this algebra comes with a filtration whose associated graded algebra is supercommutative. A special case of this construction is related to work of Nakajima, Varagnolo, Maulik-Okounkov etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $(\widetilde{Q},\widetilde{W})$ for which the CoHA is conjecturally the positive half of the Yangian $Y_{\text{MO}}(\mathfrak{g}_Q)$. The goal of this article is to extend these ideas to K-theory. More precisely, we construct a K-theoretic Hall algebra using category of singularities, define a filtration whose associated graded algebra is a deformation of a symmetric algebra, and compare the $\text{KHA}$ and the $\text{CoHA}$ using the Chern character. As before, we expect our construction for the special class of quivers $(\widetilde{Q},\widetilde{W})$ to recover the positive part of quantum affine algebra $U_q(\hat{\mathfrak{g}_Q})$ defined by Okounkov-Smirnov, but for general pairs $(Q,W)$ we expect new phenomena.


title: Phenomenology of GUT-inspired gauge-Higgs unification

abstract: We perform a detailed investigation of a Grand Unified Theory (GUT)-inspired theory of gauge-Higgs unification. Scanning the model's parameter space with adapted numerical techniques, we contrast the scenario's low energy limit with existing SM and collider search constraints. We discuss potential modifications of di-Higgs phenomenology at hadron colliders as sensitive probes of the gauge-like character of the Higgs self-interactions and find that for phenomenologically viable parameter choices modifications of the order of 20\% compared to the SM cross section can be expected. While these modifications are challenging to observe at the LHC, a future 100 TeV hadron collider might be able to constrain the scenario through more precise di-Higgs measurements. We point out alternative signatures that can be employed to constrain this model in the near future.


title: Towards exact solutions for the superconducting $T_c$ induced by electron-phonon interaction

abstract: Electron-phonon interaction plays an important role in metals and can lead to superconductivity and other instabilities. Previous theoretical studies on superconductivity are largely based on the Migdal-Eliashberg theory, which neglects all the vertex corrections to electron-phonon coupling and breaks down in many unconventional superconductors. Here, we go beyond the Migdal-Eliashberg approximation and develop a nonperturbative Dyson-Schwinger equation approach to deal with the superconducting transition. Remarkably, we take into account all the vertex corrections by solving two coupled Ward-Takahashi identities derived from two global U(1) symmetries and rigorously prove that the fully renormalized electron propagator satisfies a self-closed integral equation that is directly amenable to numerical computations. Our approach works equally well in the weak and strong coupling regimes and provides an efficient method to determine superconducting $T_c$ and other quantities. As an application, our approach is used to investigate the high-$T_c$ superconductivity in one-unit-cell FeSe/SrTiO$_3$.


title: Equivariant maps for measurable cocycles with values into higher rank Lie groups

abstract: Let $G$ a semisimple Lie group of non-compact type and let $\mathcal{X}_G$ be the Riemannian symmetric space associated to it. Suppose $\mathcal{X}_G$ has dimension $n$ and it has no factor isometric to either $\mathbb{H}^2$ or $\text{SL}(3,\mathbb{R})/\text{SO}(3)$. Given a closed $n$-dimensional Riemannian manifold $N$, let $\Gamma=\pi_1(N)$ be its fundamental group and $Y$ its universal cover. Consider a representation $\rho:\Gamma \rightarrow G$ with a measurable $\rho$-equivariant map $\psi:Y \rightarrow \mathcal{X}_G$. Connell-Farb described a way to construct a map $F:Y\rightarrow \mathcal{X}_G$ which is smooth, $\rho$-equivariant and with uniformly bounded Jacobian. In this paper we extend the construction of Connell-Farb to the context of measurable cocycles. More precisely, if $(\Omega,\mu_\Omega)$ is a standard Borel probability $\Gamma$-space, let $\sigma:\Gamma \times \Omega \rightarrow G$ be a measurable cocycle. We construct a measurable map $F: Y \times \Omega \rightarrow \mathcal{X}_G$ which is $\sigma$-equivariant, whose slices are smooth and they have uniformly bounded Jacobian. For such equivariant maps we define also the notion of volume and we prove a sort of mapping degree theorem in this particular context.


title: Multi-domain CT Metal Artifacts Reduction Using Partial Convolution Based Inpainting

abstract: Recent CT Metal Artifacts Reduction (MAR) methods are often based on image-to-image convolutional neural networks for adjustment of corrupted sinograms or images themselves. In this paper, we are exploring the capabilities of a multi-domain method which consists of both sinogram correction (projection domain step) and restored image correction (image-domain step). Moreover, we propose a formulation of the first step problem as sinogram inpainting which allows us to use methods of this specific field such as partial convolutions. The proposed method allows to achieve state-of-the-art (-75% MSE) improvement in comparison with a classic benchmark - Li-MAR.


title: Accurate Protein Structure Prediction by Embeddings and Deep Learning Representations

abstract: Proteins are the major building blocks of life, and actuators of almost all chemical and biophysical events in living organisms. Their native structures in turn enable their biological functions which have a fundamental role in drug design. This motivates predicting the structure of a protein from its sequence of amino acids, a fundamental problem in computational biology. In this work, we demonstrate state-of-the-art protein structure prediction (PSP) results using embeddings and deep learning models for prediction of backbone atom distance matrices and torsion angles. We recover 3D coordinates of backbone atoms and reconstruct full atom protein by optimization. We create a new gold standard dataset of proteins which is comprehensive and easy to use. Our dataset consists of amino acid sequences, Q8 secondary structures, position specific scoring matrices, multiple sequence alignment co-evolutionary features, backbone atom distance matrices, torsion angles, and 3D coordinates. We evaluate the quality of our structure prediction by RMSD on the latest Critical Assessment of Techniques for Protein Structure Prediction (CASP) test data and demonstrate competitive results with the winning teams and AlphaFold in CASP13 and supersede the results of the winning teams in CASP12. We make our data, models, and code publicly available.


title: Centralizers of partially hyperbolic diffeomorphisms in dimension 3

abstract: In this note we describe centralizers of volume preserving partially hyperbolic diffeomorphisms which are homotopic to identity on Seifert fibered and hyperbolic 3-manifolds. Our proof follows the strategy of Damjanovic, Wilkinson and Xu (arXiv:1902.05201) who recently classified the centralizer for perturbations of time-$1$ maps of geodesic flows in negative curvature. We strongly rely on recent classification results in dimension 3 established in (arXiv:1908.06227).


title: Revisiting the Human and Nature Dynamics model

abstract: We present a simple model for describing the dynamics of the interaction between a homogeneous population or society, and the natural resources and reserves that the society needs for its survival. The model is formulated in terms of ordinary differential equations, which are subsequently discretised, the discrete system providing a natural integrator for the continuous one. An ultradiscrete, generalised cellular automaton-like, model is also derived. The dynamics of our simple, three-component, model are particularly rich exhibiting either a route to a steady state or an oscillating, limit cycle-type regime or to a collapse. While these dynamical behaviours depend strongly on the choice of the details of the model, the important conclusion is that a collapse or near collapse, leading to the disappearance of the population or to a complete transfiguration of its societal model, is indeed possible.


title: An E2E Simulator for 5G NR Networks

abstract: As the specification of the new 5G NR standard proceeds inside 3GPP, the availability of a versatile, full-stack, End-to-End (E2E), and open source simulator becomes a necessity to extract insights from the recently approved 3GPP specifications. This paper presents an extension to ns-3, a well-known discrete-event network simulator, to support the NR Radio Access Network. The present work describes the design and implementation choices at the MAC and PHY layers, and it discusses a technical solution for managing different bandwidth parts. Finally, we present calibration results, according to 3GPP procedures, and we show how to get E2E performance indicators in a realistic deployment scenario, with special emphasis on the E2E latency.


title: On the Degrees of Freedom of the MISO Interference Broadcast Channel with Delayed CSIT

abstract: The Maddah-Ali and Tse (MAT) scheme is a linear precoding strategy that exploits Interference Alignment and perfect, but delayed, channel state information at the transmitters (delayed CSIT), improving the degrees of freedom (DoF) that can be achieved for the broadcast channel (BC). Since its appearance, many works have extended the concept of Retrospective Interference Alignment (RIA) to other multi-user channel configurations. However, little is known about the broadcast channel with multiple cells, i.e. the interference broadcast channel (IBC). In this work, the DoF are studied for the $K$-user $C$-cell multiple-input single-output (MISO) IBC with delayed CSIT (with $K/C$ users per cell). We show that the straightforward application of the MAT scheme over the IBC fails because it requires all interference to be received from the same source. Hence, in this case not all the interference can be cancelled, thus blocking the decoding of the received messages. We call this phenomenon as \textit{interference coupling}, forcing to use the MAT scheme by serving just one cell at a time. In this work, we propose an extension, namely the uncoupled MAT scheme (uMAT), exploiting multiple cells, uncoupling the interference, and achieving the best known DoF inner bound for almost all settings.


title: Energy density functional and sensitivity of energies of giant resonances to bulk nuclear matter properties

abstract: The development of a modern and more realistic nuclear energy density functional (EDF) for accurate predictions of properties of nuclei is the subject of enhanced activity, since it is very important for the study of properties of nuclear matter (NM), giant resonances and, in particular, of properties of rare nuclei with unusual neutron-to-proton ratios. Here, we provide a short review of the current status of the nuclear EDF and the theoretical results obtained for properties of nuclei and nuclear matter. We will first describe a method for determining the parameters of the EDF, associated with the Skyrme type effective interaction, by carrying out a Hartree-Fock based fit to extensive set of data of ground state properties and constraints. We will then describe the fully self-consistent Hartree-Fock based random-phase-approximation theory for calculating the strength functions S(E) and centroid energies E_CEN of giant resonances and provide results for E_CEN of isoscalar and isovector giant resonances of multipolarities L=0-3 for a wide range of spherical nuclei, using 33 EDFs associated with standard form of the Skyrme type interactions, commonly employed in the literature. We investigate the sensitivities E_CEN of the giant resonances to bulk properties of NM and determine constraints on NM properties, such as the incompressibility coefficient and effective mass, by comparing with experimental data on E_CEN of giant resonances.


title: Low regularity well-posedness for the Yang-Mills system in Fourier-Lebesgue spaces

abstract: The Cauchy problem for the Yang-Mills system in three space dimensions with data in Fourier-Lebesgue spaces $\hat{H}^{s,r}$ , $1 < r \le 2$ , is shown to be locally well-posed, where we have to assume only almost optimal minimal regularity for the data with respect to scaling as $r \to 1$ . This is true despite of the fact that no null condition is known for one of the critical quadratic nonlinearities, which prevented by now the corresponding result in the classical case $r=2$ with data in standard Sobolev spaces.


title: Optimality regions for designs in multiple linear regression models with correlated random coefficients

abstract: This paper studies optimal designs for linear regression models with correlated effects for single responses. We introduce the concept of rhombic design to reduce the computational complexity and find a semi-algebraic description for the D-optimality of a rhombic design via the Kiefer-Wolfowitz equivalence theorem. Subsequently, we show that the structure of an optimal rhombic design depends directly on the correlation structure of the random coefficients.


title: Enabling Opportunistic Users in Multi-Tenant IoT Systems using Decentralized Identifiers and Permissioned Blockchains

abstract: In this work, we leverage advances in decentralized identifiers and permissioned blockchains to build a flexible user authentication and authorization mechanism that offers enhanced privacy, achieves fast revocation, and supports distributed "policy decision points" executed in mutually untrusted entities. The proposed solution can be applied in multi-tenant "IoT hubs" that interconnect diverse IoT silos and enable authorization of "guest" users, i.e., opportunistic users that have no trust relationship with the system, which has not encountered or known them before.


title: Local passivity and entanglement in shared quantum batteries

abstract: We identify the conditions for local passivity for shared quantum batteries with local Hamiltonians. For locally passive states of two-qubit batteries, we find the relation of their entanglement content with the amount of energy that can be globally extracted from them. Moreover, we obtain that the deficit in work extraction from pure battery states due to the restriction to local unitaries is equal to the amount of optimal global work extractable from the corresponding pure locally passive battery state, for the same entanglement supply. Furthermore, the pure battery state for which globally extractable work attains a maximum, among the set of all pure states with a fixed value of entanglement, also provides the maximum locally extractable work.


title: Vehicle-Rear: A New Dataset to Explore Feature Fusion for Vehicle Identification Using Convolutional Neural Networks

abstract: This work addresses the problem of vehicle identification through non-overlapping cameras. As our main contribution, we introduce a novel dataset for vehicle identification, called Vehicle-Rear, that contains more than three hours of high-resolution videos, with accurate information about the make, model, color and year of nearly 3,000 vehicles, in addition to the position and identification of their license plates. To explore our dataset we design a two-stream CNN that simultaneously uses two of the most distinctive and persistent features available: the vehicle's appearance and its license plate. This is an attempt to tackle a major problem: false alarms caused by vehicles with similar designs or by very close license plate identifiers. In the first network stream, shape similarities are identified by a Siamese CNN that uses a pair of low-resolution vehicle patches recorded by two different cameras. In the second stream, we use a CNN for OCR to extract textual information, confidence scores, and string similarities from a pair of high-resolution license plate patches. Then, features from both streams are merged by a sequence of fully connected layers for decision. In our experiments, we compared the two-stream network against several well-known CNN architectures using single or multiple vehicle features. The architectures, trained models, and dataset are publicly available at https://github.com/icarofua/vehicle-rear.


title: IStego100K: Large-scale Image Steganalysis Dataset

abstract: In order to promote the rapid development of image steganalysis technology, in this paper, we construct and release a multivariable large-scale image steganalysis dataset called IStego100K. It contains 208,104 images with the same size of 1024*1024. Among them, 200,000 images (100,000 cover-stego image pairs) are divided as the training set and the remaining 8,104 as testing set. In addition, we hope that IStego100K can help researchers further explore the development of universal image steganalysis algorithms, so we try to reduce limits on the images in IStego100K. For each image in IStego100K, the quality factors is randomly set in the range of 75-95, the steganographic algorithm is randomly selected from three well-known steganographic algorithms, which are J-uniward, nsF5 and UERD, and the embedding rate is also randomly set to be a value of 0.1-0.4. In addition, considering the possible mismatch between training samples and test samples in real environment, we add a test set (DS-Test) whose source of samples are different from the training set. We hope that this test set can help to evaluate the robustness of steganalysis algorithms. We tested the performance of some latest steganalysis algorithms on IStego100K, with specific results and analysis details in the experimental part. We hope that the IStego100K dataset will further promote the development of universal image steganalysis technology. The description of IStego100K and instructions for use can be found at https://github.com/YangzlTHU/IStego100K