title: Sparse High-Dimensional Isotonic Regression

abstract: We consider the problem of estimating an unknown coordinate-wise monotone function given noisy measurements, known as the isotonic regression problem. Often, only a small subset of the features affects the output. This motivates the sparse isotonic regression setting, which we consider here. We provide an upper bound on the expected VC entropy of the space of sparse coordinate-wise monotone functions, and identify the regime of statistical consistency of our estimator. We also propose a linear program to recover the active coordinates, and provide theoretical recovery guarantees. We close with experiments on cancer classification, and show that our method significantly outperforms standard methods.


title: Lepton (non-) unversality in (flavor changing) neutral current B decays

abstract: The following proceedings contain a theory perspective on the flavor changing neutral current anomalies reported by LHCb on the ratios $B\to K^{(*)} \mu\mu/B\to K^{(*)} ee$


title: Unsupervised Anomalous Trajectory Detection for Crowded Scenes

abstract: We present an improved clustering based, unsupervised anomalous trajectory detection algorithm for crowded scenes. The proposed work is based on four major steps, namely, extraction of trajectories from crowded scene video, extraction of several features from these trajectories, independent mean-shift clustering and anomaly detection. First, the trajectories of all moving objects in a crowd are extracted using a multi feature video object tracker. These trajectories are then transformed into a set of feature spaces. Mean shift clustering is applied on these feature matrices to obtain distinct clusters, while a Shannon Entropy based anomaly detector identifies corresponding anomalies. In the final step, a voting mechanism identifies the trajectories that exhibit anomalous characteristics. The algorithm is tested on crowd scene videos from datasets. The videos represent various possible crowd scenes with different motion patterns and the method performs well to detect the expected anomalous trajectories from the scene.


title: Turning off quantum duality

abstract: We provide the first experimental confirmation of a three-way quantum coherence identity possessed by single pure-state photons. Our experimental results demonstrate that traditional wave-particle duality is specifically limited by this identity. As a new consequence, we show that quantum duality itself can be amplified, attenuated, or turned completely off. In the Young double-slit context this quantum coherence identity is found to be directly relevant, and it supplies a rare quantitative backup for one of Bohr's philosophical pronouncements.


title: Cognitive Information Measurements: A New Perspective

abstract: From a traditional point of view, the value of information does not change during transmission. The Shannon information theory considers information transmission as a statistical phenomenon for measuring the communication channel capacity. However, in modern communication systems, information is spontaneously embedded with a cognitive link during the transmission process, which requires a new measurement that can incorporate continuously changing information value. In this paper, we introduce the concept of cognitive information value and a method of measuring such information. We first describe the characteristics of cognitive information followed by an introduction of the concept of cognitive information in measuring information popularity. The new measurement is based on the mailbox principle in the information value chain. This is achieved by encapsulating the information as a mailbox for transmission where the cognition is continuously implemented during the transmission process. Finally, we set up a cognitive communication system based on a combination of the traditional communication system and cognitive computing. Experimental results attest to the impact of incorporating cognitive value in the performance of 5G networks.


title: Clique immersions and independence number

abstract: The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{\chi (G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $\alpha$ contains $K_{\lceil \frac n\alpha\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ contains an immersion of a clique on $\bigl\lceil \frac{\chi (G)-4}{3.54}\bigr\rceil$ vertices. Their result implies that every $n$-vertex graph with independence number $\alpha$ contains an immersion of a clique on $\bigl\lceil \frac{n}{3.54\alpha}-1.13\bigr\rceil$ vertices. We improve on this result for all $\alpha\ge 3$, by showing that every $n$-vertex graph with independence number $\alpha\ge 3$ contains an immersion of a clique on $\bigl\lfloor \frac {n}{2.25 \alpha - f(\alpha)} \bigr\rfloor - 1$ vertices, where $f$ is a nonnegative function.


title: What's decidable about parametric timed automata?

abstract: Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally verify critical real-time systems. After 25 years of research on PTAs, it is now well-understood that any non-trivial problem studied is undecidable for general PTAs. We provide here a survey of decision and computation problems for PTAs. On the one hand, bounding time, bounding the number of parameters or the domain of the parameters does not (in general) lead to any decidability. On the other hand, restricting the number of clocks, the use of clocks (compared or not with the parameters), and the use of parameters (e.g. used only as upper or lower bounds) leads to decidability of some problems. We also put emphasis on open problems. We also discuss formalisms close to parametric timed automata (such as parametric hybrid automata or parametric interrupt timed automata), and we study tools dedicated to PTAs and their extensions.


title: Interference of chiral Andreev edge states

abstract: The search for topological excitations such as Majorana fermions has spurred interest in the boundaries between distinct quantum states. Here, we explore an interface between two prototypical phases of electrons with conceptually different ground states: the integer quantum Hall insulator and the s-wave superconductor. We find clear signatures of hybridized electron and hole states similar to chiral Majorana fermions, to which we refer as chiral Andreev edge states (CAES). They propagate along the interface in the direction determined by magnetic field and their interference can turn an incoming electron into an outgoing electron or a hole, depending on the phase accumulated by the CAES along their path. Our results demonstrate that these excitations can propagate and interfere over a significant length, opening future possibilities for their coherent manipulation.


title: Towards Interpretable Deep Extreme Multi-label Learning

abstract: Many Machine Learning algorithms, such as deep neural networks, have long been criticized for being "black-boxes"-a kind of models unable to provide how it arrive at a decision without further efforts to interpret. This problem has raised concerns on model applications' trust, safety, nondiscrimination, and other ethical issues. In this paper, we discuss the machine learning interpretability of a real-world application, eXtreme Multi-label Learning (XML), which involves learning models from annotated data with many pre-defined labels. We propose a two-step XML approach that combines deep non-negative autoencoder with other multi-label classifiers to tackle different data applications with a large number of labels. Our experimental result shows that the proposed approach is able to cope with many-label problems as well as to provide interpretable label hierarchies and dependencies that helps us understand how the model recognizes the existences of objects in an image.


title: Harmonic surface mapping algorithm for electrostatic potentials in an atomistic/continuum hybrid model for electrolyte solutions

abstract: Simulating charged many-body systems has been a computational demanding task due to the long-range nature of electrostatic interaction. For the multi-scale model of electrolytes which combines the strengths of atomistic/continuum electrolyte representations, a harmonic surface mapping algorithm is developed for fast and accurate evaluation of the electrostatic reaction potentials. Our method reformulates the reaction potential into a sum of image charges for the near-field, and a charge density on an auxiliary spherical surface for the far-field, which can be further discretized into point charges. Fast multipole method is used to accelerate the pairwise Coulomb summation. The accuracy and efficiency of our algorithm, as well as the choice of relevant numerical parameters are demonstrated in detail. As a concrete example, for charges close to the dielectric interface, our method can improve the accuracy by two orders of magnitudes compared to the Kirkwood series expansion method.


title: Periodicity for the 3-state quantum walk on cycles

abstract: Dukes (2014) and Konno, Shimizu, and Takei (2017) studied the periodicity for 2-state quantum walks whose coin operator is the Hadamard matrix on cycle graph C_N with N vertices. The present paper treats the periodicity for 3-state quantum walks on C_N. Our results follow from a new method based on cyclotomic field. This method shows a necessary condition for the coin operator of quantum walks to have the finite period. Moreover, we reveal the period T_N of two kinds of typical quantum walks, the Grover and Fourier walks. We prove that both walks do not have any finite period except for N=3, in which case T_3=6 (Grover), =12 (Fourier).


title: Doubly Blind Spots in Scalar Dark Matter Models

abstract: We consider a framework where the Standard Model is augmented by a second SU(2) scalar doublet and by a real scalar singlet that, protected by a Z2 symmetry, provides a particle Dark Matter candidate. We show that this setup allows for doubly blind spots at both collider searches for anomalies in the Higgs invisible decay width, and at direct Dark Matter detection. The blind spots originate from cancellations between interfering diagrams featuring different neutral scalar exchanges, and from cancellations driven by the two-Higgs doublet structure in the vertex coupling the singlet state with the Standard-Model-like Higgs. We demonstrate that the blind spots arise in a wide and generic array of realizations for the two-Higgs doublet model, including scenarios with a non-trivial flavor structure. We provide analytical formul{\ae} that describe the location of the blind spots in the theory parameter space, and we discuss the resulting phenomenology.


title: Uncovering Information Flow Policy Violations in C Programs

abstract: Programmers of cryptographic applications written in C need to avoid common mistakes such as sending private data over public channels, modifying trusted data with untrusted functions, or improperly ordering protocol steps. These secrecy, integrity, and sequencing policies can be cumbersome to check with existing general-purpose tools. We have developed a novel means of specifying and uncovering violations of these policies that allows for a much lighter-weight approach than previous tools. We embed the policy annotations in C's type system via a source-to-source translation and leverage existing C compilers to check for policy violations, achieving high performance and scalability. We show through case studies of recent cryptographic libraries and applications that our work is able to express detailed policies for large bodies of C code and can find subtle policy violations. To gain formal understanding of our policy annotations, we show formal connections between the policy annotations and an information flow type system and prove a noninterference guarantee.


title: Quickly Finding the Best Linear Model in High Dimensions

abstract: We study the problem of finding the best linear model that can minimize least-squares loss given a data-set. While this problem is trivial in the low dimensional regime, it becomes more interesting in high dimensions where the population minimizer is assumed to lie on a manifold such as sparse vectors. We propose projected gradient descent (PGD) algorithm to estimate the population minimizer in the finite sample regime. We establish linear convergence rate and data dependent estimation error bounds for PGD. Our contributions include: 1) The results are established for heavier tailed sub-exponential distributions besides sub-gaussian. 2) We directly analyze the empirical risk minimization and do not require a realizable model that connects input data and labels. 3) Our PGD algorithm is augmented to learn the bias terms which boosts the performance. The numerical experiments validate our theoretical results.


title: Implementation of batched Sinkhorn iterations for entropy-regularized Wasserstein loss

