title: Dynamic Contract Design for Systemic Cyber Risk Management of Interdependent Enterprise Networks

abstract: The interconnectivity of cyber and physical systems and Internet of things has created ubiquitous concerns of cyber threats for enterprise system managers. It is common that the asset owners and enterprise network operators need to work with cybersecurity professionals to manage the risk by remunerating them for their efforts that are not directly observable. In this paper, we use a principal-agent framework to capture the service relationships between the two parties, i.e., the asset owner (principal) and the cyber risk manager (agent). Specifically, we consider a dynamic systemic risk management problem with asymmetric information where the principal can only observe cyber risk outcomes of the enterprise network rather than directly the efforts that the manager expends on protecting the resources. Under this information pattern, the principal aims to minimize the systemic cyber risks by designing a dynamic contract that specifies the compensation flows and the anticipated efforts of the manager by taking into account his incentives and rational behaviors. We formulate a bi-level mechanism design problem for dynamic contract design within the framework of a class of stochastic differential games. We show that the principal has rational controllability of the systemic risk by designing an incentive compatible estimator of the agent's hidden efforts. We characterize the optimal solution by reformulating the problem as a stochastic optimal control program which can be solved using dynamic programming. We further investigate a benchmark scenario with complete information and identify conditions that yield zero information rent and lead to a new certainty equivalence principle for principal-agent problems. Finally, case studies over networked systems are carried out to illustrate the theoretical results obtained.


title: Effective state as compatibility between agents

abstract: Shedding a new light in the coarse-graining scenario, in this contribution we came up with different necessary and sufficient conditions for the existence of a well-defined coarse-grained state. For doing so, we had to break apart with the usual quantum channels perspective and assume a more decision-theoretical posture. Broadly speaking, we reinterpret the coarse-graining problem in the language of quantum state pooling, and by make an extensive use of the conditional quantum states toolkit we have been able to derive more tangible conditions for the emergence of a compatible, effective coarse-grained state.


title: Sharp Guarantees for Solving Random Equations with One-Bit Information

abstract: We study the performance of a wide class of convex optimization-based estimators for recovering a signal from corrupted one-bit measurements in high-dimensions. Our general result predicts sharply the performance of such estimators in the linear asymptotic regime when the measurement vectors have entries IID Gaussian. This includes, as a special case, the previously studied least-squares estimator and various novel results for other popular estimators such as least-absolute deviations, hinge-loss and logistic-loss. Importantly, we exploit the fact that our analysis holds for generic convex loss functions to prove a bound on the best achievable performance across the entire class of estimators. Numerical simulations corroborate our theoretical findings and suggest they are accurate even for relatively small problem dimensions.

categories: math.ST cs.IT cs.LG eess.SP math.IT stat.TH


title: Positron Annihilation Lifetime Spectroscopy Using Fast Scintillators and Digital Electronics

abstract: Positron Annihilation Lifetime Spectroscopy (PALS) is a non-destructive radiological technique widely used in material science studies. PALS typically relies on an analog coincidence measurement setup and allows the estimate of the positron lifetime in a material sample under investigation. The positronium trapping at vacancies in the material results in an increased lifetime. In this work, we have developed and optimized a PALS experimental setup using organic scintillators, fast digitizers, and advanced pulse processing algorithms. We tested three pairs of different organic scintillation detectors: EJ-309 liquid, EJ-276 newly developed plastic, and BC-418 plastic, and optimized the data processing parameters for each pair separately. Our high-throughput data analysis method is based on single-pulse interpolation and a constant fraction discrimination (CFD) algorithm. The setup based on the BC-418 detector achieved the best time resolution of 198.3 +- 0.8 ps. We used such optimized setup to analyze two single-crystal quartz samples and found lifetimes of 156 +- 9 ps and 366 +- 22 ps, in good agreement with the characteristic time constants of this material. The proposed experimental set up achieve an excellent time resolution, which makes it possible to accurately characterize material vacancies by discriminating between the lifetimes of either the spin singlet or triplet states of positronium. The optimized data processing algorithms are relevant to all the applications where fast timing is important, such as nuclear medicine and radiation imaging.


title: Spectral and Dynamic Consequences of Network Specialization

abstract: One of the hallmarks of real networks is their ability to perform increasingly complex tasks as their topology evolves. To explain this, it has been observed that as a network grows certain subsets of the network begin to specialize the function(s) they perform. A recent model of network growth based on this notion of specialization has been able to reproduce some of the most well-known topological features found in real-world networks including right-skewed degree distributions, the small world property, modular as well as hierarchical topology, etc. Here we describe how specialization under this model also effects the spectral properties of a network. This allows us to give conditions under which a network is able to maintain its dynamics as its topology evolves. Specifically, we show that if a network is intrinsically stable, which is a stronger version of the standard notion of global stability, then the network maintains this type of dynamics as the network evolves. This is one of the first steps toward unifying the rigorous study of the two types of dynamics exhibited by networks. These are the \emph{dynamics of} a network, which is the study of the topological evolution of the network's structure, modeled here by the process of network specialization, and the \emph{dynamics on} a network, which is the changing state of the network elements, where the type of dynamics we consider is global stability. The main examples we apply our results to are recurrent neural networks, which are the basis of certain types of machine learning algorithms.


title: Superstition in the Network: Deep Reinforcement Learning Plays Deceptive Games

abstract: Deep reinforcement learning has learned to play many games well, but failed on others. To better characterize the modes and reasons of failure of deep reinforcement learners, we test the widely used Asynchronous Actor-Critic (A2C) algorithm on four deceptive games, which are specially designed to provide challenges to game-playing agents. These games are implemented in the General Video Game AI framework, which allows us to compare the behavior of reinforcement learning-based agents with planning agents based on tree search. We find that several of these games reliably deceive deep reinforcement learners, and that the resulting behavior highlights the shortcomings of the learning algorithm. The particular ways in which agents fail differ from how planning-based agents fail, further illuminating the character of these algorithms. We propose an initial typology of deceptions which could help us better understand pitfalls and failure modes of (deep) reinforcement learning.


title: DeepMCDose: A Deep Learning Method for Efficient Monte Carlo Beamlet Dose Calculation by Predictive Denoising in MR-Guided Radiotherapy

abstract: The next great leap toward improving treatment of cancer with radiation will require the combined use of online adaptive and magnetic resonance guided radiation therapy techniques with automatic X-ray beam orientation selection. Unfortunately, by uniting these advancements, we are met with a substantial expansion in the required dose information and consequential increase to the overall computational time imposed during radiation treatment planning, which cannot be handled by existing techniques for accelerating Monte Carlo dose calculation. We propose a deep convolutional neural network approach that unlocks new levels of acceleration and accuracy with regards to post-processed Monte Carlo dose results by relying on data-driven learned representations of low-level beamlet dose distributions instead of more limited filter-based denoising techniques that only utilize the information in a single dose input. Our method uses parallel UNET branches acting on three input channels before mixing latent understanding to produce noise-free dose predictions. Our model achieves a normalized mean absolute error of only 0.106% compared with the ground truth dose contrasting the 25.7% error of the under sampled MC dose fed into the network at prediction time. Our model's per-beamlet prediction time is ~220ms, including Monte Carlo simulation and network prediction, with substantial additional acceleration expected from batched processing and combination with existing Monte Carlo acceleration techniques. Our method shows promise toward enabling clinical practice of advanced treatment technologies.


title: Quantitative combinatorial geometry for concave functions

abstract: We prove several exact quantitative versions of Helly's and Tverberg's theorems, which guarantee that a finite family of convex sets in $R^d$ has a large intersection. Our results characterize conditions that are sufficient for the intersection of a family of convex sets to contain a "witness set" which is large under some concave or log-concave measure. The possible witness sets include ellipsoids, zonotopes, and $H$-convex sets. Our results also bound the complexity of finding the best approximation of a family of convex sets by a single zonotope or by a single $H$-convex set. We obtain colorful and fractional variants of all our Helly-type theorems.


title: Dopant-free molecular hole transport material that mediates a 20% power conversion efficiency in a perovskite solar cell

abstract: Organic molecular hole-transport materials (HTMs) are appealing for the scalable manufacture of perovskite solar cells (PSCs) because they are easier to reproducibly prepare in high purity than polymeric and inorganic HTMs. There is also a need to construct PSCs without dopants and additives to avoid formidable engineering and stability issues. We report here a power conversion efficiency (PCE) of 20.6% with a molecular HTM in an inverted (p-i-n) PSC without any dopants or interlayers. This new benchmark was made possible by the discovery that annealing a spiro-based dopant-free HTM (denoted DFH) containing redox-active triphenyl amine (TPA) units undergoes preferential molecular organization normal to the substrate. This structural order, governed by the strong intermolecular interactions of the DFH dioxane groups, affords high intrinsic hole mobility (1x10-3 cm2 V-1 s-1). Annealing films of DFH also enables the growth of large perovskite grains (up to 2 um) that minimize charge recombination in the PSC. DFH can also be isolated at a fraction of the cost of any other organic HTM.


title: The Quasi-hyperbolicity Constant of a Metric Space

abstract: We introduce the quasi-hyperbolicity constant of a metric space, a rough isometry invariant that measures how a metric space deviates from being Gromov hyperbolic. This number, for unbounded spaces, lies in the closed interval $[1,2]$. The quasi-hyperbolicity constant of an unbounded Gromov hyperbolic space is equal to one. For a CAT$(0)$-space, it is bounded from above by $\sqrt{2}$. The quasi-hyperbolicity constant of a Banach space that is at least two dimensional is bounded from below by $\sqrt{2}$, and for a non-trivial $L_p$-space it is exactly $\max\{2^{1/p},2^{1-1/p}\}$. If $0 < \alpha < 1$ then the quasi-hyperbolicity constant of the $\alpha$-snowflake of any metric space is bounded from above by $2^\alpha$. We give an exact calculation in the case of the $\alpha$-snowflake of the Euclidean real line.


