title: A Deep Reinforcement Learning Approach for the Meal Delivery Problem

abstract: We consider a meal delivery service fulfilling dynamic customer requests given a set of couriers over the course of a day. A courier's duty is to pick-up an order from a restaurant and deliver it to a customer. We model this service as a Markov decision process and use deep reinforcement learning as the solution approach. We experiment with the resulting policies on synthetic and real-world datasets and compare those with the baseline policies. We also examine the courier utilization for different numbers of couriers. In our analysis, we specifically focus on the impact of the limited available resources in the meal delivery problem. Furthermore, we investigate the effect of intelligent order rejection and re-positioning of the couriers. Our numerical experiments show that, by incorporating the geographical locations of the restaurants, customers, and the depot, our model significantly improves the overall service quality as characterized by the expected total reward and the delivery times. Our results present valuable insights on both the courier assignment process and the optimal number of couriers for different order frequencies on a given day. The proposed model also shows a robust performance under a variety of scenarios for real-world implementation.


title: Predicting the Number of Reported Bugs in a Software Repository

abstract: The bug growth pattern prediction is a complicated, unrelieved task, which needs considerable attention. Advance knowledge of the likely number of bugs discovered in the software system helps software developers in designating sufficient resources at a convenient time. The developers may also use such information to take necessary actions to increase the quality of the system and in turn customer satisfaction. In this study, we examine eight different time series forecasting models, including Long Short Term Memory Neural Networks (LSTM), auto-regressive integrated moving average (ARIMA), and Random Forest Regressor. Further, we assess the impact of exogenous variables such as software release dates by incorporating those into the prediction models. We analyze the quality of long-term prediction for each model based on different performance metrics. The assessment is conducted on Mozilla, which is a large open-source software application. The dataset is originally mined from Bugzilla and contains the number of bugs for the project between Jan 2010 and Dec 2019. Our numerical analysis provides insights on evaluating the trends in a bug repository. We observe that LSTM is effective when considering long-run predictions whereas Random Forest Regressor enriched by exogenous variables performs better for predicting the number of bugs in the short term.


title: Modeling of thermonuclear fusion flames : transition to detonation

abstract: The paper is concerned with identification of the key mechanisms controlling deflagration-to-detonation transition in stellar medium. The issue of thermal runaway triggered by positive feedback between the advancing flame and the flame-driven precompression is discussed in the framework of a one-dimensional flame-folding model. The paper is an extension of the authors' previous study dealing with the non-stoichiometric fusion, $fuel \to products$, kinetics (Phys.Rev.E, 103(2021)) over physically more relevant, $fuel+fuel \to products$, kinetics. Despite this change the runaway effect endures. The transition occurs prior to merging of the flame with the flame-supported precursor shock, i.e. the pretransition flame does not reach the threshold of Chapman-Jouguet deflagration.


title: A Birds-eye (Re)View of Acid-suppression Drugs, COVID-19, and the Highly Variable Literature

abstract: We consider the recent surge of information on the potential benefits of acid-suppression drugs in the context of COVID-19, with an eye on the variability (and confusion) across the reported findings--at least as regards the popular antacid famotidine. The inconsistencies reflect contradictory conclusions from independent clinical-based studies that took roughly similar approaches, in terms of experimental design (retrospective, cohort-based, etc.) and statistical analyses (propensity-score matching and stratification, etc.). The confusion has significant ramifications in choosing therapeutic interventions: e.g., do potential benefits of famotidine indicate its use in a particular COVID-19 case? Beyond this pressing therapeutic issue, conflicting information on famotidine must be resolved before its integration in ontological and knowledge graph-based frameworks, which in turn are useful in drug repurposing efforts. To begin systematically structuring the rapidly accumulating information, in the hopes of clarifying and reconciling the discrepancies, we consider the contradictory information along three proposed 'axes': (1) a context-of-disease axis, (2) a degree-of-[therapeutic]-benefit axis, and (3) a mechanism-of-action axis. We suspect that incongruencies in how these axes have been (implicitly) treated in past studies has led to the contradictory indications for famotidine and COVID-19. We also trace the evolution of information on acid-suppression agents as regards the transmission, severity, and mortality of COVID-19, given the many literature reports that have accumulated. By grouping the studies conceptually and thematically, we identify three eras in the progression of our understanding of famotidine and COVID-19. Harmonizing these findings is a key goal for both clinical standards-of-care (COVID and beyond) as well as ontological and knowledge graph-based approaches.


title: Social capital and small business productivity: The mediating roles of financing and customer relationships

abstract: How does an entrepreneur's social capital improve small informal business productivity? Although studies have investigated this relationship, we still know little about the underlying theoretical mechanisms driving these findings. Using a unique Zambian Business Survey of 1,971 entrepreneurs administered by the World Bank, we find an entrepreneur's social capital facilitates small business productivity through the mediating channels of firm financing and customer relationships. Our findings identify specific mechanisms that channel social capital toward an informal business' productivity, which prior studies have overlooked.


title: Wireless Federated Learning (WFL) for 6G Networks -- Part II: The Compute-then-Transmit NOMA Paradigm

abstract: As it has been discussed in the first part of this work, the utilization of advanced multiple access protocols and the joint optimization of the communication and computing resources can facilitate the reduction of delay for wireless federated learning (WFL), which is of paramount importance for the efficient integration of WFL in the sixth generation of wireless networks (6G). To this end, in this second part we introduce and optimize a novel communication protocol for WFL networks, that is based on non-orthogonal multiple access (NOMA). More specifically, the Compute-then-Transmit NOMA (CT-NOMA) protocol is introduced, where users terminate concurrently the local model training and then simultaneously transmit the trained parameters to the central server. Moreover, two different detection schemes for the mitigation of inter-user interference in NOMA are considered and evaluated, which correspond to fixed and variable decoding order during the successive interference cancellation process. Furthermore, the computation and communication resources are jointly optimized for both considered schemes, with the aim to minimize the total delay during a WFL communication round. Finally, the simulation results verify the effectiveness of CT-NOMA in terms of delay reduction, compared to the considered benchmark that is based on time-division multiple access.


title: Functional limits for "tied down" occupation time processes of infinite ergodic transformations

abstract: We prove functional, distributional limit theorems for the occupation times of pointwise dual ergodic transformations at "tied-down" times immediately after "excursions". The limiting processes are tied down Mittag-Leffler processes and the transformations involved exhibit functional tied-down renewal mixing properties strengthening those of [AS19].


title: Solutions of algebraic linear ordinary differential equations

abstract: A classical result of F.Klein states that, given a finite primitive group $G\subseteq SL_2(\mathbb{C})$, there exists a hypergeometric equation such that any second order LODE whose differential Galois group is isomorphic to $G$ is projectively equivalent to the pullback by a rational map of this hypergeometric equation. In this paper, we generalize this result. We show that, given a finite primitive group $G\subseteq SL_n(\mathbb{C})$, there exist a positive integer $d=d(G)$ and a standard equation such that any LODE whose differential Galois group is isomorphic to $G$ is gauge equivalent, over a field extension $F$ of degree $d$, to an equation projectively equivalent to the pullback by a map in $F$ of this standard equation. For $n=3$, these standard equations can be chosen to be hypergeometric.


title: Weathering the Storm: How Foreign Aid and Institutions Affect Entrepreneurship Following Natural Disasters

abstract: This study examines how foreign aid and institutions affect entrepreneurship activity following natural disasters. We use insights from the entrepreneurship, development, and institutions literature to develop a model of entrepreneurship activity in the aftermath of natural disasters. First, we hypothesize the effect of natural disasters on entrepreneurship activity depends on the amount of foreign aid received. Second, we hypothesize that natural disasters and foreign aid either encourages or discourages entrepreneurship activity depending on two important institutional conditions: the quality of government and economic freedom. The findings from our panel of 85 countries from 2006 to 2016 indicate that natural disasters are negatively associated with entrepreneurship activity, but both foreign aid and economic freedom attenuate this effect. In addition, we observe that foreign aid is positively associated with entrepreneurship activity but only in countries with high quality government. Hence, we conclude that the effect of natural disasters on entrepreneurship depends crucially on the quality of government, economic freedom, and foreign aid. Our findings provide new insights into how natural disasters and foreign aid affect entrepreneurship and highlight the important role of the institutional context.


title: New Approximation of Magnification Statistics for Random Microlensing of Magnified Sources

abstract: Gravitationally lensed extragalactic sources are often subject to statistical microlensing by stars in the galaxy or cluster lens. Accurate models of the flux statistics are required for inferring source and lens properties from flux observations. We derive an accurate semi-analytic approximation for calculating the mean and variance of the magnification factor, which are applicable to Gaussian source profiles and arbitrary non-uniform macro lens models, and hence can save the need to perform expensive numerical simulations. The results are given as single and double lens-plane integrals with simple, non-oscillatory integrands, and hence are fast computable using common Monte Carlo integrators. Employing numerical ray-shooting experiments, we examine the case of a highly magnified source near a macro fold caustic, and demonstrate the excellent accuracy of this semi-analytic approximation in the regime of multiple micro images. Additionally, we point out how the maximum persistent magnification achievable near a macro caustic is fundamentally limited by the masses and number density of the foreground microlenses, in addition to the source's physical size.


title: Robust portfolio choice with sticky wages

abstract: We present a robust version of the life-cycle optimal portfolio choice problem in the presence of labor income, as introduced in Biffis, Gozzi and Prosdocimi ("Optimal portfolio choice with path dependent labor income: the infinite horizon case", SIAM Journal on Control and Optimization, 58(4), 1906-1938.) and Dybvig and Liu ("Lifetime consumption and investment: retirement and constrained borrowing", Journal of Economic Theory, 145, pp. 885-907). In particular, in Biffis, Gozzi and Prosdocimi the influence of past wages on the future ones is modelled linearly in the evolution equation of labor income, through a given weight function. The optimisation relies on the resolution of an infinite dimensional HJB equation. We improve the state of art in three ways. First, we allow the weight to be a Radon measure. This accommodates for more realistic weighting of the sticky wages, like, e.g., on a discrete temporal grid according to some periodic income. Second, there is a general correlation structure between labor income and stocks market. This naturally affects the optimal hedging demand, which may increase or decrease according to the correlation sign. Third, we allow the weight to change with time, possibly lacking perfect identification. The uncertainty is specified by a given set of Radon measures $K$, in which the weight process takes values. This renders the inevitable uncertainty on how the past affects the future, and includes the standard case of error bounds on a specific estimate for the weight. Under uncertainty averse preferences, the decision maker takes a maxmin approach to the problem. Our analysis confirms the intuition: in the infinite dimensional setting, the optimal policy remains the best investment strategy under the worst case weight.


