title: Investigating the Stellar Mass Growth Histories of Satellite Galaxies as a Function of Infall Time using Phase-Space

abstract: We compile a large sample of nearby galaxies that are satellites of hosts using a well known SDSS group catalogue. From this sample, we create an `ancient infallers' and `recent infallers' subsample, based on the mean infall time predicted from cosmological simulations for galaxies with their location in phase-space. We compare the stellar mass growth histories of the galaxies in these two subsamples, as determined from multi-wavelength SED fitting that uses a comprehensive library of star formation history shapes derived from cosmological simulations. By simultaneously controlling for satellite stellar mass and host halo mass, we can clearly see the impact of time spent in their hosts. As we might predict, the ancient infaller population shows clear signs of earlier quenching, especially for lower mass satellites in more massive hosts. More importantly, we find the effects are not limited to massive hosts. We find that hosts which might be considered low mass groups (halo masses $\sim$10$^{13}$ M$_\odot$) can significantly alter their satellites, even for massive satellites (stellar masses $\sim$10$^{10}$ M$_\odot$). Intriguingly, we see changes in the mass growth history of the satellites of clusters as early as 8 or 9 Gyr ago, when they had not yet entered the virial radius of their current host. We propose that this could be the result of galaxies being pre-processed in low-mass substructures in the protocluster outskirts, prior to infall.


title: A global view of the inner accretion and ejection flow around super massive black holes: radiation driven accretion disk winds in a physical context

abstract: Understanding the physics and geometry of accretion and ejection around super massive black holes (SMBHs) is important to understand the evolution of active galactic nuclei (AGN) and therefore of the large scale structures of the Universe. We aim at providing a simple, coherent, and global view of the sub-parsec accretion and ejection flow in AGN with varying Eddington ratio, $\dot{m}$, and black hole mass, $M_{BH}$. We made use of theoretical insights, results of numerical simulations, as well as UV and X-ray observations to review the inner regions of AGN by including different accretion and ejection modes, with special emphasis on the role of radiation in driving powerful accretion disk winds from the inner regions around the central SMBH. We propose five $\dot{m}$ regimes where the physics of the inner accretion and ejection flow around SMBHs is expected to change, and that correspond observationally to quiescent and inactive galaxies; low luminosity AGN (LLAGN); Seyferts and mini-broad absorption line quasars (mini-BAL QSOs); narrow line Seyfert 1 galaxies (NLS1s) and broad absorption line quasars (BAL QSOs); and super-Eddington sources. We include in this scenario radiation-driven disk winds, which are strong in the high $\dot{m}$, large $M_{BH}$ regime, and possibly present but likely weak in the moderate $\dot{m}$, small $M_{BH}$ regime. A great diversity of the accretion/ejection flows in AGN can be explained to a good degree by varying just two fundamental properties: the Eddington ratio $\dot{m}$ and the black hole mass $M_{BH}$, and by the inclusion of accretion disk winds that can naturally be launched by the radiation emitted from luminous accretion disks.


title: Learning Twitter User Sentiments on Climate Change with Limited Labeled Data

abstract: While it is well-documented that climate change accepters and deniers have become increasingly polarized in the United States over time, there has been no large-scale examination of whether these individuals are prone to changing their opinions as a result of natural external occurrences. On the sub-population of Twitter users, we examine whether climate change sentiment changes in response to five separate natural disasters occurring in the U.S. in 2018. We begin by showing that relevant tweets can be classified with over 75% accuracy as either accepting or denying climate change when using our methodology to compensate for limited labeled data; results are robust across several machine learning models and yield geographic-level results in line with prior research. We then apply RNNs to conduct a cohort-level analysis showing that the 2018 hurricanes yielded a statistically significant increase in average tweet sentiment affirming climate change. However, this effect does not hold for the 2018 blizzard and wildfires studied, implying that Twitter users' opinions on climate change are fairly ingrained on this subset of natural disasters.


title: Dual Plasmonic Modes from In-Situ Silver Nanoparticle Formation via Diffusion at Silver / Dielectric Interfaces

abstract: Metal-dielectric interfaces of various geometries are fundamental photonic material platforms for surface plasmons. Surface plasmon polaritons and localized surface plasmons are two surface plasmon modes that are excited on planar and curved metal-dielectric interfaces, respectively. Herein, we demonstrate in-situ formation of silver nanoparticles by diffusion at a planar interface between sputter-deposited silver and nitride dielectrics. In one step, we synthesize a nanostructure that exhibits both localized surface plasmon resonances at silver nanoparticles and surface plasmon resonances at the planar interface. We develop an accurate optical model describing both surface plasmon modes by applying effective medium theories to experimental ToF-SIMS and XPS depth profiles. Our findings provide fundamental material insights into intrinsic metal-dielectric interfacial defects, along with a new in-situ nanoparticle synthesis method that seamlessly integrates with conventional fabrication of planar interfaces. These unique results open the prospect of promising photonic-plasmonic applications availing the coupling of both surface plasmon modes.


title: Polarimetric Thermal to Visible Face Verification via Self-Attention Guided Synthesis

abstract: Polarimetric thermal to visible face verification entails matching two images that contain significant domain differences. Several recent approaches have attempted to synthesize visible faces from thermal images for cross-modal matching. In this paper, we take a different approach in which rather than focusing only on synthesizing visible faces from thermal faces, we also propose to synthesize thermal faces from visible faces. Our intuition is based on the fact that thermal images also contain some discriminative information about the person for verification. Deep features from a pre-trained Convolutional Neural Network (CNN) are extracted from the original as well as the synthesized images. These features are then fused to generate a template which is then used for verification. The proposed synthesis network is based on the self-attention generative adversarial network (SAGAN) which essentially allows efficient attention-guided image synthesis. Extensive experiments on the ARL polarimetric thermal face dataset demonstrate that the proposed method achieves state-of-the-art performance.


title: Subaru High-z Exploration of Low-Luminosity Quasars (SHELLQs) VIII. A less biased view of the early co-evolution of black holes and host galaxies

abstract: We present ALMA [CII] line and far-infrared (FIR) continuum observations of three $z > 6$ low-luminosity quasars ($M_{\rm 1450} > -25$) discovered by our Subaru Hyper Suprime-Cam (HSC) survey. The [CII] line was detected in all three targets with luminosities of $(2.4 - 9.5) \times 10^8~L_\odot$, about one order of magnitude smaller than optically luminous ($M_{\rm 1450} \lesssim -25$) quasars. The FIR continuum luminosities range from $< 9 \times 10^{10}~L_\odot$ (3$\sigma$ limit) to $\sim 2 \times 10^{12}~L_\odot$, indicating a wide range in star formation rates in these galaxies. Most of the HSC quasars studied thus far show [CII]/FIR luminosity ratios similar to local star-forming galaxies. Using the [CII]-based dynamical mass ($M_{\rm dyn}$) as a surrogate for bulge stellar mass ($M_{\rm bulge}$), we find that a significant fraction of low-luminosity quasars are located on or even below the local $M_{\rm BH} - M_{\rm bulge}$ relation, particularly at the massive end of the galaxy mass distribution. In contrast, previous studies of optically luminous quasars have found that black holes are overmassive relative to the local relation. Given the low luminosities of our targets, we are exploring the nature of the early co-evolution of supermassive black holes and their hosts in a less biased way. Almost all of the quasars presented in this work are growing their black hole mass at much higher pace at $z \sim 6$ than the parallel growth model, in which supermassive black holes and their hosts grow simultaneously to match the local $M_{\rm BH} - M_{\rm bulge}$ relation at all redshifts. As the low-luminosity quasars appear to realize the local co-evolutionary relation even at $z \sim 6$, they should have experienced vigorous starbursts prior to the currently observed quasar phase to catch up with the relation.


title: Efficient Supervision for Robot Learning via Imitation, Simulation, and Adaptation

abstract: Recent successes in machine learning have led to a shift in the design of autonomous systems, improving performance on existing tasks and rendering new applications possible. Data-focused approaches gain relevance across diverse, intricate applications when developing data collection and curation pipelines becomes more effective than manual behaviour design. The following work aims at increasing the efficiency of this pipeline in two principal ways: by utilising more powerful sources of informative data and by extracting additional information from existing data. In particular, we target three orthogonal fronts: imitation learning, domain adaptation, and transfer from simulation.


title: Reactor based XPS and other in-situ studies on the Effect of Substitution of Bismuth for Indium in Defect Laden Indium Oxide Hydroxide BizIn2-zO3-x(OH)y on the Photocatalytic Hydrogenation of Carbon Dioxide

abstract: The photocatalytic activity of nanostructured In2O3-x(OH)y for the Reverse Water Gas Shift (RWGS) Reaction CO2 + H2 -> CO + H2O can be greatly enhanced by substitution of Bi(III) for In(III) in the lattice of BizIn2-zO3-xOHy. This behavior was hypothesized as the effect of the population and location of Bi(III) on the Lewis acidity and Lewis basicity of proximal hydroxide and coordinately unsaturated metal surface sites in BizIn2-zO3-xOHy acting synergistically as a Frustrated Lewis Acid-Base Pair reaction. Reported herein, XPS interrogates this photochemical RWGS reaction transiting from vacuum state to similar conditions in a photocatalytic reactor, under dark and ambient temperature, 150 degC, and 150 degC with photoillumination. Binding energy shifts were used to correlate the material system's Lewis basicity response to these acidic probe gases. In-situ gas electronic sensitivity and in-situ UV-Vis derived band gap trends confirm the trends shown in the XPS results. The enhanced photo-catalytic reduction rate of CO2 with H2 with low doped 0.05% a.t Bi system is thus associated with an increased gas sensitivity in H2+CO2, a greater increase in the OH shoulder than that of the undoped system under heat and light conditions. The photo-induced expansion of the OH shoulder and the increased positive binding energy shifts shows the important role of photoillumination over that of thermal conditions. The poor catalytic performance of the high doped system can be attributed to a competing H2 reduction of In3+. The results provide new insight into how methodical tuning of the Lewis acidity and Lewis basicity of surface Frustrated Lewis Acid Base Pair sites by varying z amount in BizIn2O3-xOHy enables optimization of the rate of the photochemical RWGS.


