title: Factorization of Antenna Efficiency of Aperture-type antenna: Beam Coupling and Two Spillovers

abstract: Antenna efficiency is one of the most important figures-of-merit of a radio telescope for observations especially at millimeter wavelengths or shorter wavelengths, even for a multibeam radio telescope. To analyze a system with a beam waveguide, a lossless antenna consisting of two apertures in series is considered in the frame of the scalar wave approximation. We found that the antenna efficiency can be evaluated with the field distribution over the second aperture, and that the antenna efficiency is factorized into three factors: efficiencies of beam coupling, transmission spillover, and reception spillover. The factorization is applicable to general aperture-type antennas with beam waveguides, and can relate the aperture efficiency to the pupil function. We numerically confirmed our factorization with an optical simulation. This evaluation enables us to manage the aberrations and is useful in design of multibeam radio telescopes.


title: Asymptotic Expansions of Smooth R\'{e}nyi Entropies and Their Applications

abstract: This study considers the unconditional smooth R\'{e}nyi entropy, the smooth conditional R\'{e}nyi entropy proposed by Kuzuoka [\emph{IEEE Trans.\ Inf.\ Theory}, vol.~66, no.~3, pp.~1674--1690, 2020], and a new quantity which we term the conditional smooth R\'{e}nyi entropy. In particular, we examine asymptotic expansions of these entropies when the underlying source with its side-information is stationary and memoryless. Using these smooth R\'{e}nyi entropies, we establish one-shot coding theorems of several information-theoretic problems: Campbell's source coding, guessing problems, and task encoding problems, all allowing errors. In each problem, we consider two error formalisms: the average and maximum error criteria, where the averaging and maximization are taken with respect to the side-information of the source. Applying our asymptotic expansions to the derived one-shot coding theorems, we derive various asymptotic fundamental limits for these problems when their error probabilities are allowed to be non-vanishing. We show that, in non-degenerate settings, the first-order fundamental limits differ under the average and maximum error criteria. This is in contrast to a different but related setting considered by the present authors (for variable-length conditional source coding allowing errors) in which the first-order terms are identical but the second-order terms are different under these criteria.


title: Entropy Bound and Unitarity of Scattering Amplitudes

abstract: We establish that unitarity of scattering amplitudes imposes universal entropy bounds. The maximal entropy of a self-sustained quantum field object of radius R is equal to its surface area and at the same time to the inverse running coupling evaluated at the scale R. The saturation of these entropy bounds is in one-to-one correspondence with the non-perturbative saturation of unitarity by 2-to-N particle scattering amplitudes at the point of optimal truncation. These bounds are more stringent than Bekenstein's bound and in a consistent theory all three get saturated simultaneously. This is true for all known entropy-saturating objects such as solitons, instantons, baryons, oscillons, black holes or simply lumps of classical fields. We refer to these collectively as "saturons" and show that in renormalizable theories they behave in all other respects like black holes. Finally, it is argued that the confinement in SU(N) gauge theory can be understood as a direct consequence of the entropy bounds and unitarity.


title: Kissing number in non-Euclidean spaces of constant sectional curvature

abstract: This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $\kappa_H(n, r)$, resp. $\kappa_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds for $\kappa_H(n, r)$, we study their asymptotic behaviour and show, in particular, that $\kappa_H(n,r) \sim (n-1) \cdot d_{n-1} \cdot B(\frac{n-1}{2}, \frac{1}{2}) \cdot e^{(n-1) r}$, where $d_n$ is the sphere packing density in $\mathbb{R}^n$, and $B$ is the beta-function. Then we produce numeric upper bounds by solving a suitable semidefinite program, as well as lower bounds coming from concrete spherical codes. A similar approach allows us to locate the values of $\kappa_S(n, r)$, for $n= 3,\, 4$, over subintervals in $[0, \pi]$ with relatively high accuracy.


title: Waveform-Domain NOMA: The Future of Multiple Access

abstract: This paper introduces a novel non-orthogonal multiple access (NOMA) concept named waveform-domain NOMA, which proposes the coexistence of different waveforms in the same resource element (RE). Regarding the demands of each user equipments (UEs), appropriate waveforms are assigned intelligently and decoded at the receiver side properly. Since the performance gain of power-domain NOMA compared to multi-user multiple-input-multiple-output (MU-MIMO) degrades in the case of successive interference cancellation (SIC) and channel estimation errors, NOMA is not considered as a work-item in 3GPP anymore. The novel waveform-domain NOMA concept provides a remedy for the problems of the power-domain NOMA scheme as well as flexibility in terms of reliability, latency, and energy efficiency. To mitigate SIC errors, low-density parity-check (LDPC) codes aided soft interference cancellation technique is used. As numerically evaluated, the proposed waveform-domain NOMA scheme outperforms the conventional power-domain NOMA in the power-balanced scenario.


title: Frequency-Tuned Universal Adversarial Attacks

abstract: Researchers have shown that the predictions of a convolutional neural network (CNN) for an image set can be severely distorted by one single image-agnostic perturbation, or universal perturbation, usually with an empirically fixed threshold in the spatial domain to restrict its perceivability. However, by considering the human perception, we propose to adopt JND thresholds to guide the perceivability of universal adversarial perturbations. Based on this, we propose a frequency-tuned universal attack method to compute universal perturbations and show that our method can realize a good balance between perceivability and effectiveness in terms of fooling rate by adapting the perturbations to the local frequency content. Compared with existing universal adversarial attack techniques, our frequency-tuned attack method can achieve cutting-edge quantitative results. We demonstrate that our approach can significantly improve the performance of the baseline on both white-box and black-box attacks.


title: The Application of Market-based Multi-Robot Task Allocation to Ambulance Dispatch

abstract: Multi-Robot Task Allocation (MRTA) is the problem of distributing a set of tasks to a team of robots with the objective of optimising some criteria, such as minimising the amount of time or energy spent to complete all the tasks or maximising the efficiency of the team's joint activity. The exploration of MRTA methods is typically restricted to laboratory and field experimentation. There are few existing real-world models in which teams of autonomous mobile robots are deployed "in the wild", e.g., in industrial settings. In the work presented here, a market-based MRTA approach is applied to the problem of ambulance dispatch, where ambulances are allocated in respond to patients' calls for help. Ambulances and robots are limited (and perhaps scarce), specialised mobile resources; incidents and tasks represent time-sensitive, specific, potentially unlimited, precisely-located demands for the services which the resources provide. Historical data from the London Ambulance Service describing a set of more than 1 million (anonymised) incidents are used as the basis for evaluating the predicted performance of the market-based approach versus the current, largely manual, method of allocating ambulances to incidents. Experimental results show statistically significant improvement in response times when using the market-based approach.


title: Memory-efficient Learning for Large-scale Computational Imaging

abstract: Critical aspects of computational imaging systems, such as experimental design and image priors, can be optimized through deep networks formed by the unrolled iterations of classical model-based reconstructions (termed physics-based networks). However, for real-world large-scale inverse problems, computing gradients via backpropagation is infeasible due to memory limitations of graphics processing units. In this work, we propose a memory-efficient learning procedure that exploits the reversibility of the network's layers to enable data-driven design for large-scale computational imaging systems. We demonstrate our method on a small-scale compressed sensing example, as well as two large-scale real-world systems: multi-channel magnetic resonance imaging and super-resolution optical microscopy.


title: Bargmann's versus of the quaternionic fractional Hankel transform