title: Dyadic Carleson embedding and sparse domination of weighted composition operators on strictly pseudoconvex domains

abstract: In this paper, we study the behavior of the weighted composition operators acting on Bergman spaces defined on strictly pseudoconvex domains via the sparse domination technique from harmonic analysis. As a byproduct, we also prove a weighted type estimate for the weighted composition operators which is adapted to Sawyer-testing conditions. Our results extend the work by the first author, Li, Shi and Wick under a much more general setting.


title: Development and implementation of a time-based signal generation scheme for the Muon Chamber simulation of the CBM experiment at FAIR

abstract: The Compressed Baryonic Matter~(CBM) experiment in the upcoming Facility for Antiproton and Ion Research~(FAIR), designed to take data in nuclear collisions at very high interaction rates of up to 10 MHz, will employ a free-streaming data acquisition with self-triggered readout electronics, without any hardware trigger. A simulation framework with a realistic digitization of the detectors in the muon chamber (MuCh) subsystem in CBM has been developed to provide a realistic simulation of the time-stamped data stream. In this article, we describe the implementation of the free-streaming detector simulation and the basic data related effects on the detector with respect to the interaction rate.


title: Magnetic reconnection as an energy cascade process

abstract: Reconnection and turbulence are two of the most commonly observed dynamical processes in plasmas, but their relationship is still not fully understood. Using 2.5D kinetic particle-in-cell simulations of both strong turbulence and reconnection, we compare the cross-scale transfer of energy in the two systems by analyzing the generalization of the von K\'arm\'an Howarth equations for Hall magnetohydrodynamics, a formulation that subsumes the third-order law for steady cascade rates. Even though the large scale features are quite different, the finding is that the decomposition of the energy transfer is structurally very similar in the two cases. In the reconnection case, the time evolution of the energy transfer also exhibits a correlation with the reconnection rate. These results provide explicit evidence that reconnection itself is fundamentally an energy cascade process.


title: Continuity of the $L_{p}$ Balls and an Application to Input-Output System Described by the Urysohn Type Integral Operator

abstract: In this paper the continuity of the set valued map $p\rightarrow B_{\Omega,\mathcal{X},p}(r),$ $p\in (1,+\infty),$ is proved where $B_{\Omega,\mathcal{X},p}(r)$ is the closed ball of the space $L_{p}\left(\Omega,\Sigma,\mu; \mathcal{X}\right)$ centered at the origin with radius $r,$ $\left(\Omega,\Sigma,\mu\right)$ is a finite and positive measure space, $\mathcal{X}$ is separable Banach space. An application to input-output system described by Urysohn type integral operator is discussed.


title: Klein's ten planar dessins of degree 11, and beyond

abstract: We reinterpret ideas in Klein's paper on transformations of degree $11$ from the modern point of view of dessins d'enfants, and extend his results by considering dessins of type $(3,2,p)$ and degree $p$ or $p+1$, where $p$ is prime. In many cases we determine the passports and monodromy groups of these dessins, and in a few small cases we give drawings which are topologically (or, in certain examples, even geometrically) correct. We use the Bateman-Horn Conjecture and extensive computer searches to support a conjecture that there are infinitely many primes of the form $p=(q^n-1)/(q-1)$ for some prime power $q$, in which case infinitely many groups ${\rm PSL}_n(q)$ arise as permutation groups and monodromy groups of degree $p$ (an open problem in group theory).


title: Learning Passage Impacts for Inverted Indexes

abstract: Neural information retrieval systems typically use a cascading pipeline, in which a first-stage model retrieves a candidate set of documents and one or more subsequent stages re-rank this set using contextualized language models such as BERT. In this paper, we propose DeepImpact, a new document term-weighting scheme suitable for efficient retrieval using a standard inverted index. Compared to existing methods, DeepImpact improves impact-score modeling and tackles the vocabulary-mismatch problem. In particular, DeepImpact leverages DocT5Query to enrich the document collection and, using a contextualized language model, directly estimates the semantic importance of tokens in a document, producing a single-value representation for each token in each document. Our experiments show that DeepImpact significantly outperforms prior first-stage retrieval approaches by up to 17% on effectiveness metrics w.r.t. DocT5Query, and, when deployed in a re-ranking scenario, can reach the same effectiveness of state-of-the-art approaches with up to 5.1x speedup in efficiency.


title: Irregularities of distribution and geometry of planar convex sets

abstract: We consider a planar convex body $C$ and we prove several analogs of Roth's theorem on irregularities of distribution. When $\partial C$ is $\mathcal{C}% ^{2}$ regardless of curvature, we prove that for every set $\mathcal{P}_{N}$ of $N$ points in $\mathbb{T}^{2}$ we have the sharp bound \[ \int_{0}^{1}\int_{\mathbb{T}^{2}}\left\vert \mathrm{card}\left( \mathcal{P}_{N}\mathcal{\cap}\left( \lambda C+t\right) \right) -\lambda ^{2}N\left\vert C\right\vert \right\vert ^{2}~dtd\lambda\geqslant cN^{1/2}\;. \] When $\partial C$ is only piecewise $\mathcal{C}^{2}$ and is not a polygon we prove the sharp bound% \[ \int_{0}^{1}\int_{\mathbb{T}^{2}}\left\vert \mathrm{card}\left( \mathcal{P}_{N}\mathcal{\cap}\left( \lambda C+t\right) \right) -\lambda ^{2}N\left\vert C\right\vert \right\vert ^{2}~dtd\lambda\geqslant cN^{2/5}. \] We also give a whole range of intermediate sharp results between $N^{2/5}$ and $N^{1/2}$. Our proofs depend on a lemma of Cassels-Montgomery, on ad hoc constructions of finite point sets, and on a geometric type estimate for the average decay of the Fourier transform of the characteristic function of $C$.


title: Parikh's theorem for infinite alphabets

abstract: We investigate commutative images of languages recognised by register automata and grammars. Semi-linear and rational sets can be naturally extended to this setting by allowing for orbit-finite unions instead of only finite ones. We prove that commutative images of languages of one-register automata are not always semi-linear, but they are always rational. We also lift the latter result to grammars: commutative images of one-register context-free languages are rational, and in consequence commutatively equivalent to register automata. We conjecture analogous results for automata and grammars with arbitrarily many registers.


title: Cycle type of random permutations: A toolkit

abstract: We prove a number of results, new and old, about the cycle type of a random permutation on S_n. Underlying our analysis is the idea that the number of cycles of size k is roughly Poisson distributed with parameter 1/k. In particular, we establish strong results about the distribution of the number of cycles whose lengths lie in a fixed but arbitrary set I. Our techniques are motivated by the theory of sieves in number theory.


title: Towards Low-burden Responses to Open Questions in VR

abstract: Subjective self-reports in VR user studies is a burdening and often tedious task for the participants. To minimize the disruption with the ongoing experience VR research has started to administer the surveying directly inside the virtual environments. However, due to the tedious nature of text-entry in VR, most VR surveying tools focus on closed questions with predetermined responses, while open questions with free-text responses remain unexplored. This neglects a crucial part of UX research. To provide guidance on suitable self-reporting methods for open questions in VR user studies, this position paper presents a comparative study with three text-entry methods in VR and outlines future directions towards low-burden qualitative responding.


title: Explainable Artificial Intelligence Reveals Novel Insight into Tumor Microenvironment Conditions Linked with Better Prognosis in Patients with Breast Cancer

abstract: We investigated the data-driven relationship between features in the tumor microenvironment (TME) and the overall and 5-year survival in triple-negative breast cancer (TNBC) and non-TNBC (NTNBC) patients by using Explainable Artificial Intelligence (XAI) models. We used clinical information from patients with invasive breast carcinoma from The Cancer Genome Atlas and from two studies from the cbioPortal, the PanCanAtlas project and the GDAC Firehose study. In this study, we used a normalized RNA sequencing data-driven cohort from 1,015 breast cancer patients, alive or deceased, from the UCSC Xena data set and performed integrated deconvolution with the EPIC method to estimate the percentage of seven different immune and stromal cells from RNA sequencing data. Novel insights derived from our XAI model showed that CD4+ T cells and B cells are more critical than other TME features for enhanced prognosis for both TNBC and NTNBC patients. Our XAI model revealed the critical inflection points (i.e., threshold fractions) of CD4+ T cells and B cells above or below which 5-year survival rates improve. Subsequently, we ascertained the conditional probabilities of $\geq$ 5-year survival in both TNBC and NTNBC patients under specific conditions inferred from the inflection points. In particular, the XAI models revealed that a B-cell fraction exceeding 0.018 in the TME could ensure 100% 5-year survival for NTNBC patients. The findings from this research could lead to more accurate clinical predictions and enhanced immunotherapies and to the design of innovative strategies to reprogram the TME of breast cancer patients.


title: Valid Post-Detection Inference for Change Points Identified Using Trend Filtering

abstract: There are many research works and methods about change point detection in the literature. However, there are only a few that provide inference for such change points after being estimated. This work mainly focuses on a statistical analysis of change points estimated by the PRUTF algorithm, which incorporates trend filtering to determine change points in piecewise polynomial signals. This paper develops a methodology to perform statistical inference, such as computing p-values and constructing confidence intervals in the newly developed post-selection inference framework. Our work concerns both cases of known and unknown error variance. As pointed out in the post-selection inference literature, the length of such confidence intervals are undesirably long. To resolve this shortcoming, we also provide two novel strategies, global post-detection, and local post-detection which are based on the intrinsic properties of change points. We run our proposed methods on real as well as simulated data to evaluate their performances.


title: Calibrating LiDAR and Camera using Semantic Mutual information