title: Fault Detection Effectiveness of Metamorphic Relations Developed for Testing Supervised Classifiers

abstract: In machine learning, supervised classifiers are used to obtain predictions for unlabeled data by inferring prediction functions using labeled data. Supervised classifiers are widely applied in domains such as computational biology, computational physics and healthcare to make critical decisions. However, it is often hard to test supervised classifiers since the expected answers are unknown. This is commonly known as the \emph{oracle problem} and metamorphic testing (MT) has been used to test such programs. In MT, metamorphic relations (MRs) are developed from intrinsic characteristics of the software under test (SUT). These MRs are used to generate test data and to verify the correctness of the test results without the presence of a test oracle. Effectiveness of MT heavily depends on the MRs used for testing. In this paper we have conducted an extensive empirical study to evaluate the fault detection effectiveness of MRs that have been used in multiple previous studies to test supervised classifiers. Our study uses a total of 709 reachable mutants generated by multiple mutation engines and uses data sets with varying characteristics to test the SUT. Our results reveal that only 14.8\% of these mutants are detected using the MRs and that the fault detection effectiveness of these MRs do not scale with the increased number of mutants when compared to what was reported in previous studies.


title: DLBC: A Deep Learning-Based Consensus in Blockchains for Deep Learning Services

abstract: With the increasing artificial intelligence application, deep neural network (DNN) has become an emerging task. However, to train a good deep learning model will suffer from enormous computation cost and energy consumption. Recently, blockchain has been widely used, and during its operation, a huge amount of computation resources are wasted for the Proof of Work (PoW) consensus. In this paper, we propose DLBC to exploit the computation power of miners for deep learning training as proof of useful work instead of calculating hash values. it distinguishes itself from recent proof of useful work mechanisms by addressing various limitations of them. Specifically, DLBC handles multiple tasks, larger model and training datasets, and introduces a comprehensive ranking mechanism that considers tasks difficulty(e.g., model complexity, network burden, data size, queue length). We also applied DNN-watermark [1] to improve the robustness. In Section V, the average overhead of digital signature is 1.25, 0.001, 0.002 and 0.98 seconds, respectively, and the average overhead of network is 3.77, 3.01, 0.37 and 0.41 seconds, respectively. Embedding a watermark takes 3 epochs and removing a watermark takes 30 epochs. This penalty of removing watermark will prevent attackers from stealing, improving, and resubmitting DL models from honest miners.


title: Intersections of subgroups in virtually free groups and virtually free products

abstract: This note contains a (short) proof of the following generalisation of the Friedman--Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free subgroup of index $n$, then $rank(A\cap B)-1\leqslant n\cdot(rank(A)-1)\cdot(rank(B)-1)$. In addition, we obtain a virtually-free-product analogue of this result.


title: A boundary integral equation approach to computing eigenvalues of the Stokes operator

abstract: The eigenvalues and eigenfunctions of the Stokes operator have been the subject of intense analytical investigation and have applications in the study and simulation of the Navier-Stokes equations. As the Stokes operator is a fourth-order operator, computing these eigenvalues and the corresponding eigenfunctions is a challenging task, particularly in complex geometries and at high frequencies. The boundary integral equation (BIE) framework provides robust and scalable eigenvalue computations due to (a) the reduction in the dimension of the problem to be discretized and (b) the absence of high frequency "pollution" when using a Green's function to represent propagating waves. In this paper, we detail the theoretical justification for a BIE approach to the Stokes eigenvalue problem on simply and multiply-connected planar domains, which entails a treatment of the uniqueness theory for oscillatory Stokes equations on exterior domains. Then, using well-established techniques for discretizing BIEs, we present numerical results which confirm the analytical claims of the paper and demonstrate the efficiency of the overall approach.


title: Deformation Theory and Partition Lie Algebras

abstract: A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant of differential graded Lie algebras, called partition Lie algebras, in arbitrary characteristic. We then explicitly compute the homotopy groups of free algebras, which parametrise operations. Finally, we prove generalisations of the Lurie-Pridham correspondence classifying formal moduli problems via partition Lie algebras over an arbitrary field, as well as over a complete local base.


title: Setting of the predefined multiplier gain of a photomultiplier

abstract: A method to set the predefined PMT gain with high precision is described. The method supposes minimal participation of the operator. After the rough initial setting of the gain, the automated system adjusts the PMT gain within a predefined precision (up to 2%). The method has been successfully applied at the Borexino PMT test facility at LNGS for the gain adjustment of the 2000 photomultipliers for the Borexino detector


title: Higher order neck analysis of harmonic maps and its applications

abstract: In this paper, we prove some refined estimate in the neck region when a sequence of harmonic maps from surfaces blow up. The new estimate allows us to see the shape of the center of the neck region. As an application, we prove an inequality about the nullity and index when blow-up occurs.


title: Revealing Fermionic Quantum Criticality from New Monte Carlo Techniques

abstract: This review summarizes recent developments in the study of fermionic quantum criticality, focusing on new progress in numerical methodologies, especially quantum Monte Carlo methods, and insights that emerged from recently large-scale numerical simulations. Quantum critical phenomena in fermionic systems have attracted decades of extensive research efforts, partially lured by their exotic properties and potential technology applications and partially awaked by the profound and universal fundamental principles that govern these quantum critical systems. Due to the complex and non-perturbative nature, these systems belong to the most difficult and challenging problems in the study of modern condensed matter physics, and many important fundamental problems remain open. Recently, new developments in model design and algorithm improvements enabled unbiased large-scale numerical solutions to be achieved in the close vicinity of these quantum critical points, which paves a new pathway towards achieving controlled conclusions through combined efforts of theoretical and numerical studies, as well as possible theoretical guidance for experiments in heavy-fermion compounds, Cu-based and Fe-based superconductors, ultra-cold fermionic atomic gas, twisted graphene layers, etc., where signatures of fermionic quantum criticality exist.


title: Asymptotically Efficient Quantum Karatsuba Multiplication

abstract: We improve the space complexity of Karatsuba multiplication on a quantum computer from $O(n^{1.427})$ to $O(n)$ while maintaining $O(n^{\lg 3})$ gate complexity. We achieve this by ensuring recursive calls can add their outputs directly into subsections of the output register. This avoids the need to store, and uncompute, intermediate results. This optimization, which is analogous to classical tail-call optimization, should be applicable to a wide range of recursive quantum algorithms.


title: An Integral Equation Method for the Cahn-Hilliard Equation in the Wetting Problem

abstract: We present an integral equation approach to solving the Cahn-Hilliard equation equipped with boundary conditions that model solid surfaces with prescribed Young's angles. The discretization of the system in time using convex splitting leads to a modified biharmonic equation at each time step. To solve it, we split the solution into a volume potential computed with free space kernels, plus the solution to a second kind integral equation (SKIE). The volume potential is evaluated with the help of a box-based volume-FMM method. For non-box domains, source density is extended by solving a biharmonic Dirichlet problem. The near-singular boundary integrals are computed using quadrature by expansion (QBX) with FMM acceleration. Our method has linear complexity in the number of surface/volume degrees of freedom and can achieve high order convergence with adaptive refinement to manage error from function extension.


title: Deterministic Preparation of Dicke States

abstract: The Dicke state $|D_k^n\rangle$ is an equal-weight superposition of all $n$-qubit states with Hamming Weight $k$ (i.e. all strings of length $n$ with exactly $k$ ones over a binary alphabet). Dicke states are an important class of entangled quantum states that among other things serve as starting states for combinatorial optimization quantum algorithms. We present a deterministic quantum algorithm for the preparation of Dicke states. Implemented as a quantum circuit, our scheme uses $O(kn)$ gates, has depth $O(n)$ and needs no ancilla qubits. The inductive nature of our approach allows for linear-depth preparation of arbitrary symmetric pure states and -- used in reverse -- yields a quasilinear-depth circuit for efficient compression of quantum information in the form of symmetric pure states, improving on existing work requiring quadratic depth. All of these properties even hold for Linear Nearest Neighbor architectures.


title: Universal relaxation dynamics of sphere packings below jamming

abstract: We show that non-Brownian suspensions of repulsive spheres below jamming display a slow relaxational dynamics with a characteristic time scale that diverges at jamming. This slow time scale is fully encoded in the structure of the unjammed packing and can be readily measured via the vibrational density of states. We show that the corresponding dynamic critical exponent is the same for randomly generated and sheared packings. Our results show that a wide variety of physical situations, from suspension rheology to algorithmic studies of the jamming transition are controlled by a unique diverging timescale, with a universal critical exponent.


title: Interferometric scattering enables fluorescence-free electrokinetic trapping of single nanoparticles in free solution

abstract: Anti-Brownian traps confine single particles in free solution by closed-loop feedback forces that directly counteract Brownian motion. The extended-duration measurement of trapped objects allows detailed characterization of photophysical and transport properties, as well as observation of infrequent or rare dynamics. However, this approach has been generally limited to particles that can be tracked by fluorescent emission. Here we present the Interferometric Scattering Anti-Brownian ELectrokinetic trap (ISABEL trap), which uses interferometric scattering rather than fluorescence to monitor particle position. By decoupling the ability to track (and therefore trap) a particle from collection of its spectroscopic data, the ISABEL trap enables confinement and extended study of single particles that do not fluoresce, that only weakly fluoresce, or which exhibit intermittent fluorescence or photobleaching. This new technique significantly expands the range of nanoscale objects that may be investigated at the single-particle level in free solution.

categories: physics.ins-det physics.app-ph physics.bio-ph physics.optics q-bio.QM


title: Custom Video-Oculography Device and Its Application to Fourth Purkinje Image Detection during Saccades

