title: LSTM-TDNN with convolutional front-end for Dialect Identification in the 2019 Multi-Genre Broadcast Challenge

abstract: This paper presents a novel Dialect Identification (DID) system developed for the Fifth Edition of the Multi-Genre Broadcast challenge, the task of Fine-grained Arabic Dialect Identification (MGB-5 ADI Challenge). The system improves upon traditional DNN x-vector performance by employing a Convolutional and Long Short Term Memory-Recurrent (CLSTM) architecture to combine the benefits of a convolutional neural network front-end for feature extraction and a back-end recurrent neural to capture longer temporal dependencies. Furthermore we investigate intensive augmentation of one low resource dialect in the highly unbalanced training set using time-scale modification (TSM). This converts an utterance to several time-stretched or time-compressed versions, subsequently used to train the CLSTM system without using any other corpus. In this paper, we also investigate speech augmentation using MUSAN and the RIR datasets to increase the quantity and diversity of the existing training data in the normal way. Results show firstly that the CLSTM architecture outperforms a traditional DNN x-vector implementation. Secondly, adopting TSM-based speed perturbation yields a small performance improvement for the unbalanced data, finally that traditional data augmentation techniques yield further benefit, in line with evidence from related speaker and language recognition tasks. Our system achieved 2nd place ranking out of 15 entries in the MGB-5 ADI challenge, presented at ASRU 2019.


title: Online route choice modeling for Mobility-as-a-Service networks with non-separable, congestible link capacity effects

abstract: With the prevalence of MaaS systems, route choice models need to consider characteristics unique to them. MaaS systems tend to involve service systems with fleets of vehicles; as a result, the available service capacity depends on the choices of other travelers in different parts of the system. We model this with a new concept of "congestible capacity"; that is, link capacities are a function of flow instead of link costs. This dependency is also non-separable; the capacity in one link can depend on flows from multiple links. An offline-online estimation method is introduced to capture the structural effects that flows have on capacities and the resulting impacts on route choice utilities. The method is first applied to obtain unique congestible capacity shadow prices in a multimodal network to verify the capability to capture congestion effects on capacities. The capacities are shown to vary and impact the utility of a route. The method is validated using real system data from Citi Bike in New York City. The results show that the model can fit to the data quite well and performs better than a baseline modeling approach that ignores congestible capacity effects. By relating the route choice to congestible capacities using a random utility model, modelers can monitor and quantify the impacts to traveler consumer surplus in real time. Applications of the model and online method include monitoring capacity effects on consumer surplus, using the model to direct incentives programs for rebalancing and other revenue management strategies, and to guide resource allocation to mitigate consumer surplus impacts due to disruptions from incidents.


title: Optimal Real-Space Renormalization-Group Transformations with Artificial Neural Networks

abstract: We introduce a general method for optimizing real-space renormalization-group transformations to study the critical properties of a classical system. The scheme is based on minimizing the Kullback-Leibler divergence between the distribution of the system and the normalized normalizing factor of the transformation parametrized by a restricted Boltzmann machine. We compute the thermal critical exponent of the two-dimensional Ising model using the trained optimal projector and obtain a very accurate thermal critical exponent $y_t=1.0001(11)$ after the first step of the transformation.


title: Recent advances in high-throughput superconductivity research

abstract: Superconducting materials find applications in a rapidly growing number of technological areas, and searching for novel superconductors continues to be a major scientific task. However, the steady increase in the complexity of candidate materials presents a big challenge to the researchers in the field. In particular, conventional experimental methods are not well suited to efficiently search for candidates in compositional space exponentially growing with the number of elements; neither do they permit quick extraction of reliable multidimensional phase diagrams delineating the physical parameters that control superconductivity. New research paradigms that can boost the speed and the efficiency of superconducting materials research are urgently needed. High-throughput methods for rapid screening and optimization of materials have demonstrated their utility for accelerating research in bioinformatics and pharmaceutical industry, yet remain rare in quantum materials research. In this paper, we will briefly review the history of high-throughput research paradigm and then focus on some recent applications of this paradigm in superconductivity research. We consider the role these methods can play in all stages of materials development, including high-throughput computation, synthesis, characterization, and the emerging field of machine learning for materials. The high-throughput paradigm will undoubtedly become an indispensable tool of superconductivity research in the near future.


title: Interestingness Elements for Explainable Reinforcement Learning: Understanding Agents' Capabilities and Limitations

abstract: We propose an explainable reinforcement learning (XRL) framework that analyzes an agent's history of interaction with the environment to extract interestingness elements that help explain its behavior. The framework relies on data readily available from standard RL algorithms, augmented with data that can easily be collected by the agent while learning. We describe how to create visual summaries of an agent's behavior in the form of short video-clips highlighting key interaction moments, based on the proposed elements. We also report on a user study where we evaluated the ability of humans to correctly perceive the aptitude of agents with different characteristics, including their capabilities and limitations, given visual summaries automatically generated by our framework. The results show that the diversity of aspects captured by the different interestingness elements is crucial to help humans correctly understand an agent's strengths and limitations in performing a task, and determine when it might need adjustments to improve its performance.


title: Discriminative Sentence Modeling for Story Ending Prediction

abstract: Story Ending Prediction is a task that needs to select an appropriate ending for the given story, which requires the machine to understand the story and sometimes needs commonsense knowledge. To tackle this task, we propose a new neural network called Diff-Net for better modeling the differences of each ending in this task. The proposed model could discriminate two endings in three semantic levels: contextual representation, story-aware representation, and discriminative representation. Experimental results on the Story Cloze Test dataset show that the proposed model siginificantly outperforms various systems by a large margin, and detailed ablation studies are given for better understanding our model. We also carefully examine the traditional and BERT-based models on both SCT v1.0 and v1.5 with interesting findings that may potentially help future studies.


title: Adaptive Granularity in Tensors: A Quest for Interpretable Structure

abstract: Data collected at very frequent intervals is usually extremely sparse and has no structure that is exploitable by modern tensor decomposition algorithms. Thus the utility of such tensors is low, in terms of the amount of interpretable and exploitable structure that one can extract from them. In this paper, we introduce the problem of finding a tensor of adaptive aggregated granularity that can be decomposed to reveal meaningful latent concepts (structures) from datasets that, in their original form, are not amenable to tensor analysis. Such datasets fall under the broad category of sparse point processes that evolve over space and/or time. To the best of our knowledge, this is the first work that explores adaptive granularity aggregation in tensors. Furthermore, we formally define the problem and discuss what different definitions of "good structure" can be in practice, and show that optimal solution is of prohibitive combinatorial complexity. Subsequently, we propose an efficient and effective greedy algorithm called IceBreaker, which follows a number of intuitive decision criteria that locally maximize the "goodness of structure", resulting in high-quality tensors. We evaluate our method on synthetic, semi-synthetic and real datasets. In all the cases, our proposed method constructs tensors that have very high structure quality.


title: On the maximum modulus of integers in Kummer extensions

abstract: We study the extension of a result of Loxton (1972) on representation of algebraic integers as sums of roots of unity to Kummer extensions.


title: Floating zone furnace equipped with a high power laser of 1kW composed of five smart beams

abstract: A floating zone furnace is a powerful tool for single crystal growth. Here, we report the floating zone furnace using a high power diode laser of 1kW composed of five 200 Watt heating beams. The five beams with the designed irradiation intensity distribution enable the melt-growth of single crystals for refractory materials having a high melting temperature above 2000{\deg}C, volatile materials and even incongruent materials. The power of five beams in the horizontal plane provides uniform intensity in the outer circumference of the raw material rods, while the vertical direction power of five beams can be made to have a bell shape irradiation intensity so as to relax residual thermal stress in the grown single crystal. The present furnace enables one to directly monitor the temperature of the hot spot of raw material and the molten zone within a 1 mm diameter. Such an in-situ monitoring function of the temperature on the molten zone greatly enhances the controllability for optimizing the crystal growth condition.


title: Inefficiencies in Digital Advertising Markets

abstract: Digital advertising markets are growing and attracting increased scrutiny. This paper explores four market inefficiencies that remain poorly understood: ad effect measurement, frictions between and within advertising channel members, ad blocking and ad fraud. These topics are not unique to digital advertising, but each manifests in new ways in markets for digital ads. We identify relevant findings in the academic literature, recent developments in practice, and promising topics for future research.


title: An improved bound in Wirsing's problem

abstract: We improve the lower bound for the classical exponent of approximation $w_{n}^{\ast}(\xi)$ connected to Wirsing's famous problem of approximation to real numbers by algebraic numbers of degree at most $n$. Our bound exceeds $n/\sqrt{3}\approx 0.5773n$ and thus provides a reasonable qualitative improvement to previous bounds of order $n/2+O(1)$. We further establish new relations between several classical exponents of approximation.


title: Collision dynamics and reactions of fractional vortex molecules in coherently coupled Bose-Einstein condensates

abstract: Coherently coupled two-component Bose-Einstein condensates (BEC) exhibit vortex confinement resembling quark confinement in Quantum Chromo Dynamics (QCD). Fractionally quantized vortices winding only in one of two components are attached by solitons, and they cannot stably exist alone. Possible stable states are "hadrons" either of mesonic type, i.e., molecules made of a vortex and anti-vortex in the same component connected by a soliton, or of baryonic type, i.e., molecules made of two vortices winding in two different components connected by a soliton. Mesonic molecules move straight with a constant velocity while baryonic molecules rotate. We numerically simulate collision dynamics of mesonic and baryonic molecules and find that the molecules swap a partner in collisions in general like chemical and nuclear reactions, summarize all collisions as vortex reactions, and describe those by Feynman diagrams. We find a selection rule for final states after collisions of vortex molecules, analogous to that for collisions of hadrons in QCD.


title: Deep Reinforcement Learning Designed Shinnar-Le Roux RF Pulse using Root-Flipping: DeepRF_SLR