abstract: We propose an algorithm for automatic, targetless, extrinsic calibration of a LiDAR and camera system using semantic information. We achieve this goal by maximizing mutual information (MI) of semantic information between sensors, leveraging a neural network to estimate semantic mutual information, and matrix exponential for calibration computation. Using kernel-based sampling to sample data from camera measurement based on LiDAR projected points, we formulate the problem as a novel differentiable objective function which supports the use of gradient-based optimization methods. We also introduce an initial calibration method using 2D MI-based image registration. Finally, we demonstrate the robustness of our method and quantitatively analyze the accuracy on a synthetic dataset and also evaluate our algorithm qualitatively on KITTI360 and RELLIS-3D benchmark datasets, showing improvement over recent comparable approaches.


title: A General Conditional Large Deviation Principle

abstract: Given a sequence of Borel probability measures on a Hausdorff space which satisfy a large deviation principle, we consider the corresponding sequence of measures formed by conditioning on a set $B$. If the large deviation rate function $I$ is good and effectively continuous and the conditioning set has the property that (1) $\overline{B^\circ} = \overline{B}$ and (2) $I(x) < \infty$ for all $x \in \overline{B}$, then the sequence of conditional measures satisfies a large deviation principle with the good, effectively continuous rate function $I_B$, where $I_B(x) = I(x)-\inf I(B)$ if $x\in\overline{B}$ and $I_B(x) = \infty$ otherwise.


title: Interaction of the axionic dark matter, dynamic aether, spinor and gravity fields as an origin of oscillations of the fermion effective mass

abstract: In the framework of the Einstein-Dirac-axion-aether theory we consider the quartet of self-interacting cosmic fields, which includes the dynamic aether, presented by the unit timelike vector field, the axionic dark mater, described by the pseudoscalar field, the spinor field associated with fermion particles, and the gravity field. The key, associated with the mechanism of self-interaction, is installed into the modified periodic potential of the pseudoscalar (axion) field constructed on the base of a guiding function, which depends on one invariant, one pseudo-invariant and two cross-invariants containing the spinor and vector fields. The total system of the field equations related to the isotropic homogeneous cosmological model is solved; we have found the exact solutions for the guiding function for three cases: nonzero, vanishing and critical values of the cosmological constant. Based on these solutions, we obtained the expressions for the effective mass of spinor particles, interacting with the axionic dark matter and dynamic aether. This effective mass is shown to bear imprints of the cosmological epoch and of the state of the cosmic dark fluid in that epoch.


title: A search for mid-IR bands of amino acids in the Perseus Molecular Cloud

abstract: Amino acids are building-blocks of proteins, basic constituents of all organisms and essential to life on Earth. They are present in carbonaceous chondrite meteorites and comets, but their origin is still unknown. Formation of amino acids in the interstellar medium is posible via specific gas-phase reactions in dark clouds, however sensitive radiosearches at millimeter wavelengths have not revealed their existence yet. The mid-IR vibrational spectra of amino acids provides an alternative path for their identification. We present Spitzer spectroscopic observations in the star-forming region IC 348 of the Perseus Molecular Cloud showing the detection of mid-IR emission lines consistent with the most intense laboratory bands of the three aromatic amino acids, tyrosine, phenylalanine and tryptophan and the aliphatic amino acids isoleucine and glycine. Estimates of column densities give values 10-100 times higher for isoleucine and glycine than for the aromatic amino acids as in some meteorites. The strongest bands of each amino acid are also found in the combined spectrum of >30 interstellar locations in diverse star-forming regions supporting the suggestion that amino acids are widely spread in interstellar space. Future mid-IR searches for proteinogenic amino acids in protostars, protoplanetary disks and in the interstellar medium will be key to establish an exogenous origin of meteoritic amino acids and to understand how the prebiotic conditions for life were set in the early Earth.


title: Signal-based classical emulation of a universal quantum computer

abstract: In this paper we present a novel approach to emulating a universal quantum computer with a classical system, one that uses a signal of bounded duration and amplitude to represent an arbitrary quantum state. The signal may be of any modality (e.g., acoustic, electromagnetic, etc), but we focus our discussion here on electronic signals. Unitary gate operations are performed using analog electronic circuit devices, such as four-quadrant multipliers, operational amplifiers, and analog filters, although non-unitary operations may be performed as well. In this manner, the Hilbert space structure of the quantum state, as well as a universal set of gate operations, may be fully emulated classically. The required bandwidth scales exponentially with the number of qubits, however, thereby limiting the scalability of the approach, but the intrinsic parallelism, ease of construction, and classical robustness to decoherence may nevertheless lead to capabilities and efficiencies rivaling that of current high performance computers.


title: Subspace projection method for unstructured searches with noisy quantum oracles using a signal-based quantum emulation device

abstract: This paper describes a novel approach to solving unstructured search problems using a classical, signal-based emulation of a quantum computer. The classical nature of the representation allows one to perform subspace projections in addition to the usual unitary gate operations. Although bandwidth requirements will limit the scale of problems that can be solved by this method, it can nevertheless provide a significant computational advantage for problems of limited size. In particular, we find that, for the same number of noisy oracle calls, the proposed subspace projection method provides a higher probability of success for finding a solution than does an single application of Grover's algorithm on the same device.


title: The SIR model of an epidemic

abstract: The SIR model is a three-compartment model of the time development of an epidemic. After normalizing the dependent variables, the model is a system of two non-linear differential equations for the susceptible proportion $S$ and the infected proportion $I$. After normalizing the time variable there is only one remaining parameter. This largely expository article is mainly about aspects of this model that can be understood with calculus. It also discusses an alternative exactly solvable model that appeared in early work of Kermack and McKendrick. This model may be obtained by replacing $SI$ factors by $\sqrt{2S-1}I$ factors. For a mild epidemic, where $S$ is decreasing from 1 but remains fairly close to 1, this is a reasonable approximation.


title: Robust Connectivity of Graphs on Surfaces

abstract: Let $\Lambda(T)$ denote the set of leaves in a tree $T$. One natural problem is to look for a spanning tree $T$ of a given graph $G$ such that $\Lambda(T)$ is as large as possible. This problem is called maximum leaf number, and it is a well-known NP-hard problem. Throughout recent decades, this problem has received considerable attention, ranging from pure graph theoretic questions to practical problems related to the construction of wireless networks. Recently, a similar but stronger notion was defined by Bradshaw, Masa\v{r}\'ik, and Stacho [Flexible List Colorings in Graphs with Special Degeneracy Conditions, ISAAC 2020]. They introduced a new invariant for a graph $G$, called the robust connectivity and written $\kappa_\rho(G)$, defined as the minimum value $\frac{|R \cap \Lambda (T)|}{|R|}$ taken over all nonempty subsets $R\subseteq V(G)$, where $T = T(R)$ is a spanning tree on $G$ chosen to maximize $|R \cap \Lambda(T)|$. Large robust connectivity was originally used to show flexible choosability in non-regular graphs. In this paper, we investigate some interesting properties of robust connectivity for graphs embedded in surfaces. We prove a tight asymptotic bound of $\Omega(\gamma^{-\frac{1}{r}})$ for the robust connectivity of $r$-connected graphs of Euler genus $\gamma$. Moreover, we give a surprising connection between the robust connectivity of graphs with an edge-maximal embedding in a surface and the surface connectivity of that surface, which describes to what extent large induced subgraphs of embedded graphs can be cut out from the surface without splitting the surface into multiple parts. For planar graphs, this connection provides an equivalent formulation of a long-standing conjecture of Albertson and Berman [A conjecture on planar graphs, 1979], which states that every planar graph on $n$ vertices contains an induced forest of size at least $n/2$.


title: Low-rank Tensor Estimation via Riemannian Gauss-Newton: Statistical Optimality and Second-Order Convergence

abstract: In this paper, we consider the estimation of a low Tucker rank tensor from a number of noisy linear measurements. The general problem covers many specific examples arising from applications, including tensor regression, tensor completion, and tensor PCA/SVD. We consider an efficient Riemannian Gauss-Newton (RGN) method for low Tucker rank tensor estimation. Different from the generic (super)linear convergence guarantee of RGN in the literature, we prove the first local quadratic convergence guarantee of RGN for low-rank tensor estimation in the noisy setting under some regularity conditions and provide the corresponding estimation error upper bounds. A deterministic estimation error lower bound, which matches the upper bound, is provided that demonstrates the statistical optimality of RGN. The merit of RGN is illustrated through two machine learning applications: tensor regression and tensor SVD. Finally, we provide the simulation results to corroborate our theoretical findings.

categories: stat.ML cs.LG cs.NA math.NA math.OC stat.ME


title: The Design of the User Interfaces for Privacy Enhancements for Android

abstract: We present the design and design rationale for the user interfaces for Privacy Enhancements for Android (PE for Android). These UIs are built around two core ideas, namely that developers should explicitly declare the purpose of why sensitive data is being used, and these permission-purpose pairs should be split by first party and third party uses. We also present a taxonomy of purposes and ways of how these ideas can be deployed in the existing Android ecosystem.


title: Morphological Comparison of Blocks in Chaos Terrains on Pluto, Europa, and Mars

abstract: Chaos terrains are characterized by disruption of preexisting surfaces into irregularly arranged mountain blocks with a chaotic appearance. Several models for chaos formation have been proposed, but the formation and evolution of this enigmatic terrain type has not yet been fully constrained. We provide extensive mapping of the individual blocks that make up different chaos landscapes, and present a morphological comparison of chaotic terrains found on Pluto, Jupiter's moon Europa, and Mars, using measurements of diameter, height, and axial ratio of chaotic mountain blocks. Additionally, we compare mountain blocks in chaotic terrain and fretted terrain on Mars. We find a positive linear relationship between the size and height of chaos blocks on Pluto and Mars, whereas blocks on Europa exhibit a flat trend as block height does not generally increase with increasing block size. Block heights on Pluto are used to estimate the block root depths if they were floating icebergs. Block heights on Europa are used to infer the total thickness of the icy layer from which the blocks formed. Finally, block heights on Mars are compared to potential layer thicknesses of near-surface material. We propose that the heights of chaotic mountain blocks on Pluto, Europa, and Mars can be used to infer information about crustal lithology and surface layer thickness.


