title: General supervised learning as change propagation with delta lenses

abstract: Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations. Following the recent observations by Fong et al, the paper extends the delta lens framework with a a new ingredient: learning over a parameterized space of model transformations seen as functors. We define a notion of an asymmetric learning delta lens with amendment (ala-lens), and show how ala-lenses can be organized into a symmetric monoidal (sm) category. We also show that sequential and parallel composition of well-behaved ala-lenses are also well-behaved so that well-behaved ala-lenses constitute a full sm-subcategory of ala-lenses.


title: Simulation-based reinforcement learning for real-world autonomous driving

abstract: We use reinforcement learning in simulation to obtain a driving system controlling a full-size real-world vehicle. The driving policy takes RGB images from a single camera and their semantic segmentation as input. We use mostly synthetic data, with labelled real-world data appearing only in the training of the segmentation network. Using reinforcement learning in simulation and synthetic data is motivated by lowering costs and engineering effort. In real-world experiments we confirm that we achieved successful sim-to-real policy transfer. Based on the extensive evaluation, we analyze how design decisions about perception, control, and training impact the real-world performance.


title: Enhancing Passive Non-Line-of-Sight Imaging Using Polarization Cues

abstract: This paper presents a method of passive non-line-of-sight (NLOS) imaging using polarization cues. A key observation is that the oblique light has a different polarimetric signal. It turns out this effect is due to the polarization axis rotation, a phenomena which can be used to better condition the light transport matrix for non-line-of-sight imaging. Our analysis and results show that the use of a polarizer in front of the camera is not only a separate technique, but it can be seen as an enhancement technique for more advanced forms of passive NLOS imaging. For example, this paper shows that polarization can enhance passive NLOS imaging both with and without occluders. In all tested cases, despite the light attenuation from polarization optics, recovery of the occluded images is improved.


title: Freed-Isobar Analysis of Light Mesons at COMPASS

abstract: Modern hadron-spectroscopy experiments such as COMPASS collect data samples of unprecedented size, so that novel analysis techniques become possible and necessary. One such technique is the freed-isobar partial-wave analysis (PWA). In this approach, fixed parametrizations for the amplitudes of intermediate states commonly modeled using Breit-Wigner shapes are replaced by sets of step-like functions that are determined from the data. This approach not only reduces the model dependence of partial-wave analyses, but also allows us to study the amplitudes of the intermediate states and their dependence on the parent system. We will also present results of a freed-isobar PWA performed on the large data set on diffractive production of three charged pions collected by the COMPASS experiment, which consists of $46\times10^6$ exclusive events. We will focus on results for the wave with spin-exotic quantum numbers $J^{PC}=1^{-+}$, in particular on its decay into $\rho(770)\pi$. Here, the freed-isobar PWA method provides insight into the interplay of three- and two-particle dynamics and confirms the decay of the spin-exotic $\pi_1(1600)$ resonance to $\rho(770)\pi$ in a model-independent way.


title: On the Tits-Weiss Conjecture and the Kneser-Tits Conjecture for $\mathrm{E}^{78}_{7,1}$ and $\mathrm{E}^{78}_{8,2}$

abstract: We prove that the structure group of any Albert algebra over an arbitrary field is $R$-trivial. This implies the Tits-Weiss conjecture for Albert algebras and the Kneser-Tits conjecture for isotropic groups of type $\mathrm{E}_{7,1}^{78}, \mathrm{E}_{8,2}^{78}$. As a further corollary, we show that some standard conjectures on the groups of $R$-equivalence classes in algebraic groups and the norm principle are true for strongly inner forms of type $^1\mathrm{E}_6$.


title: Systematic external evaluation of published population pharmacokinetic models for tacrolimus in adult liver transplant recipients

abstract: Background:Diverse tacrolimus population pharmacokinetic models in adult liver transplant recipients have been established to describe the PK characteristics of tacrolimus in the last two decades. However, their extrapolated predictive performance remains unclear.Therefore,in this study,we aimed to evaluate their external predictability and identify their potential influencing factors. Methods:The external predictability of each selected popPK model was evaluated using an independent dataset of 84 patients with 572 trough concentrations prospectively collected from Huashan Hospital. Prediction and simulation based diagnostics and Bayesian forecasting were conducted to evaluate model predictability. Furthermore, the effect of model structure on the predictive performance was investigated.Results:Sixteen published popPK models were assessed. In prediction-based diagnostics,the prediction error within 30% was below 50% in all the published models. The simulation based normalised prediction distribution error test and visual predictive check indicated large discrepancies between the observations and simulations in most of the models. Bayesian forecasting showed improvement in model predictability with two to three prior observations. Additionally, the predictive performance of the nonlinear Michaelis Menten model was superior to that of linear compartment models,indicating the underlying nonlinear kinetics of tacrolimus in liver transplant recipients.Conclusions:The published models performed inadequately in prediction and simulation based diagnostics. Bayesian forecasting may improve the predictive performance of the models. Furthermore, nonlinear kinetics of tacrolimus may be mainly caused by the properties of the drug itself, and incorporating nonlinear kinetics may be considered to improve model predictability.


title: $R$-triviality of Groups of Type ${\rm F}_4$ Arising from the First Tits Construction

abstract: Any group of type ${\rm F}_4$ is obtained as the automorphism group of an Albert algebra. We prove that such a group is $R$-trivial whenever the Albert algebra is obtained from the first Tits construction. Our proof uses cohomological techniques and the corresponding result on the structure group of such Albert algebras.


title: Unlocking the Full Potential of Small Data with Diverse Supervision

abstract: Virtually all of deep learning literature relies on the assumption of large amounts of available training data. Indeed, even the majority of few-shot learning methods rely on a large set of "base classes" for pretraining. This assumption, however, does not always hold. For some tasks, annotating a large number of classes can be infeasible, and even collecting the images themselves can be a challenge in some scenarios. In this paper, we study this problem and call it "Small Data" setting, in contrast to "Big Data". To unlock the full potential of small data, we propose to augment the models with annotations for other related tasks, thus increasing their generalization abilities. In particular, we use the richly annotated scene parsing dataset ADE20K to construct our realistic Long-tail Recognition with Diverse Supervision (LRDS) benchmark by splitting the object categories into head and tail based on their distribution. Following the standard few-shot learning protocol, we use the head classes for representation learning and the tail classes for evaluation. Moreover, we further subsample the head categories and images to generate two novel settings which we call "Scarce-Class" and "Scarce-Image", respectively corresponding to the shortage of samples for rare classes and training images. Finally, we analyze the effect of applying various additional supervision sources under the proposed settings. Our experiments demonstrate that densely labeling a small set of images can indeed largely remedy the small data constraints.


title: Data processing over single-port homodyne detection to realize super-resolution and super-sensitivity

abstract: Performing homodyne detection at one port of squeezed-state light interferometer and then binarzing measurement data are important to achieve super-resolving and super-sensitive phase measurements. Here we propose a new data-processing technique by dividing the measurement quadrature into three bins (equivalent to a multi-outcome measurement), which leads to a higher improvement in the phase resolution and the phase sensitivity under realistic experimental condition. Furthermore, we develop a new phase-estimation protocol based on a combination of the inversion estimators of each outcome and show that the estimator can saturate the Cramer-Rao lower bound, similar to asymptotically unbiased maximum likelihood estimator.


title: A finite-difference lattice Boltzmann model with second-order accuracy of time and space for incompressible flow

abstract: In this paper, a kind of finite-difference lattice Boltzmann method with the second-order accuracy of time and space (T2S2-FDLBM) is proposed. In this method, a new simplified two-stage fourth order time-accurate discretization approach is applied to construct time marching scheme, and the spatial gradient operator is discretized by a mixed difference scheme to maintain a second-order accuracy both in time and space. It is shown that the previous finite-difference lattice Boltzmann method (FDLBM) proposed by Guo [1] is a special case of the T2S2-FDLBM. Through the von Neumann analysis, the stability of the method is analyzed and two specific T2S2-FDLBMs are discussed. The two T2S2-FDLBMs are applied to simulate some incompressible flows with the non-uniform grids. Compared with the previous FDLBM and SLBM, the T2S2-FDLBM is more accurate and more stable. The value of the Courant-Friedrichs-Lewy condition number in our method can be up to 0.9, which also significantly improves the computational efficiency.


title: Learning Semantic Correspondence Exploiting an Object-level Prior

abstract: We address the problem of semantic correspondence, that is, establishing a dense flow field between images depicting different instances of the same object or scene category. We propose to use images annotated with binary foreground masks and subjected to synthetic geometric deformations to train a convolutional neural network (CNN) for this task. Using these masks as part of the supervisory signal provides an object-level prior for the semantic correspondence task and offers a good compromise between semantic flow methods, where the amount of training data is limited by the cost of manually selecting point correspondences, and semantic alignment ones, where the regression of a single global geometric transformation between images may be sensitive to image-specific details such as background clutter. We propose a new CNN architecture, dubbed SFNet, which implements this idea. It leverages a new and differentiable version of the argmax function for end-to-end training, with a loss that combines mask and flow consistency with smoothness terms. Experimental results demonstrate the effectiveness of our approach, which significantly outperforms the state of the art on standard benchmarks.


title: A Note on Kantorovich and Ando Inequalities

abstract: The main goal of this exposition is to present further analysis of the Kantorovich and Ando operator inequalities. In particular, a new proof of Ando's inequality is given, a new non-trivial refinement of Kantorovich inequality is shown, and some equivalent forms of Kantorovich inequality are presented with a Minkowski-type application.


title: Stability Analysis of Infinite-dimensional Event-triggered and Self-triggered Control Systems with Lipschitz Perturbations