abstract: In this report, we review the calculation of entropy-regularised Wasserstein loss introduced by Cuturi and document a practical implementation in PyTorch. Code is available at https://github.com/t-vi/pytorch-tvmisc/blob/master/wasserstein-distance/Pytorch_Wasserstein.ipynb


title: The Entropic Dynamics Approach to the Paradigmatic Quantum Mechanical Phenomena

abstract: Standard Quantum Mechanics, although successful in terms of calculating and predicting results, is inherently difficult to understand and can suffer from misinterpretation. Entropic Dynamics is an epistemic approach to quantum mechanics based on logical inference. It incorporates the probabilities that naturally arise in situations where there is missing information. The development of Entropic Dynamics involves describing a particle in terms of a probability density, and then following the time evolution of the probability density based on diffusion-like motion and maximization of entropy. Here we will apply Entropic Dynamics to several of the paradigmatic examples used in the instruction of quantum mechanics. These examples include wave packet expansion, interference, the double slit experiment, the harmonic oscillator, and entanglement. In the section on the double slit experiment, some interesting insight is gained concerning the occurrence of minima in the absence of a mechanism for destructive interference, since probabilities only add. Also, the section on the harmonic oscillator provides interesting insight into rotation and angular momentum as it pertains to the flow of probability. The last topic consists of some remarks concerning the state of education research as it pertains to quantum mechanics and the ways in which Entropic Dynamics might address them.


title: Darboux transformation and soliton solutions of the semi-discrete massive Thirring model

abstract: A one-fold Darboux transformation between solutions of the semi-discrete massive Thirring model is derived using the Lax pair and dressing methods. This transformation is used to find the exact expressions for soliton solutions on zero and nonzero backgrounds. It is shown that the discrete solitons have the same properties as solitons of the continuous massive Thirring model.


title: Quantum groups and braiding operators in quantum Teichm\"uller theory

abstract: We show that the stated skein algebra of a disc with two punctures on its boundary and one inner puncture has a natural structure of Hopf algebra closely related to a construction of Bigelow. Its image through the quantum trace map is a Hopf algebra very similar to Uqsl2. We classify the weight indecomposable modules of this quantum group and show that the change of coordinates in quantum Teichm\"uller theory provides natural braiding operators between these representations, including cyclic and semi-cyclic ones, and relate them to the Kashaev-Reshetikhin braidings. For the Kashaev module, we show that this braiding operator coincides with Drinfel'd R-matrix and deduce an alternative proof of a theorem of Murakami and Murakami relating the Kashaev invariant to a colored Jones polynomial. We eventually provide explicit formulas for generic braiding operators depending on some quantum shape parameters familiar in quantum hyperbolic geometry and explain how these braiding operators lead to new links invariants.


title: Precision measurements of the AC field dependence of the superconducting transition in strontium titanate

abstract: Strontium titanate has resurfaced as a material prompting vigorous debate about the origin of its superconductivity in the extremely low carrier concentration regime. Here, we used simultaneous AC susceptibility and transport methods to explore the superconducting phase transition region in this material. We determined that strontium titanate is extremely sensitive to even small AC fields, which also influence the resistive transition; we suggest that extreme vortex sizes and mobilities contribute to this large effect. Our findings will be of importance for accurately determining transition temperature, informing the debate about the pairing mechanism in strontium titanate, for which even millikelvin errors may be critical.


title: AMI-Net+: A Novel Multi-Instance Neural Network for Medical Diagnosis from Incomplete and Imbalanced Data

abstract: In medical real-world study (RWS), how to fully utilize the fragmentary and scarce information in model training to generate the solid diagnosis results is a challenging task. In this work, we introduce a novel multi-instance neural network, AMI-Net+, to train and predict from the incomplete and extremely imbalanced data. It is more effective than the state-of-art method, AMI-Net. First, we also implement embedding, multi-head attention and gated attention-based multi-instance pooling to capture the relations of symptoms themselves and with the given disease. Besides, we propose var-ious improvements to AMI-Net, that the cross-entropy loss is replaced by focal loss and we propose a novel self-adaptive multi-instance pooling method on instance-level to obtain the bag representation. We validate the performance of AMI-Net+ on two real-world datasets, from two different medical domains. Results show that our approach outperforms other base-line models by a considerable margin.


title: M\"{o}bius disjointness for skew products on a circle and a nilmanifold

abstract: Let $\mathbb{T}$ be the unit circle and $\Gamma \backslash G$ the $3$-dimensional Heisenberg nilmanifold. We prove that a class of skew products on $\mathbb{T} \times \Gamma \backslash G$ are distal, and that the M\"{o}bius function is linearly disjoint from these skew products. This verifies the M\"{o}bius Disjointness Conjecture of Sarnak.


title: A Bayesian Semiparametric Gaussian Copula Approach to a Multivariate Normality Test

abstract: In this paper, a Bayesian semiparametric copula approach is used to model the underlying multivariate distribution $F_{true}$. First, the Dirichlet process is constructed on the unknown marginal distributions of $F_{true}$. Then a Gaussian copula model is utilized to capture the dependence structure of $F_{true}$. As a result, a Bayesian multivariate normality test is developed by combining the relative belief ratio and the Energy distance. Several interesting theoretical results of the approach are derived. Finally, through several simulated examples and a real data set, the proposed approach reveals excellent performance.


title: Fragmented Comet 73P/Schwassmann-Wachmann 3

abstract: Comet 73P/Schwassmann-Wachmann 3 has been observed to fragment on several occasions, yet the cause of its fragmentation remains poorly understood. We use previously unpublished archival Hubble Space Telescope data taken in 2006 to study the properties of the primary fragment, 73P-C, in order to constrain the potential fragmentation mechanisms. Currently the literature presents a wide range of measured rotational periods, some of which suggest that the nucleus might have split due to rotational instability. However, we find the most likely value of the rotation period to be 10.38 $\pm$ 0.04 hours (20.76 $\pm$ 0.08 hours if double-peaked), much longer than the critical period for rotational instability for any reasonable nucleus density and shape, even in the absence of tensile strength. We also find strong, cyclic photometric variations of about 0.31 $\pm$ 0.01 magnitudes in the central light from this object, while similar variations with a smaller range are apparent in the surrounding dust coma. These observations are compatible with rotational modulation of the mass loss rate and with dust having a mean outflow speed of $107 \pm 9$ m s$^{-1}$. Finally, we also estimate the radius of the nucleus to be 0.4 $\pm$ 0.1 km accounting for dust contamination and assuming a geometric albedo of 0.04.


title: A Stable Boundary Integral Formulation of an Acoustic Wave Transmission Problem with Mixed Boundary Conditions

abstract: In this paper, we consider an acoustic wave transmission problem with mixed boundary conditions of Dirichlet, Neumann, and impedance type. The transmission interfaces may join the domain boundary in a general way independent of the location of the boundary conditions. We will derive a formulation as a \textit{direct}, \textit{space-time retarded boundary integral equation}, where both Cauchy data are kept as unknowns on the impedance part of the boundary. This requires the definition of single-trace spaces which incorporate homogeneous Dirichlet and Neumann conditions on the corresponding parts on the boundary. We prove the continuity and coercivity of the formulation by employing the technique of operational calculus in the Laplace domain.


title: Solving Partial Assignment Problems using Random Clique Complexes

abstract: We present an alternate formulation of the partial assignment problem as matching random clique complexes, that are higher-order analogues of random graphs, designed to provide a set of invariants that better detect higher-order structure. The proposed method creates random clique adjacency matrices for each k-skeleton of the random clique complexes and matches them, taking into account each point as the affine combination of its geometric neighbourhood. We justify our solution theoretically, by analyzing the runtime and storage complexity of our algorithm along with the asymptotic behaviour of the quadratic assignment problem (QAP) that is associated with the underlying random clique adjacency matrices. Experiments on both synthetic and real-world datasets, containing severe occlusions and distortions, provide insight into the accuracy, efficiency, and robustness of our approach. We outperform diverse matching algorithms by a significant margin.


title: Mean-Field Stochastic Linear-Quadratic Optimal Control Problems: Weak Closed-Loop Solvability

abstract: This paper is concerned with mean-field stochastic linear-quadratic (MF-SLQ, for short) optimal control problems with deterministic coefficients. The notion of weak closed-loop optimal strategy is introduced. It is shown that the open-loop solvability is equivalent to the existence of a weak closed-loop optimal strategy. Moreover, when open-loop optimal controls exist, there is at least one of them admitting a state feedback representation, which is the outcome of a weak closed-loop optimal strategy. Finally, an example is presented to illustrate the procedure for finding weak closed-loop optimal strategies.


title: OGLE-2018-BLG-1011L\lowercase{b,c}: Microlensing Planetary System with Two Giant Planets Orbiting a Low-mass Star

abstract: We report a multiplanetary system found from the analysis of microlensing event OGLE-2018-BLG-1011, for which the light curve exhibits a double-bump anomaly around the peak. We find that the anomaly cannot be fully explained by the binary-lens or binary-source interpretations and its description requires the introduction of an additional lens component. The 3L1S (3 lens components and a single source) modeling yields three sets of solutions, in which one set of solutions indicates that the lens is a planetary system in a binary, while the other two sets imply that the lens is a multiplanetary system. By investigating the fits of the individual models to the detailed light curve structure, we find that the multiple-planet solution with planet-to-host mass ratios $\sim 9.5\times 10^{-3}$ and $\sim 15\times 10^{-3}$ are favored over the other solutions. From the Bayesian analysis, we find that the lens is composed of two planets with masses $1.8^{+3..4}_{-1.1}~M_{\rm J}$ and $2.8^{+5.1}_{-1.7}~M_{\rm J}$ around a host with a mass $0.18^{+0.33}_{-0.10}~M_\odot$ and located at a distance $7.1^{+1.1}_{-1.5}~{\rm kpc}$. The estimated distance indicates that the lens is the farthest system among the known multiplanetary systems. The projected planet-host separations are $a_{\perp,2}=1.8^{+2.1}_{-1.5}~{\rm au}$ ($0.8^{+0.9}_{-0.6}~{\rm au}$) and $a_{\perp,3}=0.8^{+0.9}_{-0.6}~{\rm au}$, where the values of $a_{\perp,2}$ in and out the parenthesis are the separations corresponding to the two degenerate solutions, indicating that both planets are located beyond the snow line of the host, as with the other four multiplanetary systems previously found by microlensing.