title: Deep Convolutional Neural Network for Non-rigid Image Registration

abstract: Images taken at different times or positions undergo transformations such as rotation, scaling, skewing, and more. The process of aligning different images which have undergone transformations can be done via registration. Registration is desirable when analyzing time-series data for tracking, averaging, or differential diagnoses of diseases. Efficient registration methods exist for rigid (including linear or affine) transformations; however, for non-rigid (also known as non-affine) transformations, current methods are computationally expensive and time-consuming. In this report, I will explore the ability of a deep neural network (DNN) and, more specifically, a deep convolutional neural network (CNN) to efficiently perform non-rigid image registration. The experimental results show that a CNN can be used for efficient non-rigid image registration and in significantly less computational time than a conventional Diffeomorphic Demons or Pyramiding approach.


title: Riemannian Trust-Region based Adaptive Kalman filter with unknown noise Covariance matrices

abstract: The problem of adaptive Kalman filtering for a discrete observable linear time-varying system with unknown noise covariance matrices is addressed in this paper. The measurement difference autocovariance method is used to formulate a linear least squares cost function containing the measurements and the process and measurement noise covariance matrices. Subsequently, a Riemannian trust-region optimization approach is designed to minimize the least squares cost function and ensure symmetry and positive definiteness for the estimates of the noise covariance matrices. The noise covariance matrix estimates, under sufficient excitation of the system, are shown to converge to their unknown true values. Saliently, the exponential stability and convergence guarantees for the proposed adaptive Kalman filter to the optimal Kalman filter with known noise covariance matrices is shown to be achieved under the relatively mild assumptions of uniform observability and uniform controllability. Numerical simulations on a linear time-varying system demonstrate the effectiveness of the proposed adaptive filtering algorithm.


title: A Class of Dimension-free Metrics for the Convergence of Empirical Measures

abstract: This paper concerns the convergence of empirical measures in high dimensions. We propose a new class of probability metrics and show that under such metrics, the convergence is free of the curse of dimensionality (CoD). Such a feature is critical for high-dimensional analysis and stands in contrast to classical metrics ({\it e.g.}, the Wasserstein metric). The proposed metrics fall into the category of integral probability metrics, for which we specify criteria of test function spaces to guarantee the property of being free of CoD. Examples of the selected test function spaces include the reproducing kernel Hilbert spaces, Barron space, and flow-induced function spaces. Three applications of the proposed metrics are presented: 1. The convergence of empirical measure in the case of random variables; 2. The convergence of $n$-particle system to the solution to McKean-Vlasov stochastic differential equation; 3. The construction of an $\varepsilon$-Nash equilibrium for a homogeneous $n$-player game by its mean-field limit. As a byproduct, we prove that, given a distribution close to the target distribution measured by our metric and a certain representation of the target distribution, we can generate a distribution close to the target one in terms of the Wasserstein metric and relative entropy. Overall, we show that the proposed class of metrics is a powerful tool to analyze the convergence of empirical measures in high dimensions without CoD.


title: Precarity: Modeling the Long Term Effects of Compounded Decisions on Individual Instability

abstract: When it comes to studying the impacts of decision making, the research has been largely focused on examining the fairness of the decisions, the long-term effects of the decision pipelines, and utility-based perspectives considering both the decision-maker and the individuals. However, there has hardly been any focus on precarity which is the term that encapsulates the instability in people's lives. That is, a negative outcome can overspread to other decisions and measures of well-being. Studying precarity necessitates a shift in focus - from the point of view of the decision-maker to the perspective of the decision subject. This centering of the subject is an important direction that unlocks the importance of parting with aggregate measures to examine the long-term effects of decision making. To address this issue, in this paper, we propose a modeling framework that simulates the effects of compounded decision-making on precarity over time. Through our simulations, we are able to show the heterogeneity of precarity by the non-uniform ruinous aftereffects of negative decisions on different income classes of the underlying population and how policy interventions can help mitigate such effects.


title: Compressive oscillations in hot coronal loops: Are sloshing oscillations and standing slow waves independent?

abstract: Employing high-resolution EUV imaging observations from SDO/AIA, we analyse a compressive plasma oscillation in a hot coronal loop triggered by a C-class flare near one of its foot points as first studied by Kumar et al. We investigate the oscillation properties in both the 131{\,}{\AA} and 94{\,}{\AA} channels and find that what appears as a pure sloshing oscillation in the 131{\,}{\AA} channel actually transforms into a standing wave in the 94{\,}{\AA} channel at a later time. This is the first clear evidence of such transformation confirming the results of a recent numerical study which suggests that these two oscillations are not independent phenomena. We introduce a new analytical expression to properly fit the sloshing phase of an oscillation and extract the oscillation properties. For the AIA 131{\,}{\AA} channel, the obtained oscillation period and damping time are 608$\pm$4{\,}s and 431$\pm$20{\,}s, respectively during the sloshing phase. The corresponding values for the AIA 94{\,}{\AA} channel are 617$\pm$3{\,}s and 828$\pm$50{\,}s. During the standing phase that is observed only in the AIA 94{\,}{\AA} channel, the oscillation period and damping time have increased to 791$\pm$5{\,}s and 1598$\pm$138{\,}s, respectively. The plasma temperature obtained from the DEM analysis indicates substantial cooling of the plasma during the oscillation. Considering this, we show that the observed oscillation properties and the associated changes are compatible with damping due to thermal conduction. We further demonstrate that the absence of a standing phase in the 131{\,}{\AA} channel is a consequence of cooling plasma besides the faster decay of oscillation in this channel.


title: Optimizing Regular Expressions via Rewrite-Guided Synthesis

abstract: Regular expressions are pervasive in modern systems. Many real-world regular expressions are inefficient, sometimes to the extent that they are vulnerable to complexity-based attacks, and while much research has focused on detecting inefficient regular expressions or accelerating regular expression matching at the hardware level, we investigate automatically transforming regular expressions to remove inefficiencies. We reduce this problem to general expression optimization, an important task necessary in a variety of domains even beyond compilers, e.g., digital logic design, etc. Syntax-guided synthesis (SyGuS) with a cost function can be used for this purpose, but ordered enumeration through a large space of candidate expressions can be prohibitively expensive. Equality saturation is an alternative approach which allows efficient construction and maintenance of expression equivalence classes generated by rewrite rules, but the procedure may not reach saturation, meaning global minimality cannot be confirmed. We present a new approach called rewrite-guided synthesis (ReGiS), in which a unique interplay between SyGuS and equality saturation-based rewriting helps to overcome these problems, resulting in an efficient, scalable framework for expression optimization.


title: Balancing Accuracy and Latency in Multipath Neural Networks

abstract: The growing capacity of neural networks has strongly contributed to their success at complex machine learning tasks and the computational demand of such large models has, in turn, stimulated a significant improvement in the hardware necessary to accelerate their computations. However, models with high latency aren't suitable for limited-resource environments such as hand-held and IoT devices. Hence, many deep learning techniques aim to address this problem by developing models with reasonable accuracy without violating the limited-resource constraint. In this work, we use a one-shot neural architecture search model to implicitly evaluate the performance of an intractable number of multipath neural networks. Combining this architecture search with a pruning technique and architecture sample evaluation, we can model the relation between the accuracy and the latency of a spectrum of models with graded complexity. We show that our method can accurately model the relative performance between models with different latencies and predict the performance of unseen models with good precision across different datasets.


title: Distractor-Aware Fast Tracking via Dynamic Convolutions and MOT Philosophy

abstract: A practical long-term tracker typically contains three key properties, i.e. an efficient model design, an effective global re-detection strategy and a robust distractor awareness mechanism. However, most state-of-the-art long-term trackers (e.g., Pseudo and re-detecting based ones) do not take all three key properties into account and therefore may either be time-consuming or drift to distractors. To address the issues, we propose a two-task tracking frame work (named DMTrack), which utilizes two core components (i.e., one-shot detection and re-identification (re-id) association) to achieve distractor-aware fast tracking via Dynamic convolutions (d-convs) and Multiple object tracking (MOT) philosophy. To achieve precise and fast global detection, we construct a lightweight one-shot detector using a novel dynamic convolutions generation method, which provides a unified and more flexible way for fusing target information into the search field. To distinguish the target from distractors, we resort to the philosophy of MOT to reason distractors explicitly by maintaining all potential similarities' tracklets. Benefited from the strength of high recall detection and explicit object association, our tracker achieves state-of-the-art performance on the LaSOT, OxUvA, TLP, VOT2018LT and VOT2019LT benchmarks and runs in real-time (3x faster than comparisons).


title: A Robustness Analysis of Inverse Optimal Control of Bipedal Walking

abstract: Cost functions have the potential to provide compact and understandable generalizations of motion. The goal of Inverse Optimal Control (IOC) is to analyze an observed behavior which is assumed to be optimal with respect to an unknown cost function, and infer this cost function. Here we develop a method for characterizing cost functions of legged locomotion, with the goal of representing complex humanoid behavior with simple models. To test this methodology we simulate walking gaits of a simple 5 link planar walking model which optimize known cost functions, and assess the ability of our IOC method to recover them. In particular, the IOC method uses an iterative trajectory optimization process to infer cost function weightings consistent with those used to generate a single demonstrated optimal trial. We also explore sensitivity of the IOC to sensor noise in the observed trajectory, imperfect knowledge of the model or task, as well as uncertainty in the components of the cost function used. With appropriate modeling, these methods may help infer cost functions from human data, yielding a compact and generalizable representation of human-like motion for use in humanoid robot controllers, as well as providing a new tool for experimentally exploring human preferences.


title: The connection between the $PQ$ penny flip game and the dihedral groups

abstract: This paper is inspired by the PQ penny flip game. It employs group-theoretic concepts to study the original game and also its possible extensions. We show that the PQ penny flip game can be associated with the dihedral group $D_{8}$. We prove that within $D_{8}$ there exist precisely two classes of winning strategies for Q. We establish that there are precisely two different sequences of states that can guaranteed Q's win with probability $1.0$. We also show that the game can be played in the all dihedral groups $D_{8 n}$, $n \geq 1$, with any significant change. We examine what happens when Q can draw his moves from the entire $U(2)$ and we conclude that again, there are exactly two classes of winning strategies for Q, each class containing now an infinite number of equivalent strategies, but all of them send the coin through the same sequence of states as before. Finally, we consider general extensions of the game with the quantum player having $U(2)$ at his disposal. We prove that for Q to surely win against Picard, he must make both the first and the last move.


