title: On the Importance of Trust in Next-Generation Networked CPS Systems: An AI Perspective

abstract: With the increasing scale, complexity, and heterogeneity of the next generation networked systems, seamless control, management, and security of such systems becomes increasingly challenging. Many diverse applications have driven interest in networked systems, including large-scale distributed learning, multi-agent optimization, 5G service provisioning, and network slicing, etc. In this paper, we propose trust as a measure to evaluate the status of network agents and improve the decision-making process. We interpret trust as a relation among entities that participate in various protocols. Trust relations are based on evidence created by the interactions of entities within a protocol and may be a composite of multiple metrics such as availability, reliability, resilience, etc. depending on application context. We first elaborate on the importance of trust as a metric and then present a mathematical framework for trust computation and aggregation within a network. Then we show in practice, how trust can be integrated into network decision-making processes by presenting two examples. In the first example, we show how utilizing the trust evidence can improve the performance and the security of Federated Learning. Second, we show how a 5G network resource provisioning framework can be improved when augmented with a trust-aware decision-making scheme. We verify the validity of our trust-based approach through simulations. Finally, we explain the challenges associated with aggregating the trust evidence and briefly explain our ideas to tackle them.


title: On the power of random greedy algorithms

abstract: In this paper we solve two problems of Esperet, Kang and Thomasse as well as Li concerning (i) induced bipartite subgraphs in triangle-free graphs and (ii) van der Waerden numbers. Each time random greedy algorithms allow us to go beyond the Lovasz Local Lemma or alteration method used in previous work, illustrating the power of the algorithmic approach to the probabilistic method.


title: Distributed TD(0) with Almost No Communication

abstract: We provide a new non-asymptotic analysis of distributed TD(0) with linear function approximation. Our approach relies on "one-shot averaging," where $N$ agents run local copies of TD(0) and average the outcomes only once at the very end. We consider two models: one in which the agents interact with an environment they can observe and whose transitions depends on all of their actions (which we call the global state model), and one in which each agent can run a local copy of an identical Markov Decision Process, which we call the local state model. In the global state model, we show that the convergence rate of our distributed one-shot averaging method matches the known convergence rate of TD(0). By contrast, the best convergence rate in the previous literature showed a rate which, according to the worst-case bounds given, could underperform the non-distributed version by $O(N^3)$ in terms of the number of agents $N$. In the local state model, we demonstrate a version of the linear time speedup phenomenon, where the convergence time of the distributed process is a factor of $N$ faster than the convergence time of TD(0). As far as we are aware, this is the first result rigorously showing benefits from parallelism for temporal difference methods.


title: Minimal obstructions to $(s,1)$-polarity in cographs

abstract: Let $k,l$ be nonnegative integers. A graph $G$ is $(k,l)$-polar if its vertex set admits a partition $(A,B)$ such that $A$ induces a complete multipartite graph with at most $k$ parts, and $B$ induces a disjoint union of at most $l$ cliques with no other edges. A graph is a cograph if it does not contain $P_4$ as an induced subgraph. It is known that $(k,l)$-polar cographs can be characterized through a finite family of forbidden induced subgraphs, for any fixed choice of $k$ and $l$. The problem of determining the exact members of such family for $k = 2 = l$ was posted by Ekim, Mahadev and de Werra, and recently solved by Hell, Linhares-Sales and the second author of this paper. So far, complete lists of such forbidden induced subgraphs are known for $0 \le k,l \le 2$; notice that, in particular, $(1,1)$-polar graphs are precisely split graphs. In this paper, we focus on this problem for $(s,1)$-polar cographs. As our main result, we provide a recursive complete characterization of the forbidden induced subgraphs for $(s,1)$-polar cographs, for every non negative integer $s$. Additionally, we show that cographs having an $(s,1)$-partition for some integer $s$ (here $s$ is not fixed) can be characterized by forbidding a family of four graphs.


title: ZeRO-Infinity: Breaking the GPU Memory Wall for Extreme Scale Deep Learning

abstract: In the last three years, the largest dense deep learning models have grown over 1000x to reach hundreds of billions of parameters, while the GPU memory has only grown by 5x (16 GB to 80 GB). Therefore, the growth in model scale has been supported primarily though system innovations that allow large models to fit in the aggregate GPU memory of multiple GPUs. However, we are getting close to the GPU memory wall. It requires 800 NVIDIA V100 GPUs just to fit a trillion parameter model for training, and such clusters are simply out of reach for most data scientists. In addition, training models at that scale requires complex combinations of parallelism techniques that puts a big burden on the data scientists to refactor their model. In this paper we present ZeRO-Infinity, a novel heterogeneous system technology that leverages GPU, CPU, and NVMe memory to allow for unprecedented model scale on limited resources without requiring model code refactoring. At the same time it achieves excellent training throughput and scalability, unencumbered by the limited CPU or NVMe bandwidth. ZeRO-Infinity can fit models with tens and even hundreds of trillions of parameters for training on current generation GPU clusters. It can be used to fine-tune trillion parameter models on a single NVIDIA DGX-2 node, making large models more accessible. In terms of training throughput and scalability, it sustains over 25 petaflops on 512 NVIDIA V100 GPUs(40% of peak), while also demonstrating super linear scalability. An open source implementation of ZeRO-Infinity is available through DeepSpeed, a deep learning optimization library that makes distributed training easy, efficient, and effective.


title: Matching-oriented Product Quantization For Ad-hoc Retrieval

abstract: Product quantization (PQ) is a widely used technique for ad-hoc retrieval. Recent studies propose supervised PQ, where the embedding and quantization models can be jointly trained with supervised learning. However, there is a lack of appropriate formulation of the joint training objective; thus, the improvements over previous non-supervised baselines are limited in reality. In this work, we propose the Matching-oriented Product Quantization (MoPQ), where a novel objective Multinoulli Contrastive Loss (MCL) is formulated. With the minimization of MCL, we are able to maximize the matching probability of query and ground-truth key, which contributes to the optimal retrieval accuracy. Given that the exact computation of MCL is intractable due to the demand of vast contrastive samples, we further propose the Differentiable Cross-device Sampling (DCS), which significantly augments the contrastive samples for precise approximation of MCL. We conduct extensive experimental studies on four real-world datasets, whose results verify the effectiveness of MoPQ. The code is available at https://github.com/microsoft/MoPQ.


title: The Brown measure of a family of free multiplicative Brownian motions

abstract: We consider a family of free multiplicative Brownian motions $b_{s,\tau}$ parametrized by a real variance parameter $s$ and a complex covariance parameter $\tau.$ We compute the Brown measure $\mu_{s,\tau}$ of $ub_{s,\tau },$ where $u$ is a unitary element freely independent of $b_{s,\tau}.$ We find that $\mu_{s,\tau}$ has a simple structure, with a density in logarithmic coordinates that is constant in the $\tau$-direction. These results generalize those of Driver-Hall-Kemp and Ho-Zhong for the case $\tau=s.$ We also establish a remarkable "model deformation phenomenon," stating that all the Brown measures with $s$ fixed and $\tau$ varying are related by push-forward under a natural family of maps. Our proofs use a first-order nonlinear PDE of Hamilton-Jacobi type satisfied by the regularized log potential of the Brown measures. Although this approach is inspired by the PDE method introduced by Driver-Hall-Kemp, our methods are substantially different at both the technical and conceptual level.


title: On the computation of equilibria in monotone and potential stochastic hierarchical games

abstract: We consider a class of hierarchical noncooperative $N$-player games where the $i$th player solves a parametrized stochastic mathematical program with equilibrium constraints (MPEC) with the caveat that the implicit form of the $i$th player's in MPEC is convex in player strategy, given rival decisions. We develop computational schemes in two distinct regimes: (a) {\em Monotone regimes.} When player-specific implicit problems are convex, then the necessary and sufficient equilibrium conditions are given by a stochastic inclusion. Under a monotonicity assumption on the operator, we develop a variance-reduced stochastic proximal-point scheme that achieves deterministic rates of convergence in terms of solving proximal-point problems in monotone/strongly monotone regimes and the schemes are characterized by optimal or near-optimal sample-complexity guarantees. (b) {\em Potentiality.} When the implicit form of the game admits a potential function, we develop an asynchronous relaxed inexact smoothed proximal best-response framework. We consider the smoothed counterpart of this game where each player's problem is smoothed via randomized smoothing. Notably, under suitable assumptions, we show that an $\eta$-smoothed game admits an $\eta$-approximate Nash equilibrium of the original game. Our proposed scheme produces a sequence that converges almost surely to an $\eta$-approximate Nash equilibrium. The smoothing framework allows for developing a variance-reduced zeroth-order scheme for such problems that admits a fast rate of convergence. Numerical studies on a class of multi-leader multi-follower games suggest that variance-reduced proximal schemes provide significantly better accuracy with far lower run-times. The relaxed best-response scheme scales well will problem size and generally displays more stability than its unrelaxed counterpart.


title: SSPC-Net: Semi-supervised Semantic 3D Point Cloud Segmentation Network

abstract: Point cloud semantic segmentation is a crucial task in 3D scene understanding. Existing methods mainly focus on employing a large number of annotated labels for supervised semantic segmentation. Nonetheless, manually labeling such large point clouds for the supervised segmentation task is time-consuming. In order to reduce the number of annotated labels, we propose a semi-supervised semantic point cloud segmentation network, named SSPC-Net, where we train the semantic segmentation network by inferring the labels of unlabeled points from the few annotated 3D points. In our method, we first partition the whole point cloud into superpoints and build superpoint graphs to mine the long-range dependencies in point clouds. Based on the constructed superpoint graph, we then develop a dynamic label propagation method to generate the pseudo labels for the unsupervised superpoints. Particularly, we adopt a superpoint dropout strategy to dynamically select the generated pseudo labels. In order to fully exploit the generated pseudo labels of the unsupervised superpoints, we furthermore propose a coupled attention mechanism for superpoint feature embedding. Finally, we employ the cross-entropy loss to train the semantic segmentation network with the labels of the supervised superpoints and the pseudo labels of the unsupervised superpoints. Experiments on various datasets demonstrate that our semi-supervised segmentation method can achieve better performance than the current semi-supervised segmentation method with fewer annotated 3D points. Our code is available at https://github.com/MMCheng/SSPC-Net.