title: Supervised Classifiers for Audio Impairments with Noisy Labels

abstract: Voice-over-Internet-Protocol (VoIP) calls are prone to various speech impairments due to environmental and network conditions resulting in bad user experience. A reliable audio impairment classifier helps to identify the cause for bad audio quality. The user feedback after the call can act as the ground truth labels for training a supervised classifier on a large audio dataset. However, the labels are noisy as most of the users lack the expertise to precisely articulate the impairment in the perceived speech. In this paper, we analyze the effects of massive noise in labels in training dense networks and Convolutional Neural Networks (CNN) using engineered features, spectrograms and raw audio samples as inputs. We demonstrate that CNN can generalize better on the training data with a large number of noisy labels and gives remarkably higher test performance. The classifiers were trained both on randomly generated label noise and the label noise introduced by human errors. We also show that training with noisy labels requires a significant increase in the training dataset size, which is in proportion to the amount of noise in the labels.


title: Deep Attentive Features for Prostate Segmentation in 3D Transrectal Ultrasound

abstract: Automatic prostate segmentation in transrectal ultrasound (TRUS) images is of essential importance for image-guided prostate interventions and treatment planning. However, developing such automatic solutions remains very challenging due to the missing/ambiguous boundary and inhomogeneous intensity distribution of the prostate in TRUS, as well as the large variability in prostate shapes. This paper develops a novel 3D deep neural network equipped with attention modules for better prostate segmentation in TRUS by fully exploiting the complementary information encoded in different layers of the convolutional neural network (CNN). Our attention module utilizes the attention mechanism to selectively leverage the multilevel features integrated from different layers to refine the features at each individual layer, suppressing the non-prostate noise at shallow layers of the CNN and increasing more prostate details into features at deep layers. Experimental results on challenging 3D TRUS volumes show that our method attains satisfactory segmentation performance. The proposed attention mechanism is a general strategy to aggregate multi-level deep features and has the potential to be used for other medical image segmentation tasks. The code is publicly available at https://github.com/wulalago/DAF3D.


title: Region-Manipulated Fusion Networks for Pancreatitis Recognition

abstract: This work first attempts to automatically recognize pancreatitis on CT scan images. However, different form the traditional object recognition, such pancreatitis recognition is challenging due to the fine-grained and non-rigid appearance variability of the local diseased regions. To this end, we propose a customized Region-Manipulated Fusion Networks (RMFN) to capture the key characteristics of local lesion for pancreatitis recognition. Specifically, to effectively highlight the imperceptible lesion regions, a novel region-manipulated scheme in RMFN is proposed to force the lesion regions while weaken the non-lesion regions by ceaselessly aggregating the multi-scale local information onto feature maps. The proposed scheme can be flexibly equipped into the existing neural networks, such as AlexNet and VGG. To evaluate the performance of the propose method, a real CT image database about pancreatitis is collected from hospitals \footnote{The database is available later}. And experimental results on such database well demonstrate the effectiveness of the proposed method for pancreatitis recognition.


title: Generalized Assignment via Submodular Optimization with Reserved Capacity

abstract: We study a variant of the \emph{generalized assignment problem} ({\sf GAP}) with group constraints. An instance of {\sf Group GAP} is a set $I$ of items, partitioned into $L$ groups, and a set of $m$ uniform (unit-sized) bins. Each item $i \in I$ has a size $s_i >0$, and a profit $p_{i,j} \geq 0$ if packed in bin $j$. A group of items is \emph{satisfied} if all of its items are packed. The goal is to find a feasible packing of a subset of the items in the bins such that the total profit from satisfied groups is maximized. We point to central applications of {\sf Group GAP} in Video-on-Demand services, mobile Device-to-Device network caching and base station cooperation in 5G networks. Our main result is a $\frac{1}{6}$-approximation algorithm for {\sf Group GAP} instances where the total size of each group is at most $\frac{m}{2}$. At the heart of our algorithm lies an interesting derivation of a submodular function from the classic LP formulation of {\sf GAP}, which facilitates the construction of a high profit solution utilizing at most half the total bin capacity, while the other half is \emph{reserved} for later use. In particular, we give an algorithm for submodular maximization subject to a knapsack constraint, which finds a solution of profit at least $\frac{1}{3}$ of the optimum, using at most half the knapsack capacity, under mild restrictions on element sizes. Our novel approach of submodular optimization subject to a knapsack \emph{with reserved capacity} constraint may find applications in solving other group assignment problems.


title: Delayed Langevin type equations with two fractional derivatives

abstract: In this paper, we introduce a delayed Mittag-Leffler type function. With the help of the delayed Mittag-Leffler type functions, we give an explicit formula of solutions to linear nonhomogeneous fractional time-delay Langevin equations involving two Riemann-Liouville fractional derivatives. The existence and uniqueness of solutions are obtained by using an estimation of delayed Mittag-Leffler type functions in terms of exponential functions and a weighted norm via fixed point theorems. Further, we present Ulam--Hyers stability results.


title: Statistical Characteristics of Driver Acceleration Behavior and Its Probability Model

abstract: Naturalistic driving data were applied to study driver acceleration behaviour, and a probability model of the driver was proposed. First, the question of whether the database is large enough is resolved using kernel density estimation and Kullback-Liebler divergence. Next, the convergence database is utilised to achieve the bivariate acceleration distribution pattern. Subsequently, two probability models are proposed to explain the pattern. Finally, the statistical characteristics of the acceleration behaviours are studied to verify the probability models. The longitudinal and lateral acceleration behaviours always approximate a similar Pareto distribution. The braking, accelerating, and steering manoeuvres become more intense at first and then less intense as the velocity increases. These behaviours characteristics reveal the mechanism of the quadrangle bivariate acceleration distribution pattern. The bivariate acceleration behaviour of the driver will never reach a circle-shaped pattern. The bivariate Pareto distribution model can be applied to describe the bivariate acceleration behaviour of the driver.


title: Slater and Mott insulating states in the SU(6) Hubbard model

abstract: We perform large scale projector determinant quantum Monte-Carlo simulations to study the insulating states of the half-filled SU(6) Hubbard model on the square lattice. The transition from the antiferromagnetic state to the valence bond solid state occurs as increasing the Hubbard $U$. In contrast, in the SU(2) and SU(4) cases antiferromagnetism persists throughout the entire interaction range. In the SU(6) case, antiferromagnetism starts to develop in the weak interacting regime based on the Slater mechanism of Fermi surface nesting. As $U$ passes a crossover value $U^*/t\approx 9$, the single-particle gap scales linearly with $U$, marking the onset of Mott physics. In the Mott regime, antiferromagnetism becomes to be suppressed as $U$ increases, and vanishes after $U$ passes the critical value $U_{\rm AF,c}/t=13.3\pm 0.05$. The critical exponents are obtained via critical scalings as $\nu_{\rm AF}=0.60\pm 0.02$ and $\eta_{\rm AF}=0.44\pm 0.03$. As $U$ further increases, the valence bond solid ordering appears exhibiting the anomalous dimension $\eta_{\rm VBS}=0.98\pm 0.01$.


title: Polyphone Disambiguation for Mandarin Chinese Using Conditional Neural Network with Multi-level Embedding Features

abstract: This paper describes a conditional neural network architecture for Mandarin Chinese polyphone disambiguation. The system is composed of a bidirectional recurrent neural network component acting as a sentence encoder to accumulate the context correlations, followed by a prediction network that maps the polyphonic character embeddings along with the conditions to corresponding pronunciations. We obtain the word-level condition from a pre-trained word-to-vector lookup table. One goal of polyphone disambiguation is to address the homograph problem existing in the front-end processing of Mandarin Chinese text-to-speech system. Our system achieves an accuracy of 94.69\% on a publicly available polyphonic character dataset. To further validate our choices on the conditional feature, we investigate polyphone disambiguation systems with multi-level conditions respectively. The experimental results show that both the sentence-level and the word-level conditional embedding features are able to attain good performance for Mandarin Chinese polyphone disambiguation.


title: Attention routing between capsules

abstract: In this paper, we propose a new capsule network architecture called Attention Routing CapsuleNet (AR CapsNet). We replace the dynamic routing and squash activation function of the capsule network with dynamic routing (CapsuleNet) with the attention routing and capsule activation. The attention routing is a routing between capsules through an attention module. The attention routing is a fast forward-pass while keeping spatial information. On the other hand, the intuitive interpretation of the dynamic routing is finding a centroid of the prediction capsules. Thus, the squash activation function and its variant focus on preserving a vector orientation. However, the capsule activation focuses on performing a capsule-scale activation function. We evaluate our proposed model on the MNIST, affNIST, and CIFAR-10 classification tasks. The proposed model achieves higher accuracy with fewer parameters (x0.65 in the MNIST, x0.82 in the CIFAR-10) and less training time than CapsuleNet (x0.19 in the MNIST, x0.35 in the CIFAR-10). These results validate that designing a capsule-scale operation is a key factor to implement the capsule concept. Also, our experiment shows that our proposed model is transformation equivariant as CapsuleNet. As we perturb each element of the output capsule, the decoder attached to the output capsules shows global variations. Further experiments show that the difference in the capsule features caused by applying affine transformations on an input image is significantly aligned in one direction.


title: Stationary Worldline Power Distributions

abstract: A worldline with a time-independent spectrum is called stationary. Such worldlines are arguably the most simple motions in physics. Barring the trivially static motion, the non-trivial worldlines are uniformly accelerated. As such, a point charge moving along a stationary worldline will emit constant radiative power. The angular distribution, maximum angle scaling and Thomas precession of this power is found for all stationary worldlines including those with torsion and hypertorsion.


title: On the Weaknesses of Reinforcement Learning for Neural Machine Translation

