title: Uniform decay rates for a suspension bridge with locally distributed nonlinear damping

abstract: We study a nonlocal evolution equation modeling the deformation of a bridge, either a footbridge or a suspension bridge. Contrarily to the previous literature we prove the asymptotic stability of the considered model with a minimum amount of damping which represents less cost of material. The result is also numerically proved.


title: A Neural-Network-Based Model Predictive Control of Three-Phase Inverter With an Output LC Filter

abstract: Model predictive control (MPC) has become one of the well-established modern control methods for three-phase inverters with an output LC filter, where a high-quality voltage with low total harmonic distortion (THD) is needed. Although it is an intuitive controller, easy to understand and implement, it has the significant disadvantage of requiring a large number of online calculations for solving the optimization problem. On the other hand, the application of model-free approaches such as those based on artificial neural networks approaches is currently growing rapidly in the area of power electronics and drives. This paper presents a new control scheme for a two-level converter based on combining MPC and feed-forward ANN, with the aim of getting lower THD and improving the steady and dynamic performance of the system for different types of loads. First, MPC is used, as an expert, in the training phase to generate data required for training the proposed neural network. Then, once the neural network is fine-tuned, it can be successfully used online for voltage tracking purpose, without the need of using MPC. The proposed ANN-based control strategy is validated through simulation, using MATLAB/Simulink tools, taking into account different loads conditions. Moreover, the performance of the ANN-based controller is evaluated, on several samples of linear and non-linear loads under various operating conditions, and compared to that of MPC, demonstrating the excellent steady-state and dynamic performance of the proposed ANN-based control strategy.


title: Renormalization Group Flows in Non-Relativistic Holographic Effective Field Theories

abstract: We develop a formalism with two different UV cutoff scales, one for space and one for time, appropriate for the richer structure of non-Lorentz invariant quantum field theories. In this formalism there are two different beta-functions for each coupling constant, arising from independent variations of the energy or momentum cutoffs. For holographic non-relativistic theories with rotational invariance, we develop the technique to calculate such beta-functions using a generalization of the superpotential formalism developed in [JHEP ${\bf 1208}$, 164 (2012)]. We then proceed and compute the beta-function around a Lifshitz critical point, as well as for general Lifshitz-invariant theories with hyperscaling violation. Finally, we do a similar computation in a weakly-coupled Lifshitz invariant QFT.


title: A boundary-based net-exchange Monte Carlo method for absorbing and scattering thick media

abstract: A boundary-based net-exchange Monte Carlo method was introduced in [1] that allows to bypass the difficulties encountered by standard Monte Carlo algorithms in the limit of optically thick absorption (and/or for quasi-isothermal configurations). With the present paper, this method is extended to scattering media. Developments are fully 3D, but illustrations are presented for plane parallel configuration. Compared to standard Monte Carlo algorithms, convergence qualities have been improved over a wide range of absorption and scattering optical thicknesses. The proposed algorithm still encounters a convergence difficulty in the case of optically thick, highly scattering media.


title: An Annotation Saved is an Annotation Earned: Using Fully Synthetic Training for Object Instance Detection

abstract: Deep learning methods typically require vast amounts of training data to reach their full potential. While some publicly available datasets exists, domain specific data always needs to be collected and manually labeled, an expensive, time consuming and error prone process. Training with synthetic data is therefore very lucrative, as dataset creation and labeling comes for free. We propose a novel method for creating purely synthetic training data for object detection. We leverage a large dataset of 3D background models and densely render them using full domain randomization. This yields background images with realistic shapes and texture on top of which we render the objects of interest. During training, the data generation process follows a curriculum strategy guaranteeing that all foreground models are presented to the network equally under all possible poses and conditions with increasing complexity. As a result, we entirely control the underlying statistics and we create optimal training samples at every stage of training. Using a set of 64 retail objects, we demonstrate that our simple approach enables the training of detectors that outperform models trained with real data on a challenging evaluation dataset.


title: Object Discovery From a Single Unlabeled Image by Mining Frequent Itemset With Multi-scale Features

abstract: TThe goal of our work is to discover dominant objects in a very general setting where only a single unlabeled image is given. This is far more challenge than typical co-localization or weakly-supervised localization tasks. To tackle this problem, we propose a simple but effective pattern mining-based method, called Object Location Mining (OLM), which exploits the advantages of data mining and feature representation of pre-trained convolutional neural networks (CNNs). Specifically, we first convert the feature maps from a pre-trained CNN model into a set of transactions, and then discovers frequent patterns from transaction database through pattern mining techniques. We observe that those discovered patterns, i.e., co-occurrence highlighted regions, typically hold appearance and spatial consistency. Motivated by this observation, we can easily discover and localize possible objects by merging relevant meaningful patterns. Extensive experiments on a variety of benchmarks demonstrate that OLM achieves competitive localization performance compared with the state-of-the-art methods. We also evaluate our approach compared with unsupervised saliency detection methods and achieves competitive results on seven benchmark datasets. Moreover, we conduct experiments on fine-grained classification to show that our proposed method can locate the entire object and parts accurately, which can benefit to improving the classification results significantly.


title: Using Deep Object Features for Image Descriptions

abstract: Inspired by recent advances in leveraging multiple modalities in machine translation, we introduce an encoder-decoder pipeline that uses (1) specific objects within an image and their object labels, (2) a language model for decoding joint embedding of object features and the object labels. Our pipeline merges prior detected objects from the image and their object labels and then learns the sequences of captions describing the particular image. The decoder model learns to extract descriptions for the image from scratch by decoding the joint representation of the object visual features and their object classes conditioned by the encoder component. The idea of the model is to concentrate only on the specific objects of the image and their labels for generating descriptions of the image rather than visual feature of the entire image. The model needs to be calibrated more by adjusting the parameters and settings to result in better accuracy and performance.


title: Spontaneous symmetry breaking in fermionic random matrix model

abstract: A fermionic random matrix model, which is a 0-dimensional version of the SYK model with replicas, is considered. The replica-off-diagonal correlation functions vanish at finite N, but we show that they do not vanish in the large N limit due to spontaneous symmetry breaking. We use the Bogoliubov quasi-averages approach to studying phase transitions. The consideration may be relevant to the study of the problem of existence of the spin glass phase in fermionic models.


title: Elliptic polylogarithms and Feynman parameter integrals

abstract: In this paper we study the calculation of multiloop Feynman integrals that cannot be expressed in terms of multiple polylogarithms. We show in detail how certain types of two- and three-point functions at two loops, which appear in the calculation of higher order corrections in QED, QCD and in the electroweak theory (EW), can naturally be expressed in terms of a recently introduced elliptic generalisation of multiple polylogarithms by direct integration over their Feynman parameter representation. Moreover, we show that in all examples that we considered a basis of pure Feynman integrals can be found.


title: Design of intentional backdoors in sequential models

abstract: Recent work has demonstrated robust mechanisms by which attacks can be orchestrated on machine learning models. In contrast to adversarial examples, backdoor or trojan attacks embed surgically modified samples with targeted labels in the model training process to cause the targeted model to learn to misclassify chosen samples in the presence of specific triggers, while keeping the model performance stable across other nominal samples. However, current published research on trojan attacks mainly focuses on classification problems, which ignores sequential dependency between inputs. In this paper, we propose methods to discreetly introduce and exploit novel backdoor attacks within a sequential decision-making agent, such as a reinforcement learning agent, by training multiple benign and malicious policies within a single long short-term memory (LSTM) network. We demonstrate the effectiveness as well as the damaging impact of such attacks through initial outcomes generated from our approach, employed on grid-world environments. We also provide evidence as well as intuition on how the trojan trigger and malicious policy is activated. Challenges with network size and unintentional triggers are identified and analogies with adversarial examples are also discussed. In the end, we propose potential approaches to defend against or serve as early detection for such attacks. Results of our work can also be extended to many applications of LSTM and recurrent networks.


title: Scattering for the one-dimensional Klein-Gordon equation with exponential nonlinearity

abstract: We consider the asymptotic behavior of solutions to the Cauchy problem for the defocusing nonlinear Klein-Gordon equation (NLKG) with exponential nonlinearity in the one spatial dimension with data in the energy space $H^1(\mathbb{R}) \times L^2(\mathbb{R})$. We prove that any energy solution has a global bound of the $L^6_{t,x}$ space-time norm, and hence scatters in $H^1(\mathbb{R}) \times L^2(\mathbb{R})$ as $t\rightarrow\pm \infty$. The proof is based on the argument by Killip-Stovall-Visan (Trans. Amer. Math. Soc. 364 (2012), no. 3, 1571--1631). However, since well-posedness in $H^{1/2}(\mathbb{R}) \times H^{-1/2}(\mathbb{R})$ for NLKG with the exponential nonlinearity holds only for small initial data, we use the $L_t^6 W^{s-1/2,6}_x$-norm for some $s>\frac{1}{2}$ instead of the $L_{t,x}^6$-norm, where $W_x^{s,p}$ denotes the $s$-th order $L^p$-based Sobolev space.


title: Effects of orbital angular momentum on few-cycle pulse shape: Coupling between the temporal and angular momentum degrees of freedom

abstract: We describe the coupling between orbital angular momentum (OAM) and temporal degrees of freedom in pulsed Laguerre-Gauss beams. The effects of this coupling are to increase significantly the duration of few-cycle pulses when the OAM carried by the pulse is large, and to enhance spatiotemporal couplings. Contrary to other detrimental but retrievable effects such as spatial, group velocity and topological charge dispersions in these pulses, OAM-temporal coupling effects are unavoidable, and have therefore an impact in applications such as OAM-based optical communications, or in the generation of vortex-carrying attosecond pulses.


title: Enhanced sensitivity of the electron electric dipole moment from YbOH: The role of theory

