title: Pose Guided Image Generation from Misaligned Sources via Residual Flow Based Correction

abstract: Generating new images with desired properties (e.g. new view/poses) from source images has been enthusiastically pursued recently, due to its wide range of potential applications. One way to ensure high-quality generation is to use multiple sources with complementary information such as different views of the same object. However, as source images are often misaligned due to the large disparities among the camera settings, strong assumptions have been made in the past with respect to the camera(s) or/and the object in interest, limiting the application of such techniques. Therefore, we propose a new general approach which models multiple types of variations among sources, such as view angles, poses, facial expressions, in a unified framework, so that it can be employed on datasets of vastly different nature. We verify our approach on a variety of data including humans bodies, faces, city scenes and 3D objects. Both the qualitative and quantitative results demonstrate the better performance of our method than the state of the art.


title: Diagram automorphisms and canonical bases for quantum affine algebras, II

abstract: Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $\sigma$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained from $\sigma$, and $\widetilde{\mathbf B}$ (resp. $\widetilde{\underline{\mathbf B}}$) the canonical signed basis of ${\mathbf U}_q^-$ (resp. $\underline{\mathbf U}_q^-$). Assume that ${\mathbf U}_q^-$ is simply-laced of finite or affine type. In our previous papers [SZ1, 2], we have proved by an elementary method, that there exists a natural bijection $\widetilde{\mathbf B}^{\sigma} \simeq \widetilde{\underline{\mathbf B}}$ in the case where $\sigma$ is admissible. In this paper, we show that such a bijection exists even if $\sigma$ is not admissible, possibly except some small rank cases.


title: Random Processes with High Variance Produce Scale Free Networks

abstract: Real-world networks tend to be scale free, having heavy-tailed degree distributions with more hubs than predicted by classical random graph generation methods. Preferential attachment and growth are the most commonly accepted mechanisms leading to these networks and are incorporated in the Barab\'asi-Albert (BA) model. We provide an alternative model using a randomly stopped linking process inspired by a generalized Central Limit Theorem (CLT) for geometric distributions with widely varying parameters. The common characteristic of both the BA model and our randomly stopped linking model is the mixture of widely varying geometric distributions, suggesting the critical characteristic of scale free networks is high variance, not growth or preferential attachment. The limitation of classical random graph models is low variance in parameters, while scale free networks are the natural, expected result of real-world variance.


title: Adaptive Experimentation with Delayed Binary Feedback

abstract: Conducting experiments with objectives that take significant delays to materialize (e.g. conversions, add-to-cart events, etc.) is challenging. Although the classical "split sample testing" is still valid for the delayed feedback, the experiment will take longer to complete, which also means spending more resources on worse-performing strategies due to their fixed allocation schedules. Alternatively, adaptive approaches such as "multi-armed bandits" are able to effectively reduce the cost of experimentation. But these methods generally cannot handle delayed objectives directly out of the box. This paper presents an adaptive experimentation solution tailored for delayed binary feedback objectives by estimating the real underlying objectives before they materialize and dynamically allocating variants based on the estimates. Experiments show that the proposed method is more efficient for delayed feedback compared to various other approaches and is robust in different settings. In addition, we describe an experimentation product powered by this algorithm. This product is currently deployed in the online experimentation platform of JD.com, a large e-commerce company and a publisher of digital ads.


title: Review of the Advanced LIGO gravitational wave observatories leading to observing run four

abstract: Gravitational waves from binary black hole and neutron star mergers are being regularly detected. As of 2021, ninety confident gravitational wave detections have been made by the LIGO and Virgo detectors. Work is ongoing to further increase the sensitivity of the detectors for the fourth observing run, including installing some of the A+ upgrades designed to lower the fundamental noise that limits the sensitivity to gravitational waves. In this review, we will overview how the LIGO detectors work, including their optical configuration and lock acquisition procedure, discuss the detectors' fundamental and technical noise limits and compare to the current measured sensitivity, and review the A+ upgrades currently being installed in the detectors.


title: Some Reflections on Drawing Causal Inference using Textual Data: Parallels Between Human Subjects and Organized Texts

abstract: We examine the role of textual data as study units when conducting causal inference by drawing parallels between human subjects and organized texts. %in human population research. We elaborate on key causal concepts and principles, and expose some ambiguity and sometimes fallacies. To facilitate better framing a causal query, we discuss two strategies: (i) shifting from immutable traits to perceptions of them, and (ii) shifting from some abstract concept/property to its constituent parts, i.e., adopting a constructivist perspective of an abstract concept. We hope this article would raise the awareness of the importance of articulating and clarifying fundamental concepts before delving into developing methodologies when drawing causal inference using textual data.


title: Evidence of globular cluster abundance anomalies in the SMC intermediate-age cluster Kron 3

abstract: Using spectra obtained with the VLT/FORS2 and Gemini-S/GMOS instruments we have investigated carbon, nitrogen and sodium abundances in a sample of red giants in the Small Magellanic Cloud cluster Kron 3. The metallicity and luminosity of this cluster are comparable to those of Galactic globular clusters although with a notably younger age of $\sim$ 6.5 Gyr. Specifically we have investigated the strengths of the CH ($\lambda$ 4300 A) and CN ($\lambda$ 3800, $\lambda$ 4215) molecular bands finding a bimodality of CN band-strengths and a CH/CN anti-correlation. Application of spectrum synthesis techniques reveals a large spread ($\sim$1.2 dex) in nitrogen abundance and a spread in [C/Fe] of $\sim$0.3 dex after applying corrections for evolutionary mixing. We have also estimated sodium abundances from the strengths of the Na D lines finding a range of $\sim$0.8 dex in [Na/Fe] that correlates positively with the N abundances. This is the first star-by-star spectroscopic demonstration of correlated Na, N abundance variations in an intermediate-age star cluster, adding to existing photometric and spectroscopic indications of the presence of multiple populations in such clusters with masses in excess of $\sim 10^5$ solar masses. Our results confirm that the mechanism(s) responsible for the multiple populations observed in globular clusters cannot be an early cosmological effect applying only in old clusters, and provide a key additional factor in the quest to understand the origin of the abundance anomalies.


title: Active Audio-Visual Separation of Dynamic Sound Sources

abstract: We explore active audio-visual separation for dynamic sound sources, where an embodied agent moves intelligently in a 3D environment to continuously isolate the time-varying audio stream being emitted by an object of interest. The agent hears a mixed stream of multiple audio sources (e.g., multiple people conversing and a band playing music at a noisy party). Given a limited time budget, it needs to extract the target sound accurately at every step using egocentric audio-visual observations. We propose a reinforcement learning agent equipped with a novel transformer memory that learns motion policies to control its camera and microphone to recover the dynamic target audio, using self-attention to make high-quality estimates for current timesteps and also simultaneously improve its past estimates. Using highly realistic acoustic SoundSpaces simulations in real-world scanned Matterport3D environments, we show that our model is able to learn efficient behavior to carry out continuous separation of a dynamic audio target. Project: https://vision.cs.utexas.edu/projects/active-av-dynamic-separation/.


title: Hierarchies of Tarskian truth predicates

abstract: Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.


title: Stabilization of three-dimensional charge order through interplanar orbital hybridization in Pr$_x$Y$_{1-x}$Ba$_2$Cu$_3$O$_{6+\delta}$

abstract: The shape of 3$d$-orbitals often governs the electronic and magnetic properties of correlated transition metal oxides. In the superconducting cuprates, the planar confinement of the $d_{x^2-y^2}$ orbital dictates the two-dimensional nature of the unconventional superconductivity and a competing charge order. Achieving orbital-specific control of the electronic structure to allow coupling pathways across adjacent planes would enable direct assessment of the role of dimensionality in the intertwined orders. Using Cu-$L_3$ and Pr-$M_5$ resonant x-ray scattering and first-principles calculations, we report a highly correlated three-dimensional charge order in Pr-substituted YBa$_2$Cu$_3$O$_{7}$, where the Pr $f$-electrons create a direct orbital bridge between CuO$_2$ planes. With this, we demonstrate that interplanar orbital engineering can be used to surgically control electronic phases in correlated oxides and other layered materials.


title: Generalized von Mangoldt surfaces of revolution and asymmetric two-spheres of revolution with simple cut locus structure

abstract: It was known that if the Gaussian curvature function along each meridian on a surface of revolution $(R^2, dr^2+m(r)^2d\theta^2)$ is decreasing, then the cut locus of each point of $\theta^{-1}(0)$ is empty or a subarc of the opposite meridian $\theta^{-1}(\pi).$ Such a surface is called a von Mangoldt's surface of revolution. A surface of revolution $(R^2, dr^2+m(r)^2d\theta^2)$ is called a generalized von Mangoldt surface of revolution if the cut locus of each point of $\theta^{-1}(0)$ is empty or a subarc of the opposite meridian $\theta^{-1}(\pi).$ For example, the surface of revolution $(R^2, dr^2+m_0(r)^2d\theta^2),$ where $m_0(x):=x/(1+x^2),$ has the same cut locus structure as above and the cut locus of each point in $r^{-1}( (0, \infty ) )$ is nonempty. Note that the Gaussian curvature function is not decreasing along a meridian for this surface. In this article, we give sufficient conditions for a surface of revolution $(R^2, dr^2+m(r)^2d\theta^2)$ to be a generalized von Mangoldt surface of revolution. Moreover, we prove that for any surface of revolution with finite total curvature $c,$ there exists a generalized von Mangoldt surface of revolution with the same total curvature $c$ such that the Gaussian curvature function along a meridian is not monotone on $[a,\infty)$ for any $a>0.$


title: Modification Problems toward Proper (Helly) Circular-arc Graphs

abstract: We present a $9^k\cdot n^{O(1)}$-time algorithm for the proper circular-arc vertex deletion problem, resolving an open problem of van 't Hof and Villanger [Algorithmica 2013] and Crespelle et al. [arXiv:2001.06867]. Our structural study also implies parameterized algorithms for modification problems toward proper Helly circular-arc graphs.