title: Variations of the Galactic Cosmic Rays in the Recent Solar Cycles

abstract: In this paper, we study the galactic cosmic ray (GCR) variations over the solar cycles 23 and 24, with measurements from the NASA's ACE/CRIS instrument and the ground-based neutron monitors (NMs). The results show that the maximum GCR intensities of heavy nuclei (nuclear charge 5-28, 50-500 MeV/nuc) at 1 AU during the solar minimum in 2019-2020 break their previous records, exceeding those recorded in 1997 and 2009 by ~25% and ~6%, respectively, and are at the highest levels since the space age. However, the peak NM count rates are lower than those in late 2009. The difference between GCR intensities and NM count rates still remains to be explained. Furthermore, we find that the GCR modulation environment during the solar minimum P24/25 are significantly different from previous solar minima in several aspects, including remarkably low sunspot numbers, extremely low inclination of the heliospheric current sheet, rare coronal mass ejections, weak interplanetary magnetic field and turbulence. These changes are conducive to reduce the level of solar modulation, providing a plausible explanation for the record-breaking GCR intensities in interplanetary space.


title: An analytical model to kinematically identify thin discs in MaNGA galaxies

abstract: We present an analytical model to identify thin discs in galaxies, and apply this model to a sample of SDSS MaNGA galaxies. This model fits the velocity and velocity dispersion fields of galaxies with regular kinematics. By introducing two parameters $\zeta$ related to the comparison of the model's asymmetric drift correction to the observed gas kinematics and $\eta$ related to the dominant component of a galaxy, we classify the galaxies in the sample as "disc-dominated", "non-disc-dominated", or "disc-free" indicating galaxies with a dominating thin disc, a non-dominating thin disc, or no thin disc detection with our method, respectively. The dynamical mass resulting from our model correlates with stellar mass, and we investigate discrepancies by including gas mass and variation of the initial mass function. As expected, most spiral galaxies in the sample are disc-dominated, while ellipticals are predominantly disc-free. Lenticular galaxies show a dichotomy in their kinematic classification, which is related to their different star formation rates and gas fractions. We propose two possible scenarios to explain these results. In the first scenario, disc-free lenticulars formed in more violent processes than disc-dominated ones, while in the second scenario, the quenching processes in lenticulars lead to a change in their kinematic structures as disc-dominated lenticulars evolve to disc-free ones.


title: An Empirical Bayesian Approach to Limb-darkening in Modeling WASP-121b Transit Light Curves

abstract: We present a novel, iterative method using an empirical Bayesian approach for modeling the limb darkened WASP-121b transit from the TESS light curve. Our method is motivated by the need to improve $R_{p}/R_{\ast}$ estimates for exoplanet atmosphere modeling, and is particularly effective with the limb darkening (LD) quadratic law requiring no prior central value from stellar atmospheric models. With the non-linear LD law, the method has all the advantages of not needing atmospheric models but does not converge. The iterative method gives a different $R_{p}/R_{\ast}$ for WASP-121b at a significance level of 1$\sigma$ when compared with existing non-iterative methods. To assess the origins and implications of this difference, we generate and analyze light curves with known values of the limb darkening coefficients (LDCs). We find that non-iterative modeling with LDC priors from stellar atmospheric models results in an inconsistent $R_{p}/R_{\ast}$ at 1.5$\sigma$ level when the known LDC values are as those previously found when modeling real data by the iterative method. In contrast, the LDC values from the iterative modeling yields the correct value of $R_{p}/R_{\ast}$ to within 0.25$\sigma$. For more general cases with different known inputs, Monte Carlo simulations show that the iterative method obtains unbiased LDCs and correct $R_{p}/R_{\ast}$ to within a significance level of 0.3$\sigma$. Biased LDC priors can cause biased LDC posteriors and lead to bias in the $R_{p}/R_{\ast}$ of up to 0.82$\%$, 2.5$\sigma$ for the quadratic law and 0.32$\%$, 1.0$\sigma$ for the non-linear law. Our improvement in $R_{p}/R_{\ast}$ estimation is important when analyzing exoplanet atmospheres.


title: Data-driven Optimization Model for Global Covid-19 Intervention Plans

abstract: In the wake of COVID-19, every government huddles to find the best interventions that will reduce the number of infection cases while minimizing the economic impact. However, with many intervention policies available, how should one decide which policy is the best course of action? In this work, we describe an integer programming approach to prescribe intervention plans that optimizes for both the minimal number of daily new cases and economic impact. We present a method to estimate the impact of intervention plans on the number of cases based on historical data. Finally, we demonstrate visualizations and summaries of our empirical analyses on the performance of our model with varying parameters compared to two sets of heuristics.


title: Sixth Order Compact Finite Difference Scheme for Poisson Interface Problem with Singular Sources

abstract: Let $\Gamma$ be a smooth curve inside a two-dimensional rectangular region $\Omega$. In this paper, we consider the Poisson interface problem $-\nabla^2 u=f$ in $\Omega\setminus \Gamma$ with Dirichlet boundary condition such that $f$ is smooth in $\Omega\setminus \Gamma$ and the jump functions $[u]$ and $[\nabla u\cdot \vec{n}]$ across $\Gamma$ are smooth along $\Gamma$. This Poisson interface problem includes the weak solution of $-\nabla^2 u=f+g\delta_\Gamma$ in $\Omega$ as a special case. Because the source term $f$ is possibly discontinuous across the interface curve $\Gamma$ and contains a delta function singularity along the curve $\Gamma$, both the solution $u$ of the Poisson interface problem and its flux $\nabla u\cdot \vec{n}$ are often discontinuous across the interface. To solve the Poisson interface problem with singular sources, in this paper we propose a sixth order compact finite difference scheme on uniform Cartesian grids. Our proposed compact finite difference scheme with explicitly given stencils extends the immersed interface method (IIM) to the highest possible accuracy order six for compact finite difference schemes on uniform Cartesian grids, but without the need to change coordinates into the local coordinates as in most papers on IIM in the literature. Also in contrast with most published papers on IIM, we explicitly provide the formulas for all involved stencils. The coefficient matrix $A$ in the resulting linear system $Ax=b$, following from the proposed scheme, is independent of any source term $f$, jump condition $g\delta_\Gamma$, interface curve $\Gamma$ and Dirichlet boundary conditions. Our numerical experiments confirm the sixth accuracy order of the proposed compact finite difference scheme on uniform meshes for the Poisson interface problems with various singular sources.


title: SGL: Spectral Graph Learning from Measurements

abstract: This work introduces a highly scalable spectral graph densification framework for learning resistor networks with linear measurements, such as node voltages and currents. We prove that given $O(\log N)$ pairs of voltage and current measurements, it is possible to recover ultra-sparse $N$-node resistor networks which can well preserve the effective resistance distances on the graph. Also, the learned graphs preserve the structural (spectral) properties of the original graph, which can potentially be leveraged in many circuit design and optimization tasks. We show that the proposed graph learning approach is equivalent to solving the classical graphical Lasso problems with Laplacian-like precision matrices. Through extensive experiments for a variety of real-world test cases, we show that the proposed approach is highly scalable for learning ultra-sparse resistor networks without sacrificing solution quality.


title: Segmenting Subtitles for Correcting ASR Segmentation Errors

abstract: Typical ASR systems segment the input audio into utterances using purely acoustic information, which may not resemble the sentence-like units that are expected by conventional machine translation (MT) systems for Spoken Language Translation. In this work, we propose a model for correcting the acoustic segmentation of ASR models for low-resource languages to improve performance on downstream tasks. We propose the use of subtitles as a proxy dataset for correcting ASR acoustic segmentation, creating synthetic acoustic utterances by modeling common error modes. We train a neural tagging model for correcting ASR acoustic segmentation and show that it improves downstream performance on MT and audio-document cross-language information retrieval (CLIR).


title: Faithfully Explainable Recommendation via Neural Logic Reasoning

abstract: Knowledge graphs (KG) have become increasingly important to endow modern recommender systems with the ability to generate traceable reasoning paths to explain the recommendation process. However, prior research rarely considers the faithfulness of the derived explanations to justify the decision making process. To the best of our knowledge, this is the first work that models and evaluates faithfully explainable recommendation under the framework of KG reasoning. Specifically, we propose neural logic reasoning for explainable recommendation (LOGER) by drawing on interpretable logical rules to guide the path reasoning process for explanation generation. We experiment on three large-scale datasets in the e-commerce domain, demonstrating the effectiveness of our method in delivering high-quality recommendations as well as ascertaining the faithfulness of the derived explanation.


title: Estimation of the Global Mode of a Density: Minimaxity, Adaptation, and Computational Complexity

abstract: We consider the estimation of the global mode of a density under some decay rate condition around the global mode. We show that the maximum of a histogram, with proper choice of bandwidth, achieves the minimax rate that we establish for the setting that we consider. This is based on knowledge of the decay rate. Addressing the situation where the decay rate is unknown, we propose a multiscale variant consisting in the recursive refinement of a histogram, which is shown to be minimax adaptive. These methods run in linear time, and we prove in an appendix that this is best possible: There is no estimation procedure that runs in sublinear time that achieves the minimax rate.


title: Polytope structures for Greenberger-Horne-Zeilinger diagonal states

abstract: We explore the polytope structures for genuine entanglement, biseparability, full biseparability and Bell inequality of multi-qubit GHZ diagonal states. We first show that biseparable GHZ diagonal states make hypersimplices inside the simplices consisting of all GHZ diagonal states. Next, we consider full biseparability which is equivalent to positive partial transpose for GHZ diagonal states, and show that they make the convex hulls of simplices and cubes. We also visualize which part of the simplex violates multipartite Bell inequality. Finally, we compute precise volumes for genuine entanglement, biseparability, full biseparability and states violating Bell inequality among all GHZ diagonal states.