abstract: Reinforcement learning (RL) is frequently used to increase performance in text generation tasks, including machine translation (MT), notably through the use of Minimum Risk Training (MRT) and Generative Adversarial Networks (GAN). However, little is known about what and how these methods learn in the context of MT. We prove that one of the most common RL methods for MT does not optimize the expected reward, as well as show that other methods take an infeasibly long time to converge. In fact, our results suggest that RL practices in MT are likely to improve performance only where the pre-trained parameters are already close to yielding the correct translation. Our findings further suggest that observed gains may be due to effects unrelated to the training signal, but rather from changes in the shape of the distribution curve.


title: Statistical Analysis of the Correlation between Anomalies in the Czech Electric Power Grid and Geomagnetic Activity

abstract: Eruptive events on the Sun have an impact on the immediate surroundings of the Earth. Through induction of electric currents, they also affect Earth-bound structures such as the electric power transmission networks. Inspired by recent studies we investigate the correlation between the disturbances recorded in 12 years in the maintenance logs of the Czech electric-power distributors with the geomagnetic activity represented by the K index. We find that in case of the datasets recording the disturbances on power lines at the high and very high voltage levels and disturbances on electrical substations, there is a statistically significant increase of anomaly rates in the periods of tens of days around maxima of geomagnetic activity compared to the adjacent minima of activity. There are hints that the disturbances are more pronounced shortly after the maxima than shortly before the maxima of activity. Our results provide indirect evidence that the geomagnetically induced currents may affect the occurrence rate of anomalies registered on power-grid equipment even in the mid-latitude country in the middle of Europe. A follow-up study that includes the modelling of geomagnetically induced currents is needed to confirm our findings.


title: Bernstein-type theorem for zero mean curvature hypersurfaces without time-like points in Lorentz-Minkowski space

abstract: Calabi and Cheng-Yau's Bernstein-type theorem asserts that an entire zero mean curvature graph in Lorentz-Minkowski $(n+1)$-space $\boldsymbol R^{n+1}_1$ which admits only space-like points is a hyperplane. Recently, the third and fourth authors proved a line theorem for hypersurfaces at their degenerate light-like points. Using this, we give an improvement of the Bernstein-type theorem, and we show that an entire zero mean curvature graph in $\boldsymbol R^{n+1}_1$ consisting only of space-like or light-like points is a hyperplane. This is a generalization of the first, third and fourth authors' previous result for $n=2$.


title: Gathering Cyber Threat Intelligence from Twitter Using Novelty Classification

abstract: Preventing organizations from Cyber exploits needs timely intelligence about Cyber vulnerabilities and attacks, referred as threats. Cyber threat intelligence can be extracted from various sources including social media platforms where users publish the threat information in real time. Gathering Cyber threat intelligence from social media sites is a time consuming task for security analysts that can delay timely response to emerging Cyber threats. We propose a framework for automatically gathering Cyber threat intelligence from Twitter by using a novelty detection model. Our model learns the features of Cyber threat intelligence from the threat descriptions published in public repositories such as Common Vulnerabilities and Exposures (CVE) and classifies a new unseen tweet as either normal or anomalous to Cyber threat intelligence. We evaluate our framework using a purpose-built data set of tweets from 50 influential Cyber security related accounts over twelve months (in 2018). Our classifier achieves the F1-score of 0.643 for classifying Cyber threat tweets and outperforms several baselines including binary classification models. Our analysis of the classification results suggests that Cyber threat relevant tweets on Twitter do not often include the CVE identifier of the related threats. Hence, it would be valuable to collect these tweets and associate them with the related CVE identifier for cyber security applications.


title: High energy QCD Lipatov's effective action in Euclidean space

abstract: The continuation of high energy QCD Lipatov's effective action to Euclidean space is performed. The resulting Euclidean QCD RFT action is considered separately in Euclidean "light-cone" coordinates and axial gauge suitable for the numerical and analytical calculations correspondingly. The further application of the obtained results is also discussed.


abstract: We derive Cram\'{e}r type moderate deviations for stationary sequences of bounded random variables. Our results imply the moderate deviation principles and a Berry-Esseen bound. Applications to quantile coupling inequalities, functions of $\phi$-mixing sequences, and contracting Markov chains are discussed.


title: Deviation inequalities for separately Lipschitz functionals of composition of random functions

abstract: We consider a class of non-homogeneous Markov chains, that contains many natural examples. Next, using martingale methods, we establish some deviation and moment inequalities for separately Lipschitz functions of such a chain, under moment conditions on some dominating random variables.


title: Calibration of fisheye camera using entrance pupil

abstract: Most conventional camera calibration algorithms assume that the imaging device has a Single Viewpoint (SVP). This is not necessarily true for special imaging device such as fisheye lenses. As a consequence, the intrinsic camera calibration result is not always reliable. In this paper, we propose a new formation model that tends to relax this assumption so that a Non-Single Viewpoint (NSVP) system is corrected to always maintain a SVP, by taking into account the variation of the Entrance Pupil (EP) using thin lens modeling. In addition, we present a calibration procedure for the image formation to estimate these EP parameters using non linear optimization procedure with bundle adjustment. From experiments, we are able to obtain slightly better re-projection error than traditional methods, and the camera parameters are better estimated. The proposed calibration procedure is simple and can easily be integrated to any other thin lens image formation model.


title: Suppression of the antiferromagnetic metallic state in the pressurized MnBi2Te4 single crystal

abstract: MnBi2Te4 has attracted tremendous research interest recently as the first intrinsic antiferromagnetic (AF) topological insulator. It undergoes a long-range AF order at TN = 24 K accompanied with a cusp-like anomaly in the metallic resistivity. Here, we studied the effect of hydrostatic pressure on its electrical transport properties up to 12.5 GPa by using a cubic anvil cell apparatus. We find that TN determined from the resistivity anomaly first increases slightly with pressure and then decreases until vanished completely at ~7 GPa. Intriguingly, its resistivity rho(T) is enhanced gradually by pressure, and evolves from metallic to activated behavior as the AF order is suppressed. From the Hall resistivity measurements, we confirm that the n-type carriers dominate the transport properties and the carrier density is raised by pressure. In addition, the critical magnetic field Hc1 ~3.3 T at 0 GPa for the spin-flop transition to the canted AF state is found to increase to ~ 5 T and 7.5 T at 1 and 3 GPa. High-pressure XRD evidenced no structural transition up to 12.8 GPa. Based on the Hall resistivity results and first-principles calculations, we proposed that the intralayer direct AF interactions are strengthened by pressure and the competition between AF and FM interactions not only prevents long-range magnetic order but also promotes charge carrier localizations through enhance magnetic fluctuations at high pressures.


title: Cho decomposition, Abelian gauge fixing and monopoles in G(2) Yang-Mills theory

abstract: By extending the Cho decomposition method to G(2) gauge group, monopoles of this group are studied. Since SU(2) and SU(3) are subgroups of G(2), discussions are done mostly based on these subgroups of G(2). A direct relation between root vectors of G(2) and the associated magnetic charges is presented by group theoretical issues. In addition, G(2) monopoles are obtained by an Abelian gauge fixing method, and it is shown that the results agree with the ones we obtain by the Cho decomposition method.


title: Prediction of stable superheavy nuclei

abstract: We have investigated most stable superheavy nuclei by studying the decay properties such as alpha decay, cluster decay and spontaneous fission. We have investigated nine stable nuclei in the island of stability which can be detected through fission are 318123(10.5ms), 319123(4.68{\mu}s), 317124(1.74x104 y), 318124(2.70x101 y), 319124(2.83x10-2 y), 320124(1.91x10-5 y), 319125(2.46x109 y), 320125(3.81x106 y) and 321125(3.99x103 y). Present work also investigates three stable superheavy nuclei which can be detected through alpha decay which are 318125(1.03x1012 y), 319126(5.77x1011 y) and 320126(3.99x1010 y). These nuclei will become most stable nuclei if they synthesized in the laboratory. The identified twelve stable nuclei is the evidence for the hypothesis of island of stability


title: Photo-absorption on deuteron contributed by d^*(2380) resonance

abstract: In order to understand the possible physical nature of the newly observed resonance $d^*(2380)$, we calculate the real photo-absorption cross section on deuteron contributed by the resonance $d^*(2380)$ by considering the electromagnetic transition amplitude of $\gamma +d\rightarrow d^*(2380)$. In our interpretation, the $d^*(2380)$ is regarded as a compact six-quark system with mainly two components of $\Delta\Delta$ and hidden-color clusters $C_8C_8$. We find that only the next-to-leading terms contribute the $\gamma +d\rightarrow d^*(2380)$ and the obtained photo-absorption cross section is quite small which is in the order of 10 $nb$. Compared with data measured at ELPH and Mainz recently, it is almost about 20 times smaller.


title: Ultrafast and energy-efficient all-optical switching with graphene-loaded deep-subwavelength plasmonic waveguides

abstract: All-optical switches have attracted attention because they can potentially overcome the speed limitation of electric switches. However, ultrafast, energy-efficient all-optical switches have been challenging to realize due to the intrinsically small optical nonlinearity in existing materials. As a solution, we propose graphene-loaded deep-subwavelength plasmonic waveguides (30 nm x 20 nm). Thanks to extreme light confinement, we have significantly enhanced optical nonlinear absorption in graphene, and achieved ultrafast all-optical switching with a switching energy of 35 fJ and a switching time of 260 fs. The switching energy is four orders of magnitudes smaller than that in previous graphene-based devices and is the smallest value ever reported for any all-optical switch operating at a few picoseconds or less. This device can be efficiently connected to conventional Si waveguides and employed in Si photonic integrated circuits. We believe that this graphene-based device will pave the way towards on-chip ultrafast and energy-efficient photonic processing.


title: Resonantly interacting $p$-wave Fermi superfluid in two dimensions: Tan's contact and breathing mode