title: Extension: Adaptive Sampling with Implicit Radiance Field

abstract: This manuscript discusses the extension of adaptive light field sampling with implicit radiance fields.


title: The Role of Linear Layers in Nonlinear Interpolating Networks

abstract: This paper explores the implicit bias of overparameterized neural networks of depth greater than two layers. Our framework considers a family of networks of varying depth that all have the same capacity but different implicitly defined representation costs. The representation cost of a function induced by a neural network architecture is the minimum sum of squared weights needed for the network to represent the function; it reflects the function space bias associated with the architecture. Our results show that adding linear layers to a ReLU network yields a representation cost that reflects a complex interplay between the alignment and sparsity of ReLU units. Specifically, using a neural network to fit training data with minimum representation cost yields an interpolating function that is constant in directions perpendicular to a low-dimensional subspace on which a parsimonious interpolant exists.


title: On the rank of quadratic equations for curves of high degree

abstract: Let $\mathcal{C} \subset \mathbb{P}^r$ be a linearly normal curve of arithmetic genus $g$ and degree $d$. In \cite{SD}, B. Saint-Donat proved that the homogeneous ideal $I(\mathcal{C})$ of $\mathcal{C}$ is generated by quadratic equations of rank at most $4$ whenever $d \geq 2g+2$. Also, in \cite{EKS} Eisenbud, Koh and Stillman proved that $I(\mathcal{C})$ admits a determinantal presentation if $d \geq 4g+2$. In this paper, we will show that $I(\mathcal{C})$ can be generated by quadratic equations of rank $3$ if either $g=0,1$ and $d \geq 2g+2$ or else $g \geq 2$ and $d \geq 4g+4$.


title: Hierarchical Shrinkage: improving the accuracy and interpretability of tree-based methods

abstract: Tree-based models such as decision trees and random forests (RF) are a cornerstone of modern machine-learning practice. To mitigate overfitting, trees are typically regularized by a variety of techniques that modify their structure (e.g. pruning). We introduce Hierarchical Shrinkage (HS), a post-hoc algorithm that does not modify the tree structure, and instead regularizes the tree by shrinking the prediction over each node towards the sample means of its ancestors. The amount of shrinkage is controlled by a single regularization parameter and the number of data points in each ancestor. Since HS is a post-hoc method, it is extremely fast, compatible with any tree growing algorithm, and can be used synergistically with other regularization techniques. Extensive experiments over a wide variety of real-world datasets show that HS substantially increases the predictive performance of decision trees, even when used in conjunction with other regularization techniques. Moreover, we find that applying HS to each tree in an RF often improves accuracy, as well as its interpretability by simplifying and stabilizing its decision boundaries and SHAP values. We further explain the success of HS in improving prediction performance by showing its equivalence to ridge regression on a (supervised) basis constructed of decision stumps associated with the internal nodes of a tree. All code and models are released in a full-fledged package available on Github (github.com/csinva/imodels)


title: The spatial distribution of globular clusters in dwarf spheroidal galaxies and the timing problem

abstract: The dynamical friction timescale of massive globular clusters (GCs) in the inner regions of cuspy dark haloes in dwarf spheroidal (dSph) galaxies can be much shorter than the Hubble time. This implies that a small fraction of the GCs is expected to be caught close to the centre of these galaxies. We compare the radial distribution of GCs predicted in simple Monte Carlo models with that of a sample of $38$ spectroscopically confirmed GCs plus 17 GC candidates, associated mainly to low-luminosity dSph galaxies. If dark matter haloes follow an NFW profile, the observed number of off-center GCs at projected distances less than one half the galaxy effective radius is significantly higher than models predict. This timing problem can be viewed as a fine-tuning of the starting GC distances. As a result of the short sinking timescale for GCs in the central regions, the radial distribution of GCs is expected to evolve significantly during the next 1-2 Gyr. However, dark matter haloes with cores of size comparable to the galaxy effective radii can lead to a slow orbital in-spiral of GCs in the central regions of these galaxies, providing a simple solution to the timing problem. We also examine any indication of mass segregation in the summed distribution of our sample of GCs.


title: Linearity of Generalized Cactus Groups

abstract: Cactus groups are traditionally defined based on symmetric groups, and pure cactus groups are particular subgroups of cactus groups. Mostovoy showed that pure cactus groups embed into right-angled Coxeter groups. We generalize this result to cactus groups associated with arbitrary finite Coxeter groups and we investigate some representations of generalized cactus groups and deduce the linearity of generalized cactus groups.


title: An Age-dependent Feedback Control Model for Calcium and Reactive Oxygen Species in Yeast Cells

abstract: Calcium and reactive oxygen species (ROS) interact with each other and play an important role in cell signaling networks. Based on the existing mathematical models, we develop an age-dependent feedback control model to simulate the interaction. The model consists of three subsystems: cytosolic calcium dynamics, ROS generation from the respiratory chain in mitochondria, and mitochondrial energy metabolism. In the model, we hypothesized that ROS induces calcium release from the yeast endoplasmic reticulum , Golgi apparatus, and vacuoles, and that ROS damages calmodulin and calcineurin by oxidizing them. The dependence of calcium uptake by Vcx1p on ATP is incorporated into the model. The model can approximately reproduce the log phase calcium dynamics. The simulated interaction between the cytosolic calcium and mitochondrial ROS shows that an increase in calcium results in a decrease in ROS initially (in log phase), but the increase-decrease relation is changed to an increase-increase relation when the cell is getting old. This could accord with the experimental observation that calcium diminishes ROS from complexes I and III of the respiratory chain under normal conditions, but enhances ROS when the complex formations are inhibited. The model predicts that the subsystem of the calcium regulators Pmc1p, Pmr1p, and Vex1p is stable, controllable, and observable. These structural properties of the dynamical system could mathematically confirm that cells have evolved delicate feedback control mechanisms to maintain their calcium homeostasis.


title: Spaces of polynomials with constrained divisors as Grassmanians for traversing flows

abstract: We study {\sf traversing} vector flows $v$ on smooth compact manifolds $X$ with boundary. For a given compact manifold $\hat X$, equipped with a traversing vector field $\hat v$ which is {\sf convex} with respect to $\partial\hat X$, we consider submersions/embeddings $\alpha: X \to \hat X$ such that $\dim X = \dim \hat X$ and $\alpha(\partial X)$ avoids a priory chosen tangency patterns $\Theta$ to the $\hat v$-trajectories. In particular, for each $\hat v$-trajectory $\hat\gamma$, we restrict the cardinality of $\hat\gamma \cap \alpha(\partial X)$ by an even number $d$. We call $(\hat X, \hat v)$ a {\sf convex pseudo-envelop/envelop} of the pair $(X, v)$. Here the vector field $v = \alpha^\dagger(\hat v)$ is the $\alpha$-transfer of $\hat v$ to $X$. For a fixed $(\hat X, \hat v)$, we introduce an equivalence relation among convex pseudo-envelops/ envelops $\alpha: (X, v) \to (\hat X, \hat v)$, which we call a {\sf quasitopy}. The notion of quasitopy is a crossover between bordisms of pseudo-envelops and their pseudo-isotopies. In the study of quasitopies $\mathcal{QT}_d(Y, \mathbf c\Theta)$, the spaces $\mathcal P_d^{\mathbf c\Theta}$ of real univariate polynomials of degree $d$ with real divisors whose combinatorial types avoid the closed poset $\Theta$ play the classical role of Grassmanians. We compute, in the homotopy-theoretical terms that involve $(\hat X, \hat v)$ and $\mathcal P_d^{\mathbf c\Theta}$, the quasitopies of convex envelops which avoid the $\Theta$-tangency patterns. We introduce characteristic classes of pseudo-envelops and show that they are invariants of their quasitopy classes. Then we prove that the quasitopies $\mathcal{QT}_d(Y, \mathbf c\Theta)$ often stabilize, as $d \to \infty$.


title: Interpretation of the $\eta_1(1855)$ as a $K\bar K_1(1400)+$ c.c. molecule

abstract: An exotic state with $J^{PC}=1^{-+}$, denoted by $\eta_1(1855)$, was observed by BESIII collaboration recently in $J/\psi \to \gamma \eta\eta'$. The fact that its mass is just below the threshold of $K\bar K_1(1400)$ stimulates us to investigate whether this exotic state can be interpreted as a $K\bar K_1(1400)+$ c.c { molecule or not}. Using the one boson exchange model, we show that it is possible for $K\bar K_1(1400)$ with $J^{PC}=1^{-+}$ to bind together by taking the momentum cutoff $\Lambda\gtrsim 2$ GeV and yield the same binding energy as the experimental value when $\Lambda\approx 2.5$ GeV. In this molecular picture, the predicted branch ratio $\mathrm{Br}(\eta_1(1855)\to\eta\eta') \approx 15\%$ is consistent with the experimental results, which again supports the molecular explanation of $\eta_1(1855)$. Relevant systems, namely $K\bar K_1(1400)$ with $J^{PC}=1^{--}$ and $K\bar K_1(1270)$ with $J^{PC}=1^{-\pm}$, are also investigated, some of which can be searched for in the future experiments.


title: Are neutrino oscillation mixings linked to the smallness of solar neutrino scale?

abstract: Observed reactor and atmospheric neutrino oscillation mixing values appear to be related to the neutrino scale ratio $\sqrt{\Delta m^2_{sol}/\Delta^2_{ATM}}$ in a way that suggest that the neutrino mass matrix can be expanded as a power series by using this ratio as the smallness parameter. This approach provides a simple and natural way to expose the inner hierarchies among neutrino mass terms, which amounts to also explain the solar oscillation mixing as well as solar oscillation scale. We explore a class of mass matrix textures that realize this scenario, for both normal and inverted neutrino mass hierarchies, as well as CP violation and their stability under renormalization scaling.


title: StepDIRECT -- A Derivative-Free Optimization Method for Stepwise Functions

