title: Exploiting Cross-Lingual Subword Similarities in Low-Resource Document Classification

abstract: Text classification must sometimes be applied in a low-resource language with no labeled training data. However, training data may be available in a related language. We investigate whether character-level knowledge transfer from a related language helps text classification. We present a cross-lingual document classification framework (CACO) that exploits cross-lingual subword similarity by jointly training a character-based embedder and a word-based classifier. The embedder derives vector representations for input words from their written forms, and the classifier makes predictions based on the word vectors. We use a joint character representation for both the source language and the target language, which allows the embedder to generalize knowledge about source language words to target language words with similar forms. We propose a multi-task objective that can further improve the model if additional cross-lingual or monolingual resources are available. Experiments confirm that character-level knowledge transfer is more data-efficient than word-level transfer between related languages.


title: Operator norm upper bound for sub-Gaussian tailed random matrices

abstract: This paper investigates an upper bound of the operator norm for sub-Gaussian tailed random matrices. A lot of attention has been put on uniformly bounded sub-Gaussian tailed random matrices with independent coefficients. However, little has been done for sub-Gaussian tailed random matrices whose matrix coefficients variance are not equal or for matrix for which coefficients are not independent. This is precisely the subject of this paper. After proving that random matrices with uniform sub-Gaussian tailed independent coefficients satisfy the Tracy Widom bound, that is, their matrix operator norm remains bounded by $O(\sqrt n )$ with overwhelming probability, we prove that a less stringent condition is that the matrix rows are independent and uniformly sub-Gaussian. This does not impose in particular that all matrix coefficients are independent, but only their rows, which is a weaker condition.


title: Random Utility and Limited Consideration

abstract: The random utility model (RUM, McFadden and Richter, 1990) has been the standard tool to describe the behavior of a population of decision makers. RUM assumes that decision makers behave as if they maximize a rational preference over a choice set. This assumption may fail when consideration of all alternatives is costly. We provide a theoretical and statistical framework that unifies well-known models of random (limited) consideration and generalizes them to allow for preference heterogeneity. We apply this methodology in a novel stochastic choice dataset that we collected in a large-scale online experiment. Our dataset is unique since it exhibits both choice set and (attention) frame variation. We run a statistical survival race between competing models of random consideration and RUM. We find that RUM cannot explain the population behavior. In contrast, we cannot reject the hypothesis that decision makers behave according to the logit attention model (Brade and Rehbeck, 2016).


title: Harmonic and Anharmonic Oscillators on the Heisenberg Group

abstract: Although there is no canonical version of the harmonic oscillator on the Heisenberg group $\mathbf{H}_n$ so far, we make a strong case for a particular choice of operator by using the representation theory of the Dynin-Folland group $\mathbf{H}_{n, 2}$, a $3$-step stratified Lie group, whose generic representations act on $L^2(\mathbf{H}_n)$. Our approach is inspired by the connection between the harmonic oscillator on $\mathbb{R}^n$ and the sum of squares in the first stratum of $\mathbf{H}_n$ in the sense that we define the harmonic oscillator on $\mathbf{H}_n$ as the image of the sub-Laplacian $\mathcal{L}_{\mathbf{H}_{n, 2}}$ under the generic unitary irreducible representation $\pi$ of the Dynin-Folland group which has formal dimension $d_\pi = 1$. This approach, more generally, permits us to define a large class of so-called anharmonic oscillators by employing positive Rockland operators on $\mathbf{H}_{n, 2}$. By using the methods developed in ter Elst and Robinson [tERo], we obtain spectral estimates for the harmonic and anharmonic oscillators on $\mathbf{H}_n$. Moreover, we show that our approach extends to graded $SI/Z$-groups of central dimension $1$, i.e., graded groups which possess unitary irreducible representations which are square-integrable modulo the $1$-dimensional center $Z(G)$. The latter part of the article is concerned with spectral multipliers. By combining ter Elst and Robinson's techniques with recent results in [AkRu18], we obtain useful $L^\mathbf{p}$-$L^\mathbf{q}$-estimates for spectral multipliers of the sub-Laplacian $\mathcal{L}_{\mathbf{H}_{n, 2}}$ and, in fact more generally, of general Rockland operators on general graded groups. As a by-product, we recover the Sobolev embeddings on graded groups established in [FiRu17], and obtain explicit hypoelliptic heat semigroup estimates.


title: Spontaneous Pattern Formation in Intertype Superconducting Films

abstract: Thin superconducting films are usually regarded as type II superconductors even when they are made of a type I material. The reason is a strong contribution of the stray magnetic field that stabilizes vortices. While very thin films indeed reach this limit, there is a large interval of film thicknesses where the magnetic properties cannot be classified as either of the two conventional superconductivity types. Recent calculations revealed that in this interval the system exhibits spontaneous formation of complex condensate-field patterns that are very sensitive to system parameters, in particular, the temperature and the applied magnetic field. The corresponding superconducting magnetic properties can be attributed to a special regime of the intertype superconductivity whose physical origin lies in the removal of an infinite degeneracy of the self-dual superconducting state at the critical Bogomolnyi point. Here we demonstrate that qualitative characteristics of the intertype superstructures in thin superconducting films are independent of the choice of the in-plane boundary conditions for the order parameter and the magnetic field.


title: A first search for a stochastic gravitational-wave background from ultralight bosons

abstract: In this work, we develop a Bayesian data analysis framework to study the SGWB from bosonic clouds using data from Advanced LIGO and Advanced Virgo, building on previous work by Brito et.al (2017). We further improve this model by adding a BH population of binary merger remnants. To assess the performance of our pipeline, we quantify the range of boson masses that can be constrained by Advanced LIGO and Advanced Virgo measurements at design sensitivity. Furthermore, we explore our capability to distinguish an ultralight boson SGWB from a stochastic signal due to distant compact binary coalescences (CBC). Finally, we present results of a search for the SGWB from bosonic clouds using data from Advanced LIGO's first observing run. We find no evidence of such a signal. Due to degeneracies between the boson mass and unknown astrophysical quantities such as the distribution of isolated BH spins, our analysis cannot robustly exclude the presence of a bosonic field at any mass. Nevertheless, we show that under optimistic assumptions about the BH formation rate and spin distribution, boson masses in the range $ \SI{2.0e-13}{eV}\leq m_\mathrm{b}\leq\SI{3.8e-13}{eV} $ are excluded at 95% credibility, although with less optimistic spin distributions, no masses can be excluded. The framework established here can be used to learn about the nature of fundamental bosonic fields with future gravitational wave observations.


title: Spectroscopy of Stringy Black Hole

abstract: The Maggiore's method, which evaluates the transition frequency that appears in the adiabatic invariant from the highly damped modes, is used to investigate the entropy/area spectra of the Garfinkle-Horowitz-Strominger black hole (GHS-BH). We compute the resonance modes of the GHS-BH by using the confined scalar waves having high azimuthal quantum number. Although the area and entropy are characterized by the GHS-BH parameters, their quantizations are shown to be independent of those parameters. However, both spectra are equally spaced.


title: Can VAEs Generate Novel Examples?

abstract: An implicit goal in works on deep generative models is that such models should be able to generate novel examples that were not previously seen in the training data. In this paper, we investigate to what extent this property holds for widely employed variational autoencoder (VAE) architectures. VAEs maximize a lower bound on the log marginal likelihood, which implies that they will in principle overfit the training data when provided with a sufficiently expressive decoder. In the limit of an infinite capacity decoder, the optimal generative model is a uniform mixture over the training data. More generally, an optimal decoder should output a weighted average over the examples in the training data, where the magnitude of the weights is determined by the proximity in the latent space. This leads to the hypothesis that, for a sufficiently high capacity encoder and decoder, the VAE decoder will perform nearest-neighbor matching according to the coordinates in the latent space. To test this hypothesis, we investigate generalization on the MNIST dataset. We consider both generalization to new examples of previously seen classes, and generalization to the classes that were withheld from the training set. In both cases, we find that reconstructions are closely approximated by nearest neighbors for higher-dimensional parameterizations. When generalizing to unseen classes however, lower-dimensional parameterizations offer a clear advantage.


title: Electrically Driven, Optically Levitated Microscopic Rotors

abstract: We report on the electrically driven rotation of $2.4~\mu$m-radius, optically levitated dielectric microspheres. Electric fields are used to apply torques to a microsphere's permanent electric dipole moment, while angular displacement is measured by detecting the change in polarization state of light transmitted through the microsphere (MS). This technique enables greater control than previously achieved with purely optical means because the direction and magnitude of the electric torque can be set arbitrarily. We measure the spin-down of a microsphere released from a rotating electric field, the harmonic motion of the dipole relative to the instantaneous direction of the field, and the phase lag between the driving electric field and the dipole moment of the MS due to drag from residual gas. We also observe the gyroscopic precession of the MS when the axis of rotation of the driving field and the angular momentum of the microsphere are orthogonal. These observations are in quantitative agreement with the equation of motion. The control offered by the electrical drive enables precise measurements of microsphere properties and torque as well as a method for addressing the direction of angular momentum for an optically levitated particle.


title: Analysis of a SIRI epidemic model with distributed delay and relapse

abstract: We investigate the global behaviour of a SIRI epidemic model with distributed delay and relapse. From the theory of functional differential equations with delay, we prove that the solution of the system is unique, bounded, and positive, for all time. The basic reproduction number $R_{0}$ for the model is computed. By means of the direct Lyapunov method and LaSalle invariance principle, we prove that the disease free equilibrium is globally asymptotically stable when $R_{0} < 1$. Moreover, we show that there is a unique endemic equilibrium, which is globally asymptotically stable, when $R_{0} > 1$.


title: Explicit Formulas for the Weight Enumerators of Some Classes of Deletion Correcting Codes

