title: A Tseng type stochastic forward-backward algorithm for monotone inclusions

abstract: In this paper, we propose a stochastic version of the classical Tseng's forward-backward-forward method with inertial term for solving monotone inclusions given by the sum of a maximal monotone operator and a single-valued monotone operator in real Hilbert spaces. We obtain the almost sure convergence for the general case and the rate $\mathcal{O}(1/n)$ in expectation for the strong monotone case. Furthermore, we derive $\mathcal{O}(1/n)$ rate convergence of the primal-dual gap for saddle point problems.


title: The strong-interaction limit of density functional theory

abstract: This is a comprehensive review of the strong-interaction limit of density functional theory. It covers the derivation of the limiting strictly correlated electrons (SCE) functional from exact Hohenberg-Kohn DFT, basic aspects of SCE physics such as the nonlocal dependence of the SCE potential on the density, equivalent formulations and the mathematical interpretation as optimal transport with Coulomb cost, rigorous results (including exactly soluble cases), approximations, numerical methods, integration into Kohn-Sham DFT (KS SCE), and applications to molecular systems, an example being that KS SCE, unlike the local density approximation or generalized gradient approximations, dissociates H$_2$ correctly. We have made an effort to make this review accessible to a broad audience of physicists, chemists, and mathematicians.

categories: physics.chem-ph cond-mat.str-el math-ph math.MP


title: Optimal configuration of cooperative stationary and mobile energy storage considering ambient temperature: A case for Winter Olympic Game

abstract: The international mega-event, such as the Winter Olympic Game, has been considered as one of the most carbon intensive activities worldwide. The commitment of fully renewable energy accommodation and utilization while ensuring the extreme high reliability has brought significant challenges on system operation due to the stochastic nature of the renewables. The battery energy storage system (BESS) composed of stationary energy storage system (SESS) and shared mobile energy storage system (MESS) can be utilized to meet the requirements of short-term load surges, renewable accommodation and emergency power supply for important loads during the mega-event. The BESS can continue to serve the venues electricity consumption to satisfy the carbon neutrality after the event. On the other hand, the low ambient temperature of Winter Olympic game has significant impact on BESSs degradation and performance which need to be integrated to the charging and discharging model of BESS. To this end, a joint two-stage optimal configuration method considering the ambient temperature of SESS and MESS has been developed to support the mega-event carbon neutrality, to reduce redundant BESS capacity allocation and improve the system life cycle cost-benefit. Simulation results have demonstrated the rationality and effectiveness of the collaborative operation of SESS and the MESS under various scenarios.


title: Multi-objective Distributed Optimization for Zonal Distribution System with Multi-Microgrids

abstract: The issue of voltage variations caused by integration of renewables has been addressed in this paper through distributed management of Microgrids (MGs). The distribution network (DN) takes the network losses and voltage quality as objectives, an alternating direction method of multipliers (ADMM) with adaptive penalty modulation has been proposed to realize distributed optimization with improved convergence. On the basis of satisfying the optimization target on the system level, the individual MG manages the controllable resources inside the MG to minimize the operating cost on the lower level. The feasibility and effectiveness of the proposed method has been demonstrated on a modified IEEE 33-bus system.


title: Matrix balancing based interior point methods for point set matching problems

abstract: Point sets matching problems can be handled by optimal transport. The mechanism behind it is that optimal transport recovers the point-to-point correspondence associated with the least curl deformation. Optimal transport is a special form of linear programming with dense constraints. Linear programming can be handled by interior point methods, provided that the involved ill-conditioned Hessians can be computed accurately. During the decade, matrix balancing has been employed to compute optimal transport under entropy regularization approaches. The solution quality in the interior point method relies on two ingredients: the accuracy of matrix balancing and the boundedness of the dual vector. To achieve high accurate matrix balancing, we employ Newton methods to implement matrix balancing of a sequence of matrices along one central path. In this work, we apply sparse support constraints to matrix-balancing based interior point methods, in which the sparse set fulfilling total support is iteratively updated to truncate the domain of the transport plan. Total support condition is one crucial condition, which guarantees the existence of matrix balancing as well as the boundedness of the dual vector.


title: Holomorphic Koszul-Brylinski homologies of Poisson blow-ups

abstract: We derive a blow-up formula for holomorphic Koszul-Brylinski homologies of compact holomorphic Poisson manifolds. As applications, we investigate the invariance of the $E_{1}$-degeneracy of the Dolbeault-Koszul-Brylinski spectral sequence under Poisson blow-ups, and compute the holomorphic Koszul-Brylinski homology for del Pezzo surfaces and two complex nilmanifolds with holomorphic Poisson structures.


title: Notes on finite totally $2$-closed permutation groups

abstract: Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $\Delta$, applying the university embedding theorem one can construct a faithful $G$-set $\Omega$. In this short note, it is proved that if the $2$-closure of $N$ in $\Omega$ is equal to $N$, then the $2$-closure of $N$ in $\Delta$ is also equal to $N$; in addition, it is proved that any abelian normal subgroup of a finite totally $2$-closed group is cyclic; finally, it is proved that if a finite nilpotent group is a direct of two nilpotent subgroups where the two factors have coprime orders and both of them are totally 2-closed then G is totally $2$-closed. As corollaries, several well-known results on finite totally 2-closed groups are reproved in more simple ways.


title: GRANDMA Observations of ZTF/Fink Transients during Summer 2021

abstract: We present our follow-up observations with GRANDMA of transient sources revealed by the Zwicky Transient Facility (ZTF). Over a period of six months, all ZTF triggers were examined in real time by a dedicated science module implemented in the Fink broker, which will be used for the data processing of the Vera C. Rubin Observatory. In this article, we present three selection methods to identify kilonova candidates. Out of more than 35 million candidates, a hundred sources have passed our selection criteria. Six were then followed-up by GRANDMA (by both professional and amateur astronomers). The majority were finally classified either as asteroids or as supernovae events. We mobilized 37 telescopes, bringing together a large sample of images, taken under various conditions and quality. To complement the orphan kilonova candidates (those without associated gamma-ray bursts, which were all), we included three additional supernovae alerts to conduct further observations of during summer 2021. We demonstrate the importance of the amateur astronomer community that contributed images for scientific analyzes of new sources discovered in a magnitude range r'=17-19 mag. We based our rapid kilonova classification on the decay rate of the optical source that should exceed 0.3 mag/day. GRANDMA's follow-up determined the fading rate within 1.5+/-1.2 days post-discovery, without waiting for further observations from ZTF. No confirmed kilonovae were discovered during our observing campaign. This work will be continued in the coming months in the view of preparing for kilonova searches in the next gravitational-wave observing run O4.


title: Geometry of gauged LG-model with compatible boundary conditions

abstract: This paper introduces the geometry of the open string Floer theory of gauged Landau-Ginzburg model via gauged Witten equations. Given a $G$-invariant Morse-Bott holomorphic function $W$ on a Hamiltonian space $(M,\omega,G),$ Lefschetz thimbles are constructed from proper Lagrangian submanifolds of critical set of $W.$ We study an energy functional on path space whose gradient flow equation corresponds to the gauged Witten equations with temporal gauge on a strip end, and whose critical points are Lagrangian intersections in the reduced critical space of $W.$


title: Tropical curves in abelian surfaces II: enumeration of curves in linear systems

abstract: In this paper, second installment in a series of three, we give a correspondence theorem to relate the count of genus $g$ curves in a fixed linear system in an abelian surface to a tropical count. To do this, we relate the linear system defined by a complex curve to certain integrals of 1-forms over cycles in the curve. We then give an expression for the tropical multiplicity provided by the correspondence theorem, and prove the invariance for the associated refined multiplicity, thus introducing refined invariants of Block-G\"ottsche type in abelian surfaces.


title: Dynamic Spatial Propagation Network for Depth Completion

abstract: Image-guided depth completion aims to generate dense depth maps with sparse depth measurements and corresponding RGB images. Currently, spatial propagation networks (SPNs) are the most popular affinity-based methods in depth completion, but they still suffer from the representation limitation of the fixed affinity and the over smoothing during iterations. Our solution is to estimate independent affinity matrices in each SPN iteration, but it is over-parameterized and heavy calculation. This paper introduces an efficient model that learns the affinity among neighboring pixels with an attention-based, dynamic approach. Specifically, the Dynamic Spatial Propagation Network (DySPN) we proposed makes use of a non-linear propagation model (NLPM). It decouples the neighborhood into parts regarding to different distances and recursively generates independent attention maps to refine these parts into adaptive affinity matrices. Furthermore, we adopt a diffusion suppression (DS) operation so that the model converges at an early stage to prevent over-smoothing of dense depth. Finally, in order to decrease the computational cost required, we also introduce three variations that reduce the amount of neighbors and attentions needed while still retaining similar accuracy. In practice, our method requires less iteration to match the performance of other SPNs and yields better results overall. DySPN outperforms other state-of-the-art (SoTA) methods on KITTI Depth Completion (DC) evaluation by the time of submission and is able to yield SoTA performance in NYU Depth v2 dataset as well.


title: Probability equivalent level of Value at Risk and higher-order Expected Shortfalls

abstract: We investigate the probability equivalent level of Value at Risk and $n^{\mathrm{th}}$-order Expected Shortfall (called PELVE_n), which can be considered as a variant of the notion of the probability equivalent level of Value at Risk and Expected Shortfall (called PELVE) due to Li and Wang (2022). We study the finiteness, uniqueness and several properties of PELVE_n, we calculate PELVE_n of some notable distributions, PELVE_2 of a random variable having generalized Pareto excess distribution, and we describe the asymptotic behaviour of PELVE_2 of regularly varying distributions as the level tends to $0$. Some properties of $n^{\mathrm{th}}$-order Expected Shortfall are also investigated. Among others, it turns out that the Gini Shortfall at some level $p\in[0,1)$ corresponding to a (loading) parameter $\lambda\geq 0$ is the linear combination of the Expected Shortfall at level $p$ and the $2^{\mathrm{nd}}$-order Expected Shortfall at level $p$ with coefficients $1-2\lambda$ and $2\lambda$, respectively.