abstract: This paper addresses the following question: "Suppose that a state-feedback controller stabilizes an infinite-dimensional linear continuous-time system. If we choose the parameters of an event/self-triggering mechanism appropriately, is the event/self-triggered control system stable under all sufficiently small nonlinear Lipschitz perturbations?" We assume that the stabilizing feedback operator is compact. This assumption is used to guarantee the strict positiveness of inter-event times and the existence of the mild solution of evolution equations with unbounded control operators. First, for the case where the control operator is bounded, we show that the answer to the above question is positive, giving a sufficient condition for exponential stability, which can be employed for the design of event/self-triggering mechanisms. Next, we investigate the case where the control operator is unbounded and prove that the answer is still positive for periodic event-triggering mechanisms.


title: Multivariate stable approximation in Wasserstein distance by Stein's method

abstract: By a delicate analysis for the Stein's equation associated to the $\alpha$-stable law approximation with $\alpha \in (0,2)$, we prove a quantitative stable central limit theorem in Wasserstein type distance, which generalizes the results in the series of work \cite{Xu19, CNX19+,CNXYZ19+} from the univariate case to the multiple variate case. From an explicit computation for Pareto's distribution, we see that the rate of our approximation is sharp. The analysis of the Stein's equation is new and has independent interest.


title: Multimodal Affective States Recognition Based on Multiscale CNNs and Biologically Inspired Decision Fusion Model

abstract: There has been an encouraging progress in the affective states recognition models based on the single-modality signals as electroencephalogram (EEG) signals or peripheral physiological signals in recent years. However, multimodal physiological signals-based affective states recognition methods have not been thoroughly exploited yet. Here we propose Multiscale Convolutional Neural Networks (Multiscale CNNs) and a biologically inspired decision fusion model for multimodal affective states recognition. Firstly, the raw signals are pre-processed with baseline signals. Then, the High Scale CNN and Low Scale CNN in Multiscale CNNs are utilized to predict the probability of affective states output for EEG and each peripheral physiological signal respectively. Finally, the fusion model calculates the reliability of each single-modality signals by the Euclidean distance between various class labels and the classification probability from Multiscale CNNs, and the decision is made by the more reliable modality information while other modalities information is retained. We use this model to classify four affective states from the arousal valence plane in the DEAP and AMIGOS dataset. The results show that the fusion model improves the accuracy of affective states recognition significantly compared with the result on single-modality signals, and the recognition accuracy of the fusion result achieve 98.52% and 99.89% in the DEAP and AMIGOS dataset respectively.


title: Spatiotemporal deep learning model for citywide air pollution interpolation and prediction

abstract: Recently, air pollution is one of the most concerns for big cities. Predicting air quality for any regions and at any time is a critical requirement of urban citizens. However, air pollution prediction for the whole city is a challenging problem. The reason is, there are many spatiotemporal factors affecting air pollution throughout the city. Collecting as many of them could help us to forecast air pollution better. In this research, we present many spatiotemporal datasets collected over Seoul city in Korea, which is currently much suffered by air pollution problem as well. These datasets include air pollution data, meteorological data, traffic volume, average driving speed, and air pollution indexes of external areas which are known to impact Seoul's air pollution. To the best of our knowledge, traffic volume and average driving speed data are two new datasets in air pollution research. In addition, recent research in air pollution has tried to build models to interpolate and predict air pollution in the city. Nevertheless, they mostly focused on predicting air quality in discrete locations or used hand-crafted spatial and temporal features. In this paper, we propose the usage of Convolutional Long Short-Term Memory (ConvLSTM) model \cite{b16}, a combination of Convolutional Neural Networks and Long Short-Term Memory, which automatically manipulates both the spatial and temporal features of the data. Specially, we introduce how to transform the air pollution data into sequences of images which leverages the using of ConvLSTM model to interpolate and predict air quality for the entire city at the same time. We prove that our approach is suitable for spatiotemporal air pollution problems and also outperforms other related research.


title: Reflection anisotropy experiments to study non-equilibrium dynamics of electronic nematicity

abstract: Electronic nematicity have attracted a great deal of interest in the unconventional superconductivity research. We present an experimental method to investigate reflectivity anisotropy by the electronic nematicity and its non-equilibrium dynamics. Our experimental results on Ba(Fe$_{0.955}$Co$_{0.045}$)$_{2}$As$_{2}$ single crystal clearly feature the broken four-fold symmetry along directions parallel to Fe-Fe bonding. Numerical simulations using WVASE from Woollam Co. demonstrate that our method is highly reliable under various experimental conditions. Finally, we perform time-resolved reflectivity anisotropy measurement confirming that photo-excitation by 1.55 eV photons suppresses the reflectivity anisotropy due to nematic order.


title: Ultrafast dynamics in the Lifshitz-type 5${d}$ pyrochlore antiferromagnet Cd$_{2}$Os$_{2}$O$_{7}$

abstract: We investigate the ultrafast dynamics of Cd$_2$Os$_2$O$_7$, a prototype material showing a Lifshitz-type transition as a function of temperature. In the paramagnetic metallic state, the photo-reflectivity shows a sub-picosecond relaxation, followed by a featureless small offset. In the antiferromagnetic state slightly below $T_N$, however, the photo-reflectivity resurges over hundreds of picoseconds, which goes beyond the usual realm of the effective-temperature model. Our observations are consistent with the Lifshitz phase transition of Cd$_2$Os$_2$O$_7$ driven by the evolution of the local magnetic moment.


title: Tropical Polynomial Division and Neural Networks

abstract: In this work, we examine the process of Tropical Polynomial Division, a geometric method which seeks to emulate the division of regular polynomials, when applied to those of the max-plus semiring. This is done via the approximation of the Newton Polytope of the dividend polynomial by that of the divisor. This process is afterwards generalized and applied in the context of neural networks with ReLU activations. In particular, we make use of the intuition it provides, in order to minimize a two-layer fully connected network, trained for a binary classification problem. This method is later evaluated on a variety of experiments, demonstrating its capability to approximate a network, with minimal loss in performance.


title: Single particle triboelectrification of Titan sand analogs

abstract: Sand electrification is important for aeolian sediment transportation on terrestrial bodies with silicate sand as the main sediment composition. However, it has not been thoroughly studied for icy bodies such as Titan with organic sand as the main dune-forming material. We used the colloidal probe atomic force microscopy (AFM) technique to study triboelectric charging processes using Titan and Earth sand analogs. We found that it is easy to generate triboelectric charges between naphthalene (a simple aromatic hydrocarbon), polystyrene (an aromatic hydrocarbon polymer), and borosilicate glass (Earth silicate sand analog). Strong electrostatic forces can be measured after contact and/or tribocharging. In contrast, tholin, a complex organic material, does not generate any detectable electrostatic forces with contact or tribocharging within the detection limit of the instrument. If Titan sand behaves more like tholin, this indicates that the tribocharging capacity of Titan sand is much weaker than Earth silicate sand and much less than previously measured by Mendez-Harper et al., (2017), where only simple organics were used for Titan sand analogs. Thus, triboelectrification may not contribute to increasing interparticle forces between sand particles on Titan as much as on Earth. Interparticle forces generated by other electrostatic processes or other interparticle forces such as van der Waals and capillary cohesion forces could be the dominant interparticle forces that govern Titan sand formation and sediment transportation on the surface. Titan sand is also unlikely to produce large electrical discharge through tribocharging to affect future missions to Titan's surface.


title: Stochastic SIR Levy jump model with heavy tailed increments

abstract: This paper considers a general stochastic SIR epidemic model driven by a multidimensional Levy jump process with heavy tailed increments and possible correlation between noise components. In this framework, we derive new sufficient conditions for disease extinction and persistence in the mean. Our method differs from previous approaches by the use of Kunita's inequality instead of the Burkholder-Davis-Gundy inequality for continuous processes, and allows for the treatment of infinite Levy measures by the definition of new threshold values. An SIR model driven by a tempered stable process is presented as an example of application with the ability to model sudden disease outbreak, illustrated by numerical simulations. The results show that persistence and extinction are dependent not only on the variance of the processes increments, but also on the shapes of their distributions.


title: On threefold canonical thresholds

abstract: We show that the set of threefold canonical thresholds satisfies the ascending chain condition. Moreover, we derive that threefold canonical thresholds in the interval $ (\frac{1}{2}, 1)$ consists of $ \{ \frac{1}{2}+\frac{1}{n}\}_{n \ge 3} \cup \{ \frac{4}{5}\}$.


title: J-Net: Randomly weighted U-Net for audio source separation

abstract: Several results in the computer vision literature have shown the potential of randomly weighted neural networks. While they perform fairly well as feature extractors for discriminative tasks, a positive correlation exists between their performance and their fully trained counterparts. According to these discoveries, we pose two questions: what is the value of randomly weighted networks in difficult generative audio tasks such as audio source separation and does such positive correlation still exist when it comes to large random networks and their trained counterparts? In this paper, we demonstrate that the positive correlation still exists. Based on this discovery, we can try out different architecture designs or tricks without training the whole model. Meanwhile, we find a surprising result that in comparison to the non-trained encoder (down-sample path) in Wave-U-Net, fixing the decoder (up-sample path) to random weights results in better performance, almost comparable to the fully trained model.


title: Richer priors for infinitely wide multi-layer perceptrons

abstract: It is well-known that the distribution over functions induced through a zero-mean iid prior distribution over the parameters of a multi-layer perceptron (MLP) converges to a Gaussian process (GP), under mild conditions. We extend this result firstly to independent priors with general zero or non-zero means, and secondly to a family of partially exchangeable priors which generalise iid priors. We discuss how the second prior arises naturally when considering an equivalence class of functions in an MLP and through training processes such as stochastic gradient descent. The model resulting from partially exchangeable priors is a GP, with an additional level of inference in the sense that the prior and posterior predictive distributions require marginalisation over hyperparameters. We derive the kernels of the limiting GP in deep MLPs, and show empirically that these kernels avoid certain pathologies present in previously studied priors. We empirically evaluate our claims of convergence by measuring the maximum mean discrepancy between finite width models and limiting models. We compare the performance of our new limiting model to some previously discussed models on synthetic regression problems. We observe increasing ill-conditioning of the marginal likelihood and hyper-posterior as the depth of the model increases, drawing parallels with finite width networks which require notoriously involved optimisation tricks.


