title: Joint Analysis of Multicolor Photometry: A New Approach to Constrain the Nature of Multiple-Star Systems Hosting Exoplanet Candidates

abstract: We present a new method to assess the properties of transiting planet candidates by multicolor photometry. By analyzing multicolor transit/eclipse light curves and apparent magnitudes of the target in parallel, this method attempts to identify the nature of the system and provide a quantitative constraint on the properties of unresolved companion(s). We demonstrate our method by observing the six systems hosting candidate transiting planets, identified by the K2 mission (EPIC 206036749, EPIC 206500801, EPIC 210513446, EPIC 211800191, EPIC 220621087, and EPIC 220696233). Applying our analysis code to the six targets, we find that EPIC 206036749, EPIC 210513446, and EPIC 211800191 are likely to be triple-star systems including eclipsing binaries, and EPIC 220696233 is likely a planetary system, albeit further observations are required to confirm the nature. Additionally, we confirm that the systematic errors in the derived system parameters arising from adopting specific isochrone models and observing instruments (passbands) are relatively small. While this approach alone is not powerful enough to validate or refute planet candidates, the technique allows us to constrain the properties of resolved/unresolved companions, and prioritize the planet candidates for further follow-up observations (e.g., radial-velocity measurements).


title: On the extension of K\"ahler currents on compact K\"ahler manifolds: holomorphic retraction case

abstract: In the present paper, we show that given a compact K\"ahler manifold $(X,\omega)$ with a K\"ahler metric $\omega$, and a complex submanifold $V\subset X$ of positive dimension, if $V$ has a holomorphic retraction structure in $X$, then any quasi-plurisubharmonic function $\varphi$ on $V$ such that $\omega|_V+\sqrt{-1}\partial\bar\partial\varphi\geq \varepsilon\omega|_V$ with $\varepsilon>0$ can be extended to a quasi-plurisubharmonic function $\Phi$ on $X$, such that $\omega+\sqrt{-1}\partial\bar\partial \Phi\geq \varepsilon'\omega$ for some $\varepsilon'>0$. This is an improvement of results in \cite{WZ20}. Examples satisfying the assumption that there exists a holomorphic retraction structure contain product manifolds, thus contains many compact K\"ahler manifolds which are not necessarily projective.


title: On $r$-dynamic coloring on lexicographic product of star graphs

abstract: In this research, the exact results on $r$-dynamic coloring of lexicographic product of path with star graph, path with double star graph, path with triple star graph and finally complete graph with path are obtained.


title: Multisoliton solutions via a separation of variables

abstract: It is shown that multisoliton solutions of several well known nonlinear PDEs(x, t) can be obtained by certain separation of variables: each n-soliton arises from a mutual solution of a nonlinear ODE(x), common for all NPDEs considered, and linear PDE(x, t) with the linear operator from the NPDE in question.


title: High order finite difference Hermite WENO fixed-point fast sweeping method for static Hamilton-Jacobi equations

abstract: In this paper, we combine the nonlinear HWENO reconstruction in \cite{newhwenozq} and the fixed-point iteration with Gauss-Seidel fast sweeping strategy, to solve the static Hamilton-Jacobi equations in a novel HWENO framework recently developed in \cite{mehweno1}. The proposed HWENO frameworks enjoys several advantages. First, compared with the traditional HWENO framework, the proposed methods do not need to introduce additional auxiliary equations to update the derivatives of the unknown function $\phi$. They are now computed from the current value of $\phi$ and the previous spatial derivatives of $\phi$. This approach saves the computational storage and CPU time, which greatly improves the computational efficiency of the traditional HWENO scheme. In addition, compared with the traditional WENO method, reconstruction stencil of the HWENO methods becomes more compact, their boundary treatment is simpler, and the numerical errors are smaller on the same mesh. Second, the fixed-point fast sweeping method is used to update the numerical approximation. It is an explicit method and does not involve the inverse operation of nonlinear Hamiltonian, therefore any Hamilton-Jacobi equations with complex Hamiltonian can be solved easily. It also resolves some known issues, including that the iterative number is very sensitive to the parameter $\varepsilon$ used in the nonlinear weights, as observed in previous studies. Finally, in order to further reduce the computational cost, a hybrid strategy is also presented. Extensive numerical experiments are performed on two-dimensional problems, which demonstrate the good performance of the proposed fixed-point fast sweeping HWENO methods.


title: Theory of thermoelectric effect in insulators

abstract: We propose a thermopolarization effect with a purely electronic origin, where the electric polarization $P$ is induced by the temperature gradient $\nabla T$. This is observable as a Seebeck effect in a finite-size system where the linear size $L$ is shorter than the Debye length $\lambda$, which characterizes the screening due to the thermal excitation of free carriers. The dual effect is the ac heat current induced by the time derivative of the electric field $E$. The Seebeck coefficient $S$ diverges as $\sim t_{\mathrm{asym}}/eT$ when the temperature $T$ goes to $0$, where $t_{\mathrm{asym}}$ represents the asymmetry of the conduction band and the valence band and $e$ is the elementary charge.


title: Single View Geocentric Pose in the Wild

abstract: Current methods for Earth observation tasks such as semantic mapping, map alignment, and change detection rely on near-nadir images; however, often the first available images in response to dynamic world events such as natural disasters are oblique. These tasks are much more difficult for oblique images due to observed object parallax. There has been recent success in learning to regress geocentric pose, defined as height above ground and orientation with respect to gravity, by training with airborne lidar registered to satellite images. We present a model for this novel task that exploits affine invariance properties to outperform state of the art performance by a wide margin. We also address practical issues required to deploy this method in the wild for real-world applications. Our data and code are publicly available.


title: High-Dimensional Sparse Single-Index Regression Via Hilbert-Schmidt Independence Criterion

abstract: Hilbert-Schmidt Independence Criterion (HSIC) has recently been used in the field of single-index models to estimate the directions. Compared with some other well-established methods, it requires relatively weaker conditions. However, its performance has not yet been studied in the high-dimensional scenario, where the number of covariates is much larger than the sample size. In this article, we propose a new efficient sparse estimate in HSIC based single-index model. This new method estimates the subspace spanned by the linear combinations of the covariates directly and performs variable selection simultaneously. Due to the non-convexity of the objective function, we use a majorize-minimize approach together with the linearized alternating direction method of multipliers algorithm to solve the optimization problem. The algorithm does not involve the inverse of the covariance matrix and therefore can handle the large p small n scenario naturally. Through extensive simulation studies and a real data analysis, we show our proposal is efficient and effective in the high-dimensional setting. The Matlab codes for this method are available online.


title: The Topological Mu-Calculus: completeness and decidability

abstract: We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate relational $\mu$-calculus, providing general completeness results for all natural fragments of $\mu$-calculus over many different classes of relational frames. Unlike most other such proofs for $\mu$-calculus, ours is model-theoretic, making an innovative use of a known Modal Logic method (--the 'final' submodel of the canonical model), that has the twin advantages of great generality and essential simplicity.


title: Sharp Restricted Isometry Property Bounds for Low-rank Matrix Recovery Problems with Corrupted Measurements

abstract: In this paper, we study a general low-rank matrix recovery problem with linear measurements corrupted by some noise. The objective is to understand under what conditions on the restricted isometry property (RIP) of the problem local search methods can find the ground truth with a small error. By analyzing the landscape of the non-convex problem, we first propose a global guarantee on the maximum distance between an arbitrary local minimizer and the ground truth under the assumption that the RIP constant is smaller than $1/2$. We show that this distance shrinks to zero as the intensity of the noise reduces. Our new guarantee is sharp in terms of the RIP constant and is much stronger than the existing results. We then present a local guarantee for problems with an arbitrary RIP constant, which states that any local minimizer is either considerably close to the ground truth or far away from it. Next, we prove the strict saddle property, which guarantees the global convergence of the perturbed gradient descent method in polynomial time. The developed results demonstrate how the noise intensity and the RIP constant of the problem affect the landscape of the problem.


title: Oneshot Differentially Private Top-k Selection

abstract: Being able to efficiently and accurately select the top-$k$ elements with differential privacy is an integral component of various private data analysis tasks. In this paper, we present the oneshot Laplace mechanism, which generalizes the well-known Report Noisy Max mechanism to reporting noisy top-$k$ elements. We show that the oneshot Laplace mechanism with a noise level of $\widetilde{O}(\sqrt{k}/\eps)$ is approximately differentially private. Compared to the previous peeling approach of running Report Noisy Max $k$ times, the oneshot Laplace mechanism only adds noises and computes the top $k$ elements once, hence much more efficient for large $k$. In addition, our proof of privacy relies on a novel coupling technique that bypasses the use of composition theorems. Finally, we present a novel application of efficient top-$k$ selection in the classical problem of ranking from pairwise comparisons.


title: Competing spreading dynamics in simplicial complex

abstract: Interactions in biology and social systems are not restricted to pairwise but can take arbitrary sizes. Extensive studies have revealed that the arbitrary-sized interactions significantly affect the spreading dynamics on networked systems. Competing spreading dynamics, i.e., several epidemics spread simultaneously and compete with each other, have been widely observed in the real world, yet the way arbitrary-sized interactions affect competing spreading dynamics still lacks systematic study. This study presents a model of two competing simplicial susceptible-infected-susceptible epidemics on a higher-order system represented by simplicial complex and analyzes the model's critical phenomena. In the proposed model, a susceptible node can only be infected by one of the two epidemics, and the transmission of infection to neighbors can occur through pairwise (i.e., an edge) and high-order (e.g., 2-simplex) interactions simultaneously. Through a mean-field (MF) theory analysis and numerical simulations, we show that the model displays rich dynamical behavior depending on the 2-simplex infection strength. When the 2-simplex infection strength is weak, the model's phase diagram is consistent with the simple graph, consisting of three regions: the absolute dominant regions for each epidemic and the epidemic-free region. With the increase of the 2-simplex infection strength, a new phase region called the alternative dominant region emerges. In this region, the survival of one epidemic depends on the initial conditions. Our theoretical analysis can reasonably predict the time evolution and steady-state outbreak size in each region. In addition, we further explore the model's phase diagram both when the 2-simplex infection strength is symmetrical and asymmetrical. The results show that the 2-simplex infection strength has a significant impact on the system phase diagram.