abstract: In this paper, we propose the StepDIRECT algorithm for derivative-free optimization (DFO), in which the black-box objective function has a stepwise landscape. Our framework is based on the well-known DIRECT algorithm. By incorporating the local variability to explore the flatness, we provide a new criterion to select the potentially optimal hyper-rectangles. In addition, we introduce a stochastic local search algorithm performing on potentially optimal hyper-rectangles to improve the solution quality and convergence speed. Global convergence of the StepDIRECT algorithm is provided. Numerical experiments on optimization for random forest models and hyper-parameter tuning are presented to support the efficacy of our algorithm. The proposed StepDIRECT algorithm shows competitive performance results compared with other state-of-the-art baseline DFO methods including the original DIRECT algorithm.


title: Decoupled IoU Regression for Object Detection

abstract: Non-maximum suppression (NMS) is widely used in object detection pipelines for removing duplicated bounding boxes. The inconsistency between the confidence for NMS and the real localization confidence seriously affects detection performance. Prior works propose to predict Intersection-over-Union (IoU) between bounding boxes and corresponding ground-truths to improve NMS, while accurately predicting IoU is still a challenging problem. We argue that the complex definition of IoU and feature misalignment make it difficult to predict IoU accurately. In this paper, we propose a novel Decoupled IoU Regression (DIR) model to handle these problems. The proposed DIR decouples the traditional localization confidence metric IoU into two new metrics, Purity and Integrity. Purity reflects the proportion of the object area in the detected bounding box, and Integrity refers to the completeness of the detected object area. Separately predicting Purity and Integrity can divide the complex mapping between the bounding box and its IoU into two clearer mappings and model them independently. In addition, a simple but effective feature realignment approach is also introduced to make the IoU regressor work in a hindsight manner, which can make the target mapping more stable. The proposed DIR can be conveniently integrated with existing two-stage detectors and significantly improve their performance. Through a simple implementation of DIR with HTC, we obtain 51.3% AP on MS COCO benchmark, which outperforms previous methods and achieves state-of-the-art.


title: Efficient Algorithms for Learning to Control Bandits with Unobserved Contexts

abstract: Contextual bandits are widely-used in the study of learning-based control policies for finite action spaces. While the problem is well-studied for bandits with perfectly observed context vectors, little is known about the case of imperfectly observed contexts. For this setting, existing approaches are inapplicable and new conceptual and technical frameworks are required. We present an implementable posterior sampling algorithm for bandits with imperfect context observations and study its performance for learning optimal decisions. The provided numerical results relate the performance of the algorithm to different quantities of interest including the number of arms, dimensions, observation matrices, posterior rescaling factors, and signal-to-noise ratios. In general, the proposed algorithm exposes efficiency in learning from the noisy imperfect observations and taking actions accordingly. Enlightening understandings the analyses provide as well as interesting future directions it points to, are discussed as well.


title: VIRDO: Visio-tactile Implicit Representations of Deformable Objects

abstract: Deformable object manipulation requires computationally efficient representations that are compatible with robotic sensing modalities. In this paper, we present VIRDO:an implicit, multi-modal, and continuous representation for deformable-elastic objects. VIRDO operates directly on visual (point cloud) and tactile (reaction forces) modalities and learns rich latent embeddings of contact locations and forces to predict object deformations subject to external contacts.Here, we demonstrate VIRDOs ability to: i) produce high-fidelity cross-modal reconstructions with dense unsupervised correspondences, ii) generalize to unseen contact formations,and iii) state-estimation with partial visio-tactile feedback


title: Towards skin-acetone monitors with selective sensitivity: dynamics of PANI-CA films

abstract: Most research aimed at measuring biomarkers on the skin is only concerned with sensing chemicals in sweat using electrical signals, but these methods are not truly non-invasive nor non-intrusive because they require substantial amounts of sweat to get a reading. This project aims to create a truly non-invasive wearable sensor that continuously detects the gaseous acetone (a biomarker related to metabolic disorders) that ambiently comes out of the skin. Composite films of polyaniline and cellulose acetate, exhibiting chemo-mechanical actuation upon exposure to gaseous acetone, were tested in the headspaces above multiple solutions containing acetone, ethanol, and water to gauge response sensitivity, selectivity, and repeatability. The bending of the films in response to exposures to these environments was tracked by an automatic video processing code, which was found to out-perform an off-the-shelf deep neural network-based tracker. Using principal component analysis, we showed that the film bending is low dimensional with over 90% of the shape changes being captured with just two parameters. We constructed forward models to predict shape changes from the known exposure history and found that a linear model can explain 40% of the observed variance in film tip angle changes. We constructed inverse models, going from third order fits of shape changes to acetone concentrations where about 45% of the acetone variation and about 30% of ethanol variation are captured by linear models, and non-linear models did not perform substantially better. This suggests there is sufficient sensitivity and inherent selectivity of the films. These models, however, provide evidence for substantial hysteretic or long-time-scale responses of the PANI films, seemingly due to the presence of water. Further experiments will allow more accurate discrimination of unknown exposure environments.


title: Service Scheduling for Random Requests with Quadratic Waiting Costs

abstract: We study service scheduling problems in a slotted system in which agents arrive with service requests according to a Bernoulli process and have to leave within two slots after arrival, service costs are quadratic in service rates, and there are also waiting costs. We consider quadratic waiting costs. We frame the problems as average cost Markov decision processes. While the studied system is a linear system with quadratic costs, it has state dependent control. Moreover, it also possesses a non-standard cost function structure in the case of fixed waiting costs, rendering the optimization problem complex. We characterize optimal policy. We provide an explicit expression showing that the optimal policy is linear in the system state. We also consider systems in which the agents make scheduling decisions for their respective service requests keeping their own cost in view. We consider quadratic waiting costs and frame these scheduling problems as stochastic games. We provide Nash equilibria of this game. To address the issue of unknown system parameters, we propose an algorithm to estimate them. We also bound the cost difference of the actual cost incurred and the cost incurred using estimated parameters.


title: Bayesian Imputation with Optimal Look-Ahead-Bias and Variance Tradeoff

abstract: Missing time-series data is a prevalent problem in many prescriptive analytics models in operations management, healthcare and finance. Imputation methods for time-series data are usually applied to the full panel data with the purpose of training a prescriptive model for a downstream out-of-sample task. For example, the imputation of missing asset returns may be applied before estimating an optimal portfolio allocation. However, this practice can result in a look-ahead-bias in the future performance of the downstream task, and there is an inherent trade-off between the look-ahead-bias of using the entire data set for imputation and the larger variance of using only the training portion of the data set for imputation. By connecting layers of information revealed in time, we propose a Bayesian consensus posterior that fuses an arbitrary number of posteriors to optimize the variance and look-ahead-bias trade-off in the imputation. We derive tractable two-step optimization procedures for finding the optimal consensus posterior, with Kullback-Leibler divergence and Wasserstein distance as the dissimilarity measure between posterior distributions. We demonstrate in simulations and in an empirical study the benefit of our imputation mechanism for portfolio allocation with missing returns.


title: On the Global Convergence Rates of Decentralized Softmax Gradient Play in Markov Potential Games

abstract: Softmax policy gradient is a popular algorithm for policy optimization in single-agent reinforcement learning, particularly since projection is not needed for each gradient update. However, in multi-agent systems, the lack of central coordination introduces significant additional difficulties in the convergence analysis. Even for a stochastic game with identical interest, there can be multiple Nash Equilibria (NEs), which disables proof techniques that rely on the existence of a unique global optimum. Moreover, the softmax parameterization introduces non-NE policies with zero gradient, making it difficult for gradient-based algorithms in seeking NEs. In this paper, we study the finite time convergence of decentralized softmax gradient play in a special form of game, Markov Potential Games (MPGs), which includes the identical interest game as a special case. We investigate both gradient play and natural gradient play, with and without $\log$-barrier regularization. The established convergence rates for the unregularized cases contain a trajectory-dependent constant that can be arbitrarily large, whereas the $\log$-barrier regularization overcomes this drawback, with the cost of slightly worse dependence on other factors such as the action set size. An empirical study on an identical interest matrix game confirms the theoretical findings.


title: On the sum of the twisted Fourier coefficients of Maass forms by M\"obius function

abstract: In this paper, we study non-trivial upper bounds for the sum $\sum \limits_{n \in S} |\lambda_f(n)|$ where $f$ is a normalized Maass eigencusp form for the full modular group, $\lambda_f(n)$ is the $n$th normalized Fourier coefficient of $f$ and $S$ is a proper subset of positive integers in $[1,x]$ with certain properties.


title: HTS-AT: A Hierarchical Token-Semantic Audio Transformer for Sound Classification and Detection

abstract: Audio classification is an important task of mapping audio samples into their corresponding labels. Recently, the transformer model with self-attention mechanisms has been adopted in this field. However, existing audio transformers require large GPU memories and long training time, meanwhile relying on pretrained vision models to achieve high performance, which limits the model's scalability in audio tasks. To combat these problems, we introduce HTS-AT: an audio transformer with a hierarchical structure to reduce the model size and training time. It is further combined with a token-semantic module to map final outputs into class featuremaps, thus enabling the model for the audio event detection (i.e. localization in time). We evaluate HTS-AT on three datasets of audio classification where it achieves new state-of-the-art (SOTA) results on AudioSet and ESC-50, and equals the SOTA on Speech Command V2. It also achieves better performance in event localization than the previous CNN-based models. Moreover, HTS-AT requires only 35% model parameters and 15% training time of the previous audio transformer. These results demonstrate the high performance and high efficiency of HTS-AT.


title: ISS2: An Extension of Iterative Source Steering Algorithm for Majorization-Minimization-Based Independent Vector Analysis