title: Improving Voice Separation by Incorporating End-to-end Speech Recognition

abstract: Despite recent advances in voice separation methods, many challenges remain in realistic scenarios such as noisy recording and the limits of available data. In this work, we propose to explicitly incorporate the phonetic and linguistic nature of speech by taking a transfer learning approach using an end-to-end automatic speech recognition (E2EASR) system. The voice separation is conditioned on deep features extracted from E2EASR to cover the long-term dependence of phonetic aspects. Experimental results on speech separation and enhancement task on the AVSpeech dataset show that the proposed method significantly improves the signal-to-distortion ratio over the baseline model and even outperforms an audio visual model, that utilizes visual information of lip movements.


title: Boros: Secure Cross-Channel Transfers via Channel Hub

abstract: The payment channel, which allows two parties to perform micropayments without involving the blockchain, has become a promising proposal to improve the scalability of decentralized ledgers such as Bitcoin and Ethereum. Payment channels have been extended to the payment network, through which users can utilize existing channels as intermediary links to route coins to others. However, routing payments through multiple channels bears nontrivial overheads. It requires every intermediary channel to lock a portion of its available capacity until the payment is settled. This may lead to deadlock in a concurrent situation. The intermediary nodes in a payment path may also charge fees for routing a payment. The longer the routing path, the more serious the above problems. In this paper, we design and develop a novel off-chain system to shorten the routing path for the payment network. In particular, we propose the channel hub, which is an extension of the payment hub, to allows transferring coins directly from one payment channel to another within the same hub. That is, the channel hub can be viewed as a shortcut device for the underlying payment network. We design a new protocol named Boros to perform secure off-chain cross-channel transfers through the channel hub. We not only present the security definition of the Boros protocol formally but also prove its security using the UC-framework. To demonstrate the feasibility of the Boros protocol, we develop a proof-of-concept prototype running on the Ethereum. Our evaluation shows that our system can effectively shorten the off-chain routing path.


title: Incremental Clustering Techniques for Multi-Party Privacy-Preserving Record Linkage

abstract: Privacy-Preserving Record Linkage (PPRL) supports the integration of sensitive information from multiple datasets, in particular the privacy-preserving matching of records referring to the same entity. PPRL has gained much attention in many application areas, with the most prominent ones in the healthcare domain. PPRL techniques tackle this problem by conducting linkage on masked (encoded) values. Employing PPRL on records from multiple (more than two) parties/sources (multi-party PPRL, MP-PPRL) is an increasingly important but challenging problem that so far has not been sufficiently solved. Existing MP-PPRL approaches are limited to finding only those entities that are present in all parties thereby missing entities that match only in a subset of parties. Furthermore, previous MP-PPRL approaches face substantial scalability limitations due to the need of a large number of comparisons between masked records. We thus propose and evaluate new MP-PPRL approaches that find matches in any subset of parties and still scale to many parties. Our approaches maintain all matches within clusters, where these clusters are incrementally extended or refined by considering records from one party after the other. An empirical evaluation using multiple real datasets ranging from 3 to 26 parties each containing up to $5$ million records validates that our protocols are efficient, and significantly outperform existing MP-PPRL approaches in terms of linkage quality and scalability.


title: A study on a class of generalized Schr\"odinger operators

abstract: In this paper, we consider the pointwise convergence for a class of generalized Schr\"{o}dinger operators with suitable perturbations, and convergence rate for a class of generalized Schr\"{o}dinger operators with polynomial growth. We show that the pointwise convergence results remain valid for a class of generalized Schr\"{o}dinger operators under small perturbations. As applications, we obtain the sharp convergence result for Boussinesq operator and Beam operator in $\mathbb{R}^2$. Moreover, the convergence result for a class of non-elliptic Schr\"{o}dinger operators with finite-type perturbations is built. Furthermore, we proved that the convergence rate for a class of generalized Schr\"{o}dinger operators with polynomial growth depends only on the growth condition of their phase functions. This result can be applied to all previously mentioned operators, and more operators.


title: Juniper: A Functional Reactive Programming Language for the Arduino

abstract: This paper presents the design and implementation of Juniper: a functional reactive programming language (FRP) targeting the Arduino and related microcontroller systems. Juniper provides a number of high level features, including parametric polymorphic functions, anonymous functions, automatic memory management, and immutable data structures. Also included is a standard library which offers many useful FRP signal processing functions. Juniper is translated to standard C++ and compiled with the existing Arduino development tools, allowing Juniper programs to fit on resource-constrained devices, and enabling seamless interoperability with existing C++ libraries for these devices.


title: Mining Approximate Acyclic Schemes from Relations

abstract: Acyclic schemes have numerous applications in databases and in machine learning, such as improved design, more efficient storage, and increased performance for queries and machine learning algorithms. Multivalued dependencies (MVDs) are the building blocks of acyclic schemes. The discovery from data of both MVDs and acyclic schemes is more challenging than other forms of data dependencies, such as Functional Dependencies, because these dependencies do not hold on subsets of data, and because they are very sensitive to noise in the data; for example a single wrong or missing tuple may invalidate the schema. In this paper we present Maimon, a system for discovering approximate acyclic schemes and MVDs from data. We give a principled definition of approximation, by using notions from information theory, then describe the two components of Maimon: mining for approximate MVDs, then reconstructing acyclic schemes from approximate MVDs. We conduct an experimental evaluation of Maimon on 20 real-world datasets, and show that it can scale up to 1M rows, and up to 30 columns.


title: Negative ionic states of tin in the oxide superconductor Sr$_{3-x}$SnO revealed by M\"{o}ssbauer spectroscopy

abstract: We report the temperature variation of the $^{119}$Sn-M\"{o}ssbauer spectra of the antiperovskite (inverse perovskite) oxide superconductor Sr$_{3-x}$SnO. Both superconductive (Sr-deficient) and non-superconductive (nearly stoichiometric) samples exhibit major $\gamma$-ray absorption with isomer shift similar to that of Mg$_2$Sn. This fact shows that Sr$_{3-x}$SnO contains the metallic anion Sn$^{4-}$, which is rare especially among oxides. In both samples, we observed another $\gamma$-ray absorption with a larger isomer shift, indicating that there is another ionic state of Sn with a higher oxidation number. The temperature dependence of the absorption intensities reveals that the Sn ions exhibiting larger isomer shifts have a lower energy of the local vibration. The larger isomer shift and lower vibration energy are consistent with the values estimated from the first-principles calculations for hypothetical structures with various Sr-deficiency arrangements. Therefore, we conclude that the additional $\gamma$-ray absorptions originate from the Sn atoms neighboring the Sr deficiency.


title: The $G$-connected property and $G$-topological groups

abstract: In this paper, we discuss some properties of of $G$-hull, $G$-kernel and $G$-connectedness, and extend some results of \cite{life34}. In particular, we prove that the $G$-connectedness are preserved by countable product. Moreover, we introduce the concept of $G$-topological group, and prove that a $G$-topological group is a $G$-topology under the assumption of the regular method preserving the subsequence.


title: All-optical reversible manipulation of exciton and trion emissions in monolayer WS2

abstract: Monolayer transition metal dichalcogenides (TMDs) are direct gap semiconductors emerging promising applications in diverse optoelectronic devices. To improve performance, recent investigations have been systematically focused on the tuning of their optical properties. However, an all-optical approach with the reversible feature is still a challenge. Here we demonstrate the tunability of the photoluminescence (PL) properties of monolayer WS2 via laser irradiation. The modulation of PL intensity, as well as the conversion between neutral exciton and charged trion have been readily and reversibly achieved by using different laser power densities. We attribute the reversible manipulation to the laser-assisted adsorption and desorption of gas molecules, which will deplete or release free electrons from the surface of WS2 and thus modify its PL properties. This all-optical manipulation, with advantages of reversibility, quantitative control, and high spatial resolution, suggests promising applications of TMDs monolayers in optoelectronic and nanophotonic applications, such as optical data storage, micropatterning, and display.


title: Road Curb Detection Using A Novel Tensor Voting Algorithm

abstract: Road curb detection is very important and necessary for autonomous driving because it can improve the safety and robustness of robot navigation in the outdoor environment. In this paper, a novel road curb detection method based on tensor voting is presented. The proposed method processes the dense point cloud acquired using a 3D LiDAR. Firstly, we utilize a sparse tensor voting approach to extract the line and surface features. Then, we use an adaptive height threshold and a surface vector to extract the point clouds of the road curbs. Finally, we utilize the height threshold to segment different obstacles from the occupancy grid map. This also provides an effective way of generating high-definition maps. The experimental results illustrate that our proposed algorithm can detect road curbs with near real-time performance.


title: Feathered gyrogroups and gyrogroups with countable pseudocharacter

abstract: Topological gyrogroups, with a weaker algebraic structure than groups, have been investigated recently. In this paper, we prove that every feathered strongly topological gyrogroup is paracompact, which implies that every feathered strongly topological gyrogroup is a $D$-space and gives partial answers to two questions posed by A.V.Arhangel' ski\v\i ~(2010) in \cite{AA1}. Moreover, we prove that every locally compact $NSS$-gyrogroup is first-countable. Finally, we prove that each Lindel\"{o}f $P$-gyrogroup is Ra$\check{\imath}$kov complete.


title: Proof of the absence of long-range temporal orders in Gibbs states

abstract: We address the question whether time translation symmetry can be spontaneously broken in a quantum many-body system. One way of detecting such a symmetry breaking is to examine the time-dependence of a correlation function. If the large-distance behavior of the correlation function exhibits a nontrivial time-dependence in the thermodynamic limit, the system would develop a temporal long-range order, realizing a time crystal. In an earlier publication, we sketched a proof for the absence of such time dependence in the thermal equilibrium described by the Gibbs state [H. Watanabe and M. Oshikawa, Phys. Rev. Lett. 114, 251603 (2015)]. Here we present a complete proof and extend the argument to a more general class of stationary states than the Gibbs states.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP quant-ph