abstract: A novel approach of applying deep reinforcement learning to an RF pulse design is introduced. This method, which is referred to as DeepRF_SLR, is designed to minimize the peak amplitude or, equivalently, minimize the pulse duration of a multiband refocusing pulse generated by the Shinar Le-Roux (SLR) algorithm. In the method, the root pattern of SLR polynomial, which determines the RF pulse shape, is optimized by iterative applications of deep reinforcement learning and greedy tree search. When tested for the designs of the multiband factors of three and seven RFs, DeepRF_SLR demonstrated improved performance compared to conventional methods, generating shorter duration RF pulses in shorter computational time. In the experiments, the RF pulse from DeepRF_SLR produced a slice profile similar to the minimum-phase SLR RF pulse and the profiles matched to that of the computer simulation. Our approach suggests a new way of designing an RF by applying a machine learning algorithm, demonstrating a machine-designed MRI sequence.


title: Cylinders in weak del Pezzo fibrations

abstract: In this article, we shall look into the existence of vertical cylinders contained in a weak del Pezzo fibration as a generalization of the former work due to Dubouloz and Kishimoto in which they observed that of vertical cylinders found in del Pezzo fibrations. The essence lying in the existence of a cylinder in the generic fiber, we devote mainly ourselves into a geometry of minimal weak del Pezzo surfaces defined over a field of characteristic zero from the point of view of cylinders. As a result, we give the classification of minimal weak del Pezzo surfaces defined over a field of characteristic zero, moreover, we show that weak del Pezzo fibrations containing vertical cylinders are quite restrictive.


title: Optimal Experiment Design for AC Power Systems Admittance Estimation

abstract: The integration of renewables into electrical grids calls for the development of tailored control schemes which in turn require reliable grid models. In many cases, the grid topology is known but the actual parameters are not exactly known. This paper proposes a new approach for online parameter estimation in power systems based on optimal experimental design using multiple measurement snapshots. In contrast to conventional methods, our method computes optimal excitations extracting the maximum information in each estimation step to accelerate convergence. The performance of the proposed method is illustrated on a case study.


title: Detecting Incorrect Behavior of Cloud Databases as an Outsider

abstract: Cloud DBs offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud DBs are complicated black boxes, running in a different administrative domain from their clients; thus, clients might like to know whether the DBs are meeting their contract. A core difficulty is that the underlying problem here, namely verifying serializability, is NP-complete. Nevertheless, we hypothesize that on real-world workloads, verifying serializability is tractable, and we treat the question as a systems problem, for the first time. We build Cobra, which tames the underlying search problem by blending a new encoding of the problem, hardware acceleration, and a careful choice of a suitable SMT solver. cobra also introduces a technique to address the challenge of garbage collection in this context. cobra improves over natural baselines by at least 10x in the problem size it can handle, while imposing modest overhead on clients.


title: Edit Based Grading of SQL Queries

abstract: Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test correctness of a student query. However, in case a student query is found to be incorrect there is currently no way to automatically assign partial marks. Partial marking is important so that small errors are penalized less than large errors. Manually awarding partial marks is not scalable for classes with large number of students, especially MOOCs, and is also prone to human errors. In this paper, we discuss techniques to find a minimum cost set of edits to a student query that would make it correct, which can help assign partial marks, and to help students understand exactly where they went wrong. Given the limitations of current formal methods for checking equivalence, our approach is based on finding nearest query, from a set of instructor provided correct queries, that is found to be equivalent based on query canonicalization. We show that exhaustive techniques are expensive, and propose a greedy heuristic approach that works well both in terms of runtime and accuracy on queries in real-world datasets. Our system can also be used in a learning mode where query edits can be suggested as feedback to students to guide them towards a correct query. Our partial marking system has been successfully used in courses at IIT Bombay and IIT Dharwad.


title: Digital Controllers in Discrete and Continuous Time Domains for a Robot Arm Manipulator

abstract: This paper articulates design and performance analysis of digital controllers in discrete and continuous time domains for a single-joint robot arm manipulator. The investigated robot arm system is modeled as a single degree of freedom (DOF) plant and there is a feedback sensor implying a closed-loop system. The design approach incorporates discrete (z-plane) and continuous-time (warped s-plane or w-plane) domain parameters. Four digital controllers - phase-lag, phase-lead, proportional-integral (PI) and proportional-integral-derivative (PID) are theoretically designed and implemented to achieve a phase margin of 40 deg. for the compensated system. For performance evaluations, Bode plots of the compensated open-loop systems and step response characteristics of the closed-loop systems are determined.


title: AANet: Attribute Attention Network for Person Re-Identifications

abstract: This paper proposes Attribute Attention Network (AANet), a new architecture that integrates person attributes and attribute attention maps into a classification framework to solve the person re-identification (re-ID) problem. Many person re-ID models typically employ semantic cues such as body parts or human pose to improve the re-ID performance. Attribute information, however, is often not utilized. The proposed AANet leverages on a baseline model that uses body parts and integrates the key attribute information in an unified learning framework. The AANet consists of a global person ID task, a part detection task and a crucial attribute detection task. By estimating the class responses of individual attributes and combining them to form the attribute attention map (AAM), a very strong discriminatory representation is constructed. The proposed AANet outperforms the best state-of-the-art method arXiv:1711.09349v3 [cs.CV] using ResNet-50 by 3.36% in mAP and 3.12% in Rank-1 accuracy on DukeMTMC-reID dataset. On Market1501 dataset, AANet achieves 92.38% mAP and 95.10% Rank-1 accuracy with re-ranking, outperforming arXiv:1804.00216v1 [cs.CV], another state of the art method using ResNet-152, by 1.42% in mAP and 0.47% in Rank-1 accuracy. In addition, AANet can perform person attribute prediction (e.g., gender, hair length, clothing length etc.), and localize the attributes in the query image.


title: Extendable NFV-Integrated Control Method Using Reinforcement Learning

abstract: Network functions virtualization (NFV) enables telecommunications service providers to realize various network services by flexibly combining multiple virtual network functions (VNFs). To provide such services, an NFV control method should optimally allocate such VNFs into physical networks and servers by taking account of the combination(s) of objective functions and constraints for each metric defined for each VNF type, e.g., VNF placements and routes between the VNFs. The NFV control method should also be extendable for adding new metrics or changing the combination of metrics. One approach for NFV control to optimize allocations is to construct an algorithm that simultaneously solves the combined optimization problem. However, this approach is not extendable because the problem needs to be reformulated every time a new metric is added or a combination of metrics is changed. Another approach involves using an extendable network-control architecture that coordinates multiple control algorithms specified for individual metrics. However, to the best of our knowledge, no method has been developed that can optimize allocations through this kind of coordination. In this paper, we propose an extendable NFV-integrated control method by coordinating multiple control algorithms. We also propose an efficient coordination algorithm based on reinforcement learning. Finally, we evaluate the effectiveness of the proposed method through simulations.


title: On the algebraic functional equation of the eigenspaces of mixed signed Selmer groups of elliptic curves with good reduction at primes above $p$

abstract: Let $p$ be an odd prime number, and let $E$ be an elliptic curve defined over a number field which has good reduction at every prime above $p$. Under suitable assumptions, we prove that the $\eta$-eigenspace and the $\bar{\eta}$-eigenspace of mixed signed Selmer group of the elliptic curve are pseudo-isomorphic. As a corollary, we show that the $\eta$-eigenspace is trivial if and only if the $\bar{\eta}$-eigenspace is trivial. Our results can be thought as a reflection principle which relate an Iwasawa module in a given eigenspace with another Iwasawa module in a "reflected" eigenspace.


title: Measuring the Quality of Explanations: The System Causability Scale (SCS). Comparing Human and Machine Explanations

abstract: Recent success in Artificial Intelligence (AI) and Machine Learning (ML) allow problem solving automatically without any human intervention. Autonomous approaches can be very convenient. However, in certain domains, e.g., in the medical domain, it is necessary to enable a domain expert to understand, why an algorithm came up with a certain result. Consequently, the field of Explainable AI (xAI) rapidly gained interest worldwide in various domains, particularly in medicine. Explainable AI studies transparency and traceability of opaque AI/ML and there are already a huge variety of methods. For example with layer-wise relevance propagation relevant parts of inputs to, and representations in, a neural network which caused a result, can be highlighted. This is a first important step to ensure that end users, e.g., medical professionals, assume responsibility for decision making with AI/ML and of interest to professionals and regulators. Interactive ML adds the component of human expertise to AI/ML processes by enabling them to re-enact and retrace AI/ML results, e.g. let them check it for plausibility. This requires new human-AI interfaces for explainable AI. In order to build effective and efficient interactive human-AI interfaces we have to deal with the question of how to evaluate the quality of explanations given by an explainable AI system. In this paper we introduce our System Causability Scale (SCS) to measure the quality of explanations. It is based on our notion of Causability (Holzinger et al., 2019) combined with concepts adapted from a widely accepted usability scale.


title: Matrix-Calibration-Based Cascaded Channel Estimation for Reconfigurable Intelligent Surface Assisted Multiuser MIMO

abstract: Reconfigurable intelligent surface (RIS) is envisioned to be an essential component of the paradigm for beyond 5G networks as it can potentially provide similar or higher array gains with much lower hardware cost and energy consumption compared with the massive multiple-input multiple-output (MIMO) technology. In this paper, we focus on one of the fundamental challenges, namely the channel acquisition, in an RIS-assisted multiuser MIMO system. The state-of-the-art channel acquisition approach in such a system with fully passive RIS elements estimates the cascaded transmitter-to-RIS and RIS-to-receiver channels by adopting excessively long training sequences. To estimate the cascaded channels with an affordable training overhead, we formulate the channel estimation problem in the RIS-assisted multiuser MIMO system as a matrix-calibration based matrix factorization task. By exploiting the information on the slow-varying channel components and the hidden channel sparsity, we propose a novel message-passing based algorithm to factorize the cascaded channels. Furthermore, we present an analytical framework to characterize the theoretical performance bound of the proposed estimator in the large-system limit. Finally, we conduct simulations to verify the high accuracy and efficiency of the proposed algorithm.