abstract: We built a custom video-based eye-tracker that saves every video frame as a full resolution image (MJPEG). Images can be processed offline for the detection of ocular features, including the pupil and corneal reflection (First Purkinje Image, P1) position. A comparison of multiple algorithms for detection of pupil and corneal reflection can be performed. The system provides for highly flexible stimulus creation, with mixing of graphic, image, and video stimuli. We can change cameras and infrared illuminators depending on the image qualities and frame rate desired. Using this system, we have detected the position of the Fourth Purkinje image (P4) in the frames. We show that when we estimate gaze by calculating P1-P4, signal compares well with gaze estimated with a DPI eye-tracker, which natively detects and tracks the P1 and P4.


title: The Pulsating Eclipsing Binary TIC 309658221 in a 7.59 Day Orbit

abstract: We present a new eclipsing binary (EB) showing multiperiodic oscillations using the first three sectors of {\it TESS} photometry. The eclipse and pulsation light curves of TIC 309658221 were modeled using an iterative method to obtain a consistent photometric solution. The {\it TESS} target is a circular-orbit, detached binary system with a mass ratio of 0.349, an inclination angle of 80.42 deg, and a temperature difference of 847 K between the components. The primary component of the system lies near the red edge of the $\delta$ Sct instability region on the main-sequence band in the Hertzsprung-Russell diagram. Multiple frequency analyses were applied to the eclipse-subtracted residuals after removing the binary effects in the observed data. These resulted in the detection of 26 frequencies, of which $f_1-f_6$ were independent pulsation frequencies. The 20 other frequencies could be mainly caused by orbital harmonics ($f_8$ and $f_{11}$) or combination frequencies. The period ratios and pulsation constants of the $f_1-f_6$ frequencies are in the ranges of $P_{\rm pul}/P_{\rm orb}$ = 0.010$-$0.013 and Q = 0.027$-$0.036 days, respectively, which are typical of $\delta$ Sct type. The results reveal that TIC 309658221 is an eclipsing $\delta$ Sct star with an orbital period of 7.5952 days and pulsation frequencies of 9.94$-$13.01 day$^{-1}$. This work demonstrates that the 2-min cadence observations of {\it TESS} are very useful for the study of pulsating EBs with multiple frequencies and low amplitudes.


title: Heat kernel of fractional Laplacian with Hardy drift via desingularizing weights

abstract: We establish sharp two-sided bounds on the heat kernel of the fractional Laplacian, perturbed by a drift having critical-order singularity, by transferring it to appropriate weighted space with singular weight.


title: Dimensionless solutions and general characteristics of bioheat transfer during thermal therapy

abstract: The derivation and application of the general characteristics of bioheat transfer for medical applications are shown in this paper. Two general bioheat transfer characteristics are derived from solutions of one-dimensional Pennes' bioheat transfer equation; steady-state thermal penetration depth, which is the deepest depth where the heat effect reaches; and time to reach steady state, which represents the amount of time necessary for temperature distribution to converge to a steady-state. All results are described by dimensionless form; therefore these results provide information on temperature distribution in biological tissue for various thermal therapies by transforming to dimension form.


title: Non-Markovian evolution of multi-level system interacting with several reservoirs. Exact and approximate

abstract: An exactly solvable model for the multi-level system interacting with several reservoirs at zero temperatures is presented. Population decay rates and decoherence rates predicted by exact solution and several approximate master equations, which are widespread in physical literature, are compared. The space of parameters is classified with respect to different inequities between the exact and approximate rates.


title: Efficiently Exploring Ordering Problems through Conflict-directed Search

abstract: In planning and scheduling, solving problems with both state and temporal constraints is hard since these constraints may be highly coupled. Judicious orderings of events enable solvers to efficiently make decisions over sequences of actions to satisfy complex hybrid specifications. The ordering problem is thus fundamental to planning. Promising recent works have explored the ordering problem as search, incorporating a special tree structure for efficiency. However, such approaches only reason over partial order specifications. Having observed that an ordering is inconsistent with respect to underlying constraints, prior works do not exploit the tree structure to efficiently generate orderings that resolve the inconsistency. In this paper, we present Conflict-directed Incremental Total Ordering (CDITO), a conflict-directed search method to incrementally and systematically generate event total orders given ordering relations and conflicts returned by sub-solvers. Due to its ability to reason over conflicts, CDITO is much more efficient than Incremental Total Ordering. We demonstrate this by benchmarking on temporal network configuration problems that involve routing network flows and allocating bandwidth resources over time.


title: Modeling Network Populations via Graph Distances

abstract: This article introduces a new class of models for multiple networks. The core idea is to parametrize a distribution on labelled graphs in terms of a Fr\'{e}chet mean graph (which depends on a user-specified choice of metric or graph distance) and a parameter that controls the concentration of this distribution about its mean. Entropy is the natural parameter for such control, varying from a point mass concentrated on the Fr\'{e}chet mean itself to a uniform distribution over all graphs on a given vertex set. We provide a hierarchical Bayesian approach for exploiting this construction, along with straightforward strategies for sampling from the resultant posterior distribution. We conclude by demonstrating the efficacy of our approach via simulation studies and two multiple-network data analysis examples: one drawn from systems biology and the other from neuroscience.


title: Optimal Placement of UAVs for Minimum Outage Probability

abstract: We consider multiple unmanned aerial vehicles (UAVs) serving a density of ground terminals (GTs) as base stations. The objective is to minimize the outage probability of GT-to-UAV transmissions. Optimal placement of UAVs under different UAV altitude constraints and GT densities is studied. First, using a random deployment argument, a general upper bound on the optimal outage probability is found for any density of GTs and any number of UAVs. A matching lower bound is also derived to show that the optimal outage probability decays exponentially with the number of UAVs. Next, the structure of optimal deployments is studied when the common altitude constraint is large. For a wide class of GT densities, it is shown that all UAVs should be placed to the same location in an optimal deployment. A design implication is that one can use a single multi-antenna UAV as opposed to multiple single-antenna UAVs without loss of optimality. This result is also extended to a practical variant of the Rician fading model recently developed by Azari et al. for UAV communications. Numerical deployment of UAVs in the centralized and practical distributed settings are carried out using the particle swarm optimization and modified gradient descent algorithms, respectively.


title: Quantum Metasurfaces

abstract: Metasurfaces mold the flow of classical light waves by engineering sub-wavelength patterns from dielectric or metallic thin films. We describe and analyze a method in which quantum operator-valued reflectivity can be used to control both spatio-temporal and quantum properties of transmitted and reflected light. Such a quantum metasurface is realized by preparing and manipulating entangled superposition states of atomically thin reflectors. Specifically, we show that such a system allows for massively parallel quantum operations between atoms and photons and for the generation of highly non-classical states of light, including photonic GHZ and cluster states suitable for quantum information processing. We analyze the influence of imperfections and decoherence, as well as specific implementations based on atom arrays excited into Rydberg states. Finally, the extension to quantum metamaterials and emulations of quantum gravitational background for light are discussed.


title: Are Self-Driving Cars Secure? Evasion Attacks against Deep Neural Networks for Steering Angle Prediction

abstract: Deep Neural Networks (DNNs) have tremendous potential in advancing the vision for self-driving cars. However, the security of DNN models in this context leads to major safety implications and needs to be better understood. We consider the case study of steering angle prediction from camera images, using the dataset from the 2014 Udacity challenge. We demonstrate for the first time adversarial testing-time attacks for this application for both classification and regression settings. We show that minor modifications to the camera image (an L2 distance of 0.82 for one of the considered models) result in mis-classification of an image to any class of attacker's choice. Furthermore, our regression attack results in a significant increase in Mean Square Error (MSE) by a factor of 69 in the worst case.


title: A model of dynamical SUSY breaking

abstract: Supersymmetric (SUSY) models and dynamical breaking of symmetries have been used to explain hierarchies of mass scales. We find that a chiral representation, $\overline{\bf 10}\, \oplus\, \overline{\bf 5}\, \oplus\, 2\cdot{\bf 5}$ in SUSY SU(5) in the hidden sector, breaks global SUSY dynamically, by producing a composite field $\phi$ below the SU(5) confinement scale. This dynamincal SUSY breaking can have two important applications, one in particle physics and the other in cosmology. Gavitational effects transmit this dynamical breaking to the standard model(SM) superpartners and the quintessential vacuum energy. The SM superpartners feel the effects just by the magnitude of the gravitino mass while the smallness of the quintessential vacuum energy is due to the composite nature of a singlet field $\phi$. The composite $\phi$ carries a global charge which is hardly broken in SUSY and hence its phase can be used toward a quintessential axion for dark energy of the Universe.


title: Something's Brewing! Early Prediction of Controversy-causing Posts from Discussion Features

abstract: Controversial posts are those that split the preferences of a community, receiving both significant positive and significant negative feedback. Our inclusion of the word "community" here is deliberate: what is controversial to some audiences may not be so to others. Using data from several different communities on reddit.com, we predict the ultimate controversiality of posts, leveraging features drawn from both the textual content and the tree structure of the early comments that initiate the discussion. We find that even when only a handful of comments are available, e.g., the first 5 comments made within 15 minutes of the original post, discussion features often add predictive capacity to strong content-and-rate only baselines. Additional experiments on domain transfer suggest that conversation-structure features often generalize to other communities better than conversation-content features do.


title: A strange phenomenon of XZ Andromedae: two Keplerian periods with a 1:3 ratio

abstract: Six mid-eclipse times of the eclipsing binary XZ And are obtained, which are analysed together with others collected from the literature. Two sets of cyclic variations with periods of 33.43 and 100.4 yr are found if a double-Keplerian model is used to fit the data. The 1:3 ratio of the periods suggests that both cyclic variations arise from dynamic motions of two companions rather than magnetic activity of the eclipsing pair. According to the double-Keplerian model, the companions have the masses of about 1.32 Msun and 1.33 Msun, respectively. Comparing the total masses of the eclipsing pair of 3.12 Msun, it is obvious that XZ And is a general N-body system. The strong gravitational perturbation between two companions invalidates the double-Keplerian model. It is strange that two Keplerian periods with a 1:3 ratio are derived from the best fits with the inappropriate model. The illogical, but interesting phenomena also appear in other two Algol systems, suggesting that our discoveries deserve attention from astronomers.