title: Random periodic solutions for stochastic differential equations with non-uniform dissipativity

abstract: This paper is concerned with the existence and uniqueness of random periodic solutions for stochastic differential equations (SDEs), where the drift terms involved need not to be uniformly dissipative. On the one hand, via the reflection coupling approach, we investigate the existence of random periodic solutions in the sense of distribution for SDEs without memory, where the drifts are merely dissipative at long distance. On the other hand, via the synchronous coupling strategy, we establish respectively the existence of pathwise random periodic solutions for functional SDEs with a finite time lag and an infinite time lag, in which the drifts are only dissipative on average rather than uniformly dissipative with respect to the time parameters.


title: Context-aware adaptation of mobile video decoding resolution

abstract: While the evolution of mobile computing is experiencing a considerable growth, it is at the same time seriously threatened by the limitations of the battery technology, which does not keep pace with the evergrowing increase in energy requirements of mobile applications. A novel approach for reducing the energy appetite of mobile apps comes from the approximate computing field, which proposes techniques that in a controlled manner sacrifice computation accuracy for higher energy savings. Building on this philosophy we propose a context-aware mobile video quality adaptation that reduces the energy needed for video playback, while ensuring that a user's quality expectations with respect to the mobile video are met. We confirm that the decoding resolution can play a significant role in reducing the overall power consumption of a mobile device and conduct two user studies to investigate how the context in which a video is played, its content, and the user's personality, modulate a user's quality expectations. We discover that a user's physical activity, the spatial/temporal properties of the video, and the user's personality traits interact and jointly influence the minimal acceptable playback resolution, paving the way for context-adaptable approximate mobile computing.


title: Learning to Help Emergency Vehicles Arrive Faster: A Cooperative Vehicle-Road Scheduling Approach

abstract: The ever-increasing heavy traffic congestion potentially impedes the accessibility of emergency vehicles (EVs), resulting in detrimental impacts on critical services and even safety of people's lives. Hence, it is significant to propose an efficient scheduling approach to help EVs arrive faster. Existing vehicle-centric scheduling approaches aim to recommend the optimal paths for EVs based on the current traffic status while the road-centric scheduling approaches aim to improve the traffic condition and assign a higher priority for EVs to pass an intersection. With the intuition that real-time vehicle-road information interaction and strategy coordination can bring more benefits, we propose LEVID, a LEarning-based cooperative VehIcle-roaD scheduling approach including a real-time route planning module and a collaborative traffic signal control module, which interact with each other and make decisions iteratively. The real-time route planning module adapts the artificial potential field method to address the real-time changes of traffic signals and avoid falling into a local optimum. The collaborative traffic signal control module leverages a graph attention reinforcement learning framework to extract the latent features of different intersections and abstract their interplay to learn cooperative policies. Extensive experiments based on multiple real-world datasets show that our approach outperforms the state-of-the-art baselines.


title: Supervising the Multi-Fidelity Race of Hyperparameter Configurations

abstract: Multi-fidelity (gray-box) hyperparameter optimization techniques (HPO) have recently emerged as a promising direction for tuning Deep Learning methods. However, existing methods suffer from a sub-optimal allocation of the HPO budget to the hyperparameter configurations. In this work, we introduce DyHPO, a Bayesian Optimization method that learns to decide which hyperparameter configuration to train further in a dynamic race among all feasible configurations. We propose a new deep kernel for Gaussian Processes that embeds the learning curve dynamics, and an acquisition function that incorporates multi-budget information. We demonstrate the significant superiority of DyHPO against state-of-the-art hyperparameter optimization methods through large-scale experiments comprising 50 datasets (Tabular, Image, NLP) and diverse architectures (MLP, CNN/NAS, RNN).


title: Non-Abelian Landau-Ginzburg Theory of Ferromagnetic Superconductivity and Photon-Spinon Mixing

abstract: We propose an effective theory of non-Abelian superconductivity, an SU(2)xU(1) extension of the Abelian Landau-Ginzburg theory, which could be viewed as an effective theory of ferromagnetic superconductivity made of spin-up and spin-down doublet Cooper pair. Just like the Abelian Landau-Ginzburg theory it has the U(1) electromagnetic interaction, but the new ingredient is the non-Abelian SU(2) gauge interaction between the spin doublet Cooper pair. A remarkable feature of the theory is the mixing between the photon and the diagonal part of the SU(2) gauge boson. After the mixing it has massless gauge boson (the massless non-Abelian spinon) and massive gauge boson (the massive photon), in addition to the massive off-diagonal gauge bosons (the massive non-Abelian spinons) which induces the spin-flip interaction between the spin up and down components of the Cooper pair. So, unlike the ordinary Landau-Ginzburg theory it has a long range interaction mediated by the massless non-Abelian spinon, which could be responsible for the long range magnetic order and spin waves observed in ferromagnetic superconductors. The theory is characterized by three scales. In addition to the correlation length fixed by the mass of the Higgs field it has two different penetration lengths, the one fixed by the mass of the photon (which generates the well known Meissner effect) and the other fixed by the mass of the off-diagonal spinons (which determines the scale of the spin flip interaction). The non-Abelian structure of the theory naturally accommodates new topological objects, the non-Abrikosov quantized spin vortex (as well as the well known Abrikosov vortex) and non-Abelian spin monopole. We discuss the physical implications of the non-Abelian Landau-Ginzburg theory.


title: Towards a dichotomy for the Reidemeister zeta function

abstract: We prove a dichotomy between rationality and a natural boundary for the analytic behavior of the Reidemeister zeta function for automorphisms of non-finitely generated torsion abelian groups and for endomorphisms of groups $\mathbb Z_p^d,$ where $\mathbb Z_p$ the group of p-adic integers. As a consequence, we obtain a dichotomy for the Reidemeister zeta function of a continuous map of a topological space with fundamental group that is non-finitely generated torsion abelian group. We also prove the rationality of the coincidence Reidemeister zeta function for tame endomorphisms pairs of finitely generated torsion-free nilpotent groups, based on a weak commutativity condition.


title: An Analysis of Complex-Valued CNNs for RF Data-Driven Wireless Device Classification

abstract: Recent deep neural network-based device classification studies show that complex-valued neural networks (CVNNs) yield higher classification accuracy than real-valued neural networks (RVNNs). Although this improvement is (intuitively) attributed to the complex nature of the input RF data (i.e., IQ symbols), no prior work has taken a closer look into analyzing such a trend in the context of wireless device identification. Our study provides a deeper understanding of this trend using real LoRa and WiFi RF datasets. We perform a deep dive into understanding the impact of (i) the input representation/type and (ii) the architectural layer of the neural network. For the input representation, we considered the IQ as well as the polar coordinates both partially and fully. For the architectural layer, we considered a series of ablation experiments that eliminate parts of the CVNN components. Our results show that CVNNs consistently outperform RVNNs counterpart in the various scenarios mentioned above, indicating that CVNNs are able to make better use of the joint information provided via the in-phase (I) and quadrature (Q) components of the signal.


title: Pseudo Numerical Methods for Diffusion Models on Manifolds

abstract: Denoising Diffusion Probabilistic Models (DDPMs) can generate high-quality samples such as image and audio samples. However, DDPMs require hundreds to thousands of iterations to produce final samples. Several prior works have successfully accelerated DDPMs through adjusting the variance schedule (e.g., Improved Denoising Diffusion Probabilistic Models) or the denoising equation (e.g., Denoising Diffusion Implicit Models (DDIMs)). However, these acceleration methods cannot maintain the quality of samples and even introduce new noise at a high speedup rate, which limit their practicability. To accelerate the inference process while keeping the sample quality, we provide a fresh perspective that DDPMs should be treated as solving differential equations on manifolds. Under such a perspective, we propose pseudo numerical methods for diffusion models (PNDMs). Specifically, we figure out how to solve differential equations on manifolds and show that DDIMs are simple cases of pseudo numerical methods. We change several classical numerical methods to corresponding pseudo numerical methods and find that the pseudo linear multi-step method is the best in most situations. According to our experiments, by directly using pre-trained models on Cifar10, CelebA and LSUN, PNDMs can generate higher quality synthetic images with only 50 steps compared with 1000-step DDIMs (20x speedup), significantly outperform DDIMs with 250 steps (by around 0.4 in FID) and have good generalization on different variance schedules. Our implementation is available at https://github.com/luping-liu/PNDM.


title: Variably Scaled Persistence Kernels (VSPKs) for persistent homology applications

abstract: In recent years, various kernels have been proposed in the context of persistent homology to deal with persistence diagrams in supervised learning approaches. In this paper, we consider the idea of variably scaled kernels, for approximating functions and data, and we interpret it in the framework of persistent homology. We call them Variably Scaled Persistence Kernels (VSPKs). These new kernels are then tested in different classification experiments. The obtained results show that they can improve the performance and the efficiency of existing standard kernels.


title: Fast high-dimensional integration using tensor networks

abstract: The design and application of regression-free tensor network representations for integration is presented. Tensor network methods are demonstrated to outperform Monte Carlo for test problems, and exponential convergence is shown to be achievable for a non-analytic integrand.


title: Some new results about $q$-trinomial coefficients

abstract: In this paper, we present several new congruences on the $q$-trinomial coefficients introduced by Andrews and Baxter. A new congruence on sums of central $q$-binomial coefficients is also established.


title: Tight Wavelet Filter Banks with Prescribed Directions

abstract: Constructing tight wavelet filter banks with prescribed directions is challenging. This paper presents a systematic method for designing a tight wavelet filter bank, given any prescribed directions. There are two types of wavelet filters in our tight wavelet filter bank. One type is entirely determined by the prescribed information about the directionality and makes the wavelet filter bank directional. The other type helps the wavelet filter bank to be tight. In addition to the flexibility in choosing the directions, our construction method has other useful properties. It works for any multi-dimension, and it allows the user to have any prescribed number of vanishing moments along the chosen directions. Furthermore, our tight wavelet filter banks have fast algorithms for analysis and synthesis. Concrete examples are given to illustrate our construction method and properties of resulting tight wavelet filter banks.