title: Bounded Manifold Completion

abstract: Nonlinear dimensionality reduction or, equivalently, the approximation of high-dimensional data using a low-dimensional nonlinear manifold is an active area of research. In this paper, we will present a thematically different approach to detect the existence of a low-dimensional manifold of a given dimension that lies within a set of bounds derived from a given point cloud. A matrix representing the appropriately defined distances on a low-dimensional manifold is low-rank, and our method is based on current techniques for recovering a partially observed matrix from a small set of fully observed entries that can be implemented as a low-rank Matrix Completion (MC) problem. MC methods are currently used to solve challenging real-world problems, such as image inpainting and recommender systems, and we leverage extent efficient optimization techniques that use a nuclear norm convex relaxation as a surrogate for non-convex and discontinuous rank minimization. Our proposed method provides several advantages over current nonlinear dimensionality reduction techniques, with the two most important being theoretical guarantees on the detection of low-dimensional embeddings and robustness to non-uniformity in the sampling of the manifold. We validate the performance of this approach using both a theoretical analysis as well as synthetic and real-world benchmark datasets.


title: Density Functional Theory and Deep-learning to Accelerate Data Analytics in Scanning Tunneling Microscopy

abstract: We introduce the first systematic database of scanning tunneling microscope (STM) images obtained using density functional theory (DFT) for two-dimensional (2D) materials, calculated using the Tersoff-Hamann method. It currently contains data for 716 exfoliable 2D materials. Examples of the five possible Bravais lattice types for 2D materials and their Fourier-transforms are discussed. All the computational STM images generated in this work will be made available on the JARVIS-DFT website (https://www.ctcms.nist.gov/~knc6/JVASP.html). We find excellent qualitative agreement between the computational and experimental STM images for selected materials. As a first example application of this database, we train a convolution neural network (CNN) model to identify Bravais lattices from the STM images. We believe the model can aid high-throughput experimental data analysis. These computational STM images can directly aid the identification of phases, analyzing defects and lattice-distortions in experimental STM images, as well as be incorporated in the autonomous experiment workflows.


title: Scale-wise Convolution for Image Restoration

abstract: While scale-invariant modeling has substantially boosted the performance of visual recognition tasks, it remains largely under-explored in deep networks based image restoration. Naively applying those scale-invariant techniques (e.g. multi-scale testing, random-scale data augmentation) to image restoration tasks usually leads to inferior performance. In this paper, we show that properly modeling scale-invariance into neural networks can bring significant benefits to image restoration performance. Inspired from spatial-wise convolution for shift-invariance, "scale-wise convolution" is proposed to convolve across multiple scales for scale-invariance. In our scale-wise convolutional network (SCN), we first map the input image to the feature space and then build a feature pyramid representation via bi-linear down-scaling progressively. The feature pyramid is then passed to a residual network with scale-wise convolutions. The proposed scale-wise convolution learns to dynamically activate and aggregate features from different input scales in each residual building block, in order to exploit contextual information on multiple scales. In experiments, we compare the restoration accuracy and parameter efficiency among our model and many different variants of multi-scale neural networks. The proposed network with scale-wise convolution achieves superior performance in multiple image restoration tasks including image super-resolution, image denoising and image compression artifacts removal. Code and models are available at: https://github.com/ychfan/scn_sr


title: Knotted 3-balls in S^4

abstract: The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of \pi_0 Diff_0(S^1xS^3). Along the way we introduce barbell diffeomorphisms, implantations and twistings to construct and modify diffeomorphisms homotopic to the identity. We also introduce a 2-parameter calculus of embeddings of the interval into 4-manifolds and introduce a framed cobordism method as well as a direct method for showing that certain 2-parameter families are homotopically non trivial and diffeomorphisms are isotopically nontrivial. Extensions to higher dimensional manifolds are obtained.


title: Spectral Collapse in the two-photon quantum Rabi model

abstract: Spectral collapse, the transition from discrete to continuous spectrum, is a characteristic in quantum Rabi models. We explore this phenomenon in the two-photon quantum Rabi model in optical phase space and find that, in the so-called degenerate qubit regime, the collapse is similar to that happening in the transition from a quantum harmonic to an inverted quadratic potential with the free-partical potential as transition point. In this regime, it is possible to construct Dirac-normalizable eigenfunctions for the model that show well defined parity. In the general model, we use parity to diagonalize the system in the qubit basis and numerically find that the qubit frequency does not change the critical point where spectral collapse occurs.


title: IYPt is a highly polar, nonlinear triatomic molecule

abstract: An explorative quantum chemical study of the triatomic molecule IYPt, its isomers, group 17 congeners, and dimer is carried out. The results indicate that IYPt is a ground-state singlet with a bent geometry and a large electric dipole moment of magnitude 4.8 D. The IPtY isomer also is bent but 33.5 kcal/mol higher in energy whereas the isomer with the central iodine atom is not stable a molecule. Furthermore, the calculations indicate that only the dimer of IYPt, made of a (PtY)2 rhombus with the iodine atoms bonded to Y, is characterized by positive vibrational frequencies.


title: Disassociation energies for the finite density N-body problem

abstract: This paper considers the energy required for collections of finite density bodies to undergo escape under internal gravitational interactions alone. As the level of the system energy is increased there are different combinations of components that can escape, until the total energy becomes positive, when the entire system can undergo mutual disruption. The results are also defined for bodies modeled as a continuum. These results provide rigorous constraints for the disruption of rubble pile asteroids when only considering gravitational interaction effects, with the energy provided by rotation of an initial collection of the system. These issues are considered for discrete particles in the N body problem and for size distributions of discrete particles in the continuum limit.


title: TransMatch: A Transfer-Learning Scheme for Semi-Supervised Few-Shot Learning

abstract: The successful application of deep learning to many visual recognition tasks relies heavily on the availability of a large amount of labeled data which is usually expensive to obtain. The few-shot learning problem has attracted increasing attention from researchers for building a robust model upon only a few labeled samples. Most existing works tackle this problem under the meta-learning framework by mimicking the few-shot learning task with an episodic training strategy. In this paper, we propose a new transfer-learning framework for semi-supervised few-shot learning to fully utilize the auxiliary information from labeled base-class data and unlabeled novel-class data. The framework consists of three components: 1) pre-training a feature extractor on base-class data; 2) using the feature extractor to initialize the classifier weights for the novel classes; and 3) further updating the model with a semi-supervised learning method. Under the proposed framework, we develop a novel method for semi-supervised few-shot learning called TransMatch by instantiating the three components with Imprinting and MixMatch. Extensive experiments on two popular benchmark datasets for few-shot learning, CUB-200-2011 and miniImageNet, demonstrate that our proposed method can effectively utilize the auxiliary information from labeled base-class data and unlabeled novel-class data to significantly improve the accuracy of few-shot learning task.


title: A Restrained Paillier Cryptosystem and Its Applications for Access Control of Common Secret

abstract: The modified Paillier cryptosystem has become extremely popular and applied in many fields, owning to its additive homomorphism. This cryptosystem provides weak private keys and a strong private key. A weak private key only can decrypt ciphertexts under the corresponding public key. The strong private key can decrypt all ciphertexts even under different public keys. When the modified Paillier cryptosystem is applied in a system, the member, often the system administrator, has the strong private key and can decrypt all ciphertexts. If this system administrator is attacked or compromised, the security of the application system absolutely break down. Thus, it is important to stop the decryption of the strong private key. To address this issue, we propose an restrained version of the modified Paillier cryptosystem (Restrained-Paillier), by endowing the multiplicative homomorphism. We perform the additive encryption on the multiplicative ciphertext and generate the mixed ciphertext, which can not be decrypted by the strong private key. Based on this Restrained-Paillier, we develop two applications. Firstly, we realize access control of common secret of two owners. In our scheme, only one owner cannot access secret. Secondly, we present three protocols for identity distribution and key management, identity authentication and private key recovery. Security analysis shows that the Restrained-Paillier cryptosystem can resist the chosen plaintext attack. The experimental results illustrate the utility and efficiency of the proposed protocols.


title: Modeling and simulation of transverse wakefields in PWFA

abstract: A simplified model describing the PWFA (plasma wakefield acceleration) transverse instability in the form of a wake function parameterized only with an effective cavity aperture radius $a$ is benchmarked against PIC-simulations. This wake function implies a $1/a^4$ scaling of the transverse wakefields, which indicates transverse intra-beam wakefields typically several orders of magnitude higher than in conventional acceleration structures. Furthermore, the wakefield formalism is utilized to perform a parameter study for a \SI{1.5}{\tera\electronvolt} plasma wakefield accelerator, where the constraint on drive beam to main beam efficiency imposed by transverse wakefields is taken into account. Eventually, a parameter set with promising properties in terms of energy spread, stability and luminosity per power was found.


title: Higher-order Dirac fermions in three dimensions