title: Multi-Cycle-Consistent Adversarial Networks for Edge Denoising of Computed Tomography Images

abstract: As one of the most commonly ordered imaging tests, computed tomography (CT) scan comes with inevitable radiation exposure that increases the cancer risk to patients. However, CT image quality is directly related to radiation dose, thus it is desirable to obtain high-quality CT images with as little dose as possible. CT image denoising tries to obtain high dose like high-quality CT images (domain X) from low dose low-quality CTimages (domain Y), which can be treated as an image-to-image translation task where the goal is to learn the transform between a source domain X (noisy images) and a target domain Y (clean images). In this paper, we propose a multi-cycle-consistent adversarial network (MCCAN) that builds intermediate domains and enforces both local and global cycle-consistency for edge denoising of CT images. The global cycle-consistency couples all generators together to model the whole denoising process, while the local cycle-consistency imposes effective supervision on the process between adjacent domains. Experiments show that both local and global cycle-consistency are important for the success of MCCAN, which outperformsCCADN in terms of denoising quality with slightly less computation resource consumption.


title: Predual of weak Orlicz spaces

abstract: In this paper, we consider the predual spaces of weak Orlicz spaces. As an application, we provide the Fefferman-Stein vector-valued maximal inequality for the weak Orlicz spaces. In order to prove this statement, we introduced the Orlicz-Lorentz spaces, and showed the boundedness of the Hardy-Littlewood maximal operator on these spaces.


title: Quantization of Deep Neural Networks for Accurate Edge Computing

abstract: Deep neural networks (DNNs) have demonstrated their great potential in recent years, exceeding the per-formance of human experts in a wide range of applications. Due to their large sizes, however, compressiontechniques such as weight quantization and pruning are usually applied before they can be accommodated onthe edge. It is generally believed that quantization leads to performance degradation, and plenty of existingworks have explored quantization strategies aiming at minimum accuracy loss. In this paper, we argue thatquantization, which essentially imposes regularization on weight representations, can sometimes help toimprove accuracy. We conduct comprehensive experiments on three widely used applications: fully con-nected network (FCN) for biomedical image segmentation, convolutional neural network (CNN) for imageclassification on ImageNet, and recurrent neural network (RNN) for automatic speech recognition, and experi-mental results show that quantization can improve the accuracy by 1%, 1.95%, 4.23% on the three applicationsrespectively with 3.5x-6.4x memory reduction.


title: Math Operation Embeddings for Open-ended Solution Analysis and Feedback

abstract: Feedback on student answers and even during intermediate steps in their solutions to open-ended questions is an important element in math education. Such feedback can help students correct their errors and ultimately lead to improved learning outcomes. Most existing approaches for automated student solution analysis and feedback require manually constructing cognitive models and anticipating student errors for each question. This process requires significant human effort and does not scale to most questions used in homework and practices that do not come with this information. In this paper, we analyze students' step-by-step solution processes to equation solving questions in an attempt to scale up error diagnostics and feedback mechanisms developed for a small number of questions to a much larger number of questions. Leveraging a recent math expression encoding method, we represent each math operation applied in solution steps as a transition in the math embedding vector space. We use a dataset that contains student solution steps in the Cognitive Tutor system to learn implicit and explicit representations of math operations. We explore whether these representations can i) identify math operations a student intends to perform in each solution step, regardless of whether they did it correctly or not, and ii) select the appropriate feedback type for incorrect steps. Experimental results show that our learned math operation representations generalize well across different data distributions.


title: Delocalization and quantum diffusion of random band matrices in high dimensions I: Self-energy renormalization

abstract: We consider Hermitian random band matrices $H=(h_{xy})$ on the $d$-dimensional lattice $(\mathbb Z/L\mathbb Z)^d$. The entries $h_{xy}$ are independent (up to Hermitian conditions) centered complex Gaussian random variables with variances $s_{xy}=\mathbb E|h_{xy}|^2$. The variance matrix $S=(s_{xy})$ has a banded structure so that $s_{xy}$ is negligible if $|x-y|$ exceeds the band width $W$. In dimensions $d\ge 8$, we prove that, as long as $W\ge L^\epsilon$ for a small constant $\epsilon>0$, with high probability most bulk eigenvectors of $H$ are delocalized in the sense that their localization lengths are comparable to $L$. Denote by $G(z)=(H-z)^{-1}$ the Green's function of the band matrix. For ${\mathrm Im}\, z\gg W^2/L^2$, we also prove a widely used criterion in physics for quantum diffusion of this model, namely, the leading term in the Fourier transform of $\mathbb E|G_{xy}(z)|^2$ with respect to $x-y$ is of the form $({\mathrm Im}\, z + a(p))^{-1}$ for some $a(p)$ quadratic in $p$, where $p$ is the Fourier variable. Our method is based on an expansion of $T_{xy}=|m|^2 \sum_{\alpha}s_{x\alpha}|G_{\alpha y}|^2$ and it requires a self-energy renormalization up to error $W^{-K}$ for any large constant $K$ independent of $W$ and $L$. We expect that this method can be extended to non-Gaussian band matrices.


title: The MAVERIC Survey: Dynamical Origin of Radio Sources in Galactic Globular Clusters

abstract: We investigate potential correlations between radio source counts (after background corrections) of 22 Galactic globular clusters (GCs) from the MAVERIC survey, and stellar encounter rates ($\Gamma$) and masses ($M$) of the GCs. Applying a radio luminosity limit of $L_\mathrm{lim}=5.0\times 10^{27}~\mathrm{erg~s^{-1}}$, we take a census of radio sources in the core and those within the half-light radius. By following a maximum likelihood method and adopting a simplified linear model, we find an unambiguous dependence of core radio source counts on $\Gamma$ and/or $M$ at 90% confidence, but no clear dependence of source counts within the half-light radius on either $\Gamma$ or $M$. Five of the identified radio sources in cores above our adopted limit are millisecond pulsars or neutron star X-ray binaries (XRBs), the dependence of which on $\Gamma$ is well-known, but another is a published black hole (BH) XRB candidate, and ten others are not identified. Accounting for the verified cluster members increases the significance of correlation with $M$ and/or $\Gamma$ (to 99% confidence), for fits to core and half-light region source counts, while excluding a dependence on $\Gamma$ alone at 90% (core) and 68% (half-light) confidence. This is consistent with published dynamical simulations of GC BH interactions that argue $\Gamma$ will be a poor predictor of the distribution of accreting BHs in GCs. Future multiwavelength follow-up to verify cluster membership will enable stronger constraints on the dependence of radio source classes on cluster properties, promising a new view on the dynamics of BHs in GCs.


title: Attention on Global-Local Representation Spaces in Recommender Systems

abstract: In this study, we present a novel clustering-based collaborative filtering (CF) method for recommender systems. Clustering-based CF methods can effectively deal with data sparsity and scalability problems. However, most of them are applied to a single representation space, which might not characterize complex user-item interactions well. We argue that the user-item interactions should be observed from multiple views and characterized in an adaptive way. To address this issue, we leveraged the global and local properties to construct multiple representation spaces by learning various training datasets and loss functions. An attention network was built to generate a blended representation according to the relative importance of the representation spaces for each user-item pair, providing a flexible way to characterize diverse user-item interactions. Substantial experiments were evaluated on four popular benchmark datasets. The results show that the proposed method is superior to several CF methods where only one representation space is considered.


title: 3D-TalkEmo: Learning to Synthesize 3D Emotional Talking Head

abstract: Impressive progress has been made in audio-driven 3D facial animation recently, but synthesizing 3D talking-head with rich emotion is still unsolved. This is due to the lack of 3D generative models and available 3D emotional dataset with synchronized audios. To address this, we introduce 3D-TalkEmo, a deep neural network that generates 3D talking head animation with various emotions. We also create a large 3D dataset with synchronized audios and videos, rich corpus, as well as various emotion states of different persons with the sophisticated 3D face reconstruction methods. In the emotion generation network, we propose a novel 3D face representation structure - geometry map by classical multi-dimensional scaling analysis. It maps the coordinates of vertices on a 3D face to a canonical image plane, while preserving the vertex-to-vertex geodesic distance metric in a least-square sense. This maintains the adjacency relationship of each vertex and holds the effective convolutional structure for the 3D facial surface. Taking a neutral 3D mesh and a speech signal as inputs, the 3D-TalkEmo is able to generate vivid facial animations. Moreover, it provides access to change the emotion state of the animated speaker. We present extensive quantitative and qualitative evaluation of our method, in addition to user studies, demonstrating the generated talking-heads of significantly higher quality compared to previous state-of-the-art methods.


title: Strictly Hyperbolic Cauchy Problems on $\mathbb{R}^n$ with Unbounded and Singular Coefficients

abstract: We investigate the behavior of the solutions of a class of certain strictly hyperbolic equations defined on $(0,T]\times \mathbb{R}^n$ in relation to a class of metrics on the phase space. In particular, we study the global regularity and decay issues of the solution to an equation with coefficients polynomially bound in $x$ with their $x$-derivatives and $t$-derivative of order ${O}(t^{-\delta}),\delta \in [0,1),$ and ${O}(t^{-1})$ respectively. This type of singular behavior allows coefficients to be either oscillatory or logarithmically bounded at $t=0$. We use the Planck function associated with the metric to subdivide the extended phase space and define an appropriate generalized parameter dependent symbol class. We report that the solution not only experiences a finite loss of derivatives but also a decay in relation to the initial datum defined in a Sobolev space tailored to the metric. Our analysis suggests that an infinite loss is quite expected when the order of singularity of the first time derivative of the leading coefficients exceeds $O(t^{-1})$. We confirm this by providing counterexamples. Further, using the $L^1$ integrability of the logarithmic singularity in $t$ and the global properties of the operator with respect to $x$, we derive the anisotropic cone conditions in our setting.


title: Deep Probabilistic Graphical Modeling