title: Analysis and optimization of a novel energy storage flywheel for improved energy capacity

abstract: Kinetic/Flywheel energy storage systems (FESS) have re-emerged as a vital technology in many areas such as smart grid, renewable energy, electric vehicle, and high-power applications. FESSs are designed and optimized to have higher energy per mass (specific energy) and volume (energy density). Prior research, such as the use of high-strength materials and the reduction of stress concentration, primarily focused on designing and optimizing the rotor itself. However, a modern FESS includes other indispensable components such as magnetic bearings and a motor/generator that requires a shaft. The shaft significantly impacts the flywheel design. This paper investigates several typical flywheel designs and their stress analysis. A simplified analysis method is given for designing rotor-shaft assembly. It is found that the shaftless flywheel design approach can double the energy density level when compared to typical designs. The shaftless flywheel is further optimized using finite element analysis with the magnetic bearing and motor/generators' design considerations.


title: Clustering by the Probability Distributions from Extreme Value Theory

abstract: Clustering is an essential task to unsupervised learning. It tries to automatically separate instances into coherent subsets. As one of the most well-known clustering algorithms, k-means assigns sample points at the boundary to a unique cluster, while it does not utilize the information of sample distribution or density. Comparably, it would potentially be more beneficial to consider the probability of each sample in a possible cluster. To this end, this paper generalizes k-means to model the distribution of clusters. Our novel clustering algorithm thus models the distributions of distances to centroids over a threshold by Generalized Pareto Distribution (GPD) in Extreme Value Theory (EVT). Notably, we propose the concept of centroid margin distance, use GPD to establish a probability model for each cluster, and perform a clustering algorithm based on the covering probability function derived from GPD. Such a GPD k-means thus enables the clustering algorithm from the probabilistic perspective. Correspondingly, we also introduce a naive baseline, dubbed as Generalized Extreme Value (GEV) k-means. GEV fits the distribution of the block maxima. In contrast, the GPD fits the distribution of distance to the centroid exceeding a sufficiently large threshold, leading to a more stable performance of GPD k-means. Notably, GEV k-means can also estimate cluster structure and thus perform reasonably well over classical k-means. Thus, extensive experiments on synthetic datasets and real datasets demonstrate that GPD k-means outperforms competitors. The github codes are released in https://github.com/sixiaozheng/EVT-K-means.


title: DualSC: Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning

abstract: A shellcode is a small piece of code and it is executed to exploit a software vulnerability, which allows the target computer to execute arbitrary commands from the attacker through a code injection attack. Similar to the purpose of automated vulnerability generation techniques, the automated generation of shellcode can generate attack instructions, which can be used to detect vulnerabilities and implement defensive measures. While the automated summarization of shellcode can help users unfamiliar with shellcode and network information security understand the intent of shellcode attacks. In this study, we propose a novel approach DualSC to solve the automatic shellcode generation and summarization tasks. Specifically, we formalize automatic shellcode generation and summarization as dual tasks, use a shallow Transformer for model construction, and design a normalization method Adjust QKNorm to adapt these low-resource tasks (i.e., insufficient training data). Finally, to alleviate the out-of-vocabulary problem, we propose a rulebased repair component to improve the performance of automatic shellcode generation. In our empirical study, we select a highquality corpus Shellcode IA32 as our empirical subject. This corpus was gathered from two real-world projects based on the line-by-line granularity. We first compare DualSC with six state-of-the-art baselines from the code generation and code summarization domains in terms of four performance measures. The comparison results show the competitiveness of DualSC. Then, we verify the effectiveness of the component setting in DualSC. Finally, we conduct a human study to further verify the effectiveness of DualSC.


title: Dual-mode microresonators as straightforward access to octave-spanning dissipative Kerr solitons

abstract: The Kerr soliton frequency comb is a revolutionary compact ruler of coherent light that allows applications, from precision metrology to quantum information technology. The universal, reliable, and low-cost soliton microcomb source is key to these applications. In this work, we thoroughly present an innovative design strategy for realizing optical microresonators with two adjacent modes, separated by approximately 10 GHz, which stabilizes soliton formation without using additional auxiliary laser or RF components. We demonstrate the deterministic generation of the single-solitons that span 1.5-octaves, i.e., near 200 THz, via adiabatic pump wavelength tuning. The ultra-wide soliton existence ranges up to 17 GHz not only suggests the robustness of the system but will also extend the applications of soliton combs. Moreover, the proposed scheme is found to easily give rise to multi-solitons as well as the soliton crystals featuring enhanced repetition rate (2 and 3 THz) and conversion efficiency greater than 10%. We also show the effective thermal tuning of mode separation for stably accessing single-soliton. Our results are crucial for the chip-scale self-referenced frequency combs with a simplified configuration.


title: A new operational matrix based on Boubaker polynomials for solving fractional Emden-Fowler problem

abstract: In this paper the singular Emden-Fowler equation of fractional order is introduced and a computational method is proposed for its numerical solution. For the approximation of the solutions we have used Boubaker polynomials and defined the formulation for its fractional derivative operational matrix. This tool was not used yet, however, this area has not found many practical applications yet, and here introduced for the first time. The operational matrix of the Caputo fractional derivative tool converts these problems to a system of algebraic equations whose solutions are simple and easy to compute. Numerical examples are examined to prove the validity and the effectiveness of the proposed method to find approximate and precise solutions.


title: How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku

abstract: Shikaku is a pencil puzzle consisting of a rectangular grid, with some cells containing a number. The player has to partition the grid into rectangles such that each rectangle contains exactly one number equal to the area of that rectangle. In this paper, we propose two physical zero-knowledge proof protocols for Shikaku using a deck of playing cards, which allow a prover to physically show that he/she knows a solution of the puzzle without revealing it. Most importantly, in our second protocol we develop a general technique to physically verify a rectangle-shaped area with a certain size in a rectangular grid, which can be used to verify other problems with similar constraints.


title: SOTitle: A Transformer-based Post Title Generation Approach for Stack Overflow

abstract: On Stack Overflow, developers can not only browse question posts to solve their programming problems but also gain expertise from the question posts to help improve their programming skills. Therefore, improving the quality of question posts in Stack Overflow has attracted the wide attention of researchers. A concise and precise title can play an important role in helping developers understand the key information of the question post, which can improve the post quality. However, the quality of the generated title is not high due to the lack of professional knowledge related to their questions or the poor presentation ability of developers. A previous study aimed to automatically generate the title by analyzing the code snippets in the question post. However, this study ignored the useful information in the corresponding problem description. Therefore, we propose an approach SOTitle for automatic post title generation by leveraging the code snippets and the problem description in the question post (i.e., the multi-modal input). SOTitle follows the Transformer structure, which can effectively capture long-term dependencies through a multi-head attention mechanism. To verify the effectiveness of SOTitle, we construct a large-scale high-quality corpus from Stack Overflow, which includes 1,168,257 high-quality question posts for four popular programming languages. Experimental results show that SOTitle can significantly outperform six state-of-the-art baselines in both automatic evaluation and human evaluation. To encourage follow-up studies, we make our corpus and approach publicly available


title: A Potential Cathode Material for Rechargeable Potassium-Ion Batteries Inducing Manganese Cation and Oxygen Anion Redox Chemistry: Potassium-Deficient $\rm K_{0.4}Fe_{0.5}Mn_{0.5}O_2$

abstract: Potassium-ion ($\rm K$-ion) rechargeable batteries; considered to be lucrative low-cost battery options for large-scale and capacious energy storage systems, have been garnering tremendous attention in recent years. However, due to the scarcity of cathode materials that can condone the reversible re-insertion of the large $\rm K$-ions at feasible capacities, the viability of $\rm K$-ion batteries has been greatly undercut. In this paper, we explore a potential cathode material in the $\rm K_2O$-$\rm Fe_2O_3$-$\rm MnO_2$ ternary phase system, that not only demonstrates reversible $\rm K$-ion reinsertion but also manifests relatively fast rate capabilities. The titled cathode compound, $\rm K_{0.4}Fe_{0.5}Mn_{0.5}O_2$, demonstrates a reversible capacity of approximately $\rm120 $ mAh g$^{-1}$ at $\rm 10$ hours of (dis)charge ($viz.$, $\rm C/10$ rate) with $ca.$ $\rm 85$% of the capacity being retained at a $\rm 1$ hour of (dis)charge ($\rm 1 C$ rate) which is considered to be good capacity retention. Additionally, both hard and soft X-rays have been employed to unravel the mechanism by which $\rm K$-ion is reversibly inserted into $\rm K_{0.4}Fe_{0.5}Mn_{0.5}O_2$. The results revealed a cumulative participation of both manganese cations and oxygen anions in $\rm K_{0.4}Fe_{0.5}Mn_{0.5}O_2$ illustrating its potential as a high-capacity $\rm K$-ion battery cathode material that relies on both anion and cation redox. Further development of related high-capacity cathode compositions can be anticipated.


title: Contextual Semantic Embeddings for Ontology Subsumption Prediction

abstract: Automating ontology construction and curation is an important but challenging task in knowledge engineering and artificial intelligence. Prediction by machine learning techniques such as contextual semantic embedding is a promising direction, but the relevant research is still preliminary especially for expressive ontologies in Web Ontology Language (OWL). In this paper, we present a new subsumption prediction method named BERTSubs for classes of OWL ontology. It exploits the pre-trained language model BERT to compute contextual embeddings of a class, where customized templates are proposed to incorporate the class context (e.g., neighbouring classes) and the logical existential restriction. BERTSubs is able to predict multiple kinds of subsumers including named classes from the same ontology or another ontology, and existential restrictions from the same ontology. Extensive evaluation on five real-world ontologies for three different subsumption tasks has shown the effectiveness of the templates and that BERTSubs can dramatically outperform the baselines that use (literal-aware) knowledge graph embeddings, non-contextual word embeddings and the state-of-the-art OWL ontology embeddings.