abstract: Relativistic massless Weyl and Dirac fermions exhibit the isotropic and linear dispersion relations to preserve the Poincar\'{e} symmetry, the most fundamental symmetry in high energy physics. In solids, the counterparts of the Poincar\'{e} symmetry are crystallographic symmetries, and hence, it is natural to explore generalizations of Dirac and Weyl fermions compatible with their crystallographic symmetries and then the new physics coming along with them. Here, we study an important kind of generalization, namely massless Dirac fermions with higher-order dispersion relations protected by crystallographic symmetries in three-dimensional nonmagnetic systems. We perform a systematic search over all 230 space groups with time-reversal symmetry and spin-orbit coupling considered. We find that the order of dispersion cannot be higher than three, i.e., only the quadratic and cubic Dirac points (QDPs and CDPs) are possible. We discover previously unknown classes of higher-order Dirac points, including the chiral QDPs with Chern numbers of $\pm 4$ and the QDPs/CDPs without centrosymmetry. Especially the chiral QDPs feature four extensive surface Fermi arcs and four chiral Landau bands and hence leads to observable signatures in spectroscopic and transport experiments. We further show that these higher-order Dirac points represent parent phases for other exotic topological structures. Via controlled symmetry breaking, QDPs and CDPs can be transformed into double Weyl points, triple Weyl points, charge-2 Dirac points or Weyl loops. Using first-principles calculations, we also identify possible material candidates, including $\alpha$-TeO$_2$ and YRu$_4$B$_4$, which realize the predicted nodal structures.


title: Universality near the gradient catastrophe point in the semiclassical sine-Gordon equation

abstract: We study the semiclassical limit of the sine-Gordon (sG) equation with below threshold pure impulse initial data of Klaus-Shaw type. The Whitham averaged approximation of this system exhibits a gradient catastrophe in finite time. In accordance with a conjecture of Dubrovin, Grava and Klein, we found that in a $\mathcal{O}(\epsilon^{4/5})$ neighborhood near the gradient catastrophe point, the asymptotics of the sG solution are universally described by the Painlev\'e I tritronqu\'ee solution. A linear map can be explicitly made from the tritronqu\'ee solution to this neighborhood. Under this map: away from the tritronqu\'ee poles, the first correction of sG is universally given by the real part of the Hamiltonian of the tritronqu\'ee solution; localized defects appear at locations mapped from the poles of tritronqu\'ee solution; the defects are proved universally to be a two parameter family of special localized solutions on a periodic background for the sG equation. We are able to characterize the solution in detail. Our approach is the rigorous steepest descent method for matrix Riemann--Hilbert problems, substantially generalizing Bertola and Tovbis's results on the nonlinear Schr\"odinger equation to establish universality beyond the context of solutions of a single equation.


title: QCD axion and Neutrino induced by Hidden flavor structure

abstract: We study the reasonable requirements of two anomalous $U(1)$s in a flavored-axion framework for the anomaly cancellations of both $U(1)$-mixed gravity and $U(1)_Y\times[U(1)]^2$ which in turn determine the $U(1)_Y$ charges where $U(1)_Y$ is the hypercharge gauge symmetry of the standard model. We argue that, with a flavor symmetry group, axion-induced topology in symmetry-broken phases plays crucial roles in describing how quarks and leptons are organized at a fundamental level and make deep connections with each other. A unified model, as an example, is then proposed in a simple way to describe a whole spectrum of particles where both flavored-axion interactions with normal matter and the masses and mixings of fermions emerge from the spontaneous breaking of a given symmetry group. Once a scale of active neutrino mass defined at a seesaw scale is fixed by the commensurate $U(1)$ flavored-PQ charge of fermions, that of QCD axion decay constant $F_A$ is determined. In turn, fundamental physical parameters complementary to each other are predicted with the help of precision flavor experiments. Model predictions are extracted on the characteristics of neutrino and flavored-axion: $F_A=3.57^{\,+1.52}_{\,-1.53}\times10^{10}$ GeV (consequently, QCD axion mass $m_a=1.52^{+1.14}_{-0.46}\times10^{-4}$ eV, axion to photon coupling $|g_{a\gamma\gamma}|=2.15^{+1.61}_{-0.64}\times10^{-14}\,\text{GeV}^{-1}$, axion to electron coupling $g_{Aee}=3.29^{+2.47}_{-0.98}\times10^{-14}$, etc.); atmospheric mixing angle $\theta_{23}$, Dirac CP phase $\delta_{CP}$, and $0\nu\beta\beta${\it-decay rate} for normal mass ordering and inverted one by taking quantum corrections into account.


title: $L$-orthogonality, octahedrality and Daugavet property in Banach spaces

abstract: In contrast with the separable case, we prove that the existence of almost $L$-orthogonal vectors in a nonseparable Banach space $X$ (octahedrality) does not imply the existence of nonzero vectors in $X^{**}$ being $L$-orthogonal to $X$, which shows that the answer to an environment question in [9] is negative. Furthermore, we prove that the abundance of almost $L$-orthogonal vectors in a Banach space $X$ (almost Daugavet property) whose density character is $\omega_1$ implies the abundance of nonzero vectors in $X^{**}$ being $L$-orthogonal to $X$. In fact, we get that a Banach space $X$ whose density character is $\omega_1$ verifies the Daugavet property if, and only if, the set of vectors in $X^{**}$ being $L$-orthogonal to $X$ is weak-star dense in $X^{**}$. We also prove that, under CH, the previous characterisation is false for Banach spaces with larger density character. Finally, some consequences on Daugavet property in the setting of $L$-embedded spaces are obtained.


title: Reducing Selection Bias in Counterfactual Reasoning for Individual Treatment Effects Estimation

abstract: Counterfactual reasoning is an important paradigm applicable in many fields, such as healthcare, economics, and education. In this work, we propose a novel method to address the issue of \textit{selection bias}. We learn two groups of latent random variables, where one group corresponds to variables that only cause selection bias, and the other group is relevant for outcome prediction. They are learned by an auto-encoder where an additional regularized loss based on Pearson Correlation Coefficient (PCC) encourages the de-correlation between the two groups of random variables. This allows for explicitly alleviating selection bias by only keeping the latent variables that are relevant for estimating individual treatment effects. Experimental results on a synthetic toy dataset and a benchmark dataset show that our algorithm is able to achieve state-of-the-art performance and improve the result of its counterpart that does not explicitly model the selection bias.


title: Real-time stream processing in radio astronomy

abstract: A major challenge in modern radio astronomy is dealing with the massive data volumes generated by wide-bandwidth receivers. Such massive data rates are often too great for a single device to cope, and so processing must be split across multiple devices working in parallel. These devices must work in unison to process incoming data in real time, reduce the data volume to a manageable size, and output a science-ready data product. The aim of this chapter is to give a broad overview of how digital systems for radio telescopes are commonly implemented, with a focus on real-time stream processing over multiple compute devices.


title: Electrowetting diminishes contact line friction in molecular wetting

abstract: We use large-scale molecular dynamics to study dynamics at the three-phase contact line in electrowetting of water and electrolytes on no-slip substrates. Under the applied electrostatic potential the line friction at the contact line is diminished. The effect is consistent for droplets of different sizes as well as for both pure water and electrolyte solution droplets. We analyze the electric field at the contact line to show how it assists ions and dipolar molecules to advance the contact line. Without an electric field, the interaction between a substrate and a liquid has a very short range, mostly affecting the bottom, immobilized layer of liquid molecules which leads to high friction since mobile molecules are not pulled towards the surface. In electrowetting, the electric field attracts charged and polar molecules over a longer range which diminishes the friction.


title: Deep Learning-based Limited Feedback Designs for MIMO Systems

abstract: We study a deep learning (DL) based limited feedback methods for multi-antenna systems. Deep neural networks (DNNs) are introduced to replace an end-to-end limited feedback procedure including pilot-aided channel training process, channel codebook design, and beamforming vector selection. The DNNs are trained to yield binary feedback information as well as an efficient beamforming vector which maximizes the effective channel gain. Compared to conventional limited feedback schemes, the proposed DL method shows an 1 dB symbol error rate (SER) gain with reduced computational complexity.


title: Loewy lengths of centers of blocks and exponents of defect groups

abstract: In this paper we study the Loewy structure of the center $ZB$ of a block of a finite group with respect to an algebraically closed field of prime characteristic. We first state a new method for calculating the Loewy length $LL(ZB)$ of $ZB$ in terms of subsections and lower defect groups. By applying this result we give an upper bound of $LL(ZB)$ which depends on the exponent of a defect group of $B$ for some cases.


title: Continuous Phase Transition without Gap Closing in Non-Hermitian Quantum Many-Body Systems

abstract: Contrary to the conventional wisdom in Hermitian systems, a continuous quantum phase transition between gapped phases is shown to occur without closing the energy gap $\Delta$ in non-Hermitian quantum many-body systems. Here, the relevant length scale $\xi \simeq v_{\rm LR}/\Delta$ diverges because of the breakdown of the Lieb-Robinson bound on the velocity (i.e., unboundedness of $v_{\rm LR}$) rather than vanishing of the energy gap $\Delta$. The susceptibility to a change in the system parameter exhibits a singularity due to nonorthogonality of eigenstates. As an illustrative example, we present an exactly solvable model by generalizing Kitaev's toric-code model to a non-Hermitian regime.


title: In situ Measurement of Curvature of Magnetic Field in Turbulent Space Plasmas: A Statistical Study

abstract: Using in situ data, accumulated in the turbulent magnetosheath by the Magnetospheric Multiscale (MMS) Mission, we report a statistical study of magnetic field curvature and discuss its role in the turbulent space plasmas. Consistent with previous simulation results, the Probability Distribution Function (PDF) of the curvature is shown to have distinct power-law tails for both high and low value limits. We find that the magnetic-field-line curvature is intermittently distributed in space. High curvature values reside near weak magnetic-field regions, while low curvature values are correlated with small magnitude of the force acting normal to the field lines. A simple statistical treatment provides an explanation for the observed curvature distribution. This novel statistical characterization of magnetic curvature in space plasma provides a starting point for assessing, in a turbulence context, the applicability and impact of particle energization processes, such as curvature drift, that rely on this fundamental quantity.


title: Origin of Magnetic Ordering in a Structurally-Perfect Quantum Kagome Antiferromagnet