abstract: We introduce a general class of codes which includes several well-known classes of deletion/insertion correcting codes as special cases. For example, the Helberg code, the Levenshtein code, the Varshamov--Tenengolts code, and most variants of these codes including most of those which have been recently used in studying DNA-based data storage systems are all special cases of our code. Then, using a number theoretic method, we give an explicit formula for the weight enumerator of our code which in turn gives explicit formulas for the weight enumerators and so the sizes of all the aforementioned codes. We also obtain the size of the Shifted Varshamov--Tenengolts code. Another application which automatically follows from our result is an explicit formula for the number of binary solutions of an arbitrary linear congruence which, to the best of our knowledge, is the first result of its kind in the literature and might be also of independent interest. Our general result might have more applications/implications in information theory, computer science, and mathematics.


title: Intelligent Tutoring Systems: A Comprehensive Historical Survey with Recent Developments

abstract: This paper provides interested beginners with an updated and detailed introduction to the field of Intelligent Tutoring Systems (ITS). ITSs are computer programs that use artificial intelligence techniques to enhance and personalize automation in teaching. This paper is a literature review that provides the following: First, a review of the history of ITS along with a discussion on the interface between human learning and computer tutors and how effective ITSs are in contemporary education. Second, the traditional architectural components of an ITS and their functions are discussed along with approaches taken by various ITSs. Finally, recent innovative ideas in ITS systems are presented. This paper concludes with some of the author's views regarding future work in the field of intelligent tutoring systems.


title: Estimation and Restoration of Compositional Degradation Using Convolutional Neural Networks

abstract: Image restoration from a single image degradation type, such as blurring, hazing, random noise, and compression has been investigated for decades. However, image degradations in practice are often a mixture of several types of degradation. Such compositional degradations complicate restoration because they require the differentiation of different degradation types and levels. In this paper, we propose a convolutional neural network (CNN) model for estimating the degradation properties of a given degraded image. Furthermore, we introduce an image restoration CNN model that adopts the estimated degradation properties as its input. Experimental results show that the proposed degradation estimation model can successfully infer the degradation properties of compositionally degraded images. The proposed restoration model can restore degraded images by exploiting the estimated degradation properties and can achieve both blind and nonblind image restorations.


title: Two-dimensional mutual synchronization in spin Hall nano-oscillator arrays

abstract: Spin Hall nano-oscillators (SHNOs) utilize pure spin currents to drive local regions of magnetic films and nanostructures into auto-oscillating precession. If such regions are placed in close proximity to each other they can interact and sometimes mutually synchronize, in pairs or in short linear chains. Here we demonstrate robust mutual synchronization of two-dimensional SHNO arrays ranging from 2 x 2 to 8 x 8 nano-constrictions, observed both electrically and using micro-Brillouin Light Scattering microscopy. The signal quality factor, $Q=f/\Delta f$, increases linearly with number of mutually synchronized nano-constrictions ($N$), reaching 170,000 in the largest arrays. While the microwave peak power first increases as $N^2$, it eventually levels off, indicating a non-zero relative phase shift between nano-constrictions. Our demonstration will enable the use of SHNO arrays in two-dimensional oscillator networks for high-quality microwave signal generation and neuromorphic computing.


title: Constraining Theories of Polarized SiO Maser Transport: Multi-Epoch Analysis of a $\pi/2$ Electric Vector Rotation Feature

abstract: The detailed polarization mechanisms of SiO masers originating from the near circum\-stellar environment of Asymptotic Giant Branch stars are not yet definitively known. Prevailing theories are broadly classified as either Zeeman or non-Zeeman in origin, the latter including effects such as anisotropic pumping or anisotropic resonant scattering. The predicted behavior of the linear and circular polarization fractions and electric vector position angle vary by theory. In particular, individual maser features that exhibit a rotation in linear polarization of $\sim \pi/2$ as a function of frequency over their extent can be utilized as a test of several maser polarization transport theories. In this paper, we analyze one SiO ($\nu=1$, $J=1-0$) maser feature toward the Mira variable, TX Cam that exhibits this internal polarization rotation and persists across five epochs (spanning $\sim3$ months). We compare our results to the predictions by several maser polarization theories and find that the linear polarization across the feature is consistent with a geometric effect for a saturated maser originating when the angle between the projected magnetic field and the line of sight ($\theta$) crosses the Van Vleck angle $\theta_F \sim 55^{\circ}$. However, the electric vector position angle (EVPA) exhibits a smooth rotation across the spatial extent of the feature rather than the expected abrupt $\pi/2$ flip. We discuss possible explanations for this discrepancy and alternative theories. Circular polarization across the feature is also analyzed and it is the most accurately described by Zeeman effects giving rise to a circular polarization fraction of the form $m_c$ is approximately proportional to $\cos \theta$.


title: Distribution-Free Uncertainty Quantification for Kernel Methods by Gradient Perturbations

abstract: We propose a data-driven approach to quantify the uncertainty of models constructed by kernel methods. Our approach minimizes the needed distributional assumptions, hence, instead of working with, for example, Gaussian processes or exponential families, it only requires knowledge about some mild regularity of the measurement noise, such as it is being symmetric or exchangeable. We show, by building on recent results from finite-sample system identification, that by perturbing the residuals in the gradient of the objective function, information can be extracted about the amount of uncertainty our model has. Particularly, we provide an algorithm to build exact, non-asymptotically guaranteed, distribution-free confidence regions for ideal, noise-free representations of the function we try to estimate. For the typical convex quadratic problems and symmetric noises, the regions are star convex centered around a given nominal estimate, and have efficient ellipsoidal outer approximations. Finally, we illustrate the ideas on typical kernel methods, such as LS-SVC, KRR, $\varepsilon$-SVR and kernelized LASSO.


title: Canonical almost complex structures on ACH Einstein manifolds

abstract: On asymptotically complex hyperbolic (ACH) Einstein manifolds, we consider a certain variational problem for almost complex structures compatible with the metric, for which the linearized Euler-Lagrange equation at K\"ahler-Einstein structures is given by the Dolbeault Laplacian acting on $(0,1)$-forms with values in the holomorphic tangent bundle. A deformation result of Einstein ACH metrics associated with critical almost complex structures for this variational problem is given. It is also shown that the asymptotic expansion of a critical almost complex structure is determined by the induced (possibly non-integrable) CR structure on the boundary at infinity up to a certain order.


title: Angle-Resolved Spectra of the Direct Above-Threshold Ionization of Diatomic Molecule in IR+XUV laser field

abstract: The direct above-threshold ionization (ATI) of diatomic molecules in linearly-polarized infrared and extreme ultraviolet (IR+XUV) laser fields is investigated by the frequency-domain theory based on the nonperturbative quantum electrodynamics. The destructive interference fringes on the angle-resolved ATI spectra, which are closely related to the molecular structure, can be well fitted by a simple predictive formula for any alignment of the molecular axis. By comparing the direct ATI spectra for monochromatic and two-color laser fields, we found that the XUV laser field can both raise the ionization probability and the kinetic energy of the ionized electron, while the IR laser field can broaden the energy distribution of the ionized electron. Our results demonstrate that, by using IR+XUV two-color laser fields, the angle-resolved spectra of the direct ATI can image the structural information of molecules without considering the recollision process of the ionized electron.


title: A model for relative biological effectiveness of therapeutic proton beams based on a global fit of cell survival data

abstract: We introduce an approach for global fitting of the recently published high-throughput and high accuracy clonogenic cell-survival data for therapeutic scanned proton beams. Our fitting procedure accounts for the correlation between the cell-survival, the absorbed (physical) dose and the proton linear energy transfer (LET). The fitting polynomials and constraints have been constructed upon generalization of the microdosimetric kinetic model (gMKM) adapted to account for the low energy and high lineal-energy spectrum of the beam where the current radiobiological models may underestimate the reported relative biological effectiveness (RBE). The parameters ({\alpha},\b{eta}) of the linear-quadratic (LQ) model calculated by the presented method reveal a smooth transition from low to high LETs which is an advantage of the current method over methods previously employed to fit the same clonogenic data. Finally, the presented approach provides insight into underlying microscopic mechanisms which, with future study, may help to elucidate radiobiological responses along the Bragg curve and resolve discrepancies between experimental data and current RBE models.


title: GM-PHD Filter for Searching and Tracking an Unknown Number of Targets with a Mobile Sensor with Limited FOV

abstract: We study the problem of searching for and tracking a collection of moving targets using a robot with a limited Field-Of-View (FOV) sensor. The actual number of targets present in the environment is not known a priori. We propose a search and tracking framework based on the concept of Bayesian Random Finite Sets (RFSs). Specifically, we generalize the Gaussian Mixture Probability Hypothesis Density (GM-PHD) filter which was previously applied for tracking problems to allow for simultaneous search and tracking with a limited FOV sensor. The proposed framework can extract individual target tracks as well as estimate the number and the spatial density of targets. We also show how to use the Gaussian Process (GP) regression to extract and predict non-linear target trajectories in this framework. We demonstrate the efficacy of our techniques through representative simulations and a real data collected from an aerial robot.


title: Characterization of the Ito Integral

abstract: This paper provides an existence-and-uniqueness theorem characterizing the stochastic integral with respect to a Wiener process. The integral is represented as a mapping from the space of measurable and adapted pathwise locally integrable processes to the space of continuous adapted processes. It is characterized in terms of two properties: (1) how the stochastic integrals of simple processes are calculated and (2) how these integrals converge in probability when the time integrals of the squared integrands converge in probability.


title: Exploiting the Inherent Limitation of L0 Adversarial Examples