title: The topological phase of bright solitons

abstract: We study the topological phase of bright soliton with arbitrary velocity under the self-steepening effect. Such topological phase can be described by the topological vector potential and effective magnetic field. We find that the point-like magnetic fields corresponds to the density peak of such bright solitons, where each elementary magnetic flux is {\pi}. Remarkably, we show that two bright solitons can generate an additional topological field due to the phase jump between them. Our research provided the possibility to use bright solitons to explore topological properties.


title: PeV Gravitino, Weak-scale Higgsino and GeV Axino in KKLT

abstract: We realize high scale supersymmetry in the mirage mediation. The Higgs sector is extended with the Peccei-Quinn symmetry, and the higgsino mass term is generated by the Kim-Nilles mechanism. In particular, the Peccei-Quinn symmetry breaking scale naturally lies on the mirage messenger scale due to the mixed modulus-anomaly mediation with the gauge coupling unification. Consequently, the higgsino mass term is of order the weak scale while the gravitino mass is of PeV order. This hierarchy naturally leads to the correct electroweak symmetry breaking. The higgsinos are thus in the range accessible at future lepton colliders, while other sparticles are well-above the current LHC reach and consistent with the observed Higgs boson. The axino is dominantly produced from the modulus decay and accounts for the correct dark matter abundance.


title: Towards Unsupervised Sketch-based Image Retrieval

abstract: The practical value of existing supervised sketch-based image retrieval (SBIR) algorithms is largely limited by the requirement for intensive data collection and labeling. In this paper, we present the first attempt at unsupervised SBIR to remove the labeling cost (both category annotations and sketch-photo pairings) that is conventionally needed for training. Existing single-domain unsupervised representation learning methods perform poorly in this application, due to the unique cross-domain (sketch and photo) nature of the problem. We therefore introduce a novel framework that simultaneously performs sketch-photo domain alignment and semantic-aware representation learning. Technically this is underpinned by introducing joint distribution optimal transport (JDOT) to align data from different domains, which we extend with trainable cluster prototypes and feature memory banks to further improve scalability and efficacy. Extensive experiments show that our framework achieves excellent performance in the new unsupervised setting, and performs comparably or better than state-of-the-art in the zero-shot setting.


title: High amplification laser-pressure optic enables ultra-low uncertainty measurements at kilowatts

abstract: We present the first measurements of kilowatt laser power with an uncertainty less than 1 %. These represent progress toward the most accurate measurements of laser power above 1 kW at 1070 nm wavelength and establish a more precise link between force metrology and laser power metrology. Radiation pressure, or photon momentum, is a relatively new method of non-destructively measuring laser power. We demonstrate how a multiple reflection optical system amplifies the pressure of a kilowatt class laser incoherently to improve the signal to noise ratio in a radiation pressure-based measurement. With 14 incoherent reflections of the laser, we measure a total uncertainty of 0.26 % for an input power of 10 kW and 0.46 % for an input power of 1 kW at the 95 % confidence level. These measurements of absolute power are traceable to the SI kilogram and mark a state-of-the-art improvement in measurement precision by a factor of four.


title: TRIM: A Design Space Exploration Model for Deep Neural Networks Inference and Training Accelerators

abstract: There is increasing demand for specialized hardware for training deep neural networks, both in edge/IoT environments and in high-performance computing systems. The design space of such hardware is very large due to the wide range of processing architectures, deep neural network configurations, and dataflow options. This makes developing deep neural network processors quite complex, especially for training. We present TRIM, an infrastructure to help hardware architects explore the design space of deep neural network accelerators for both inference and training in the early design stages. The model evaluates at the whole network level, considering both inter-layer and intra-layer activities. Given applications, essential hardware specifications, and a design goal, TRIM can quickly explore different hardware design options, select the optimal dataflow and guide new hardware architecture design. We validated TRIM with FPGA-based implementation of deep neural network accelerators and ASIC-based architectures. We also show how to use TRIM to explore the design space through several case studies. TRIM is a powerful tool to help architects evaluate different hardware choices to develop efficient inference and training architecture design.


title: The Likely Counterpart to $\gamma$-Ray Excess from The Northwest Region of Arp 220

abstract: The unknown $\gamma$-ray excess in the northwest region of Arp 220 was revisited by analyzing $\sim$11.8 years of the \textit{Fermi} Large Area Telescope (\textit{Fermi}-LAT) data in this study. We found that its photon flux was approximately three times higher than that of the previous study in the 0.2-100 GeV band, and the corresponding significance level$\sim8.15\sigma$ was approximately four times higher than before. The light curves of 15 and 45 time bins from the whole time all showed two active periods, and the variability of the second period was more significant than that of the first period. The spectral indices from the two active periods were not statistically different and were close to the range of $\gamma$-ray flat-spectrum radio quasars observed by \textit{Fermi}-LAT. Because the position of CRATES J153246+234400 was consistent with the best-fit position of our analysis, we suggest that CRATES J153246+234400 is more likely a $\gamma$-ray counterpart for the variational region. For Arp 220, there was no significant variability in the $\gamma$-ray emission.


title: Sturm attractors for fully nonlinear parabolic equations

abstract: We explicitly construct global attractors of fully nonlinear parabolic equations. The attractors are decomposed as equilibria (time independent solutions) and heteroclinic orbits (solutions that converge to distinct equilibria backwards and forwards in time). In particular, we state necessary and sufficient conditions for the occurrence of heteroclinics between hyperbolic equilibria, which is accompanied by a method that compute such conditions.


title: Equivalence of the Descents Statistic on Some (4,4)-Avoidance Classes of Permutations

abstract: In this paper, we compute and demonstrate the equivalence of the joint distribution of the first letter and descent statistics on six avoidance classes of permutations corresponding to two patterns of length four. This distribution is in turn shown to be equivalent to the distribution on a restricted class of inversion sequences for the statistics that record the last letter and number of distinct positive letters, affirming a recent conjecture of Lin and Kim. Members of each avoidance class of permutations and also of the class of inversion sequences are enumerated by the $n$-th large Schr\"oder number and thus one obtains a new bivariate refinement of these numbers as a consequence. We make use of auxiliary combinatorial statistics, special generating functions (specific to each class) and the kernel method to establish our results. In some cases, we utilize the conjecture itself in a creative way to aid in solving the system of functional equations satisfied by the associated generating functions.


title: Quasioptical modeling of wave beams with and without mode conversion: IV. Numerical simulations of waves in dissipative media

abstract: We report the first quasioptical simulations of wave beams in a hot plasma using the quasioptical code PARADE (PAraxial RAy DEscription) [Phys. Plasmas 26, 072112 (2019)]. This code is unique in that it accounts for inhomogeneity of the dissipation-rate across the beam and mode conversion simultaneously. We show that the dissipation-rate inhomogeneity shifts beams relative to their trajectories in cold plasma and that the two electromagnetic modes are coupled via this process, an effect that was ignored in the past. We also propose a simplified approach to accounting for the dissipation-rate inhomogeneity. This approach is computationally inexpensive and simplifies analysis of actual experiments.


title: PoBRL: Optimizing Multi-Document Summarization by Blending Reinforcement Learning Policies

abstract: We propose a novel reinforcement learning based framework PoBRL for solving multi-document summarization. PoBRL jointly optimizes over the following three objectives necessary for a high-quality summary: importance, relevance, and length. Our strategy decouples this multi-objective optimization into different subproblems that can be solved individually by reinforcement learning. Utilizing PoBRL, we then blend each learned policies together to produce a summary that is a concise and complete representation of the original input. Our empirical analysis shows state-of-the-art performance on several multi-document datasets. Human evaluation also shows that our method produces high-quality output.


title: Colossal topological Hall effect at the transition between isolated and lattice-phase interfacial skyrmions

abstract: The topological Hall effect is used extensively to study chiral spin textures in various materials. However, the factors controlling its magnitude in technologically-relevant thin films remain uncertain. Using variable temperature magnetotransport and real-space magnetic imaging in a series of Ir/Fe/Co/Pt heterostructures, here we report that the chiral spin fluctuations at the phase boundary between isolated skyrmions and a disordered skyrmion lattice result in a power-law enhancement of the topological Hall resistivity by up to three orders of magnitude. Our work reveals the dominant role of skyrmion stability and configuration in determining the magnitude of the topological Hall effect.


title: Path-based Deep Network for Candidate Item Matching in Recommenders

abstract: The large-scale recommender system mainly consists of two stages: matching and ranking. The matching stage (also known as the retrieval step) identifies a small fraction of relevant items from billion-scale item corpus in low latency and computational cost. Item-to-item collaborative filter (item-based CF) and embedding-based retrieval (EBR) have been long used in the industrial matching stage owing to its efficiency. However, item-based CF is hard to meet personalization, while EBR has difficulty in satisfying diversity. In this paper, we propose a novel matching architecture, Path-based Deep Network (named PDN), which can incorporate both personalization and diversity to enhance matching performance. Specifically, PDN is comprised of two modules: Trigger Net and Similarity Net. PDN utilizes Trigger Net to capture the user's interest in each of his/her interacted item, and Similarity Net to evaluate the similarity between each interacted item and the target item based on these items' profile and CF information. The final relevance between the user and the target item is calculated by explicitly considering user's diverse interests, \ie aggregating the relevance weights of the related two-hop paths (one hop of a path corresponds to user-item interaction and the other to item-item relevance). Furthermore, we describe the architecture design of a matching system with the proposed PDN in a leading real-world E-Commerce service (Mobile Taobao App). Based on offline evaluations and online A/B test, we show that PDN outperforms the existing solutions for the same task. The online results also demonstrate that PDN can retrieve more personalized and more diverse relevant items to significantly improve user engagement. Currently, PDN system has been successfully deployed at Mobile Taobao App and handling major online traffic.