abstract: We investigate the quaternionic extension of the fractional Fourier transform on the real half-line leading to fractional Hankel transform. This will be handled \`a la Bargmann by means of hyperholomorphic second Bargmann transform for the slice Bergman space of second kind. Basic properties are derived including inversion formula and Plancherel identity.


title: A weight-dependent local correlation density-functional approximation for ensembles

abstract: We report a local, weight-dependent correlation density-functional approximation that incorporates information about both ground and excited states in the context of density-functional theory for ensembles (eDFT). This density-functional approximation for ensembles is specially designed for the computation of single and double excitations within Gross--Oliveira--Kohn (GOK) DFT (i.e., eDFT for neutral excitations), and can be seen as a natural extension of the ubiquitous local-density approximation in the context of ensembles. The resulting density-functional approximation, based on both finite and infinite uniform electron gas models, automatically incorporates the infamous derivative discontinuity contributions to the excitation energies through its explicit ensemble weight dependence. Its accuracy is illustrated by computing single and double excitations in one-dimensional many-electron systems in the weak, intermediate and strong correlation regimes. Although the present weight-dependent functional has been specifically designed for one-dimensional systems, the methodology proposed here is general, i.e., directly applicable to the construction of weight-dependent functionals for realistic three-dimensional systems, such as molecules and solids.

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


title: Linear-time inference for Gaussian Processes on one dimension

abstract: Gaussian Processes (GPs) provide powerful probabilistic frameworks for interpolation, forecasting, and smoothing, but have been hampered by computational scaling issues. Here we investigate data sampled on one dimension (e.g., a scalar or vector time series sampled at arbitrarily-spaced intervals), for which state-space models are popular due to their linearly-scaling computational costs. It has long been conjectured that state-space models are general, able to approximate any one-dimensional GP. We provide the first general proof of this conjecture, showing that any stationary GP on one dimension with vector-valued observations governed by a Lebesgue-integrable continuous kernel can be approximated to any desired precision using a specifically-chosen state-space model: the Latent Exponentially Generated (LEG) family. This new family offers several advantages compared to the general state-space model: it is always stable (no unbounded growth), the covariance can be computed in closed form, and its parameter space is unconstrained (allowing straightforward estimation via gradient descent). The theorem's proof also draws connections to Spectral Mixture Kernels, providing insight about this popular family of kernels. We develop parallelized algorithms for performing inference and learning in the LEG model, test the algorithm on real and synthetic data, and demonstrate scaling to datasets with billions of samples.


title: Provably Efficient Model-Free Algorithm for MDPs with Peak Constraints

abstract: In the optimization of dynamic systems, the variables typically have constraints. Such problems can be modeled as a Constrained Markov Decision Process (CMDP). This paper considers the peak Constrained Markov Decision Process (PCMDP), where the agent chooses the policy to maximize total reward in the finite horizon as well as satisfy constraints at each epoch with probability 1. We propose a model-free algorithm that converts PCMDP problem to an unconstrained problem and a Q-learning based approach is applied. We define the concept of probably approximately correct (PAC) to the proposed PCMDP problem. The proposed algorithm is proved to achieve an $(\epsilon,p)$-PAC policy when the episode $K\geq\Omega(\frac{I^2H^6SA\ell}{\epsilon^2})$, where $S$ and $A$ are the number of states and actions, respectively. $H$ is the number of epochs per episode. $I$ is the number of constraint functions, and $\ell=\log(\frac{SAT}{p})$. We note that this is the first result on PAC kind of analysis for PCMDP with peak constraints, where the transition dynamics are not known apriori. We demonstrate the proposed algorithm on an energy harvesting problem and a single machine scheduling problem, where it performs close to the theoretical upper bound of the studied optimization problem.


title: Quasi-symmetric designs on 56 points

abstract: Computational techniques for the construction of quasi-symmetric block designs are explored and applied to the case with $56$ points. One new $(56,16,18)$ and many new $(56,16,6)$ designs are discovered, and non-existence of $(56,12,9)$ and $(56,20,19)$ designs with certain automorphism groups is proved. The number of known symmetric $(78,22,6)$ designs is also significantly increased.


title: Harmonic and rational harmonic driving of microresonator soliton frequency combs

abstract: With demonstrated applications ranging from metrology to telecommunications, soliton microresonator frequency combs have emerged over the past decade as a remarkable new technology. However, standard implementations only allow for the generation of combs whose repetition rate is tied close to the fundamental resonator free-spectral range (FSR), offering little or no dynamic control over the comb line spacing. Here we propose and experimentally demonstrate harmonic and rational harmonic driving as novel techniques that allow for the robust generation of soliton frequency combs with discretely adjustable frequency spacing. By driving an integrated Kerr microresonator with a periodic train of picosecond pulses whose repetition rate is set close to an integer harmonic of the 3.23 GHz cavity FSR, we deterministically generate soliton frequency combs with frequency spacings discretely adjustable between 3.23 GHz and 19.38 GHz. More remarkably, we also demonstrate that driving the resonator at rational fractions of the FSR allows for the generation of combs whose frequency spacing corresponds to an integer harmonic of the pump repetition rate. By measuring the combs' radio-frequency spectrum, we confirm operation in the low-noise soliton regime with no supermode noise. The novel techniques demonstrated in our work provide new degrees of freedom for the design of synchronously pumped soliton frequency combs.


title: Wave turbulence in self-gravitating Bose gases and nonlocal nonlinear optics

abstract: We develop the theory of weak wave turbulence in systems described by the Schr\"odinger-Helmholtz equations in two and three dimensions. This model contains as limits both the familiar cubic nonlinear Schr\"odinger equation, and the Schr\"odinger-Newton equations. The latter, in three dimensions, are a nonrelativistic model of fuzzy dark matter which has a nonlocal gravitational self-potential, and in two dimensions they describe nonlocal nonlinear optics in the paraxial approximation. We show that in the weakly nonlinear limit the Schr\"odinger-Helmholtz equations have a simultaneous inverse cascade of particles and a forward cascade of energy. We interpret the inverse cascade as a nonequilibrium condensation process, which is a precursor to structure formation at large scales (for example the formation of galactic dark matter haloes or optical solitons). We show that for the Schr\"odinger-Newton equations in two and three dimensions, and in the two-dimensional nonlinear Schr\"odinger equation, the particle and energy fluxes are carried by small deviations from thermodynamic distributions, rather than the Kolmogorov-Zakharov cascades that are familiar in wave turbulence. We develop a differential approximation model to characterise such "warm cascade" states.


title: SeqXY2SeqZ: Structure Learning for 3D Shapes by Sequentially Predicting 1D Occupancy Segments From 2D Coordinates

abstract: Structure learning for 3D shapes is vital for 3D computer vision. State-of-the-art methods show promising results by representing shapes using implicit functions in 3D that are learned using discriminative neural networks. However, learning implicit functions requires dense and irregular sampling in 3D space, which also makes the sampling methods affect the accuracy of shape reconstruction during test. To avoid dense and irregular sampling in 3D, we propose to represent shapes using 2D functions, where the output of the function at each 2D location is a sequence of line segments inside the shape. Our approach leverages the power of functional representations, but without the disadvantage of 3D sampling. Specifically, we use a voxel tubelization to represent a voxel grid as a set of tubes along any one of the X, Y, or Z axes. Each tube can be indexed by its 2D coordinates on the plane spanned by the other two axes. We further simplify each tube into a sequence of occupancy segments. Each occupancy segment consists of successive voxels occupied by the shape, which leads to a simple representation of its 1D start and end location. Given the 2D coordinates of the tube and a shape feature as condition, this representation enables us to learn 3D shape structures by sequentially predicting the start and end locations of each occupancy segment in the tube. We implement this approach using a Seq2Seq model with attention, called SeqXY2SeqZ, which learns the mapping from a sequence of 2D coordinates along two arbitrary axes to a sequence of 1D locations along the third axis. SeqXY2SeqZ not only benefits from the regularity of voxel grids in training and testing, but also achieves high memory efficiency. Our experiments show that SeqXY2SeqZ outperforms the state-ofthe-art methods under widely used benchmarks.


title: Approximation of random diffusion equation by nonlocal diffusion equation in free boundary problems of one space dimension

abstract: We show how the Stefan type free boundary problem with random diffusion in one space dimension can be approximated by the corresponding free boundary problem with nonlocal diffusion. The approximation problem is a slightly modified version of the nonlocal diffusion problem with free boundaries considered in [4,8]. The proof relies on the introduction of several auxiliary free boundary problems and constructions of delicate upper and lower solutions for these problems. As usual, the approximation is achieved by choosing the kernel function in the nonlocal diffusion term of the form $J_\epsilon(x)=\frac 1\epsilon J(\frac x\epsilon)$ for small $\epsilon>0$, where $J(x)$ has compact support. We also give an estimate of the error term of the approximation by some positive power of $\epsilon$.


title: Disentangling the formation history of galaxies via population-orbit superposition: method validation

abstract: We present population-orbit superposition models for external galaxies based on Schwarzschild's orbit-superposition method, by tagging the orbits with age and metallicity. The models fit the density distributions, as well as kinematic, age and metallicity maps from Integral Field Unit (IFU) spectroscopy observations. We validate the method and demonstrate its power by applying it to mock data, similar to those obtained by the Multi-Unit Spectroscopic Explorer (MUSE) IFU on the Very Large Telescope (VLT). These mock data are created from Auriga galaxy simulations, viewed at three different inclination angles ($\vartheta=40^o, 60^o, 80^o$). Constrained by MUSE-like mock data, our model can recover the galaxy's stellar orbit distribution projected in orbital circularity $\lambda_z$ vs. radius $r$, the intrinsic stellar population distribution in age $t$ vs. metallicity $Z$, and the correlation between orbits' circularity $\lambda_z$ and stellar age $t$. A physically motivated age-metallicity relation improves recovering the intrinsic stellar population distributions. We decompose galaxies into cold, warm and hot + counter-rotating components based on their orbit circularity distribution, and find that the surface density, mean velocity, velocity dispersion, age and metallicity maps of each component from our models well reproduce those from simulation, especially for projections close to edge-on. These galaxies exhibit strong global age vs. $\sigma_z$ relation, which is well recovered by our model. The method has the power to reveal the detailed build-up of stellar structures in galaxies, and offers a complement to local resolved, and high-redshift studies of galaxy evolution.


title: Learning Compositional Rules via Neural Program Synthesis

abstract: Many aspects of human reasoning, including language, require learning rules from very little data. Humans can do this, often learning systematic rules from very few examples, and combining these rules to form compositional rule-based systems. Current neural architectures, on the other hand, often fail to generalize in a compositional manner, especially when evaluated in ways that vary systematically from training. In this work, we present a neuro-symbolic model which learns entire rule systems from a small set of examples. Instead of directly predicting outputs from inputs, we train our model to induce the explicit system of rules governing a set of previously seen examples, drawing upon techniques from the neural program synthesis literature. Our rule-synthesis approach outperforms neural meta-learning techniques in three domains: an artificial instruction-learning domain used to evaluate human learning, the SCAN challenge datasets, and learning rule-based translations of number words into integers for a wide range of human languages.


title: Half-hypermultiplets and incomplete/complete resolutions in F-theory

abstract: We consider resolutions of codimension-two enhanced singularities from $SO(12)$ to $E_7$ and from $E_7$ to $E_8$ in six-dimensional F-theory, where a half-hypermultiplet arises for generic complex structures achieving them. The exceptional fibers at the enhanced point exhibit different structures depending on how the colliding 7-brane approaches the stack of gauge 7-branes, as previously observed by Morrison and Taylor in the case of the enhancement from $SU(6)$ to $E_6$. When the colliding brane approaches them as $O(s)$, where $s$ is the coordinate of the base space along the gauge 7-branes, the resolution process ends up with fewer exceptional fibers than naively expected from the Kodaira classification, with a non-Dynkin intersection matrix including half-integral intersection numbers. We confirm that the exceptional fibers at the enhanced point form extremal rays of the cone of the positive weights of the relevant pseudo-real representation, explaining why a half-hypermultiplet arises there. By altering the ordering of the singularities blown up in the process, we obtain, for both $SO(12)\rightarrow E_7$ and $E_7\rightarrow E_8$, the intersection diagram on every other row of the corresponding box graphs. We present detailed derivations of the intersection diagrams of the exceptional fibers at the singularity enhanced points by examining how an exceptional curve is lifted up on the chart arising due to the subsequent blowing-up process. When the colliding brane approaches the stack of branes as $O(s^2)$, we obtain additional conifold singularity at the enhanced point, which completes the full Dynkin diagram of the enhanced group as was found previously.


title: Securing Autonomous Service Robots through Fuzzing, Detection, and Mitigation

abstract: Autonomous service robots share social spaces with humans, usually working together for domestic or professional tasks. Cyber security breaches in such robots undermine the trust between humans and robots. In this paper, we investigate how to apprehend and inflict security threats at the design and implementation stage of a movable autonomous service robot. To this end, we leverage the idea of directed fuzzing and design RoboFuzz that systematically tests an autonomous service robot in line with the robot's states and the surrounding environment. The methodology of RoboFuzz is to study critical environmental parameters affecting the robot's state transitions and subject the robot control program with rational but harmful sensor values so as to compromise the robot. Furthermore, we develop detection and mitigation algorithms to counteract the impact of RoboFuzz. The difficulties mainly lie in the trade-off among limited computation resources, timely detection and the retention of work efficiency in mitigation. In particular, we propose detection and mitigation methods that take advantage of historical records of obstacles to detect inconsistent obstacle appearances regarding untrustworthy sensor values and navigate the movable robot to continue moving so as to carry on a planned task. By doing so, we manage to maintain a low cost for detection and mitigation but also retain the robot's work efficacy. We have prototyped the bundle of RoboFuzz, detection and mitigation algorithms in a real-world movable robot. Experimental results confirm that RoboFuzz makes a success rate of up to 93.3% in imposing concrete threats to the robot while the overall loss of work efficacy is merely 4.1% at the mitigation mode.


title: Singlet fission and tandem solar cells reduce thermal degradation and enhance lifespan

abstract: The economic value of a photovoltaic installation depends upon both its lifetime and power conversion efficiency. Progress towards the latter includes mechanisms to circumvent the Shockley- Queisser limit, such as tandem designs and multiple exciton generation (MEG). Here we explain how both silicon tandem and MEG enhanced silicon cell architectures result in lower cell operating temperatures, increasing the device lifetime compared to standard c-Si cells. Also demonstrated are further advantages from MEG enhanced silicon cells: (i) the device architecture can completely circumvent the need for current-matching; and (ii) upon degradation, tetracene, a candidate singlet fission (a form of MEG) material, is transparent to the solar spectrum. The combination of (i) and (ii) mean that the primary silicon device will continue to operate with reasonable efficiency even if the singlet fission layer degrades. The lifespan advantages of singlet fission enhanced silicon cells, from a module perspective, are compared favorably alongside the highly regarded perovskite/silicon tandem and conventional c-Si modules.


title: Ion Modes in Dense Ionized Plasmas through Non-Adiabatic Molecular Dynamics

abstract: We perform nonadiabatic simulations of warm dense aluminum based on the electron-force field (EFF) variant of wave-packet molecular dynamics. Comparison of the static ion-ion structure factor with density functional theory (DFT) is used to validate the technique across a range of temperatures and densities spanning the warm dense matter regime. Focusing on a specific temperature and density (3.5 eV, 5.2 g/cm3), we report on differences in the dynamic structure factor and dispersion relation across a variety of adiabatic and nonadiabatic techniques. We find the dispersion relation produced with EFF is in close agreement with the more robust and adiabatic Kohn-Sham DFT.


title: Geometrical Formulation of Adiabatic Pumping as a Heat Engine

abstract: We investigate a heat engine under an adiabatic (Thouless) pumping process. In this process, the extracted work and lower bound on dissipated availability are characterized by a vector potential and a Riemannian metric tensor, respectively. We derive a trade-off relation between the power and effective efficiency. We also explicitly calculate the trade-off relation as well as the power and effective efficiency for a spin-boson model coupled to two reservoirs.


title: Dynamic Tensor Recommender Systems

abstract: Recommender systems have been extensively used by the entertainment industry, business marketing and the biomedical industry. In addition to its capacity of providing preference-based recommendations as an unsupervised learning methodology, it has been also proven useful in sales forecasting, product introduction and other production related businesses. Since some consumers and companies need a recommendation or prediction for future budget, labor and supply chain coordination, dynamic recommender systems for precise forecasting have become extremely necessary. In this article, we propose a new recommendation method, namely the dynamic tensor recommender system (DTRS), which aims particularly at forecasting future recommendation. The proposed method utilizes a tensor-valued function of time to integrate time and contextual information, and creates a time-varying coefficient model for temporal tensor factorization through a polynomial spline approximation. Major advantages of the proposed method include competitive future recommendation predictions and effective prediction interval estimations. In theory, we establish the convergence rate of the proposed tensor factorization and asymptotic normality of the spline coefficient estimator. The proposed method is applied to simulations and IRI marketing data. Numerical studies demonstrate that the proposed method outperforms existing methods in terms of future time forecasting.


title: Extended Batch Normalization

abstract: Batch normalization (BN) has become a standard technique for training the modern deep networks. However, its effectiveness diminishes when the batch size becomes smaller, since the batch statistics estimation becomes inaccurate. That hinders batch normalization's usage for 1) training larger model which requires small batches constrained by memory consumption, 2) training on mobile or embedded devices of which the memory resource is limited. In this paper, we propose a simple but effective method, called extended batch normalization (EBN). For NCHW format feature maps, extended batch normalization computes the mean along the (N, H, W) dimensions, as the same as batch normalization, to maintain the advantage of batch normalization. To alleviate the problem caused by small batch size, extended batch normalization computes the standard deviation along the (N, C, H, W) dimensions, thus enlarges the number of samples from which the standard deviation is computed. We compare extended batch normalization with batch normalization and group normalization on the datasets of MNIST, CIFAR-10/100, STL-10, and ImageNet, respectively. The experiments show that extended batch normalization alleviates the problem of batch normalization with small batch size while achieving close performances to batch normalization with large batch size.


title: Smart Home Energy Management System for Power System Resiliency

abstract: The need for resiliency of electricity supply is increasing due to increasing frequency of natural disasters---such as hurricanes---that disrupt supply from the power grid. Rooftop solar photovoltaic (PV) panels together with batteries can provide resiliency in many scenarios. Without intelligent and automated decision making that can trade off conflicting requirements, a large PV system and a large battery is needed to provide meaningful resiliency. By using forecast of solar generation and household demand, an intelligent decision maker can operate the equipment (battery and critical loads) to ensure that the critical loads are serviced to the maximum duration possible. With the aid of such an intelligent control system, a smaller (and thus lower cost) system can service the primary loads for the same duration that a much larger system will be needed to service otherwise. In this paper we propose such an intelligent control system. A model predictive control (MPC) architecture is used that uses available measurements and forecasts to make optimal decisions for batteries and critical loads in real time. The optimization problem is formulated as a MILP (mixed integer linear program) due to the on/off decisions for the loads. Performance is compared with a non-intelligent baseline controller, for a PV-battery system chosen carefully for a single family house in Florida. Simulations are conducted for a one week period during hurricane Irma in 2017. Simulations show that the cost of the PV+battery system to provide a certain resiliency performance, duration the primary load can be serviced successfully, can be halved by the proposed control system.


title: Quark-flavor-changing Higgs decays from a universal extra dimension

abstract: Kaluza-Klein fields characterizing, from a four-dimensional viewpoint, the presence of compact universal extra dimensions would alter low-energy observables through effects determined by some compactification scale, $R^{-1}$, since the one-loop level, thus being particularly relevant for physical phenomena forbidden at tree level by the Standard Model. The present paper explores, for the case of one universal extra dimension, such new-physics contributions to Higgs decays $h^{(0)}\to q^{(0)}_\alpha q^{(0)}_\beta$, into pairs of quarks with different flavors, a sort of decay process which, in the Standard Model, strictly occurs at the loop level. Finite results, decoupling as $R^{-1}\to \infty$, are calculated. Approximate short expressions, valid for large compactification scales, are provided. We estimate that Kaluza-Klein contributions lie below predictions from the Standard Model, being about 2 to 3 orders of magnitude smaller for compactification scales within $1.4\,{\rm TeV}<R^{-1}<10\,{\rm TeV}$.


title: On Bayesian posterior mean estimators in imaging sciences and Hamilton-Jacobi Partial Differential Equations

abstract: Variational and Bayesian methods are two approaches that have been widely used to solve image reconstruction problems. In this paper, we propose original connections between Hamilton--Jacobi (HJ) partial differential equations and a broad class of Bayesian methods and posterior mean estimators with Gaussian data fidelity term and log-concave prior. Whereas solutions to certain first-order HJ PDEs with initial data describe maximum a posteriori estimators in a Bayesian setting, here we show that solutions to some viscous HJ PDEs with initial data describe a broad class of posterior mean estimators. These connections allow us to establish several representation formulas and optimal bounds involving the posterior mean estimate. In particular, we use these connections to HJ PDEs to show that some Bayesian posterior mean estimators can be expressed as proximal mappings of twice continuously differentiable functions, and furthermore we derive a representation formula for these functions.


title: Learning word-referent mappings and concepts from raw inputs

abstract: How do children learn correspondences between the language and the world from noisy, ambiguous, naturalistic input? One hypothesis is via cross-situational learning: tracking words and their possible referents across multiple situations allows learners to disambiguate correct word-referent mappings (Yu & Smith, 2007). However, previous models of cross-situational word learning operate on highly simplified representations, side-stepping two important aspects of the actual learning problem. First, how can word-referent mappings be learned from raw inputs such as images? Second, how can these learned mappings generalize to novel instances of a known word? In this paper, we present a neural network model trained from scratch via self-supervision that takes in raw images and words as inputs, and show that it can learn word-referent mappings from fully ambiguous scenes and utterances through cross-situational learning. In addition, the model generalizes to novel word instances, locates referents of words in a scene, and shows a preference for mutual exclusivity.


title: Sentiment Analysis with Contextual Embeddings and Self-Attention

abstract: In natural language the intended meaning of a word or phrase is often implicit and depends on the context. In this work, we propose a simple yet effective method for sentiment analysis using contextual embeddings and a self-attention mechanism. The experimental results for three languages, including morphologically rich Polish and German, show that our model is comparable to or even outperforms state-of-the-art models. In all cases the superiority of models leveraging contextual embeddings is demonstrated. Finally, this work is intended as a step towards introducing a universal, multilingual sentiment classifier.


title: Topology Dependent Bounds For FAQs

abstract: In this paper, we prove topology dependent bounds on the number of rounds needed to compute Functional Aggregate Queries (FAQs) studied by Abo Khamis et al. [PODS 2016] in a synchronous distributed network under the model considered by Chattopadhyay et al. [FOCS 2014, SODA 2017]. Unlike the recent work on computing database queries in the Massively Parallel Computation model, in the model of Chattopadhyay et al., nodes can communicate only via private point-to-point channels and we are interested in bounds that work over an {\em arbitrary} communication topology. This is the first work to consider more practically motivated problems in this distributed model. For the sake of exposition, we focus on two special problems in this paper: Boolean Conjunctive Query (BCQ) and computing variable/factor marginals in Probabilistic Graphical Models (PGMs). We obtain tight bounds on the number of rounds needed to compute such queries as long as the underlying hypergraph of the query is $O(1)$-degenerate and has $O(1)$-arity. In particular, the $O(1)$-degeneracy condition covers most well-studied queries that are efficiently computable in the centralized computation model like queries with constant treewidth. These tight bounds depend on a new notion of `width' (namely internal-node-width) for Generalized Hypertree Decompositions (GHDs) of acyclic hypergraphs, which minimizes the number of internal nodes in a sub-class of GHDs. To the best of our knowledge, this width has not been studied explicitly in the theoretical database literature. Finally, we consider the problem of computing the product of a vector with a chain of matrices and prove tight bounds on its round complexity (over the finite field of two elements) using a novel min-entropy based argument.