title: Some generalized metric properties on hyperspaces with the Vietoris topology

abstract: We study the heredity of the classes of generalized metric spaces (for example, spaces with a $\sigma$-hereditarily closure-preserving $k$-network, spaces with a point-countable base, spaces with a base of countable order, spaces with a point-regular base, Nagata-spaces, $c$-semi-stratifiable spaces, $\gamma$-spaces, semi-metrizable spaces) to the hyperspaces of nonempty compact subsets and finite subsets with the Vietoris topology.


title: Unveiling the structure of pseudoscalar mesons

abstract: A valuable approach to the analysis of hadron physics observables is provided by QCD's equations-of-motion; namely, the Dyson-Schwinger equations. Drawing from a diverse collection of predictions, we revisit: $\gamma \gamma^* \to$ neutral pseudoscalar transition form factors, their corresponding valence-quark distribution amplitudes and a recent result on the pion distribution functions.


title: When Blockchain Meets AI: Optimal Mining Strategy Achieved By Machine Learning

abstract: This work applies reinforcement learning (RL) from the AI machine learning field to derive an optimal Bitcoin-like blockchain mining strategy without knowing the details of the blockchain network model. Previously, the most profitable mining strategy was believed to be honest mining encoded in the default blockchain protocol. It was shown later that it is possible to gain more mining rewards by deviating from honest mining. In particular, the mining problem can be formulated as a Markov Decision Process (MDP) which can be solved to give the optimal mining strategy. However, solving the mining MDP requires knowing the values of various parameters that characterize the blockchain network model. In real blockchain networks, these parameter values are not easy to obtain and may change over time. This hinders the use of the MDP model-based solution. In this work, we employ RL to dynamically learn a mining strategy with performance approaching that of the optimal mining strategy by observing and interacting with the network. Since the mining MDP problem has a non-linear objective function (rather than linear functions of standard MDP problems), we design a new multi-dimensional RL algorithm to solve the problem. Experimental results indicate that, without knowing the parameter values of the mining MDP model, our multi-dimensional RL mining algorithm can still achieve the optimal performance over time-varying blockchain networks.


title: The k-aggregation Closure for Covering Sets

abstract: In this paper, we will answer one of the questions proposed by Bodur, Del~Pia, Dey, Molinaro and Pokutta in 2017. Specifically, we show that the k-aggregation closure of a covering set is a polyhedron. The proof technique is based on an equivalent condition for the closure of any particular family of cutting-planes to be polyhedral, from the perspective of convex geometry. We believe that this technique can be applied to tackle other polyhedrality problems in the future and may be of independent interest.


title: Pricing and hedging short-maturity Asian options in local volatility models

abstract: This paper discusses the short-maturity behavior of Asian option prices and hedging portfolios. We consider the risk-neutral valuation and the delta value of the Asian option having a H\"older continuous payoff function in a local volatility model. The main idea of this analysis is that the local volatility model can be approximated by a Gaussian process at short maturity $T.$ By combining this approximation argument with Malliavin calculus, we conclude that the short-maturity behaviors of Asian option prices and the delta values are approximately expressed as those of their European counterparts with volatility $$\sigma_{A}(T):=\sqrt{\frac{1}{T^3}\int_0^T\sigma^2(t,S_0)(T-t)^2\,dt}\,,$$ where $\sigma(\cdot,\cdot)$ is the local volatility function and $S_0$ is the initial value of the stock. In addition, we show that the convergence rate of the approximation is determined by the H\"older exponent of the payoff function. Finally, the short-maturity asymptotics of Asian call and put options are discussed from the viewpoint of the large deviation principle.


title: Time encoding of bandlimited signals: reconstruction by pseudo-inversion and time-varying multiplierless FIR filtering

abstract: We propose an entirely redesigned framework of bandlimited signal reconstruction for the time encoding machine (TEM) introduced by Lazar and T\'oth. As the encoding part of TEM consists in obtaining integral values of a bandlimited input over known time intervals, it theoretically amounts to applying a known linear operator on the input. We then approach the general question of signal reconstruction by pseudo-inversion of this operator. We perform this task numerically and iteratively using projections onto convex sets (POCS). The algorithm can be implemented exactly in discrete time with multiplications that are all reduced to scaling by signed powers of two, thanks to the use of relaxation coefficients. Meanwhile, the algorithm achieves a rate of convergence similar to that of Lazar and T\'oth. For real-time processing, we propose an approximate time-varying FIR implementation, which avoids the splitting of the input into blocks. We finally propose some preliminary analysis of semi-convergence of the algorithm under data noise.


title: Global bounded solution of the higher-dimensional forager-exploiter model with/without growth sources

abstract: We investigate the higher-dimensional forager-exploiter model with homogeneous Neumann boundary condition. The existence and uniqueness of global bounded classical solution is established for the high dimension.


title: Cryptanalysis and improvement of several quantum private comparison protocols

abstract: Recently, Wu et al. [Int. J. Theor. Phys. 58, 1854, (2019)] found a serious information leakage problem in Ye and Ji's quantum private comparison protocol [Int. J. Theor. Phys. 56, 1517, (2017)], that is, a malicious participant can steal another's secret data without being detected through an active attack means. In this paper, we show that Wu et al.'s attack means is also effective for several other existing protocols, including the ones proposed by Ji et al. and Zha et al. [Commun. Theor. Phys. 65, 711, (2016) and Int. J. Theor. Phys. 57, 3874, (2018)]. In addition, we propose a passive attack means, which is different from Wu et al.'s active attack in that the malicious participant can easily steal another's secret data only by using his own secret data after finishing the protocol. Furthermore, we find that several other existing quantum private comparison protocols also have such an information leakage problem. In response to the problem, we propose a simple solution, which is more efficient than the ones proposed by Wu et al., because it does not consume additional classical and quantum resources. We also make some comments on this problem.


title: Nanoconfined, dynamic electrolyte gating and memory effects in multilayered graphene-based membranes

abstract: Multilayered graphene-based nanoporous membranes with electrolyte incorporated between individual sheets is a unique nano-heterostructure system in which nanoconfined electrons in graphene and ions confined in between sheets are intimately coupled throughout the entire membrane. In contrast to the general notion that the electrolyte gating is unlikely to appear in multilayered graphene stacks, it is demonstrated in this work that the electrolyte gating effect in monolayer graphene can be transferred to its corresponding multilayered porous membranes. This gating effect presented on each individual graphene sheets through electrolyte confined in nanopores provides a real-time, electrical approach for probing the complex dynamics of nanoconfined electrical double layer. This has enabled the observation of the ionic memory effect in supercapacitors and produces new insights into the charging dynamics of supercapacitors. Such discoveries may stimulate the design of novel nanoionic devices.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft physics.app-ph physics.chem-ph


title: Refining HTN Methods via Task Insertion with Preferences

abstract: Hierarchical Task Network (HTN) planning is showing its power in real-world planning. Although domain experts have partial hierarchical domain knowledge, it is time-consuming to specify all HTN methods, leaving them incomplete. On the other hand, traditional HTN learning approaches focus only on declarative goals, omitting the hierarchical domain knowledge. In this paper, we propose a novel learning framework to refine HTN methods via task insertion with completely preserving the original methods. As it is difficult to identify incomplete methods without designating declarative goals for compound tasks, we introduce the notion of prioritized preference to capture the incompleteness possibility of methods. Specifically, the framework first computes the preferred completion profile w.r.t. the prioritized preference to refine the incomplete methods. Then it finds the minimal set of refined methods via a method substitution operation. Experimental analysis demonstrates that our approach is effective, especially in solving new HTN planning instances.


title: Deep Object Co-segmentation via Spatial-Semantic Network Modulation

abstract: Object co-segmentation is to segment the shared objects in multiple relevant images, which has numerous applications in computer vision. This paper presents a spatial and semantic modulated deep network framework for object co-segmentation. A backbone network is adopted to extract multi-resolution image features. With the multi-resolution features of the relevant images as input, we design a spatial modulator to learn a mask for each image. The spatial modulator captures the correlations of image feature descriptors via unsupervised learning. The learned mask can roughly localize the shared foreground object while suppressing the background. For the semantic modulator, we model it as a supervised image classification task. We propose a hierarchical second-order pooling module to transform the image features for classification use. The outputs of the two modulators manipulate the multi-resolution features by a shift-and-scale operation so that the features focus on segmenting co-object regions. The proposed model is trained end-to-end without any intricate post-processing. Extensive experiments on four image co-segmentation benchmark datasets demonstrate the superior accuracy of the proposed method compared to state-of-the-art methods.


title: Glass stability changes the nature of yielding under oscillatory shear

abstract: We perform molecular dynamics simulations to investigate the effect of a glass preparation on its yielding transition under oscillatory shear. We use swap Monte Carlo to investigate a broad range of glass stabilities from poorly annealed to highly stable systems. We observe a qualitative change in the nature of yielding, which evolves from ductile to brittle as glass stability increases. Our results disentangle the relative role of mechanical and thermal annealing on the mechanical properties of amorphous solids, which is relevant for various experimental situations from the rheology of soft materials to fatigue failure in metallic glasses.


title: Magnetic orders induced by RKKY interaction in Tsai-type quasicrystalline approximant Au-Al-Gd

abstract: Recent experimental study on Tsai-type quasicrystalline approximant Au-Al-Gd has revealed the presence of magnetic orders and phase transitions with changing the Au/Al concentration. Motivated by the experiment, we theoretically investigate whether a successive change of magnetic orders occurs in a minimal magnetic model including the RKKY interaction only. We find that the model induces multifarious magnetic orders depending on the Fermi wavenumber and gives a good starting point for understanding the experimental observation. In addition, we predict the presence of an undiscovered novel magnetic order called cuboc order at large Fermi wavenumber region.