title: Learning Target-oriented Dual Attention for Robust RGB-T Tracking

abstract: RGB-Thermal object tracking attempt to locate target object using complementary visual and thermal infrared data. Existing RGB-T trackers fuse different modalities by robust feature representation learning or adaptive modal weighting. However, how to integrate dual attention mechanism for visual tracking is still a subject that has not been studied yet. In this paper, we propose two visual attention mechanisms for robust RGB-T object tracking. Specifically, the local attention is implemented by exploiting the common visual attention of RGB and thermal data to train deep classifiers. We also introduce the global attention, which is a multi-modal target-driven attention estimation network. It can provide global proposals for the classifier together with local proposals extracted from previous tracking result. Extensive experiments on two RGB-T benchmark datasets validated the effectiveness of our proposed algorithm.


title: Existence of $B^k_{\alpha,\beta}$-Structures on $C^k$-Manifolds

abstract: In this paper we introduce $B_{\alpha,\beta}^{k}$-manifolds as generalizations of the notion of smooth manifolds with $G$-structure or with $k$-bounded geometry. These are $C^{k}$-manifolds whose transition functions $\varphi_{ji}=\varphi_{j}\circ\varphi_{i}^{-1}$ are such that $\partial^{\mu}\varphi_{ji}\in B_{\alpha(r)}\cap C^{k-\beta(r)}$ for every $\vert\mu\vert=r$, where $B=(B_{r})_{r\in\Gamma}$ is some sequence of presheaves of Fr\'echet spaces endowed with further structures, $\Gamma\subset\mathbb{Z}_{\geq0}$ is some parameter set and $\alpha,\beta$ are functions. We present embedding theorems for the presheaf category of those structural presheaves $B$. The existence problem of $B_{\alpha,\beta}^{k}$-structures on $C^{k}$-manifolds is studied and it is proved that under certain conditions on $B$, $\alpha$ and $\beta$, the forgetful functor from $C^{k}$-manifolds to $B_{\alpha,\beta}^{k}$-manifolds has adjoints.


title: Implementation of contact angles in the pseudopotential lattice Boltzmann simulations with curved boundaries

abstract: The pseudopotential multiphase lattice Boltzmann (LB) model is a very popular model in the LB community for simulating multiphase flows. When the multiphase modeling involves a solid boundary, a numerical scheme is required to simulate the contact angle at the solid boundary. In this work, we aim at investigating the implementation of contact angles in the pseudopotential LB simulations with curved boundaries. In the pseudopotential LB model, the contact angle is usually realized by employing a solid-fluid interaction or specifying a constant virtual wall density. However, it is shown that the solid-fluid interaction scheme yields very large spurious currents in the simulations involving curved boundaries, while the virtual-density scheme produces an unphysical thick mass-transfer layer near the solid boundary although it gives much smaller spurious currents. We also extend the geometric-formulation scheme in the phase-field method to the pseudopotential LB model. Nevertheless, in comparison with the solid-fluid interaction scheme and the virtual-density scheme, the geometric-formulation scheme is relatively difficult to implement for curved boundaries and cannot be directly applied to three-dimensional space. By analyzing the features of these three schemes, we propose an improved virtual-density scheme to implement contact angles in the pseudopotential LB simulations with curved boundaries, which does not suffer from a thick mass-transfer layer near the solid boundary and retains the advantages of the original virtual-density scheme, i.e., simplicity, easiness for implementation, and low spurious currents.


title: Converting Faraday rotation into magnetization in europium chalcogenides

abstract: We present a simple semiclassical model to sustain that in europium chalcogenides (EuX), Faraday rotation (FR) in the transparency gap is proportional to the magnetization of the sample, irrespective of the material's magnetic phase, temperature, or applied magnetic field. The model is validated by FR and magnetization measurements in EuSe in the temperature interval 1.7-300K, covering all EuSe magnetic phases (paramagnetic, antiferromagnetic type I or type II, ferrimagnetic and ferromagnetic). Furthermore, by combining the semiclassical model with the explicit electronic energy structure of EuX, the proportionality coefficient between magnetization and FR is shown to be dependent only on the wavelength and the band gap. Due to its simplicity, the model has didactic value, moreover, it provides a working tool for converting FR into magnetization in EuX. Possible extension of the model to other intrinsic magnetic semiconductors is discussed.


title: Generic instabilities in the relativistic Chapman-Enskog heat conduction law

abstract: We address the well-posedness of the Cauchy problem corresponding to the relativistic fluid equations, when coupled with the heat-flux constitutive relation arising within the relativistic Chapman-Enskog procedure. The resulting system of equations is shown to be non hyperbolic, by considering general perturbations over the whole set of equations written with respect to a generic time direction. The obtained eigenvalues are not purely imaginary and their real part grows without bound as the wave-number increases. Unlike Eckart's theory, this instability is not present when the time direction is aligned with the fluid's direction. However, since in general the fluid velocity is not surface-forming, the instability can only be avoided in the particular case where no rotation is present.


title: Context-Aware Information Lapse for Timely Status Updates in Remote Control Systems

abstract: Emerging applications in Internet of Things (IoT), such as remote monitoring and control, extensively rely on timely status updates. Age of Information (AoI) has been proposed to characterize the freshness of information in status update systems. However, it only considers the time elapsed since the generation of the latest packet, and is incapable of capturing other critical information in remote control systems, such as the stochastic evolution and the importance of the source status. In order to evaluate the timeliness of status updates in remote control systems, we propose a context-aware metric, namely the context-aware information lapse. The context-aware information lapse characterizes both the stochastic evolution of the source status and the context-aware importance of the status. In this paper, the minimization of average context-aware lapse in a multi-user system is considered, and a corresponding user scheduling policy is proposed based on Lyapunov optimization. Numerical results show that compared to AoI-based policy, the context-aware-lapse-based policy can achieve a substantial improvement in terms of error-threshold violation probability and control performance.


title: Properties of the Center of Gravity as an Algorithm for Position Measurements

abstract: The center of gravity $x_{g}= \sum_{i}E_{i} x_{i}/\sum_{i} E_{i}$ as an algorithm for position measurements is carefully analyzed. Many mathematical consequences of discretization are extracted. The origin of the systematic error of the algorithm is shown to be connected to the absence of band limits in the Fourier Transform of the signal distributions, which, owing to the intrinsic properties of the measuring devices, must have a finite supports. However, special signal distributions exist among the finite support functions which are free from the discretized error. In the presence of crosstalk, it is proved that some crosstalk spreads are able to eliminate the discretization error for any shape ({\em ideal detector}). For all other cases, analytical expressions and prescriptions are given to correct the error and to efficiently simulate various experimental situations.


title: Cohomology of the classifying spaces of $U(n)$-gauge groups over the 2-sphere

abstract: A gauge group is the topological group of automorphisms of a principal bundle. We compute the integral cohomology ring of the classifying spaces of gauge groups of principal U(n)-bundles over the 2-sphere by generalizing the operation for free loop spaces, called the free double suspension.


title: Exact Solov'ev equilibrium with an arbitrary boundary

abstract: Exact Solov'ev equilibria for arbitrary plasma cross-sections are calculated using a constrained least-squares method. The boundary, with or without $X$-points, can be specified with an arbitrarily large number of constraints to ensure an accurate representation. Thus, the order of the polynomial basis functions in the homogeneous solution of the Grad-Shafranov equation becomes an independent parameter determined only by the accuracy requirements of the overall solution. Examples of exact, highly-shaped equilibria are presented.


title: Quantifying the Propagation of Fast Coronal Mass Ejections from the Sun to Interplanetary Space Combining Remote Sensing and Multi-Point in-situ Observations

abstract: In order to have a comprehensive view of the propagation and evolution of coronal mass ejections (CMEs) from the Sun to deep interplanetary space beyond 1 au, we carry out a kinematic analysis of 7 CMEs in solar cycle 23. The events are required to have coordinated coronagraph observations, interplanetary type II radio bursts, and multi-point in-situ measurements at the Earth and Ulysses. A graduated cylindrical shell model, an analytical model without free parameters and a magnetohydrodynamic model are used to derive CME kinematics near the Sun, to quantify the CME/shock propagation in the Sun-Earth space, and to connect in-situ signatures at the Earth and Ulysses, respectively. We find that each of the 7 CME-driven shocks experienced a major deceleration before reaching 1 au and thereafter propagated with a gradual deceleration from the Earth to larger distances. The resulting CME/shock propagation profile for each case is roughly consistent with all the data, which verifies the usefulness of the simple analytical model for CME/shock propagation in the heliosphere. The statistical analysis of CME kinematics indicates a tendency that the faster the CME, the larger the deceleration, and the shorter the deceleration time period within 1 au. For several of these events, the associated geomagnetic storms were mainly caused by the southward magnetic fields in the sheath region. In particular, the interaction between a CME-driven shock and a preceding ejecta significantly enhanced the preexisting southward magnetic fields and gave rise to a severe complex geomagnetic storm.


title: Towards Security as a Service to Protect the Critical Resources of Mobile Computing Devices

abstract: We introduce a novel method to detect movement of interest in crowd scenes. For this purpose, we consider regions of interest and discretize them into a number of patterns. Furthermore, we investigate a representative movement of key patterns to detect movement of interest. The investigation of region of interest and key patterns help in detecting movement of interest in both regular and irregular scenes. The experimental analysis on a standard dataset reveals the effectiveness of our method.


title: Multi-objective scheduling on two dedicated processors

