title: Markov Processes in Blockchain Systems

abstract: In this paper, we develop a more general framework of block-structured Markov processes in the queueing study of blockchain systems, which can provide analysis both for the stationary performance measures and for the sojourn times of any transaction and block. Note that an original aim of this paper is to generalize the two-stage batch-service queueing model studied in Li et al. \cite{Li:2018} both ``from exponential to phase-type" service times and ``from Poisson to MAP" transaction arrivals. In general, the MAP transaction arrivals and the two stages of PH service times make our blockchain queue more suitable to various practical conditions of blockchain systems with crucial random factors, for example, the mining processes, the block-generations, the blockchain-building and so forth. For such a more general blockchain queueing model, we focus on two basic research aspects: (1) By using the matrix-geometric solution, we first obtain a sufficient stable condition of the blockchain system. Then we provide simple expressions for the average number of transactions in the queueing waiting room, and the average number of transactions in the block. (2) However, comparing with Li et al. \cite{Li:2018}, analysis of the transaction-confirmation time becomes very difficult and challenging due to the complicated blockchain structure. To overcome the difficulties, we develop a computational technique of the first passage times by means of both the PH distributions of infinite sizes and the $RG$-factorizations. Finally, we hope that the methodology and results given in this paper will open a new avenue to queueing analysis of more general blockchain systems in practice, and can motivate a series of promising future research on development of lockchain technologies.


title: Conjugating automorphisms of graph products: Kazhdan's property (T) and SQ-universality

abstract: An automorphism of a graph product of groups is conjugating if it sends each factor to a conjugate of a factor (possibly different). In this article, we determine precisely when the group of conjugating automorphisms of a graph product satisfies Kazhdan's property (T) and when it satisfies some vastness properties including SQ-universality.


title: The Discussion on Hulls of Cyclic Codes over the Ring $\Re =\Z_4+v\Z_4$, $v^2=v$

abstract: For odd length $n$, the cyclic codes construction over $\Re= \Z_4[v]/ \langle v^2-v \rangle$ is provided. The hulls of cyclic codes over $\Re$ are studied. The average $2$-dimension $E(n)$ of the hulls of cyclic codes over $\Re$ is also conferred. Among these, the various examples of generators of hulls of cyclic codes over $\Re$ are provided, whose $\Z_4$-images are good $\Z_4$-linear codes with good parameters.


title: VoiceID Loss: Speech Enhancement for Speaker Verification

abstract: In this paper, we propose VoiceID loss, a novel loss function for training a speech enhancement model to improve the robustness of speaker verification. In contrast to the commonly used loss functions for speech enhancement such as the L2 loss, the VoiceID loss is based on the feedback from a speaker verification model to generate a ratio mask. The generated ratio mask is multiplied pointwise with the original spectrogram to filter out unnecessary components for speaker verification. In the experiments, we observed that the enhancement network, after training with the VoiceID loss, is able to ignore a substantial amount of time-frequency bins, such as those dominated by noise, for verification. The resulting model consistently improves the speaker verification system on both clean and noisy conditions.


title: Competitive ratio versus regret minimization: achieving the best of both worlds

abstract: We consider online algorithms under both the competitive ratio criteria and the regret minimization one. Our main goal is to build a unified methodology that would be able to guarantee both criteria simultaneously. For a general class of online algorithms, namely any Metrical Task System (MTS), we show that one can simultaneously guarantee the best known competitive ratio and a natural regret bound. For the paging problem we further show an efficient online algorithm (polynomial in the number of pages) with this guarantee. To this end, we extend an existing regret minimization algorithm (specifically, Kapralov and Panigrahy) to handle movement cost (the cost of switching between states of the online system). We then show how to use the extended regret minimization algorithm to combine multiple online algorithms. Our end result is an online algorithm that can combine a "base" online algorithm, having a guaranteed competitive ratio, with a range of online algorithms that guarantee a small regret over any interval of time. The combined algorithm guarantees both that the competitive ratio matches that of the base algorithm and a low regret over any time interval. As a by product, we obtain an expert algorithm with close to optimal regret bound on every time interval, even in the presence of switching costs. This result is of independent interest.


title: Human Intracranial EEG Quantitative Analysis and Automatic Feature Learning for Epileptic Seizure Prediction

abstract: Objective: The aim of this study is to develop an efficient and reliable epileptic seizure prediction system using intracranial EEG (iEEG) data, especially for people with drug-resistant epilepsy. The prediction procedure should yield accurate results in a fast enough fashion to alert patients of impending seizures. Methods: We quantitatively analyze the human iEEG data to obtain insights into how the human brain behaves before and between epileptic seizures. We then introduce an efficient pre-processing method for reducing the data size and converting the time-series iEEG data into an image-like format that can be used as inputs to convolutional neural networks (CNNs). Further, we propose a seizure prediction algorithm that uses cooperative multi-scale CNNs for automatic feature learning of iEEG data. Results: 1) iEEG channels contain complementary information and excluding individual channels is not advisable to retain the spatial information needed for accurate prediction of epileptic seizures. 2) The traditional PCA is not a reliable method for iEEG data reduction in seizure prediction. 3) Hand-crafted iEEG features may not be suitable for reliable seizure prediction performance as the iEEG data varies between patients and over time for the same patient. 4) Seizure prediction results show that our algorithm outperforms existing methods by achieving an average sensitivity of 87.85% and AUC score of 0.84. Conclusion: Understanding how the human brain behaves before seizure attacks and far from them facilitates better designs of epileptic seizure predictors. Significance: Accurate seizure prediction algorithms can warn patients about the next seizure attack so they could avoid dangerous activities. Medications could then be administered to abort the impending seizure and minimize the risk of injury.


title: BriskStream: Scaling Data Stream Processing on Shared-Memory Multicore Architectures

abstract: We introduce BriskStream, an in-memory data stream processing system (DSPSs) specifically designed for modern shared-memory multicore architectures. BriskStream's key contribution is an execution plan optimization paradigm, namely RLAS, which takes relative-location (i.e., NUMA distance) of each pair of producer-consumer operators into consideration. We propose a branch and bound based approach with three heuristics to resolve the resulting nontrivial optimization problem. The experimental evaluations demonstrate that BriskStream yields much higher throughput and better scalability than existing DSPSs on multi-core architectures when processing different types of workloads.


title: A fundamental class for intersection spaces of depth one Witt spaces

abstract: By a theorem of Banagl-Chriestenson, intersection spaces of depth one pseudomanifolds exhibit generalized Poincar\'{e} duality of Betti numbers, provided that certain characteristic classes of the link bundles vanish. In this paper, we show that the middle-perversity intersection space of a depth one Witt space can be completed to a rational Poincar\'{e} duality space by means of a single cell attachment, provided that a certain rational Hurewicz homomorphism associated to the link bundles is surjective. Our approach continues previous work of Klimczak covering the case of isolated singularities with simply connected links. For every singular stratum, we show that our condition on the rational Hurewicz homomorphism implies that the Banagl-Chriestenson characteristic classes of the link bundle vanish. Moreover, using Sullivan minimal models, we show that the converse implication holds at least in the case that twice the dimension of the singular stratum is bounded by the dimension of the link. As an application, we compare the signature of our rational Poincar\'{e} duality space to the Goresky-MacPherson intersection homology signature of the given Witt space. We discuss our results for a class of Witt spaces having circles as their singular strata.


title: Extending planning knowledge using ontologies for goal opportunities

abstract: Approaches to goal-directed behaviour including online planning and opportunistic planning tackle a change in the environment by generating alternative goals to avoid failures or seize opportunities. However, current approaches only address unanticipated changes related to objects or object types already defined in the planning task that is being solved. This article describes a domain-independent approach that advances the state of the art by extending the knowledge of a planning task with relevant objects of new types. The approach draws upon the use of ontologies, semantic measures, and ontology alignment to accommodate newly acquired data that trigger the formulation of goal opportunities inducing a better-valued plan.


title: $L^0$--convex compactness and random normal structure in $L^0(\mathcal{F},B)$

abstract: Let $(B,\|\cdot\|)$ be a Banach space, $(\Omega,\mathcal{F},P)$ a probability space and $L^0(\mathcal{F},B)$ the set of equivalence classes of strong random elements (or strongly measurable functions) from $(\Omega,\mathcal{F},P)$ to $(B,\|\cdot\|)$. It is well known that $L^0(\mathcal{F},B)$ becomes a complete random normed module, which has played an important role in the process of applications of random normed modules to the theory of Lebesgue--Bochner function spaces and random functional analysis. Let $V$ be a closed convex subset of $B$ and $L^0(\mathcal{F},V)$ the set of equivalence classes of strong random elements from $(\Omega,\mathcal{F},P)$ to $(B,\|\cdot\|)$, the central purpose of this paper is to prove the following two results: (1). $L^0(\mathcal{F},V)$ is $L^0$--convexly compact if and only if $V$ is weakly compact; (2). $L^0(\mathcal{F},V)$ has random normal structure if $V$ is weakly compact and has normal structure. As an application, a general random fixed point theorem for a strong random nonexpansive operator is given, which generalizes and improves several well known results. We hope that our new method, namely skillfully combining measurable selection theorems, the theory of random normed modules and Banach space techniques, can be applied in the other related aspects.


title: Normalized Diversification

abstract: Generating diverse yet specific data is the goal of the generative adversarial network (GAN), but it suffers from the problem of mode collapse. We introduce the concept of normalized diversity which force the model to preserve the normalized pairwise distance between the sparse samples from a latent parametric distribution and their corresponding high-dimensional outputs. The normalized diversification aims to unfold the manifold of unknown topology and non-uniform distribution, which leads to safe interpolation between valid latent variables. By alternating the maximization over the pairwise distance and updating the total distance (normalizer), we encourage the model to actively explore in the high-dimensional output space. We demonstrate that by combining the normalized diversity loss and the adversarial loss, we generate diverse data without suffering from mode collapsing. Experimental results show that our method achieves consistent improvement on unsupervised image generation, conditional image generation and hand pose estimation over strong baselines.


