title: Heterogeneous Hypergraph Embedding for Graph Classification

abstract: Recently, graph neural networks have been widely used for network embedding because of their prominent performance in pairwise relationship learning. In the real world, a more natural and common situation is the coexistence of pairwise relationships and complex non-pairwise relationships, which is, however, rarely studied. In light of this, we propose a graph neural network-based representation learning framework for heterogeneous hypergraphs, an extension of conventional graphs, which can well characterize multiple non-pairwise relations. Our framework first projects the heterogeneous hypergraph into a series of snapshots and then we take the Wavelet basis to perform localized hypergraph convolution. Since the Wavelet basis is usually much sparser than the Fourier basis, we develop an efficient polynomial approximation to the basis to replace the time-consuming Laplacian decomposition. Extensive evaluations have been conducted and the experimental results show the superiority of our method. In addition to the standard tasks of network embedding evaluation such as node classification, we also apply our method to the task of spammers detection and the superior performance of our framework shows that relationships beyond pairwise are also advantageous in the spammer detection.


title: A statistical framework for model-based inverse problems in ultrasound elastography

abstract: Model-based computational elasticity imaging of tissues can be posed as solving an inverse problem over finite elements spanning the displacement image. As most existing quasi-static elastography methods count on deterministic formulations of the forward model resulting in a constrained optimization problem, the impact of displacement observation errors has not been well addressed. To this end, we propose a new statistical technique that leads to a unified optimization problem for elasticity imaging. Our statistical model takes the imperfect nature of the displacement measurements into account, and leads to an observation model for the Young's modulus that involves signal dependent colored noise. To solve the resulting regularized optimization problem, we propose a fixed-point algorithm that leverages proximal splitting methods. Preliminary qualitative and quantitative results demonstrate the effectiveness and robustness of the proposed methodology.


title: Multi-soliton dynamics in the nonlinear Schr\"{o}dinger equation

abstract: In this paper, we study the Cauchy problem of the nonlinear Schr\"{o}dinger equation with a nontrival potential $V_\varepsilon(x)$. In particular, we consider the case where the initial data is close to a superposition of $k$ solitons with prescribed phase and location, and investigate the evolution of the Schr\"{o}dinger system. We prove that over a large time interval with the maximum time tending to infinity, all $k$ solitons will maintain the shape, and the solitons dynamics can be regarded as an approximation of $k$ particles moving in $\mathbb{R}^N$ with their accelerations dominated by $\nabla V_\varepsilon$, provided the barycenters of these solitons do not coincide.


title: Infall in massive clumps harboring bright infrared sources

abstract: Thirty massive clumps associated with bright infrared sources were observed to detect the infall signatures and characterize infall properties in the envelope of the massive clumps by APEX telescope in CO(4-3) and C$^{17}$O(3-2) lines. Eighteen objects have "blue profile" in CO(4-3) line with virial parameters less than 2, suggesting that global collapse is taking place in these massive clumps. The CO(4-3) lines were fitted by the two-layer model in order to obtain infall velocities and mass infall rates. Derived mass infall rates are from 10$^{-3}$ to 10$^{-1}$ M$_{\odot}$yr$^{-1}$. A positive relationship between clump mass and infall rate appears to indicate that gravity plays a dominant role in the collapsing process. Higher luminosity clump has larger mass infall rate, implying that the clump with higher mass infall rate has higher star formation rate.


title: SCOP: Scientific Control for Reliable Neural Network Pruning

abstract: This paper proposes a reliable neural network pruning algorithm by setting up a scientific control. Existing pruning methods have developed various hypotheses to approximate the importance of filters to the network and then execute filter pruning accordingly. To increase the reliability of the results, we prefer to have a more rigorous research design by including a scientific control group as an essential part to minimize the effect of all factors except the association between the filter and expected network output. Acting as a control group, knockoff feature is generated to mimic the feature map produced by the network filter, but they are conditionally independent of the example label given the real feature map. We theoretically suggest that the knockoff condition can be approximately preserved given the information propagation of network layers. Besides the real feature map on an intermediate layer, the corresponding knockoff feature is brought in as another auxiliary input signal for the subsequent layers. Redundant filters can be discovered in the adversarial process of different features. Through experiments, we demonstrate the superiority of the proposed algorithm over state-of-the-art methods. For example, our method can reduce 57.8% parameters and 60.2% FLOPs of ResNet-101 with only 0.01% top-1 accuracy loss on ImageNet. The code is available at https://github.com/huawei-noah/Pruning/tree/master/SCOP_NeurIPS2020.


title: Capabilities of a fibered imager on an extremely large telescope

abstract: FIRST, the Fibered Imager foR a Single Telescope instrument, is an ultra-high angular resolution spectro-imager, able to deliver calibrated images and measurements beyond the telescope diffraction limit, a regime that is out of reach for conventional AO imaging. FIRST achieves sensitivity and accuracy by coupling the full telescope to an array of single mode fibers. Interferometric fringes are spectrally dispersed and imaged on an EMCCD. An 18-Fiber FIRST setup is currently installed on the Subaru Coronographic Extreme Adaptive Optics instrument at Subaru telescope. It is being exploited for binary star system study. In the late 2020 it will be upgraded with delay lines and an active LiNb03 photonic beam-combining chip allowing phase modulation to nanometer accuracy at MHz. On-sky results at Subaru Telescope have demonstrated that, thanks to the ExAO system stabilizing the visible light wavefront, FIRST can acquire long exposure and operate on significantly fainter sources than previously possible. A similar approach on a larger telescope would therefore offer unique scientific opportunities for galactic (stellar physics, close companions) and extragalactic observations at ultra-high angular resolution. We also discuss potential design variations for nulling and high contrast imaging.


title: On the Chow theory of Quot schemes of locally free quotients

abstract: We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips/flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points on surfaces.


title: Free products from spinning and rotating families

abstract: The far-reaching work of Dahmani-Guirardel-Osin and recent work of Clay-Mangahas-Margalit provide geometric approaches to the study of the normal closure of a subgroup (or a collection of subgroups)in an ambient group $G$. Their work gives conditions under which the normal closure in $G$ is a free product. In this paper we unify their results and simplify and significantly shorten the proof of the Dahmani-Guirardel-Osin theorem.


title: Convex Analysis of Minimal Time and Signed Minimal Time Functions

abstract: In this paper we first consider the class of minimal time functions in the general setting of locally convex topological vector (LCTV) spaces. The results obtained in this framework are based on a novel notion of closedness of target sets with respect to constant dynamics. Then we introduce and investigate a new class of signed minimal time functions, which are generalizations of the signed distance functions. Subdifferential formulas for the signed minimal time and distance functions are obtained under the convexity assumptions on the given data.


title: Directed Graph Representation through Vector Cross Product

abstract: Graph embedding methods embed the nodes in a graph in low dimensional vector space while preserving graph topology to carry out the downstream tasks such as link prediction, node recommendation and clustering. These tasks depend on a similarity measure such as cosine similarity and Euclidean distance between a pair of embeddings that are symmetric in nature and hence do not hold good for directed graphs. Recent work on directed graphs, HOPE, APP, and NERD, proposed to preserve the direction of edges among nodes by learning two embeddings, source and target, for every node. However, these methods do not take into account the properties of directed edges explicitly. To understand the directional relation among nodes, we propose a novel approach that takes advantage of the non commutative property of vector cross product to learn embeddings that inherently preserve the direction of edges among nodes. We learn the node embeddings through a Siamese neural network where the cross-product operation is incorporated into the network architecture. Although cross product between a pair of vectors is defined in three dimensional, the approach is extended to learn N dimensional embeddings while maintaining the non-commutative property. In our empirical experiments on three real-world datasets, we observed that even very low dimensional embeddings could effectively preserve the directional property while outperforming some of the state-of-the-art methods on link prediction and node recommendation tasks


title: TDE Hosts are Green and Centrally Concentrated: Signatures of a Post-Merger System

abstract: We study the properties of the galaxies hosting the first 19 tidal disruption events (TDEs) detected with the Zwicky Transient Facility (ZTF) within the context of a carefully constructed, representative host galaxy sample. We find that the ZTF sample of TDE hosts is dominated by compact "green valley" galaxies. After we restrict the comparison sample to galaxies with a similar concentration, as measured by Sersic index, we find this green valley over representation is even larger. That is, concentrated red sequence galaxies are not producing TDEs at elevated levels. We present host galaxy spectra which show that E+A galaxies are overrepresented in the ZTF sample by a factor of $\approx$22, which is lower than previous TDE host galaxy studies have found. We find that this overrepresentation can be fully accounted for when taking into account the masses, colors, and S\'ersic indices of the ZTF TDE hosts. The combination of both green colors and high S\'ersic index of the typical TDE host galaxy could be explained if the TDE rate is temporarily enhanced following a merger that leads to a higher central concentration of stars.


title: A Bayesian Hidden Semi-Markov Model with Covariate-Dependent State Duration Parameters for High-Frequency Data from Wearable Devices

abstract: Data collected by wearable devices in sports provide valuable information about an athlete's behavior such as their activity, performance, and ability. These time series data can be studied with approaches such as hidden Markov and semi-Markov models (HMM and HSMM) for varied purposes including activity recognition and event detection. HSMMs extend the HMM by explicitly modeling the time spent in each state. In a discrete-time HSMM, the duration in each state can be modeled with a zero-truncated Poisson distribution, where the duration parameter may be state-specific but constant in time. We extend the HSMM by allowing the state-specific duration parameters to vary in time and model them as a function of known covariates derived from the wearable device and observed over a period of time leading up to a state transition. In addition, we propose a data subsampling approach given that high-frequency data from wearable devices can violate the conditional independence assumption of the HSMM. We apply the model to wearable device data collected on a soccer referee in a Major League Soccer game. We model the referee's physiological response to the game demands and identify important time-varying effects of these demands associated with the duration in each state.