abstract: We study a multi-objective scheduling problem on two dedicated processors. The aim is to minimize simultaneously the makespan, the total tardiness and the total completion time. This NP-hard problem requires the use of well-adapted methods. For this, we adapted genetic algorithms to multi-objective case. Three methods are presented to solve this problem. The first is aggregative, the second is Pareto and the third is non-dominated sorting genetic algorithm II (NSGA-II). We proposed some adapted lower bounds for each criterion to evaluate the quality of the found results on a large set of instances. Indeed, these bounds also make it possible to determine the dominance of one algorithm over another based on the different results found by each of them. We used two metrics to measure the quality of the Pareto front: the hypervolume indicator (HV) and the number of solutions in the optimal front (ND). The obtained results show the effectiveness of the proposed algorithms.


title: The analytical description of a doped Mott insulator

abstract: With the hierarchical Green's function approach, we study a doped Mott insulator described with the Hubbard model by analytically solving the equations of motion of an one-particle Green's function and related multiple-point correlation functions, and find that the separation of the spin and charge degrees of freedom of the electrons is an intrinsic character of the doped Mott insulator. For enough of large on-site repulsive Coulomb interaction, we show that the spectral weight of the one-particle Green's function is proportional to the hole doping concentration that is mainly produced by the charge fluctuation of electrons, while the excitation spectrum of the electrons is composed of two parts: one is contributed by the spin fluctuation of the electrons which is proportional to the hole doping concentration, and another one is coming from the coupling between the charge and spin fluctuations of the electrons that takes the maximum at undoping. All of these low energy/temperature physical properties originate from the strong on-site Coulomb interaction. The present results are consistent with the spectroscopy observations of the cuprate superconductors, and the numerical calculations in normal state above pseudogap regime.


title: The probability distribution of 3-D shapes of galaxy clusters from 2-D X-ray images

abstract: We present a new method to determine the probability distribution of the 3-D shapes of galaxy clusters from the 2-D images using stereology. In contrast to the conventional approach of combining different data sets (such as X-rays, Sunyaev-Zeldovich effect and lensing) to fit a 3-D model of a galaxy cluster for each cluster, our method requires only a single data set, such as X-ray observations or Sunyaev-Zeldovich effect observations, consisting of sufficiently large number of clusters. Instead of reconstructing the 3-D shape of an individual object, we recover the probability distribution function (PDF) of the 3-D shapes of the observed galaxy clusters. The shape PDF is the relevant statistical quantity which can be compared with the theory and used to test the cosmological models. We apply this method to publicly available \emph{Chandra} X-ray data of 89 well resolved galaxy clusters. Assuming ellipsoidal shapes, we find that our sample of galaxy clusters is a mixture of prolate and oblate shapes, with a preference for oblateness with the most probable ratio of principle axes 1.4 : 1.3 : 1. The ellipsoidal assumption is not essential to our approach and our method is directly applicable to non-ellipsoidal shapes. Our method is insensitive to the radial density and temperature profiles of the cluster. Our method is sensitive to the changes in shape of the X-ray emitting gas from inner to outer regions and we find evidence for variation in the 3-D shape of the X-ray emitting gas with distance from the centre.


title: Renormalization of the Mott gap by lattice entropy: The case of 1T-TaS2

abstract: In many transition-metal oxides and dichalcogenides, the electronic and lattice degrees of freedom are strongly coupled, giving rise to remarkable phenomena, such as metal-insulator transition (MIT) and charge-density wave (CDW) order. We study this interplay by tracing the instant electronic structure under ab initio molecular dynamics. Applying this method to a 1T-TaS2 layer, we show that the CDW-triggered Mott gap undergoes a continuous reduction as the lattice temperature raises, despite a nearly constant CDW amplitude. Before the CDW order undergoes a sharp first-order transition around the room temperature, the dynamical CDW fluctuation already shrinks the Mott gap size by half. The gap size reduction is one order of magnitude larger than the lattice temperature variation. Our calculation not only provides an important clue to understand the thermodynamics behavior in 1T-TaS2, but also demonstrates a general approach to quantify the lattice entropy effect in MIT.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Synthetic gauge field in a single optomechanical resonator

abstract: Synthetic gauge fields have recently emerged, arising in the context of quantum simulations, topological matter, and the protected transportation of excitations against defects. For example, an ultracold atom experiences a light-induced effective magnetic field when tunnelling in an optical lattice, and offering a platform to simulate the quantum Hall effect and topological insulators. Similarly, the magnetic field associated with photon transport between sites has been demonstrated in a coupled resonator array. Here, we report the first experimental demonstration of a synthetic gauge field in the virtual dimension of bosonic modes in a single optomechanical resonator. By employing degenerate clockwise (CW) and counter-clockwise (CCW) optical modes and a mechanical mode, a controllable synthetic gauge field is realized by tuning the phase of the driving lasers. The non-reciprocal conversion between the three modes is realized for different synthetic magnetic fluxes. As a proof-of-principle demonstration, we also show the dynamics of the system under a fast-varying synthetic gauge field. Our demonstration not only provides a versatile and controllable platform for studying synthetic gauge fields in high dimensions but also enables an exploration of ultra-fast gauge field tuning with a large dynamic range, which is restricted for a magnetic field.


title: On the Convergence of AdaBound and its Connection to SGD

abstract: Adaptive gradient methods such as Adam have gained extreme popularity due to their success in training complex neural networks and less sensitivity to hyperparameter tuning compared to SGD. However, it has been recently shown that Adam can fail to converge and might cause poor generalization -- this lead to the design of new, sophisticated adaptive methods which attempt to generalize well while being theoretically reliable. In this technical report we focus on AdaBound, a promising, recently proposed optimizer. We present a stochastic convex problem for which AdaBound can provably take arbitrarily long to converge in terms of a factor which is not accounted for in the convergence rate guarantee of Luo et al. (2019). We present a new $O(\sqrt T)$ regret guarantee under different assumptions on the bound functions, and provide empirical results on CIFAR suggesting that a specific form of momentum SGD can match AdaBound's performance while having less hyperparameters and lower computational costs.


title: Coarse density of subsets of $M_g$

abstract: Let $\mathcal{M}_g$ be the moduli space of genus $g$ Riemann surfaces. We show that an algebraic subvariety of $\mathcal{M}_g$ is coarsely dense with respect to the Teichm\"uller metric (or Thurston metric) if and only if it is all of $\mathcal{M}_g$. We apply this to projections of $\operatorname{GL}_2(\mathbb{R})$-orbit closures in the space of abelian differentials. Moreover, we determine which strata of abelian differentials have coarsely dense projection to $\mathcal{M}_g$.


title: Hidden charm pentaquarks with color-octet substructure in QCD Sum Rules

abstract: We study the hidden-charm pentaquark states $udsc\bar{c}$ with spins 1/2, 3/2, and 5/2 within the QCD sum-rule approach. First, we construct the currents for the particular configuration of pentaquark states that consist of the flavor singlet three-quark cluster $uds$ of spins 1/2 and 3/2 and the two-quark cluster $\bar cc$ of spin 1, where both clusters are in a color-octet state. From the QCD sum rules obtained by the operator product expansion up to dimension-10 condensates, the extracted masses for the pentaquark states $uds$-$\bar{c}c$ are about 4.6 GeV (5.6 GeV) for spin 1/2$^\pm$, about 5.1 GeV (6.0 GeV) for spin 3/2$^\pm$, about 6.1 GeV (5.9 GeV) for spin 5/2$^\pm$, where the masses of the positive parity states are given in parentheses. Additionally, based on the flavor singlet pentaquark states, it is also shown that other pentaquark states of clusters like $udc$-$\bar{c}s$ and $usc$-$\bar cd$ lead to masses similar to the $uds$-$\bar cc$ case within error bars. Furthermore, in order to see whether any of the states, observed by the LHCb Collaboration, could be understood as the pentaquark of two clusters in the color-octet state, we study the pentaquark formed by the two clusters $udc$-$\bar cu$, where the three-quark cluster is assumed to have the same flavor structure as the above $uds$ cluster. We come to the conclusion that if the observed pentaquark will be found to have spin 1/2 and negative parity, then it could be described as a state of two color-octet clusters.


title: Algorithms detecting stability and Morseness for finitely generated groups

abstract: The notions of stable and Morse subgroups of finitely generated groups generalize the concept of a quasiconvex subgroup of a word-hyperbolic group. For a word-hyperbolic group $G$, Kapovich provided a partial algorithm which, on input a finite set $S$ of $G$, halts if $S$ generates a quasiconvex subgroup of $G$ and runs forever otherwise. In this paper, we give various detection and decidability algorithms for stability and Morseness of a finitely generated subgroup of mapping class groups, right-angled Artin groups, toral relatively hyperbolic groups, and finitely generated groups discriminated by a locally quasiconvex torsion-free hyperbolic group (for example, ordinary limit groups).


title: Matrix-analytic solution of system of integral equations in three tandem servers

abstract: A matrix-analytic method is proposed for solving a system of linear integral equations arises in three tandem servers. The approach is by modelling the cumulative distribution function (cdf) of the service time as a matrix exponential function. The method transforms the system of linear integral equations into a system of linear algebraic equations, hence can produce closed-form solutions. Properties of the solution are discussed.


title: The bias of isotonic regression