title: The solar nebula origin of (486958) Arrokoth, a primordial contact binary in the Kuiper belt

abstract: The New Horizons spacecraft's encounter with the cold classical Kuiper belt object (486958) Arrokoth (formerly 2014 MU69) revealed a contact-binary planetesimal. We investigate how it formed, finding it is the product of a gentle, low-speed merger in the early Solar System. Its two lenticular lobes suggest low-velocity accumulation of numerous smaller planetesimals within a gravitationally collapsing, solid particle cloud. The geometric alignment of the lobes indicates the lobes were a co-orbiting binary that experienced angular momentum loss and subsequent merger, possibly due to dynamical friction and collisions within the cloud or later gas drag. Arrokoth's contact-binary shape was preserved by the benign dynamical and collisional environment of the cold classical Kuiper belt, and so informs the accretion processes that operated in the early Solar System.


title: Finite-dimensional irreducible modules of the universal DAHA of type $(C_1^\vee,C_1)$

abstract: Assume that $\mathbb F$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal DAHA (double affine Hecke algebra) $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $\{t_i^{\pm 1}\}_{i=0}^3$ and the relations assert that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$}; \\ \hbox{$t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$}; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} In this paper we describe the finite-dimensional irreducible $\mathfrak H_q$-modules from many viewpoints and classify the finite-dimensional irreducible $\mathfrak H_q$-modules up to isomorphism. The proofs are carried out in the language of linear algebra.