title: Helping IT and OT Defenders Collaborate

abstract: Cyber-physical systems, especially in critical infrastructures, have become primary hacking targets in international conflicts and diplomacy. However, cyber-physical systems present unique challenges to defenders, starting with an inability to communicate. This paper outlines the results of our interviews with information technology (IT) defenders and operational technology (OT) operators and seeks to address lessons learned from them in the structure of our notional solutions. We present two problems in this paper: (1) the difficulty of coordinating detection and response between defenders who work on the cyber/IT and physical/OT sides of cyber-physical infrastructures, and (2) the difficulty of estimating the safety state of a cyber-physical system while an intrusion is underway but before damage can be effected by the attacker. To meet these challenges, we propose two solutions: (1) a visualization that will enable communication between IT defenders and OT operators, and (2) a machine-learning approach that will estimate the distance from normal the physical system is operating and send information to the visualization.


title: Maximal displacement of simple random walk bridge on Galton-Watson trees

abstract: We analyze simple random walk on a supercritical Galton-Watson tree, where the walk is conditioned to return to the root at time $2n$. Specifically, we establish the asymptotic order (up to a constant factor) as $n\to\infty$, of the maximal displacement from the root. Our results, which are shown to hold for almost surely every surviving tree $T$ (subject to some mild moment conditions), are broken up into two cases. When the offspring distribution takes a value less than or equal to $1$ with positive probability, the maximal displacement of the bridge is shown to be on the order of $n^{1/3}$. Conversely, when the offspring distribution has minimum possible value equal to at least $2$ (and is non-constant), the maximal displacement is shown to be of order less than $n$, but greater than $n^{\gamma}$ (for any $\gamma<1$). Each of these cases is in contrast to the case of a regular tree, on which the bridge is known to be diffusive. To obtain our results, we show how the walk tends to gravitate towards large clusters of vertices of minimal degree, where it then proceeds to spend most of its time. The size and frequency of such clusters is generally dependent on the minimum possible value attainable by the offspring distribution, and it is this fact which largely accounts for the existence of the two regimes.


title: A spline interpolation based data reconstruction technique for estimation of strain time constant in ultrasound poroelastography

abstract: Ultrasound poroelastography is a cost-effective non-invasive imaging technique, which is able to reconstruct several mechanical parameters of cancer and normal tissue such as Young's modulus, Poisson's ratio, interstitial permeability and vascular permeability. To estimate the permeabilities, estimation of the strain time constant (TC) is required, which is a challenging task because of non-linearity of the exponential strain curve and noise present in the experimental data. Moreover, noise in many strain frames becomes very high because of motion artifacts from the sonographer, animal/patient and/or the environment. Therefore, using these frames in computation of strain TC can lead to inaccurate estimates of the mechanical parameters. In this letter, we introduce a cubic spline based interpolation method, which uses only the good frames (frame of high SNR) to reconstruct the information of the bad frames (frames of low SNR) and estimate the strain TC. We prove with finite element simulation that the proposed reconstruction method can improve the estimation accuracy of the strain TC by 46% in comparison to the estimates from noisy data, and 37% in comparison to the estimates from Kalman filtered data at an SNR of 30dB. Based on the high accuracy of the proposed method in estimating strain TC from poroelastography data, the proposed method can be preferred technique by the clinicians and researchers interested in non-invasive imaging of tissue mechanical parameters.


title: Non-Stochastic Hypothesis Testing with Application to Privacy Against Hypothesis-Testing Adversary

abstract: In this paper, we consider privacy against hypothesis testing adversaries within a non-stochastic framework. We develop a theory of non-stochastic hypothesis testing by borrowing the notion of uncertain variables from non-stochastic information theory. We define tests as binary-valued mappings on uncertain variables and prove a fundamental bound on the best performance of tests in non-stochastic hypothesis testing. We use this bound to develop a measure of privacy. We then construct reporting policies with prescribed privacy and utility guarantees. The utility of a reporting policy is measured by the distance between the reported and original values. We illustrate the effects of using such privacy-preserving reporting polices on a publicly-available practical dataset of preferences and demographics of young individuals, aged between 15-30, with Slovakian nationality.


title: The role of deformability in determining the structural and mechanical properties of bubbles and emulsions

abstract: We perform computational studies of jammed particle packings in two dimensions undergoing isotropic compression using the well-characterized soft particle (SP) model and the deformable particle (DP) model that we developed for compressed bubbles and emulsions. In the SP model, circular particles are allowed to overlap, generating purely repulsive forces. In the DP model, particles minimize their perimeter, while deforming at fixed area to avoid overlap during compression. We directly compare the structural and mechanical properties of jammed particle packings generated using the SP and DP models as a function of the true packing fraction $\rho$, instead of the reduced number density $\phi$. We show that near jamming onset the excess contact number $\Delta z=z-z_J$ and shear modulus ${\cal G}$ scale as $\Delta \rho^{0.5}$ in the large system limit for both the SP and DP models, where $\Delta \rho = \rho-\rho_J$ and $z_J \approx 4$ and $\rho_J \approx 0.842$ are the values at jamming onset. $\Delta z$ and ${\cal G}$ for the SP and DP models begin to differ for $\rho \gtrsim 0.88$. In this regime, $\Delta z \sim {\cal G}$ can be described by a sum of two power-laws in $\Delta \rho$, i.e. $\Delta z \sim {\cal G} \sim C_0\Delta \rho^{0.5} +C_1\Delta \rho^{1.0}$ to lowest order. We show that the ratio $C_1/C_0$ is much larger for the DP model compared to to that for the SP model. We also characterize the void space in jammed packings as a function of $\rho$. We find that, unlike the SP model, the DP model is able to describe the formation of Plateau borders as the system approaches $\rho = 1$. We further show that the results for $z$ and the shape factor ${\cal A}$ versus $\rho$ for the DP model agree with recent experimental studies of compressed foams and emulsions.


title: Speed and Separation Monitoring using on-robot Time--of--Flight laser--ranging sensor arrays

abstract: In this paper, a speed and separation monitoring (SSM) based safety controller using three time-of-flight ranging sensor arrays fastened to the robot links, is implemented. Based on the human-robot minimum distance and their relative velocities, a controller output characterized by a modulating robot operation speed is obtained. To avert self-avoidance, a self occlusion detection method is implemented using ray-casting technique to filter out the distance values associated with the robot-self and the restricted robot workspace. For validation, the robot workspace is monitored using a motion capture setup to create a digital twin of the human and robot. This setup is used to compare the safety,performance and productivity of various versions of SSM safety configurations based on minimum distance between human and robot calculated using on-robot Time-of-Flight sensors, motion capture and a 2D scanning lidar.


title: A Solution for Dynamic Spectrum Management in Mission-Critical UAV Networks

abstract: In this paper, we study the problem of spectrum scarcity in a network of unmanned aerial vehicles (UAVs) during mission-critical applications such as disaster monitoring and public safety missions, where the pre-allocated spectrum is not sufficient to offer a high data transmission rate for real-time video-streaming. In such scenarios, the UAV network can lease part of the spectrum of a terrestrial licensed network in exchange for providing relaying service. In order to optimize the performance of the UAV network and prolong its lifetime, some of the UAVs will function as a relay for the primary network while the rest of the UAVs carry out their sensing tasks. Here, we propose a team reinforcement learning algorithm performed by the UAV's controller unit to determine the optimum allocation of sensing and relaying tasks among the UAVs as well as their relocation strategy at each time. We analyze the convergence of our algorithm and present simulation results to evaluate the system throughput in different scenarios.


title: Approximation Algorithms for Distributionally Robust Stochastic Optimization with Black-Box Distributions

abstract: Two-stage stochastic optimization is a framework for modeling uncertainty, where we have a probability distribution over possible realizations of the data, called scenarios, and decisions are taken in two stages: we make first-stage decisions knowing only the underlying distribution and before a scenario is realized, and may take additional second-stage recourse actions after a scenario is realized. The goal is typically to minimize the total expected cost. A criticism of this model is that the underlying probability distribution is itself often imprecise! To address this, a versatile approach that has been proposed is the {\em distributionally robust 2-stage model}: given a collection of probability distributions, our goal now is to minimize the maximum expected total cost with respect to a distribution in this collection. We provide a framework for designing approximation algorithms in such settings when the collection is a ball around a central distribution and the central distribution is accessed {\em only via a sampling black box}. We first show that one can utilize the {\em sample average approximation} (SAA) method to reduce the problem to the case where the central distribution has {\em polynomial-size} support. We then show how to approximately solve a fractional relaxation of the SAA (i.e., polynomial-scenario central-distribution) problem. By complementing this via LP-rounding algorithms that provide {\em local} (i.e., per-scenario) approximation guarantees, we obtain the {\em first} approximation algorithms for the distributionally robust versions of a variety of discrete-optimization problems including set cover, vertex cover, edge cover, facility location, and Steiner tree, with guarantees that are, except for set cover, within $O(1)$-factors of the guarantees known for the deterministic version of the problem.


title: Matrix Algebras with a Certain Compression Property II

abstract: A subalgebra $\mathcal{A}$ of $\mathbb{M}_n(\mathbb{C})$ is said to be projection compressible if $P\mathcal{A}P$ is an algebra for all orthogonal projections $P\in\mathbb{M}_n(\mathbb{C})$. Likewise, $\mathcal{A}$ is said to be idempotent compressible if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. In this paper, a case-by-case analysis is used to classify the unital projection compressible subalgebras of $\mathbb{M}_n(\mathbb{C})$, $n\geq 4$, up to transposition and unitary equivalence. It is observed that every algebra shown to admit the projection compression property is, in fact, idempotent compressible. We therefore extend the findings of Cramer, Marcoux, and Radjavi (arXiv:1904.06803 [math.RA]) in the setting of $\mathbb{M}_3(\mathbb{C})$, proving that the two notions of compressibility agree for all unital matrix algebras.


