title: Real-time Recognition of Smartphone User Behavior Based on Prophet Algorithms

abstract: Although the traditional physical password, fingerprint unlocking and facial features have improved the security to a certain extent, they have the characteristics of passive authentication and easiness to be stolen. The existing behavioral data collected based on mobile phone sensors is mainly used for human activity recognition and fall detection and health management. Prophet is a procedure for forecasting time series data based on an additive model where non-linear trends are fit with yearly, weekly, and daily seasonality, plus holiday effects. It works best with time series that have strong seasonal effects and several seasons of historical data. Prophet is robust to missing data and shifts in the trend, and typically handles outliers well. Based on the time series behavior data of mobile terminal users, this paper uses Prophet algorithm to decompose the time series of six kinds of daily behavior and strip off the singular value, to get the inherent cycle and trend of each behavior, and to verify the legitimacy of the behavior user at the next moment. The experimental results on the UniMiB SHAR public dataset show that the user only needs to do 2 cycles of specified actions to realize the prediction of the next time series. The main contribution of this paper is that we propose a new idea for smartphone user authentication. It is based on real-time data of smartphone user behavior, through Phophet algorithm for feature decomposition and time series prediction, and to find the inherent cycle and other characteristics, so as to perform user behavior recognition. This data-driven auxiliary authentication method can effectively solve the problem of easy forgery of static feature recognition such as password, fingerprint and face recognition.


title: Strong Equivalence for LPMLN Programs

abstract: LPMLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. We study the concept of strong equivalence in LPMLN, which is a useful mathematical tool for simplifying a part of an LPMLN program without looking at the rest of it. We show that the verification of strong equivalence in LPMLN can be reduced to equivalence checking in classical logic via a reduct and choice rules as well as to equivalence checking under the "soft" logic of here-and-there. The result allows us to leverage an answer set solver for LPMLN strong equivalence checking. The study also suggests us a few reformulations of the LPMLN semantics using choice rules, the logic of here-and-there, and classical logic.


title: Branch prediction related Optimizations for Multithreaded Processors

abstract: Major chip manufacturers have all introduced Multithreaded processors. These processors are used for running a variety of workloads. Efficient resource utilization is an important design aspect in such processors. Depending on the workload, mis-speculated execution can severely impact resource utilization and power utilization. In general, compared to a uniprocessor, a multithreaded processor may have better tolerance towards mis-speculation. However there can still be phases where even a multi-threaded processor performance may get impacted by branch induced mis-speculation. In this paper I propose monitoring the branch predictor behavior of various hardware threads running on the multi-threaded processor and use that information as a feedback to the thread arbiter/picker which schedules the next thread to fetch instructions from. If I find that a particular thread is going through a phase where it is consistently mis-predicting its branches and its average branch misprediction stall is above a specific threshold then I temporarily reduce the priority for picking that thread. I do a qualitative comparison of various solutions to the problem of resource inefficiency caused due to mis-speculated branches in multithreaded processors. This work can be extended by doing a quantitative evaluation.


title: Asymptotic behavior of dispersive electromagnetic waves in bounded domains

abstract: We analyze the stability of Maxwell equations in bounded domains taking into account electric and magnetization effects. Well-posedness of the model is obtained by means of semigroup theory. A passitivity assumption guarantees the boundedness of the associated semigroup. Further the exponential or polynomial decay of the energy is proved under suitable sufficient conditions. Finally, several illustrative examples are presented.


title: CogniVal: A Framework for Cognitive Word Embedding Evaluation

abstract: An interesting method of evaluating word representations is by how much they reflect the semantic representations in the human brain. However, most, if not all, previous works only focus on small datasets and a single modality. In this paper, we present the first multi-modal framework for evaluating English word representations based on cognitive lexical semantics. Six types of word embeddings are evaluated by fitting them to 15 datasets of eye-tracking, EEG and fMRI signals recorded during language processing. To achieve a global score over all evaluation hypotheses, we apply statistical significance testing accounting for the multiple comparisons problem. This framework is easily extensible and available to include other intrinsic and extrinsic evaluation methods. We find strong correlations in the results between cognitive datasets, across recording modalities and to their performance on extrinsic NLP tasks.


title: Low Diameter Graph Decompositions by Approximate Distance Computation

abstract: In many models for large-scale computation, decomposition of the problem is key to efficient algorithms. For distance-related graph problems, it is often crucial that such a decomposition results in clusters of small diameter, while the probability that an edge is cut by the decomposition scales linearly with the length of the edge. There is a large body of literature on low diameter graph decomposition with small edge cutting probabilities, with all existing techniques heavily building on single source shortest paths (SSSP) computations. Unfortunately, in many theoretical models for large-scale computations, the SSSP task constitutes a complexity bottleneck. Therefore, it is desirable to replace exact SSSP computations with approximate ones. However this imposes a fundamental challenge since the existing constructions of such decompositions inherently rely on the subtractive form of the triangle inequality. The current paper overcomes this obstacle by developing a technique termed blurry ball growing. By combining this technique with a clever algorithmic idea of Miller et al. (SPAA 13), we obtain a construction of low diameter decompositions with small edge cutting probabilities which replaces exact SSSP computations by (a small number of) approximate ones. The utility of our approach is showcased by deriving efficient algorithms that work in the Congest, PRAM, and semi-streaming models of computation. As an application, we obtain metric tree embedding algorithms in the vein of Bartal (FOCS 96) whose computational complexities in these models are optimal up to polylogarithmic factors. Our embeddings have the additional useful property that the tree can be mapped back to the original graph such that each edge is "used" only O(log n) times, which is of interest for capacitated problems and simulating Congest algorithms on the tree into which the graph is embedded.


title: Graph Neural Networks for Human-aware Social Navigation

abstract: Autonomous navigation is a key skill for assistive and service robots. To be successful, robots have to navigate avoiding going through the personal spaces of the people surrounding them. Complying with social rules such as not getting in the middle of human-to-human and human-to-object interactions is also important. This paper suggests using Graph Neural Networks to model how inconvenient the presence of a robot would be in a particular scenario according to learned human conventions so that it can be used by path planning algorithms. To do so, we propose two ways of modelling social interactions using graphs and benchmark them with different Graph Neural Networks using the SocNav1 dataset. We achieve close-to-human performance in the dataset and argue that, in addition to promising results, the main advantage of the approach is its scalability in terms of the number of social factors that can be considered and easily embedded in code, in comparison with model-based approaches. The code used to train and test the resulting graph neural network is available in a public repository.


title: Classification of Open and Closed Convex Codes on Five Neurons

abstract: Neural codes, represented as collections of binary strings, encode neural activity and show relationships among stimuli. Certain neurons, called place cells, have been shown experimentally to fire in convex regions in space. A natural question to ask is: Which neural codes can arise as intersection patterns of convex sets? While past research has established several criteria, complete conditions for convexity are not yet known for codes with more than four neurons. We classify all neural codes with five neurons as convex/non-convex codes. Furthermore, we investigate which of these codes can be represented by open versus closed convex sets. Interestingly, we find a code which is an open but not closed convex code and demonstrate a minimal example for this phenomenon.


title: Metadynamics for Automatic Sampling of Quantum Property Manifolds: Exploration of Molecular Biradicality Landscapes

abstract: We present a general extension of the metadynamics allowing for an automatic sampling of quantum property manifolds (ASQPM) giving rise to functional landscapes that are analogous to the potential energy surfaces in the frame of the Born-Oppenheimer approximation. For this purpose, we employ generalized electronic collective variables to carry out biased molecular dynamics simulations in the framework of quantum chemical methods that explore the desired property manifold. We illustrate our method on the example of the "biradicality landscapes", which we explore by introducing the natural orbital occupation numbers (NOONs) as the electronic collective variable driving the dynamics. We demonstrate the applicability of the method on the simulation of \textit{p}-xylylene and [8]annulene allowing to automatically extract the biradical geometries. In the case of [8]annulene the ASQPM metadynamics leads to the prediction of biradical scaffolds that can be stabilized by a suitable chemical substitution, leading to the design of novel functional molecules exhibiting biradical functionality.


title: APIR-Net: Autocalibrated Parallel Imaging Reconstruction using a Neural Network

abstract: Deep learning has been successfully demonstrated in MRI reconstruction of accelerated acquisitions. However, its dependence on representative training data limits the application across different contrasts, anatomies, or image sizes. To address this limitation, we propose an unsupervised, auto-calibrated k-space completion method, based on a uniquely designed neural network that reconstructs the full k-space from an undersampled k-space, exploiting the redundancy among the multiple channels in the receive coil in a parallel imaging acquisition. To achieve this, contrary to common convolutional network approaches, the proposed network has a decreasing number of feature maps of constant size. In contrast to conventional parallel imaging methods such as GRAPPA that estimate the prediction kernel from the fully sampled autocalibration signals in a linear way, our method is able to learn nonlinear relations between sampled and unsampled positions in k-space. The proposed method was compared to the start-of-the-art ESPIRiT and RAKI methods in terms of noise amplification and visual image quality in both phantom and in-vivo experiments. The experiments indicate that APIR-Net provides a promising alternative to the conventional parallel imaging methods, and results in improved image quality especially for low SNR acquisitions.


title: Community Detection Across Multiple Social Networks based on Overlapping Users

abstract: With the rapid development of Internet technology, online social networks (OSNs) have got fast development and become increasingly popular. Meanwhile, the research works across multiple social networks attract more and more attention from researchers, and community detection is an important one across OSNs for online security problems, such as the user behavior analysis and abnormal community discovery. In this paper, a community detection method is proposed across multiple social networks based on overlapping users. First, the concept of overlapping users is defined, then an algorithm CMN NMF is designed to discover the stub communities from overlapping users based on the social relevance. After that, we extend each stub community in different social networks by adding the users with strong similarity, and in the end different communities are excavated out across networks. Experimental results show the advantage on effectiveness of our method over other methods under real data sets.


