title: Cross-lingual Dependency Parsing with Unlabeled Auxiliary Languages

abstract: Cross-lingual transfer learning has become an important weapon to battle the unavailability of annotated resources for low-resource languages. One of the fundamental techniques to transfer across languages is learning \emph{language-agnostic} representations, in the form of word embeddings or contextual encodings. In this work, we propose to leverage unannotated sentences from auxiliary languages to help learning language-agnostic representations. Specifically, we explore adversarial training for learning contextual encoders that produce invariant representations across languages to facilitate cross-lingual transfer. We conduct experiments on cross-lingual dependency parsing where we train a dependency parser on a source language and transfer it to a wide range of target languages. Experiments on 28 target languages demonstrate that adversarial training significantly improves the overall transfer performances under several different settings. We conduct a careful analysis to evaluate the language-agnostic representations resulted from adversarial training.


title: Uncertainty Quantification in Stochastic Economic Dispatch using Gaussian Process Emulation

abstract: The increasing penetration of renewable energy resources in power systems, represented as random processes, converts the traditional deterministic economic dispatch problem into a stochastic one. To solve this stochastic economic dispatch, the conventional Monte Carlo method is prohibitively time consuming for medium- and large-scale power systems. To overcome this problem, we propose in this paper a novel Gaussian-process-emulator-based approach to quantify the uncertainty in the stochastic economic dispatch considering wind power penetration. Based on the dimension-reduction results obtained by the Karhunen-Lo\`eve expansion, a Gaussian-process emulator is constructed. This surrogate allows us to evaluate the economic dispatch solver at sampled values with a negligible computational cost while maintaining a desirable accuracy. Simulation results conducted on the IEEE 118-bus system reveal that the proposed method has an excellent performance as compared to the traditional Monte Carlo method.


title: Reevaluating Reactor Antineutrino Anomalies with Updated Flux Predictions

abstract: Hints for the existence of a sterile neutrino at nuclear reactors are reexamined using two updated predictions for the fluxes of antineutrinos produced in fissions. These new predictions diverge in their preference for the rate deficit anomaly, relative to previous analyses, but the anomaly in the ratios of measured antineutrino spectra persists. We comment on upcoming experiments and their ability to probe the preferred region of the sterile-neutrino parameter space in the electron neutrino disappearance channel.


title: Towards Neural Language Evaluators

abstract: We review three limitations of BLEU and ROUGE -- the most popular metrics used to assess reference summaries against hypothesis summaries, come up with criteria for what a good metric should behave like and propose concrete ways to use recent Transformers-based Language Models to assess reference summaries against hypothesis summaries.


title: Fine-grained Action Segmentation using the Semi-Supervised Action GAN

abstract: In this paper we address the problem of continuous fine-grained action segmentation, in which multiple actions are present in an unsegmented video stream. The challenge for this task lies in the need to represent the hierarchical nature of the actions and to detect the transitions between actions, allowing us to localise the actions within the video effectively. We propose a novel recurrent semi-supervised Generative Adversarial Network (GAN) model for continuous fine-grained human action segmentation. Temporal context information is captured via a novel Gated Context Extractor (GCE) module, composed of gated attention units, that directs the queued context information through the generator model, for enhanced action segmentation. The GAN is made to learn features in a semi-supervised manner, enabling the model to perform action classification jointly with the standard, unsupervised, GAN learning procedure. We perform extensive evaluations on different architectural variants to demonstrate the importance of the proposed network architecture, and show that it is capable of outperforming current state-of-the-art on three challenging datasets: 50 Salads, MERL Shopping and Georgia Tech Egocentric Activities dataset.


title: Named Entity Recognition with Partially Annotated Training Data

abstract: Supervised machine learning assumes the availability of fully-labeled data, but in many cases, such as low-resource languages, the only data available is partially annotated. We study the problem of Named Entity Recognition (NER) with partially annotated training data in which a fraction of the named entities are labeled, and all other tokens, entities or otherwise, are labeled as non-entity by default. In order to train on this noisy dataset, we need to distinguish between the true and false negatives. To this end, we introduce a constraint-driven iterative algorithm that learns to detect false negatives in the noisy set and downweigh them, resulting in a weighted training set. With this set, we train a weighted NER model. We evaluate our algorithm with weighted variants of neural and non-neural NER models on data in 8 languages from several language and script families, showing strong ability to learn from partial data. Finally, to show real-world efficacy, we evaluate on a Bengali NER corpus annotated by non-speakers, outperforming the prior state-of-the-art by over 5 points F1.


title: Defining shapes of 2D-crystals with undefinable edge-energies

abstract: The equilibrium shape of crystals is a fundamental property of both aesthetic appeal and practical import. It is also a visible macro-manifestation of the underlying atomic-scale forces and chemical makeup, most conspicuous in two-dimensional (2D) materials of keen current interest. If the crystal surface/edge energy is known for different directions, its shape can be obtained by geometric Wulff construction, a tenet of crystal physics. However, if symmetry is lacking, the crystal edge energy cannot be defined or calculated, so its shape becomes elusive, presenting an insurmountable problem for theory. Here we show how, in fact, one can proceed with "latent edge energies" towards constructive prediction of a unique crystal shape, and demonstrate it for challenging material-examples, like ${\rm SnS}$ of ${\rm C_{2v}}$ symmetry and even ${\rm AgNO_2}$ of ${\rm C_1}$-no symmetry at all.


title: Learning 3D-aware Egocentric Spatial-Temporal Interaction via Graph Convolutional Networks

abstract: To enable intelligent automated driving systems, a promising strategy is to understand how human drives and interacts with road users in complicated driving situations. In this paper, we propose a 3D-aware egocentric spatial-temporal interaction framework for automated driving applications. Graph convolution networks (GCN) is devised for interaction modeling. We introduce three novel concepts into GCN. First, we decompose egocentric interactions into ego-thing and ego-stuff interaction, modeled by two GCNs. In both GCNs, ego nodes are introduced to encode the interaction between thing objects (e.g., car and pedestrian), and interaction between stuff objects (e.g., lane marking and traffic light). Second, objects' 3D locations are explicitly incorporated into GCN to better model egocentric interactions. Third, to implement ego-stuff interaction in GCN, we propose a MaskAlign operation to extract features for irregular objects. We validate the proposed framework on tactical driver behavior recognition. Extensive experiments are conducted using Honda Research Institute Driving Dataset, the largest dataset with diverse tactical driver behavior annotations. Our framework demonstrates substantial performance boost over baselines on the two experimental settings by 3.9% and 6.0%, respectively. Furthermore, we visualize the learned affinity matrices, which encode ego-thing and ego-stuff interactions, to showcase the proposed framework can capture interactions effectively.


title: Fourier-CPPNs for Image Synthesis

abstract: Compositional Pattern Producing Networks (CPPNs) are differentiable networks that independently map (x, y) pixel coordinates to (r, g, b) colour values. Recently, CPPNs have been used for creating interesting imagery for creative purposes, e.g., neural art. However their architecture biases generated images to be overly smooth, lacking high-frequency detail. In this work, we extend CPPNs to explicitly model the frequency information for each pixel output, capturing frequencies beyond the DC component. We show that our Fourier-CPPNs (F-CPPNs) provide improved visual detail for image synthesis.


title: Minimizing closed geodesics on polygons and disks

abstract: In this paper we study 1/k geodesics, those closed geodesics that minimize on all subintervals of length $L/k$, where $L$ is the length of the geodesic. We develop new techniques to study the minimizing properties of these curves on doubled polygons, and demonstrate a sequence of doubled polygons whose closed geodesics exhibit unbounded minimizing properties. We also compute the length of the shortest closed geodesic on doubled odd-gons and show that this length approaches 4 times the diameter.


title: Closed geodesics on doubled polygons

abstract: In this paper we study 1/k-geodesics, those closed geodesics that minimize on any subinterval of length $L/k$, where $L$ is the length of the geodesic. We investigate the existence and behavior of these curves on doubled polygons and show that every doubled regular $n$-gon admits a $1/2n$-geodesic. For the doubled regular $p$-gons, with $p$ an odd prime, we conjecture that $k=2p$ is the minimum value for $k$ such that the space admits a $1/k$-geodesic.


title: Moduli of formal torsors II

abstract: Applying the authors' preceding work, we construct a version of the moduli space of $G$-torsors over the formal punctured disk for a finite group $G$. To do so, we introduce two Grothendieck topologies, the sur (surjective) and luin (locally universally injective) topologies, and define P-schemes using them as variants of schemes. Our moduli space is defined as a P-scheme approximating the relevant moduli functor. We then prove that Fr\"ohlich's module resolvent gives a locally constructible function on this moduli space, which implies that motivic integrals appearing the wild McKay correspondence are well-defined.


title: Neutralization of ion beam by electron injection, Part 1: Accumulation of cold electrons

abstract: Ion beam charge neutralization by electron injection is a complex kinetic process. Recent experiments show that resulting self-potential of the beam after neutralization by plasma could be much lower than the temperature of plasma electrons [Physics of Plasmas 23, 043113 (2016)], indicating that kinetic effects are important and may affect the neutralization of ion beam. We performed a numerical study of the charge neutralization process of an ion beam making use of a two-dimensional electrostatic particle-in-cell code. The results show that the process of charge neutralization by electron injection is comprised of two stages. During the first stage, the self-potential of the beam is higher than the temperature of injected electrons (Te/e). Therefore, the neutralization of the ion beam is almost unaffected by Te, and all injected electrons are captured by the ion beam. At the second stage, with the decline of the beam potential (), hot electrons escape from the ion beam, while cold electrons are slowly accumulated. As a result, can be much lower than Te/e. It is found in the simulations that during the accumulation of cold electrons, scales as . In addition, the results show that the transverse position of electron source has a great impact on ion beam neutralization. Slight shift of electron source leads to large increase of the beam potential because of increase in potential energy of injected electrons.


title: Forecasting Future Action Sequences with Neural Memory Networks

abstract: We propose a novel neural memory network based framework for future action sequence forecasting. This is a challenging task where we have to consider short-term, within sequence relationships as well as relationships in between sequences, to understand how sequences of actions evolve over time. To capture these relationships effectively, we introduce neural memory networks to our modelling scheme. We show the significance of using two input streams, the observed frames and the corresponding action labels, which provide different information cues for our prediction task. Furthermore, through the proposed method we effectively map the long-term relationships among individual input sequences through separate memory modules, which enables better fusion of the salient features. Our method outperforms the state-of-the-art approaches by a large margin on two publicly available datasets: Breakfast and 50 Salads.


title: Working Hard or Hardly Working: Challenges of Integrating Typology into Neural Dependency Parsers

abstract: This paper explores the task of leveraging typology in the context of cross-lingual dependency parsing. While this linguistic information has shown great promise in pre-neural parsing, results for neural architectures have been mixed. The aim of our investigation is to better understand this state-of-the-art. Our main findings are as follows: 1) The benefit of typological information is derived from coarsely grouping languages into syntactically-homogeneous clusters rather than from learning to leverage variations along individual typological dimensions in a compositional manner; 2) Typology consistent with the actual corpus statistics yields better transfer performance; 3) Typological similarity is only a rough proxy of cross-lingual transferability with respect to parsing.


title: Polynomial relations between operators on chains of representation rings

abstract: Given a chain of groups $G_0 \le G_1 \le G_2 ... $, we may form the corresponding chain of their representation rings, together with induction and restriction operators. We may let $\textrm{Res}^l$ denote the operator which restricts down $l$ steps, and similarly for $\textrm{Ind}^l$. Observe then that $\textrm{Ind}^l \textrm{Res}^l$ is an operator from any particular representation ring to itself. The central question that this paper addresses is: "What happens if the $\textrm{Ind}^l \textrm{Res}^l$ operator is a polynomial in the $\textrm{Ind} \textrm{Res}$ operator?". We show that chains of wreath products $\{H^n \rtimes S_n\}_{n \in \mathbb{N}}$ have this property, and in particular, the polynomials that appear in the case of symmetric groups are the falling factorial polynomials. An application of this fact gives a remarkable new way to compute characters of wreath products (in particular symmetric groups) using matrix multiplication. We then consider arbitrary chains of groups, and find very rigid constraints that such a chain must satisfy in order for $\textrm{Ind}^l \textrm{Res}^l$ to be a polynomial in $\textrm{Ind} \textrm{Res}$. Our rigid constraints justify the intuition that this property is indeed a very rare and special property.


title: Neutralization of ion beam by electron injection, Part 2: Excitation and propagation of electrostatic solitary waves

abstract: The charge neutralization of an ion beam by electron injection is investigated using a two-dimensional electrostatic particle-in-cell code. The simulation results show that electrostatic solitary waves (ESWs) can be robustly generated in the neutralization process and last for long time (for more than 30 us); and therefore ESW can strongly affect the neutralization process. The ESWs propagate along the axis of the ion beam and reflect from the beam boundaries. The simulations clearly show that two ESWs can pass through each other with only small changes in amplitude. Partial exchange of trapped electrons in collisions of two ESWs is observed in the simulations and can explain interaction during collisions of two ESWs. Coalescence of two ESWs is also observed.


title: How Much Do Unstated Problem Constraints Limit Deep Robotic Reinforcement Learning?

abstract: Deep Reinforcement Learning is a promising paradigm for robotic control which has been shown to be capable of learning policies for high-dimensional, continuous control of unmodeled systems. However, RoboticReinforcement Learning currently lacks clearly defined benchmark tasks, which makes it difficult for researchers to reproduce and compare against prior work. ``Reacher'' tasks, which are fundamental to robotic manipulation, are commonly used as benchmarks, but the lack of a formal specification elides details that are crucial to replication. In this paper we present a novel empirical analysis which shows that the unstated spatial constraints in commonly used implementations of Reacher tasks make it dramatically easier to learn a successful control policy with DeepDeterministic Policy Gradients (DDPG), a state-of-the-art Deep RL algorithm. Our analysis suggests that less constrained Reacher tasks are significantly more difficult to learn, and hence that existing de facto benchmarks are not representative of the difficulty of general robotic manipulation.


title: Coupled Generative Adversarial Network for Continuous Fine-grained Action Segmentation

abstract: We propose a novel conditional GAN (cGAN) model for continuous fine-grained human action segmentation, that utilises multi-modal data and learned scene context information. The proposed approach utilises two GANs: termed Action GAN and Auxiliary GAN, where the Action GAN is trained to operate over the current RGB frame while the Auxiliary GAN utilises supplementary information such as depth or optical flow. The goal of both GANs is to generate similar `action codes', a vector representation of the current action. To facilitate this process a context extractor that incorporates data and recent outputs from both modes is used to extract context information to aid recognition. The result is a recurrent GAN architecture which learns a task specific loss function from multiple feature modalities. Extensive evaluations on variants of the proposed model to show the importance of utilising different information streams such as context and auxiliary information in the proposed network; and show that our model is capable of outperforming state-of-the-art methods for three widely used datasets: 50 Salads, MERL Shopping and Georgia Tech Egocentric Activities, comprising both static and dynamic camera settings.