abstract: Despite the great achievements made by neural networks on tasks such as image classification, they are brittle and vulnerable to adversarial example (AE) attacks, which are crafted by adding human-imperceptible perturbations to inputs in order that a neural-network-based classifier incorrectly labels them. In particular, L0 AEs are a category of widely discussed threats where adversaries are restricted in the number of pixels that they can corrupt. However, our observation is that, while L0 attacks modify as few pixels as possible, they tend to cause large-amplitude perturbations to the modified pixels. We consider this as an inherent limitation of L0 AEs, and thwart such attacks by both detecting and rectifying them. The main novelty of the proposed detector is that we convert the AE detection problem into a comparison problem by exploiting the inherent limitation of L0 attacks. More concretely, given an image I, it is pre-processed to obtain another image I' . A Siamese network, which is known to be effective in comparison, takes I and I' as the input pair to determine whether I is an AE. A trained Siamese network automatically and precisely captures the discrepancies between I and I' to detect L0 perturbations. In addition, we show that the pre-processing technique, inpainting, used for detection can also work as an effective defense, which has a high probability of removing the adversarial influence of L0 perturbations. Thus, our system, called AEPECKER, demonstrates not only high AE detection accuracies, but also a notable capability to correct the classification results.


title: Movies Network as the Indicator of Globalization

abstract: The main research involving globalization nowadays is to describe the impact of globalization in their respective fields. However, globalization is a complex phenomenon across multiple sections. But as a concept in the social science, it barely has the rigid mathematical foundation. Because of this lack, this article made a simple attempt to express and prove the trend of globalization with mathematical features. By abstracting an sub-area that is widely influenced by globalization, the article are trying to test whether this area can be used as an indicator of globalization.


title: Estimating Rationally Inattentive Utility Functions with Deep Clustering for Framing - Applications in YouTube Engagement Dynamics

abstract: We consider a framework involving behavioral economics and machine learning. Rationally inattentive Bayesian agents make decisions based on their posterior distribution, utility function and information acquisition cost Renyi divergence which generalizes Shannon mutual information). By observing these decisions, how can an observer estimate the utility function and information acquisition cost? Using deep learning, we estimate framing information (essential extrinsic features) that determines the agent's attention strategy. Then we present a preference based inverse reinforcement learning algorithm to test for rational inattention: is the agent an utility maximizer, attention maximizer, and does an information cost function exist that rationalizes the data? The test imposes a Renyi mutual information constraint which impacts how the agent can select attention strategies to maximize their expected utility. The test provides constructive estimates of the utility function and information acquisition cost of the agent. We illustrate these methods on a massive YouTube dataset for characterizing the commenting behavior of users.


title: Dual-Frequency Sub-Doppler Spectroscopy: Extended Theoretical Model and Microcell-Based Experiments

abstract: Doppler-free spectroscopy using two counter-propagating dual-frequency laser beams in alkali vapor cells has been demonstrated recently, providing the detection of high-contrast sign-reversed natural-linewidth sub-Doppler resonances. However, to date, only a qualitative theory based on a simplified $\Lambda$-scheme model has been reported to explain underlying physics of this phenomenon. In this work, we develop a general and extended theoretical model of dual-frequency sub-Doppler spectroscopy (DF SDS) for Cs D1 line. The latter considers the real atomic energy structure, main relaxation processes and various nonlinear effects including optical pumping, optical transition saturation, Zeeman and hyperfine coherent population trapping (CPT) states. This model allows to describe quantitatively the respective contributions of involved physical processes and consequently to estimate main properties (height and linewidth) of detected sub-Doppler resonances. Experimental results performed with a Cs vapor micro-fabricated cell are reported and explained by theoretical predictions. Spatial oscillations of the sub-Doppler resonance amplitude with translation of the reflection mirror are highlighted. Reported results show that DF SDS could be a promising approach for the development of a fully-miniaturized and high-performance optical frequency reference, with applications in various compact quantum devices.


title: Min-max formulas for nonlocal elliptic operators on Euclidean space

abstract: An operator satisfies the Global Comparison Property if anytime a function touches another from above at some point, then the operator preserves the ordering at the point of contact. This is characteristic of degenerate elliptic operators, including nonlocal and nonlinear ones. In previous work, the authors considered such operators in Riemannian manifolds and proved they can be represented by a min-max formula in terms of L\'evy operators. In this note we revisit this theory in the context of Euclidean space. With the intricacies of the general Riemannian setting gone, the ideas behind the original proof of the min-max representation become clearer. Moreover, we prove new results regarding operators that commute with translations or which otherwise enjoy some spatial regularity.


title: Few-electrode design for silicon MOS quantum dots

abstract: Silicon metal-oxide-semiconductor (MOS) spin qubits have become a promising platform for quantum information processing, with recent demonstrations of high-fidelity single and two-qubit gates. To move beyond a few qubits, however, more scalable designs that reduce the fabrication complexity and electrode density are needed. Here, we introduce a two-metal-layer MOS quantum dot device in which tunnel barriers are naturally formed by gaps between electrodes and controlled by adjacent accumulation gates. The accumulation gates define the electron reservoirs and provide tunability of the tunnel rate of nearly 8.5 decades/V, determined by a combination of charge sensor electron counting measurements and by direct transport. The valley splitting in the few-electron regime is probed by magneto-spectroscopy up to a field of 6 T, providing an estimate for the ground-state gap of 290 $\mu$eV. We show preliminary characterization of a double quantum dot, demonstrating that this design can be extended to linear dot arrays that should be useful in applications like electron shuttling. These results motivate further innovations in MOS quantum dot design that can improve the scalability prospects for spin qubits.


title: Higher dimensional quantum communication in a curved spacetime: an efficient simulation of the propagation of the wavefront of a photon

abstract: A photon with a modulated wavefront can produce a quantum communication channel in a larger Hilbert space. For example, higher dimensional quantum key distribution (HD-QKD) can encode information in the transverse linear momentum (LM) or orbital angular momentum (OAM) modes of a photon. This is markedly different than using the intrinsic polarization of a photon. HD-QKD has advantages for free space QKD since it can increase the communication channel\~Os tolerance to bit error rate (BER) while maintaining or increasing the channels bandwidth. We describe an efficient numerical simulation of the propagation photon with an arbitrary complex wavefront in a material with an isotropic but inhomogeneous index of refraction. We simulate the waveform propagation of an optical vortex in a volume holographic element in the paraxial approximation using an operator splitting method. We use this code to analyze an OAM volume-holographic sorter. Furthermore, there are analogue models of the evolution of a wavefront in the curved spacetime environs of the Earth that can be constructed using an optical medium with a given index of refraction. This can lead to a work-bench realization of a satellite HD-QKD system.


title: Mixed Membership Recurrent Neural Networks

abstract: Models for sequential data such as the recurrent neural network (RNN) often implicitly model a sequence as having a fixed time interval between observations and do not account for group-level effects when multiple sequences are observed. We propose a model for grouped sequential data based on the RNN that accounts for varying time intervals between observations in a sequence by learning a group-level base parameter to which each sequence can revert. Our approach is motivated by the mixed membership framework, and we show how it can be used for dynamic topic modeling in which the distribution on topics (not the topics themselves) are evolving in time. We demonstrate our approach on a dataset of 3.4 million online grocery shopping orders made by 206K customers.


title: Inverse Elastic Scattering for a Random Source

abstract: Consider the inverse random source scattering problem for the two-dimensional time-harmonic elastic wave equation with an inhomogeneous, anisotropic mass density. The source is modeled as a microlocally isotropic generalized Gaussian random function whose covariance operator is a classical pseudo-differential operator. The goal is to recover the principle symbol of the covariance operator from the displacement measured in a domain away from the source. For such a distributional source, we show that the direct problem has a unique solution by introducing an equivalent Lippmann--Schwinger integral equation. For the inverse problem, we demonstrate that, with probability one, the principle symbol of the covariance operator can be uniquely determined by the amplitude of the displacement averaged over the frequency band, generated by a single realization of the random source. The analysis employs the Born approximation, asymptotic expansions of the Green tensor, and microlocal analysis of the Fourier integral operators.


title: Learning to Prevent Monocular SLAM Failure using Reinforcement Learning

abstract: Monocular SLAM refers to using a single camera to estimate robot ego motion while building a map of the environment. While Monocular SLAM is a well studied problem, automating Monocular SLAM by integrating it with trajectory planning frameworks is particularly challenging. This paper presents a novel formulation based on Reinforcement Learning (RL) that generates fail safe trajectories wherein the SLAM generated outputs do not deviate largely from their true values. Quintessentially, the RL framework successfully learns the otherwise complex relation between perceptual inputs and motor actions and uses this knowledge to generate trajectories that do not cause failure of SLAM. We show systematically in simulations how the quality of the SLAM dramatically improves when trajectories are computed using RL. Our method scales effectively across Monocular SLAM frameworks in both simulation and in real world experiments with a mobile robot.


title: Chinese Herbal Recognition based on Competitive Attentional Fusion of Multi-hierarchies Pyramid Features

abstract: Convolution neural netwotks (CNNs) are successfully applied in image recognition task. In this study, we explore the approach of automatic herbal recognition with CNNs and build the standard Chinese herbs datasets firstly. According to the characteristics of herbal images, we proposed the competitive attentional fusion pyramid networks to model the features of herbal image, which mdoels the relationship of feature maps from different levels, and re-weights multi-level channels with channel-wise attention mechanism. In this way, we can dynamically adjust the weight of feature maps from various layers, according to the visual characteristics of each herbal image. Moreover, we also introduce the spatial attention to recalibrate the misaligned features caused by sampling in features amalgamation. Extensive experiments are conducted on our proposed datasets and validate the superior performance of our proposed models. The Chinese herbs datasets will be released upon acceptance to facilitate the research of Chinese herbal recognition.


title: Robin Spectral Rigidity of the Ellipse

