title: Riemannian statistics meets random matrix theory: towards learning from high-dimensional covariance matrices

abstract: Riemannian Gaussian distributions were initially introduced as basic building blocks for learning models which aim to capture the intrinsic structure of statistical populations of positive-definite matrices (here called covariance matrices). While the potential applications of such models have attracted significant attention, a major obstacle still stands in the way of these applications: there seems to exist no practical method of computing the normalising factors associated with Riemannian Gaussian distributions on spaces of high-dimensional covariance matrices. The present paper shows that this missing method comes from an unexpected new connection with random matrix theory. Its main contribution is to prove that Riemannian Gaussian distributions of real, complex, or quaternion covariance matrices are equivalent to orthogonal, unitary, or symplectic log-normal matrix ensembles. This equivalence yields a highly efficient approximation of the normalising factors, in terms of a rather simple analytic expression. The error due to this approximation decreases like the inverse square of dimension. Numerical experiments are conducted which demonstrate how this new approximation can unlock the difficulties which have impeded applications to real-world datasets of high-dimensional covariance matrices. The paper then turns to Riemannian Gaussian distributions of block-Toeplitz covariance matrices. These are equivalent to yet another kind of random matrix ensembles, here called "acosh-normal" ensembles. Orthogonal and unitary "acosh-normal" ensembles correspond to the cases of block-Toeplitz with Toeplitz blocks, and block-Toeplitz (with general blocks) covariance matrices, respectively.


title: Predicting the Future Performance of the Planned Seismic Network in Mainland China

abstract: The new broadband seismic network in China will increase the number of stations from approximately 950 to 2000. The higher-resolution monitoring of the frequent smaller earthquakes expected inside Mainland China can be quantified via the completeness magnitude (Mc) metric. Using the Bayesian Magnitude of Completeness (BMC) method, we generate the spatial distribution of Mc predicted for the new network, based on the prior model calibrated on the current earthquake catalog (2012 to 2021) and network configuration. If 99% of Mainland China is at present covered down to Mc = 2.7, this threshold will soon fall to Mc = 2.0. This means approximately 3 times more earthquakes available per year. Based on the observation that seismic precursors are most likely to be observed at least at 3 units below the mainshock magnitude, the new seismic network shall achieve the goal of almost total coverage for optimal seismic-based earthquake prediction research.


title: Observation of fractional topological numbers at photonic edges and corners

abstract: Topological phases of matter are featured with exotic edge states. However, the fractional topological numbers at edges, though predicted long ago by Jackiw and Rebbi, remain elusive in topological photonic systems. Here, we report on the observation of fractional topological numbers at the topological edges and corners in one- and two-dimensional photonic crystals. The fractional topological numbers are determined via the measurements of the photonic local density-of-states. In one-dimensional photonic crystals, we witness a rapid change of the fractional topological number at the edges rising from 0 to 1/2 when the photonic band gap experiences a topological transition, confirming the well-known prediction of Jackiw and Rebbi. In two-dimensional systems, we discover that the fractional topological number in the corner region varies from 0 to 1/2 and 1/4 in different photonic band gap phases. Our study paves the way toward topological manipulation of fractional quantum numbers in photonics.


title: Generalized hypergeometric $G$-functions take linear independent values

abstract: In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let $K$ be any algebraic number field and $v$ be a place of $K$. Let $r\in\mathbb{Z}$ with $r\ge2$. Consider $a_1,\ldots,a_{r}, b_1,\ldots,b_{r-1}\in \mathbb{Q}\setminus\{0\}$ not being negative integers. Assume neither $a_k$ nor $a_k+1-b_j$ be strictly positive integers $(1\le k \le r, 1\le j \le r-1)$. Let $\alpha_1,\ldots,\alpha_m\in K\setminus\{0\}$ with $\alpha_1,\ldots,\alpha_m$ pairwise distinct. By choosing sufficiently large $\beta\in \mathbb{Z}$ depending on $K$ and $v$ such that the points $\alpha_1/\beta,\ldots,\alpha_m/\beta$ are closed enough to the origin, we prove that the $rm+1$ numbers~$:$ \begin{align*} &{}_{r}F_{r-1} \biggl(\begin{matrix} a_1,\ldots, a_r\\ b_1, \ldots, b_{r-1} \end{matrix} \biggm| \dfrac{\alpha_i}{\beta}\biggr)\enspace, \ \ {}_{r}F_{r-1} \biggl(\begin{matrix} a_1+1,\ldots,\ldots,\ldots,a_r+1\\ b_1+1, \ldots, b_{r-s}+1,b_{r-s+1},\ldots,b_{r-1} \end{matrix} \biggm| \dfrac{\alpha_i}{\beta}\biggr)\enspace\\ &(1\le i \le m, 1\le s \le r-1)\end{align*} and $1$ are linearly independent over $K$. The essential ingredient is our term-wise formal construction of type II of Pad\'e approximants together with new non-vanishing argument for the generalized Wronskian.


title: Automorphisms and representations of quasi Laurent polynomial algebras

abstract: We study automorphisms and representations of quasi polynomial algebras (QPAs) and quasi Laurent polynomial algebras (QLPAs). For any QLPA defined by an arbitrary skew symmetric integral matrix, we explicitly describe its automorphism groups at generic $q$ and at roots of unity. Any QLPA is isomorphic to the tensor product of copies of the QLPA of degree $2$ at different powers of $q$ and the centre, thus the study of representations of QPAs and QLPAs largely reduces to that of ${\mathcal L}_q(2)$ and ${\mathcal A}_q(2)$, the QLPA and QPA of degree $2$. We study a category of ${\mathcal A}_q(2)$-modules which have finite covers by submodules with natural local finiteness properties and satisfy some condition under localisation, determining its blocks, classifying the simple objects and providing two explicitly constructions for the simples. One construction produces the simple ${\mathcal A}_q(2)$-modules from ${\mathcal L}_q(2)$-modules via monomorphisms composed of the natural embedding of ${\mathcal A}_q(2)$ in ${\mathcal L}_q(2)$ and automorphisms of ${\mathcal L}_q(2)$, and the other explores a class of holonomic ${\mathcal D}_q$-modules for the algebra ${\mathcal D}_q$ of $q$-differential operators.


title: Tail bounds for detection times in mobile hyperbolic graphs

abstract: Motivated by Krioukov et al.'s model of random hyperbolic graphs for real-world networks, and inspired by the analysis of a dynamic model of graphs in Euclidean space by Peres et al., we introduce a dynamic model of hyperbolic graphs in which vertices are allowed to move according to a Brownian motion maintaining the distribution of vertices in hyperbolic space invariant. For different parameters of the speed of angular and radial motion, we analyze tail bounds for detection times of a fixed target and obtain a complete picture, for very different regimes, of how and when the target is detected: as a function of the time passed, we characterize the subset of the hyperbolic space where particles typically detecting the target are initially located. We overcome several substantial technical difficulties not present in Euclidean space, and provide a complete picture on tail bounds. On the way, we obtain also new results for the time more general continuous processes with drift and reflecting barrier spent in certain regions, and we also obtain improved bounds for independent sums of Pareto random variables.


title: Interactive Human-in-the-loop Coordination of Manipulation Skills Learned from Demonstration

abstract: Learning from demonstration (LfD) provides a fast, intuitive and efficient framework to program robot skills, which has gained growing interest both in research and industrial applications. Most complex manipulation tasks are long-term and involve a set of skill primitives. Thus it is crucial to have a reliable coordination scheme that selects the correct sequence of skill primitive and the correct parameters for each skill, under various scenarios. Instead of relying on a precise simulator, this work proposes a human-in-the-loop coordination framework for LfD skills that: builds parameterized skill models from kinesthetic demonstrations; constructs a geometric task network (GTN) on-the-fly from human instructions; learns a hierarchical control policy incrementally during execution. This framework can reduce significantly the manual design efforts, while improving the adaptability to new scenes. We show on a 7-DoF robotic manipulator that the proposed approach can teach complex industrial tasks such as bin sorting and assembly in less than 30 minutes.


title: Investigating Selective Prediction Approaches Across Several Tasks in IID, OOD, and Adversarial Settings

abstract: In order to equip NLP systems with selective prediction capability, several task-specific approaches have been proposed. However, which approaches work best across tasks or even if they consistently outperform the simplest baseline 'MaxProb' remains to be explored. To this end, we systematically study 'selective prediction' in a large-scale setup of 17 datasets across several NLP tasks. Through comprehensive experiments under in-domain (IID), out-of-domain (OOD), and adversarial (ADV) settings, we show that despite leveraging additional resources (held-out data/computation), none of the existing approaches consistently and considerably outperforms MaxProb in all three settings. Furthermore, their performance does not translate well across tasks. For instance, Monte-Carlo Dropout outperforms all other approaches on Duplicate Detection datasets but does not fare well on NLI datasets, especially in the OOD setting. Thus, we recommend that future selective prediction approaches should be evaluated across tasks and settings for reliable estimation of their capabilities.


title: Influence in Completely Bounded Block-multilinear Forms and Classical Simulation of Quantum Algorithms

abstract: The Aaronson-Ambainis conjecture (Theory of Computing '14) says that every low-degree bounded polynomial on the Boolean hypercube has an influential variable. This conjecture, if true, would imply that the acceptance probability of every $d$-query quantum algorithm can be well-approximated almost everywhere (i.e., on almost all inputs) by a $\mathrm{poly}(d)$-query classical algorithm. We prove a special case of the conjecture: in every completely bounded degree-$d$ block-multilinear form with constant variance, there always exists a variable with influence at least $1/\mathrm{poly}(d)$. In a certain sense, such polynomials characterize the acceptance probability of quantum query algorithms, as shown by Arunachalam, Bri\"et and Palazuelos (SICOMP '19). As a corollary we obtain efficient classical almost-everywhere simulation for a particular class of quantum algorithms that includes for instance $k$-fold Forrelation. Our main technical result relies on connections to free probability theory.