abstract: A majorization-minimization (MM) algorithm for independent vector analysis optimizes a separation matrix $W = [w_1, \ldots, w_m]^h \in \mathbb{C}^{m \times m}$ by minimizing a surrogate function of the form $\mathcal{L}(W) = \sum_{i = 1}^m w_i^h V_i w_i - \log | \det W |^2$, where $m \in \mathbb{N}$ is the number of sensors and positive definite matrices $V_1,\ldots,V_m \in \mathbb{C}^{m \times m}$ are constructed in each MM iteration. For $m \geq 3$, no algorithm has been found to obtain a global minimum of $\mathcal{L}(W)$. Instead, block coordinate descent (BCD) methods with closed-form update formulas have been developed for minimizing $\mathcal{L}(W)$ and shown to be effective. One such BCD is called iterative projection (IP) that updates one or two rows of $W$ in each iteration. Another BCD is called iterative source steering (ISS) that updates one column of the mixing matrix $A = W^{-1}$ in each iteration. Although the time complexity per iteration of ISS is $m$ times smaller than that of IP, the conventional ISS converges slower than the current fastest IP (called $\text{IP}_2$) that updates two rows of $W$ in each iteration. We here extend this ISS to $\text{ISS}_2$ that can update two columns of $A$ in each iteration while maintaining its small time complexity. To this end, we provide a unified way for developing new ISS type methods from which $\text{ISS}_2$ as well as the conventional ISS can be immediately obtained in a systematic manner. Numerical experiments to separate reverberant speech mixtures show that our $\text{ISS}_2$ converges in fewer MM iterations than the conventional ISS, and is comparable to $\text{IP}_2$.


title: A selective review of sufficient dimension reduction for multivariate response regression

abstract: We review sufficient dimension reduction (SDR) estimators with multivariate response in this paper. A wide range of SDR methods are characterized as inverse regression SDR estimators or forward regression SDR estimators. The inverse regression family include pooled marginal estimators, projective resampling estimators, and distance-based estimators. Ordinary least squares, partial least squares, and semiparametric SDR estimators, on the other hand, are discussed as estimators from the forward regression family.


title: Efficient Volatility Estimation for L\'evy Processes with Jumps of Unbounded Variation

abstract: Statistical inference for stochastic processes based on high-frequency observations has been an active research area for more than a decade. One of the most well-known and widely studied problems is that of estimation of the quadratic variation of the continuous component of an It\^o semimartingale with jumps. Several rate- and variance-efficient estimators have been proposed in the literature when the jump component is of bounded variation. However, to date, very few methods can deal with jumps of unbounded variation. By developing new high-order expansions of the truncated moments of a L\'evy process, we construct a new rate- and variance-efficient estimator for a class of L\'evy processes of unbounded variation, whose small jumps behave like those of a stable L\'evy process with Blumenthal-Getoor index less than $8/5$. The proposed method is based on a two-step debiasing procedure for the truncated realized quadratic variation of the process. Our Monte Carlo experiments indicate that the method outperforms other efficient alternatives in the literature in the setting covered by our theoretical framework.


title: A Longitudinal Dataset of Twitter ISIS Users

abstract: We present a large longitudinal dataset of tweets from two sets of users that are suspected to be affiliated with ISIS. These sets of users are identified based on a prior study and a campaign aimed at shutting down ISIS Twitter accounts. These users have engaged with known ISIS accounts at least once during 2014-2015 and are still active as of 2021. Some of them have directly supported the ISIS users and their tweets by retweeting them, and some of the users that have quoted tweets of ISIS, have uncertain connections to ISIS seed accounts. This study and the dataset represent a unique approach to analyzing ISIS data. Although much research exists on ISIS online activities, few studies have focused on individual accounts. Our approach to validating accounts as well as developing a framework for differentiating accounts' functionality (e.g., propaganda versus operational planning) offers a foundation for future research. We perform some descriptive statistics and preliminary analyses on our collected data to provide deeper insight and highlight the significance and practicality of such analyses. We further discuss several cross-disciplinary potential use cases and research directions.


title: Automated Detection of Doxing on Twitter

abstract: Doxing refers to the practice of disclosing sensitive personal information about a person without their consent. This form of cyberbullying is an unpleasant and sometimes dangerous phenomenon for online social networks. Although prior work exists on automated identification of other types of cyberbullying, a need exists for methods capable of detecting doxing on Twitter specifically. We propose and evaluate a set of approaches for automatically detecting second- and third-party disclosures on Twitter of sensitive private information, a subset of which constitutes doxing. We summarize our findings of common intentions behind doxing episodes and compare nine different approaches for automated detection based on string-matching and one-hot encoded heuristics, as well as word and contextualized string embedding representations of tweets. We identify an approach providing 96.86% accuracy and 97.37% recall using contextualized string embeddings and conclude by discussing the practicality of our proposed methods.


title: A new derivation of the finite $N$ master loop equation for lattice Yang-Mills

abstract: We give a new derivation of the finite $N$ master loop equation for lattice Yang-Mills theory with structure group $SO(N)$, $U(N)$ or $SU(N)$. The $SO(N)$ case was initially proved by Chatterjee in \cite{Cha}, and $SU(N)$ was analyzed in a follow-up work by Jafarov \cite{Jafar}. Our approach is based on the Langevin dynamic, an SDE on the manifold of configurations, and yields a simple proof via It\^o's formula.


title: Robustness and Adaptability of Reinforcement Learning based Cooperative Autonomous Driving in Mixed-autonomy Traffic

abstract: Building autonomous vehicles (AVs) is a complex problem, but enabling them to operate in the real world where they will be surrounded by human-driven vehicles (HVs) is extremely challenging. Prior works have shown the possibilities of creating inter-agent cooperation between a group of AVs that follow a social utility. Such altruistic AVs can form alliances and affect the behavior of HVs to achieve socially desirable outcomes. We identify two major challenges in the co-existence of AVs and HVs. First, social preferences and individual traits of a given human driver, e.g., selflessness and aggressiveness are unknown to an AV, and it is almost impossible to infer them in real-time during a short AV-HV interaction. Second, contrary to AVs that are expected to follow a policy, HVs do not necessarily follow a stationary policy and therefore are extremely hard to predict. To alleviate the above-mentioned challenges, we formulate the mixed-autonomy problem as a multi-agent reinforcement learning (MARL) problem and propose a decentralized framework and reward function for training cooperative AVs. Our approach enables AVs to learn the decision-making of HVs implicitly from experience, optimizes for a social utility while prioritizing safety and allowing adaptability; robustifying altruistic AVs to different human behaviors and constraining them to a safe action space. Finally, we investigate the robustness, safety and sensitivity of AVs to various HVs behavioral traits and present the settings in which the AVs can learn cooperative policies that are adaptable to different situations.


title: MPVNN: Mutated Pathway Visible Neural Network Architecture for Interpretable Prediction of Cancer-specific Survival Risk

abstract: Survival risk prediction using gene expression data is important in making treatment decisions in cancer. Standard neural network (NN) survival analysis models are black boxes with lack of interpretability. More interpretable visible neural network (VNN) architectures are designed using biological pathway knowledge. But they do not model how pathway structures can change for particular cancer types. We propose a novel Mutated Pathway VNN or MPVNN architecture, designed using prior signaling pathway knowledge and gene mutation data-based edge randomization simulating signal flow disruption. As a case study, we use the PI3K-Akt pathway and demonstrate overall improved cancer-specific survival risk prediction results of MPVNN over standard non-NN and other similar sized NN survival analysis methods. We show that trained MPVNN architecture interpretation, which points to smaller sets of genes connected by signal flow within the PI3K-Akt pathway that are important in risk prediction for particular cancer types, is reliable.


title: Proofs of the non-existence of special generic maps on the $3$-dimensional complex projective space

abstract: We prove the non-existence of special generic maps on $3$-dimensional complex projective space as our new result and a corollary by several methods. Special generic maps are generalizations of Morse functions with exactly two singular points on spheres and canonical projections of unit spheres are special generic. Our paper focuses on such maps on closed and simply-connected manifolds of classes containing the $3$-dimensional complex projective space. The differentiable structures of spheres admitting special generic maps are known to be restricted strongly. Special generic maps on closed and simply-connected manifolds and projective spaces have been studied by various people including the author. The (non-)existence and construction are main problems. Studies on such maps on closed and simply-connected manifolds whose dimensions are greater than $5$ have been difficult.


title: Automotive Parts Assessment: Applying Real-time Instance-Segmentation Models to Identify Vehicle Parts

abstract: The problem of automated car damage assessment presents a major challenge in the auto repair and damage assessment industry. The domain has several application areas ranging from car assessment companies such as car rentals and body shops to accidental damage assessment for car insurance companies. In vehicle assessment, the damage can take any form including scratches, minor and major dents to missing parts. More often, the assessment area has a significant level of noise such as dirt, grease, oil or rush that makes an accurate identification challenging. Moreover, the identification of a particular part is the first step in the repair industry to have an accurate labour and part assessment where the presence of different car models, shapes and sizes makes the task even more challenging for a machine-learning model to perform well. To address these challenges, this research explores and applies various instance segmentation methodologies to evaluate the best performing models. The scope of this work focusses on two genres of real-time instance segmentation models due to their industrial significance, namely SipMask and Yolact. These methodologies are evaluated against a previously reported car parts dataset (DSMLR) and an internally curated dataset extracted from local car repair workshops. The Yolact-based part localization and segmentation method performed well when compared to other real-time instance mechanisms with a mAP of 66.5. For the workshop repair dataset, SipMask++ reported better accuracies for object detection with a mAP of 57.0 with outcomes for AP_IoU=.50and AP_IoU=.75 reporting 72.0 and 67.0 respectively while Yolact was found to be a better performer for AP_s with 44.0 and 2.6 for object detection and segmentation categories respectively.


title: Opted Out, Yet Tracked: Are Regulations Enough to Protect Your Privacy?