abstract: We study the bias of the isotonic regression estimator. While there is extensive work characterizing the mean squared error of the isotonic regression estimator, relatively little is known about the bias. In this paper, we provide a sharp characterization, proving that the bias scales as $O(n^{-\beta/3})$ up to log factors, where $1 \leq \beta \leq 2$ is the exponent corresponding to H{\"o}lder smoothness of the underlying mean. Importantly, this result only requires a strictly monotone mean and that the noise distribution has subexponential tails, without relying on symmetric noise or other restrictive assumptions.


title: DL-PDE: Deep-learning based data-driven discovery of partial differential equations from discrete and noisy data

abstract: In recent years, data-driven methods have been developed to learn dynamical systems and partial differential equations (PDE). The goal of such work is discovering unknown physics and the corresponding equations. However, prior to achieving this goal, major challenges remain to be resolved, including learning PDE under noisy data and limited discrete data. To overcome these challenges, in this work, a deep-learning based data-driven method, called DL-PDE, is developed to discover the governing PDEs of underlying physical processes. The DL-PDE method combines deep learning via neural networks and data-driven discovery of PDE via sparse regressions. In the DL-PDE, a neural network is first trained, and then a large amount of meta-data is generated, and the required derivatives are calculated by automatic differentiation. Finally, the form of PDE is discovered by sparse regression. The proposed method is tested with physical processes, governed by groundwater flow equation, convection-diffusion equation, Burgers equation and Korteweg-de Vries (KdV) equation, for proof-of-concept and applications in real-world engineering settings. The proposed method achieves satisfactory results when data are noisy and limited.


title: Linking Graph Entities with Multiplicity and Provenance

abstract: Entity linking and resolution is a fundamental database problem with applications in data integration, data cleansing, information retrieval, knowledge fusion, and knowledge-base population. It is the task of accurately identifying multiple, differing, and possibly contradicting representations of the same real-world entity in data. In this work, we propose an entity linking and resolution system capable of linking entities across different databases and mentioned-entities extracted from text data. Our entity linking/resolution solution, called Certus, uses a graph model to represent the profiles of entities. The graph model is versatile, thus, it is capable of handling multiple values for an attribute or a relationship, as well as the provenance descriptions of the values. Provenance descriptions of a value provide the settings of the value, such as validity periods, sources, security requirements, etc. This paper presents the architecture for the entity linking system, the logical, physical, and indexing models used in the system, and the general linking process. Furthermore, we demonstrate the performance of update operations of the physical storage models when the system is implemented in two state-of-the-art database management systems, HBase and Postgres.


title: Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS

abstract: We explore the challenges and opportunities of shifting industrial control software from dedicated hardware to bare-metal servers or cloud computing platforms using off the shelf technologies. In particular, we demonstrate that executing time-critical applications on cloud platforms is viable based on a series of dedicated latency tests targeting relevant real-time configurations.


title: Few Labeled Atlases are Necessary for Deep-Learning-Based Segmentation

abstract: We tackle biomedical image segmentation in the scenario of only a few labeled brain MR images. This is an important and challenging task in medical applications, where manual annotations are time-consuming. Current multi-atlas based segmentation methods use image registration to warp segments from labeled images onto a new scan. In a different paradigm, supervised learning-based segmentation strategies have gained popularity. These method consistently use relatively large sets of labeled training data, and their behavior in the regime of a few labeled biomedical images has not been thoroughly evaluated. In this work, we provide two important results for segmentation in the scenario where few labeled images are available. First, we propose a straightforward implementation of efficient semi-supervised learning-based registration method, which we showcase in a multi-atlas segmentation framework. Second, through an extensive empirical study, we evaluate the performance of a supervised segmentation approach, where the training images are augmented via random deformations. Surprisingly, we find that in both paradigms, accurate segmentation is generally possible even in the context of few labeled images.


title: Convergence Behavior Analysis of Directed Signed Networks Subject to Nonidentical Topologies

abstract: This paper addresses the behavior analysis problems for directed signed networks that involve cooperative-antagonistic interactions among agents. Of particular interest is to explore the convergence behaviors of directed signed networks with agents of mixed first-order and second-order dynamics. Further, the agents are subject to nonidentical topologies represented by two different signed digraphs that have a strongly connected union. It is shown that when considering signed networks subject to sign-consistent nonidentical topologies, polarization (respectively, neutralization) can be achieved if and only if the union of two signed digraphs is structurally balanced (respectively, unbalanced). By comparison, signed networks can always be guaranteed to become neutralized in the presence of sign-inconsistent nonidentical topologies.


title: A Fast Spectral Algorithm for Mean Estimation with Sub-Gaussian Rates

abstract: We study the algorithmic problem of estimating the mean of heavy-tailed random vector in $\mathbb{R}^d$, given $n$ i.i.d. samples. The goal is to design an efficient estimator that attains the optimal sub-gaussian error bound, only assuming that the random vector has bounded mean and covariance. Polynomial-time solutions to this problem are known but have high runtime due to their use of semi-definite programming (SDP). Conceptually, it remains open whether convex relaxation is truly necessary for this problem. In this work, we show that it is possible to go beyond SDP and achieve better computational efficiency. In particular, we provide a spectral algorithm that achieves the optimal statistical performance and runs in time $\widetilde O\left(n^2 d \right)$, improving upon the previous fastest runtime $\widetilde O\left(n^{3.5}+ n^2d\right)$ by Cherapanamjeri el al. (COLT '19). Our algorithm is spectral in that it only requires (approximate) eigenvector computations, which can be implemented very efficiently by, for example, power iteration or the Lanczos method. At the core of our algorithm is a novel connection between the furthest hyperplane problem introduced by Karnin et al. (COLT '12) and a structural lemma on heavy-tailed distributions by Lugosi and Mendelson (Ann. Stat. '19). This allows us to iteratively reduce the estimation error at a geometric rate using only the information derived from the top singular vector of the data matrix, leading to a significantly faster running time.


title: Collaborative Multi-agent Learning for MR Knee Articular Cartilage Segmentation

abstract: The 3D morphology and quantitative assessment of knee articular cartilages (i.e., femoral, tibial, and patellar cartilage) in magnetic resonance (MR) imaging is of great importance for knee radiographic osteoarthritis (OA) diagnostic decision making. However, effective and efficient delineation of all the knee articular cartilages in large-sized and high-resolution 3D MR knee data is still an open challenge. In this paper, we propose a novel framework to solve the MR knee cartilage segmentation task. The key contribution is the adversarial learning based collaborative multi-agent segmentation network. In the proposed network, we use three parallel segmentation agents to label cartilages in their respective region of interest (ROI), and then fuse the three cartilages by a novel ROI-fusion layer. The collaborative learning is driven by an adversarial sub-network. The ROI-fusion layer not only fuses the individual cartilages from multiple agents, but also backpropagates the training loss from the adversarial sub-network to each agent to enable joint learning of shape and spatial constraints. Extensive evaluations are conducted on a dataset including hundreds of MR knee volumes with diverse populations, and the proposed method shows superior performance.


title: Comparison theorems on large-margin learning

abstract: This paper studies binary classification problem associated with a family of loss functions called large-margin unified machines (LUM), which offers a natural bridge between distribution-based likelihood approaches and margin-based approaches. It also can overcome the so-called data piling issue of support vector machine in the high-dimension and low-sample size setting. In this paper we establish some new comparison theorems for all LUM loss functions which play a key role in the further error analysis of large-margin learning algorithms.


title: Einconv: Exploring Unexplored Tensor Network Decompositions for Convolutional Neural Networks

abstract: Tensor decomposition methods are widely used for model compression and fast inference in convolutional neural networks (CNNs). Although many decompositions are conceivable, only CP decomposition and a few others have been applied in practice, and no extensive comparisons have been made between available methods. Previous studies have not determined how many decompositions are available, nor which of them is optimal. In this study, we first characterize a decomposition class specific to CNNs by adopting a flexible graphical notation. The class includes such well-known CNN modules as depthwise separable convolution layers and bottleneck layers, but also previously unknown modules with nonlinear activations. We also experimentally compare the tradeoff between prediction accuracy and time/space complexity for modules found by enumerating all possible decompositions, or by using a neural architecture search. We find some nonlinear decompositions outperform existing ones.


title: Exploiting Multi-domain Visual Information for Fake News Detection

abstract: The increasing popularity of social media promotes the proliferation of fake news. With the development of multimedia technology, fake news attempts to utilize multimedia contents with images or videos to attract and mislead readers for rapid dissemination, which makes visual contents an important part of fake news. Fake-news images, images attached in fake news posts,include not only fake images which are maliciously tampered but also real images which are wrongly used to represent irrelevant events. Hence, how to fully exploit the inherent characteristics of fake-news images is an important but challenging problem for fake news detection. In the real world, fake-news images may have significantly different characteristics from real-news images at both physical and semantic levels, which can be clearly reflected in the frequency and pixel domain, respectively. Therefore, we propose a novel framework Multi-domain Visual Neural Network (MVNN) to fuse the visual information of frequency and pixel domains for detecting fake news. Specifically, we design a CNN-based network to automatically capture the complex patterns of fake-news images in the frequency domain; and utilize a multi-branch CNN-RNN model to extract visual features from different semantic levels in the pixel domain. An attention mechanism is utilized to fuse the feature representations of frequency and pixel domains dynamically. Extensive experiments conducted on a real-world dataset demonstrate that MVNN outperforms existing methods with at least 9.2% in accuracy, and can help improve the performance of multimodal fake news detection by over 5.2%.


title: On Defending Against Label Flipping Attacks on Malware Detection Systems

abstract: Label manipulation attacks are a subclass of data poisoning attacks in adversarial machine learning used against different applications, such as malware detection. These types of attacks represent a serious threat to detection systems in environments having high noise rate or uncertainty, such as complex networks and Internet of Thing (IoT). Recent work in the literature has suggested using the $K$-Nearest Neighboring (KNN) algorithm to defend against such attacks. However, such an approach can suffer from low to wrong detection accuracy. In this paper, we design an architecture to tackle the Android malware detection problem in IoT systems. We develop an attack mechanism based on Silhouette clustering method, modified for mobile Android platforms. We proposed two Convolutional Neural Network (CNN)-type deep learning algorithms against this \emph{Silhouette Clustering-based Label Flipping Attack (SCLFA)}. We show the effectiveness of these two defense algorithms - \emph{Label-based Semi-supervised Defense (LSD)} and \emph{clustering-based Semi-supervised Defense (CSD)} - in correcting labels being attacked. We evaluate the performance of the proposed algorithms by varying the various machine learning parameters on three Android datasets: Drebin, Contagio, and Genome and three types of features: API, intent, and permission. Our evaluation shows that using random forest feature selection and varying ratios of features can result in an improvement of up to 19\% accuracy when compared with the state-of-the-art method in the literature.


title: Effect of morphological asymmetry between leading and following sunspots on the prediction of solar cycle activity

abstract: The morphological asymmetry of leading and following sunspots is a well-known characteristic of the solar surface. In the context of large-scale evolution of the surface magnetic field, the asymmetry has been assumed to have only a negligible effect. Using the surface flux transport model, we show that the morphological asymmetry of leading and following sunspots has a significant impact on the evolution of the large-scale magnetic field on the solar surface. By evaluating the effect of the morphological asymmetry of each bipolar magnetic region (BMR), we observe that the introduction of the asymmetry in the BMR model significantly reduces its contribution to the polar magnetic field, especially for large and high-latitude BMRs. Strongly asymmetric BMRs can even reverse the regular polar field formation. The surface flux transport simulations based on the observed sunspot record shows that the introduction of the morphological asymmetry reduces the root-mean-square difference from the observed axial dipole strength by 30--40 percent. These results indicate that the morphological asymmetry of leading and following sunspots has a significant effect on the solar cycle prediction.


title: Charged particle tracking with quantum annealing-inspired optimization

abstract: At the High Luminosity Large Hadron Collider (HL-LHC), traditional track reconstruction techniques that are critical for analysis are expected to face challenges due to scaling with track density. Quantum annealing has shown promise in its ability to solve combinatorial optimization problems amidst an ongoing effort to establish evidence of a quantum speedup. As a step towards exploiting such potential speedup, we investigate a track reconstruction approach by adapting the existing geometric Denby-Peterson (Hopfield) network method to the quantum annealing framework and to HL-LHC conditions. Furthermore, we develop additional techniques to embed the problem onto existing and near-term quantum annealing hardware. Results using simulated annealing and quantum annealing with the D-Wave 2X system on the TrackML dataset are presented, demonstrating the successful application of a quantum annealing-inspired algorithm to the track reconstruction challenge. We find that combinatorial optimization problems can effectively reconstruct tracks, suggesting possible applications for fast hardware-specific implementations at the LHC while leaving open the possibility of a quantum speedup for tracking.


title: Dynamical Quantum Phase Transition of the Quantum $N$-state Potts Chain with Quenched Disorder

abstract: We present an exact renormalization group analysis of the Loschmidt amplitude of the quantum $N$-state Potts chain with random quench-disordered nearest neighbor bonds, under the extreme dynamical quantum quench. We prove that the phase transition of the Loschmidt rate function remains sharp in general. For typical bond distributions, the phase transition is found to be a linear-cusp, as in the pure model. For some special discrete bond distributions, however, the rate function exhibits logarithmic divergences. These singularities are due to the competition between the non-critical dynamical phases of the pure model, which is very different from how disorder affects equilibrium phase transitions. In addition, due to the periodicity of the complex exponential function, all continuous bond distributions result in rate functions which converge to a universal value at large time.


title: Polarized relations at singulars over successors

abstract: Erdos, Hajnal and Rado asked whether $\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_0}_2$ and whether $\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_1}_2$. We prove that both relations are independent over ZFC. We shall also prove that $\binom{\mu}{\aleph_2}\rightarrow\binom{\mu}{\aleph_2}_2$ is independent over ZF for some $\mu$ of cofinality $\omega_1$.