title: An atomic test of higher-order interference

abstract: Canonical quantum formalism predicts that the interference pattern registered in multi-slit experiments should be a simple combination of patterns observed in two-slit experiments. This has been linked to the validity of Born's rule and verified in precise experiments with photons as well as molecules via nuclear magnetic resonance. Due to the expected universal validity of Born rule, it is instructive to conduct similar tests with yet other physical systems. Here we discuss analogs of triple-slit experiment using atoms allowing tripod energy level configuration, as realisable e.g. with alkaline-earth-like atoms. We cover all the stages of the setup including various ways of implementing analogs of slit blockers. The precision of the final setup is estimated and offers improvement over the previous experiments.


title: Phase transition of four-dimensional Ising model with tensor network scheme

abstract: We investigate the phase transition of the four-dimensional Ising model with two types of tensor network scheme, one is the higher-order tensor renormalization group and the other is the anisotropic tensor renormalization group. The results for the internal energy and magnetization obtained by the former algorithm with the impure tensor method, enlarging the lattice volume up to $1024^4$, are consistent with the weak first-order phase transition. For the later algorithm, our implementation successfully reduces the execution time thanks to the parallel computation and the results provided by ATRG seems comparable to those with HOTRG.


title: Curves in the disc, the type B braid group, and the type B zigzag algebra

abstract: We construct a finite dimensional quiver algebra from the non-simply laced type $B$ Dynkin diagram, which we call the type $B$ zigzag algebra. This leads to a faithful categorical action of the type $B$ braid group $\mathcal{A}(B)$, acting on the homotopy category of its projective modules. This categorical action is also closely related to the topological action of $\mathcal{A}(B)$, viewed as mapping class group of the punctured disc -- hence our exposition can be seen as a type $B$ analogue of Khovanov-Seidel's work in arXiv:math/0006056v2. Moreover, we show that certain category of bimodules over our type $B$ zigzag algebra is a quotient category of Soergel bimodules, resulting in an alternative proof to Rouquier's conjecture on the faithfulness of the 2-braid groups for type $B$.


title: Gauge Hierarchy

abstract: The chirality is the key for our world. In this scheme, I present a solution of the long standing gauge hierarchy problem with a hidden sector SU(5)$'$ with representations $\overline{\bf 10}\oplus \overline{\bf 5}\oplus 2\cdot{\bf 5}$. Sideway remarks are on {\it NATURAL HILLTOP} inflation and a bound on the QCD angle $\bar\theta$.


title: The role of annealing in determining the yielding behavior of glasses under cyclic shear deformation

abstract: Yielding behavior in amorphous solids has been investigated in computer simulations employing uniform and cyclic shear deformation. Recent results characterise yielding as a discontinuous transition, with the degree of annealing of glasses being a significant parameter. Under uniform shear, discontinuous changes in stresses at yielding occur in the high annealing regime, separated from the poor annealing regime in which yielding is gradual. In cyclic shear simulations, relatively poorly annealed glasses become progressively better annealed as the yielding point is approached, with a relatively modest but clear discontinuous change at yielding. To understand better the role of annealing on yielding characteristics, we perform athermal quasistaic cyclic shear simulations of glasses prepared with a wide range of annealing in two qualitatively different systems -- a model of silica (a network glass), and an atomic binary mixture glass. Two strikingly different regimes of behavior emerge: Energies of poorly annealed samples evolve towards a unique threshold energy as the strain amplitude increases, before yielding takes place. Well annealed samples, in contrast, show no significant energy change with strain amplitude till they yield, accompanied by discontinuous energy changes that increase with the degree of annealing. Significantly, the threshold energy for both systems correspond to dynamical crossover temperatures associated with changes in the character of the energy landscape sampled by glass forming liquids. Uniform shear simulations support the recently discussed scenario of a random critical point separating ductile and brittle yielding, which our results now associate with dynamical crossover temperatures in the corresponding liquids.


title: Feasibility of Observing Gamma-ray Polarization from Cygnus X-1 Using a CubeSat

abstract: Instruments flown on CubeSats are small. Meaningful applications of CubeSats in astronomical observations rely on the choice of a particular subject that is feasible for CubeSats. Here we report the result of a feasibility study for observing gamma-ray polarization from Cygnus X-1 using a small Compton polarimeter on board a 3U CubeSat. Silicon detectors and cerium bromide scintillators were employed in the instrument models that we discussed in this study. Through Monte Carlo simulations with Geant4-based MEGAlib package, we found that, with a 10-Ms on-axis, zenith-direction observation in a low inclination, low altitude earth orbit radiation background environment, the minimum detectable polarization degree can be down to about 10\% in 160 - 250 keV, 20\% in 250 - 400 keV, and 65\% in 400 - 2000 keV. A 3U CubeSat dedicated to observing Cygnus X-1 can therefore yield useful information on the polarization state of gamma-ray emissions from the brightest persistent X-ray black-hole binary in the sky.


title: Optimal Streaming Algorithms for Submodular Maximization with Cardinality Constraints

abstract: We study the problem of maximizing a non-monotone submodular function subject to a cardinality constraint in the streaming model. Our main contribution is a single-pass (semi-)streaming algorithm that uses roughly $O(k / \varepsilon^2)$ memory, where $k$ is the size constraint. At the end of the stream, our algorithm post-processes its data structure using any offline algorithm for submodular maximization, and obtains a solution whose approximation guarantee is $\frac{\alpha}{1+\alpha}-\varepsilon$, where $\alpha$ is the approximation of the offline algorithm. If we use an exact (exponential time) post-processing algorithm, this leads to $\frac{1}{2}-\varepsilon$ approximation (which is nearly optimal). If we post-process with the algorithm of Buchbinder and Feldman (Math of OR 2019), that achieves the state-of-the-art offline approximation guarantee of $\alpha=0.385$, we obtain $0.2779$-approximation in polynomial time, improving over the previously best polynomial-time approximation of $0.1715$ due to Feldman et al. (NeurIPS 2018). It is also worth mentioning that our algorithm is combinatorial and deterministic, which is rare for an algorithm for non-monotone submodular maximization, and enjoys a fast update time of $O(\frac{\log k + \log (1/\alpha)}{\varepsilon^2})$ per element.


title: Constructions of Pairs of Orthogonal Latin Cubes

abstract: A pair of orthogonal latin cubes of order $q$ is equivalent to an MDS code with distance $3$ or to an ${\rm OA}_1(3,5,q)$ orthogonal array. We construct pairs of orthogonal latin cubes for a sequence of previously unknown orders $q_i=16(18i-1)+4$ and $q'_i=16(18i+5)+4$. The minimal new obtained parameters of orthogonal arrays are ${\rm OA}_1(3,5,84)$. Keywords: latin square, latin cube, MOLS, MDS code, block design, Steiner system, orthogonal array


title: Stochastic Optimal Power Flow with Network Reconfiguration: Congestion Management and Facilitating Grid Integration of Renewables

abstract: There has been a significant growth of variable renewable generation in the power grid today. However, the industry still uses deterministic optimization to model and solve the optimal power flow (OPF) problem for real-time generation dispatch that ignores the uncertainty associated with intermittent renewable power. Thus, it is necessary to study stochastic OPF (SOPF) that can better handle uncertainty since SOPF is able to consider the probabilistic forecasting information of intermittent renewables. Transmission network congestion is one of the main reasons for renewable energy curtailment. Prior efforts in the literature show that utilizing transmission network reconfiguration can relieve congestion and resolve congestion-induced issues. This paper enhances SOPF by incorporating network reconfiguration into the dispatch model. Numerical simulations show that renewable curtailment can be avoided with the proposed network reconfiguration scheme that relieves transmission congestion in post-contingency situations. It is also shown that network reconfiguration can substantially reduce congestion cost, especially the contingency-case congestion cost.


title: Transmission Expansion Planning with Seasonal Network Optimization

abstract: Transmission expansion planning (TEP) is critical for the power grid to meet fast growing demand in the future. Traditional TEP model does not utilize the flexibility in the transmission network that is considered as static assets. However, as the load profile may have different seasonal patterns, the optimal network configuration could be very different for different seasons in the planning horizon. Therefore, this paper proposes to incorporate seasonal network optimization (SNO) into the traditional TEP model. SNO dynamically optimizes the network for each season of each planning epoch. Two TEP-SNO models are proposed to investigate the benefits of optimizing the status of (i) existing branches, and (ii) existing and new branches, respectively. Numerical simulations demonstrate the effectiveness of the proposed TEP-SNO models. It is shown that SNO can improve system operational efficiency, defer investment of new transmission elements, and reduce the total cost.


title: Interpreting mode degeneracy lifting in high-index-contract optical fibers as spin-orbit interaction or Imbert-Fedorov shift of orbital angular momentum modes

abstract: We present a visual interpretation of fiber mode degeneracy lifting as SOI (Imbert-Fedorov shift) of OAM modes in a ray picture, and the analytical results are verified by comparing them with eigen equation solutions.


title: On mod 2 arithmetic Dijkgraaf-Witten invariants for certain real quadratic number fields

abstract: Minhyong Kim introduced arithmetic Chern-Simons invariants for totally imaginary number fields as arithmetic analogues of the Chern-Simons invariants for 3-manifolds. In this paper, we extend Kim's definition for any number field, by using the modified \'etale cohomology groups and fundamental groups which take real places into account. We then show explicit formulas of mod 2 arithmetic Dijkgraaf-Witten invariants for real quadratic fields $\mathbb{Q} (\sqrt{p_1 p_2 \cdots p_r})$, where $p_i$ is a prime number congruent to 1 mod 4, in terms of the Legendre symbols of $p_i$'s. We also show topological analogues of our formulas for 3-manifolds.


title: Sparse and Low-Rank High-Order Tensor Regression via Parallel Proximal Method