title: Quantitative characteristics of cycles and their relations with stretch and spanning tree congestion

abstract: The main goal of this article is to introduce new quantitative characteristics of cycles in finite simple connected graphs and to establish relations of these characteristics with the stretch and spanning tree congestion of graphs. The main new parameter is named the support number. We give a polynomial approximation algorithm for the support number with the aid of yet another characteristic we introduce, named the cycle width of the graph.


title: Improved regularity of harmonic diffeomorphic extensions on quasihyperbolic domains

abstract: Let $\mathbb{X}$ be a Jordan domain satisfying hyperbolic growth conditions. Assume that $\varphi$ is a homeomorphism from the boundary $\partial \mathbb{X}$ of $\mathbb{X}$ onto the unit circle. Denote by $h$ the harmonic diffeomorphic extension of $\varphi $ from $\mathbb{X}$ onto the unit disk. We establish the optimal Orlicz-Sobolev regularity and weighted Sobolev estimate of $h.$ These generalize the Sobolev regularity of $h$ by Koski-Onninen [21, Theorem 3.1].


title: Translational NLP: A New Paradigm and General Principles for Natural Language Processing Research

abstract: Natural language processing (NLP) research combines the study of universal principles, through basic science, with applied science targeting specific use cases and settings. However, the process of exchange between basic NLP and applications is often assumed to emerge naturally, resulting in many innovations going unapplied and many important questions left unstudied. We describe a new paradigm of Translational NLP, which aims to structure and facilitate the processes by which basic and applied NLP research inform one another. Translational NLP thus presents a third research paradigm, focused on understanding the challenges posed by application needs and how these challenges can drive innovation in basic science and technology design. We show that many significant advances in NLP research have emerged from the intersection of basic principles with application needs, and present a conceptual framework outlining the stakeholders and key questions in translational research. Our framework provides a roadmap for developing Translational NLP as a dedicated research area, and identifies general translational principles to facilitate exchange between basic and applied research.


title: Machine Learning Approaches to Learn HyChem Models

abstract: The HyChem approach has recently been proposed for modeling high-temperature combustion of real, multi-component fuels. The approach combines lumped reaction steps for fuel thermal and oxidative pyrolysis with detailed chemistry for the oxidation of the resulting pyrolysis products. However, the approach usually shows substantial discrepancies with experimental data within the Negative Temperature Coefficient (NTC) regime, as the low-temperature chemistry is more fuel-specific than high-temperature chemistry. This paper proposes a machine learning approach to learn the HyChem models that can cover both high-temperature and low-temperature regimes. Specifically, we develop a HyChem model using the experimental datasets of ignition delay times covering a wide range of temperatures and equivalence ratios. The chemical kinetic model is treated as a neural network model, and we then employ stochastic gradient descent (SGD), a technique that was developed for deep learning, for the training. We demonstrate the approach in learning the HyChem model for F-24, which is a Jet-A derived fuel, and compare the results with previous work employing genetic algorithms. The results show that the SGD approach can achieve comparable model performance with genetic algorithms but the computational cost is reduced by 1000 times. In addition, with regularization in SGD, the SGD approach changes the kinetic parameters from their original values much less than genetic algorithm and is thus more likely to retrain mechanistic meanings. Finally, our approach is built upon open-source packages and can be applied to the development and optimization of chemical kinetic models for internal combustion engine simulations.


title: Deep Stable Learning for Out-Of-Distribution Generalization

abstract: Approaches based on deep neural networks have achieved striking performance when testing data and training data share similar distribution, but can significantly fail otherwise. Therefore, eliminating the impact of distribution shifts between training and testing data is crucial for building performance-promising deep models. Conventional methods assume either the known heterogeneity of training data (e.g. domain labels) or the approximately equal capacities of different domains. In this paper, we consider a more challenging case where neither of the above assumptions holds. We propose to address this problem by removing the dependencies between features via learning weights for training samples, which helps deep models get rid of spurious correlations and, in turn, concentrate more on the true connection between discriminative features and labels. Extensive experiments clearly demonstrate the effectiveness of our method on multiple distribution generalization benchmarks compared with state-of-the-art counterparts. Through extensive experiments on distribution generalization benchmarks including PACS, VLCS, MNIST-M, and NICO, we show the effectiveness of our method compared with state-of-the-art counterparts.


title: A De-raining semantic segmentation network for real-time foreground segmentation

abstract: Few researches have been proposed specifically for real-time semantic segmentation in rainy environments. However, the demand in this area is huge and it is challenging for lightweight networks. Therefore, this paper proposes a lightweight network which is specially designed for the foreground segmentation in rainy environments, named De-raining Semantic Segmentation Network (DRSNet). By analyzing the characteristics of raindrops, the MultiScaleSE Block is targetedly designed to encode the input image, it uses multi-scale dilated convolutions to increase the receptive field, and SE attention mechanism to learn the weights of each channels. In order to combine semantic information between different encoder and decoder layers, it is proposed to use Asymmetric Skip, that is, the higher semantic layer of encoder employs bilinear interpolation and the output passes through pointwise convolution, then added element-wise to the lower semantic layer of decoder. According to the control experiments, the performances of MultiScaleSE Block and Asymmetric Skip compared with SEResNet18 and Symmetric Skip respectively are improved to a certain degree on the Foreground Accuracy index. The parameters and the floating point of operations (FLOPs) of DRSNet is only 0.54M and 0.20GFLOPs separately. The state-of-the-art results and real-time performances are achieved on both the UESTC all-day Scenery add rain (UAS-add-rain) and the Baidu People Segmentation add rain (BPS-add-rain) benchmarks with the input sizes of 192*128, 384*256 and 768*512. The speed of DRSNet exceeds all the networks within 1GFLOPs, and Foreground Accuracy index is also the best among the similar magnitude networks on both benchmarks.


title: Histopathology WSI Encoding based on GCNs for Scalable and Efficient Retrieval of Diagnostically Relevant Regions

abstract: Content-based histopathological image retrieval (CBHIR) has become popular in recent years in the domain of histopathological image analysis. CBHIR systems provide auxiliary diagnosis information for pathologists by searching for and returning regions that are contently similar to the region of interest (ROI) from a pre-established database. While, it is challenging and yet significant in clinical applications to retrieve diagnostically relevant regions from a database that consists of histopathological whole slide images (WSIs) for a query ROI. In this paper, we propose a novel framework for regions retrieval from WSI-database based on hierarchical graph convolutional networks (GCNs) and Hash technique. Compared to the present CBHIR framework, the structural information of WSI is preserved through graph embedding of GCNs, which makes the retrieval framework more sensitive to regions that are similar in tissue distribution. Moreover, benefited from the hierarchical GCN structures, the proposed framework has good scalability for both the size and shape variation of ROIs. It allows the pathologist defining query regions using free curves according to the appearance of tissue. Thirdly, the retrieval is achieved based on Hash technique, which ensures the framework is efficient and thereby adequate for practical large-scale WSI-database. The proposed method was validated on two public datasets for histopathological WSI analysis and compared to the state-of-the-art methods. The proposed method achieved mean average precision above 0.857 on the ACDC-LungHP dataset and above 0.864 on the Camelyon16 dataset in the irregular region retrieval tasks, which are superior to the state-of-the-art methods. The average retrieval time from a database within 120 WSIs is 0.802 ms.


title: Implementing a magnonic time-delay reservoir computer model

abstract: Recently we demonstrated experimentally that microwave oscillators based on the time delay feedback provided by traveling spin waves could operate as reservoir computers. In the present paper, we extend this concept by adding the feature of time multiplexing made available by the large propagation times/distances of traveling spin waves. The system utilizes the nonlinear behavior of propagating magnetostatic surface spin waves in a yttrium-iron garnet thin film and the time delay inherent in the active ring configuration to process time dependent data streams. Higher reservoir dimensionality is obtained through the time-multiplexing method, emulating "virtual" neurons as temporally separated spin-wave pulses circulating in the active ring below the auto-oscillation threshold. To demonstrate the efficacy of the concept, the active ring reservoir computer is evaluated on the short-term memory and parity check benchmark tasks, and the physical system parameters are tuned to optimize performance. By incorporating a reference line to mix the input signal directly onto the active ring output, both the amplitude and phase nonlinearity of the spin waves can be exploited, resulting in significant improvement on the nonlinear parity check task. We also find that the fading memory capacity of the system can be easily tuned by controlling the active ring gain. Finally, we show that the addition of a second spin-wave delay line configured to transmit backward volume spin waves can partly compensate dispersive pulse broadening and enhance the fading memory capacity of the active ring.


title: Regular magnetic orders in triangular and kagome lattices

abstract: We investigate the possible regular magnetic order (RMO) for the spin models with global O(3) spin rotation, based on a group theoretical approach for triangular and kagome lattices. The main reason to study these RMOs is that they are good variational candidates for the ground states of many specific models. In this work, we followed the prescription introduced by Messio et al. (L. Messio, C. Lhuillier, and G. Misguich, Phys. Rev. B, 2011, 83, 184401) for the p6m group and extended their work for different subgroups of p6m, i.e., p6, p3, p3m1, and p31m. We have listed all the possible regular magnetic orders for kagome and triangular lattices, which fall into the category of these groups. We calculate the energy and the spin structure factors for each of these states.


title: Turbulence-based load alleviation control for wind turbine in extreme turbulence situation

abstract: The extreme loads experienced by the wind turbine in the extreme wind events are critical for the evaluation of structural reliability. Hence, the load alleviation control methods need to be designed and deployed to reduce the adverse effects of extreme wind events. This work demonstrates that the extreme loads are highly correlated to wind conditions such as turbulence-induced wind shears. Based on this insight, this work proposes a turbulence-based load alleviation control strategy for adapting the controller to changes in wind condition. The estimation of the rotor averaged wind shear based on the rotor loads is illustrated, and is herein used to statistically characterize the extreme wind events for control purpose. To demonstrates the benefits, simulations are carried out using high-fidelity aero-elastic tool and the DTU 10 MW reference turbine in normal and extreme turbulence wind conditions. The results indicate that the proposed method can effectively decrease the exceedance probability of the extreme loads. Meanwhile, the method can minimize the loss of annual energy production in normal operating condition.