title: Helping Effects Against Curse of Dimensionality in Threshold Factor Models for Matrix Time Series

abstract: As is known, factor analysis is a popular method to reduce dimension for high-dimensional data. For matrix data, the dimension reduction can be more effectively achieved through both row and column directions. In this paper, we introduce a threshold factor models to analyze matrix-valued high-dimensional time series data. The factor loadings are allowed to switch between regimes, controlling by a threshold variable. The estimation methods for loading spaces, threshold value, and the number of factors are proposed. The asymptotic properties of these estimators are investigated. Not only the strengths of thresholding and factors, but also their interactions from different directions and different regimes play an important role on the estimation performance. When the thresholding and factors are all strong across regimes, the estimation is immune to the impact that the increase of dimension brings, which breaks the curse of dimensionality. When the thresholding in two directions and factors across regimes have different levels of strength, we show that estimators for loadings and threshold value experience 'helping' effects against the curse of dimensionality. We also discover that even when the numbers of factors are overestimated, the estimators are still consistent. The proposed methods are illustrated with both simulated and real examples.


title: Modelling DESTINY+ interplanetary and interstellar dust measurements en route to the active asteroid (3200) Phaethon

abstract: The JAXA/ISAS spacecraft DESTINY$^+$ will be launched to the active asteroid (3200) Phaethon in 2022. Among the proposed core payload is the DESTINY+ Dust Analyzer (DDA) which is an upgrade of the Cosmic Dust Analyzer flown on the Cassini spacecraft to Saturn (Srama et al. 2011). We use two up-to-date computer models, the ESA Interplanetary Meteoroid Engineering Model (IMEM, Dikarev et al. 2005), and the interstellar dust module of the Interplanetary Meteoroid environment for EXploration model (IMEX; Sterken2013 et al., Strub et al. 2019) to study the detection conditions and fluences of interplanetary and interstellar dust with DDA. Our results show that a statistically significant number of interplanetary and interstellar dust particles will be detectable with DDA during the 4-years interplanetary cruise of DESTINY+. The particle impact direction and speed can be used to descriminate between interstellar and interplanetary particles and likely also to distinguish between cometary and asteroidal particles.


title: Temperature profile of an assemblage of non-isothermic linear energy converters

abstract: In this paper, a proposal is presented to determine the temperature profile obtained for an assemblage of non-isothermal linear energy converters (ANLEC) published by Jimenez de Cisneros and Calvo Hernandez [1,2]. This is done without solving the Riccati's differential equation, needed by these authors to get the temperature profile. Instead of use Riccati's equation, we deduce a first order ordinary differential equation, through the introduction of the force ratio $x_{D,I}$ of an ANLEC's machine-element which operates at some optimal regime. Additionally, we used the integration constant, that comes from the solution of this differential equation, to deduce the general heat fluxes of the ANLEC and tuning the assamblage's operation as direct energy converter or inverse energy converter. The temperature profile will serve to obtain the energetic behavior of a non-isothermal energy converter as heat engine, cooler or heat pump.


title: I4U Submission to NIST SRE 2018: Leveraging from a Decade of Shared Experiences

abstract: The I4U consortium was established to facilitate a joint entry to NIST speaker recognition evaluations (SRE). The latest edition of such joint submission was in SRE 2018, in which the I4U submission was among the best-performing systems. SRE'18 also marks the 10-year anniversary of I4U consortium into NIST SRE series of evaluation. The primary objective of the current paper is to summarize the results and lessons learned based on the twelve sub-systems and their fusion submitted to SRE'18. It is also our intention to present a shared view on the advancements, progresses, and major paradigm shifts that we have witnessed as an SRE participant in the past decade from SRE'08 to SRE'18. In this regard, we have seen, among others, a paradigm shift from supervector representation to deep speaker embedding, and a switch of research challenge from channel compensation to domain adaptation.


title: Predicting Fluid Intelligence of Children using T1-weighted MR Images and a StackNet

abstract: In this work, we utilize T1-weighted MR images and StackNet to predict fluid intelligence in adolescents. Our framework includes feature extraction, feature normalization, feature denoising, feature selection, training a StackNet, and predicting fluid intelligence. The extracted feature is the distribution of different brain tissues in different brain parcellation regions. The proposed StackNet consists of three layers and 11 models. Each layer uses the predictions from all previous layers including the input layer. The proposed StackNet is tested on a public benchmark Adolescent Brain Cognitive Development Neurocognitive Prediction Challenge 2019 and achieves a mean squared error of 82.42 on the combined training and validation set with 10-fold cross-validation. In addition, the proposed StackNet also achieves a mean squared error of 94.25 on the testing data. The source code is available on GitHub.


title: Point-width and Max-CSPs

abstract: The complexity of (unbounded-arity) Max-CSPs under structural restrictions is poorly understood. The two most general hypergraph properties known to ensure tractability of Max-CSPs, $\beta$-acyclicity and bounded (incidence) MIM-width, are incomparable and lead to very different algorithms. We introduce the framework of point decompositions for hypergraphs and use it to derive a new sufficient condition for the tractability of (structurally restricted) Max-CSPs, which generalises both bounded MIM-width and \b{eta}-acyclicity. On the way, we give a new characterisation of bounded MIM-width and discuss other hypergraph properties which are relevant to the complexity of Max-CSPs, such as $\beta$-hypertreewidth.


title: Equilibration of Quasi-One-Dimensional Fermi Gases

abstract: One-dimensional systems often possess multiple channels or bands arising from the excitation of transverse degrees of freedom. In the present work, we study the specific processes that dominate the equilibration of multi-channel Fermi gases at low temperatures. Focusing on the case of two channels, we perform an analysis of the relaxation properties of these systems by studying the spectrum and eigenmodes of the linearized collision integral. As an application of this analysis, a detailed calculation of the bulk viscosity is presented. The dominant scattering processes obey an unexpected conservation law which is likely to affect the hydrodynamic behavior of these systems.


title: Perspective: Toward large-scale fault-tolerant universal photonic quantum computing

abstract: Photonic quantum computing is one of the leading approaches to universal quantum computation. However, large-scale implementation of photonic quantum computing has been hindered by its intrinsic difficulties, such as probabilistic entangling gates for photonic qubits and lack of scalable ways to build photonic circuits. Here we discuss how to overcome these limitations by taking advantage of two key ideas which have recently emerged. One is a hybrid qubit-continuous variable approach for realizing a deterministic universal gate set for photonic qubits. The other is time-domain multiplexing technique to perform arbitrarily large-scale quantum computing without changing the configuration of photonic circuits. These ideas together will enable scalable implementation of universal photonic quantum computers in which hardware-efficient error correcting codes can be incorporated. Furthermore, all-optical implementation of such systems can increase the operational bandwidth beyond THz in principle, utimately enabling large-scale fault-tolerant universal quantum computers with ultra-high operation frequency.


title: Be Concise and Precise: Synthesizing Open-Domain Entity Descriptions from Facts

abstract: Despite being vast repositories of factual information, cross-domain knowledge graphs, such as Wikidata and the Google Knowledge Graph, only sparsely provide short synoptic descriptions for entities. Such descriptions that briefly identify the most discernible features of an entity provide readers with a near-instantaneous understanding of what kind of entity they are being presented. They can also aid in tasks such as named entity disambiguation, ontological type determination, and answering entity queries. Given the rapidly increasing numbers of entities in knowledge graphs, a fully automated synthesis of succinct textual descriptions from underlying factual information is essential. To this end, we propose a novel fact-to-sequence encoder-decoder model with a suitable copy mechanism to generate concise and precise textual descriptions of entities. In an in-depth evaluation, we demonstrate that our method significantly outperforms state-of-the-art alternatives.


title: NAS-FPN: Learning Scalable Feature Pyramid Architecture for Object Detection

abstract: Current state-of-the-art convolutional architectures for object detection are manually designed. Here we aim to learn a better architecture of feature pyramid network for object detection. We adopt Neural Architecture Search and discover a new feature pyramid architecture in a novel scalable search space covering all cross-scale connections. The discovered architecture, named NAS-FPN, consists of a combination of top-down and bottom-up connections to fuse features across scales. NAS-FPN, combined with various backbone models in the RetinaNet framework, achieves better accuracy and latency tradeoff compared to state-of-the-art object detection models. NAS-FPN improves mobile detection accuracy by 2 AP compared to state-of-the-art SSDLite with MobileNetV2 model in [32] and achieves 48.3 AP which surpasses Mask R-CNN [10] detection accuracy with less computation time.


title: Wall Stress Distributions in Abdominal Aortic Aneurysms Do Not Correlate With Symptoms

abstract: Abdominal aortic aneurysm (AAA) is a permanent and irreversible dilation of the lower region of the aorta. It is typically an asymptomatic condition that if left untreated can expand to the point of rupture. Mechanically-speaking, rupture of an artery occurs when the local wall stress exceeds the local wall strength. It is therefore understandable that numerous studies have attempted to estimate the AAA wall stress. Recently the Intelligent Systems for Medicine Laboratory (ISML) presented a very efficient method to compute AAA wall stress using geometry from Computed Tomography (CT) images, and median arterial pressure as the applied load. The ISML's method is embedded in the software platform BioPARR - Biomechanics based Prediction of Aneurysm Rupture Risk, freely available from http://bioparr.mech.uwa.edu.au/. The uniqueness of our stress computation approach is three-fold: i) the results are insensitive to unknown patient-specific mechanical properties of arterial wall tissue; ii) the residual stress is accounted for, according to Y.C. Fung's Uniform Stress Hypothesis; and iii) the analysis is automated and quick, making our approach compatible with clinical workflows. In this study we evaluated 19 cases of AAA. A proportion of these were classified as symptomatic. The results of the analysis demonstrate, contrary to the common view, that neither the wall stress magnitude nor the stress distribution correlate with the presence of clinical symptoms.