title: Counting stable sheaves on singular curves and surfaces

abstract: Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect obstruction theory relative to B. We study the resulting virtual cycles on the fibers of M'/B and relate them to the image of the virtual cycle [M]^vir under refined Gysin homomorphisms. Our main application is when M is a moduli space of stable codimension 1 sheaves with a fixed determinant L on a nonsingular projective surface or Fano threefold, B is the linear system |L|, and the morphism to B is given by taking the divisor associated to a coherent sheaf.


title: Characterizing Sources of Uncertainty to Proxy Calibration and Disambiguate Annotator and Data Bias

abstract: Supporting model interpretability for complex phenomena where annotators can legitimately disagree, such as emotion recognition, is a challenging machine learning task. In this work, we show that explicitly quantifying the uncertainty in such settings has interpretability benefits. We use a simple modification of a classical network inference using Monte Carlo dropout to give measures of epistemic and aleatoric uncertainty. We identify a significant correlation between aleatoric uncertainty and human annotator disagreement ($r\approx.3$). Additionally, we demonstrate how difficult and subjective training samples can be identified using aleatoric uncertainty and how epistemic uncertainty can reveal data bias that could result in unfair predictions. We identify the total uncertainty as a suitable surrogate for model calibration, i.e. the degree we can trust model's predicted confidence. In addition to explainability benefits, we observe modest performance boosts from incorporating model uncertainty.


title: Surface fractal dimension and its theoretical relationship with adsorbed water content

abstract: Surface fractal dimension Ds is a quantity describing the roughness of pore-solid interface where all interactions between solid matrix and fluid in the pore space occur. Ds also quantifies surface area; the higher the surface fractal dimension the greater the surface area. Therefore, at some high enough tension head, where a thin layer of water covers the pore-solid interface, one should expect adsorbed water content to be related to Ds in water-wet porous media. In this technical note, we develop a theoretical relationship between the surface fractal dimension, Ds, and the adsorbed water content, {\theta}_ads, using concepts from van der Waals and electrostatic forces. The proposed model sheds light on constant coefficients of logarithmic equations found empirically between Ds and water contents retained at 1500 and 10000 kPa tension heads. Results also show that our theoretical model estimates Ds from first physical principles for 164 soil samples accurately.


title: Spherical Kernel for Efficient Graph Convolution on 3D Point Clouds

abstract: We propose a spherical kernel for efficient graph convolution of 3D point clouds. Our metric-based kernels systematically quantize the local 3D space to identify distinctive geometric relationships in the data. Similar to the regular grid CNN kernels, the spherical kernel maintains translation-invariance and asymmetry properties, where the former guarantees weight sharing among similar local structures in the data and the latter facilitates fine geometric learning. The proposed kernel is applied to graph neural networks without edge-dependent filter generation, making it computationally attractive for large point clouds. In our graph networks, each vertex is associated with a single point location and edges connect the neighborhood points within a defined range. The graph gets coarsened in the network with farthest point sampling. Analogous to the standard CNNs, we define pooling and unpooling operations for our network. We demonstrate the effectiveness of the proposed spherical kernel with graph neural networks for point cloud classification and semantic segmentation using ModelNet, ShapeNet, RueMonge2014, ScanNet and S3DIS datasets. The source code and the trained models can be downloaded from https://github.com/hlei-ziyan/SPH3D-GCN.


title: Emergence of Quasiparticles in a Doped Mott Insulator

abstract: How a Mott insulator develops into a weakly coupled metal upon doping is a central question to understanding various emergent correlated phenomena. To analyze this evolution and its connection to the high-$T_c$ cuprates, we study the single-particle spectrum for the doped Hubbard model using cluster perturbation theory on superclusters. Starting from extremely low doping, we identify a heavily renormalized quasiparticle dispersion that immediately develops across the Fermi level, and a weakening polaronic side band at higher binding energy. The quasiparticle spectral weight roughly grows at twice the rate of doping in the low doping regime, but this rate is halved at optimal doping. In the heavily doped regime, we find both strong electron-hole asymmetry and a persistent presence of Mott spectral features. Finally, we discuss the applicability of the single-band Hubbard model to describe the evolution of nodal spectra measured by angle-resolved photoemission spectroscopy (ARPES) on the single-layer cuprate La$_{2-x}$Sr$_x$CuO$_4$ ($0 \le x \le 0.15$). This work benchmarks the predictive power of the Hubbard model for electronic properties of high-$T_c$ cuprates.


title: Optimal preparation of the maximally entangled W state of three superconducting gmon qubits

abstract: Superconducting gmon qubits allow for highly tuneable quantum computing devices. Optimally controlled evolution of these systems is of considerable interest. We determine the optimal dynamical protocols for the generation of the maximally entangled W state of three qubits from an easily prepared initial product state. These solutions are found by simulated annealing. Using the connection to the Pontryagin's minimum principle, we fully characterize the patterns of these ``bang-bang'' protocols, which shortcut the adiabatic evolution. The protocols are remarkably robust, facilitating the development of high-performance three-qubit quantum gates.


title: Analysis and Optimization of Successful Symbol Transmission Rate for Grant-free Massive Access with Massive MIMO