title: Hierarchical Interpretation of Neural Text Classification

abstract: Recent years have witnessed increasing interests in developing interpretable models in Natural Language Processing (NLP). Most existing models aim at identifying input features such as words or phrases important for model predictions. Neural models developed in NLP however often compose word semantics in a hierarchical manner and text classification requires hierarchical modelling to aggregate local information in order to deal with topic and label shifts more effectively. As such, interpretation by words or phrases only cannot faithfully explain model decisions in text classification. This paper proposes a novel Hierarchical INTerpretable neural text classifier, called Hint, which can automatically generate explanations of model predictions in the form of label-associated topics in a hierarchical manner. Model interpretation is no longer at the word level, but built on topics as the basic semantic unit. Experimental results on both review datasets and news datasets show that our proposed approach achieves text classification results on par with existing state-of-the-art text classifiers, and generates interpretations more faithful to model predictions and better understood by humans than other interpretable neural text classifiers.


title: Controlling nonautonomous matter waves in "smart" transient trap variations

abstract: In this paper, we study the controllable behavior of nonautonomous matter waves in different "smart" transient trap variations in the context of the cigar-shaped Bose-Einstein condensates. By utilizing a self-similarity transformation we reduce the nonautonomous Gross-Pitaevskii (GP) equation to the elliptic equation that admits soliton solutions. This procedure leads to a consistency equation which is in the form of Riccati equation. The connection between the Riccati and the linear Schr\"odinger equation, through the Cole-Hopf transformation, is exploited profitably here to introduce temporal trap variations. For our study, we explore the possibility of using one dimensional exactly solvable (ES) potentials and their newly constructed rational extensions, as functions of time to introduce interesting temporal trap modulations. The fact that the regular potentials and their rational extensions being structurally different, leads to different temporal modulations. It is exhibited that the soliton behavior with respect to compression in both these cases is quite different.


title: Evolution of primordial black holes in an adiabatic FLRW universe with gravitational particle creation

abstract: We study the evolution of primordial black holes (PBHs) in an adiabatic FLRW universe with dissipation due to bulk viscosity which is considered to be in the form of gravitational particle creation. Assuming that the process of evaporation is quite suppressed during the radiation era, we obtain an analytic solution for the evolution of PBH mass by accretion during this era, subject to an initial condition. We also obtain an upper bound on the accretion efficiency $\epsilon$ for $a \sim a_r$, where $a_r$ is the point of transition from the early de Sitter era to the radiation era. Furthermore, we obtain numerical solutions for the mass of a hypothetical PBH with initial mass 100 g assumed to be formed at an epoch when the value of the Hubble parameter was, say, 1 km/s/Mpc. We consider three values of the accretion efficiency, $\epsilon=0.23,0.5$, and $0.89$ for our study. The analysis reveals that the mass of the PBH increases rapidly due to the accretion of radiation in the early stages of its evolution. The accretion continues but its rate decreases gradually with the evolution of the Universe. Finally, Hawking radiation comes into play and the rate of evaporation surpasses the accretion rate so that the PBH mass starts to decrease. As the Universe grows, evaporation becomes the dominant phenomenon, and the mass of the PBH decreases at a faster rate. As argued by Debnath and Paul, the evaporated mass of the PBHs might contribute towards the dark energy budget of the late Universe.


title: Accountable Javascript Code Delivery

abstract: The internet is a major distribution platform for web applications, but there are no effective transparency and audit mechanisms in place for the web. Due to the ephemeral nature of web applications, a client visiting a website has no guarantee that the code it receives today is the same as yesterday, or the same as other visitors receive. Despite advances in web security, it is thus challenging to audit web applications before they are rendered in the browser. We propose Accountable JS, a browser extension and opt in protocol for accountable delivery of active content on a web page. We prototype our protocol, formally model its security properties with the Tamarin Prover, and evaluate its compatibility and performance impact with case studies including WhatsApp Web, AdSense and Nimiq. Accountability is beginning to be deployed at scale, with Meta's recent announcement of Code Verify available to all 2 billion WhatsApp users, but there has been little formal analysis of such protocols. We formally model Code Verify using the Tamarin Prover and compare its properties to our Accountable JS protocol. We also compare Code Verify's and Accountable JS extension's performance impacts on WhatsApp Web.


title: Microwave Sensing of Elemental Sulfur Deposition in Gas Pipelines

abstract: A non-intrusive conformal electromagnetic-based monitoring of elemental sulfur deposition within a natural gas-carrying pipeline is presented. The deposited sulfur behaves as a superstrate layer above a sensing microstrip patch antenna that is optimally placed on the inner wall of the gas pipeline. Increasing the superstrate thickness by the sulfur deposition alters the antenna resonance behavior, which can be monitored externally. The effect of uneven or bumpy sulfur deposition is studied. Sensing antennas positioned outside a plexiglass pipeline are also investigated to observe the change in the antenna impedance matching with accumulating sulfur superstrate. Lab-based measured results agreed well with the simulated responses using commercial electromagnetic software. The proposed low-cost and easy-to-implement detection technique exhibits an accurate estimation of the deposited sulfur thickness inside the natural gas-carrying pipelines.


title: Tight Bounds for Sketching the Operator Norm, Schatten Norms, and Subspace Embeddings

abstract: We consider the following oblivious sketching problem: given $\epsilon \in (0,1/3)$ and $n \geq d/\epsilon^2$, design a distribution $\mathcal{D}$ over $\mathbb{R}^{k \times nd}$ and a function $f: \mathbb{R}^k \times \mathbb{R}^{nd} \rightarrow \mathbb{R}$, so that for any $n \times d$ matrix $A$, $$\Pr_{S \sim \mathcal{D}} [(1-\epsilon) \|A\|_{op} \leq f(S(A),S) \leq (1+\epsilon)\|A\|_{op}] \geq 2/3,$$ where $\|A\|_{op}$ is the operator norm of $A$ and $S(A)$ denotes $S \cdot A$, interpreting $A$ as a vector in $\mathbb{R}^{nd}$. We show a tight lower bound of $k = \Omega(d^2/\epsilon^2)$ for this problem. Our result considerably strengthens the result of Nelson and Nguyen (ICALP, 2014), as it (1) applies only to estimating the operator norm, which can be estimated given any OSE, and (2) applies to distributions over general linear operators $S$ which treat $A$ as a vector and compute $S(A)$, rather than the restricted class of linear operators corresponding to matrix multiplication. Our technique also implies the first tight bounds for approximating the Schatten $p$-norm for even integers $p$ via general linear sketches, improving the previous lower bound from $k = \Omega(n^{2-6/p})$ [Regev, 2014] to $k = \Omega(n^{2-4/p})$. Importantly, for sketching the operator norm up to a factor of $\alpha$, where $\alpha - 1 = \Omega(1)$, we obtain a tight $k = \Omega(n^2/\alpha^4)$ bound, matching the upper bound of Andoni and Nguyen (SODA, 2013), and improving the previous $k = \Omega(n^2/\alpha^6)$ lower bound. Finally, we also obtain the first lower bounds for approximating Ky Fan norms.


title: Image quality assessment by overlapping task-specific and task-agnostic measures: application to prostate multiparametric MR images for cancer segmentation

abstract: Image quality assessment (IQA) in medical imaging can be used to ensure that downstream clinical tasks can be reliably performed. Quantifying the impact of an image on the specific target tasks, also named as task amenability, is needed. A task-specific IQA has recently been proposed to learn an image-amenability-predicting controller simultaneously with a target task predictor. This allows for the trained IQA controller to measure the impact an image has on the target task performance, when this task is performed using the predictor, e.g. segmentation and classification neural networks in modern clinical applications. In this work, we propose an extension to this task-specific IQA approach, by adding a task-agnostic IQA based on auto-encoding as the target task. Analysing the intersection between low-quality images, deemed by both the task-specific and task-agnostic IQA, may help to differentiate the underpinning factors that caused the poor target task performance. For example, common imaging artefacts may not adversely affect the target task, which would lead to a low task-agnostic quality and a high task-specific quality, whilst individual cases considered clinically challenging, which can not be improved by better imaging equipment or protocols, is likely to result in a high task-agnostic quality but a low task-specific quality. We first describe a flexible reward shaping strategy which allows for the adjustment of weighting between task-agnostic and task-specific quality scoring. Furthermore, we evaluate the proposed algorithm using a clinically challenging target task of prostate tumour segmentation on multiparametric magnetic resonance (mpMR) images, from 850 patients. The proposed reward shaping strategy, with appropriately weighted task-specific and task-agnostic qualities, successfully identified samples that need re-acquisition due to defected imaging process.


title: Redactable Signature with Compactness from Set-Commitment

abstract: Redactable signature allows anyone to remove parts of a signed message without invalidating the signature. The need to prove the validity of digital documents issued by governments is increasing. When governments disclose documents, they must remove private information concerning individuals. Redactable signature is useful for such a situation. However, in most redactable signature schemes, to remove parts of the signed message, we need pieces of information for each part we want to remove. If a signed message consists of l elements, the number of elements in an original signature is at least linear in l. As far as we know, in some redactable signature schemes, the number of elements in an original signature is constant, regardless of the number of elements in a message to be signed. However, these constructions have drawbacks in that the use of the random oracle model or generic group model. In this paper, we construct an efficient redactable signature to overcome these drawbacks. Our redactable signature is obtained by combining set-commitment proposed in the recent work by Fuchsbauer et al. (JoC 2019) and digital signatures.


title: Marginally trapped surfaces in ${\mathbb{L}}^{4}$ and three Weierstrass representations