title: Combining RGB and Points to Predict Grasping Region for Robotic Bin-Picking

abstract: This paper focuses on a robotic picking tasks in cluttered scenario. Because of the diversity of objects and clutter by placing, it is much difficult to recognize and estimate their pose before grasping. Here, we use U-net, a special Convolution Neural Networks (CNN), to combine RGB images and depth information to predict picking region without recognition and pose estimation. The efficiency of diverse visual input of the network were compared, including RGB, RGB-D and RGB-Points. And we found the RGB-Points input could get a precision of 95.74%.


title: Population dynamics in river networks

abstract: Natural rivers connect to each other to form networks. The geometric structure of a river network can significantly influence spatial dynamics of populations in the system. We consider a process-oriented model to describe population dynamics in river networks of trees, establish the fundamental theories of the corresponding parabolic problems and elliptic problems, derive the persistence threshold by using the principal eigenvalue of the eigenvalue problem, and define the net reproductive rate to describe population persistence or extinction. By virtue of numerical simulations, we investigate the effects of hydrological, physical, and biological factors, especially the structure of the river network, on population persistence.


title: Real Image Denoising with Feature Attention

abstract: Deep convolutional neural networks perform better on images containing spatially invariant noise (synthetic noise); however, their performance is limited on real-noisy photographs and requires multiple stage network modeling. To advance the practicability of denoising algorithms, this paper proposes a novel single-stage blind real image denoising network (RIDNet) by employing a modular architecture. We use a residual on the residual structure to ease the flow of low-frequency information and apply feature attention to exploit the channel dependencies. Furthermore, the evaluation in terms of quantitative metrics and visual quality on three synthetic and four real noisy datasets against 19 state-of-the-art algorithms demonstrate the superiority of our RIDNet.


title: Coupling of homogeneous and heterogeneous melting kinetics in polycrystalline materials

abstract: Melting kinetics of polycrystalline materials is analyzed on the basis of a new model which explicitly couples homogeneous and heterogeneous melting mechanisms. The distinct feature of this approach lies in its ability to evaluate not only grain-size-distribution effects on the overall melting kinetics but also competitions between the two melting mechanisms. For the first time, we reveal the three-part structure of temperature-time-transformation diagrams for melting of polycrystalline materials, through which it is possible to determine a critical temperature across which the dominant melting mechanism switches. The critical temperature increases as the mean-grain-diameter decreases following a negative power-law. The results are qualitatively consistent with experimental observations.


title: Large-amplitude quadrupole shape mixing probed by the $(p,p^\prime)$ reaction : a model analysis

abstract: To discuss a possible observation of large-amplitude nuclear shape mixing by nuclear reaction, we employ a simple collective model and evaluate transition densities, with which the differential cross sections are obtained through the microscopic coupled-channel calculation. Assuming the spherical-to-prolate shape transition, we focus on large-amplitude shape mixing associated with the softness of the collective potential in the $\beta$ direction. We introduce a simple model based on the five-dimensional quadrupole collective Hamiltonian, which simulates a chain of isotopes that exhibit spherical-to-prolate shape phase transition. Taking $^{154}$Sm as an example and controlling the model parameters, we study how the large-amplitude shape mixing affects the elastic and inelastic proton scatterings. The calculated results suggest that the inelastic cross section of the $2_2^+$ state tells us an important role of the quadrupole shape mixing.


title: Adaptive Wing Loss for Robust Face Alignment via Heatmap Regression

abstract: Heatmap regression with a deep network has become one of the mainstream approaches to localize facial landmarks. However, the loss function for heatmap regression is rarely studied. In this paper, we analyze the ideal loss function properties for heatmap regression in face alignment problems. Then we propose a novel loss function, named Adaptive Wing loss, that is able to adapt its shape to different types of ground truth heatmap pixels. This adaptability penalizes loss more on foreground pixels while less on background pixels. To address the imbalance between foreground and background pixels, we also propose Weighted Loss Map, which assigns high weights on foreground and difficult background pixels to help training process focus more on pixels that are crucial to landmark localization. To further improve face alignment accuracy, we introduce boundary prediction and CoordConv with boundary coordinates. Extensive experiments on different benchmarks, including COFW, 300W and WFLW, show our approach outperforms the state-of-the-art by a significant margin on various evaluation metrics. Besides, the Adaptive Wing loss also helps other heatmap regression tasks. Code will be made publicly available at https://github.com/protossw512/AdaptiveWingLoss.


title: Self-gravitational Force Calculation of High-Order Accuracy for Infinitesimally Thin Gaseous Disks

abstract: Self-gravitational force calculation for infinitesimally thin disks is important for studies on the evolution of galactic and protoplanetary disks. Although high-order methods have been developed for hydrodynamic and magneto-hydrodynamic equations, high-order improvement is desirable for solving self-gravitational forces for thin disks. In this work, we present a new numerical algorithm that is of linear complexity and of high-order accuracy. This approach is fast since the force calculation is associated with a convolution form, and the fast calculation can be achieved using Fast Fourier Transform. The nice properties, such as the finite supports and smoothness, of B-splines are exploited to stably interpolate a surface density and achieve a high-order accuracy in forces. Moreover, if the mass distribution of interest is exclusively confined within a calculation domain, the method does not require artificial boundary values to be specified before the force calculation. To validate the proposed algorithm, a series of numerical tests, ranging from 1st- to 3rd-order implementations, are performed and the results are compared with analytic expressions derived for 3rd- and 4th-order generalized Maclaurin disks. We conclude that the improvement on the numerical accuracy is significant with the order of the method, with only little increase of the complexity of the method.


title: A phase-field study of elastic stress effects on phase separation in ternary alloys

abstract: Most of the commercially important alloys are multicomponent, producing multiphase microstructures as a result of processing. When the coexisting phases are elastically coherent, the elastic interactions between these phases play a major role in the development of microstructures. To elucidate the key effects of elastic stress on microstructural evolution when more than two misfitting phases are present in the microstructure, we have developed a microelastic phase-field model in two dimensions to study phase separation in ternary alloy system. Numerical solutions of a set of coupled Cahn-Hilliard equations for the composition fields govern the spatiotemporal evolution of the three-phase microstructure. The model incorporates coherency strain interactions between the phases using Khachaturyan's microelasticity theory. We systematically vary the misfit strains (magnitude and sign) between the phases along with the bulk alloy composition to study their effects on the morphological development of the phases and the resulting phase separation kinetics. We also vary the ratio of interfacial energies between the phases to understand the interplay between elastic and interfacial energies on morphological evolution. The sign and degree of misfit affect strain partitioning between the phases during spinodal decomposition, thereby affecting their compositional history and morphology. Moreover, strain partitioning affects solute partitioning and alters the kinetics of coarsening of the phases. The phases associated with higher misfit strain appear coarser and exhibit wider size distribution compared to those having lower misfit. When the interfacial energies satisfy complete wetting condition, phase separation leads to development of stable core-shell morphology depending on the misfit between the core (wetted) and the shell (wetting) phases.


title: Suction Grasp Region Prediction using Self-supervised Learning for Object Picking in Dense Clutter

abstract: This paper focuses on robotic picking tasks in cluttered scenario. Because of the diversity of poses, types of stack and complicated background in bin picking situation, it is much difficult to recognize and estimate their pose before grasping them. Here, this paper combines Resnet with U-net structure, a special framework of Convolution Neural Networks (CNN), to predict picking region without recognition and pose estimation. And it makes robotic picking system learn picking skills from scratch. At the same time, we train the network end to end with online samples. In the end of this paper, several experiments are conducted to demonstrate the performance of our methods.


title: Persistent Homology of Complex Networks for Dynamic State Detection

abstract: In this paper we develop a novel Topological Data Analysis (TDA) approach for studying graph representations of time series of dynamical systems. Specifically, we show how persistent homology, a tool from TDA, can be used to yield a compressed, multi-scale representation of the graph that can distinguish between dynamic states such as periodic and chaotic behavior. We show the approach for two graph constructions obtained from the time series. In the first approach the time series is embedded into a point cloud which is then used to construct an undirected $k$-nearest neighbor graph. The second construct relies on the recently developed ordinal partition framework. In either case, a pairwise distance matrix is then calculated using the shortest path between the graph's nodes, and this matrix is utilized to define a filtration of a simplicial complex that enables tracking the changes in homology classes over the course of the filtration. These changes are summarized in a persistence diagram---a two-dimensional summary of changes in the topological features. We then extract existing as well as new geometric and entropy point summaries from the persistence diagram and compare to other commonly used network characteristics. Our results show that persistence-based point summaries yield a clearer distinction of the dynamic behavior and are more robust to noise than existing graph-based scores, especially when combined with ordinal graphs.

categories: nlin.CD cs.CG cs.IT math.IT physics.data-an


title: swTVM: Towards Optimized Tensor Code Generation for Deep Learning on Sunway Many-Core Processor

abstract: The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application portability. Among the existing deep learning compilers, TVM is well known for its efficiency in code generation and optimization across diverse hardware devices. In the meanwhile, the Sunway many-core processor renders itself as a competitive candidate for its attractive computational power in both scientific computing and deep learning workloads. This paper combines the trends in these two directions. Specifically, we propose swTVM that extends the original TVM to support ahead-of-time compilation for architecture requiring cross-compilation such as Sunway. In addition, we leverage the architecture features during the compilation such as core group for massive parallelism, DMA for high bandwidth memory transfer and local device memory for data locality, in order to generate efficient codes for deep learning workloads on Sunway. The experiment results show that the codes generated by swTVM achieves 1.79x on average compared to the state-of-the-art deep learning framework on Sunway, across six representative benchmarks. This work is the first attempt from the compiler perspective to bridge the gap of deep learning and Sunway processor particularly with productivity and efficiency in mind. We believe this work will encourage more people to embrace the power of deep learning and Sunway many-core processor.