title: Signed analogue of line graphs and their smallest eigenvalues

abstract: In this paper, we show that every connected signed graph with smallest eigenvalue strictly greater than $-2$ and large enough minimum degree is switching equivalent to a complete graph. This is a signed analogue of a theorem of Hoffman. The proof is based on what we call Hoffman's limit theorem which we formulate for Hermitian matrices, and also the extension of the concept of Hoffman graph and line graph for the setting of signed graphs.


title: Persistence of the Conley Index in Combinatorial Dynamical Systems

abstract: A combinatorial framework for dynamical systems provides an avenue for connecting classical dynamics with data-oriented, algorithmic methods. Combinatorial vector fields introduced by Forman and their recent generalization to multivector fields have provided a starting point for building such a connection. In this work, we strengthen this relationship by placing the Conley index in the persistent homology setting. Conley indices are homological features associated with so-called isolated invariant sets, so a change in the Conley index is a response to perturbation in an underlying multivector field. We show how one can use zigzag persistence to summarize changes to the Conley index, and we develop techniques to capture such changes in the presence of noise. We conclude by developing an algorithm to track features in a changing multivector field.


title: COVID-19 Evolves in Human Hosts

abstract: Today, we are all threatened by an unprecedented pandemic: COVID-19. How different is it from other coronaviruses? Will it be attenuated or become more virulent? Which animals may be its original host? In this study, we collected and analyzed nearly thirty thousand publicly available complete genome sequences for COVID-19 virus from 79 different countries, the previously known flu-causing coronaviruses (HCov-229E, HCov-OC43, HCov-NL63 and HCov-HKU1) and the lethal, pathogenic viruses, SARS, MERS, Victoria, Lassa, Yamagata, Ebola, and Dengue. We found strong similarities between the current circulating COVID-19 and SARS and MERS, as well as COVID-19 in rhinolophines and pangolins. On the contrary, COVID-19 shares little similarity with the flu-causing coronaviruses and the other known viruses. Strikingly, we observed that the divergence of COVID-19 strains isolated from human hosts has steadily increased from December 2019 to May 2020, suggesting COVID-19 is actively evolving in human hosts. In this paper, we first propose a novel MLCS algorithm NP-MLCS1 for the big sequence analysis, which can calculate the common model for COVID-19 complete genome sequences to provide important information for vaccine and antibody development. Geographic and time-course analysis of the evolution trees of the human COVID-19 reveals possible evolutional paths among strains from 79 countries. This finding has important implications to the management of COVID-19 and the development of vaccines and medications.


title: Cell Lists Method Based on Doubly Linked Lists for Monte Carlo Simulation

abstract: A cell lists method based on doubly linked lists and with complexity O(N) is developed for particle deletion and insertion in reaction ensemble Monte Carlo simulation. Because the random move in Metropolis algorithm can be reduced to particle deletion at old position and particle insertion at new position, so this method can be also used in Metropolis algorithm. In addition, nonlocal move, common in Monte Carlo simulation of polymers, such as kink-jump, pivot, reptation move and the retrace and regrow of chains in configurational biased Monte Carlo often cause the failure of Verlet lists method because the large displacement in these nonlocal moves will exceed Verlet cutoff radius. So we also use cell lists method based on doubly linked lists to achieve nonlocal move in this study.


title: $\lambda_\infty$ & Maximum Variance Embedding: Measuring and Optimizing Connectivity of A Graph Metric

abstract: Bobkov, Houdr\'e, and the last author [2000] introduced a Poincar\'e-type functional parameter, $\lambda_\infty$, of a graph and related it to connectivity of the graph via Cheeger-type inequalities. A work by the second author, Raghavendra, and Vempala [2013] related the complexity of $\lambda_\infty$ to the so-called small-set expansion (SSE) problem and further set forth the desiderata for NP-hardness of this optimization problem. We confirm the conjecture that computing $\lambda_\infty$ is NP-hard for weighted trees. Beyond measuring connectivity in many applications we want to optimize it. This, via convex duality, leads to a problem in machine learning known as the Maximum Variance Embedding (MVE). The output is a function from vertices to a low dim Euclidean space, subject to bounds on Euclidean distances between neighbors. The objective is to maximize output variance. Special cases of MVE into $n$ and $1$ dims lead to absolute algebraic connectivity [1990] and spread constant [1998], that measure connectivity of the graph and its Cartesian $n$-power, respectively. MVE has other applications in measuring diffusion speed and robustness of networks, clustering, and dimension reduction. We show that computing MVE in tree-width dims is NP-hard, while only one additional dim beyond width of a given tree-decomposition makes the problem in P. We show that MVE of a tree in 2 dims defines a non-convex yet benign optimization landscape, i.e., local=global optima. We further develop a linear time combinatorial algorithm for this case. Finally, we denote approximate Maximum Variance Embedding is tractable in significantly lower dims. For trees and general graphs, for which Maximum Variance Embedding cannot be solved in less than $2$ and $\Omega(n)$ dims, we provide $1+\varepsilon$ approximation algorithms for embedding into $1$ and $O(\log n /\varepsilon^2)$ dims, respectively.


title: ZSTAD: Zero-Shot Temporal Activity Detection

abstract: An integral part of video analysis and surveillance is temporal activity detection, which means to simultaneously recognize and localize activities in long untrimmed videos. Currently, the most effective methods of temporal activity detection are based on deep learning, and they typically perform very well with large scale annotated videos for training. However, these methods are limited in real applications due to the unavailable videos about certain activity classes and the time-consuming data annotation. To solve this challenging problem, we propose a novel task setting called zero-shot temporal activity detection (ZSTAD), where activities that have never been seen in training can still be detected. We design an end-to-end deep network based on R-C3D as the architecture for this solution. The proposed network is optimized with an innovative loss function that considers the embeddings of activity labels and their super-classes while learning the common semantics of seen and unseen activities. Experiments on both the THUMOS14 and the Charades datasets show promising performance in terms of detecting unseen activities.


title: The Markoff equation over polynomial rings

abstract: When $A=3$, the positive integral solutions of the so-called Markoff equation $$M_A:x^2 + y^2 + z^2 = Axyz$$ can be generated from the single solution $(1,1,1)$ by the action of certain automorphisms of the hypersurface. Since Markoff's proof of this fact, several authors have showed that the structure of $M_A(R)$, when $R$ is $\mathbf{Z}[i]$ or certain orders in number fields, behave in a similar fashion. Moreover, for $R=\mathbf{Z}$ and $R=\mathbf{Z}[i]$, Zagier and Silverman, respectively, have found asymptotic formulae for the number of integral points of bounded height. In this paper, we investigate these problems when $R$ is a polynomial ring over a field $K$ of odd characteristic. We characterize the set $M_A(K[t])$ in a similar fashion as Markoff and previous authors. We also give an asymptotic formula that is similar to Zagier's and Silverman's formula.


title: Managing quantum heat transfer in nonequilibrium qubit-phonon hybrid system