title: Breakdown of the ionization potential theorem of density functional theory in mesoscopic systems

abstract: The IP-theorem of the Kohn-Sham (KS) density functional theory (DFT) states that the energy of the highest occupied molecular orbital (HOMO) $\epsilon_{HOMO}$ equals the negative of the first ionization potential (IP), thus ascribing a physical meaning to one of the eigenvalues of the KS hamiltonian. We scrutinize the fact that the validity of the IP-theorem relies critically on the electron density $n({\bf r})$, far from the system, to be determined by HOMO only, behaving as $n({\bf r}) \underset{r\to\infty}{\sim} e^{- 2 \sqrt{-2 \epsilon_{HOMO}} r}$. While this behavior always holds for finite systems, it does not hold for mesoscopic ones, such as quasi-two-dimensional (Q2D) electron gas or Q2D crystals. We show that this leads to the violation of the IP-theorem for the latter class of systems. This finding has a strong bearing on the role of the KS valence band with respect to the work-function problem in the mesoscopic case. Based on our results, we introduce a concept of the IP band structure as an observable alternative to its unphysical KS counterpart. A practical method of the determination of IP band structure in terms of DFT quantities is provided.


title: Bisection for kinetically constrained models revisited

abstract: The bisection method for kinetically constrained models (KCM) of Cancrini, Martinelli, Roberto and Toninelli is a vital technique applied also beyond KCM. In this note we present a new way of performing it, based on a novel two-block dynamics with a probabilistic proof instead of the original spectral one. We illustrate the method by very directly proving an upper bound on the relaxation time of KCM like the one for the East model in a strikingly general setting. Namely, we treat KCM on finite or infinite one-dimensional volumes, with any boundary condition, conditioned on any of the irreducible components of the state space, with arbitrary site-dependent state spaces and, most importantly, arbitrary inhomogeneous rules.


title: A Practical Assessment of the Power Grid Inertia Constant Using PMUs

abstract: Installation of phasor measurement units (PMUs) in a number of substations in the power grid can help assess a set of its values and parameters, in particular those related to the dynamics when disturbances occur in the system. Inertia constant of the power grid is one of the system stability related parameters that is essential for planning of the system spinning reserve. Estimates of the grid inertia constant require precise information of the system frequency at the time of disturbance. In this paper, an improved method for such estimate is presented, which is based on the derived data of frequency variations obtained from PMUs. In addition, a way to obtain the appropriate interval for the lowest error estimate is discussed. The method has been applied to assess the inertia constant of the Iranian power grid, by obtaining the rate of change of frequency after a disturbance in the defined interval, and the rate of specified power imbalance between electrical power input and output.


title: Probing Across Time: What Does RoBERTa Know and When?

abstract: Models of language trained on very large corpora have been demonstrated useful for NLP. As fixed artifacts, they have become the object of intense study, with many researchers "probing" the extent to which linguistic abstractions, factual and commonsense knowledge, and reasoning abilities they acquire and readily demonstrate. Building on this line of work, we consider a new question: for types of knowledge a language model learns, when during (pre)training are they acquired? We plot probing performance across iterations, using RoBERTa as a case study. Among our findings: linguistic knowledge is acquired fast, stably, and robustly across domains. Facts and commonsense are slower and more domain-sensitive. Reasoning abilities are, in general, not stably acquired. As new datasets, pretraining protocols, and probes emerge, we believe that probing-across-time analyses can help researchers understand the complex, intermingled learning that these models undergo and guide us toward more efficient approaches that accomplish necessary learning faster.


title: Reinforced Neighborhood Selection Guided Multi-Relational Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have been widely used for the representation learning of various structured graph data. While promising, most existing GNNs oversimplified the complexity and diversity of the edges in the graph, and thus inefficient to cope with ubiquitous heterogeneous graphs, which are typically in the form of multi-relational graph representations. In this paper, we propose RioGNN, a novel Reinforced, recursive and flexible neighborhood selection guided multi-relational Graph Neural Network architecture, to navigate complexity of neural network structures whilst maintaining relation-dependent representations. We first construct a multi-relational graph, according to the practical task, to reflect the heterogeneity of nodes, edges, attributes and labels. To avoid the embedding over-assimilation among different types of nodes, we employ a label-aware neural similarity measure to ascertain the most similar neighbors based on node attributes. A reinforced relation-aware neighbor selection mechanism is developed to choose the most similar neighbors of a targeting node within a relation before aggregating all neighborhood information from different relations to obtain the eventual node embedding. Particularly, to improve the efficiency of neighbor selecting, we propose a new recursive and scalable reinforcement learning framework with estimable depth and width for different scales of multi-relational graphs. RioGNN can learn more discriminative node embedding with enhanced explainability due to the recognition of individual importance of each relation via the filtering threshold mechanism. Comprehensive experiments on real-world graph data and practical tasks demonstrate the advancements of effectiveness, efficiency and the model explainability, as opposed to other comparative GNN models.


title: A Penalty Decomposition Algorithm with Greedy Improvement for Mean-Reverting Portfolios with Sparsity and Volatility Constraints

abstract: Mean-reverting portfolios with few assets, but high variance, are of great interest for investors in financial markets. Such portfolios are straightforwardly profitable because they include a small number of assets whose prices not only oscillate predictably around a long-term mean but also possess enough volatility. Roughly speaking, sparsity minimizes trading costs, volatility provides arbitrage opportunities, and mean-reversion property equips investors with ideal investment strategies. Finding such favorable portfolios can be formulated as a nonconvex quadratic optimization problem with an additional sparsity constraint. To the best of our knowledge, there is no method for solving this problem and enjoying favorable theoretical properties yet. In this paper, we develop an effective two-stage algorithm for this problem. In the first stage, we apply a tailored penalty decomposition method for finding a stationary point of this nonconvex problem. For a fixed penalty parameter, the block coordinate descent method is utilized to find a stationary point of the associated penalty subproblem. In the second stage, we improve the result from the first stage via a greedy scheme that solves restricted nonconvex quadratically constrained quadratic programs (QCQPs). We show that the optimal value of such a QCQP can be obtained by solving their semidefinite relaxations. Numerical experiments on S\&P 500 are conducted to demonstrate the effectiveness of the proposed algorithm.


title: Optimal Algorithmic Monetary Policy

abstract: Centralized monetary policy, leading to persistent inflation, is often inconsistent, untrustworthy, and unpredictable. Algorithmic stablecoins enabled by blockchain technology are promising in solving this problem. Algorithmic stablecoins utilize a monetary policy that is entirely rule-based. However, there is little understanding of how to optimize the rule. We propose a model that trade-off the price for supply stability. We further study the comparative statics by varying several design features. Finally, we discuss the empirical implications for designing stablecoins by the private sector and Central Bank Digital Currency (CBDC) by the public sector.

categories: econ.GN cs.CR cs.NA math.NA q-fin.CP q-fin.EC stat.CO


title: Observability of Zero-angular-momentum Sources Near Kerr Black Holes

abstract: We revisit monochromatic and isotropic photon emissions from the zero-angular\linebreak-momentum sources (ZAMSs) near a Kerr black hole. We investigate the escape probability of the photons that can reach to infinity and study the energy shifts of these escaping photons, which could be expressed as the functions of the source radius and the black hole spin. We study the cases for generic source radius and black hole spin, but we pay special attention to the near-horizon (near-)extremal Kerr ((near-)NHEK) cases. We reproduce the relevant numerical results using a more efficient method and get new analytical results for (near-)extremal cases. The main non-trivial results are: in the NHEK region of a (near-)extremal Kerr black hole, the escape probability for a ZAMS tends to $\frac{7}{24}\approx 29.17\%$, independent of the NHEK radius; at the innermost of the photon shell (IPS) in the near-NHEK region, the escape probability for a ZAMS tends to \begin{equation} \frac{5}{12} -\frac{1}{\sqrt{7}} + \frac{2}{\sqrt{7}\pi}\arctan\frac{1}{\sqrt{7}}\approx12.57\% . \nonumber \end{equation} The results show that the photon escape probability remains a relatively large nonzero value even though the ZAMS is in the deepest region of a near-horizon throat of a high spin Kerr black hole, as long as the ZAMS is outside the IPS. The energies of the escaping photons at infinity, however, are all redshifted but still visible in principle.


title: Spin-ice dynamics of pyrochlore Dy2GaSbO7 with enhanced Pauling zero-point entropy

abstract: We report the low-temperature magnetothermal properties and spin dynamics of a mixed pyrochlore, Dy2GaSbO7 through the coordination of measurements of dc magnetization, ac susceptibility, and heat capacity, and CF computation. In Dy2GaSbO7, the spins freeze at temperature Tice = 3.1 K, corresponding to dynamical spin-freezing into a disordered state in compliance with the spin-ice rules, but with enhanced zero-point entropy, unlike cannonical dipolar spin-ice materials, Dy2Ti2O7 and Ho2Ti2O7, due to random disorder and varied chemical pressure of B-site (GaSb tetrahedra) ions.


title: Circuit-aware Device Modeling of Energy-efficient Monolayer WS$_2$ Trench-FinFETs

abstract: The continuous scaling of semiconductor technology has pushed the footprint of logic devices below 50 nm. Currently, logic standard cells with one single fin are being investigated to increase the integration density, although such options could severely limit the performance of individual devices. In this letter, we present a novel Trench (T-) FinFET device, composed of a monolayer two-dimensional (2D) channel material. The device characteristics of a monolayer WS$_2$-based T-FinFET are studied by combining the first-principles calculations and quantum transport (QT) simulations. These results serve as inputs to a predictive analytical model. The latter allows to benchmark the T-FinFET with strained (s)-Si FinFETs in both quasi-ballistic and diffusive transport regimes. The circuit-level evaluation highlights that WS$_2$ T-FinFETs exhibit a competitive energy-delay performance compared to s-Si FinFET and WS$_2$ double-gate transistors, assuming the same mobility and contact resistivity at small footprints.