title: 2D MXenes: Visible Black but Infrared White Materials

abstract: Black materials with low infrared absorption/emission (or IR white) are rare in nature but highly desired in numerous areas, such as solar-thermal energy harvesting, multispectral camouflage, thermal insulation, and anti-counterfeiting. Due to the lack of spectral selectivity in intrinsic materials, such counter-intuitive properties are generally realized by constructing complicated subwavelength metamaterials with costly nanofabrication techniques. Here we report the low mid-IR emissivity (down to 10%) of 2D Ti3C2Tx MXenes. Associated with a high solar absorptance (up to 90%), they embrace the best spectral selectivity among the reported intrinsic black solar absorbing materials. Their appealing potentials in several aforementioned areas are experimentally demonstrated. First-principles calculations reveal that the IR emissivity of MXenes relies on both the nanoflake orientations and terminal groups, indicating great tunability. The calculations also suggest that more MXenes including Ti2CTx, Nb2CTx, and V2CTx are also potential low-emissivity materials. This work opens the avenue to further exploration of a family of intrinsically low-emissivity materials with over 70 members.


title: Self-Point-Flow: Self-Supervised Scene Flow Estimation from Point Clouds with Optimal Transport and Random Walk

abstract: Due to the scarcity of annotated scene flow data, self-supervised scene flow learning in point clouds has attracted increasing attention. In the self-supervised manner, establishing correspondences between two point clouds to approximate scene flow is an effective approach. Previous methods often obtain correspondences by applying point-wise matching that only takes the distance on 3D point coordinates into account, introducing two critical issues: (1) it overlooks other discriminative measures, such as color and surface normal, which often bring fruitful clues for accurate matching; and (2) it often generates sub-par performance, as the matching is operated in an unconstrained situation, where multiple points can be ended up with the same corresponding point. To address the issues, we formulate this matching task as an optimal transport problem. The output optimal assignment matrix can be utilized to guide the generation of pseudo ground truth. In this optimal transport, we design the transport cost by considering multiple descriptors and encourage one-to-one matching by mass equality constraints. Also, constructing a graph on the points, a random walk module is introduced to encourage the local consistency of the pseudo labels. Comprehensive experiments on FlyingThings3D and KITTI show that our method achieves state-of-the-art performance among self-supervised learning methods. Our self-supervised method even performs on par with some supervised learning approaches, although we do not need any ground truth flow for training.


title: Optimal Control Problems for Evolutionary Variational Inequalities with Volterra type Operators

abstract: In this paper, we consider the optimal control problem for a class of evolution inclusions with Volterra type operators, which can be history-dependent. We establish the existence of a solution to the stated optimal control problem under some hypothesis on data-in. The motivation for this work comes from the optimal control problems for variational inequalities arising in the study of injection molding processes, contact mechanics, principles of electro-wetting on dielectric, and others.


title: Type of finite time singularities of the Ricci flow with bounded scalar curvature

abstract: In this paper, we study the Ricci flow on a closed manifold of dimension $n \ge 4$ and finite time interval $[0,T)~(T < \infty)$ on which the scalar curvature are uniformly bounded. We prove that if such flow of dimension $4 \le n \le 7$ has finite time singularities, then every blow-up sequence of a locally Type I singularity has certain property. Here, locally Type I singularity is what Buzano and Di-Matteo defined.


title: Emotion Eliciting Machine: Emotion Eliciting Conversation Generation based on Dual Generator

abstract: Recent years have witnessed great progress on building emotional chatbots. Tremendous methods have been proposed for chatbots to generate responses with given emotions. However, the emotion changes of the user during the conversation has not been fully explored. In this work, we study the problem of positive emotion elicitation, which aims to generate responses that can elicit positive emotion of the user, in human-machine conversation. We propose a weakly supervised Emotion Eliciting Machine (EEM) to address this problem. Specifically, we first collect weak labels of user emotion status changes in a conversion based on a pre-trained emotion classifier. Then we propose a dual encoder-decoder structure to model the generation of responses in both positive and negative side based on the changes of the user's emotion status in the conversation. An emotion eliciting factor is introduced on top of the dual structure to balance the positive and negative emotional impacts on the generated response during emotion elicitation. The factor also provides a fine-grained controlling manner for emotion elicitation. Experimental results on a large real-world dataset show that EEM outperforms the existing models in generating responses with positive emotion elicitation.


title: Weakly Supervised Dense Video Captioning via Jointly Usage of Knowledge Distillation and Cross-modal Matching

abstract: This paper proposes an approach to Dense Video Captioning (DVC) without pairwise event-sentence annotation. First, we adopt the knowledge distilled from relevant and well solved tasks to generate high-quality event proposals. Then we incorporate contrastive loss and cycle-consistency loss typically applied to cross-modal retrieval tasks to build semantic matching between the proposals and sentences, which are eventually used to train the caption generation module. In addition, the parameters of matching module are initialized via pre-training based on annotated images to improve the matching performance. Extensive experiments on ActivityNet-Caption dataset reveal the significance of distillation-based event proposal generation and cross-modal retrieval-based semantic matching to weakly supervised DVC, and demonstrate the superiority of our method to existing state-of-the-art methods.


title: Finding a Needle in a Haystack: Tiny Flying Object Detection in 4K Videos using a Joint Detection-and-Tracking Approach

abstract: Detecting tiny objects in a high-resolution video is challenging because the visual information is little and unreliable. Specifically, the challenge includes very low resolution of the objects, MPEG artifacts due to compression and a large searching area with many hard negatives. Tracking is equally difficult because of the unreliable appearance, and the unreliable motion estimation. Luckily, we found that by combining this two challenging tasks together, there will be mutual benefits. Following the idea, in this paper, we present a neural network model called the Recurrent Correlational Network, where detection and tracking are jointly performed over a multi-frame representation learned through a single, trainable, and end-to-end network. The framework exploits a convolutional long short-term memory network for learning informative appearance changes for detection, while the learned representation is shared in tracking for enhancing its performance. In experiments with datasets containing images of scenes with small flying objects, such as birds and unmanned aerial vehicles, the proposed method yielded consistent improvements in detection performance over deep single-frame detectors and existing motion-based detectors. Furthermore, our network performs as well as state-of-the-art generic object trackers when it was evaluated as a tracker on a bird image dataset.


title: Fano Shimura varieties with mostly branched cusps

abstract: We prove that the Satake-Baily-Borel compactification of certain Shimura varieties are Fano varieties, Calabi-Yau varieties or have ample canonical divisors with mild singularities. We also prove some variants statements, give applications and discuss various examples including new ones, for instance, the moduli spaces of unpolarized (log) Enriques surfaces.


title: Stationary 1-dependent Counting Processes: from Runs to Bivariate Generating Functions

abstract: We give a formula for the bivariate generating function of a stationary 1-dependent counting process in terms of its run probability generating function, with a probabilistic proof. The formula reduces to the well known bivariate generating function of the Eulerian distribution in the case of descents of a sequence of indepependent and identically distributed random variables. The formula is compared with alternative expressions from the theory of determinantal point processes and the combinatorics of sequences.


title: Constructing approximate shell-model wavefunctions by eigenvector continuation

abstract: Shell-model calculations play a key role in elucidating various properties of nuclei. In general, those studies require a huge number of calculations to be repeated for parameter calibration and quantifying uncertainties. To reduce the computational burden, we propose a new workflow of shell-model calculations using a method called eigenvector continuation (EC). It enables us to efficiently approximate the eigenpairs under a given Hamiltonian by previously sampled eigenvectors. We demonstrate the validity of EC as an emulator of the valence shell-model, including first application of EC to electromagnetic transition matrix elements. Furthermore, we propose a new usage of EC: preprocessing, in which we start the Lanczos iterations from the approximate eigenvectors, and demonstrate that this can accelerate subsequent research cycles. With the aid of the EC, the eigenvectors obtained during the parameter optimization are not necessarily to be discarded, even if their eigenvalues are far from the experimental data. Those eigenvectors can become accumulated knowledge.


title: Differentiable Factor Graph Optimization for Learning Smoothers

abstract: A recent line of work has shown that end-to-end optimization of Bayesian filters can be used to learn state estimators for systems whose underlying models are difficult to hand-design or tune, while retaining the core advantages of probabilistic state estimation. As an alternative approach for state estimation in these settings, we present an end-to-end approach for learning state estimators modeled as factor graph-based smoothers. By unrolling the optimizer we use for maximum a posteriori inference in these probabilistic graphical models, we can learn probabilistic system models in the full context of an overall state estimator, while also taking advantage of the distinct accuracy and runtime advantages that smoothers offer over recursive filters. We study this approach using two fundamental state estimation problems, object tracking and visual odometry, where we demonstrate a significant improvement over existing baselines. Our work comes with an extensive code release, which includes training and evaluation scripts, as well as Python libraries for Lie theory and factor graph optimization: https://sites.google.com/view/diffsmoothing/


title: Rates of convergence for laws of the spectral maximum of free random variables

abstract: Let $\{X_n\}_n$ be a sequence of freely independent, identically distributed non-commutative random variables. Consider a sequence $\{W_n\}_n$ of the renormalized spectral maximum of random variables $X_1,\cdots, X_n$. It is known that the renormalized spectral maximum $W_n$ converges to the free extreme value distribution under certain conditions on the distribution function. In this paper, we provide a rate of convergence in the Kolmogorov distance between a distribution function of $W_n$ and the free extreme value distribution.


title: Improved efficiency of planar light converters based on Al2O3-YAG:Ce eutectic crystals: Physical Trends and Limits

abstract: A theoretical model of a crystalline converter of white light with internal scattering medium is proposed. Obtained are the expressions for estimation of the light converter efficiency depending on its optical parameters (refractive index and coefficients of absorption at the wavelengths of the incident and re-emitted light), as well as on the geometrical dimensions and the scattering indicatrix of the optical system. The physical limits of improvement of the converter efficiency due to strong internal scattering, are established. Realized are the theoretical and experimental estimations of the efficiency of the light converter based on the crystals of Al2O3-YAG:Ce eutectic alloy which amounts to 16%. This is twice as high in comparison with the efficiency of the light converter based on YAG:Ce single crystal.