title: A Model of the Enhanced Vertical Mixing Induced by Wind-Waves

abstract: In the Navier-Stokes equations, a current is decomposed into four constituents: the mean flow, wave-orbital motion, wave-induced-turbulent and background-turbulent currents. Under certain statistical assumptions, this allows to separate the wave-induced Reynolds stress from the background one. To close the wave-induced Reynolds stress, the Prandtl approach for the wave-induced fluctuations is used, resulting in the implicit expression for the wave-induced vertical mixing function, B. Expression for B is specified, basing on the author results for the turbulent viscosity, found earlier in the frame of the three-layer concept for the air-sea interface. The explicit expression for function B is linear in both wave amplitude and friction velocity in the air. Due to exponential decay of wave amplitude, the found result means the possibility of the enhanced impact of waves on the vertical mixing and related geophysical processes, compared to the known cubic wave-amplitude dependence for B, found by Qiao et al previously.


title: A note on boundary differentiability of solutions of nondivergece elliptic equations with unbounded drift

abstract: Boundary differentiability is shown for solutions of nondivergence elliptic equations with unbounded drift


title: Near-linear time approximation schemes for Steiner tree and forest in low-dimensional spaces

abstract: We give an algorithm that computes a $(1+\epsilon)$-approximate Steiner forest in near-linear time $n \cdot 2^{(1/\epsilon)^{O(ddim^2)} (\log \log n)^2}$. This is a dramatic improvement upon the best previous result due to Chan et al., who gave a runtime of $n^{2^{O(ddim)}} \cdot 2^{(ddim/\epsilon)^{O(ddim)} \sqrt{\log n}}$. For Steiner tree our methods achieve an even better runtime $n (\log n)^{(1/\epsilon)^{O(ddim^2)}}$ in doubling spaces. For Euclidean space the runtime can be reduced to $2^{(1/\epsilon)^{O(d^2)}} n \log n$, improving upon the result of Arora in fixed dimension $d$.


title: Recovering Faces from Portraits with Auxiliary Facial Attributes

abstract: Recovering a photorealistic face from an artistic portrait is a challenging task since crucial facial details are often distorted or completely lost in artistic compositions. To handle this loss, we propose an Attribute-guided Face Recovery from Portraits (AFRP) that utilizes a Face Recovery Network (FRN) and a Discriminative Network (DN). FRN consists of an autoencoder with residual block-embedded skip-connections and incorporates facial attribute vectors into the feature maps of input portraits at the bottleneck of the autoencoder. DN has multiple convolutional and fully-connected layers, and its role is to enforce FRN to generate authentic face images with corresponding facial attributes dictated by the input attribute vectors. %Leveraging on the spatial transformer networks, FRN automatically compensates for misalignments of portraits. % and generates aligned face images. For the preservation of identities, we impose the recovered and ground-truth faces to share similar visual features. Specifically, DN determines whether the recovered image looks like a real face and checks if the facial attributes extracted from the recovered image are consistent with given attributes. %Our method can recover high-quality photorealistic faces from unaligned portraits while preserving the identity of the face images as well as it can reconstruct a photorealistic face image with a desired set of attributes. Our method can recover photorealistic identity-preserving faces with desired attributes from unseen stylized portraits, artistic paintings, and hand-drawn sketches. On large-scale synthesized and sketch datasets, we demonstrate that our face recovery method achieves state-of-the-art results.


title: Polarity and spin-orbit coupling induced large interfacial exchange coupling an asymmetric charge transfer in iridate-manganite heterostructure

abstract: Charge transfer is of particular importance in manipulating the interface physics in transition-metal oxide heterostructures. In this work, we have fabricated epitaxial bilayers composed of polar 3d LaMnO3 and nonpolar 5d SrIrO3. Systematic magnetic measurements reveal an unexpectedly large exchange bias effect in the bilayer, together with a dramatic enhancement of the coercivity of LaMnO3. Based on first-principles calculations and x-ray absorption spectroscopy measurements, such a strong interfacial magnetic coupling is found closely associated with the polar nature of LaMnO3 and the strong spin-orbit interaction in SrIrO3, which collectively drives an asymmetric interfacial charge transfer and leads to the emergence of an interfacial spin glass state. Our study provides new insight into the charge transfer in transition-metal oxide heterostructures and offers a novel means to tune the interfacial exchange coupling for a variety of device applications.


title: Delsarte's Extremal Problem and Packing on Locally Compact Abelian Groups

abstract: Let G be a locally compact Abelian group, and let X, Y be two open sets in G. We investigate the extremal constant C(X,Y) defined to be the supremum of integrals of functions f from the class F(X,Y), where F(X,Y) is the family of positive definite functions f on G such that f(0) = 1, the positive part of f is supported in X, and its negative part is supported in Y. In the case when X=Y, the problem is exactly the so-called Tur\'an problem for the set X. When Y= G, i.e., there is a restriction only on the set of positivity of f, we obtain the Delsarte problem. The Delsarte problem is the sharpest Fourier analytic tool to study packing density by translates of a given "master copy" set, which was studied first in connection with packing densities of Euclidean balls. We give an upper estimate of the constant C(X,Y) in the situation when the set X satisfies a certain packing type condition. This estimate is given in terms of the asymptotic uniform upper density of sets in locally compact Abelian groups.


title: Topology of Pareto sets of strongly convex problems

abstract: A multiobjective optimization problem is simplicial if the Pareto set and front are homeomorphic to a simplex and, under the homeomorphisms, each face of the simplex corresponds to the Pareto set and front of a subproblem. In this paper, we show that strongly convex problems are simplicial under a mild assumption on the ranks of the differentials of the objective mappings. We further prove that one can make any strongly convex problem satisfy the assumption by a generic linear perturbation, provided that the dimension of the source is sufficiently larger than that of the target. We demonstrate that the location problems, a biological modeling, and the ridge regression can be reduced to multiobjective strongly convex problems via appropriate transformations preserving the Pareto ordering and the topology.


title: A Facial Affect Analysis System for Autism Spectrum Disorder

abstract: In this paper, we introduce an end-to-end machine learning-based system for classifying autism spectrum disorder (ASD) using facial attributes such as expressions, action units, arousal, and valence. Our system classifies ASD using representations of different facial attributes from convolutional neural networks, which are trained on images in the wild. Our experimental results show that different facial attributes used in our system are statistically significant and improve sensitivity, specificity, and F1 score of ASD classification by a large margin. In particular, the addition of different facial attributes improves the performance of ASD classification by about 7% which achieves a F1 score of 76%.


title: VAE-based regularization for deep speaker embedding