abstract: We investigate quantum heat transfer and thermal management in the nonequilibrium qubit-phonon hybrid system by applying the quantum master equation embedded with phononic coherent state. We obtain the steady state heat flow by tuning the arbitrary qubit-phonon coupling strength, which particularly exhibits the power-law scaling behavior and the turnover behavior in the weak and strong coupling regimes, respectively. Moreover, we analyze the negative differential thermal conductance and thermal rectification, which becomes profound with weak qubit-phonon interaction and large temperature bias. These results would contribute to smart energy control and design of phononic hybrid quantum devices.


title: Encoder-Decoder Based Convolutional Neural Networks with Multi-Scale-Aware Modules for Crowd Counting

abstract: In this paper, we propose two modified neural networks based on dual path multi-scale fusion networks (SFANet) and SegNet for accurate and efficient crowd counting. Inspired by SFANet, the first model, which is named M-SFANet, is attached with atrous spatial pyramid pooling (ASPP) and context-aware module (CAN). The encoder of M-SFANet is enhanced with ASPP containing parallel atrous convolutional layers with different sampling rates and hence able to extract multi-scale features of the target object and incorporate larger context. To further deal with scale variation throughout an input image, we leverage the CAN module which adaptively encodes the scales of the contextual information. The combination yields an effective model for counting in both dense and sparse crowd scenes. Based on the SFANet decoder structure, M-SFANet's decoder has dual paths, for density map and attention map generation. The second model is called M-SegNet, which is produced by replacing the bilinear upsampling in SFANet with max unpooling that is used in SegNet. This change provides a faster model while providing competitive counting performance. Designed for high-speed surveillance applications, M-SegNet has no additional multi-scale-aware module in order to not increase the complexity. Both models are encoder-decoder based architectures and are end-to-end trainable. We conduct extensive experiments on five crowd counting datasets and one vehicle counting dataset to show that these modifications yield algorithms that could improve state-of-the-art crowd counting methods. Codes are available at https://github.com/Pongpisit-Thanasutives/Variations-of-SFANet-for-Crowd-Counting.


title: Optimal Composition of Heterogeneous Multi-Agent Teams for Coverage Problems with Performance Bound Guarantees

abstract: We consider the problem of determining the optimal composition of a heterogeneous multi-agent team for coverage problems by including costs associated with different agents and subject to an upper bound on the maximal allowable number of agents. We formulate a resource allocation problem without introducing additional non-convexities to the original problem. We develop a distributed Projected Gradient Ascent (PGA) algorithm to solve the optimal team composition problem. To deal with non-convexity, we initialize the algorithm using a greedy method and exploit the submodularity and curvature properties of the coverage objective function to derive novel tighter performance bound guarantees on the optimization problem solution. Numerical examples are included to validate the effectiveness of this approach in diverse mission space configurations and different heterogeneous multi-agent collections. Comparative results obtained using a commercial mixed-integer nonlinear programming problem solver demonstrate both the accuracy and computational efficiency of the distributed PGA algorithm.


title: A novel 8-parameter integrable map in $\mathbb{R}^4$

abstract: We present a novel 8-parameter integrable map in $\mathbb{R}^4$. The map is measure-preserving and possesses two functionally independent 2-integrals, as well as a measure-preserving 2-symmetry.


title: On integral points on isotrivial elliptic curves over function field

abstract: Let $k$ be a finite field and $L$ be the function field of a curve $C/k$ of genus $g\geq 1$. In the first part of this note, we show that the number of separable $S$-integral points on a constant elliptic curve $E/L$ is bounded solely in terms of $g$, the size of $S$ and the rank of the Mordell-Weil group $E(L)$. In the second part, we assume that $L$ is the function field of a hyperelliptic curve $C_A:s^2=A(t)$, where $A(t)$ is a square-free $k$-polynomial of odd degree. If $\infty$ is the place of $L$ associated to the point at infinity of $C_A$, then we prove that the set of separable $\{\infty\}$-points can be bounded solely in terms of $g$ and does not seem to depend on the Mordell-Weil group $E(L)$. This is done by bounding the number of separable integral points over $k(t)$ on elliptic curves of the form $E_A:A(t)y^2=f(x)$, where $f(x)$ is a polynomial over $k$. Additionally, we show that, under an extra condition on $A(t)$, the existence of a separable integral point of "small" height on the elliptic curve $E_A/k(t)$ determines the isomorphism class of the elliptic curve $y^2=f(x)$.


title: Intrinsic Riemannian metrics on spaces of curves: theory and computation

abstract: This chapter reviews some past and recent developments in shape comparison and analysis of curves based on the computation of intrinsic Riemannian metrics on the space of curves modulo shape-preserving transformations. We summarize the general construction and theoretical properties of quotient elastic metrics for Euclidean as well as non-Euclidean curves before considering the special case of the square root velocity metric for which the expression of the resulting distance simplifies through a particular transformation. We then examine different numerical approaches that have been proposed to estimate such distances in practice and in particular to quotient out curve reparametrization in the resulting minimization problems.


title: Analysis of ResearchGate, A Community Detection Approach

abstract: We are living in the data age. Communications over scientific networks creates new opportunities for researchers who aim to discover the hidden pattern in these huge repositories. This study utilizes network science to create collaboration network of Iranian Scientific Institutions. A modularity-based approach applied to find network communities. To reach a big picture of science production flow, analysis of the collaboration network is crucial. Our results demonstrated that geographic location closeness and ethnic attributes has important roles in academic collaboration network establishment. Besides, it shows that famous scientific centers in the capital city of Iran, Tehran has strong influence on the production flow of scientific activities. These academic papers are mostly viewed and downloaded from the United State of America, China, India, and Iran. The motivation of this research is that by discovering hidden communities in the network and finding the structure of intuitions communications, we can identify each scientific center research potential separately and clear mutual scientific fields. Therefore, an efficient strategic program can be designed, developed and tested to keep scientific centers in progress way and navigate their research goals into a straight useful roadmap to identify and fill the unknown gaps.


title: A new moving group in the Local Arm

abstract: We present a new moving group clustered in kinematics, spatial position and elemental abundances. Its spatial position is around the center of the Local Arm of the Milky Way. A convergent point method was taken to select candidate member stars.\textbf{ Among 206 candidate member stars, 74 are pre-main-sequence stars and some of them have stellar disks.} We presume those pre-main sequence stars belong to Orion nebula. We suggest this moving group is caused by density wave of the Local Arm passing by.


title: Learning to Segment 3D Point Clouds in 2D Image Space

abstract: In contrast to the literature where local patterns in 3D point clouds are captured by customized convolutional operators, in this paper we study the problem of how to effectively and efficiently project such point clouds into a 2D image space so that traditional 2D convolutional neural networks (CNNs) such as U-Net can be applied for segmentation. To this end, we are motivated by graph drawing and reformulate it as an integer programming problem to learn the topology-preserving graph-to-grid mapping for each individual point cloud. To accelerate the computation in practice, we further propose a novel hierarchical approximate algorithm. With the help of the Delaunay triangulation for graph construction from point clouds and a multi-scale U-Net for segmentation, we manage to demonstrate the state-of-the-art performance on ShapeNet and PartNet, respectively, with significant improvement over the literature. Code is available at https://github.com/Zhang-VISLab.


title: Search for the decay $J/\psi\to\gamma + \rm {invisible}$

abstract: We search for $J/\psi$ radiative decays into a weakly interacting neutral particle, namely an invisible particle, using the $J/\psi$ produced through the process $\psi(3686)\to\pi^+\pi^-J/\psi$ in a data sample of $(448.1\pm2.9)\times 10^6$ $\psi(3686)$ decays collected by the BESIII detector at BEPCII. No significant signal is observed. Using a modified frequentist method, upper limits on the branching fractions are set under different assumptions of invisible particle masses up to 1.2 $\mathrm{\ Ge\kern -0.1em V}/c^2$. The upper limit corresponding to an invisible particle with zero mass is 7.0$\times 10^{-7}$ at the 90\% confidence level.


title: Optimal regularity for the Pfaff system and isometric immersions in arbitrary dimensions

abstract: We prove the existence, uniqueness, and $W^{1,2}$-regularity for the solution to the Pfaff system with antisymmetric $L^2$-coefficient matrix in arbitrary dimensions. Hence, we establish the equivalence between the existence of $W^{2,2}$-isometric immersions and the weak solubility of the Gauss--Codazzi--Ricci equations on simply-connected domains. The regularity assumptions of these results are sharp. As an application, we deduce a weak compactness theorem for $W^{2,2}_{\rm loc}$-immersions.


title: Nanoscale imaging of unusual photo-acoustic waves in thin flake VTe$_2$

abstract: Controlling acoustic phonons, the carriers of sound and heat, has been attracting great attention toward the manipulation of sonic and thermal properties in nanometric devices. In particular, the photo-acoustic effect using ultrafast optical pulses has a promising potential to optically manipulate phonons in picoseconds time regime. However, its mechanism has been so far mostly based on the commonplace thermoelastic expansion in isotropic media, limiting the spectrum of potential applications. We investigate a conceptually new mechanism of photo-acoustic effect involving the structural instability, by utilizing a transition-metal dichalcogenide VTe$_2$ with the ribbon-type charge-density-wave (CDW). Ultrafast electron microscope imaging and diffraction measurements reveal the generation and propagation of unusual acoustic waves in the nanometric thin plate associated with the optically induced instantaneous charge-density-wave dissolution. Our results highlight the capability of photo-induced structural instability as a source of coherent acoustic waves.


title: On the Arbitrary-Oriented Object Detection: Classification based Approaches Revisited