abstract: We construct new integrable systems to present Weierstrass type representations for spacelike surfaces whose mean curvature vector $\mathbf{H}$ satisfies the null condition $\langle \mathbf{H}, \mathbf{H} \rangle=0$ in the four dimensional Lorentz-Minkowski space ${\mathbb{L}}^{4}$. Our new Weierstrass presentations extend simultaneously classical Weierstrass representations (of the first kind and the second kind) for maximal surfaces in ${\mathbb{L}}^{3}$ and minimal surfaces in ${\mathbb{R}}^{3}$. We solve a linear partial differental equation to construct explicit examples of marginally trapped surfaces with nowhere vanishing mean curvature vector.


title: Normalized ground states for 3D dipolar Bose-Einstein condensate with attractive three-body interactions

abstract: We study the existence of normalized ground states for the 3D dipolar Bose-Einstein condensate equation with attractive three-body interactions: \begin{align}\label{1} -\Delta u+\beta u+\lambda_1|u|^2 u+\lambda_2 (K*|u|^2)u-|u|^4u=0.\tag{DBEC} \end{align} When $\lambda_2=0$ or $u$ is radial, (\ref{1}) reduces to the cubic-quintic NLS \begin{align}\label{2} -\Delta u+\beta u+\lambda_1|u|^2 u-|u|^4u=0\tag{CQNLS}, \end{align} which has been recently studied by Soave in [31]. In particular, it was shown that for any $\lambda_1<0$ and $c>0$, (\ref{2}) possesses a radially symmetric ground state solution with mass $c$ and for $\lambda_1\geq 0$, (\ref{2}) has no non-trivial solution. We show that by adding a dipole-dipole interaction to (\ref{2}), the geometric nature of (\ref{2}) changes dramatically and techniques as the ones from [31] cannot be used anymore to obtain similar results. More precisely, due to the axisymmetric nature of the dipole-dipole interaction potential, the energy corresponding to (\ref{1}) is not stable under symmetric rearrangements, hence conventional arguments based on the radial symmetry of solutions are inapplicable. We will overcome this difficulty by appealing to subtle variational and perturbative methods and prove the following: (i) If the pair $(\lambda_1,\lambda_2)$ is unstable and $\lambda_1<0$, then for any $c>0$, (\ref{1}) has a ground state solution with mass $c$. (ii) If the pair $(\lambda_1,\lambda_2)$ is unstable and $\lambda_1\geq 0$, then there exists some $c^*=c^*(\lambda_1,\lambda_2)\geq 0$ such that for all $c>c^*$, (\ref{1}) has a ground state solution with mass $c$. Moreover, any non-trivial solution of (\ref{1}) in this case must be non-radial. (iii) If the pair $(\lambda_1,\lambda_2)$ is \textit{stable}, then (\ref{1}) has no non-trivial solutions.


title: Distortion-Aware Loop Filtering of Intra 360^o Video Coding with Equirectangular Projection

abstract: In this paper, we propose a distortion-aware loop filtering model to improve the performance of intra coding for 360$^o$ videos projected via equirectangular projection (ERP) format. To enable the awareness of distortion, our proposed module analyzes content characteristics based on a coding unit (CU) partition mask and processes them through partial convolution to activate the specified area. The feature recalibration module, which leverages cascaded residual channel-wise attention blocks (RCABs) to adjust the inter-channel and intra-channel features automatically, is capable of adapting with different quality levels. The perceptual geometry optimization combining with weighted mean squared error (WMSE) and the perceptual loss guarantees both the local field of view (FoV) and global image reconstruction with high quality. Extensive experimental results show that our proposed scheme achieves significant bitrate savings compared with the anchor (HM + 360Lib), leading to 8.9%, 9.0%, 7.1% and 7.4% on average bit rate reductions in terms of PSNR, WPSNR, and PSNR of two viewports for luminance component of 360^o videos, respectively.


title: Trapping of HII regions in Population III star formation

abstract: Radiative feedback from massive Population III (Pop III) stars in the form of ionising and photodissociating photons is widely believed to play a central role in shutting off accretion onto these stars. Understanding whether and how this occurs is vital for predicting the final masses reached by these stars and the form of the Pop III stellar initial mass function. To help us better understand the impact of UV radiation from massive Pop III stars on the gas surrounding them, we carry out high resolution simulations of the formation and early evolution of these stars, using the AREPO moving-mesh code coupled with the innovative radiative transfer module SPRAI. Contrary to most previous results, we find that the ionising radiation from these stars is trapped in the dense accretion disk surrounding them. Consequently, the inclusion of radiative feedback has no significant impact on either the number or the total mass of protostars formed during the 20 kyr period that we simulate. We show that the reason that we obtain qualitatively different results from previous studies of Pop III stellar feedback lies in how the radiation is injected into the simulation. HII region trapping only occurs if the photons are injected on scales smaller than the local scale height of the accretion disk, a criterion not fulfilled in previous 3D simulations of this process. Finally, we speculate as to whether outflows driven by the magnetic field or by Lyman-alpha radiation pressure may be able to clear enough gas away from the star to allow the HII region to escape from the disk.


title: Gradient Tracking: A Unified Approach to Smooth Distributed Optimization

abstract: In this work, we study the classical distributed optimization problem over digraphs, where the objective function is a sum of smooth local functions. Inspired by the implicit tracking mechanism proposed in our earlier work, we develop a unified algorithmic framework from a pure primal perspective, i.e., UGT, which is essentially a generalized gradient tracking method and can unify most existing distributed optimization algorithms with constant step-sizes. It is proved that two variants of UGT can both achieve linear convergence if the global objective function is strongly convex. Finally, the performance of UGT is evaluated by numerical experiments.


title: Mahler discrete residues and summability for rational functions

abstract: We construct Mahler discrete residues for rational functions and show that they comprise a complete obstruction to the Mahler summability problem of deciding whether a given rational function $f(x)$ is of the form $g(x^p)-g(x)$ for some rational function $g(x)$ and an integer $p > 1$. This extends to the Mahler case the analogous notions, properties, and applications of discrete residues (in the shift case) and $q$-discrete residues (in the $q$-difference case) developed by Chen and Singer. Along the way we define several additional notions that promise to be useful for addressing related questions involving Mahler difference fields of rational functions, including in particular telescoping problems and problems in the (differential) Galois theory of Mahler difference equations.


title: Learning logic programs by discovering where not to search

abstract: The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises training examples and background knowledge (BK). To improve performance, we introduce an approach that, before searching for a hypothesis, first discovers where not to search. We use given BK to discover constraints on hypotheses, such as that a number cannot be both even and odd. We use the constraints to bootstrap a constraint-driven ILP system. Our experiments on multiple domains (including program synthesis and game playing) show that our approach can (i) substantially reduce learning times by up to 97%, and (ii) scale to domains with millions of facts.


title: A t-out-of-n Redactable Signature Scheme

abstract: A redactable signature scheme allows removing parts of a signed message without invalidating the signature. Currently, the need to prove the validity of digital documents issued by governments and enterprises is increasing. However, when disclosing documents, governments and enterprises must remove privacy information concerning individuals. A redactable signature scheme is useful for such a situation. In this paper, we introduce the new notion of the t-out-of-n redactable signature scheme. This scheme has a signer, n redactors, a combiner, and a verifier. The signer designates n redactors and a combiner in advance and generates a signature of a message M. Each redactor decides parts that he or she wants to remove from the message and generates a piece of redaction information. The combiner collects pieces of redaction information from all redactors, extracts parts of the message that more than t redactors want to remove, and generate a redacted message. We consider the one-time redaction model which allows redacting signatures generated by the signer only once. We formalize the one-time redaction t-out-of-n redactable signature scheme, define security, and give a construction using the pairing based aggregate signature scheme in the random oracle model.


title: Improved Security Proof for the Camenisch-Lysyanskaya Signature-Based Synchronized Aggregate Signature Scheme

abstract: The Camenisch-Lysyanskaya signature scheme in CRYPTO 2004 is a useful building block to construct privacy-preserving schemes such as anonymous credentials, group signatures or ring signatures. However, the security of this signature scheme relies on the interactive assumption called the LRSW assumption. Even if the interactive assumptions are proven in the generic group model or bilinear group model, the concerns about these assumptions arise in a cryptographic community. This fact caused a barrier to the use of cryptographic schemes whose security relies on these assumptions. Recently, Pointcheval and Sanders proposed the modified Camenisch-Lysyanskaya signature scheme in CT-RSA 2018. This scheme satisfies the EUF-CMA security under the new q-type assumption called the Modified-q-Strong Diffie-Hellman-2 (q-MSDH-2) assumption. However, the size of a q- type assumptions grows dynamically and this fact leads to inefficiency of schemes. In this work, we revisit the Camenisch-Lysyanskaya signature-based synchronized aggregate signature scheme in FC 2013. This scheme is one of the most efficient synchronized aggregate signature schemes with bilinear groups. However, the security of this synchronized aggregate scheme was proven under the one-time LRSW assumption in the random oracle model. We give the new security proof for this synchronized aggregate scheme under the 1-MSDH-2 (static) assumption in the random oracle model with little loss of efficiency.


title: The stable uniqueness theorem for equivariant Kasparov theory

abstract: This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory.


title: Alternative design of DeepPDNet in the context of image restoration

abstract: This work designs an image restoration deep network relying on unfolded Chambolle-Pock primal-dual iterations. Each layer of our network is built from Chambolle-Pock iterations when specified for minimizing a sum of a $\ell_2$-norm data-term and an analysis sparse prior. The parameters of our network are the step-sizes of the Chambolle-Pock scheme and the linear operator involved in sparsity-based penalization, including implicitly the regularization parameter. A backpropagation procedure is fully described. Preliminary experiments illustrate the good behavior of such a deep primal-dual network in the context of image restoration on BSD68 database.


title: One-cycles on Gushel-Mukai fourfolds and the Beauville-Voisin filtration

abstract: We prove that the invariant locus of the involution associated to a general double EPW sextic is a constant surface and introduce a filtration on $\CH_1$ of a Gushel-Mukai fourfold. We verify the sheaf/cycle correspondence for sheaves supported on low degree rational curves, parallel to the cubic fourfolds case.


title: Explicit Solvent Theory of Salt-Induced Dielectric Decrement