title: Formation of a Te-Ag Honeycomb Alloy: A New Type of Two-Dimensional Material

abstract: Inspired by the unique properties of graphene, the focus in the literature is now on investigations of various two-dimensional (2D) materials with the aim to explore their properties for future applications. The group IV analogues of graphene, i.e., silicene, germanene and stanene have been intensively studied in recent years. However, their semi-metallic band structures hamper their use in electronic applications. Hence, the synthesis of 2D materials with band gaps of various sizes has attracted a large interest. Here, we report a successful preparation of a 2D Te-Ag binary alloy with a honeycomb structure. Angle-resolved photoelectron spectroscopy (ARPES) in combination with first-principles calculations using density functional theory (DFT) confirmed the formation of this binary alloy. The semiconducting property is verified by the ARPES data and a direct gap of ~0.7 eV is predicted by the DFT calculations.


title: Methods to Estimate Surface Roughness Length for Offshore Wind Energy

abstract: The northeastern coast of the U.S. is projected to expand its offshore wind capacity from the existing 30 MW to over 22 GW in the next decade. Yet, only a few wind measurements are available in the region and none at hub height, thus extrapolations are needed to estimate wind speed as a function of height. A common method is the log-law, which is based on surface roughness length (z0). No reliable estimates of z0 for the region have been presented in the literature. Here, we fill this knowledge gap using two field campaigns that were conducted in the Nantucket Sound at the Cape Wind (CW) platform. We tested three different methods to calculate z0: 1) analytical, dependent on friction velocity u* and a stability function psi; 2) the Charnock relationship between z0 and u*; and 3) a statistical method based on wind speed observed at the three levels. The first two methods are physical, whereas the statistical method is purely mathematical. Comparing mean and median of z0, we find that the median is a more robust statistics. In general, the median z0 exhibits little seasonal variability and a weak dependency on atmospheric stability, which was predominantly unstable (54-67%). The statistical method, despite delivering unrealistic z0 values at times, gives the best estimates of 60-m winds. The unrealistic z0 values are caused by non-monotonic wind speed profiles, occurring about 41% of the time, and should not be rejected because they produce realistic fits. In summary, if wind speed data from multiple levels are available, the statistical method is recommended. If multi-level wind speeds are not available but advanced sonic anemometry is available at one level, the analytical method is recommended over the Charnock's. If a constant value of z0 is sought after to characterize the region, we recommend the median from the statistical method, i.e., 6.09*10^(-3) m.


title: A Random Gossip BMUF Process for Neural Language Modeling

abstract: Neural network language model (NNLM) is an essential component of industrial ASR systems. One important challenge of training an NNLM is to leverage between scaling the learning process and handling big data. Conventional approaches such as block momentum provides a blockwise model update filtering (BMUF) process and achieves almost linear speedups with no performance degradation for speech recognition. However, it needs to calculate the model average from all computing nodes (e.g., GPUs) and when the number of computing nodes is large, the learning suffers from the severe communication latency. As a consequence, BMUF is not suitable under restricted network conditions. In this paper, we present a decentralized BMUF process, in which the model is split into different components, each of which is updated by communicating to some randomly chosen neighbor nodes with the same component, followed by a BMUF-like process. We apply this method to several LSTM language modeling tasks. Experimental results show that our approach achieves consistently better performance than conventional BMUF. In particular, we obtain a lower perplexity than the single-GPU baseline on the wiki-text-103 benchmark using 4 GPUs. In addition, no performance degradation is observed when scaling to 8 and 16 GPUs.


title: Optimal Policies of Advanced Sleep Modes for Energy-Efficient 5G networks

abstract: We study in this paper optimal control strategy for Advanced Sleep Modes (ASM) in 5G networks. ASM correspond to different levels of sleep modes ranging from deactivation of some components of the base station for several micro-seconds to switching off of almost all of them for one second or more. ASMs are made possible in 5G networks thanks to the definition of so-called lean carrier radio access which allows for configurable signaling periodicities. We model such a system using Markov Decision Processes (MDP) and find optimal sleep policy in terms of a trade-off between saved power consumption versus additional incurred delay for user traffic which has to wait for the network components to be woken-up and serve it. Eventually, for the system not to oscillate between sleep levels, we add a switching component in the cost function and show its impact on the energy reduction versus delay trade-off.


title: Angular characterization of spin-orbit torque and thermoelectric effects

abstract: Arising from the interplay between charge, spin and orbital of electrons, spin-orbit torque (SOT) has attracted immense interest in the past decade. Despite vast progress, the existing quantification methods of SOT still have their respective restrictions on the magnetic anisotropy, the entanglement between SOT effective fields, and the artifacts from the thermal gradient and the planar Hall effect, etc. Thus, accurately characterizing SOT across diverse samples remains as a critical need. In this work, with the aim of removing the afore-mentioned restrictions, thus enabling the universal SOT quantification, we report the characterization of the sign and amplitude of SOT by angular measurements. We first validate the applicability of our angular characterization in a perpendicularly magnetized Pt/Co-Ni heterostructure by showing excellent agreements to the results of conventional quantification methods. Remarkably, the thermoelectric effects, i.e., the anomalous Nernst effect (ANE) arising from the temperature gradient can be self-consistently disentangled and quantified from the field dependence of the angular characterization. The superiority of this angular characterization has been further demonstrated in a Cu/CoTb/Cu sample with large ANE but negligible SOT, and in a Pt/Co-Ni sample with weak perpendicular magnetic anisotropy (PMA), for which the conventional quantification methods are not applicable and even yield fatal error. By providing a comprehensive and versatile way to characterize SOT and thermoelectric effects in diverse heterostructures, our results pave the important foundation for the spin-orbitronic study as well as the interdisciplinary research of thermal spintronic.


title: Applicability of molecular statics simulation to partial dislocations in GaAs

abstract: The suitability of molecular statics (MS) simulations to model the structure of 90{\deg} glide set partial dislocation cores in GaAs is analyzed. In the MS simulations the atomic positions are iteratively relaxed by energy minimization, for which a Tersoff potential parametrization appropriate for nanostructures has been used. We show that for the Ga terminated partial the resulting bond lengths of the atoms in the dislocation core agree within 5-10% with those of previous density functional theory studies, whereas a significant discrepancy appears in the case of the As terminated partial.


title: Fixes to the Ryden & McNeil Ammonia Flux Model

abstract: We propose two simple fixes to the Ryden and McNeil ammonia flux model. These are necessary to prevent estimates from becoming unphysical, which very often happens and which has not yet been noted in the literature. The first fix is to constrain the limits of certain of the model's parameters; without this limit, estimates from the model are seen to produce absurd values. The second is to estimate a point at which additional contributions of atmospheric ammonia are not part of a planned expert but are the result of natural background levels. These two fixes produce results that are everywhere physical. Some experiment types, such as surface broadcast, are not well cast in the Ryden and McNeil scheme, and lead to over-estimates of atmospheric ammonia.


title: Designing large pixelated CdTe detection planes for hard X-ray transients detection

abstract: We discuss the need for very large detection planes for the detection of hard X-ray transients in the multi-messenger era that started with the quasi-simultaneous detection of GRB~170817A by \textit{Fermi}/GBM and \textit{INTEGRAL}/SPI on one hand and the gravitational waves event GW 170817, detected by the LVC collaboration, on the other hand. Then, we present a brief survey of current and future instruments and their expected sensitivity, pointing the fact that the gain in the number of GRBs is achieved by future projects thanks to their larger field of view rather than to their larger effective area. Based on our experience with \textit{SVOM}/ECLAIRs, we then address various problems associated with the realization of very large detection planes (\mbox{$\ge 1 \mathrm m^{2}$}), and we demonstrate that CdTe detectors are well suited for this task. We conclude with a discussion of some key parameters that must be taken into account in the realization of instruments based on these detectors. We hope that this paper will motivate the elaboration of detailed proposals of large area wide-field hard X-ray monitors that will be crucially needed in the next decade.


title: Ensemble approach for generalized network dismantling

abstract: Finding a set of nodes in a network, whose removal fragments the network below some target size at minimal cost is called network dismantling problem and it belongs to the NP-hard computational class. In this paper, we explore the (generalized) network dismantling problem by exploring the spectral approximation with the variant of the power-iteration method. In particular, we explore the network dismantling solution landscape by creating the ensemble of possible solutions from different initial conditions and a different number of iterations of the spectral approximation.


title: Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models

abstract: We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem. In the HUIM problem, feature values and their importance are treated as transactions and utilities respectively. We make use of TreeExplainer, a fast and scalable implementation of the Explainable AI tool SHAP, to extract locally important features and their weights from ensemble tree models. Our experiments with UCI standard benchmarks suggest a significant improvement in terms of classification evaluation metrics and running time of the training algorithm compared to ALEPH, a state-of-the-art Inductive Logic Programming (ILP) system.


title: Corporate IT-support Help-Desk Process Hybrid-Automation Solution with Machine Learning Approach

abstract: Comprehensive IT support teams in large scale organizations require more man power for handling engagement and requests of employees from different channels on a 24*7 basis. Automated email technical queries help desk is proposed to have instant real-time quick solutions and email categorisation. Email topic modelling with various machine learning, deep-learning approaches are compared with different features for a scalable, generalised solution along with sure-shot static rules. Email's title, body, attachment, OCR text, and some feature engineered custom features are given as input elements. XGBoost cascaded hierarchical models, Bi-LSTM model with word embeddings perform well showing 77.3 overall accuracy For the real world corporate email data set. By introducing the thresholding techniques, the overall automation system architecture provides 85.6 percentage of accuracy for real world corporate emails. Combination of quick fixes, static rules, ML categorization as a low cost inference solution reduces 81 percentage of the human effort in the process of automation and real time implementation.