title: Higher-Order Attribute-Enhancing Heterogeneous Graph Neural Networks

abstract: Graph neural networks (GNNs) have been widely used in deep learning on graphs. They can learn effective node representations that achieve superior performances in graph analysis tasks such as node classification and node clustering. However, most methods ignore the heterogeneity in real-world graphs. Methods designed for heterogeneous graphs, on the other hand, fail to learn complex semantic representations because they only use meta-paths instead of meta-graphs. Furthermore, they cannot fully capture the content-based correlations between nodes, as they either do not use the self-attention mechanism or only use it to consider the immediate neighbors of each node, ignoring the higher-order neighbors. We propose a novel Higher-order Attribute-Enhancing (HAE) framework that enhances node embedding in a layer-by-layer manner. Under the HAE framework, we propose a Higher-order Attribute-Enhancing Graph Neural Network (HAEGNN) for heterogeneous network representation learning. HAEGNN simultaneously incorporates meta-paths and meta-graphs for rich, heterogeneous semantics, and leverages the self-attention mechanism to explore content-based nodes interactions. The unique higher-order architecture of HAEGNN allows examining the first-order as well as higher-order neighborhoods. Moreover, HAEGNN shows good explainability as it learns the importances of different meta-paths and meta-graphs. HAEGNN is also memory-efficient, for it avoids per meta-path based matrix calculation. Experimental results not only show HAEGNN superior performance against the state-of-the-art methods in node classification, node clustering, and visualization, but also demonstrate its superiorities in terms of memory efficiency and explainability.


title: On Kippenhahn curves and higher-rank numerical ranges of some matrices

abstract: The higher rank numerical ranges of generic matrices are described in terms of the components of their Kippenhahn curves. Cases of tridiagonal (in particular, reciprocal) 2-periodic matrices are treated in more detail.


title: Faithful and Plausible Explanations of Medical Code Predictions

abstract: Machine learning models that offer excellent predictive performance often lack the interpretability necessary to support integrated human machine decision-making. In clinical medicine and other high-risk settings, domain experts may be unwilling to trust model predictions without explanations. Work in explainable AI must balance competing objectives along two different axes: 1) Explanations must balance faithfulness to the model's decision-making with their plausibility to a domain expert. 2) Domain experts desire local explanations of individual predictions and global explanations of behavior in aggregate. We propose to train a proxy model that mimics the behavior of the trained model and provides fine-grained control over these trade-offs. We evaluate our approach on the task of assigning ICD codes to clinical notes to demonstrate that explanations from the proxy model are faithful and replicate the trained model behavior.


title: On combinatorics of Voronoi polytopes for perturbations of the dual root lattices

abstract: The Voronoi conjecture on parallelohedra claims that for every convex polytope $P$ that tiles Euclidean $d$-dimensional space with translations there exists a $d$-dimensional lattice such that $P$ and the Voronoi polytope of this lattice are affinely equivalent. The Voronoi conjecture is still open for the general case but it is known that some combinatorial restriction for the face structure of $P$ ensure that the Voronoi conjecture holds for $P$. In this paper we prove that if $P$ is the Voronoi polytope of one of the dual root lattices $\mathsf{D}_d^*$, $\mathsf{E}_6^*$, $\mathsf{E}_7^*$ or $\mathsf{E}_8^*=\mathsf{E}_8$ or their small perturbations, then every parallelohedron combinatorially equivalent to $P$ in strong sense satisfies the Voronoi conjecture.


title: Generating Bug-Fixes Using Pretrained Transformers

abstract: Detecting and fixing bugs are two of the most important yet frustrating parts of the software development cycle. Existing bug detection tools are based mainly on static analyzers, which rely on mathematical logic and symbolic reasoning about the program execution to detect common types of bugs. Fixing bugs is typically left out to the developer. In this work we introduce DeepDebug: a data-driven program repair approach which learns to detect and fix bugs in Java methods mined from real-world GitHub repositories. We frame bug-patching as a sequence-to-sequence learning task consisting of two steps: (i) denoising pretraining, and (ii) supervised finetuning on the target translation task. We show that pretraining on source code programs improves the number of patches found by 33% as compared to supervised training from scratch, while domain-adaptive pretraining from natural language to code further improves the accuracy by another 32%. We refine the standard accuracy evaluation metric into non-deletion and deletion-only fixes, and show that our best model generates 75% more non-deletion fixes than the previous state of the art. In contrast to prior work, we attain our best results when generating raw code, as opposed to working with abstracted code that tends to only benefit smaller capacity models. Finally, we observe a subtle improvement from adding syntax embeddings along with the standard positional embeddings, as well as with adding an auxiliary task to predict each token's syntactic class. Despite focusing on Java, our approach is language agnostic, requiring only a general-purpose parser such as tree-sitter.


title: Tiny-scale Structure Discovered toward PSR B1557$-$50

abstract: Optical depth variations in the Galactic neutral interstellar medium (ISM) with spatial scales from hundreds to thousands of astronomical units have been observed through HI absorption against pulsars and continuum sources, while extremely small structures with spatial scales of tens of astronomical units remain largely unexplored. The nature and formation of such tiny-scale atomic structures (TSAS) need to be better understood. We report a tentative detection of TSAS with a signal-to-noise ratio of 3.2 toward PSR B1557$-$50 in the second epoch of two Parkes sessions just 0.36 yr apart, which are the closest-spaced spectral observations toward this pulsar. One absorption component showing marginal variations has been identified. Based on the pulsar's proper motion of 14 mas $\rm yr^{-1}$ and the component's kinematic distance of 3.3 kpc, the corresponding characteristic spatial scale is 17 au, which is among the smallest sizes of known TSAS. Assuming a similar line-of-sight (LOS) depth, the tentative TSAS cloud detected here is overdense and overpressured relative to the cold neutral medium (CNM), and can radiatively cool fast enough to be in thermal equilibrium with the ambient environment. We find that turbulence is not sufficient to confine the overpressured TSAS. We explore the LOS elongation that would be required for the tentative TSAS to be at the canonical CNM pressure, and find that it is $\sim5000$ -- much larger than filaments observed in the ISM. We see some evidence of line width and temperature variations in the CNM components observed at the two epochs, as predicted by models of TSAS-like cloud formation colliding warm neutral medium flows.


title: Minimum Cuts in Directed Graphs via $\sqrt{n}$ Max-Flows

abstract: We give an algorithm to find a mincut in an $n$-vertex, $m$-edge weighted directed graph using $\tilde O(\sqrt{n})$ calls to any maxflow subroutine. Using state of the art maxflow algorithms, this yields a directed mincut algorithm that runs in $\tilde O(m\sqrt{n} + n^2)$ time. This improves on the 30 year old bound of $\tilde O(mn)$ obtained by Hao and Orlin for this problem.


title: SecDocker: Hardening the Continuous Integration Workflow

abstract: Current Continuous Integration processes face significant intrinsic cybersecurity challenges. The idea is not only to solve and test formal or regulatory security requirements of source code but also to adhere to the same principles to the CI pipeline itself. This paper presents an overview of current security issues in CI workflow. It designs, develops, and deploys a new tool for the secure deployment of a container-based CI pipeline flow without slowing down release cycles. The tool, called \SD for its Docker-based approach, is publicly available in GitHub. It implements a transparent application firewall based on a configuration mechanism avoiding issues in the CI workflow associated with intended or unintended container configurations. Integrated with other DevOps Engineers tools, it provides feedback from only those scenarios that match specific patterns, addressing future container security issues.


title: Multi-phonon diffuse scattering in solids from first-principles: Application to layered crystals and 2D materials

abstract: Time-resolved diffuse scattering experiments have gained increasing attention due to their potential to reveal non-equilibrium dynamics of crystal lattice vibrations with full momentum resolution. Although progress has been made in interpreting experimental data on the basis of one-phonon scattering, understanding the role of individual phonons can be sometimes hindered by multi-phonon excitations. In Ref. [{\it arXiv:2103.10108}] we have introduced a rigorous approach for the calculation of the all-phonon inelastic scattering intensity of solids from first-principles. In the present work, we describe our implementation in detail and show that multi-phonon interactions are captured efficiently by exploiting translational and time-reversal symmetries of the crystal. We demonstrate its predictive power by calculating the scattering patterns of monolayer molybdenum disulfide (MoS$_2$), bulk MoS$_2$, and black phosphorus (bP), and we obtain excellent agreement with our measurements of thermal electron diffuse scattering. Remarkably, our results show that multi-phonon excitations dominate in bP across multiple Brillouin zones, while in MoS$_2$ they play a less pronounced role. We expand our analysis for each system and examine the effect of individual atomic and interatomic vibrational motion on the diffuse scattering signals. We further demonstrate the high-throughput capability of our approach by reporting all-phonon scattering maps of 2D MoSe2, WSe2, WS2, graphene, and CdI2, rationalizing in each case the effect of multi-phonon processes. As a side point, we show that the special displacement method reproduces the thermally distorted configuration that generates precisely the all-phonon diffuse pattern.


title: An Analysis of Impact Pathways arising from a Mobile-based Community Media Platform in Rural India

abstract: Our research presents the case-study of a mobile phone based, voice-driven platform - Mobile Vaani, established with a goal to empower poor and marginalized communities to create their own local media. In this paper, we derive a comprehensive theory of change for Mobile Vaani from data gathered using the Most Significant Change technique. This paper contributes towards formulating a theory of change for technology-driven community media platforms which can be adapted to other ICTD interventions too.


title: Enumeration of Latin squares with conjugate symmetry