abstract: Inspired by the renewed experimental activities on $p$-wave resonantly interacting atomic Fermi gases, we theoretically investigate some experimental observables of such systems at zero temperature in two dimensions, using both mean-field theory and Gaussian pair fluctuation theory. These observables include the two $p$-wave contact parameters and the breathing mode frequency, which can be readily measured in current cold-atom setups with $^{40}$K and $^{6}$Li atoms. We find that the many-body component of the two contact parameters exhibits a pronounced peak slightly above the resonance and consequently leads to a dip in the breathing mode frequency. In the resonance limit, we discuss the dependence of the equation of state and the breathing mode frequency on the dimensionless effective range of the interaction, $k_{F}R_{p}\ll1$, where $k_{F}$ is the Fermi wavevector and $R_{p}$ is the effective range. The breathing mode frequency $\omega_{B}$ deviates from the scale-invariant prediction of $\omega_{c}=2\omega_{0}$, where $\omega_{0}$ is the trapping frequency of the harmonic potential. This frequency shift is caused by the necessary existence of the effective range. In the small range limit, we predict that the mode frequency deviation at the leading order is given by, $\delta\omega_{B}\simeq-(\omega_{0}/4)\ln^{-1}(k_{F}R_{p})$.


title: Algorithms for Competitive Division of Chores

abstract: We study the problem of allocating divisible bads (chores) among multiple agents with additive utilities when monetary transfers are not allowed. The competitive rule is known for its remarkable fairness and efficiency properties in the case of goods. This rule was extended to chores in prior work by Bogomolnaia, Moulin, Sandomirskiy, and Yanovskaya (2017). The rule produces Pareto optimal and envy-free allocations for both goods and chores. In the case of goods, the outcome of the competitive rule can be easily computed. Competitive allocations solve the Eisenberg-Gale convex program; hence the outcome is unique and can be approximately found by standard gradient methods. An exact algorithm that runs in polynomial time in the number of agents and goods was given by Orlin (2010). In the case of chores, the competitive rule does not solve any convex optimization problem; instead, competitive allocations correspond to local minima, local maxima, and saddle points of the Nash social welfare on the Pareto frontier of the set of feasible utilities. The Pareto frontier may contain many such points; consequently, the competitive rule's outcome is no longer unique. In this paper, we show that all the outcomes of the competitive rule for chores can be computed in strongly polynomial time if either the number of agents or the number of chores is fixed. The approach is based on a combination of three ideas: all consumption graphs of Pareto optimal allocations can be listed in polynomial time; for a given consumption graph, a candidate for a competitive utility profile can be constructed via an explicit formula; each candidate can be checked for competitiveness, and the allocation can be reconstructed using a maximum flow computation. Our algorithm gives an approximately-fair allocation of indivisible chores by the rounding technique of Barman and Krishnamurthy (2018).


title: Pion form factor and low-energy hadronic contribution to muon $g-2$ by analytic extrapolation: consistency and sensitivity tests

abstract: The largest error in the theoretical determination of the muon anomalous magnetic moment is due to the low-energy hadronic vacuum polarization, which cannot be calculated by perturbative QCD and requires nonperturbative techniques. Recently, an accurate determination of the low-energy two-pion contribution to muon $g-2$ has been obtained by a parametrization-free analytic continuation of the pion vector form factor from other kinematical regions. In this work we compare the results of the analytic continuation with direct determinations at low momenta from experiment and lattice QCD. We also explore the sensitivity of the method to the timelike data on the modulus of the form factor used as input, by extending the input region to energies up to 0.76 GeV.


title: Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

abstract: The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic automata. In this paper, we present a characterization of the bisimilarity distance as the solution of a simple stochastic game. The characterization gives us an algorithm to compute the distances by applying Condon's simple policy iteration on these games. The correctness of Condon's approach, however, relies on the assumption that the games are stopping. Our games may be non-stopping in general, yet we are able to prove termination for this extended class of games. Already other algorithms have been proposed in the literature to compute these distances, with complexity in $\textbf{UP} \cap \textbf{coUP}$ and \textbf{PPAD}. Despite the theoretical relevance, these algorithms are inefficient in practice. To the best of our knowledge, our algorithm is the first practical solution. The characterization of the probabilistic bisimilarity distance mentioned above crucially uses a dual presentation of the Hausdorff distance due to M\'emoli. As an additional contribution, in this paper we show that M\'emoli's result can be used also to prove that the bisimilarity distance bounds the difference in the maximal (or minimal) probability of two states to satisfying arbitrary $\omega$-regular properties, expressed, eg., as LTL formulas.


title: The Geometry of Sparse Analysis Regularization

abstract: Analysis sparsity is a common prior in inverse problem or machine learning including special cases such as Total Variation regularization, Edge Lasso and Fused Lasso. We study the geometry of the solution set (a polyhedron) of the analysis l1-regularization (with l2 data fidelity term) when it is not reduced to a singleton without any assumption of the analysis dictionary nor the degradation operator. In contrast with most theoretical work, we do not focus on giving uniqueness and/or stability results, but rather describe a worst-case scenario where the solution set can be big in terms of dimension. Leveraging a fine analysis of the sub-level set of the regularizer itself, we draw a connection between support of a solution and the minimal face containing it, and in particular prove that extremal points can be recovered thanks to an algebraic test. Moreover, we draw a connection between the sign pattern of a solution and the ambient dimension of the smallest face containing it. Finally, we show that any arbitrary sub-polyhedra of the level set can be seen as a solution set of sparse analysis regularization with explicit parameters.


title: Photoinduced electron-electron pairing in the extended Falicov-Kimball model

abstract: By employing the time-dependent exact diagonalization method, we investigate the photoexcited states of the excitonic insulator in the extended Falicov-Kimball model (EFKM). We here show that the pulse irradiation can induce the interband electron-electron pair correlation in the photoexcited states, while the excitonic electron-hole pair correlation in the initial ground state is strongly suppressed. We also show that the photoexcited states contains the eigenstates of the EFKM with a finite number of interband electron-electron pairs, which are responsible for the enhancement of the electron-electron pair correlation. The mechanism found here is due to the presence of the internal SU(2) pairing structure in the EFKM and thus it is essentially the same as that for the photoinduced $\eta$-pairing in the repulsive Hubbard model reported recently [T. Kaneko et al., Phys. Rev. Lett. ${\bf 122}$, 077002 (2019)]. This also explains why the nonlinear optical response is effective to induce the electron-electron pairs in the photoexcited states of the EFKM. Furthermore, we show that, unlike the $\eta$-pairing in the Hubbard model, the internal SU(2) structure is preserved even for a nonbipartite lattice when the EFKM has the direct-type band structure, in which the pulse irradiation can induce the electron-electron pair correlation with momentum ${\it {\bf q}}$ = ${\textbf 0}$ in the photoexcited states. We also discuss briefly the effect of a perturbation that breaks the internal SU(2) structure.


title: Globally Convergent Newton Methods for Ill-conditioned Generalized Self-concordant Losses