abstract: Recently, tensor data (or multidimensional array) have been generated in many modern applications, such as functional magnetic resonance imaging (fMRI) in neuroscience and videos in video analysis. Many efforts are made in recent years to predict the relationship between tensor features and univariate responses. However, previously proposed methods either lose structural information within tensor data or have prohibitively expensive time costs, especially for large-scale data with high-order structures. To address such problems, we propose the Sparse and Low-rank Tensor Regression (SLTR) model. Our model enforces sparsity and low-rankness of the tensor coefficient by directly applying $\ell_1$ norm and tensor nuclear norm, such that it preserves structural information of the tensor. To make the solving procedure scalable and efficient, SLTR makes use of the proximal gradient method, which can be easily implemented parallelly. We evaluate SLTR on several simulated datasets and one video action recognition dataset. Experiment results show that, compared with previous models, SLTR can obtain a better solution with much fewer time costs. Moreover, our model's predictions exhibit meaningful interpretations on the video dataset.


title: One dimensional Hydrogen problem with general connection condition at the origin and non-Rydberg spectra

abstract: We consider the solution of the quantum Coulomb problem in one dimension with the most general connection condition at the origin. The divergence of the derivative of the wave function at the origin invalidates the standard current conservation approach. We explore two approaches, Wronskian self-adjoint extension method and cutoff regularization method, and establish their mutual relations, thereby clarifying the physical contents of the connection parameters. We show how to realize exotic non-Loudon connection conditions, entailing the realization of non-Rydberg spectrum.


title: The ATLAS 9.0 GHz Survey of the Extended Chandra Deep Field South: The Faint 9.0 GHz Radio Population

abstract: We present a new image of the 9.0 GHz radio emission from the extended Chandra Deep Field South. A total of 181 hours of integration with the Australia Telescope Compact Array has resulted in a 0.276 square degree image with a median sensitivity of $\sim$20 $\mu$Jy/beam rms, for a synthesised beam of 4.0 $\times$ 1.3 arcsec. We present a catalogue of the 9.0 GHz radio sources, identifying 70 source components and 55 individual radio galaxies. Source counts derived from this sample are consistent with those reported in the literature. The observed source counts are also generally consistent with the source counts from simulations of the faint radio population. Using the wealth of multiwavelength data available for this region, we classify the faint 9 GHz population and find that 91% are radio loud AGN, 7% are radio quiet AGN and 2% are star forming galaxies. The 9.0 GHz radio sources were matched to 5.5 and 1.4 GHz sources in the literature and we find a significant fraction of flat or inverted spectrum sources, with 36% of the 9 GHz sources having $\alpha_{5.5GHz}^{9.0GHz}$ $>$ -0.3 (for $S \propto \nu^\alpha$). This flat or inverted population is not well reproduced by current simulations of radio source populations.


title: Recognition of Blockchain-based Multisignature E-Awards

abstract: With blockchain technology, information is recorded in a permanent distributed ledger that is maintained by multiple computers in a peer-to-peer network. There is no central authority that can alter records or change network consensus rules. Such technology could be utilized for voting, title transfers, issuance of company shares, document notarization, but currently, the most popular use-case are virtual currencies. An interesting feature that some virtual currencies have is a multisignature (multisig) protocol that requires the electronic signatures from more than one private key to initiate a transfer of funds. Raw data of a multisig transaction may be recognized as an arbitral award under the New York Convention, where the law of England is the lex arbitri and parties have opted-out of a reasoned award.


title: The Microstructure of Stochastic Volatility Models with Self-Exciting Jump Dynamics

abstract: We provide a general probabilistic framework within which we establish scaling limits for a class of continuous-time stochastic volatility models with self-exciting jump dynamics. In the scaling limit, the joint dynamics of asset returns and volatility is driven by independent Gaussian white noises and two independent Poisson random measures that capture the arrival of exogenous shocks and the arrival of self-excited shocks, respectively. Various well-studied stochastic volatility models with and without self-exciting price/volatility co-jumps are obtained as special cases under different scaling regimes. We analyze the impact of external shocks on the market dynamics, especially their impact on jump cascades and show in a mathematically rigorous manner that many small external shocks may tigger endogenous jump cascades in asset returns and stock price volatility.


title: Reconfigurable all-dielectric metalens with diffraction limited performance

abstract: Active metasurfaces, whose optical properties can be modulated post-fabrication, have emerged as an intensively explored field in recent years. The efforts to date, however, still face major performance limitations in tuning range, optical quality, and efficiency especially for non mechanical actuation mechanisms. In this paper, we introduce an active metasurface platform combining phase tuning covering the full 2$\pi$ range and diffraction-limited performance using an all-dielectric, low-loss architecture based on optical phase change materials (O-PCMs). We present a generic design principle enabling switching of metasurfaces between two arbitrary phase profiles and propose a new figure-of-merit (FOM) tailored for active meta-optics. We implement the approach to realize a high-performance varifocal metalens operating at 5.2 $\mu$m wavelength. The metalens is constructed using Ge2Sb2Se4Te1 (GSST), an O-PCM with a large refractive index contrast ($\Delta$ n > 1) and unique broadband low-loss characteristics in both amorphous and crystalline states. The reconfigurable metalens features focusing efficiencies above 20% at both states for linearly polarized light and a record large switching contrast ratio of 29.5 dB. We further validated aberration-free imaging using the metalens at both optical states, which represents the first experimental demonstration of a non-mechanical active metalens with diffraction-limited performance.


title: Efficient generation of multipartite W state via quantum eraser

abstract: Entanglement among multiple particles is a keystone for not only fundamental research on quantum information but also various practical quantum information applications. In particular, W state has attracted a lot of attention due to the robustness against particle loss and the applications in multiparty quantum communication. However, it is challenging to generate photonic W state with large number of photons since N-photon W state requires superposition among N probability amplitudes. In this paper, we propose an efficient linear optical scheme to generate N-photon W state via quantum erasure. The success probability of our protocol polynomially decreases as the number of photons increase. We also discuss the experimental feasibility of our protocol, and anticipate that one can efficiently generate tens of photonic W state with our scheme using currently available quantum photonics technologies.


title: Approximation on Durrmeyer modification of generalized Szasz-Mirakjan operators

abstract: This paper deals with the approximations of Durrmeyer type generalization of Szasz-Mirakjan operators. We establish the direct results, quantitative Voronovskaya type theorem, Gruss type theorem, A-statistical convergence, rate of convergence in terms of the function with derivative of bounded variation. At last, the graphical analysis, comparison study and numerical representations of proposed operators are discussed.


title: Conditional symmetries and exact solutions of a nonlinear three-component reaction-diffusion model

abstract: Q-conditional (nonclassical) symmetries of the known three-component reaction-diffusion system [K. Aoki et al Theor. Pop. Biol. 50(1) (1996)] modeling interaction between farmers and hunter-gatherers are constructed for the first time. A wide variety of Q-conditional symmetries are found in an explicit form and it is shown that these symmetries are not equivalent to the Lie symmetries. Some operators of Q-conditional (nonclassical) symmetry are applied for finding exact solutions of the reaction-diffusion system in question. Properties of the exact solutions (in particular, their asymptotic behaviour) are identified and possible biological interpretation is discussed.


title: Isotropic uncharged model with compactness and stable con gurations

abstract: In present work, we have studied a new stellar distribution model with spherically symmetric matter and an uncharged isotropic distribution in general relativity. In this model, we have considered a particular metric potential. The model is capable to represents some known compact stars like Her X-1,4U 1538-52 and SAX J1808.4-3658.The model satisfy the energy condition and hydrostatic equilibrium equation, i.e., the modified Tolman-Oppenheimer-Volkoff (TOV) equation for uncharged matter. In addition to this, we also present the velocity of sound, surface redshift, and pressure density ratio. The physical quantities such as pressure, density, redshift, etc., are compared with graphical representations that are important from theoretical and astrophysical scale.


title: Magnetotransport of Weyl semimetals with tilted Dirac cones

abstract: Weyl semimetals (WSM) exhibit chiral anomaly in their magnetotransport due to broken conservation laws. Here, we analyze the magnetotransport of WSM in the presence of the time-reversal symmetry-breaking tilt parameter. The analytical expression for the magnetoconductivity is derived in the small tilt limit using the semiclassical Boltzmann equation. We predict a planar Hall current which flows transverse to the electric field and in the plane containing magnetic and electric fields and scales linearly with the tilt parameter. A tilt-induced transverse conductivity is also present in the case where the electric and magnetic fields are parallel to each other, a scenario where the conventional Hall current completely vanishes.


title: Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation

abstract: This paper proposes a formal approach to online learning and planning for agents operating in a priori unknown, time-varying environments. The proposed method computes the maximally likely model of the environment, given the observations about the environment made by an agent earlier in the system run and assuming knowledge of a bound on the maximal rate of change of system dynamics. Such an approach generalizes the estimation method commonly used in learning algorithms for unknown Markov decision processes with time-invariant transition probabilities, but is also able to quickly and correctly identify the system dynamics following a change. Based on the proposed method, we generalize the exploration bonuses used in learning for time-invariant Markov decision processes by introducing a notion of uncertainty in a learned time-varying model, and develop a control policy for time-varying Markov decision processes based on the exploitation and exploration trade-off. We demonstrate the proposed methods on four numerical examples: a patrolling task with a change in system dynamics, a two-state MDP with periodically changing outcomes of actions, a wind flow estimation task, and a multi-armed bandit problem with periodically changing probabilities of different rewards.


title: Positron Excess from Cosmic Ray Interactions in Galactic Molecular Clouds