abstract: Arbitrary-oriented object detection has been a building block for rotation sensitive tasks. We first show that the boundary problem suffered in existing dominant regression-based rotation detectors, is caused by angular periodicity or corner ordering, according to the parameterization protocol. We also show that the root cause is that the ideal predictions can be out of the defined range. Accordingly, we transform the angular prediction task from a regression problem to a classification one. For the resulting circularly distributed angle classification problem, we first devise a Circular Smooth Label technique to handle the periodicity of angle and increase the error tolerance to adjacent angles. To reduce the excessive model parameters by Circular Smooth Label, we further design a Densely Coded Labels, which greatly reduces the length of the encoding. Finally, we further develop an object heading detection module, which can be useful when the exact heading orientation information is needed e.g. for ship and plane heading detection. We release our OHD-SJTU dataset and OHDet detector for heading detection. Extensive experimental results on three large-scale public datasets for aerial images i.e. DOTA, HRSC2016, OHD-SJTU, and face dataset FDDB, as well as scene text dataset ICDAR2015 and MLT, show the effectiveness of our approach.


title: Tetragonality induced superconductivity in anti-ThCr$_2$Si$_2$-type $RE_2$O$_2$Bi ($RE$ = rare earth) with Bi square net

abstract: We report a series of layered superconductors, anti-ThCr$_2$Si$_2$-type $RE_2$O$_2$Bi ($RE$ = rare earth), composed of electrically conductive Bi square nets and magnetic insulating $RE_2$O$_2$ layers. The superconductivity was induced by separating Bi square nets as a result of excess oxygen incorporation, irrespective of the presence of magnetic ordering in $RE_2$O$_2$ layers. Intriguingly, the transition temperature of all $RE_2$O$_2$Bi including nonmagnetic Y$_2$O$_2$Bi was approximately scaled by the unit cell tetragonality ($c$/$a$), implying a key role of relative separation of the Bi square nets to induce the superconductivity.


title: Posterior asymptotics in Wasserstein metrics on the real line

abstract: In this paper, we use the class of Wasserstein metrics to study asymptotic properties of posterior distributions. Our first goal is to provide sufficient conditions for posterior consistency. In addition to the well-known Schwartz's Kullback--Leibler condition on the prior, the true distribution and most probability measures in the support of the prior are required to possess moments up to an order which is determined by the order of the Wasserstein metric. We further investigate convergence rates of the posterior distributions for which we need stronger moment conditions. The required tail conditions are sharp in the sense that the posterior distribution may be inconsistent or contract slowly to the true distribution without these conditions. Our study involves techniques that build on recent advances on Wasserstein convergence of empirical measures. We apply the results to density estimation with a Dirichlet process mixture prior and conduct a simulation study for further illustration.


title: First-Principles Exploration of Defect-Pairs in GaN

abstract: Using first-principles calculations, we explored all the 21 defect-pairs in GaN and considered 6 configurations with different defect-defect distances for each defect-pair. 15 defect-pairs with short defect-defect distances are found to be stable during structural relaxation, so they can exist in the GaN lattice once formed during the irradiation of high-energy particles. 9 defect-pairs have formation energies lower than 10 eV in the neutral state. The vacancy-pair VN-VN is found to have very low formation energies, as low as 0 eV in p-type and Ga-rich GaN, and act as efficient donors producing two deep donor levels, which can limit the p-type doping and minority carrier lifetime in GaN. VN-VN has been overlooked in the previous study of defects in GaN. Most of these defect-pairs act as donors and produce a large number of defect levels in the band gap. Their formation energies and concentrations are sensitive to the chemical potentials of Ga and N, so their influences on the electrical and optical properties of Ga-rich and N-rich GaN after irradiation should differ significantly. These results about the defect-pairs provide fundamental data for understanding the radiation damage mechanism in GaN and simulating the defect formation and diffusion behavior under irradiation.


title: Cooperative output feedback tracking control of stochastic linear heterogeneous multi-agent systems

abstract: We study cooperative output feedback tracking control of stochastic linear heterogeneous leader-following multi-agent systems. Each agent has a continuous-time linear heterogeneous dynamics with incompletely measurable state, and there are additive and multiplicative noises along with information exchange among agents. We propose a set of admissible distributed observation strategies for estimating the leader's and the followers' states, and a set of admissible cooperative output feedback control strategies based on the certainty equivalence principle. By output regulation theory and stochastic analysis, we show that for observable leader's dynamics and stabilizable and detectable followers' dynamics, if the intensity coefficient of multiplicative noises multiplied by the sum of real parts of the leader' s unstable modes is less than 1/4 of the minimum non-zero eigenvalue of graph Laplacian, then there exist admissible distributed observation and cooperative control strategies to ensure mean square bounded output tracking, provided the associated output regulation equations are solvable. Finally, the effectiveness of our control strategies is demonstrated by a numerical simulation.


title: PyODDS: An End-to-end Outlier Detection System with Automated Machine Learning

abstract: Outlier detection is an important task for various data mining applications. Current outlier detection techniques are often manually designed for specific domains, requiring large human efforts of database setup, algorithm selection, and hyper-parameter tuning. To fill this gap, we present PyODDS, an automated end-to-end Python system for Outlier Detection with Database Support, which automatically optimizes an outlier detection pipeline for a new data source at hand. Specifically, we define the search space in the outlier detection pipeline, and produce a search strategy within the given search space. PyODDS enables end-to-end executions based on an Apache Spark backend server and a light-weight database. It also provides unified interfaces and visualizations for users with or without data science or machine learning background. In particular, we demonstrate PyODDS on several real-world datasets, with quantification analysis and visualization results.


title: Brownian motions and heat kernel lower bounds on K\"ahler and quaternion K\"ahler manifolds

abstract: We study the radial parts of the Brownian motions on K\"ahler and quaternion K\"ahler manifolds. Thanks to sharp Laplacian comparison theorems, we deduce as a consequence a sharp Cheeger-Yau type lower bound for the heat kernels of such manifolds and also sharp Cheng's type estimates for the Dirichlet eigenvalues of metric balls.


title: On the Weak and Strong Convergence of a Conceptual Algorithm for Solving Three Operator Monotone Inclusions

abstract: In this paper, a conceptual algorithm modifying the forward-backward-half-forward (FBHF) splitting method for solving three operator monotone inclusion problems is investigated. The FBHF splitting method adjusts and improves Tseng's forward-backward-forward (FBF) splitting method when the inclusion problem has a third-part operator that is cocoercive. The FBHF method recovers the FBF iteration (when this aforementioned part is zero), and it also works without using the widely used Lipschitz continuity assumption. The conceptual algorithm proposed in this paper also has those advantages, and it derives two variants (called Method 1 and Method 2) by choosing different projection (forward) steps. Both proposed methods also work efficiently without assuming the Lipschitz continuity and without directly using the cocoercive constant. Moreover, they have the following desired features: (i) very general iterations are derived for both methods, recovering the FBF and the FBHF iterations and allowing possibly larger stepsizes if the projection steps are over-relaxing; and (ii) strong convergence to the best approximation solution of the problem is proved for Method 2. To the best of our knowledge, this is the first time that an FBF-type method converges strongly for finding the best approximation solution of the three operator monotone inclusion.


title: Duality pairs and homomorphisms to oriented and unoriented cycles

abstract: In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs $(G,H)$ such that for any digraph, $D$, $G\to D$ if and only if $D\not\to H$. The directed path on $k+1$ vertices together with the transitive tournament on $k$ vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is $k$-colourable if and only if it admits an orientation with no directed path on more than $k$-vertices. In this work, for every undirected cycle $C$ we find an orientation $C_D$ and an oriented path $P_C$, such that $(P_C,C_D)$ is a duality pair. As a consequence we obtain that there is a finite set, $F_C$, such that an undirected graph is homomorphic to $C$, if and only if it admits an $F_C$-free orientation. As a byproduct of the proposed duality pairs, we show that if $T$ is a tree of height at most $3$, one can choose a dual of $T$ of linear size with respect to the size of $T$.


title: Orientations without forbidden patterns on three vertices

abstract: Given a set $F$ of oriented graphs, a graph $G$ is an $F$-graph if it admits an $F$-free orientation. Building on previous work by Bang-Jensen and Urrutia, we propose a master algorithm that determines if a graph admits an $F$-free orientation when $F$ is a subset of the orientations of $P_3$ and the transitive triangle. We extend previous results of Skrien by studying the class of $F$-graphs, when $F$ is any set of oriented graphs of order three. Structural characterizations for all such sets are provided, except for the so-called perfectly-orientable graphs and one of its subclasses, which remain as open problems.


title: On the de Morgan's laws for modules

abstract: In this investigation, we give a module-theoretic counterpart of the well known Demorgan's laws for rings and topological spaces. We observed that the corresponding like Demorgan's laws on a module holds precisely when the module has a certain kind of structure. Besides the considerations of Demorgan's laws for ordered structures (idiomatic-quantales) the manuscript goes back to the ring theoretic realm, in this case, we study the non-commutative counterpart of Dedekind domains this consideration leads to the concept of Asano prime ring.


title: A numerical method for inextensible elastic filaments in viscous fluids

abstract: The deformations of flagella are important in the motility of single- and multi-flagellated bacteria. Existing numerical methods have treated flagella as extensible filaments with a large extensional modulus, resulting in a stiff numerical problem and long simulation times. However, flagella are nearly inextensible, so to avoid large extensional stiffness, we introduce inextensible elastic rod models with hydrodynamics treated by a surface distribution of regularized Stokeslets. We benchmark this new model against previously described models of extensible elastic rods with hydrodynamics treated by a centerline distribution of regularized Stokeslets and rotlets, as well as a surface distribution of regularized Stokeslets. We compare the accuracy of the inextensible model with the extensible models and illustrate for which ratios of stretching/bending stiffness (which depend on the diameter of filament) the inextensible model is accurate and more efficient. We show that our inextensible approach can be markedly more efficient than the extensible models for many biological filaments. We also compare the accuracy of the centerline distribution of the Stokeslets and rotlets to the more accurate surface distribution of Stokeslets for modeling fluid-structure interactions of filaments.


title: Temperature and Rate Dependent Constitutive Behaviors of Low Melt Field's Metal