abstract: The prospect of laser cooling of polyatomic molecules has opened a new avenue in the search for the electric dipole moment of the electron (eEDM). An upper bound on the eEDM would probe new physics arising from beyond the Standard Model of elementary particles. In this work, we report the first theoretical results for the effective electric field experienced by the electron in YbOH, and its molecular electric dipole moment, using a relativistic coupled cluster theory. We compare these two properties of YbOH with YbF, which also has a singly unoccupied orbital on the Yb ion. We also present the results of the effective electric field for different bond angles, which sheds light on the sensitivity that can be expected from an eEDM experiment with YbOH.


title: Hybridizing WENO implementations of interpolation and reconstruction-wise operation for upwind-biased schemes with free-stream preservation

abstract: Cases have shown that WENO schemes usually behave robustly on problems containing shocks with high pressure ratios when uniformed or smooth grids are present, while nonlinear schemes based on WENO interpolations might relatively be liable to numerical instability. In the meanwhile, the latter have manifested their advantages in computations on grids of bad quality, because the free-stream preservation is easily realized there, and what is more flux-splitting schemes with low dissipations can be engaged inherently as well. Targeting at above dissatisfactions, a method by hybridizing WENO implementations of interpolation and reconstruction-wise operation for upwind-biased schemes with flux splitting employed is proposed and corresponding third-, fifth- and seventh-order upwind-biased schemes are proposed. Based on the understandings of [Q. Li, et al. Commun. Comput. Phys. 22 (2017) 64-94], the free-stream preservation of proposed schemes is achieved with incorporation of frozen grid metrics in WENO reconstructions-wise operations on split fluxes. In proposed schemes, flux-splitting schemes with low dissipation can also be applied for the flux on a cell edge. As a byproduct, an implementation of WENO scheme with free-stream preservation is obtained. Numerical examples are provided as following with the third- and fifth-order schemes being tested. In tests of free-stream preservation, the property is achieved as expected (including two implementations of WENO). The computation of 1-D Sod problem shows the capability of proposed schemes on solving ordinary shock discontinuity. 2-D vortex preservation and double Mach reflection are tested on uniformed and randomized grids. The accomplishment by proposed schemes manifests their capability and robustness on solving problems under rigorous circumstances.


title: Detection of Gait Asymmetry Using Indoor Doppler Radar

abstract: Doppler radar systems enable unobtrusive and privacy-preserving long-term monitoring of human motions indoors. In particular, a person's gait can provide important information about their state of health. Utilizing micro-Doppler signatures, we show that radar is capable of detecting small differences between the step motions of the two legs, which results in asymmetric gait. Image-based and physical features are extracted from the radar return signals of several individuals, including four persons with different diagnosed gait disorders. It is shown that gait asymmetry is correctly detected with high probability, irrespective of the underlying pathology, for at least one motion direction.


title: Semiparametric estimation of heterogeneous treatment effects under the nonignorable assignment condition

abstract: We propose a semiparametric two-stage least square estimator for the heterogeneous treatment effects (HTE). HTE is the solution to certain integral equation which belongs to the class of Fredholm integral equations of the first kind, which is known to be ill-posed problem. Naive semi/nonparametric methods do not provide stable solution to such problems. Then we propose to approximate the function of interest by orthogonal series under the constraint which makes the inverse mapping of integral to be continuous and eliminates the ill-posedness. We illustrate the performance of the proposed estimator through simulation experiments.


title: Radii of starlikeness and convexity of generalized $k-$Bessel functions

abstract: The main purpose of this paper is to determine the radii of starlikeness and convexity of the generalized $\emph{k}-$Bessel functions for three different kinds of normalization by using their Hadamard factorization in such a way that the resulting functions are analytic in the unit disk of the complex plane. The characterization of entire functions from Laguerre-P\'olya class plays an crucial role in this paper. Moreover, the interlacing properties of the zeros of $\emph{k}-$Bessel function and its derivative is also useful in the proof of the main results. By making use of the Euler-Rayleigh inequalities for the real zeros of the generalized $\emph{k}-$Bessel function, we obtain some tight lower and upper bounds for the radii of starlikeness and convexity of order zero.


title: Understanding Agent Incentives using Causal Influence Diagrams. Part I: Single Action Settings

abstract: Agents are systems that optimize an objective function in an environment. Together, the goal and the environment induce secondary objectives, incentives. Modeling the agent-environment interaction using causal influence diagrams, we can answer two fundamental questions about an agent's incentives directly from the graph: (1) which nodes can the agent have an incentivize to observe, and (2) which nodes can the agent have an incentivize to control? The answers tell us which information and influence points need extra protection. For example, we may want a classifier for job applications to not use the ethnicity of the candidate, and a reinforcement learning agent not to take direct control of its reward mechanism. Different algorithms and training paradigms can lead to different causal influence diagrams, so our method can be used to identify algorithms with problematic incentives and help in designing algorithms with better incentives.


title: Vehicle Classification Based on Seismic Signatures with Weighted Intrinsic Mode Functions

abstract: Seismic signal is used for vehicle classification widely. However, this task becomes difficult as a result of various noises. To solve the problem, this paper proposes a novel de-noising algorithm which evolves from a nonparametric adaptive tool named empirical mode decomposition (EMD). EMD can decompose signals into a set of zero-mean modes called intrinsic mode functions (IMFs) that can be used to denoise a signal. Unlike other EMD-based de-noising techniques, selecting the noise-free modes to denoise signals, this paper assigns appropriate weights to the modes. In addition, considering the similarities between speech recognition and seismic vehicle classification, an algorithm scheme, consisting of improved Mel frequency cepstral coefficient (MFCC) and artificial neural network, is applied to recognize seismic signals for vehicle targets. The data from DARPA's SensIt project, which contains various seismic signatures from two different vehicle types, is used to evaluate the method. Through experiments, results demonstrate the efficacy of proposed algorithm as compared to traditional MFCC.


title: A New Property of the Electromagnetic/Yang-Mills-Conformal Gravity System in Spherical Symmetry

abstract: We find a new property in $W^2$-conformal gravity in spherical symmetry. We demonstrate that the charge of the electromagnetic field varies with respect to the partial scaling symmetry (conformal transformations in subspaces of a spacetime) in the conformal gravity. We find that the electric and magnetic charges can vanish or appear via partial conformal transformations for the on-shell configurations in the conformal gravity. We find a solution of a Yang-Mills SU(2)-charged black hole in the conformal gravity, and further demonstrate that the SU(2) charge has similar properties with electromagnetic magnetic charges in the conformal gravity. We demonstrate how to imbed the electromagnetic and Yang-Mills SU(2) gauge field into the conformal gravity via such a symmetry. We make a brief discussion about the possibility to extend this argument to the Einstein gravity.


title: On a congruence involving $q$-Catalan numbers

abstract: Based on a $q$-congruence of the author and Petrov, we set up a $q$-analogue of Sun--Tauraso's congruence for sums of Catalan numbers, which extends a $q$-congruence due to Tauraso.


title: An Adaptive Random Bit Multilevel Algorithm for SDEs

abstract: We study the approximation of expectations $\operatorname{E}(f(X))$ for solutions $X$ of stochastic differential equations and functionals $f$ on the path space by means of Monte Carlo algorithms that only use random bits instead of random numbers. We construct an adaptive random bit multilevel algorithm, which is based on the Euler scheme, the L\'evy-Ciesielski representation of the Brownian motion, and asymptotically optimal random bit approximations of the standard normal distribution. We numerically compare this algorithm with the adaptive classical multilevel Euler algorithm for a geometric Brownian motion, an Ornstein-Uhlenbeck process, and a Cox-Ingersoll-Ross process.


title: Searching for Extraterrestrial Civilizations Using gamma Ray Telescopes

abstract: We investigate looking for black hole starships using very high energy gamma ray telescopes. We find they would be above the threshhold of visibility although there are many unknown factors.


title: Tensor-valued diffusion MRI in under 3 minutes: An initial survey of microscopic anisotropy and tissue heterogeneity in intracranial tumors

abstract: Purpose: To evaluate the feasibility of a 3-minute b-tensor encoding protocol for diffusion MRI-based assessment of the microscopic anisotropy and tissue heterogeneity in a wide range of intracranial tumors. Methods: B-tensor encoding was performed in 42 patients with intracranial tumors (gliomas, meningiomas, adenomas, metastases). Microscopic anisotropy and tissue heterogeneity were evaluated by estimating the anisotropic kurtosis ($MK_A$) and isotropic kurtosis ($MK_I$), respectively. An extensive imaging protocol was compared with a faster 3-minute protocol. Results: The fast imaging protocol yielded parameters with characteristics in terms of bias and precision similar to the full protocol. Glioblastomas had lower microscopic anisotropy than meningiomas $(MK_A = 0.29 \pm 0.06$ versus $0.45\pm0.08, p = 0.003)$. Metastases had higher tissue heterogeneity $(MK_I = 0.57\pm0.07)$ than both the glioblastomas $(0.44\pm0.06, p < 0.001)$ and meningiomas $(0.46\pm0.06, p = 0.03)$. Conclusion: Evaluation of the microscopic anisotropy and tissue heterogeneity in intracranial tumor patients is feasible in clinically relevant times frames.


title: Review of Cost Reduction Methods in Photoacoustic Computed Tomography

abstract: Photoacoustic Computed Tomography (PACT) is a major configuration of photoacoustic imaging, a hybrid noninvasive modality for both functional and molecular imaging. PACT has rapidly gained importance in the field of biomedical imaging due to superior performance as compared to conventional optical imaging counterparts. However, the overall cost of developing a PACT system is one of the challenges towards clinical translation of this novel technique. The cost of a typical commercial PACT system originates from optical source, ultrasound detector, and data acquisition unit. With growing applications of photoacoustic imaging, there is a tremendous demand towards reducing its cost. In this review article, we have discussed various approaches to reduce the overall cost of a PACT system, and provided a cost estimation to build a low-cost PACT system.


title: The Puzzle of Muons in Extensive Air Showers

abstract: In order to examine a muon excess observed by the Pierre Auger Observatory, detailed Monte Carlo simulations were carried out for primary protons, iron nuclei and strangelets (hypothetical stable lumps of strange quark matter). We obtained a rough agreement between the simulations and the data for ordinary nuclei without any contribution of strangelets in primary flux of cosmic rays. Our simulations suggest that the shower observables are dominated by details of hadronic interaction models.