abstract: A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares with conjugate symmetry and classify them according to several common notions of equivalence. We also do similar enumerations under additional hypotheses, such as assuming the Latin square is reduced, diagonal, idempotent or unipotent. Our data corrected an error in earlier literature and suggested several patterns that we then found proofs for, including (1) The number of isomorphism classes of semisymmetric idempotent Latin squares of order $n$ equals the number of isomorphism classes of semisymmetric unipotent Latin squares of order $n+1$, and (2) Suppose $A$ and $B$ are totally symmetric Latin squares of order $n\not\equiv0\bmod3$. If $A$ and $B$ are paratopic then $A$ and $B$ are isomorphic.


title: A New Pathway to Approximate Energy Expenditure and Recovery of an Athlete

abstract: This work proposes to use evolutionary computation as a pathway to allow a new perspective on the modeling of energy expenditure and recovery of an individual athlete during exercise. We revisit a theoretical concept called the "three component hydraulic model" which is designed to simulate metabolic systems during exercise and which is able to address recently highlighted shortcomings of currently applied performance models. This hydraulic model has not been entirely validated on individual athletes because it depends on physiological measures that cannot be acquired in the required precision or quantity. This paper introduces a generalized interpretation and formalization of the three component hydraulic model that removes its ties to concrete metabolic measures and allows to use evolutionary computation to fit its parameters to an athlete.


title: An Overview of Digital Twins Application Domains in Smart Energy Grid

abstract: The Digital Twins offer promising solutions for smart grid challenges related to the optimal operation, management, and control of energy assets, for safe and reliable distribution of energy. These challenges are more pressing nowadays than ever due to the large-scale adoption of distributed renewable resources at the edge of the grid. The digital twins are leveraging technologies such as the Internet of Things, big data analytics, machine learning, and cloud computing, to analyze data from different energy sensors, view and verify the status of physical energy assets and extract useful information to predict and optimize the assets performance. In this paper, we will provide an overview of the Digital Twins application domains in the smart grid while analyzing existing the state of the art literature. We have focused on the following application domains: energy asset modeling, fault and security diagnosis, operational optimization, and business models. Most of the relevant literature approaches found are published in the last three years showing that the domain of Digital Twins application in smart grid is hot and gradually developing. Anyway, there is no unified view on the Digital Twins implementation and integration with energy management processes, thus, much work still needs to be done to understand and automatize the smart grid management.


title: Ego-Exo: Transferring Visual Representations from Third-person to First-person Videos

abstract: We introduce an approach for pre-training egocentric video models using large-scale third-person video datasets. Learning from purely egocentric data is limited by low dataset scale and diversity, while using purely exocentric (third-person) data introduces a large domain mismatch. Our idea is to discover latent signals in third-person video that are predictive of key egocentric-specific properties. Incorporating these signals as knowledge distillation losses during pre-training results in models that benefit from both the scale and diversity of third-person video data, as well as representations that capture salient egocentric properties. Our experiments show that our Ego-Exo framework can be seamlessly integrated into standard video models; it outperforms all baselines when fine-tuned for egocentric activity recognition, achieving state-of-the-art results on Charades-Ego and EPIC-Kitchens-100.


title: Shortest Microlensing Event with a Bound Planet: KMT-2016-BLG-2605

abstract: KMT-2016-BLG-2605, with planet-host mass ratio $q=0.012\pm 0.001$, has the shortest Einstein timescale, $t_\e = 3.41\pm 0.13\,$days, of any planetary microlensing event to date. This prompts us to examine the full sample of 7 short ($t_\e<7\,$day) planetary events with good $q$ measurements. We find that six have clustered Einstein radii $\theta_\e = 115\pm 20\,\muas$ and lens-source relative proper motions $\mu_\rel\simeq 9.5\pm 2.5\,\masyr$. For the seventh, these two quantities could not be measured. These distributions are consistent with a Galactic-bulge population of very low-mass (VLM) hosts near the hydrogen-burning limit. This conjecture could be verified by imaging at first adaptive-optics light on next-generation (30m) telescopes. Based on a preliminary assessment of the sample, "planetary" companions (i.e., below the deuterium-burning limit) are divided into "genuine planets", formed in their disks by core accretion, and very low-mass brown dwarfs, which form like stars. We discuss techniques for expanding the sample, which include taking account of the peculiar "anomaly dominated" morphology of the KMT-2016-BLG-2605 light curve.


title: Computing the Local Ion Concentration Variations for Electric-Double-Layer-Modulation Microscopy

abstract: Modulating the electric potential on a conducting electrode is presented to generate an optical contrast for scattering microscopy that is sensitive to both surface charge and local topography. We dub this method Electric-Double-Layer-Modulation microscopy. We numerically compute the change in the local ion concentration that is the origin of this optical contrast for three experimentally relevant geometries: nanosphere, nanowire, and nanohole. In absence of plasmonic effects and physical absorption, the observable optical contrast is proportional to the derivative of the ion concentration with respect to the modulated potential. We demonstrate that this derivative depends on the size of the object and, less intuitively, also on its surface charge. This dependence is key to measuring the surface charge, in an absolute way, using this method. Our results help to identify the experimental conditions such as dynamic range and sensitivity that will be necessary for detecting the elementary charge jumps. We conclude that the nanohole is the most suitable geometry among these three for achieving elementary charge sensitivity.


title: MetaXL: Meta Representation Transformation for Low-resource Cross-lingual Learning

abstract: The combination of multilingual pre-trained representations and cross-lingual transfer learning is one of the most effective methods for building functional NLP systems for low-resource languages. However, for extremely low-resource languages without large-scale monolingual corpora for pre-training or sufficient annotated data for fine-tuning, transfer learning remains an under-studied and challenging task. Moreover, recent work shows that multilingual representations are surprisingly disjoint across languages, bringing additional challenges for transfer onto extremely low-resource languages. In this paper, we propose MetaXL, a meta-learning based framework that learns to transform representations judiciously from auxiliary languages to a target one and brings their representation spaces closer for effective transfer. Extensive experiments on real-world low-resource languages - without access to large-scale monolingual corpora or large amounts of labeled data - for tasks like cross-lingual sentiment analysis and named entity recognition show the effectiveness of our approach. Code for MetaXL is publicly available at github.com/microsoft/MetaXL.


title: Effect of ice sheet thickness on formation of the Hiawatha impact crater

abstract: The discovery of a large putative impact crater buried beneath Hiawatha Glacier along the margin of the northwestern Greenland Ice Sheet has reinvigorated interest into the nature of large impacts into thick ice masses. This circular structure is relatively shallow and exhibits a small central uplift, whereas a peak-ring morphology is expected. This discrepancy may be due to long-term and ongoing subglacial erosion but may also be explained by a relatively recent impact through the Greenland Ice Sheet, which is expected to alter the final crater morphology. Here we model crater formation using hydrocode simulations, varying pre-impact ice thickness and impactor composition over crystalline target rock. We find that an ice-sheet thickness of 1.5 or 2 km results in a crater morphology that is consistent with the present morphology of this structure. Further, an ice sheet that thick substantially inhibits ejection of rocky material, which might explain the absence of rocky ejecta in most existing Greenland deep ice cores if the impact occurred during the late Pleistocene. From the present morphology of the putative Hiawatha impact crater alone, we cannot distinguish between an older crater formed by a pre-Pleistocene impact into ice-free bedrock or a younger, Pleistocene impact into locally thick ice, but based on our modeling we conclude that latter scenario is possible.


title: An Empirical Study of Extrapolation in Text Generation with Scalar Control

abstract: We conduct an empirical evaluation of extrapolation performance when conditioning on scalar control inputs like desired output length, desired edit from an input sentence, and desired sentiment across three text generation tasks. Specifically, we examine a zero-shot setting where models are asked to generalize to ranges of control values not seen during training. We focus on evaluating popular embedding methods for scalar inputs, including both learnable and sinusoidal embeddings, as well as simpler approaches. Surprisingly, our findings indicate that the simplest strategy of using scalar inputs directly, without further encoding, most reliably allows for successful extrapolation.


title: Intelligent Monitoring of Stress Induced by Water Deficiency in Plants using Deep Learning

abstract: In the recent decade, high-throughput plant phenotyping techniques, which combine non-invasive image analysis and machine learning, have been successfully applied to identify and quantify plant health and diseases. However, these techniques usually do not consider the progressive nature of plant stress and often require images showing severe signs of stress to ensure high confidence detection, thereby reducing the feasibility for early detection and recovery of plants under stress. To overcome the problem mentioned above, we propose a deep learning pipeline for the temporal analysis of the visual changes induced in the plant due to stress and apply it to the specific water stress identification case in Chickpea plant shoot images. For this, we have considered an image dataset of two chickpea varieties JG-62 and Pusa-372, under three water stress conditions; control, young seedling, and before flowering, captured over five months. We have employed a variant of Convolutional Neural Network - Long Short Term Memory (CNN-LSTM) network to learn spatio-temporal patterns from the chickpea plant dataset and use them for water stress classification. Our model has achieved ceiling level classification performance of 98.52% on JG-62 and 97.78% on Pusa-372 chickpea plant data and has outperformed the best reported time-invariant technique by at least 14% for both JG-62 and Pusa-372 species, to the best of our knowledge. Furthermore, our CNN-LSTM model has demonstrated robustness to noisy input, with a less than 2.5% dip in average model accuracy and a small standard deviation about the mean for both species. Lastly, we have performed an ablation study to analyze the performance of the CNN-LSTM model by decreasing the number of temporal session data used for training.


title: Asymptotic Behaviour of Linear eigenvalue statistics of Hankel matrices

abstract: We study linear eigenvalue statistics of band Hankel matrices with Brownian motion entries. We prove that, the centred, normalized linear eigenvalue statistics of band Hankel matrices obey a central limit theorem (CLT) type result. We also discuss the convergence of linear eigenvalue statistics of band Hankel matrices with independent entries for odd power monomials. Our method is based on trace formula, moment method and some results of process convergence.


title: The origin of the E/Z isomer ratio of imines in the interstellar medium