abstract: Data protection regulations, such as GDPR and CCPA, require websites and embedded third-parties, especially advertisers, to seek user consent before they can collect and process user data. Only when the users opt in, can these entities collect, process, and share user data. Websites typically incorporate Consent Management Platforms (CMPs), such as OneTrust and CookieBot, to solicit and convey user consent to the embedded advertisers, with the expectation that the consent will be respected. However, neither the websites nor the regulators currently have any mechanism to audit advertisers' compliance with the user consent, i.e., to determine if advertisers indeed do not collect, process, and share user data when the user opts out. In this paper, we propose an auditing framework that leverages advertisers' bidding behavior to empirically assess the violations of data protection regulations. Using our framework, we conduct a measurement study to evaluate four of the most widely deployed CMPs, i.e., Didomi, Quantcast, OneTrust, and CookieBot, as well as advertiser-offered opt-out controls, i.e., National Advertising Initiative's opt-out, under GDPR and CCPA. Our results indicate that in many cases user data is unfortunately still being collected, processed, and shared even when users opt-out. We also find that some CMPs are better than the others at conveying user consent and that several ad platforms ignore user consent. Our results also indicate that advertiser-offered opt-out are equally ineffective at protecting user privacy.


title: Accurate calibration of multi-perspective cameras from a generalization of the hand-eye constraint

abstract: Multi-perspective cameras are quickly gaining importance in many applications such as smart vehicles and virtual or augmented reality. However, a large system size or absence of overlap in neighbouring fields-of-view often complicate their calibration. We present a novel solution which relies on the availability of an external motion capture system. Our core contribution consists of an extension to the hand-eye calibration problem which jointly solves multi-eye-to-base problems in closed form. We furthermore demonstrate its equivalence to the multi-eye-in-hand problem. The practical validity of our approach is supported by our experiments, indicating that the method is highly efficient and accurate, and outperforms existing closed-form alternatives.


title: Equilibrium-nonequilibrium ring-polymer molecular dynamics for nonlinear spectroscopy

abstract: Two-dimensional Raman and hybrid terahertz/Raman spectroscopic techniques provide invaluable insight into molecular structure and dynamics of condensed-phase systems. However, corroborating experimental results with theory is difficult due to the high computational cost of incorporating quantum-mechanical effects in the simulations. Here, we present the equilibrium-nonequilibrium ring-polymer molecular dynamics (RPMD), a practical computational method that can account for nuclear quantum effects on the two-time response function of nonlinear optical spectroscopy. Unlike a recently developed approach based on the double Kubo transformed (DKT) correlation function, our method is exact in the classical limit, where it reduces to the established equilibrium-nonequilibrium classical molecular dynamics method. Using benchmark model calculations, we demonstrate the advantages of the equilibrium-nonequilibrium RPMD over classical and DKT-based approaches. Importantly, its derivation, which is based on the nonequilibrium RPMD, obviates the need for identifying an appropriate Kubo transformed correlation function and paves the way for applying real-time path-integral techniques to multidimensional spectroscopy.


title: Heavy quark potential and jet quenching parameter in a rotating D-instanton background

abstract: We get the dual gravity metric of the rotating nuclear matter by performing a standard Lorentz transformation on the static metric in the D-instanton background. Then, we study the effects of the angular velocity, the instanton density and the temperature on the heavy quark potential. It is shown that the angular velocity and the temperature promote dissociation of the quark-antiquark pair, and the instanton density suppresses dissociation. Similarly, according to the result of the jet quenching parameter, we found that the jet quenching parameter increases with the increase of angular velocity, instanton density and temperature, and the jet quenching parameter in the rotating D-instanton background is larger than that of N = 4 SYM theory.


title: Choice of technology and evaluation of the production capabilities of a 3d printer robot for creating elements of experimental equipment for the production of biofuel components

abstract: Elements of experimental equipment for the production of biofuel components must meet high reliability and safety requirements. At the same time, in the course of research on the subject of creating equipment for the production of biofuels, a variable range of equipment is regularly proposed and should be checked. The manufacture of elements of such equipment by traditional methods is expensive and inefficient, time-consuming, which negatively affects the speed of scientific research. To this end, it is proposed to develop a robotic 3D printing complex that provides maximum flexibility in creating mock-ups and test samples of equipment for the production of biofuel components. The article discusses the experience of successfully creating equipment elements for the production of fuels using 3d printing. Next, the choice of a robotization scheme for a 3D printing installation is described and the choice of printing technology is substantiated. The article also presents the results of calculating the parameters of the 3v-printer robot and the results of calculating the similarity parameters for the implementation and evaluation of control algorithms. The results of a numerical experiment for calculating the strength characteristics of equipment elements manufactured using the selected 3d printing technology are presented.


title: Robot-printer for creating elements of technological equipment for the production of components of biofuel compositions

abstract: This study is devoted to the search for new scientific and technical solutions in the field of renewable energy sources, in particular biofuels. Biomass is the main fuel for green energy, accounting for two thirds of the energy produced from renewable sources. The further development of the industry depends on the improvement of the equipment and technologies used in it. On the example of a cleaning apparatus, a new technology for prototyping its parts using a robotic module is shown and tested. The use of plastics as parts of technological equipment is a modern trend and may be due to the low adhesion strength of various substances to the surface of these parts due to poor wettability and low values of the surface energy of these materials compared to metals.


title: Extracting efficient exact real number computation from proofs in constructive type theory

abstract: Exact real computation is an alternative to floating-point arithmetic where operations on real numbers are performed exactly, without the introduction of rounding errors. When proving the correctness of an implementation, one can focus solely on the mathematical properties of the problem without thinking about the subtleties of representing real numbers. We propose a new axiomatization of the real numbers in a dependent type theory with the goal of extracting certified exact real computation programs from constructive proofs. Our formalization differs from similar approaches, in that we formalize the reals in a conceptually similar way as some mature implementations of exact real computation. Primitive operations on reals can be extracted directly to the corresponding operations in such an implementation, producing more efficient programs. We particularly focus on the formalization of partial and nondeterministic computation, which is essential in exact real computation. We prove the soundness of our formalization with regards of the standard realizability interpretation from computable analysis and show how to relate our theory to a classical formalization of the reals. We demonstrate the feasibility of our theory by implementing it in the Coq proof assistant and present several natural examples. From the examples we have automatically extracted Haskell programs that use the exact real computation framework AERN for efficiently performing exact operations on real numbers. In experiments, the extracted programs behave similarly to native implementations in AERN in terms of running time and memory usage.


title: Does Video Compression Impact Tracking Accuracy?

abstract: Everyone "knows" that compressing a video will degrade the accuracy of object tracking. Yet, a literature search on this topic reveals that there is very little documented evidence for this presumed fact. Part of the reason is that, until recently, there were no object tracking datasets for uncompressed video, which made studying the effects of compression on tracking accuracy difficult. In this paper, using a recently published dataset that contains tracking annotations for uncompressed videos, we examined the degradation of tracking accuracy due to video compression using rigorous statistical methods. Specifically, we examined the impact of quantization parameter (QP) and motion search range (MSR) on Multiple Object Tracking Accuracy (MOTA). The results show that QP impacts MOTA at the 95% confidence level, while there is insufficient evidence to claim that MSR impacts MOTA. Moreover, regression analysis allows us to derive a quantitative relationship between MOTA and QP for the specific tracker used in the experiments.


title: Mold into a Graph: Efficient Bayesian Optimization over Mixed-Spaces

abstract: Real-world optimization problems are generally not just black-box problems, but also involve mixed types of inputs in which discrete and continuous variables coexist. Such mixed-space optimization possesses the primary challenge of modeling complex interactions between the inputs. In this work, we propose a novel yet simple approach that entails exploiting the graph data structure to model the underlying relationship between variables, i.e., variables as nodes and interactions defined by edges. Then, a variational graph autoencoder is used to naturally take the interactions into account. We first provide empirical evidence of the existence of such graph structures and then suggest a joint framework of graph structure learning and latent space optimization to adaptively search for optimal graph connectivity. Experimental results demonstrate that our method shows remarkable performance, exceeding the existing approaches with significant computational efficiency for a number of synthetic and real-world tasks.


title: Methodology for forecasting and optimization in IEEE-CIS 3rd Technical Challenge

abstract: This report provides a description of the methodology I used in the IEEE-CIS 3rd Technical Challenge. For the forecast, I used a quantile regression forest approach using the solar variables provided by the Bureau of Meterology of Australia (BOM) and many of the weather variables from the European Centre for Medium-Range Weather Forecasting (ECMWF). Groups of buildings and all of the solar instances were trained together as they were observed to be closely correlated over time. Other variables used included Fourier values based on hour of day and day of year, and binary variables for combinations of days of the week. The start dates for the time series were carefully tuned based on phase 1 and cleaning and thresholding was used to reduce the observed error rate for each time series. For the optimization, a four-step approach was used using the forecast developed. First, a mixed-integer program (MIP) was solved for the recurring and recurring plus once-off activities, then each of these was extended using a mixed-integer quadratic program (MIQP). The general strategy was chosen from one of two ("array" from the "array" and "tuples" approaches) while the specific step improvement strategy was chosen from one of five ("no forced discharge").


title: X-ray Coronal Properties of Swift/BAT-Selected Seyfert 1 Active Galactic Nuclei

abstract: The corona is an integral component of Active Galactic Nuclei (AGN) which produces the bulk of the X-ray emission above 1--2 keV. However, many of its physical properties and the mechanisms powering this emission remain a mystery. In particular, the temperature of the coronal plasma has been difficult to constrain for large samples of AGN, as constraints require high quality broadband X-ray spectral coverage extending above 10 keV in order to measure the high energy cutoff, which provides constraints on the combination of coronal optical depth and temperature. We present constraints on the coronal temperature for a large sample of Seyfert 1 AGN selected from the Swift/BAT survey using high quality hard X-ray data from the NuSTAR observatory combined with simultaneous soft X-ray data from Swift/XRT or XMM-Newton. When applying a physically-motivated, non-relativistic disk reflection model to the X-ray spectra, we find a mean coronal temperature kT $=$ 84$\pm$9 keV. We find no significant correlation between the coronal cutoff energy and accretion parameters such as the Eddington ratio and black hole mass. We also do not find a statistically significant correlation between the X-ray photon index, $\Gamma$, and Eddington ratio. This calls into question the use of such relations to infer properties of supermassive black hole systems.