abstract: Grant-free massive access is an important technique for supporting massive machine-type communications (mMTC) for Internet-of-Things (IoT). Two important features in grant-free massive access are low-complexity devices and short-packet data transmission, making the traditional performance metric, achievable rate, unsuitable in this case. In this letter, we investigate grant-free massive access in a massive multiple-input multiple-output (MIMO) system. We consider random access control, and adopt approximate message passing (AMP) for user activity detection and channel estimation in the pilot transmission phase and small phase-shift-keying (PSK) modulation in the data transmission phase. We propose a more reasonable performance metric, namely successful symbol transmission rate (SSTR), for grant-free massive access. We obtain closed-form approximate expressions for the asymptotic SSTR in the cases of maximal ratio combining (MRC) and zero forcing (ZF) beamforming at the base station (BS), respectively. We also maximize the asymptotic SSTR with respect to the access parameter and pilot length.


title: Intelligent Policing Strategy for Traffic Violation Prevention

abstract: Police officer presence at an intersection discourages a potential traffic violator from violating the law. It also alerts the motorists' consciousness to take precaution and follow the rules. However, due to the abundant intersections and shortage of human resources, it is not possible to assign a police officer to every intersection. In this paper, we propose an intelligent and optimal policing strategy for traffic violation prevention. Our model consists of a specific number of targeted intersections and two police officers with no prior knowledge on the number of the traffic violations in the designated intersections. At each time interval, the proposed strategy, assigns the two police officers to different intersections such that at the end of the time horizon, maximum traffic violation prevention is achieved. Our proposed methodology adapts the PROLA (Play and Random Observe Learning Algorithm) algorithm [1] to achieve an optimal traffic violation prevention strategy. Finally, we conduct a case study to evaluate and demonstrate the performance of the proposed method.


title: BERT Meets Chinese Word Segmentation

abstract: Chinese word segmentation (CWS) is a fundamental task for Chinese language understanding. Recently, neural network-based models have attained superior performance in solving the in-domain CWS task. Last year, Bidirectional Encoder Representation from Transformers (BERT), a new language representation model, has been proposed as a backbone model for many natural language tasks and redefined the corresponding performance. The excellent performance of BERT motivates us to apply it to solve the CWS task. By conducting intensive experiments in the benchmark datasets from the second International Chinese Word Segmentation Bake-off, we obtain several keen observations. BERT can slightly improve the performance even when the datasets contain the issue of labeling inconsistency. When applying sufficiently learned features, Softmax, a simpler classifier, can attain the same performance as that of a more complicated classifier, e.g., Conditional Random Field (CRF). The performance of BERT usually increases as the model size increases. The features extracted by BERT can be also applied as good candidates for other neural network models.


title: A Two-Stage Stochastic Programming Model for Car-Sharing Problem using Kernel Density Estimation

abstract: Car-sharing problem is a popular research field in sharing economy. In this paper, we investigate the car-sharing re-balancing problem under uncertain demands. An innovative framework that integrates a non-parametric approach - kernel density estimation (KDE) and a two-stage stochastic programming (SP) model are proposed. Specifically, the probability distributions are derived from New York taxi trip data sets by KDE, which is used as the input uncertain parameters for SP. Additionally, the car-sharing problem is formulated as a two-stage SP model which aims to maximize the overall profit. Meanwhile, a Monte Carlo method called sample average approximation (SAA) and Benders decomposition algorithm is introduced to solve the large-scale optimization model. Finally, the experimental validations show that the proposed framework outperforms the existing works in terms of outcomes.


title: Making Code Re-randomization Practical with MARDU

abstract: Defense techniques such as Data Execution Prevention (DEP) and Address Space Layout Randomization (ASLR) were the early role models preventing primitive code injection and return-oriented programming (ROP) attacks. Notably, these techniques did so in an elegant and utilitarian manner, keeping performance and scalability in the forefront, making them one of the few widely-adopted defense techniques. As code re-use has evolved in complexity from JIT-ROP, to BROP and data-only attacks, defense techniques seem to have tunneled on defending at all costs, losing-their-way in pragmatic defense design. Some fail to provide comprehensive coverage, being too narrow in scope, while others provide unrealistic overheads leaving users willing to take their chances to maintain performance expectations. We present Mardu, an on-demand system-wide re-randomization technique that improves re-randomization and refocuses efforts to simultaneously embrace key characteristics of defense techniques: security, performance, and scalability. Our code sharing with diversification is achieved by implementing reactive and scalable, rather than continuous or one-time diversification while the use of hardware supported eXecute-only Memory (XoM) and shadow stack prevent memory disclosure; entwining and enabling code sharing further minimizes needed tracking, patching costs, and memory overhead. Mardu's evaluation shows performance and scalability to have low average overhead in both compute-intensive (5.5% on SPEC) and real-world applications (4.4% on NGINX). With this design, Mardu demonstrates that strong and scalable security guarantees are possible to achieve at a practical cost to encourage deployment.


title: Learning Your Way Without Map or Compass: Panoramic Target Driven Visual Navigation

abstract: We present a robot navigation system that uses an imitation learning framework to successfully navigate in complex environments. Our framework takes a pre-built 3D scan of a real environment and trains an agent from pre-generated expert trajectories to navigate to any position given a panoramic view of the goal and the current visual input without relying on map, compass, odometry, or relative position of the target at runtime. Our end-to-end trained agent uses RGB and depth (RGBD) information and can handle large environments (up to $1031m^2$) across multiple rooms (up to $40$) and generalizes to unseen targets. We show that when compared to several baselines our method (1) requires fewer training examples and less training time, (2) reaches the goal location with higher accuracy, and (3) produces better solutions with shorter paths for long-range navigation tasks.


title: Fibonacci, Motzkin, Schroder, Fuss-Catalan and other Combinatorial Structures: Universal and Embedded Bijections