abstract: Recent astronomical observations of both isomers E and Z of imines such as cyanomethanimine, ethanimine and 2-propyn-1-imine, have revealed that the abundances in the ISM of these isomers differ by factors of ~3-10. Several theories have been proposed to explain the observed behavior, but none of them successfully explains the [E]/[Z] ratios. In this work we present a detailed study of the kinetics of the one-step E-Z isomerization reactions of cyanomethanimine, ethanimine and 2-propyn-1-imine under interstellar conditions (in the 10-400 K temperature range). This reaction was previously thought to be non-viable in the ISM due to its associated high-energy barrier (about 13,000 K). In this Letter, we show that considering the multidimensional small curvature tunneling approximation, the tunneling effect enables the isomerization even at low temperatures. This is due to the fact that the representative tunneling energy lies in the vibrational ground state of the least stable isomer up to approximately 150 K, making the reaction constants of the isomerization from the least stable to the most stable isomer basically constant. The predicted [E]/[Z] ratios are almost the same as those reported from the astronomical observations for all imines observed. This study demonstrates that the [E]/[Z] ratio of imines in the ISM strongly depends on their relative stability.


title: Federated Learning for Internet of Things: A Comprehensive Survey

abstract: The Internet of Things (IoT) is penetrating many facets of our daily life with the proliferation of intelligent services and applications empowered by artificial intelligence (AI). Traditionally, AI techniques require centralized data collection and processing that may not be feasible in realistic application scenarios due to the high scalability of modern IoT networks and growing data privacy concerns. Federated Learning (FL) has emerged as a distributed collaborative AI approach that can enable many intelligent IoT applications, by allowing for AI training at distributed IoT devices without the need for data sharing. In this article, we provide a comprehensive survey of the emerging applications of FL in IoT networks, beginning from an introduction to the recent advances in FL and IoT to a discussion of their integration. Particularly, we explore and analyze the potential of FL for enabling a wide range of IoT services, including IoT data sharing, data offloading and caching, attack detection, localization, mobile crowdsensing, and IoT privacy and security. We then provide an extensive survey of the use of FL in various key IoT applications such as smart healthcare, smart transportation, Unmanned Aerial Vehicles (UAVs), smart cities, and smart industry. The important lessons learned from this review of the FL-IoT services and applications are also highlighted. We complete this survey by highlighting the current challenges and possible directions for future research in this booming area.


title: Evolving a Model for Software Process Context: An Exploratory Study

abstract: In the domain of software engineering, our efforts as researchers to advise industry on which software practices might be applied most effectively are limited by our lack of evidence based information about the relationships between context and practice efficacy. In order to accumulate such evidence, a model for context is required. We are in the exploratory stage of evolving a model for context for situated software practices. In this paper, we overview the evolution of our proposed model. Our analysis has exposed a lack of clarity in the meanings of terms reported in the literature. Our base model dimensions are People, Place, Product and Process. Our contributions are a deepening of our understanding of how to scope contextual factors when considering software initiatives and the proposal of an initial theoretical construct for context. Study limitations relate to a possible subjectivity in the analysis and a restricted evaluation base. In the next stage in the research, we will collaborate with academics and practitioners to formally refine the model.


title: Augmenting Deep Classifiers with Polynomial Neural Networks