title: Safety Verification of Model Based Reinforcement Learning Controllers

abstract: Model-based reinforcement learning (RL) has emerged as a promising tool for developing controllers for real world systems (e.g., robotics, autonomous driving, etc.). However, real systems often have constraints imposed on their state space which must be satisfied to ensure the safety of the system and its environment. Developing a verification tool for RL algorithms is challenging because the non-linear structure of neural networks impedes analytical verification of such models or controllers. To this end, we present a novel safety verification framework for model-based RL controllers using reachable set analysis. The proposed frame-work can efficiently handle models and controllers which are represented using neural networks. Additionally, if a controller fails to satisfy the safety constraints in general, the proposed framework can also be used to identify the subset of initial states from which the controller can be safely executed.


title: Strong tuning of magnetism and electronic structure by spin orientation

abstract: To efficiently manipulate magnetism is a key physical issue for modern condensed matter physics, which is also crucial for magnetic functional applications. Most previous relevant studies rely on the tuning of spin texture, while the spin orientation is often negligible. As an exception, spin-orbit coupled $J_{\rm eff}$ states of $4d$/$5d$ electrons provide an ideal platform for emergent quantum effects. However, many expectations have not been realized due to the complexities of real materials. Thus the pursuit for more ideal $J_{\rm eff}$ states remains ongoing. Here a near-ideal $J_{\rm eff}$=$3/2$ Mott insulating phase is predicted in the family of hexachloro niobates, which avoid some common drawbacks of perovskite oxides. The local magnetic moment is nearly compensated between spin and orbital components, rendering exotic recessive magnetism. More interestingly, the electronic structure and magnetism can be strongly tuned by rotating spin axis, which is rare but crucial for spintronic applications.


title: Model selection in reconciling hierarchical time series

abstract: Model selection has been proven an effective strategy for improving accuracy in time series forecasting applications. However, when dealing with hierarchical time series, apart from selecting the most appropriate forecasting model, forecasters have also to select a suitable method for reconciling the base forecasts produced for each series to make sure they are coherent. Although some hierarchical forecasting methods like minimum trace are strongly supported both theoretically and empirically for reconciling the base forecasts, there are still circumstances under which they might not produce the most accurate results, being outperformed by other methods. In this paper we propose an approach for dynamically selecting the most appropriate hierarchical forecasting method and succeeding better forecasting accuracy along with coherence. The approach, to be called conditional hierarchical forecasting, is based on Machine Learning classification methods and uses time series features as leading indicators for performing the selection for each hierarchy examined considering a variety of alternatives. Our results suggest that conditional hierarchical forecasting leads to significantly more accurate forecasts than standard approaches, especially at lower hierarchical levels.


title: Multi-Unit Transformers for Neural Machine Translation

abstract: Transformer models achieve remarkable success in Neural Machine Translation. Many efforts have been devoted to deepening the Transformer by stacking several units (i.e., a combination of Multihead Attentions and FFN) in a cascade, while the investigation over multiple parallel units draws little attention. In this paper, we propose the Multi-Unit Transformers (MUTE), which aim to promote the expressiveness of the Transformer by introducing diverse and complementary units. Specifically, we use several parallel units and show that modeling with multiple units improves model performance and introduces diversity. Further, to better leverage the advantage of the multi-unit setting, we design biased module and sequential dependency that guide and encourage complementariness among different units. Experimental results on three machine translation tasks, the NIST Chinese-to-English, WMT'14 English-to-German and WMT'18 Chinese-to-English, show that the MUTE models significantly outperform the Transformer-Base, by up to +1.52, +1.90 and +1.10 BLEU points, with only a mild drop in inference speed (about 3.1%). In addition, our methods also surpass the Transformer-Big model, with only 54\% of its parameters. These results demonstrate the effectiveness of the MUTE, as well as its efficiency in both the inference process and parameter usage.


title: Mutual-Supervised Feature Modulation Network for Occluded Pedestrian Detection

abstract: State-of-the-art pedestrian detectors have achieved significant progress on non-occluded pedestrians, yet they are still struggling under heavy occlusions. The recent occlusion handling strategy of popular two-stage approaches is to build a two-branch architecture with the help of additional visible body annotations. Nonetheless, these methods still have some weaknesses. Either the two branches are trained independently with only score-level fusion, which cannot guarantee the detectors to learn robust enough pedestrian features. Or the attention mechanisms are exploited to only emphasize on the visible body features. However, the visible body features of heavily occluded pedestrians are concentrated on a relatively small area, which will easily cause missing detections. To address the above issues, we propose in this paper a novel Mutual-Supervised Feature Modulation (MSFM) network, to better handle occluded pedestrian detection. The key MSFM module in our network calculates the similarity loss of full body boxes and visible body boxes corresponding to the same pedestrian so that the full-body detector could learn more complete and robust pedestrian features with the assist of contextual features from the occluding parts. To facilitate the MSFM module, we also propose a novel two-branch architecture, consisting of a standard full body detection branch and an extra visible body classification branch. These two branches are trained in a mutual-supervised way with full body annotations and visible body annotations, respectively. To verify the effectiveness of our proposed method, extensive experiments are conducted on two challenging pedestrian datasets: Caltech and CityPersons, and our approach achieves superior performance compared to other state-of-the-art methods on both datasets, especially in heavy occlusion case.


title: Computing newforms using supersingular isogeny graphs

abstract: We describe an algorithm that we used to compute the q-expansions of all weight 2 cusp forms of prime level at most 2,000,000 and dimension at most 6. We also present an algorithm that we used to verify that there was only one cusp form of dimension 7 or more per Atkin-Lehner eigenspace for prime levels between 10,000 and 1,000,000. Our algorithm is based on Mestre's M\'ethode des Graphes, and involves supersingular isogeny graphs and Wiedemann's algorithm for finding the minimal polynomial of sparse matrices over finite fields.


title: Comparing inclination dependent analyses of kilonova transients

abstract: The detection of AT2017gfo proved that binary neutron star mergers are progenitors of kilonovae. Using a combination of numerical-relativity and radiative-transfer simulations, the community has developed sophisticated models for these transients for a wide portion of the expected parameter space. Using these simulations and surrogate models made from them, it has been possible to perform Bayesian inference of the observed signals to infer properties of the ejected matter. It has been pointed out that combining inclination constraints derived from the kilonova with gravitational-wave measurements increases the accuracy with which binary parameters can be measured and allows a more accurate inference of the Hubble Constant. In order to not introduce biases, constraints on the inclination angle for AT2017gfo should be insensitive to the employed models. In this work, we compare different assumptions about the ejecta and radiative reprocesses used by the community and we investigate their impact on the parameter inference. While most inferred parameters agree, we find disagreement between posteriors for the inclination angle for different geometries that have been used in the literature. According to our study, the inclusion of reprocessing of the photons between different ejecta types improves the modeling fits to AT2017gfo and in some cases affects the inferred constraints. Our study motivates the inclusion of large $\sim$ 1 mag uncertainties in the kilonova models employed for Bayesian analysis to capture yet unknown systematics, especially when inferring inclination angles, although smaller uncertainties seem appropriate to capture model systematics for other parameters. We also use this method to impose soft constraints on the ejecta geometry of the kilonova AT2017gfo.


title: ASCII: ASsisted Classification with Ignorance Interchange

abstract: The rapid development in data collecting devices and computation platforms produces an emerging number of agents, each equipped with a unique data modality over a particular population of subjects. While the predictive performance of an agent may be enhanced by transmitting other data to it, this is often unrealistic due to intractable transmission costs and security concerns. While the predictive performance of an agent may be enhanced by transmitting other data to it, this is often unrealistic due to intractable transmission costs and security concerns. In this paper, we propose a method named ASCII for an agent to improve its classification performance through assistance from other agents. The main idea is to iteratively interchange an ignorance value between 0 and 1 for each collated sample among agents, where the value represents the urgency of further assistance needed. The method is naturally suitable for privacy-aware, transmission-economical, and decentralized learning scenarios. The method is also general as it allows the agents to use arbitrary classifiers such as logistic regression, ensemble tree, and neural network, and they may be heterogeneous among agents. We demonstrate the proposed method with extensive experimental studies.


title: Underwater Image Color Correction by Complementary Adaptation

abstract: In this paper, we propose a novel approach for underwater image color correction based on a Tikhonov type optimization model in the CIELAB color space. It presents a new variational interpretation of the complementary adaptation theory in psychophysics, which establishes the connection between colorimetric notions and color constancy of the human visual system (HVS). Understood as a long-term adaptive process, our method effectively removes the underwater color cast and yields a balanced color distribution. For visualization purposes, we enhance the image contrast by properly rescaling both lightness and chroma without trespassing the CIELAB gamut. The magnitude of the enhancement is hue-selective and image-based, thus our method is robust for different underwater imaging environments. To improve the uniformity of CIELAB, we include an approximate hue-linearization as the pre-processing and an inverse transform of the Helmholtz-Kohlrausch effect as the post-processing. We analyze and validate the proposed model by various numerical experiments. Based on image quality metrics designed for underwater conditions, we compare with some state-of-art approaches to show that the proposed method has consistently superior performances.


title: Measured asymptotic expanders and rigidity for Roe algebras

abstract: Our main result about rigidity of Roe algebras is the following: if $X$ and $Y$ are metric spaces with bounded geometry such that their Roe algebras are $*$-isomorphic, then $X$ and $Y$ are coarsely equivalent provided that either $X$ or $Y$ contains no sparse subspaces consisting of ghostly measured asymptotic expanders. Note that this geometric condition generalises the existing technical assumptions used for rigidity of Roe algebras. Consequently, we show that the rigidity holds for all bounded geometry spaces which coarsely embed into some $L^p$-space for $p\in [1,\infty)$. Moreover, we also verify the rigidity for the box spaces constructed by Arzhantseva-Tessera and Delabie-Khukhro even though they do \emph{not} coarsely embed into any $L^p$-space. The key step towards our proof for the rigidity is to show that a block-rank-one (ghost) projection on a sparse space $X$ belongs to the Roe algebra $C^*(X)$ if and only if $X$ consists of (ghostly) measured asymptotic expanders. As a by-product, we also deduce that ghostly measured asymptotic expanders are new sources of counterexamples to the coarse Baum-Connes conjecture.