abstract: In this paper, we investigate $C^1$ isospectral deformations of the ellipse with Robin boundary conditions, allowing both the Robin function and domain to deform simultaneously. We prove that if the deformations preserve the reflectional symmetries of the ellipse, then the first variation of both the domain and Robin function must vanish. Reparameterizing allows us to show that such smooth deformations must be flat at $\epsilon = 0$. In particular, there exist no such analytic isospectral deformations. The key ingredients are a version of Hadamard's variational formula for variable Robin boundary conditions and an oscillatory integral representation of the wave trace variation which uses action angle coordinates for the billiard map. For the latter, we in fact construct an explicit parametrix for the wave propagator in the interior, microlocally near orbits of rotation number $1/j$.


title: Improving Context-Aware Semantic Relationships in Sparse Mobile Datasets

abstract: Traditional semantic similarity models often fail to encapsulate the external context in which texts are situated. However, textual datasets generated on mobile platforms can help us build a truer representation of semantic similarity by introducing multimodal data. This is especially important in sparse datasets, making solely text-driven interpretation of context more difficult. In this paper, we develop new algorithms for building external features into sentence embeddings and semantic similarity scores. Then, we test them on embedding spaces on data from Twitter, using each tweet's time and geolocation to better understand its context. Ultimately, we show that applying PCA with eight components to the embedding space and appending multimodal features yields the best outcomes. This yields a considerable improvement over pure text-based approaches for discovering similar tweets. Our results suggest that our new algorithm can help improve semantic understanding in various settings.


title: The CGLMP Bell Inequalities

abstract: Quantum non-locality tests have been of interest since the 1960's paper by Bell on the original EPR paradox.The present paper discusses whether the CGLMP (Bell) inequalities are possible tests for showing that quantum theory is not underpinned by local hidden variable theory (LHVT). It is found by applying Fine's theorem that the CGLMP approach involves a LHVT for the joint probabilities associated with the measurement of one observable from each of the two sub-systems, even though the underlying probabilities for joint measurements of all four observables may involve a non-local HVT. The latter HVT probabilities involve simultaneous measurements of observables corresponding to non-commuting quantum operators - allowable in classical theory. Although the CGLMP inequalities involve probabilities for measurements of one observable per sub-system and are compatible with the Heisenberg uncertainty principle, there is no unambiguous quantum measurement process linked to the probabilities in the CGLMP inequalities, and these quantum measurements each have different probabilities. However, violation of a CGLMP inequality based on any one of the possible quantum measurement sequences is sufficient to show that the Collins et al LHVT predicts different results to quantum theory. This occurs for a state considered in their paper - though for observables whose physical interpretation is unclear. In spite of this issue and in spite of the contextuality loophole, it is concluded that the CGLMP inequalities are indeed suitable for ruling out both local (and non-local) hidden variable theories. The state involved could apply to a macroscopic system, so the CGLMP Bell inequalities are important for finding cases of macroscopic violations of Bell locality. Possible experiments in double-well Bose condensates for atoms with two hyperfine components are discussed.


title: A Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired Binary Code Analysis

abstract: Given a closed-source program, such as most of proprietary software and viruses, binary code analysis is indispensable for many tasks, such as code plagiarism detection and malware analysis. Today, source code is very often compiled for various architectures, making cross-architecture binary code analysis increasingly important. A binary, after being disassembled, is expressed in an assembly languages. Thus, recent work starts exploring Natural Language Processing (NLP) inspired binary code analysis. In NLP, words are usually represented in high-dimensional vectors (i.e., embeddings) to facilitate further processing, which is one of the most common and critical steps in many NLP tasks. We regard instructions as words in NLP-inspired binary code analysis, and aim to represent instructions as embeddings as well. To facilitate cross-architecture binary code analysis, our goal is that similar instructions, regardless of their architectures, have embeddings close to each other. To this end, we propose a joint learning approach to generating instruction embeddings that capture not only the semantics of instructions within an architecture, but also their semantic relationships across architectures. To the best of our knowledge, this is the first work on building cross-architecture instruction embedding model. As a showcase, we apply the model to resolving one of the most fundamental problems for binary code similarity comparison---semantics-based basic block comparison, and the solution outperforms the code statistics based approach. It demonstrates that it is promising to apply the model to other cross-architecture binary code analysis tasks.


title: Supervised Sentiment Classification with CNNs for Diverse SE Datasets

abstract: Sentiment analysis, a popular technique for opinion mining, has been used by the software engineering research community for tasks such as assessing app reviews, developer emotions in issue trackers and developer opinions on APIs. Past research indicates that state-of-the-art sentiment analysis techniques have poor performance on SE data. This is because sentiment analysis tools are often designed to work on non-technical documents such as movie reviews. In this study, we attempt to solve the issues with existing sentiment analysis techniques for SE texts by proposing a hierarchical model based on convolutional neural networks (CNN) and long short-term memory (LSTM) trained on top of pre-trained word vectors. We assessed our model's performance and reliability by comparing it with a number of frequently used sentiment analysis tools on five gold standard datasets. Our results show that our model pushes the state of the art further on all datasets in terms of accuracy. We also show that it is possible to get better accuracy after labelling a small sample of the dataset and re-training our model rather than using an unsupervised classifier.


title: A Bayesian Zero-Inflated Negative Binomial Regression Model for the Integrative Analysis of Microbiome Data