abstract: A combinatorial structure, $\mathcal{F}$, with counting sequence $\{a_n\}_{n\ge 0}$ and ordinary generating function $G_\mathcal{F}=\sum_{n\ge0} a_n x^n$, is positive algebraic if $G_\mathcal{F}$ satisfies a polynomial equation $G_\mathcal{F}=\sum_{k=0}^N p_k(x)\,G_\mathcal{F}^k $ and $p_k(x)$ is a polynomial in $x$ with non-negative integer coefficients. We show that every such family is associated with a normed $\mathbf{n}$-magma. An $\mathbf{n}$-magma with $\mathbf{n}=(n_1,\dots, n_k)$ is a pair $\mathcal{M}$ and $\mathcal{F}$ where $\mathcal{M}$ is a set of combinatorial structures and $\mathcal{F}$ is a tuple of $n_i$-ary maps $f_i\,:\,\mathcal{M}^{n_i}\to \mathcal{M}$. A norm is a super-additive size map $||\cdot||\,:\, \mathcal{M}\to \mathbb{N} $. If the normed $\mathbf{n}$-magma is free then we show there exists a recursive, norm preserving, universal bijection between all positive algebraic families $\mathcal{F}_i$ with the same counting sequence. A free $\mathbf{n}$-magma is defined using a universal mapping principle. We state a theorem which provides a combinatorial method of proving if a particular $\mathbf{n}$-magma is free. We illustrate this by defining several $\mathbf{n}$-magmas: eleven $(1,1)$-magmas (the Fibonacci families), seventeen $(1,2)$-magmas (nine Motzkin and eight Schr\"oder families) and seven $(3)$-magmas (the Fuss-Catalan families). We prove they are all free and hence obtain a universal bijection for each $\mathbf{n}$. We also show how the $\mathbf{n}$-magma structure manifests as an embedded bijection.


title: Quantum Diffusive Magneto-transport in Massive Dirac Materials with Chiral Symmetry Breaking

abstract: Massive Dirac fermions break the chiral symmetry explicitly and also make the Berry curvature of the band structure non-Abelian. By utilizing the Green's function technique, we develop a microscopic theory to establish a set of quantum diffusive equations for massive Dirac materials in the presence of electric and magnetic fields. It is found that the longitudinal magnetoresistance is always negative and quadratic in the magnetic field, and decays quickly with the mass. The theory is applicable to the systems with non-Abelian Berry curvature and resolves the puzzles of anomalous magnetotransport properties measured in topological materials.


title: Efficient sampling and counting algorithms for the Potts model on $\mathbb Z^d$ at all temperatures

abstract: For $d \ge 2$ and all $q\geq q_{0}(d)$ we give an efficient algorithm to approximately sample from the $q$-state ferromagnetic Potts and random cluster models on finite tori $(\mathbb Z / n \mathbb Z )^d$ for any inverse temperature $\beta\geq 0$. This shows that the physical phase transition of the Potts model presents no algorithmic barrier to efficient sampling, and stands in contrast to Markov chain mixing time results: the Glauber dynamics mix slowly at and below the critical temperature, and the Swendsen--Wang dynamics mix slowly at the critical temperature. We also provide an efficient algorithm (an FPRAS) for approximating the partition functions of these models at all temperatures. Our algorithms are based on representing the random cluster model as a contour model using Pirogov--Sinai theory, and then computing an accurate approximation of the logarithm of the partition function by inductively truncating the resulting cluster expansion. The main innovation of our approach is an algorithmic treatment of unstable ground states, which is essential for our algorithms to apply to all inverse temperatures $\beta$. By treating unstable ground states our work gives a general template for converting probabilistic applications of Pirogov-Sinai theory to efficient algorithms.


title: Impedance Control of a Transfemoral Prosthesis using Continuously Varying Ankle Impedances and Multiple Equilibria

abstract: Impedance controllers are popularly used in the field of lower limb prostheses and exoskeleton development. Such controllers assume the joint to be a spring-damper system described by a discrete set of equilibria and impedance parameters. Said parameters are estimated via a least squares optimization that minimizes the difference between the controller's output torque and human joint torque. Other researchers have used perturbation studies to determine empirical values for ankle impedance. The resulting values vary greatly from the prior least squares estimates. While perturbation studies are more credible, they require immense investment. This paper extended the least squares approach to reproduce the results of perturbation studies. The resulting impedance parameters were successfully tested on a powered transfemoral prosthesis, AMPRO II. Further, the paper investigated the effect of multiple equilibria on the least square estimation and the performance of the impedance controller. Finally, the paper uses the proposed least squares optimization method to estimate knee impedance.


title: Making the Invisible Visible: Action Recognition Through Walls and Occlusions

abstract: Understanding people's actions and interactions typically depends on seeing them. Automating the process of action recognition from visual data has been the topic of much research in the computer vision community. But what if it is too dark, or if the person is occluded or behind a wall? In this paper, we introduce a neural network model that can detect human actions through walls and occlusions, and in poor lighting conditions. Our model takes radio frequency (RF) signals as input, generates 3D human skeletons as an intermediate representation, and recognizes actions and interactions of multiple people over time. By translating the input to an intermediate skeleton-based representation, our model can learn from both vision-based and RF-based datasets, and allow the two tasks to help each other. We show that our model achieves comparable accuracy to vision-based action recognition systems in visible scenarios, yet continues to work accurately when people are not visible, hence addressing scenarios that are beyond the limit of today's vision-based action recognition.


title: A nonlocal feature-driven exemplar-based approach for image inpainting

abstract: We present a nonlocal variational image completion technique which admits simultaneous inpainting of multiple structures and textures in a unified framework. The recovery of geometric structures is achieved by using general convolution operators as a measure of behavior within an image. These are combined with a nonlocal exemplar-based approach to exploit the self-similarity of an image in the selected feature domains and to ensure the inpainting of textures. We also introduce an anisotropic patch distance metric to allow for better control of the feature selection within an image and present a nonlocal energy functional based on this metric. Finally, we derive an optimization algorithm for the proposed variational model and examine its validity experimentally with various test images.


title: Robust Estimation and Shrinkage in Ultrahigh Dimensional Expectile Regression with Heavy Tails and Variance Heterogeneity

abstract: High-dimensional data subject to heavy-tailed phenomena and heterogeneity are commonly encountered in various scientific fields and bring new challenges to the classical statistical methods. In this paper, we combine the asymmetric square loss and huber-type robust technique to develop the robust expectile regression for ultrahigh dimensional heavy-tailed heterogeneous data. Different from the classical huber method, we introduce two different tuning parameters on both sides to account for possibly asymmetry and allow them to diverge to reduce bias induced by the robust approximation. In the regularized framework, we adopt the generally folded concave penalty function like the SCAD or MCP penalty for the seek of bias reduction. We investigate the finite sample property of the corresponding estimator and figure out how our method plays its role to trades off the estimation accuracy against the heavy-tailed distribution. Also, noting that the robust asymmetric loss function is everywhere differentiable, based on our theoretical study, we propose an efficient first-order optimization algorithm after locally linear approximation of the non-convex problem. Simulation studies under various distributions demonstrates the satisfactory performances of our method in coefficient estimation, model selection and heterogeneity detection.


title: On $T_0$ spaces determined by well-filtered spaces

abstract: We first introduce and study two new classes of subsets in $T_0$ spaces - Rudin sets and $\wdd$ sets lying between the class of all closures of directed subsets and that of irreducible closed subsets. Using such subsets, we define three new types of topological spaces - $\mathsf{DC}$ spaces, Rudin spaces and $\wdd$ spaces. The class of Rudin spaces lie between the class of $\wdd$ spaces and that of $\dc$ spaces, while the class of $\dc$ spaces lies between the class of Rudin spaces and that of sober spaces. Using Rudin sets and $\wdd$ sets, we formulate and prove a number of new characterizations of well-filtered spaces and sober spaces. For a $T_0$ space $X$, it is proved that $X$ is sober if{}f $X$ is a well-filtered Rudin space if{}f $X$ is a well-filtered $\mathsf{WD}$ space. We also prove that every locally compact $T_0$ space is a Rudin space, and every core compact $T_0$ space is a $\wdd$ space. One immediate corollary is that every core compact well-filtered space is sober, giving a positive answer to Jia-Jung problem. Using $\wdd$ sets, we present a more directed construction of the well-filtered reflections of $T_0$ spaces, and prove that the products of any collection of well-filtered spaces are well-filtered. Our study also leads to a number of problems, whose answering will deepen our understanding of the related spaces and structures.


title: Light Nuclei Production in Au+Au Collisions at $\sqrt{s_{\mathrm{NN}}}$ = 5-200 GeV from JAM model

abstract: Light nuclei production is sensitive to the baryon density fluctuations and can be used to probe the QCD phase transition in relativistic heavy-ion collisions. In this work, we studied the production of proton, deuteron, triton in central Au+Au collisions at $\sqrt{s_{\mathrm{NN}}}$ = 5, 7.7, 11.5, 14.5, 19.6, 27, 39, 54.4, 62.4 and 200 GeV from a transport model (JAM). Based on the coalescence production of light nuclei, we calculated the energy dependence of rapidity density $dN/dy$ and particle ratios ($d/p$, $t/p$, and $t/d$). More importantly, the yield ratio $N_{{t}} \times N_{{p}} / N_{{d}}^{2}$, which is sensitive to the neutron density fluctuations, shows a flat energy dependence and cannot describe the non-monotonic trend observed by the STAR experiment. Based on the nucleon coalescence, this work can provide constraint and reference to search for the QCD critical point and/or first order phase transition with light nuclei production in future heavy-ion collision experiments.


title: Giant topological Hall effect in correlated oxide thin films

abstract: Strong electronic correlations can produce remarkable phenomena such as metal-insulator transitions and greatly enhance superconductivity, thermoelectricity, or optical non-linearity. In correlated systems, spatially varying charge textures also amplify magnetoelectric effects or electroresistance in mesostructures. However, how spatially varying spin textures may influence electron transport in the presence of correlations remains unclear. Here we demonstrate a very large topological Hall effect (THE) in thin films of a lightly electron-doped charge-transfer insulator, (Ca, Ce)MnO3. Magnetic force microscopy reveals the presence of magnetic bubbles, whose density vs. magnetic field peaks near the THE maximum, as is expected to occur in skyrmion systems. The THE critically depends on carrier concentration and diverges at low doping, near the metal-insulator transition. We discuss the strong amplification of the THE by correlation effects and give perspectives for its non-volatile control by electric fields.


title: Star-Forming, Rotating Spheroidal Galaxies in the GAMA and SAMI Surveys

abstract: The Galaxy And Mass Assembly (GAMA) survey has morphologically identified a class of "Little Blue Spheroid" (LBS) galaxies whose relationship to other classes of galaxies we now examine in detail. Considering a sample of 868 LBSs, we find that such galaxies display similar but not identical colours, specific star formation rates, stellar population ages, mass-to-light ratios, and metallicities to Sd-Irr galaxies. We also find that LBSs typically occupy environments of even lower density than those of Sd-Irr galaxies, where ~65% of LBS galaxies live in isolation. Using deep, high-resolution imaging from VST KiDS and the new Bayesian, two-dimensional galaxy profile modeling code PROFIT, we further examine the detailed structure of LBSs and find that their S\'ersic indices, sizes, and axial ratios are compatible with those of low-mass elliptical galaxies. We then examine SAMI Galaxy survey integral field emission line kinematics for a subset of 62 LBSs and find that the majority (42) of these galaxies display ordered rotation with the remainder displaying disturbed/non-ordered dynamics. Finally, we consider potential evolutionary scenarios for a population with this unusual combination of properties, concluding that LBSs are likely formed by a mixture of merger and accretion processes still recently active in low-redshift dwarf populations. We also infer that if LBS-like galaxies were subjected to quenching in a rich environment, they would plausibly resemble cluster dwarf ellipticals.


title: A hybrid echocardiography-computational fluid dynamics framework for ventricular flow simulations

abstract: Image-based computational fluid dynamics (CFD) has emerged as a powerful tool to study cardiovascular flows while 2D echocardiography (echo) is the most widely used non-invasive imaging modality for diagnosis of heart disease. Here, echo is combined with CFD, i.e., an echo-CFD framework, to study ventricular flows. To achieve this, our previous 3D reconstruction from multiple 2D-echo at standard cross-sections is extended by 1) reconstructing valves (aortic and mitral valves) from 2D-echo images and the superior wall; 2) optimizing the location and orientation of the surfaces to incorporate the physiological assumption of fixed apex as a reference (fixed) point for reconstruction; and 3) incorporating several smoothing algorithms to remove the nonphysical oscillations (ringing) near the basal section observed in our previous study. The main parameters of the reconstructed left ventricle (LV) are all within the physiologic range. Our results show that the mitral valve can significantly change the flow pattern inside the LV during the diastole phase in terms of ring vortex formation/propagation as well as the flow circulation. In addition, the abnormal shape of unhealthy LV can drastically change the flow field during the diastole phase. Furthermore, the hemodynamic energy loss, as an indicator of the LV pumping performance, for different test cases is calculated which shows a larger energy loss for unhealthy LV compared to the healthy one.


title: First order necessary conditions of optimality for the two dimensional Tidal dynamics system

abstract: In this work, we consider the two dimensional tidal dynamics equations in a bounded domain and address some optimal control problems like total energy minimization, minimization of dissipation of energy of the flow, etc. We also examine an another interesting control problem which is similar to that of the data assimilation problems in meteorology of obtaining unknown initial data, when the system under consideration is the tidal dynamics, using optimal control techniques. For these cases, different distributed optimal control problems are formulated as the minimization of suitable cost functionals subject to the controlled two dimensional tidal dynamics system. The existence of an optimal control as well as the first order necessary conditions of optimality for such systems is established and the optimal control is characterized via adjoint variable. We also establish the uniqueness of optimal control in small time interval.


title: CNN-based RGB-D Salient Object Detection: Learn, Select and Fuse

abstract: The goal of this work is to present a systematic solution for RGB-D salient object detection, which addresses the following three aspects with a unified framework: modal-specific representation learning, complementary cue selection and cross-modal complement fusion. To learn discriminative modal-specific features, we propose a hierarchical cross-modal distillation scheme, in which the well-learned source modality provides supervisory signals to facilitate the learning process for the new modality. To better extract the complementary cues, we formulate a residual function to incorporate complements from the paired modality adaptively. Furthermore, a top-down fusion structure is constructed for sufficient cross-modal interactions and cross-level transmissions. The experimental results demonstrate the effectiveness of the proposed cross-modal distillation scheme in zero-shot saliency detection and pre-training on a new modality, as well as the advantages in selecting and fusing cross-modal/cross-level complements.