title: Optimal Routing for Multi-user Multi-hop Relay Networks via Dynamic Programming

abstract: In this paper, we study the relay selection problem in multi-user, multi-hop relay networks with the objective of minimizing the maximum outage probability across all users. When only one user is present, it is well known that the optimal relay selection problem can be solved efficiently via dynamic programming. This solution breaks down in the multi-user scenario due to dependence between users. We resolve this challenge using a novel relay aggregation approach. On the expanded trellis, dynamic programming can be used to solve the optimal relay selection problem with computational complexity linear in the number of hops. Numerical examples illustrate the efficient use of this algorithm for relay networks.


title: Understanding the Challenges When 3D Semantic Segmentation Faces Class Imbalanced and OOD Data

abstract: 3D semantic segmentation (3DSS) is an essential process in the creation of a safe autonomous driving system. However, deep learning models for 3D semantic segmentation often suffer from the class imbalance problem and out-of-distribution (OOD) data. In this study, we explore how the class imbalance problem affects 3DSS performance and whether the model can detect the category prediction correctness, or whether data is ID (in-distribution) or OOD. For these purposes, we conduct two experiments using three representative 3DSS models and five trust scoring methods, and conduct both a confusion and feature analysis of each class. Furthermore, a data augmentation method for the 3D LiDAR dataset is proposed to create a new dataset based on SemanticKITTI and SemanticPOSS, called AugKITTI. We propose the wPre metric and TSD for a more in-depth analysis of the results, and follow are proposals with an insightful discussion. Based on the experimental results, we find that: (1) the classes are not only imbalanced in their data size but also in the basic properties of each semantic category. (2) The intraclass diversity and interclass ambiguity make class learning difficult and greatly limit the models' performance, creating the challenges of semantic and data gaps. (3) The trust scores are unreliable for classes whose features are confused with other classes. For 3DSS models, those misclassified ID classes and OODs may also be given high trust scores, making the 3DSS predictions unreliable, and leading to the challenges in judging 3DSS result trustworthiness. All of these outcomes point to several research directions for improving the performance and reliability of the 3DSS models used for real-world applications.


title: Ultrafast laser inscribed waveguides in tailored fluoride glasses: An enabling technology for mid-infrared integrated photonics devices

abstract: Zirconium fluoride (ZBLAN) glass, the standard material used in fiber-based mid-infrared photonics, has been re-designed to enable the fabrication of high index-contrast low-loss waveguides via femtosecond laser direct writing. We demonstrate that in contrast to pure ZBLAN, a positive index change of close to 10$^{-2}$ can be induced in hybrid zirconium/hafnium (Z/HBLAN) glasses during ultrafast laser inscription and show that this can be explained by an electron cloud distortion effect that is driven by the existence of two glass formers with contrasting polarizability. High numerical aperture (NA) type-I waveguides that support a well confined 3.1 $\mu$m wavelength mode with a mode-field diameter (MFD) as small as 12 $\mu$m have successfully been fabricated. These findings open the door for the fabrication of mid-infrared integrated photonic devices that can readily be pigtailed to existing ZBLAN fibers.


title: Induced Current Due to Electromagnetic Shock Produced by Charge Impact on a Conducting Surface

abstract: This paper compares the transient induced current due to the electromagnetic shock produced by a charged particle impacting a perfectly conducting plate, with the classical, quasi-static induced current of Ramo and Shockley (RS). We consider the simple model of a line charge, removed upon striking the plate. We find that the induced current due to the shock is negligible compared with the RS current for nonrelativistic impact energies, but is more significant as the impact energy becomes mildly relativistic. The implications of these findings are discussed.


title: Some results on degenerate Fubini and degenerate Bell polynomials

abstract: The aim of this paper is to further study some properties and identities on the degenerate Fubini and the degenerate Bell polynomials which are degenerate versions of the Fubini and the Bell polynomials, respectively. Especially, we find several expressions for the generating function of the sum of the values of the generalized falling factorials at positive consecutive integers.


title: Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

abstract: Ideally, accelerator development should be as easy as software development. Several recent design languages/tools are working toward this goal, but actually testing early designs on real applications end-to-end remains prohibitively difficult due to the costs of building specialized compiler and simulator support. We propose a new first-in-class, mostly automated methodology termed "3LA" to enable end-to-end testing of prototype accelerator designs on unmodified source applications. A key contribution of 3LA is the use of a formal software/hardware interface that specifies an accelerator's operations and their semantics. Specifically, we leverage the Instruction-Level Abstraction (ILA) formal specification for accelerators that has been successfully used thus far for accelerator implementation verification. We show how the ILA for accelerators serves as a software/hardware interface, similar to the Instruction Set Architecture (ISA) for processors, that can be used for automated development of compilers and instruction-level simulators. Another key contribution of this work is to show how ILA-based accelerator semantics enables extending recent work on equality saturation to auto-generate basic compiler support for prototype accelerators in a technique we term "flexible matching." By combining flexible matching with simulators auto-generated from ILA specifications, our approach enables end-to-end evaluation with modest engineering effort. We detail several case studies of 3LA, which uncovered an unknown flaw in a recently published accelerator and facilitated its fix.


title: FedREP: Towards Horizontal Federated Load Forecasting for Retail Energy Providers

abstract: As Smart Meters are collecting and transmitting household energy consumption data to Retail Energy Providers (REP), the main challenge is to ensure the effective use of fine-grained consumer data while ensuring data privacy. In this manuscript, we tackle this challenge for energy load consumption forecasting in regards to REPs which is essential to energy demand management, load switching and infrastructure development. Specifically, we note that existing energy load forecasting is centralized, which are not scalable and most importantly, vulnerable to data privacy threats. Besides, REPs are individual market participants and liable to ensure the privacy of their own customers. To address this issue, we propose a novel horizontal privacy-preserving federated learning framework for REPs energy load forecasting, namely FedREP. We consider a federated learning system consisting of a control centre and multiple retailers by enabling multiple REPs to build a common, robust machine learning model without sharing data, thus addressing critical issues such as data privacy, data security and scalability. For forecasting, we use a state-of-the-art Long Short-Term Memory (LSTM) neural network due to its ability to learn long term sequences of observations and promises of higher accuracy with time-series data while solving the vanishing gradient problem. Finally, we conduct extensive data-driven experiments using a real energy consumption dataset. Experimental results demonstrate that our proposed federated learning framework can achieve sufficient performance in terms of MSE ranging between 0.3 to 0.4 and is relatively similar to that of a centralized approach while preserving privacy and improving scalability.


title: On Minimal Surfaces of Revolutions Immersed in Deformed Hyperbolic Kropina Space

abstract: In this paper we consider three dimensional upper half space $\mathbb{H}^3 $ equipped with various Kropina metrics obtained by deformation of hyperbolic metric of $\mathbb{H}^3$ through $1$-forms and obtain a partial differential equation that characterizes minimal surfaces immersed in it. We prove that such minimal surfaces can only be obtained when the hyperbolic metric is deformed along $x^3$ direction. Then we classify such minimal surfaces and show that flag curvature of these surfaces is always non-positive. We also obtain the geodesics of this surface. In particular, it follows that such surfaces neither have forward conjugate points nor they are forward complete.


title: Hitting a New Low: The Unique 28 h Cessation of Accretion in the TESS Light Curve of YY Dra (DO Dra)

abstract: We present the Transiting Exoplanet Surveying Satellite (TESS) light curve of the intermediate polar YY Draconis (YY Dra, also known as DO Dra). The power spectrum indicates that while there is stream-fed accretion for most of the observational period, there is a day-long, flat-bottomed low state at the beginning of 2020 during which the only periodic signal is ellipsoidal variation and there is no appreciable flickering. We interpret this low state to be a complete cessation of accretion, a phenomenon that has been observed only once before in an intermediate polar. Simultaneous ground-based observations of this faint state establish that when accretion is negligible, YY Dra fades to $g=17.37\pm0.12$, which we infer to be the magnitude of the combined photospheric contributions of the white dwarf and its red dwarf companion. Using survey photometry, we identify additional low states in 2018-2019 during which YY Dra repeatedly fades to -- but never below -- this threshold. This implies relatively frequent cessations in accretion. Spectroscopic observations during future episodes of negligible accretion can be used to directly measure the field strength of the white dwarf by Zeeman splitting. Separately, we search newly available catalogs of variable stars in an attempt to resolve the long-standing dispute over the proper identifier of this system.


title: On The Hydrosphere Stability of TESS Targets: Applications to 700 d, 256 b, and 203 b

abstract: A main determinant of the habitability of exoplanets is the presence of stable liquid surface water. In an era of abundant possible targets, the potential to find a habitable world remains a driving force in prioritization. We present here a data-forward method to investigate the likelihood of a stable hydrosphere on the timescales of the formation of life, 1 Gyr, and beyond. As our primary application, we use this method to examine the potential hydrospheres of TESS Objects of Interest 700 d, 256 b, and 203 b. We first present our selection criteria, which is based on an implementation of the Earth Similarity Index, as well as the results of an initial investigation into the desiccation of the targets, which reveals that TOI 203 b is almost certainly desiccated based on TESS observations. We then describe the characterization of the remaining targets and their host stars from 2MASS, Gaia, and TESS data and the derivation of sampled probability distributions for their parameters. Following this, we describe our process of simulating the desiccation of the targets hydrospheres using the Virtual Planet Simulator, VPLanet, with inputs directly linked to the previously derived probability distributions. We find that 50.86 percent of the likely cases for TOI 700 d are desiccated and no modeled cases for TOI 256 b are without water. In addition, we calculate the remaining water inventory for the targets, the percentage of cases that are continuing to lose water, and the rate at which these cases are losing water.


title: From boxes to polynomials: a story of generalisation