abstract: Probabilistic graphical modeling (PGM) provides a framework for formulating an interpretable generative process of data and expressing uncertainty about unknowns, but it lacks flexibility. Deep learning (DL) is an alternative framework for learning from data that has achieved great empirical success in recent years. DL offers great flexibility, but it lacks the interpretability and calibration of PGM. This thesis develops deep probabilistic graphical modeling (DPGM.) DPGM consists in leveraging DL to make PGM more flexible. DPGM brings about new methods for learning from data that exhibit the advantages of both PGM and DL. We use DL within PGM to build flexible models endowed with an interpretable latent structure. One model class we develop extends exponential family PCA using neural networks to improve predictive performance while enforcing the interpretability of the latent factors. Another model class we introduce enables accounting for long-term dependencies when modeling sequential data, which is a challenge when using purely DL or PGM approaches. Finally, DPGM successfully solves several outstanding problems of probabilistic topic models, a widely used family of models in PGM. DPGM also brings about new algorithms for learning with complex data. We develop reweighted expectation maximization, an algorithm that unifies several existing maximum likelihood-based algorithms for learning models parameterized by neural networks. This unifying view is made possible using expectation maximization, a canonical inference algorithm in PGM. We also develop entropy-regularized adversarial learning, a learning paradigm that deviates from the traditional maximum likelihood approach used in PGM. From the DL perspective, entropy-regularized adversarial learning provides a solution to the long-standing mode collapse problem of generative adversarial networks, a widely used DL approach.


title: Topological quantum phase transition in the magnetic semimetal HoSb

abstract: Magnetic topological semimetals, a novel state of quantum matter with nontrivial band topology, have emerged as a new frontier in physics and materials science. An external stimulus like temperature or magnetic field could be expected to alter their spin states and thus the Fermi surface anisotropies and topological features. Here, we perform the angular magnetoresistance measurements and electronic band structure calculations to reveal the evolution of HoSb's Fermi surface anisotropies and topological nature in different magnetic states. The angular magnetoresistance results manifest that its Fermi surface anisotropy is robust in the paramagnetic state but is significantly modulated in the antiferromagnetic and ferromagnetic states. More interestingly, a transition from the trivial (nontrivial) to nontrivial (trivial) topological electronic phase is observed when HoSb undergoes a magnetic transition from the paramagnetic (antiferromagnetic) to antiferromagnetic (ferromagnetic) state induced by temperature (applied magnetic field). Our studying suggests that HoSb provides an archetype platform to study the correlations between magnetism and topological states of matter.


title: Machine Learning Approaches for Binary Classification to Discover Liver Diseases using Clinical Data

abstract: For a medical diagnosis, health professionals use different kinds of pathological ways to make a decision for medical reports in terms of patients medical condition. In the modern era, because of the advantage of computers and technologies, one can collect data and visualize many hidden outcomes from them. Statistical machine learning algorithms based on specific problems can assist one to make decisions. Machine learning data driven algorithms can be used to validate existing methods and help researchers to suggest potential new decisions. In this paper, multiple imputation by chained equations was applied to deal with missing data, and Principal Component Analysis to reduce the dimensionality. To reveal significant findings, data visualizations were implemented. We presented and compared many binary classifier machine learning algorithms (Artificial Neural Network, Random Forest, Support Vector Machine) which were used to classify blood donors and non-blood donors with hepatitis, fibrosis and cirrhosis diseases. From the data published in UCI-MLR [1], all mentioned techniques were applied to find one better method to classify blood donors and non-blood donors (hepatitis, fibrosis, and cirrhosis) that can help health professionals in a laboratory to make better decisions. Our proposed ML-method showed better accuracy score (e.g. 98.23% for SVM). Thus, it improved the quality of classification.


title: Swimmer Stroke Rate Estimation From Overhead Race Video

abstract: In this work, we propose a swimming analytics system for automatically determining swimmer stroke rates from overhead race video (ORV). General ORV is defined as any footage of swimmers in competition, taken for the purposes of viewing or analysis. Examples of this are footage from live streams, broadcasts, or specialized camera equipment, with or without camera motion. These are the most typical forms of swimming competition footage. We detail how to create a system that will automatically collect swimmer stroke rates in any competition, given the video of the competition of interest. With this information, better systems can be created and additions to our analytics system can be proposed to automatically extract other swimming metrics of interest.


title: A Subquadratic-Time Distributed Algorithm for Exact Maximum Matching

abstract: For a graph G=(V,E), finding a set of disjoint edges that do not share any vertices is called a matching problem, and finding the maximum matching is a fundamental problem in the theory of distributed graph algorithms. Although local algorithms for the approximate maximum matching problem have been widely studied, exact algorithms has not been much studied. In fact, no exact maximum matching algorithm that is faster than the trivial upper bound of O(n^2) rounds is known for the general instance. In this paper, we propose a randomized O(s_{max}^{3/2}+log n)-round algorithm in the CONGEST model, where s_{\max} is the size of maximum matching. This is the first exact maximum matching algorithm in o(n^2) rounds for general instances in the CONGEST model. The key technical ingredient of our result is a distributed algorithms of finding an augmenting path in O(s_{\max}) rounds, which is based on a novel technique of constructing a sparse certificate of augmenting paths, which is a subgraph of the input graph preserving at least one augmenting path. To establish a highly parallel construction of sparse certificates, we also propose a new characterization of sparse certificates, which might also be of independent interest.


title: Hilbert transforms along variable planar curves: Lipschitz regularity

abstract: In this paper, for $1<p<\infty$, we obtain the $L^p$-boundedness of the Hilbert transform $H^{\gamma}$ along a variable plane curve $(t,u(x_1, x_2)\gamma(t))$, where $u$ is a Lipschitz function with small Lipschitz norm, and $\gamma$ is a general curve satisfying some suitable smoothness and curvature conditions.


title: Secure and practical multiparty quantum digital signatures

abstract: Quantum digital signatures (QDSs) promise information-theoretic security against repudiation and forgery of messages. Compared with currently existing three-party QDS protocols, multiparty protocols have unique advantages in the practical case of more than two receivers when sending a mass message. However, complex security analysis, numerous quantum channels and low data utilization efficiency make it intractable to expand three-party to multiparty scenario. Here, based on six-state non-orthogonal encoding protocol, we propose an effective multiparty QDS framework to overcome these difficulties. The number of quantum channels in our protocol only linearly depends on the number of users. The post-matching method is introduced to enhance data utilization efficiency and make it linearly scale with the probability of detection events even for five-party scenario. Our work compensates for the absence of practical multiparty protocols, which paves the way for future QDS networks.


title: Contraction of a quasi-Bayesian model with shrinkage priors in precision matrix estimation

abstract: Currently several Bayesian approaches are available to estimate large sparse precision matrices, including Bayesian graphical Lasso (Wang, 2012), Bayesian structure learning (Banerjee and Ghosal, 2015), and graphical horseshoe (Li et al., 2019). Although these methods have exhibited nice empirical performances, in general they are computationally expensive. Moreover, we have limited knowledge about the theoretical properties, e.g., posterior contraction rate, of graphical Bayesian Lasso and graphical horseshoe. In this paper, we propose a new method that integrates some commonly used continuous shrinkage priors into a quasi-Bayesian framework featured by a pseudo-likelihood. Under mild conditions, we establish an optimal posterior contraction rate for the proposed method. Compared to existing approaches, our method has two main advantages. First, our method is computationally more efficient while achieving similar error rate; second, our framework is more amenable to theoretical analysis. Extensive simulation experiments and the analysis on a real data set are supportive of our theoretical results.


title: Star formation around three co-moving HAeBe stars in the Cepheus Flare

abstract: The presence of three more Herbig Ae/Be (HAeBe) stars in the Cepheus Flare within a 1.5$^{\circ}$ radius centered on HD 200775 suggests that star formation is prevalent in a wider region of the LDN 1147/1158, LDN 1172/1174, and LDN 1177 clouds. A number of young stellar objects (YSOs) are also found to be located toward these clouds. Various star formation studies indicate ongoing low-mass star formation inside this region. Sources associated with less near-infrared (IR) excess and less H-alpha emission raise the possibility that more low-mass YSOs, which were not identified in previous studies, are present in this region. The aim is to conduct a search for additional young sources that are kinematically associated with the known YSOs and to characterize their properties. Based on the Gaia DR2 distances and proper motions, we found that BD+68 1118, HD 200775, and PV Cep are spatially and kinematically associated with known YSOs. Using the Gaia DR2 data, we identified 39 co-moving sources around BD+68 1118. These sources are characterized using optical and near-IR color-color and color-magnitude diagrams. We estimated a distance of 340+/-7 pc to the whole association that contains BD+68 1118, HD 200775, and PV Cep. Based on the distance and proper motions of all the known YSOs, a total of 74 additional co-moving sources are found, of which 39 form a loose association surrounding BD+68 1118. These sources are predominantly M-type with ages of $\sim$10 Myr and no or very little near-IR excess emission. The positive expansion coefficients obtained via the projected internal motions of the sources surrounding BD+68 1118 and HD 200775 show that these sources are expanding with respect to their HAeBe stars. A spatio-temporal gradient of these sources toward the center of the Cepheus Flare Shell supports the concept of star formation triggered by external impacts.


title: Labeling Multipath via Reconfigurable Intelligent Surface

abstract: Reconfigurable intelligent surface (RIS) has shown promise in providing apparent benefits in wireless communication and positioning. Most of the existing research focuses on the ability of RIS to adjust the direction of propagation. In this paper, we present another application based on RIS, named multipath labeling, which intends to inject a label on propagation paths through the RISs. Each labeled path contains spatial knowledge between the RIS and the receiver, thus opening the door for sensing the surrounding world by RISs. The critical challenge is how the labeled paths can be extracted and distinguish from other paths, especially with multipath effects. To address this challenge, we present a complete labeling procedure consisting of channel flipping, parameter extraction, and RIS association. Simulations under a practice ray-tracing model reveal the feasibility of the proposed labeling technique even under the sub 6GHz channels with severe multipath effect. We also apply the multipath labeling technique to localization, which assists user equipment in obtaining its precise location through only a single base station.


title: Diagonal reflection symmetries, four-zero texture, and trimaximal mixing with predicted $\theta_{13}$ in an $A_{4}$ symmeric model