title: High order asymptotic expansion for Wiener functionals

abstract: By combining the Malliavin calculus with Fourier techniques, we develop a high-order asymptotic expansion theory for a sequence of vector-valued random variables. Our asymptotic expansion formulas give the development of the characteristic functional and of the local density of the random vectors up to an arbitrary order. We analyzed in details an example related to the wave equation with space-time white noise which also provides interesting facts on the correlation structure of the solution to this equation.


title: Shape and Time Distortion Loss for Training Deep Time Series Forecasting Models

abstract: This paper addresses the problem of time series forecasting for non-stationary signals and multiple future steps prediction. To handle this challenging task, we introduce DILATE (DIstortion Loss including shApe and TimE), a new objective function for training deep neural networks. DILATE aims at accurately predicting sudden changes, and explicitly incorporates two terms supporting precise shape and temporal change detection. We introduce a differentiable loss function suitable for training deep neural nets, and provide a custom back-prop implementation for speeding up optimization. We also introduce a variant of DILATE, which provides a smooth generalization of temporally-constrained Dynamic Time Warping (DTW). Experiments carried out on various non-stationary datasets reveal the very good behaviour of DILATE compared to models trained with the standard Mean Squared Error (MSE) loss function, and also to DTW and variants. DILATE is also agnostic to the choice of the model, and we highlight its benefit for training fully connected networks as well as specialized recurrent architectures, showing its capacity to improve over state-of-the-art trajectory forecasting approaches.


title: Strong decays of the explicitly exotic doubly charmed $DDK$ bound state

abstract: Nowadays, it is generally accepted that the $DK$ interaction in isospin zero is strongly attractive and the $D_{s0}^*(2317)$ can be described as a $DK$ molecular state. Recent studies show that the three-body $DDK$ system binds as well with a binding energy about 60$\sim$70 MeV. The $DDK$ bound state has isospin $1/2$ and spin-parity $0^-$. If discovered either experimentally or in lattice QCD, it will not only provide further support on the molecular nature of the $D_{s0}^*(2317)$, but also provide a way to understand other exotic hadrons expected to be of molecular nature. In the present work, we study its two-body strong decay widths via triangle diagrams. We find that the partial decay width into $DD_s\pi$ is at the order of $2\sim3$ MeV, which seems to be within the reach of the current experiments such as BelleII. As a result, we strongly recommend this decay channel of the $DDK$ bound state to be searched for experimentally.


title: SNIF: The SuperNova Interactive Fitter

abstract: We present an online application, the SuperNova Interactive Fitter (SNIF), which can be used to interactively fit one-zone, analytical models to optical transient light curves powered by (1) the radioactive decay of 56Ni, (2) the spin-down of newly born magnetars, or (3) the interaction between supernova ejecta and pre-existing circumstellar material. This application utilizes the Open Astronomy Catalogs API to connect the user to thousands of publicly available transient light curves from the literature.


title: Systoles and Lagrangians of random complex algebraic hypersurfaces

abstract: Let $n\geq 1$ be an integer, $\mathcal L \subset \mathbb{R}^n$ be a compact smooth affine real hypersurface, not necessarily connected. We prove that there exists $c>0$ and $d_0\geq 1$, such that for any $d\geq d_0$, any smooth complex projective hypersurface $Z$ in $\mathbb{C} P^n$ of degree $d$ contains at least $ c\dim H_*(Z, \mathbb{R})$ disjoint Lagrangian submanifolds diffeomorphic to $\mathcal L$, where $Z$ is equipped with the restriction of the Fubini-Study symplectic form. If moreover the connected components of $\mathcal L$ have non vanishing Euler characteristic, which implies that $n$ is odd, the latter Lagrangian submanifolds form an independent family of $H_{n-1}(Z, \mathbb{R})$. We use a probabilistic argument for the proof inspired by a result by J.-Y. Welschinger and the author on random real algebraic geometry, together with quantitative Moser-type constructions. For $n=2$, the method provides a uniform positive lower bound for the probability that a projective complex curve in $\mathbb{C} P^2$ of given degree equipped with the restriction of the ambient metric has a systole of small size, which is an analog to a similar bound for hyperbolic curves given by M. Mirzakhani. Our results hold in the more general setting of vanishing loci of holomorphic sections of vector bundles of rank between 1 and $n$ tensoredby a large power of an ample line bundle over a projective complex $n$-manifold.


title: WEnets: A Convolutional Framework for Evaluating Audio Waveforms

abstract: We describe a new convolutional framework for waveform evaluation, WEnets, and build a Narrowband Audio Waveform Evaluation Network, or NAWEnet, using this framework. NAWEnet is single-ended (or no-reference) and was trained three separate times in order to emulate PESQ, POLQA, or STOI with testing correlations 0.95, 0.92, and 0.95, respectively when training on only 50% of available data and testing on 40%. Stacks of 1-D convolutional layers and non-linear downsampling learn which features are important for quality or intelligibility estimation. This straightforward architecture simplifies the interpretation of its inner workings and paves the way for future investigations into higher sample rates and accurate no-reference subjective speech quality predictions.


title: Impact of the Hall effect in star formation : improving the angular momentum conservation

abstract: We present here a minor modification of our numerical implementation of the Hall effect for the 2D Riemann solver used in Constrained Transport schemes, as described in Marchand et al. (2018). In the previous work, the tests showed that the angular momentum was not conserved during protostellar collapse simulations, with significant impact. By removing the whistler waves speed from the characteristic speeds of non-magnetic variables in the 1D Riemann solver, we are able to improve the angular momentum conservation in our test-case by one order of magnitude, while keeping the second-order numerical convergence of the scheme. We also reproduce the simulations of Tsukamoto et al. (2015) with consistent resistivities, the three non-ideal MHD effects and initial rotation, and agree with their results. In this case, the violation of angular momentum conservation is negligible in regard to the total angular momentum and the angular momentum of the disk.


title: Growing fluctuation of quantum weak invariant and dissipation

abstract: The concept of weak invariants has recently been introduced in the context of conserved quantities in finite-time processes in nonequilibrium quantum thermodynamics. A weak invariant itself has a time-dependent spectrum, but its expectation value remains constant under time evolution defined by a relevant master equation. Although its expectation value is thus conserved by definition, its fluctuation is not. Here, time evolution of such a fluctuation is studied. It is shown that if the subdynamics is given by a completely positive map, then the fluctuation of the associated weak invariant does not decrease in time. It is also shown, in the case of the Lindblad equation, how the growth rate of the fluctuation is connected to the dissipator. As examples, the harmonic oscillator with a time-dependent frequency and the spin in a varying external magnetic field are discussed, and the fluctuations of their Hamiltonians as the weak invariants are analyzed. Furthermore, a general relation is presented for the specific heat and temperature of any subsystem near equilibrium following the slow Markovian isoenergetic process.


title: On the baryon-color-flavor (BCF) anomaly in vector-like theories

abstract: We consider the most general fractional background fluxes in the color, flavor, and baryon number directions, compatible with the faithful action of the global symmetry of a given theory. We call the obstruction to gauging symmetries revealed by such backgrounds the baryon-color-flavor (BCF) 't Hooft anomaly. We apply the BCF anomaly to vector-like theories, with fermions in higher-dimensional representations of arbitrary N-ality, and derive non-trivial constraints on their IR dynamics. In particular, this class of theories enjoys an independent discrete chiral symmetry and one may ask about the fate of this symmetry in the background of BCF fluxes. We show that, under certain conditions, an anomaly between the chiral symmetry and the BCF background rules out massless composite fermions as the sole player in the IR: either the composites do not form or additional contributions to the matching of the BCF anomaly are required. We can also give a flavor-symmetric mass to the fermions, smaller than or of order the strong scale of the theory, and examine the $\theta$-angle periodicity of the theory in the BCF background. Interestingly, we find that the conditions that rule out the composites are the exact same conditions that lead to an anomaly of the $\theta$ periodicity: the massive theory will experience a phase transition as we vary $\theta$ from $0$ to $2\pi$.


title: Four equivalent properties of integrable billiards

abstract: By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net. Let us say that a geodesically convex curve on a Riemannian surface has the Poritsky property if it can be parametrized in such a way that all of its string diffeomorphisms are shifts with respect to this parameter. In 1950, Poritsky has shown that the only closed plane curves with this property are ellipses. In the present article we show that a curve on a Riemannian surface has the Poritsky property if and only if it is a coordinate curve of a Liouville net. We also recall Blaschke's derivation of the Liouville property from the Ivory property and his proof of Weihnacht's theorem: the only Liouville nets in the plane are nets of confocal conics and their degenerations. This suggests the following generalization of Birkhoff's conjecture: If an interior neighborhood of a closed geodesically convex curve on a Riemannian surface is foliated by billiard caustics, then the metric in the neighborhood is Liouville, and the curve is one of the coordinate lines.


title: DIRE: A Neural Approach to Decompiled Identifier Naming

abstract: The decompiler is one of the most common tools for examining binaries without corresponding source code. It transforms binaries into high-level code, reversing the compilation process. Decompilers can reconstruct much of the information that is lost during the compilation process (e.g., structure and type information). Unfortunately, they do not reconstruct semantically meaningful variable names, which are known to increase code understandability. We propose the Decompiled Identifier Renaming Engine (DIRE), a novel probabilistic technique for variable name recovery that uses both lexical and structural information recovered by the decompiler. We also present a technique for generating corpora suitable for training and evaluating models of decompiled code renaming, which we use to create a corpus of 164,632 unique x86-64 binaries generated from C projects mined from GitHub. Our results show that on this corpus DIRE can predict variable names identical to the names in the original source code up to 74.3% of the time.