title: Understanding Black Hole Formation in String Theory

abstract: The strongly coupled dynamics of black hole formation in bulk AdS is conjectured to be dual to the thermalization of a weakly interacting CFT on the boundary for low $N$ which, for $N\to\infty$, becomes strongly coupled. We search for this thermalization effect by utilizing the D1D5 CFT to compute effective string interactions for $N=2$. This is done by turning on a marginal deformation of the theory which twists together or untwists effective strings. For a system to thermalize, the initial state, which is far from thermal, must redistribute it's energy via interactions until a thermal state is achieved. In our case, we consider excited states of the effective strings. We compute splitting amplitudes for 1) one excitation going to three excitations and 2) two excitations going to four excitations using two insertions of the deformation. Scenario 1) corresponds to a single particle moving in AdS. Scenario 2) corresponds to two particles moving and colliding in AdS. We find that the `1 to 3' amplitude has terms which oscillate with time, $t$, where $t$ is the duration of the two deformations. We find that the `2 to 4' amplitude has similar oscillatory terms as well as secular terms which grow like $t^2$. For this case the growth implies that for large $t$ the excitations in the initial state, which carry a given energy, prefer to redistribute themselves amongst lower energy modes in the final state. This is a key feature of thermalization. Albeit in a simplified setting, we therefore argue that we have identified the thermalization vertex in the D1D5 CFT, which after repeated applications, should lead to thermalization. This ultimately maps to two particles colliding and forming a black hole in AdS, which in our case, is a fuzzball.


title: The decay $J/\psi\to\gamma\phi\phi$: spin dependence of amplitude and angular distributions of photons with linear polarizations

abstract: Based on the effective invariant amplitudes of the transitions $J/\psi\to\gamma X(J^P)$ and $X(J^P)\to\phi\phi$, the spin dependence of the $J/\psi\to\gamma X(J^P)\to\gamma\phi\phi$ decay amplitude is obtained in the case of the intermediate resonances $X$ with $J^P=0^\pm,1^\pm,2^\pm$. Angular distributions of photons with the definite linear polarizations relative to the plane spanned by the momentum of initial electron and the total momentum of the $\phi\phi$ pair in the reaction $e^+e^-\to J/\psi\to\gamma X(J^P)\to\gamma\phi\phi$ are calculated. It is shown that the sign of the asymmetry of the distributions of the photons polarized in the above plane and orthogonal to it correlates with the signature $P_X(-1)^{J_X}$ of the $X$ resonance with given spin-parity $J_X^{P_X}$ so it may help to establish this quantum number in a way which does not depend on the specific model of the $X(J^P)\to\phi\phi$ amplitude.


title: p-Adic open string amplitudes with Chan-Paton factors coupled to a constant B-field

abstract: We establish rigorously the regularization of the p-adic open string amplitudes, with Chan-Paton rules and a constant B-field, introduced by Ghoshal and Kawano. In this study we use techniques of multivariate local zeta functions depending on multiplicative characters and a phase factor which involves an antisymmetric bilinear form. These local zeta functions are new mathematical objects. We attach to each amplitude a multivariate local zeta function depending on the kinematics parameters, the B-field and the Chan-Paton factors. We show that these integrals admit meromorphic continuations in the kinematic parameters, this result allows us to regularize the Goshal-Kawano amplitudes, the regularized amplitudes do not have ultraviolet divergences. Due to the need of a certain symmetry, the theory works only for prime numbers which are congruent to 3 modulo 4. We also discuss the limit p tends to 1 in the noncommutative effective field theory and in the Ghoshal-Kawano amplitudes. We show that in the case of four points, the limit p tends to 1 of the regularized Ghoshal-Kawano amplitudes coincides with the Feynman amplitudes attached to the limit p tends to 1 of the noncommutative Gerasimov-Shatashvili Lagrangian.


title: Infusing Learned Priors into Model-Based Multispectral Imaging

abstract: We introduce a new algorithm for regularized reconstruction of multispectral (MS) images from noisy linear measurements. Unlike traditional approaches, the proposed algorithm regularizes the recovery problem by using a prior specified \emph{only} through a learned denoising function. More specifically, we propose a new accelerated gradient method (AGM) variant of regularization by denoising (RED) for model-based MS image reconstruction. The key ingredient of our approach is the three-dimensional (3D) deep neural net (DNN) denoiser that can fully leverage spationspectral correlations within MS images. Our results suggest the generalizability of our MS-RED algorithm, where a single trained DNN can be used to solve several different MS imaging problems.


title: Meta-Inverse Reinforcement Learning with Probabilistic Context Variables

abstract: Providing a suitable reward function to reinforcement learning can be difficult in many real world applications. While inverse reinforcement learning (IRL) holds promise for automatically learning reward functions from demonstrations, several major challenges remain. First, existing IRL methods learn reward functions from scratch, requiring large numbers of demonstrations to correctly infer the reward for each task the agent may need to perform. Second, existing methods typically assume homogeneous demonstrations for a single behavior or task, while in practice, it might be easier to collect datasets of heterogeneous but related behaviors. To this end, we propose a deep latent variable model that is capable of learning rewards from demonstrations of distinct but related tasks in an unsupervised way. Critically, our model can infer rewards for new, structurally-similar tasks from a single demonstration. Our experiments on multiple continuous control tasks demonstrate the effectiveness of our approach compared to state-of-the-art imitation and inverse reinforcement learning methods.


title: Scalable Traffic Engineering for Higher Throughput in Heavily-loaded Software Defined Networks

abstract: Existing traffic engineering (TE) solutions performs well for software defined network (SDN) in average cases. However, during peak hours, bursty traffic spikes are challenging to handle, because it is difficult to react in time and guarantee high performance even after failures with limited flow entries. Instead of leaving some capacity empty to guarantee no congestion happens due to traffic rerouting after failures or path updating after demand or topology changes, we decide to make full use of the network capacity to satisfy the demands for heavily-loaded peak hours. The TE system also needs to react to failures quickly and utilize the priority queue to guarantee the transmission of loss and delay sensitive traffic. We propose TED, a scalable TE system that can guarantee high throughput in peak hours. TED can quickly compute a group of maximum number of edge-disjoint paths for each ingress-egress switch pair. We design two methods to select paths under the flow entry limit. We then input the selected paths to our TE to minimize the maximum link utilization. In case of large traffic matrix making the maximum link utilization larger than 1, we input the utilization and the traffic matrix to the optimization of maximizing overall throughput under a new constrain. Thus we obtain a realistic traffic matrix, which has the maximum overall throughput and guarantees no traffic starvation for each switch pair. Experiments show that TED has much better performance for heavily-loaded SDN and has 10% higher probability to satisfy all (> 99.99%) the traffic after a single link failure for G-Scale topology than Smore under the same flow entry limit.


title: Spatially Continuous and High-resolution Land Surface Temperature: A Review of Reconstruction and Spatiotemporal Fusion Techniques

abstract: Remotely sensed, spatially continuous and high spatiotemporal resolution (hereafter referred to as high resolution) land surface temperature (LST) is a key parameter for studying the thermal environment and has important applications in many fields. However, difficult atmospheric conditions, sensor malfunctioning and scanning gaps between orbits frequently introduce spatial discontinuities into satellite-retri1eved LST products. For a single sensor, there is also a trade-off between temporal and spatial resolution and, therefore, it is impossible to obtain high temporal and spatial resolution simultaneously. In recent years the reconstruction and spatiotemporal fusion of LST products have become active research topics that aim at overcoming this limitation. They are two of most investigated approaches in thermal remote sensing and attract increasing attention, which has resulted in a number of different algorithms. However, to the best of our knowledge, currently no review exists that expatiates and summarizes the available LST reconstruction and spatiotemporal fusion methods and algorithms. This paper introduces the principles and theories behind LST reconstruction and spatiotemporal fusion and provides an overview of the published research and algorithms. We summarized three kinds of reconstruction methods for missing pixels (spatial, temporal and spatiotemporal methods), two kinds of reconstruction methods for cloudy pixels (Satellite Passive Microwave (PMW)-based and Surface Energy Balance (SEB)-based methods) and three kinds of spatiotemporal fusion methods (weighted function-based, unmixing-based and hybrid methods). The review concludes by summarizing validation methods and by identifying some promising future research directions for generating spatially continuous and high resolution LST products.


title: Jointly Learning Entity and Relation Representations for Entity Alignment

abstract: Entity alignment is a viable means for integrating heterogeneous knowledge among different knowledge graphs (KGs). Recent developments in the field often take an embedding-based approach to model the structural information of KGs so that entity alignment can be easily performed in the embedding space. However, most existing works do not explicitly utilize useful relation representations to assist in entity alignment, which, as we will show in the paper, is a simple yet effective way for improving entity alignment. This paper presents a novel joint learning framework for entity alignment. At the core of our approach is a Graph Convolutional Network (GCN) based framework for learning both entity and relation representations. Rather than relying on pre-aligned relation seeds to learn relation representations, we first approximate them using entity embeddings learned by the GCN. We then incorporate the relation approximation into entities to iteratively learn better representations for both. Experiments performed on three real-world cross-lingual datasets show that our approach substantially outperforms state-of-the-art entity alignment methods.


title: Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization

abstract: Inverse kinematics is a fundamental problem for articulated robots: fast and accurate algorithms are needed for translating task-related workspace constraints and goals into feasible joint configurations. In general, inverse kinematics for serial kinematic chains is a difficult nonlinear problem, for which closed form solutions cannot be easily obtained. Therefore, computationally efficient numerical methods that can be adapted to a general class of manipulators are of great importance. % to motion planning and workspace generation tasks. In this paper, we use convex optimization techniques to solve the inverse kinematics problem with joint limit constraints for highly redundant serial kinematic chains with spherical joints in two and three dimensions. This is accomplished through a novel formulation of inverse kinematics as a nearest point problem, and with a fast sum of squares solver that exploits the sparsity of kinematic constraints for serial manipulators. Our method has the advantages of post-hoc certification of global optimality and a runtime that scales polynomialy with the number of degrees of freedom. Additionally, we prove that our convex relaxation leads to a globally optimal solution when certain conditions are met, and demonstrate empirically that these conditions are common and represent many practical instances. Finally, we provide an open source implementation of our algorithm.


title: Effect of Schwinger pair production on the evolution of the Hubble constant in de~Sitter spacetime

abstract: In this proceeding we consider a massive charged scalar field in a uniform electric field background in a de~Sitter spacetime (dS). We compute the in-vacuum expectation value of the trace of the energy-momentum tensor for the created Schwinger pairs, and using adiabatic subtraction scheme the trace is regularized. The effect of the Schwinger pair creation on the evolution of the Hubble constant is investigated. We find that the production of the semiclassical pairs leads to a decay of the Hubble constant. Whereas, the production of a light scalar field in the weak electric field regime leads to a superacceleration phenomenon.


title: Discerning Solution Concepts

abstract: The empirical analysis of discrete complete-information games has relied on behavioral restrictions in the form of solution concepts, such as Nash equilibrium. Choosing the right solution concept is crucial not just for identification of payoff parameters, but also for the validity and informativeness of counterfactual exercises and policy implications. We say that a solution concept is discernible if it is possible to determine whether it generated the observed data on the players' behavior and covariates. We propose a set of conditions that make it possible to discern solution concepts. In particular, our conditions are sufficient to tell whether the players' choices emerged from Nash equilibria. We can also discern between rationalizable behavior, maxmin behavior, and collusive behavior. Finally, we identify the correlation structure of unobserved shocks in our model using a novel approach.


title: Structural Alternation Correlated to the Conductivity Enhancement of PEDOT:PSS Films by Secondary Doping

abstract: "Secondary doping" in poly(3,4-ethylenedioxy-thiophene):poly(styrenesulfonate) (PEDOT:PSS) is quite effective and a frequently used method for the conductivity enhancement. This simple approach, the addition of co-solvents to the PEDOT:PSS solution before film fabrication, is an essential way to derive the high electrical performance of PEDOT:PSS, but the mechanism still remains unclear. In this study, nanoscale structural changes synchronized with the conductivity enhancement via secondary doping in PEDOT:PSS films were investigated. During secondary doping with ethylene glycol near the critical dopant concentration, non-crystalized PEDOT molecules uncoupled from PSS chains and then underwent nano-crystallization. These structural changes might be the key driving force for conductivity enhancement via secondary doping.


title: Integral operators with rough kernels in variable Lebesgue spaces

abstract: In this paper we study integral operators with kernels \begin{equation*} K(x,y)= k_1( x- A_1y)...k_m( x-A_my), \end{equation*} $k_i(x)=\frac{\Omega_i(x)}{|x|^{n/q_i}}$ where $\Omega_i: \mathbb{R}^n\to \mathbb{R}$ are homogeneous functions of degree zero, satisfying a size and a Dini condition, $A_{i}$ are certain invertible matrices, and $\frac n{q_1}+\dots\frac n{q_m}=n-\alpha,$ $0\leq \alpha <n.$ We obtain the boundedness of this operator from $L^{p(\cdot)}$ into $% L^{q(\cdot)}$ for $\frac{1}{q(\cdot)}=\frac{1}{p(\cdot)}-\frac{\alpha }{n},$ for certain exponent functions $p$ satisfying weaker conditions than the classical log-H\"older conditions.


title: Post-Disturbance Dynamic Frequency Features Prediction Based on Convolutional Neural Network

abstract: The significant imbalance between power generation and load caused by severe disturbance may make the power system unable to maintain a steady frequency. If the post-disturbance dynamic frequency features can be predicted and emergency controls are appropriately taken, the risk of frequency instability will be greatly reduced. In this paper, a predictive algorithm for post-disturbance dynamic frequency features is proposed based on convolutional neural network (CNN) . The operation data before and immediately after disturbance is used to construct the input tensor data of CNN, with the dynamic frequency features of the power system after the disturbance as the output. The operation data of the power system such as generators unbalanced power has spatial distribution characteristics. The electrical distance is presented to describe the spatial correlation of power system nodes, and the t-SNE dimensionality reduction algorithm is used to map the high-dimensional distance information of nodes to the 2-D plane, thereby constructing the CNN input tensor to reflect spatial distribution of nodes operation data on 2-D plane. The CNN with deep network structure and local connectivity characteristics is adopted and the network parameters are trained by utilizing the backpropagation-gradient descent algorithm. The case study results on an improved IEEE 39-node system and an actual power grid in USA shows that the proposed method can predict the lowest frequency of power system after the disturbance accurately and quickly.


title: Automated Verification of Integer Overflow

abstract: Integer overflow accounts for one of the major source of bugs in software. Verification systems typically assume a well defined underlying semantics for various integer operations and do not explicitly check for integer overflow in programs. In this paper we present a specification mechanism for expressing integer overflow. We develop an automated procedure for integer overflow checking during program verification. We have implemented a prototype integer overflow checker and tested it on a benchmark consisting of already verified programs (over 14k LOC). We have found 43 bugs in these programs due to integer overflow.


title: Learning Lightweight Pedestrian Detector with Hierarchical Knowledge Distillation

abstract: It remains very challenging to build a pedestrian detection system for real world applications, which demand for both accuracy and speed. This work presents a novel hierarchical knowledge distillation framework to learn a lightweight pedestrian detector, which significantly reduces the computational cost and still holds the high accuracy at the same time. Following the `teacher--student' diagram that a stronger, deeper neural network can teach a lightweight network to learn better representations, we explore multiple knowledge distillation architectures and reframe this approach as a unified, hierarchical distillation framework. In particular, the proposed distillation is performed at multiple hierarchies, multiple stages in a modern detector, which empowers the student detector to learn both low-level details and high-level abstractions simultaneously. Experiment result shows that a student model trained by our framework, with 6 times compression in number of parameters, still achieves competitive performance as the teacher model on the widely used pedestrian detection benchmark.