abstract: Deep speaker embedding has achieved state-of-the-art performance in speaker recognition. A potential problem of these embedded vectors (called `x-vectors') are not Gaussian, causing performance degradation with the famous PLDA back-end scoring. In this paper, we propose a regularization approach based on Variational Auto-Encoder (VAE). This model transforms x-vectors to a latent space where mapped latent codes are more Gaussian, hence more suitable for PLDA scoring.


title: Improved three-dimensional color-gradient lattice Boltzmann model for immiscible multiphase flows

abstract: In this paper, an improved three-dimensional color-gradient lattice Boltzmann (LB) model is proposed for simulating immiscible multiphase flows. Compared with the previous three-dimensional color-gradient LB models, which suffer from the lack of Galilean invariance and considerable numerical errors in many cases owing to the error terms in the recovered macroscopic equations, the present model eliminates the error terms and therefore improves the numerical accuracy and enhances the Galilean invariance. To validate the proposed model, numerical simulation are performed. First, the test of a moving droplet in a uniform flow field is employed to verify the Galilean invariance of the improved model. Subsequently, numerical simulations are carried out for the layered two-phase flow and three-dimensional Rayleigh-Taylor instability. It is shown that, using the improved model, the numerical accuracy can be significantly improved in comparison with the color-gradient LB model without the improvements. Finally, the capability of the improved color-gradient LB model for simulating dynamic multiphase flows at a relatively large density ratio is demonstrated via the simulation of droplet impact on a solid surface.


title: On the Description of Transverse Wave Propagation Along Thin Magnetic Flux Tubes

abstract: Two approaches are used for description of linear transverse (kink) modes excited in a vertical thin magnetic flux tube. First one is based on the elastic thread model (Spruit, 1981). The second one follows from the the Taylor and Laurent series expansions of wave variables with respect to the tube radius inside and outside of the magnetic flux tube (Lopin and Nagorny, 2013). It has been shown that the main reason of the discrepancy of these approaches is related to the phenomenological equation of plasma motion used in the former case. This suggests that results obtained on the basis of this equation should be revised.


title: Teaching GANs to Sketch in Vector Format

abstract: Sketching is more fundamental to human cognition than speech. Deep Neural Networks (DNNs) have achieved the state-of-the-art in speech-related tasks but have not made significant development in generating stroke-based sketches a.k.a sketches in vector format. Though there are Variational Auto Encoders (VAEs) for generating sketches in vector format, there is no Generative Adversarial Network (GAN) architecture for the same. In this paper, we propose a standalone GAN architecture SkeGAN and a VAE-GAN architecture VASkeGAN, for sketch generation in vector format. SkeGAN is a stochastic policy in Reinforcement Learning (RL), capable of generating both multidimensional continuous and discrete outputs. VASkeGAN hybridizes a VAE and a GAN, in order to couple the efficient representation of data by VAE with the powerful generating capabilities of a GAN, to produce visually appealing sketches. We also propose a new metric called the Ske-score which quantifies the quality of vector sketches. We have validated that SkeGAN and VASkeGAN generate visually appealing sketches by using Human Turing Test and Ske-score.


title: Brute-forcing spin-glass problems with CUDA

abstract: We demonstrate how to compute the low energy spectrum for small ($N\le 50$), but otherwise arbitrary, spin-glass instances using modern Graphics Processing Units or similar heterogeneous architecture. Our algorithm performs an exhaustive (i.e., brute-force) search of all possible configurations to select $S\ll 2^N$ lowest ones together with their corresponding energies. We mainly focus on the Ising model defined on an arbitrary graph. An open-source implementation based on CUDA Fortran and a suitable Python wrapper are provided. As opposed to heuristic approaches, ours is exact and thus can serve as a references point to benchmark other algorithms and hardware, including quantum and digital annealers. Our implementation offers unprecedented speed and efficiency already visible on commodity hardware. At the same time, it can be easily launched on professional, high-end graphics cards virtually at no extra effort. As a practical application, we employ it to demonstrate that the recent Matrix Product State based algorithm-despite its one-dimensional nature-can still accurately approximate the low energy spectrum of fully connected graphs of size $N$ approaching $50$.


title: Homogenization of Norton-Hoff fibered composites with high contrast

abstract: We study the steady creep flow of a perfectly viscoplastic solid reinforced by fibers with high viscosity contrast. Our study unveils new effects related to anisotropy and conditioned by the Norton exponent.


title: Well-posedness theory for stochastically forced conservation laws on Riemannian manifolds

abstract: We investigate a class of scalar conservation laws on manifolds driven by multiplicative Gaussian (Ito) noise. The Cauchy problem defined on a Riemannian manifold is shown to be well-posed. We prove existence of generalized kinetic solutions using the vanishing viscosity method. A rigidity result is derived, which implies that generalized solutions are kinetic solutions and that kinetic solutions are uniquely determined by their initial data ($L^1$ contraction principle). Deprived of noise, the equations we consider coincide with those analyzed by Ben-Artzi and LeFloch (2007), who worked with Kruzkov-DiPerna solutions. In the Euclidian case, the stochastic equations agree with those examined by Debussche and Vovelle (2010).


title: Learning Metrics from Teachers: Compact Networks for Image Embedding

abstract: Metric learning networks are used to compute image embeddings, which are widely used in many applications such as image retrieval and face recognition. In this paper, we propose to use network distillation to efficiently compute image embeddings with small networks. Network distillation has been successfully applied to improve image classification, but has hardly been explored for metric learning. To do so, we propose two new loss functions that model the communication of a deep teacher network to a small student network. We evaluate our system in several datasets, including CUB-200-2011, Cars-196, Stanford Online Products and show that embeddings computed using small student networks perform significantly better than those computed using standard networks of similar size. Results on a very compact network (MobileNet-0.25), which can be used on mobile devices, show that the proposed method can greatly improve Recall@1 results from 27.5\% to 44.6\%. Furthermore, we investigate various aspects of distillation for embeddings, including hint and attention layers, semi-supervised learning and cross quality distillation. (Code is available at https://github.com/yulu0724/EmbeddingDistillation.)


title: Electric-induced reversal of morphogenesis in Hydra

abstract: Morphogenesis involves the dynamic interplay of biochemical, mechanical and electrical processes. Here we ask: to what extent can the course of morphogenesis be modulated and controlled by an external electric field? We show that above a critical amplitude, an external electric field can halt morphogenesis in Hydra regeneration. Moreover, above this critical amplitude, the electric field can even lead to reversal dynamics: a fully developed Hydra folds back into its incipient spheroid morphology. The potential to renew morphogenesis is re-exposed when the field is reduced back to amplitudes below criticality. These dynamics are accompanied by modulations of the Wnt3 activity, a central component of the head organizer in Hydra. Reversal of morphogenesis is shown to be triggered by enhanced epithelial electrical excitations, accompanied by intensified calcium activity, indicating that electrical processes play an instructive role to a level that can direct developmental trajectories. Reversal of morphogenesis by external fields, calls for extending its framework beyond programmatic, forward-driven, hierarchical processes.


title: On The Power of Curriculum Learning in Training Deep Networks

abstract: Training neural networks is traditionally done by providing a sequence of random mini-batches sampled uniformly from the entire training data. In this work, we analyze the effect of curriculum learning, which involves the non-uniform sampling of mini-batches, on the training of deep networks, and specifically CNNs trained for image recognition. To employ curriculum learning, the training algorithm must resolve 2 problems: (i) sort the training examples by difficulty; (ii) compute a series of mini-batches that exhibit an increasing level of difficulty. We address challenge (i) using two methods: transfer learning from some competitive ``teacher" network, and bootstrapping. In our empirical evaluation, both methods show similar benefits in terms of increased learning speed and improved final performance on test data. We address challenge (ii) by investigating different pacing functions to guide the sampling. The empirical investigation includes a variety of network architectures, using images from CIFAR-10, CIFAR-100 and subsets of ImageNet. We conclude with a novel theoretical analysis of curriculum learning, where we show how it effectively modifies the optimization landscape. We then define the concept of an ideal curriculum, and show that under mild conditions it does not change the corresponding global minimum of the optimization function.


title: Non-Markovian noise that cannot be dynamically decoupled by periodic spin echo pulses

abstract: Dynamical decoupling is the leading technique to remove unwanted interactions in a vast range of quantum systems through fast rotations. But what determines the time-scale of such rotations in order to achieve good decoupling? By providing an explicit counterexample of a qubit coupled to a charged particle and magnetic monopole, we show that such time-scales cannot be decided by the decay profile induced by the noise: even though the system shows a quadratic decay (a Zeno region revealing non-Markovian noise), it cannot be decoupled by periodic spin echo pulses, no matter how fast the rotations.


title: Variability in high-mass X-ray binaries

abstract: Strongly magnetized, accreting neutron stars show periodic and aperiodic variability over a wide range of time scales. By obtaining spectral and timing information on these different time scales, we can have a closer look into the physics of accretion close to the neutron star and the properties of the accreted material. One of the most prominent time scales is the strong pulsation, i.e., the rotation period of the neutron star itself. Over one rotation, our view of the accretion column and the X-ray producing region changes significantly. This allows us to sample different physical conditions within the column but at the same time requires that we have viewing-angle-resolved models to properly describe them. In wind-fed high-mass X-ray binaries, the main source of aperiodic variability is the clumpy stellar wind, which leads to changes in the accretion rate (i.e., luminosity) as well as absorption column. This variability allows us to study the behavior of the accretion column as a function of luminosity, as well as to investigate the structure and physical properties of the wind, which we can compare to winds in isolated stars.


title: Adaptive NMS: Refining Pedestrian Detection in a Crowd

abstract: Pedestrian detection in a crowd is a very challenging issue. This paper addresses this problem by a novel Non-Maximum Suppression (NMS) algorithm to better refine the bounding boxes given by detectors. The contributions are threefold: (1) we propose adaptive-NMS, which applies a dynamic suppression threshold to an instance, according to the target density; (2) we design an efficient subnetwork to learn density scores, which can be conveniently embedded into both the single-stage and two-stage detectors; and (3) we achieve state of the art results on the CityPersons and CrowdHuman benchmarks.


title: How crystals form: A theory of nucleation pathways

abstract: Recent advances in classical density functional theory are combined with stochastic process theory and rare event techniques to formulate a theoretical description of nucleation, including crystallization, that can predict nonclassical nucleation pathways based on no input other than the interaction potential of the particles making up the system. The theory is formulated directly in terms of the density field, thus forgoing the need to define collective variables. It is illustrated by application to diffusion-limited nucleation of macromolecules in solution for both liquid-liquid separation and crystallization. Both involve nonclassical pathways with crystallization, in particular, proceeding by a two-step mechanism consisting of the formation of a dense-solution droplet followed by ordering originating at the core of the droplet. Furthermore, during the ordering, the free-energy surface shows shallow minima associated with the freezing of liquid into solid shells, which may shed light on the widely observed metastability of nanoscale clusters.


title: Controlling Quantum Transport via Dissipation Engineering

abstract: Inspired by the microscopic control over dissipative processes in quantum optics and cold atoms, we develop an open-system framework to study dissipative control of transport in strongly interacting fermionic systems, relevant for both solid state and cold atom experiments. We show how subgap currents exhibiting Multiple Andreev Reflections -- the stimulated transport of electrons in the presence of Cooper-pairs -- can be controlled via engineering of superconducting leads or superfluid atomic gases. Our approach incorporates dissipation within the channel, which is naturally occurring and can be engineered in cold gas experiments. This opens opportunities for engineering many phenomena with transport in strongly interacting systems. As examples, we consider particle loss and dephasing, and note different behaviour for currents with different microscopic origin. We also show how to induce nonreciprocal electron and Cooper-pair currents.


title: Learning to Learn Relation for Important People Detection in Still Images

abstract: Humans can easily recognize the importance of people in social event images, and they always focus on the most important individuals. However, learning to learn the relation between people in an image, and inferring the most important person based on this relation, remains undeveloped. In this work, we propose a deep imPOrtance relatIon NeTwork (POINT) that combines both relation modeling and feature learning. In particular, we infer two types of interaction modules: the person-person interaction module that learns the interaction between people and the event-person interaction module that learns to describe how a person is involved in the event occurring in an image. We then estimate the importance relations among people from both interactions and encode the relation feature from the importance relations. In this way, POINT automatically learns several types of relation features in parallel, and we aggregate these relation features and the person's feature to form the importance feature for important people classification. Extensive experimental results show that our method is effective for important people detection and verify the efficacy of learning to learn relations for important people detection.


title: Improving Hyperconnected Logistics with Blockchains and Smart Contracts

abstract: The Physical Internet and hyperconnected logistics concepts promise an open, more efficient and environmentally friendly supply chain for goods. Blockchain and Internet of Things technologies are increasingly regarded as main enablers of improvements in this domain. We describe how blockchain and smart contracts present the potential of being applied to hyperconnected logistics by showing a concrete example of its implementation.


title: Precise prediction for the W boson mass in the MRSSM

abstract: The mass of the W boson, $M_W$, plays a central role for high-precision tests of the electroweak theory. Confronting precise theoretical predictions with the accurately measured experimental value provides a high sensitivity to quantum effects of the theory entering via loop contributions. The currently most accurate prediction for the W boson mass in the Minimal R-symmetric Supersymmetric Standard Model (MRSSM) is presented. Employing the on-shell scheme, it combines all numerically relevant contributions that are known in the Standard Model (SM) in a consistent way with all MRSSM one-loop corrections. Special care is taken in the treatment of the triplet scalar vacuum expectation value $v_T$ that enters the prediction for $M_W$ already at lowest order. In the numerical analysis the decoupling properties of the supersymmetric loop contributions and the comparison with the MSSM are investigated. Potentially large numerical effects of the MRSSM-specific $\Lambda$ superpotential couplings are highlighted. The comparison with existing results in the literature is discussed.


title: On the Rost divisibility of henselian discrete valuation fields of cohomological dimension 3

abstract: Let $F$ be a field, $\ell$ a prime and $D$ a central division $F$-algebra of $\ell$-power degree. By the Rost kernel of $D$ we mean the subgroup of $F^*$ consisting of elements $\lambda$ such that the cohomology class $(D)\cup (\lambda)\in H^3(F,\,\mathbb{Q}_{\ell}/\mathbb{Z}_{\ell}(2))$ vanishes. In 1985, Suslin conjectured that the Rost kernel is generated by $i$-th powers of reduced norms from $D^{\otimes i},\,\forall i\ge 1$. Despite of known counterexamples, we prove some new cases of Suslin's conjecture. We assume $F$ is a henselian discrete valuation field with residue field $k$ of characteristic different from $\ell$. When $D$ has period $\ell$, we show that Suslin's conjecture holds if either $k$ is a $2$-local field or the cohomological $\ell$-dimension $\mathrm{cd}_{\ell}(k)$ of $k$ is $\le 2$. When the period is arbitrary, we prove the same result when $k$ itself is a henselian discrete valuation field with $\mathrm{cd}_{\ell}(k)\le 2$. In the case $\ell=\text{char}(k)$ an analog is obtained for tamely ramified algebras. We conjecture that Suslin's conjecture holds for all fields of cohomological dimension 3.


title: Semi-Countable Sets and their Application to Search Problems

abstract: We present the concept of the \emph{information efficiency of functions} as a technique to understand the interaction between information and computation. Based on these results we identify a new class of objects that we call \emph{Semi-Countable Sets}. As the name suggests these sets form a separate class of objects between countable and uncountable sets. In principle these objects are countable, but the information in the descriptions of the elements of the class grows faster than the information in the natural numbers that index them. Any characterization of the class in terms of natural numbers is fundamentally incomplete. Semi-countable sets define one-to-one injections into the set of natural numbers that can be computed in exponential time, but not in polynomial time. A characteristic semi-countable object is $\phi_{\Sigma}$ the set of all additions for all finite sets of natural numbers. The class $\phi_{\Sigma}$ codes the Subset Sum problem. This gives a natural and transparant analysis of the separation between the classes $P$ and $NP$.


title: Countable ordinals and big Ramsey degrees

abstract: In this paper we consider big Ramsey degrees of finite chains in countable ordinals. We prove that a countable ordinal has finite big Ramsey degrees if and only if it is smaller than $\omega^\omega$. Big Ramsey degrees of finite chains in all other countable ordinals are infinite.


abstract: We give a complete enumeration of all 2-neighborly 0/1-polytopes of dimension 7. There are 13 959 358 918 different 0/1-equivalence classes of such polytopes. They form 5 850 402 014 combinatorial classes and 1 274 089 different f-vectors. It enables us to list some of their combinatorial properties. In particular, we have found a 2-neighborly polytope with 14 vertices and 16 facets.


title: Real-Time Quality Assessment of Pediatric MRI via Semi-Supervised Deep Nonlocal Residual Neural Networks

abstract: In this paper, we introduce an image quality assessment (IQA) method for pediatric T1- and T2-weighted MR images. IQA is first performed slice-wise using a nonlocal residual neural network (NR-Net) and then volume-wise by agglomerating the slice QA results using random forest. Our method requires only a small amount of quality-annotated images for training and is designed to be robust to annotation noise that might occur due to rater errors and the inevitable mix of good and bad slices in an image volume. Using a small set of quality-assessed images, we pre-train NR-Net to annotate each image slice with an initial quality rating (i.e., pass, questionable, fail), which we then refine by semi-supervised learning and iterative self-training. Experimental results demonstrate that our method, trained using only samples of modest size, exhibit great generalizability, capable of real-time (milliseconds per volume) large-scale IQA with near-perfect accuracy.


title: Pulse-shape discrimination potential of new scintillator material: La-GPS:Ce

abstract: (Gd,La)$_2$Si$_2$O$_7$:Ce (La-GPS:Ce) is a new scintillator material with high light output, high energy resolution, and fast decay time. Moreover, the scintillator has a good light output even at high temperature (up to 150$^\circ$C) and is non-hygroscopic in nature; thus, it is especially suitable for underground resource exploration. Particle identification greatly expands the possible applications of scintillator. For resource exploration, the particle identification should be completed in a single pulse only. The pulse-shape discrimination of the scintillator was confirmed. We compared two methods; a double gate method and a digital filter method. Using digital filter method (shape indicator), F-measure to evaluate a separation between $\alpha$ and $\gamma$ particles was obtained to be 0.92 at 0.66 MeVee.


title: Prescribing tangent hyperplanes to $C^{1,1}$ and $C^{1,\omega}$ convex hypersurfaces in Hilbert and superreflexive Banach spaces

abstract: Let $X$ denote $\mathbb{R}^n$ or, more generally, a Hilbert space. Given an arbitrary subset $C$ of $X$ and a collection $\mathcal{H}$ of affine hyperplanes of $X$ such that every $H\in\mathcal{H}$ passes through some point $x_{H}\in C$, and $C=\{x_H : H\in\mathcal{H}\}$, what conditions are necessary and sufficient for the existence of a $C^{1,1}$ convex hypersurface $S$ in $X$ such that $H$ is tangent to $S$ at $x_H$ for every $H\in\mathcal{H}$? In this paper we give an answer to this question. We also provide solutions to similar problems for convex hypersurfaces of class $C^{1, \omega}$ in Hilbert spaces, and for convex hypersurfaces of class $C^{1, \alpha}$ in superreflexive Banach spaces having equivalent norms with moduli of smoothness of power type $1+\alpha$, $\alpha\in (0, 1].$


title: Kantorovich problems and conditional measures depending on a parameter

abstract: We study measurable dependence of measures on a parameter in the following two classical problems: constructing conditional measures and the Kantorovich optimal transportation. We obtain broad sufficient conditions for the existence of conditional probabilities measurably depending on a parameter in the case of parametric families of measures and mappings. A~particular emphasis is made on the Borel measurability (which cannot be always achieved). Our second main result gives sufficient conditions for the Borel measurability of optimal transports and transportation costs with respect to a parameter in the case where marginal measures and cost functions depend on a parameter. As a corollary we obtain the Borel measurability with respect to the parameter for conditional measures of optimal plans. Finally, we show that the Skorohod parametrization of measures by mappings can be also made measurable with respect to a parameter.


title: Ensemble Patch Transformation: A New Tool for Signal Decomposition

abstract: This paper considers the problem of signal decomposition and data visualization. For this purpose, we introduce a new multiscale transform, termed `ensemble patch transformation' that enhances identification of local characteristics embedded in a signal and provides multiscale visualization according to different levels; hence, it is useful for data analysis and signal decomposition. In literature, there are data-adaptive decomposition methods such as empirical mode decomposition (EMD) by Huang et al. (1998). Along the same line of EMD, we propose a new decomposition algorithm that extracts meaningful components from a signal that belongs to a large class of signals, compared to the previous methods. Some theoretical properties of the proposed algorithm are investigated. To evaluate the proposed method, we analyze several synthetic examples and a real-world signal.


title: Restoration of long range order of Na ions in $Na_xCoO_2$ at high temperatures by sodium site doping

abstract: We have systematically investigated the $Na_xCoO_2$ system doped with Cu, Y, Sn, W, Au and Bi for $x$ = 0:5; 0:75 and 1.00 using density functional theory. Sn, W, and Bi always substitute a Co while Au always substitutes a Na regardless of Na concentration. However, for Cu and Y, the substitution site depends on Na concentration. When compared to the available experimental data, we find that thermoelectric performance is enhanced when the dopants substitute a Na site. In this case, surprisingly, resistivity decreases despite the reduced hole concentration caused by carrier recombination. We propose improved carrier mobility to be the cause of observed reduced resistivity.


title: On the Saito's basis and the Tjurina Number for Plane Branches

abstract: We introduce the concept of good Saito's basis for a plane curve $S$ and we explore it to obtain a formula for the minimal Tjurina number in a topological class. In particular, we present a positive answer for a question of Dimca and Greuel relating the Tjurina number and the Milnor number for a singular irreducible plane curve.


title: Policy Gradient Search: Online Planning and Expert Iteration without Search Trees

abstract: Monte Carlo Tree Search (MCTS) algorithms perform simulation-based search to improve policies online. During search, the simulation policy is adapted to explore the most promising lines of play. MCTS has been used by state-of-the-art programs for many problems, however a disadvantage to MCTS is that it estimates the values of states with Monte Carlo averages, stored in a search tree; this does not scale to games with very high branching factors. We propose an alternative simulation-based search method, Policy Gradient Search (PGS), which adapts a neural network simulation policy online via policy gradient updates, avoiding the need for a search tree. In Hex, PGS achieves comparable performance to MCTS, and an agent trained using Expert Iteration with PGS was able defeat MoHex 2.0, the strongest open-source Hex agent, in 9x9 Hex.


title: Bayesian Estimation of Mixed Multinomial Logit Models: Advances and Simulation-Based Evaluations

abstract: Variational Bayes (VB) methods have emerged as a fast and computationally-efficient alternative to Markov chain Monte Carlo (MCMC) methods for scalable Bayesian estimation of mixed multinomial logit (MMNL) models. It has been established that VB is substantially faster than MCMC at practically no compromises in predictive accuracy. In this paper, we address two critical gaps concerning the usage and understanding of VB for MMNL. First, extant VB methods are limited to utility specifications involving only individual-specific taste parameters. Second, the finite-sample properties of VB estimators and the relative performance of VB, MCMC and maximum simulated likelihood estimation (MSLE) are not known. To address the former, this study extends several VB methods for MMNL to admit utility specifications including both fixed and random utility parameters. To address the latter, we conduct an extensive simulation-based evaluation to benchmark the extended VB methods against MCMC and MSLE in terms of estimation times, parameter recovery and predictive accuracy. The results suggest that all VB variants with the exception of the ones relying on an alternative variational lower bound constructed with the help of the modified Jensen's inequality perform as well as MCMC and MSLE at prediction and parameter recovery. In particular, VB with nonconjugate variational message passing and the delta-method (VB-NCVMP-Delta) is up to 16 times faster than MCMC and MSLE. Thus, VB-NCVMP-Delta can be an attractive alternative to MCMC and MSLE for fast, scalable and accurate estimation of MMNL models.


title: Exact Green's formula for the fractional Laplacian and perturbations

abstract: Let $\Omega $ be an open, smooth, bounded subset of $ \Bbb R ^n$. In connection with the fractional Laplacian $(-\Delta )^a$ ($a>0$), and more generally for a $2a$-order classical pseudodifferential operator ($\psi $do) $P$ with even symbol, one can define the Dirichlet value $\gamma _0^{a-1}u$ resp. Neumann value $\gamma _1^{a-1}u$ of $u(x)$ as the trace resp. normal derivative of $u/d^{a-1}$ on $\partial\Omega $, where $d(x)$ is the distance from $x\in\Omega $ to $\partial\Omega $; they define well-posed boundary value problems for $P$. A Green's formula was shown in a preceding paper, containing a generally nonlocal term $(B\gamma _0^{a-1}u,\gamma _0^{a-1}v)_{\partial\Omega }$, where $B$ is a first-order $\psi $do on $\partial\Omega $. Presently, we determine $B$ from $L$ in the case $P=L^a$, where $L$ is a strongly elliptic second-order differential operator. A particular result is that $B=0$ when $L=-\Delta $, and that $B$ is multiplication by a function (is local) when $L$ equals $-\Delta $ plus a first-order term. In cases of more general $L$, $B$ can be nonlocal.


title: Cause Mining and Controller Synthesis with STL

abstract: Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the formal approaches can be applied to is limited due to the computational complexity. Furthermore, the synthesis problem becomes even harder when non-determinism or stochasticity is considered. In this work, we propose an alternative approach. First, we mark the unwanted events on the traces of the system and generate a controllable cause representing these events as a Signal Temporal Logic (STL) formula. Then, we synthesize a controller based on this formula to avoid the satisfaction of it. Our approach is applicable to any system with finitely many control choices. While we can not guarantee correctness, i.e., the unwanted events will never occur, we show on an example that the proposed approach reduces the number of the unwanted events. In particular, we validate it for the congestion avoidance problem in a traffic network.


title: Geodesic neighborhoods in unitary orbits of self-adjoint operators of K+C

abstract: We study the unitary orbit of a compact Hermitian diagonal operator with spectral multiplicity one under the action of the unitary group U_(K+C) of the unitization of the compact operators K(H)+C, or equivalently, the quotient U_(K+C)/ U_Diag(K+C). We relate this and the action of different unitary subgroups to describe metric geodesics (using a natural distance) which join end points. As a consequence we obtain a local Hopf-Rinow theorem. We also explore cases about the uniqueness of short curves and prove that there exist some of these that cannot be parameterized using minimal anti-Hermitian operators of K(H)+C.


title: SEQ^3: Differentiable Sequence-to-Sequence-to-Sequence Autoencoder for Unsupervised Abstractive Sentence Compression

abstract: Neural sequence-to-sequence models are currently the dominant approach in several natural language processing tasks, but require large parallel corpora. We present a sequence-to-sequence-to-sequence autoencoder (SEQ^3), consisting of two chained encoder-decoder pairs, with words used as a sequence of discrete latent variables. We apply the proposed model to unsupervised abstractive sentence compression, where the first and last sequences are the input and reconstructed sentences, respectively, while the middle sequence is the compressed sentence. Constraining the length of the latent word sequences forces the model to distill important information from the input. A pretrained language model, acting as a prior over the latent sequences, encourages the compressed sentences to be human-readable. Continuous relaxations enable us to sample from categorical distributions, allowing gradient-based optimization, unlike alternatives that rely on reinforcement learning. The proposed model does not require parallel text-summary pairs, achieving promising results in unsupervised sentence compression on benchmark datasets.


title: Outstanding Bit Error Tolerance of Resistive RAM-Based Binarized Neural Networks

abstract: Resistive random access memories (RRAM) are novel nonvolatile memory technologies, which can be embedded at the core of CMOS, and which could be ideal for the in-memory implementation of deep neural networks. A particularly exciting vision is using them for implementing Binarized Neural Networks (BNNs), a class of deep neural networks with a highly reduced memory footprint. The challenge of resistive memory, however, is that they are prone to device variation, which can lead to bit errors. In this work we show that BNNs can tolerate these bit errors to an outstanding level, through simulations of networks on the MNIST and CIFAR10 tasks. If a standard BNN is used, up to 10^-4 bit error rate can be tolerated with little impact on recognition performance on both MNIST and CIFAR10. We then show that by adapting the training procedure to the fact that the BNN will be operated on error-prone hardware, this tolerance can be extended to a bit error rate of 4x10^-2. The requirements for RRAM are therefore a lot less stringent for BNNs than more traditional applications. We show, based on experimental measurements on a RRAM HfO2 technology, that this result can allow reduce RRAM programming energy by a factor 30.


title: Conformational catalysis of cataract-associated aggregation by interacting intermediates in a human eye lens crystallin

abstract: Most known proteins in nature consist of multiple domains. Interactions between domains may lead to unexpected folding and misfolding phenomena. This study of human {\gamma}D-crystallin, a two-domain protein in the eye lens, revealed one such surprise: conformational catalysis of misfolding via intermolecular domain interface ''stealing''. An intermolecular interface between the more stable domains outcompetes the native intramolecular domain interface. Loss of the native interface in turn promotes misfolding and subsequent aggregation, especially in cataract-related {\gamma}D-crystallin variants. This phenomenon is likely a contributing factor in the development of cataract disease, the leading worldwide cause of blindness. However, interface stealing likely occurs in many proteins composed of two or more interacting domains.


title: Optimal control of batch processes via a deterministic Q-learning method

abstract: Dynamic optimization of nonlinear chemical systems -- such as batch reactors -- should be applied online, and the suitable control taken should be according to the current state of the system rather than the current time instant. The recent state of the art methods applies the control based on the current time instant only. This is not suitable for most cases, as it is not robust to possible changes in the system. This paper proposes a Deterministic Q-Learning method to conduct robust online optimization of batch reactors. In this paper, the Q-Learning method is applied on simple batch reactor models; and in order to show the effectiveness of the proposed method the results are compared to other dynamic optimization methods. The main advantage of the Q-learning method or the proposed method is that it can accommodate unplanned changes during the process via changing the control action; i.e. the main advantage of the proposed method that it can overcome sudden changes during the reaction. In general, we try to maximize the final product obtained or meet certain specifications of the products (e.g. minimize side products).


title: The monotonicity method for the inverse crack scattering problem

abstract: The monotonicity method for the inverse acoustic scattering problem is to understand the inclusion relation between an unknown object and artificial one by comparing the far field operator with artificial operator. This paper introduces the development of this method to the inverse crack scattering problem. Our aim is to give the following two indicators: One (Theorem 1.1) is to determine whether an artificial small arc is contained in the unknown arc. The other one (Theorem 1.2) is whether an artificial large domain contain the unknown one. Finally, numerical examples based on Theorem 1.1 are given.


title: Ride N' Rhythm, Bike as an Embodied Musical Instrument to Improve Music Perception for Young Children

abstract: Music plays a crucial role in young children's development. Current research lacks the design of an interactive system for younger children that could generate dynamic music change in response to the children's body movement. In this paper, we present the design of bike as an embodied musical instrument for young children 2-5 years old to improve their music perception skills. In the Ride N' Rhythm prototype, the rider's body position maps to the music volume; and the speed of the bike maps to the tempo. The design of the prototype incorporates the Embodied Music Cognition theory and Dalcroze Eurhythmics pedagogy, and aims to internalize the 'intuitive' knowing and musical understanding via the combination of music and body movement.


title: Beamforming Design for Large-Scale Antenna Arrays Using Deep Learning

abstract: Beamforming (BF) design for large-scale antenna arrays with limited radio frequency chains and the phase-shifter-based analog BF architecture, has been recognized as a key issue in millimeter wave communication systems. It becomes more challenging with imperfect channel state information (CSI). In this letter, we propose a deep learning based BF design approach and develop a BF neural network (BFNN) which can be trained to learn how to optimize the beamformer for maximizing the spectral efficiency with hardware limitation and imperfect CSI. Simulation results show that the proposed BFNN achieves significant performance improvement and strong robustness to imperfect CSI over the conventional BF algorithms.


title: Superconductivity, pair density wave, and Neel order in cuprates

abstract: We investigate in underdoped cuprates possible coexistence of the superconducting (SC) order at zero momentum and pair density wave (PDW) at momentum ${\bf Q}=(\pi, \pi)$ in the presence of a Neel order. By symmetry, the $d$-wave uniform singlet pairing $dS_0$ can coexist with the $d$-wave triplet PDW $dT_{\bf Q}$, and the $p$-wave singlet PDW $pS_{\bf Q}$ can coexist with the $p$-wave uniform triplet $pT_0$. At half filling, we find the novel $pS_{\bf Q}+pT_0$ state is energetically more favorable than the $dS_0+dT_{\bf Q}$ state. At finite doping, however, the $dS_0+dT_{\bf Q}$ state is more favorable. In both types of states, the variational triplet parameters, $dT_{\bf Q}$ and $pT_0$, are of secondary significance. Our results point to a fully symmetric $\mathrm{Z_2}$ quantum spin liquid with spinon Fermi surface in proximity to the Neel order at zero doping, and to intertwined $d$-wave triplet PDW fluctuations and spin moment fluctuations along with the dominant $d$-wave singlet SC at finite doping. The results are obtained by variational quantum Monte Carlo simulations.


title: Wire-grid polarizer sheet in the terahertz region fabricated by nanoimprint technology

abstract: Wire-grid polarizer sheets in the terahertz region have been fabricated on flexible substrates by nanoimprint technology. They show ideal polarization property in the terahertz frequency region whereas the cost is very low. Since the wire pitch is far smaller than the wavelength, the effective medium theory agrees well with experimental results. The effective medium theory shows possibility of further improvement of polarization properties by selecting appropriate materials for wire grids.


title: Fermion parity gap and exponential ground state degeneracy of the one-dimensional Fermi gas with intrinsic attractive interaction

abstract: We examine the properties of a one-dimensional (1D) Fermi gas with attractive intrinsic (Hubbard) interactions in the presence of spin-orbit coupling and Zeeman field by numerically computing the pair binding energy, excitation gap, and susceptibility to local perturbations using the density matrix renormalization group. Such a system can, in principle, be realized in a system of ultracold atoms confined in a 1D optical lattice. We note that, in the presence of spatial interfaces introduced by a smooth parabolic potential, the pair binding and excitation energy of the system decays exponentially with the system size, pointing to the existence of an exponential ground state degeneracy, and is consistent with recent works. However, the susceptibility of the ground state degeneracy of this number-conserving system to local impurities indicates that the energy gap vanishes as a power law with the system size in the presence of local perturbations. We compare this system with the more familiar system of an Ising antiferromagnet in the presence of a transverse field realized with Rydberg atoms and argue that the exponential splitting in the clean number-conserving 1D Fermi system is similar to a phase with only conventional order.


title: Bhasvati of Satananda: In the Pages of Mystery

abstract: Satanandacharya the astronomer and mathematician of 11th century was born in 1068 C.E. at Purusottamdham Puri of Odisha wrote the scripture Bhasvati in 1099 C.E.. The scripture has significant contribution to world of Astronomy and Mathematics. Satananda has adopted centisimal system for the calculation of position and motion of heavenly bodies, which is similar to present day decimal system. The treaties got the recognition of a scripture of Karana grantha. Commentaries of this work has been made by defferent persons during different time of history. Though it is found to be remade in almost once in each century and was well known all over India and abroad. Presently it is completely lost and no reference is available in ongoing works. The main aim of this paper is to outline and bring to the notice of a wider audience -- the genius of Satananda and his contribution to the world of astronomy and Mathematics.


title: Canonical systems with discrete spectrum

abstract: We study spectral properties of two-dimensional canonical systems $y'(t)=zJH(t)y(t)$, $t\in[a,b)$, where the Hamiltonian $H$ is locally integrable on $[a,b)$, positive semidefinite, and Weyl's limit point case takes place at $b$. We answer the following questions explicitly in terms of $H$: Is the spectrum of the associated selfadjoint operator discrete ? If it is discrete, what is its asymptotic distribution ? Here asymptotic distribution means summability and limit superior conditions relative to comparison functions growing sufficiently fast. Making an analogy with complex analysis, this corresponds to convergence class and type w.r.t.\ proximate orders having order larger than $1$. It is a surprising fact that these properties depend only on the diagonal entries of $H$. In 1968 L.de~Branges posed the following question as a fundamental problem: Which Hamiltonians are the structure Hamiltonian of some\\ de~Branges space ? We give a complete and explicit answer.


title: Relationship among several types of sensitivity in general semi-flows

abstract: In this paper, we show that there exists a monoid, on which neither the syndetic property nor the dual syndetic property holds, and there exists a strongly mixing semi-flow with this monoid action which does not have thick sensitivity, syndetic sensitivity, thickly syndetic sensitivity, or thickly periodical sensitivity. Meanwhile, we show that there exists a thickly sensitive cascade which is not multi-sensitive. The first result answers positively Question 2, and the first and the second results answer negatively Question 3 in [A. Miller, A note about various types of sensitivity in general semiflows, Appl. Gen. Topol., 2018].


title: Annealed Ising model on configuration models

abstract: In this paper, we study the annealed ferromagnetic Ising model on the configuration model. In an annealed system, we take the average on both sides of the ratio {defining the Boltzmann-Gibbs measure of the Ising model}. In the configuration model, the degrees are specified. Remarkably, when the degrees are deterministic, the critical value of the annealed Ising model is the same as that for the quenched Ising model. For independent and identically distributed (i.i.d.) degrees, instead, the annealed critical value is strictly smaller than that of the quenched Ising model. This identifies the degree structure of the underlying graph as the main driver for the critical value. Furthermore, in both contexts (deterministic or random degrees), we provide the variational expression for the annealed pressure. Interestingly, our rigorous results establish that only part of the heuristic conjectures in the physics literature were correct.


title: Learning to Control Highly Accelerated Ballistic Movements on Muscular Robots

abstract: High-speed and high-acceleration movements are inherently hard to control. Applying learning to the control of such motions on anthropomorphic robot arms can improve the accuracy of the control but might damage the system. The inherent exploration of learning approaches can lead to instabilities and the robot reaching joint limits at high speeds. Having hardware that enables safe exploration of high-speed and high-acceleration movements is therefore desirable. To address this issue, we propose to use robots actuated by Pneumatic Artificial Muscles (PAMs). In this paper, we present a four degrees of freedom (DoFs) robot arm that reaches high joint angle accelerations of up to 28000 deg/s^2 while avoiding dangerous joint limits thanks to the antagonistic actuation and limits on the air pressure ranges. With this robot arm, we are able to tune control parameters using Bayesian optimization directly on the hardware without additional safety considerations. The achieved tracking performance on a fast trajectory exceeds previous results on comparable PAM-driven robots. We also show that our system can be controlled well on slow trajectories with PID controllers due to careful construction considerations such as minimal bending of cables, lightweight kinematics and minimal contact between PAMs and PAMs with the links. Finally, we propose a novel technique to control the the co-contraction of antagonistic muscle pairs. Experimental results illustrate that choosing the optimal co-contraction level is vital to reach better tracking performance. Through the use of PAM-driven robots and learning, we do a small step towards the future development of robots capable of more human-like motions.


title: Quantum Confinement Effects for Semiconductor Clusters in the Molecular Regime

abstract: Based on the observed absorption spectral band shifts, the growth process of the semiconductor clusters was divided into two phenomenological regimes: The "molecular regime" that is associated with the band blue shift as the size of cluster increases and the "crystallite regime" that is associated with the band red shift as the size of cluster increases. We show that in the molecular regime, the band blue shift associated with cluster growth can be understood by a model that assume electrons are confined to a spherical potential well and the clusters are made of some basic units. A formula is given for the lowest excited electronic state energy. This expression contains an electron-hole-pair (EHP) delocalization constant as an adjustable parameter which, however, can be anchored to a definite value through the known transition energy at the spectra turn-around point. The stability of clusters is characterized by a function that can be calculated by the eigenvalues of the Hamiltonian of the model.


title: Passage time of the frog model has a sublinear variance

abstract: In this paper, we show that the first passage time in the frog model on $\Z^d$ with $d\geq 2$ has a sublinear variance. This implies that the central limit theorem does not holds at least with the standard diffusive scaling. The proof is based on the method introduced in \cite{BRo, DHS} combining with a control of the maximal weight of paths in locally dependent site-percolation. We also apply this method to get the linearity of the lengths of optimal paths..


title: Robust Building-based Registration of Airborne LiDAR Data and Optical Imagery on Urban Scenes

abstract: The motivation of this paper is to address the problem of registering airborne LiDAR data and optical aerial or satellite imagery acquired from different platforms, at different times, with different points of view and levels of detail. In this paper, we present a robust registration method based on building regions, which are extracted from optical images using mean shift segmentation, and from LiDAR data using a 3D point cloud filtering process. The matching of the extracted building segments is then carried out using Graph Transformation Matching (GTM) which allows to determine a common pattern of relative positions of segment centers. Thanks to this registration, the relative shifts between the data sets are significantly reduced, which enables a subsequent fine registration and a resulting high-quality data fusion.


abstract: This work presents a data-driven approach to the identification of spatial and temporal truncation errors for linear and nonlinear discretization schemes of Partial Differential Equations (PDEs). Motivated by the central role of truncation errors, for example in the creation of implicit Large Eddy schemes, we introduce the Sparse Identification of Truncation Errors (SITE) framework to automatically identify the terms of the modified differential equation from simulation data. We build on recent advances in the field of data-driven discovery and control of complex systems and combine it with classical work on modified differential equation analysis of Warming, Hyett, Lerat and Peyret. We augment a sparse regression-rooted approach with appropriate preconditioning routines to aid in the identification of the individual modified differential equation terms. The construction of such a custom algorithm pipeline allows attenuating of multicollinearity effects as well as automatic tuning of the sparse regression hyperparameters using the Bayesian information criterion (BIC). As proof of concept, we constrain the analysis to finite difference schemes and leave other numerical schemes open for future inquiry. Test cases include the linear advection equation with a forward-time, backward-space discretization, the Burgers' equation with a MacCormack predictor-corrector scheme and the Korteweg-de Vries equation with a Zabusky and Kruska discretization scheme. Based on variation studies, we derive guidelines for the selection of discretization parameters, preconditioning approaches and sparse regression algorithms. The results showcase highly accurate predictions underlining the promise of SITE for the analysis and optimization of discretization schemes, where analytic derivation of modified differential equations is infeasible.


title: Speech Model Pre-training for End-to-End Spoken Language Understanding

abstract: Whereas conventional spoken language understanding (SLU) systems map speech to text, and then text to intent, end-to-end SLU systems map speech directly to intent through a single trainable model. Achieving high accuracy with these end-to-end models without a large amount of training data is difficult. We propose a method to reduce the data requirements of end-to-end SLU in which the model is first pre-trained to predict words and phonemes, thus learning good features for SLU. We introduce a new SLU dataset, Fluent Speech Commands, and show that our method improves performance both when the full dataset is used for training and when only a small subset is used. We also describe preliminary experiments to gauge the model's ability to generalize to new phrases not heard during training.


title: The categorical equivalence between disjunctive sequent calculi and algebraic L-domains

abstract: This paper establishes a purely syntactic representation for the category of algebraic L-domains with Scott-continuous functions as morphisms. The central tool used here is the notion of logical states, which builds a bridge between disjunctive sequent calculi and algebraic L-domains. To capture Scott-continuous functions between algebraic L-domains, the notion of consequence relations between disjunctive sequent calculi is also introduced. It is shown that the category of disjunctive sequent calculi with consequence relations as morphisms is categorical equivalent to that of algebraic L-domains with Scott-continuous functions as morphisms.


title: Electron-phonon coupling and the Coexistence of Superconductivity and Charge-Density Wave in Monolayer NbSe2

abstract: Monolayer 2H-NbSe2 has recently been shown to be a 2-dimensional superconductor, with a coexisting charge-density wave (CDW). As both phenomena are intimately related to electron-lattice interaction, a natural question is how superconductivity and CDW are interrelated through electron-phonon coupling (EPC), which is important to the understanding of 2-dimensional superconductivity. This work investigates the superconductivity of monolayer NbSe2 in CDW phase using the anisotropic Migdal-Eliashberg formalism based on first principles calculations. The mechanism of the competition between and coexistence of the superconductivity and CDW is studied in detail by analyzing EPC. It is found that the intra-pocket scattering is related to superconductivity, leading to almost constant value of superconducting gaps on parts of the Fermi surface. The inter-pocket scattering is found to be responsible for CDW, leading to partial or full bandgap on the remaining Fermi surface. Recent experiment indicates that there is transitioning from regular superconductivity in thin-film NbSe2 to two-gap superconductivity in the bulk, which is shown here to have its origin in the extent of Fermi surface gapping of K and K' pockets induced by CDW. Overall blue shifts of the phonons and sharp decrease of Eliashberg spectrum are found when the CDW forms.


title: Every Local Minimum Value is the Global Minimum Value of Induced Model in Non-convex Machine Learning

abstract: For nonconvex optimization in machine learning, this article proves that every local minimum achieves the globally optimal value of the perturbable gradient basis model at any differentiable point. As a result, nonconvex machine learning is theoretically as supported as convex machine learning with a handcrafted basis in terms of the loss at differentiable local minima, except in the case when a preference is given to the handcrafted basis over the perturbable gradient basis. The proofs of these results are derived under mild assumptions. Accordingly, the proven results are directly applicable to many machine learning models, including practical deep neural networks, without any modification of practical methods. Furthermore, as special cases of our general results, this article improves or complements several state-of-the-art theoretical results on deep neural networks, deep residual networks, and overparameterized deep neural networks with a unified proof technique and novel geometric insights. A special case of our results also contributes to the theoretical foundation of representation learning.


title: A variance-sensitive Gaussian concentration inequality

abstract: In this note, we obtain a Gaussian concentration inequality for a class of non-Lipschitz functions. In the one-dimensional case, our results supplement those established by Paouris and Valettas in [8].


title: Trivial pursuits

abstract: We demonstrate that the conclusions drawn by Bernhard et al. (2018) regarding the ability of nonlinear averaging to accurately predict organismal performance under fluctuating temperatures are flawed because of a series of experimental and statistical issues that include the presence of a hidden treatment effect, the use of a single low frequency temperature fluctuation that could easily be tracked by the fast growing organism, and the decision to quantify performance via population growth rate, a metric that can mask significant variation in population size.


title: Subduction Zone Effect on the Structure of the Small-Scale Currents at Core-Mantle Boundary

abstract: The purpose of this work is to compare kinematics of small-scale current vortices located near the core-mantle boundary with high-speed anomalies of seismic wave velocity in the lowest mantle asso-ciated with the subduction zones. The small-scale vortex paths were early obtained by the authors in the frame of the macro model of the main geomagnetic field sources. Two sources were chosen whose kine-matics are characterized by the complete absence of the western drift and whose paths have a very com-plex shape. Both sources are located in the vicinity of the subduction zones characterized by the extensive coherent regions with increased speed of seismic waves in the lowest mantle. One of them is geographically located near the western coast of Canada and the second one is located in the vicinity of Sumatra. For this study we used the global models of the heterogeneities of seismic wave velocity. It was obtained that the complex trajectories of the vortices is fully consistent with the high-speed anomalies of seismic wave velocity in the lowest mantle. It can be assumed that mixing up with the matter of the lowest mantle, the substance of the liquid core rises along the lowest mantle channel and promotes its further increase. In addition, the volume of oceanic crust, subducted millions of years ago, turned out to be sufficient to penetrate into the liquid core, forming the complex shape restrictions for free circulation of the core liquid.


title: Parametrization of stochastic inputs using generative adversarial networks with application in geology

abstract: We investigate artificial neural networks as a parametrization tool for stochastic inputs in numerical simulations. We address parametrization from the point of view of emulating the data generating process, instead of explicitly constructing a parametric form to preserve predefined statistics of the data. This is done by training a neural network to generate samples from the data distribution using a recent deep learning technique called generative adversarial networks. By emulating the data generating process, the relevant statistics of the data are replicated. The method is assessed in subsurface flow problems, where effective parametrization of underground properties such as permeability is important due to the high dimensionality and presence of high spatial correlations. We experiment with realizations of binary channelized subsurface permeability and perform uncertainty quantification and parameter estimation. Results show that the parametrization using generative adversarial networks is very effective in preserving visual realism as well as high order statistics of the flow responses, while achieving a dimensionality reduction of two orders of magnitude.


title: An Open Source Modeling Framework for Interdependent Energy-Transportation- Communication Infrastructure in Smart and Connected Communities

abstract: Infrastructure in future smart and connected communities is envisioned as an aggregate of public services, including the energy, transportation and communication systems, all intertwined with each other. The intrinsic interdependency among these systems may exert underlying influence on both design and operation of the heterogeneous infrastructures. However, few prior studies have tapped into the interdependency among the three systems in order to quantify their potential impacts during standard operation. In response to this, this paper proposes an open source, flexible, integrated modeling framework suitable for designing coupled energy, transportation, and communication systems and for assessing the impact of their interdependencies. First, a novel multi-level, multi-layer, multi-agent approach is proposed to enable flexible modeling of the interconnected energy, transportation, and communication systems. Then, for the framework's proof-of-concept, preliminary component and system-level models for different systems are designed and implemented using Modelica, an equation-based object-oriented modeling language. Finally, three case studies of gradually increasing complexity are presented (energy, energy + transportation, energy + transportation + communication) to evaluate the interdependencies among the three systems. Quantitative analyses show that the deviation of the average velocity on the road can be 10.5\% and the deviation of the power draw from the grid can be 7\% with or without considering the transportation and communication system at the peak commute time, indicating the presence of notable interdependencies. The proposed modeling framework also has the potential to be further extended for various modeling purposes and use cases, such as dynamic modeling and optimization, resilience analysis, and integrated decision making in future connected communities.


title: Long-term photometric monitoring of the dwarf planet (136472) Makemake

abstract: We studied the rotational properties of the dwarf planet Makemake. The photometric observations were carried out at different telescopes between 2006 and 2017. Most of the measurements were acquired in BVRI broad-band filters of a standard Johnson-Cousins photometric system. We found that Makemake rotates more slowly than was previously reported. A possible lightcurve asymmetry suggests a double-peaked period of P = 22.8266$\pm$0.0001~h. A small peak-to-peak lightcurve amplitude in R-filter A = 0.032$\pm$0.005 mag implies an almost spherical shape or near pole-on orientation. We also measured BVRI colours and the R-filter phase-angle slope and revised the absolute magnitudes. The absolute magnitude of Makemake has remained unchanged since its discovery in 2005. No direct evidence of a newly discovered satellite was found in our photometric data; however, we discuss the possible existence of another larger satellite.


title: New Strongly Regular Graphs from Finite Geometries via Switching

abstract: We show that the strongly regular graph on non-isotropic points of one type of the polar spaces of type $U(n, 2)$, $O(n, 3)$, $O(n, 5)$, $O^+(n, 3)$, and $O^-(n, 3)$ are not determined by its parameters for $n \geq 6$. We prove this by using a variation of Godsil-McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first author which showed that the collinearity graph of a polar space is not determined by its spectrum. The same switching gives a linear algebra explanation for the construction of a large number of non-isomorphic designs.


title: Supersymmetric near-horizon geometry and Einstein-Cartan-Weyl spaces

abstract: We show that the horizon geometry for supersymmetric black hole solutions of minimal five-dimensional gauged supergravity is that of a particular Einstein-Cartan-Weyl (ECW) structure in three dimensions, involving the trace and traceless part of both torsion and nonmetricity, and obeying some precise constraints. In the limit of zero cosmological constant, the set of nonlinear partial differential equations characterizing this ECW structure reduces correctly to that of a hyper-CR Einstein-Weyl structure in the Gauduchon gauge, which was shown by Dunajski, Gutowski and Sabra to be the horizon geometry in the ungauged BPS case.


title: Brine rejection and hydrate formation upon freezing of NaCl aqueous solutions

abstract: Studying the freezing of saltwater on a molecular level is of fundamental importance for improving freeze desalination techniques. Here, we investigate the freezing process of NaCl solutions using a combination of x-ray diffraction and molecular dynamics simulations (MD) for different salt-water concentrations, ranging from seawater conditions to saturation. A linear superposition model reproduces well the brine rejection due to hexagonal ice Ih formation and allows us to quantify the fraction of ice and brine. Furthermore, upon cooling at T = 233 K we observe the formation of NaCl$\cdot$2H$_2$O hydrates (hydrohalites), which coexist with ice Ih. MD simulations are utilized to model the formation of NaCl crystallites. From the simulations we estimate that the salinity of the newly produced ice is 0.5% mass percent (m/m) due to ion inclusions, which is within the salinity limits of fresh water. In addition, we show the effect of ions on the local ice structure using the tetrahedrality parameter and follow the crystalite formation by using the ion coordination parameter and cluster analysis.


title: On the well-posedness of branched transportation

abstract: We show in full generality the stability of optimal traffic paths in branched transport: namely we prove that any limit of optimal traffic paths is optimal as well. This solves an open problem in the field (cf. Open problem 1 in the book Optimal transportation networks, by Bernot, Caselles and Morel), which has been addressed up to now only under restrictive assumptions.


title: Multi-GPU Acceleration of the iPIC3D Implicit Particle-in-Cell Code

abstract: iPIC3D is a widely used massively parallel Particle-in-Cell code for the simulation of space plasmas. However, its current implementation does not support execution on multiple GPUs. In this paper, we describe the porting of iPIC3D particle mover to GPUs and the optimization steps to increase the performance and parallel scaling on multiple GPUs. We analyze the strong scaling of the mover on two GPU clusters and evaluate its performance and acceleration. The optimized GPU version which uses pinned memory and asynchronous data prefetching outperform their corresponding CPU versions by 5-10x on two different systems equipped with NVIDIA K80 and V100 GPUs.


title: Canonical isomorphisms of determinant line bundles

abstract: We prove a refinement of the Grothendieck-Riemann-Roch theorem in degree one.


title: Remarks on decay effects of regularity loss type wave equations with structural damping terms

abstract: After GGH model was proposed by M. Ghisi, M. Gobbino and A. Haraux (2016), R. Ikehata and S. Iyota (2018) showed decay estimates for the total energy of solutions to GGH equations uniformly in the initial data. However, their results imply that the total energy is bounded when the initial data belong to the energy space. That is, whether it actually decays has not been known so far. In this paper we report a positive answer to that question.


title: Le groupe de Selmer des isog\'enies de hauteur un

abstract: On montre que le groupe de Selmer d'une isog\'enie de hauteur un entre deux vari\'et\'es ab\'eliennes d\'efinies sur le corps de fonctions d'une vari\'et\'e quasi-projective et lisse $V$ sur un corps parfait $k_0$ de caract\'eristique $p>0$ peut \^etre plong\'e dans le groupe des homomorphismes entre deux fibr\'es vectoriels naturels sur $V$. / We show that the Selmer group of an isogeny of height one between two abelian varieties defined on the function field of a smooth and quasi-projective variety $V$ over a perfect field $k_0$ of characteristic $p>0$ can be embedded in the group of homomorphisms between two natural vector bundles on $V$.


title: Proposing a Localized Relevance Vector Machine for Pattern Classification

abstract: Relevance vector machine (RVM) can be seen as a probabilistic version of support vector machines which is able to produce sparse solutions by linearly weighting a small number of basis functions instead using all of them. Regardless of a few merits of RVM such as giving probabilistic predictions and relax of parameter tuning, it has poor prediction for test instances that are far away from the relevance vectors. As a solution, we propose a new combination of RVM and k-nearest neighbor (k-NN) rule which resolves this issue with regionally dealing with every test instance. In our settings, we obtain the relevance vectors for each test instance in the local area given by k-NN rule. In this way, relevance vectors are closer and more relevant to the test instance which results in a more accurate model. This can be seen as a piece-wise learner which locally classifies test instances. The model is hence called localized relevance vector machine (LRVM). The LRVM is examined on several datasets of the University of California, Irvine (UCI) repository. Results supported by statistical tests indicate that the performance of LRVM is competitive as compared with a few state-of-the-art classifiers.


title: Variable Stars in M13. III. The Cepheid Variables and their Relation to Evolutionary Changes in Metal-poor BL Her Stars

abstract: New CCD photometry has been combined with published and unpublished earlier observations to study the three Cepheid variables in M13: V1, V2 and V6. The light curve characteristics in $B$, $V$ and $I_{\rm C}$ have been determined and the periods updated. A period change analysis shows all three stars have increasing periods but for V1 and V2 the rate of period increase does not appear to be constant over the 118 years of observation. The observed rates of period increase are in good agreement with the predictions of the Pisa theoretical models with helium abundance $Y = 0.25$. Theory suggests V1 and V6 have masses of $\sim0.57\,M_\odot$ and are in the redward-evolving final stage of the ``blue loop'' evolutionary phase that is produced when helium-shell ignition occurs. The larger period and period change rate for V2 indicate it has a mass of $\sim0.52\,M_\odot$. A study of eighteen metal-poor BL Her stars shows the observed period changes for such objects in general can be reasonably well explained using the predictions from horizontal branch evolutionary tracks. BL Her stars with periods less than $\sim$3 d and relatively large secular period change rates ($dP/dt\approx5-15$ d/Myr) are in the evolutionary stage before He-shell ignition; the remaining cases are stars that have already experienced He-shell ignition. Moreover, an analysis of crossing time through the instability strip indicates that it is likely that few, if any, BL Her stars have a He abundance as large as $Y = 0.33$.


title: A revised augmented Cuntz semigroup

abstract: We revise the construction of the augmented Cuntz semigroup functor used by the first author to classify inductive limits of 1-dimensional noncommutative CW complexes. The original construction has good functorial properties when restricted to the class of C*-algebras of stable rank one. The construction proposed here has good properties for all C*-algebras: We show that the augmented Cuntz semigroup is a stable, continuous, split exact functor, from the category of C*-algebras to the category of Cu-semigroups.


title: Non-self-adjointness of the Klein-Gordon operator on a globally hyperbolic and geodesically complete manifold. An example

abstract: We describe a Lorentzian manifold that is globally hyperbolic and geodesically complete, but such that the (minimally coupled) Klein-Gordon operator with the standard domain is not essentially self-adjoint.


title: Unsupervised Domain Adaptation for Multispectral Pedestrian Detection

abstract: Multimodal information (e.g., visible and thermal) can generate robust pedestrian detections to facilitate around-the-clock computer vision applications, such as autonomous driving and video surveillance. However, it still remains a crucial challenge to train a reliable detector working well in different multispectral pedestrian datasets without manual annotations. In this paper, we propose a novel unsupervised domain adaptation framework for multispectral pedestrian detection, by iteratively generating pseudo annotations and updating the parameters of our designed multispectral pedestrian detector on target domain. Pseudo annotations are generated using the detector trained on source domain, and then updated by fixing the parameters of detector and minimizing the cross entropy loss without back-propagation. Training labels are generated using the pseudo annotations by considering the characteristics of similarity and complementarity between well-aligned visible and infrared image pairs. The parameters of detector are updated using the generated labels by minimizing our defined multi-detection loss function with back-propagation. The optimal parameters of detector can be obtained after iteratively updating the pseudo annotations and parameters. Experimental results show that our proposed unsupervised multimodal domain adaptation method achieves significantly higher detection performance than the approach without domain adaptation, and is competitive with the supervised multispectral pedestrian detectors.


title: On-line and on-board planning and perception for quadrupedal locomotion

abstract: We present a legged motion planning approach for quadrupedal locomotion over challenging terrain. We decompose the problem into body action planning and footstep planning. We use a lattice representation together with a set of defined body movement primitives for computing a body action plan. The lattice representation allows us to plan versatile movements that ensure feasibility for every possible plan. To this end, we propose a set of rules that define the footstep search regions and footstep sequence given a body action. We use Anytime Repairing A* (ARA*) search that guarantees bounded suboptimal plans. Our main contribution is a planning approach that generates on-line versatile movements. Experimental trials demonstrate the performance of our planning approach in a set of challenging terrain conditions. The terrain information and plans are computed on-line and on-board.


title: Torus model properties of an ultra-hard X-ray selected sample of Seyfert galaxies

abstract: We characterize for the first time the torus properties of an ultra-hard X-ray (14-195 keV) volume-limited (DL<40 Mpc) sample of 24 Seyfert (Sy) galaxies (BCS40 sample). The sample was selected from the Swift/BAT nine month catalog. We use high angular resolution nuclear infrared (IR) photometry and N-band spectroscopy, the CLUMPY torus models and a Bayesian tool to characterize the properties of the nuclear dust. In the case of the Sy1s we estimate the accretion disk contribution to the subarcsecond resolution nuclear IR SEDs (~0.4'') which is, on average, 46+-28, 23+-13 and 11+-5% in the J-, H- and K-bands, respectively. This indicates that the accretion disk templates that assume a steep fall for longer wavelengths than 1 micron might underestimate its contribution to the near-IR emission. Using both optical (broad vs narrow lines) and X-ray (unabsorbed vs absorbed) classifications, we compare the global posterior distribution of the torus model parameters. We confirm that Sy2s have larger values of the torus covering factor (CT~0.95) than Sy1s (CT~0.65) in our volume-limited Seyfert sample. These findings are independent of whether we use an optical or X-ray classification. We find that the torus covering factor remains essentially constant within the errors in our luminosity range and there is no clear dependence with the Eddington ratio. Finally, we find tentative evidence that even an ultra hard X-ray selection is missing a significant fraction of highly absorbed type 2 sources with very high covering factor tori.


title: Planning and Execution of Dynamic Whole-Body Locomotion for a Hydraulic Quadruped on Challenging Terrain

abstract: We present a framework for dynamic quadrupedal locomotion over challenging terrain, where the choice of appropriate footholds is crucial for the success of the behaviour. We build a model of the environment on-line and on-board using an efficient occupancy grid representation. We use Any-time-Repairing A* (ARA*) to search over a tree of possible actions, choose a rough body path and select the locally-best footholds accordingly. We run a n-step lookahead optimization of the body trajectory using a dynamic stability metric, the Zero Moment Point (ZMP), that generates natural dynamic whole-body motions. A combination of floating-base inverse dynamics and virtual model control accurately executes the desired motions on an actively compliant system. Experimental trials show that this framework allows us to traverse terrains at nearly 6 times the speed of our previous work, evaluated over the same set of trials.


title: Non-Archimedean metric extension for semipositive line bundles

abstract: For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, \phi)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a sub-variety $Y$ to $X$. We form normed section algebras from $(L, \phi)$ and study their Berkovich spectra. To compare the supremum algebra norm and the quotient algebra norm on the restricted section algebra $V(L_{X|Y})$, two different methods are used: one exploits the holomorphic convexity of the spectrum, following an argument of Grauert; another relies on finiteness properties of affinoid algebra norms.