title: A new class of chimeras in locally coupled oscillators with small-amplitude, high-frequency asynchrony and large-amplitude, low-frequency synchrony

abstract: Chimeras are surprising yet important states in which domains of decoherent (asynchronous) and coherent (synchronous) oscillations co-exist. In this article, we report on the discovery of a new class of chimeras, called {\it mixed-amplitude chimera states}, in which the structures, amplitudes, and frequencies of the oscillations differ substantially in the decoherent and coherent regions. These mixed-amplitude chimeras exhibit domains of decoherent small-amplitude oscillations (phase waves) coexisting with domains of stable and coherent large-amplitude or mixed-mode oscillations. They are observed in a prototypical bistable partial differential equation with spatially homogeneous kinetics and purely local, isotropic diffusion. New bifurcations are identified in which the mixed-amplitude chimeras emerge from, or are annihilated in, common large-amplitude solutions. Also, key singularities, folded nodes and folded saddles, arising commonly in multi-scale, bistable systems play important roles, and these have not previously been studied in systems with chimeras. The discovery of these mixed-amplitude chimeras is an important advance for understanding some processes in neuroscience, pattern formation, and physics which involve both small-amplitude and large-amplitude oscillations. It may also be of use for understanding some aspects of EEG recordings from animals that exhibit unihemispheric slow-wave sleep.


title: KECRS: Towards Knowledge-Enriched Conversational Recommendation System

abstract: The chit-chat-based conversational recommendation systems (CRS) provide item recommendations to users through natural language interactions. To better understand user's intentions, external knowledge graphs (KG) have been introduced into chit-chat-based CRS. However, existing chit-chat-based CRS usually generate repetitive item recommendations, and they cannot properly infuse knowledge from KG into CRS to generate informative responses. To remedy these issues, we first reformulate the conversational recommendation task to highlight that the recommended items should be new and possibly interested by users. Then, we propose the Knowledge-Enriched Conversational Recommendation System (KECRS). Specifically, we develop the Bag-of-Entity (BOE) loss and the infusion loss to better integrate KG with CRS for generating more diverse and informative responses. BOE loss provides an additional supervision signal to guide CRS to learn from both human-written utterances and KG. Infusion loss bridges the gap between the word embeddings and entity embeddings by minimizing distances of the same words in these two embeddings. Moreover, we facilitate our study by constructing a high-quality KG, \ie The Movie Domain Knowledge Graph (TMDKG). Experimental results on a large-scale dataset demonstrate that KECRS outperforms state-of-the-art chit-chat-based CRS, in terms of both recommendation accuracy and response generation quality.


title: It\^{o}--F\"{o}llmer Calculus in Banach Spaces II: Transformations of Quadratic Variations