abstract: Here we will embark on a journey starting with some ostensibly inauspicious boxes. Carefully stacking them in different ways yields amazing identities. From humble beginnings at the integer version: `how many steps does it take to get from row $i$ to row $j$?' to the first upgrade: the polynomial version, before finally reaching the final upgrade: the elliptic version. Each upgrade gives a more general theorem than before. Secretly, everything is controlled by the symmetric Macdonald polynomials. Setting $q = t$ in the Macdonald polynomial takes the elliptic version of the theorem to the polynomial version. Then, letting $t$ approach $1$ reduces the polynomial version to the integer version. All the beautiful theorems and ideas come merely from stacking boxes.


title: On Orthogonal Approximate Message Passing

abstract: Approximate Message Passing (AMP) is an efficient iterative parameter-estimation technique for certain high-dimensional linear systems with non-Gaussian distributions, such as sparse systems. In AMP, a so-called Onsager term is added to keep estimation errors approximately Gaussian. Orthogonal AMP (OAMP) does not require this Onsager term, relying instead on an orthogonalization procedure to keep the current errors uncorrelated with (i.e., orthogonal to) past errors. \LL{In this paper, we show the generality and significance of the orthogonality in ensuring that errors are "asymptotically independently and identically distributed Gaussian" (AIIDG).} This AIIDG property, which is essential for the attractive performance of OAMP, holds for separable functions. \LL{We present a simple and versatile procedure to establish the orthogonality through Gram-Schmidt (GS) orthogonalization, which is applicable to any prototype. We show that different AMP-type algorithms, such as expectation propagation (EP), turbo, AMP and OAMP, can be unified under the orthogonal principle.} The simplicity and generality of OAMP provide efficient solutions for estimation problems beyond the classical linear models. \LL{As an example, we study the optimization of OAMP via the GS model and GS orthogonalization.} More related applications will be discussed in a companion paper where new algorithms are developed for problems with multiple constraints and multiple measurement variables.


title: INAQS, a generic interface for non-adiabatic QM/MM dynamics: Design, implementation, and validation for GROMACS/Q-CHEM simulations

abstract: The accurate description of large molecular systems in complex environments remains an ongoing challenge for the field of computational chemistry. This problem is even more pronounced for photo-induced processes, as multiple excited electronic states and their corresponding non-adiabatic couplings must be taken into account. Multiscale approaches such as hybrid quantum mechanics/molecular mechanics (QM/MM) offer a balanced compromise between accuracy and computational burden. Here, we introduce an open-source software package (INAQS) for non-adiabatic QM/MM simulations that bridges the sampling capabilities of the GROMACS MD package and the excited-state infrastructure of the Q-CHEM electronic structure software. The interface is simple and can be adapted easily to other MD codes. The code supports a variety of different trajectory based molecular dynamics, ranging from Born-Oppenheimer to surface hopping dynamics. To illustrate the power of this combination, we simulate electronic absorption spectra, free energy surfaces along a reaction coordinate, and the excited state dynamics of 1,3-cyclohexadiene in solution.


title: Fast tunable coupling scheme of Kerr parametric oscillators based on shortcuts to adiabaticity

abstract: Kerr parametric oscillators (KPOs), which can be implemented with superconducting parametrons possessing large Kerr nonlinearity, have been attracting much attention in terms of their applications to quantum annealing, universal quantum computation and studies of quantum many-body systems. It is of practical importance for these studies to realize fast and accurate tunable coupling between KPOs in a simple manner. We develop a simple scheme of fast tunable coupling of KPOs with high tunability in speed and amplitude using the fast transitionless rotation of a KPO in the phase space based on the shortcuts to adiabaticity. Our scheme enables rapid switching of the effective coupling between KPOs, and can be implemented with always-on linear coupling between KPOs, by controlling the phase of the pump field and the resonance frequency of the KPO without controlling the amplitude of the pump field nor using additional drive fields and couplers. We apply the coupling scheme to a two-qubit gate, and show that our scheme realizes high gate fidelity compared to a purely adiabatic one, by mitigating undesired nonadiabatic transitions.


title: $C_3$ symmetry breaking metal-insulator transitions in a flat band in the half-filled Hubbard model on the decorated honeycomb lattice

abstract: We study the single-orbital Hubbard model on the half-filled decorated honeycomb lattice. In the non-interacting theory at half-filling the Fermi energy lies within a flat band where strong correlations are enhanced. The lattice is highly frustrated. We find a correlation driven first-order metal-insulator transition to two different insulating ground states - a dimer valence bond solid Mott insulator when inter-triangle correlations dominate, and a broken $\mathcal{C}_3$-symmetry antiferromagnet that arises from frustration when intra-triangle correlations dominate. The metal-insulator transitions into these two phases have very different characters. The metal-broken $\mathcal{C}_3$ antiferromagnetic transition is driven by spontaneous $\mathcal{C}_3$ symmetry breaking that lifts the topologically required degeneracy at the Fermi energy and opens an energy gap in the quasiparticle spectrum. The metal-dimer valence bond solid transition breaks no symmetries of the Hamiltonian. It is caused by strong correlations renormalizing the electronic structure into a phase that is adiabatically connected to both the trivial band insulator and the ground state of the spin-1/2 Heisenberg model in the relevant parameter regime. Therefore, neither of these metal-insulator transitions can be understood in either the Brinkmann-Rice or Slater paradigms.


title: When is a subcategory Serre or torsionfree?

abstract: Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of mod R is a torsionfree class. We investigate certain modules out of which all modules of finite length can be built by taking direct summands and extensions, and then we apply it to show that the IKE-closed subcategories of mod R are torsionfree classes in the case where R is a certain numerical semigroup ring.


title: Fitting a stochastic model of intensive care occupancy to noisy hospitalization time series during the COVID-19 pandemic

abstract: Intensive care occupancy is an important indicator of health care stress that has been used to guide policy decisions during the COVID-19 pandemic. Toward reliable decision-making as a pandemic progresses, estimating the rates at which patients are admitted to and discharged from hospitals and intensive care units (ICUs) is crucial. Since individual-level hospital data are rarely available to modelers in each geographic locality of interest, it is important to develop tools for inferring these rates from publicly available daily numbers of hospital and ICU beds occupied. We develop such an estimation approach based on an immigration-death process that models fluctuations of ICU occupancy. Our flexible framework allows for immigration and death rates to depend on covariates, such as hospital bed occupancy and daily SARS-CoV-2 test positivity rate, which may drive changes in hospital ICU operations. We demonstrate via simulation studies that the proposed method performs well on noisy time series data and apply our statistical framework to hospitalization data from the University of California, Irvine (UCI) Health and Orange County, California. By introducing a likelihood-based framework where immigration and death rates can vary with covariates, we find, through rigorous model selection, that hospitalization and positivity rates are crucial covariates for modeling ICU stay dynamics and validate our per-patient ICU stay estimates using anonymized patient-level UCI hospital data.


title: Chandrasekhar-Kendall-Woltjer-Taylor state in a resistive plasma

abstract: We give a criterion for the Chandrasekhar-Kendall-Woltjer-Taylor (CKWT) state in a resistive plasma. We find that the lowest momentum (longest wavelength) of the initial helicity amplitudes of magnetic fields are the key to the CKWT state which can be reached if one helicity is favored over the other. This indicates that the imbalance between two helicities at the lowest momentum or longest wavelength in the initial conditions is essential to the CKWT state. A few examples of initial conditions for helicity amplitudes are taken to support the above statement both analytically and numerically.


title: Self-Propulsion of Boiling Droplets on Thin Heated Oil Films

abstract: We report on the self-propulsion of boiling droplets which, despite their contact with viscous, immiscible oil films, attain high velocities comparable to those of levitating Leidenfrost droplets. Experiments and model reveal that droplet propulsion originates from a coupling between seemingly disparate short and long timescale phenomena due to microsecond fluctuations induced by boiling events at the droplet-oil interface. This interplay of phenomena leads to continuous asymmetric vapor release and momentum transfer for high droplet velocities.


title: Extended Graph Temporal Classification for Multi-Speaker End-to-End ASR

abstract: Graph-based temporal classification (GTC), a generalized form of the connectionist temporal classification loss, was recently proposed to improve automatic speech recognition (ASR) systems using graph-based supervision. For example, GTC was first used to encode an N-best list of pseudo-label sequences into a graph for semi-supervised learning. In this paper, we propose an extension of GTC to model the posteriors of both labels and label transitions by a neural network, which can be applied to a wider range of tasks. As an example application, we use the extended GTC (GTC-e) for the multi-speaker speech recognition task. The transcriptions and speaker information of multi-speaker speech are represented by a graph, where the speaker information is associated with the transitions and ASR outputs with the nodes. Using GTC-e, multi-speaker ASR modelling becomes very similar to single-speaker ASR modeling, in that tokens by multiple speakers are recognized as a single merged sequence in chronological order. For evaluation, we perform experiments on a simulated multi-speaker speech dataset derived from LibriSpeech, obtaining promising results with performance close to classical benchmarks for the task.


title: Ordered Submodularity and its Applications to Diversifying Recommendations

abstract: A fundamental task underlying many important optimization problems, from influence maximization to sensor placement to content recommendation, is to select the optimal group of $k$ items from a larger set. Submodularity has been very effective in allowing approximation algorithms for such subset selection problems. However, in several applications, we are interested not only in the elements of a set, but also the order in which they appear, breaking the assumption that all selected items receive equal consideration. One such category of applications involves the presentation of search results, product recommendations, news articles, and other content, due to the well-documented phenomenon that humans pay greater attention to higher-ranked items. As a result, optimization in content presentation for diversity, user coverage, calibration, or other objectives more accurately represents a sequence selection problem, to which traditional submodularity approximation results no longer apply. Although extensions of submodularity to sequences have been proposed, none is designed to model settings where items contribute based on their position in a ranked list, and hence they are not able to express these types of optimization problems. In this paper, we aim to address this modeling gap. Here, we propose a new formalism of ordered submodularity that captures these ordering problems in content presentation, and more generally a category of optimization problems over ranked sequences in which different list positions contribute differently to the objective function. We analyze the natural ordered analogue of the greedy algorithm and show that it provides a $2$-approximation. We also show that this bound is tight, establishing that our new framework is conceptually and quantitatively distinct from previous formalisms of set and sequence submodularity.


title: Small infinite partitions and other features of the Nowhere Centered ideal

abstract: The \textit{nowhere dense ideal} $\mathcal{NC}$ is introduced. It is a coanalytic ideal of $\omega\times\omega$ whose defining characteristic is that the sets of the form $X\times Y$, where $X,Y$ are infinite subsets of $\omega$, are dense in the quotient $\mathcal{P}(\omega\times\omega)\slash\mathcal{NC}$. This quotient has countable partitions and consistently has partitions of size $\omega_1$ while $\mathfrak{a}>\omega_1$. This represents a huge contrast with other definable quotients. Other combinatorial features of this ideal are presented, as well as some results on a family of similar, higher dimensional ideals.


title: Beam Squint-Aware Integrated Sensing and Communications for Hybrid Massive MIMO LEO Satellite Systems

abstract: The space-air-ground-sea integrated network (SAGSIN) plays an important role in offering global coverage. To improve the efficient utilization of spectral and hardware resources in the SAGSIN, integrated sensing and communications (ISAC) has drawn extensive attention. Most existing ISAC works focus on terrestrial networks and can not be straightforwardly applied in satellite systems due to the significantly different electromagnetic wave propagation properties. In this work, we investigate the application of ISAC in massive multiple-input multiple-output (MIMO) low earth orbit (LEO) satellite systems. We first characterize the statistical wave propagation properties by considering beam squint effects. Based on this analysis, we propose a beam squint-aware ISAC technique for hybrid analog/digital massive MIMO LEO satellite systems exploiting statistical channel state information. Simulation results demonstrate that the proposed scheme can operate both the wireless communications and the target sensing simultaneously with satisfactory performance, and the beam-squint effects can be efficiently mitigated with the proposed method in typical LEO satellite systems.


title: TRILLsson: Distilled Universal Paralinguistic Speech Representations

abstract: Recent advances in self-supervision have dramatically improved the quality of speech representations. However, deployment of state-of-the-art embedding models on devices has been restricted due to their limited public availability and large resource footprint. Our work addresses these issues by publicly releasing a collection of paralinguistic speech models that are small and near state-of-the-art performance. Our approach is based on knowledge distillation, and our models are distilled on public data only. We explore different architectures and thoroughly evaluate our models on the Non-Semantic Speech (NOSS) benchmark. Our largest distilled model is less than 15% the size of the original model (314MB vs 2.2GB), achieves over 96% the accuracy on 6 of 7 tasks, and is trained on 6.5% the data. The smallest model is 1% in size (22MB) and achieves over 90% the accuracy on 6 of 7 tasks. Our models outperform the open source Wav2Vec 2.0 model on 6 of 7 tasks, and our smallest model outperforms the open source Wav2Vec 2.0 on both emotion recognition tasks despite being 7% the size.


title: Mental Health Pandemic during the COVID-19 Outbreak: Social Media as a Window to Public Mental Health

abstract: Intensified preventive measures during the COVID-19 pandemic, such as lockdown and social distancing, heavily increased the perception of social isolation (i.e., a discrepancy between one's social needs and the provisions of the social environment) among young adults. Social isolation is closely associated with situational loneliness (i.e., loneliness emerging from environmental change), a risk factor for depressive symptoms. Prior research suggested vulnerable young adults are likely to seek support from an online social platform such as Reddit, a perceived comfortable environment for lonely individuals to seek mental health help through anonymous communication with a broad social network. Therefore, this study aims to identify and analyze depression-related dialogues on loneliness subreddits during the COVID-19 outbreak, with the implications on depression-related infoveillance during the pandemic. Our study utilized logistic regression and topic modeling to classify and examine depression-related discussions on loneliness subreddits before and during the pandemic. Our results showed significant increases in the volume of depression-related discussions (i.e., topics related to mental health, social interaction, family, and emotion) where challenges were reported during the pandemic. We also found a switch in dominant topics emerging from depression-related discussions on loneliness subreddits, from dating (prepandemic) to online interaction and community (pandemic), suggesting the increased expressions or need of online social support during the pandemic. The current findings suggest the potential of social media to serve as a window for monitoring public mental health. Our future study will clinically validate the current approach, which has implications for designing a surveillance system during the crisis.


title: Uncertainty categories in medical image segmentation: a study of source-related diversity

abstract: Measuring uncertainties in the output of a deep learning method is useful in several ways, such as in assisting with interpretation of the outputs, helping build confidence with end users, and for improving the training and performance of the networks. Several different methods have been proposed to estimate uncertainties, including those from epistemic (relating to the model used) and aleatoric (relating to the data) sources using test-time dropout and augmentation, respectively. Not only are these uncertainty sources different, but they are governed by parameter settings (e.g., dropout rate or type and level of augmentation) that establish even more distinct uncertainty categories. This work investigates how different the uncertainties are from these categories, for magnitude and spatial pattern, to empirically address the question of whether they provide usefully distinct information that should be captured whenever uncertainties are used. We take the well characterised BraTS challenge dataset to demonstrate that there are substantial differences in both magnitude and spatial pattern of uncertainties from the different categories, and discuss the implications of these in various use cases.


title: Coded Demixing for Unsourced Random Access

abstract: Unsourced random access (URA) is a recently proposed multiple access paradigm tailored to the uplink channel of machine-type communication networks. By exploiting a strong connection between URA and compressed sensing, the massive multiple access problem may be cast as a compressed sensing (CS) problem, albeit one in exceedingly large dimensions. To efficiently handle the dimensionality of the problem, coded compressed sensing (CCS) has emerged as a pragmatic signal processing tool that, when applied to URA, offers good performance at low complexity. While CCS is effective at recovering a signal that is sparse with respect to a single basis, it is unable to jointly recover signals that are sparse with respect to separate bases. In this article, the CCS framework is extended to the demixing setting, yielding a novel technique called coded demixing. A generalized framework for coded demixing is presented and a low-complexity recovery algorithm based on approximate message passing (AMP) is developed. Coded demixing is applied to heterogeneous multi-class URA networks and traditional single-class networks. Its performance is analyzed and numerical simulations are presented to highlight the benefits of coded demixing.


title: Convergence Criteria of a Three Step Scheme under generalized Lipschitz Condition in Banach Spaces

abstract: The goal of this study is to investigate the local convergence of a three-step Newton-Traub technique for solving nonlinear equations in Banach spaces with a convergence rate of five. The first order derivative of a nonlinear operator is assumed to satisfy the generalized Lipschitz condition, i.e. the $\kappa$-average condition. Furthermore, a few results on the convergence of the same method in Banach spaces are developed under the assumption that the derivative of the operators satisfies the radius or center Lipschitz condition with a weak $\kappa$-average, and that $\kappa$ is a positive integrable function but not necessarily non-decreasing. Our new notion provides a tighter convergence analysis without the need for new circumstances. As a result, we broaden the applicability of iterative approaches. Theoretical results are supported further by illuminating examples. The existence and uniqueness of the solution $x^*$ are examined in the convergence theorem. In the end, we achieve weaker sufficient convergence criteria and more specific information on the position of the solution than previous efforts requiring the same computational effort. We obtain the convergence theorems as well as some novel results by applying the results to some specific functions for $\kappa(u)$. A numerical test is carried out to corroborate the hypothesis established in this work.


title: Pond: CXL-Based Memory Pooling Systems for Cloud Platforms

abstract: Public cloud providers seek to meet stringent performance requirements and low hardware cost. A key driver of performance and cost is main memory. Memory pooling promises to improve DRAM utilization and thereby reduce costs. However, pooling is challenging under cloud performance requirements. This paper proposes Pond, the first memory pooling system that both meets cloud performance goals and significantly reduces DRAM cost. Pond builds on the Compute Express Link (CXL) standard for load/store access to pool memory and two key insights. First, our analysis of cloud production traces shows that pooling across 8-16 sockets is enough to achieve most of the benefits. This enables a small-pool design with low access latency. Second, it is possible to create machine learning models that can accurately predict how much local and pool memory to allocate to a virtual machine (VM) to resemble same-NUMA-node memory performance. Our evaluation with 158 workloads shows that Pond reduces DRAM costs by 7% with performance within 1-5% of same-NUMA-node VM allocations.


title: Unsupervised Vision-and-Language Pre-training via Retrieval-based Multi-Granular Alignment

abstract: Vision-and-Language (V+L) pre-training models have achieved tremendous success in recent years on various multi-modal benchmarks. However, the majority of existing models require pre-training on a large set of parallel image-text data, which is costly to collect, compared to image-only or text-only data. In this paper, we explore unsupervised Vision-and-Language pre-training (UVLP) to learn the cross-modal representation from non-parallel image and text datasets. We found two key factors that lead to good unsupervised V+L pre-training without parallel data: (i) joint image-and-text input (ii) overall image-text alignment (even for non-parallel data). Accordingly, we propose a novel unsupervised V+L pre-training curriculum for non-parallel texts and images. We first construct a weakly aligned image-text corpus via a retrieval-based approach, then apply a set of multi-granular alignment pre-training tasks, including region-to-tag, region-to-phrase, and image-to-sentence alignment, to bridge the gap between the two modalities. A comprehensive ablation study shows each granularity is helpful to learn a stronger pre-trained model. We adapt our pre-trained model to a set of V+L downstream tasks, including VQA, NLVR2, Visual Entailment, and RefCOCO+. Our model achieves the state-of-art performance in all these tasks under the unsupervised setting.


title: Lattice paths, vector continued fractions, and resolvents of banded Hessenberg operators

abstract: We give a combinatorial interpretation of vector continued fractions obtained by applying the Jacobi-Perron algorithm to a vector of $p\geq 1$ resolvent functions of a banded Hessenberg operator of order $p+1$. The interpretation consists in the identification of the coefficients in the power series expansion of the resolvent functions as weight polynomials associated with Lukasiewicz lattice paths in the upper half-plane. In the scalar case $p=1$ this reduces to the relation established by P. Flajolet and G. Viennot between Jacobi-Stieltjes continued fractions, their power series expansion, and Motzkin paths. We consider three classes of lattice paths, namely the Lukasiewicz paths in the upper half-plane, their symmetric images in the lower half-plane, and a third class of unrestricted lattice paths which are allowed to cross the $x$-axis. We establish a relation between the three families of paths by means of a relation between the associated generating power series. We also discuss the subcollection of Lukasiewicz paths formed by the partial $p$-Dyck paths, whose weight polynomials are known in the literature as genetic sums or generalized Stieltjes-Rogers polynomials, and express certain moments of bi-diagonal Hessenberg operators.


title: Impact of the interference between the resonance and continuum amplitudes on vector quarkonia decay branching fraction measurements

abstract: The measurement of the branching fraction of a heavy quarkonium decaying into light hadronic final state at $e^+e^-$ colliders is revisited. In $e^+e^-$ annihilation experiments, background contributions from the continuum amplitude and its interference with the resonance amplitude are irreducible. These effects become more and more significant as the precision of experimental measurements improves. While the former can be easily subtracted with data taken off the resonance peak, the latter depends on the relative size and phase between the resonance and continuum amplitudes. Two ratios are defined to estimate the size of these effects, $r_{R}^{f}$ for the ratio of the contribution of the interference term to the resonance term and $r_{c}^{f}$ for that to the continuum term. We find that $r_{R}^{f}$ could be as large as a few percent for narrow resonances, and both $r_{R}^{f}$ and $r_{c}^{f}$ could be large for broad resonances. This indicates that the interference effect is crucial for the measurements of the branching fractions aiming at the percent level or better precision and needs to be measured or estimated properly.


title: On the Causal Interpretation of Randomized Interventional Indirect Effects

abstract: Identification of standard mediated effects such as the natural indirect effect relies on heavy causal assumptions. By circumventing such assumptions, so-called randomized interventional indirect effects have gained popularity in the mediation literature. Here, I introduce properties one might demand of an indirect effect measure in order for it to have a true mediational interpretation. For instance, the sharp null criterion requires an indirect effect measure to be null whenever no individual-level indirect effect exists. I show that without stronger assumptions, randomized interventional indirect effects do not satisfy such criteria. I additionally discuss alternative causal interpretations of such effects.


title: An Information-Theoretic Framework for Supervised Learning

abstract: Each year, deep learning demonstrates new and improved empirical results with deeper and wider neural networks. Meanwhile, with existing theoretical frameworks, it is difficult to analyze networks deeper than two layers without resorting to counting parameters or encountering sample complexity bounds that are exponential in depth. Perhaps it may be fruitful to try to analyze modern machine learning under a different lens. In this paper, we propose a novel information-theoretic framework with its own notions of regret and sample complexity for analyzing the data requirements of machine learning. With our framework, we first work through some classical examples such as scalar estimation and linear regression to build intuition and introduce general techniques. Then, we use the framework to study the sample complexity of learning from data generated by deep neural networks with ReLU activation units. For a particular prior distribution on weights, we establish sample complexity bounds that are simultaneously width independent and linear in depth. This prior distribution gives rise to high-dimensional latent representations that, with high probability, admit reasonably accurate low-dimensional approximations. We conclude by corroborating our theoretical results with experimental analysis of random single-hidden-layer neural networks.


title: Band structures under non-Hermitian periodic potentials: Connecting nearly-free and bi-orthogonal tight-binding models

abstract: We explore band structures of one-dimensional open systems described by periodic non-Hermitian operators, based on continuum models and tight-binding models. We show that imaginary scalar potentials do not open band gaps but instead lead to the formation of exceptional points as long as the strength of the potential exceeds a threshold value, which is contrast to closed systems where real potentials open a gap with infinitesimally small strength. The imaginary vector potentials hinder the separation of low energy bands because of the lifting of degeneracy in the free system. In addition, we construct tight-binding models through bi-orthogonal Wannier functions based on Bloch wavefunctions of the non-Hermitian operator and its Hermitian conjugate. We show that the bi-orthogonal tight-binding model well reproduces the dispersion relations of the continuum model when the complex scalar potential is sufficiently large.


title: Extension of Irreducibility results on Generalised Laguerre Polynomials $L_n^{(-1-n-s)}(x)$

abstract: We consider the irreducibility of Generalised Laguerre Polynomials for negative integral values given by $L_n^{(-1-n-s)}(x)=\displaystyle\sum_{j=0}^{n}\binom{n-j+s}{n-j}\frac{x^j}{j!}.$ For different values of $s,$ this family gives polynomials which are of great interest. It was proved earlier that for $0 \leq s \leq 60,$ these polynomials are irreducible over $\mathbb{Q}.$ In this paper we improve this result upto $s \leq 88.$


title: Exploring and Adapting Chinese GPT to Pinyin Input Method

abstract: While GPT has become the de-facto method for text generation tasks, its application to pinyin input method remains unexplored. In this work, we make the first exploration to leverage Chinese GPT for pinyin input method. We find that a frozen GPT achieves state-of-the-art performance on perfect pinyin. However, the performance drops dramatically when the input includes abbreviated pinyin. A reason is that an abbreviated pinyin can be mapped to many perfect pinyin, which links to even larger number of Chinese characters. We mitigate this issue with two strategies, including enriching the context with pinyin and optimizing the training process to help distinguish homophones. To further facilitate the evaluation of pinyin input method, we create a dataset consisting of 270K instances from 15 domains. Results show that our approach improves performance on abbreviated pinyin across all domains. Model analysis demonstrates that both strategies contribute to the performance boost.


title: A nonlinear weighted anisotropic total variation regularization for electrical impedance tomography

abstract: This paper proposes a nonlinear weighted anisotropic total variation (NWATV) regularization technique for electrical impedance tomography (EIT). The key idea is to incorporate the internal inhomogeneity information (e.g., edges of the detected objects) into the EIT reconstruction process, aiming to preserve the conductivity profiles (to be detected). We study the NWATV image reconstruction by employing a novel soft thresholding based reformulation included in the alternating direction method of multipliers (ADMM). To evaluate the proposed approach, 2D and 3D numerical experiments and human EIT lung imaging are carried out. It is demonstrated that the properties of the internal inhomogeneity are well preserved and improved with the proposed regularization approach, in comparison to traditional total variation (TV) and recently proposed fidelity embedded regularization approaches. Owing to the simplicity of the proposed method, the computational cost is significantly decreased compared with the well established primal-dual algorithm. Meanwhile, it was found that the proposed regularization method is quite robust to the measurement noise, which is one of the main uncertainties in EIT.


title: A Versatile Agent for Fast Learning from Human Instructors

abstract: In recent years, a myriad of superlative works on intelligent robotics policies have been done, thanks to advances in machine learning. However, inefficiency and lack of transfer ability hindered algorithms from pragmatic applications, especially in human-robot collaboration, when few-shot fast learning and high flexibility become a wherewithal. To surmount this obstacle, we refer to a "Policy Pool", containing pre-trained skills that can be easily accessed and reused. An agent is employed to govern the "Policy Pool" by unfolding requisite skills in a flexible sequence, contingent on task specific predilection. This predilection can be automatically interpreted from one or few human expert demonstrations. Under this hierarchical setting, our algorithm is able to pick up a sparse-reward, multi-stage knack with only one demonstration in a Mini-Grid environment, showing the potential for instantly mastering complex robotics skills from human instructors. Additionally, the innate quality of our algorithm also allows for lifelong learning, making it a versatile agent.


title: Bregman three-operator splitting methods

abstract: The paper presents primal-dual proximal splitting methods for convex optimization, in which generalized Bregman distances are used to define the primal and dual proximal update steps. The methods extend the primal and dual Condat-Vu algorithms and the primal-dual three-operator (PD3O) algorithm. The Bregman extensions of the Condat-Vu algorithms are derived from the Bregman proximal point method applied to a monotone inclusion problem. Based on this interpretation, a unified framework for the convergence analysis of the two methods is presented. We also introduce a line search procedure for stepsize selection in the Bregman dual Condat-Vu algorithm applied to equality-constrained problems. Finally, we propose a Bregman extension of PD3O and analyze its convergence.


title: A framework for crossover of scaling law as a self-similar solution : dynamical impact of viscoelastic board

abstract: In this paper, a new framework for crossover of scaling law is proposed: a crossover of scaling law can be described by a self-similar solution. A crossover emerges as a result of the interference from similarity parameters of the higher class of the self-similarity. This framework was verified for the dynamical impact of solid sphere onto a viscoelastic board. All the physical factors including the size of spheres and the impact of velocity are successfully summarized using primal dimensionless numbers which construct a self-similar solution of the second kind, which represents the balance between dynamical elements involved in the problem. The self-similar solution gives two different scaling laws by the perturbation method describing the crossover. These theoretical predictions are compared with experimental results to show good agreement. It was suggested that a hierarchical structure of similarity plays a fundamental role on crossover, which offers a fundamental insight to self-similarity in general.


title: Isolating noise and amplifying signal with quantum Cheshire cat

abstract: The so-called quantum Cheshire cat is a phenomenon in which an object, identified with a "cat", is dissociated from a property of the object, identified with the "grin" of the cat. We propose a thought experiment, similar to this phenomenon, with an interferometric setup, where a property (a component of polarization) of an object (photon) can be separated from the object itself and can simultaneously be amplified when it is already decoupled from its object. We further show that this setup can be used to dissociate two complementary properties, e.g., two orthogonal components of polarization of a photon and identified with the grin and the snarl of a cat, from each other and one of them can be amplified while being detached from the other. Moreover, we extend the work to a noisy scenario, effected by a spin-orbit-coupling -like additional interaction term in the Hamiltonian for the measurement process, with the object in this scenario being identified with a so-called confused Cheshire cat. We devise a gedanken experiment in which such a "confusion" can be successfully dissociated from the system, and we find that the dissociation helps in the amplification of signals.


title: Improving Time Sensitivity for Question Answering over Temporal Knowledge Graphs

abstract: Question answering over temporal knowledge graphs (KGs) efficiently uses facts contained in a temporal KG, which records entity relations and when they occur in time, to answer natural language questions (e.g., "Who was the president of the US before Obama?"). These questions often involve three time-related challenges that previous work fail to adequately address: 1) questions often do not specify exact timestamps of interest (e.g., "Obama" instead of 2000); 2) subtle lexical differences in time relations (e.g., "before" vs "after"); 3) off-the-shelf temporal KG embeddings that previous work builds on ignore the temporal order of timestamps, which is crucial for answering temporal-order related questions. In this paper, we propose a time-sensitive question answering (TSQA) framework to tackle these problems. TSQA features a timestamp estimation module to infer the unwritten timestamp from the question. We also employ a time-sensitive KG encoder to inject ordering information into the temporal KG embeddings that TSQA is based on. With the help of techniques to reduce the search space for potential answers, TSQA significantly outperforms the previous state of the art on a new benchmark for question answering over temporal KGs, especially achieving a 32% (absolute) error reduction on complex questions that require multiple steps of reasoning over facts in the temporal KG.


title: Optimal Regularity in Transmission Problems]{Optimal regularity for variational solutions of free transmission problems

abstract: In this article we study functionals of the type considered in \cite{HS21}, i.e. $$ J(v):=\int_{B_1} A(x,u)|\nabla u|^2 +f(x,u)u+ Q(x)\lambda (u)\,dx $$ here $A(x,u)= A_+(x)\chi_{\{u>0\}}+A_-(x) \chi _{\{u<0\}}$, $f(x,u)= f_+(x)\chi_{\{u>0\}}+f_-(x) \chi _{\{u<0\}}$ and $\lambda(x,u) = \lambda_+(x) \chi_{\{u>0\}} + \lambda_-(x) \chi_{\{u\le 0\}}$. We prove the optimal $C^{0,1^-}$ regularity of minimizers of the functional indicated above (with precise H\"older estimates) when the coefficients $A_{\pm}$ are continuous functions and $\mu \le A_{\pm}\le \frac{1}{\mu}$ for some $0<\mu<1$, with $f \in L^N(B_1)$ and $Q$ bounded. We do this by presenting a new compactness argument and approximation theory similar to the one developed by L. Caffarelli in \cite{Ca89} to treat the regularity theory for solutions to fully nonlinear PDEs. Moreover, we introduce the $\mathcal{T}_{a,b}$ operator that allows one to transfer minimizers from the transmission problems to the Alt-Caffarelli-Friedman type functionals, {in small scales,} allowing this way the study of the regularity theory of minimizers of Bernoulli type free transmission problems.


title: Sentiment Word Aware Multimodal Refinement for Multimodal Sentiment Analysis with ASR Errors

abstract: Multimodal sentiment analysis has attracted increasing attention and lots of models have been proposed. However, the performance of the state-of-the-art models decreases sharply when they are deployed in the real world. We find that the main reason is that real-world applications can only access the text outputs by the automatic speech recognition (ASR) models, which may be with errors because of the limitation of model capacity. Through further analysis of the ASR outputs, we find that in some cases the sentiment words, the key sentiment elements in the textual modality, are recognized as other words, which makes the sentiment of the text change and hurts the performance of multimodal sentiment models directly. To address this problem, we propose the sentiment word aware multimodal refinement model (SWRM), which can dynamically refine the erroneous sentiment words by leveraging multimodal sentiment clues. Specifically, we first use the sentiment word position detection module to obtain the most possible position of the sentiment word in the text and then utilize the multimodal sentiment word refinement module to dynamically refine the sentiment word embeddings. The refined embeddings are taken as the textual inputs of the multimodal feature fusion module to predict the sentiment labels. We conduct extensive experiments on the real-world datasets including MOSI-Speechbrain, MOSI-IBM, and MOSI-iFlytek and the results demonstrate the effectiveness of our model, which surpasses the current state-of-the-art models on three datasets. Furthermore, our approach can be adapted for other multimodal feature fusion models easily. Data and code are available at https://github.com/albertwy/SWRM.


title: When A Conventional Filter Meets Deep Learning: Basis Composition Learning on Image Filters

abstract: Image filters are fast, lightweight and effective, which make these conventional wisdoms preferable as basic tools in vision tasks. In practical scenarios, users have to tweak parameters multiple times to obtain satisfied results. This inconvenience heavily discounts the efficiency and user experience. We propose basis composition learning on single image filters to automatically determine their optimal formulas. The feasibility is based on a two-step strategy: first, we build a set of filtered basis (FB) consisting of approximations under selected parameter configurations; second, a dual-branch composition module is proposed to learn how the candidates in FB are combined to better approximate the target image. Our method is simple yet effective in practice; it renders filters to be user-friendly and benefits fundamental low-level vision problems including denoising, deraining and texture removal. Extensive experiments demonstrate that our method achieves an appropriate balance among the performance, time complexity and memory efficiency.


title: Omni-frequency Channel-selection Representations for Unsupervised Anomaly Detection

abstract: Density-based and classification-based methods have ruled unsupervised anomaly detection in recent years, while reconstruction-based methods are rarely mentioned for the poor reconstruction ability and low performance. However, the latter requires no costly extra training samples for the unsupervised training that is more practical, so this paper focuses on improving this kind of method and proposes a novel Omni-frequency Channel-selection Reconstruction (OCR-GAN) network to handle anomaly detection task in a perspective of frequency. Concretely, we propose a Frequency Decoupling (FD) module to decouple the input image into different frequency components and model the reconstruction process as a combination of parallel omni-frequency image restorations, as we observe a significant difference in the frequency distribution of normal and abnormal images. Given the correlation among multiple frequencies, we further propose a Channel Selection (CS) module that performs frequency interaction among different encoders by adaptively selecting different channels. Abundant experiments demonstrate the effectiveness and superiority of our approach over different kinds of methods, e.g., achieving a new state-of-the-art 98.3 detection AUC on the MVTec AD dataset without extra training data that markedly surpasses the reconstruction-based baseline by +38.1 and the current SOTA method by +0.3. Source code is available at https://github.com/zhangzjn/OCR-GAN.


title: Multi-Area Distribution System State Estimation via Distributed Tensor Completion

abstract: This paper proposes a model-free distribution system state estimation method based on tensor completion using canonical polyadic decomposition. In particular, we consider a setting where the network is divided into multiple areas. The measured physical quantities at buses located in the same area are processed by an area controller. A three-way tensor is constructed to collect these measured quantities. The measurements are analyzed locally to recover the full state information of the network. A distributed closed-form iterative algorithm based on the alternating direction method of multipliers is developed to obtain the low-rank factors of the whole network state tensor where information exchange happens only between neighboring areas. The convergence properties of the distributed algorithm and the sufficient conditions on the number of samples for each smaller network that guarantee the identifiability of the factors of the state tensor are presented. To demonstrate the efficacy of the proposed algorithm and to check the identifiability conditions, numerical simulations are carried out using the IEEE 123-bus system.


title: A Comprehensive Review of Quantum Random Number Generators: Concepts, Classification and the Origin of Randomness

abstract: Random numbers are central to cryptography and various other tasks. The intrinsic probabilistic nature of quantum mechanics has allowed us to construct a large number of quantum random number generators (QRNGs) that are distinct from the traditional true number generators. This article provides a review of the existing QRNGs with a focus on their various possible features (e.g., device independence, semi-device independence) that are not achievable in the classical world. It also discusses the origin, applicability, and other facets of randomness. Specifically, the origin of randomness is explored from the perspective of a set of hierarchical axioms for quantum mechanics, implying that succeeding axioms can be regarded as a superstructure constructed on top of a structure built by the preceding axioms. The axioms considered are: (Q1) incompatibility and uncertainty; (Q2) contextuality; (Q3) entanglement; (Q4) nonlocality and (Q5) indistinguishability of identical particles. Relevant toy generalized probability theories (GPTs) are introduced, and it is shown that the origin of random numbers in different types of QRNGs known today are associated with different layers of nonclassical theories and all of them do not require all the features of quantum mechanics. Further, classification of the available QRNGs has been done and the technological challenges associated with each class are critically analyzed. Commercially available QRNGs are also compared.


title: Separable-HoverNet and Instance-YOLO for Colon Nuclei Identification and Counting

abstract: Nuclear segmentation, classification and quantification within Haematoxylin & Eosin stained histology images enables the extraction of interpretable cell-based features that can be used in downstream explainable models in computational pathology (CPath). However, automatic recognition of different nuclei is faced with a major challenge in that there are several different types of nuclei, some of them exhibiting large intraclass variability. In this work, we propose an approach that combine Separable-HoverNet and Instance-YOLOv5 to indentify colon nuclei small and unbalanced. Our approach can achieve mPQ+ 0.389 on the Segmentation and Classification-Preliminary Test Dataset and r2 0.599 on the Cellular Composition-Preliminary Test Dataset on ISBI 2022 CoNIC Challenge.


title: Private Convex Optimization via Exponential Mechanism

abstract: In this paper, we study private optimization problems for non-smooth convex functions $F(x)=\mathbb{E}_i f_i(x)$ on $\mathbb{R}^d$. We show that modifying the exponential mechanism by adding an $\ell_2^2$ regularizer to $F(x)$ and sampling from $\pi(x)\propto \exp(-k(F(x)+\mu\|x\|_2^2/2))$ recovers both the known optimal empirical risk and population loss under $(\epsilon,\delta)$-DP. Furthermore, we show how to implement this mechanism using $\widetilde{O}(n \min(d, n))$ queries to $f_i(x)$ for the DP-SCO where $n$ is the number of samples/users and $d$ is the ambient dimension. We also give a (nearly) matching lower bound $\widetilde{\Omega}(n \min(d, n))$ on the number of evaluation queries. Our results utilize the following tools that are of independent interest: (1) We prove Gaussian Differential Privacy (GDP) of the exponential mechanism if the loss function is strongly convex and the perturbation is Lipschitz. Our privacy bound is \emph{optimal} as it includes the privacy of Gaussian mechanism as a special case and is proved using the isoperimetric inequality for strongly log-concave measures. (2) We show how to sample from $\exp(-F(x)-\mu \|x\|^2_2/2)$ for $G$-Lipschitz $F$ with $\eta$ error in total variation (TV) distance using $\widetilde{O}((G^2/\mu) \log^2(d/\eta))$ unbiased queries to $F(x)$. This is the first sampler whose query complexity has \emph{polylogarithmic dependence} on both dimension $d$ and accuracy $\eta$.


title: On minima of difference of theta functions and application to hexagonal crystallization

abstract: Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ \theta (\alpha;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-\alpha \frac{\pi }{y }|mz+n|^2}$ be the theta function associated with the lattice $L ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following minimization problem of difference of two theta functions \begin{equation}\aligned\nonumber \min_{ \mathbb{H} } \Big(\theta (\alpha; z)-\beta\theta (2\alpha; z)\Big) \endaligned\end{equation} where $\alpha \geq 1$ and $ \beta \in (-\infty, +\infty)$. We prove that there is a critical value $\beta_c=\sqrt2$ (independent of $\alpha$) such that if $\beta\leq\beta_c$, the minimizer is $\frac{1}{2}+i\frac{\sqrt3}{2}$ (up to translation and rotation) which corresponds to the hexagonal lattice, and if $\beta>\beta_c$, the minimizer does not exist. Our result partially answers some questions raised in \cite{Bet2016, Bet2018, Bet2020, Bet2019AMP} and gives a new proof in the crystallization of hexagonal lattice under Yukawa potential.


title: Joint Beamforming and Reflection Design for RIS-assisted ISAC Systems

abstract: In this paper, we investigate the potential of employing reconfigurable intelligent surface (RIS) in integrated sensing and communication (ISAC) systems. In particular, we consider an RIS-assisted ISAC system in which a multi-antenna base station (BS) simultaneously performs multi-user multi-input single-output (MU-MISO) communication and target detection. We aim to jointly design the transmit beamforming and receive filter of the BS, and the reflection coefficients of the RIS to maximize the sum-rate of the communication users, while satisfying a worst-case radar output signal-to-noise ratio (SNR), the transmit power constraint, and the unit modulus property of the reflecting coefficients. An efficient iterative algorithm based on fractional programming (FP), majorization-minimization (MM), and alternative direction method of multipliers (ADMM) is developed to solve the complicated non-convex problem. Simulation results verify the advantage of the proposed RIS-assisted ISAC scheme and the effectiveness of the developed algorithm.


title: PhyCOM: A Multi-Layer Parametric Network for Joint Linear Impairments Compensation and Symbol Detection

abstract: In this paper, we focus on the joint impairments compensation and symbol detection problem in communication systems. First, we introduce a new multi-layer channel model that represents the underlying physics of multiple impairments in communication systems. This model is composed of widely linear parametric layers that describe the input-output relationship of the front-end impairments and channel effects. Using this particular model, we show that the joint compensation and zero-forcing detection problem can be solved by a particular feedforward network called PhyCOM. Because of the small number of network parameters, a PhyCOM network can be trained efficiently using sophisticated optimization algorithms and a limited number of pilot symbols. Numerical examples are provided to demonstrate the effectiveness of PhyCOM networks with communication systems corrupted by transmitter and receiver IQ imbalances, carrier frequency offset, finite impulse response channels, and transmitter and receiver phase noise distortions. Compared to conventional digital signal processing approaches, simulation results show that the proposed technique is much more flexible and offers better statistical performance both in terms of MSE and SER with a moderate increase of the computation complexity.


title: Energy evolution of T-odd gluon TMDs at small $x$

abstract: We study the energy or TMD evolution of the three leading twist dipole type T-odd gluon TMDs inside a transversely polarized nucleon, all of which at small $x$ dynamically originate from the spin dependent odderon. Their energy dependence presents a unique opportunity to study the polarization dependent TMD evolution in the small-$x$ region, where the distributions are identical up to a normalization constant at tree level. We further propose to study their evolution via azimuthal asymmetries in virtual photon-jet production in polarized proton-proton collisions at RHIC. We present model predictions for the asymmetries as functions of the large jet or photon transverse momentum and $Q^2$ which set the hard scales in this process.


title: A Pattern Language for Blockchain Governance

abstract: Blockchain technology has been used to build next-generation applications taking advantage of its decentralised nature. Nevertheless, there are some serious concerns about the trustworthiness of blockchain due to the vulnerabilities in on-chain algorithmic mechanisms, and tedious disputes and debates in off-chain communities. Accordingly, blockchain governance has received great attention for improving the trustworthiness of all decisions that direct a blockchain platform. However, there is a lack of systematic knowledge to guide practitioners to perform blockchain governance. We have performed a systematic literature review to understand the state-of-the-art of blockchain governance. We identify the lifecycle stages of a blockchain platform, and present 14 architectural patterns for blockchain governance in this study. This pattern language can provide guidance for the effective use of patterns for blockchain governance in practice, and support the architecture design of governance-driven blockchain systems.


title: Chiral symmetry restoration and the $\Delta$ matter formation in neutron stars

abstract: We analyze the effects of chiral symmetry restoration in hadronic matter, including the lowest-lying baryonic resonance $\Delta$ based on the parity doublet model. We study the role of $\Delta$ and its chiral partner on the equation of state (EoS) of dense matter under neutron star (NS) conditions of $\beta$-equilibrium and charge neutrality. We find that the softening of the EoS driven by the early onset of $\Delta$ matter due to partial restoration of chiral symmetry allows accommodating the modern multi-messenger astrophysical constraints on the mass, radius, and tidal deformability. The softening above the saturation density is accompanied by subsequent stiffening at high densities. We also find that the matter composition in the NS cores may be different upon variations of the repulsive interactions of $\Delta$ baryons in hadronic matter.


title: Bidirectional Pricing and Demand Response for Nanogrids with HVAC Systems

abstract: Owing to the fluctuant renewable generation and power demand, the energy surplus or deficit in each nanogrid is embodied differently across time. To stimulate local renewable energy consumption and minimize the long-term energy cost, some issues still remain to be explored: when and how the energy demand and bidirectional trading prices are scheduled considering personal comfort preferences and environmental factors. For this purpose, the demand response and two-way pricing problems concurrently for nanogrids and a public monitoring entity (PME) are studied with exploiting the large potential thermal elastic ability of heating, ventilation and air-conditioning (HVAC) units. Different from nanogrids, in terms of minimizing time-average costs, PME aims to set reasonable prices and optimize profits by trading with nanogrids and the main grid bi-directionally. In particular, such bilevel energy management problem is formulated as a stochastic form in a long-term horizon. Since there are uncertain system parameters, time-coupled queue constraints and the interplay of bilevel decision-making, it is challenging to solve the formulated problems. To this end, we derive a form of relaxation based on Lyapunov optimization technique to make the energy management problem tractable without forecasting the related system parameters. The transaction between nanogrids and PME is captured by a one-leader and multi-follower Stackelberg game framework. Then, theoretical analysis of the existence and uniqueness of Stackelberg equilibrium (SE) is developed based on the proposed game property. Following that, we devise an optimization algorithm to reach the SE with less information exchange. Numerical experiments validate the effectiveness of the proposed approach.


title: ArabGend: Gender Analysis and Inference on Arabic Twitter

abstract: Gender analysis of Twitter can reveal important socio-cultural differences between male and female users. There has been a significant effort to analyze and automatically infer gender in the past for most widely spoken languages' content, however, to our knowledge very limited work has been done for Arabic. In this paper, we perform an extensive analysis of differences between male and female users on the Arabic Twitter-sphere. We study differences in user engagement, topics of interest, and the gender gap in professions. Along with gender analysis, we also propose a method to infer gender by utilizing usernames, profile pictures, tweets, and networks of friends. In order to do so, we manually annotated gender and locations for ~166K Twitter accounts associated with ~92K user location, which we plan to make publicly available at http://anonymous.com. Our proposed gender inference method achieve an F1 score of 82.1%, which is 47.3% higher than majority baseline. In addition, we also developed a demo and made it publicly available.


title: Gas Adsorption and Diffusion Behaviors in Interfacial Systems Composed of a Polymer of Intrinsic Microporosity and Amorphous Silica: A Molecular Simulation Study

abstract: We investigate the adsorption and diffusion behaviors of CO2, CH4, and N2 in interfacial systems composed of a polymer of intrinsic microporosity (PIM-1) and amorphous silica using grand canonical Monte Carlo (GCMC) and molecular dynamics (MD) simulations. We build model systems of mixed matrix membranes (MMMs) with PIM-1 chains sandwiched between silica surfaces. Gas adsorption analysis using GCMC simulations shows that gas molecules are preferentially adsorbed in microcavities distributed near silica surfaces, resulting in an increase in the solubility coefficients of CO2, CH4, and N2 compared to bulk PIM-1. In contrast, diffusion coefficients obtained from MD simulations and then calibrated using the dual-mode sorption model show different tendencies depending on gas species: CO2 diffusivity decreases in MMMs compared to PIM-1, whereas CH4 and N2 diffusivities increase. These differences are attributed to competing effects of silica surfaces: the emergence of larger pores as a result of chain packing disruption, which enhances gas diffusion, and a quadrupole-dipole interaction between gas molecules and silica surface hydroxyl groups, which retards gas diffusion. The former has a greater impact on CH4 and N2 diffusivities, whereas the latter has a greater impact on CO2 diffusivity due to the strong quadrupole-dipole interaction between CO2 and surface hydroxyls. These findings add to our understanding of gas adsorption and diffusion behaviors in the vicinity of PIM-1/silica interfaces, which are unobtainable in experimental studies.


title: Generalised point vortices on a plane

abstract: A three-vortex system on a plane is known to be minimally superintegrable in the Liouville sense. In this work, integrable generalisations of the three-vortex planar model, which involve root vectors of simple Lie algebras, are proposed. It is shown that a generalised system, which is governed by a positive definite Hamiltonian, admits a natural integrable extension by spin degrees of freedom. It is emphasised that the n-vortex planar model and plenty of its generalisations enjoy the nonrelativistic scale invariance, which gives room for possible holographic applications.


title: TableFormer: Robust Transformer Modeling for Table-Text Encoding

abstract: Understanding tables is an important aspect of natural language understanding. Existing models for table understanding require linearization of the table structure, where row or column order is encoded as an unwanted bias. Such spurious biases make the model vulnerable to row and column order perturbations. Additionally, prior work has not thoroughly modeled the table structures or table-text alignments, hindering the table-text understanding ability. In this work, we propose a robust and structurally aware table-text encoding architecture TableFormer, where tabular structural biases are incorporated completely through learnable attention biases. TableFormer is (1) strictly invariant to row and column orders, and, (2) could understand tables better due to its tabular inductive biases. Our evaluations showed that TableFormer outperforms strong baselines in all settings on SQA, WTQ and TabFact table reasoning datasets, and achieves state-of-the-art performance on SQA, especially when facing answer-invariant row and column order perturbations (6% improvement over the best baseline), because previous SOTA models' performance drops by 4% - 6% when facing such perturbations while TableFormer is not affected.


title: Evidence for the first-order topological phase transition in a Kitaev spin liquid candidate $\alpha$-RuCl$ _3$

abstract: The Kitaev quantum spin liquid (QSL) on the two-dimensional honeycomb lattice epitomizes an entangled topological state, where the spins fractionalize into Majorana fermions. This state has aroused tremendous interest because it harbors non-Abelian anyon excitations. The half-integer quantized thermal Hall (HIQTH) conductance observed in $\alpha$-RuCl$_3$ is a key signature of these excitations. However, the fate of this topologically nontrivial state at intense fields remains largely elusive. Here, we report the thermal conductivity $\kappa$ and specific heat $C$ of $\alpha$-RuCl$_3$ with in-plane magnetic fields $H$. For the field direction perpendicular to the Ru-Ru bond, where the HIQTH effect is observed, we find a discontinuous jump in $\kappa(H)$ and a peak anomaly in $C(H)$ at $\mu_0H^*\approx11$\,T, evidencing a weak first-order phase transition. Remarkably, the HIQTH effect vanishes close to $H^*$. Furthermore, we find that the spin-fractionalization feature is retained well above $H^\ast$. These imply the emergence of the phase transition that separates two QSL phases with distinct topological properties.


title: Radio properties of the OH megamaser galaxy IIZw 096

abstract: Based on the two epochs EVN archive data from OH line observations of IIZw 096, we confirm that the high-resolution OH emission in this source mainly comes from two spots (OH1 and OH2) of comp D1 of this merging system. We found no significant variations in the OH line emission. The OH 1665 MHz line emission is detected at about 6 $\sigma$ level in the OH1 region by combining two epoch EVN observations. We found that the comp D1 shows the brightest CO, HCO+ line emission, as well as multi-band radio continuum emission. The environment around D1 shows no clear velocity structure associated with circular motions, making it different from most other OHMs in the literature, which might have been caused by an effect during the merger stage. Meanwhile, we found that the CO emission shows three velocity structures around D1, including the central broad FWHM region, the double peak region where the CO line profile shows two separated peaks, and the region of the high-velocity clouds where the CO line peaks at a high velocity ($\sim$ 11000 \kms). \HI in absorption also show high-velocity clouds around the D1 region, which might be due to inflows caused by the merging of two or more galaxy components. Based on the high-resolution K-band VLA and L-band VLBA observations of the radio continuum emission, we derived the brightness temperature in the range $10^{5}$ K to $10^{6}$ K, which is consistent with other starburst dominant OHM sources in the literature. The multi-band VLA observations show that the radio continuum emission of comp D might also have contributions from free-free emission, besides synchrotron emission. As a concenquence, these results support a starburst origin for the OHMs, without the presence of an AGN.


title: Evolution of scalar field resonances in a braneworld

abstract: In this work, we investigate numerical evolution of massive Kaluza-Klein (KK) modes of a scalar field in a thick brane. We derive the Klein-Gordon equation in five dimensional spacetime, and obtain the evolution equation and the Schr\"odinger-like equation. With the resonances of the scalar KK modes as the initial data, the scalar field is evolved with the maximally dissipative boundary condition. The results show that there are scalar KK resonant particles with long life on the brane, which indicates that these resonances might be viewed as one of the candidates for dark matter.


title: Slice-Aware Resource Calendaring in Cloud-based Radio Access Networks

abstract: Network slicing has been introduced in 5G/6G networks to address the challenge of providing new services with different and sometimes conflicting requirements. With SDN and NFV technologies being used in the design of 5G and 6G wireless network slicing, as well as the centralization of control over these technologies, new services such as resource calendaring can also be used in wireless networks. In bandwidth calendaring, traffic with a low latency sensitivity and a high volume is shifted to later time slots so that applications with a high latency sensitivity can be served instead. We discuss how to calendar radio resources in the C-RAN architecture, which also makes use of network slicing. This is referred to as Slice-Aware Radio Resource Calendaring. A model of the problem is developed as an ILP problem and two heuristic algorithms are proposed for solving it due to complexity of optimal solution. Observations have shown that when resources are shared between tenants, the number of accepted requests increases.


title: Compositional Inverses of AGW-PPs

abstract: In this paper, we present two methods to obtain the compositional inverses of AGW-PPs. We improve some known results in this topic.


title: Increasing the Peneteration of Renewables by Releasing Merchant Energy Storage Flexibility

abstract: It is anticipated that large-scale energy storage facility (ESF) will become an essential part of the future energy markets to increase the penetration of renewables. In this paper, a new optimization algorithm is developed to participate in large-scale merchant ESF to deal with renewables fluctuations. The ESF is an investor-owned and independently-operated, seeking to maximize its total profit while hedging the system against net-load variation. To do so, an exact computationally efficient bi-level mixed-integer linear programming (MILP) is envisaged. The ESF operator tries to maximize its own profit at the upper level while ISO seeks to clear the markets at the lower level. In principle, the ESF will be able to construct its bidding/offering curves to buy/sell from/to different markets. To maintain the tractability of the problem, each lower level is replaced by its KKT optimality conditions, and nonlinearities are converted into linear equivalents using strong duality theory rendering the single-level MILP and consequently recast as an MPEC. Additionally, the proposed framework is constructed according to the information gap decision theory (IGDT) instrument to capture the adverse impact of uncertainty on the profit of ESF.


title: Fast-R2D2: A Pretrained Recursive Neural Network based on Pruned CKY for Grammar Induction and Text Representation

abstract: Recently CKY-based models show great potential in unsupervised grammar induction thanks to their human-like encoding paradigm, which runs recursively and hierarchically, but requires $O(n^3)$ time-complexity. Recursive Transformer based on Differentiable Trees (R2D2) makes it possible to scale to large language model pre-training even with complex tree encoder by introducing a heuristic pruning method. However, the rule-based pruning approach suffers from local optimum and slow inference issues. In this paper, we fix those issues in a unified method. We propose to use a top-down parser as a model-based pruning method, which also enables parallel encoding during inference. Typically, our parser casts parsing as a split point scoring task, which first scores all split points for a given sentence, and then recursively splits a span into two by picking a split point with the highest score in the current span. The reverse order of the splits is considered as the order of pruning in R2D2 encoder. Beside the bi-directional language model loss, we also optimize the parser by minimizing the KL distance between tree probabilities from parser and R2D2. Our experiments show that our Fast-R2D2 improves performance significantly in grammar induction and achieves competitive results in downstream classification tasks.


title: Excitations in the ordered and paramagnetic states of honeycomb magnet Na2Co2TeO6

abstract: Na2Co2TeO6 is a proposed approximate Kitaev magnet, yet its actual magnetic interactions are elusive due to a lack of knowledge on the full excitation spectrum. Here, using inelastic neutron scattering and single crystals, we determine the system's temperature-dependent magnetic excitations over the entire Brillouin zone. Without committing to specific models, we unveil a distinct signature of the third-nearest-neighbor coupling in the spin waves, which signifies the associated distance as an emerging "soft link" in the ordered state. The presence of at least six non-overlapping spin-wave branches is at odds with all models proposed to date. Above the ordering temperature, persisting dynamic correlations can be described by equal-time magnetic structure factors of a hexagonal cluster, which reveal the leading instabilities. Our result sets definitive constraint on theoretical models for Na2Co2TeO6 and provides new insight for the materialization of the Kitaev model.


title: ProgressLabeller: Visual Data Stream Annotation for Training Object-Centric 3D Perception

abstract: Visual perception tasks often require vast amounts of labelled data, including 3D poses and image space segmentation masks. The process of creating such training data sets can prove difficult or time-intensive to scale up to efficacy for general use. Consider the task of pose estimation for rigid objects. Deep neural network based approaches have shown good performance when trained on large, public datasets. However, adapting these networks for other novel objects, or fine-tuning existing models for different environments, requires significant time investment to generate newly labelled instances. Towards this end, we propose ProgressLabeller as a method for more efficiently generating large amounts of 6D pose training data from color images sequences for custom scenes in a scalable manner. ProgressLabeller is intended to also support transparent or translucent objects, for which the previous methods based on depth dense reconstruction will fail. We demonstrate the effectiveness of ProgressLabeller by rapidly create a dataset of over 1M samples with which we fine-tune a state-of-the-art pose estimation network in order to markedly improve the downstream robotic grasp success rates. ProgressLabeller is open-source at https://github.com/huijieZH/ProgressLabeller.