abstract: In this paper, we impose a magic symmetry on the neutrino mass matrix $m_{\nu}$ with universal four-zero texture and diagonal reflection symmetries. Due to the magic symmetry, the MNS matrix has trimaximal mixing inevitably. Since the lepton sector has only six free parameters, physical observables of leptons are all determined from the charged leptons masses $m_{ei}$, the neutrino mass differences $\Delta m_{i1}^{2}$, and the mixing angle $\theta_{23}$. This scheme predicts $\sin \theta_{13} = 0.149$, that is almost equal to the latest best fit, as a function of the lepton masses $m_{e, \mu}$ and the mass differences $\Delta m_{i1}^{2}$. Moreover, even if the mass matrix has perturbations that break the magic symmetry, the prediction of $\sin \theta_{13}$ is retained with good accuracy for the four-zero texture with diagonal reflection symmetries.


title: RULF: Rust Library Fuzzing via API Dependency Graph Traversal

abstract: Robustness is a key concern for Rust library development because Rust promises no risks of undefined behaviors if developers use safe APIs only. Fuzzing is a practical approach for examining the robustness of programs. However, existing fuzzing tools are not directly applicable to library APIs due to the absence of fuzz targets. It mainly relies on human efforts to design fuzz targets case by case which is labor-intensive. To address this problem, this paper proposes a novel automated fuzz target generation approach for fuzzing Rust libraries via API dependency graph traversal. We identify several essential requirements for library fuzzing, including validity and effectiveness of fuzz targets, high API coverage, and efficiency. To meet these requirements, we first employ breadth-first search with pruning to find API sequences under a length threshold, then we backward search longer sequences for uncovered APIs, and finally we optimize the sequence set as a set covering problem. We implement our fuzz target generator and conduct fuzzing experiments with AFL++ on several real-world popular Rust projects. Our tool finally generates 7 to 118 fuzz targets for each library with API coverage up to 0.92. We exercise each target with a threshold of 24 hours and find 30 previously-unknown bugs from seven libraries.


title: Ergodic and strong Feller properties of affine processes

abstract: For general (1+1)-affine Markov processes, we prove the ergodicity and exponential ergodicity in total variation distances. Our methods follow the arguments of ergodic properties for L\'{e}vy-driven OU-processes and a coupling of CBI-processes constructed by stochastic equations driven by time-space noises. Then the strong Feller property is considered.


title: Pathwise-random trees and models of second-order arithmetic

abstract: A tree is pathwise-random if all of its paths are Martin-Lof random. We show that (a) no weakly 2-random real computes a perfect pathwise-random tree; it follows that the class of perfect pathwise-random trees is null, with respect to any computable measure; (b) there exists a positive-measure pathwise-random tree which does not compute any complete extension of Peano arithmetic; and (c) there exists a perfect pathwise-random tree which does not compute any tree of positive measure and finite randomness deficiency. We then obtain models of second-order arithmetic that separate compactness principles below weak Konigs lemma, answering questions by Chong et al.(2019).


title: Study of Dependence of Kinetic Freezeout Temperature on the Production Cross Section of Particles in Various Centrality Intervals in Au Au and Pb Pb Collisions at High Energies

abstract: Transverse momentum spectra of pion, proton, lambda, cascade, Omega and deuteron (d) in different centrality intervals in nucleus nucleus collisions at the center of mass energy are analyzed by the blast wave model with Boltzmann Gibbs statistics. We extracted the kinetic freezeout temperature, transverse flow velocity and kinetic freezeout volume from the transverse momentum spectra of the particles. It is observed that the non-strange and strange (multi strange) particles freezeout separately due to different reaction cross-sections. While the freezeout volume and transverse flow velocity are mass dependent, they decrease with the resting mass of the particles. The present work reveals the scenario of a double kinetic freezeout in nucleus nucleus collisions. Furthermore, the kinetic freezeout temperature and freezeout volume are larger in central collisions than peripheral collisions. However, the transverse flow velocity remains almost unchanged from central to peripheral collisions.


title: Unusual normal and superconducting state properties observed in hydrothermal Fe1-xSe flakes

abstract: The electronic and superconducting properties of Fe1-xSe single-crystal flakes grown hydrothermally are studied by the transport measurements under zero and high magnetic fields up to 38.5 T. The results contrast sharply with those previously reported for nematically ordered FeSe by chemical-vapor-transport (CVT) growth. No signature of the electronic nematicity, but an evident metal-to-nonmetal crossover with increasing temperature, is detected in the normal state of the present hydrothermal samples. Interestingly, a higher superconducting critical temperature Tc of 13.2 K is observed compared to a suppressed Tc of 9 K in the presence of the nematicity in the CVT FeSe. Moreover, the upper critical field in the zero-temperature limit is found to be isotropic with respect to the field direction and to reach a higher value of ~42 T, which breaks the Pauli limit by a factor of 1.8.


title: Making Generated Images Hard To Spot: A Transferable Attack On Synthetic Image Detectors

abstract: Visually realistic GAN-generated images have recently emerged as an important misinformation threat. Research has shown that these synthetic images contain forensic traces that are readily identifiable by forensic detectors. Unfortunately, these detectors are built upon neural networks, which are vulnerable to recently developed adversarial attacks. In this paper, we propose a new anti-forensic attack capable of fooling GAN-generated image detectors. Our attack uses an adversarially trained generator to synthesize traces that these detectors associate with real images. Furthermore, we propose a technique to train our attack so that it can achieve transferability, i.e. it can fool unknown CNNs that it was not explicitly trained against. We evaluate our attack through an extensive set of experiments, where we show that our attack can fool eight state-of-the-art detection CNNs with synthetic images created using seven different GANs, and outperform other alternative attacks.


title: Tracking the evolution of lithium in giants using asteroseismology: Super-Li-rich stars are almost exclusively young red-clump stars