abstract: The ground state of the simple Heisenberg nearest-neighbor quantum kagome antiferromagnetic model is a magnetically disordered spin liquid, yet various perturbations may lead to fundamentally different states. Here we disclose the origin of magnetic ordering in the structurally-perfect kagome material YCu$_3$(OH)$_6$Cl$_3$, which is free of the widespread impurity problem. {\it Ab-initio} calculations and modeling of its magnetic susceptibility reveal that, similar to the archetypal case of herbertsmithite, the nearest-neighbor exchange is by far the dominant isotropic interaction. Dzyaloshinskii-Moriya (DM) magnetic anisotropy deduced from electron spin resonance and specific-heat measurements is, however, significantly larger than in herbertsmithite. By enhancing spin correlations within kagome planes, this anisotropy is essential for magnetic ordering. Our study isolates the effect of DM anisotropy from other perturbations and unambiguously confirms the theoretical phase diagram.


title: A Bridge from Euclidean Nonperturbative approach to Minkowskian Distribution Functions

abstract: We give out a simple way to connect the parton distribution functions defined in Minkowskian space and the nonperturbative QCD methods grounded in Euclidean space (e.g., lattice QCD(LQCD), Dyson-Schwinger (DS) equations, functional renormalization group (FRG) approach) in this work. We combine the MIT bag model with the DS equation approach to calculate the longitudinal distribution function, transverse distribution function and scalar distribution function in a proton at renormalization point $\mu = 2\,\text{GeV}$. We look then insight into the dressed effects on the axial, tensor and scalar charges in a nucleon to some extent. This method can be regard as a new bridge between the Euclidean non-perturbative approaches and the Minkowskian space physics.


title: The Strength of Ramsey's Theorem For Pairs over trees: I. Weak K\"onig's Lemma