abstract: In this paper, we study large-scale convex optimization algorithms based on the Newton method applied to regularized generalized self-concordant losses, which include logistic regression and softmax regression. We first prove that our new simple scheme based on a sequence of problems with decreasing regularization parameters is provably globally convergent, that this convergence is linear with a constant factor which scales only logarithmically with the condition number. In the parametric setting, we obtain an algorithm with the same scaling than regular first-order methods but with an improved behavior, in particular in ill-conditioned problems. Second, in the non parametric machine learning setting, we provide an explicit algorithm combining the previous scheme with Nystr{\"o}m projection techniques, and prove that it achieves optimal generalization bounds with a time complexity of order O(ndf $\lambda$), a memory complexity of order O(df 2 $\lambda$) and no dependence on the condition number, generalizing the results known for least-squares regression. Here n is the number of observations and df $\lambda$ is the associated degrees of freedom. In particular, this is the first large-scale algorithm to solve logistic and softmax regressions in the non-parametric setting with large condition numbers and theoretical guarantees.


title: High-flux dual-phase percolation membrane for oxygen separation

abstract: A series of composites based on (100-x)wt.%Ce0.9Pr0.1O2-{\delta}-xwt.%Pr0.6Ca0.4FeO3-{\delta} (x = 25, 40 and 50) doped with the cheap and abundant alkaline earth metal Ca2+ at the A-site has been successfully designed and fabricated. The crystal structure, oxygen permeability, phase and CO2 stability were evaluated. The composition of 60wt.%Ce0.9Pr0.1O2-{\delta}-40wt.%Pr0.6Ca0.4FeO3-{\delta}(60CPO-40PCFO) possesses the highest oxygen permeability among three studied composites. At 1000 oC, the oxygen permeation fluxes through the 0.3 mm-thickness 60CPO-40PCFO membranes after porous La0.6Sr0.4CoO3-{\delta} each to 1.00 mL cm-2 min-1 and 0.62 mL cm-2 min-1 under air/He and air/CO2 gradients, respectively. In situ XRD results demonstrated that the 60CPO-40PCFO sample displayed a perfect structural stability in air as well as CO2-containing atmosphere. Thus, low-cost, Co-free and Sr-free 60CPO-40PCFO has high CO2 stability and is economical and environmental friendly since the expensive and volatile element Co was replaced by Fe and Sr was waived since it easily forms carbonates.


title: Accelerating Generative Neural Networks on Unmodified Deep Learning Processors -- A Software Approach

abstract: Generative neural network is a new category of neural networks and it has been widely utilized in applications such as content generation, unsupervised learning, segmentation and pose estimation. It typically involves massive computing-intensive deconvolution operations that cannot be fitted to conventional neural network processors directly. However, prior works mainly investigated specialized hardware architectures through intensive hardware modifications to the existing deep learning processors to accelerate deconvolution together with the convolution. In contrast, this work proposes a novel deconvolution implementation with a software approach and enables fast and efficient deconvolution execution on the legacy deep learning processors. Our proposed method reorganizes the computation of deconvolution and allows the deep learning processors to treat it as the standard convolution by splitting the original deconvolution filters into multiple small filters. Compared to prior acceleration schemes, the implemented acceleration scheme achieves 2.41x - 4.34x performance speedup and reduces the energy consumption by 27.7% - 54.5% on a set of realistic benchmarks. In addition, we also applied the deconvolution computing approach to the off-the-shelf commodity deep learning processors. The performance of deconvolution also exhibits significant performance speedup over prior deconvolution implementations.


title: Optimal spanwise-periodic control for recirculation length in a backward-facing step flow

abstract: Three-dimensional control is considered in the flow past a backward-facing step (BFS). The BFS flow at Reynolds number $Re=500$ (defined with the step height and the maximum inlet velocity) is two-dimensional and linearly stable but increasingly receptive to disturbances, with a potential for amplification as the recirculation length increases. We compute optimal spanwise-periodic control (steady wall blowing/suction or wall deformation) for decreasing the recirculation length, based on a second-order sensitivity analysis. Results show that wall-normal velocity control is always more efficient than wall-tangential control. The most efficient spanwise wavelength for the optimal control depends on the location: $\beta=0.6$ on the upper wall and $\beta=1$ on the upstream part of the lower wall. The linear amplification of the optimal control resembles the maximum linear gain, which confirms the link between recirculation length and amplification potential in this flow. Sensitivity predictions for blowing/suction amplitudes up to $O(10^{-3})$ and wall deformation amplitudes up to $O(10^{-2})$ are in good agreement with three-dimensional direct numerical simulations. For larger wall deformation amplitudes, the flow becomes unsteady. This study illustrates how the concept of second-order sensitivity and the associated optimization method allow for a systematic exploration of the best candidates for spanwise-periodic control.


title: Bi-chromatic adiabatic shells for atom interferometry

abstract: We demonstrate bi-chromatic adiabatic magnetic shell traps as a novel tool for matterwave interferometry. Using two strong RF fields, we dress the $|1,-1\rangle $ and $ |2,1\rangle$ states of Rubidium Bose-Einstein Condensates thus creating two independently controllable shell traps. This allows us to match the two traps and, using microwave pulses, create a state-dependent clock-type interferometer. Given the low horizontal confinement of the interferometer, the atoms can be made to spread out thus yielding a 2D sheet, which could be used in a direct imaging interferometer. This interferometer can be sensitive to spatially varying electric or magnetic fields, which could be DC, AC, RF fields or microwaves, or even local variations in gravity. We demonstrate that the trap-matching afforded by the independent control of the shell traps allows long coherence times which will result in highly sensitive imaging matterwave interferometers.


title: The Unusual Suppression of Superconducting Transition Temperature in Double-Doping 2H-NbSe$_2$

abstract: 2H-NbSe2 is one of the most widely researched transition metal dichalcogenide (TMD) superconductors, which undergoes charge-density wave (CDW) transition at TCDW about 33 K and superconducting transition at Tc of 7.3 K. To explore the relation between its superconductivity and Fermi surface nesting, we combined S substitution with Cu intercalation in 2H-NbSe2 to make CuxNbSe2-ySy. Upon systematic substitution of S and intercalation of Cu ions into 2H-NbSe2, we found that when the Cu and S contents increases, the Tc decreases in CuxNbSe2-ySy. While at higher x and y values, Tc keeps a constant value near 2 K, which is not commonly observed for a layered TMD. For comparison, we found the simultaneous substitution of Nb by Cu and Se by S in CuxNb1-xSe2-ySy lowered the Tc substantially faster. We construct a superconducting phase diagrams for our double-doping compounds in contrast with the related single-ions doping systems.


title: On the growth of algebras, semigroups, and hereditary languages

abstract: We determine the possible functions that can occur, up to asymptotic equivalence, as growth functions of semigroups, hereditary languages, and algebras.


title: $dS_4$ vacua from matter-coupled 4D N=4 gauged supergravity

abstract: We study $dS_4$ vacua within matter-coupled $N=4$ gauged supergravity in the embedding tensor formalism. We derive a set of conditions for the existence of $dS_4$ solutions by using a simple ansatz for solving the extremization and positivity of the scalar potential. We find two classes of gauge groups that lead to $dS_4$ vacua. One of them consists of gauge groups of the form $G_{\textrm{e}}\times G_{\textrm{m}}\times H$ with $H$ being a compact group and $G_{\textrm{e}}\times G_{\textrm{m}}$ a non-compact group with $SO(3)\times SO(3)$ subgroup and dynonically gauged. These gauge groups are the same as those giving rise to maximally supersymmetric $AdS_4$ vacua. The $dS_4$ and $AdS_4$ vacua arise from different coupling ratios between $G_{\textrm{e}}$ and $G_{\textrm{m}}$ factors. Another class of gauge groups is given by $SO(2,1)_{\textrm{e}}\times SO(2,1)_{\textrm{m}}\times G_{\textrm{nc}}\times G'_{\textrm{nc}}\times H$ with $SO(2,1)$, $G_{\textrm{nc}}$ and $G'_{\textrm{nc}}$ dyonically gauged. We explicitly check that all known $dS_4$ vacua in $N=4$ gauged supergravity satisfy the aforementioned conditions, hence the two classes of gauge groups can accommodate all the previous results on $dS_4$ vacua in a simple framework. Accordingly, the results provide a new approach for finding $dS_4$ vacua. In addition, relations between the embedding tensors for gauge groups admitting $dS_4$ and $dS_5$ vacua are studied, and a new gauge group, $SO(2,1)\times SO(4,1)$, with a $dS_4$ vacuum is found by applying these relations to $SO(1,1)\times SO(4,1)$ gauge group in five dimensions.


title: Using binary decision diagrams for constraint handling in combinatorial interaction testing

abstract: Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effectiveness of the use of Binary Decision Diagrams (BDDs) for constraint handling. BDDs are a data structure used to represent and manipulate Boolean functions. The core role of a constraint handler is to perform a check to determine if a partial test case with unspecified parameter values satisfies the constraints. In the course of generating a test suite, this check is executed a number of times; thus the efficiency of the check significantly affects the overall time required for test case generation. In the paper, we study two different approaches. The first approach performs this check by computing the logical AND of Boolean functions that represent all constraint-satisfying full test cases and a given partial test case. The second approach uses a new technique to construct a BDD that represents all constraint-satisfying partial test cases. With this BDD, the check can be performed by simply traversing the BDD from the root to a sink. We developed a program that incorporates both approaches into IPOG, a well-known test case generation algorithm. Using this program, we empirically evaluate the performance of these BDD-based constraint handling approaches using a total of 62 problem instances. In the evaluation, the two approaches are compared with three different constraint handling approaches, namely, those based on Boolean satisfiability (SAT) solving, Minimum Forbidden Tuples (MFTs), and Constraint Satisfiction Problem (CSP) solving. The results of the evaluation show that the two BDD-based approaches usually outperform the other constraint handling techniques and that the BDD-based approach using the new technique exhibits best performance.


title: Effects of Al content on the oxygen permeability through dual-phase membrane 60Ce$_{0.9}$Pr$_{0.1}$O$_{2-\delta}$-40Pr$_{0.6}$Sr$_{0.4}$Fe$_{1-x}$Al$_x$O$_{3-\delta}$

abstract: Ceramic dual-phase oxygen transport membranes with the composition of 60wt.% Ce0.9Pr0.1O2-{\delta}-40wt.%Pr0.6Sr0.4Fe1-xAlxO3-{\delta} (x = 0.05, 0.1, 0.2, 0.3, 0.4, 0.6, 0.8, 1.0) (60CPO-40PSF1-xAxO) based on 60Ce0.9Pr0.1O2-{\delta}-40Pr0.6Sr0.4FeO3-{\delta} doped Al was successfully synthesized through a modified Pechini method. Crystal structure, surface microtopography and oxygen permeability are investigated systematically. The cell parameters of perovskite phase first increased and then decreased with the increase of Al content, which is related to the radius of the Al3+ and the formation of impurity phase. As x ranges from 0.1 to 0.8, the oxygen permeability of the materials first increases and then decreases, and the maximum value of oxygen permeation rate for 60CPO-40PSF1-xAxO membranes with 0.4mm thickness at 1000 {\deg}C is 1.12 mL min-1 cm-2 when x = 0.4. XRD measurements revealed high temperature stability and CO2-tolerant property of the dual-phase composites. The partial replacement of Fe$^{3+}$/Fe$^{4+}$ by Al$^{3+}$ causes the material not only to exhibit good stability, but also to increase the oxygen permeability of the membranes.


title: Estimating a probability of failure with the convex order in computer experiments

abstract: This paper deals with the estimation of a failure probability of an industrial product. To be more specific, it is defined as the probability that the output of a physical model, with random input variables, exceeds a threshold. The model corresponds with an expensive to evaluate black-box function, so that classical Monte Carlo simulation methods cannot be applied. Bayesian principles of the Kriging method are then used to design an estimator of the failure probability. From a numerical point of view, the practical use of this estimator is restricted. An alternative estimator is proposed, which is equivalent in term of bias. The main result of this paper concerns the existence of a convex order inequality between these two estimators. This inequality allows to compare their efficiency and to quantify the uncertainty on the results that these estimators provide. A sequential procedure for the construction of a design of computer experiments, based on the principle of the Stepwise Uncertainty Reduction strategies, also results of the convex order inequality. The interest of this approach is highlighted through the study of a real case from the company STMicroelectronics.


title: Exact solutions of the relativistic Boltzmann equation in the relaxation time approximation

abstract: This Thesis concentrates on the analysis of coupled RTA (relaxation time approximation) kinetic equations for bosons and fermions. Bosons are treated as massless particles, while fermions have a finite mass. Using analytic and numerical methods we find exact solutions for such a mixture in the case of one-dimensional, boost-invariant expansion (for systems which are transversally homogeneous). In this way, several earlier results obtained for one-component systems and classical particles are generalized.


title: Some things special about NEAs: Geometric and environmental effects on the optical signatures of hydration

abstract: Here were report on a laboratory study aiming to reproduce specificities of near-Earth Asteroid. We study how the elevated surface temperature, their surface roughness (rock or regolith), as well as observation geometry can affect the absorption features detected on asteroids. For that purpose, we selected a recent carbonaceous chondrite fall, the Mukundpura CM2 chondrite which fell in India in June 2017. Bidirectional reflectance spectroscopy was performed to analyze the effect of the geometrical configuration (incidence, emergence and azimuth angle) on the measurement. Our results show that reflectance spectra obtained under warm environment (NEA-like) tends to show shallower absorption bands compared to low-temperature conditions (MBA-like), but still detectable in our experiments under laboratory timescales. Irreversible alteration of the sample because of the warm environment (from room temperature to 250{\deg}C) has been detected as an increase of the spectral slope and a decrease of the band depths (at 0.7{\mu}m, 0.9{\mu}m and 2.7{\mu}m). Comparing the meteoritic chip and the powdered sample, we found that surface texture strongly affects the shape of the reflectance spectra of meteorites and thus of asteroids, where a dust-covered surface presents deeper absorption features. We found that all spectral parameters, such as the reflectance value, spectral slope and possible absorption bands are affected by the geometry of measurement. We observed the disappearance of the 0.7 {\mu}m absorption feature at phase angle larger than 120{\deg}, but the 3{\mu}m band remains detectable on all measured spectra.


title: Spectroscopy of classical environmental noise with a qubit subjected to projective measurements

abstract: We show theoretically how a correlation of multiple measurements on a qubit undergoing pure dephasing can be expressed as environmental noise filtering. The measurement of such correlations can be used for environmental noise spectroscopy, and the family of noise filters achievable in such a setting is broader than the one achievable with a standard approach, in which dynamical decoupling sequences are used. We illustrate the advantages of this approach by considering the case of noise spectrum with sharp features at very low frequencies. We also show how appropriately chosen correlations of a few measurements can detect the non-Gaussian character of certain environmental noises, particularly the noise affecting the qubit at the so-called optimal working point.


title: Contact line advection using the geometrical Volume-of-Fluid method

abstract: We consider the interface advection problem by a prescribed velocity field in the special case when the interface intersects the domain boundary, i.e. in the presence of a contact line. This problem emerges from the discretization of continuum models for dynamic wetting. The kinematic evolution equation for the dynamic contact angle (Fricke et al., 2019) expresses the fundamental relationship between the rate of change of the contact angle and the structure of the transporting velocity field. The goal of the present work is to develop an interface advection method that is consistent with the fundamental kinematics and transports the contact angle correctly with respect to a prescribed velocity field. In order to verify the advection method, the kinematic evolution equation is solved numerically and analytically (for special cases). We employ the geometrical Volume-of-Fluid (VOF) method on a structured Cartesian grid to solve the hyperbolic transport equation for the interface in two spatial dimensions. We introduce generalizations of the Youngs and ELVIRA methods to reconstruct the interface close to the domain boundary. Both methods deliver first-order convergent results for the motion of the contact line. However, the Boundary Youngs method shows strong oscillations in the numerical contact angle that do not converge with mesh refinement. In contrast to that, the Boundary ELVIRA method provides linear convergence of the numerical contact angle transport.


title: Towards Velocity Turnpikes in Optimal Control of Mechanical Systems

abstract: The paper proposes first steps towards the formalization and characterization of time-varying turnpikes in optimal control of mechanical systems. We propose the concepts of velocity steady states, which can be considered as partial steady states, and hyperbolic velocity turnpike properties for analysis and control. We show for a specific example that, for all finite horizons, both the (essential part of the) optimal solution and the orbit of the time-varying turnpike correspond to (optimal) trim solutions. Hereby, the present paper appears to be the first to combine the concepts of trim primitives and time-varying turnpike properties.


title: Thermal behaviors of light scalar resonances at low temperatures

abstract: We study the thermal properties of the lowest multiplet of the QCD light-flavor scalar resonances, including the $f_0(500)/\sigma$, $K_{0}^{*}(700)/\kappa$, $f_0(980)$ and $a_0(980)$, in the framework of unitarized $U(3)$ chiral perturbation theory. After the successful fits to the meson-meson scattering inputs, such as the phase shifts and inelasticities, we obtain the unknown parameters and further calculate the resonance poles and their residues at zero temperature. By including the finite-temperature effects in the unitarized meson-meson scattering amplitudes, the thermal behaviors of the scalar resonance poles in the complex energy plane are studied. The masses of $\sigma$ and $\kappa$ are found to considerably decrease when increasing the temperatures, while their widths turn out to be still large when the temperatures reach around $200$ MeV. In contrast, both the masses and widths of the $f_0(980)$ and $a_0(980)$ are only slightly changed.


title: Cryptographic One-way Function Based on Boson Sampling

abstract: The quest for practical cryptographic primitives that are robust against quantum computers is of vital importance for the field of cryptography. Among the abundance of different cryptographic primitives one may consider, one-way functions stand out as fundamental building blocks of more complex cryptographic protocols, and they play a central role in modern asymmetric cryptography. We propose a mathematical one-way function, which relies on coarse-grained boson sampling. The evaluation and the inversion of the function are discussed in the context of classical and quantum computers. The present results suggest that the scope and power of boson sampling may go beyond the proof of quantum supremacy, and pave the way towards cryptographic applications.


title: An adiabatic quantum algorithm for the Frobenius problem

abstract: The (Diophantine) Frobenius problem is a well-known NP-hard problem (also called the stamp problem or the chicken nugget problem) whose origins lie in the realm of combinatorial number theory. In this paper we present an adiabatic quantum algorithm which solves it, using the so-called Ap\'ery set of a numerical semigroup, via a translation into a QUBO problem. The algorithm has been specifically designed to run in a D-Wave 2X machine.


title: BPX preconditioners for isogeometric analysis using analysis-suitable T-splines

abstract: We propose and analyze optimal additive multilevel solvers for isogeometric discretizations of scalar elliptic problems for locally refined T-meshes. Applying the refinement strategy in Morgenstern and Peterseim (2015, Comput. Aided Geom. Design, 34, 50-66) we can guarantee that the obtained T-meshes have a multilevel structure, and that the associated T-splines are analysis-suitable, for which we can define a dual basis and a stable projector. Taking advantage of the multilevel structure, we develop two BPX preconditioners: the first on the basis of local smoothing only for the functions affected by a newly added edge by bisection, and the second smoothing for all the functions affected after adding all the edges of the same level. We prove that both methods have optimal complexity, and present several numerical experiments to confirm our theoretical results, and also to compare the practical performance of the proposed preconditioners.


title: Multi-Task Networks With Universe, Group, and Task Feature Learning

abstract: We present methods for multi-task learning that take advantage of natural groupings of related tasks. Task groups may be defined along known properties of the tasks, such as task domain or language. Such task groups represent supervised information at the inter-task level and can be encoded into the model. We investigate two variants of neural network architectures that accomplish this, learning different feature spaces at the levels of individual tasks, task groups, as well as the universe of all tasks: (1) parallel architectures encode each input simultaneously into feature spaces at different levels; (2) serial architectures encode each input successively into feature spaces at different levels in the task hierarchy. We demonstrate the methods on natural language understanding (NLU) tasks, where a grouping of tasks into different task domains leads to improved performance on ATIS, Snips, and a large inhouse dataset.


title: Glass-forming ability of Lennard-Jones trimers

abstract: Melting temperatures at ambient pressure of systems of isosceles Lennard-Jones trimers with angles ranging from 70 degrees to 100 degrees are determined. Two crystal structures are considered: a distorted body centered cubic structure and a distorted face centered cubic structure with preferred angles of 77 and 96 degrees, respectively. Liquid dynamics are slowed down when the angle is increased. A trimer angle of 83 degrees yields the largest distance between isochrones and the melting temperature, suggesting that this value gives the optimal glass-forming ability. It is conjectured that better glass-formers may be found at angles larger than the ones considered in this study.


title: Viscous resuspension of non-Brownian particles: determination of the concentration profiles and particle normal stresses

abstract: We perform local measurements of both the shear rate and the particle fraction to study viscous resuspension in non-Brownian suspensions. A suspension of PMMA spherical particles dispersed in a lighter Newtonian fluid (Triton X100) is sheared in a vertical Couette cell. The vertical profiles of the particle volume fraction are measured for Shields numbers ranging from 10 --3 to 1, and the variation in the particle normal stress in the vorticity direction of the particle fraction is deduced.


title: Two efficient gradient methods with approximately optimal stepsizes based on regularization models for unconstrained optimization

abstract: It is widely accepted that the stepsize is of great significance to gradient method. Two efficient gradient methods with approximately optimal stepsizes mainly based on regularization models are proposed for unconstrained optimization. More exactly, if the objective function is not close to a quadratic function on the line segment between the current and latest iterates, regularization models are exploited carefully to generate approximately optimal stepsizes. Otherwise, quadratic approximation models are used. In particular, when the curvature is non-positive, special regularization models are developed. The convergence of the proposed methods is established under the weak conditions. Extensive numerical experiments indicated the proposed method is superior to the BBQ method (SIAM J. Optim. 2021,31(4), 3068-3096) and other efficient gradient methods, and is competitive to two famous and efficient conjugate gradient software packages CG$ \_ $DESCENT (5.0) (SIAM J. Optim. 16(1), 170-192, 2005) and CGOPT (1.0) (SIAM J. Optim. 23(1), 296-320, 2013) for the CUTEr library. Due to the surprising efficiency, we believe that gradient methods with approximately optimal stepsizes can become strong candidates for large-scale unconstrained optimization.


title: Supersonic rotation of a superfluid: a long-lived dynamical ring

abstract: We present the experimental realization of a long-lived superfluid flow of a quantum gas rotating in an anharmonic potential, sustained by its own angular momentum. The gas is set into motion by rotating an elliptical deformation of the trap. An evaporation selective in angular momentum yields an acceleration of rotation until the density vanishes at the trap center, resulting in a dynamical ring with 350 hbar angular momentum per particle. The density profile of the ring corresponds to the one of a quasi two-dimensional superfluid, with a linear velocity reaching Mach 18 and a rotation lasting more than a minute.


title: Koalja: from Data Plumbing to Smart Workspaces in the Extended Cloud

abstract: Koalja describes a generalized data wiring or `pipeline' platform, built on top of Kubernetes, for plugin user code. Koalja makes the Kubernetes underlay transparent to users (for a `serverless' experience), and offers a breadboarding experience for development of data sharing circuitry, to commoditize its gradual promotion to a production system, with a minimum of infrastructure knowledge. Enterprise grade metadata are captured as data payloads flow through the circuitry, allowing full tracing of provenance and forensic reconstruction of transactional processes, down to the versions of software that led to each outcome. Koalja attends to optimizations for avoiding unwanted processing and transportation of data, that are rapidly becoming sustainability imperatives. Thus one can minimize energy expenditure and waste, and design with scaling in mind, especially with regard to edge computing, to accommodate an Internet of Things, Network Function Virtualization, and more.


title: Optimized substrates and measurement approaches for Raman spectroscopy of graphene nanoribbons

abstract: The on-surface synthesis of graphene nanoribbons (GNRs) allows for the fabrication of atomically precise narrow GNRs. Despite their exceptional properties which can be tuned by ribbon width and edge structure, significant challenges remain for GNR processing and characterization. In this contribution, we use Raman spectroscopy to characterize different types of GNRs on their growth substrate and to track their quality upon substrate transfer. We present a Raman-optimized (RO) device substrate and an optimized mapping approach that allows for acquisition of high-resolution Raman spectra, achieving enhancement factors as high as 120 with respect to signals measured on standard SiO2/Si substrates. We show that this approach is well-suited to routinely monitor the geometry-dependent low-frequency modes of GNRs. In particular, we track the radial breathing-like mode (RBLM) and the shear-like mode (SLM) for 5-, 7- and 9-atom wide armchair GNRs (AGNRs) and compare their frequencies with first-principles calculations.


title: Electric current control of spin helicity in an itinerant helimagnet

abstract: Chirality is breaking of mirror symmetry in matter. In the fields of biology and chemistry, this is particularly important because some of the essential molecules in life such as amino acids and DNA have chirality. It is a long-standing mystery how one of the enantiomers was chosen at the beginning stage of life. The understanding of the emergence of homochirality under some conditions is indispensable for the study of the origin of life as well as pharmaceutical science. The chirality is also emergent in magnetic structures. The longitudinal helical magnetic structure is the chiral object composed of magnetic moments, in which the ordered direction of the magnetic moment spatially rotates in the plane perpendicular to the propagation vector (Fig. 1a). Since the sense of rotation, which is denoted as helicity, is reversed by any mirror operation, it is corresponding to the chirality. Here we show that the chirality of a longitudinal helical structure can be controlled by the magnetic field and electric current owing to the spin-transfer torque irrelevant to the spin-orbit interaction and probed by electrical magnetochiral effect, which is sensitive to the chiral symmetry breaking, in an itinerant helimagnet MnP. This phenomenon is distinct from the multiferroicity in transverse-type insulating helical magnets, in which the helical plane is parallel to the propagation vector, because the magnetic structure has polar symmetry not chiral one. While the combination of the magnetic field and electric current satisfies the symmetrical rule of external stimulus for the chirality control, the control with them was not reported for any chiral object previously. The present result may pave a new route to the control of chiralities originating from magnetic and atomical arrangements.


title: Asynchronous discrete dynamical systems

abstract: We study two coupled discrete-time equations with different (asynchronous) periodic time scales. The coupling is of the type sample and hold, i.e., the state of each equation is sampled at its update times and held until it is read as an input at the next update time for the other equation. We construct an interpolating two-dimensional complex-valued system on the union of the two time scales and an extrapolating four-dimensional system on the intersection of the two time scales. We discuss stability by several results, examples and counterexamples in various frameworks to show that the asynchronicity can have a significant impact on the dynamical properties.


title: P2P Loan acceptance and default prediction with Artificial Intelligence

abstract: Logistic Regression and Support Vector Machine algorithms, together with Linear and Non-Linear Deep Neural Networks, are applied to lending data in order to replicate lender acceptance of loans and predict the likelihood of default of issued loans. A two phase model is proposed; the first phase predicts loan rejection, while the second one predicts default risk for approved loans. Logistic Regression was found to be the best performer for the first phase, with test set recall macro score of $77.4 \%$. Deep Neural Networks were applied to the second phase only, were they achieved best performance, with validation set recall score of $72 \%$, for defaults. This shows that AI can improve current credit risk models reducing the default risk of issued loans by as much as $70 \%$. The models were also applied to loans taken for small businesses alone. The first phase of the model performs significantly better when trained on the whole dataset. Instead, the second phase performs significantly better when trained on the small business subset. This suggests a potential discrepancy between how these loans are screened and how they should be analysed in terms of default prediction.


title: Reduced Order Estimation of the Speckle Electric Field History for Space-Based Coronagraphs

abstract: In high-contrast space-based coronagraphs, one of the main limiting factors for imaging the dimmest exoplanets is the time varying nature of the residual starlight (speckles). Modern methods try to differentiate between the intensities of starlight and other sources, but none incorporate models of space-based systems which can take into account actuations of the deformable mirrors. Instead, we propose formulating the estimation problem in terms of the electric field while allowing for dithering of the deformable mirrors. Our reduced-order approach is similar to intensity-based PCA (e.g. KLIP) although, under certain assumptions, it requires a considerably lower number of modes of the electric field. We illustrate this by a FALCO simulation of the WFIRST hybrid Lyot coronagraph.


title: Equivalent Circuit Model Recognition of Electrochemical Impedance Spectroscopy via Machine Learning

abstract: Electrochemical impedance spectroscopy (EIS) is an effective method for studying the electrochemical systems. The interpretation of EIS is the biggest challenge in this technology, which requires reasonable modeling. However, the modeling of EIS is of great subjectivity, meaning that there may be several models to fit the same set of data. In order to overcome the uncertainty and triviality of human analysis, this research uses machine learning to carry out EIS pattern recognition. Raw EIS data and their equivalent circuit models were collected from the literature, and the support vector machine (SVM) was used to analyze these data. As the result, we addresses the classification of EIS and recognizing their equivalent circuit models with accuracies of up to 78%. This study demonstrates the great potential of machine learning in electrochemical researches.


title: The Receptive Field as a Regularizer in Deep Convolutional Neural Networks for Acoustic Scene Classification

abstract: Convolutional Neural Networks (CNNs) have had great success in many machine vision as well as machine audition tasks. Many image recognition network architectures have consequently been adapted for audio processing tasks. However, despite some successes, the performance of many of these did not translate from the image to the audio domain. For example, very deep architectures such as ResNet and DenseNet, which significantly outperform VGG in image recognition, do not perform better in audio processing tasks such as Acoustic Scene Classification (ASC). In this paper, we investigate the reasons why such powerful architectures perform worse in ASC compared to simpler models (e.g., VGG). To this end, we analyse the receptive field (RF) of these CNNs and demonstrate the importance of the RF to the generalization capability of the models. Using our receptive field analysis, we adapt both ResNet and DenseNet, achieving state-of-the-art performance and eventually outperforming the VGG-based models. We introduce systematic ways of adapting the RF in CNNs, and present results on three data sets that show how changing the RF over the time and frequency dimensions affects a model's performance. Our experimental results show that very small or very large RFs can cause performance degradation, but deep models can be made to generalize well by carefully choosing an appropriate RF size within a certain range.


title: Repeated interactions and quantum stochastic thermodynamics at strong coupling

abstract: The thermodynamic framework of repeated interactions is generalized to an arbitrary open quantum system in contact with a heat bath. Based on these findings the theory is then extended to arbitrary measurements performed on the system. This constitutes a direct experimentally testable framework in strong coupling quantum thermodynamics. By construction, it provides many quantum stochastic processes and quantum causal models with a consistent thermodynamic interpretation. The setting can be further used, for instance, to rigorously investigate the interplay between non-Markovianity and nonequilibrium thermodynamics.


title: Sensitivity of Legged Balance Control to Uncertainties and Sampling Period

abstract: We propose to quantify the effect of sensor and actuator uncertainties on the control of the center of mass and center of pressure in legged robots, since this is central for maintaining their balance with a limited support polygon. Our approach is based on robust control theory, considering uncertainties that can take any value between specified bounds. This provides a principled approach to deciding optimal feedback gains. Surprisingly, our main observation is that the sampling period can be as long as 200 ms with literally no impact on maximum tracking error and, as a result, on the guarantee that balance can be maintained safely. Our findings are validated in simulations and experiments with the torque-controlled humanoid robot Toro developed at DLR. The proposed mathematical derivations and results apply nevertheless equally to biped and quadruped robots.


title: Tracking system of Mine Patrol Robot for Low Illumination Environment

abstract: Computer vision has received a significant attention in recent years, which is one of the important parts for robots to apperceive external environment. Discriminative Correlation Filter (DCF) based trackers gained more popularity due to their efficiency, however, tracking in low-illumination environments is a challenging problem, not yet successfully addressed in the literature. In this work, we tackle the problems by introducing Low-Illumination Long-term Correlation Tracker (LLCT). First, fused features only including HOG and Color Names are employed to boost the tracking efficiency. Second, we used the standard PCA to reduction scheme in the translation and scale estimation phase for accelerating. Third, we learned a long-term correlation filter to keep the long-term memory ability. Finally, update memory templates with interval updates, then re-match existing and initial templates every few frames to maintain template accuracy. The extensive experiments on popular Object Tracking Benchmark OTB-50 datasets have demonstrated that the proposed tracker outperforms the state-of-the-art trackers significantly achieves a high real-time (33FPS) performance. In addition, the proposed approach can be integrated easily in robot system and the running speed performed well. The experimental results show that the novel tracker performance in low-illumination environment is better than that of general trackers.


title: An Energy-Efficient Mixed-Signal Parallel Multiply-Accumulate (MAC) Engine Based on Stochastic Computing

abstract: Convolutional neural networks (CNN) have achieved excellent performance on various tasks, but deploying CNN to edge is constrained by the high energy consumption of convolution operation. Stochastic computing (SC) is an attractive paradigm which performs arithmetic operations with simple logic gates and low hardware cost. This paper presents an energy-efficient mixed-signal multiply-accumulate (MAC) engine based on SC. A parallel architecture is adopted in this work to solve the latency problem of SC. The simulation results show that the overall energy consumption of our design is 5.03pJ per 26-input MAC operation under 28nm CMOS technology.