title: Quantum Spin Hall Insulators in Tin Films: Beyond Stanene

abstract: Large-gap quantum spin Hall (QSH) insulators were previously predicted in stanene and its derivatives. Beyond stanene that is the thinnest $\alpha$-Sn(111) film, we propose to explore QSH insulators in $\alpha$-Sn films with different crystallographic orientations. Our first-principles calculations reveal that the thickness-dependent band gap of $\alpha$-Sn (100) and (110) films does not show a monotonic decrease as typically expected by quantum confinement, but displays an oscillating change behavior, an indicative of topological quantum phase transition. While these films are normal insulators in the ultrathin limit, the QSH phase emerges above a critical film thickness of around 10 layers. Remarkably, the QSH insulators are obtainable within a wide thickness range and their energy gaps are sizable (even $>$0.1 eV), which facilitates experimental realization of the high-temperature QSH effect.


title: Experimental certification of steering criterion based on general entropic uncertainty relation

abstract: Quantum steering describes the phenomenon that one system can be immediately influenced by another with local measurements. It can be detected by the violation of a powerful and useful steering criterion from general entropic uncertainty relation. This criterion, in principle, can be evaluated straightforwardly and achieved by only probability distributions from a finite set of measurement settings. Herein, we experimentally verify the steering criterion by means of the two-photon Werner-like states and three Pauli measurements. The results indicate that quantum steering can be verified by the criterion in a convenient way. In particular, it is no need to perform the usual quantum state tomography in experiment, which reduces the required experimental resources greatly. Moreover, we demonstrate that the criterion is stronger than the linear one for the detecting quantum steering of the Werner-like states.


title: A complete invariant for closed surfaces in the three-sphere

abstract: Associated to an embedded surface in the $3$-sphere, we construct a diagram of fundamental groups, and prove that it is a complete invariant, wherefrom we deduce complete invariants of handlebody links, tunnels of handlebody links, and spatial graphs.The main ingredients in the proof of the completeness are a generalization of the Kneser conjecture for $3$-manifolds with boundary proved also here, and extensions of Waldhausen's theorem by Evans, Tucker and Swarup. Computable invariants of handlebody links derived therefrom are calculated.


title: Modeling and Designing Routing Protocols in Quantum Networks

abstract: Quantum networks enable a number of important applications such as quantum key distribution. The basic function of a quantum network is to enable long-distance quantum entanglement between two remote communication parties. This work focuses on the entanglement routing problem, whose objective is to build long-distance entanglements for the concurrent source-destination pairs through multiple hops. Different from existing works that analyzes the traditional routing techniques on special network topologies, we present a comprehensive entanglement routing model that reflects the differences between quantum networks and classical networks and new entanglement routing algorithms that utilize the unique properties of quantum networks. Evaluation results show that the proposed algorithm Q-CAST increases the number of successful long-distance entanglements by a big margin compared to other methods. The model and simulator developed by this work may encourage more network researchers to study the entanglement routing problem.


title: CFT sewing as the dual of AdS cut-and-paste

abstract: The CPT map allows two states of a quantum field theory to be sewn together over CPT-conjugate partial Cauchy surfaces $R_1,R_2$ to make a state on a new spacetime. We study the holographic dual of this operation in the case where the original states are CPT-conjugate within $R_1,R_2$ to leading order in the bulk Newton constant $G$, and where the bulk duals are dominated by classical bulk geometries $g_1,g_2$. For states of fixed area on the $R_1,R_2$ HRT-surfaces, we argue that the bulk geometry $g_1 \# g_2$ dual to the newly sewn state is given by deleting the entanglement wedges of $R_1,R_2$ from $g_1,g_2$, gluing the remaining complementary entanglement wedges of ${\bar R}_1, {\bar R}_2$ together across the HRT surface, and solving the equations of motion to the past and future. The argument uses the bulk path integral and assumes it to be dominated by a certain natural saddle. For states where the HRT area is not fixed, the same bulk cut-and-paste is dual to a modified sewing that produces a generalization of the canonical purification state $\sqrt{\rho}$ discussed recently by Dutta and Faulkner. Either form of the construction can be used to build CFT states dual to bulk geometries associated with multipartite reflected entropy.