title: Efficiency at maximum power of thermoelectric heat engines with the symmetric semiconductor superlattice

abstract: Efficiency at maximum power (EMP) is a very important specification for a heat engine to evaluate the capacity of outputting adequate power with high efficiency. It has been proved theoretically that the limit EMP of thermoelectric heat engine can be achieved with the hypothetical boxcar-shaped electron transmission, which is realized here by the resonant tunneling in the one-dimensional symmetric InP/InSe superlattice. It is found with the transfer matrix method that a symmetric mode is robust that regardless of the periodicity, and the obtained boxcar-like electron transmission stems from the strong coupling between symmetric mode and Fabry-P\'erot modes inside the allowed band. High uniformity of the boxcar-like transmission and the sharp drop of the transmission edge are both beneficial to the maximum power and the EMP, which are optimized by the bias voltage and the thicknesses of barrier and well. The maximum power and EMP are extracted with the help of machine learning technique, and more than 95% of their theoretical limits can both be achieved for smaller temperature difference, smaller barrier width and larger well width. We hope the obtain results could provide some basic guidance for the future designs of high EMP thermoelectric heat engines.


title: Sample-path large deviations for a class of heavy-tailed Markov additive processes

abstract: For a class of additive processes driven by the affine recursion $X_{n+1} = A_n X_n + B_n$, we develop a sample-path large deviations principle in the $M_1'$ topology on $D [0,1]$. We allow $B_n$ to have both signs and focus on the case where Kesten's condition holds on $A_1$, leading to heavy-tailed distributions. The most likely paths in our large deviations results are step functions with both positive and negative jumps.


title: Koopman operator approach for computing structure of solutions and Observability of non-linear finite state system

abstract: Given a discrete dynamical system defined by a map in a vector space over a finite field called Finite State Systems (FSS), a dual linear system over the space of functions on the state space is constructed using the dual map. This system constitutes the well known Koopman linear system framework of dynamical systems, hence called the Koopman linear system (KLS). It is first shown that several structural properties of solutions of the FSS can be inferred from the solutions of the KLS. The problems of computation of structural parameters of solutions of non-linear FSS are computationally hard and hence become infeasible as the number of variables increases. In contrast, it has been well known that these problems can be solved by linear algebra for linear FSS in terms of elementary divisors of matrices and their orders. In the next step, the KLS is reduced to the smallest order (called RO-KLS) while still retaining all the information of the parameters of structure of solutions of the FSS. Hence when the order of the RO-KLS is sufficiently small, the above computational problems of non-linear FSS are practically feasible. Next, it is shown that the observability of the non-linear FSS with an output function is equivalent to that of the RO-KLS with an appropriate linear output map. Hence, the problem of non-linear observability is solved by an observer design for the equivalent RO-KLS. Such a construction should have striking applications to realistic FSS arising in Cryptology and Biological networks.


title: Fermi-LAT Observations of V549 Vel 2017: a Sub-Luminous Gamma-Ray Nova?

abstract: We report on the Fermi-LAT detection (with ~5.7 sigma significance) as well as the multi-wavelength analysis of the 2017 nova eruption V549 Vel. Unlike the recent shock-powered novae ASASSN-16ma and V906 Car, the optical and gamma-ray light curves of V549 Vel show no correlation, likely implying relatively weak shocks in the eruption. Gaia detected a candidate progenitor of V549 Vel and found a parallax measurement of 1.91+/-0.39 mas, equivalent to a mode distance of d=560 pc (90% credible interval of 380-1050 pc). The progenitor was also observed by the 2MASS and WISE surveys. When adopting the Gaia distance, the spectral energy distribution of the progenitor is close to that of a G-type star. Swift/XRT detected the supersoft X-ray emission of the nova (kT=30-40 keV) since day 236, and the inferred blackbody size is comparable to that of other novae assuming d=560 pc (i.e., R_bb~5*10^8 cm). However, there is also an unknown astrometric excess noise of 3.2 mas found in the Gaia data, and the inferred distance becomes controversial. If the Gaia distance is accurate, the gamma-ray luminosity of V549 Vel will be as low as L_gamma~4*10^33 erg/s, making it the least luminous gamma-ray nova known so far. This may imply that the shock properties responsible for the gamma-ray emission in V549 Vel are different from those of the more luminous events. If the nova is located farther away, it is likely a symbiotic system with a giant companion as the observed progenitor.


title: ApproxDet: Content and Contention-Aware Approximate Object Detection for Mobiles

abstract: Advanced video analytic systems, including scene classification and object detection, have seen widespread success in various domains such as smart cities and autonomous transportation. With an ever-growing number of powerful client devices, there is incentive to move these heavy video analytics workloads from the cloud to mobile devices to achieve low latency and real-time processing and to preserve user privacy. However, most video analytic systems are heavyweight and are trained offline with some pre-defined latency or accuracy requirements. This makes them unable to adapt at runtime in the face of three types of dynamism -- the input video characteristics change, the amount of compute resources available on the node changes due to co-located applications, and the user's latency-accuracy requirements change. In this paper we introduce ApproxDet, an adaptive video object detection framework for mobile devices to meet accuracy-latency requirements in the face of changing content and resource contention scenarios. To achieve this, we introduce a multi-branch object detection kernel (layered on Faster R-CNN), which incorporates a data-driven modeling approach on the performance metrics, and a latency SLA-driven scheduler to pick the best execution branch at runtime. We couple this kernel with approximable video object tracking algorithms to create an end-to-end video object detection system. We evaluate ApproxDet on a large benchmark video dataset and compare quantitatively to AdaScale and YOLOv3. We find that ApproxDet is able to adapt to a wide variety of contention and content characteristics and outshines all baselines, e.g., it achieves 52% lower latency and 11.1% higher accuracy over YOLOv3.


title: FreeDOM: A Transferable Neural Architecture for Structured Information Extraction on Web Documents

abstract: Extracting structured data from HTML documents is a long-studied problem with a broad range of applications like augmenting knowledge bases, supporting faceted search, and providing domain-specific experiences for key verticals like shopping and movies. Previous approaches have either required a small number of examples for each target site or relied on carefully handcrafted heuristics built over visual renderings of websites. In this paper, we present a novel two-stage neural approach, named FreeDOM, which overcomes both these limitations. The first stage learns a representation for each DOM node in the page by combining both the text and markup information. The second stage captures longer range distance and semantic relatedness using a relational neural network. By combining these stages, FreeDOM is able to generalize to unseen sites after training on a small number of seed sites from that vertical without requiring expensive hand-crafted features over visual renderings of the page. Through experiments on a public dataset with 8 different verticals, we show that FreeDOM beats the previous state of the art by nearly 3.7 F1 points on average without requiring features over rendered pages or expensive hand-crafted features.


title: More constructions for Sperner partition systems

abstract: An $(n,k)$-Sperner partition system is a set of partitions of some $n$-set such that each partition has $k$ nonempty parts and no part in any partition is a subset of a part in a different partition. The maximum number of partitions in an $(n,k)$-Sperner partition system is denoted $\mathrm{SP}(n,k)$. In this paper we introduce a new construction for Sperner partition systems based on a division of the ground set into many equal-sized parts. We use this to asymptotically determine $\mathrm{SP}(n,k)$ in many cases where $\frac{n}{k}$ is bounded as $n$ becomes large. Further, we show that this construction produces a Sperner partition system of maximum size for numerous small parameter sets $(n,k)$. By extending a separate existing construction, we also establish the asymptotics of $\mathrm{SP}(n,k)$ when $n \equiv k \pm 1 \pmod{2k}$ for almost all odd values of $k$.


title: RECONSIDER: Re-Ranking using Span-Focused Cross-Attention for Open Domain Question Answering

abstract: State-of-the-art Machine Reading Comprehension (MRC) models for Open-domain Question Answering (QA) are typically trained for span selection using distantly supervised positive examples and heuristically retrieved negative examples. This training scheme possibly explains empirical observations that these models achieve a high recall amongst their top few predictions, but a low overall accuracy, motivating the need for answer re-ranking. We develop a simple and effective re-ranking approach (RECONSIDER) for span-extraction tasks, that improves upon the performance of large pre-trained MRC models. RECONSIDER is trained on positive and negative examples extracted from high confidence predictions of MRC models, and uses in-passage span annotations to perform span-focused re-ranking over a smaller candidate set. As a result, RECONSIDER learns to eliminate close false positive passages, and achieves a new state of the art on four QA tasks, including 45.5% Exact Match accuracy on Natural Questions with real user questions, and 61.7% on TriviaQA.


title: Spatial Kramers-Kronig relation and controlled unidirectional reflection in cold atoms

abstract: We propose a model for realizing frequency-dependent spatial variations of the probe susceptibility in a cold atomic sample. It is found that the usual Kramers-Kronig (KK) relation between real and imaginary parts of the probe susceptibility in the frequency domain can be mapped into the space domain as a far detuned control field of intensity linearly varied in space is used. This non-Hermitian medium exhibits then a unidirectional reflectionless frequency band for probe photons incident from either the left or the right sample end. It is of special interest that we can tune the frequency band as well as choose the direction corresponding to the vanishing reflectivity by changing, respectively, the control field intensity and frequency. The nonzero reflectivity from the other direction is typically small for realistic atomic densities, but can be largely enhanced by incorporating the Bragg scattering into the spatial KK relation so as to achieve a high reflectivity contrast.


title: Emformer: Efficient Memory Transformer Based Acoustic Model For Low Latency Streaming Speech Recognition