abstract: The recently observed data by AMS-02 clearly confirms that the positron flux rises with energy and shows a peak near a few hundred GeV. This rising positron flux cannot be explained by interactions of cosmic rays with interstellar hydrogen gas. In this paper, our goal is to study whether secondary production due to cosmic ray interactions in nearby Galactic Molecular Clouds (GMCs) can contribute significantly to the observed positron spectrum on Earth. Due to the progress in multi-wavelength astronomy, many new GMCs have been discovered in our Galaxy recently. Using large scale CO survey, 1064 GMCs were detected in the Galaxy, which reside in the Galactic plane. Very recent survey implemented the optical/IR dust extinction measurements, to trace 567 GMCs within 4 kpc of Earth, also residing in the Galactic plane. We use the updated list of GMCs reported in recent papers, which are distributed in the Galactic plane, to find the secondary positrons produced in them in interactions of cosmic rays with molecular hydrogen. Moreover, by analysing the \textit{Fermi}-LAT data, new GMCs have been discovered near the Galactic plane. We also include some of these GMCs closest to the Earth where cosmic ray interactions are producing secondaries. It has been speculated earlier that cosmic rays may be reaccelerated in some GMCs. We select 7 GMCs out of 567 GMCs recently reported, within 4 kpc of Earth, where reacceleration due to magnetized turbulence is assumed. We include a hardened component of secondary positrons, produced from interaction of reaccelerated CRs in those 7 GMCs. We use publicly available code \textbf{DRAGON} for our simulation setup to study CR propagation in the Galaxy and show that the observed positron spectrum can be well explained in the energy range of 1 to 1000 GeV by our self consistent model.


title: Classical Simulations of Quantum Field Theory in Curved Spacetime I: Fermionic Hawking-Hartle Vacua from a Staggered Lattice Scheme

abstract: We numerically compute renormalized expectation values of quadratic operators in a quantum field theory (QFT) of free Dirac fermions in curved two-dimensional (Lorentzian) spacetime. First, we use a staggered-fermion discretization to generate a sequence of lattice theories yielding the desired QFT in the continuum limit. Numerically-computed lattice correlators are then used to approximate, through extrapolation, those in the continuum. Finally, we use so-called point-splitting regularization and Hadamard renormalization to remove divergences, and thus obtain finite, renormalized expectation values of quadratic operators in the continuum. As illustrative applications, we show how to recover the Unruh effect in flat spacetime and how to compute renormalized expectation values in the Hawking-Hartle vacuum of a Schwarzschild black hole and in the Bunch-Davies vacuum of an expanding universe described by de Sitter spacetime. Although here we address a non-interacting QFT using free fermion techniques, the framework described in this paper lays the groundwork for a series of subsequent studies involving simulation of interacting QFTs in curved spacetime by tensor network techniques.


title: New simple proofs of the Kolmogorov extension theorem and Prokhorov's theorem

abstract: We provide new simple proofs of the Kolmogorov extension theorem and Prokhorovs' theorem. The proof of the Kolmogorov extension theorem is based on the simple observation that $\mathbb{R}$ and the product measurable space $\{0,1\}^\mathbb{N}$ are Borel isomorphic. To show Prokhorov's theorem, we observe that we can assume that the underlying space is $\mathbb{R}^\mathbb{N}$. Then the proof of Prokhorov's theorem is a straightforward application of the Kolmogorov extension theorem we just proved.


title: CCD UBV(RI)KC Photometry of the Open Clusters Juchert 9 and Berkeley 97

abstract: The CCD UBV(RI)KC photometry of the poorly studied open clusters Juchert 9 (Juc 9) and Berkeley 97 (Be 97), which are observed with the 0.84 m telescope at the San Pedro M\'artir National Observatory, M\'exico has been analysed. For the likely cluster members, we determined the reddenings, E(B-V)=0.82 +- 0.04 (Juc 9) and E(B-V)=0.87 +- 0.05 (Be 97), from the early type stars. Our distance moduli/distances for only (B - V) colour are (Vo-Mv , d(kpc)) = (13.40 +- 0.10, 4.8 +- 0.2 kpc) (Juc 9) and (12.40 +- 0.12, 3.0 +- 0.2 kpc) (Be 97), respectively. The Gaia DR2 distances are d = 4.5 +- 1.2 kpc (Juc 9) and d = 3.1 +- 0.7 kpc (Be 97) from the median parallaxes with relative parallaxes < 0.20, which are in good agreement with the photometric distances within the uncertainties. The solar abundance PARSEC isochrones give us the intermediate ages, 30 +- 10 Myr for Juc 9 and 100 +- 30 Myr for Be 97.


title: On the Effective Throughput of Coded Caching: A Game Theoretic Perspective

abstract: Recently coded caching has emerged as a promising means to handle continuously increasing wireless traffic. However, coded caching requires users to cooperate in order to minimize the overall transmission rate. How users with heterogeneous preferences cooperate in coded caching and how to calculate the resulting caching gains are still open problems. In this paper, a two-phase cache-aided network is investigated, in which users with heterogeneous preferences are served by a base station through a shared link. Effective throughput is considered as a performance metric. It is proved that the achievable domain of effective throughputs is a convex set and can be characterized by its boundary. A special type of caching schemes, named uncoded placement absolutely-fair (UPAF) caching, is studied. For the two-user case, games are formulated to allocate effective throughput gains for the two users. For the general multiuser case, a UPAF policy is proposed to organize user cooperation. It is shown that users with more concentrated preferences can obtain higher effective throughputs.


title: Neural Chinese Word Segmentation as Sequence to Sequence Translation

abstract: Recently, Chinese word segmentation (CWS) methods using neural networks have made impressive progress. Most of them regard the CWS as a sequence labeling problem which construct models based on local features rather than considering global information of input sequence. In this paper, we cast the CWS as a sequence translation problem and propose a novel sequence-to-sequence CWS model with an attention-based encoder-decoder framework. The model captures the global information from the input and directly outputs the segmented sequence. It can also tackle other NLP tasks with CWS jointly in an end-to-end mode. Experiments on Weibo, PKU and MSRA benchmark datasets show that our approach has achieved competitive performances compared with state-of-the-art methods. Meanwhile, we successfully applied our proposed model to jointly learning CWS and Chinese spelling correction, which demonstrates its applicability of multi-task fusion.


title: Correlation-aware Adversarial Domain Adaptation and Generalization

abstract: Domain adaptation (DA) and domain generalization (DG) have emerged as a solution to the domain shift problem where the distribution of the source and target data is different. The task of DG is more challenging than DA as the target data is totally unseen during the training phase in DG scenarios. The current state-of-the-art employs adversarial techniques, however, these are rarely considered for the DG problem. Furthermore, these approaches do not consider correlation alignment which has been proven highly beneficial for minimizing domain discrepancy. In this paper, we propose a correlation-aware adversarial DA and DG framework where the features of the source and target data are minimized using correlation alignment along with adversarial learning. Incorporating the correlation alignment module along with adversarial learning helps to achieve a more domain agnostic model due to the improved ability to reduce domain discrepancy with unlabeled target data more effectively. Experiments on benchmark datasets serve as evidence that our proposed method yields improved state-of-the-art performance.


title: Gender Patterns of Human Mobility in Colombia: Reexamining Ravenstein's Laws of Migration

abstract: Public stakeholders implement several policies and regulations to tackle gender gaps, fostering the change in the cultural constructs associated with gender. One way to quantify if such changes elicit gender equality is by studying mobility. In this work, we study the daily mobility patterns of women and men occurring in Medell\'in (Colombia) in two years: 2005 and 2017. Specifically, we focus on the spatiotemporal differences in the travels and find that purpose of travel and occupation characterise each gender differently. We show that women tend to make shorter trips, corroborating Ravenstein's Laws of Migration. Our results indicate that urban mobility in Colombia seems to behave in agreement with the "archetypal" case studied by Ravenstein.


title: Applications of the Poincar\'e--Hopf Theorem: Epidemic Models and Lotka--Volterra Systems

abstract: This paper focuses on the equilibria and their regions of attraction for continuous-time nonlinear dynamical systems. The classical Poincar\'e--Hopf Theorem from differential topology is used to derive a result on a sufficient condition on the Jacobian for the existence of a unique equilibrium for the system, which is in fact locally exponentially stable. We show how to apply this result to the deterministic SIS networked model, and a nonlinear Lotka--Volterra system. We apply the result further to establish an impossibility conclusion for a class of distributed feedback controllers whose goal is to drive the SIS network to the zero equilibrium. Specifically, we show that if the uncontrolled system has a unique nonzero equilibrium (a diseased steady-state), then the controlled system also has a unique nonzero equilibrium. Applying results from monotone dynamical systems theory, we further show that both the uncontrolled and controlled system will converge to their nonzero equilibrium from all nonzero initial conditions exponentially fast. A counterpart sufficient condition for the existence of a unique equilibrium for a nonlinear discrete-time dynamical system is also presented.


title: Merging Weak and Active Supervision for Semantic Parsing

abstract: A semantic parser maps natural language commands (NLs) from the users to executable meaning representations (MRs), which are later executed in certain environment to obtain user-desired results. The fully-supervised training of such parser requires NL/MR pairs, annotated by domain experts, which makes them expensive to collect. However, weakly-supervised semantic parsers are learnt only from pairs of NL and expected execution results, leaving the MRs latent. While weak supervision is cheaper to acquire, learning from this input poses difficulties. It demands that parsers search a large space with a very weak learning signal and it is hard to avoid spurious MRs that achieve the correct answer in the wrong way. These factors lead to a performance gap between parsers trained in weakly- and fully-supervised setting. To bridge this gap, we examine the intersection between weak supervision and active learning, which allows the learner to actively select examples and query for manual annotations as extra supervision to improve the model trained under weak supervision. We study different active learning heuristics for selecting examples to query, and various forms of extra supervision for such queries. We evaluate the effectiveness of our method on two different datasets. Experiments on the WikiSQL show that by annotating only 1.8% of examples, we improve over a state-of-the-art weakly-supervised baseline by 6.4%, achieving an accuracy of 79.0%, which is only 1.3% away from the model trained with full supervision. Experiments on WikiTableQuestions with human annotators show that our method can improve the performance with only 100 active queries, especially for weakly-supervised parsers learnt from a cold start.