abstract: Microbiome `omics approaches can reveal intriguing relationships between the human microbiome and certain disease states. Along with the identification of specific bacteria taxa associated with diseases, recent scientific advancements provide mounting evidence that metabolism, genetics and environmental factors can all modulate these microbial effects. However, the current methods for integrating microbiome data and other covariates are severely lacking. Hence, we present an integrative Bayesian zero-inflated negative binomial regression model that can both distinguish differentially abundant taxa with distinct phenotypes and quantify covariate-taxa effects. Our model demonstrates good performance using simulated data. Furthermore, we successfully integrated microbiome taxonomies and metabolomics in two real microbiome datasets to provide biologically interpretable findings. In all, we proposed a novel integrative Bayesian regression model that features bacterial differential abundance analysis and microbiome-covariate effects quantifications, which makes it suitable for general microbiome studies.


title: Gradient index phononic crystals and metamaterials

abstract: Phononic crystals and acoustic metamaterials are periodic structures whose effective properties can be tailored at will to achieve extreme control on wave propagation. Their refractive index is obtained from the homogenization of the infinite periodic system, but it is possible to locally change the properties of a finite crystal in such a way that it results in an effective gradient of the refractive index (GRIN). In such case the propagation of waves can be accurately described by means of ray theory, and different refractive devices can be designed in the framework of wave propagation in inhomogeneous media. In this paper we review the different devices that have been studied for the control of both bulk or guided acoustic waves based on graded phononic crystals.


title: Scalable prediction of global online media news virality

abstract: News reports shape the public perception of the critical social, political and economical events around the world. Yet, the way in which emergent phenomena are reported in the news makes the early prediction of such phenomena a challenging task. We propose a scalable community-based probabilistic framework to model the spreading of news about events in online media. Our approach exploits the latent community structure in the global news media and uses the affiliation of the early adopters with a variety of communities to identify the events widely reported in the news at the early stage of their spread. The time complexity of our approach is linear in the number of news reports. It is also amenable to efficient parallelization. To demonstrate these features, the inference algorithm is parallelized for message passing paradigm and tested on RPI Advanced Multiprocessing Optimized System (AMOS), one of the fastest Blue Gene/Q supercomputers in the world. Thanks to the community-level features of the early adopters, the model gains an improvement of 20% in the early detection of the most massively reported events compared to the feature-based machine learning algorithm. Its parallelization scheme achieves orders of magnitude speedup.


title: Border Effect of Complex Network: An analysis on the cooperation network of movie stars across different regions

abstract: People always carry out social activities within certain geographic space. The geographic boundary likes national boundaries and provincial boundaries functions as dividing policies, distributing administrative resources, defining the scope of application of laws and regulations or even the boundary of cultural region, producing fundamental influence on lifestyle. Network analysis is a powerful tool to abstract complex system. In this article, we used network method to understand changes of cooperation network in movie industry and effect of geographical boundary.


title: Learning finite-dimensional coding schemes with nonlinear reconstruction maps

abstract: This paper generalizes the Maurer--Pontil framework of finite-dimensional lossy coding schemes to the setting where a high-dimensional random vector is mapped to an element of a compact set of latent representations in a lower-dimensional Euclidean space, and the reconstruction map belongs to a given class of nonlinear maps. Under this setup, which encompasses a broad class of unsupervised representation learning problems, we establish a connection to approximate generative modeling under structural constraints using the tools from the theory of optimal transportation. Next, we consider problem of learning a coding scheme on the basis of a finite collection of training samples and present generalization bounds that hold with high probability. We then illustrate the general theory in the setting where the reconstruction maps are implemented by deep neural nets.


title: Artificial neural networks condensation: A strategy to facilitate adaption of machine learning in medical settings by reducing computational burden

abstract: Machine Learning (ML) applications on healthcare can have a great impact on people's lives helping deliver better and timely treatment to those in need. At the same time, medical data is usually big and sparse requiring important computational resources. Although it might not be a problem for wide-adoption of ML tools in developed nations, availability of computational resource can very well be limited in third-world nations. This can prevent the less favored people from benefiting of the advancement in ML applications for healthcare. In this project we explored methods to increase computational efficiency of ML algorithms, in particular Artificial Neural Nets (NN), while not compromising the accuracy of the predicted results. We used in-hospital mortality prediction as our case analysis based on the MIMIC III publicly available dataset. We explored three methods on two different NN architectures. We reduced the size of recurrent neural net (RNN) and dense neural net (DNN) by applying pruning of "unused" neurons. Additionally, we modified the RNN structure by adding a hidden-layer to the LSTM cell allowing to use less recurrent layers for the model. Finally, we implemented quantization on DNN forcing the weights to be 8-bits instead of 32-bits. We found that all our methods increased computational efficiency without compromising accuracy and some of them even achieved higher accuracy than the pre-condensed baseline models.


title: Markov Game Modeling of Moving Target Defense for Strategic Detection of Threats in Cloud Networks

abstract: The processing and storage of critical data in large-scale cloud networks necessitate the need for scalable security solutions. It has been shown that deploying all possible security measures incurs a cost on performance by using up valuable computing and networking resources which are the primary selling points for cloud service providers. Thus, there has been a recent interest in developing Moving Target Defense (MTD) mechanisms that helps one optimize the joint objective of maximizing security while ensuring that the impact on performance is minimized. Often, these techniques model the problem of multi-stage attacks by stealthy adversaries as a single-step attack detection game using graph connectivity measures as a heuristic to measure performance, thereby (1) losing out on valuable information that is inherently present in graph-theoretic models designed for large cloud networks, and (2) coming up with certain strategies that have asymmetric impacts on performance. In this work, we leverage knowledge in attack graphs of a cloud network in formulating a zero-sum Markov Game and use the Common Vulnerability Scoring System (CVSS) to come up with meaningful utility values for this game. Then, we show that the optimal strategy of placing detecting mechanisms against an adversary is equivalent to computing the mixed Min-max Equilibrium of the Markov Game. We compare the gains obtained by using our method to other techniques presently used in cloud network security, thereby showing its effectiveness. Finally, we highlight how the method was used for a small real-world cloud system.


title: Lax familial representability and lax generic factorizations

abstract: A classical result due to Diers shows that a copresheaf $F\colon\mathcal{A}\to\mathbf{Set}$ on a category $\mathcal{A}$ is a coproduct of representables precisely when each connected component of $F$'s category of elements has an initial object. Most often, this condition is imposed on a copresheaf of the form $\mathcal{B}\left(X,T-\right)$ for a functor $T\colon\mathcal{A}\to\mathcal{B}$, in which case this property says that $T$ admits generic factorizations at $X$, or equivalently that $T$ is familial at $X$. Here we generalize these results to the two-dimensional setting, replacing $\mathcal{A}$ with an arbitrary bicategory $\mathscr{A}$, and $\mathbf{Set}$ with $\mathbf{Cat}$. In this two-dimensional setting, simply asking that a pseudofunctor $F\colon\mathscr{A}\to\mathbf{Cat}$ be a coproduct of representables is often too strong of a condition. Instead, we will only ask that $F$ be a lax conical colimit of representables. This in turn allows for the weaker notion of lax generic factorizations (and lax familial representability) for pseudofunctors of bicategories $T\colon\mathscr{A}\to\mathscr{B}$. We also compare our lax familial pseudofunctors to Weber's familial 2-functors, finding our description is more general (not requiring a terminal object in $\mathscr{A}$), though essentially equivalent when a terminal object does exist. Moreover, our description of lax generics allows for an equivalence between lax generic factorizations and lax familial representability. Finally, we characterize our lax familial pseudofunctors as right lax $\mathsf{F}$-adjoints followed by locally discrete fibrations of bicategories, which in turn yields a simple definition of parametric right adjoint pseudofunctors.


title: The common patterns of abundance: the log series and Zipf's law

abstract: In a language corpus, the probability that a word occurs $n$ times is often proportional to $1/n^2$. Assigning rank, $s$, to words according to their abundance, $\log s$ vs $\log n$ typically has a slope of minus one. That simple Zipf's law pattern also arises in the population sizes of cities, the sizes of corporations, and other patterns of abundance. By contrast, for the abundances of different biological species, the probability of a population of size $n$ is typically proportional to $1/n$, declining exponentially for larger $n$, the log series pattern. This article shows that the differing patterns of Zipf's law and the log series arise as the opposing endpoints of a more general theory. The general theory follows from the generic form of all probability patterns as a consequence of conserved average values and the associated invariances of scale. To understand the common patterns of abundance, the generic form of probability distributions plus the conserved average abundance is sufficient. The general theory includes cases that are between the Zipf and log series endpoints, providing a broad framework for analyzing widely observed abundance patterns.


title: Rigid modules and Schur roots

abstract: Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $\Omega$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like representations of a hereditary algebra $\tilde{H}$ of the corresponding type. We define a Noetherian algebra $\hat{H}$ over a power series ring, which provides a direct link between the representation theory of $H$ and of $\tilde{H}$. We define and study a reduction and a localization functor relating the module categories of these three types of algebras. These are used to show that there are natural bijections between the sets of isoclasses of tilting modules over $H$, $\hat{H}$ and $\tilde{H}$. We show that the indecomposable rigid locally free modules over $H$ and $\hat{H}$ are parametrized, via their rank vector, by the real Schur roots associated to $(C,\Omega)$. Moreover, the left finite bricks of $H$, in the sense of Asai, are parametrized, via their dimension vector, by the real Schur roots associated to the dual datum $(C^T,\Omega)$.


title: Non-Autoregressive Neural Machine Translation with Enhanced Decoder Input

abstract: Non-autoregressive translation (NAT) models, which remove the dependence on previous target tokens from the inputs of the decoder, achieve significantly inference speedup but at the cost of inferior accuracy compared to autoregressive translation (AT) models. Previous work shows that the quality of the inputs of the decoder is important and largely impacts the model accuracy. In this paper, we propose two methods to enhance the decoder inputs so as to improve NAT models. The first one directly leverages a phrase table generated by conventional SMT approaches to translate source tokens to target tokens, which are then fed into the decoder as inputs. The second one transforms source-side word embeddings to target-side word embeddings through sentence-level alignment and word-level adversary learning, and then feeds the transformed word embeddings into the decoder as inputs. Experimental results show our method largely outperforms the NAT baseline~\citep{gu2017non} by $5.11$ BLEU scores on WMT14 English-German task and $4.72$ BLEU scores on WMT16 English-Romanian task.


title: Finite volume effects on chiral phase transition and pseudoscalar mesons properties from the Polyakov-Nambu-Jona-Lasinio model

abstract: Within the framework of Polyakov-Nambu-Jona-Lasinio model and by means of Multiple Reflection Expansion, we study the finite volume effects on chiral phase transition, especially its influence on the location of the possible critical end point (CEP) and masses of mesons. Our result shows that as the radius of spherical volume decreases, the location of CEP shifts toward smaller temperature while changes little in chemical potential. As for the finite volume effects on the masses of mesons, the masses of $\pi$ and $K$ increase with decreasing volume, while for $\sigma$, $\eta$ and $\eta '$ the situation is the opposite. Especially, the masses of chiral parters $\pi$ and $\sigma$ get closer as the volume decreases, indicating that the dynamical chiral symmetry breaking effect reduces with decreasing volume.


title: A Proof of the Beierle-Kranz-Leander Conjecture related to Lightweight Multiplication in $\mathds{F}_{2^n}$

abstract: Lightweight cryptography is a key tool for building strong security solutions for pervasive devices with limited resources. Due to the stringent cost constraints inherent in extremely large applications (ranging from RFIDs and smart cards to mobile devices), the efficient implementation of cryptographic hardware and software algorithms is of utmost importance to realize the vision of generalized computing. In CRYPTO 2016, Beierle, Kranz and Leander have considered lightweight multiplication in $\mathds{F}_{2^n}$. Specifically, they have considered the fundamental question of optimizing finite field multiplications with one fixed element and investigated which field representation, that is which choice of basis, allows for an optimal implementation. They have left open a conjecture related to two XOR-count. Using the theory of linear algebra, we prove in the present paper that their conjecture is correct. Consequently, this proved conjecture can be used as a reference for further developing and implementing cryptography algorithms in lightweight devices.


title: Dirichlet p-Laplacian eigenvalues and Cheeger constants on symmetric graphs

abstract: In this paper, we study eigenvalues and eigenfunctions of $p$-Laplacians with Dirichlet boundary condition on graphs. We characterize the first eigenfunction (and the maximum eigenfunction for a bipartite graph) via the sign condition. By the uniqueness of the first eigenfunction of $p$-Laplacian, as $p\to 1,$ we identify the Cheeger constant of a symmetric graph with that of the quotient graph. By this approach, we calculate various Cheeger constants of spherically symmetric graphs.

categories: math.SP math-ph math.AP math.CO math.DG math.MP


title: Self-Localization of Parking Robots Using Square-Like Landmarks

abstract: In this paper, we present a framework for self-localization of parking robots in a parking lot innovatively using square-like landmarks, aiming to provide a positioning solution with low cost but high accuracy. It utilizes square structures common in parking lots such as pillars, corners or charging piles as robust landmarks and deduces the global pose of the robot in conjunction with an off-line map. The localization is performed in real-time via Particle Filter using a single line scanning LiDAR as main sensor, an odometry as secondary information sources. The system has been tested in a simulation environment built in V-REP, the result of which demonstrates its positioning accuracy below 0.20 m and a corresponding heading error below 1{\deg}.


title: Pauli-type coupling between spinors and curved spacetime

abstract: In this study we prove that the Pauli interaction emerges when the minimal coupling recipe is applied to the non-degenerate version of the Dirac Lagrangian. The conventional Dirac Lagrangian is rendered non-degenerate if supplemented by a particular term quadratic in the derivatives of the spinors. For dimensional reasons, this non-degenerate Dirac Lagrangian is associated with a length parameter $\ell$. It yields the standard free Dirac equation in Minkowski space. However, if the Dirac spinor is minimally coupled to gauge fields, then the length parameter~$\ell$ becomes a physical coupling constant yielding novel interactions. For the U($1$) symmetry the Pauli coupling of fermions to electromagnetic fields arises, modifying the fermion's magnetic moment. We discuss the impact of these findings on electrodynamics, and estimate the upper bound of the length parameter~$\ell$ from the yet existing discrepancy between the (SM) theory and measurement of the anomalous magnetic moment of light leptons. This, and also recent studies of the renormalization theory, suggest that the Pauli coupling of leptons to the electromagnetic field is a necessary ingredient in QED, supporting the notion of a fundamental nature of the non-degenerate Dirac Lagrangian. In a second step we then investigate how analogous "Pauli-type" couplings of gravity and matter arise if fermions are embedded in curved spacetime. The diffeomorphism and Lorentz invariance of that system leads to an anomalous spin-torsion interaction and a curvature-dependent mass correction. We calculate the mass correction in the De~Sitter geometry of vacuum with the cosmological constant $\Lambda$. Possible implications for the existence of effective non-zero rest masses of neutrinos are addressed. Finally, an outlook on the impact of mass correction on the physics of "Big Bang" cosmology, black holes, and of neutron stars is provided.


title: An Efficient L-Shape Fitting Method for Vehicle Pose Detection with 2D LiDAR

abstract: Detecting vehicles with strong robustness and high efficiency has become one of the key capabilities of fully autonomous driving cars. This topic has already been widely studied by GPU-accelerated deep learning approaches using image sensors and 3D LiDAR, however, few studies seek to address it with a horizontally mounted 2D laser scanner. 2D laser scanner is equipped on almost every autonomous vehicle for its superiorities in the field of view, lighting invariance, high accuracy and relatively low price. In this paper, we propose a highly efficient search-based L-Shape fitting algorithm for detecting positions and orientations of vehicles with a 2D laser scanner. Differing from the approach to formulating LShape fitting as a complex optimization problem, our method decomposes the L-Shape fitting into two steps: L-Shape vertexes searching and L-Shape corner localization. Our approach is computationally efficient due to its minimized complexity. In on-road experiments, our approach is capable of adapting to various circumstances with high efficiency and robustness.


title: A meta-analysis of neutron lifetime measurements

abstract: We calculated the median as well as weighted mean central estimates for the neutron lifetime, from a subset of measurements compiled in the 2019 update of the Particle Data Group (PDG). We then reconstruct the error distributions for the residuals using three different central estimates and then check for consistency with a Gaussian distribution. We find that although the error distributions using the weighted mean as well as median estimate are consistent with a Gaussian distribution, the Student's $t$ and Cauchy distribution provide a better fit. This median statistic estimate of the neutron lifetime from these measurements is given by $881.5 \pm 0.47$ seconds. This can be used as an alternate estimate of the neutron lifetime. We also note that the discrepancy between beam and bottle-based measurements using median statistics of the neutron lifetime persists with a significance between 4-8$\sigma$, depending on which combination of measurements is used.

categories: hep-ph astro-ph.CO hep-ex nucl-ex physics.data-an


title: A Probabilistic Framework for Moving-Horizon Estimation: Stability and Privacy Guarantees

abstract: This work proposes a unifying probabilistic framework for the design of robustly asymptotically stable moving-horizon estimators (MHE) for discrete-time nonlinear systems, and a mechanism to incorporate differential privacy in moving-horizon estimation. We begin with an investigation of the classical notion of strong local observability of nonlinear systems and its relationship to optimization-based state estimation. We then present a general moving-horizon estimation framework for strongly locally observable systems, as an iterative minimization scheme in the space of probability measures. This framework allows for the minimization of the estimation cost with respect to different metrics. In particular, we consider two variants, which we name $W_2$-MHE and KL-MHE, where the minimization scheme uses the 2-Wasserstein distance and the KL-divergence, respectively. The $W_2$-MHE yields a gradient-based estimator whereas the KL-MHE yields a particle filter, for which we investigate asymptotic stability and robustness properties. Stability results for these moving-horizon estimators are derived in the probabilistic setting, against the backdrop of the classical notion of strong local observability which, to the best of our knowledge, differentiates it from other previous works. We then propose a mechanism to encode differential privacy of the measurements used by the estimator via an entropy regularization of the MHE objective functional. In particular, we find sufficient bounds on the regularization parameter to achieve the desired level of differential privacy. Numerical simulations demonstrate the performance of these estimators.


title: Indication of nearby source signatures of cosmic rays from energy spectra and anisotropies

abstract: The origin of Galactic cosmic rays (GCRs) remains a mystery after more than one century of their discovery. The diffusive propagation of charged particles in the turbulent Galactic magnetic field makes us unable to trace back to their acceleration sites. Nevertheless, nearby GCR source(s) may leave imprints on the locally measured energy spectra and the anisotropies of the arrival direction. In this work we propose a simple but natural description of the GCR production and propagation, within a two-zone disk-halo diffusion scenario together with a nearby source, to understand the up-to-date precise measurements of the energy spectra and anisotropies of GCRs. We find that a common energy scale of $\sim100$ TeV appears in both energy spectra of protons and Helium nuclei measured recently by CREAM and large-scale anisotropies detected by various experiments. These results indicate that one or more local sources are very likely important contributors to GCRs below $100$ TeV. This study provides a probe to identify source(s) of GCRs by means of joint efforts of spectral and anisotropy measurements.


title: AnchorHash: A Scalable Consistent Hash

abstract: Consistent hashing (CH) is a central building block in many networking applications, from datacenter load-balancing to distributed storage. Unfortunately, state-of-the-art CH solutions cannot ensure full consistency under arbitrary changes and/or cannot scale while maintaining reasonable memory footprints and update times. We present AnchorHash, a scalable and fully-consistent hashing algorithm. AnchorHash achieves high key lookup rates, a low memory footprint, and low update times. We formally establish its strong theoretical guarantees, and present advanced implementations with a memory footprint of only a few bytes per resource. Moreover, extensive evaluations indicate that it outperforms state-of-the-art algorithms, and that it can scale on a single core to 100 million resources while still achieving a key lookup rate of more than 15 million keys per second.


title: On a class of stochastic differential equations with random and H\"older continuous coefficients arising in biological modeling

abstract: Inspired by the paper Greenhalgh et al. [5] we investigate a class of two dimensional stochastic differential equations related to susceptible-infected-susceptible epidemic models with demographic stochasticity. While preserving the key features of the model considered in [5], where an ad hoc approach has been utilized to prove existence, uniqueness and non explosivity of the solution, we consider an encompassing family of models described by a stochastic differential equation with random and H\"older continuous coefficients. We prove the existence of a unique strong solution by means of a Cauchy-Euler-Peano approximation scheme which is shown to converge in the proper topologies to the unique solution


title: Imprints of Early Universe on Gravitational Waves from First-Order Phase Transition in QCD

abstract: We study the gravitational wave spectrum from the confinement-deconfinement phase transi-tion in the holographic QCD models for both light quark and heavy quark. We obtain the gravitationalwave spectrum in the deflagration, detonation and runaway cases for different chemical potentials and duration of the phase transition. We find that the gravitational wave spectrum could be observed by EPTA/IPTA and eLISA for large chemical potential and short duartion of phase transtions.


title: CP violation of quarks in $A_4$ modular invariance

abstract: We discuss the quark mass matrices in the $A_4$ modular symmetry, where the $A_4$ triplet of Higgs is introduced for each up-quark and down-quark sectors, respectively. The model has six real parameters and two complex parameters in addition to the modulus $\tau$. By inputting six quark masses and three CKM mixing angles, we can predict the CP violation phase $\delta$ and the Jarlskog invariant $J_{CP}$. The predicted ranges of $\delta$ and $J_{CP}$ are consistent with the observed values. The absolute value of $V_{ub}$ is smaller than $0.0043$, while $V_{cb}$ is lager than $0.0436$. In conclusion, our quark mass matrices with the $A_4$ modular symmetry can reproduce the CKM mixing matrix completely with observed quark masses.


title: Catalogue of Andreev spectra and Josephson effects in structures with time-reversal-invariant topological superconductor wires

abstract: We study all the possible different two terminal configurations of Josephson junctions containing wires of time-reversal invariant topological superconductors (TRITOPS) and ordinary superconductors, including combinations with an interacting quantum dot between both wires in the junction. We introduce simple effective Hamiltonians which explain the different qualitative behaviors obtained. We analyze a wide range of phenomena, including occurrence and quenching of the so called $0-\pi$ transition, anomalous periodicity and jumps of the Josephson current as a function of the phase difference, and finite Josephson current in the absence of magnetic flux.


title: Lift of fractional D-brane charge to equivariant Cohomotopy theory

abstract: The lift of K-theoretic D-brane charge to M-theory was recently hypothesized to land in Cohomotopy cohomology theory. To further check this "Hypothesis H", here we explicitly compute the constraints on fractional D-brane charges at ADE-orientifold singularities imposed by the existence of lifts from equivariant K-theory to equivariant Cohomotopy theory, through Boardman's comparison homomorphism. We check the relevant cases and find that this condition singles out precisely those fractional D-brane charges which do not take irrational values, in any twisted sector. Given that the possibility of irrational D-brane charge has been perceived as a paradox in string theory, we conclude that Hypothesis H serves to resolve this paradox. Concretely, we first explain that the Boardman homomorphism, in the present case, is the map from the Burnside ring to the representation ring of the singularity group given by forming virtual permutation representations. Then we describe an explicit algorithm that computes the image of this comparison map for any finite group. We run this algorithm for binary Platonic groups, hence for finite subgroups of SU(2); and we find explicitly that for the three exceptional subgroups and for the first few cyclic and binary dihedral subgroups the comparison morphism surjects precisely onto the sub-lattice of the real representation ring spanned by the non-irrational characters.


title: Voltage control of the long-range p-d exchange coupling in a ferromagnet-semiconductor quantum well hybrid structure

abstract: Voltage control of ferromagnetism on the nanometer scale is highly appealing for the development of novel electronic devices. Here a key challenge is to implement and combine low power consumption, high operation speed, reliable reversibility and compatibility with semiconductor technology. Hybrid structures based on the assembly of ferromagnetic and semiconducting building blocks are attractive candidates in that respect as such systems bring together the properties of the isolated constituents: They are expected to show magnetic order as a ferromagnet and to be electrically tunable as a semiconductor. Here we demonstrate the electrical control of the exchange coupling in a hybrid consisting of a ferromagnetic Co layer and a semiconductor CdTe quantum well, separated by a thin non-magnetic (Cd,Mg)Te barrier. The effective magnetic field of the exchange interaction reaches up to 2.5 Tesla and can be turned on and off by application of 1 V bias across the heterostructure. The mechanism of this electric field control is essentially different from the conventional concept, in which wavefunctions are spatially redistributed to vary the exchange interaction, requiring high field strengths. Here we address instead control of the novel exchange mechanism that is mediated by elliptically polarized phonons emitted from the ferromagnet, i.e. the phononic ac Stark effect. An essential parameter of this coupling is the splitting between heavy and light hole states in the quantum well which can be varied by the electric field induced band bending. Thereby the splitting can be tuned with respect to the magnon-phonon resonance energy in the ferromagnet, leading to maximum coupling for flat band conditions. Our results demonstrate the feasibility of electrically controlled exchange coupling in hybrid semiconductor nanostructures at quite moderate electric field strengths.


title: Scene Graph Reasoning with Prior Visual Relationship for Visual Question Answering

abstract: One of the key issues of Visual Question Answering (VQA) is to reason with semantic clues in the visual content under the guidance of the question, how to model relational semantics still remains as a great challenge. To fully capture visual semantics, we propose to reason over a structured visual representation - scene graph, with embedded objects and inter-object relationships. This shows great benefit over vanilla vector representations and implicit visual relationship learning. Based on existing visual relationship models, we propose a visual relationship encoder that projects visual relationships into a learned deep semantic space constrained by visual context and language priors. Upon the constructed graph, we propose a Scene Graph Convolutional Network (SceneGCN) to jointly reason the object properties and relational semantics for the correct answer. We demonstrate the model's effectiveness and interpretability on the challenging GQA dataset and the classical VQA 2.0 dataset, remarkably achieving state-of-the-art 54.56% accuracy on GQA compared to the existing best model.


title: Effects of jet-medium interactions on angular correlations of jet-particle pairs at different energy scales

abstract: The energy-loss of hard probes within the hot and dense medium of a quark gluon plasma (QGP) can be described by theoretical models based on radiative energy loss as well as combinations of collisional and radiative energy loss. In a search for observables that allow to disentangle these energy-loss mechanisms, we introduced a set of effective models that allows to investigate the consequences on jets of both types of jet-medium interactions within a consistent framework. We particularly studied angular jet-broadening via angular two-particle correlations. Distinguishing contributions from pairs at different scales of particle momenta, we found qualitative differences between radiative and collisional approaches.


title: A Comprehensive View on Quality Characteristics of the IoT Solutions

abstract: Categorization of quality characteristics helps in a more effective structuring of the testing process and in the determination of properties, which can be verified in the system under test. In the emerging area of Internet of Things (IoT) systems, several individual attempts have been made to summarize these aspects, but the previous work is rather heterogenic and focuses on specific subareas. Hence, we consolidated the quality characteristics into one unified view, which specifically emphasizes the aspects of security, privacy, reliability and usability, as these aspects are of often quoted as major challenges in the quality of contemporary IoT systems. The consolidated view also covers other areas of system quality, which are relevant for IoT system testing and quality assurance. In the paper, we also discuss relevant synonyms of particular quality characteristics as presented in the literature or being used in the current industry praxis. The consolidated view uses two levels of characteristics to maintain a suitable level of granularity and specificity in the discussed quality characteristics.


title: On DP-Coloring of Digraphs

abstract: DP-coloring is a relatively new coloring concept by Dvo\v{r}\'ak and Postle and was introduced as an extension of list-colorings of (undirected) graphs. It transforms the problem of finding a list-coloring of a given graph $G$ with a list-assignment $L$ to finding an independent transversal in an auxiliary graph with vertex set $\{(v,c) ~|~ v \in V(G), c \in L(v)\}$. In this paper, we extend the definition of DP-colorings to digraphs using the approach from Neumann-Lara where a coloring of a digraph is a coloring of the vertices such that the digraph does not contain any monochromatic directed cycle. Furthermore, we prove a Brooks' type theorem regarding the DP-chromatic number, which extends various results on the (list-)chromatic number of digraphs.


title: The Static Elliptic $N$-soliton Solutions of the KdV Equation

abstract: Regarding $N$-soliton solutions, the trigonometric type, the hyperbolic type, and the exponential type solutions are well studied. While for the elliptic type solution, we know only the one-soliton solution so far. Using the commutative B\"{a}cklund transformation, we have succeeded in constructing the KdV static elliptic $N$-soliton solution, which means that we have constructed infinitely many solutions for the $\wp$-function type differential equation.


title: A note on Gorenstein spaces

abstract: Associated with an augmented differential graded algebra $R= R^{\geq 0}$ is a homotopy invariant ${\mathcal T}(R)$. This is a graded vector space, and if $H^0(R)$ is the ground field and $H^{>N}(R)= 0$ then dim$\, {\mathcal T}(R)= 1$ if and only if $H(R)$ is a Poincar\'e duality algebra. In the case of Sullivan extensions $\land W\to \land W\otimes \land Z\to \land Z$ in which dim$\, H(\land Z)<\infty$ we show that $${\mathcal T}(\land W\otimes \land Z)= {\mathcal T}(\land W)\otimes {\mathcal T}(\land Z).$$ This is applied to finite dimensional CW complexes $X$ where the fundamental group $G$ acts nilpotently in the cohomology $H(\widetilde{X};\mathbb Q)$ of the universal covering space. If $H(X;\mathbb Q)$ is a Poincar\'e duality algebra and $H(\widetilde{X};\mathbb Q)$ and $H(BG;\mathbb Q)$ are finite dimensional then they are also Poincar\'e duality algebras.


title: Computations in Stochastic Acceptors

abstract: Machine learning provides algorithms that can learn from data and make inferences or predictions on data. Stochastic acceptors or probabilistic automata are stochastic automata without output that can model components in machine learning scenarios. In this paper, we provide dynamic programming algorithms for the computation of input marginals and the acceptance probabilities in stochastic acceptors. Furthermore, we specify an algorithm for the parameter estimation of the conditional probabilities using the expectation-maximization technique and a more efficient implementation related to the Baum-Welch algorithm.


title: The depth of a Riemann surface and of a right-angled Artin group

abstract: We consider two families of spaces, $X$ : the closed orientable Riemann surfaces of genus $g>0$ and the classifying spaces of right-angled Artin groups. In both cases we compare the depth of the fundamental group with the depth of an associated Lie algebra, $L$, that can be determined by the minimal Sullivan algebra. For these spaces we prove that $$ \mbox{depth} \,\mathbb Q[\pi_1(X)] = \mbox{depth}\, {L}\,$$ and give precise formulas for the depth.


title: Symplectic and K\"ahler structures on biquotients

abstract: We construct symplectic structures on roughly half of all equal rank biquotients of the form $G//T$, where $G$ is a compact simple Lie group and $T$ a torus, and investigate Hamiltonian Lie group actions on them. For the Eschenburg flag, this action has similar properties as Tolman's and Woodward's examples of Hamiltonian non-K\"ahler actions. In addition to the previously known K\"ahler structure on the Eschenburg flag, we find another K\"ahler structure on a biquotient $\mathrm{SU}(4)//T^3$.


title: Thomson backscattering in combined uniform magnetic and envelope modulating circularly-polarized laser fields

abstract: The Thomson backscattering spectra in combined uniform magnetic and cosine-envelope circularly-polarized laser fields are studied in detail. With an introduction of the envelope modulation, the radiation spectra exhibit high complexity attributed to the strong nonlinear interactions. On the other hand, four fundamental laws related to the scale invariance of the radiation spectra are analytically revealed and numerically validated. They are the laws for the radiation energy as the $6$th power of the motion constant exactly, also as the approximate negative $6$th power with respect to the initial axial momentum and laser intensity in a certain of conditions, respectively, and finally an important self-similar law, i.e., when the circular laser frequency, the envelope modulation frequency, and the modified cyclotron frequency are simultaneously increased by a factor, the radiation energy will be increased by the second power of that factor without changing the shape of the spectrum. With the application of these laws, especially the last one, a much higher radiation energy can be obtained and the harmonic at which the maximum radiation occurs can be precisely tuned without changing its amplitude. These findings provide a possible way to advance radiation technology in many fields such as medicine, communications, astrophysics, and security.


title: Lower bounds on the chromatic number of random graphs

abstract: We prove that a formula predicted on the basis of non-rigorous physics arguments [Zdeborova and Krzakala: Phys. Rev. E (2007)] provides a lower bound on the chromatic number of sparse random graphs. The proof is based on the interpolation method from mathematical physics. In the case of random regular graphs the lower bound can be expressed algebraically, while in the case of the binomial random we obtain a variational formula. As an application we calculate improved explicit lower bounds on the chromatic number of random graphs for small (average) degrees. Additionally, show how asymptotic formulas for large degrees that were previously obtained by lengthy and complicated combinatorial arguments can be re-derived easily from these new results.


title: Geometric constraints in protein folding

abstract: The intricate three-dimensional geometries of protein tertiary structures underlie protein function and emerge through a folding process from one-dimensional chains of amino acids. The exact spatial sequence and configuration of amino acids, the biochemical environment and the temporal sequence of distinct interactions yield a complex folding process that cannot yet be easily tracked for all proteins. To gain qualitative insights into the fundamental mechanisms behind the folding dynamics and generic features of the folded structure, we propose a simple model of structure formation that takes into account only fundamental geometric constraints and otherwise assumes randomly paired connections. We find that despite its simplicity, the model results in a network ensemble consistent with key overall features of the ensemble of Protein Residue Networks we obtained from more than 1000 biological protein geometries as available through the Protein Data Base. Specifically, the distribution of the number of interaction neighbors a unit (amino acid) has, the scaling of the structure's spatial extent with chain length, the eigenvalue spectrum and the scaling of the smallest relaxation time with chain length are all consistent between model and real proteins. These results indicate that geometric constraints alone may already account for a number of generic features of protein tertiary structures.


title: Image Processing on IOPA Radiographs: A comprehensive case study on Apical Periodontitis

abstract: With the recent advancements in Image Processing Techniques and development of new robust computer vision algorithms, new areas of research within Medical Diagnosis and Biomedical Engineering are picking up pace. This paper provides a comprehensive in-depth case study of Image Processing, Feature Extraction and Analysis of Apical Periodontitis diagnostic cases in IOPA (Intra Oral Peri-Apical) Radiographs, a common case in oral diagnostic pipeline. This paper provides a detailed analytical approach towards improving the diagnostic procedure with improved and faster results with higher accuracy targeting to eliminate True Negative and False Positive cases.


title: Irregular linear systems of PDEs with the conditions on solutions' projections

abstract: The theory of complete generalized Jordan sets is employed to reduce the PDE with the irreversible linear operator $B$ of finite index to the regular problems. It is demonstrated how the question of the choice of boundary conditions is connected with the $B$-Jordan structure of coefficients of PDE. The various approaches shows the combination alternative Lyapunov method, Jordan structure coefficients and skeleton decomposition of irreversible linear operator from the main part equation are among the most powerfull methods to attack such challenging problem. On this base the complex problem of the {\it correct choice of boundary conditions} for the wide class of the singular PDE can be solved. Aggregated existence and uniqueness theorems can be proved, solution may continuously depend on the function determied from the experiments. Such theory can be applied to the integral--differential equations with partial derivatives.


title: Anomalous behavior of dispersion curves in water-like systems and water

abstract: In the present paper we consider dispersion curves of longitudinal excitations of a model core-softened liquid and SPC/E model of water. We show that both systems demonstrate anomalous behavior of the excitation frequencies: the frequencies of the excitations can decrease with temperature along isochors, while in normal liquids they should increase. This observation allows to introduce one more water anomaly - anomalous dependence of excitation frequencies on temperature.


title: Positive Robinson theories and h-maximal models

abstract: In this paper we continue the exploration of the classes of positively closed and h-maximal model of an h-inductive theory in the context of positive logic. In the section 2 we give a concrete description of the class of h-maximal models of an h-inductive theory and theirs companion theories. The section 3 is concerned to the study of the positive Robinson and locally positive Robinson theories and their connexion with the properties of the class of h-maximal models of the companion theories, and their connexion with the property of elimination of quantifiers. Before dealing with the topics mentioned above we give in section 1 a brief introduction to the positive model theory.


title: Neutrino oscillations in accelerated frames

abstract: We discuss neutrino oscillations in vacuum from the point of view of a uniformly accelerated observer. A covariant definition of quantum phase is introduced with the aim of generalizing the standard expression of the oscillation amplitude to the accelerating frame. By way of illustration, we address a simplified two-flavor model with relativistic neutrinos, showing that inertial effects on the usual Pontecorvo formula are intimately related to the energy redshift. Phenomenological aspects are preliminarily analyzed in the context of atmospheric neutrinos. Finally, we discuss a gedanken experiment in order to investigate our formalism in regime of extreme acceleration.


title: Quantitative symmetry breaking of groundstates for a class of weighted Emden-Fowler equations

abstract: We consider a class of weighted Emden-Fowler equations \begin{equation} \tag{$\mathcal P_{\alpha}$} \label{eqab} \left\{\begin{array}{ll} -\Delta u=V_{\alpha} (x) \, u^p & \text{in} \,\,B,\\ u>0 & \text{in} \,\,B,\\ u=0 & \text{on}\,\,\partial B, \end{array}\right. \end{equation} posed on the unit ball $B=B(0,1)\subset \mathbb R^N$, $N \geq1$. We prove that symmetry breaking occurs for the groundstate solutions as the parameter $\alpha \rightarrow \infty.$ The above problem reads as a possibly large perturbation of the classical H\'enon equation. We consider a radial function $V_\alpha$ having a spherical shell of zeroes at $|x|=R \in (0,1].$ For $N \geq 3$, a quantitative condition on $R$ for this phenomenon to occur is given by means of universal constants, such as the best constant for the subcritical Sobolev's embedding $H^1_0(B)\subset L^{p+1}(B).$ In the case $N=2$ we highlight a similar phenomenon when $R=R(\alpha)$ is a function with a suitable decay. Moreover, combining energy estimates and Liouville type theorems we study some qualitative and quantitative properties of the groundstate solutions to (\ref{eqab}) as $\alpha \rightarrow \infty.$


title: Large time behavior, bi-Hamiltonian structure and kinetic formulation for complex Burgers equation

abstract: We prove the existence and uniqueness of positive analytical solutions with positive initial data to the mean field equation (the Dyson equation) of the Dyson Brownian motion through the complex Burgers equation with a force term on the upper half complex plane. These solutions converge to a steady state given by Wigner's semicircle law. A unique global weak solution with nonnegative initial data to the Dyson equation is obtained and some explicit solutions are given by Wigner's semicircle laws. We also construct a bi-Hamiltonian structure for the system of the real and imaginary components of the complex Burgers equation (coupled Burgers system). We establish a kinetic formulation for the coupled Burgers system and prove the existence and uniqueness of entropy solutions. The coupled Burgers system in Lagrangian variable naturally leads to two interacting particle systems: Fermi-Pasta-Ulam-Tsingou model with nearest-neighbor interactions, and Calogero-Moser model. These two particle systems yield the same Lagrangian dynamics in the continuum limit.


title: The spatial-temporal risk index and spreading dynamics for a time-periodic diffusive WNv model

abstract: This paper is concerned with a simplified epidemic model for West Nile virus in a heterogeneous time-periodic environment. By means of the model, we will explore the impact of spatial heterogeneity of environment and temporal periodicity on the persistence and eradication of West Nile virus. The free boundary is employed to represent the moving front of the infected region. The basic reproduction number $R_0^D$ and the spatial-temporal risk index $R_0^F(t)$, which depend on spatial heterogeneity, temporal periodicity and spatial diffusion, are defined by considering the associated linearized eigenvalue problem. Sufficient conditions for the spreading and vanishing of West Nile virus are presented for the spatial dynamics of the virus.


title: Nonlinear Robust Filtering of Sampled-Data Dynamical Systems

abstract: This work is concerned with robust filtering of nonlinear sampled-data systems with and without exact discrete-time models. A linear matrix inequality (LMI) based approach is proposed for the design of robust $H_{\infty}$ observers for a class of Lipschitz nonlinear systems. Two type of systems are considered, Lipschitz nonlinear discrete-time systems and Lipschitz nonlinear sampled-data systems with Euler approximate discrete-time models. Observer convergence when the exact discrete-time model of the system is available is shown. Then, practical convergence of the proposed observer is proved using the Euler approximate discrete-time model. As an additional feature, maximizing the admissible Lipschitz constant, the solution of the proposed LMI optimization problem guaranties robustness against some nonlinear uncertainty. The robust H_infty observer synthesis problem is solved for both cases. The maximum disturbance attenuation level is achieved through LMI optimization. At the end, a path to extending the results to higher-order approximate discretizations is provided.


title: Advanced Image Processing for Astronomical Images

abstract: Image Processing in Astronomy is a major field of research and involves a lot of techniques pertaining to improve analyzing the properties of the celestial objects or obtaining preliminary inference from the image data. In this paper, we provide a comprehensive case study of advanced image processing techniques applied to Astronomical Galaxy Images for improved analysis, accurate inferences and faster analysis.


title: Coisotropic Triples, Reduction and Classical Limit

abstract: Coisotropic reduction from Poisson geometry and deformation quantization is cast into a general and unifying algebraic framework: we introduce the notion of coisotropic triples of algebras for which a reduction can be defined. This allows to construct also a notion of bimodules for such triples leading to bicategories of bimodules for which we have a reduction functor as well. Morita equivalence of coisotropic triples of algebras is defined as isomorphism in the ambient bicategory and characterized explicitly. Finally, we investigate the classical limit of coisotropic triples of algebras and their bimodules and show that classical limit commutes with reduction in the bicategory sense.


title: Little dimension and the improved new intersection theorem

abstract: Let $R$ be a commutative noetherian local ring. We define a new invariant for $R$-modules which we call the little dimension. Using it, we extend the improved new intersection theorem.


title: Deep Drilling Fields for Solar System Science

abstract: We propose an ecliptic Deep Drilling Field that will discover some 10,000~small and faint Kuiper Belt Objects (KBOs) --- primitive rocky/icy bodies that orbit at the outside of our Solar System and uniquely record the processes of planetary system formation and evolution. The primary goals are to measure the KBO size and shape distributions down to 25~km, a size that probes both the early and ongoing evolution of this population. These goals can be met with around 10~hours total of on-sky time (five separate fields that are observed for 2.1~hours each). Additional science will result from downstream observations that provide colors and orbit refinement, for a total time request of 40~hours over the ten year LSST main survey.


title: Critical review of Murray's theory for optimal branching in fluidic networks

abstract: Murray's theory of constrained minimum-power branchings is critically reviewed in a generalised framework for a range of cases: channels with arbitrary cross-section shape, laminar flows of Newtonian and non-Newtonian fluids, and low and high Reynolds-number turbulent flows of Newtonian fluids. The theory states that the sum of hydraulic and metabolic power is minimised if and only if all channels satisfy the same relation between flow rate and effective radius. This relation leads to a generalised form of Murray's law. It is shown that, satisfying Murray's law is a necessary requirement for power minimisation, but not a sufficient requirement. The generalisation of Kamiya & Togawa's law that holds for minimum-volume branchings, also holds for minimum-power branchings. It is a necessary requirement but not a sufficient requirement for both minimum-power and minimum-volume branchings. For symmetric branchings the two generalised laws of Murray and Kamiya & Togawa become identical.