abstract: This paper proposes an efficient memory transformer Emformer for low latency streaming speech recognition. In Emformer, the long-range history context is distilled into an augmented memory bank to reduce self-attention's computation complexity. A cache mechanism saves the computation for the key and value in self-attention for the left context. Emformer applies a parallelized block processing in training to support low latency models. We carry out experiments on benchmark LibriSpeech data. Under average latency of 960 ms, Emformer gets WER $2.50\%$ on test-clean and $5.62\%$ on test-other. Comparing with a strong baseline augmented memory transformer (AM-TRF), Emformer gets $4.6$ folds training speedup and $18\%$ relative real-time factor (RTF) reduction in decoding with relative WER reduction $17\%$ on test-clean and $9\%$ on test-other. For a low latency scenario with an average latency of 80 ms, Emformer achieves WER $3.01\%$ on test-clean and $7.09\%$ on test-other. Comparing with the LSTM baseline with the same latency and model size, Emformer gets relative WER reduction $9\%$ and $16\%$ on test-clean and test-other, respectively.


title: Analysis of an Adaptive Short-Time Fourier Transform-Based Multicomponent Signal Separation Method Derived from Linear Chirp Local Approximation

abstract: The synchrosqueezing transform (SST) has been developed as a powerful EMD-like tool for instantaneous frequency (IF) estimation and component separation of non-stationary multicomponent signals. Recently, a direct method of the time-frequency approach, called signal separation operation (SSO), was introduced to solving the problem of multicomponent signal separation. While both SST and SSO are mathematically rigorous on IF estimation, SSO avoids the second step of the two-step SST method in component recovery (mode retrieval). In addition, SSO is simple: the IF of a component is estimated by a time-frequency ridge of the SSO plane; and this component is recovered by simply plugging the time-frequency ridge to the SSO operation. In recent paper "Direct signal separation via extraction of local frequencies with adaptive time-varying parameters", after showing that the SSO operation is related to the adaptive short-time Fourier transform (STFT), the authors obtained a more accurate component recovery formula derived from the linear chirp (also called linear frequency modulation signal) approximation at any local time and they also proposed a recovery scheme to extract the signal components one by one with the time-varying window updated for each component. However the theoretical analysis of the recovery formula derived from linear chirp local approximation has not been studied there. In this paper, we carry out such analysis and obtain error bounds for IF estimation and component recovery. These results provide a mathematical guarantee to the proposed adaptive STFT-based non-stationary multicomponent signal separation method.


title: Effects of hadronic repulsive interactions on the fluctuations of conserved charges

abstract: We investigate the effects of repulsive interaction between hadrons on the fluctuations of the conserved charges. We calculate the baryon,the electric charge and the strangeness susceptibilities within the ambit of hadron resonance gas model extended to include the short range repulsive interactions.The repulsive interactions are included through a mean-field approach where the single particle energy gets modified due to mean field interactions between hadrons proportional to the number density of hadrons.We assume different mean-field interactions for mesons and baryons. It is shown that the repulsive interactions play a very crucial role to describe hadronic matter near transition temperature. We also show that in order to consistently describe higher order conserved charge fluctuations mesonic repulsive interactions cannot be neglected. Further, we demonstrate that the repulsive interaction of baryons are essential to describe the lattice simulation results at finite baryonchemical potential for higher order fluctuations.


title: On the maximum number of minimal codewords

abstract: Minimal codewords have applications in decoding linear codes and in cryptography. We study the maximum number of minimal codewords in binary linear codes of a given length and dimension. Improved lower and upper bounds on the maximum number are presented. We determine the exact values for the case of linear codes of dimension $k$ and length $k+2$ and for small values of the length and dimension. We also give a formula for the number of minimal codewords of linear codes of dimension $k$ and length $k+3$.


title: Reinforcement learning using Deep Q Networks and Q learning accurately localizes brain tumors on MRI with very small training sets

abstract: Purpose Supervised deep learning in radiology suffers from notorious inherent limitations: 1) It requires large, hand-annotated data sets, 2) It is non-generalizable, and 3) It lacks explainability and intuition. We have recently proposed Reinforcement Learning to address all threes. However, we applied it to images with radiologist eye tracking points, which limits the state-action space. Here we generalize the Deep-Q Learning to a gridworld-based environment, so that only the images and image masks are required. Materials and Methods We trained a Deep Q network on 30 two-dimensional image slices from the BraTS brain tumor database. Each image contained one lesion. We then tested the trained Deep Q network on a separate set of 30 testing set images. For comparison, we also trained and tested a keypoint detection supervised deep learning network for the same set of training / testing images. Results Whereas the supervised approach quickly overfit the training data, and predicably performed poorly on the testing set (11\% accuracy), the Deep-Q learning approach showed progressive improved generalizability to the testing set over training time, reaching 70\% accuracy. Conclusion We have shown a proof-of-principle application of reinforcement learning to radiological images, here using 2D contrast-enhanced MRI brain images with the goal of localizing brain tumors. This represents a generalization of recent work to a gridworld setting, naturally suitable for analyzing medical images.


title: Valley pseudospin in monolayer MoSi2N4 and MoSi2As4

abstract: For a long time, two-dimensional (2D) hexagonal MoS2 was proposed as a promising material for valleytronic system. However, the limited size of growth and low carrier motilities in MoS2 restrict its further application. Very recently, a new kind of hexagonal 2D MXene, MoSi2N4, was successfully synthesized with large size, excellent ambient stability, and considerable hole mobility. In this paper, based on the first-principles calculations, we predict that the valley-contrast properties can be realized in monolayer MoSi2N4 and its derivative MoSi2As4. Beyond the traditional two-level valleys, the valleys in monolayer MoSi2As4 are multiple-folded, implying a new valley dimension. Such multiple-folded valleys can be described by a three-band low-power Hamiltonian. This study presents the theoretical advance and the potential applications of monolayer MoSi2N4 and MoSi2As4 in valleytronic devices, especially multiple information processing.


title: On reducing homological dimensions over noetherian rings

abstract: Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate totally reflexive modules and reducing Gorenstein dimension. Next, we introduce homological invariants for $\Lambda$-modules which we call upper reducing projective and Gorenstein dimensions. We provide an inequality of upper reducing projective dimension and complexity when $\Lambda$ is commutative and local. Using it, we consider how upper reducing projective dimension relates to reducing projective dimension, and the complete intersection and AB properties of a commutative noetherian local ring.


title: Unstable Stokes waves

abstract: We investigate the spectral instability of a $2\pi/\kappa$ periodic Stokes wave of sufficiently small amplitude, traveling in water of unit depth, under gravity. Numerical evidence suggests instability whenever the unperturbed wave is resonant with its infinitesimal perturbations. This has not been analytically studied except for the Benjamin--Feir instability in the vicinity of the origin of the complex plane. Here we develop a periodic Evans function approach to give an alternative proof of the Benjamin--Feir instability and, also, a first proof of spectral instability away from the origin. Specifically, we prove instability near the origin for $\kappa>\kappa_1:=1.3627827\dots$ and instability due to resonance of order two so long as an index function is positive. Validated numerics establishes that the index function is indeed positive for some $\kappa<\kappa_1$, whereby there exists a Stokes wave that is spectrally unstable even though it is insusceptible to the Benjamin--Feir instability. The proofs involve center manifold reduction, Floquet theory, and methods of ordinary and partial differential equations. Numerical evaluation reveals that the index function remains positive unless $\kappa=1.8494040\dots$. Therefore, we conjecture that all Stokes waves of sufficiently small amplitude are spectrally unstable. For the proof of the conjecture, one has to verify that the index function is positive for $\kappa$ sufficiently small.


title: Note on rainbow cycles in edge-colored graphs

abstract: Let $G$ be a graph of order $n$ with an edge-coloring $c$, and let $\delta^c(G)$ denote the minimum color degree of $G$. A subgraph $F$ of $G$ is called rainbow if all edges of $F$ have pairwise distinct colors. There have been a lot results on rainbow cycles of edge-colored graphs. In this paper, we show that (i) if $\delta^c(G)>\frac{3n-3}{4}$, then every vertex of $G$ is contained in a rainbow triangle; (ii) $\delta^c(G)>\frac{3n}{4}$, then every vertex of $G$ is contained in a rainbow $C_4$; and (iii) if $G$ is complete, $n\geq 8k-18$ and $\delta^c(G)>\frac{n-1}{2}+k$, then $G$ contains a rainbow cycle of length at least $k$. Some gaps in previous publications are also found and corrected.


title: On the noise in statistics of PIV measurements