title: Topology optimization of heat sinks for instantaneous chip cooling using a transient pseudo-3D thermofluid model

abstract: With the increasing power density of electronics components, the heat dissipation capacity of heat sinks gradually becomes a bottleneck. Many structural optimization methods, including topology optimization, have been widely used for heat sinks. Due to its high design freedom, topology optimization is suggested for the design of heat sinks using a transient pseudo-3D thermofluid model to acquire better instantaneous thermal performance. The pseudo-3D model is designed to reduce the computational cost and maintain an acceptable accuracy. The model relies on an artificial heat convection coefficient to couple two layers and establish the approximate relationship with the corresponding 3D model. In the model, a constant pressure drop and heat generation rate are treated. The material distribution is optimized to reduce the average temperature of the base plate at the prescribed terminal time. Furthermore, to reduce the intermediate density regions during the density-based topology optimization procedure, a detailed analysis of interpolation functions is made and the penalty factors are chosen on this basis. Finally, considering the engineering application of the model, a practical model with more powerful cooling medium and higher inlet pressure is built. The optimized design shows a better instantaneous thermal performance and provides 66.7% of the pumping power reduction compared with reference design.


title: Empty Squares in Arbitrary Orientation Among Points

abstract: This paper studies empty squares in arbitrary orientation among a set $P$ of $n$ points in the plane. We prove that the number of empty squares with four contact pairs is between $\Omega(n)$ and $O(n^2)$, and that these bounds are tight, provided $P$ is in a certain general position. A contact pair of a square is a pair of a point $p\in P$ and a side $\ell$ of the square with $p\in \ell$. The upper bound $O(n^2)$ also applies to the number of empty squares with four contact points, while we construct a point set among which there is no square of four contact points. These combinatorial results are based on new observations on the $L_\infty$ Voronoi diagram with the axes rotated and its close connection to empty squares in arbitrary orientation. We then present an algorithm that maintains a combinatorial structure of the $L_\infty$ Voronoi diagram of $P$, while the axes of the plane continuously rotates by $90$ degrees, and simultaneously reports all empty squares with four contact pairs among $P$ in an output-sensitive way within $O(s\log n)$ time and $O(n)$ space, where $s$ denotes the number of reported squares. Several new algorithmic results are also obtained: a largest empty square among $P$ and a square annulus of minimum width or minimum area that encloses $P$ over all orientations can be computed in worst-case $O(n^2 \log n)$ time.


title: Online Structured Sparsity-based Moving Object Detection from Satellite Videos

abstract: Inspired by the recent developments in computer vision, low-rank and structured sparse matrix decomposition can be potentially be used for extract moving objects in satellite videos. This set of approaches seeks for rank minimization on the background that typically requires batch-based optimization over a sequence of frames, which causes delays in processing and limits their applications. To remedy this delay, we propose an Online Low-rank and Structured Sparse Decomposition (O-LSD). O-LSD reformulates the batch-based low-rank matrix decomposition with the structured sparse penalty to its equivalent frame-wise separable counterpart, which then defines a stochastic optimization problem for online subspace basis estimation. In order to promote online processing, O-LSD conducts the foreground and background separation and the subspace basis update alternatingly for every frame in a video. We also show the convergence of O-LSD theoretically. Experimental results on two satellite videos demonstrate the performance of O-LSD in term of accuracy and time consumption is comparable with the batch-based approaches with significantly reduced delay in processing.


title: Semi-Relaxed Quantization with DropBits: Training Low-Bit Neural Networks via Bit-wise Regularization

abstract: Network quantization, which aims to reduce the bit-lengths of the network weights and activations, has emerged as one of the key ingredients to reduce the size of neural networks for their deployments to resource-limited devices. In order to overcome the nature of transforming continuous activations and weights to discrete ones, recent study called Relaxed Quantization (RQ) [Louizos et al. 2019] successfully employ the popular Gumbel-Softmax that allows this transformation with efficient gradient-based optimization. However, RQ with this Gumbel-Softmax relaxation still suffers from bias-variance trade-off depending on the temperature parameter of Gumbel-Softmax. To resolve the issue, we propose a novel method, Semi-Relaxed Quantization (SRQ) that uses multi-class straight-through estimator to effectively reduce the bias and variance, along with a new regularization technique, DropBits that replaces dropout regularization to randomly drop the bits instead of neurons to further reduce the bias of the multi-class straight-through estimator in SRQ. As a natural extension of DropBits, we further introduce the way of learning heterogeneous quantization levels to find proper bit-length for each layer using DropBits. We experimentally validate our method on various benchmark datasets and network architectures, and also support the quantized lottery ticket hypothesis: learning heterogeneous quantization levels outperforms the case using the same but fixed quantization levels from scratch.


title: The partial banana mapping: a robust linear method for impact probability estimation

abstract: This paper presents a robust linear method for impact probability estimation of near-Earth asteroids with the Earth. This method is a significantly modified and improved method, which uses a special curvilinear coordinate system associated with the nominal orbit of an asteroid. One of the coordinates of this system is the mean anomaly in the osculating orbit of an asteroid. A normal distribution of errors of coordinates and velocities of this system is assumed. Because of the usage of the curvilinear coordinate system, the fact that the confidence region is curved and stretched mainly along the nominal asteroid orbit is taken into account. On the main axis of the curvilinear confidence ellipsoid the virtual asteroid, which is the closest to the Earth, is found. The part of the curvilinear confidence ellipsoid, around the found virtual asteroid, is obtained and mapped on to its target plane. The impact probability is calculated as the probability of the asteroid being in the region of the found virtual asteroid multiplied by the probability of a collision of the found virtual asteroid with the Earth. This approach is shown to give more accurate and trustworthy results than the target plane method.


title: Estimating the Hausdorff measure by recurrence

abstract: We show a new method of estimating the Hausdorff measure (of the proper dimension) of a fractal set from below. The method requires computing the subsequent closest return times of a point to itself.


title: Investigations on the inference optimization techniques and their impact on multiple hardware platforms for Semantic Segmentation

abstract: In this work, the task of pixel-wise semantic segmentation in the context of self-driving with a goal to reduce the inference time is explored. Fully Convolutional Network (FCN-8s, FCN-16s, and FCN-32s) with a VGG16 encoder architecture and skip connections is trained and validated on the Cityscapes dataset. Numerical investigations are carried out for several inference optimization techniques built into TensorFlow and TensorRT to quantify their impact on the inference time and network size. Finally, the trained network is ported on to an embedded platform (Nvidia Jetson TX1) and the inference time, as well as the total energy consumed for inference across hardware platforms, are compared.


title: An obstruction to small-time controllability of the bilinear Schr{\"o}dinger equation

abstract: In this article we discuss which controllability properties of classical Hamiltonian systems are preserved after quantization. We discuss some necessary and some sufficient conditions for small-time controllability of classical systems and quantum systems using the WKB method. In particular, we investigate the conjecture that if the classical system is not small-time controllable, then the corresponding quantum system is not small-time controllable either.


title: SAT-Encodings for Treecut Width and Treedepth

abstract: In this paper we propose, implement, and test the first practical decomposition algorithms for the width parameters treecut width and treedepth. These two parameters have recently gained a lot of attention in the theoretical research community as they offer the algorithmic advantage over treewidth by supporting so-called fixed-parameter algorithms for certain problems that are not fixed-parameter tractable with respect to treewidth. However, the existing research has mostly been theoretical. A main obstacle for any practical or experimental use of these two width parameters is the lack of any practical or implemented algorithm for actually computing the associated decompositions. We address this obstacle by providing the first practical decomposition algorithms. Our approach for computing treecut width and treedepth decompositions is based on efficient encodings of these decomposition methods to the propositional satisfiability problem (SAT). Once an encoding is generated, any satisfiability solver can be used to find the decomposition. Moreover, we propose new characterisations for treecut width and treedepth that are based on sequences of partitions of the vertex set, a method that was pioneered for clique-width. We implemented and systematically tested our encodings on various benchmark instances, including famous named graphs and random graphs of various density. It turned out that for the considered width parameters, our partition-based SAT encoding even outperforms the best existing SAT encoding for treewidth.


title: Relative amenability of Banach algebras

abstract: Let A be a Banach algebra and I be a closed ideal of A. We say that A is amenable relative to I, if A/I is an amenable Banach algebra. We study the relative amenability of Banach algebras and investigate the relative amenability of triangular Banach algebras and Banach algebras associated to locally compact groups. We generalize some of the previous known results by applying the concept of relative amenability of Banach algebras, especially, we present a generalization of Johnson's theorem in the concept of relative amenability.


title: Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution

abstract: We address the aircraft conflict resolution problem in air traffic control. We introduce new mixed-integer programming formulations for aircraft conflict resolution with speed, heading and altitude control which are based on disjunctive linear separation conditions. We first examine the two-dimensional aircraft conflict resolution problem with speed and heading control represented as continuous decision variables. We show that the proposed disjunctive linear separation conditions are equivalent to the traditional nonlinear conditions for aircraft separation. Further, we characterize conflict-free pairwise aircraft trajectories and propose a simple pre-processing algorithm to identify aircraft pairs which are either always conflict-free, or which cannot be separated using speed and heading control only. We then incorporate altitude control and propose a lexicographic optimization formulation that aims to minimize the number of flight level changes before resolving outstanding conflicts via two-dimensional velocity control. The proposed mixed-integer programming formulations are nonconvex, and we propose convex relaxations, decomposition methods and constraint generation algorithms to solve the two-dimensional and lexicographic optimization formulations to guaranteed optimality. Numerical experiments on four types of conflict resolution benchmarking instances are conducted to test the performance of the proposed mixed-integer formulations. Further, the proposed disjunctive formulations are compared against state-of-the-art formulations based on the so-called shadow separation condition. Our numerical results show that the proposed disjunctive linear separation conditions outperform existing formulations in the literature and can solve significantly more instances to global optimality. For reproducibility purposes, all formulations and instances are made available on a public repository.