abstract: Deep neural networks have been the driving force behind the success in classification tasks, e.g., object and audio recognition. Impressive results and generalization have been achieved by a variety of recently proposed architectures, the majority of which are seemingly disconnected. In this work, we cast the study of deep classifiers under a unifying framework. In particular, we express state-of-the-art architectures (e.g., residual and non-local networks) in the form of different degree polynomials of the input. Our framework provides insights on the inductive biases of each model and enables natural extensions building upon their polynomial nature. The efficacy of the proposed models is evaluated on standard image and audio classification benchmarks. The expressivity of the proposed models is highlighted both in terms of increased model performance as well as model compression. Lastly, the extensions allowed by this taxonomy showcase benefits in the presence of limited data and long-tailed data distributions. We expect this taxonomy to provide links between existing domain-specific architectures. The source code is available at \url{https://github.com/grigorisg9gr/polynomials-for-augmenting-NNs}.


title: Hop-Count Based Self-Supervised Anomaly Detection on Attributed Networks

abstract: Recent years have witnessed an upsurge of interest in the problem of anomaly detection on attributed networks due to its importance in both research and practice. Although various approaches have been proposed to solve this problem, two major limitations exist: (1) unsupervised approaches usually work much less efficiently due to the lack of supervisory signal, and (2) existing anomaly detection methods only use local contextual information to detect anomalous nodes, e.g., one- or two-hop information, but ignore the global contextual information. Since anomalous nodes differ from normal nodes in structures and attributes, it is intuitive that the distance between anomalous nodes and their neighbors should be larger than that between normal nodes and their neighbors if we remove the edges connecting anomalous and normal nodes. Thus, hop counts based on both global and local contextual information can be served as the indicators of anomaly. Motivated by this intuition, we propose a hop-count based model (HCM) to detect anomalies by modeling both local and global contextual information. To make better use of hop counts for anomaly identification, we propose to use hop counts prediction as a self-supervised task. We design two anomaly scores based on the hop counts prediction via HCM model to identify anomalies. Besides, we employ Bayesian learning to train HCM model for capturing uncertainty in learned parameters and avoiding overfitting. Extensive experiments on real-world attributed networks demonstrate that our proposed model is effective in anomaly detection.


title: Weakly Supervised Object Localization and Detection: A Survey

abstract: As an emerging and challenging problem in the computer vision community, weakly supervised object localization and detection plays an important role for developing new generation computer vision systems and has received significant attention in the past decade. As methods have been proposed, a comprehensive survey of these topics is of great importance. In this work, we review (1) classic models, (2) approaches with feature representations from off-the-shelf deep networks, (3) approaches solely based on deep learning, and (4) publicly available datasets and standard evaluation metrics that are widely used in this field. We also discuss the key challenges in this field, development history of this field, advantages/disadvantages of the methods in each category, the relationships between methods in different categories, applications of the weakly supervised object localization and detection methods, and potential future directions to further promote the development of this research field.


title: An expressiveness hierarchy of Behavior Trees and related architectures

abstract: In this paper we provide a formal framework for comparing the expressive power of Behavior Trees (BTs) to other action selection architectures. Taking inspiration from the analogous comparisons of structural programming methodologies, we formalise the concept of `expressiveness'. This leads us to an expressiveness hierarchy of control architectures, which includes BTs, Decision Trees (DTs), Teleo-reactive Programs (TRs) and Finite State Machines (FSMs). By distinguishing between BTs with auxiliary variables and those without, we demonstrate the existence of a trade-off in BT design between readability and expressiveness. We discuss what this means for BTs in practice.


title: [Ag(NH3)2]2SO4: A coordination strategy on the cationic-moiety to design nonlinear optical materials

abstract: Over decades, guided by the anionic group theory, the majority work has been focused on the anionic-moiety of a nonlinear optical material, however, the property guided structure modification and design on the cationic-moiety has long been neglected. Herein, we report for the first time a coordination strategy on the cationic-moiety, as demonstrated by the first exmple, [Ag(NH3)2]2SO4 vs Ag2SO4, the coordination of the plus one Ag+ cation by the neutral ligand forming the [Ag(NH3)2]+ cationic-moiety drives the formation of the noncentrosymmetric tetragonal P-421c structure which exhibits a remarkable property improvement, including a strong SHG intersity (1.4*KDP vs 0 @1064 nm), and a large birefringence (delta(n)cal.: 0.102 vs 0.012 @1064 nm). Furthermore, we discover that owing to the strong hydrogen bonds and spatial confinement of [SO4]2- anions, the cation [Ag(NH3)2]+ bends parallel to the crystallographic c axis with a bond angle of N-Ag-N = 174.35deg, generating a permenant dipole moment z = -0.12 D that is responsible for the large birefringence that enlarges the range of the phase matching SHG laser output. We believe what we discover is only a glimpse of the long been neglected crystal engineering on the cationic-moiety. Encourage by this work, exciting works on other ionic compound systems shall flood in.


title: VGNMN: Video-grounded Neural Module Network to Video-Grounded Language Tasks

abstract: Neural module networks (NMN) have achieved success in image-grounded tasks such as Visual Question Answering (VQA) on synthetic images. However, very limited work on NMN has been studied in the video-grounded dialogue tasks. These tasks extend the complexity of traditional visual tasks with the additional visual temporal variance and language cross-turn dependencies. Motivated by recent NMN approaches on image-grounded tasks, we introduce Video-grounded Neural Module Network (VGNMN) to model the information retrieval process in video-grounded language tasks as a pipeline of neural modules. VGNMN first decomposes all language components in dialogues to explicitly resolve any entity references and detect corresponding action-based inputs from the question. The detected entities and actions are used as parameters to instantiate neural module networks and extract visual cues from the video. Our experiments show that VGNMN can achieve promising performance on a challenging video-grounded dialogue benchmark as well as a video QA benchmark.


title: A remark on a finiteness of purely cosmetic surgeries

abstract: By estimating the Turaev genus or the dealternation number, which leads to an estimate of knot floer thickness, in terms of the genus and the braid index, we show that a knot $K$ in $S^{3}$ does not admit purely cosmetic surgery whenever $g(K)\geq \frac{3}{2}b(K)$, where $g(K)$ and $b(K)$ denotes the genus and the braid index, respectively. In particular, this establishes a finiteness of purely cosmetic surgeries; for fixed $b$, all but finitely many knots with braid index $b$ satisfies the cosmetic surgery conjecture.


title: Analytical Models of the Performance of IEEE 802.11p Vehicle to Vehicle Communications

abstract: The critical nature of vehicular communications requires their extensive testing and evaluation. Analytical models can represent an attractive and cost-effective approach for such evaluation if they can adequately model all underlying effects that impact the performance of vehicular communications. Several analytical models have been proposed to date to model vehicular communications based on the IEEE 802.11p (or DSRC) standard. However, existing models normally model in detail the MAC (Medium Access Control), and generally simplify the propagation and interference effects. This reduces their value as an alternative to evaluate the performance of vehicular communications. This paper addresses this gap, and presents new analytical models that accurately model the performance of vehicle-to-vehicle communications based on the IEEE 802.11p standard. The models jointly account for a detailed modeling of the propagation and interference effects, as well as the impact of the hidden terminal problem. The model quantifies the PDR (Packet Delivery Ratio) as a function of the distance between transmitter and receiver. The paper also presents new analytical models to quantify the probability of the four different types of packet errors in IEEE 802.11p. In addition, the paper presents the first analytical model capable to accurately estimate the Channel Busy Ratio (CBR) metric even under high channel load levels. All the analytical models are validated by means of simulation for a wide range of parameters, including traffic densities, packet transmission frequencies, transmission power levels, data rates and packet sizes. An implementation of the models is provided openly to facilitate their use by the community.


title: A Comparative Study on Collecting High-Quality Implicit Reasonings at a Large-scale

abstract: Explicating implicit reasoning (i.e. warrants) in arguments is a long-standing challenge for natural language understanding systems. While recent approaches have focused on explicating warrants via crowdsourcing or expert annotations, the quality of warrants has been questionable due to the extreme complexity and subjectivity of the task. In this paper, we tackle the complex task of warrant explication and devise various methodologies for collecting warrants. We conduct an extensive study with trained experts to evaluate the resulting warrants of each methodology and find that our methodologies allow for high-quality warrants to be collected. We construct a preliminary dataset of 6,000 warrants annotated over 600 arguments for 3 debatable topics. To facilitate research in related downstream tasks, we release our guidelines and preliminary dataset.


title: Attention! Stay Focus!

abstract: We develop a deep convolutional neural networks(CNNs) to deal with the blurry artifacts caused by the defocus of the camera using dual-pixel images. Specifically, we develop a double attention network which consists of attentional encoders, triple locals and global local modules to effectively extract useful information from each image in the dual-pixels and select the useful information from each image and synthesize the final output image. We demonstrate the effectiveness of the proposed deblurring algorithm in terms of both qualitative and quantitative aspects by evaluating on the test set in the NTIRE 2021 Defocus Deblurring using Dual-pixel Images Challenge. The code, and trained models are available at https://github.com/tuvovan/ATTSF.


title: Detection of statistically significant differences between process variants through declarative rules

abstract: Services and products are often offered via the execution of processes that vary according to the context, requirements, or customisation needs. The analysis of such process variants can highlight differences in the service outcome or quality, leading to process adjustments and improvement. Research in the area of process mining has provided several methods for process variants analysis. However, very few of those account for a statistical significance analysis of their output. Moreover, those techniques detect differences at the level of process traces, single activities, or performance. In this paper, we aim at describing the distinctive behavioural characteristics between variants expressed in the form of declarative process rules. The contribution to the research area is two-pronged: the use of declarative rules for the explanation of the process variants and the statistical significance analysis of the outcome. We assess the proposed method by comparing its results to the most recent process variants analysis methods. Our results demonstrate not only that declarative rules reveal differences at an unprecedented level of expressiveness, but also that our method outperforms the state of the art in terms of execution time.


title: Polynomial bounds for chromatic number. I. Excluding a biclique and an induced tree

abstract: Let H be a tree. It was proved by Rodl that graphs that do not contain H as an induced subgraph, and do not contain the complete bipartite graph $K_{t,t}$ as a subgraph, have bounded chromatic number. Kierstead and Penrice strengthened this, showing that such graphs have bounded degeneracy. Here we give a further strengthening, proving that for every tree H, the degeneracy is at most polynomial in t. This answers a question of Bonamy, Pilipczuk, Rzazewski, Thomasse and Walczak.


title: Quasi-static Optical Parametric Amplification

abstract: High-gain optical parametric amplification is an important nonlinear process used both as a source of coherent infrared light and as a source of nonclassical light. In this work, we experimentally demonstrate an approach to optical parametric amplification that enables extremely large parametric gains with low energy requirements. In conventional nonlinear media driven by femtosecond pulses, multiple dispersion orders limit the effective interaction length available for parametric amplification. Here, we use the dispersion engineering available in periodically poled thin-film lithium niobate nanowaveguides to eliminate several dispersion orders at once. The result is a quasi-static process; the large peak intensity associated with a short pump pulse can provide gain to signal photons without undergoing pulse distortion or temporal walk-off. We characterize the parametric gain available in these waveguides using optical parametric generation, where vacuum fluctuations are amplified to macroscopic intensities. When driven with pulse energies in excess of 10 pJ, we observe saturated parametric gains as large as 88 dB (146 dB/cm). The devices shown here achieve saturated optical parametric generation with orders of magnitude less pulse energy than previous techniques.


title: One-dimensional spin-1/2 fermionic gases with two-body losses: weak dissipation and spin conservation

abstract: We present a theoretical analysis of the dynamics of a one-dimensional spin-1/2 fermionic gas subject to weak two-body losses. Our approach highlights the crucial role played by spin conservation in the determination of the full time evolution. We focus in particular on the dynamics of a gas that is initially prepared in a Dicke state with fully-symmetric spin wavefunction, in a band insulator, or in a Mott insulator. In the latter case, we investigate the emergence of a steady symmetry-resolved purification of the gas. Our results could help the modelisation and understanding of recent experiments with alkaline-earth(-like) gases like ytterbium or fermionic molecules.


title: Conditional Coding for Flexible Learned Video Compression

abstract: This paper introduces a novel framework for end-to-end learned video coding. Image compression is generalized through conditional coding to exploit information from reference frames, allowing to process intra and inter frames with the same coder. The system is trained through the minimization of a rate-distortion cost, with no pre-training or proxy loss. Its flexibility is assessed under three coding configurations (All Intra, Low-delay P and Random Access), where it is shown to achieve performance competitive with the state-of-the-art video codec HEVC.


title: Non-minimal Energy-momentum squared gravity

abstract: We consider a gravitational theory with an additional non-minimal coupling between baryonic matter fields and geometry. The coupling is second order in the energy momentum tensor and can be seen as a generalization of the energy-momentum squared gravity model. We will add a constraint through a Lagrange multiplier to ensure the conservation of the energy-momentum tensor. Background cosmological implications together with its dynamical system analysis will be investigated in details. Also we will consider the growth of matter perturbation at first order, and estimate the model parameter from observations on $H$ and also $f\sigma_8$. We will show that the model parameter should be small and positive in 2$\sigma$ confidence interval. The theory is shown to be in a good agreement with observational data.


title: Interval-censored Hawkes processes

abstract: Interval-censored data solely records the aggregated counts of events during specific time intervals - such as the number of patients admitted to the hospital or the volume of vehicles passing traffic loop detectors - and not the exact occurrence time of the events. It is currently not understood how to fit the Hawkes point processes to this kind of data. Its typical loss function (the point process log-likelihood) cannot be computed without exact event times. Furthermore, it does not have the independent increments property to use the Poisson likelihood. This work builds a novel point process, a set of tools, and approximations for fitting Hawkes processes within interval-censored data scenarios. First, we define the Mean Behavior Poisson process (MBPP), a novel Poisson process with a direct parameter correspondence to the popular self-exciting Hawkes process. We fit MBPP in the interval-censored setting using an interval-censored Poisson log-likelihood (IC-LL). We use the parameter equivalence to uncover the parameters of the associated Hawkes process. Second, we introduce two novel exogenous functions to distinguish the exogenous from the endogenous events. We propose the multi-impulse exogenous function - for when the exogenous events are observed as event time - and the latent homogeneous Poisson process exogenous function - for when the exogenous events are presented as interval-censored volumes. Third, we provide several approximation methods to estimate the intensity and compensator function of MBPP when no analytical solution exists. Fourth and finally, we connect the interval-censored loss of MBPP to a broader class of Bregman divergence-based functions. Using the connection, we show that the popularity estimation algorithm Hawkes Intensity Process (HIP) is a particular case of the MBPP. We verify our models through empirical testing on synthetic data and real-world data.


title: Second cohomology groups of the Hopf$^*$-algebras associated to universal unitary quantum groups

abstract: We compute the second (and the first) cohomology groups of $^*$-algebras associated to the universal quantum unitary groups of not neccesarily Kac type, extending our earlier results for the free unitary group $U_d^+$. The extended setup forces us to use infinite-dimensional representations to construct the cocycles.


title: Binary Central Stars of Planetary Nebulae Identified With Kepler/K2

abstract: We present the identification of 34 likely binary central stars (CSs) of planetary nebulae (PNe) from {\it Kepler/K2} data, seven of which show eclipses. Of these, 29 are new discoveries. Two additional CSs with more complicated variability are also presented. We examined the light curves of all `possible', `likely' and `true' PNe in every {\it Kepler/K2} campaign (0 through 19) to identify CS variability that may indicate a binary CS. For Campaigns 0, 2, 7, 15, and 16 we find 6 likely or confirmed variables among 21 PNe. Our primary effort, though, was focused on Campaign 11 which targeted a Galactic bulge field containing approximately 183 PNe, in which we identified 30 candidate variable CSs. The periods of these variables range from 2.3~h to 30~d, and based on our analysis, most are likely to be close binary star systems. We present periods and preliminary classifications (eclipsing, double degenerate, or irradiated systems) for the likely binaries based on light curve shape. From our total sample of 204 target PNe, with a correction for incompleteness due to magnitude limits, we calculate a binary fraction of PN central stars to be 20.7 percent for all the observed PNe, or 23.5 percent if we limit our sample only to `true' PNe. However these fractions are almost certainly lower limits due to the large angular size of the \emph{Kepler} pixels, which leads to reduced sensitivity in detecting variability, primarily as a result of dilution and noise from the nebula and neighbouring stars. We discuss the binary population of CSs based on these results as part of the total known sample of close binary CSs.