abstract: In this paper, we study properties of quadratic variations of c\`{a}dl\`{a}g paths within the framework of the It\^{o}--F\"{o}llmer calculus in Banach spaces. We prove a $C^1$-type transformation formula for quadratic variations. We also investigate relations between tensor and scalar quadratic variations.


title: New LCD MDS codes of non-Reed-Solomon type

abstract: Both linear complementary dual (LCD) codes and maximum distance separable (MDS) codes have good algebraic structures, and they have interesting practical applications such as communication systems, data storage, quantum codes, and so on. So far, most of LCD MDS codes have been constructed by employing generalized Reed-Solomon codes. In this paper we construct some classes of new Euclidean LCD MDS codes and Hermitian LCD MDS codes which are not monomially equivalent to Reed-Solomon codes, called LCD MDS codes of non-Reed- Solomon type. Our method is based on the constructions of Beelen et al. (2017) and Roth and Lempel (1989). To the best of our knowledge, this is the first paper on the construction of LCD MDS codes of non-Reed-Solomon type; any LCD MDS code of non- Reed-Solomon type constructed by our method is not monomially equivalent to any LCD code constructed by the method of Carlet et al. (2018).


title: Highly efficient terahertz generation using 3D Dirac semimetals

abstract: We show that 3D Dirac semimetals are promising candidates for highly efficient optical-to-terahertz conversion due to their extreme optical nonlinearities. In particular, we predict that the conversion efficiency of Cd3As2 exceeds typical materials like LiNbo3 by >5000 times over nanoscale propagation distances. Our studies show that even when no restrictions are placed on propagation distance, Cd3As2 still outperforms LiNbo3 in efficiency by >10 times. Our results indicate that by tuning the Fermi energy, Pauli blocking can be leveraged to realize a step-like efficiency increase in the optical-to-terahertz conversion process. We find that large optical to terahertz conversion efficiencies persist over a wide range of input frequencies, input field strengths, Fermi energies, and temperatures. Our results could pave the way to the development of ultrathin-film terahertz sources for compact terahertz technologies.


title: Electronic structure and topology across $T_c$ in magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$

abstract: Co$_3$Sn$_2$S$_2$ is a magnetic Weyl semimetal, in which ferromagnetic ordering at 177K is predicted to stabilize Weyl points. We perform temperature and spatial dependent angle--resolved photoemission spectroscopy measurements through the Curie temperature ($T_c$), which show large band shifts and renormalization concomitant with the onset of magnetism. We argue that Co$_3$Sn$_2$S$_2$ evolves from a Mott ferromagnet below $T_c$ to a correlated metallic state above $T_c$. To understand the magnetism, we derive a tight-binding model of Co-$3d_{x^2-y^2}$ orbitals on the kagome lattice. At the filling obtained by first-principles calculations, this model reproduces the ferromagnetic ground state, and results in the reduction of Coulomb interactions due to cluster effects. Using a disordered local moment simulation, we show how this reduced Hubbard-$U$ leads to a collapse of the bands across the magnetic transition, resulting in a correlated state which carries associated characteristic photoemission signatures that are distinct from those of a simple lifting of exchange splitting. The behavior of topology across $T_c$ is discussed in the context of this description of the magnetism.


title: Label Inference Attacks from Log-loss Scores

abstract: Log-loss (also known as cross-entropy loss) metric is ubiquitously used across machine learning applications to assess the performance of classification algorithms. In this paper, we investigate the problem of inferring the labels of a dataset from single (or multiple) log-loss score(s), without any other access to the dataset. Surprisingly, we show that for any finite number of label classes, it is possible to accurately infer the labels of the dataset from the reported log-loss score of a single carefully constructed prediction vector if we allow arbitrary precision arithmetic. Additionally, we present label inference algorithms (attacks) that succeed even under addition of noise to the log-loss scores and under limited precision arithmetic. All our algorithms rely on ideas from number theory and combinatorics and require no model training. We run experimental simulations on some real datasets to demonstrate the ease of running these attacks in practice.


title: EchoCP: An Echocardiography Dataset in Contrast Transthoracic Echocardiography for Patent Foramen Ovale Diagnosis

abstract: Patent foramen ovale (PFO) is a potential separation between the septum, primum and septum secundum located in the anterosuperior portion of the atrial septum. PFO is one of the main factors causing cryptogenic stroke which is the fifth leading cause of death in the United States. For PFO diagnosis, contrast transthoracic echocardiography (cTTE) is preferred as being a more robust method compared with others. However, the current PFO diagnosis through cTTE is extremely slow as it is proceeded manually by sonographers on echocardiography videos. Currently there is no publicly available dataset for this important topic in the community. In this paper, we present EchoCP, as the first echocardiography dataset in cTTE targeting PFO diagnosis. EchoCP consists of 30 patients with both rest and Valsalva maneuver videos which covers various PFO grades. We further establish an automated baseline method for PFO diagnosis based on the state-of-the-art cardiac chamber segmentation technique, which achieves 0.89 average mean Dice score, but only 0.60/0.67 mean accuracies for PFO diagnosis, leaving large room for improvement. We hope that the challenging EchoCP dataset can stimulate further research and lead to innovative and generic solutions that would have an impact in multiple domains. Our dataset is released.


title: Permutation Invariant Policy Optimization for Mean-Field Multi-Agent Reinforcement Learning: A Principled Approach

abstract: Multi-agent reinforcement learning (MARL) becomes more challenging in the presence of more agents, as the capacity of the joint state and action spaces grows exponentially in the number of agents. To address such a challenge of scale, we identify a class of cooperative MARL problems with permutation invariance, and formulate it as a mean-field Markov decision processes (MDP). To exploit the permutation invariance therein, we propose the mean-field proximal policy optimization (MF-PPO) algorithm, at the core of which is a permutation-invariant actor-critic neural architecture. We prove that MF-PPO attains the globally optimal policy at a sublinear rate of convergence. Moreover, its sample complexity is independent of the number of agents. We validate the theoretical advantages of MF-PPO with numerical experiments in the multi-agent particle environment (MPE). In particular, we show that the inductive bias introduced by the permutation-invariant neural architecture enables MF-PPO to outperform existing competitors with a smaller number of model parameters, which is the key to its generalization performance.


title: Sparta: Spatially Attentive and Adversarially Robust Activation

abstract: Adversarial training (AT) is one of the most effective ways for improving the robustness of deep convolution neural networks (CNNs). Just like common network training, the effectiveness of AT relies on the design of basic network components. In this paper, we conduct an in-depth study on the role of the basic ReLU activation component in AT for robust CNNs. We find that the spatially-shared and input-independent properties of ReLU activation make CNNs less robust to white-box adversarial attacks with either standard or adversarial training. To address this problem, we extend ReLU to a novel Sparta activation function (Spatially attentive and Adversarially Robust Activation), which enables CNNs to achieve both higher robustness, i.e., lower error rate on adversarial examples, and higher accuracy, i.e., lower error rate on clean examples, than the existing state-of-the-art (SOTA) activation functions. We further study the relationship between Sparta and the SOTA activation functions, providing more insights about the advantages of our method. With comprehensive experiments, we also find that the proposed method exhibits superior cross-CNN and cross-dataset transferability. For the former, the adversarially trained Sparta function for one CNN (e.g., ResNet-18) can be fixed and directly used to train another adversarially robust CNN (e.g., ResNet-34). For the latter, the Sparta function trained on one dataset (e.g., CIFAR-10) can be employed to train adversarially robust CNNs on another dataset (e.g., SVHN). In both cases, Sparta leads to CNNs with higher robustness than the vanilla ReLU, verifying the flexibility and versatility of the proposed method.


title: Forward Neutrino Fluxes at the LHC

abstract: With the upcoming Run 3 of the LHC, the FASERv and SND@LHC detectors will start a new era of neutrino physics using the far-forward high-energy neutrino beam produced in collisions at ATLAS. This emerging LHC neutrino physics program requires reliable estimates of the LHC's forward neutrino fluxes and their uncertainties. In this paper we provide a new fast-neutrino flux simulation, implemented as a RIVET module, to address this issue. We present the expected energy distributions going through the FASERv and SND@LHC detectors based on various commonly used event generators, analyze the origin of those neutrinos, and present the expected neutrino event rates.


title: Local Lipschitz continuity for energy integrals with slow growth

abstract: We consider some energy integrals under slow growth and we prove that the local minimizers are locally Lipschitz continuous. Many examples are given, either with subquadratic $p,q-$growth and/or anisotropic growth.


title: Two-species competition model with chemotaxis: well-posedness, stability and dynamics

abstract: We study a system of PDEs modeling the population dynamics of two competitive species whose spatial movements are governed by both diffusion and mutually repulsive chemotaxis effects. We prove that solutions to this system are globally well-posed, without any smallness assumptions on the chemotactic coefficients. Moreover, in the weak competition regime, we prove that neither species can be driven to extinction as the time goes to infinity, regardless of how strong the chemotaxis coefficients are. Finally, long-time behaviors of the system are studied both analytically in the weakly nonlinear regime, and numerically in the fully nonlinear regime.


title: Hidden nonmacrorealism: reviving the Leggett-Garg inequality with stochastic operations

abstract: The Leggett-Garg inequality (LGI) distinguishes nonmacrorealistic channels from macrorealistic ones by constraining the experimental outcomes of the underlying system. In this work, we propose a class of channels which, initially, cannot violate the LGI (in the form of the temporal Bell inequality) but can violate it after the application of stochastic pre- and post- operations (SPPOs). As a proof-of-principle experiment, we demonstrate the stochastic pre- and post- operations in an amplitude-damping channel with photonic qubits. We denote the above phenomenon as hidden nonmacrorealistic channels. We also discuss the relationship between this hidden nonmacrorealistic channels (in terms of the temporal Clauser-Horne-Shimony-Holt (CHSH) inequality) and the strongly nonlocality-breaking channel, which breaks the hidden spatial CHSH nonlocality for arbitrary states. In general, if the channel satisfies hidden nonmacrorealism, it is not a strongly CHSH nonlocality-breaking channel.


title: Weighted Sylvester sums on the Frobenius set

abstract: Let $a$ and $b$ be relatively prime positive integers. In this paper the weighted sum $\sum_{n\in{\rm NR}(a,b)}\lambda^{n-1}n^m$ is given explicitly or in terms of the Apostol-Bernoulli numbers, where $m$ is a nonnegative integer, and ${\rm NR}(a,b)$ denotes the set of positive integers nonrepresentable in terms of $a$ and $b$.


title: ModelPS: An Interactive and Collaborative Platform for Editing Pre-trained Models at Scale

abstract: AI engineering has emerged as a crucial discipline to democratize deep neural network (DNN) models among software developers with a diverse background. In particular, altering these DNN models in the deployment stage posits a tremendous challenge. In this research, we propose and develop a low-code solution, ModelPS (an acronym for "Model Photoshop"), to enable and empower collaborative DNN model editing and intelligent model serving. The ModelPS solution embodies two transformative features: 1) a user-friendly web interface for a developer team to share and edit DNN models pictorially, in a low-code fashion, and 2) a model genie engine in the backend to aid developers in customizing model editing configurations for given deployment requirements or constraints. Our case studies with a wide range of deep learning (DL) models show that the system can tremendously reduce both development and communication overheads with improved productivity.


title: NExT-QA:Next Phase of Question-Answering to Explaining Temporal Actions

abstract: We introduce NExT-QA, a rigorously designed video question answering (VideoQA) benchmark to advance video understanding from describing to explaining the temporal actions. Based on the dataset, we set up multi-choice and open-ended QA tasks targeting causal action reasoning, temporal action reasoning, and common scene comprehension. Through extensive analysis of baselines and established VideoQA techniques, we find that top-performing methods excel at shallow scene descriptions but are weak in causal and temporal action reasoning. Furthermore, the models that are effective on multi-choice QA, when adapted to open-ended QA, still struggle in generalizing the answers. This raises doubt on the ability of these models to reason and highlights possibilities for improvement. With detailed results for different question types and heuristic observations for future works, we hope NExT-QA will guide the next generation of VQA research to go beyond superficial scene description towards a deeper understanding of videos. (The dataset and related resources are available at https://github.com/doc-doc/NExT-QA.git)


title: Asymmetric Circular Graph with Hosoya Index and Negative Continued Fractions

abstract: It has been known that the Hosoya index of caterpillar graph can be calculated as the numerator of the simple continued fraction. Recently, the author \cite{Komatsu2020} introduces a more general graph called caterpillar-bond graph and shows that its Hosoya index can be calculated as the numerator of the general continued fraction. In this paper, we show how the Hosoya index of the graph with non-uniform ring structure can be calculated from the negative continued fraction. We also give the relation between some radial graphs and multidimensional continued fractions in the sense of the Hosoya index.


abstract: This paper addresses to Nichtnegativstellens\"atze for definable functions in o-minimal structures on $(\mathbb{R}, +, \cdot).$ Namely, let $f, g_1, \ldots, g_l \colon \mathbb{R}^n \to \mathbb{R}$ be definable $C^p$-functions ($p \ge 2$) and assume that $f$ is non-negative on $S := \{x \in \mathbb{R}^n \ | \ g_1(x) \ge 0, \ldots, g_l(x) \ge 0 \}.$ Under some natural hypotheses on zeros of $f$ in $S,$ we show that $f$ is expressible in the form $f = \phi_0 + \sum_{i = 1}^l \phi_i g_i,$ where each $\phi_i$ is a sum of squares of definable $C^{p - 2}$-functions. As a consequence, we derive global optimality conditions which generalize the Karush--Kuhn--Tucker optimality conditions for nonlinear optimization.


title: Learning to Route via Theory-Guided Residual Network

abstract: The heavy traffic and related issues have always been concerns for modern cities. With the help of deep learning and reinforcement learning, people have proposed various policies to solve these traffic-related problems, such as smart traffic signal control systems and taxi dispatching systems. People usually validate these policies in a city simulator, since directly applying them in the real city introduces real cost. However, these policies validated in the city simulator may fail in the real city if the simulator is significantly different from the real world. To tackle this problem, we need to build a real-like traffic simulation system. Therefore, in this paper, we propose to learn the human routing model, which is one of the most essential part in the traffic simulator. This problem has two major challenges. First, human routing decisions are determined by multiple factors, besides the common time and distance factor. Second, current historical routes data usually covers just a small portion of vehicles, due to privacy and device availability issues. To address these problems, we propose a theory-guided residual network model, where the theoretical part can emphasize the general principles for human routing decisions (e.g., fastest route), and the residual part can capture drivable condition preferences (e.g., local road or highway). Since the theoretical part is composed of traditional shortest path algorithms that do not need data to train, our residual network can learn human routing models from limited data. We have conducted extensive experiments on multiple real-world datasets to show the superior performance of our model, especially with small data. Besides, we have also illustrated why our model is better at recovering real routes through case studies.


title: Peer-to-Peer Energy Cooperation in Building Community over A Lossy Network

abstract: Energy management of buildings is of vital importance for the urban low-carbon transition. This paper proposes a sustainable energy cooperation framework for the building community by communication-efficient peer-to-peer transaction. Firstly, the energy cooperation of buildings is formulated as a social welfare maximization problem, in which buildings may directly trade energy with neighbors. In addition, considering privacy concerns and communication losses arisen in peer-to-peer energy trading, a communication-failure-robust distributed algorithm is developed to achieve the optimal energy dispatch solutions. Finally, simulation results show that the proposed framework substantially reduces the total cost of the building community and the algorithm is robust to communication losses in the network when only part of links (even one link) are active during iterations.


title: Impact of $h$-index on authors ranking: An improvement to the h-index for lower-ranked author

abstract: In academia, the research performance of a faculty is either evaluated by the number of publications or the number of citations. Most of the time h-index is widely used during the hiring process or the faculty performance evaluation. The calculation of the h-index is shown in various databases; however, there is no systematic evidence about the differences between them. Here we analyze the publication records of 385 authors from Monash University (Australia) to investigate (i) the impact of different databases like Scopus and WoS on the ranking of authors within a discipline, and (ii) to complement the $h$-index, named $h_c$, by adding the weight of the highest cited paper to the $h$-index of the authors. The results show the positive impact of $h_c$ on the lower-ranked authors in every discipline. Also, Scopus provides an overall better ranking than WoS; however, the ranking varies among Scopus and WoS for disciplines.


title: Signatures of quantum chaos in an out-of-time-order tensor

abstract: Motivated by the famous ink-drop experiment, where ink droplets are used to determine the chaoticity of a fluid, we propose an experimentally implementable method for measuring the scrambling capacity of quantum processes. Here, a system of interest interacts with a small quantum probe whose dynamical properties identify the chaoticity of the system. Specifically, we propose a fully quantum version of the out-of-time-order correlator (OTOC) - which we term the out-of-time-order matrix (OTOM) - whose correlations offer clear information theoretic meanings about the chaoticity of a process. We illustrate the utility of the OTOM as a signature of chaos using random unitary processes as well as in the quantum kicked rotor, where the chaoticity is tuneable.


title: Non-Relativistic Scenario of a Free Particle in an Infinite Cylindrical Potential Well

abstract: There are various types of infinite potential well problems occurring in elementary quantum mechanics formalism. The infinite square well (one dimensional), cubical box and, spherical well are quite common in textbooks. In this paper, we consider a rather uncommon potential well, an infinite cylindrical well, and try to find its energy eigenvalues and eigenfunctions using Schr\"{o}dinger equation. We also plot some radial wavefunctions and density plots.


title: A Schwarz lemma for weakly K\"ahler-Finsler manifolds

abstract: In this paper, we first establish several theorems about the estimation of distance function on real and strongly convex complex Finsler manifolds and then obtain a Schwarz lemma from a strongly convex weakly K\"ahler-Finsler manifold into a strongly pseudoconvex complex Finsler manifold. As applications, we prove that a holomorphic mapping from a strongly convex weakly K\"ahler-Finsler manifold into a strongly pseudoconvex complex Finsler manifold is necessary constant under an extra condition. In particular, we prove that a holomorphic mapping from a complex Minkowski space into a strongly pseudoconvex complex Finsler manifold such that its holomorphic sectional curvature is bounded from above by a negative constant is necessary constant.


title: Sublinear Least-Squares Value Iteration via Locality Sensitive Hashing

abstract: We present the first provable Least-Squares Value Iteration (LSVI) algorithms that have runtime complexity sublinear in the number of actions. We formulate the value function estimation procedure in value iteration as an approximate maximum inner product search problem and propose a locality sensitive hashing (LSH) [Indyk and Motwani STOC'98, Andoni and Razenshteyn STOC'15, Andoni, Laarhoven, Razenshteyn and Waingarten SODA'17] type data structure to solve this problem with sublinear time complexity. Moreover, we build the connections between the theory of approximate maximum inner product search and the regret analysis of reinforcement learning. We prove that, with our choice of approximation factor, our Sublinear LSVI algorithms maintain the same regret as the original LSVI algorithms while reducing the runtime complexity to sublinear in the number of actions. To the best of our knowledge, this is the first work that combines LSH with reinforcement learning resulting in provable improvements. We hope that our novel way of combining data-structures and iterative algorithm will open the door for further study into cost reduction in optimization.


title: Exploring Driving-aware Salient Object Detection via Knowledge Transfer

abstract: Recently, general salient object detection (SOD) has made great progress with the rapid development of deep neural networks. However, task-aware SOD has hardly been studied due to the lack of task-specific datasets. In this paper, we construct a driving task-oriented dataset where pixel-level masks of salient objects have been annotated. Comparing with general SOD datasets, we find that the cross-domain knowledge difference and task-specific scene gap are two main challenges to focus the salient objects when driving. Inspired by these findings, we proposed a baseline model for the driving task-aware SOD via a knowledge transfer convolutional neural network. In this network, we construct an attentionbased knowledge transfer module to make up the knowledge difference. In addition, an efficient boundary-aware feature decoding module is introduced to perform fine feature decoding for objects in the complex task-specific scenes. The whole network integrates the knowledge transfer and feature decoding modules in a progressive manner. Experiments show that the proposed dataset is very challenging, and the proposed method outperforms 12 state-of-the-art methods on the dataset, which facilitates the development of task-aware SOD.


title: Gravitational radiation from MHD turbulence in the early universe

abstract: I briefly discuss recent results of numerical simulations addressing the generation of a cosmological gravitational wave background produced by turbulence sources in the early universe. Contribution to the 2021 Gravitation session of the 55th Rencontres de Moriond.


title: Kuramoto model based analysis reveals oxytocin effects on brain network dynamics

abstract: The oxytocin effects on large-scale brain networks such as Default Mode Network (DMN) and Frontoparietal Network (FPN) have been largely studied using fMRI data. However, these studies are mainly based on the statistical correlation or Bayesian causality inference, lacking interpretability at physical and neuroscience level. Here, we propose a physics-based framework of Kuramoto model to investigate oxytocin effects on the phase dynamic neural coupling in DMN and FPN. Testing on fMRI data of 59 participants administrated with either oxytocin or placebo, we demonstrate that oxytocin changes the topology of brain communities in DMN and FPN, leading to higher synchronization in the FPN and lower synchronization in the DMN, as well as a higher variance of the coupling strength within the DMN and more flexible coupling patterns across time. These results together indicate that oxytocin may increase the ability to overcome the corresponding internal oscillation dispersion and support the flexibility in neural synchrony in various social contexts, providing new evidence for explaining the oxytocin modulated social behaviors. Our proposed Kuramoto model-based framework can be a potential tool in network neuroscience and offers physical and neural insights into phase dynamics of the brain.


title: Large-Time Behaviour of Solutions to the Surface Quasi-Geostrophic Equations

abstract: We construct a linear approximation of the solution to the Surface Quasi-Geostrophic Equation in $\mathbb{R}^2$, and obtain a convergence rate in $L^p$ between the solution and this approximation with respect to time. We also demonstrate that the nonlinear term of the solution is bounded sharply in $L^p$ by the same function of time.


title: Effective boundary conditions for dynamic contact angle hysteresis on chemically inhomogeneous surfaces

abstract: Recent experiments (Guan et al. 2016a,b) showed many interesting phenomena on dynamic contact angle hysteresis while there is still a lack of complete theoretical interpretation. In this work, we study the time averaging of the apparent advancing and receding contact angles on surfaces with periodic chemical patterns. We first derive a Cox-type boundary condition for the apparent dynamic contact angle on homogeneous surfaces using Onsager variational principle. Based on this condition, we propose a reduced model for some typical moving contact line problems on chemically inhomogeneous surfaces in two dimensions. Multiscale expansion and averaging techniques are employed to approximate the model for asymptotically small chemical patterns. We obtain a quantitative formula for the averaged dynamic contact angles. It gives explicitly how the advancing and receding contact angles depend on the velocity and the chemical inhomogeneity of the substrate. The formula is a coarse-graining version of the Cox-type boundary condition on inhomogeneous surfaces. Numerical simulations are presented to validate the analytical results. The numerical results also show that the formula characterizes very well the complicated behaviour of dynamic contact angle hysteresis observed in the experiments.


title: Independent Asymmetric Embedding for Information Diffusion Prediction on Social Networks

abstract: The prediction for information diffusion on social networks has great practical significance in marketing and public opinion control. It aims to predict the individuals who will potentially repost the message on the social network. One type of method is based on demographics, complex networks and other prior knowledge to establish an interpretable model to simulate and predict the propagation process, while the other type of method is completely data-driven and maps the nodes to a latent space for propagation prediction. Existing latent space design and embedding methods lack consideration for the intervene among users. In this paper, we propose an independent asymmetric embedding method to embed each individual into one latent influence space and multiple latent susceptibility spaces. Based on the similarity between information diffusion and heat diffusion phenomenon, the heat diffusion kernel is exploited in our model and establishes the embedding rules. Furthermore, our method captures the co-occurrence regulation of user combinations in cascades to improve the calculating effectiveness. The results of extensive experiments conducted on real-world datasets verify both the predictive accuracy and cost-effectiveness of our approach.


title: 99% Revenue with Constant Enhanced Competition

abstract: The enhanced competition paradigm is an attempt at bridging the gap between simple and optimal auctions. In this line of work, given an auction setting with $m$ items and $n$ bidders, the goal is to find the smallest $n' \geq n$ such that selling the items to $n'$ bidders through a simple auction generates (almost) the same revenue as the optimal auction. Recently, Feldman, Friedler, and Rubinstein [EC, 2018] showed that an arbitrarily large constant fraction of the optimal revenue from selling $m$ items to a single bidder can be obtained via simple auctions with a constant number of bidders. However, their techniques break down even for two bidders, and can only show a bound of $n' = n \cdot O(\log \frac{m}{n})$. Our main result is that $n' = O(n)$ bidders suffice for all values of $m$ and $n$. That is, we show that, for all $m$ and $n$, an arbitrarily large constant fraction of the optimal revenue from selling $m$ items to $n$ bidders can be obtained via simple auctions with $O(n)$ bidders. Moreover, when the items are regular, we can achieve the same result through auctions that are prior-independent, {\em i.e.}, they do not depend on the distribution from which the bidders' valuations are sampled.


title: Helicity polarization in relativistic heavy ion collisions

abstract: We discuss the helicity polarization which can be locally induced from both vorticity and helicity charge in non-central heavy ion collisions. Helicity charge redistribution can be generated in viscous fluid and contributes to azimuthal asymmetry of the polarization along global angular momentum or beam momentum. We also discuss on detecting the initial net helicity charge from topological charge fluctuation or initial color longitudinal field by the helicity polarization correlation of two hyperons and the helicity alignment of vector mesons in central heavy ion collisions.


title: Competition between epithelial tissue elasticity and surface tension in cancer morphogenesis

abstract: We derive a continuum mechanical model to capture the morphological changes occurring at the pretumoral stage of epithelial tissues. The proposed model aims to investigate the competition between the bulk elasticity of the epithelium and the surface tensions of the apical and basal sides. According to this model, when the apico-basal tension imbalance reaches a critical value, a subcritical bifurcation is triggered and the epithelium attains its physiological folded shape. Based on data available in the literature, our model predicts that pretumoral cells are softer than healthy cells.


title: Solutions to the generalized Eshelby conjecture for anisotropic media: Proofs of the weak version and counter-examples to the high-order and the strong versions

abstract: The Eshelby formalism for an inclusion in a solid is of significant theoretical and practical implications in mechanics and other fields of heterogeneous media. Eshelby's finding that a uniform eigenstrain prescribed in a solitary ellipsoidal inclusion in an infinite isotropic medium results in a uniform elastic strain field in the inclusion leads to the conjecture that the ellipsoid is the only inclusion that possesses the so-called Eshelby uniformity property. Previously, only the weak version of the conjecture has been proved for the isotropic medium, whereas the general validity of the conjecture for anisotropic media in three dimensions is yet to be explored. In this work, firstly, we present proofs of the weak version of the generalized Eshelby conjecture for anisotropic media that possess cubic, transversely isotropic, orthotropic, and monoclinic symmetries. Secondly, we prove that in these anisotropic media, there exist non-ellipsoidal inclusions that can transform particular polynomial eigenstrains of even degrees into polynomial elastic strain fields of the same even degrees in them. These results constitute counter-examples, in the strong sense, to the generalized high-order Eshelby conjecture (inverse problem of Eshelby's polynomial conservation theorem) for polynomial eigenstrains in both anisotropic media and the isotropic medium (quadratic eigenstrain only). These findings reveal striking richness of the uniformity between the eigenstrains and the correspondingly induced elastic strains in inclusions in anisotropic media beyond the canonical ellipsoidal inclusions. Since the strain fields in embedded and inherently anisotropic quantum dot crystals are effective tuning knobs of the quality of the emitted photons by the quantum dots, the results may have implications in the technology of quantum information, in addition to in mechanics and materials science.


title: Atomic ionization by scalar dark matter and solar scalars

abstract: We calculate the cross-sections of atomic ionization by absorption of scalar particles in the energy range from a few eV to 100 keV. We consider both nonrelativistic particles (dark matter candidates) and relativistic particles which may be produced inside Sun. We provide numerical results for atoms relevant for direct dark matter searches (O, Na, Ar, Ca, Ge, I, Xe, W and Tl). We identify a crucial flaw in previous calculations and show that they overestimated the ionization cross sections by several orders of magnitude due to violation of the orthogonality of the bound and continuum electron wave functions. Using our computed cross-sections, we interpret the recent data from the Xenon1T experiment, establishing the first direct bounds on coupling of scalars to electrons. We argue that the Xenon1T excess can be explained by the emission of scalars from the Sun. While our finding is in a similar tension with astrophysical bounds as the solar axion hypothesis, we establish direct limits on scalar DM for the $\sim 1-10\,\mathrm{keV}$ mass range. We also update axio-ionization cross-sections. Numerical data files are provided.


title: Counter-examples to the high-order version and strong version of the generalized Eshelby conjecture for anisotropic media

abstract: In this work, we prove that in anisotropic media possessing cubic, transversely isotropic, orthotropic, and monoclinic symmetries, there exist non-ellipsoidal inclusions that can transform particular quadratic eigenstrains into quadratic elastic strain fields in them. Further, we prove that in these anisotropic media, there exist non-ellipsoidal inclusions that can transform particular polynomial eigenstrains of even degrees into polynomial elastic strain fields of the same even degrees in them. A sufficient condition for the existence of those counter-examples is provided. These results constitute counter-examples, in the strong sense, to the generalized high-order Eshelby conjecture (inverse problem of Eshelby's polynomial conservation theorem) for polynomial eigenstrains in both anisotropic media and the isotropic medium (quadratic eigenstrain only). In addition, we also show that there are counter-examples to the strong version of the generalized Eshelby conjecture for uniform eigenstrains in these anisotropic media. These findings reveal striking richness of the uniformity between the eigenstrains and the correspondingly induced elastic strains in inclusions in anisotropic media beyond the canonical ellipsoidal inclusion.


title: Large bandgap quantum anomalous hall insulator in a designer ferromagnet-topological insulator-ferromagnet heterostructure

abstract: Combining magnetism and nontrivial band topology gives rise to quantum anomalous Hall (QAH) insulators and exotic quantum phases such as the QAH effect where current flows without dissipation along quantized edge states. Inducing magnetic order in topological insulators via proximity to a magnetic material offers a promising pathway towards achieving QAH effect at high temperature for lossless transport applications. One promising architecture involves a sandwich structure comprising two single layers of MnBi2Te4 (a 2D ferromagnetic insulator) with ultra-thin Bi2Te3 in the middle, and is predicted to yield a robust QAH insulator phase with a bandgap well above thermal energy at room temperature (25 meV). Here we demonstrate the growth of a 1SL MnBi2Te4 / 4QL Bi2Te3 /1SL MnBi2Te4 heterostructure via molecular beam epitaxy, and probe the electronic structure using angle resolved photoelectron spectroscopy. We observe strong hexagonally warped massive Dirac Fermions and a bandgap of 75 meV. The magnetic origin of the gap is confirmed by the observation of broken time reversal symmetry and the exchange-Rashba effect, in excellent agreement with density functional theory calculations. These findings provide insights into magnetic proximity effects in topological insulators, that will move lossless transport in topological insulators towards higher temperature.


title: Infrared Surface Brightness Fluctuation Distances for MASSIVE and Type Ia Supernova Host Galaxies

abstract: We measured high-quality surface brightness fluctuation (SBF) distances for a sample of 63 massive early-type galaxies using the WFC3/IR camera on the Hubble Space Telescope. The median uncertainty on the SBF distance measurements is 0.085 mag, or 3.9% in distance. Achieving this precision at distances of 50 to 100 Mpc required significant improvements to the SBF calibration and data analysis procedures for WFC3/IR data. Forty-two of the galaxies are from the MASSIVE Galaxy Survey, a complete sample of massive galaxies within ~100 Mpc; the SBF distances for these will be used to improve the estimates of the stellar and central supermassive black hole masses in these galaxies. Twenty-four of the galaxies are Type Ia supernova hosts, useful for calibrating SN Ia distances for early-type galaxies and exploring possible systematic trends in the peak luminosities. Our results demonstrate that the SBF method is a powerful and versatile technique for measuring distances to galaxies with evolved stellar populations out to 100 Mpc and constraining the local value of the Hubble constant.


title: A Classification of Hyperfocused 12-Arcs

abstract: A $k$-arc in PG($2,q$) is a set of $k$ points no three of which are collinear. A hyperfocused $k$-arc is a $k$-arc in which the $k \choose 2$ secants meet some external line in exactly $k-1$ points. Hyperfocused $k$-arcs can be viewed as 1-factorizations of the complete graph $K_k$ that embed in PG($2,q$). We study the 526,915,620 1-factorizations of $K_{12}$, determine which are embeddable in PG($2,q$), and classify hyperfocused $12$-arcs. Specifically we show if a $12$-arc $\mathcal{K}$ is a hyperfocused arc in PG($2,q$) then $q = 2^{5k}$ and $\mathcal{K}$ is a subset of a hyperconic including the nucleus.


title: Wizard of Search Engine: Access to Information Through Conversations with Search Engines

abstract: Conversational information seeking (CIS) is playing an increasingly important role in connecting people to information. Due to the lack of suitable resource, previous studies on CIS are limited to the study of theoretical/conceptual frameworks, laboratory-based user studies, or a particular aspect of CIS (e.g., asking clarifying questions). In this work, we make efforts to facilitate research on CIS from three aspects. (1) We formulate a pipeline for CIS with six sub-tasks: intent detection (ID), keyphrase extraction (KE), action prediction (AP), query selection (QS), passage selection (PS), and response generation (RG). (2) We release a benchmark dataset, called wizard of search engine (WISE), which allows for comprehensive and in-depth research on all aspects of CIS. (3) We design a neural architecture capable of training and evaluating both jointly and separately on the six sub-tasks, and devise a pre-train/fine-tune learning scheme, that can reduce the requirements of WISE in scale by making full use of available data. We report some useful characteristics of CIS based on statistics of WISE. We also show that our best performing model variant isable to achieve effective CIS as indicated by several metrics. We release the dataset, the code, as well as the evaluation scripts to facilitate future research by measuring further improvements in this important research direction.


title: Femtosecond dynamics of a polariton bosonic cascade at room temperature

abstract: Whispering gallery modes in a microwire are characterized by a nearly equidistant energy spectrum. In the strong exciton-photon coupling regime, this system represents a bosonic cascade: a ladder of discrete energy levels that sustains stimulated transitions between neighboring steps. In this work, by using femtosecond angle-resolved spectroscopic imaging technique, the ultrafast dynamics of polaritons in a bosonic cascade based on a one-dimensional ZnO whispering gallery microcavity is explicitly visualized. Clear ladder-form build-up process from higher to lower energy branches of the polariton condensates are observed, which are well reproduced by modeling using rate equations. Moreover, the polariton parametric scattering dynamics are distinguished on a timescale of hundreds of femtoseconds. Our understanding of the femtosecond condensation and scattering dynamics paves the way towards ultrafast coherent control of polaritons at room temperature, which will make it promising for high-speed all-optical integrated applications.


title: Curvature-dimension conditions for symmetric quantum Markov semigroups

abstract: Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy power in the noncommutative setting. We also provide examples satisfying certain curvature-dimension conditions, including Schur multipliers over matrix algebras, Herz-Schur multipliers over group algebras and depolarizing semigroups.

categories: math.OA cs.IT math-ph math.FA math.IT math.MP


title: Parametrization invariant interpretation of priors and posteriors

abstract: In this paper we leverage on probability over Riemannian manifolds to rethink the interpretation of priors and posteriors in Bayesian inference. The main mindshift is to move away from the idea that "a prior distribution establishes a probability distribution over the parameters of our model" to the idea that "a prior distribution establishes a probability distribution over probability distributions". To do that we assume that our probabilistic model is a Riemannian manifold with the Fisher metric. Under this mindset, any distribution over probability distributions should be "intrinsic", that is, invariant to the specific parametrization which is selected for the manifold. We exemplify our ideas through a simple analysis of distributions over the manifold of Bernoulli distributions. One of the major shortcomings of maximum a posteriori estimates is that they depend on the parametrization. Based on the understanding developed here, we can define the maximum a posteriori estimate which is independent of the parametrization.


title: Snipperclips: Cutting Tools into Desired Polygons using Themselves

abstract: We study Snipperclips, a computer puzzle game whose objective is to create a target shape with two tools. The tools start as constant-complexity shapes, and each tool can snip (i.e., subtract its current shape from) the other tool. We study the computational problem of, given a target shape represented by a polygonal domain of $n$ vertices, is it possible to create it as one of the tools' shape via a sequence of snip operations? If so, how many snip operations are required? We consider several variants of the problem (such as allowing the tools to be disconnected and/or using an undo operation) and bound the number of operations needed for each of the variants.


title: Sample Efficient Linear Meta-Learning by Alternating Minimization

abstract: Meta-learning synthesizes and leverages the knowledge from a given set of tasks to rapidly learn new tasks using very little data. Meta-learning of linear regression tasks, where the regressors lie in a low-dimensional subspace, is an extensively-studied fundamental problem in this domain. However, existing results either guarantee highly suboptimal estimation errors, or require $\Omega(d)$ samples per task (where $d$ is the data dimensionality) thus providing little gain over separately learning each task. In this work, we study a simple alternating minimization method (MLLAM), which alternately learns the low-dimensional subspace and the regressors. We show that, for a constant subspace dimension MLLAM obtains nearly-optimal estimation error, despite requiring only $\Omega(\log d)$ samples per task. However, the number of samples required per task grows logarithmically with the number of tasks. To remedy this in the low-noise regime, we propose a novel task subset selection scheme that ensures the same strong statistical guarantee as MLLAM, even with bounded number of samples per task for arbitrarily large number of tasks.


title: On the role of boron, carbon and zirconium on hot cracking and creep resistance of additively manufactured polycrystalline superalloys

abstract: We investigate the hot cracking susceptibility and creep resistance of three versions of a nickel-based superalloy with different contents of boron, carbon and zirconium fabricated by laser powder bed fusion. Crack-free and creep resistant components are achieved for alloys with boron, carbon and no zirconium. We then rationalize this result by evaluating how boron, carbon and zirconium are distributed at grain boundaries in the as-built and heat-treated microstructures of an alloy containing all these elements. Observations are conducted by scanning and transmission electron microscopy, and atom probe tomography. In the as-built microstructure, boron, carbon and zirconium segregate at high-angle grain boundaries as a result of solute partitioning to the liquid and limited solid-state diffusion during solidification and cooling. After heat-treatment, the amount of boron and carbon segregating at grain boundaries increases significantly. In contrast, zirconium is not found at grain boundaries but it partitions at the gamma' precipitates formed during the heat treatment. The presence of zirconium at grain boundaries in the as-built condition is known to be susceptible to enhance hot cracking, while its absence in the heat-treated microstructure strongly suggests that this element has no major effect on the creep resistance. Based on our observations, we propose alloy design guidelines to at the same time avoid hot cracking during fabrication and achieve the required creep performance after heat-treatment.


title: On Oriented Diameter of $(n, k)$-Star Graphs

abstract: Assignment of one of the two possible directions to every edge of an undirected graph $G=(V,E)$ is called an orientation of $G$. The resulting directed graph is denoted by $\overrightarrow{G}$. A strong orientation is one in which every vertex is reachable from every other vertex via a directed path. The diameter of $\overrightarrow{G}$, i.e., the maximum distance from one vertex to another, depends on the particular orientation. The minimum diameter among all possible orientations is called the oriented diameter $\overrightarrow{\text{diam}}(G)$ of $G$. Let $n,k$ be two integers with $1 \leq k < n$. In the realm of interconnection networks of processing elements, an $(n,k)$-star graph $S_{n,k}$ offers a topology that circumvents the lack of scalability of $n$-star graphs $S_n$. In this paper, we present a strong orientation for $S_{n,k}$ that combines approaches suggested by Cheng and Lipman [Journal of Interconnection Networks (2002)] for $S_{n,k}$ with the one proposed by Fujita [The First International Symposium on Computing and Networking (CANDAR 2013)] for $S_n$. Next, we propose a distributed routing algorithm for $\overrightarrow{S_{n,k}}$ inspired by an algorithm proposed by Kumar, Rajendraprasad and Sudeep [Discrete Applied Mathematics (2021)] for $\overrightarrow{S_n}$. With the aid of both the orientation scheme and the routing algorithm, we show that $\overrightarrow{\text{diam}}(S_{n,k}) \leq \lfloor \frac{n+k}{2} \rfloor + 2k + 6 - \delta(n,k)$ where $\delta(n,k)$ is a non-negative function. The function $\delta(n,k)$ takes on values $2k-n$, $0$, and $\left\lfloor \frac{n-3k}{2} \right\rfloor$ respectively for three disjoint intervals $k>\frac{n}{2}$, $\frac{n}{3} < k \leq \frac{n}{2}$ and $k\leq \frac{n}{3}$. For every value of $n$, $k$, our upper bound performs better than all known bounds in literature.


title: Time and Query Optimal Quantum Algorithms Based on Decision Trees

abstract: It has recently been shown that starting with a classical query algorithm (decision tree) and a guessing algorithm that tries to predict the query answers, we can design a quantum algorithm with query complexity $O(\sqrt{GT})$ where $T$ is the query complexity of the classical algorithm (depth of the decision tree) and $G$ is the maximum number of wrong answers by the guessing algorithm [arXiv:1410.0932, arXiv:1905.13095]. In this paper we show that, given some constraints on the classical algorithms, this quantum algorithm can be implemented in time $\tilde O(\sqrt{GT})$. Our algorithm is based on non-binary span programs and their efficient implementation. We conclude that various graph theoretic problems including bipartiteness, cycle detection and topological sort can be solved in time $O(n^{3/2}\log n)$ and with $O(n^{3/2})$ quantum queries. Moreover, finding a maximal matching can be solved with $O(n^{3/2})$ quantum queries in time $O(n^{3/2}\log n)$, and maximum bipartite matching can be solved in time $O(n^2\log n)$.


title: BBE: Simulating the Microstructural Dynamics of an In-Play Betting Exchange via Agent-Based Modelling

abstract: I describe the rationale for, and design of, an agent-based simulation model of a contemporary online sports-betting exchange: such exchanges, closely related to the exchange mechanisms at the heart of major financial markets, have revolutionized the gambling industry in the past 20 years, but gathering sufficiently large quantities of rich and temporally high-resolution data from real exchanges - i.e., the sort of data that is needed in large quantities for Deep Learning - is often very expensive, and sometimes simply impossible; this creates a need for a plausibly realistic synthetic data generator, which is what this simulation now provides. The simulator, named the "Bristol Betting Exchange" (BBE), is intended as a common platform, a data-source and experimental test-bed, for researchers studying the application of AI and machine learning (ML) techniques to issues arising in betting exchanges; and, as far as I have been able to determine, BBE is the first of its kind: a free open-source agent-based simulation model consisting not only of a sports-betting exchange, but also a minimal simulation model of racetrack sporting events (e.g., horse-races or car-races) about which bets may be made, and a population of simulated bettors who each form their own private evaluation of odds and place bets on the exchange before and - crucially - during the race itself (i.e., so-called "in-play" betting) and whose betting opinions change second-by-second as each race event unfolds. BBE is offered as a proof-of-concept system that enables the generation of large high-resolution data-sets for automated discovery or improvement of profitable strategies for betting on sporting events via the application of AI/ML and advanced data analytics techniques. This paper offers an extensive survey of relevant literature and explains the motivation and design of BBE, and presents brief illustrative results.


title: Lower bound on the radius of analyticity of solution for fifth order KdV-BBM Equation

abstract: We show that the uniform radius of spatial analyticity $\sigma(t)$ of solution at time $t$ for the fifth order KdV-BBM equation cannot decay faster than $1/t$ for large $t>0$, given initial data that is analytic with fixed radius $\sigma_0$. This significantly improves a recent result by Carvajal and Panthee, where they established an exponential decay of $\sigma(t)$ for large $t$.


title: Reachability and Top-k Reachability Queries with Transfer Decay

abstract: The prevalence of location tracking systems has resulted in large volumes of spatiotemporal data generated every day. Addressing reachability queries on such datasets is important for a wide range of applications (surveillance, public health, social networks, etc.) A spatiotemporal reachability query identifies whether a physical item (or information etc.) could have been transferred from the source object $O_S$ to the target object $O_T$ during a time interval $I$ (either directly, or through a chain of intermediate transfers). In previous research on spatiotemporal reachability queries, the number of such transfers is not limited, and the weight of a piece of transferred information remains the same. This paper introduces novel reachability queries, which assume a scenario of information decay. Such queries arise when the value of information that travels through the chain of intermediate objects decreases with each transfer. To address such queries efficiently over large spatiotemporal datasets, we introduce the RICCdecay algorithm. Further, the decay scenario leads to an important extension: if there are many different sources of information, the aggregate value of information an object can obtain varies. As a result, we introduce a top-k reachability problem, identifying the k objects with the highest accumulated information. We also present the RICCtopK algorithm that can efficiently compute top-k reachability with transfer decay queries. An experimental evaluation shows the efficiency of the proposed algorithms over previous approaches.


title: Markdowns in E-Commerce Fresh Retail: A Counterfactual Prediction and Multi-Period Optimization Approach

abstract: In this paper, by leveraging abundant observational transaction data, we propose a novel data-driven and interpretable pricing approach for markdowns, consisting of counterfactual prediction and multi-period price optimization. Firstly, we build a semi-parametric structural model to learn individual price elasticity and predict counterfactual demand. This semi-parametric model takes advantage of both the predictability of nonparametric machine learning model and the interpretability of economic model. Secondly, we propose a multi-period dynamic pricing algorithm to maximize the overall profit of a perishable product over its finite selling horizon. Different with the traditional approaches that use the deterministic demand, we model the uncertainty of counterfactual demand since it inevitably has randomness in the prediction process. Based on the stochastic model, we derive a sequential pricing strategy by Markov decision process, and design a two-stage algorithm to solve it. The proposed algorithm is very efficient. It reduces the time complexity from exponential to polynomial. Experimental results show the advantages of our pricing algorithm, and the proposed framework has been successfully deployed to the well-known e-commerce fresh retail scenario - Freshippo.


title: Numerical Solution for an Inverse Variational Problem

abstract: In the present work, firstly, we use a minimax equality to prove the existence of a solution of certain system of varitional equations and we provide a numerical approximation of such a solution. Then, we propose a numerical method to solve a collage-type inverse problem associated with the corresponding system, and illustrate the behaviour of the method with a numerical example.