title: Hereditarily antisymmetric operator algebras

abstract: We introduce a notion of ``hereditarily antisymmetric'' operator algebras and prove a structure theorem for them in finite dimensions. We also characterize those operator algebras in finite dimensions which can be made upper triangular and prove matrix analogs of the theorems of Dilworth and Mirsky for finite posets. Some partial results are obtained in the infinite dimensional case.


title: Fredholm Method for Podolsky Quantum Wave Function

abstract: In this paper we used the Fredholm method in Schroedinger's integral equation in the investigation of the scattering effect near the center of it between a stationary quantum wave function and an electrostatic potential. Two potentials are studied one Coulombian and the other Podolsky. The result shows the importance of the proposal of Podolsky to regularize the effect near the scattering center in the quantum wave function. Being that the coulombian potential presents with strong variation in the amplitude of the wave after the scattering. In the case of Podolsky's potential, this is corrected by adopting a constant that removes this strong variation.


title: Validated Modeling of Atmospheric-Pressure Anodic Arc

abstract: We performed self-consistent modeling of the atmospheric-pressure plasmas produced by arc discharges. Special numerical procedure for coupling of the plasma current, emission current, ion current, sheath voltage drop, heat fluxes at plasma-electrode interfaces was developed and implemented into the ANSYS CFX code. Validation of the simulation results is performed through comparison of simulation results with the previously available experimental data obtained by a range of various plasma diagnostics.


title: Fully Distributed Bayesian Optimization with Stochastic Policies

abstract: Bayesian optimization has become a popular method for high-throughput computing, like the design of computer experiments or hyperparameter tuning of expensive models, where sample efficiency is mandatory. In these applications, distributed and scalable architectures are a necessity. However, Bayesian optimization is mostly sequential. Even parallel variants require certain computations between samples, limiting the parallelization bandwidth. Thompson sampling has been previously applied for distributed Bayesian optimization. But, when compared with other acquisition functions in the sequential setting, Thompson sampling is known to perform suboptimally. In this paper, we present a new method for fully distributed Bayesian optimization, which can be combined with any acquisition function. Our approach considers Bayesian optimization as a partially observable Markov decision process. In this context, stochastic policies, such as the Boltzmann policy, have some interesting properties which can also be studied for Bayesian optimization. Furthermore, the Boltzmann policy trivially allows a distributed Bayesian optimization implementation with high level of parallelism and scalability. We present results in several benchmarks and applications that shows the performance of our method.


title: Performance of Non-orthogonal Multiple Access under Finite Blocklength

abstract: In this paper, we present a finite-block-length comparison between the orthogonal multiple access (OMA) scheme and the non-orthogonal multiple access (NOMA) for the uplink channel. First, we consider the Gaussian channel, and derive the closed form expressions for the rate and outage probability. Then, we extend our results to the quasi-static Rayleigh fading channel. Our analysis is based on the recent results on the characterization of the maximum coding rate at finite block-length and finite block-error probability. The overall system throughput is evaluated as a function of the number of information bits, channel uses and power. We find what would be the respective values of these different parameters that would enable throughput maximization. Furthermore, we analyze the system performance in terms of reliability and throughput when applying the type-I ARQ protocol with limited number of retransmissions. The throughput and outage probability are evaluated for different blocklengths and number of information bits. Our analysis reveals that there is a trade-off between reliability and throughput in the ARQ. While increasing the number of retransmissions boosts reliability by minimizing the probability of reception error, it results in more delay which decreases the throughput. Nevertheless, the results show that NOMA always outperforms OMA in terms of throughput, reliability and latency regardless of the users priority or the number of retransmissions in both Gaussian and fading channels.


title: Summation formula for generalized discrete $q$-Hermite II polynomials

abstract: In this paper, we provide a family of generalized discrete $q$-Hermite II polynomials denoted by $\tilde{h}_{n,\alpha}(x,y|q)$. An explicit relations connecting them with the $q$-Laguerre and Stieltjes-Wigert polynomials are obtained. Summation formula is derived by using different analytical means on their generating functions.


title: A Kobayashi-Hitchin correspondence between Dirac-type singular mini-holomorphic bundles and HE-monopoles

abstract: We prove an analogue of the Kobayashi-Hitchin correspondence oncompact connected 3-folds that is fibered on orbifold Riemann surfaces and satisfy an integrability condition, which contains compact connected Sasakian 3-folds. We define mini-holomorphic bundles on such 3-folds and the algebraic Dirac-type singularities on mini-holomorphic bundles, and prove that there exists a special Hermitian metric (admissible BHE-metric) on a Dirac-type singular mini-holomorphic bundle if the bundle satisfies a slope stability.


title: The Termination Critic

abstract: In this work, we consider the problem of autonomously discovering behavioral abstractions, or options, for reinforcement learning agents. We propose an algorithm that focuses on the termination condition, as opposed to -- as is common -- the policy. The termination condition is usually trained to optimize a control objective: an option ought to terminate if another has better value. We offer a different, information-theoretic perspective, and propose that terminations should focus instead on the compressibility of the option's encoding -- arguably a key reason for using abstractions. To achieve this algorithmically, we leverage the classical options framework, and learn the option transition model as a "critic" for the termination condition. Using this model, we derive gradients that optimize the desired criteria. We show that the resulting options are non-trivial, intuitively meaningful, and useful for learning and planning.


title: Single-Loop and Composite-Loop Realization of Nonadiabatic Holonomic Quantum Gates in a Decoherence-Free Subspace

abstract: High-fidelity quantum gates are essential for large-scale quantum computation, which can naturally be realized in a noise-resilient way. Geometric manipulation and decoherence-free subspace encoding are promising ways toward robust quantum computation. Here, by combining the advantages of both strategies, we propose and experimentally realize universal holonomic quantum gates in both a singleloop scheme and a composite scheme, based on nonadiabatic and non-Abelian geometric phases, in a decoherence-free subspace with nuclear magnetic resonance. Our experiment uses only two-body resonant spin-spin interactions and thus is experimental friendly. In particular, we also experimentally verify that the composite scheme is more robust against the pulse errors than the single-loop scheme. Therefore, our experiment provides a promising way toward faithful and robust geometric quantum manipulation.


title: The Fundamental Group of Closed Manifolds with Two-positive Ricci Curvature

abstract: Let M be a Riemannian n-manifold with n greater than or equal to 3. For k between 1 and n, we say M has k-positive Ricci curvature if at every point of M the sum of any k eigenvalues of the Ricci curvature is strictly positive. In particular, one positive Ricci curvature is equivalent to positive Ricci curvature and n-positive Ricci curvature is equivalent to positive scalar curvature. Let G be the fundamental group of the closed manifold M. We say that G is virtually free if G contains a free subgroup of finite index, or equivalently, if some finite cover of M has a fundamental group that is a free group. In this paper we will prove: Let M be a closed Riemannian n-manifold, with n greater than or equal to 3, such that (n-1)-eigenvalues of the Ricci curvature are strictly positive. Then the fundamental group of M is virtually free. As an immediate consequence we have: Let M be a closed Riemannian n-manifold, with n greater than or equal to 3, with 2-positive Ricci curvature. Then the fundamental group of M is virtually free.


title: Analytic solutions in a continuous-time financial market model

abstract: We propose a heterogeneous agent market model (HAM) in continuous time. The market is populated by fundamental traders and chartists, who both use simple linear trading rules. Most of the related literature explores stability, price dynamics and profitability either within deterministic models or by simulation. Our novel formulation lends itself to analytic treatment even in the stochastic case. We prove conditions for the (stochastic) stability of the price process, and also for the price to mean-revert to the fundamental value. Assuming stability, we derive analytic formulae on how the population ratios influence price dynamics and the profitability of the strategies. Our results suggest that whichever trader type is more present in the market will achieve higher returns.


title: Stability and uniqueness of self-similar profiles in $L^1$ spaces for perturbations of the constant kernel in Smoluchowski's coagulation equation

abstract: In this work, we consider self-similar profiles for Smoluchowski's coagulation equation for kernels which are possibly unbounded perturbations of the constant one. For this model, we show that the self-similar solutions for the perturbed kernel are close in weighted $L^1$ spaces to the profile of the unperturbed equation, i.e. the profiles are stable with respect to the perturbation. Additionally, we revisit the problem of uniqueness for these coagulation kernels. In fact, we will improve a corresponding result (see arXiv:1510.03361 and ref. [22]) by relaxing the conditions on the perturbation significantly while at the same time the corresponding proof can also be notably shortened.


title: Bonding and oxidation protection of Ti${_2}$AlC and Cr${_2}$AlC for a Ni-based Superalloy

abstract: Alumina forming, oxidation and thermal shock resistant MAX phases are of a high interest for high temperature applications. Herein we report, on bonding and resulting interactions between a Ni-based superalloy, NSA, and two alumina forming MAX phases. The diffusion couples Cr${_2}$AlC/Inconel-718/Ti${_2}$AlC were assembled and heated to 1000 or 1100{\deg}C in a vacuum hot press under loads corresponding to stresses of either 2 MPa or 20 MPa. The resulting interfaces were examined using X-ray diffraction, scanning electron microscopy and energy-dispersive X-ray spectroscopy. Good bonding between Cr${_2}$AlC and NSA was achieved after hot pressing at 1000{\deg}C and a contact pressure of only 2 MPa; in the case of Ti${_2}$AlC a higher temperature (1100{\deg}C) and pressure (20 MPa) were needed. In both cases, a diffusion bond was realized with no evidence of interfacial damage or cracking after cooling to room temperature. Twenty thermal cycles from room temperature to 1000{\deg}C showed that Ti${_2}$AlC is a poor oxidation barrier for Inconel-718. However, in the case of Cr${_2}$AlC no cracks, delamination nor surface degradation were observed, suggesting that this material could be used to protect Inconel-718 from oxidation.