title: Exact ground-state properties of one-dimensional electron gas at high density

abstract: The dynamical response theory is used to obtain an analytical expression for the exchange energy of a quantum wire for arbitrary polarization and width. It reproduces the known form of exchange energy for 1D electron gas in the limit of infinitely thin cylindrical and harmonic wires. The structure factor for these wires are also obtained analytically in the high-density or small $r_s$ limit. This structure factor enables us to get the {\it exact} correlation energy for both the wires and demonstrates that there are at least two methods to get the ideal Coulomb limit in one dimension. The structure factor and the correlation energy are found to be independent of the way the one-dimensional Coulomb potential is regularized. The analytical expression for the pair correlation function is also presented for small distances and provides a justification for the small $r_s$ expansion as long as $r_s< \frac{3}{2} \left(\frac{\pi^2}{\pi^2+3} \right)=1.15$.


title: Theory of Freezing Point Depression in Charged Porous Media

abstract: Freezing in charged porous media can induce significant pressure and cause damage to tissues and functional materials. We formulate a thermodynamically consistent theory to model freezing phenomena inside charged heterogeneous porous space. Two regimes are distinguished: free ions in open pore space lead to negligible effects of freezing point depression and pressure. On the other hand, if nano-fluidic salt trapping happens, subsequent ice formation is suppressed due to the high concentration of ions in the electrolyte. In this case, our theory predicts that freezing starts at a significantly lower temperature compared to pure water. In 1D, as the temperature goes even lower, ice continuously grows, until the salt concentration reaches saturation, all ions precipitate to form salt crystals, and freezing completes. Enormous pressure can be generated if initial salt concentration is high before salt entrapment. We show modifications to the classical nucleation theory, due to the trapped salt ions. Interestingly, although the freezing process is enormously changed by trapped salts, our analysis shows that the Gibbs-Thompson equation on confined melting point shift is not affected by the presence of the electrolyte.


title: Weak Vop\v{e}nka's Principle does not imply Vop\v{e}nka's Principle

abstract: Vop\v{e}nka's Principle says that the category of graphs has no large discrete full subcategory, or equivalently that the category of ordinals cannot be fully embedded into it. Weak Vop\v{e}nka's Principle is the dual statement, which says that the opposite category of ordinals cannot be fully embedded into the category of graphs. It was introduced in 1988 by Ad\'{a}mek, Rosick\'{y}, and Trnkov\'{a}, who showed that it follows from Vop\v{e}nka's Principle and asked whether the two statements are equivalent. We show that they are not. However, we show that Weak Vop\v{e}nka's Principle is equivalent to the generalization of itself known as Semi-Weak Vop\v{e}nka's Principle.


title: Optimized Correlation Measures in Holography

abstract: We consider a class of correlation measures for quantum states called optimized correlation measures, defined as a minimization of a linear combination of von Neumann entropies over purifications of a given state. Examples include the entanglement of purification $E_P$ and squashed entanglement $E_{\text{sq}}$. We show that when evaluating such measures on ``nice" holographic states in the large-$N$ limit, the optimal purification has a semi-classical geometric dual. We then apply this result to confirm several holographic dual proposals, including the $n$-party squashed entanglement. Moreover, our result suggests two new techniques for determining holographic duals: holographic entropy inequalities and direct optimization of the dual geometry.


title: Typicality-Based Variational Cluster Approach to Thermodynamic Properties of the Hubbard Model

abstract: We develop the variational-cluster-approximation method based on the thermal-pure-quantum-state approach and apply the method to the calculations of the thermodynamic properties of the Hubbard model, thereby obtaining the temperature dependence of the single-particle excitation spectra, entropy and specific heat, and order parameter of the antiferromagnetic phase efficiently. We thus demonstrate that the method developed here has a potential power for elucidating finite-temperature properties of strongly correlated electron systems.


title: Generalized Maximum Likelihood Estimators and their applications to stratified sampling and post-stratification with many unobserved strata

abstract: Consider the problem of estimating a weighted average of the means of $n$ strata, based on a random sample with realized $K_i$ observations from stratum $i, \; i=1,...,n$. This task is non-trivial in cases where for a significant portion of the strata the corresponding $K_i=0$. Such a situation may happen in post-stratification, when it is desired to have a very fine sftratification. A fine stratification could be desired in order that assumptions, or, approximations, like Missing At Random conditional on strata, will be appealing. A fine stratification could also be desired in observational studies, when it is desired to estimate average treatment effect, by averaging the effects in small and homogenous strata. Our approach is based on applying Generalized Maximum Likelihood Estimators (GMLE), and ideas that are related to Non-Parametric Empirical Bayes, in order to estimate the means of strata $i$ with corresponding $K_i=0$. There are no assumptions about a relation between the means of the unobserved strata (i.e., with $K_i=0$) and those of the observed strata. The performance of our approach is demonstrated both in simulations and on a real data set. Some consistency and asymptotic results are also presented. In addition, related basic results about GMLE estimation of the mean of mixtures of exponential families are provided.


title: Single-qubit measurement of Heisenberg uncertainty lower bounds for three incompatible observables

abstract: Being one of the centroidal concepts in quantum theory, the fundamental constraint imposed by Heisenberg uncertainty relations has always been a subject of immense attention and challenging in the context of joint measurements of general quantum mechanical observables. In particular, the recent extension of the original uncertainty relations has grabbed a distinct research focus and set a new ascendent target in quantum mechanics and quantum information processing. In the present work we explore the joint measurements of three incompatible observables, following the basic idea of a newly proposed error trade-off relation. In comparison to the counterpart of two incompatible observables, the joint measurements of three incompatible observables are more complex and of more primal interest in understanding quantum mechanical measurements. Attributed to the pristine idea proposed by Heisenberg in 1927, we develop the error trade-off relations for compatible observables to categorically approximate the three incompatible observables. Implementing these relations we demonstrate the first experimental witness of the joint measurements for three incompatible observables using a single ultracold $^{40}Ca^{+}$ ion in a harmonic potential. We anticipate that our inquisition would be of vital importance for quantum precision measurement and other allied quantum information technologies.


title: A Simple yet Effective Baseline for Robust Deep Learning with Noisy Labels

abstract: Recently deep neural networks have shown their capacity to memorize training data, even with noisy labels, which hurts generalization performance. To mitigate this issue, we provide a simple but effective baseline method that is robust to noisy labels, even with severe noise. Our objective involves a variance regularization term that implicitly penalizes the Jacobian norm of the neural network on the whole training set (including the noisy-labeled data), which encourages generalization and prevents overfitting to the corrupted labels. Experiments on both synthetically generated incorrect labels and realistic large-scale noisy datasets demonstrate that our approach achieves state-of-the-art performance with a high tolerance to severe noise.


title: Secure Interference Exploitation Precoding in MISO Wiretap Channel: Destructive Region Redefinition with Efficient Solutions