abstract: We introduce a field-theoretic electrolyte model composed of structured solvent molecules and salt ions coupled by electrostatic and hard-core interactions. Within this explicit solvent theory, we characterize the salt-driven dielectric decrement beyond weak-coupling (WC) electrostatics. The WC approximation of prior formalisms is relaxed by treating the salt charges via a virial expansion. This virial approach enables the explicit inclusion of the many-body salt-solvent interactions, and directly leads to the experimentally observed linear decay of the electrolyte permittivity with added dilute salt. The permittivity formula emerging from our approach indicates that the reduction of the solvent permittivity is induced by the salt screening of the polarization charges suppressing the dielectric response of the solvent. By comparison with experiments, we also show that the salt-dressed permittivity formula can equally reproduce the attenuation of the electrolyte permittivity with rising temperature, the thermal decay of the dielectric decrement, and its intensification with the salt valency. The consistent qualitative agreement of our theory with this wide range of experimental trends points out the electrostatic ion-solvent correlations as the primary mechanism behind the salt-induced dielectric decrement.


title: Real-time Emotion Appraisal with Circumplex Model for Human-Robot Interaction

abstract: Emotions are the intrinsic or extrinsic representations of our experiences. The importance of emotions during a human-human interaction is immense as it formulates the basis of our interaction framework. There are several approaches in psychology to evaluate emotional states in humans based on the perceived stimuli. However, the topic has been less explored as far as human-robot interaction is concerned. This paper uses an appropriate emotion appraisal mechanism from psychology, generating an emotional state in a humanoid robot on-the-fly during human-robot interaction. Since the exhibition of only six basic emotions is not sufficient to cater to diverse situations, the use of the Circumplex Model in this work has allowed the life-sized robot called ROBIN to experience 28 emotional states in different interaction scenarios. Realistic robot behaviour has been generated based on the proposed appraisal system in various interaction scenarios.


title: The streaks of wall-bounded turbulence need not be long

abstract: The effect of damping the longest streaks in wall-bounded turbulence is explored using numerical experiments. It is found that long streaks are not required for the self-sustenance of the bursting process, which is relatively little affected by their absence. In particular, there are turbulence states in which the fluctuations of the streamwise velocity have approximately the same length as the bursts, and are thus presumably associated with the bursts themselves, while the burst structure is essentially indistinguishable from flows in which longer velocity fluctuations are present. This suggests that the long streaks found in unmodified flows may be byproducts, rather than active parts of the energy generation cycle.


title: Micro-scale investigations of temperature-dependent Microbial-Induced Carbonate Precipitation (MICP) in the temperature range 4-50 {\deg}C

abstract: Microbially-Induced Carbonate Precipitation (MICP) involves a series of bio-geochemical reactions whereby microbes alter the surrounding aqueous environment and induce calcium carbonate precipitation. MICP has a broad range of applications, including in-situ soil stabilization. However, the reliability of this process is dependent on a number of environmental conditions. In particular, bacterial growth, bacterial activity, and precipitation kinetics all depend on temperature. Batch test and microfluidic chip experiments were performed in this study to investigate the effects of temperature on bacterial density and activity and the MICP processes occurring at different temperatures (4-50{\deg}C). Spatial and temporal variations in the formation and development of calcium carbonate precipitates, including their amount, type, growth rate, formation, and deformation characteristics, were monitored. Results show that different types of calcium carbonate precipitates with varying sizes and quantities were produced by varying the temperature. Low temperature (4{\deg}C) did not reduce bacterial activity, but limited the final amount of cementation; low temperature reduced bacterial growth and attachment ratio, as well as calcium carbonate precipitation rate. High temperature (50{\deg}C) conditions significantly reduced bacterial activity within a short period of time, whilst a repeated injection of bacteria before every two injections of cementation solution increased the final amount of cementation. The findings made from this paper provide insight into how MICP processes vary across a range of temperatures and could be valuable for optimising the MICP process for different applications.


title: Contextual Intelligent Decisions: Expert Moderation of Machine Outputs for Fair Assessment of Commercial Driving

abstract: Commercial driving is a complex multifaceted task influenced by personal traits and external contextual factors, such as weather, traffic, road conditions, etc. Previous intelligent commercial driver-assessment systems do not consider these factors when analysing the impact of driving behaviours on road safety, potentially producing biased, inaccurate, and unfair assessments. In this paper, we introduce a methodology (Expert-centered Driver Assessment) towards a fairer automatic road safety assessment of drivers' behaviours, taking into consideration behaviours as a response to contextual factors. The contextual moderation embedded within the intelligent decision-making process is underpinned by expert input, comprising of a range of associated stakeholders in the industry. Guided by the literature and expert input, we identify critical factors affecting driving and develop an interval-valued response-format questionnaire to capture the uncertainty of the influence of factors and variance amongst experts' views. Questionnaire data are modelled and analysed using fuzzy sets, as they provide a suitable computational approach to be incorporated into decision-making systems with uncertainty. The methodology has allowed us to identify the factors that need to be considered when moderating driver sensor data, and to effectively capture experts' opinions about the effects of the factors. An example of our methodology using Heavy Goods Vehicles professionals input is provided to demonstrate how the expert-centred moderation can be embedded in intelligent driver assessment systems.


title: $\mathcal{Y}$-Tuning: An Efficient Tuning Paradigm for Large-Scale Pre-Trained Models via Label Representation Learning

abstract: With the success of large-scale pre-trained models (PTMs), how efficiently adapting PTMs to downstream tasks has attracted tremendous attention, especially for PTMs with billions of parameters. Although some parameter-efficient tuning paradigms have been proposed to address this problem, they still require large resources to compute the gradients in the training phase. In this paper, we propose $\mathcal{Y}$-Tuning, an efficient yet effective paradigm to adapt frozen large-scale PTMs to specific downstream tasks. $\mathcal{Y}$-tuning learns dense representations for labels $\mathcal{Y}$ defined in a given task and aligns them to fixed feature representation. Without tuning the features of input text and model parameters, $\mathcal{Y}$-tuning is both parameter-efficient and training-efficient. For $\text{DeBERTa}_\text{XXL}$ with 1.6 billion parameters, $\mathcal{Y}$-tuning achieves performance more than $96\%$ of full fine-tuning on GLUE Benchmark with only $2\%$ tunable parameters and much fewer training costs.


title: The Lambda Number of the Power Graph of Finite Simple Groups

abstract: For a finite group $G$, the power graph $\Gamma_G$ is a graph whose set of vertices is equal to $G$ and two distinct elements of $G$ are adjacent if and only if one of them is a positive integer power of the other. An $L(2,1)$-labelling of $\Gamma_G$ is an integer-valued function defined on $G$ so that the distance between the images of two adjacent vertices (resp. vertices with distance two) are at least two (resp. at least one). The lambda number $\lambda(G)$ is defined to be the least difference between the largest and the smallest integer values assigned to the vertices of $\Gamma_G$ for all possible $L(2,1)$-labellings of $\Gamma_G$. It is known that $\lambda(G) \geq |G|$. In this paper, we prove that if $G$ is a finite simple group, then $\lambda(G) = |G|$ except when $G$ is cyclic of prime order. This settles a partial classification of finite groups $G$ that achieve the lower bound on of lambda number.


title: Lognormal Degree Distribution in the Partition Graphs

abstract: We demonstrate a method for listing all ordinary partitions of n as binary words of length (n-1). The resulting family imbued with the hamming distance yields subgraphs of the Hamming Graphs. The existence of a 2-Gray Code for ordinary partitions follows from the fact that the graph (with the all 0s partition omitted) is 2-connected. However, the graphs fail to be hamiltonian for ordinary partitions when n > 7, ruling out the possibility of a Gray code for all such flip graphs. We further investigate the degree distribution of the graph for n, and provide computational evidence that this is a long-tailed lognormal distribution. This conjecture connects to a closely related, and much older, question of the distribution of the number of parts of a partition and the same evidence suggests that this distribution is also lognormal for large n. These methods extend to higher dimensional partitions of n which can be then written as words of length (n-1) on d + 1 letters. The resulting graphs are connected, proving that d-dimensional partitions allow a 3-Gray code.


title: Chimeric forecasting: combining probabilistic predictions from computational models and human judgment

abstract: Forecasts of the trajectory of an infectious agent can help guide public health decision making. A traditional approach to forecasting fits a computational model to structured data and generates a predictive distribution. However, human judgment has access to the same data as computational models plus experience, intuition, and subjective data. We propose a chimeric ensemble -- a combination of computational and human judgment forecasts -- as a novel approach to predicting the trajectory of an infectious agent. Each month from January, 2021 to June, 2021 we asked two generalist crowds, using the same criteria as the COVID-19 Forecast Hub, to submit a predictive distribution over incident cases and deaths at the US national level either two or three weeks into the future and combined these human judgment forecasts with forecasts from computational models submitted to the COVID-19 Forecasthub into a chimeric ensemble. We find a chimeric ensemble compared to an ensemble including only computational models improves predictions of incident cases and shows similar performance for predictions of incident deaths. A chimeric ensemble is a flexible, supportive public health tool and shows promising results for predictions of the spread of an infectious agent.


title: Generating Quality Grasp Rectangle using Pix2Pix GAN for Intelligent Robot Grasping

abstract: Intelligent robot grasping is a very challenging task due to its inherent complexity and non availability of sufficient labelled data. Since making suitable labelled data available for effective training for any deep learning based model including deep reinforcement learning is so crucial for successful grasp learning, in this paper we propose to solve the problem of generating grasping Poses/Rectangles using a Pix2Pix Generative Adversarial Network (Pix2Pix GAN), which takes an image of an object as input and produces the grasping rectangle tagged with the object as output. Here, we have proposed an end-to-end grasping rectangle generating methodology and embedding it to an appropriate place of an object to be grasped. We have developed two modules to obtain an optimal grasping rectangle. With the help of the first module, the pose (position and orientation) of the generated grasping rectangle is extracted from the output of Pix2Pix GAN, and then the extracted grasp pose is translated to the centroid of the object, since here we hypothesize that like the human way of grasping of regular shaped objects, the center of mass/centroids are the best places for stable grasping. For other irregular shaped objects, we allow the generated grasping rectangles as it is to be fed to the robot for grasp execution. The accuracy has significantly improved for generating the grasping rectangle with limited number of Cornell Grasping Dataset augmented by our proposed approach to the extent of 87.79%. Experiments show that our proposed generative model based approach gives the promising results in terms of executing successful grasps for seen as well as unseen objects.