title: Moving lemmas in mixed characteristic and applications

abstract: The present paper contains new geometric theorems in mixed characteristic case. We derive a bunch of cohomological consequences using these geometric theorems. Among them an isotropy result for quadratic spaces, a purity result for quadratic spaces, a result on the Grothendieck--Serre conjecture for the special linear group of an Azumaya algebra. The Gersten conjecture for the functor K2 is proved. Bloch-Ogus type result is obtained as well. Suslin's exact sequence is derived and its application to a finiteness result is given. A version of the Roitman theorem is proved.


title: Base matrices of various heights

abstract: A classical theorem of Balcar, Pelant, and Simon says that there is a base matrix of height h, where h is the distributivity number of P(omega)/fin. We show that if the continuum c is regular, then there is a base matrix of height c, and that there are base matrices of any regular uncountable height less or equal than c in the Cohen and random models. This answers questions of Fischer, Koelbing, and Wohofsky.


title: Quantification and Aggregation over Concepts of the Ontology

abstract: We argue that in some KR applications, we want to quantify over sets of concepts formally represented by symbols in the vocabulary. We show that this quantification should be distinguished from second-order quantification and meta-programming quantification. We also investigate the relationship with concepts in intensional logic. We present an extension of first-order logic to support such abstractions, and show that it allows writing expressions of knowledge that are elaboration tolerant. To avoid nonsensical sentences in this formalism, we refine the concept of well-formed sentences, and propose a method to verify well-formedness with a complexity that is linear with the number of tokens in the formula. We have extended FO(.), a Knowledge Representation language, and IDP-Z3, a reasoning engine for FO(.), accordingly. We show that this extension was essential in accurately modelling various problem domains in an elaboration-tolerant way, i.e., without reification.


title: Modal reduction principles across relational semantics

abstract: The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which include crisp and many-valued Kripke frames, and crisp and many-valued polarity-based frames (aka enriched formal contexts). Building on unified correspondence theory, we aim at introducing a theoretical environment which makes it possible to: (a) compare and inter-relate the various frame correspondents (in different relational settings) of any given Sahlqvist modal reduction principle; (b) recognize when first-order sentences in the frame-correspondence languages of different types of relational structures encode the same "modal content"; (c) meaningfully transfer and represent well known relational properties such as reflexivity, transitivity, symmetry, seriality, confluence, density, across different semantic contexts. These results can be understood as a first step in a research program aimed at making correspondence theory not just (methodologically) unified, but also (effectively) parametric.


title: Augmenting Immersive Telepresence Experience with a Virtual Body

abstract: We propose augmenting immersive telepresence by adding a virtual body, representing the user's own arm motions, as realized through a head-mounted display and a 360-degree camera. Previous research has shown the effectiveness of having a virtual body in simulated environments; however, research on whether seeing one's own virtual arms increases presence or preference for the user in an immersive telepresence setup is limited. We conducted a study where a host introduced a research lab while participants wore a head-mounted display which allowed them to be telepresent at the host's physical location via a 360-degree camera, either with or without a virtual body. We first conducted a pilot study of 20 participants, followed by a pre-registered 62 participant confirmatory study. Whereas the pilot study showed greater presence and preference when the virtual body was present, the confirmatory study failed to replicate these results, with only behavioral measures suggesting an increase in presence. After analyzing the qualitative data and modeling interactions, we suspect that the quality and style of the virtual arms, and the contrast between animation and video, led to individual differences in reactions to the virtual body which subsequently moderated feelings of presence.


title: Retrieve-and-Fill for Scenario-based Task-Oriented Semantic Parsing

abstract: Task-oriented semantic parsing models have achieved strong results in recent years, but unfortunately do not strike an appealing balance between model size, runtime latency, and cross-domain generalizability. We tackle this problem by introducing scenario-based semantic parsing: a variant of the original task which first requires disambiguating an utterance's "scenario" (an intent-slot template with variable leaf spans) before generating its frame, complete with ontology and utterance tokens. This formulation enables us to isolate coarse-grained and fine-grained aspects of the task, each of which we solve with off-the-shelf neural modules, also optimizing for the axes outlined above. Concretely, we create a Retrieve-and-Fill (RAF) architecture comprised of (1) a retrieval module which ranks the best scenario given an utterance and (2) a filling module which imputes spans into the scenario to create the frame. Our model is modular, differentiable, interpretable, and allows us to garner extra supervision from scenarios. RAF achieves strong results in high-resource, low-resource, and multilingual settings, outperforming recent approaches by wide margins despite, using base pre-trained encoders, small sequence lengths, and parallel decoding.


title: Matching Orderable and Separable Hypergraphs

abstract: A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable hypergraphs is strictly contained in the class of separable hypergraphs. Accordingly, we show that for each fixed $k$, deciding perfect matching for orderable $k$-hypergraphs is polynomial time doable, but for each fixed $k\geq 3$, it is NP-complete for separable hypergraphs.


title: Time-Optimal Two- and Three-Qubit Gates for Rydberg Atoms

abstract: We identify time-optimal laser pulses to implement the controlled-Z gate and its three qubit generalization, the C$_2$Z gate, for Rydberg atoms in the blockade regime. Pulses are optimized using a combination of numerical and semi-analytical quantum optimal control techniques that result in smooth Ans\"atze with just a few variational parameters. For the CZ gate, the time-optimal implementation corresponds to a global laser pulse that does not require single site addressability of the atoms, simplifying experimental implementation of the gate. We employ quantum optimal control techniques to mitigate errors arising due to the finite lifetime of Rydberg states and finite blockade strengths, while several other types of errors affecting the gates are directly mitigated by the short gate duration. For the considered error sources, we achieve theoretical gate fidelities compatible with error correction using reasonable experimental parameters for CZ and C$_2$Z gates.


title: Towards the establishment of the light $J^{P(C)}=1^{-(+)}$ hybrid nonet

abstract: The observation of the light hybrid candidate $\eta_1(1855)$ by the BESIII Collaboration brings great opportunities for advancing our knowledges about exotic hadrons in the light flavor sector. We show that this observation provides a crucial clue for establishing the $J^{P(C)}=1^{-(+)}$ hybrid nonet. Based on the flux tube model picture, the production and decay mechanisms for the $J^{P(C)}=1^{-(+)}$ hybrid nonet in the $J/\psi$ radiative decays into two pseudoscalar mesons are investigated. In the $I=0$ sector, we find that the SU(3) flavor octet and singlet mixing is non-negligible and apparently deviates from the flavor ideal mixing. Since only signals for one isoscalar $\eta_1(1855)$ are observed in the $\eta\eta'$ channel, we investigate two schemes of the nonet structure in which $\eta_1(1855)$ can be either the higher or lower mass state that strongly couples to $\eta\eta'$. Possible channels for detecting the multiplets are suggested. In particular, a combined analysis of the hybrid production in $J/\psi\to VH$, where $V$ and $H$ stand for the light vector mesons and $1^{-(+)}$ hybrid states, may provide further evidence for this nonet structure and finally establish these mysterious exotic species in experiment.


title: Network Nonlocality via Rigidity of Token-Counting and Color-Matching

abstract: Network Nonlocality is the study of the Network Nonlocal correlations created by several independent entangled states shared in a network. In this paper, we provide the first two generic strategies to produce nonlocal correlations in large classes of networks without input. In the first one, called Token-Counting (TC), each source distributes a fixed number of tokens and each party counts the number of received tokens. In the second one, called Color-Matching (CM), each source takes a color and a party checks if the color of neighboring sources match. Using graph theoretic tools and Finner's inequality, we show that TC and CM distributions are rigid in wide classes of networks, meaning that there is essentially a unique classical strategy to simulate such correlations. Using this rigidity property, we show that certain quantum TC and CM strategies produce correlations that cannot be produced classicality. This leads us to several examples of Network Nonlocality without input. These examples involve creation of coherence throughout the whole network, which we claim to be a fingerprint of genuine forms of Network Nonlocality. This work extends a more compact parallel work [Nonlocality for Generic Networks, arXiv:2011.02769] on the same subject and provides all the required technical proofs.


title: Diagnosis of pairing symmetry by vortex and edge spectra in kagome superconductors

abstract: Layered kagome metals AV3Sb5 (A=K, Rb, Cs) exhibit diverse correlated electron phenomena. It includes charge density wave formation and superconductivity the pairing symmetry of which, however, is controversial due to contradictory experimental evidence. Through calculations based on real-space lattice models at the mean-field level, we investigate the vortex and surface spectra of all competitive pairing propensities suggested for AV3Sb5 from a weak coupling analysis of unconventional superconductivity. Chiral p-wave pairing emerges as the only option to host Majorana bound states in the vortex core. We find chiral edge states for both p-wave and d-wave pairing, along with flat Andreev surface bound states for f -wave pairing. Our results expand the fingerprint of superconducting pairing, and thus will contribute to resolving the nature of superconductivity in AV3Sb5.


title: Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning

abstract: This paper addresses the problem of learning abstractions that boost robot planning performance while providing strong guarantees of reliability. Although state-of-the-art hierarchical robot planning algorithms allow robots to efficiently compute long-horizon motion plans for achieving user desired tasks, these methods typically rely upon environment-dependent state and action abstractions that need to be hand-designed by experts. We present a new approach for bootstrapping the entire hierarchical planning process. This allows us to compute abstract states and actions for new environments automatically using the critical regions predicted by a deep neural network with an auto-generated robot-specific architecture. We show that the learned abstractions can be used with a novel multi-source bi-directional hierarchical robot planning algorithm that is sound and probabilistically complete. An extensive empirical evaluation on twenty different settings using holonomic and non-holonomic robots shows that (a) our learned abstractions provide the information necessary for efficient multi-source hierarchical planning; and that (b) this approach of learning, abstractions, and planning outperforms state-of-the-art baselines by nearly a factor of ten in terms of planning time on test environments not seen during training.