abstract: Low melting point metals such as Field's metal and gallium are increasingly used as transition phases in stiffness-tuning soft materials and devices. Nevertheless, there is a knowledge gap on the fundamental constitutive behaviors of metals with melting points below 100 degree. This letter reports the stress-strain relationships of Field's metal at various temperatures and strain rates. This metal has the lowest melting point among metals whose constitutive behaviors have been studied systematically. Experimental results indicate that Field's metal exhibits a strain-softening behavior, in oppose to the strain-hardening behaviors of most engineering metals and alloys. A modified Johnson-Cook model is devised in this letter to describe the constitutive behaviors of Field's metal. The proposed metal will facilitate the design and analysis of functional materials and structures consisting of Field's metal.


title: Privacy Preserving Point-of-interest Recommendation Using Decentralized Matrix Factorization

abstract: Points of interest (POI) recommendation has been drawn much attention recently due to the increasing popularity of location-based networks, e.g., Foursquare and Yelp. Among the existing approaches to POI recommendation, Matrix Factorization (MF) based techniques have proven to be effective. However, existing MF approaches suffer from two major problems: (1) Expensive computations and storages due to the centralized model training mechanism: the centralized learners have to maintain the whole user-item rating matrix, and potentially huge low rank matrices. (2) Privacy issues: the users' preferences are at risk of leaking to malicious attackers via the centralized learner. To solve these, we present a Decentralized MF (DMF) framework for POI recommendation. Specifically, instead of maintaining all the low rank matrices and sensitive rating data for training, we propose a random walk based decentralized training technique to train MF models on each user's end, e.g., cell phone and Pad. By doing so, the ratings of each user are still kept on one's own hand, and moreover, decentralized learning can be taken as distributed learning with multi-learners (users), and thus alleviates the computation and storage issue. Experimental results on two real-world datasets demonstrate that, comparing with the classic and state-of-the-art latent factor models, DMF significantly improvements the recommendation performance in terms of precision and recall.


title: Efficient testing and effect size estimation for set-based genetic association inference via semiparametric multilevel mixture modeling: Application to a genome-wide association study of coronary artery disease

abstract: In genetic association studies, rare variants with extremely small allele frequency play a crucial role in complex traits, and the set-based testing methods that jointly assess the effects of groups of single nucleotide polymorphisms (SNPs) were developed to improve powers for the association tests. However, the powers of these tests are still severely limited due to the extremely small allele frequency, and precise estimations for the effect sizes of individual SNPs are substantially impossible. In this article, we provide an efficient set-based inference framework that addresses the two important issues simultaneously based on a Bayesian semiparametric multilevel mixture model. We propose to use the multilevel hierarchical model that incorporate the variations in set-specific effects and variant-specific effects, and to apply the optimal discovery procedure (ODP) that achieves the largest overall power in multiple significance testing. In addition, we provide Bayesian optimal "set-based" estimator of the empirical distribution of effect sizes. Efficiency of the proposed methods is demonstrated through application to a genome-wide association study of coronary artery disease (CAD), and through simulation studies. These results suggested there could be a lot of rare variants with large effect sizes for CAD, and the number of significant sets detected by the ODP was much greater than those by existing methods.


title: Blocking temperature of a system of core/shell nanoparticles

abstract: A theoretical study was conducted of the size dependence of the blocking temperature of a system of interacting core/shell nanoparticles. A method for estimating the blocking temperature of interacting core/shell nanoparticles is presented, which allows to be calculated more correctly than using the Neel relation. It was shown that together with an increase in the intensity of the magnetostatic interaction (concentration of nanoparticles) the blocking temperature increases, while the growth of the external magnetic field leads to the opposite effect. Moreover, the of large nanoparticles changes more significantly. A comparison of different methods for determining the blocking temperature from the ZFC and FC curves showed that the method for determining using the temperature derivative of the difference between ZFC and FC is more preferable.


title: A survey on test practitioners' awareness of test smells

abstract: Developing test code may be a time-consuming task that usually requires much effort and cost, especially when it is done manually. Besides, during this process, developers and testers are likely to adopt bad design choices, which may lead to the introduction of the so-called test smells in test code. Test smells are bad solutions to either implement or design test code. As the test code with test smells increases in size, these tests might become more complex, and as a consequence, much harder to understand and evolve correctly. Therefore, test smells may have a negative impact on the quality and maintenance of test code and may also harm the whole software testing activities. In this context, this study aims to understand whether test professionals non-intentionally insert test smells. We carried out an expert survey to analyze the usage frequency of a set of test smells. Sixty professionals from different companies participated in the survey. We selected 14 widely studied smells from the literature, which are also implemented in existing test smell detection tools. The yielded results indicate that experienced professionals introduce test smells during their daily programming tasks, even when they are using standardized practices from their companies, and not only for their personal assumptions. Another relevant evidence was that developers' professional experience can not be considered as a root-cause for the insertion of test smells in test code.


title: Beyond the Camera: Neural Networks in World Coordinates

abstract: Eye movement and strategic placement of the visual field onto the retina, gives animals increased resolution of the scene and suppresses distracting information. This fundamental system has been missing from video understanding with deep networks, typically limited to 224 by 224 pixel content locked to the camera frame. We propose a simple idea, WorldFeatures, where each feature at every layer has a spatial transformation, and the feature map is only transformed as needed. We show that a network built with these WorldFeatures, can be used to model eye movements, such as saccades, fixation, and smooth pursuit, even in a batch setting on pre-recorded video. That is, the network can for example use all 224 by 224 pixels to look at a small detail one moment, and the whole scene the next. We show that typical building blocks, such as convolutions and pooling, can be adapted to support WorldFeatures using available tools. Experiments are presented on the Charades, Olympic Sports, and Caltech-UCSD Birds-200-2011 datasets, exploring action recognition, fine-grained recognition, and video stabilization.


title: Code Clone Matching: A Practical and Effective Approach to Find Code Snippets

abstract: Finding the same or similar code snippets in source code is one of fundamental activities in software maintenance. Text-based pattern matching tools such as grep is frequently used for such purpose, but making proper queries for the expected result is not easy. Code clone detectors could be used but their features and result are generally excessive. In this paper, we propose Code Clone matching (CC matching for short) that employs a combination of token-based clone detection and meta-patterns enhanced with meta-tokens. The user simply gives a query code snippet possibly with a few meta-tokens and then gets the resulting snippets, forming type 1, 2, or 3 code clone pairs between the query and result. By using a code snippet with meta-tokens as the query, the resulting matches are well controlled by the users. CC matching has been implemented as a practical and efficient tool named ccgrep, with grep-like user interface. The evaluation shows that ccgrep~ is a very effective to find various kinds of code snippets.


title: Discovery of Extended Structures around Two Evolved Planetary Nebulae M 2-55 and Abell 2

abstract: We report a multi-wavelength study of two evolved planetary nebulae (PNs) M 2-55 and Abell 2. Deep optical narrow-band images ([O III], H?, and [N II]) of M 2-55 reveal two pairs of bipolar lobes and a new faint arc-like structure. This arc-shaped filament around M 2-55 appears a well-defined boundary from southwest to southeast, strongly suggesting that this nebula is in interaction with its surrounding interstellar medium. From the imaging data of Wide-field Infrared Survey Explorer (WISE) all-sky survey, we discovered extensive mid-infrared halos around these PNs, which are approximately twice larger than their main nebulae seen in the visible. We also present a mid-resolution optical spectrum of M 2-55, which shows that it is a high-excitation evolved PN with a low electron density of 250 cm^-3. Furthermore, we investigate the properties of these nebulae from their spectral energy distributions (SEDs) by means of archival data.


title: Backward Reachability using Integral Quadratic Constraints for Uncertain Nonlinear Systems

abstract: A method is proposed to compute robust inner-approximations to the backward reachable set for uncertain nonlinear systems. It also produces a robust control law that drives trajectories starting in these sets to the target set. The method merges dissipation inequalities and integral quadratic constraints (IQCs) with both hard and soft IQC factorizations. Computational algorithms are presented using the generalized S-procedure and sum-of-squares techniques. The use of IQCs in backward reachability analysis allows for a variety of perturbations including parametric uncertainty, unmodeled dynamics, nonlinearities, and uncertain time delays. The method is demonstrated on two examples, including a 6-state quadrotor with actuator uncertainties.


title: Motility-induced buckling and glassy dynamics regulate three-dimensional transitions of bacterial monolayers

abstract: Many mature bacterial colonies and biofilms are complex three-dimensional (3D) structures. One key step in their developmental program is a transition from a two-dimensional (2D) monolayer into a 3D architecture. Despite the importance of controlling the growth of microbial colonies and biofilms in a variety of medical and industrial settings, the underlying physical mechanisms behind single-cell dynamics, collective behaviors of densely-packed cells, and 3D complex colony expansion remain largely unknown. In this work, we explore the mechanisms behind the 2D-to-3D transition of motile Pseudomonas aeruginosa colonies; we provide a new motility-induced, rate-dependent buckling mechanism for their out-of-plane growth. We find that swarming of motile bacterial colonies generate sustained in-plane flows. We show that the viscous shear stresses and dynamic pressures arising from these flows allow cells to overcome cell-substrate adhesion, leading to buckling of bacterial monolayers and growth into the third dimension. Modeling bacterial monolayers as 2D fluid films, we identify universal relationships that elucidate the competition between in-plane viscous stresses, pressure and cell-substrate adhesion. Furthermore, we show that bacterial monolayers can exhibit crossover from swarming to kinetically-arrested, glassy-like states above an onset density, resulting in distinct 2D-to-3D transition mechanisms. Combining experimental observations of P. aeruginosa colonies at single-cell resolution, molecular dynamics simulations of active systems, and theories of glassy dynamics and 2D fluid films, we develop a dynamical state diagram that predicts the state of the colony, and the mechanisms governing their 2D-to-3D transitions.


title: On uniform consistency of nonparametric tests I

abstract: We point out necessary and sufficient conditions of uniform consistency of nonparametric sets of alternatives for widespread nonparametric tests. Nonparametric sets of alternatives can be defined both in terms of distribution function and in terms of density (or signals in the problem of signal detection in Gaussian white noise). In this part of paper such conditions are provided for $\chi^2-$tests with increasing number of cells, Cramer-von Mises tests, tests generated $\mathbb{L}_2$- norms of kernel estimators and tests generated quadratic forms of estimators of Fourier coefficients.