title: Trees of tangles in abstract separation systems

abstract: We prove canonical and non-canonical tree-of-tangles theorems for abstract separation systems that are merely structurally submodular. Our results imply all known tree-of-tangles theorems for graphs, matroids and abstract separation systems with submodular order functions, with greatly simplified and shortened proofs.


title: Argumentative Relation Classification as Plausibility Ranking

abstract: We formulate argumentative relation classification (support vs. attack) as a text-plausibility ranking task. To this aim, we propose a simple reconstruction trick which enables us to build minimal pairs of plausible and implausible texts by simulating natural contexts in which two argumentative units are likely or unlikely to appear. We show that this method is competitive with previous work albeit it is considerably simpler. In a recently introduced content-based version of the task, where contextual discourse clues are hidden, the approach offers a performance increase of more than 10% macro F1. With respect to the scarce attack-class, the method achieves a large increase in precision while the incurred loss in recall is small or even nonexistent.


title: Anomalous normal fluid response in a chiral superconductor UTe2

abstract: A chiral superconductor has been proposed as one pathway to realize topological quantum computation utilizing the predicted Majorana normal fluid at its boundary (i.e., a point, edge, or surface). The search for experimental realizations has led to the discovery of 1D chiral superconducting systems. However, the long-sought 2D and 3D chiral superconductors with edge and surface Majorana normal fluid are yet to be conclusively found. Here we report evidence for a chiral spin-triplet pairing state of UTe$_2$ with significant surface normal fluid response. The microwave surface impedance of the UTe$_2$ crystal was measured and converted to complex conductivity, which is sensitive to both normal and superfluid responses. The anomalous residual normal fluid conductivity in the zero temperature limit supports the presence of a significant normal fluid response. The superfluid conductivity follows the low temperature behavior predicted for the axial spin-triplet state, which is further narrowed down to the chiral spin-triplet state with evidence of broken time-reversal symmetry. The temperature dependence of the superfluid conductivity also reveals a low bulk impurity scattering rate and low frequency-to-energy-gap ratio, implying that the observed normal fluid response does not have a trivial origin. Our findings suggest that UTe$_2$ can be a new platform to study exotic topological excitations in higher dimension, and may play the role of a versatile 3D building block in the future era of topological quantum computation.


title: Discrete star formation events in the central Bar of the Small Magellanic Cloud

abstract: We present the results of the photometric analysis of a large part of the main body of the Small Magellanic Cloud. Using the 6.5m Magellan Telescope at the Las Campanas Observatory in Chile, we have acquired deep B and I images in four fields (0.44 degree each in diameter), yielding accurate photometry for 1,068,893 stars down to 24th magnitude, with a spatial resolution of 0.20 arcsec per pixel. Colour-magnitude diagrams and (completeness corrected) luminosity functions have been constructed, yielding significant new results that indicate at least two discrete star formation events over a period from 2.7 to 4 Gyr ago. Also, we have derived star formation rates as a function of look back time and have found enhancements of SF between 4-6 Gyr and at younger ages.


title: Training Robust Deep Neural Networks via Adversarial Noise Propagation

abstract: In practice, deep neural networks have been found to be vulnerable to various types of noise, such as adversarial examples and corruption. Various adversarial defense methods have accordingly been developed to improve adversarial robustness for deep models. However, simply training on data mixed with adversarial examples, most of these models still fail to defend against the generalized types of noise. Motivated by the fact that hidden layers play a highly important role in maintaining a robust model, this paper proposes a simple yet powerful training algorithm, named \emph{Adversarial Noise Propagation} (ANP), which injects noise into the hidden layers in a layer-wise manner. ANP can be implemented efficiently by exploiting the nature of the backward-forward training style. Through thorough investigations, we determine that different hidden layers make different contributions to model robustness and clean accuracy, while shallow layers are comparatively more critical than deep layers. Moreover, our framework can be easily combined with other adversarial training methods to further improve model robustness by exploiting the potential of hidden layers. Extensive experiments on MNIST, CIFAR-10, CIFAR-10-C, CIFAR-10-P, and ImageNet demonstrate that ANP enables the strong robustness for deep models against both adversarial and corrupted ones, and also significantly outperforms various adversarial defense methods.


title: Exploring the low $\tan\beta$ region of two Higgs doublet models at the LHC

abstract: Current interpretations of the LHC results on two Higgs doublet models (2HDM) underestimate the sensitivity due to neglecting higher order effects. In this work, we revisit the impact of these effects using the current cross-section times branching ratio limits of the $A\to hZ, H \to VV$ and $H\to hh$ channels. With a degenerate heavy Higgs mass $m_\Phi$, we find that the LHC searches gain sensitivity to the small $\tan\beta$ region after including loop corrections, even close to $\cos(\beta-\alpha)=0$ which is not reachable at tree level for all types of 2HDM. For a benchmark point with $m_\Phi=300$ GeV, $\tan\beta<1.8(1.2)$ can be probed for the Type-I(II) 2HDM model for $\cos(\beta-\alpha)=0$. When the deviation from $\cos(\beta-\alpha)=0$ is larger, the region for which current searches have exclusion potential becomes larger.


title: Hyper-Graph-Network Decoders for Block Codes

abstract: Neural decoders were shown to outperform classical message passing techniques for short BCH codes. In this work, we extend these results to much larger families of algebraic block codes, by performing message passing with graph neural networks. The parameters of the sub-network at each variable-node in the Tanner graph are obtained from a hypernetwork that receives the absolute values of the current message as input. To add stability, we employ a simplified version of the arctanh activation that is based on a high order Taylor approximation of this activation function. Our results show that for a large number of algebraic block codes, from diverse families of codes (BCH, LDPC, Polar), the decoding obtained with our method outperforms the vanilla belief propagation method as well as other learning techniques from the literature.


title: Moments of Uniform Random Multigraphs with Fixed Degree Sequences

abstract: We study the expected adjacency matrix of a uniformly random multigraph with fixed degree sequence $\mathbf{d} \in \mathbb{Z}_+^n$. This matrix arises in a variety of analyses of networked data sets, including modularity-maximization and mean-field theories of spreading processes. Its structure is well-understood for large, sparse, simple graphs: the expected number of edges between nodes $i$ and $j$ is roughly $\frac{d_id_j}{\sum_\ell{d_\ell}}$. Many network data sets are neither large, sparse, nor simple, and in these cases the standard approximation no longer applies. We derive a novel estimator using a dynamical approach: the estimator emerges from the stationarity conditions of a class of Markov Chain Monte Carlo algorithms for graph sampling. We derive error bounds for this estimator, and provide an efficient scheme with which to compute it. We test the estimator on synthetic and empirical degree sequences, finding that it enjoys relative error against ground truth a full order of magnitude smaller than the standard approximation. We then compare modularity maximization techniques using both the standard and novel estimator, finding that the qualitative structure of the optimization landscape depends significantly on the estimator choice. Our results emphasize the importance of using carefully specified random graph models in data scientific applications.

categories: cs.SI math.PR physics.data-an physics.soc-ph


title: A Characterization of Circle Graphs in Terms of Total Unimodularity

abstract: A graph $G$ has an associated multimatroid $\mathcal{Z}_3(G)$, which is equivalent to the isotropic system of $G$ studied by Bouchet. In previous work it was shown that $G$ is a circle graph if and only if for every field $\mathbb F$, the rank function of $\mathcal{Z}_3(G)$ can be extended to the rank function of an $\mathbb F$-representable matroid. In the present paper we strengthen this result using a multimatroid analogue of total unimodularity. As a consequence we obtain a characterization of matroid planarity in terms of this total-unimodularity analogue.


title: An asymmetric elastic metamaterial model for elastic wave cloaking

abstract: Elastic material with its elastic tensor losing minor symmetry is considered impossible without introducing artificially body torque. Here we demonstrate the feasibility of such material by introducing rotational resonance, the amplified rotational inertia of the microstructure during dynamical loading breaks naturally the shear stress symmetry, without resorting to external body torque or any other active means. This concept is illustrated through a realistic mass-spring model together with analytical homogenization technique and band structure analysis. It is also proven that this metamaterial model can be deliberately tuned to meet the material requirement defined by transformation method for full control of elastic wave, and the relation bridging the microstructure and the desired wave functionality is explicitly given. Application of this asymmetric metamaterial to design elastic wave cloak is demonstrated and validated by numerical simulation. The study paves the way for material design used to construct the transformation media for controlling elastic wave and related devices.


title: Approximately symbolic models for a class of continuous-time nonlinear systems

abstract: Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of discrete abstractions are based on sampling of both the state and time spaces, which may not be able to guarantee safety for continuous-time systems. In this work, we aim at addressing this problem by considering only state-space abstraction. Firstly, we connect the continuous-time concrete system with its discrete (state-space) abstraction with a control interface. Then, a novel stability notion called controlled globally asymptotic/practical stability with respect to a set is proposed. It is shown that every system, under the condition that there exists an admissible control interface such that the augmented system (composed of the concrete system and its abstraction) can be made controlled globally practically stable with respect to the given set, is approximately simulated by its discrete abstraction. The effectiveness of the proposed results is illustrated by a simulation example.


title: Unitary matrix with a Penner-like potential also yields N_f=2

abstract: It has been known for some time that a hermitian matrix model with a Penner-like potential yields as its large-N free energy the prepotential of N=2 N_f=2 SU(2) SUSY gauge theory. We give a rigorous proof that a unitary matrix model with the identical potential also yields the same prepotential, although the parameter identifications are slightly different. This result has been anticipated by Itoyama et. al.


title: Quasi-vertex-transitive Maps on the Plane