title: Image Forgery Detection with Interpretability

abstract: In this work, we present a learning based method focusing on the convolutional neural network (CNN) architecture to detect these forgeries. We consider the detection of both copy-move forgeries and inpainting based forgeries. For these, we synthesize our own large dataset. In addition to classification, the focus is also on interpretability of the forgery detection. As the CNN classification yields the image-level label, it is important to understand if forged region has indeed contributed to the classification. For this purpose, we demonstrate using the Grad-CAM heatmap, that in various correctly classified examples, that the forged region is indeed the region contributing to the classification. Interestingly, this is also applicable for small forged regions, as is depicted in our results. Such an analysis can also help in establishing the reliability of the classification.


title: CSFlow: Learning Optical Flow via Cross Strip Correlation for Autonomous Driving

abstract: Optical flow estimation is an essential task in self-driving systems, which helps autonomous vehicles perceive temporal continuity information of surrounding scenes. The calculation of all-pair correlation plays an important role in many existing state-of-the-art optical flow estimation methods. However, the reliance on local knowledge often limits the model's accuracy under complex street scenes. In this paper, we propose a new deep network architecture for optical flow estimation in autonomous driving--CSFlow, which consists of two novel modules: Cross Strip Correlation module (CSC) and Correlation Regression Initialization module (CRI). CSC utilizes a striping operation across the target image and the attended image to encode global context into correlation volumes, while maintaining high efficiency. CRI is used to maximally exploit the global context for optical flow initialization. Our method has achieved state-of-the-art accuracy on the public autonomous driving dataset KITTI-2015. Code is publicly available at https://github.com/MasterHow/CSFlow.


title: On the statistical theory of self-gravitating collisionless dark matter flow

abstract: Dark matter, if exists, accounts for five times as much as the ordinary baryonic matter. Compared to hydrodynamic turbulence, the flow of dark matter might possess the widest presence in our universe. This paper presents a statistical theory for the flow of dark matter that is compared with N-body simulations. By contrast to hydrodynamics of normal fluids, dark matter flow is self-gravitating, long-range, and collisionless with a scale dependent flow behavior. The peculiar velocity field is of constant divergence nature on small scale and irrotational on large scale. The statistical measures, i.e. correlation, structure, dispersion, and spectrum functions are modeled on both small and large scales, respectively. Kinematic relations between statistical measures are fully developed for incompressible, constant divergence, and irrotational flow. Incompressible and constant divergence flow share same kinematic relations for even order correlations. The limiting correlation of velocity $\rho_L=1/2$ on the smallest scale ($r=0$) is a unique feature of collisionless flow ($\rho_L=1$ for incompressible flow). On large scale, transverse velocity correlation has an exponential form $T_2\propto e^{-r/r_2}$ with a constant comoving scale $r_2$=21.3Mpc/h that maybe related to the horizon size at matter-radiation equality. All other correlation, structure, dispersion, and spectrum functions for velocity, density, and potential fields are derived analytically from kinematic relations for irrotational flow. On small scale, longitudinal structure function follows one-fourth law of $S^l_2\propto r^{1/4}$. All other statistical measures can be obtained from kinematic relations for constant divergence flow. Vorticity is negatively correlated for scale $r$ between 1 and 7Mpc/h. Divergence is negatively correlated for $r$>30Mpc/h that leads to a negative density correlation.


title: Active Multi-Task Representation Learning

abstract: To leverage the power of big data from source tasks and overcome the scarcity of the target task samples, representation learning based on multi-task pretraining has become a standard approach in many applications. However, up until now, choosing which source tasks to include in the multi-task learning has been more art than science. In this paper, we give the first formal study on resource task sampling by leveraging the techniques from active learning. We propose an algorithm that iteratively estimates the relevance of each source task to the target task and samples from each source task based on the estimated relevance. Theoretically, we show that for the linear representation class, to achieve the same error rate, our algorithm can save up to a \textit{number of source tasks} factor in the source task sample complexity, compared with the naive uniform sampling from all source tasks. We also provide experiments on real-world computer vision datasets to illustrate the effectiveness of our proposed method on both linear and convolutional neural network representation classes. We believe our paper serves as an important initial step to bring techniques from active learning to representation learning.


title: Flipping the switch on local exploration: Genetic Algorithms with Reversals

abstract: One important feature of complex systems are problem domains that have many local minima and substructure. Biological systems manage these local minima by switching between different subsystems depending on their environmental or developmental context. Genetic Algorithms (GA) can mimic this switching property as well as provide a means to overcome problem domain complexity. However, standard GA requires additional operators that will allow for large-scale exploration in a stochastic manner. Gradient-free heuristic search techniques are suitable for providing an optimal solution in the discrete domain to such single objective optimization tasks, particularly compared to gradient-based methods which are noticeably slower. To do this, the authors turn to an optimization problem from the flight scheduling domain. The authors compare the performance of such common gradient-free heuristic search algorithms and propose variants of GAs. The Iterated Chaining (IC) method is also introduced, building upon traditional chaining techniques by triggering multiple local searches instead of the singular action of a mutation operator. The authors will show that the use of multiple local searches can improve performance on local stochastic searches, providing ample opportunity for application to a host of other problem domains. It is observed that the proposed GA variants have the least average cost across all benchmarks including the problem proposed and IC algorithm performs better than its constituents.


title: Invariant Ancestry Search

abstract: Recently, methods have been proposed that exploit the invariance of prediction models with respect to changing environments to infer subsets of the causal parents of a response variable. If the environments influence only few of the underlying mechanisms, the subset identified by invariant causal prediction (ICP), for example, may be small, or even empty. We introduce the concept of minimal invariance and propose invariant ancestry search (IAS). In its population version, IAS outputs a set which contains only ancestors of the response and is a superset of the output of ICP. When applied to data, corresponding guarantees hold asymptotically if the underlying test for invariance has asymptotic level and power. We develop scalable algorithms and perform experiments on simulated and real data.


title: Lipschitz-constrained Unsupervised Skill Discovery

abstract: We study the problem of unsupervised skill discovery, whose goal is to learn a set of diverse and useful skills with no external reward. There have been a number of skill discovery methods based on maximizing the mutual information (MI) between skills and states. However, we point out that their MI objectives usually prefer static skills to dynamic ones, which may hinder the application for downstream tasks. To address this issue, we propose Lipschitz-constrained Skill Discovery (LSD), which encourages the agent to discover more diverse, dynamic, and far-reaching skills. Another benefit of LSD is that its learned representation function can be utilized for solving goal-following downstream tasks even in a zero-shot manner - i.e., without further training or complex planning. Through experiments on various MuJoCo robotic locomotion and manipulation environments, we demonstrate that LSD outperforms previous approaches in terms of skill diversity, state space coverage, and performance on seven downstream tasks including the challenging task of following multiple goals on Humanoid. Our code and videos are available at https://shpark.me/projects/lsd/.


title: Self-Assembly of Magnetic Co Atoms on Stanene

abstract: We have investigated the magnetic Co atoms self-assembled on the ultraflat stanene on Cu(111) substrate by utilizing scanning tunneling microscopy/spectroscopy (STM/STS) in conjunction with density functional theory (DFT). By means of depositing Co onto the stanene/Cu(111) held at 80 K, Co atoms have developed into the monomer, dimer, and trimer structures containing one, two, and three Co atoms respectively. As per atomically resolved topographic images and bias-dependent apparent heights, the atomic structure models based on Sn atoms substituted by Co atoms have been deduced, which are in agreement with both self-consistent DFT calculations and STM simulations. Apart from that, the projected density of states (PDOS) has revealed a minimum at around -0.5 eV from the Co-3d3z2-r2 minority band, which contributes predominately to the peak feature at about -0.3 eV in tunneling conductance (dI/dU) spectra taken at the Co atomic sites. As a result of the exchange splitting between the Co-3d majority and minority bands, there are non-zero magnetic moments, including about 0.60 uB in monomer, 0.56 uB in dimer, and 0.29 uB in trimer of the Co atom assembly on the stanene. Such magnetic Co atom assembly therefore could provide the vital building blocks in stabilizing the local magnetism on the two-dimensional (2D) stanene with non-trivial topological properties.


title: Scalable Decision-Focused Learning in Restless Multi-Armed Bandits with Application to Maternal and Child Health

abstract: This paper studies restless multi-armed bandit (RMAB) problems with unknown arm transition dynamics but with known correlated arm features. The goal is to learn a model to predict transition dynamics given features, where the Whittle index policy solves the RMAB problems using predicted transitions. However, prior works often learn the model by maximizing the predictive accuracy instead of final RMAB solution quality, causing a mismatch between training and evaluation objectives. To address this shortcoming, we propose a novel approach for decision-focused learning in RMAB that directly trains the predictive model to maximize the Whittle index solution quality. We present three key contributions: (i) we establish differentiability of the Whittle index policy to support decision-focused learning; (ii) we significantly improve the scalability of decision-focused learning approaches in sequential problems, specifically RMAB problems; (iii) we apply our algorithm to a previously collected dataset of maternal and child health to demonstrate its performance. Indeed, our algorithm is the first for decision-focused learning in RMAB that scales to real-world problem sizes.


title: A quantitative method for benchmarking fair income distribution

abstract: Concern about income inequality has become prominent in public discourse around the world. However, studies in behavioral economics and psychology have consistently shown that people prefer not equal but fair income distributions. Thus, finding a benchmark that could be used to measure fair income distribution across countries is a theoretical and practical challenge. Here a method for benchmarking fair income distribution is introduced. The benchmark is constructed based on the concepts of procedural justice, distributive justice, and authority's power in professional sports where it is widely agreed as an international norm that the allocations of athlete's salary are outcomes of fair rules, individual and/or team performance, and luck in line with no-envy principle of fair allocation. Using the World Bank data, this study demonstrates how the benchmark could be used to quantitatively gauge whether, for a given value of the Gini index, the income shares by quintile of a country are the fair shares or not, and if not, what fair income shares by quintile of that country should be. Knowing this could be useful for those involved in setting targets for the Gini index and the fair income shares that are appropriate for the context of each country before formulating policies toward achieving the Sustainable Development Goal 10 and other SDGs.