title: Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis

abstract: These proceedings present the accepted regular papers and some selected extended abstracts from the 3rd joint DICE-FOPARA workshop, which was held in Prague, Czech Republic on April 6-7, 2019, as a part of ETAPS. The joint workshop provides synergies by combining two complementary communities: The 10th DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties. Several approaches have been explored for that purpose, such as restrictions on primitive recursion and ramification, rewriting systems, linear logic, types and lambda calculus, interpretations of functional and imperative programs. The 6th FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. This third joint DICE-FOPARA workshop at ETAPS 2019 follows the successful experiences of co-location of DICE-FOPARA at ETAPS 2015 in London and ETAPS 2017 in Uppsala.


title: Evidence of structural evolution in Sr2RhO4 studied by time-resolved optical reflectivity spectroscopy

abstract: We investigate ultrafast dynamics from photoinduced reflectivity of Sr2RhO4 by using femtosecond near-infrared pulses. We observe a clear temperature-dependent anomaly in its electronic dynamics which slows down below 160 K. In addition, coherent oscillations of the A1g symmetric 5.3-THz phonon exhibit a 90-degree shift in its initial phase across TS, indicating a structural change in octahedral rotation distortions. We propose that octahedral structure in Sr2RhO4 evolves at around TS, and it can influence on the non-equilibrium dynamics of photoinduced carriers as well as real-time phonon responses.


title: Quantum adiabatic machine learning with zooming

abstract: Recent work has shown that quantum annealing for machine learning, referred to as QAML, can perform comparably to state-of-the-art machine learning methods with a specific application to Higgs boson classification. We propose QAML-Z, a novel algorithm that iteratively zooms in on a region of the energy surface by mapping the problem to a continuous space and sequentially applying quantum annealing to an augmented set of weak classifiers. Results on a programmable quantum annealer show that QAML-Z matches classical deep neural network performance at small training set sizes and reduces the performance margin between QAML and classical deep neural networks by almost 50% at large training set sizes, as measured by area under the ROC curve. The significant improvement of quantum annealing algorithms for machine learning and the use of a discrete quantum algorithm on a continuous optimization problem both opens a new class of problems that can be solved by quantum annealers and suggests the approach in performance of near-term quantum machine learning towards classical benchmarks.


title: Time-space noncommutativity and Casimir effect

abstract: We show that the Casimir force and energy are modified in the kappa-deformed space-time. This is analysed by solving the Green's function corresponding to kappa-deformed scalar field equation in presence of two parallel plates, modelled by delta-function potentials. Exploiting the relation between energy-momentum tensor and Green's function, we calculate the correction to Casimir force, valid up to second order in the deformation parameter. The Casimir force is shown to get corrections which scale as $L^{-4}$ and $L^{-6}$ and both these types of corrections produce attractive forces. Using the measured value of Casimir force, we show that the deformation parameter should be below $10^{-23}$m.


title: Tight-Binding Kondo Model and Spin-Exchange Collision Rate of Alkaline-Earth Atoms in a Mixed-Dimensional Optical Lattice

abstract: We study the two-body problem of the ultracold fermionic alkaline-earth (like) atoms in the electronic $^1$S$_0$ state ($g$-state) and $^3$P$_0$ state ($e$-state), which are confined in a quasi-one-dimensional (quasi-1D) tube. In addition, in the axial direction, the $g$-atom experience a 1D optical lattice and the $e$-atom is localized by a harmonic potential. In this work, we propose two appropriate tight-binding models, which are applicable for the cases that the odd-wave scattering between the $g$- and $e$-atom is negligible or not, respectively. We further give a microscopic derivation for the inter-atomic interaction parameters of these tight-binding models, by exactly calculating the low-energy inter-atomic scattering amplitude. Our results show that, as one can predict, these interaction parameters can be efficiently controlled by the confinement potentials. We further exam the simple "projection approximation" with which one derives the interaction parameters by directly projecting the 3D Huang-Yang pseudopotential on the ground state of the confinement and the lowest band of the optical lattice. We find that one should be very careful about determining the interaction parameters in the tight-binding models. Furthermore, we calculate the spin-exchanging rate, which dependents on the incident quasi-momentum $k$ of the $g$-atom, for the recent experiment (L. Riegger, {\it et. al.,} Phys. Rev. Lett. {\bf 120}, 143601 (2018)) of $^{173}$Yb atoms in this quasi-(1+0)D system, and study finite-momentum effect in this experiment. Our results show that in this system the finite-momentum effect of the $g$-atom is very significant, and the momentum of the $g$-atoms in this experiment may be pretty high (already in the second Brillouin zone of the optical lattice)


title: Probing Tissue Microarchitecture of the Baby Brain via Spherical Mean Spectrum Imaging

abstract: During the first years of life, the human brain undergoes dynamic spatially-heterogeneous changes, involving differentiation of neuronal types, dendritic arborization, axonal ingrowth, outgrowth and retraction, synaptogenesis, and myelination. To better quantify these changes, this article presents a method for probing tissue microarchitecture by characterizing water diffusion in a spectrum of length scales, factoring out the effects of intra-voxel orientation heterogeneity. Our method is based on the spherical means of the diffusion signal, computed over gradient directions for a fixed set of diffusion weightings (i.e., b-values). We decompose the spherical mean series at each voxel into a spherical mean spectrum (SMS), which essentially encodes the fractions of spin packets undergoing fine- to coarse-scale diffusion processes, characterizing hindered and restricted diffusion stemming respectively from extra- and intra-neurite water compartments. From the SMS, multiple orientation distribution invariant indices can be computed, allowing for example the quantification of neurite density, microscopic fractional anisotropy ($\mu$FA), per-axon axial/radial diffusivity, and free/restricted isotropic diffusivity. We show maps of these indices for baby brains, demonstrating that microscopic tissue features can be extracted from the developing brain for greater sensitivity and specificity to development related changes. Also, we demonstrate that our method, called spherical mean spectrum imaging (SMSI), is fast, accurate, and can overcome the biases associated with other state-of-the-art microstructure models.


title: Reinforcement Learning based Interconnection Routing for Adaptive Traffic Optimization

abstract: Applying Machine Learning (ML) techniques to design and optimize computer architectures is a promising research direction. Optimizing the runtime performance of a Network-on-Chip (NoC) necessitates a continuous learning framework. In this work, we demonstrate the promise of applying reinforcement learning (RL) to optimize NoC runtime performance. We present three RL-based methods for learning optimal routing algorithms. The experimental results show the algorithms can successfully learn a near-optimal solution across different environment states. Reproducible Code: github.com/huckiyang/interconnect-routing-gym