title: CC2Vec: Distributed Representations of Code Changes

abstract: Existing work on software patches often use features specific to a single task. These works often rely on manually identified features, and human effort is required to identify these features for each task. In this work, we propose CC2Vec, a neural network model that learns a representation of code changes guided by their accompanying log messages, which represent the semantic intent of the code changes. CC2Vec models the hierarchical structure of a code change with the help of the attention mechanism and uses multiple comparison functions to identify the differences between the removed and added code. To evaluate if CC2Vec can produce a distributed representation of code changes that is general and useful for multiple tasks on software patches, we use the vectors produced by CC2Vec for three tasks: log message generation, bug fixing patch identification, and just-in-time defect prediction. In all tasks, the models using CC2Vec outperform the state-of-the-art techniques.


title: Modeling Lead-Rubber Seismic Isolation Bearings Using the Unified Mechanics Theory

abstract: Lead-rubber seismic isolation bearings (LRB) have been installed in a number of essential and critical structures, like hospitals, universities and bridges, located in earthquake-prone areas. The purpose of using LRB is providing the structure with period lengthening and the capacity of dissipating a considerable amount of earthquake energy to mitigate the effects of strong ground motions. Therefore, studying the damage mechanics of this kind of devices is fundamental to understand and accurately describe their thermomechanical behavior, so that seismically isolated structures can be designed more safely. Traditionally, up to this point, the hysteretic behavior of LBR has been modeled using 1) Newtonian mechanics and empirical curve fitting degradation functions, or 2) heat conduction theories and idealized bilinear curves which include degradation effects. The reason for using models that are essentially phenomenological or that contain some adjusted parameters is the fact that universal laws of motion by Newton lack the term to account for degradation and energy loss of a system. In this paper, the Unified Mechanics Theory, which integrates laws of Thermodynamics and Newtonian mechanics at ab-initio level, is used to model the force-displacement response of LRB. When Unified Mechanics Theory is used, there is no need for curve fitting techniques to describe the degradation behavior of the material. Damage or degradation at every point is calculated using entropy generation and the physics based fundamental equations of the material along the Thermodynamics State Index (TSI) axis. A finite element model of a lead-rubber bearing was constructed in ABAQUS, where a user material subroutine UMAT was implemented to define the Unified Mechanics Theory equations and the viscoplastic constitutive model for lead. Finite element analysis results were compared with experimental test data.


title: Distributed Hierarchical GPU Parameter Server for Massive Scale Deep Learning Ads Systems

abstract: Neural networks of ads systems usually take input from multiple resources, e.g., query-ad relevance, ad features and user portraits. These inputs are encoded into one-hot or multi-hot binary features, with typically only a tiny fraction of nonzero feature values per example. Deep learning models in online advertising industries can have terabyte-scale parameters that do not fit in the GPU memory nor the CPU main memory on a computing node. For example, a sponsored online advertising system can contain more than $10^{11}$ sparse features, making the neural network a massive model with around 10 TB parameters. In this paper, we introduce a distributed GPU hierarchical parameter server for massive scale deep learning ads systems. We propose a hierarchical workflow that utilizes GPU High-Bandwidth Memory, CPU main memory and SSD as 3-layer hierarchical storage. All the neural network training computations are contained in GPUs. Extensive experiments on real-world data confirm the effectiveness and the scalability of the proposed system. A 4-node hierarchical GPU parameter server can train a model more than 2X faster than a 150-node in-memory distributed parameter server in an MPI cluster. In addition, the price-performance ratio of our proposed system is 4-9 times better than an MPI-cluster solution.


title: Off-policy Policy Evaluation For Sequential Decisions Under Unobserved Confounding

abstract: When observed decisions depend only on observed features, off-policy policy evaluation (OPE) methods for sequential decision making problems can estimate the performance of evaluation policies before deploying them. This assumption is frequently violated due to unobserved confounders, unrecorded variables that impact both the decisions and their outcomes. We assess robustness of OPE methods under unobserved confounding by developing worst-case bounds on the performance of an evaluation policy. When unobserved confounders can affect every decision in an episode, we demonstrate that even small amounts of per-decision confounding can heavily bias OPE methods. Fortunately, in a number of important settings found in healthcare, policy-making, operations, and technology, unobserved confounders may primarily affect only one of the many decisions made. Under this less pessimistic model of one-decision confounding, we propose an efficient loss-minimization-based procedure for computing worst-case bounds, and prove its statistical consistency. On two simulated healthcare examples---management of sepsis patients and developmental interventions for autistic children---where this is a reasonable model of confounding, we demonstrate that our method invalidates non-robust results and provides meaningful certificates of robustness, allowing reliable selection of policies even under unobserved confounding.


title: A Multi-task Learning Framework for Grasping-Position Detection and Few-Shot Classification

abstract: It is a big problem that a model of deep learning for a picking robot needs many labeled images. Operating costs of retraining a model becomes very expensive because the object shape of a product or a part often is changed in a factory. It is important to reduce the amount of labeled images required to train a model for a picking robot. In this study, we propose a multi-task learning framework for few-shot classification using feature vectors from an intermediate layer of a model that detects grasping positions. In the field of manufacturing, multitask for shape classification and grasping-position detection is often required for picking robots. Prior multi-task learning studies include methods to learn one task with feature vectors from a deep neural network (DNN) learned for another task. However, the DNN that was used to detect grasping positions has two problems with respect to extracting feature vectors from a layer for shape classification: (1) Because each layer of the grasping position detection DNN is activated by all objects in the input image, it is necessary to refine the features for each grasping position. (2) It is necessary to select a layer to extract the features suitable for shape classification. To tackle these issues, we propose a method to refine the features for each grasping position and to select features from the optimal layer of the DNN. We then evaluated the shape classification accuracy using these features from the grasping positions. Our results confirm that our proposed framework can classify object shapes even when the input image includes multiple objects and the number of images available for training is small.


title: Structure and Instability of the Ionization Fronts around Moving Black Holes

abstract: In this paper we focus on understanding the physical processes that lead to stable or unstable ionization fronts (I-fronts) observed in simulations of moving black holes (BHs). The front instability may trigger bursts of gas accretion, rendering the BH significantly more luminous than at steady-state. We perform a series of idealized three dimensional radiation hydrodynamics simulations resolving the I-fronts around BHs of mass $M_\mathrm{BH}$ and velocity $v_\infty$ accreting from a medium of density $n_\mathrm{H}$. The I-front, with radius $R_\mathrm{I}$, transitions from D-type to R-type as the BH velocity becomes larger than a critical value $v_\mathrm{R}\sim 40\,\mathrm{km/s}$. The D-type front is preceded by a bow-shock of thickness $\Delta R_\mathrm{I}$ that decreases as $v_\infty$ approaches $v_\mathrm{R}$. We find that both D-type and R-type fronts can be unstable given the following two conditions: i) for D-type fronts the shell thickness must be $\Delta R_\mathrm{I}/R_\mathrm{I}<0.05$ (i.e., $v_\infty \gtrsim 20\,\mathrm{km/s}$.), while no similar restriction holds for R-type fronts; ii) the temperature jump across the I-front must be $T_\mathrm{II}/T_\mathrm{I}>3$. This second condition is satisfied if $T_\mathrm{I}<5000\,\mathrm{K}$ or if $n_\mathrm{H}\,M_\mathrm{BH} \gtrsim 10^6\,M_\odot\,\mathrm{cm^{-3}}$. Due to X-ray pre-heating typically $T_\mathrm{I} \sim 10^4\,\mathrm{K}$, unless the D-type shell is optically thick to X-rays, which also happens when $n_\mathrm{H}\,M_\mathrm{BH}$ is greater than a metallicity-dependent critical value. We thus conclude that I-fronts around BHs are unstable only for relatively massive BHs moving trough very dense molecular clouds. We briefly discuss the observational consequences of the X-ray luminosity bursts likely associated with this instability.


title: Understanding Crowd Flow Movements Using Active-Langevin Model

abstract: Crowd flow describes the elementary group behavior of crowds. Understanding the dynamics behind these movements can help to identify various abnormalities in crowds. However, developing a crowd model describing these flows is a challenging task. In this paper, a physics-based model is proposed to describe the movements in dense crowds. The crowd model is based on active Langevin equation where the motion points are assumed to be similar to active colloidal particles in fluids. The model is further augmented with computer-vision techniques to segment both linear and non-linear motion flows in a dense crowd. The evaluation of the active Langevin equation-based crowd segmentation has been done on publicly available crowd videos and on our own videos. The proposed method is able to segment the flow with lesser optical flow error and better accuracy in comparison to existing state-of-the-art methods.


title: 2-Local derivations on the W-algebra W(2,2)

abstract: The present paper is devoted to study 2-local derivations on W-algebra $W(2,2)$ which is an infinite-dimensional Lie algebras with some out derivations. We prove that all 2-local derivations on the W-algebra $W(2,2)$ are derivation. We also give a complete classification of the 2-local derivation on the so called thin Lie algebra and prove that it admits a lots of 2-local derivations which are not derivations.


title: Starlikeness for Certain Close-to-Star Functions

abstract: We find the radius of starlikeness of order $\alpha$, $0\leq \alpha<1$, of normalized analytic functions $f$ on the unit disk satisfying either $\operatorname{Re}(f(z)/g(z))>0$ or $\left| (f(z)/g(z))-1\right|<1$ for some close-to-star function $g$ with $\operatorname{Re}(g(z)/(z+z^2/2))>0$ as well as of the class of close-to-star functions $f$ satisfying $\operatorname{Re}(f(z)/(z+z^2/2))>0$. Several other radii such as radius of univalence and parabolic starlikeness are shown to be the same as the radius of starlikeness of appropriate order.


title: On a certain sum of the derivatives of Dirichlet $L$-functions

abstract: We consider a sum of the derivatives of Dirichlet $L$-functions over the zeros of Dirichlet $L$-functions. We give an asymptotic formula for the sum.