title: Hybrid Quantum-Classical Algorithm for Hydrodynamics

abstract: A new model of nonlinear charged quantum relativistic fluids is presented. This model can be discretized into Discrete Time Quantum Walks (DTQWs), and a new hybrid (quantum-classical) algorithm for implementing these walks on NISQ devices is proposed. High resolution (up to $N=2^{17}$ grid points) hybrid numerical simulations of relativistic and non-relativistic hydrodynamical shocks on current IBM NISQs are performed with this algorithm and shown to reproduce equivalent simulations on classical computers. This work demonstrates that nonlinear fluid dynamics can be simulated on NISQs, and opens the door to simulating other, quantum and non-quantum fluids, including plasmas, with more general quantum walks and quantum automata.


title: Dynamic Time Slot Allocation Algorithm for Quadcopter Swarms

abstract: A swarm of quadcopters can perform cooperative tasks, such as monitoring of a large area, more efficiently than a single one. However, to be able to successfully work together, the quadcopters must be aware of the position of the other swarm members, especially to avoid collisions. A quadcopter can share its own position by transmitting it via radio waves and in order to allow multiple quadcopters to communicate effectively, a decentralized channel access protocol is essential. We propose a new dynamic channel access protocol, called Dynamic time slot allocation (DTSA), where the quadcopters share the total channel access time in a non-periodic and decentralized manner. Quadcopters with higher communication demands occupy more time slots than less active ones. Our dynamic approach allows the agents to adapt to changing swarm situations and therefore to act efficiently, as compared to the state-of-the-art periodic channel access protocol, time division multiple access (TDMA). Along with simulations, we also do experiments using real Crazyflie quadcopters to show the improved performance of DTSA as compared to TDMA.


title: The complexity of a numerical semigroup

abstract: Let $S$ and $\Delta$ be numerical semigroups. A numerical semigroup $S$ is an $\mathbf{I}(\Delta)$-{\it semigroup} if $S\backslash \{0\}$ is an ideal of $\Delta$. We will denote by $\mathcal{J}(\Delta)=\{S \mid S \text{ is an $\mathbf{I}(\Delta)$-semigroup} \}.$ We will say that $\Delta$ is {\it an ideal extension of } $S$ if $S\in \mathcal{J}(\Delta).$ In this work, we present an algorithm that allows to build all the ideal extensions of a numerical semigroup. We can recursively denote by $\mathcal{J}^0(\mathbb{N})=\mathbb{N},$ $\mathcal{J}^1(\mathbb{N})=\mathcal{J}(\mathbb{N})$ and $\mathcal{J}^{k+1}(\mathbb{N})=\mathcal{J}(\mathcal{J}^{k}(\mathbb{N}))$ for all $k\in \mathbb{N}.$ The complexity of a numerical semigroup $S$ is the minimun of the set $\{k\in \mathbb{N}\mid S \in \mathcal{J}^k(\mathbb{N})\}.$ In addition, we will give an algorithm that allows us to compute all the numerical semigroups with fixed multiplicity and complexity.


title: Sensing enhancement of a Fabry-Perot THz cavity using switchable VO2 mirrors

abstract: We experimentally investigate the sensing properties of an open cavity operating in the THz regime and realized by employing as mirrors two thin vanadium dioxide (VO2) films grown on silicon parallel plates and separated by a variable length. The phase transition of VO2 is used to control the behavior of the system between two different responses: a high transmission mode to the incident radiation (VO2 in the insulating state) and a high sensitivity to tiny changes in the cavity refractive index (VO2 in the conducting state). In the first state, the low loss regime enables to adjust the cavity length and easily optimize the resonances due to the Fabry-Perot (FP) effect in the Si plates and in the cavity volume. The activation of the metallic-like state instead, by damping the FP oscillations in the plates, promotes the onset of a comb-like spectrum that can be exploited as a versatile tool for accurate sensing applications. Using both an analytical model and full-wave simulations, we estimate the device response to variation in the refractive index of the cavity volume, showing that the proposed structure can achieve sensitivity values among the highest reported for THz sensors.


title: Search for Stellar Flybys in the Sco-Cen OB Association with the Gaia DR2

abstract: High-contrast imaging studies of debris disks have revealed a significant diversity in their morphologies, including large-scale asymmetries. Theories involving stellar flybys, an external source of gravitational disturbance, have offered a plausible explanation for the origin of these morphological variations. Our study is an experiment to gain empirical evidence that has been lacking from such theories. We explore this paradigm by using astrometric and radial velocity measurements from the Gaia DR2 and ground-based observations to trace the trajectories of 625 stars in the Sco-Cen OB Association from 5 Myr in the past to 2 Myr in the future. We identified 119 stars that had at least one past flyby event occurring within one Hill radius, and 23 of these experienced flybys within 0.5 Hill radius. We found no evidence of a significant correlation between the presence of flyby events and infrared excess detections, although the sample is not uniformly sensitive to infrared excess emission. Ten stars that had past flyby events host resolved circumstellar disks that appear relatively symmetric in the existing data except for the circumbinary disk surrounding HD 106906. We determined the trajectory and relative velocity of each of these flyby events, and compared these to the geometry of the spatially-resolved disks. Future work is needed to measure the kinematics of lower mass stars and to improve sensitivity to circumstellar disks for the entire sample.


title: Semantics-Aware Active Fault Detection in Status Updating Systems

abstract: With its growing number of deployed devices and applications, the Internet of Things (IoT) raises significant challenges for network maintenance procedures. In this work we address a problem of active fault detection in an IoT scenario, whereby a monitor can probe a remote device in order to acquire fresh information and facilitate fault detection. However, probing could have a significant impact on the system's energy and communication resources. To this end, we utilize Age of Information as a measure of the freshness of information at the monitor and adopt a semantics-aware communication approach between the monitor and the remote device. In semantics-aware communications, the processes of generating and transmitting information are treated jointly to consider the importance of information and the purpose of communication. We formulate the problem as a Partially Observable Markov Decision Process and show analytically that the optimal policy is of a threshold type. Finally, we use a computationally efficient stochastic approximation algorithm to approximate the optimal policy and present numerical results that exhibit the advantage of our approach compared to a conventional delay-based probing policy.


title: Designing Social Distancing Policies for the COVID-19 Pandemic: A probabilistic model predictive control approach

abstract: The effective control of the COVID-19 pandemic is one the most challenging issues of nowadays. The design of optimal control policies is perplexed from a variety of social, political, economical and epidemiological factors. Here, based on epidemiological data reported in recent studies for the Italian region of Lombardy, which experienced one of the largest and most devastating outbreaks in Europe during the first wave of the pandemic, we address a probabilistic model predictive control (PMPC) approach for the modelling and the systematic study of what if scenarios of the social distancing in a retrospective analysis for the first wave of the pandemic in Lombardy. The performance of the proposed PMPC scheme was assessed based on simulations of a compartmental model that was developed to quantify the uncertainty in the level of the asymptomatic cases in the population, and the synergistic effect of social distancing in various activities, and public awareness campaign prompting people to adopt cautious behaviors to reduce the risk of disease transmission. The PMPC scheme takes into account the social mixing effect, i.e. the effect of the various activities in the potential transmission of the disease. The proposed approach demonstrates the utility of a PMPC approach in addressing COVID-19 transmission and implementing public relaxation policies.


title: A Long-Term Spectral Study of the Single Active Giant OP Andromedae

abstract: We present a spectral study of the single magnetically active K giant OP And in the period 1979 -- 2018, monitoring the variability of the activity indicator line H${\alpha}$. Original data obtained in the period 2015 -- 2018 with the echelle spectrograph ESpeRo at the 2m telescope of the National Astronomical Observatory Rozhen in Bulgaria, previously unpublished original data obtained in the period 1997 -- 2007 and on one night in 2013 with the Coude spectrograph at the same telescope, as well as data from the literature are presented in this study. The variability of the H${\alpha}$ line reveals that the activity level of OP And is higher in the period 1993 -- 2000, while during the period 2008 -- 2010 it is lower, possibly close to a minimum. Also, our data for the period 2015 -- 2018 show that the activity level is increasing again. Spectral observations of the activity indicators CaII H&K lines and CaII IR triplet are sparse during the studied period. We use such ones when possible to confirm the detection of some flare events. The structure of H${\alpha}$ changes with the activity level: when the activity is higher, we observe a blue-shifted component of this line, interpreted as an expanding area above the photosphere, but during a lower activity period it is almost absent. Our results are in a good agreement with the idea that the magnetic field controls the mass outflow in this giant. More years of observations are necessary to determine the eventual activity cycle of OP And.


title: Boundary behaviors of spacelike constant mean curvature surfaces in Schwarzschild spacetime

abstract: We prove that a spacelike spherical symmetric constant mean curvature (SSCMC) surface and a general spacelike constant mean curvature (CMC) surface with certain boundary condition at the future null-infinity in Schwarzschild spacetime are asymptotically hyperbolic in the sense of Wang \cite{Wang2001} and Chru\'sciel-Herzlich \cite{ChruscielHerzlich} respectively. Near the future null-infinity ($s=0$), we derive that the boundary data of spacelike CMC surfaces can be expressed as those on $\mathbb{S}^{2}$ up to three order and obtain a compatibility condition for fourth order derivatives near $s=0$. We also show that if the trace free part of the second fundamental forms $\mathring A$ of this spacelike CMC surface decay fast enough then the restriction of its associate function $P$ (for definition, see \eqref{defofp} ) on the null-infinity must be a first eigenfunction of the Laplace on $\mathbb{S}^2$ or constant. In particular in Minkowski spacetime, a uniqueness result and constructions of spacelike CMC surfaces near $s=0$ are proved. Also, we show that the inner boundary of certain spacelike CMC surfaces are totally geodesic.