title: Understanding Spatial Language in Radiology: Representation Framework, Annotation, and Spatial Relation Extraction from Chest X-ray Reports using Deep Learning

abstract: We define a representation framework for extracting spatial information from radiology reports (Rad-SpRL). We annotated a total of 2000 chest X-ray reports with 4 spatial roles corresponding to the common radiology entities. Our focus is on extracting detailed information of a radiologist's interpretation containing a radiographic finding, its anatomical location, corresponding probable diagnoses, as well as associated hedging terms. For this, we propose a deep learning-based natural language processing (NLP) method involving both word and character-level encodings. Specifically, we utilize a bidirectional long short-term memory (Bi-LSTM) conditional random field (CRF) model for extracting the spatial roles. The model achieved average F1 measures of 90.28 and 94.61 for extracting the Trajector and Landmark roles respectively whereas the performance was moderate for Diagnosis and Hedge roles with average F1 of 71.47 and 73.27 respectively. The corpus will soon be made available upon request.


title: Private Rank Aggregation under Local Differential Privacy

abstract: As a method for answer aggregation in crowdsourced data management, rank aggregation aims to combine different agents' answers or preferences over the given alternatives into an aggregate ranking which agrees the most with the preferences. However, since the aggregation procedure relies on a data curator, the privacy within the agents' preference data could be compromised when the curator is untrusted. Existing works that guarantee differential privacy in rank aggregation all assume that the data curator is trusted. In this paper, we formulate and address the problem of locally differentially private rank aggregation, in which the agents have no trust in the data curator. By leveraging the approximate rank aggregation algorithm KwikSort, the Randomized Response mechanism, and the Laplace mechanism, we propose an effective and efficient protocol LDP-KwikSort. Theoretical and empirical results show that the solution LDP-KwikSort:RR can achieve the acceptable trade-off between the utility of aggregate ranking and the privacy protection of agents' pairwise preferences.


title: Stationary solutions to the two-dimensional Broadwell model

abstract: Existence of renormalized solutions to the two-dimensional Broadwell model with given indata in L1 is proven. Averaging techniques from the continuous velocity case being unavailable when the velocities are discrete, the approach is based on direct L1-compactness arguments using the Kolmogorov-Riesz theoren.


title: The CARMA-NRO Orion Survey: Core Emergence and Kinematics in the Orion A Cloud

abstract: We have investigated the formation and kinematics of sub-mm continuum cores in the Orion A molecular cloud. A comparison between sub-mm continuum and near infrared extinction shows a continuum core detection threshold of $A_V\sim$ 5-10 mag. The threshold is similar to the star formation extinction threshold of $A_V\sim$ 7 mag proposed by recent work, suggesting a universal star formation extinction threshold among clouds within 500 pc to the Sun. A comparison between the Orion A cloud and a massive infrared dark cloud G28.37+0.07 indicates that Orion A produces more dense gas within the extinction range 15 mag $\lesssim A_V \lesssim$ 60 mag. Using data from the CARMA-NRO Orion Survey, we find that dense cores in the integral-shaped filament (ISF) show sub-sonic core-to-envelope velocity dispersion that is significantly less than the local envelope line dispersion, similar to what has been found in nearby clouds. Dynamical analysis indicates that the cores are bound to the ISF. An oscillatory core-to-envelope motion is detected along the ISF. Its origin is to be further explored.


title: A Generic Solver for Unconstrained Control Problems with Integral Functional Objectives

abstract: We present a generic solver for unconstrained control problems (UCPs) whose objectives take the form of an integral functional of the controllers. The solver generalizes and improves upon the algorithm proposed by Tseng and Tang for the Witsenhausen's counterexample, which provides the best-known results. In essence, we show that minimizing the objective implies minimizing the marginal cost functions almost everywhere, and we perform the latter task pointwisely by the adaptive minimization technique, which speeds up the computation. We implement single-threaded and parallelized versions of the proposed algorithm. Our implementation runs $30 \times$ faster than Tseng and Tang's algorithm on the Witsenhausen's counterexample, and we demonstrate the applicability of the solver and discuss the possible generalization to constrained problems through two more examples.


title: Resolving a controversy about adhesion in sliding contacts

abstract: An interesting recent paper by Menga, Carbone & Dini (MCD, 2018, [1]), suggests that in sliding adhesive contacts, the contact area should increase due to tangential shear stresses at the interface, assumed to be constant and corresponding to a material constant. This is not observed in the known experiments, and is in sharp contrast with all the classical theories about the transition from stick to sliding, both in the JKR (Griffith like) conditions which involve singular pressure and shear, as well as in full general cohesive models. We offer a rigorous thermodynamics calculation, which suggests in fact there is no qualitative contrast but a very close quantitative agreement, with previous theories. Actually, the model predicts an even stronger reduction of contact area than predicted by Savkoor and Briggs, contrary to experimental observations, so would certainly require some adjustements to consider dissipative effects.


title: uPredict: A User-Level Profiler-Based Predictive Framework for Single VM Applications in Multi-Tenant Clouds

abstract: Most existing studies on performance prediction for virtual machines (VMs) in multi-tenant clouds are at system level and generally require access to performance counters in Hypervisors. In this work, we propose uPredict, a user-level profiler-based performance predictive framework for single-VM applications in multi-tenant clouds. Here, three micro-benchmarks are specially devised to assess the contention of CPUs, memory and disks in a VM, respectively. Based on measured performance of an application and micro-benchmarks, the application and VM-specific predictive models can be derived by exploiting various regression and neural network based techniques. These models can then be used to predict the application's performance using the in-situ profiled resource contention with the micro-benchmarks. We evaluated uPredict extensively with representative benchmarks from PARSEC, NAS Parallel Benchmarks and CloudSuite, on both a private cloud and two public clouds. The results show that the average prediction errors are between 9.8% to 17% for various predictive models on the private cloud with high resource contention, while the errors are within 4% on public clouds. A smart load-balancing scheme powered by uPredict is presented and can effectively reduce the execution and turnaround times of the considered application by 19% and 10%, respectively.


title: Realization of complex conjugate media using non-PT-symmetric photonic crystals

abstract: While parity-time (PT)-symmetric systems can exhibit real spectra in the exact PT-symmetry regime, the PT-symmetry is actually not a necessary condition for the real spectra. Here we show that non-PT-symmetric photonic crystals carrying Dirac-like cone dispersions can always exhibit real spectra as long as the average non-Hermiticity strength within the unit cell for the eigenstates is zero. By building a non-Hermitian Hamiltonian model, we find that the real spectra of the non-PT-symmetric system can be explained using the concept of pseudo-Hermiticity. We demonstrate using effective medium theories that in the long-wavelength limit, such non-PT-symmetric photonic crystals behave like the so-called complex conjugate medium (CCM) whose refractive index is real but whose permittivity and permeability are complex numbers. The real refractive index for this effective CCM is guaranteed by the real spectrum of the photonic crystals and the complex permittivity and permeability comes from the non-PT-symmetric loss-gain distributions. We show some interesting phenomena associated with the CCM, such as the lasing effect.


title: Investigating the real-time dissolution of a compositionally complex alloy using inline ICP and correlation with XPS

abstract: The real-time dissolution of the single-phase compositionally complex alloy (CCA), Al1.5TiVCr, was studied using an inline inductively coupled plasma method. Compositionally complex alloys (CCAs), a term encompassing high entropy alloys (HEAs) or multi-principal element alloys (MPEAs), are - in general - noted for their inherently high corrosion resistance. In order to gain an insight into the dissolution of Al1.5TiVCr alloy, atomic emission spectroelectrochemistry was utilised in order to measure the ion dissolution of the alloy during anodic polarisation. It was revealed that incongruent dissolution occurred, with preferential dissolution of Al, and essentially no dissolution of Ti, until the point of alloy breakdown. Results were correlated with X-ray photoelectron spectroscopy, which revealed a complex surface oxide inclusive of unoxidised metal, and metal oxides in disproportion to the bulk alloying element ratio.


title: Regional Tree Regularization for Interpretability in Black Box Models

abstract: The lack of interpretability remains a barrier to the adoption of deep neural networks. Recently, tree regularization has been proposed to encourage deep neural networks to resemble compact, axis-aligned decision trees without significant compromises in accuracy. However, it may be unreasonable to expect that a single tree can predict well across all possible inputs. In this work, we propose regional tree regularization, which encourages a deep model to be well-approximated by several separate decision trees specific to predefined regions of the input space. Practitioners can define regions based on domain knowledge of contexts where different decision-making logic is needed. Across many datasets, our approach delivers more accurate predictions than simply training separate decision trees for each region, while producing simpler explanations than other neural net regularization schemes without sacrificing predictive power. Two healthcare case studies in critical care and HIV demonstrate how experts can improve understanding of deep models via our approach.


title: Frustrated orbital Feshbach resonances in a Fermi gas

abstract: The orbital Feshbach resonance (OFR) is a novel scheme for magnetically tuning the interactions in closed-shell fermionic atoms. Remarkably, unlike the Feshbach resonances in alkali atoms, the open and closed channels of the OFR are only very weakly detuned in energy. This leads to a unique effect whereby a medium in the closed channel can Pauli block, or frustrate, the two-body scattering processes. Here, we theoretically investigate the impact of frustration in the few- and many-body limits of the experimentally accessible three-dimensional $^{173}$Yb system. We find that by adding a closed-channel atom to the two-body problem, the binding energy of the ground state is significantly suppressed, and by introducing a closed-channel Fermi sea to the many-body problem, we can drive the system towards weaker fermion pairing. These results are potentially relevant to superconductivity in solid-state multiband materials, as well as to the current and continuing exploration of unconventional Fermi-gas superfluids near the OFR.


title: Symmetry reduction of the 3-body problem in $\mathbb{R}^4$