title: Odd Covers of Graphs

abstract: Given a finite simple graph $G$, an odd cover of $G$ is a collection of complete bipartite graphs, or bicliques, in which each edge of $G$ appears in an odd number of bicliques and each non-edge of $G$ appears in an even number of bicliques. We denote the minimum cardinality of an odd cover of $G$ by $b_2(G)$ and prove that $b_2(G)$ is bounded below by half of the rank over $\mathbb{F}_2$ of the adjacency matrix of $G$. We show that this lower bound is tight in the case when $G$ is a bipartite graph and almost tight when $G$ is an odd cycle. However, we also present an infinite family of graphs which shows that this lower bound can be arbitrarily far away from $b_2(G)$. Babai and Frankl (1992) proposed the "odd cover problem," which in our language is equivalent to determining $b_2(K_n)$. Radhakrishnan, Sen, and Vishwanathan (2000) determined $b_2(K_n)$ for an infinite but density zero subset of positive integers $n$. In this paper, we determine $b_2(K_n)$ for a density $3/8$ subset of the positive integers.


title: Direct reconstruction of the band structure of a 1D optical lattice with thermal atoms

abstract: We report on a simple method to reconstruct the band structure of a 1D optical lattice using a thermal cloud with a momentum spread of about two-photon recoils. We image the momentum distribution of a thermal cloud exposed to a standing wave potential using time-of-flight absorption images and observe unique features. With the support of numerical calculations, we explain their appearance and show how they can be used to reconstruct the full band-structure directly. While this can serve as a precise lattice depth calibration tool, we additionally propose a method to estimate the lattice depth in a single-shot manner.


title: Mean Curvature Rigidity and Non-rigidity Results on Spherical Caps

abstract: We prove that a hemisphere in the Euclidean space $R^{n+1}$, viewed as the graph of a function, admits no smooth perturbations as graphs with mean curvature $H\ge 1$ whose boundary equator is fixed up to $C^2$. This is an extension of the \emph{Mean Curvature Rigidity} phenomenon discovered by Gromov and Souam on non-compact totally umbilic hypersurfaces in space forms. The proof uses a Tangency Principle. On the other hand, we show that there exist nontrivial smooth perturbations with $H\ge 1$ on a great spherical cap whose boundary is fixed up to $C^2$. Similar results hold true for perturbations decreasing $H$, and for the $r$ mean curvature function $H_r$. This contrast between rigidity and non-rigidity is even true in the 1-dimensional case for circles and for discrete objects (polygons inscribed in a circle).


title: A new flow-kinematics-based model for time-dependent effective dispersion in mixing-limited reactions

abstract: A new upscaling procedure that provides 1D representations of 2D mixing-limited reactive transport systems is developed and applied. A key complication with upscaled models in this setting is that the procedure must differentiate between interface spreading, driven by the spatially variable velocity field, and mixing, in which components contact one another and react. Our model captures the enhanced mixing caused by spreading through use of a time-dependent effective dispersion term. The early-time behavior of this dispersion is driven by flow kinematics, while at late times it reaches a Taylor-dispersion-like limit. The early-time behavior is modeled here using a very fast (purely advective) particle tracking procedure, while late-time effects are estimated from scaling arguments. The only free parameter in the model is the asymptotic effective dispersion. This quantity is determined for a few cases by calibrating 1D results to reference 2D results. For most cases, it is estimated using a fit involving a dimensionless grouping of system variables. Numerical results for bimolecular reaction systems are generated using a pseudo-spectral approach capable of resolving fronts at high Peclet numbers. Results are presented for two different types of 2D velocity fields over a wide range of parameters. The upscaled model is shown to provide highly accurate results for conversion factor, along with reasonable approximations of the spatial distribution of reaction occurrence. The model is also shown to be valid for non-reacting systems, and results for such cases can be used in the calibration step to achieve computational savings.


title: Continual Learning Beyond a Single Model

abstract: A growing body of research in continual learning focuses on the catastrophic forgetting problem. While many attempts have been made to alleviate this problem, the majority of the methods assume a single model in the continual learning setup. In this work, we question this assumption and show that employing ensemble models can be a simple yet effective method to improve continual performance. However, ensembles' training and inference costs can increase significantly as the number of models grows. Motivated by this limitation, we study different ensemble models to understand their benefits and drawbacks in continual learning scenarios. Finally, to overcome the high compute cost of ensembles, we leverage recent advances in neural network subspace to propose a computationally cheap algorithm with similar runtime to a single model yet enjoying the performance benefits of ensembles.


title: Dissecting graph measure performance for node clustering in LFR parameter space

abstract: Graph measures that express closeness or distance between nodes can be employed for graph nodes clustering using metric clustering algorithms. There are numerous measures applicable to this task, and which one performs better is an open question. We study the performance of 25 graph measures on generated graphs with different parameters. While usually measure comparisons are limited to general measure ranking on a particular dataset, we aim to explore the performance of various measures depending on graph features. Using an LFR graph generator, we create a dataset of 11780 graphs covering the whole LFR parameter space. For each graph, we assess the quality of clustering with k-means algorithm for each considered measure. Based on this, we determine the best measure for each area of the parameter space. We find that the parameter space consists of distinct zones where one particular measure is the best. We analyze the geometry of the resulting zones and describe it with simple criteria. Given particular graph parameters, this allows us to recommend a particular measure to use for clustering.


title: On projective evolutes of polygons

abstract: The evolute of a curve is the envelope of its normals. In this note we consider a projectively natural discrete analog of this construction: we define projective perpendicular bisectors of the sides of a polygon in the projective plane, and study the map that sends a polygon to the new polygon formed by the projective perpendicular bisectors of its sides. We consider this map acting on the moduli space of projective polygons. We analyze the case of pentagons; the moduli space is 2-dimensional in this case. The second iteration of the map has one integral whose level curves are cubic curves, and the transformation on these level curves is conjugated to the map $x\mapsto -4x$ mod 1. We also present the results of an experimental study in the case of hexagons.


title: On the subalgebra of invariant elements: finiteness and immersions

abstract: Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation $\rho:\underline{G}_{R}\rightarrow \underline{\textrm{Aut}}_{\textrm{Mod}(R)}(M)$. For the graded $T$-algebra $A$, defined as $ A := \left( S_{T}^{\bullet} (M^{\vee} \otimes_{R}N )\right)^{G}, $ we determine the conditions under which the graded $T$-algebra $A$ is finitely generated, finitely presented, or flat. Furthermore, we establish the conditions under which a closed embedding of $\textrm{Proj} \ A$ into a projective space exists. Since we do not impose any Noetherian hypotheses, our results generalize those in the literature, providing new powerful tools regarding moduli problems.


title: Practical Interference Exploitation Precoding without Symbol-by-Symbol Optimization: A Block-Level Approach

abstract: In this paper, we propose a constructive interference (CI)-based block-level precoding (CI-BLP) approach for the downlink of a multi-user multiple-input single-output (MU-MISO) communication system. Contrary to existing CI precoding approaches which have to be designed on a symbol-by-symbol level, here a constant precoding matrix is applied to a block of symbol slots within a channel coherence interval, thus significantly reducing the computational costs over traditional CI-based symbol-level precoding (CI-SLP) as the CI-BLP optimization problem only needs to be solved once per block. For both PSK and QAM modulation, we formulate an optimization problem to maximize the minimum CI effect over the block subject to a block- rather than symbol-level power budget. We mathematically derive the optimal precoding matrix for CI-BLP as a function of the Lagrange multipliers in closed form. By formulating the dual problem, the original CI-BLP optimization problem is further shown to be equivalent to a quadratic programming (QP) optimization. Numerical results validate our derivations, and show that the proposed CI-BLP scheme achieves improved performance over the traditional CI-SLP method, thanks to the relaxed power constraint over the considered block of symbol slots.


title: Behind Closed Doors: Process-Level Rootkit Attacks in Cyber-Physical Microgrid Systems