title: FUSE Spectroscopic Analysis of the Slowest Symbiotic Nova AG Peg During Quiescence

abstract: We present a far ultraviolet spectroscopic analysis of the slowest known symbiotic nova AG Peg (M3/4III giant + hot white dwarf; P = 818.4 days) which underwent a nova explosion in 1850 followed by a very slow decline that did not end until 1996, marking the beginning of quiescence. The 19 years of quiescence ended in June 2015, when AG Peg exhibited a Z And-type outburst with an optical amplitude of 1.5 magnitudes. We have carried out accretion disk and WD photosphere synthetic spectral modeling of a Far Ultraviolet Spectroscopic Explorer (FUSE) spectrum obtained on June 5.618, 2003 during the quiescence interval 12 years before the 2015 outburst. The spectrum is heavily affected by ISM absorption as well as strong emission lines. We de-reddened the FUSE fluxes assuming E(B-V) = 0.10, which is the maximum galactic reddening in the direction of AG Peg. We discuss our adoption of the pre-Gaia distance over the Gaia parallax. For a range of white dwarf surface gravities and surface temperatures we find that the best-fitting photosphere is a hot WD with a temperature T = 150,000 K, and a low gravity log(g)~6.0-6.5. For a distance of 800 pc, the scaled WD radius is about 0.06 Rsun, giving log(g) = 6.67 for a 0.65 Msun WD mass. The Luminosity we obtain from this model is 1729 Lsun. The hot photosphere models provide better fits than the accretion disk models which have FUV flux deficits toward the shorter wavelengths of FUSE, down to the Lyman Limit. Given the uncertainty of the nature of a true symbiotic accretion disk, and, while a very hot low gravity degenerate star dominates the FUV flux, the presence of a steady-state (standard) accretion disk cannot be summarily ruled out.


title: Frustration induced transient chaos, fractal and riddled basins in coupled limit cycle oscillators

abstract: This report unravels frustration as a source of transient chaotic dynamics even in a simple array of coupled limit cycle oscillators. The transient chaotic dynamics along with the multistable nature of frustrated systems facilitates the existence of complex basin structures such as fractal and riddled basins. In particular, we report the emergence of transient chaotic dynamics around the chaotic itinerancy region, where the basin of attraction near the chaotic region is riddled and it becomes fractal basin when we move away from this region. Normally the complex basin structures are observed only for oscillatory states but surprisingly it is also observed even for oscillation death states. Interestingly super persistent transient chaos is also shown to emerge in the coupled limit cycle oscillators, which manifests as stable chaos for larger networks.


title: Vertex-monochromatic connectivity of strong digraphs

abstract: A vertex coloring of a strong digraph $D$ is a \emph{strong vertex-monochromatic connection coloring (SVMC-coloring)} if for every pair $u, v$ of vertices in $D$ there exists an $(u,v)$-path having all its internal vertices of the same color. Let $smc_v(D)$ denote the maximum number of colors used in an SVMC-coloring of a digraph $D$. In this paper we determine the value of $smc_v(D)$, whenever $D$ is the line digraph of a digraph. Also, if $T$ is a tournament, we give conditions to find the exact value of $smc_v(T)$.


title: Polarization-control of absorption of virtual dressed-states in helium

abstract: The extreme ultraviolet absorption spectrum of an atom is strongly modified in the presence of a synchronized intense infrared field. In this work we demonstrate control of the absorption properties of helium atoms dressed by an infrared pulse by changing the relative polarization of the infrared and extreme ultraviolet fields. Light-induced features associated with the dressed $1s2s$, $1s3s$ and $1s3d$ states, referred to as $2s^{+}$, $3s^{\pm}$ and $3d^{\pm}$ light induced states, are shown to be strongly modified or even eliminated when the relative polarization is rotated. The experimental results agree well with calculations based on the solution of the time-dependent Schr\"{o}dinger equation using a restricted excitation model that allows efficient treatment of the three dimensional problem. We also present an analysis of the light induced states based on Floquet theory, which allows for a simple explanation of their properties. Our results open a new route to creating controllable superpositions of dipole allowed and non-dipole allowed states in atoms and molecules.


title: Thermal DMRG for highly frustrated quantum spin chains: a user perspective

abstract: Thermal DMRG is investigated with emphasis of employability in molecular magnetism studies. To this end magnetic observables at finite temperature are evaluated for two one-dimensional quantum spin systems: a Heisenberg chain with nearest-neighbor antiferromagnetic interaction and a frustrated sawtooth (delta) chain. It is found that thermal DMRG indeed accurately approximates magnetic observables for the chain as well as for the sawtooth chain, but in the latter case only for sufficiently high temperatures. We speculate that the reason is due to the peculiar structure of the low-energy spectrum of the sawtooth chain induced by frustration.


title: Comparison of fragmentation functions for light-quark- and gluon-dominated jets from $pp$ and Pb+Pb collisions in ATLAS

abstract: Charged-particle fragmentation functions for jets azimuthally balanced by a high-transverse-momentum, prompt, isolated photon are measured in $25$ pb$^{-1}$ of $pp$ and $0.49$ nb$^{-1}$ of Pb+Pb collision data at $5.02$ TeV per nucleon pair recorded with the ATLAS detector at the Large Hadron Collider. The measurements are compared to predictions of Monte Carlo generators and to measurements of inclusively selected jets. In $pp$ collisions, a different jet fragmentation function in photon-tagged events from that in inclusive jet events arises from the difference in fragmentation between light quarks and gluons. The ratios of the fragmentation functions in Pb+Pb events to that in $pp$ events are used to explore the parton color-charge dependence of jet quenching in the hot medium. In relatively peripheral collisions, fragmentation functions exhibit a similar modification pattern for photon-tagged and inclusive jets. However, photon-tagged jets are observed to have larger modifications than inclusive jets in central Pb+Pb events.


title: Selling a Single Item with Negative Externalities