abstract: In this paper, we focus on the physical layer security for a K-user multiple-input-single-output (MISO) wiretap channel in the presence of a malicious eavesdropper, where we propose several interference exploitation (IE) precoding schemes for different types of the eavesdropper. Specifically, in the case where a common eavesdropper decodes the signal directly and Eve's full channel state information (CSI) is available at the transmitter, we show that the required transmit power can be further reduced by re-designing the `destructive region' of the constellations for symbol-level precoding and re-formulating the power minimization problem. We further study the SINR balancing problems with the derived `complete destructive region' with full, statistical and no Eve's CSI, respectively, and show that the SINR balancing problem becomes non-convex with statistical or no Eve's CSI. On the other hand, in the presence of a smart eavesdropper using maximal likelihood (ML) detection, the security cannot be guaranteed with all the existing approaches. To this end, we further propose a random jamming scheme (RJS) and a random precoding scheme (RPS), respectively. To solve the introduced convex/non-convex problems in an efficient manner, we propose an iterative algorithm for the convex ones based on the Karush-Kuhn-Tucker (KKT) conditions, and deal with the non-convex ones by resorting to Taylor expansions. Simulation results show that all proposed schemes outperform the existing works in secrecy performance, and that the proposed algorithm improves the computation efficiency significantly.


title: A single-lens universal interferometer: Towards a class of frugal optical devices

abstract: The application of precision interferometers is generally restricted to expensive and smooth high-quality surfaces. Here, we offer a route to ultimate miniaturization of interferometer by integrating beam splitter, reference mirror and light collector into a single optical element, an interference lens (iLens), which produces stable high-contrast fringes from in situ surface of paper, wood, plastic, rubber, unpolished metal, human skin, etc. A self-referencing real-time precision of sub-20 picometer (~ lambda/30000) is demonstrated with simple intensity detection under ambient conditions. The principle of iLens interferometry has been exploited to build a variety of compact devices, such as a paper-based optical pico-balance, having 1000 times higher sensitivity and speed, when compared with a high-end seven-digit electronic balance. Furthermore, we used cloth, paper, polymer-films to readily construct broadband acoustic sensors possessing matched or higher sensitivity when compared with piezo and electromagnetic sensors. Our work opens path for affordable yet ultra-precise frugal photonic devices and universal micro-interferometers for imaging.


title: Emergent magnetic texture in driven twisted bilayer graphene

abstract: The transport properties of a twisted bilayer graphene barrier are investigated for various twist angles. Remarkably, for small twist angles around the magic angle $\theta_m \sim 1.05^{\circ}$, the local currents around the AA-stacked regions are strongly enhanced compared to the injected electron rate. Furthermore, the total and counterflow (magnetic) current patterns show high correlations in these regions, given rise to well-defined magnetic moments that form a magnetic Moir\'e superlattice. The orientation and magnitude of these magnetic moments changes as function of the gate voltage and possible implications for emergent spin-liquid behaviour are discussed.


title: Raman LIDARs for the atmospheric calibration along the line-of-sight of CTA

abstract: The Cherenkov Telescope Array (CTA) is the next generation ground based observatory for gamma ray astronomy at very high energies. Employing more than 100 Imaging Atmospheric Cherenkov Telescopes in the northern and southern hemispheres, it was designed to reach unprecedented sensitivity and energy resolution. Understanding and correcting for systematic biases on the absolute energy scale and instrument response functions will be a crucial issue for the performance of CTA. The LUPM group and the Spanish/Italian/Slovenian collaboration are currently building two Raman LIDAR prototypes for the online atmospheric calibration along the line of sight of the CTA. Requirements for such a solution include the ability to characterize aerosol extinction at two wavelengths to distances of 30 km with an accuracy better than 5%, within time scales of about a minute, steering capabilities and close interaction with the CTA array control and data acquisition system as well as other auxiliary instruments. Our Raman LIDARs have design features that make them different from those used in atmospheric science and are characterized by large collecting mirrors (2.5 m2), liquid light guides that collect the light at the focal plane and transport it to the readout system, reduced acquisition time and highly precise Raman spectrometers. The Raman LIDARs will participate in a cross calibration and characterization campaign of the atmosphere at the CTA North site at La Palma, together with other site characterization instruments. After a one year test period there, an in depth evaluation of the solutions adopted by the two projects will lead to a final Raman LIDAR design proposal for both CTA sites.


title: AXEL: High-pressure Xe gas TPC for BG-free $0\nu2\beta$ decay search

abstract: AXEL is a high-pressure xenon gas time projection chamber for neutrinoless double-beta decay (0n2b) search. The AXEL has a unique readout system called ELCC which has a cellular structure and photosensors to detect electroluminescence light produced by ionization electrons. We demonstrated the performance of the ELCC with a small prototype detector (AXEL-HP10L). The obtained energy resolution corresponds to 0.82 -- 1.74% (FWHM) at the 0n2b Q-value. We are constructing a new prototype (AXEL-HP180L) in order to study the energy resolution at the Q-value of 0n2b with a new design of ELCC with unit structure, newly developed electronics board, field-shaping electrodes, and Cockcroft-Walton-type high voltage power supply. For a future 1-ton scale large AXEL detector, we are developing new background-reduction techniques; topology identification with machine learning, positive-ion detection, and active-shield options.


title: $L^p$-theory for a fluid-structure interaction model

abstract: We consider a fluid-structure interaction model for an incompressible fluid where the elastic response of the free boundary is given by a damped Kirchhoff plate model. Utilizing the Newton polygon approach, we first prove maximal regularity in $L^p$-Sobolev spaces for a linearized version. Based on this, we show existence and uniqueness of the strong solution of the nonlinear system for small data.


title: Does SLOPE outperform bridge regression?

abstract: A recently proposed SLOPE estimator (arXiv:1407.3824) has been shown to adaptively achieve the minimax $\ell_2$ estimation rate under high-dimensional sparse linear regression models (arXiv:1503.08393). Such minimax optimality holds in the regime where the sparsity level $k$, sample size $n$, and dimension $p$ satisfy $k/p \rightarrow 0$, $k\log p/n \rightarrow 0$. In this paper, we characterize the estimation error of SLOPE under the complementary regime where both $k$ and $n$ scale linearly with $p$, and provide new insights into the performance of SLOPE estimators. We first derive a concentration inequality for the finite sample mean square error (MSE) of SLOPE. The quantity that MSE concentrates around takes a complicated and implicit form. With delicate analysis of the quantity, we prove that among all SLOPE estimators, LASSO is optimal for estimating $k$-sparse parameter vectors that do not have tied non-zero components in the low noise scenario. On the other hand, in the large noise scenario, the family of SLOPE estimators are sub-optimal compared with bridge regression such as the Ridge estimator.


title: Results and status of the EUSO-TA detector

abstract: EUSO-TA is a ground-based telescope, located at the Black Rock Mesa site of Telescope Array (TA), Utah, USA. The main aim of the instrument is observation of Ultra High Energy Cosmic Rays through detection of ultraviolet light generated by cosmic-ray showers. EUSO-TA consists of two, 1 m2 Fresnel lenses with a field of view of about 11x11 deg. Light is focused on the Photo Detector Module composed of 36 Hamamatsu multi-anode photomultipliers, for a total of 2304 channels. During operations, the telescope is housed in a shed located in front of the TA Fluorescence Detector. We present the results from EUSO-TA observational campaigns performed in years 2015 and 2016, including detected cosmic rays, meteors and laser shots. Also shown are the details of current instrument setup and upgrade of the detector to phase II.


title: MIMII Dataset: Sound Dataset for Malfunctioning Industrial Machine Investigation and Inspection

abstract: Factory machinery is prone to failure or breakdown, resulting in significant expenses for companies. Hence, there is a rising interest in machine monitoring using different sensors including microphones. In the scientific community, the emergence of public datasets has led to advancements in acoustic detection and classification of scenes and events, but there are no public datasets that focus on the sound of industrial machines under normal and anomalous operating conditions in real factory environments. In this paper, we present a new dataset of industrial machine sounds that we call a sound dataset for malfunctioning industrial machine investigation and inspection (MIMII dataset). Normal sounds were recorded for different types of industrial machines (i.e., valves, pumps, fans, and slide rails), and to resemble a real-life scenario, various anomalous sounds were recorded (e.g., contamination, leakage, rotating unbalance, and rail damage). The purpose of releasing the MIMII dataset is to assist the machine-learning and signal-processing community with their development of automated facility maintenance. The MIMII dataset is freely available for download at: https://zenodo.org/record/3384388


title: A blow-up result for the semilinear Moore-Gibson-Thompson equation with nonlinearity of derivative type in the conservative case

abstract: In this paper, we study the blow-up of solutions to the semilinear Moore-Gibson-Thompson (MGT) equation with nonlinearity of derivative type $|u_t|^p$ in the conservative case. We apply an iteration method in order to study both the subcritical case and the critical case. Hence, we obtain a blow-up result for the semilinear MGT equation (under suitable assumptions for initial data) when the exponent $p$ for the nonlinear term satisfies $1<p\leqslant (n+1)/(n-1)$ for $n\geqslant2$ and $p>1$ for $n=1$. In particular, we find the same blow-up range for $p$ as in the corresponding semilinear wave equation with nonlinearity of derivative type.


title: Deep 3D-Zoom Net: Unsupervised Learning of Photo-Realistic 3D-Zoom

abstract: The 3D-zoom operation is the positive translation of the camera in the Z-axis, perpendicular to the image plane. In contrast, the optical zoom changes the focal length and the digital zoom is used to enlarge a certain region of an image to the original image size. In this paper, we are the first to formulate an unsupervised 3D-zoom learning problem where images with an arbitrary zoom factor can be generated from a given single image. An unsupervised framework is convenient, as it is a challenging task to obtain a 3D-zoom dataset of natural scenes due to the need for special equipment to ensure camera movement is restricted to the Z-axis. In addition, the objects in the scenes should not move when being captured, which hinders the construction of a large dataset of outdoor scenes. We present a novel unsupervised framework to learn how to generate arbitrarily 3D-zoomed versions of a single image, not requiring a 3D-zoom ground truth, called the Deep 3D-Zoom Net. The Deep 3D-Zoom Net incorporates the following features: (i) transfer learning from a pre-trained disparity estimation network via a back re-projection reconstruction loss; (ii) a fully convolutional network architecture that models depth-image-based rendering (DIBR), taking into account high-frequency details without the need for estimating the intermediate disparity; and (iii) incorporating a discriminator network that acts as a no-reference penalty for unnaturally rendered areas. Even though there is no baseline to fairly compare our results, our method outperforms previous novel view synthesis research in terms of realistic appearance on large camera baselines. We performed extensive experiments to verify the effectiveness of our method on the KITTI and Cityscapes datasets.


title: Precision calculation of isospin-symmetry-breaking corrections to T=1/2 mirror decays using multi-reference charge-dependent density functional theory

abstract: We present systematic study of isospin impurities ($\alpha_{\rm ISB}$) to the wave functions of $T=1/2$, $11\leq A \leq 47$ mirror nuclei and the isospin-symmetry-breaking (ISB) corrections ($\delta_{\rm ISB}^{\rm V}$) to their ground state vector $\beta$-decays using, for the first time, multi-reference charge-dependent density functional theory (MR-DFT) that includes strong-force-rooted class-III interaction adjusted to correct for the Nolen-Schiffer anomaly in nuclear masses. We demonstrate that, unexpectedly, the strong-force-rooted isovector force gives rise to a large systematic increase of $\alpha_{\rm ISB}$ and $\delta_{\rm ISB}^{\rm V}$ as compared to the results obtained within MR-DFT that uses Coulomb interaction as the only source of ISB. This, in turn, increases a central value of the $V_{\rm ud}$ element of the CKM matrix extracted from the $T=1/2$ mirrors bringing it closer to the value obtained form the purely vector superallowed $0^+ \to 0^+$ transitions. In order to compute the value of $V_{\rm ud}$, we performed precision calculation of the Fermi matrix elements in $A=19, 21, 35$, and 37 mirror nuclei using DFT-rooted configuration-interaction model that includes all relevant axially-deformed particle-hole configurations built upon Nilsson orbitals originating from the spherical $sd$ shell. Our calculations yield $|V_{\rm ud}|=0.9736(16)$.


title: An Experimental Comparison of Map-like Visualisations and Treemaps

abstract: Treemaps have been used in information visualisation for over two decades. They make use of nested filled areas to represent information hierarchies such as file systems, library catalogues, etc. Recent years have witnessed the emergence of visualisations that resemble geographic maps. In this paper we present a study that compares the performance of one such map-like visualisation with the original two forms of the treemap, namely nested and non-nested treemaps. Our study employed a mixed-method evaluation of accuracy, speed and usability (such as the ease-of-use and helpfulness of understanding the information). We found that accuracy was highest for the map-like visualisations, followed by nested treemaps and lastly non-nested treemaps. Task performance was fastest for nested treemaps, followed by non-nested treemaps, and then map-like visualisations. For usability, nested treemaps was considered slightly more helpful than map-like visualisations while non-nested performed poorly. We conclude that the results regarding accuracy are promising for the use of map-like visualisations in tasks involving the visualisation of hierarchical information, while non-nested treemap are favoured in tasks requiring speed.