abstract: The 3-body problem in $\mathbb{R}^4$ has 24 dimensions and is invariant under translations and rotations. We do the full symplectic symmetry reduction and obtain a reduced Hamiltonian in local symplectic coordinates on a reduced phase space with 8 dimensions. The Hamiltonian depends on two parameters $\mu_1 > \mu_2 \ge 0$, related to the conserved angular momentum. The limit $\mu_2 \to 0$ corresponds to the 3-dimensional limit. We show that the reduced Hamiltonian has relative equilibria that are local minima and hence Lyapunov stable when $\mu_2$ is sufficiently small. This proves the existence of balls of initial conditions of full dimension that do not contain any orbits that are unbounded.

categories: math.DS math-ph math.MP nlin.SI physics.class-ph


title: Robustness in power law kinetic systems with reactant-determined interactions

abstract: Robustness against the presence of environmental disruptions can be observed in many systems of chemical reaction network. However, identifying the underlying components of a system that give rise to robustness is often elusive. The influential work of Shinar and Feinberg established simple yet subtle network-based conditions for absolute concentration robustness (ACR), a phenomena in which a species in a mass-action system has the same concentration for any steady state the network may admit. In this contribution, we extend this result to embrace kinetic systems more general than mass-action systems, namely, power-law kinetic systems with reactant-determined interactions (denoted by "PL-RDK"). In PL-RDK, the kinetic order vectors (which we call "interactions") of reactions with the same reactant complex are identical. As illustration, we considered a scenario in the pre-industrial state of global carbon cycle. A power-law approximation of the dynamical system of this scenario is found to be dynamically equivalent to an ACR-possessing PL-RDK system.


title: An Auxiliary Space Preconditioner for Fractional Laplacian of Negative Order

abstract: Coupled multiphysics problems often give rise to interface conditions naturally formulated in fractional Sobolev spaces. Here, both positive and negative fractionality are common. When designing efficient solvers for discretizations of such problems it would then be useful to have a preconditioner for the fractional Laplacian, $(-\Delta)^s$, with $s \in [-1,1]$. Previously, additive multigrid preconditioners for the case when $s \geq 0$ have been proposed. In this work we complement this construction with auxiliary space preconditioners suitable when $s \leq 0$. These preconditioners are shown to be spectrally equivalent to $(-\Delta)^{-s}$, but requires preconditioners for fractional $H(\operatorname{div})$ operators with positive fractionality. We design such operators based on an additive multigrid approach. We finish with some numerical experiments, verifying the theoretical results.


title: Sharp inequalities for the numerical radius of Hilbert space operators and operator matrices

abstract: We present new upper and lower bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space, which improve on the existing bounds. Among many other inequalities proved in this article, we show that for a non-zero bounded linear operator $T$ on a Hilbert space $H,$ $w(T)\geq \frac{\|T\|}{2}+\frac{m(T^2)}{2\|T\|}, $ where $w(T)$ is the numerical radius of $T$ and $m(T^2)$ is the Crawford number of $T^2$. This substantially improves on the existing inequality $w(T)\geq \frac{\|T\|}{2} .$ We also obtain some upper and lower bounds for the numerical radius of operator matrices and illustrate with numerical examples that these bounds are better than the existing bounds.


title: Sheaf homology of hyperplane arrangements, Boolean covers and exterior powers

abstract: We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed for the natural sheaf, itself a generalisation of an old result of Lusztig. The computational machinery we develop in this paper is quite different though: sheaf homology is lifted to what we call Boolean covers, where we instead compute homology cellularly. A number of tools are given for the cellular homology of these Boolean covers, including a deletion-restriction long exact sequence.


title: Frame-to-Frame Aggregation of Active Regions in Web Videos for Weakly Supervised Semantic Segmentation

abstract: When a deep neural network is trained on data with only image-level labeling, the regions activated in each image tend to identify only a small region of the target object. We propose a method of using videos automatically harvested from the web to identify a larger region of the target object by using temporal information, which is not present in the static image. The temporal variations in a video allow different regions of the target object to be activated. We obtain an activated region in each frame of a video, and then aggregate the regions from successive frames into a single image, using a warping technique based on optical flow. The resulting localization maps cover more of the target object, and can then be used as proxy ground-truth to train a segmentation network. This simple approach outperforms existing methods under the same level of supervision, and even approaches relying on extra annotations. Based on VGG-16 and ResNet 101 backbones, our method achieves the mIoU of 65.0 and 67.4, respectively, on PASCAL VOC 2012 test images, which represents a new state-of-the-art.


title: A Simple and Intuitive Algorithm for Preventing Directory Traversal Attacks

abstract: With web applications becoming a preferred method of presenting graphical user interfaces to users, software vulnerabilities affecting web applications are becoming more and more prevalent and devastating. Some of these vulnerabilities, such as directory traversal attacks, have varying defense mechanisms and mitigations that can be difficult to understand, analyze, and test. Gaps in the testing of these directory traversal defense mechanisms can lead to vulnerabilities that allow attackers to read sensitive data from files or even execute malicious code. This paper presents an analysis of some currently used directory traversal attack defenses and presents a new, stack-based algorithm to help prevent these attacks by safely canonicalizing user-supplied path strings. The goal of this algorithm is to be small, easy to test, cross-platform compatible, and above all, intuitive. We provide a proof of correctness and verification strategies using symbolic execution for the algorithm. We hope that the algorithm is simple and effective enough to help move developers towards a unified defense against directory traversal attacks.


title: Boosted GAN with Semantically Interpretable Information for Image Inpainting

abstract: Image inpainting aims at restoring missing region of corrupted images, which has many applications such as image restoration and object removal. However, current GAN-based inpainting models fail to explicitly consider the semantic consistency between restored images and original images. Forexample, given a male image with image region of one eye missing, current models may restore it with a female eye. This is due to the ambiguity of GAN-based inpainting models: these models can generate many possible restorations given a missing region. To address this limitation, our key insight is that semantically interpretable information (such as attribute and segmentation information) of input images (with missing regions) can provide essential guidance for the inpainting process. Based on this insight, we propose a boosted GAN with semantically interpretable information for image inpainting that consists of an inpainting network and a discriminative network. The inpainting network utilizes two auxiliary pretrained networks to discover the attribute and segmentation information of input images and incorporates them into the inpainting process to provide explicit semantic-level guidance. The discriminative network adopts a multi-level design that can enforce regularizations not only on overall realness but also on attribute and segmentation consistency with the original images. Experimental results show that our proposed model can preserve consistency on both attribute and segmentation level, and significantly outperforms the state-of-the-art models.


title: Geometric Distortion Calibration with Photo-lithographic Pinhole Masks for High-Precision Astrometry

abstract: Adaptive optics (AO) systems deliver high-resolution images that may be ideal for precisely measuring positions of stars (i.e. astrometry) if the system has stable and well-calibrated geometric optical distortions. A calibration unit, equipped with back-illuminated pinhole mask, can be utilized to measure instrumental optical distortions. AO systems on the largest ground-based telescopes, such as the W. M. Keck Observatory and the Thirty Meter Telescope require pinhole positions known to 20 nm to achieve an astrometric precision of 0.001 of a resolution element. We characterize a photo-lithographic pinhole mask and explore the systematic errors that result from different experimental setups. We characterized the nonlinear geometric distortion of a simple imaging system using the mask; and we measured 857 nm RMS of optical distortion with a final residual of 39 nm (equivalent to 20 {\mu}as for TMT). We use a sixth order bivariate Legendre polynomial to model the optical distortion and allow the reference positions of the individual pinholes to vary. The nonlinear deviations in the pinhole pattern with respect to the manufacturing design of a square pattern are 47.2 nm +/- 4.5 nm (random) +/- 10.8 nm (systematic) over an area of 1788 mm$^2$. These deviations reflect the additional error induced when assuming the pinhole mask is manufactured perfectly square. We also find that ordered mask distortions are significantly more difficult to characterize than random mask distortions as the ordered distortions can alias into optical camera distortion. Future design simulations for astrometric calibration units should include ordered mask distortions. We conclude that photo-lithographic pinhole masks are >10 times better than the pinhole masks deployed in first generation AO systems and are sufficient to meet the distortion calibration requirements for the upcoming thirty meter class telescopes.


title: Homogeneously derived transit timings for 17 exoplanets and reassessed TTV trends for WASP-12 and WASP-4

abstract: We homogeneously analyse $\sim 3.2\times 10^5$ photometric measurements for $\sim 1100$ transit lightcurves belonging to $17$ exoplanet hosts. The photometric data cover $16$ years 2004--2019 and include amateur and professional observations. Old archival lightcurves were reprocessed using up-to-date exoplanetary parameters and empirically debiased limb-darkening models. We also derive self-consistent transit and radial-velocity fits for $13$ targets. We confirm the nonlinear TTV trend in the WASP-12 data at a high significance, and with a consistent magnitude. However, Doppler data reveal hints of a radial acceleration about $(-7.5\pm 2.2)$~m/s/yr, indicating the presence of unseen distant companions, and suggesting that roughly $10$ per cent of the observed TTV was induced via the light-travel (or Roemer) effect. For WASP-4, a similar TTV trend suspected after the recent TESS observations appears controversial and model-dependent. It is not supported by our homogeneus TTV sample, including $10$ ground-based EXPANSION lightcurves obtained in 2018 simultaneously with TESS. Even if the TTV trend itself does exist in WASP-4, its magnitude and tidal nature are uncertain. Doppler data cannot entirely rule out the Roemer effect induced by possible distant companions.


title: On-chip label-free biosensing based on active whispering gallery mode resonators pumped by a light-emitting diode