abstract: We report novel observational evidence on the evolutionary status of lithium-rich giant stars by combining asteroseismic and lithium abundance data. Comparing observations and models of the asteroseismic gravity-mode period spacing $\Delta\Pi_{1}$, we find that super-Li-rich giants (SLR, A(Li)~$> 3.2$~dex) are almost exclusively young red-clump (RC) stars. Depending on the exact phase of evolution, which requires more data to refine, SLR stars are either (i) less than $\sim 2$~Myr or (ii) less than $\sim40$~Myr past the main core helium flash (CHeF). Our observations set a strong upper limit for the time of the inferred Li-enrichment phase of $< 40$~Myr post-CHeF, lending support to the idea that lithium is produced around the time of the CHeF. In contrast, the more evolved RC stars ($> 40$~Myr post-CHeF) generally have low lithium abundances (A(Li)~$<1.0$~dex). Between the young, super-Li-rich phase, and the mostly old, Li-poor RC phase, there is an average reduction of lithium by about 3 orders of magnitude. This Li-destruction may occur rapidly. We find the situation to be less clear with stars having Li abundances between the two extremes of super-Li-rich and Li-poor. This group, the `Li-rich' stars ($3.2 >$~A(Li)~$> 1.0$~dex), shows a wide range of evolutionary states.


title: Bound orbits around charged black holes with exponential and logarithmic electrodynamics

abstract: We present exact black hole solutions endowed with magnetic charge coming from exponential and logarithmic nonlinear electrodynamics (NLED). Classically, we analyze the null and timelike geodesics, all of which contain both the bound and the scattering orbits. Using the effective geometry formalism, we found that photon can have nontrivial stable (both circular and non-circular) bound orbits. The noncircular bound orbits for the one-horizon case mostly take the form of precessed ellipse. For the extremal and three-horizon cases we find many-world orbits where photon crosses the outer horizon but bounces back without hitting the true (or second, respectively) horizon, producing the epicycloid and epitrochoid paths. Semiclassically, we investigate their Hawking temperature, stability, and phase transition. The nonlinearity enables black hole stability with smaller radius than its RN counterpart. However, for very-strong nonlinear regime, the thermodynamic behavior tends to be Schwarzschild-like.


title: Time Symmetries of Memory Determine Thermodynamic Efficiency

abstract: While Landauer's Principle sets a lower bound for the work required for a computation, that work is recoverable for efficient computations. However, practical physical computers, such as modern digital computers or biochemical systems, are subject to constraints that make them inefficient -- irreversibly dissipating significant energy. Recent results show that the dissipation in such systems is bounded by the nonreciprocity of the embedded computation. We investigate the consequences of this bound for different types of memory, showing that different memory devices are better suited for different computations. This correspondence comes from the time-reversal symmetries of the memory, which depend on whether information is stored positionally or magnetically. This establishes that the time symmetries of the memory device play an essential roll in determining energetics. The energetic consequences of time symmetries are particularly pronounced in nearly deterministic computations, where the cost of computing diverges as minus log of the error rate. We identify the coefficient of that divergence as the dissipation divergence. We find that the dissipation divergence may be zero for a computation when implemented in one type of memory while it's maximal when implemented with another. Given flexibility in the type of memory, the dissipation divergence is bounded below by the average state compression of the computation. Moreover, we show how to explicitly construct the memory to achieve this minimal dissipation. As a result, we find that logically reversible computations are indeed thermodynamically efficient, but logical irreversibility comes at a much higher cost than previously anticipated.


title: Double and triple poles solutions for the Gerdjikov-Ivanov type of derivative nonlinear Schr\"{o}dinger equation with zero/nonzero boundary conditions

abstract: In this work, the double and triple poles soliton solutions for the Gerdjikov-Ivanov(GI) type of derivative nonlinear Schr\"{o}dinger equation with zero boundary conditions(ZBCs) and nonzero boundary conditions(NZBCs) are studied via Riemann-Hilbert (RH) method. Though spectral problem analysis, we first give out the Jost function and scattering matrix under ZBCs and NZBCs. Then according to the analyticity, symmetry and asymptotic behavior of Jost function and scattering matrix, the Riemann-Hilbert problem(RHP) with ZBCs and NZBCs are constructed. Further, the obtained RHP with ZBCs and NZBCs can be solved in the case that reflection coefficients have double or triple poles. Finally, we derive the general precise formulae of N-double and N-triple poles solutions corresponding to ZBCs and NZBCs, respectively. The dynamical behaviors for these solutions are further discussed by image simulation.


title: Dimensional transmutation and nonconventional scaling behaviour in a model of self-organized criticality

abstract: The paper addresses two unusual scaling regimes (types of critical behaviour) predicted by the field-theoretic renormalization group analysis for a self-organized critical system with turbulent motion of the environment. The system is modelled by the anisotropic stochastic equation for a "running sandpile" introduced by Hwa and Kardar in [{\it Phys. Rev. Lett.} {\bf 62}: 1813 (1989)]. The turbulent motion is described by the isotropic Kazantsev-Kraichnan "rapid-change" velocity ensemble for an incompressible fluid. The original Hwa-Kardar equation allows for independent scaling of the spatial coordinates $x_{\parallel}$ (the coordinate along the preferred dimension) and ${\bf x_{\bot}}$ (the coordinates in the orthogonal subspace to the preferred direction) that becomes impossible once the isotropic velocity ensemble is coupled to the equation. However, it is found that one of the regimes of the system's critical behaviour (the one where the isotropic turbulent motion is irrelevant) recovers the anisotropic scaling through "dimensional transmutation." The latter manifests as a dimensionless ratio acquiring nontrivial canonical dimension. The critical regime where both the velocity ensemble and the nonlinearity of the Hwa-Kardar equation are relevant simultaneously is also characterized by "atypical" scaling. While the ordinary scaling with fixed infra-red irrelevant parameters is impossible in this regime, the "restricted" scaling where the times, the coordinates, and the dimensionless ratio are scaled becomes possible. This result brings to mind scaling hypotheses modifications (Stell's weak scaling or Fisher's generalized scaling) for systems with significantly different characteristic scales.


title: Homogeneous Analysis of Globular Clusters from the APOGEE Survey with the BACCHUS Code $-$ III. $\omega$ Cen

abstract: We study the multiple populations of $\omega$ Cen by using the abundances of Fe, C, N, O, Mg, Al, Si, K, Ca, and Ce from the high-resolution, high signal-to-noise (S/N$>$70) spectra of 982 red giant stars observed by the SDSS-IV/APOGEE-2 survey. We find that the shape of the Al-Mg and N-C anticorrelations changes as a function of metallicity, continuous for the metal-poor groups, but bimodal (or unimodal) at high metallicities. There are four Fe populations, similar to what has been found in previously published investigations, but we find seven populations based on Fe, Al, and Mg abundances. The evolution of Al in $\omega$ Cen is compared to its evolution in the Milky Way and in five representative globular clusters. We find that the distribution of Al in metal-rich stars of $\omega$ Cen closely follows what is observed in the Galaxy. Other $\alpha-$elements and C, N, O, and Ce are also compared to the Milky Way, and significantly elevated abundances are observed over what is found in the thick disk for almost all elements. However, we also find some stars with high metallicity and low [Al/Fe], suggesting that $\omega$ Cen could be the remnant core of a dwarf galaxy, but the existence of these peculiar stars needs an independent confirmation. We also confirm the increase in the sum of CNO as a function of metallicity previously reported in the literature and find that the [C/N] ratio appears to show opposite correlations between Al-poor and Al-rich stars as a function of metallicity.


title: Parallel Scale-wise Attention Network for Effective Scene Text Recognition

abstract: The paper proposes a new text recognition network for scene-text images. Many state-of-the-art methods employ the attention mechanism either in the text encoder or decoder for the text alignment. Although the encoder-based attention yields promising results, these schemes inherit noticeable limitations. They perform the feature extraction (FE) and visual attention (VA) sequentially, which bounds the attention mechanism to rely only on the FE final single-scale output. Moreover, the utilization of the attention process is limited by only applying it directly to the single scale feature-maps. To address these issues, we propose a new multi-scale and encoder-based attention network for text recognition that performs the multi-scale FE and VA in parallel. The multi-scale channels also undergo regular fusion with each other to develop the coordinated knowledge together. Quantitative evaluation and robustness analysis on the standard benchmarks demonstrate that the proposed network outperforms the state-of-the-art in most cases.


title: Hybrid Satellite-UAV-Terrestrial Networks for 6G Ubiquitous Coverage: A Maritime Communications Perspective

abstract: In the coming smart ocean era, reliable and efficient communications are crucial for promoting a variety of maritime activities. Current maritime communication networks (MCNs) mainly rely on marine satellites and on-shore base stations (BSs). The former generally provides limited transmission rate, while the latter lacks wide-area coverage capability. Due to these facts, the state-of-the-art MCN falls far behind terrestrial fifth-generation (5G) networks. To fill up the gap in the coming sixth-generation (6G) era, we explore the benefit of deployable BSs for maritime coverage enhancement. Both unmanned aerial vehicles (UAVs) and mobile vessels are used to configure deployable BSs. This leads to a hierarchical satellite-UAV-terrestrial network on the ocean. We address the joint link scheduling and rate adaptation problem for this hybrid network, to minimize the total energy consumption with quality of service (QoS) guarantees. Different from previous studies, we use only the large-scale channel state information (CSI), which is location-dependent and thus can be predicted through the position information of each UAV/vessel based on its specific trajectory/shipping lane. The problem is shown to be an NP-hard mixed integer nonlinear programming problem with a group of hidden non-linear equality constraints. We solve it suboptimally by using Min-Max transformation and iterative problem relaxation, leading to a process-oriented joint link scheduling and rate adaptation scheme. As observed by simulations, the scheme can provide agile on-demand coverage for all users with much reduced system overhead and a polynomial computation complexity. Moreover, it can achieve a prominent performance close to the optimal solution.


title: TOI-1431b/MASCARA-5b: A Highly Irradiated Ultra-Hot Jupiter Orbiting One of the Hottest & Brightest Known Exoplanet Host Stars

abstract: We present the discovery of a highly irradiated and moderately inflated ultra-hot Jupiter, TOI-1431b/MASCARA-5b (HD 201033b), first detected by NASA's Transiting Exoplanet Survey Satellite mission (TESS) and the Multi-site All-Sky CAmeRA (MASCARA). The signal was established to be of planetary origin through radial velocity measurements obtained using SONG, SOPHIE, FIES, NRES, and EXPRES, which show a reflex motion of $K=294.1\pm1.1$ m s$^{-1}$. A joint analysis of the TESS and ground-based photometry and radial velocity measurements reveals that TOI-1431b has a mass of $M_{p}=3.12\pm0.18$ $\rm{M_J}$ ($990\pm60$ M$_{\oplus}$), an inflated radius of $R_{p}=1.49\pm0.05$ $\rm{R_J}$ ($16.7\pm0.6$ R$_{\oplus}$), and an orbital period of $P=2.650237\pm0.000003$ d. Analysis of the spectral energy distribution of the host star reveals that the planet orbits a bright ($\mathrm{V}=8.049$ mag) and young ($0.29^{+0.32}_{-0.19}$ Gyr) Am type star with $T_{\rm eff}=7690^{+400}_{-250}$ $\rm{K}$, resulting in a highly irradiated planet with an incident flux of $\langle F \rangle=7.24^{+0.68}_{-0.64}\times$10$^9$ erg s$^{-1}$ cm$^{-2}$ ($5300^{+500}_{-470}\mathrm{S_{\oplus}}$) and an equilibrium temperature of $T_{eq}=2370\pm70$ K. TESS photometry also reveals a secondary eclipse with a depth of $127^{+4}_{-5}$ppm as well as the full phase curve of the planet's thermal emission in the red-optical. This has allowed us to measure the dayside and nightside temperature of its atmosphere as $T_\mathrm{day}=3004\pm64$ K and $T_\mathrm{night}=2583\pm63$ K, the second hottest measured nightside temperature. The planet's low day/night temperature contrast ($\sim$420 K) suggests very efficient heat transport between the dayside and nightside hemispheres.


title: Quartic multifractality and finite-size corrections at the spin quantum Hall transition

abstract: The spin quantum Hall (or class C) transition represents one of the few localization-delocalization transitions for which some of the critical exponents are known exactly. Not known, however, is the multifractal spectrum, $\tau_q$, which describes the system-size scaling of inverse participation ratios $P_q$, i.e., the $q$-moments of critical wavefunction amplitudes. We here report simulations based on the class C Chalker-Coddington network and demonstrate that $\tau_q$ is (essentially) a quartic polynomial in $q$. Analytical results fix all prefactors except the quartic curvature that we obtain as $\gamma=(2.22\pm{0.15})\cdot10^{-3}$. In order to achieve the necessary accuracy in the presence of sizable corrections to scaling, we have analyzed the evolution with system size of the entire $P_q$-distribution function. As it turns out, in a sizable window of $q$-values this distribution function exhibits a (single-parameter) scaling collapse already in the pre-asymptotic regime, where finite-size corrections are not negligible. This observation motivates us to propose a novel approach for extracting $\tau_q$ based on concepts borrowed from the Kolmogorov-Smirnov test of mathematical statistics. We believe that our work provides the conceptual means for high-precision investigations of multifractal spectra also near other localization-delocalization transitions of current interest, especially the integer (class A) quantum Hall effect.


title: AdsGNN: Behavior-Graph Augmented Relevance Modeling in Sponsored Search

abstract: Sponsored search ads appear next to search results when people look for products and services on search engines. In recent years, they have become one of the most lucrative channels for marketing. As the fundamental basis of search ads, relevance modeling has attracted increasing attention due to the significant research challenges and tremendous practical value. Most existing approaches solely rely on the semantic information in the input query-ad pair, while the pure semantic information in the short ads data is not sufficient to fully identify user's search intents. Our motivation lies in incorporating the tremendous amount of unsupervised user behavior data from the historical search logs as the complementary graph to facilitate relevance modeling. In this paper, we extensively investigate how to naturally fuse the semantic textual information with the user behavior graph, and further propose three novel AdsGNN models to aggregate topological neighborhood from the perspectives of nodes, edges and tokens. Furthermore, two critical but rarely investigated problems, domain-specific pre-training and long-tail ads matching, are studied thoroughly. Empirically, we evaluate the AdsGNN models over the large industry dataset, and the experimental results of online/offline tests consistently demonstrate the superiority of our proposal.