abstract: It is argued herein that when PIV is used to measure turbulence, it can be treated as a time-dependent signal. The `output' velocity consists of three primary contributions: the time-dependent velocity, a noise arising from the quantization (or pixelization), and a noise contribution from the fact that the velocity is not uniform inside the interrogation volume. For both of the latter their variances depend inversely on the average number of particles or images) in this interrogation volume. All three of these are spatially filtered by the finite extent of the interrogation window. Since the above noises are associated directly with the individual particles (or particle images), the noise between different realizations and different interrogation volumes is statistically independent.


title: The spectra of digraphs with Morita equivalent $C^\ast$-algebras

abstract: Eilers et al. have recently completed the geometric classification of unital graph $C^\ast$-algebras up to Morita equivalence using a set of moves on the corresponding digraphs. We explore the question of whether these moves preserve the nonzero elements of the spectrum of a finite digraph, which in this paper is allowed to have loops and parallel edges. We consider several different digraph spectra that have been studied in the literature, answering this question for the Laplace and adjacency spectra, their skew counterparts, the symmetric adjacency spectrum, the adjacency spectrum of the line digraph, the Hermitian adjacency spectrum, and the normalized Laplacian, considering in most cases two ways that these spectra can be defined in the presence of parallel edges. We show that the adjacency spectra of the digraph and line digraph are preserved by a subset of the moves, and the skew adjacency and Laplace spectra are preserved by the Cuntz splice. We give counterexamples to show that the other spectra are not preserved by the remaining moves. The same results hold if one restricts to the class of strongly connected digraphs.


title: Component-wise reduced order model lattice-type structure design

abstract: Lattice-type structures can provide a combination of stiffness with light weight that is desirable in a variety of applications. Design optimization of these structures must rely on approximations of the governing physics to render solution of a mathematical model feasible. In this paper, we propose a topology optimization (TO) formulation that approximates the governing physics using component-wise reduced order modeling, which can reduce solution time by multiple orders of magnitude over a full-order finite element model while providing a relative error in the solution of less than one percent. In addition, the offline training data set from such component-wise models is reusable, allowing its application to many design problems for only the cost of a single offline training phase, and the component-wise method is nearly embarrassingly parallel. We also show how the parameterization chosen in our optimization allows a simplification of the component-wise reduced order model (CWROM) not noted in previous literature, for further speedup of the optimization process. The sensitivity of the compliance with respect to the particular parameterization is derived solely in the component level. In numerical examples, we demonstrate a 1000x speedup over a full-order FEM model with relative error of less than one percent and show minimum compliance designs for two different cantilever beam examples, one smaller and one larger. Finally, error bounds for displacement field, compliance, and compliance sensitivity of the CWROM are derived.


title: Towards Real-time Drowsiness Detection for Elderly Care

abstract: The primary focus of this paper is to produce a proof of concept for extracting drowsiness information from videos to help elderly living on their own. To quantify yawning, eyelid and head movement over time, we extracted 3000 images from captured videos for training and testing of deep learning models integrated with OpenCV library. The achieved classification accuracy for eyelid and mouth open/close status were between 94.3%-97.2%. Visual inspection of head movement from videos with generated 3D coordinate overlays, indicated clear spatiotemporal patterns in collected data (yaw, roll and pitch). Extraction methodology of the drowsiness information as timeseries is applicable to other contexts including support for prior work in privacy-preserving augmented coaching, sport rehabilitation, and integration with big data platform in healthcare.


title: Semantics-Guided Representation Learning with Applications to Visual Synthesis

abstract: Learning interpretable and interpolatable latent representations has been an emerging research direction, allowing researchers to understand and utilize the derived latent space for further applications such as visual synthesis or recognition. While most existing approaches derive an interpolatable latent space and induces smooth transition in image appearance, it is still not clear how to observe desirable representations which would contain semantic information of interest. In this paper, we aim to learn meaningful representations and simultaneously perform semantic-oriented and visually-smooth interpolation. To this end, we propose an angular triplet-neighbor loss (ATNL) that enables learning a latent representation whose distribution matches the semantic information of interest. With the latent space guided by ATNL, we further utilize spherical semantic interpolation for generating semantic warping of images, allowing synthesis of desirable visual data. Experiments on MNIST and CMU Multi-PIE datasets qualitatively and quantitatively verify the effectiveness of our method.


title: Interface combinatorial pulsed laser deposition to enhance heterostructures functional properties

abstract: In this chapter we will describe a new development of combinatorial pulsed laser deposition (CPLD) which targets the exploration of interface libraries. The idea is to modulate continuously the composition of interfaces on a few atomic layers in order to alter their functional properties. This unique combinatorial synthesis of interfaces is possible due to very specific PLD characteristics. The first one is its well-known ability for complex oxide stoichiometry transfer from the target to the film. The second one is the layer by layer control of thin film growth at the atomic level using in-situ RHEED characterization. The third one relates to the directionality of the ablated plume which allows for selective area deposition on the substrate using a mobile shadow-mask. However PLD also has some limitations and important PLD aspects to be considered for reliable CPLD are reviewed. Multiple examples regarding the control of interface magnetism in magnetic tunnel junctions and energy band and Schottky barrier height tuning in ferroelectric tunable capacitors are presented.


title: Anisotropy in Dijet Production in Exclusive and Inclusive Processes

abstract: We investigate the effect of soft gluon radiations on the azimuthal angle correlation between the total and relative momenta of two jets in inclusive and exclusive dijet processes. We show that the final state effect induces a sizable $\cos(2\phi)$ anisotropy due to gluon emissions near the jet cones. The phenomenological consequences of this observation are discussed for various collider experiments, including diffractive processes in ultraperipheral $pA$ and $AA$ collisions, inclusive and diffractive dijet production at the EIC, and inclusive dijet in $pp$ and $AA$ collisions at the LHC.


title: The susceptibility tensor of a uniform magnetized plasma with a transverse electric field and the electromagnetic waves propagating parallel to the magnetic field

abstract: In natural and laboratory magnetized plasmas, an equilibrium electric field may exist perpendicular to the background magnetic field. In such a situation all the plasma species experience a common drift and the unperturbed distribution functions have a common shift in velocity space. In this work the susceptibility tensor is first derived in the laboratory frame for such a situation using the commonly used method of integration along unperturbed trajectory. Then the Lorentz transformation method is adopted to verify the results. As an application we give an analysis of the waves propagating parallel to the background magnetic field for a simple electron plus single charged ion plasma. A qualitative new phenomenon is the appearance of a resonance at the plasma Langmuir frequency if a transverse equilibrium electric field is present.


title: Ambipolar diffusion velocity and magnetic field evolution in magnetar core: Generalised theoretical approach

abstract: The magnetic field associated with neutron stars is generally believed to be threaded inside the star. In the presence of a magnetic field, the plasma present in the interior of the star goes through several processes that lead to magnetic field evolution. It is thought that magnetar activities are mainly due to field decay. The most important process of field decay inside the core of the star is the ambipolar diffusion of the charged particles present in the interior plasma. The decay rate due to ambipolar diffusion is directly connected to the ambipolar velocity of the charged particles under the influence of the present magnetic field. The ambipolar velocity of the charged particles depends on the internal dynamics of the particles. We outline a general method to solve the particle dynamics in the presence of a magnetic field using a magnetohydrodynamic equation for ambipolar velocity. The equation is general and applies to all possible surrounding conditions \eg temperature, and matter states like normal or superfluid.


title: AutoML to Date and Beyond: Challenges and Opportunities

abstract: As big data becomes ubiquitous across domains, and more and more stakeholders aspire to make the most of their data, demand for machine learning tools has spurred researchers to explore the possibilities of automated machine learning (AutoML). AutoML tools aim to make machine learning accessible for non-machine learning experts (domain experts), to improve the efficiency of machine learning, and to accelerate machine learning research. But although automation and efficiency are among AutoML's main selling points, the process still requires human involvement at a number of vital steps, including understanding the attributes of domain-specific data, defining prediction problems, creating a suitable training data set, and selecting a promising machine learning technique. These steps often require a prolonged back-and-forth that makes this process inefficient for domain experts and data scientists alike, and keeps so-called AutoML systems from being truly automatic. In this review article, we introduce a new classification system for AutoML systems, using a seven-tiered schematic to distinguish these systems based on their level of autonomy. We begin by describing what an end-to-end machine learning pipeline actually looks like, and which subtasks of the machine learning pipeline have been automated so far. We highlight those subtasks which are still done manually - generally by a data scientist - and explain how this limits domain experts' access to machine learning. Next, we introduce our novel level-based taxonomy for AutoML systems and define each level according to the scope of automation support provided. Finally, we lay out a roadmap for the future, pinpointing the research required to further automate the end-to-end machine learning pipeline and discussing important challenges that stand in the way of this ambitious goal.


title: Dense Dual-Path Network for Real-time Semantic Segmentation

abstract: Semantic segmentation has achieved remarkable results with high computational cost and a large number of parameters. However, real-world applications require efficient inference speed on embedded devices. Most previous works address the challenge by reducing depth, width and layer capacity of network, which leads to poor performance. In this paper, we introduce a novel Dense Dual-Path Network (DDPNet) for real-time semantic segmentation under resource constraints. We design a light-weight and powerful backbone with dense connectivity to facilitate feature reuse throughout the whole network and the proposed Dual-Path module (DPM) to sufficiently aggregate multi-scale contexts. Meanwhile, a simple and effective framework is built with a skip architecture utilizing the high-resolution feature maps to refine the segmentation output and an upsampling module leveraging context information from the feature maps to refine the heatmaps. The proposed DDPNet shows an obvious advantage in balancing accuracy and speed. Specifically, on Cityscapes test dataset, DDPNet achieves 75.3% mIoU with 52.6 FPS for an input of 1024 X 2048 resolution on a single GTX 1080Ti card. Compared with other state-of-the-art methods, DDPNet achieves a significant better accuracy with a comparable speed and fewer parameters.


title: On the Presence of a Universal Acceleration Scale in Elliptical Galaxies

abstract: Dark matter phenomena in rotationally supported galaxies exhibit a characteristic acceleration scale of $g_\dagger \approx 1.2\times 10^{-10}$ m s$^{-2}$. Whether this acceleration is a manifestation of a universal scale, or merely an emergent property with an intrinsic scatter, has been debated in the literature. Here we investigate whether a universal acceleration scale exists in dispersion-supported galaxies using two uniform sets of integral field spectroscopy (IFS) data from SDSS-IV MaNGA and ATLAS$^{\rm 3D}$. We apply the spherical Jeans equation to 15 MaNGA and 4 ATLAS$^{\rm 3D}$ slow-rotator E0 (i.e., nearly spherical) galaxies. Velocity dispersion profiles for these galaxies are well determined with observational errors under control. Bayesian inference indicates that all 19 galaxies are consistent with a universal acceleration of $g_\dagger=1.5_{-0.6}^{+0.9}\times 10^{-10}$ m s$^{-2}$. Moreover, all 387 data points from the radial bins of the velocity dispersion profiles are consistent with a universal relation between the radial acceleration traced by dynamics and that predicted by the observed distribution of baryons. This universality remains if we include 12 additional non-E0 slow-rotator elliptical galaxies from ATLAS$^{\rm 3D}$. Finally, the universal acceleration from MaNGA and ATLAS$^{\rm 3D}$ is consistent with that for rotationally supported galaxies, so our results support the view that dark matter phenomenology in galaxies involves a universal acceleration scale.


title: Multidimensional Boltzmann Neutrino Transport Code in Full General Relativity for Core-collapse Simulations

abstract: We develop a neutrino transfer code for core-collapse simulations, that directly solves the multidimensional Boltzmann equations in full general relativity. We employ the discrete ordinate method, which discretizes the six dimensional phase space. The code is an extension of our special relativistic code coupled to a Newtonian hydrodynamics code, which is currently employed for core-collapse supernova simulations. In order to demonstrate our code's capability to treat general relativistic effects, we conduct some tests: we first compute the free streaming of neutrinos in the Schwarzschild and Kerr spacetimes and compare the results with the geodesic curves; in the Schwarzschild case we deploy not only a 1-dimensional grid in space under spherical symmetry but also a 2-dimensional spatial mesh under axisymmetry in order to assess the capability of the code to compute the spatial advection of neutrinos; secondly, we calculate the neutrino transport in a fixed matter background, which is taken from a core-collapse supernova simulation with our general relativistic but spherically symmetric Boltzmann-hydrodynamics code, to obtain a steady neutrino distribution; the results are compared with those given by the latter code.


title: Recurrent neural network-based volumetric fluorescence microscopy

abstract: Volumetric imaging of samples using fluorescence microscopy plays an important role in various fields including physical, medical and life sciences. Here we report a deep learning-based volumetric image inference framework that uses 2D images that are sparsely captured by a standard wide-field fluorescence microscope at arbitrary axial positions within the sample volume. Through a recurrent convolutional neural network, which we term as Recurrent-MZ, 2D fluorescence information from a few axial planes within the sample is explicitly incorporated to digitally reconstruct the sample volume over an extended depth-of-field. Using experiments on C. Elegans and nanobead samples, Recurrent-MZ is demonstrated to increase the depth-of-field of a 63x/1.4NA objective lens by approximately 50-fold, also providing a 30-fold reduction in the number of axial scans required to image the same sample volume. We further illustrated the generalization of this recurrent network for 3D imaging by showing its resilience to varying imaging conditions, including e.g., different sequences of input images, covering various axial permutations and unknown axial positioning errors. Recurrent-MZ demonstrates the first application of recurrent neural networks in microscopic image reconstruction and provides a flexible and rapid volumetric imaging framework, overcoming the limitations of current 3D scanning microscopy tools.

categories: physics.optics cs.CV cs.LG physics.bio-ph


title: Spontaneous CP violation and symplectic modular symmetry in Calabi-Yau compactifications

abstract: We explore the geometrical origin of CP and the spontaneous CP violation in Calabi-Yau compactifications. We find that the CP symmetry is identified with an outer automorphism of the symplectic modular group in the large complex structure regime of Calabi-Yau threefolds, thereby enlarging the symplectic modular group to their semidirect product group. The spontaneous CP violation is realized by the introduction of fluxes, whose effective action is invariant under CP as well as the discrete $\mathbb{Z}_2$ symmetry or $\mathbb{Z}_4$ R-symmetry. We explicitly demonstrate the spontaneous CP violation on a specific Calabi-Yau threefold.


title: Self-supervised Graph Learning for Recommendation

abstract: Representation learning on user-item graph for recommendation has evolved from using single ID or interaction history to exploiting higher-order neighbors. This leads to the success of graph convolution networks (GCNs) for recommendation such as PinSage and LightGCN. Despite effectiveness, we argue that they suffer from two limitations: (1) high-degree nodes exert larger impact on the representation learning, deteriorating the recommendations of low-degree (long-tail) items; and (2) representations are vulnerable to noisy interactions, as the neighborhood aggregation scheme further enlarges the impact of observed edges. In this work, we explore self-supervised learning on user-item graph, so as to improve the accuracy and robustness of GCNs for recommendation. The idea is to supplement the classical supervised task of recommendation with an auxiliary self-supervised task, which reinforces node representation learning via self-discrimination. Specifically, we generate multiple views of a node, maximizing the agreement between different views of the same node compared to that of other nodes. We devise three operators to generate the views -- node dropout, edge dropout, and random walk -- that change the graph structure in different manners. We term this new learning paradigm as \textit{Self-supervised Graph Learning} (SGL), implementing it on the state-of-the-art model LightGCN. Through theoretical analyses, we find that SGL has the ability of automatically mining hard negatives. Empirical studies on three benchmark datasets demonstrate the effectiveness of SGL, which improves the recommendation accuracy, especially on long-tail items, and the robustness against interaction noises. Our implementations are available at \url{https://github.com/wujcan/SGL}.


title: Learning to Embed Categorical Features without Embedding Tables for Recommendation

abstract: Embedding learning of categorical features (e.g. user/item IDs) is at the core of various recommendation models including matrix factorization and neural collaborative filtering. The standard approach creates an embedding table where each row represents a dedicated embedding vector for every unique feature value. However, this method fails to efficiently handle high-cardinality features and unseen feature values (e.g. new video ID) that are prevalent in real-world recommendation systems. In this paper, we propose an alternative embedding framework Deep Hash Embedding (DHE), replacing embedding tables by a deep embedding network to compute embeddings on the fly. DHE first encodes the feature value to a unique identifier vector with multiple hashing functions and transformations, and then applies a DNN to convert the identifier vector to an embedding. The encoding module is deterministic, non-learnable, and free of storage, while the embedding network is updated during the training time to learn embedding generation. Empirical results show that DHE achieves comparable AUC against the standard one-hot full embedding, with smaller model sizes. Our work sheds light on the design of DNN-based alternative embedding schemes for categorical features without using embedding table lookup.


title: Manifestly Causal In-In Perturbation Theory about the Interacting Vacuum

abstract: In-In perturbation theory is a vital tool for cosmology and nonequilibrium physics. Here, we reconcile an apparent conflict between two of its important aspects with particular relevance to De Sitter/inflationary contexts: (i) the need to slightly deform unitary time evolution with an i*epsilon prescription that projects the free ("Bunch-Davies") vacuum onto the interacting vacuum and renders vertex integrals well-defined, and (ii) Weinberg's "nested commutator" reformulation of in-in perturbation theory which makes manifest the constraints of causality within expectation values of local operators, assuming exact unitarity. We show that a modified i*epsilon prescription maintains the exact unitarity on which the derivation of (ii) rests, while nontrivially agreeing with (i) to all orders of perturbation theory.


title: On Robust Probabilistic Principal Component Analysis using Multivariate $t$-Distributions

abstract: Probabilistic principal component analysis (PPCA) is a probabilistic reformulation of principal component analysis (PCA), under the framework of a Gaussian latent variable model. To improve the robustness of PPCA, it has been proposed to change the underlying Gaussian distributions to multivariate $t$-distributions. Based on the representation of $t$-distribution as a scale mixture of Gaussian distributions, a hierarchical model is used for implementation. However, in the existing literature, the hierarchical model implemented does not yield the equivalent interpretation. In this paper, we present two sets of equivalent relationships between the high-level multivariate $t$-PPCA framework and the hierarchical model used for implementation. In doing so, we clarify a current misrepresentation in the literature, by specifying the correct correspondence. In addition, we discuss the performance of different multivariate $t$ robust PPCA methods both in theory and simulation studies, and propose a novel Monte Carlo expectation-maximization (MCEM) algorithm to implement one general type of such models.


title: Remarks on the subdivisions of bispindles and two-blocks cycles in highly chromatic digraphs

abstract: A $(2+1)$-bispindle $B(k_1,k_2;k_3)$ is the union of two $xy$-dipaths of respective lengths $k_1$ and $k_2$, and one $yx$-dipath of length $k_3$, all these dipaths being pairwise internally disjoint. Recently, Cohen et al. conjectured that, for every positive integers $k_1, k_2, k_3$, there is an integer $g(k_1, k_2, k_3)$ such that every strongly connected digraph not containing subdivisions of $B(k_1, k_2; k_3)$ has a chromatic number at most $g(k_1, k_2, k_3)$, and they proved it only for the case where $k_2=1$. For Hamiltonian digraphs, we prove Cohen et al.'s conjecture, namely $g(k_1, k_2, k_3)\leq 4k$, where $k=max\{k_1, k_2, k_3\}$. A two-blocks cycle $C(k_1,k_2)$ is the union of two internally disjoint $xy$-dipaths of length $k_1$ and $k_2$ respectively. Addario et al. asked if the chromatic number of strong digraphs not containing subdivisions of a two-blocks cycle $C(k_1,k_2)$ can be bounded from above by $O(k_1+k_2)$, which remains an open problem. Assuming that $k=max\{k_1,k_2\}$, the best reached upper bound, found by Kim et al., is $12k^2$. In this article, we conjecture that this bound can be slightly improved to $4k^2$ and we confirm our conjecture for some particular cases. Moreover, we provide a positive answer to Addario et al.'s question for the class of digraphs having a Hamiltonian directed path.


title: "Are you home alone?" "Yes" Disclosing Security and Privacy Vulnerabilities in Alexa Skills

abstract: The home voice assistants such as Amazon Alexa have become increasingly popular due to many interesting voice-activated services provided through special applications called skills. These skills, though useful, have also introduced new security and privacy challenges. Prior work has verified that Alexa is vulnerable to multiple types of voice attacks, but the security and privacy risk of using skills has not been fully investigated. In this work, we study an adversary model that covers three severe privacy-related vulnerabilities, namely,over-privileged resource access, hidden code-manipulation and hidden content-manipulation. By exploiting these vulnerabilities, malicious skills can not only bypass the security tests in the vetting process, but also surreptitiously change their original functions in an attempt to steal users' personal information. What makes the situation even worse is that the attacks can be extended from virtual networks to the physical world. We systematically study the security issues from the feasibility and implementation of the attacks to the design of countermeasures. We also made a comprehensive survey study of 33,744 skills in Alex Skills Store.


title: ProphetNet-Ads: A Looking Ahead Strategy for Generative Retrieval Models in Sponsored Search Engine

abstract: In a sponsored search engine, generative retrieval models are recently proposed to mine relevant advertisement keywords for users' input queries. Generative retrieval models generate outputs token by token on a path of the target library prefix tree (Trie), which guarantees all of the generated outputs are legal and covered by the target library. In actual use, we found several typical problems caused by Trie-constrained searching length. In this paper, we analyze these problems and propose a looking ahead strategy for generative retrieval models named ProphetNet-Ads. ProphetNet-Ads improves the retrieval ability by directly optimizing the Trie-constrained searching space. We build a dataset from a real-word sponsored search engine and carry out experiments to analyze different generative retrieval models. Compared with Trie-based LSTM generative retrieval model proposed recently, our single model result and integrated result improve the recall by 15.58\% and 18.8\% respectively with beam size 5. Case studies further demonstrate how these problems are alleviated by ProphetNet-Ads clearly.


title: The Second Neighborhood Conjecture for Oriented Graphs Missing $\{C_{4}, \overline{C_{4}}, S_{3},$ chair and co-chair$\}$-Free Graph

abstract: Seymour's Second Neighborhood Conjecture (SNC) asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. In this paper, we prove that if $G$ is a graph containing no induced $C_4$, $\overline{C_4}$, $S_3$, chair and $\overline{chair}$, then every oriented graph missing $G$ satisfies this conjecture. As a consequence, we deduce that the conjecture holds for every oriented graph missing a threshold graph, a generalized comb or a star.


title: Demixing of two species via reciprocally concentration-dependent diffusivity

abstract: We propose a model for demixing of two species by assuming a density-dependent effective diffusion coefficient of the particles. Both sorts of microswimmers diffuse as active overdamped Brownian particles with a noise intensity that is determined by the surrounding density of the respective other species within a sensing radius $r_s$. A higher concentration of the first (second) sort will enlarge the diffusion and, in consequence, the intensity of the noise experienced by the second (first) sort. Numerical and analytical investigations of steady states of the macroscopic equations prove the demixing of particles due to this reciprocally concentration-dependent diffusivity. An ambiguity of the numerical integration scheme for the purely local model ($r_s\to 0$) is resolved by considering nonvanishing sensing radii in a nonlocal model with $r_s > 0$.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.PE


title: On-chip optical non-reciprocity through a synthetic Hall effect for photons

abstract: We demonstrate a synthetic Hall effect for light, using an acousto-optically modulated nanophotonic resonator chain. To produce this effect, we simultaneously generate the required synthetic electric field using temporal modulation, and the required synthetic magnetic field using spatial modulation of the resonator chain. We show how the combination of these synthetic fields transverse to the direction of light propagation can be used to produce non-reciprocal optical transmission, as a basis for new photonic and topological devices.


title: RII number of knot projections

abstract: Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations of types 1 and 3. This is motivated by \"{O}stlund conjecture: Deformations of type 1 and 3 are sufficient to describe a homotopy from any generic immersion of a circle in a two dimensional plane to an embedding of the circle (2001), which implies RII number always would be zero. However, Hagge and Yazinski disproved the conjecture by showing the first counterexample with 16 double points, which implies that RII number is nontrivial. This paper shows that RII number can be any nonnegative number.


title: Worst-case sensitivity

abstract: We introduce the notion of Worst-Case Sensitivity, defined as the worst-case rate of increase in the expected cost of a Distributionally Robust Optimization (DRO) model when the size of the uncertainty set vanishes. We show that worst-case sensitivity is a Generalized Measure of Deviation and that a large class of DRO models are essentially mean-(worst-case) sensitivity problems when uncertainty sets are small, unifying recent results on the relationship between DRO and regularized empirical optimization with worst-case sensitivity playing the role of the regularizer. More generally, DRO solutions can be sensitive to the family and size of the uncertainty set, and reflect the properties of its worst-case sensitivity. We derive closed-form expressions of worst-case sensitivity for well known uncertainty sets including smooth $\phi$-divergence, total variation, "budgeted" uncertainty sets, uncertainty sets corresponding to a convex combination of expected value and CVaR, and the Wasserstein metric. These can be used to select the uncertainty set and its size for a given application.


title: Gravitational radiation as the bremsstrahlung of superheavy particles in the early Universe

abstract: The number of superheavy particles with the mass of the Grand Unification scale with trans-Planckian energy created at the epoch of superheavy particle creation from vacuum by the gravitation of the expanding Universe is calculated. In later collisions of these particles gravitational radiation is radiated playing the role of bremsstrahlung for gravity. The effective background radiation of the Universe is evaluated.


title: Poincar\'e series of double coset representatives of Coxeter groups

abstract: Let $(W,S)$ be a Coxeter system of finite rank and let $J,K\subset S$. We study the rationality of the Poincar\'e series of the set of representatives of minimal length of $(W_J,W_K)$-double cosets of $W$: we conclude that it depends mostly on the rationality of the Poincar\'e series of the normalizers of finite parabolic subgroups of $W$. For affine Weyl groups, we prove that all these series are rational and we give some explicit examples.


title: Tensor Train Random Projection

abstract: This work proposes a novel tensor train random projection (TTRP) method for dimension reduction, where pairwise distances can be approximately preserved. Our TTRP is systematically constructed through a tensor train (TT) representation with TT-ranks equal to one. Based on the tensor train format, this new random projection method can speed up the dimension reduction procedure for high-dimensional datasets and requires less storage costs with little loss in accuracy, compared with existing methods. We provide a theoretical analysis of the bias and the variance of TTRP, which shows that this approach is an expected isometric projection with bounded variance, and we show that the Rademacher distribution is an optimal choice for generating the corresponding TT-cores. Detailed numerical experiments with synthetic datasets and the MNIST dataset are conducted to demonstrate the efficiency of TTRP.


title: Quantitative stability for eigenvalues of Schr\"{o}dinger operator, Quantitative bathtub principle \& Application to the turnpike property for a bilinear optimal control problem

abstract: This work is concerned with two optimisation problems that we tackle from a qualitative perspective. The first one deals with quantitative inequalities for spectral optimisation problems for Schr\"{o}dinger operators in general domains, the second one deals with the turnpike property for optimal bilinear control problems. In the first part of this article, we prove, under mild technical assumptions, quantitative inequalities for the optimisation of the first eigenvalue of $-\Delta-V$ with Dirichlet boundary conditions with respect to the potential $V$, under $L^\infty$ and $L^1$ constraints. This is done using a new method of proof which relies on in a crucial way on a quantitative bathtub principle. We believe our approach susceptible of being generalised to other steady elliptic optimisation problems. In the second part of this paper, we use this inequality to tackle a turnpike problem. Namely, considering a bilinear control system of the form $u_t-\Delta u=\mathcal V u$, $\mathcal V=\mathcal V(t,x)$ being the control, can we give qualitative information, under $L^\infty$ and $L^1$ constraints on $\mathcal V$, on the solutions of the optimisation problem $\sup \int_\Omega u(T,x)dx$? We prove that the quantitative inequality for eigenvalues implies an integral turnpike property: defining $\mathcal I^*$ as the set of optimal potentials for the eigenvalue optimisation problem and $\mathcal V_T^*$ as a solution of the bilinear optimal control problem, the quantity $\int_0^T \operatorname{dist}_{L^1}(\mathcal V_T^*(t,\cdot)\,, \mathcal I^*)^2$ is bounded uniformly in $T$.


title: Biometric Identification Systems With Noisy Enrollment for Gaussian Source

abstract: In the present paper, we investigate the fundamental trade-off of identification, secrecy, storage, and privacy-leakage rates in biometric identification systems for hidden or remote Gaussian sources. We introduce a technique for deriving the capacity region of these rates by converting the system to one where the data flow is in one-way direction. Also, we provide numerical calculations of three different examples for the generated-secret model. The numerical results imply that it seems hard to achieve both high secrecy and small privacy-leakage rates simultaneously. In addition, as special cases, the characterization coincides with several known results in previous studies.


title: Modular representations of Lie algebras of reductive groups and Humphreys' conjecture

abstract: Let $G$ be connected reductive algebraic group defined over an algebraically closed field of characteristic $p > 0$ and suppose that $p$ is a good prime for the root system of $G$, the derived subgroup of $G$ is simply connected and the Lie algebra $\mathfrak{g} = \operatorname{Lie}(G)$ admits a non-degenerate Ad$(G)$-invariant symmetric bilinear form. Given a linear function $\chi$ on $\mathfrak{g}$ we denote by $U_\chi(\mathfrak{g})$ the reduced enveloping algebra of $\mathfrak{g}$ associated with $\chi$. By the Kac-Weisfeiler conjecture (now a theorem), any irreducible $U_\chi(\mathfrak{g})$-module has dimension divisible by $p^{d(\chi)}$ where $2d(\chi)$ is the dimension of the coadjoint $G$-orbit containing $\chi$. In this paper we give a positive answer to the natural question raised in the 1990s by Kac, Humphreys and the first-named author and show that any algebra $U_\chi(\mathfrak{g})$ admits a module of dimension $p^{d(\chi)}$.


title: Quasi Error-free Text Classification and Authorship Recognition in a large Corpus of English Literature based on a Novel Feature Set

abstract: The Gutenberg Literary English Corpus (GLEC) provides a rich source of textual data for research in digital humanities, computational linguistics or neurocognitive poetics. However, so far only a small subcorpus, the Gutenberg English Poetry Corpus, has been submitted to quantitative text analyses providing predictions for scientific studies of literature. Here we show that in the entire GLEC quasi error-free text classification and authorship recognition is possible with a method using the same set of five style and five content features, computed via style and sentiment analysis, in both tasks. Our results identify two standard and two novel features (i.e., type-token ratio, frequency, sonority score, surprise) as most diagnostic in these tasks. By providing a simple tool applicable to both short poems and long novels generating quantitative predictions about features that co-determe the cognitive and affective processing of specific text categories or authors, our data pave the way for many future computational and empirical studies of literature or experiments in reading psychology.


title: Removing Bias in Multi-modal Classifiers: Regularization by Maximizing Functional Entropies

abstract: Many recent datasets contain a variety of different data modalities, for instance, image, question, and answer data in visual question answering (VQA). When training deep net classifiers on those multi-modal datasets, the modalities get exploited at different scales, i.e., some modalities can more easily contribute to the classification results than others. This is suboptimal because the classifier is inherently biased towards a subset of the modalities. To alleviate this shortcoming, we propose a novel regularization term based on the functional entropy. Intuitively, this term encourages to balance the contribution of each modality to the classification result. However, regularization with the functional entropy is challenging. To address this, we develop a method based on the log-Sobolev inequality, which bounds the functional entropy with the functional-Fisher-information. Intuitively, this maximizes the amount of information that the modalities contribute. On the two challenging multi-modal datasets VQA-CPv2 and SocialIQ, we obtain state-of-the-art results while more uniformly exploiting the modalities. In addition, we demonstrate the efficacy of our method on Colored MNIST.


title: Trends at NIME -- Reflections on Editing "A NIME Reader"

abstract: This paper provides an overview of the process of editing the forthcoming anthology "A NIME Reader - Fifteen Years of New Interfaces for Musical Expression." The selection process is presented, and we reflect on some of the trends we have observed in re-discovering the collection of more than 1200 NIME papers published throughout the 15-year long history of the conference. An anthology is necessarily selective, and ours is no exception. As we present in this paper, the aim has been to represent the wide range of artistic, scientific, and technological approaches that characterize the NIME conference. The anthology also includes critical discourse, and through acknowledgment of the strengths and weaknesses of the NIME community, we propose activities that could further diversify and strengthen the field.


title: UFO$^2$: A Unified Framework towards Omni-supervised Object Detection

abstract: Existing work on object detection often relies on a single form of annotation: the model is trained using either accurate yet costly bounding boxes or cheaper but less expressive image-level tags. However, real-world annotations are often diverse in form, which challenges these existing works. In this paper, we present UFO$^2$, a unified object detection framework that can handle different forms of supervision simultaneously. Specifically, UFO$^2$ incorporates strong supervision (e.g., boxes), various forms of partial supervision (e.g., class tags, points, and scribbles), and unlabeled data. Through rigorous evaluations, we demonstrate that each form of label can be utilized to either train a model from scratch or to further improve a pre-trained model. We also use UFO$^2$ to investigate budget-aware omni-supervised learning, i.e., various annotation policies are studied under a fixed annotation budget: we show that competitive performance needs no strong labels for all data. Finally, we demonstrate the generalization of UFO$^2$, detecting more than 1,000 different objects without bounding box annotations.


title: SeqTrans: Automatic Vulnerability Fix via Sequence to Sequence Learning

abstract: Software vulnerabilities are now reported at an unprecedented speed due to the recent development of automated vulnerability hunting tools. However, fixing vulnerabilities still mainly depends on programmers' manual efforts. Developers need to deeply understand the vulnerability and try to affect the system's functions as little as possible. In this paper, with the advancement of Neural Machine Translation (NMT) techniques, we provide a novel approach called SeqTrans to exploit historical vulnerability fixes to provide suggestions and automatically fix the source code. To capture the contextual information around the vulnerable code, we propose to leverage data flow dependencies to construct code sequences and fed them into the state-of-the-art transformer model. The fine-tuning strategy has been introduced to overcome the small sample size problem. We evaluate SeqTrans on a dataset containing 1,282 commits that fix 624 vulnerabilities in 205 Java projects. Results show that the accuracy of SeqTrans outperforms the latest techniques and achieves 23.3% in statement-level fix and 25.3% in CVE-level fix. In the meantime, we look deep inside the result and observe that NMT model performs very well in certain kinds of vulnerabilities like CWE-287 (Improper Authentication) and CWE-863 (Incorrect Authorization).


title: QuTiP-BoFiN: A bosonic and fermionic numerical hierarchical-equations-of-motion library with applications in light-harvesting, quantum control, and single-molecule electronics

abstract: The "hierarchical equations of motion" (HEOM) method is a powerful exact numerical approach to solve the dynamics and find the steady-state of a quantum system coupled to a non-Markovian and non-perturbative environment. Originally developed in the context of physical chemistry, it has also been extended and applied to problems in solid-state physics, optics, single-molecule electronics, and biological physics. Here we present a numerical library in Python, integrated with the powerful QuTiP platform, which implements the HEOM for both bosonic and fermionic environments. We demonstrate its utility with a series of examples. For the bosonic case, we include demonstrations of fitting arbitrary spectral densities, and an example of the dynamics of energy transfer in the Fenna-Matthews-Olson photosynthetic complex, showing how a suitable non-Markovian environment can protect against pure dephasing. We also demonstrate how the HEOM can be used to benchmark different strategies for dynamical decoupling of a spin from its environment, and show that the Uhrig pulse-spacing scheme is less optimal than equally spaced pulses when the environment's spectral density is very broad. For the fermionic case, we present an integrable single-impurity example, used as a benchmark of the code, and a more complex example of an impurity strongly coupled to a single vibronic mode, with applications to single-molecule electronics.


title: Birational geometry of defective varieties, II

abstract: Let $X \subset \mathbb{P}^r$ be smooth and irreducible and for $k \ge 0$ let $\nu_k(X)$ (resp., $\delta_k(X)$) be the $k$-th contact (resp., the $k$-th secant) defect of $X$. For all $k \ge 0$ we have the inequality $\nu_k(X) \ge \delta_k(X)$ and in the case $k=1$ we characterize projective varieties $X$ for which equality holds, $\dim \mathrm{Sing}(X) \le \delta _1(X) -1$ and the generic tangential contact locus is reducible.


title: CO Outflow Candidates Toward the W3/4/5 Complex II: Feedback from Candidate Outflows

abstract: To date, few studies have focused on protostellar outflow feedback at scales larger than several parsecs. To address this paucity of research, we investigate the effects of feedback from CO outflow candidates on their parent clouds over $\sim$ 110 deg$^2$ toward the W3/4/5 complex and its surroundings. Our search identified 265 $^{13}$CO clouds with radii being $\sim$ 0.04 -- 17.12 pc. We estimate the turbulent support and potential disruptive effect of the outflow activities through analyzing physical properties of outflow candidates and their host clouds in terms of turbulence and gravitational binding energy. We find:(1) clouds of larger size might be less affected by feedback; (2) the possible scale break is $\gtrsim 4.7$ pc for both turbulent support and potential disruptive effect; (3) if outflows couple to dense gas where stars are forming, for clouds in the Perseus arm, a scale $\lesssim$ 0.2 -- 0.4 pc is sufficient for the energy and momentum injected by outflow activity to maintain turbulence, while for clouds in the Local arm, the scale is $\lesssim$ 0.1 -- 0.2 pc; and (4) for clouds in the Perseus arm, a scale $\lesssim$ 0.3 -- 1.0 pc is needed for outflow activity to potentially disperse material away from the natal clouds, while for clouds in the Local arm, the scale is $\lesssim$ 0.2 -- 0.6 pc.The strength of outflow activity may affect the values in the points (3) and (4). Finally, we find that outflow feedback probably possesses the power to alter the linewidth-size relation.


title: A Note on the Approximability of Deepest-Descent Circuit Steps

abstract: Linear programs (LPs) can be solved by polynomially many moves along the circuit direction improving the objective the most, so-called deepest-descent steps (dd-steps). Computing these steps is NP-hard (De Loera et al., arXiv, 2019), a consequence of the hardness of deciding the existence of an optimal circuit-neighbor (OCNP) on LPs with non-unique optima. We prove OCNP is easy under the promise of unique optima, but already $O(n^{1-\varepsilon})$-approximating dd-steps remains hard even for totally unimodular $n$-dimensional 0/1-LPs with a unique optimum. We provide a matching $n$-approximation.


title: Leveraging Touch Sensors to Improve Mobile Manipulation

abstract: Despite many advances in service robotics, successful and secure object manipulation on mobile platforms is still a challenge. In order to come closer to human grasping performance, it is natural to provide robots with the same capability that humans have: the sense of touch. This abstract presents novel, tactile-equipped end-effectors for the service robot TIAGo that are currently being developed. Their primary goal is to improve reliability and success of mobile manipulation, but they also enable further research in related fields such as learning by human demonstration, object exploration and force control algorithms.


title: STN4DST: A Scalable Dialogue State Tracking based on Slot Tagging Navigation

abstract: Scalability for handling unknown slot values is a important problem in dialogue state tracking (DST). As far as we know, previous scalable DST approaches generally rely on either the candidate generation from slot tagging output or the span extraction in dialogue context. However, the candidate generation based DST often suffers from error propagation due to its pipelined two-stage process; meanwhile span extraction based DST has the risk of generating invalid spans in the lack of semantic constraints between start and end position pointers. To tackle the above drawbacks, in this paper, we propose a novel scalable dialogue state tracking method based on slot tagging navigation, which implements an end-to-end single-step pointer to locate and extract slot value quickly and accurately by the joint learning of slot tagging and slot value position prediction in the dialogue context, especially for unknown slot values. Extensive experiments over several benchmark datasets show that the proposed model performs better than state-of-the-art baselines greatly.


title: On slow minimal reals I

abstract: Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real $\eta \in \prod_{i<\omega} n^*_i$, which is eventually different from any old real in $\prod_{i<\omega} n^*_i$, where the sequence $\langle n^*_i \mid i<\omega \rangle$ grows slowly.