abstract: We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide services such as Twitter. Neither the buyer (i.e., consumers) nor seller (i.e., IoT manufacturers) was known to suffer from the attack, but both have the power to expend effort to secure their devices. We consider a regulator who regulates payments (via fines if the device is compromised, or market prices directly), or the product directly via mandatory security requirements. Both regulations come at a cost---implementing security requirements increases production costs, and the existence of fines decreases consumers' values---thereby reducing the seller's profits. The focus of this paper is to understand the \emph{efficiency} of various regulatory policies. That is, policy A is more efficient than policy B if A more successfully minimizes negatives externalities, while both A and B reduce seller's profits equally. We develop a simple model to capture the impact of regulatory policies on a buyer's behavior. {In this model, we show that for \textit{homogeneous} markets---where the buyer's ability to follow security practices is always high or always low---the optimal (externality-minimizing for a given profit constraint) regulatory policy need regulate \emph{only} payments \emph{or} production.} In arbitrary markets, by contrast, we show that while the optimal policy may require regulating both aspects, there is always an approximately optimal policy which regulates just one.


title: Parameter Redundancy and the Existence of Maximum Likelihood Estimates in Log-linear Models

abstract: Log-linear models are typically fitted to contingency table data to describe and identify the relationship between different categorical variables. However, the data may include observed zero cell entries. The presence of zero cell entries can have an adverse effect on the estimability of parameters, due to parameter redundancy. We describe a general approach for determining whether a given log-linear model is parameter redundant for a pattern of observed zeros in the table, prior to fitting the model to the data. We derive the estimable parameters or functions of parameters and also explain how to reduce the unidentifiable model to an identifiable one. Parameter redundant models have a flat ridge in their likelihood function. We further explain when this ridge imposes some additional parameter constraints on the model, which can lead to obtaining unique maximum likelihood estimates for parameters that otherwise would not have been estimable. In contrast to other frameworks, the proposed novel approach informs on those constraints, elucidating the model that is actually being fitted.


title: Anonymity Preserving Byzantine Vector Consensus

abstract: Collecting anonymous opinions finds various applications ranging from simple whistleblowing, releasing secretive information, to complex forms of voting, where participants rank candidates by order of preferences. Unfortunately, as far as we know there is no efficient distributed solution to this problem. Previously, participants had to trust third parties, run expensive cryptographic protocols or sacrifice anonymity. In this paper, we propose a resilient-optimal solution to this problem called AVCP, which tolerates up to a third of Byzantine participants. AVCP combines traceable ring signatures to detect double votes with a reduction from vector consensus to binary consensus to ensure all valid votes are taken into account. We prove our algorithm correct and show that it preserves anonymity with at most a linear communication overhead and constant message overhead when compared to a recent consensus baseline. Finally, we demonstrate empirically that the protocol is practical by deploying it on 100 machines geo-distributed in 3 continents: America, Asia and Europe. Anonymous decisions are reached within 10 seconds with a conservative choice of traceable ring signatures.


title: Investigating the Candidate Displaced Active Galactic Nucleus in NGC 3115

abstract: The nearby galaxy NGC 3115 contains a known radio-emitting, low-luminosity active galactic nucleus (AGN), and was recently claimed to host a candidate AGN displaced 14.3 pc from the galaxy's optical photocenter. Our goal is to understand whether this represents a single offset AGN, an AGN in orbit around a central black hole, or something else. We present a new, sensitive (RMS = 4.4 $\mu$Jy beam$^{-1}$) 10 GHz image, which finds evidence for only one AGN. We place a stringent limit on the radio luminosity of any secondary supermassive black hole of $L_{10~\rm{GHz}}<5.8\times10^{33}$ ergs/s. An analysis of the relative positioning of the radio core, X-ray nucleus, and stellar bulge in this galaxy indicate that the radio source is centrally located, and not offset from the galactic bulge. This provides an argument against a single offset AGN in NGC 3115, however does not provide conclusive evidence against the purported offset AGN as an in-spiralling secondary black hole.


title: Alternative versions of the Johnson homomorphisms and the LMO functor

abstract: Let $\Sigma$ be a compact connected oriented surface with one boundary component and let $\mathcal{M}$ denote the mapping class group of $\Sigma$. By considering the action of $\mathcal{M}$ on the fundamental group of $\Sigma$ it is possible to define different filtrations of $\mathcal{M}$ together with some homomorphisms on each term of the filtration. The aim of this paper is twofold. Firstly we study a filtration of $\mathcal{M}$ introduced recently by Habiro and Massuyeau, whose definition involves a handlebody bounded by $\Sigma$. We shall call it the "alternative Johnson filtration", and the corresponding homomorphisms are referred to as "alternative Johnson homomorphisms". We provide a comparison between the alternative Johnson filtration and two previously known filtrations: the original Johnson filtration and the Johnson-Levine filtration. Secondly, we study the relationship between the alternative Johnson homomorphisms and the functorial extension of the Le-Murakami-Ohtsuki invariant of $3$-manifolds. We prove that these homomorphisms can be read in the tree reduction of the LMO functor. In particular, this provides a new reading grid for the tree reduction of the LMO functor.


title: Flux and storage of energy in non-equilibrium, stationary states

abstract: Systems kept out of equilibrium in stationary states by an external source of energy store an energy $\Delta U=U-U_0$. $U_0$ is the internal energy at equilibrium state, obtained after the shutdown of energy input. We determine $\Delta U$ for two model systems: ideal gas and Lennard-Jones fluid. $\Delta U$ depends not only on the total energy flux, $J_U$, but also on the mode of energy transfer into the system. We use three different modes of energy transfer where: the energy flux per unit volume is (i) constant; (ii) proportional to the local temperature (iii) proportional to the local density. We show that $\Delta U /J_U=\tau$ is minimized in the stationary states formed in these systems, irrespective of the mode of energy transfer. $\tau$ is the characteristic time scale of energy outflow from the system immediately after the shutdown of energy flux. We prove that $\tau$ is minimized in stable states of the Rayleigh-Benard cell.


title: Signature of odd-frequency equal-spin triplet pairing in the Josephson current on the surface of Weyl nodal loop semimetals

abstract: We theoretically predict proximity-induced odd-frequency (odd-$\omega$) pairing on the surface of a Weyl nodal loop semimetal, characterized by a nodal loop Fermi surface and drumhead-like surface states (DSSs), attached to conventional spin-singlet $s$-wave superconducting leads. Due to the complete spin polarization of the DSS, odd-$\omega$ equal-spin triplet pairing is present, and we show that it gives rise to a finite Josephson current. Placing an additional ferromagnet in the junction can also generate odd-$\omega$ mixed-spin triplet pairing, but the pairing and current is not affected if the magnetization is orthogonal to the DSS spin-polarization, which further confirms the equal-spin structure of the pairing.


title: The ineffectiveness of coherent risk measures

abstract: We show that coherent risk measures are ineffective in curbing the behaviour of investors with limited liability or excessive tail-risk seeking behaviour if the market admits statistical arbitrage opportunities which we term $\rho$-arbitrage for a risk measure $\rho$. We show how to determine analytically whether such $\rho$-arbitrage portfolios exist in complete markets and in the Markowitz model. We also consider realistic numerical examples of incomplete markets and determine whether expected shortfall constraints are ineffective in these markets. We find that the answer depends heavily upon the probability model selected by the risk manager but that it is certainly possible for expected shortfall constraints to be ineffective in realistic markets. Since value at risk constraints are weaker than expected shortfall constraints, our results can be applied to value at risk. By contrast, we show that reasonable expected utility constraints are effective in any arbitrage-free market.


title: Anomalous Situation Detection in Complex Scenes

abstract: In this paper we investigate a robust method to identify anomalies in complex scenes. This task is performed by evaluating the collective behavior by extracting the local binary patterns (LBP) and Laplacian of Gaussian (LoG) features. We fuse both features together which are exploited to train an MLP neural network during the training stage, and the anomaly is identified on the test samples. Considering the challenge of tracking individuals in dense crowded scenes due to multiple occlusions and clutter, in this paper we extract LBP and LoG features and use them as an approximate representation of the anomalous situation. These features well match the appearance of anomaly and their consistency, and accuracy is higher both in regular and irregular areas compared to other descriptors. In this paper, these features are exploited as input prior to train the neural network. The MLP neural network is subsequently explored to consider these features that can detect the anomalous situation. The experimental tests are conducted on a set of benchmark video sequences commonly used for anomaly situation detection.


title: Joint Task Assignment and Resource Allocation for D2D-Enabled Mobile-Edge Computing

abstract: With the proliferation of computation-extensive and latency-critical applications in the 5G and beyond networks, mobile-edge computing (MEC) or fog computing, which provides cloud-like computation and/or storage capabilities at the network edge, is envisioned to reduce computation latency as well as to conserve energy for wireless devices (WDs). This paper studies a novel device-to-device (D2D)-enabled multi-helper MEC system, in which a local user solicits its nearby WDs serving as helpers for cooperative computation. We assume a time division multiple access (TDMA) transmission protocol, under which the local user offloads the tasks to multiple helpers and downloads the results from them over orthogonal pre-scheduled time slots. Under this setup, we minimize the computation latency by optimizing the local user's task assignment jointly with the time and rate for task offloading and results downloading, as well as the computation frequency for task execution, subject to individual energy and computation capacity constraints at the local user and the helpers. However, the formulated problem is a mixed-integer non-linear program (MINLP) that is difficult to solve. To tackle this challenge, we propose an efficient algorithm by first relaxing the original problem into a convex one, and then constructing a suboptimal task assignment solution based on the obtained optimal one. Next, we consider a benchmark scheme that endows the WDs with their maximum computation capacities. To further reduce the implementation complexity, we also develop a heuristic scheme based on the greedy task assignment. Finally, numerical results validate the effectiveness of our proposed algorithm, as compared against the heuristic scheme and other benchmark ones without either joint optimization of radio and computation resources or task assignment design.


title: Grauert-Riemenschneider Vanishing via modulus sheaves with transfers

abstract: We observe that the classical Grauert-Riemenschneider Vanishing Theorem is a direct consequence of basic results from the theory of modulus sheaves with transfers as developed by Kahn-Saito-Yamazaki. We also obtain a new characterization of rational singularities in characteristic 0.


title: $D_n$ Dynkin quiver moduli spaces

abstract: We study $3d$ $\mathcal{N}=4$ quiver gauge theories with gauge nodes forming a $D_n$ Dynkin diagram. The class of good $D_n$ Dynkin quivers is completely characterised and the moduli space singularity structure fully determined for all such theories. The class of good $D_n$ Dynkin quivers is denoted $D_\nu^\mu(n)_p$ where $n \geq 2$ is an integer, $\nu$ and $\mu$ are integer partitions and $p \in \{ \textrm{even}, \textrm{odd}\}$ denotes membership of one of two broad subclasses. A full assessment of which $\mathfrak{so}_{2n}$ nilpotent varieties are realisable as $D_n$ Dynkin quiver moduli spaces is provided. Quiver addition is introduced and is used to give large subclasses of $D_n$ Dynkin quivers poset structure. The partial ordering is determined by inclusion relations for the moduli space branches. The resulting Hasse diagrams are used to both classify $D_n$ Dynkin quivers and determine the moduli space singularity structure for an arbitrary good theory. The poset constructions and local moduli space analyses are complemented throughout by explicit checks utilising moduli space dimension matching.


title: Experimental demonstration of a generalized Fourier's Law for non-diffusive thermal transport

abstract: Phonon heat conduction over length scales comparable to their mean free paths is a topic of considerable interest for basic science and thermal management technologies. Although the failure of Fourier's law beyond the diffusive regime is well understood, debate exists over the proper physical description of thermal transport in the ballistic to diffusive crossover. Here, we derive a generalized Fourier's law that links the heat flux and temperature fields, valid from ballistic to diffusive regimes and for general geometries, using the Peierls-Boltzmann transport equation within the relaxation time approximation. This generalized Fourier's law predicts that thermal conductivity not only becomes nonlocal at length scales smaller than phonon mean free paths, but also requires the inclusion of an inhomogeneous nonlocal source term that has been previously neglected. We demonstrate the validity of this generalized Fourier's law through direct comparison with time-domain thermoreflectance (TDTR) measurements in the nondiffusive regime without adjustable parameters. Furthermore, we show that interpreting experimental data without this generalized Fourier's law leads to inaccurate measurement of thermal transport properties.


title: Self-respecting worker in the precarious gig economy: A dynamic principal-agent model

abstract: We introduce a dynamic principal-agent model to understand the nature of contracts between an employer and an independent gig worker. We model the worker's self-respect with an endogenous backward-looking participation constraint; he accepts a job offer if and only if its utility is at least as large as his reference value, which is based on the average of previously realized wages. If the dynamically changing reference value capturing the worker's demand is too high, then no contract is struck until the reference value hits a threshold. Below the threshold, contracts are offered and accepted, and the worker's wage demand follows a stochastic process. We apply our model to perfectly competitive and monopsonistic labor market structures and investigate first-best and second-best solutions. We show that a far-sighted employer with market power may sacrifice instantaneous profit to regulate the agent's demand. Moreover, the far-sighted employer implements increasing and path-dependent effort levels. Our model captures the worker's bargaining power by a vulnerability parameter that measures the rate at which his wage demand decreases when unemployed. With a low vulnerability parameter, the worker can afford to go unemployed and need not take a job at all costs. Conversely, a worker with high vulnerability can be exploited by the employer, and in this case our model also exhibits self-exploitation.


title: Boundary behaviour of the Carath\'eodory and Kobayashi-Eisenman volume elements

abstract: We study the boundary limits of the Carath\'eodory and Kobayashi-Eisenman volume elements on smoothly bounded convex finite type domains and also on Levi corank one domains.


title: A variational approach to the sum splitting scheme

abstract: Nonlinear parabolic equations are frequently encountered in applications and efficient approximating techniques for their solution are of great importance. In order to provide an effective scheme for the temporal approximation of such equations, we present a sum splitting scheme that comes with a straight forward parallelization strategy. The convergence analysis is carried out in a variational framework that allows for a general setting and, in particular, nontrivial temporal coefficients. The aim of this work is to illustrate the significant advantages of a variational framework for operator splittings and use this to extend semigroup based theory for this type of scheme.


title: STAR-Net: Action Recognition using Spatio-Temporal Activation Reprojection

abstract: While depth cameras and inertial sensors have been frequently leveraged for human action recognition, these sensing modalities are impractical in many scenarios where cost or environmental constraints prohibit their use. As such, there has been recent interest on human action recognition using low-cost, readily-available RGB cameras via deep convolutional neural networks. However, many of the deep convolutional neural networks proposed for action recognition thus far have relied heavily on learning global appearance cues directly from imaging data, resulting in highly complex network architectures that are computationally expensive and difficult to train. Motivated to reduce network complexity and achieve higher performance, we introduce the concept of spatio-temporal activation reprojection (STAR). More specifically, we reproject the spatio-temporal activations generated by human pose estimation layers in space and time using a stack of 3D convolutions. Experimental results on UTD-MHAD and J-HMDB demonstrate that an end-to-end architecture based on the proposed STAR framework (which we nickname STAR-Net) is proficient in single-environment and small-scale applications. On UTD-MHAD, STAR-Net outperforms several methods using richer data modalities such as depth and inertial sensors.


title: Multi-tasking to Correct: Motion-Compensated MRI via Joint Reconstruction and Registration

abstract: This work addresses a central topic in Magnetic Resonance Imaging (MRI) which is the motion-correction problem in a joint reconstruction and registration framework. From a set of multiple MR acquisitions corrupted by motion, we aim at - jointly - reconstructing a single motion-free corrected image and retrieving the physiological dynamics through the deformation maps. To this purpose, we propose a novel variational model. First, we introduce an $L^2$ fidelity term, which intertwines reconstruction and registration along with the weighted total variation. Second, we introduce an additional regulariser which is based on the hyperelasticity principles to allow large and smooth deformations. We demonstrate through numerical results that this combination creates synergies in our complex variational approach resulting in higher quality reconstructions and a good estimate of the breathing dynamics. We also show that our joint model outperforms in terms of contrast, detail and blurring artefacts, a sequential approach.


title: On the structure of the $C^*$-algebra generated by the field operators and spectral analysis of the operators affiliated to it

abstract: We show that the $C^*$-algebra generated by the field operators associated to a symplectic space $\Xi$ is graded by the semilattice of all finite dimensional subspaces of $\Xi$. If $\Xi$ is finite dimensional we give a simple intrinsic description of the components of the grading, we show that the self-adjoint operators affiliated to the algebra have a many channel structure similar to that of N-body Hamiltonians, in particular their essential spectrum is described by a kind of HVZ theorem, and we point out a large class of operators affiliated to the algebra.

categories: math-ph math.FA math.MP math.OA math.SP quant-ph


title: Grammar Based Directed Testing of Machine Learning Systems

abstract: The massive progress of machine learning has seen its application over a variety of domains in the past decade. But how do we develop a systematic, scalable and modular strategy to validate machine-learning systems? We present, to the best of our knowledge, the first approach, which provides a systematic test framework for machine-learning systems that accepts grammar-based inputs. Our OGMA approach automatically discovers erroneous behaviours in classifiers and leverages these erroneous behaviours to improve the respective models. OGMA leverages inherent robustness properties present in any well trained machine-learning model to direct test generation and thus, implementing a scalable test generation methodology. To evaluate our OGMA approach, we have tested it on three real world natural language processing (NLP) classifiers. We have found thousands of erroneous behaviours in these systems. We also compare OGMA with a random test generation approach and observe that OGMA is more effective than such random test generation by up to 489%.


title: Performance Analysis of Machine Learning Techniques to Predict Diabetes Mellitus

abstract: Diabetes mellitus is a common disease of human body caused by a group of metabolic disorders where the sugar levels over a prolonged period is very high. It affects different organs of the human body which thus harm a large number of the body's system, in particular the blood veins and nerves. Early prediction in such disease can be controlled and save human life. To achieve the goal, this research work mainly explores various risk factors related to this disease using machine learning techniques. Machine learning techniques provide efficient result to extract knowledge by constructing predicting models from diagnostic medical datasets collected from the diabetic patients. Extracting knowledge from such data can be useful to predict diabetic patients. In this work, we employ four popular machine learning algorithms, namely Support Vector Machine (SVM), Naive Bayes (NB), K-Nearest Neighbor (KNN) and C4.5 Decision Tree, on adult population data to predict diabetic mellitus. Our experimental results show that C4.5 decision tree achieved higher accuracy compared to other machine learning techniques.


title: The Extremals of Minkowski's Quadratic Inequality

abstract: In a seminal paper "Volumen und Oberfl\"ache" (1903), Minkowski introduced the basic notion of mixed volumes and the corresponding inequalities that lie at the heart of convex geometry. The fundamental importance of characterizing the extremals of these inequalities was already emphasized by Minkowski himself, but has to date only been resolved in special cases. In this paper, we completely settle the extremals of Minkowski's quadratic inequality, confirming a conjecture of R. Schneider. Our proof is based on the representation of mixed volumes of arbitrary convex bodies as Dirichlet forms associated to certain highly degenerate elliptic operators. A key ingredient of the proof is a quantitative rigidity property associated to these operators.


title: Residual-CNDS for Grand Challenge Scene Dataset

abstract: Increasing depth of convolutional neural networks (CNNs) is a highly promising method of increasing the accuracy of the (CNNs). Increased CNN depth will also result in increased layer count (parameters), leading to a slow backpropagation convergence prone to overfitting. We trained our model (Residual-CNDS) to classify very large-scale scene datasets MIT Places 205, and MIT Places 365-Standard. The outcome result from the two datasets proved our proposed model (Residual-CNDS) effectively handled the slow convergence, overfitting, and degradation. CNNs that include deep supervision (CNDS) add supplementary branches to the deep convolutional neural network in specified layers by calculating vanishing, effectively addressing delayed convergence and overfitting. Nevertheless, (CNDS) does not resolve degradation; hence, we add residual learning to the (CNDS) in certain layers after studying the best place in which to add it. With this approach we overcome degradation in the very deep network. We have built two models (Residual-CNDS 8), and (Residual-CNDS 10). Moreover, we tested our models on two large-scale datasets, and we compared our results with other recently introduced cutting-edge networks in the domain of top-1 and top-5 classification accuracy. As a result, both of models have shown good improvement, which supports the assertion that the addition of residual connections enhances network CNDS accuracy without adding any computation complexity.


title: A framework for information extraction from tables in biomedical literature

abstract: The scientific literature is growing exponentially, and professionals are no more able to cope with the current amount of publications. Text mining provided in the past methods to retrieve and extract information from text; however, most of these approaches ignored tables and figures. The research done in mining table data still does not have an integrated approach for mining that would consider all complexities and challenges of a table. Our research is examining the methods for extracting numerical (number of patients, age, gender distribution) and textual (adverse reactions) information from tables in the clinical literature. We present a requirement analysis template and an integral methodology for information extraction from tables in clinical domain that contains 7 steps: (1) table detection, (2) functional processing, (3) structural processing, (4) semantic tagging, (5) pragmatic processing, (6) cell selection and (7) syntactic processing and extraction. Our approach performed with the F-measure ranged between 82 and 92%, depending on the variable, task and its complexity.


title: Controllable dispersion of domain wall movement in antiferromagnetic thin films at finite temperatures

abstract: The dynamics of a 90$^{\circ }$ domain wall in an antiferromagnetic nanostrip driven by the current-induced spin-orbital torque are theoretically examined in the presence of random thermal fluctuations. A soliton-type equation of motion is developed on the basis of energy balance between the driving forces and dissipative processes in terms of the domain wall velocity. Comparison with micromagnetic simulations in the deterministic conditions shows good agreement in both the transient and steady-state transport. When the effects of random thermal fluctuations are included via a stochastic treatment, the results clearly indicate that the dispersion in the domain wall position can be controlled electrically by tailoring the strength and duration of the driving current mediating the spin orbital torque in the antiferromagnet. More specifically, the standard deviation of the probability distribution function for the domain wall movement can be tuned widely while maintaining the average position unaffected. Potential applications of this unusual functionality include the probabilistic computing such as Bayesian learning.


title: On the Andreadakis equality for a subgroup of the McCool group

abstract: The McCool group has families of subgroups such as the ordinary pure braid group, the upper triangular McCool group and the partial inner automorphism group. The generalized Andreadakis conjecture holds for the ordinary pure braid group and the upper triangular McCool group. In this paper, we prove a similar result for the partial inner automorphism group and also establish an isomorphism between this group and the inner automorphism group of the upper triangular McCool group.


title: Practical decoy-state method for twin-field quantum key distribution

abstract: Twin-Field (TF) quantum key distribution (QKD) represents a novel QKD approach whose principal merit is to beat the point-to-point private capacity of a lossy quantum channel, thanks to performing single-photon interference in an untrusted node. Indeed, recent security proofs of various TF-QKD type protocols have confirmed that the secret key rate of these schemes scales essentially as the square root of the transmittance of the channel. Here, we focus on the TF-QKD protocol introduced by Curty et al, whose secret key rate is nearly an order of magnitude higher than previous solutions. Its security relies on the estimation of the detection probabilities associated to various photon-number states through the decoy-state method. We derive analytical bounds on these quantities assuming that each party uses either two, three or four decoy intensity settings, and we investigate the protocol's performance in this scenario. Our simulations show that two decoy intensity settings are enough to beat the point-to-point private capacity of the channel, and that the use of four decoys is already basically optimal, in the sense that it almost reproduces the ideal scenario of infinite decoys. We also observe that the protocol seems to be quite robust against intensity fluctuations of the optical pulses prepared by the parties.


title: Quantum statistics in Network Geometry with Fractional Flavor

abstract: Growing network models have been shown to display emergent quantum statistics when nodes are associated to a fitness value describing the intrinsic ability of a node to acquire new links. Recently it has been shown that quantum statistics emerge also in a growing simplicial complex model called Network Geometry with Flavor which allow for the description of many-body interaction between the nodes. This model depend on an external parameter called flavor that is responsible for the underlying topology of the simplicial complex. When the flavor takes the value $s=-1$ the $d$-dimensional simplicial complex is a manifold in which every $(d-1)$-dimensional face can only have an incidence number $n_{\alpha}\in\{0,1\}$. In this case the faces of the simplicial complex are naturally described by the Bose-Einstein, Boltzmann and Fermi-Dirac distribution depending on their dimension. In this paper we extent the study of Network Geometry with Flavor to fractional values of the flavor $s=-1/m$ in which every $(d-1)$-dimensional face can only have incidence number $n_{\alpha}\in\{0,1,2,\dots, m\}$. We show that in this case the statistical properties of the faces of the simplicial complex are described by the Bose-Einstein or the Fermi-Dirac distribution only. Finally we comment on the spectral properties of the networks constituting the underlying structure of the considered simplicial complexes.

categories: cond-mat.dis-nn cond-mat.stat-mech gr-qc physics.soc-ph quant-ph


title: Multi-qubit Quantum Rabi Model and Multi-partite Entangled States in a Circuit QED System

abstract: Multi-qubit quantum Rabi model, which is a fundamental model describing light-matter interaction, plays an important role in various physical systems. In this paper, we propose a theoretical method to simulate multi-qubit quantum Rabi model in a circuit quantum electrodynamics system. By means of external transversal and longitudinal driving fields, an effective Hamiltonian describing the multi-qubit quantum Rabi model is derived. The effective frequency of the resonator and the effective splitting of the qubits depend on the external driving fields. By adjusting the frequencies and the amplitudes of the driving fields, the stronger coupling regimes could be reached. The numerical simulation shows that our proposal works well in a wide range of parameter space. Moreover, our scheme can be utilized to generate two-qubit gate, Schr\"odinger states, and multi-qubit GHZ states. The maximum displacement of the Schr\"odinger cat states can be enhanced by increasing the number of the qubits and the relative coupling strength. It should be mention that we can obtain high fidelity Schr\"odinger cat states and multi-qubit GHZ states even the system suffering dissipation. The presented proposal may open a way to study the stronger coupling regimes whose coupling strength is far away from ultrastrong coupling regimes.


title: Derivation of von K\'arm\'an plate theory in the framework of three-dimensional viscoelasticity

abstract: We apply a quasistatic nonlinear model for nonsimple viscoelastic materials at a finite-strain setting in the Kelvin's-Voigt's rheology to derive a viscoelastic plate model of von K\'arm\'an type. We start from time-discrete solutions to a model of three-dimensional viscoelasticity where the viscosity stress tensor complies with the principle of time-continuous frame-indifference. Combining the derivation of nonlinear plate theory by Friesecke, James and M\"{u}ller, and the abstract theory of gradient flows in metric spaces by Sandier and Serfaty we perform a dimension-reduction from 3D to 2D and identify weak solutions of viscoelastic form of von K\'arm\'an plates.


title: A Wireless Sensor Network based approach to monitor and control air Pollution in large urban areas

abstract: Air pollution is a major concern in large urban areas. Various studies have been made to monitor and control the pollution level emitted by the vehicles but some main factors like ease of implementation or feasibility of the proposed approaches are not focused in the told studies. In this paper we propose a wireless sensor network solution to monitor vehicles exhaust systems pollution emission. Furthermore, we evaluate the feasibility of our proposed approach with respect to energy consumption and network lifetime by means of simulation. Our results indicate that our proposed scheme is practical for implementation using well known MAC layer protocols.


title: Extension of positivity bounds to non-local theories: IR obstructions to Lorentz invariant UV completions

abstract: We derive positivity bounds on low energy effective field theories which admit gapped, analytic, unitary, Lorentz invariant, and possibly non-local UV completions, by considering 2 to 2 scatterings of Jaffe fields whose Lehmann-K\"{a}ll\'{e}n spectral density can grow exponentially. Several properties of S-matrix, such as analyticity properties, are assumed in our derivation. Interestingly, we find that some of the positivity bounds obtained in the literature, such as sub-leading order forward-limit bounds, must be satisfied even when UV completions fall into non-localizable theories in Jaffe's language, unless momentum space Wightman functions grow too rapidly at high energy. Under this restriction on the growth rate, such bounds may provide IR obstructions to analytic, unitary, and Lorentz invariant UV completions.


title: Calabi--Yau 3-folds from projective joins of del Pezzo manifolds

abstract: In this paper, we will construct new examples of derived equivalent Calabi--Yau 3-folds with Picard number greater than one. We also study their mirror Calabi--Yau manifolds and find that they are given by Schoen's fiber products of suitable rational elliptic modular surfaces.


title: Population protocols with unreliable communication

abstract: Population protocols are a model of distributed computation intended for the study of networks of independent computing agents with dynamic communication structure. Each agent has a finite number of states, and communication opportunities occur nondeterministically, allowing the agents involved to change their states based on each other's states. In the present paper we study unreliable models based on population protocols and their variations from the point of view of expressive power. We model the effects of message loss. We show that for a general definition of unreliable protocols with constant-storage agents such protocols can only compute predicates computable by immediate observation population protocols (sometimes also called one-way protocols). Immediate observation population protocols are inherently tolerant of unreliable communication and keep their expressive power under a wide range of fairness conditions. We also prove that a large class of message-based models that are generally more expressive than immediate observation becomes strictly less expressive than immediate observation in the unreliable case.


title: Graph Neural Processes: Towards Bayesian Graph Neural Networks

abstract: We introduce Graph Neural Processes (GNP), inspired by the recent work in conditional and latent neural processes. A Graph Neural Process is defined as a Conditional Neural Process that operates on arbitrary graph data. It takes features of sparsely observed context points as input, and outputs a distribution over target points. We demonstrate graph neural processes in edge imputation and discuss benefits and drawbacks of the method for other application areas. One major benefit of GNPs is the ability to quantify uncertainty in deep learning on graph structures. An additional benefit of this method is the ability to extend graph neural networks to inputs of dynamic sized graphs.


title: An optimization problem on the performance of FSO communication system

abstract: Performance of Free Space Optical (FSO) communication system is affected by atmospheric turbulences and pointing errors. These effects can easily be mitigated by adapting natural system parameters such as wavelength. In this paper, considering effects of pointing error and atmospheric turbulence, two optimization models are presented on FSO communication system. In Model 1, the normalized transmitter power is objective function, Bit Error Rate (BER) is equality subjective. In Model 2 normalized transmitter power is equality subjective, the BER is objective function. In both of them the normalized wavelength is variable parameter. These models were previously investigated using numerical methods; in the sense that they were solved asymptotically. From this point of view, this paper regenerated these models and solved them by a completely different analytical method, and derived a new exact solution. Comparing exact and asymptotic methods shows some interesting results; the asymptotic method achieves BER=10^(-9), but the presented new exact method achieves BER=10^(-13), which is a significant difference. It means that even at the worst case scenario such as pointing error, it is possible to have a very good performance by only the transmitting wavelength a bit. Proposed models are practical and obtained results show that this system is cost and power effective.


title: Fair Estimation of Capital Risk Allocation

abstract: In this paper we develop a novel methodology for estimation of risk capital allocation. The methodology is rooted in the theory of risk measures. We work within a general, but tractable class of law-invariant coherent risk measures, with a particular focus on expected shortfall. We introduce the concept of fair capital allocations and provide explicit formulae for fair capital allocations in case when the constituents of the risky portfolio are jointly normally distributed. The main focus of the paper is on the problem of approximating fair portfolio allocations in the case of not fully known law of the portfolio constituents. We define and study the concepts of fair allocation estimators and asymptotically fair allocation estimators. A substantial part of our study is devoted to the problem of estimating fair risk allocations for expected shortfall. We study this problem under normality as well as in a nonparametric setup. We derive several estimators, and prove their fairness and/or asymptotic fairness. Last, but not least, we propose two backtesting methodologies that are oriented at assessing the performance of the allocation estimation procedure. The paper closes with a substantial numerical study of the subject.

categories: q-fin.RM math.PR q-fin.MF q-fin.PM q-fin.ST


title: Fermi Large Area Telescope Fourth Source Catalog

abstract: We present the fourth Fermi Large Area Telescope catalog (4FGL) of gamma-ray sources. Based on the first eight years of science data from the Fermi Gamma-ray Space Telescope mission in the energy range from 50 MeV to 1 TeV, it is the deepest yet in this energy range. Relative to the 3FGL catalog, the 4FGL catalog has twice as much exposure as well as a number of analysis improvements, including an updated model for the Galactic diffuse gamma-ray emission, and two sets of light curves (1-year and 2-month intervals). The 4FGL catalog includes 5064 sources above 4 sigma significance, for which we provide localization and spectral properties. Seventy-five sources are modeled explicitly as spatially extended, and overall 358 sources are considered as identified based on angular extent, periodicity or correlated variability observed at other wavelengths. For 1336 sources we have not found plausible counterparts at other wavelengths. More than 3130 of the identified or associated sources are active galaxies of the blazar class, and 239 are pulsars.


title: Arithmetic Progressions of Length Three in Multiplicative Subgroups of $\mathbb{F}_p$

abstract: In this paper, we give an algorithm for detecting non-trivial 3-APs in multiplicative subgroups of $\mathbb{F}_p^\times$ that is substantially more efficient than the naive approach. It follows that certain Var der Waerden-like numbers can be computed in polynomial time.


title: Modelling a Transition-Edge Sensor X-ray Microcalorimeter Linear Array for Compton Profile Measurements and Energy Dispersive Diffraction

abstract: Transition-edge sensors are a type of superconducting detector that offers high energy resolution based on their sharp resistance-temperature feature in the superconducting-to-normal transition. TES X-ray microcalorimeters have typically been designed and used for spectroscopic applications. In this work, we present a design optimization for a TES X-ray microcalorimeter array for high-energy scattering and diffraction measurements. In particular, Compton scattering provides information about the electron momentum distribution, while energy dispersive diffraction provides structural information about dense engineering materials. Compton scattering and energy dispersive diffraction experiments must be conducted in the very hard X-ray regime (~ 100 keV), demanding a high X-ray stopping power in the detector; therefore, an absorber with a large heat capacity is needed in conjunction with the TES. In addition, both applications would benefit from an array composed of parallel strips. We present a design for a TES X-ray microcalorimeter optimized for such applications. In particular, we model the longitudinal position dependence due to the finite thermal diffusion time in the absorber.


title: Universal relations for gravitational-wave asteroseismology of proto-neutron stars

abstract: State-of-the-art numerical simulations of core-collapse supernovae reveal that the main source of gravitational waves is the excitation of proto-neutron star modes during post-bounce evolution. In this work we derive universal relations that relate the frequencies of the most common oscillation modes observed, i.e. g-modes, p-modes and the f-mode, with fundamental properties of the system, such as the surface gravity of the proto-neutron star or the mean density in the region enclosed by the shock. These relations are independent of the equation of state, the neutrino treatment, and the progenitor mass and hence can be used to build methods to infer proto-neutron star properties from gravitational-wave observations alone. We outline how these measurements could be done and the constraints that could be placed on the proto-neutron star properties.


title: Boson-fermion correspondence for Hall-Littlewood polynomials revisited

abstract: We connect twisted vertex operator presentation of Hall-Littlewood polynomials with the action of charged free fermions, describe a boson-fermion correspondence that relates twisted vertex operators with classical Heisenberg algebra. We also show that the elements of the orthogonal to Schur functions basis of the one-parameter deformation of the ring of symmetric functions $\Lambda[t]$ are $\tau$-functions of KP hierarchy.


title: Anomalous bulk-edge correspondence in continuous media

abstract: Topology plays an increasing role in physics beyond the realm of topological insulators in condensed mater. From geophysical fluids to active matter, acoustics or photonics, a growing family of systems presents topologically protected chiral edge modes. The number of such modes should coincide with the bulk topological invariant (e.g. Chern number) defined for a sample without boundary, in agreement with the bulk-edge correspondence. However this is not always the case when dealing with continuous media where there is no small scale cut-off. The number of edge modes actually depends on the boundary condition, even when the bulk is properly regularized, showing an apparent paradox where the bulk-edge correspondence is violated. In this paper we solve this paradox by showing that the anomaly is due to {ghost} edge modes hidden in the asymptotic part of the spectrum. We provide a general formalism based on scattering theory to detect all edge modes properly, so that the bulk-edge correspondence is restored. We illustrate this approach through the odd-viscous shallow-water model and the massive Dirac Hamiltonian, and discuss the physical consequences.

categories: cond-mat.mes-hall math-ph math.MP physics.ao-ph physics.flu-dyn


title: Plane Hop Spanners for Unit Disk Graphs: Simpler and Better

abstract: The unit disk graph (UDG) is a widely employed model for the study of wireless networks. In this model, wireless nodes are represented by points in the plane and there is an edge between two points if and only if their Euclidean distance is at most one. A hop spanner for the UDG is a spanning subgraph $H$ such that for every edge $(p,q)$ in the UDG the topological shortest path between $p$ and $q$ in $H$ has a constant number of edges. The hop stretch factor of $H$ is the maximum number of edges of these paths. A hop spanner is plane (i.e. embedded planar) if its edges do not cross each other. The problem of constructing hop spanners for the UDG has received considerable attention in both computational geometry and wireless ad hoc networks. Despite this attention, there has not been significant progress on getting hop spanners that (i) are plane, and (ii) have low hop stretch factor. Previous constructions either do not ensure the planarity or have high hop stretch factor. The only construction that satisfies both conditions is due to Catusse, Chepoi, and Vax\`{e}s (2010); their plane hop spanner has hop stretch factor at most 449. Our main result is a simple algorithm that constructs a plane hop spanner for the UDG. In addition to the simplicity, the hop stretch factor of the constructed spanner is at most 341. Even though the algorithm itself is simple, its analysis is rather involved. Several results on the plane geometry are established in the course of the proof. These results are of independent interest.


title: Prehistory of Neutrino Oscillations

abstract: First ideas of neutrino masses, mixing and oscillations proposed by Bruno Pontecorvo in 1957 and later development of these ideas are considered in some details. Original ideas of the two-neutrino mixing proposed by Maki, Nakagawa and Sakata in 1962 are also discussed.


title: Attention-driven Tree-structured Convolutional LSTM for High Dimensional Data Understanding

abstract: Modeling the sequential information of image sequences has been a vital step of various vision tasks and convolutional long short-term memory (ConvLSTM) has demonstrated its superb performance in such spatiotemporal problems. Nevertheless, the hierarchical data structures in a significant amount of tasks (e.g., human body parts and vessel/airway tree in biomedical images) cannot be properly modeled by sequential models. Thus, ConvLSTM is not suitable for tree-structured image data analysis. In order to address these limitations, we present tree-structured ConvLSTM models for tree-structured image analysis tasks which can be trained end-to-end. To demonstrate the effectiveness of the proposed tree-structured ConvLSTM model, we present a tree-structured segmentation framework which consists of a tree-structured ConvLSTM and an attention fully convolutional network (FCN) model. The proposed framework is extensively validated on four large-scale coronary artery datasets. The results demonstrate the effectiveness and efficiency of the proposed method.


title: TCDCaps: Visual Tracking via Cascaded Dense Capsules

abstract: The critical challenge in tracking-by-detection framework is how to avoid drift problem during online learning, where the robust features for a variety of appearance changes are difficult to be learned and a reasonable intersection over union (IoU) threshold that defines the true/false positives is hard to set. This paper presents the TCDCaps method to address the problems above via a cascaded dense capsule architecture. To get robust features, we extend original capsules with dense-connected routing, which are referred as DCaps. Depending on the preservation of part-whole relationships in the Capsule Networks, our dense-connected capsules can capture a variety of appearance variations. In addition, to handle the issue of IoU threshold, a cascaded DCaps model (CDCaps) is proposed to improve the quality of candidates, it consists of sequential DCaps trained with increasing IoU thresholds so as to sequentially improve the quality of candidates. Extensive experiments on 3 popular benchmarks demonstrate the robustness of the proposed TCDCaps.


title: Tropical analogues of a Dempe-Franke bilevel optimization problem

abstract: We consider the tropical analogues of a particular bilevel optimization problem studied by Dempe and Franke and suggest some methods of solving these new tropical bilevel optimization problems. In particular, it is found that the algorithm developed by Dempe and Franke can be formulated and its validity can be proved in a more general setting, which includes the tropical bilevel optimization problems in question. We also show how the feasible set can be decomposed into a finite number of tropical polyhedra, to which the tropical linear programming solvers can be applied.


title: SeMA: A Design Methodology for Building Secure Android Apps

abstract: UX (user experience) designers visually capture the UX of an app via storyboards. This method is also used in Android app development to conceptualize and design apps. Recently, security has become an integral part of Android app UX because mobile apps are used to perform critical activities such as banking, communication, and health. Therefore, securing user information is imperative in mobile apps. In this context, storyboarding tools offer limited capabilities to capture and reason about security requirements of an app. Consequently, security cannot be baked into the app at design time. Hence, vulnerabilities stemming from design flaws can often occur in apps. To address this concern, in this paper, we propose a storyboard based design methodology to enable the specification and verification of security properties of an Android app at design time.


title: Collective tunnelling of strongly interacting cold atoms in a double well potential

abstract: It is known that under resonance conditions, a group of strongly interacting bosonic atoms, trapped in a double-well potential, mimics a single particle, performing Rabi oscillations between the wells. By implication, all atoms need to tunnel at roughly the same time, even though the Bose-Hubbard Hamiltonian accounts only for one-atom-at-a-time transfers. We analyse the mechanism of this collective behaviour, evaluate the Rabi frequencies in the process, and discuss the limitation of this simple picture. In particular, is is shown that the small rapid oscillations superimposed on the slow Rabi cycle, result from splitting the transferred cluster at the sudden onset of tunnelling, and disappear if tunnelling is turned on gradually.


title: A Multi-Domain Feature Learning Method for Visual Place Recognition

abstract: Visual Place Recognition (VPR) is an important component in both computer vision and robotics applications, thanks to its ability to determine whether a place has been visited and where specifically. A major challenge in VPR is to handle changes of environmental conditions including weather, season and illumination. Most VPR methods try to improve the place recognition performance by ignoring the environmental factors, leading to decreased accuracy decreases when environmental conditions change significantly, such as day versus night. To this end, we propose an end-to-end conditional visual place recognition method. Specifically, we introduce the multi-domain feature learning method (MDFL) to capture multiple attribute-descriptions for a given place, and then use a feature detaching module to separate the environmental condition-related features from those that are not. The only label required within this feature learning pipeline is the environmental condition. Evaluation of the proposed method is conducted on the multi-season \textit{NORDLAND} dataset, and the multi-weather \textit{GTAV} dataset. Experimental results show that our method improves the feature robustness against variant environmental conditions.


title: MRS-VPR: a multi-resolution sampling based global visual place recognition method

abstract: Place recognition and loop closure detection are challenging for long-term visual navigation tasks. SeqSLAM is considered to be one of the most successful approaches to achieving long-term localization under varying environmental conditions and changing viewpoints. It depends on a brute-force, time-consuming sequential matching method. We propose MRS-VPR, a multi-resolution, sampling-based place recognition method, which can significantly improve the matching efficiency and accuracy in sequential matching. The novelty of this method lies in the coarse-to-fine searching pipeline and a particle filter-based global sampling scheme, that can balance the matching efficiency and accuracy in the long-term navigation task. Moreover, our model works much better than SeqSLAM when the testing sequence has a much smaller scale than the reference sequence. Our experiments demonstrate that the proposed method is efficient in locating short temporary trajectories within long-term reference ones without losing accuracy compared to SeqSLAM.