abstract: Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have the same color. Let $\mathsf{WKL}_0$ be the subsystem of second order arithmetic consisting of the base system $\mathsf{RCA}_0$ together with the principle (called Weak K\"onig's Lemma) stating that every infinite subtree of the full binary tree has an infinite path. We show that over $\mathsf{RCA}_0$, $\mathsf{TT}^2_k$ doe not imply $\mathsf{WKL}_0$. This solves the open problem on the relative strength between the two major subsystems of second order arithmetic.


title: On The Lupton Conjecture

abstract: In this note we complete, in the case of coformal rationally elliptic spaces, the proof of Lupton's conjecture posed and partially approved in \cite{Lup02}. As a consequence, we establish the Hilali conjecture for such spaces.


title: On the hardness of finding normal surfaces

abstract: For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms for these problems is normal surface theory. However, we currently have a poor understanding of the computational complexity of problems in normal surface theory: many such problems are still not known to have polynomial-time algorithms, yet proofs of $\mathrm{NP}$-hardness also remain scarce. We give three results that provide some insight on this front. A number of modern normal surface theoretic algorithms depend critically on the operation of finding a non-trivial normal sphere or disc in a $3$-dimensional triangulation. We formulate an abstract problem that captures the algebraic and combinatorial aspects of this operation, and show that this abstract problem is $\mathrm{NP}$-complete. Assuming $\mathrm{P}\neq\mathrm{NP}$, this result suggests that any polynomial-time procedure for finding a non-trivial normal sphere or disc will need to exploit some geometric or topological intuition. Another key operation, which applies to a much wider range of topological problems, involves finding a vertex normal surface of a certain type. We study two closely-related problems that can be solved using this operation. For one of these problems, we give a simple alternative solution that runs in polynomial time; for the other, we prove $\mathrm{NP}$-completeness.


title: Avoid Schnorr randomness

abstract: We prove that every finite partition of $\omega$ admit an infinite subset that does not compute a Schnorr random real. We use this result to answer two questions of Brendle, Brooke-Taylor, Ng and Nies and strength a result of Khan and Miller.


title: Which DNR can be minimal

abstract: Khan and Miller proved that for every computable non decreasing unbounded function $h\in \omega^\omega$ (henceforth order function), if $h$ is sufficiently large, then there exists a $DNR_h$ that is of minimal degree. Where $h$ has to satisfy $\lim_{n\rightarrow\infty} h(n)/(2^{k\cdot \prod_{m<n}h(m)})=\infty$ for all $k>0$. Their core argument is that we can thin the tree by a factor of $2^j$ to make $j$ Turing functional split. We improve their result by reducing this factor to $j$. Thus we show that for every order function $h$ with $\lim_{n\rightarrow\infty} h(n)/( \prod_{m<n}h(m))^k=\infty$ for all $k>0$, there exists a $DNR_h$ of minimal degree. We answer a question of Brendle, Brooke-Taylor, Ng and Nies by showing that there exists a $G\in \omega^\omega$ such that $G$ is weakly meager covering, $G$ does not compute any Schnorr random real and $G$ does not Schnorr cover REC.


title: Spin rotation by resonant electric field in few-level quantum dots: Floquet dynamics and tunneling

abstract: We study electric dipole spin resonance caused by sub-terahertz (THz) radiation in a multilevel finite-size quantum dot formed in a nanowire focusing on the range of driving electric fields amplitudes where a strong interplay between the Rabi spin oscillations and tunneling from the dot to continuum states can occur. A strong effect of the tunneling on the spin evolution in this regime occurs due to formation of mixed spin states. As a result, the tunneling strongly limits possible spin manipulations time. We demonstrate a backaction of the spin dynamics on the tunneling and position of the electron. The analysis of the efficiency of the spin manipulation in terms of the system energy shows that tunneling decreases this efficiency. Fourier spectra of the time-dependent expectation value of the electron position show a strong effect of the spin-orbit coupling on their low-frequency components. This results can be applied to operational properties of spin-based nanodevices and extending the range of possible spin resonance frequencies to the THz domain.


title: Exceptional non-Hermitian topological edge mode and its application to active matter

abstract: Topological materials exhibit edge-localized scattering-free modes protected by their nontrivial bulk topology through the bulk-edge correspondence in Hermitian systems. While topological phenomena have recently been much investigated in non-Hermitian systems with dissipations and injections, the fundamental principle of their edge modes has not fully been established. Here, we reveal that in non-Hermitian systems robust gapless edge modes can ubiquitously appear owing to a mechanism that is distinct from bulk topology, thus indicating the breakdown of the bulk-edge correspondence. The robustness of these edge modes originates from yet another topological structure accompanying the branchpoint singularity around an exceptional point, at which eigenvectors coalesce and the Hamiltonian becomes nondiagonalizable. Their characteristic complex eigenenergy spectra are applicable to realize lasing wave packets that propagate along the edge of the sample. We numerically confirm the emergence and the robustness of the proposed edge modes in the prototypical models. Furthermore, we show that these edge modes appear in a model of chiral active matter based on the hydrodynamic description, demonstrating that active matter can exhibit an inherently non-Hermitian topological feature. The proposed general mechanism would serve as an alternative designing principle to realize scattering-free edge current in non-Hermitian devices, going beyond the existing frameworks of non-Hermitian topological phases.

categories: cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech physics.flu-dyn physics.optics


title: Algebraic multigrid methods for saddle point systems arising from mortar contact formulations

abstract: In this paper, a fully aggregation-based algebraic multigrid strategy is developed for nonlinear contact problems of saddle point type using a mortar finite element approach. While the idea of extending multigrid methods to saddle point systems can already be found, e.g., in the context of Stokes and Oseen equations in literature, the main contributions of this work are (i) the development and open-source implementation of an interface aggregation strategy specifically suited for generating Lagrange multiplier aggregates that are required for coupling structural equilibrium equations with contact constraints and (ii) a review of saddle point smoothers in the context of constrained interface problems. The new interface aggregation strategy perfectly fits into an aggregation-based multigrid framework and can easily be combined with segregated transfer operators, which allow to preserve the saddle point structure on the coarse levels. Further analysis provides insight into saddle point smoothers applied to contact problems, while numerical experiments illustrate the robustness of the new method. We have implemented the proposed algorithm within the MueLu package of the open-source Trilinos project. Numerical examples demonstrate the robustness of the proposed method in complex dynamic contact problems as well as its scalability up to 23.9 million unknowns on 480 MPI ranks.


title: PointVoteNet: Accurate Object Detection and 6 DoF Pose Estimation in Point Clouds

abstract: We present a learning-based method for 6 DoF pose estimation of rigid objects in point cloud data. Many recent learning-based approaches use primarily RGB information for detecting objects, in some cases with an added refinement step using depth data. Our method consumes unordered point sets with/without RGB information, from initial detection to the final transformation estimation stage. This allows us to achieve accurate pose estimates, in some cases surpassing state of the art methods trained on the same data.


title: Semileptonic decays of heavy mesons with artificial neural networks

abstract: Experimental checks of the second row unitarity of the Cabibbo-Kobayashi-Maskawa (CKM) matrix involve extractions of the matrix element $V_{cd}$, which may be obtained from semileptonic decay rates of $D$ to $\pi$. These decay rates are proportional to hadronic form factors which parameterize how the quark $c \to d$ transition is realized in $D \to \pi$ meson decays. The form factors can not yet be analytically computed over the whole range of available momentum transfer $q^2$, but can be parameterized with a varying degree of model dependency. We propose using artificial neural networks trained from experimental pseudo-data to predict the shape of these form factors with a prescribed uncertainty. We comment on the parameters of several commonly-used model parameterizations of semileptonic form factors. We extract shape parameters and use unitarity to bound the form factor at a given $q^2$, which then allows us to bound the CKM matrix element $|V_{cd}|$.


title: $n$-ML: Mitigating Adversarial Examples via Ensembles of Topologically Manipulated Classifiers

abstract: This paper proposes a new defense called $n$-ML against adversarial examples, i.e., inputs crafted by perturbing benign inputs by small amounts to induce misclassifications by classifiers. Inspired by $n$-version programming, $n$-ML trains an ensemble of $n$ classifiers, and inputs are classified by a vote of the classifiers in the ensemble. Unlike prior such approaches, however, the classifiers in the ensemble are trained specifically to classify adversarial examples differently, rendering it very difficult for an adversarial example to obtain enough votes to be misclassified. We show that $n$-ML roughly retains the benign classification accuracies of state-of-the-art models on the MNIST, CIFAR10, and GTSRB datasets, while simultaneously defending against adversarial examples with better resilience than the best defenses known to date and, in most cases, with lower classification-time overhead.


title: Exact plaquette singlet phases in an orthogonal-plaquette model

abstract: We introduce a quantum spin-1/2 model hosting two exact plaquette singlet ground states in extended parameter regimes. There is an exact phase transition between both phases, at which the system has an extensive ground-state degeneracy. Further, the model exhibits an extensive number of conserved quantities, which allow the prediction of additional phases. We exploit this feature and explore the phase diagram in detail for two specific parameter regimes. The model is based solely on Heisenberg interactions and seems sufficiently simple to be realized in quantum materials. A general scheme to determine exact singlet product states is briefly discussed.


title: Graph product Khintchine inequalities and Hecke C*-algebras: Haagerup inequalities, (non)simplicity, nuclearity and exactness

abstract: Graph products of groups were introduced by Green in her thesis. They have an operator algebraic counterpart introduced and explored by Fima and the first-named author. In this paper we prove Khintchine type inequalities for general C$^{\ast}$-algebraic graph products which generalize results by Ricard and Xu on free products of C$^{\ast}$-algebras. We apply these inequalities in the context of (right-angled) Hecke C$^{\ast}$-algebras, which are deformations of the group algebra of Coxeter groups. For these we deduce a Haagerup inequality. We further use this to study the simplicity and trace uniqueness of (right-angled) Hecke C$^{\ast}$-algebras. Lastly we characterize exactness and nuclearity of general Hecke C$^{\ast}$-algebras.


title: Achieving the ultimate precision limit in quantum NMR spectroscopy

abstract: The ultimate precision limit in estimating the Larmor frequency of $N$ unentangled rotating spins is well established, and is highly important for magnetometers, gyroscopes and many other sensors. However this limit assumes perfect, single addressing, measurements of the spins. This requirement is not practical in NMR spectroscopy, as well as other physical systems, where a weakly interacting external probe is used as a measurement device. Here we show that in the framework of quantum nano-NMR spectroscopy, in which these limitations are inherent, the ultimate precision limit is still achievable using control and a finely tuned measurement.


title: Noncommutative maximal operators with rough kernels

abstract: This paper is devoted to the study of noncommutative maximal operators with rough kernels. More precisely, we prove the weak type $(1,1)$ boundedness for noncommutative maximal operators with rough kernels. The proof of weak type (1,1) estimate is based on the noncommutative Calder\'on-Zygmund decomposition. To deal with the rough kernel, we use the microlocal decomposition in the proofs of both the bad and good functions.


title: Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes

abstract: Motivated by the transformative impact of deep neural networks (DNNs) in various domains, researchers and anti-virus vendors have proposed DNNs for malware detection from raw bytes that do not require manual feature engineering. In this work, we propose an attack that interweaves binary-diversification techniques and optimization frameworks to mislead such DNNs while preserving the functionality of binaries. Unlike prior attacks, ours manipulates instructions that are a functional part of the binary, which makes it particularly challenging to defend against. We evaluated our attack against three DNNs in white- and black-box settings, and found that it often achieved success rates near 100%. Moreover, we found that our attack can fool some commercial anti-viruses, in certain cases with a success rate of 85%. We explored several defenses, both new and old, and identified some that can foil over 80% of our evasion attempts. However, these defenses may still be susceptible to evasion by attacks, and so we advocate for augmenting malware-detection systems with methods that do not rely on machine learning.


title: Enhanced photon emission from a double-layer target at moderate laser intensities

abstract: In this paper we study photon emission in the interaction of the laser beam with an under-dense target and the attached reflecting plasma mirror. Photons are emitted due to the inverse Compton scattering when accelerated electrons interact with a reflected part of the laser pulse. The enhancement of photon generation in this configuration lies in using the laser pulse with a steep rising edge. Such a laser pulse can be obtained by the preceding interaction of the incoming laser pulse with a thin solid-density foil. Using numerical simulations we study the origin of such a laser pulse and its effect on photon emission. As a result, accelerated electrons can interact directly with the most intense part of the laser pulse that enhances photon emission. This approach increases the number of created photons and improves photon beam divergence.


title: Interacting topological mirror excitonic insulator in one dimension

abstract: We introduce the topological mirror excitonic insulator as a new type of interacting topological crystalline phase in one dimension. Its mirror-symmetry-protected topological properties are driven by exciton physics, and it manifests in the quantized bulk polarization and half-charge modes on the boundary. And the bosonization analysis is performed to demonstrate its robustness against strong correlation effects in one dimension. Besides, we also show that Rashba nanowires and Dirac semimetal nanowires could provide ideal experimental platforms to realize this new topological mirror excitonic insulating state. Its experimental consequences, such as quantized tunneling conductance in the tunneling measurement, are also discussed.


title: Self-diffusion in a quasi-two dimensional gas of hard spheres

abstract: A quasi-two-dimensional system of hard spheres strongly confined between two parallel plates is considered. The attention is focussed on the macroscopic self-diffusion process observed when the system is looked from above or from below. The transport equation, and the associated self-diffusion coefficient, are derived from a Boltzmann-Lorentz kinetic equation, valid in the dilute limit. Since the equilibrium state of the system is inhomogeneous, this requires the use of a modified Chapman-Enskog expansion that distinguishes between equilibrium and non-equilibrium gradients of the density of labelled particles. The self-diffusion coefficient is obtained as a function of the separation between the two confining plates. The theoretical predictions are compared with molecular dynamics simulation results and a good agreement is found.


title: A Maximum Entropy approach to Massive Graph Spectra

abstract: Graph spectral techniques for measuring graph similarity, or for learning the cluster number, require kernel smoothing. The choice of kernel function and bandwidth are typically chosen in an ad-hoc manner and heavily affect the resulting output. We prove that kernel smoothing biases the moments of the spectral density. We propose an information theoretically optimal approach to learn a smooth graph spectral density, which fully respects the moment information. Our method's computational cost is linear in the number of edges, and hence can be applied to large networks, with millions of nodes. We apply our method to the problems to graph similarity and cluster number learning, where we outperform comparable iterative spectral approaches on synthetic and real graphs.


title: Latest results from the KASCADE-Grande data analysis

abstract: Over the past 20 years, KASCADE and its extension KASCADE-Grande were dedicated to measure high-energy cosmic rays with primary energies of 100 TeV to 1 EeV. The data accumulation was fully completed and all experimental components were dismantled, though the analysis of the high-quality data is still continued. E.g., we investigated the validity of the hadronic interaction model of the new SIBYLL version 2.3c. We also published a new result of a search for large-scale anisotropies performed with the KASCADE-Grande data. Investigation of the attenuation length of the muon in the atmosphere is also updated with the predictions of the SIBYLL 2.3 interaction model. We investigated, in addition, the muon content of high-energy air showers and compared them to all post-LHC interaction models. In this contribution, the new and updated results from KASCADE-Grande will be presented. An update of the web-based data center KCDC offering the original scientific data from KASCADE-Grande to the public will be briefly discussed as well.


title: Orthogonality: An antidote to Kadison's anti-lattice theorem

abstract: In this paper, we propose non-commutative analogues of infimum and supremum with the help of algebraic orthogonality.


title: Some results on second-order elliptic operators with polynomially growing coefficients in $L^p$-spaces

abstract: In this paper we study minimal realizations in $L^p(\mathbb{R}^N)$ of the second order elliptic operator \begin{equation*} { A_{b,c}} := (1+|x|^\alpha)\Delta + b|x|^{\alpha-2}x\cdot\nabla - c |x|^{\alpha-2} - |x|^{\beta} , \quad x \in \mathbb{R}^N, \end{equation*} where $N\geq3$, $\alpha\in[0,2)$, $\beta >0$, and $b, c$ are real numbers. We use quadratic form methods to prove that $\left(A_{b,c},C_c^\infty\left(\mathbb{R}^N\setminus \{0\}\right)\right)$ admits an extension that generates an analytic $C_0-$semigroup for all $p\in(1,\infty)$. Moreover, we give conditions on the coefficients under which this extension is precisely the closure of $\left(A_{b,c},C_c^\infty\left(\mathbb{R}^N\setminus \{0\}\right)\right)$.


title: Mobile Communications Beyond 52.6 GHz: Waveforms, Numerology, and Phase Noise Challenge

abstract: In this article, the first considerations for the 5G New Radio (NR) physical layer evolution to support beyond 52.6GHz communications are provided. In addition, the performance of both OFDM based and DFT-s-OFDM based networks are evaluated with special emphasis on the phase noise (PN) induced distortion. It is shown that DFT-s-OFDM is more robust against PN under 5G NR Release 15 assumptions, namely regarding the supported phase tracking reference signal (PTRS) designs, since it enables more effective PN mitigation directly in the time domain. To further improve the PN compensation capabilities, the PTRS design for DFT-s-OFDM is revised, while for the OFDM waveform a novel block PTRS structure is introduced, providing similar link performance as DFT-s-OFDM with enhanced PTRS design. We demonstrate that the existing 5G NR Release 15 solutions can be extended to support efficient mobile communications at 60GHz carrier frequency with the enhanced PTRS structures. In addition, DFT-s-OFDM based downlink for user data could be considered for beyond 52.6GHz communications to further improve system power efficiency and performance with higher order modulation and coding schemes. Finally, network link budget and cell size considerations are provided, showing that at certain bands with specific transmit power regulation, the cell size can eventually be downlink limited.


title: Paracontrolled calculus for quasilinear singular PDEs

abstract: We develop further in this work the high order paracontrolled calculus setting to deal with the analytic part of the study of quasilinear singular PDEs. A number of continuity results for some operators are proved for that purpose. Unlike the regularity structures approach of the subject by Gerencser and Hairer, and Otto, Sauer, Smith and Weber, or Furlan and Gubinelli' study of the two dimensional quasilinear parabolic Anderson model equation, we do not use parametrised families of models or paraproducts to set the scene. We use instead infinite dimensional paracontrolled structures that we introduce here.


title: ABCDE -- Agile Block Chain Dapp Engineering

abstract: Cryptocurrencies and their foundation technology, the Blockchain, are reshaping finance and economics, allowing a decentralized approach enabling trusted applications with no trusted counterpart. More recently, the Blockchain and the programs running on it, called Smart Contracts, are also finding more and more applications in all fields requiring trust and sound certifications. Some people have come to the point of saying that the "Blockchain revolution" can be compared to that of the Internet and the Web in their early days. As a result, all software development revolving around the Blockchain technology is growing at a staggering rate. The feeling of many software engineers about such huge interest in Blockchain technologies is that of unruled and hurried software development, a sort of competition on a first-come-first-served basis which does not assure neither software quality, nor that the basic concepts of software engineering are taken into account. This paper tries to cope with this issue, proposing a software development process to gather the requirement, analyze, design, develop, test and deploy Blockchain applications. The process is based on several Agile practices, such as User Stories and iterative and incremental development based on them. However, it makes also use of more formal notations, such as some UML diagrams describing the design of the system, with additions to represent specific concepts found in Blockchain development. The method is described in good detail, and an example is given to show how it works.


title: The refined EUV mask model

abstract: A refined model of an extreme ultraviolet (EUV) mask stack consisting of the Mo/Si multilayer coated by a Ru protective layer and a TaBN/TaBO absorber layer was developed to facilitate accurate simulations of EUV mask performance for high-NA EUV photo-lithography (EUVL) imaging. The model is derived by combined analysis of the measured EUV and X-ray reflectivity of a state-of-the-art mask blank. These two sets of measurements were analyzed using a combined free-form analysis procedure that delivers high-resolution X-ray and EUV optical constant depth profiles based on self-adapted sets of sublayers as thin as 0.25nm providing a more accurate description of the reflectivity than obtained from only EUV reflectivity. 'Free-form analysis' means that the shape of the layer-interfaces in the model is determined experimentally and is not given a priori by the structure model. To reduce the numerical effort for EUV imaging simulations a low-resolution model of the multilayer and absorber stack with sublayer thicknesses larger than 2nm, that fits to only the EUV reflectance, was derived from the high-resolution model. Rigorous high-NA EUVL simulations were done to compare the performance of the new model to our previous work.


title: Bertini theorems revisited

abstract: We prove several new Bertini theorems over arbitrary fields and discrete valuation rings.


title: AC and DC Conductivities in an n-GaAs/AlAs Heterostructure with a Wide Quantum Well in the Integer Quantum Hall Effect Regime

abstract: The direct-current (dc) $\sigma_{xx}^{dc}$ and alternating-current (ac) $\sigma_{xx}^{ac}=\sigma_1-i\sigma_2$ conductivities of a wide (46 nm) GaAs quantum well with the bilayer electron density distribution are measured. It is found that the magnetic field dependence of $\sigma_{xx}$ exhibits three sets of oscillations related to the transitions between Landau levels in symmetric and antisymmetric subbands and with the transitions occurring owing to the Zeeman splitting of these subbands. The analysis of the frequency dependence of the ac conductivity and the $\sigma_1 / \sigma_2$ ratio demonstrates that the conductivity at the minima of oscillations is determined by the hopping mechanism.


title: Floquet topological phases with fourfold-degenerate edge modes in a driven spin-1/2 Creutz ladder

abstract: Floquet engineering has the advantage of generating new phases with large topological invariants and many edge states by simple driving protocols. In this work, we propose an approach to obtain Floquet edge states with fourfold degeneracy and even-integer topological characterizations in a spinful Creutz ladder model, which is realizable in current experiments. Putting the ladder under periodic quenches, we found rich Floquet topological phases in the system, which belong to the symmetry class CII. Each of these phases is characterized by a pair of even integer topological invariants $(w_{0},w_{\pi}) \in 2\mathbb{Z} \times 2 \mathbb{Z}$, which can take arbitrarily large values with the increase of driving parameters. Under the open boundary condition, we further obtain multiple quartets of topological edge states with quasienergies zero and $\pi$ in the system. Their numbers are determined by the bulk topological invariants $(w_{0},w_{\pi})$ due to the bulk-edge correspondence. Finally, we propose a way to dynamically probe the Floquet topological phases in our system by measuring a generalized mean chiral displacement. Our findings thus enrich the family of Floquet topological matter, and put forward the detection of their topological properties.


title: Rotating electroosmotic flow of power-law fluid through polyelectrolyte grafted microchannel

abstract: Due to evergrowing importance of understanding flow of bio-fluids in Lab-on-CD based systems, we investigate the flow behaviour of power-law fluids in the rotating electroosmotic flow through a polyelectrolyte grafted (soft) narrow channel. We use a in-house numerical code to solve the governing transport equations for the velocities and flow rates in a rotating channel subjected to an applied external electric field. We show the strong effect of polyelectrolyte layer on the flow behaviour and find an increase in flow rate as we increase the size of the polyelectrolyte layer. We also show that rheology strongly influences the interplay of the Coriolis forces due to rotation and electrical body force due to the applied electric field. We show that the velocities are generally higher for shear thinning fluids as compared to shear thickening fluids. We also show that presence of polymer brushes in the polyelectrolyte layer creates a drag on the fluid which reduces velocities. We also show that the flow rates are strongly altered by the effect of rotation and that shear thickening fluids have lower flow rates than shear thinning fluids. We believe that studying effect of fluid rheology becomes very important for designing soft channel based Lab-on-CD systems driven by electroosmotic forcing and dealing with rheologically complex bio-fluids such as blood, saliva or mucus.


title: Real-Time Estimation of a Multi-Stage Centrifugal Compressor Performance Map Considering Real-Gas Processes and Flexible Operation

abstract: This paper contributes to modeling and supervision of multi-stage centrifugal compressors coping with real-gas processes and steady to highly transient operating conditions. A novel dynamic model is derived, and the incorporation of the generic Lee-Kesler-Pl\"ocker real-gas equation of state and its derivatives is presented. The model allows for embedding arbitrarily shaped performance maps, based on state-of-the-art polytropic change-of-state compressor characteristics. As the validity of these maps is a key issue for simulation and model-based monitoring, performance maps are treated as time-variant, and their shape is to be identified and monitored during operation. The proposed real-time map estimation scheme comprises an Unscented Kalman Filter and a newly proposed algorithm, referred to as Recursive Map Estimation. The combination yields a novel parameter and state estimator, which is expected to be superior if some parameters are characterized by a distinct operating point dependency. Two additional time-variant parameters are provided for monitoring: The first indicates the level of confidence in the local estimate, and the second points to drastic performance map alterations, which may be further exploited in fault detection. A modified reference simulation of a two-stage supercritical carbon dioxide compressor with known state trajectories, performance maps, and alterations demonstrates the successful application of the entire monitoring scheme, and serves for a discussion of the results.


title: Fast Luminous Blue Transients in the Reionization Era and Beyond

abstract: To determine the epoch of reionization precisely and to reveal the property of inhomogeneous reionization are some of the most important topics of modern cosmology. Existing methods to investigate reionization which use cosmic microwave background, Ly$\alpha$ emitters, quasars, or gamma ray bursts, have difficulties in terms of accuracy or event rate. We propose that recently discovered fast luminous blue transients (FLBTs) have a potential as a novel probe of reionization. We study the detectability of FLBTs at the epoch of reionization with upcoming WFIRST Wide-Field Instruments (WFI), using a star formation rate derived from galaxy observations and an event rate of FLBTs proportional to the star formation rate. We find that if FLBTs occur at a rate of 1\% of the core-collapse supernova rate, 2 (0.3) FLBTs per year per deg$^2$ at $z>6$ ($z>8$) can be detected by a survey with a limiting magnitude of 26.5 mag in the near-infrared band and a cadence of 10 days. We conclude that the WFIRST supernova deep survey can detect $\sim20$ FLBTs at the epoch of reionization in the near future.


title: Isotopy Uniqueness of Self-diffeomorphism of Handlebodies

abstract: The mapping class group $MCG(\Sigma_g)$ of a surface of genus $g$ has a long-history in topology and group theory. More recently, the mapping class group $MCG(V_g)$ of a handlebody $V_g$ of genus $g$ has become an interesting topic in the study of $3$ manifolds, largely thanks to Heegaard splitting. While $MCG(V_g)$ can be regarded naturally as a sub group of $MCG(\Sigma_g)$, we could not find any complete proof of this fundamental theorem. It is the purpose of this paper that we give a rigorous proof of embedding of $MCG(V_g)$ into $MCG(V_g)$. The key step is: Any self-homeomorphism $f$ of handlebody $V_g$ of genus $g$ is ambient isotopic to identity if the restriction $f|_{\partial V_g}$ is isotopic to identity.


title: Spiking Networks for Improved Cognitive Abilities of Edge Computing Devices

abstract: This concept paper highlights a recently opened opportunity for large scale analytical algorithms to be trained directly on edge devices. Such approach is a response to the arising need of processing data generated by natural person (a human being), also known as personal data. Spiking Neural networks are the core method behind it: suitable for a low latency energy-constrained hardware, enabling local training or re-training, while not taking advantage of scalability available in the Cloud.


title: Neural Simile Recognition with Cyclic Multitask Learning and Local Attention

abstract: Simile recognition is to detect simile sentences and to extract simile components, i.e., tenors and vehicles. It involves two subtasks: {\it simile sentence classification} and {\it simile component extraction}. Recent work has shown that standard multitask learning is effective for Chinese simile recognition, but it is still uncertain whether the mutual effects between the subtasks have been well captured by simple parameter sharing. We propose a novel cyclic multitask learning framework for neural simile recognition, which stacks the subtasks and makes them into a loop by connecting the last to the first. It iteratively performs each subtask, taking the outputs of the previous subtask as additional inputs to the current one, so that the interdependence between the subtasks can be better explored. Extensive experiments show that our framework significantly outperforms the current state-of-the-art model and our carefully designed baselines, and the gains are still remarkable using BERT.


title: Detecting chirality in two-terminal electronic devices

abstract: Central to spintronics is the interconversion between electronic charge and spin currents, and this can arise from the chirality-induced spin selectivity (CISS) effect. CISS is often studied as magnetoresistance (MR) in two-terminal (2T) electronic devices containing a chiral (molecular) component and a ferromagnet. However, fundamental understanding of when and how this MR can occur is lacking. Here, we uncover an elementary mechanism that generates such a MR for nonlinear response. It requires energy-dependent transport and energy relaxation within the device. The sign of the MR depends on chirality, charge carrier type, and bias direction. Additionally, we reveal how CISS can be detected in the linear response regime in magnet-free 2T devices, either by forming a chirality-based spin-valve using two or more chiral components, or by Hanle spin precession in devices with a single chiral component. Our results provide operation principles and design guidelines for chirality-based spintronic devices and technologies.


title: A Bayesian Approach to Modelling Longitudinal Data in Electronic Health Records

abstract: Analyzing electronic health records (EHR) poses significant challenges because often few samples are available describing a patient's health and, when available, their information content is highly diverse. The problem we consider is how to integrate sparsely sampled longitudinal data, missing measurements informative of the underlying health status and fixed demographic information to produce estimated survival distributions updated through a patient's follow up. We propose a nonparametric probabilistic model that generates survival trajectories from an ensemble of Bayesian trees that learns variable interactions over time without specifying beforehand the longitudinal process. We show performance improvements on Primary Biliary Cirrhosis patient data.


title: Extreme Learning Tree

abstract: The paper proposes a new variant of a decision tree, called an Extreme Learning Tree. It consists of an extremely random tree with non-linear data transformation, and a linear observer that provides predictions based on the leaf index where the data samples fall. The proposed method outperforms linear models on a benchmark dataset, and may be a building block for a future variant of Random Forest.


title: Resource- and Message Size-Aware Scheduling of Stream Processing at the Edge with application to Realtime Microscopy

abstract: Whilst computational resources at the cloud edge can be leveraged to improve latency and reduce the costs of cloud services for a wide variety mobile, web, and IoT applications; such resources are naturally constrained. For distributed stream processing applications, there are clear advantages to offloading some processing work to the cloud edge. Many state of the art stream processing applications such as Flink and Spark Streaming, being designed to run exclusively in the cloud, are a poor fit for such hybrid edge/cloud deployment settings, not least because their schedulers take limited consideration of the heterogeneous hardware in such deployments. In particular, their schedulers broadly assume a homogeneous network topology (aside from data locality consideration in, e.g., HDFS/Spark). Specialized stream processing frameworks intended for such hybrid deployment scenarios, especially IoT applications, allow developers to manually allocate specific operators in the pipeline to nodes at the cloud edge. In this paper, we investigate scheduling stream processing in hybrid cloud/edge deployment settings with sensitivity to CPU costs and message size, with the aim of maximizing throughput with respect to limited edge resources. We demonstrate real-time edge processing of a stream of electron microscopy images, and measure a consistent reduction in end-to-end latency under our approach versus a resource-agnostic baseline scheduler, under benchmarking.


title: On existence of perfect bitrades in Hamming graphs

abstract: A pair $(T_0,T_1)$ of disjoint sets of vertices of a graph $G$ is called a perfect bitrade in $G$ if any ball of radius 1 in $G$ contains exactly one vertex in $T_0$ and $T_1$ or none simultaneously. The volume of a perfect bitrade $(T_0,T_1)$ is the size of $T_0$. In particular, if $C_0$ and $C_1$ are distinct perfect codes with minimum distance $3$ in $G$ then $(C_0\setminus C_1,C_1\setminus C_0)$ is a perfect bitrade. For any $q\geq 3$, $r\geq 1$ we construct perfect bitrades in the Hamming graph $H(qr+1,q)$ of volume $(q!)^r$ and show that for $r=1$ their volume is minimum.


title: Per-sample Prediction Intervals for Extreme Learning Machines

abstract: Prediction intervals in supervised Machine Learning bound the region where the true outputs of new samples may fall. They are necessary in the task of separating reliable predictions of a trained model from near random guesses, minimizing the rate of False Positives, and other problem-specific tasks in applied Machine Learning. Many real problems have heteroscedastic stochastic outputs, which explains the need of input-dependent prediction intervals. This paper proposes to estimate the input-dependent prediction intervals by a separate Extreme Learning Machine model, using variance of its predictions as a correction term accounting for the model uncertainty. The variance is estimated from the model's linear output layer with a weighted Jackknife method. The methodology is very fast, robust to heteroscedastic outputs, and handles both extremely large datasets and insufficient amount of training data.


title: Overcoming Long-term Catastrophic Forgetting through Adversarial Neural Pruning and Synaptic Consolidation

abstract: Artificial neural networks face the well-known problem of catastrophic forgetting. What's worse, the degradation of previously learned skills becomes more severe as the task sequence increases, known as the long-term catastrophic forgetting. It is due to two facts: first, as the model learns more tasks, the intersection of the low-error parameter subspace satisfying for these tasks becomes smaller or even does not exist; second, when the model learns a new task, the cumulative error keeps increasing as the model tries to protect the parameter configuration of previous tasks from interference. Inspired by the memory consolidation mechanism in mammalian brains with synaptic plasticity, we propose a confrontation mechanism in which Adversarial Neural Pruning and synaptic Consolidation (ANPyC) is used to overcome the long-term catastrophic forgetting issue. The neural pruning acts as long-term depression to prune task-irrelevant parameters, while the novel synaptic consolidation acts as long-term potentiation to strengthen task-relevant parameters. During the training, this confrontation achieves a balance in that only crucial parameters remain, and non-significant parameters are freed to learn subsequent tasks. ANPyC avoids forgetting important information and makes the model efficient to learn a large number of tasks. Specifically, the neural pruning iteratively relaxes the current task's parameter conditions to expand the common parameter subspace of the task; the synaptic consolidation strategy, which consists of a structure-aware parameter-importance measurement and an element-wise parameter updating strategy, decreases the cumulative error when learning new tasks. The full source code is available at https://github.com/GeoX-Lab/ANPyC.


title: Temporal Normalizing Flows

abstract: Analyzing and interpreting time-dependent stochastic data requires accurate and robust density estimation. In this paper we extend the concept of normalizing flows to so-called temporal Normalizing Flows (tNFs) to estimate time dependent distributions, leveraging the full spatio-temporal information present in the dataset. Our approach is unsupervised, does not require an a-priori characteristic scale and can accurately estimate multi-scale distributions of vastly different length scales. We illustrate tNFs on sparse datasets of Brownian and chemotactic walkers, showing that the inclusion of temporal information enhances density estimation. Finally, we speculate how tNFs can be applied to fit and discover the continuous PDE underlying a stochastic process.


title: Identification of abrupt stiffness changes of structures with tuned mass dampers under sudden events

abstract: This paper presents a recursive system identification method for multi-degree-of-freedom (MDoF) structures with tuned mass dampers (TMDs) considering abrupt stiffness changes in case of sudden events, such as earthquakes. Due to supplementary non-classical damping of the TMDs, the system identification of MDoF+TMD systems disposes a challenge, in particular, in case of sudden events. This identification methods may be helpful for structural health monitoring of MDoF structures controlled by TMDs. A new adaptation formulation of the unscented Kalman filter allows the identification method to track abrupt stiffness changes. The paper, firstly, describes the theoretical background of the proposed system identification method and afterwards presents three parametric studies regarding the performance of the method. The first study shows the augmented state identification by the presented system identification method applied on a MDoF+TMD system. In this study, the abrupt stiffness changes of the system are successfully detected and localized under earthquake, impulse and white noise excitations. The second study investigates the effects of the state covariance and its relevance for the system identification of MDoF+TMD systems. The results of this study show the necessity of an adaptive definition of the state covariance as applied in the proposed method. The third study investigates the effects of modeling on the performance of the identification method. Mathematical models with discretization of different orders of convergence and system noise levels are studied. The results show that, in particular, MDoF+TMD systems require higher order mathematical models for an accurate identification of abrupt changes.


title: Mislabel Detection of Finnish Publication Ranks

abstract: The paper proposes to analyze a data set of Finnish ranks of academic publication channels with Extreme Learning Machine (ELM). The purpose is to introduce and test recently proposed ELM-based mislabel detection approach with a rich set of features characterizing a publication channel. We will compare the architecture, accuracy, and, especially, the set of detected mislabels of the ELM-based approach to the corresponding reference results on the reference paper.


title: Safe Adaptation with Multiplicative Uncertainties Using Robust Safe Set Algorithm

abstract: Maintaining safety under adaptation has long been considered to be an important capability for autonomous systems. As these systems estimate and change the ego-model of the system dynamics, questions regarding how to develop safety guarantees for such systems continue to be of interest. We propose a novel robust safe control methodology that uses set-based safety constraints to make a robotic system with dynamical uncertainties safely adapt and operate in its environment. The method consists of designing a scalar energy function (safety index) for an adaptive system with parametric uncertainty and an optimization-based approach for control synthesis. Simulation studies on a two-link manipulator are conducted and the results demonstrate the effectiveness of our proposed method in terms of generating provably safe control for adaptive systems with parametric uncertainty.