abstract: Quasi-vertex-transitive maps are the homogeneous maps on the plane with finitely many vertex orbits under the action of their automorphism groups. We show that there exist quasi-vertex-transitive maps of types $[p^3, 3]$ for $p \equiv 1$ (mod $6$), but there doesn't exist vertex-transitive map of such types. In particular, we determine the surface with the lowest possible genus that admit a polyhedral map of type $[5^3, 3]$.


title: A note on minimal art galleries

abstract: We will consider some extensions of the polygonal art gallery problem. In a recent paper Morrison has shown the smallest (9 sides) example of an art gallery that cannot be observed by guards placed in every third corner. Author also mentioned two related problems, for which the minimal examples are not known. We will show that a polygonal fortress such that its exterior cannot be guarded by sentries placed in every second vertex has at least 12 sides. Also, we will show an example of three-dimensional polyhedron such that its inside cannot be covered by placing guard in every vertex which has both fewer vertices and faces than previously known.


title: SL1M: Sparse L1-norm Minimization for contact planning on uneven terrain

abstract: One of the main challenges of planning legged locomotion in complex environments is the combinatorial contact selection problem. Recent contributions propose to use integer variables to represent which contact surface is selected, and then to rely on modern mixed-integer (MI) optimization solvers to handle this combinatorial issue. To reduce the computational cost of MI, we exploit the sparsity properties of L1 norm minimization techniques to relax the contact planning problem into a feasibility linear program. Our approach accounts for kinematic reachability of the center of mass (COM) and of the contact effectors. We ensure the existence of a quasi-static COM trajectory by restricting our plan to quasi-flat contacts. For planning 10 steps with less than 10 potential contact surfaces for each phase, our approach is 50 to 100 times faster that its MI counterpart, which suggests potential applications for online contact re-planning. The method is demonstrated in simulation with the humanoid robots HRP-2 and Talos over various scenarios.


title: General Teleparallel Quadratic Gravity

abstract: In this Letter we consider a general quadratic parity-preserving theory for a general flat connection. Imposing a local symmetry under the general linear group singles out the general teleparallel equivalent of General Relativity carrying both torsion and non-metricity. We provide a detailed discussion on the teleparallel equivalents of General Relativity and how the two known equivalents, formulated on Weitzenb\"ock and symmetric teleparallel geometries respectively, can be interpreted as two gauge-fixed versions of the general teleparallel equivalent. We then explore the viability of the general quadratic theory by studying the spectrum around Minkowski. The linear theory generally contains two symmetric rank-2 fields plus a 2-form and, consequently, extra gauge symmetries are required to obtain potentially viable theories.


title: On the Wasserstein Distance between Classical Sequences and the Lebesgue Measure