abstract: Biosensing based on whispering-gallery mode (WGM) resonators has been continuously studied with great attention due to its excellent sensitivity guaranteeing the label-free detection. However, its practical impact is insignificant to date despite notable achievements in academic research. Here, we demonstrate a novel practical platform of on-chip WGM sensors integrated with microfluidic channels. By placing silicon nanoclusters as a stable active compound in micro-resonators, the sensor chip can be operated with a remote pump and readout, which simplifies the chip integration and connection to the external setup. In addition, silicon nanoclusters having large absorption cross-section over broad wavelength range allow active sensing for the first time with an LED pump in a top-illumination scheme which significantly reduces the complexity and cost of the measurement setup. The nano-slot structure of 25 nm gap width is embedded in the resonator where the target bio-molecules are selectively detected with the sensitivity enhanced by strongly confined mode-field. The sensitivity confirmed by real-time measurements for the streptavidin-biotin complex is 0.012 nm/nM, improved over 20 times larger than the previously reported WGM sensors with remote readout.


title: A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses

abstract: The blockchain technology is believed by many to be a game changer in many application domains, especially financial applications. While the first generation of blockchain technology (i.e., Blockchain 1.0) is almost exclusively used for cryptocurrency purposes, the second generation (i.e., Blockchain 2.0), as represented by Ethereum, is an open and decentralized platform enabling a new paradigm of computing --- Decentralized Applications (DApps) running on top of blockchains. The rich applications and semantics of DApps inevitably introduce many security vulnerabilities, which have no counterparts in pure cryptocurrency systems like Bitcoin. Since Ethereum is a new, yet complex, system, it is imperative to have a systematic and comprehensive understanding on its security from a holistic perspective, which is unavailable. To the best of our knowledge, the present survey, which can also be used as a tutorial, fills this void. In particular, we systematize three aspects of Ethereum systems security: vulnerabilities, attacks, and defenses. We draw insights into, among other things, vulnerability root causes, attack consequences, and defense capabilities, which shed light on future research directions.


title: Entanglement balance of quantum $(e,2e)$ scattering processes

abstract: The theory of quantum information constitutes the functional value of the quantum entanglement, i.e., quantum entanglement is essential for high fidelity of quantum protocols, while fundamental physical processes behind the formation of quantum entanglement are less relevant for practical purposes. In the present work, we explore physical mechanisms leading to the emergence of quantum entanglement in the initially disentangled system. In particular, we analyze spin entanglement of outgoing electrons in a nonrelativistic quantum $(e,2e)$ collision on a target with one active electron. Our description exploits the time-dependent scattering formalism for typical conditions of scattering experiments, and contrary to the customary stationary formalism operates with realistic scattering states. We quantify the spin entanglement in the final scattering channel through the pair concurrence and express it in terms of the experimentally measurable spin-resolved $(e,2e)$ triple differential cross sections. Besides, we consider Bell's inequality and inspect the regimes of its violation in the final channel. We address both the pure and the mixed initial spin state cases and uncover kinematical conditions of the maximal entanglement of the outgoing electron pair. The numerical results for the pair concurrence, entanglement of formation, and violation of Bell's inequality obtained for the $(e,2e)$ ionization process of atomic hydrogen show that the entangled electron pairs indeed can be formed in the $(e,2e)$ collisions even with spin-unpolarized projectile and target electrons in the initial channel. The positive entanglement balance---the difference between entanglements of the initial and final electron pairs---can be measured in the experiment.


title: On the Complexity of Checking Transactional Consistency

abstract: Transactions simplify concurrent programming by enabling computations on shared data that are isolated from other concurrent computations and are resilient to failures. Modern databases provide different consistency models for transactions corresponding to different tradeoffs between consistency and availability. In this work, we investigate the problem of checking whether a given execution of a transactional database adheres to some consistency model. We show that consistency models like read committed, read atomic, and causal consistency are polynomial time checkable while prefix consistency and snapshot isolation are NP-complete in general. These results complement a previous NP-completeness result concerning serializability. Moreover, in the context of NP-complete consistency models, we devise algorithms that are polynomial time assuming that certain parameters in the input executions, e.g., the number of sessions, are fixed. We evaluate the scalability of these algorithms in the context of several production databases.


title: Growth of Common Friends in a Preferential Attachment Model

abstract: The number of common friends (or connections) in a graph is a commonly used measure of proximity between two nodes. Such measures are used in link prediction algorithms and recommendation systems in large online social networks. We obtain the rate of growth of the number of common friends in a linear preferential attachment model. We apply our result to develop an estimate for the number of common friends. We also observe a phase transition in the limiting behavior of the number of common friends; depending on the range of the parameters of the model, the growth is either power-law, or, logarithmic, or static with the size of the graph.


title: A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue

abstract: We present a new lock-free multiple-producer and multiple-consumer (MPMC) FIFO queue design which is scalable and, unlike existing high-performant queues, very memory efficient. Moreover, the design is ABA safe and does not require any external memory allocators or safe memory reclamation techniques, typically needed by other scalable designs. In fact, this queue itself can be leveraged for object allocation and reclamation, as in data pools. We use FAA (fetch-and-add), a specialized and more scalable than CAS (compare-and-set) instruction, on the most contended hot spots of the algorithm. However, unlike prior attempts with FAA, our queue is both lock-free and linearizable. We propose a general approach, SCQ, for bounded queues. This approach can easily be extended to support unbounded FIFO queues which can store an arbitrary number of elements. SCQ is portable across virtually all existing architectures and flexible enough for a wide variety of uses. We measure the performance of our algorithm on the x86-64 and PowerPC architectures. Our evaluation validates that our queue has exceptional memory efficiency compared to other algorithms and its performance is often comparable to, or exceeding that of state-of-the-art scalable algorithms.


title: Interpolated Convolutional Networks for 3D Point Cloud Understanding

abstract: Point cloud is an important type of 3D representation. However, directly applying convolutions on point clouds is challenging due to the sparse, irregular and unordered data structure. In this paper, we propose a novel Interpolated Convolution operation, InterpConv, to tackle the point cloud feature learning and understanding problem. The key idea is to utilize a set of discrete kernel weights and interpolate point features to neighboring kernel-weight coordinates by an interpolation function for convolution. A normalization term is introduced to handle neighborhoods of different sparsity levels. Our InterpConv is shown to be permutation and sparsity invariant, and can directly handle irregular inputs. We further design Interpolated Convolutional Neural Networks (InterpCNNs) based on InterpConv layers to handle point cloud recognition tasks including shape classification, object part segmentation and indoor scene semantic parsing. Experiments show that the networks can capture both fine-grained local structures and global shape context information effectively. The proposed approach achieves state-of-the-art performance on public benchmarks including ModelNet40, ShapeNet Parts and S3DIS.


title: Co-evolution of Nuclear Rings, Bars and the Central Intensity Ratio of their Host Galaxies

abstract: Using a sample of 13 early-type spiral galaxies hosting nuclear rings, we report remarkable correlations between the properties of the nuclear rings and the central intensity ratio (CIR) of their host galaxies. The CIR, a function of intensity of light within the central 1.5 and 3 arcsec region, is found to be a vital parameter in galaxy evolution, as it shares strong correlations with many structural and dynamical properties of early-type galaxies, including mass of the central supermassive black hole (SMBH). We use archival HST images for aperture photometry at the centre of the galaxy image to compute the CIR. We observe that the relative sizes of nuclear rings and ring cluster surface densities strongly correlate with the CIR. These correlations suggest reduced star formation in the centres of galaxies hosting small and dense nuclear rings. This scenario appears to be a consequence of strong bars as advocated by the significant connection observed between the CIR and bar strengths. In addition, we observe that the CIR is closely related with the integrated properties of the stellar population in the nuclear rings associating the rings hosting older and less massive star clusters with low values of CIR. Thus, the CIR can serve as a crucial parameter in unfolding the coupled evolution of bars and rings as it is intimately connected with both their properties.


title: Fourier transform, Schr\"odinger representation, and Heisenberg modules

abstract: We investigate and review how Fourier transform is involved in the analysis of a twisted group algebra $L^1(G, \sigma)$ for $G=\widehat{\Gamma}\times \Gamma$ and $\sigma:G\times G \to \mathbb{T}$ 2- cocycle where $\Gamma$ is a locally compact abelian group and $\widehat{\Gamma}$ its Pontryagin dual. By weaving the Schr\"{o}dinger representation and Fourier transform, we construct the dual equivalence bimodule of the Heisenberg bimodule generated by the dual Schr\"{o}dinger representation and observe several relations between them including the application of noncommutative solitons.


title: Experimental nonlocal measurement of a product observable

abstract: Nonlocal measurement, or instantaneous measurement of nonlocal observables, is a considerably difficult task even for a simple form of product observable since relativistic causality prohibits interaction between spacelike separate subsystems. Following a recent proposal for effectively creating the von Neumann measurement Hamiltonian of nonlocal observables [Brodutch and Cohen, Phys. Rev. Lett. 116, 070404 (2016)], here we report a proof-of-principle demonstration of nonlocally measuring a product observable using linear optics without the violation of relativistic causality. Our scheme provides a feasible approach to perform nonlocal measurements via quantum erasure with linear optics.


title: Site selective synthesis of in situ Ni filled multiwalled carbon nanotubes using Ni(salen) as a catalyst source

abstract: The synthesis of Ni filled multiwalled carbon nanotubes was performed by atmospheric pressure chemical vapor deposition with propane on Si at 850 C using a simple mixture of Ni(salen), and a conventional photoresist. Analysis of the carbon nanotubes using scanning electron microscopy together with high resolution transmission electron microscopy show that the nanotubes have grown by a tip growth mechanism and exhibit a multi walled structure with partial Ni filling. The high quality of the Ni filled nanotubes is evidenced by Raman spectroscopy. The magnetic properties of Ni filled nanotubes were analyzed using a superconducting quantum interference device which revealed their ferromagnetic behavior with large coercivity. A scalable as well as site selective growth of high quality Ni filled carbon nanotubes is achieved by a simple photolithographic method.