title: On $d$--$\sigma$--stability in random metric spaces and its applications

abstract: In 2010, the first author of this paper introduced the notion of $\sigma$--stability for a nonempty subset of an $L^0(\mathcal{F},K)$--module in [T.X. Guo, Relations between some basic results derived from two kinds of topologies for a random locally convex module, J. Funct. Anal. 258(2010), 3024--3047], this kind of $\sigma$--stability is purely algebraic and leads to a series of deep developments of random normed modules and random locally convex modules. Motivated by this, A. Jamneshan, M. Kupper and J. M. Zapata recently introduced another kind of $\sigma$--stability for a nonempty subset of a random metric space $(E,d)$, called $d$--$\sigma$--stability since it depends on the random metric $d$. $d$--$\sigma$--stability coincides with the previous $\sigma$--stability in the case of random normed modules, which motivates us in this paper to generalize the precise form of Ekeland's variational principle from a complete random normed module to a complete $d$--$\sigma$--stable random metric space. Besides, this paper also utilize $d$--$\sigma$--stability to generalize Nadler's fixed point theorem for a multivalued contraction mapping from a complete metric space to a complete random metric space. To our surprise, our simple fixed point theorem, however, can derive the known basic fixed point theorems of contraction type for both random operators and $\sigma$--stable mappings on a complete random normed module. A lot of examples shows the study of random metric spaces is more complicated than that of random normed modules.


title: Penetration depth reduction with plasmonic metafilms

abstract: In many optical systems, including metal films, dielectric reflectors, and photonic crystals, electromagnetic waves can experience evanescent decay. The spatial length scale of such decay defines the penetration depth. The ability to reduce the penetration depth is important for a number of applications in free-space and integrated photonics. In this paper, we consider a ultrathin metafilm structures consisting of alternating regions of metal and dielectric. We show that the penetration depth of such metafilm can be significantly smaller as compared to that of a corresponding metal thin film. The reduction of the penetration depth arises due to the enhanced effective mass in the photonic band structure. This effect can be used to enhance the reflectivity of ultrathin reflectors, and to increase the packing density of subwavelength plasmonic waveguides.


title: Minimal Dirac Neutrino Mass Models from $U(1)_R$ Gauge Symmetry and Left-Right Asymmetry at Colliders

abstract: In this work, we propose minimal realizations for generating Dirac neutrino masses in the context of a right-handed abelian gauge extension of the Standard Model. Utilizing only $U(1)_R$ symmetry, we address and analyze the possibilities of Dirac neutrino mass generation via (a) \textit{tree-level seesaw} and (b) \textit{radiative correction at the one-loop level}. One of the presented radiative models implements the attractive \textit{scotogenic} model that links neutrino mass with Dark Matter (DM), where the stability of the DM is guaranteed from a residual discrete symmetry emerging from $U(1)_R$. Since only the right-handed fermions carry non-zero charges under the $U(1)_R$, this framework leads to sizable and distinctive Left-Right asymmetry as well as Forward-Backward asymmetry discriminating from $U(1)_{B-L}$ models and can be tested at the colliders. We analyze the current experimental bounds and present the discovery reach limits for the new heavy gauge boson $Z^{\prime}$ at the LHC and ILC. Furthermore, we also study the associated charged lepton flavor violating processes, dark matter phenomenology and cosmological constraints of these models.


title: How to apply multiple imputation in propensity score matching with partially observed confounders: a simulation study and practical recommendations

abstract: Propensity score matching (PSM) has been widely used to mitigate confounding in observational studies, although complications arise when the covariates used to estimate the PS are only partially observed. Multiple imputation (MI) is a potential solution for handling missing covariates in the estimation of the PS. Unfortunately, it is not clear how to best apply MI strategies in the context of PSM. We conducted a simulation study to compare the performances of popular non-MI missing data methods and various MI-based strategies under different missing data mechanisms (MDMs). We found that commonly applied missing data methods resulted in biased and inefficient estimates, and we observed large variation in performance across MI-based strategies. Based on our findings, we recommend 1) deriving the PS after applying MI (referred to as MI-derPassive); 2) conducting PSM within each imputed data set followed by averaging the treatment effects to arrive at one summarized finding (INT-within) for mild MDMs and averaging the PSs across multiply imputed datasets before obtaining one treatment effect using PSM (INT-across) for more complex MDMs; 3) a bootstrapped-based variance to account for uncertainty of PS estimation, matching, and imputation; and 4) inclusion of key auxiliary variables in the imputation model.


title: Complex Trainable ISTA for Linear and Nonlinear Inverse Problems

abstract: Complex-field signal recovery problems from noisy linear/nonlinear measurements appear in many areas of signal processing and wireless communications. In this paper, we propose a trainable iterative signal recovery algorithm named complex-field TISTA (C-TISTA) which treats complex-field nonlinear inverse problems. C-TISTA is based on the concept of deep unfolding and consists of a gradient descent step with the Wirtinger derivatives followed by a shrinkage step with a trainable complex-valued shrinkage function. Importantly, it contains a small number of trainable parameters so that its training process can be executed efficiently. Numerical results indicate that C-TISTA shows remarkable signal recovery performance compared with existing algorithms.


title: Soft charges from the geometry of field space

abstract: Infinite sets of asymptotic soft-charges were recently shown to be related to new symmetries of the $S$-matrix, spurring a large amount of research on this and related questions. Notwithstanding, the raison-d'\^etre of these soft-charges rests on less firm ground, insofar as their known derivations through generalized Noether procedures tend to rely on the fixing of (gauge-breaking) boundary conditions rather than on manifestly gauge-invariant computations. In this article, we show that a geometrical framework anchored in the space of field configurations singles out the known leading-order soft charges in gauge theories. Our framework unifies the treatment of finite and infinite regions, and thus it explains why the infinite enhancement of the symmetry group is a property of asymptotic null infinity and should not be expected to hold within finite regions, where at most a finite number of physical charges -- corresponding to the reducibility parameters of the quasi-local field configuration -- is singled out. As a bonus, our formalism also suggests a simple proposal for the origin of magnetic-type charges at asymptotic infinity based on spacetime (Lorentz) covariance rather than electromagnetic duality.


title: Simply modified GKL density classifiers that reach consensus faster

abstract: The two-state Gacs-Kurdyumov-Levin (GKL) cellular automaton has been a staple model in the study of complex systems due to its ability to classify binary arrays of symbols according to their initial density. We show that a class of modified GKL models over extended neighborhoods, but still involving only three cells at a time, achieves comparable density classification performance but in some cases reach consensus more than twice as fast. Our results suggest the time to consensus (relative to the length of the CA) as a complementary measure of density classification performance.


title: Wigner and his many friends: A new no-go result?

abstract: In April 2016, Daniela Frauchiger and Renato Renner published an article online in which they introduce a Gedankenexperiment that led them to conclude that single-world interpretation of quantum theory cannot be self-consistent. In a new version of the paper, published in September 2018, the authors moderate their original claim by concluding that quantum theory cannot be extrapolated to complex systems, at least not in a straightforward manner. The purpose of this article is to offer a careful reconstruction of the F-R argument, which allows us to show that: (i) the argument can be more clearly formulated with no reference to what subjects know or see, but rather only in terms of quantum propositions, (ii) in contrast to what some commentators suppose, the argument does not require the hypothesis of collapse to arrive to its conclusion, and (iii) the contradiction resulting from the F-R argument is inferred by making classical conjunctions between different and incompatible contexts. On the basis of this clarification, we will finally argue that the conclusion of the F-R argument is not as novel and original as its great impact might make us to suppose.


title: Principal Components of Short-term Variability in Venus' UV Albedo

abstract: We explore the dominant modes of variability in the observed albedo at the cloud tops of Venus using the Akatsuki UVI 283-nm and 365-nm observations, which are sensitive to SO2 and unknown UV absorber distributions respectively, over the period Dec 2016 to May 2018. The observations consist of images of the dayside of Venus, most often observed at intervals of 2 hours, but interspersed with longer gaps. The orbit of the spacecraft does not allow for continuous observation of the full dayside, and the unobserved regions cause significant gaps in the datasets. Each dataset is subdivided into three subsets for three observing periods, the unobserved data are interpolated and each subset is then subjected to a principal component analysis (PCA) to find six oscillating patterns in the albedo. Principal components in all three periods show similar morphologies at 283-nm but are much more variable at 365-nm. Some spatial patterns and the time scales of these modes correspond to well known physical processes in the atmosphere of Venus such as the ~4 day Kelvin wave, 5 day Rossby waves and the overturning circulation, while others defy a simple explanation. We also a find a hemispheric mode that is not well understood and discuss its implications.


title: Metrics for Graph Comparison: A Practitioner's Guide

abstract: Comparison of graph structure is a ubiquitous task in data analysis and machine learning, with diverse applications in fields such as neuroscience, cyber security, social network analysis, and bioinformatics, among others. Discovery and comparison of structures such as modular communities, rich clubs, hubs, and trees in data in these fields yields insight into the generative mechanisms and functional properties of the graph. Often, two graphs are compared via a pairwise distance measure, with a small distance indicating structural similarity and vice versa. Common choices include spectral distances (also known as $\lambda$ distances) and distances based on node affinities. However, there has of yet been no comparative study of the efficacy of these distance measures in discerning between common graph topologies and different structural scales. In this work, we compare commonly used graph metrics and distance measures, and demonstrate their ability to discern between common topological features found in both random graph models and empirical datasets. We put forward a multi-scale picture of graph structure, in which the effect of global and local structure upon the distance measures is considered. We make recommendations on the applicability of different distance measures to empirical graph data problem based on this multi-scale view. Finally, we introduce the Python library NetComp which implements the graph distances used in this work.


title: Resource-Guided Program Synthesis