abstract: We discuss the classical problem of measuring the regularity of distribution of sets of $N$ points in $\mathbb{T}^d$. A recent line of investigation is to study the cost ($=$ mass $\times$ distance) necessary to move Dirac measures placed in these points to the uniform distribution. We show that Kronecker sequences satisfy optimal transport distance in $d \geq 3$ dimensions. This shows that for differentiable $f: \mathbb{T}^d \rightarrow \mathbb{R}$ and badly approximable vectors $\alpha \in \mathbb{R}^d$, we have $$ \ | \int_{\mathbb{T}^d} f(x) dx - \frac{1}{N} \sum_{k=1}^{N} f(k \alpha) \ | \leq c_{\alpha} \frac{ \| \nabla f\|^{(d-1)/d}_{L^{\infty}}\| \nabla f\|^{1/d}_{L^{2}} }{N^{1/d}}.$$ We note that the result is uniformly true for a sequence instead of a set. Simultaneously, it refines the classical integration error for Lipschitz functions, $\| \nabla f\|_{L^{\infty}} N^{-1/d}$. We obtain a similar improvement for numerical integration with respect to the regular grid. The main ingredient is an estimate involving Fourier coefficients of a measure; this allows for existing estimates to be conviently `recycled'. We present several open problems.


title: Detecting malicious logins as graph anomalies

abstract: Authenticated lateral movement via compromised accounts is a common adversarial maneuver that is challenging to discover with signature- or rules-based intrusion detection systems. In this work a behavior-based approach to detecting malicious logins to novel systems indicative of lateral movement is presented, in which a user's historical login activity is used to build a model of putative "normal" behavior. This historical login activity is represented as a collection of daily login graphs, which encode authentications among accessed systems. Each system, or graph vertex, is described by a set of graph centrality measures that characterize it and the local topology of its login graph. The unsupervised technique of non-negative matrix factorization is then applied to this set of features to assign each vertex to a role that summarizes how the system participates in logins. The reconstruction error quantifying how well each vertex fits into its role is then computed, and the statistics of this error can be used to identify outlier vertices that correspond to systems involved in unusual logins. We test this technique with a small cohort of privileged accounts using real login data from an operational enterprise network. The ability of the method to identify malicious logins among normal activity is tested with simulated graphs of login activity representative of adversarial lateral movement. We find that the method is generally successful at detecting a broad range of lateral movement for each user, with false positive rates significantly lower than those resulting from alerts based solely on login novelty.


title: WF-holonomicity of C-exp-class distributions on non-archimedean local fields

abstract: In the context of geometry and analysis on non-archimedean local fields, we study two recent notions, $C^{\mathrm exp}$-class distributions from [11] and WF-holonomicity from [1], and we show that any distribution of $C^{\mathrm exp}$-class is WF-holonomic. Thus we answer a question from [1] by providing a framework of WF-holonomic distributions for non-archimedean local fields which is stable under taking Fourier transforms and which contains many natural distributions, in particular, the distributions studied in [1]. We further show that one can regularize distributions without leaving the $C^{\mathrm exp}$-class. Finally, we show a close link between zero loci and smooth loci for functions and distributions of $C^{\mathrm exp}$-class, by proving a converse to a result of [11]. A key ingredient is a new resolution result for subanalytic functions (by alterations), based on embedded resolution for analytic functions and model theory.


title: On the (im)possibility of Casimir repulsion between Chern-Simons surfaces

abstract: We critically review the possibilities of a repulsive Casimir interaction between materials which carry Chern-Simons surface actions for the electromagnetic field.


title: Electron energy partition across interplanetary shocks: II. Statistics

abstract: A statistical analysis of 15,210 electron velocity distribution function (VDF) fits, observed within $\pm$2 hours of 52 interplanetary (IP) shocks by the $Wind$ spacecraft near 1 AU, is presented. This is the second in a three-part series on electron VDFs near IP shocks. The electron velocity moment statistics for the dense, low energy core, tenuous, hot halo, and field-aligned beam/strahl are a statistically significant list of values illustrated with both histograms and tabular lists for reference and baselines in future work. The beam/strahl fit results in the upstream are currently the closest thing to a proper parameterization of the beam/strahl electron velocity moments in the ambient solar wind. This work will also serve as a 1 AU baseline and reference for missions like $Parker \ Solar \ Probe$ and $Solar \ Orbiter$. The median density, temperature, beta, and temperature anisotropy values for the core(halo)[beam/strahl] components, with subscripts $ec$($eh$)[$eb$], of all fit results respectively are $n{\scriptstyle_{ec(h)[b]}}$ $\sim$ 11.3(0.36)[0.17] $cm^{-3}$, $T{\scriptstyle_{ec(h)[b], tot}}$ $\sim$ 14.6(48.4)[40.2] $eV$, $\beta{\scriptstyle_{ec(h)[b], tot}}$ $\sim$ 0.93(0.11)[0.05], and $\mathcal{A}{\scriptstyle_{ec(h)[b]}}$ $\sim$ 0.98(1.03)[0.93]. The nuanced details of the fitting method and data product description were published in Paper I and the detailed analysis of the results will be shown in Paper III.


title: Self-Supervised Monocular Depth Hints

abstract: Monocular depth estimators can be trained with various forms of self-supervision from binocular-stereo data to circumvent the need for high-quality laser scans or other ground-truth data. The disadvantage, however, is that the photometric reprojection losses used with self-supervised learning typically have multiple local minima. These plausible-looking alternatives to ground truth can restrict what a regression network learns, causing it to predict depth maps of limited quality. As one prominent example, depth discontinuities around thin structures are often incorrectly estimated by current state-of-the-art methods. Here, we study the problem of ambiguous reprojections in depth prediction from stereo-based self-supervision, and introduce Depth Hints to alleviate their effects. Depth Hints are complementary depth suggestions obtained from simple off-the-shelf stereo algorithms. These hints enhance an existing photometric loss function, and are used to guide a network to learn better weights. They require no additional data, and are assumed to be right only sometimes. We show that using our Depth Hints gives a substantial boost when training several leading self-supervised-from-stereo models, not just our own. Further, combined with other good practices, we produce state-of-the-art depth predictions on the KITTI benchmark.


title: Cosmic Ray Small-Scale Anisotropies in Quasi-Linear Theory

abstract: The distribution of arrival directions of cosmic rays is remarkably isotropic, which is a consequence of their repeated scattering in magnetic fields. Yet, high-statistics observatories like IceCube and HAWC have revealed the presence of small-scale structures at levels of 1 part in 10,000 at hundreds of TeV, which are not expected in typical diffusion models of cosmic rays. We follow up on the suggestion that these small-scale anisotropies are a result of cosmic ray streaming in a particular realisation of the turbulent magnetic field within a few scattering lengths in our local Galactic neighbourhood. So far, this hypothesis has been investigated mostly numerically, by tracking test particles through turbulent magnetic fields. For the first time, we present an analytical computation that through a perturbative approach allows predicting the angular power spectrum of cosmic ray arrival directions for a given model of turbulence. We illustrate this method for a simple, isotropic turbulence model and we find remarkable agreement with the results of numerical studies.


title: Cut-off phenomenon for the ax+b Markov chain over a finite field

abstract: We study the Markov chain $x_{n+1}=ax_n+b_n$ on a finite field $\mathbb{F}_p$, where $a \in \mathbb{F}_p$ is fixed and $b_n$ are independent and identically distributed random variables in $\mathbb{F}_p$. Conditionally on the Riemann hypothesis for all Dedekind zeta functions, we show that the chain exhibits a cut-off phenomenon for most primes $p$ and most values of $a \in \mathbb{F}_p$. We also obtain weaker, but unconditional, upper bounds for the mixing time.


title: A steady Euler flow on the 3-sphere and its associated Faddeev-Skyrme solution

abstract: We present a steady Euler flow on the round 3-sphere whose velocity vector field has the property of having two independent first integrals, being tangent to the fibres of an almost submersion onto the 2-sphere. This submersion turns out to be a critical point for the quartic Faddeev-Skyrme model with a standard potential.


title: SU(3) Clebsch-Gordan coefficients and some of their symmetries

abstract: We discuss the construction and symmetries of su(3) Clebsch-Gordan coefficients arising from the su(3) basis states constructed as triple tensor products of two-dimensional harmonic oscillator states. Because of the su(2) symmetry of the basis states, matrix elements and recursion relations are easily expressed in terms of su(2) technology. As the Weyl group has a particularly simple action on these states, Weyl symmetries of the su(3) coupling coefficients generalizing the well known m-> -m symmetry of su(2) coupling can be obtained, so that any coefficient can be obtained as a sum of Weyl-reflected coefficients lying in the dominant Weyl sector. Some important cases of multiplicity-free decomposition are discussed as examples of applications.


title: Reduction of radiative lifetime and slow-timescale spectral diffusion in InGaN polarized single-photon sources

abstract: Non-polar (11-20) a-plane quantum dots (QDs) are strong candidates for both > 200 K on-chip ultrafast polarized single-photon generation and the investigation of high temperature semiconductor QD photophysics. In this work, we report progress in the growth of a-plane InGaN QDs with a quasi-two-temperature method, which produces smooth epilayers and significantly reduced carrier trapping sites in the proximity of the QDs. Optical characterization has confirmed the ability of such QDs to emit polarized single photons and we have recorded a ~ 45% shorter average radiative lifetime and 65% reduction in the slow-timescale spectral diffusion compared to previous QDs. This growth method is an important development of the non-polar a-plane InGaN platform, opening up more possibilities in single-photon, lasing, and fundamental investigations.


title: The Effect of Oil Price on United Arab Emirates Goods Trade Deficit with the United States

abstract: We seek to investigate the effect of oil price on UAE goods trade deficit with the U.S. The current increase in the price of oil and the absence of significant studies in the UAE economy are the main motives behind the current study. Our paper focuses on a small portion of UAE trade, which is 11% of the UAE foreign trade, however, it is a significant part since the U.S. is a major trade partner with the UAE. The current paper concludes that oil price has a significant positive influence on real imports. At the same time, oil price does not have a significant effect on real exports. As a result, any increase in the price of oil increases goods trade deficit of the UAE economy. The policy implication of the current paper is that the revenue of oil sales is not used to encourage UAE real exports.


title: Imperative Program Synthesis from Answer Set Programs

abstract: Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications. Further with negation-as-failure it is easy to succinctly represent combinatorial search problems. We are currently working on synthesizing imperative programs from ASP programs by turning the negation into useful computations. This opens up a novel way to synthesize programs from executable specifications.


title: Learning to Think Outside the Box: Wide-Baseline Light Field Depth Estimation with EPI-Shift

abstract: We propose a method for depth estimation from light field data, based on a fully convolutional neural network architecture. Our goal is to design a pipeline which achieves highly accurate results for small- and wide-baseline light fields. Since light field training data is scarce, all learning-based approaches use a small receptive field and operate on small disparity ranges. In order to work with wide-baseline light fields, we introduce the idea of EPI-Shift: To virtually shift the light field stack which enables to retain a small receptive field, independent of the disparity range. In this way, our approach "learns to think outside the box of the receptive field". Our network performs joint classification of integer disparities and regression of disparity-offsets. A U-Net component provides excellent long-range smoothing. EPI-Shift considerably outperforms the state-of-the-art learning-based approaches and is on par with hand-crafted methods. We demonstrate this on a publicly available, synthetic, small-baseline benchmark and on large-baseline real-world recordings.


title: Adaptively Aligned Image Captioning via Adaptive Attention Time

abstract: Recent neural models for image captioning usually employ an encoder-decoder framework with an attention mechanism. However, the attention mechanism in such a framework aligns one single (attended) image feature vector to one caption word, assuming one-to-one mapping from source image regions and target caption words, which is never possible. In this paper, we propose a novel attention model, namely Adaptive Attention Time (AAT), to align the source and the target adaptively for image captioning. AAT allows the framework to learn how many attention steps to take to output a caption word at each decoding step. With AAT, an image region can be mapped to an arbitrary number of caption words while a caption word can also attend to an arbitrary number of image regions. AAT is deterministic and differentiable, and doesn't introduce any noise to the parameter gradients. In this paper, we empirically show that AAT improves over state-of-the-art methods on the task of image captioning. Code is available at https://github.com/husthuaan/AAT.


title: The Design and Operation of Rules of Origin in Greater Arab Free Trade Area: Challenges of Implementation and Reform

abstract: Rules of origin (ROO) are pivotal element of the Greater Arab Free Trade Area (GAFTA). ROO are basically established to ensure that only eligible products receive preferential tariff treatment. Taking into consideration the profound implications of ROO for enhancing trade flows and facilitating the success of regional integration, this article sheds light on the way that ROO in GAFTA are designed and implemented. Moreover, the article examines the extent to which ROO still represents an obstacle to the full implementation of GAFTA. In addition, the article provides ways to overcome the most important shortcomings of ROO text in the agreement and ultimately offering possible solutions to those issues.


title: Lateral Josephson effect on the surface of Co$_3$Sn$_2$S$_2$ magnetic Weyl semimetal

abstract: We experimentally study lateral electron transport between two 5~$\mu$m spaced superconducting indium leads on a top of magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$. For the disordered magnetic state of Co$_3$Sn$_2$S$_2$ crystal, we only observe the Andreev reflection in the proximity of each of the leads, which is indicative of highly transparent In-Co$_3$Sn$_2$S$_2$ interfaces. If the sample is homogeneously magnetized, it demonstrates well-developed anomalous Hall effect state. In this regime we find the Josephson current that takes place even for 5~$\mu$m long junctions and shows the unusual magnetic field and temperature dependencies. As a possible reason for the results obtained, we discuss the contribution to the proximity-induced spin-triplet Josephson current from the topologically protected Fermi-arc states on the surface of Co$_3$Sn$_2$S$_2$.


title: MACS: Deep Reinforcement Learning based SDN Controller Synchronization Policy Design

abstract: In distributed software-defined networks (SDN), multiple physical SDN controllers, each managing a network domain, are implemented to balance centralised control, scalability, and reliability requirements. In such networking paradigms, controllers synchronize with each other, in attempts to maintain a logically centralised network view. Despite the presence of various design proposals for distributed SDN controller architectures, most existing works only aim at eliminating anomalies arising from the inconsistencies in different controllers' network views. However, the performance aspect of controller synchronization designs with respect to given SDN applications are generally missing. To fill this gap, we formulate the controller synchronization problem as a Markov decision process (MDP) and apply reinforcement learning techniques combined with deep neural networks (DNNs) to train a smart, scalable, and fine-grained controller synchronization policy, called the Multi-Armed Cooperative Synchronization (MACS), whose goal is to maximise the performance enhancements brought by controller synchronizations. Evaluation results confirm the DNN's exceptional ability in abstracting latent patterns in the distributed SDN environment, rendering significant superiority to MACS-based synchronization policy, which are 56% and 30% performance improvements over ONOS and greedy SDN controller synchronization heuristics.


title: Human-In-The-Loop Learning of Qualitative Preference Models

abstract: In this work, we present a novel human-in-the-loop framework to help the human user understand the decision making process that involves choosing preferred options. We focus on qualitative preference models over alternatives from combinatorial domains. This framework is interactive: the user provides her behavioral data to the framework, and the framework explains the learned model to the user. It is iterative: the framework collects feedback on the learned model from the user and tries to improve it accordingly till the user terminates the iteration. In order to communicate the learned preference model to the user, we develop visualization of intuitive and explainable graphic models, such as lexicographic preference trees and forests, and conditional preference networks. To this end, we discuss key aspects of our framework for lexicographic preference models.


title: Towards Explainable Neural-Symbolic Visual Reasoning

abstract: Many high-performance models suffer from a lack of interpretability. There has been an increasing influx of work on explainable artificial intelligence (XAI) in order to disentangle what is meant and expected by XAI. Nevertheless, there is no general consensus on how to produce and judge explanations. In this paper, we discuss why techniques integrating connectionist and symbolic paradigms are the most efficient solutions to produce explanations for non-technical users and we propose a reasoning model, based on definitions by Doran et al. [2017] (arXiv:1710.00794) to explain a neural network's decision. We use this explanation in order to correct bias in the network's decision rationale. We accompany this model with an example of its potential use, based on the image captioning method in Burns et al. [2018] (arXiv:1803.09797).


title: Witnessing nonseparability of bipartite quantum operations

abstract: We provide a method for witnessing nonseparability of quantum processes on shared systems, which uses the channel-state duality. The method uses a maximally entangled state as a resource. We show that using the resource provides significant advantage over the corresponding protocol for nonseparability detection without the resource.


title: A Corpus for Automatic Readability Assessment and Text Simplification of German

abstract: In this paper, we present a corpus for use in automatic readability assessment and automatic text simplification of German. The corpus is compiled from web sources and consists of approximately 211,000 sentences. As a novel contribution, it contains information on text structure, typography, and images, which can be exploited as part of machine learning approaches to readability assessment and text simplification. The focus of this publication is on representing such information as an extension to an existing corpus standard.


title: Dust destruction by the reverse shock in the clumpy supernova remnant Cassiopeia A based on hydrodynamic simulations

abstract: Observations of the ejecta of core-collapse supernovae have shown that dust grains form in over-dense gas clumps in the expanding ejecta. The clumps are later subject to the passage of the reverse shock and a significant amount of the newly formed dust material can be destroyed due to the high temperatures and high velocities in the post-shock gas. To determine dust survival rates, we have performed a set of hydrodynamic simulations using the grid-based code AstroBEAR in order to model a shock wave interacting with a clump of gas and dust. Afterwards, dust motions and dust destruction rates are computed using our newly developed external, post-processing code Paperboats, which includes gas and plasma drag, grain charging, kinematic and thermal sputtering as well as grain-grain collisions. We have determined dust survival rates for the oxygen-rich supernova remnant Cassiopeia A as a function of initial grain sizes, dust materials and clump gas densities.


title: Optimal time Quadcopter Descent Trajectories Avoiding the Vortex Ring and Autorotation States

abstract: It is wellknown that helicopters descending fast may enter the so called VRS, a region in the velocity space where the blade's lift differs significantly from regular regions. This may lead to instability and therefore this region is avoided, typically by increasing the horizontal speed. This paper researches this phenomenon in the context of small scale quadcopters. The region corresponding to the VRS is identified by combining first principles modeling and wind tunnel experiments. Moreover, we propose that the so called WBS or autorotation region should also be avoided for quadcopters, which is not necessarily the case for helicopters. A model is proposed for the velocity constraints that the quadcopter must meet to avoid these regions. Then, the problem of designing optimal time descend trajectories that avoid the VRS and WBS regions is tackled. Finally, the optimal trajectories are implemented on a quadcopter. The flight tests show that by following the designed trajectories, the quadcopter is able to descend considerably faster than purely vertical trajectories that also avoid the VRS and WBS.


title: Look, Read and Enrich. Learning from Scientific Figures and their Captions

abstract: Compared to natural images, understanding scientific figures is particularly hard for machines. However, there is a valuable source of information in scientific literature that until now has remained untapped: the correspondence between a figure and its caption. In this paper we investigate what can be learnt by looking at a large number of figures and reading their captions, and introduce a figure-caption correspondence learning task that makes use of our observations. Training visual and language networks without supervision other than pairs of unconstrained figures and captions is shown to successfully solve this task. We also show that transferring lexical and semantic knowledge from a knowledge graph significantly enriches the resulting features. Finally, we demonstrate the positive impact of such features in other tasks involving scientific text and figures, like multi-modal classification and machine comprehension for question answering, outperforming supervised baselines and ad-hoc approaches.


title: Quenching of an antiferromagnet into high resistivity states using electrical or ultrashort optical pulses

abstract: Ultra-fast dynamics, insensitivity to external magnetic fields, or absence of magnetic stray fields are examples of properties that make antiferromagnets of potential use in the development of spintronic devices. Similar to their ferromagnetic counterparts, antiferromagnets can store information in the orientations of the collective magnetic order vector. However, also in analogy to ferromagnets, the readout magnetoresistivity signals in simple antiferromagnetic films have been weak and the extension of the electrical reorientation mechanism to optics has not been achieved. Here we report reversible and reproducible quenching of an antiferromagnetic CuMnAs film by either electrical or ultrashort optical pulses into nano-fragmented domain states. The resulting resistivity changes approach 20\% at room temperature, which is comparable to the giant magnetoresistance ratios in ferromagnetic multilayers. We also obtain a signal readout by optical reflectivity. The analog time-dependent switching and relaxation characteristics of our devices can mimic functionality of spiking neural network components.


title: Learning Optimal and Near-Optimal Lexicographic Preference Lists

abstract: We consider learning problems of an intuitive and concise preference model, called lexicographic preference lists (LP-lists). Given a set of examples that are pairwise ordinal preferences over a universe of objects built of attributes of discrete values, we want to learn (1) an optimal LP-list that decides the maximum number of these examples, or (2) a near-optimal LP-list that decides as many examples as it can. To this end, we introduce a dynamic programming based algorithm and a genetic algorithm for these two learning problems, respectively. Furthermore, we empirically demonstrate that the sub-optimal models computed by the genetic algorithm very well approximate the de facto optimal models computed by our dynamic programming based algorithm, and that the genetic algorithm outperforms the baseline greedy heuristic with higher accuracy predicting new preferences.


title: The Pierre Auger Observatory: Contributions to the 36th International Cosmic Ray Conference (ICRC 2019)

abstract: Contributions of the Pierre Auger Collaboration to the 36th International Cosmic Ray Conference (ICRC 2019), 24 July - 1 August 2019, Madison, Wisconsin, USA.


title: Diffusion-inspired time-varying phosphorescent decay in nanostructured environment

abstract: Structured environment controls dynamics of light-matter interaction processes via modified local density of electromagnetic states. In typical scenarios, where nanosecond-scale fluorescent processes are involved, mechanical conformational changes of the environment during the interaction processes can be safely neglected. However, slow decaying phosphorescent complexes (e.g. lanthanides) can efficiently sense micro- and millisecond scale motion via near-field interactions. As the result, lifetime statistics can inherit information about nano-scale mechanical motion. Here we study light-matter interaction dynamics of phosphorescent dyes, diffusing in a proximity of a plasmonic nanoantenna. The interplay between the time-varying Purcell enhancement and stochastic motion of molecules is considered via a modified diffusion equation, and collective decay phenomena is analysed. Fluid properties, such as local temperature and diffusion coefficient are mapped on phosphorescent lifetime distribution extracted with the help of inverse Laplace transform. We present rather simple photonic platform enabling contactless all-optical thermometry and diffusion measurement and paving a way for a plethora of possible applications. Among them, the proposed analysis can be used for detailed studies of nanofluidic processes in lab-on-a-chip devices, which are extremely hard or even impossible to analyse with other optical methods.


title: Universal scaling of the velocity field in crack front propagation

abstract: The propagation of a crack front in disordered materials is jerky and characterized by bursts of activity, called avalanches. These phenomena are the manifestation of an out-of-equilibrium phase transition originated by the disorder. As a result avalanches display universal scalings which are however difficult to characterize in experiments at finite drive. Here we show that the correlation functions of the velocity field along the front allow to extract the critical exponents of the transition and to identify the universality class of the system. We employ these correlations to characterize the universal behavior of the transition in simulations and in an experiment of crack propagation. This analysis is robust, efficient and can be extended to all systems displaying avalanche dynamics.


title: A fractional Traub method with $(2\alpha+1)$th-order of convergence and its stability

abstract: Some fractional Newton methods have been proposed in order to find roots of nonlinear equations using fractional derivatives. In this paper we introduce a fractional Newton method with order $\alpha+1$ and compare with another fractional Newton method with order $2\alpha$. We also introduce a fractional Traub method with order $2\alpha+1$ and compare with its first step (fractional Newton method with order $\alpha+1$). Some tests and analysis of the dependence on the initial estimations are made for each case.


title: Evidence for a highly opaque large-scale galaxy void at the end of reionization

abstract: We present evidence that a region of high effective Ly$\alpha$ optical depth at $z\sim5.7$ is associated with an underdense region at the tail end of cosmic reionization. We carried out a survey of Lyman-break Galaxies (LBGs) using Subaru Hyper Suprime-Cam in the field of the $z=5.98$ quasar J0148+0600, whose spectrum presents an unusually long ($\sim160 \mathrm{cMpc}$) and opaque ($\tau \gtrsim7$) Ly$\alpha$ trough at $5.5\le z\le 5.9$. LBG candidates were selected to lie within the redshift range of the trough, and the projected number densities were measured within 90~cMpc of the quasar sightline. The region within $8'$ (or $\approx 19~\mathrm{cMpc}$) of the quasar position is the most underdense of the whole field. The significance of the presence of the void is estimated to be $99\%$. This is consistent with the significant deficit of Ly$\alpha$ emitters (LAEs) at $z=5.72$ reported by Becker et al. and suggests that the paucity of LAEs is not purely due to the removal of the Ly$\alpha$ emission by the high opacity but reflects a real coherent underdensity of galaxies across the entire redshift range of the trough. These observations are consistent with scenarios in which large optical depth fluctuations arise due to fluctuations in the galaxy-dominant UV background or due to residual neutral islands that are expected from reionization that is completed at redshifts as low as $z\lesssim5.5$.


title: Open Challenges of Blind People using Smartphones

abstract: Blind people face significant challenges when using smartphones. The focus on improving non-visual mobile accessibility has been at the level of touchscreen access. Our research investigates the challenges faced by blind people in their everyday usage of mobile phones. In this paper, we present a set of studies performed with the target population, novices and experts, using a variety of methods, targeted at identifying and verifying challenges; and coping mechanisms. Through a multiple methods approach we identify and validate challenges locally with a diverse set of user expertise and devices, and at scale through the analyses of the largest Android and iOS dedicate forums for blind people. We contribute with a prioritized corpus of smartphone challenges for blind people, and a discussion on a set of directions for future research that tackle the open and often overlooked challenges.


title: How to Evaluate Proving Grounds for Self-Driving? A Quantitative Approach

abstract: Proving ground has been a critical component in testing and validation for Connected and Automated Vehicles (CAV). Although quite a few world-class testing facilities have been under construction over the years, the evaluation of proving grounds themselves as testing approaches has rarely been studied. In this paper, we present the first attempt to systematically evaluate CAV proving grounds and contribute to a generative sample-based approach to assessing the representation of traffic scenarios in proving grounds. Leveraging typical use cases extracted from naturalistic driving events, we establish a strong link between proving ground testing results of CAVs and their anticipated public street performance. We present benchmark results of our approach on three world-class CAV testing facilities: Mcity, Almono (Uber ATG), and Kcity. We successfully show the overall evaluation of these proving grounds in terms of their capability to accommodate real-world traffic scenarios. We believe that when the effectiveness of a testing ground itself is validated, the testing results would grant more confidence for CAV public deployment.


title: A Break in Spiral Galaxy Scaling Relations at the Upper Limit of Galaxy Mass

abstract: Super spirals are the most massive star-forming disk galaxies in the universe (Ogle et al. 2016, 2019). We measured rotation curves for 23 massive spirals and find a wide range of fast rotation speeds (240-570 km/s), indicating enclosed dynamical masses of 0.6 - 4E12 Msun. Super spirals with mass in stars log Mstars / Msun > 11.5 break from the baryonic Tully-Fisher relation (BTFR) established for lower mass galaxies. The BTFR power-law index breaks from 3.75 +/- 0.11 to 0.25 +/- 0.41 above a rotation speed of 340 km/s. Super spirals also have very high specific angular momenta that break from the Fall (1983) relation. These results indicate that super spirals are under-massive for their dark matter halos, limited to a mass in stars of log Mstars / Msun < 11.8. Most giant elliptical galaxies also obey this fundamental limit, which corresponds to a critical dark halo mass of log Mhalo / Msun = 12.7. Once a halo reaches this mass, its gas can no longer cool and collapse in a dynamical time. Super spirals survive today in halos as massive as log Mhalo / Msun = 13.6, continuing to form stars from the cold baryons they captured before their halos reached critical mass. The observed high-mass break in the BTFR is inconsistent with the Modified Newtonian Dynamics (MOND) theory (Bekenstein and Milgrom 1984).


title: Reevaluating Uncertainties in $\bar{B}\rightarrow X_s\gamma$

abstract: The rare inclusive decay $\bar{B}\rightarrow X_s\gamma$ is an important probe of physics beyond the standard model. The largest uncertainty on the decay rate and CP asymmetry comes from operators that appear at order $1/m_b$ in the heavy quark expansion. One of the three leading contributions in the heavy quark expansion, $Q_1^q-Q_{7\gamma}$ is described by a non-local function whose moments are related to HQET parameters. We use recent progress in our knowledge of these parameters to better constrain their contributions to the total rate and CP asymmetry.


title: Supersolid stripe crystal from finite-range interactions on a lattice

abstract: Strong, long-range interactions present a unique challenge for the theoretical investigation of quantum many-body lattice models, due to the generation of large numbers of competing states at low energy. Here, we investigate a class of extended bosonic Hubbard models with off-site terms interpolating between short and infinite range, thus allowing for an exact numerical solution for all interaction strengths. We predict a novel type of stripe crystal at strong coupling. Most interestingly, for intermediate interaction strengths we demonstrate that the stripes can turn superfluid, thus leading to a self-assembled array of quasi-one-dimensional superfluids. These bosonic superstripes turn into an isotropic supersolid with decreasing the interaction strength. The mechanism for stripe formation is based on cluster self-assembling in the corresponding classical ground state, reminiscent of classical soft-matter models of polymers, different from recently proposed mechanisms for cold gases of alkali or dipolar magnetic atoms.


title: An Adaptive Optimizer for Measurement-Frugal Variational Algorithms

abstract: Variational hybrid quantum-classical algorithms (VHQCAs) have the potential to be useful in the era of near-term quantum computing. However, recently there has been concern regarding the number of measurements needed for convergence of VHQCAs. Here, we address this concern by investigating the classical optimizer in VHQCAs. We introduce a novel optimizer called individual Coupled Adaptive Number of Shots (iCANS). This adaptive optimizer frugally selects the number of measurements (i.e., number of shots) both for a given iteration and for a given partial derivative in a stochastic gradient descent. We numerically simulate the performance of iCANS for the variational quantum eigensolver and for variational quantum compiling, with and without noise. In all cases, and especially in the noisy case, iCANS tends to out-perform state-of-the-art optimizers for VHQCAs. We therefore believe this adaptive optimizer will be useful for realistic VHQCA implementations, where the number of measurements is limited.


title: Defining of three-dimensional acceleration and inertial mass leading to the simple form F=MA of relativistic motion equation

abstract: Newton second law of dynamics is a law of motion but also a useful definition of force (F=MA) or inertial mass (M=F/A), assuming a definition of acceleration and parallelism of force and acceleration. In the special theory of relativity, out of these three only the description of force (F=dp/dt) does not raise doubts. The greatest problems are posed by mass, which may be invariant rest mass or relativistic mass or even directional mass like longitudinal mass. This results from breaking the assumption of parallelism of force and standard acceleration. It turns out that these issues disappear if the relativistic acceleration A is defined as a relativistic velocity subtraction formula. This basic fact is obscured by some subtlety related to the calculation of the relativistic differential of velocity. It is based on the direction of force rather than on transformation to a resting system. The reference to a non-resting system generates a (seemingly) different velocity subtraction formula. Thus, the relativistic three-dimensional acceleration is neither rest acceleration, nor four-acceleration, nor standard acceleration. As a consequence, inertial mass in any direction of the force has the same value as relativistic mass. In other words, the concepts of transverse mass and longitudinal mass, which depend on velocity, have been unified. In this work a full relativistic equation is derived for the motion of a body with variable mass whose form confirmed the previously introduced definitions. In addition, these definitions are in line with the general version of the principle of mass and energy equivalence. The work presents a detailed review and discussion of different approaches to the subject in relation to original historical and contemporary texts. On this basis, a proposal is made for consistent definition of relativistic quantities associated with velocity change.


title: Magnetization dynamics of the compensated ferrimagnet $Mn_{2}Ru_{x}Ga$

abstract: Here we study both static and time-resolved dynamic magnetic properties of the compensated ferrimagnet from room temperature down to 10K, thus crossing the magnetic compensation temperature $T_{M}$. The behaviour is analysed with a model of a simple collinear ferrimagnet with uniaxial anisotropy and site-specific gyromagnetic ratios. We find a maximum zero-applied-field resonance frequency of $\sim$160GHz and a low intrinsic Gilbert damping $\alpha$$\sim$0.02, making it a very attractive candidate for various spintronic applications.


title: Problem Structures in the Theory and Practice of Superiorization

abstract: The purpose of this short paper is to identify the mathematical essence of the superiorization methodology. This methodology has been developed in recent years while attempting to solve specific application-oriented problems. Consequently, superiorization is often presented using the terminology of such problems. A more general approach is provided here by discussing ideas related to superiorization in terms of an abstract mathematical concept, referred to as a problem structure.


title: Real-Time Verification for Distributed Cyber-Physical Systems

abstract: Safety-critical distributed cyber-physical systems (CPSs) have been found in a wide range of applications. Notably, they have displayed a great deal of utility in intelligent transportation, where autonomous vehicles communicate and cooperate with each other via a high-speed communication network. Such systems require an ability to identify maneuvers in real-time that cause dangerous circumstances and ensure the implementation always meets safety-critical requirements. In this paper, we propose a real-time decentralized reachability approach for safety verification of a distributed multi-agent CPS with the underlying assumption that all agents are time-synchronized with a low degree of error. In the proposed approach, each agent periodically computes its local reachable set and exchanges this reachable set with the other agents with the goal of verifying the system safety. Our method, implemented in Java, takes advantages of the timing information and the reachable set information that are available in the exchanged messages to reason about the safety of the whole system in a decentralized manner. Any particular agent can also perform local safety verification tasks based on their local clocks by analyzing the messages it receives. We applied the proposed method to verify, in real-time, the safety properties of a group of quadcopters performing a distributed search mission.


title: Observation of Complex Time Structures in the Cosmic Ray Fluxes by the Alpha Magnetic Spectrometer on the ISS

abstract: We present high-statistics, precision measurements by AMS of the detailed time and rigidity dependence of the primary cosmic-ray electron, positron, proton and helium fluxes over 79 Bartels rotations from May 2011 to May 2017 in the energy range from 1 to 50 GeV. For the first time, the charge-sign dependent modulation during solar maximum has been investigated in detail by leptons alone. We report the observation of short-term structures on the timescale of months coincident in all the fluxes. These structures are not visible in the positron-to-electron flux ratio. The precision measurements across the solar polarity reversal show that the ratio exhibits a smooth transition over ~800 days from one value to another.


title: Enhanced adiabatic index for hot neutron-rich matter from microscopic nuclear forces

abstract: We investigate the adiabatic index $\Gamma_{\mathrm{th}}$ of hot and dense nuclear matter from chiral effective field theory and find that the results are systematically larger than from typical mean field models. We start by constructing the finite-temperature equation of state from chiral two- and three-nucleon forces, which we then use to fit a class of extended Skyrme energy density functionals. This allows for modeling the thermal index across the full range of densities and temperatures that may be probed in simulations of core-collapse supernovae and neutron star mergers, including the low-density inhomogeneous mixed phase. For uniform matter we compare the results to analytical expressions for $\Gamma_{\mathrm{th}}$ based on Fermi liquid theory. The correlation between the thermal index and the effective masses at nuclear saturation density is studied systematically through Bayesian modeling of the nuclear equation of state. We then study the behavior of $\Gamma_{\mathrm{th}}$ in both relativistic and non-relativistic mean field models used in the astrophysical simulation community to complement those based on chiral effective field theory constraints from our own study. We derive compact parameterization formulas for $\Gamma_{\mathrm{th}}$ across the range of densities and temperatures encountered in core collapse supernovae and binary neutron star mergers, which we suggest may be useful for the numerical simulation community.