abstract: Embedded controllers, sensors, actuators, advanced metering infrastructure, etc. are cornerstone components of cyber-physical energy systems such as microgrids (MGs). Harnessing their monitoring and control functionalities, sophisticated schemes enhancing MG stability can be deployed. However, the deployment of `smart' assets increases the threat surface. Power systems possess mechanisms capable of detecting abnormal operations. Furthermore, the lack of sophistication in attack strategies can render them detectable since they blindly violate power system semantics. On the other hand, the recent increase of process-aware rootkits that can attain persistence and compromise operations in undetectable ways requires special attention. In this work, we investigate the steps followed by stealthy rootkits at the process level of control systems pre- and post-compromise. We investigate the rootkits' precompromise stage involving the deployment to multiple system locations and aggregation of system-specific information to build a neural network-based virtual data-driven model (VDDM) of the system. Then, during the weaponization phase, we demonstrate how the VDDM measurement predictions are paramount, first to orchestrate crippling attacks from multiple system standpoints, maximizing the impact, and second, impede detection blinding system operator situational awareness.


title: Surgery sequences and self-similarity of the Mandelbrot set

abstract: We introduce an analog in the context of rational maps of the idea of hyperbolic Dehn surgery from the theory of Kleinian groups. A surgery sequence is a sequence of postcritically finite maps limiting (in a precise manner) to a postcritically finite map. As an application of this idea we give an elementary proof of Tan Lei's theorem on the asymptotic self-similarity of Julia Sets and the Mandelbrot Set at Misiurewicz points.


title: Topology change with Morse functions: progress on the Borde-Sorkin conjecture

abstract: Topology change is considered to be a necessary feature of quantum gravity by some authors, and impossible by others. One of the main arguments against it is that spacetimes with changing spatial topology have bad causal properties. Borde and Sorkin proposed a way to avoid this dilemma by considering topology changing spacetimes constructed from Morse functions, where the metric is allowed to vanish at isolated points. They conjectured that these Morse spacetimes are causally continuous (hence quite well behaved), as long as the index of the Morse points is different from $1$ and $n-1$. In this paper, we prove a special case of this conjecture. We also argue, heuristically, that the original conjecture is actually false, and formulate a refined version of it.


title: Real-time Model Predictive Control and System Identification Using Differentiable Physics Simulation

abstract: Developing robot controllers in a simulated environment is advantageous but transferring the controllers to the target environment presents challenges, often referred to as the "sim-to-real gap". We present a method for continuous improvement of modeling and control after deploying the robot to a dynamically-changing target environment. We develop a differentiable physics simulation framework that performs online system identification and optimal control simultaneously, using the incoming observations from the target environment in real time. To ensure robust system identification against noisy observations, we devise an algorithm to assess the confidence of our estimated parameters, using numerical analysis of the dynamic equations. To ensure real-time optimal control, we adaptively schedule the optimization window in the future so that the optimized actions can be replenished faster than they are consumed, while staying as up-to-date with new sensor information as possible. The constant re-planning based on a constantly improved model allows the robot to swiftly adapt to the changing environment and utilize real-world data in the most sample-efficient way. Thanks to a fast differentiable physics simulator, the optimization for both system identification and control can be solved efficiently for robots operating in real time. We demonstrate our method on a set of examples in simulation and show that our results are favorable compared to baseline methods.


title: Active diffusion of self-propelled particles in flexible polymer networks

abstract: Biopolymer networks having a meshwork topology, e.g., extracellular matrix and mucus gels, are ubiquitous. It is an open question to understand how self-propelled agents such as Janus colloidal particles diffuse through such a biopolymer network. Here, we computationally explore this issue in-depth by explicitly modeling three-dimensional biopolymer networks and performing Langevin dynamics simulations of active diffusion of the self-propelled tracers therein. We show that the active tracer performs distinct diffusion dynamics depending on the mesh-to-particle size and P\'eclet number (Pe). When the particle is smaller than the mesh size, it moves as if in free space with a decreased mobility depending on the polymer occupation density and Pe. However, when the particle size is increased to be comparable to the mesh size, the active particles explore the polymer network using the trapped-and-hopping mechanism. We study the trapped time distribution, flight length distribution, the mean-squared displacement, and the long-time diffusivity at varying Pe. If the particle is larger than the mesh, it captures the collective viscoelastic dynamics from the polymer network at short times and the simple diffusion of the total system at large times. Finally, we discuss the scaling behavior of the long-time diffusivity with Pe, where we find a range of Pe that yields a nontrivial power law. The latter turns out to arise from a large fluctuation of trapped, activated tracers in conjugation with responsive polymer networks.


title: Automated Reasoning in Non-classical Logics in the TPTP World

abstract: Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for automated theorem proving, the TPTP World, currently supports only classical logics. Similar standards for non-classical logic reasoning do not exist (yet). This hampers practical development of reasoning systems, and limits their interoperability and application. This paper describes the latest extension of the TPTP World, which provides languages and infrastructure for reasoning in non-classical logics. The extensions integrate seamlessly with the existing TPTP World.


title: BCJ relations in ${AdS}_5 \times S^3$ and the double-trace spectrum of super gluons

abstract: We revisit the four-point function of super gluons in $AdS_5 \times S^3$ in the spirit of the large $p$ formalism and show how the integrand of a generalised Mellin transform satisfies various non-trivial properties such as $U(1)$ decoupling identity, BCJ relations and colour-kinematic duality, in a way that directly mirrors the analogous relations in flat space. We unmix the spectrum of double-trace operators at large $N$ and find all anomalous dimensions at leading order. The anomalous dimensions follow a very simple pattern, resembling those of other theories with hidden conformal symmetries.


title: Extensions of two classical Poisson limit laws to non-stationary independent data

abstract: In earlier stages in the introduction to asymptotic methods in probability theory, the weak convergence of sequences $(X_n)_{n\geq 1}$ of Binomial of random variables (\textit{rv}'s) to a Poisson law is classical and easy-to prove. A version of such a result concerning sequences $(Y_n)_{n\geq 1}$ of negative binomial \textit{rv}'s also exists. In both cases, $X_n$ and $Y_n-n$ are by-row sums $S_n[X]$ and $S_n[Y]$ of arrays of Bernoulli \textit{rv}'s and corrected geometric \textit{rv}'s respectively. When considered in the general frame of asymptotic theorems of by-row sums of \textit{rv}'s of arrays, these two simple results in the independent and identically distributed scheme can be generalized to non-stationary data and beyond to non-stationary and dependent data. Further generalizations give interesting results that would not be found by direct methods. In this paper, we focus on generalizations to the non-stationary independent data. Extensions to dependent data will addressed later.


title: Singularities and diffeomorphisms

abstract: Comparing and recognizing metrics can be extraordinarily difficult because of the group of diffeomorphisms. Two metrics, that could even be the same, could look completely different in different coordinates. This is the gauge problem. The general gauge problem is extremely subtle, especially for non-compact spaces. Often it can be avoided if one uses some additional structure of the particular situation. However, in many problems there is no additional structure. Instead we solve the gauge problem directly in great generality. The techniques and ideas apply to many problems. We use them to solve a well-known open problem in Ricci flow. We solve the gauge problem by solving a nonlinear system of PDEs. The PDE produces a diffeomorphism that fixes an appropriate gauge in the spirit of the slice theorem for group actions. We then show optimal bounds for the displacement function of the diffeomorphism.


title: Signatures of Light Massive Relics on nonlinear structure formation

abstract: Cosmologies with Light Massive Relics (LiMRs) as a subdominant component of the dark sector are well-motivated from a particle physics perspective, and can also have implications for the $\sigma_8$ tension between early and late time probes of matter clustering. The effects of LiMRs on the Cosmic Microwave Background (CMB) and structure formation on large (linear) scales have been investigated extensively. In this paper, we initiate a systematic study of the effects of LiMRs on smaller, nonlinear scales using cosmological $N$-body simulations; focusing on quantities relevant for photometric galaxy surveys. For most of our study, we use a particular model of nonthermal LiMRs but the methods developed easily generalize to a large class of models of LiMRs -- we explicitly demonstrate this by considering the Dodelson-Widrow form of the velocity distribution. We find that, in general, the effects of LiMR on small scales are distinct from those of a $\Lambda$CDM universe, even when the value of $\sigma_8$ is matched between the models. We show that weak lensing measurements around massive clusters, between $\sim 0.1 h^{-1}$Mpc and $\sim 10 h^{-1}$Mpc, should have sufficient signal-to-noise in future surveys to distinguish between $\Lambda$CDM and LiMR models that are tuned to fit both CMB data and large (linear) scale structure data at late times. Furthermore, we find that different LiMR cosmologies which are indistinguishable by conventional linear probes can be distinguished by these probes if their velocity distributions are sufficiently different. LiMR models can, therefore, be best tested and constrained by jointly analyzing data from CMB and late-time structure formation on both large \textit{and} small scales.


title: RFTacho: Non-intrusive RF monitoring of rotating machines

abstract: Measuring rotation speed is essential to many engineering applications; it elicits faults undetectable by vibration monitoring alone and enhances the vibration signal analysis of rotating machines. Optical, magnetic or mechanical Tachometers are currently state-of-art. Their limitations are they require line-of-sight, direct access to the rotating object. This paper proposes RFTacho, a rotation speed measurement \emph{system} that leverages novel hardware and signal processing algorithms to produce highly accurate readings conveniently. RFTacho uses RF Orbital Angular Momentum (OAM) waves to measure rotation speed of multiple machines simultaneously with no requirements from the machine's properties. OAM antennas allow it to operate in high-scattering environments, commonly found in industries, as they are resilient to de-polarization compared to linearly polarized antennas. RFTacho achieves this by using two novel signal processing algorithms to extract the rotation speed of several rotating objects simultaneously amidst noise arising from high-scattering environments, non-line-of-sight scenarios and dynamic environmental conditions with a resolution of $1 rpm$. We test RFTacho on several real-world machines like fans, motors, air conditioners. Results show that RFTacho has avg. error of $<0.5\%$ compared to ground truth. We demonstrate RFTacho's simultaneous multiple-object measurement capability that other tachometers do not have. Initial experiments show that RFTacho can measure speeds as high as 7000 rpm (theoretically 60000 rpm) with high resiliency at different coverage distances and orientation angles, requiring only 150 mW transmit power while operating in the 5 GHz license-exempt band. RFTacho is the first RF-based sensing system that combines OAM waves and novel processing approaches to measure the rotation speed of multiple machines simultaneously in a non-intrusive way.


title: Bimodule Connections for Relative Line Modules over the Irreducible Quantum Flag Manifolds

abstract: It was recently shown (by the second author and D\'{i}az Garc\'{i}a, Krutov, Somberg, and Strung) that every relative line module over an irreducible quantum flag manifold $\mathcal{O}_q(G/L_S)$ admits a unique $\mathcal{O}_q(G)$-covariant connection with respect to the Heckenberger-Kolb differential calculus $\Omega^1_q(G/L_S)$. In this paper we show that these connections are bimodule connections with an invertible associated bimodule map. This is proved by applying general results of Beggs and Majid, on principal connections for quantum principal bundles, to the quantum principal bundle presentation of the Heckenberger-Kolb calculi recently constructed by the authors and D\'{i}az Garc\'{i}a. Explicit presentations of the associated bimodule maps are given first in terms of generalised quantum determinants, then in terms of the FRT presentation of the algebra $\mathcal{O}_q(G)$, and finally in terms of Takeuchi's categorical equivalence for relative Hopf modules.