abstract: This article presents resource-guided synthesis, a technique for synthesizing recursive programs that satisfy both a functional specification and a symbolic resource bound. The technique is type-directed and rests upon a novel type system that combines polymorphic refinement types with potential annotations of automatic amortized resource analysis. The type system enables efficient constraint-based type checking and can express precise refinement-based resource bounds. The proof of type soundness shows that synthesized programs are correct by construction. By tightly integrating program exploration and type checking, the synthesizer can leverage the user-provided resource bound to guide the search, eagerly rejecting incomplete programs that consume too many resources. An implementation in the resource-guided synthesizer ReSyn is used to evaluate the technique on a range of recursive data structure manipulations. The experiments show that ReSyn synthesizes programs that are asymptotically more efficient than those generated by a resource-agnostic synthesizer. Moreover, synthesis with ReSyn is faster than a naive combination of synthesis and resource analysis. ReSyn is also able to generate implementations that have a constant resource consumption for fixed input sizes, which can be used to mitigate side-channel attacks.


title: Distribution and correlation free two-sample test of high-dimensional means

abstract: We propose a two-sample test for high-dimensional means that requires neither distributional nor correlational assumptions, besides some weak conditions on the moments and tail properties of the elements in the random vectors. This two-sample test based on a nontrivial extension of the one-sample central limit theorem (Chernozhukov et al., 2017) provides a practically useful procedure with rigorous theoretical guarantees on its size and power assessment. In particular, the proposed test is easy to compute and does not require the independently and identically distributed assumption, which is allowed to have different distributions and arbitrary correlation structures. Further desired features include weaker moments and tail conditions than existing methods, allowance for highly unequal sample sizes, consistent power behavior under fairly general alternative, data dimension allowed to be exponentially high under the umbrella of such general conditions. Simulated and real data examples are used to demonstrate the favorable numerical performance over existing methods.


title: Universal critical behavior in the ferromagnetic superconductor Eu(Fe$_{0.75}$Ru$_{0.25}$)$_{2}$As$_{2}$

abstract: The study of universal critical behavior is a crucial issue in a continuous phase transition, which groups various critical phenomena into universality classes for revealing microscopic electronic behaviors. The understanding of the nature of magnetism in Eu-based ferromagnetic superconductors is largely impeded by the infeasibility of performing inelastic neutron scattering measurements to deduce the microscopic magnetic behaviors and the effects on the superconductivity, due to the significant neutron absorption effect of natural $^{152}$Eu and unavailability of large single crystals. However, by systematically combining the neutron diffraction experiment, the first-principles calculations, and the quantum Monte Carlo simulations, we have obtained a perfectly consistent universal critical exponent value of $\beta=0.385(13)$ experimentally and theoretically for Eu(Fe$_{0.75}$Ru$_{0.25}$)$_{2}$As$_{2}$, from which the magnetism in the Eu-based ferromagnetic superconductors is identified as the universal class of a three-dimensional anisotropic quantum Heisenberg model with long-range magnetic exchange coupling. This study not only clarifies the nature of microscopic magnetic behaviors in the Eu-based ferromagnetic superconductors, but also opens a new avenue of systemic methodology for studying the universal critical behaviors associated with magnetic phase transitions in the area of magnetism and the spin fluctuations effects on the unconventional superconductivity.


title: Positional Encoding to Control Output Sequence Length

abstract: Neural encoder-decoder models have been successful in natural language generation tasks. However, real applications of abstractive summarization must consider additional constraint that a generated summary should not exceed a desired length. In this paper, we propose a simple but effective extension of a sinusoidal positional encoding (Vaswani et al., 2017) to enable neural encoder-decoder model to preserves the length constraint. Unlike in previous studies where that learn embeddings representing each length, the proposed method can generate a text of any length even if the target length is not present in training data. The experimental results show that the proposed method can not only control the generation length but also improve the ROUGE scores.


title: Generic identities for finite group actions

abstract: Let $G$ be a finite group of order $n$, and $Z_G=\mathbb{Z}\langle\zeta_{i,g}\mid g\in G,\ i=1,2,\dots,n\rangle$ be the free generic algebra, with canonical action of $G$ according to $(\zeta_{i,g})^x=\zeta_{i,x^{-1}g}$. It is proved that there exists a positive integer $\upsilon(G)$ such that for any $g_1,g_2,\dots, g_{n}\in G$ $$ \upsilon(G)\cdot \zeta_{1,g_1}\zeta_{2,g_2}\dots\zeta_{n,g_{n}}=\sum_{i=1}^N \gamma_i a_i\mathbf{tr}_G(b_i)c_i, $$ where $\gamma_1,\gamma_2,\dots,\gamma_N$ are integers, and $a_i, b_i, c_i$ are monomials in $\zeta_{i,g}$ such that ${\rm deg}(b_i)>0$ and ${\rm deg}(a_i)+{\rm deg}(b_i)+{\rm deg}(c_i)=n$. As a consequence, if $R$ is a ring (not necessarily unital) acted on by $G$, then the product $\upsilon(G)\cdot R^{n}$ is contained in the ideal $\langle\mathbf{tr}_G(R)\rangle$ generated by all traces $\mathbf{tr}_G(r)=\sum\limits_{g\in G}r^g$, $r\in R$. This gives the best possible nilpotence bound in Bergman-Isaacs theorem for finite group actions on non-commutative rings, which was a long standing problem. The main result was obtained by transferring the problem to certain family of Cayley graphs, and estimating their minimal eigenvalues by the clique numbers. It is proved that the clique number $\omega(\Gamma)$ of any $k$-regular graph $\Gamma$ admits the Delsarte upper bound $\omega(\Gamma)\leqslant\lfloor1-k/\lambda_{\rm min}\rfloor$.


title: The phylogeny number in the aspect of triangles and diamonds of a graph

abstract: Given an acyclic digraph $D$, the competition graph of $D$, denoted by $C(D)$, is the simple graph having vertex set $V(D)$ and edge set $\{uv \mid (u, w), (v, w) \in A(D) \text{ for some } w \in V(D) \}$. The phylogeny graph of an acyclic digraph $D$, denoted by $P(D)$, is the graph with the vertex set $V(D)$ and the edge set $E(U(D)) \cup E(C(D))$ where $U(D)$ denotes the underlying graph of $D$. The notion of phylogeny graphs was introduced by Roberts and Sheng~\cite{roberts1997phylogeny} as a variant of competition graph. Moral graphs having arisen from studying Bayesian networks are the same as phylogeny graphs. In this paper, we integrate the existing theorems computing phylogeny numbers of connected graph with a small number of triangles into one proposition: for a graph $G$ containing at most two triangle, $ |E(G)|-|V(G)|-2t(G)+d(G)+1 \le p(G) \le |E(G)|-|V(G)|-t(G)+1 $ where $t(G)$ and $d(G)$ denote the number of triangles and the number of diamond in $G$, respectively. Then we show that these inequalities hold for graphs with many triangles. In the process of showing it, we derive a useful theorem which plays a key role in deducing various meaningful results including a theorem that answers a question given by Wu~{\it et al.}~\cite{Wu2019}.


title: Just-in-Time Dynamic-Batching

abstract: Batching is an essential technique to improve computation efficiency in deep learning frameworks. While batch processing for models with static feed-forward computation graphs is straightforward to implement, batching for dynamic computation graphs such as syntax trees or social network graphs is challenging due to variable computation graph structure across samples. Through simulation and analysis of a Tree-LSTM model, we show the key trade-off between graph analysis time and batching effectiveness in dynamic batching. Based on this finding, we propose a dynamic batching method as an extension to MXNet Gluon's just-in-time compilation (JIT) framework. We show empirically that our method yields up to 6.25 times speed-up on a common dynamic workload, a tree-LSTM model for the semantic relatedness task.


title: A Note on the Extinction of a Stochastic Differential Equation SIS Epidemic Model

abstract: The aim of this note is to give a new proof to the conjecture, proposed by Gray et al. (2011), on the extinction of a stochastic differential equation SIS epidemic model. The conjecture was proved by Xu (2017). Our proof is much more direct and simpler.


title: Application of single-electron effects to fingerprints of chips using image recognition algorithms

abstract: Single-electron effects have been widely investigated as a typical physical phenomenon in nanoelectronics. The single-electron effect caused by trap sites has been observed in many devices. In general, traps are randomly distributed and not controllable; therefore, different current--voltage characteristics are observed through traps even in silicon transistors having the same device parameters (e.g., gate length). This allows us to use single-electron effects as fingerprints of chips. In this study, we analyze the single-electron effect of traps in conventional silicon transistors and show the possibility of their use as fingerprints of chips through image recognition algorithms. Resonant tunneling parts in the Coulomb diagram can also be used to characterize each device. These results show that single-electron effects can provide a quantum version of a physically unclonable function (quantum-PUF).


title: What I See Is What You See: Joint Attention Learning for First and Third Person Video Co-analysis

abstract: In recent years, more and more videos are captured from the first-person viewpoint by wearable cameras. Such first-person video provides additional information besides the traditional third-person video, and thus has a wide range of applications. However, techniques for analyzing the first-person video can be fundamentally different from those for the third-person video, and it is even more difficult to explore the shared information from both viewpoints. In this paper, we propose a novel method for first- and third-person video co-analysis. At the core of our method is the notion of "joint attention", indicating the learnable representation that corresponds to the shared attention regions in different viewpoints and thus links the two viewpoints. To this end, we develop a multi-branch deep network with a triplet loss to extract the joint attention from the first- and third-person videos via self-supervised learning. We evaluate our method on the public dataset with cross-viewpoint video matching tasks. Our method outperforms the state-of-the-art both qualitatively and quantitatively. We also demonstrate how the learned joint attention can benefit various applications through a set of additional experiments.


title: The Geometry of Bayesian Programming

abstract: We give a geometry of interaction model for a typed lambda-calculus endowed with operators for sampling from a continuous uniform distribution and soft conditioning, namely a paradigmatic calculus for higher-order Bayesian programming. The model is based on the category of measurable spaces and partial measurable functions, and is proved adequate with respect to both a distribution-based and a sampling based operational semantics.