title: Warped product hypersurfaces in the pseudo-Euclidean space

abstract: We study hypersurfaces in the pseudo-Euclidean space $\mathbb{E}^{n+1}_s$, which write as a warped product of a $1$-dimensional base with an $(n-1)$-manifold of constant sectional curvature. We show that either they have constant sectional curvature or they are contained in a rotational hypersurface. Therefore, we first define rotational hypersurfaces in the pseudo-Euclidean space.


title: The minimum Kirchhoff index of phenylene chains

abstract: Let $G$ be a connected graph. The resistance distance between any two vertices of $G$ is equal to the effective resistance between them in the corresponding electrical network constructed from $G$ by replacing each edge with a unit resistor. The Kirchhoff index is defined as the sum of resistance distances between all pairs of the vertices. Recently, Yang and Wang determined the maximum Kirchhoff index of phenylene chains, and they proposed a conjecture about the minimum Kirchhoff index. In this note, we characterized the minimum phenylene chains with respect to the Kirchhoff index. This proves the conjecture.


title: Simple deterministic O(n log n) algorithm finding a solution of Erd\H{o}s-Ginzburg-Ziv theorem

abstract: Erd\H{o}s-Ginzburg-Ziv theorem is a famous theorem in additive number theory, which states any sequence of $2n-1$ integers contains a subsequence of $n$ elements, with their sum being a multiple of $n$. In this article, we provide an algorithm finding a solution of Erd\H{o}s-Ginzburg-Ziv theorem in $\mathcal{O}(n \log n)$ time. This is the first known deterministic $\mathcal{O}(n \log n)$ time algorithm finding a solution of Erd\H{o}s-Ginzburg-Ziv theorem.


title: Exchange torque in noncollinear spin density functional theory with a semilocal exchange functional

abstract: We present a semilocal exchange-correlation energy functional for noncollinear spin density functional theory based on short-range expansions of the spin-resolved exchange hole and the two-body density matrix. Our functional is explicitly derived for noncollinear magnetism, U(1) and SU(2) gauge invariant, and gives rise to nonvanishing exchange-correlation torques. Testing the functional for frustrated antiferromagnetic chromium clusters, the exchange part is shown to perform favorably compared to the far more expensive Slater and optimized effective potentials, and a delicate interplay between exchange and correlation torques is uncovered.


title: Direct Sum Theorems From Fortification

abstract: We revisit the direct sum questions in communication complexity which asks whether the resource needed to solve $n$ communication problems together is (approximately) the sum of resources needed to solve these problems separately. Our work starts with the observation that Dinur and Meir's fortification lemma can be generalized to a general fortification lemma for a sub-additive measure over set. By applying this lemma to the case of cover number, we obtain a dual form of cover number, called "$\delta$-fooling set" which is a generalized fooling set. Any rectangle which contains enough number of elements from a $\delta$-fooling set can not be monochromatic. With this fact, we are able to reprove the classic direct sum theorem of cover number with a simple double counting argument. Formally, let $S \subseteq (A\times B) \times O$ and $T \subseteq (P\times Q) \times Z$ be two communication problems, $ \log \mathsf{Cov}\left(S\times T\right) \geq \log \mathsf{Cov}\left(S\right) + \log\mathsf{Cov}(T) -\log\log|P||Q|-4.$ where $\mathsf{Cov}$ denotes the cover number. One issue of current deterministic direct sum theorems about communication complexity is that they provide no information when $n$ is small, especially when $n=2$. In this work, we prove a new direct sum theorem about protocol size which imply a better direct sum theorem for two functions in terms of protocol size. Formally, let $\mathsf{L}$ denotes complexity of the protocol size of a communication problem, given a communication problem $F:A \times B \rightarrow \{0,1\}$, $ \log\mathsf{L}\left(F\times F\right)\geq \log \mathsf{L}\left(F\right) +\Omega\left(\sqrt{\log\mathsf{L}\left(F\right)}\right)-\log\log|A||B| -4$. All our results are obtained in a similar way using the $\delta$-fooling set to construct a hardcore for the direct sum problem.


title: Complex-valued K-means clustering of interpolative separable density fitting algorithm for large-scale hybrid functional enabled \textit{ab initio} molecular dynamics simulations within plane waves

abstract: K-means clustering, as a classic unsupervised machine learning algorithm, is the key step to select the interpolation sampling points in interpolative separable density fitting (ISDF) decomposition. Real-valued K-means clustering for accelerating the ISDF decomposition has been demonstrated for large-scale hybrid functional enabled \textit{ab initio} molecular dynamics (hybrid AIMD) simulations within plane-wave basis sets where the Kohn-Sham orbitals are real-valued. However, it is unclear whether such K-means clustering works for complex-valued Kohn-Sham orbitals. Here, we apply the K-means clustering into hybrid AIMD simulations for complex-valued Kohn-Sham orbitals and use an improved weight function defined as the sum of the square modulus of complex-valued Kohn-Sham orbitals in K-means clustering. Numerical results demonstrate that this improved weight function in K-means clustering algorithm yields smoother and more delocalized interpolation sampling points, resulting in smoother energy potential, smaller energy drift and longer time steps for hybrid AIMD simulations compared to the previous weight function used in the real-valued K-means algorithm. In particular, we find that this improved algorithm can obtain more accurate oxygen-oxygen radial distribution functions in liquid water molecules and more accurate power spectrum in crystal silicon dioxide compared to the previous K-means algorithm. Finally, we describe a massively parallel implementation of this ISDF decomposition to accelerate large-scale complex-valued hybrid AIMD simulations containing thousands of atoms (2,744 atoms), which can scale up to 5,504 CPU cores on modern supercomputers.


title: Fidelity of the Kitaev honeycomb model under a quench

abstract: Motivated by rapid developments in the field of quantum computing and the increasingly diverse nature of qubits, we theoretically study the influence that quenched outside disturbances have in an intermediately long time limit. We consider localized imperfections, uniform fields, noise, and couplings to an environment which we study in a unified framework using a prototypical but idealized interacting quantum device - the Kitaev honeycomb model. Our study focuses on the quantum state robustness in response to an outside magnetic field, a magnetic bath, magnetic noise, magnetic impurities, and a noisy impurity. As indicators for quantum robustness, we use the Uhlmann fidelty of the ground state and excited spinon states after a quench. We find that the time dependence of the fidelity often depends crucially on whether the system is gapped. We find that in the gapped case the fidelity decays to a constant value under noiseless quenches, while in a gapless system it exhibits algebraic decay. In all other situations studied, such as coupling to a bath and noisy quenches, both gapped and gapless systems exhibit a universal form for the long-time fidelity, $Ce^{-\alpha t}t^{-\beta}$, where the values of $C$, $\alpha$, and $\beta$ depend on physical parameters such as system size, disturbance strength, etc. Therefore, our work provides estimates for the intermediate-long time stability of a quantum device and it suggests under what conditions there appear the hallmarks of an orthogonality catastrophe in the time-dependence of the fidelity. Our work provides engineering guidelines for quantum devices in quench design and system size.


title: Frattinian nilpotent Lie algebras

abstract: We introduce a novel concept Frattinian nilpotent Lie algebra. Along with some examples, we show that every Frattinian nilpotent Lie algebra has a central decomposition of its ideals.


title: Data Augmentation is a Hyperparameter: Cherry-picked Self-Supervision for Unsupervised Anomaly Detection is Creating the Illusion of Success

abstract: Self-supervised learning (SSL) has emerged as a promising alternative to create supervisory signals to real-world problems, avoiding the extensive cost of manual labeling. SSL is particularly attractive for unsupervised tasks such as anomaly detection (AD), where labeled anomalies are rare or often nonexistent. A large catalog of augmentation functions has been used for SSL-based AD (SSAD) on image data, and recent works have reported that the type of augmentation has a significant impact on accuracy. Motivated by those, this work sets out to put image-based SSAD under a larger lens and investigate the role of data augmentation in SSAD. Through extensive experiments on 3 different detector models and across 420 AD tasks, we provide comprehensive numerical and visual evidences that the alignment between data augmentation and anomaly-generating mechanism is the key to the success of SSAD, and in the lack thereof, SSL may even impair accuracy. To the best of our knowledge, this is the first meta-analysis on the role of data augmentation in SSAD.


title: Rain Removal from Light Field Images with 4D Convolution and Multi-scale Gaussian Process

abstract: Existing deraining methods focus mainly on a single input image. However, with just a single input image, it is extremely difficult to accurately detect and remove rain streaks, in order to restore a rain-free image. In contrast, a light field image (LFI) embeds abundant 3D structure and texture information of the target scene by recording the direction and position of each incident ray via a plenoptic camera. LFIs are becoming popular in the computer vision and graphics communities. However, making full use of the abundant information available from LFIs, such as 2D array of sub-views and the disparity map of each sub-view, for effective rain removal is still a challenging problem. In this paper, we propose a novel method, 4D-MGP-SRRNet, for rain streak removal from LFIs. Our method takes as input all sub-views of a rainy LFI. To make full use of the LFI, it adopts 4D convolutional layers to simultaneously process all sub-views of the LFI. In the pipeline, the rain detection network, MGPDNet, with a novel Multi-scale Self-guided Gaussian Process (MSGP) module is proposed to detect high-resolution rain streaks from all sub-views of the input LFI at multi-scales. Semi-supervised learning is introduced for MSGP to accurately detect rain streaks by training on both virtual-world rainy LFIs and real-world rainy LFIs at multi-scales via computing pseudo ground truths for real-world rain streaks. We then feed all sub-views subtracting the predicted rain streaks into a 4D convolution-based Depth Estimation Residual Network (DERNet) to estimate the depth maps, which are later converted into fog maps. Finally, all sub-views concatenated with the corresponding rain streaks and fog maps are fed into a powerful rainy LFI restoring model based on the adversarial recurrent neural network to progressively eliminate rain streaks and recover the rain-free LFI.


title: Introducing Intermediate Domains for Effective Self-Training during Test-Time

abstract: Experiencing domain shifts during test-time is nearly inevitable in practice and likely results in a severe performance degradation. To overcome this issue, test-time adaptation continues to update the initial source model during deployment. A promising direction are methods based on self-training which have been shown to be well suited for gradual domain adaptation, since reliable pseudo-labels can be provided. In this work, we address two problems that exist when applying self-training in the setting of test-time adaptation. First, adapting a model to long test sequences that contain multiple domains can lead to error accumulation. Second, naturally, not all shifts are gradual in practice. To tackle these challenges, we introduce GTTA. By creating artificial intermediate domains that divide the current domain shift into a more gradual one, effective self-training through high quality pseudo-labels can be performed. To create the intermediate domains, we propose two independent variations: mixup and light-weight style transfer. We demonstrate the effectiveness of our approach on the continual and gradual corruption benchmarks, as well as ImageNet-R. To further investigate gradual shifts in the context of urban scene segmentation, we publish a new benchmark: CarlaTTA. It enables the exploration of several non-stationary domain shifts.


title: Learning Efficient Abstract Planning Models that Choose What to Predict

abstract: An effective approach to solving long-horizon tasks in robotics domains with continuous state and action spaces is bilevel planning, wherein a high-level search over an abstraction of an environment is used to guide low-level decision-making. Recent work has shown how to enable such bilevel planning by learning abstract models in the form of symbolic operators and neural samplers. In this work, we show that existing symbolic operator learning approaches fall short in many robotics domains where a robot's actions tend to cause a large number of irrelevant changes in the abstract state. This is primarily because they attempt to learn operators that exactly predict all observed changes in the abstract state. To overcome this issue, we propose to learn operators that 'choose what to predict' by only modelling changes necessary for abstract planning to achieve specified goals. Experimentally, we show that our approach learns operators that lead to efficient planning across 10 different hybrid robotics domains, including 4 from the challenging BEHAVIOR-100 benchmark, while generalizing to novel initial states, goals, and objects.


title: A Quiver Analogue of Higman's Conjecture

abstract: An unresolved conjecture by Graham Higman states that for all $n\geq 1$ the number of conjugacy classes of the group of $n \times n$ unitriangular matrices with entries in the finite field $\mathbb{F}_q$ is a polynomial in $q$. In this paper we introduce a new quiver generalization of the conjecture. Motivated by this generalization, we prove that certain operations on quivers leave the relevant counts unchanged. Based on these invariance properties, we solve the introduced conjecture for quivers containing no path of length exceeding two, providing explicit formulas.


title: A Latent Feature Analysis-based Approach for Spatio-Temporal Traffic Data Recovery

abstract: Missing data is an inevitable and common problem in data-driven intelligent transportation systems (ITS). In the past decade, scholars have done many research on the recovery of missing traffic data, however how to make full use of spatio-temporal traffic patterns to improve the recovery performance is still an open problem. Aiming at the spatio-temporal characteristics of traffic speed data, this paper regards the recovery of missing data as a matrix completion problem, and proposes a spatio-temporal traffic data completion method based on hidden feature analysis, which discovers spatio-temporal patterns and underlying structures from incomplete data to complete the recovery task. Therefore, we introduce spatial and temporal correlation to capture the main underlying features of each dimension. Finally, these latent features are applied to recovery traffic data through latent feature analysis. The experimental and evaluation results show that the evaluation criterion value of the model is small, which indicates that the model has better performance. The results show that the model can accurately estimate the continuous missing data.


title: Rational Uniform Consensus with General Omission Failures

abstract: Generally, system failures, such as crash failures, Byzantine failures and so on, are considered as common reasons for the inconsistencies of distributed consensus and have been extensively studied. In fact, strategic manipulations by rational agents do not be ignored for reaching consensus in distributed system. In this paper, we extend the game-theoretic analysis of consensus and design an algorithm of rational uniform consensus with general omission failures under the assumption that processes are controlled by rational agents and prefer consensus. Different from crashing one, agent with omission failures may crash, or omit to send or receive messages when it should, which leads to difficulty of detecting faulty agents. By combining the possible failures of agents at the both ends of a link, we convert omission failure model into link state model to make faulty detection possible. Through analyzing message passing mechanism in the distributed system with n agents, among which t agents may commit omission failures, we provide the upper bound on message passing time for reaching consensus on a state among nonfaulty agents, and message chain mechanism for validating messages. And then we prove our rational uniform consensus is a Nash equilibrium when n>2t+1, and failure patterns and initial preferences are blind (an assumption of randomness). Thus agents could have no motivation to deviate the consensus. Our research strengthens the reliability of consensus with omission failures from the perspective of game theory.


title: FlEC: Enhancing QUIC with application-tailored reliability mechanisms

abstract: Packet losses are common events in today's networks. They usually result in longer delivery times for application data since retransmissions are the de facto technique to recover from such losses. Retransmissions is a good strategy for many applications but it may lead to poor performance with latency-sensitive applications compared to network coding. Although different types of network coding techniques have been proposed to reduce the impact of losses by transmitting redundant information, they are not widely used. Some niche applications include their own variant of Forward Erasure Correction (FEC) techniques, but there is no generic protocol that enables many applications to easily use them. We close this gap by designing, implementing and evaluating a new Flexible Erasure Correction (FlEC) framework inside the newly standardized QUIC protocol. With FlEC, an application can easily select the reliability mechanism that meets its requirements, from pure retransmissions to various forms of FEC. We consider three different use cases: $(i)$ bulk data transfer, $(ii)$ file transfers with restricted buffers and $(iii)$ delay-constrained messages. We demonstrate that modern transport protocols such as QUIC may benefit from application knowledge by leveraging this knowledge in FlEC to provide better loss recovery and stream scheduling. Our evaluation over a wide range of scenarios shows that the FlEC framework outperforms the standard QUIC reliability mechanisms from a latency viewpoint.


title: Three New Arnoldi-Type Methods for the Quadratic Eigenvalue Problem in Rotor Dynamics

abstract: Three new Arnoldi-type methods are presented to accelerate the modal analysis and critical speed analysis of the damped rotor dynamics finite element (FE) model. They are the linearized quadratic eigenvalue problem (QEP) Arnoldi method, the QEP Arnoldi method, and the truncated generalized standard eigenvalue problem (SEP) Arnoldi method. And, they correspond to three reduction subspaces, including the linearized QEP Krylov subspace, the QEP Krylov subspace, and the truncated generalized SEP Krylov subspace, where the first subspace is also used in the existing Arnoldi-type methods. The numerical examples constructed by a turbofan engine low-pressure (LP) rotor demonstrate that our proposed three Arnoldi-type methods are more accurate than the existing Arnoldi-type methods.


title: Langevin Diffusion Variational Inference

abstract: Many methods that build powerful variational distributions based on unadjusted Langevin transitions exist. Most of these were developed using a wide range of different approaches and techniques. Unfortunately, the lack of a unified analysis and derivation makes developing new methods and reasoning about existing ones a challenging task. We address this giving a single analysis that unifies and generalizes these existing techniques. The main idea is to augment the target and variational by numerically simulating the underdamped Langevin diffusion process and its time reversal. The benefits of this approach are twofold: it provides a unified formulation for many existing methods, and it simplifies the development of new ones. In fact, using our formulation we propose a new method that combines the strengths of previously existing algorithms; it uses underdamped Langevin transitions and powerful augmentations parameterized by a score network. Our empirical evaluation shows that our proposed method consistently outperforms relevant baselines in a wide range of tasks.


title: Secrecy Performance Analysis of RIS-aided Communication System with Randomly Flying Eavesdroppers

abstract: In this letter, we analyze the secrecy performance of a reconfigurable intelligent surface (RIS)-aided communication system with spatially random unmanned aerial vehicles (UAVs) acting as eavesdroppers. We consider the scenarios where the base station (BS) is equipped with single and multiple antennas.The signal-to-noise ratios (SNRs) of the legitimate user and the eavesdroppers are derived analytically and approximated through a computationally effective method. The ergodic secrecy capacity is approximated and derived in closed-form expressions.Simulation results validate the accuracy of the analytical and approximate expressions and show the security-enhanced effect of the deployment of the RIS.


title: Cones of orthogonal Shimura subvarieties and equidistribution

abstract: Let $X$ be an orthogonal Shimura variety, and let $C_r(X)$ be the cone generated by the cohomology classes of orthogonal Shimura subvarieties in $X$ of dimension $r$. We investigate the asymptotic properties of the generating rays of $C_r(X)$ for large values of $r$. They accumulate towards rays generated by wedge products of the K\"ahler class of $X$ and the fundamental class of an orthogonal Shimura subvariety. We also compare $C_r(X)$ with the cone generated by the special cycles of dimension $r$. The main ingredient to achieve the results above is the equidistribution of orthogonal Shimura subvarieties.


title: Linear and Nonlinear Dimensionality Reduction from Fluid Mechanics to Machine Learning

abstract: Dimensionality reduction is the essence of many data processing problems, including filtering, data compression, reduced-order modeling and pattern analysis. While traditionally tackled using linear tools in the fluid dynamics community, nonlinear tools from machine learning are becoming increasingly popular. This article, halfway between a review and a tutorial, introduces a general framework for linear and nonlinear dimensionality reduction techniques. Differences and links between autoencoders and manifold learning methods are highlighted, and popular nonlinear techniques such as kernel Principal Component Analysis (kPCA), isometric feature learning (ISOMAPs) and Locally Linear Embedding (LLE) are placed in this framework. These algorithms are benchmarked in three classic problems: 1) filtering, 2) identification of oscillatory patterns, and 3) data compression. Their performances are compared against the traditional Proper Orthogonal Decomposition (POD) to provide a perspective on their diffusion in fluid dynamics.


title: Seismic fragility analysis using stochastic polynomial chaos expansions

abstract: Within the performance-based earthquake engineering (PBEE) framework, the fragility model plays a pivotal role. Such a model represents the probability that the engineering demand parameter (EDP) exceeds a certain safety threshold given a set of selected intensity measures (IMs) that characterize the earthquake load. The-state-of-the art methods for fragility computation rely on full non-linear time-history analyses. Within this perimeter, there are two main approaches: the first relies on the selection and scaling of recorded ground motions; the second, based on random vibration theory, characterizes the seismic input with a parametric stochastic ground motion model (SGMM). The latter case has the great advantage that the problem of seismic risk analysis is framed as a forward uncertainty quantification problem. However, running classical full-scale Monte Carlo simulations is intractable because of the prohibitive computational cost of typical finite element models. Therefore, it is of great interest to define fragility models that link an EDP of interest with the SGMM parameters -- which are regarded as IMs in this context. The computation of such fragility models is a challenge on its own and, despite few recent studies, there is still an important research gap in this domain. This study tackles this computational challenge by using stochastic polynomial chaos expansions to represent the statistical dependence of EDP on IMs. More precisely, this surrogate model estimates the full conditional probability distribution of EDP conditioned on IMs. We compare the proposed approach with some state-of-the-art methods in two case studies. The numerical results show that the new method prevails its competitors in estimating both the conditional distribution and the fragility functions.


title: Restricted phase space thermodynamics for black holes in higher dimensions and higher curvature gravities

abstract: The recently proposed restricted phase space thermodynamics is shown to be applicable to a large class of higher dimensional higher curvature gravity models coupled to Maxwell field, which are known as black hole scan models and are labeled by the spacetime dimension $d$ and the highest order $k$ of the Lanczos-Lovelock densities appearing in the action. Three typical example cases with $(d,k)=(5,1), (5,2)$ and $(6,2)$ are chosen as example cases and studied in some detail. These cases are representatives of Einstein-Hilbert, Chern-Simons and Born-Infield like gravity models. Our study indicates that the Einstein-Hilbert and Born-Infield like gravity models have similar thermodynamic behaviors, e.g. the existence of isocharge $T-S$ phase transitions with the same critical exponents, the existence of isovoltage $T-S$ transitions and the Hawking-Page like transitions, and the similar high temperature asymptotic behaviors for the isocharge heat capacities, etc. However, the Chern-Simons like $(5,2)$-model behaves quite differently. Neither isocharge nor isovoltage $T-S$ transitions could occur and no Hawking-Page like transition is allowed. This seems to indicate that the Einstein-Hilbert and Born-Infield like models belong to the same universality class while the Chern-Simons like models do not.


title: Predicting student performance using sequence classification with time-based windows

abstract: A growing number of universities worldwide use various forms of online and blended learning as part of their academic curricula. Furthermore, the recent changes caused by the COVID-19 pandemic have led to a drastic increase in importance and ubiquity of online education. Among the major advantages of e-learning is not only improving students' learning experience and widening their educational prospects, but also an opportunity to gain insights into students' learning processes with learning analytics. This study contributes to the topic of improving and understanding e-learning processes in the following ways. First, we demonstrate that accurate predictive models can be built based on sequential patterns derived from students' behavioral data, which are able to identify underperforming students early in the course. Second, we investigate the specificity-generalizability trade-off in building such predictive models by investigating whether predictive models should be built for every course individually based on course-specific sequential patterns, or across several courses based on more general behavioral patterns. Finally, we present a methodology for capturing temporal aspects in behavioral data and analyze its influence on the predictive performance of the models. The results of our improved sequence classification technique are capable to predict student performance with high levels of accuracy, reaching 90 percent for course-specific models.


title: Asymmetric Dual-Mode Constellation and Protograph LDPC Code Design for Generalized Spatial MPPM Systems

abstract: To achieve reliable and efficient transmissions in free-space optical (FSO) communication, this paper designs a new protograph low-density parity-check (PLDPC) coded generalized spatial multipulse position modulation (GSMPPM) system over weak turbulence channels. Specifically, we investigate the PLDPC code, generalized space shift keying (GSSK) modulation, and MPPM constellation. First, we propose a type of novel GSMPPM constellations that intelligently integrates the GSSK into MPPM, referred to as asymmetric dual-mode (ADM) constellations, so as to improve the performance of the PLDPC-coded GSMPPM system. Furthermore, exploiting a protograph extrinsic information transfer (PEXIT) algorithm, we construct a type of improved PLDPC code, referred to as I-PLDPC code, which outperforms the existing PLDPC codes over weak turbulence channels. Analytical and simulation results show that the proposed ADM constellations and the proposed I-PLDPC code can obtain noticeable performance gains over their counterparts. Therefore, the proposed PLDPC-coded GSMPPM system with ADM constellations is competent to satisfy the high-reliability requirement for FSO applications.


title: Energy and helicity conservation for the generalized quasi-geostrophic equation

abstract: In this paper, we consider the 2-D generalized surface quasi-geostrophic equation with the velocity $v$ determined by $v=\mathcal{R}^{\perp}\Lambda^{\gamma-1}\theta$. It is shown that the $L^p$ type energy norm of weak solutions is conserved provided $\theta\in L^{p+1}(0,T; {B}^{\frac{\gamma}{3}}_{p+1, c(\mathbb{N})})$ for $0<\gamma<\frac32$ or $\theta\in L^{p+1}(0,T; {{B}}^{\alpha}_{p+1,\infty})~\text{for any}~\gamma-1<\alpha<1 \text{ with} ~\frac{3}{2}\leq \gamma <2$. Moreover, we also prove that the helicity of weak solutions satisfying $\nabla\theta \in L^{3}(0,T;\dot{B}_{3,c(\mathbb{N})}^{\frac{\gamma}{3}})$ for $0<\gamma<\frac32$ or $\nabla\theta\in L^{3}(0,T; \dot{B}^{\alpha}_{3,\infty})~\text{for any}~\gamma-1<\alpha<1 \text{ with} ~\frac{3}{2}\leq \gamma <2$ is invariant. Therefore, the accurate relationships between the critical regularity for the energy (helicity) conservation of the weak solutions and the regularity of velocity in 2-D generalized quasi-geostrophic equation are presented.


title: Uniqueness and non-uniqueness results for spacetime extensions

abstract: Given a function $f : A \to \mathbb{R}^n$ of a certain regularity defined on some open subset $A \subseteq \mathbb{R}^m$, it is a classical problem of analysis to investigate whether the function can be extended to all of $\mathbb{R}^m$ in a certain regularity class. If an extension exists and is continuous, then certainly it is uniquely determined on the closure of $A$. A similar problem arises in general relativity for Lorentzian manifolds instead of functions on $\mathbb{R}^m$. It is well-known, however, that even if the extension of a Lorentzian manifold $(M,g)$ is analytic, various choices are in general possible at the boundary. This paper establishes a uniqueness condition for extensions of globally hyperbolic Lorentzian manifolds $(M,g)$ with a focus on low regularities: any two extensions which are anchored by an inextendible causal curve $\gamma : [-1,0) \to M$ in the sense that $\gamma$ has limit points in both extensions, must agree locally around those limit points on the boundary as long as the extensions are at least locally Lipschitz continuous. We also show that this is sharp: anchored extensions which are only H\"older continuous do in general not enjoy this local uniqueness result.


title: A Policy Resonance Approach to Solve the Problem of Responsibility Diffusion in Multiagent Reinforcement Learning

abstract: SOTA multiagent reinforcement algorithms distinguish themselves in many ways from their single-agent equivalences. However, most of them still totally inherit the single-agent exploration-exploitation strategy. Naively inheriting this strategy from single-agent algorithms causes potential collaboration failures, in which the agents blindly follow mainstream behaviors and reject taking minority responsibility. We name this problem the Responsibility Diffusion (RD) as it shares similarities with a same-name social psychology effect. In this work, we start by theoretically analyzing the cause of this RD problem, which can be traced back to the exploration-exploitation dilemma of multiagent systems (especially large-scale multiagent systems). We address this RD problem by proposing a Policy Resonance (PR) approach which modifies the collaborative exploration strategy of agents by refactoring the joint agent policy while keeping individual policies approximately invariant. Next, we show that SOTA algorithms can equip this approach to promote the collaborative performance of agents in complex cooperative tasks. Experiments are performed in multiple test benchmark tasks to illustrate the effectiveness of this approach.


title: Subtype-Aware Dynamic Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) has been successfully applied to transfer knowledge from a labeled source domain to target domains without their labels. Recently introduced transferable prototypical networks (TPN) further addresses class-wise conditional alignment. In TPN, while the closeness of class centers between source and target domains is explicitly enforced in a latent space, the underlying fine-grained subtype structure and the cross-domain within-class compactness have not been fully investigated. To counter this, we propose a new approach to adaptively perform a fine-grained subtype-aware alignment to improve performance in the target domain without the subtype label in both domains. The insight of our approach is that the unlabeled subtypes in a class have the local proximity within a subtype, while exhibiting disparate characteristics, because of different conditional and label shifts. Specifically, we propose to simultaneously enforce subtype-wise compactness and class-wise separation, by utilizing intermediate pseudo-labels. In addition, we systematically investigate various scenarios with and without prior knowledge of subtype numbers, and propose to exploit the underlying subtype structure. Furthermore, a dynamic queue framework is developed to evolve the subtype cluster centroids steadily using an alternative processing scheme. Experimental results, carried out with multi-view congenital heart disease data and VisDA and DomainNet, show the effectiveness and validity of our subtype-aware UDA, compared with state-of-the-art UDA methods.


title: PoseTrans: A Simple Yet Effective Pose Transformation Augmentation for Human Pose Estimation

abstract: Human pose estimation aims to accurately estimate a wide variety of human poses. However, existing datasets often follow a long-tailed distribution that unusual poses only occupy a small portion, which further leads to the lack of diversity of rare poses. These issues result in the inferior generalization ability of current pose estimators. In this paper, we present a simple yet effective data augmentation method, termed Pose Transformation (PoseTrans), to alleviate the aforementioned problems. Specifically, we propose Pose Transformation Module (PTM) to create new training samples that have diverse poses and adopt a pose discriminator to ensure the plausibility of the augmented poses. Besides, we propose Pose Clustering Module (PCM) to measure the pose rarity and select the "rarest" poses to help balance the long-tailed distribution. Extensive experiments on three benchmark datasets demonstrate the effectiveness of our method, especially on rare poses. Also, our method is efficient and simple to implement, which can be easily integrated into the training pipeline of existing pose estimation models.


title: Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks

abstract: Multi-agent systems can be extremely efficient when solving a team-wide task in a concurrent manner. However, without proper synchronization, the correctness of the combined behavior is hard to guarantee, such as to follow a specific ordering of sub-tasks or to perform a simultaneous collaboration. This work addresses the minimum-time task planning problem for multi-agent systems under complex global tasks stated as Linear Temporal Logic (LTL) formulas. These tasks include the temporal and spatial requirements on both independent local actions and direct sub-team collaborations. The proposed solution is an anytime algorithm that combines the partial-ordering analysis of the underlying task automaton for task decomposition, and the branch and bound (BnB) search method for task assignment. Analyses of its soundness, completeness and optimality as the minimal completion time are provided. It is also shown that a feasible and near-optimal solution is quickly reached while the search continues within the time budget. Furthermore, to handle fluctuations in task duration and agent failures during online execution, an adaptation algorithm is proposed to synchronize execution status and re-assign unfinished subtasks dynamically to maintain correctness and optimality. Both algorithms are validated rigorously over large-scale systems via numerical simulations and hardware experiments, against several strong baselines.


title: Multiparameter tests of general relativity using principal component analysis with next-generation gravitational wave detectors

abstract: Principal Component Analysis (PCA) is an efficient tool to optimize the multiparameter tests of general relativity (GR) where one tests for simultaneous deviations in multiple post-Newtonian (PN) phasing coefficients by introducing fractional deformation parameters. We use PCA to construct the `best-measured' linear combinations of the PN deformation parameters from the data. This helps to set stringent limits on deviations from GR and detect possible beyond-GR physics. In this paper, we study the effectiveness of this method with the proposed next-generation gravitational wave detectors, Cosmic Explorer (CE) and Einstein Telescope (ET). Observation of compact binaries with total masses between 20-200 $\mathrm{M}_{\odot}$ in the detector frame and at a luminosity distance of 500 Mpc, CE can measure the three most dominant linear combinations to an accuracy better than 10%, and the most dominant one to better than 0.1%. For specific ranges of masses and linear combinations, constraints from ET are better by a few factors than CE. This improvement is because of the improved low frequency sensitivity of ET compared to CE (between 1-5 Hz). In addition, we explain the sensitivity of the PCA parameters to the different PN deformation parameters and discuss their variation with total mass. We also discuss a criterion for quantifying the number of most dominant linear combinations that capture the information in the signal up to a threshold.


title: Efficient chip-based optical parametric oscillators from 590 nm to 1150 nm

abstract: Optical parametric oscillators are widely used to generate coherent light at frequencies not accessible by conventional laser gain. However, chip-based parametric oscillators operating in the visible spectrum have suffered from pump-to-signal conversion efficiencies typically less than 0.1 %. Here, we demonstrate efficient optical parametric oscillators based on silicon nitride photonics that address frequencies between 260 THz (1150 nm) and 510 THz (590 nm). Pumping silicon nitride microrings near 385 THz (780 nm) yields monochromatic signal and idler waves with unprecedented output powers in this wavelength range. We estimate on-chip output powers (separately for the signal and idler) between 1 mW and 5 mW and conversion efficiencies reaching approximately 15 %. Underlying this improved performance is our development of pulley waveguides for broadband near-critical coupling, which exploits a fundamental connection between the waveguide-resonator coupling rate and conversion efficiency. Finally, we find that mode competition reduces conversion efficiency at high pump powers, thereby constraining the maximum realizable output power. Our work proves that optical parametric oscillators built with integrated photonics can produce useful amounts of visible laser light with high efficiency.


title: Generalized Total Internal Reflection at Dynamic Interfaces

abstract: Recent research developments in the area of spacetime metamaterial structures and systems have raised new questions as to how the physics of fundamental phenomena is altered in the presence of spacetime modulation. In this context, we present a generalized and comparative description of the phenomenon of total internal reflection (TIR) at different dynamic interfaces. Such interfaces include, beyond the classical interfaces corresponding to the boundaries of moving bodies (moving interface -- moving matter systems), interfaces formed by a traveling-wave step modulation of an electromagnetic parameter (e.g., refractive index) (moving interface -- stationary matter systems) and fixed interfaces between moving-matter media (stationary interface -- moving matter systems). We first resolve the problem using the evanescence of the transmitted wave as the criterion for TIR and applying the conventional technique of relative frame hopping (between the laboratory and rest frames), which results in closed-form formulas for the relevant critical (incidence, reflection, phase refraction and power refraction) angles. We then introduce the concept of catch-up limit between the dynamic interface and the transmitted wave as an alternative criterion for the critical angle. We use this approach both to analytically verify the critical angle formulas, further validated by full-wave (FDTD) analysis, and to explain the related physics, using Fresnel-Fizeau drag and spacetime frequency transition considerations. These results might find various applications in ultra-fast optics, gravity analogs and quantum processing.


title: Transmission Structured Illumination Microscopy using Tilt-mirror Assembly

abstract: We present experimental demonstration of tilt-mirror assisted transmission structured illumination microscopy (tSIM) that offers a large field of view super resolution imaging. An assembly of custom-designed tilt-mirrors are employed as the illumination module where the sample is excited with the interference of two beams reflected from the opposite pair of mirror facets. Tunable frequency structured patterns are generated by changing the mirror-tilt angle and the hexagonal-symmetric arrangement is considered for the isotropic resolution in three orientations. Utilizing high numerical aperture (NA) objective in standard SIM provides super-resolution compromising with the field-of-view (FOV). Employing low NA (20X/0.4) objective lens detection, we experimentally demonstrate ~ (0.56mm x 0.35mm) size single FOV image with ~1.7- and ~2.4-fold resolution improvement (exploiting various illumination by tuning tilt-mirrors) over the diffraction limit. The results are verified both for the fluorescent beads as well as biological samples. The tSIM geometry decouples the illumination and the collection light paths consequently enabling free change of the imaging objective lens without influencing the spatial frequency of the illumination pattern that are defined by the tilt-mirrors. The large and scalable FoV supported by tSIM will find usage for applications where scanning large areas are necessary as in pathology and applications where images must be correlated both in space and time.


title: Magnetocaloric effect in multilayers studied by membrane-based calorimetry

abstract: We study magnetic multilayers, incorporating dilute ferromagnetic spacers between strongly-ferromagnetic layers exhibiting a proximity-enhanced magnetocaloric effect. Using magnetometry and direct measurements of the adiabatic temperature change based on a nanomembrane-calorimetry, we find that the magnetocaloric effect in the studied multilayer is indeed enhanced compared to that in the bulk spacer material. We develop a phenomenological numerical model of the studied trilayer and find that a long-range exchange interaction through the weakly-ferromagnetic spacer is required to adequately describe the magnetic and magnetocaloric properties of the system.


title: Observational limits on the rate of radiation-driven binary black hole capture events

abstract: Dense astrophysical environments like globular clusters and galactic nuclei can host hyperbolic encounters of black holes which can lead to gravitational-wave driven capture. There are several astrophysical models which predict a fraction of binary black hole mergers to come from these radiation-driven capture scenarios. In this paper we present the sensitivity of a search towards gravitational-wave driven capture events for O3, the third observing run of LIGO and Virgo. We use capture waveforms produced by numerical relativity simulations covering four different mass ratios and at least two different values of initial angular momentum per mass ratio. We employed the most generic search for short-duration transients in O3 to evaluate the search sensitivity in this parameter space for a wide range in total mass in terms of visible spacetime volume. From the visible spacetime volume we determine for the first time the merger rate upper limit of such systems. The most stringent estimate of rate upper limits at 90\% confidence is $0.2~\mathrm{Gpc}^{-3}\,\mathrm{yr}^{-1}$ for an equal mass $200~M_\odot$ binary. Furthermore, in recent studies the event GW190521 has been suggested to be a capture event. With this interpretation of GW190521, we find the merger rate of similar events to be $0.47~\mathrm{Gpc}^{-3}\,\mathrm{yr}^{-1}$.


title: Network analysis of a complex disease: the gut microbiota in the inflammatory bowel disease case

abstract: Inflammatory bowel diseases (IBD) are complex diseases in which the gut microbiota is attacked by the immune system of genetically predisposed subjects when they are exposed to yet unclear environmental factors. The complexity of this class of diseases makes them suitable to be represented and studied with network science. In the project, the metagenomic data of the gut microbiota of control, Crohn's disease, and ulcerative colitis subjects were divided in three ranges (prevalent, common, uncommon). Then, correlation networks and co-expression networks were used to represent this data. The former networks involved the calculation of the Pearson's correlation and the use of the percolation threshold to binarize the adjacency matrix, whereas the latter involved the construction of the bipartite networks and the monopartite projection after binarization of the biadjacency matrix. Then, centrality measures and community detection were used on the so-built networks. The main results obtained were about the modules of "Bacteroides", which were connected in control subjects' correlation network, "Faecalibacterium prausnitzii", where co-enzyme A became central in IBD correlation networks and "Escherichia coli", which module has different position in the different diagnoses networks.


title: Borel chromatic numbers of locally countable $F_\sigma$ graphs and forcing with superperfect trees

abstract: In this work we study the uncountable Borel chromatic numbers, defined by Geschke (2011) as cardinal characteristics of the continuum, of low complexity graphs. We show that a strong form of locally countable graphs with compact totally disconnected set of vertices have Borel chromatic number bounded by the continuum of the ground model in the model obtained by adding $\aleph_2$ Laver reals. From this, we answer a question from Geschke and the second author (2022), and another question from Fisher, Friedman and Khomskii (2014) concerning regularity properties of subsets of the real line.


title: Style Your Hair: Latent Optimization for Pose-Invariant Hairstyle Transfer via Local-Style-Aware Hair Alignment

abstract: Editing hairstyle is unique and challenging due to the complexity and delicacy of hairstyle. Although recent approaches significantly improved the hair details, these models often produce undesirable outputs when a pose of a source image is considerably different from that of a target hair image, limiting their real-world applications. HairFIT, a pose-invariant hairstyle transfer model, alleviates this limitation yet still shows unsatisfactory quality in preserving delicate hair textures. To solve these limitations, we propose a high-performing pose-invariant hairstyle transfer model equipped with latent optimization and a newly presented local-style-matching loss. In the StyleGAN2 latent space, we first explore a pose-aligned latent code of a target hair with the detailed textures preserved based on local style matching. Then, our model inpaints the occlusions of the source considering the aligned target hair and blends both images to produce a final output. The experimental results demonstrate that our model has strengths in transferring a hairstyle under larger pose differences and preserving local hairstyle textures.


title: Ensure A/B Test Quality at Scale with Automated Randomization Validation and Sample Ratio Mismatch Detection

abstract: eBay's experimentation platform runs hundreds of A/B tests on any given day. The platform integrates with the tracking infrastructure and customer experience servers, provides the sampling service for experiments, and has the responsibility to monitor the progress of each A/B test. There are many challenges especially when it is required to ensure experiment quality at the large scale. We discuss two automated test quality monitoring processes and methodologies, namely randomization validation using population stability index (PSI) and sample ratio mismatch (a.k.a. sample delta) detection using sequential analysis. The automated processes assist the experimentation platform to run high quality and trustworthy tests not only effectively on a large scale, but also efficiently by minimizing false positive monitoring alarms to experimenters.


title: Enhancing Dynamic Mode Decomposition Workflow with In-Situ Visualization and Data Compression

abstract: Modern computational science and engineering applications are being improved by the advances in scientific machine learning. Data-driven methods such as Dynamic Mode Decomposition (DMD) can extract coherent structures from spatio-temporal data generated from dynamical systems and infer different scenarios for said systems. The spatio-temporal data comes as snapshots containing spatial information for each time instant. In modern engineering applications, the generation of high-dimensional snapshots can be time and/or resource-demanding. In the present study, we consider two strategies for enhancing DMD workflow in large numerical simulations: (i) snapshots compression to relieve disk pressure; (ii) the use of in situ visualization images to reconstruct the dynamics (or part of) in runtime. We evaluate our approaches with two 3D fluid dynamics simulations and consider DMD to reconstruct the solutions. Results reveal that snapshot compression considerably reduces the required disk space. We have observed that lossy compression reduces storage by almost $50\%$ with low relative errors in the signal reconstructions and other quantities of interest. We also extend our analysis to data generated on-the-fly, using in-situ visualization tools to generate image files of our state vectors during runtime. On large simulations, the generation of snapshots may be slow enough to use batch algorithms for inference. Streaming DMD takes advantage of the incremental SVD algorithm and updates the modes with the arrival of each new snapshot. We use streaming DMD to reconstruct the dynamics from in-situ generated images. We show that this process is efficient, and the reconstructed dynamics are accurate.


title: The Renaissance of Main Belt Asteroid Science

abstract: The NASA Dawn spacecraft took off from Cape Canaveral in September 2007 atop a Delta II rocket starting an ambitious journey to Vesta and Ceres, the two most massive worlds in the largest reservoir of asteroids in the Solar System, the Main Belt. Prior to the Dawn launch, Earth-bound observations of Vesta and Ceres revealed intriguing features--from Vesta's rugged shape to Ceres' tenuous water exosphere--, but these objects remained fuzzy speckles of light even through the lenses of the most powerful telescopes. With Dawn's exploration of Vesta (2011-2012) and Ceres (2015-2018) these two worlds came into focus. Breath-taking details emerged of how large collisions sculpted Vesta liberating massive amounts of material in the inner Main Belt, providing the source of an important family of meteorites recovered on Earth. Ceres' complex geology, which may rival that of the Earth and Mars, unveiled recent cryovolcanic activity. This book is dedicated to these highlights, and many more discoveries of the Dawn mission. By the time Dawn completed its mission in 2018, our understanding of the formation of the Solar System had greatly evolved thanks to new theoretical models and to a new trove of meteorite geochemical data, and Dawn observations of Vesta and Ceres provide new, vital constraints to synergistically interpret models and data. The broader implications of the Dawn legacy are presented in a series of dedicated chapters. The editors hope this book will serve as a solid reference for the younger generations as well as for more seasoned researchers to successfully pursue future exploration of the Main Belt. We certainly have learned a lot thanks to Dawn, and yet we know that we have barely scratched the surface of what Main Belt asteroids can tell us about the dawn of our Solar System.


title: Unsupervised Domain Adaptation for Segmentation with Black-box Source Model

abstract: Unsupervised domain adaptation (UDA) has been widely used to transfer knowledge from a labeled source domain to an unlabeled target domain to counter the difficulty of labeling in a new domain. The training of conventional solutions usually relies on the existence of both source and target domain data. However, privacy of the large-scale and well-labeled data in the source domain and trained model parameters can become the major concern of cross center/domain collaborations. In this work, to address this, we propose a practical solution to UDA for segmentation with a black-box segmentation model trained in the source domain only, rather than original source data or a white-box source model. Specifically, we resort to a knowledge distillation scheme with exponential mixup decay (EMD) to gradually learn target-specific representations. In addition, unsupervised entropy minimization is further applied to regularization of the target domain confidence. We evaluated our framework on the BraTS 2018 database, achieving performance on par with white-box source model adaptation approaches.


title: Internal heating mechanisms in neutron stars

abstract: The cooling of neutron stars (hereafter NS) has the potential to reveal important features of superdense matter. Their surface temperatures are known for a fair sample of NS with ages $\leq 10^{6} \, {\it{yr}}$, and with a few exceptions, can be accommodated by standard cooling mechanisms (neutrino+photon emission without internal heating). However, for the older objects it is necessary to consider some internal heating to explain surface temperatures higher than expected. We revisit in this paper the kinetic heating by fermionic dark matter, rotochemical heating and magnetic field decay. We found that NS slightly older than $\sim 10^{6} \, {\it{yr}}$ can be explained by them, but the older ``black widow'' systems are much hotter than the values predicted by these three mechanisms, pointing towards a yet unknown heating factor for old NS.


title: Large hyperbolic circles

abstract: We consider circles of common centre and increasing radius on a compact hyperbolic surface and, more generally, on its unit tangent bundle. We establish a precise asymptotics for their rate of equidistribution. Our result holds for translates of any circle arc by arbitrary elements of $\text{SL}_2(\mathbb{R})$. Our proof relies on a spectral method pioneered by Ratner and subsequently developed by Burger in the study of geodesic and horocycle flows. We further derive statistical limit theorems, with compactly supported limiting distribution, for appropriately rescaled circle averages of sufficient regular observables. Finally, we discuss applications to the classical circle problem in the hyperbolic plane, following the approach of Duke-Rudnick-Sarnak and Eskin-McMullen.


title: Achieving Heisenberg limit in the phase measurement through three-qubit graph states

abstract: We study the reciprocal of the mean quantum Fisher information (RMQFI), $\chi^2$ for general three qubit states, having graph and hypergraph states as special cases, for identifying genuine multi party entanglement characterized by $\chi^2 <1$. We demonstrate that the most symmetric graph state and the GHZ state have the lowest RMQFI values leading to the highest statistical speed showing that both these states attain the Heisenberg limit in phase sensitivity. Unlike the GHZ state, graph states have the same RMQFI values for measurement through different parameters, a property shared by the hypergraph states. Three qubit graph and hypergraph states can violate Bell's inequality as $F_Q > N$. Both the GHZ state and the most symmetric graph state have the highest concurrence equalling 3 and the maximum QFI values.


title: Phase-resolved spectroscopic analysis of the eclipsing black hole X-ray binary M33 X-7: System properties, accretion, and evolution

abstract: M33 X-7 is the only known eclipsing black hole high mass X-ray binary. The system is reported to contain a very massive O supergiant donor and a massive black hole in a short orbit. The high X-ray luminosity and its location in the metal-poor galaxy M33 make it a unique laboratory for studying the winds of metal-poor donor stars with black hole companions and it helps us to understand the potential progenitors of black hole mergers. Using phase-resolved simultaneous HST- and XMM-Newton-observations, we traced the interaction of the stellar wind with the black hole. Our comprehensive spectroscopic investigation of the donor star (X-ray+UV+optical) yields new stellar and wind parameters for the system that differs significantly from previous estimates. In particular, the masses of the components are considerably reduced to 38 for the O-star donor and 11.4 for the black hole. The O giant is overfilling its Roche lobe and shows surface He enrichment. The donor shows a densely clumped wind with a mass-loss rate that matches theoretical predictions. We investigated the wind-driving contributions from different ions and the changes in the ionization structure due to X-ray illumination. Toward the black hole, the wind is strongly quenched due to strong X-ray illumination. For this system, the standard wind-fed accretion scenario alone cannot explain the observed X-ray luminosity, pointing toward an additional mass overflow, which is in line with our acceleration calculations. The X-ray photoionization creates an He II emission region emitting $10^{47}$ ph/s. We computed binary evolutionary tracks for the system using MESA. Currently, the system is transitioning toward an unstable mass transfer phase, resulting in a common envelope of the black hole and donor. Since the mass ratio is q~3.3 and the period is short, the system is unlikely to survive the common envelope, but will rather merge.


title: A cross-correlation analysis of CMB lensing and radio galaxy maps

abstract: We investigate the origin of the large clustering signal detected in the angular distribution of the radio sources in the TGSS catalog. To do so, we cross-correlate the angular position of the radio sources with the Cosmic Microwave Background (CMB) lensing maps from the Planck satellite, since cross-correlation is expected to be insensitive to source of possible systematic errors that may generate a spurious clustering signal. The amplitude of the angular cross-correlation spectrum of TGSS-CMB lensing turns out to be much smaller than that of the TGSS auto-spectrum and consistent with that of the NVSS-CMB lensing cross spectrum. A result that confirms the spurious origin of the TGSS large scale clustering signal. We further compare the two cross-spectra with theoretical predictions that use various prescriptions from the literature, for the redshift counts of the radio sources, $N(z)$, and their bias $b(z)$. These models, that assume a $\Lambda$CDM cosmology and that were proposed to fit the NVSS auto-spectrum, fail to match the cross-spectra on large scale, though not by far. When the bias relation is let free to vary (model predictions are rather insensitive to the choice of the N(z)) the quality of the fit improves but a large bias ($ b_g = 2.53 \pm 0.11$) is required, which does not seem to be consistent with the observed clustering amplitude of the radio sources in the local universe. Whether this large cross-correlation amplitude represents a problem for the radio sources models, or for the $\Lambda$CDM framework itself, can only be clarified using next generation datasets featuring large number of objects. What our analysis does show is the possibility to remove the $N(z)$ and $b(z)$ degeneracy by combining angular and cross-correlation analyses.


title: SAT-Inspired Higher-Order Eliminations

abstract: We generalize several propositional preprocessing techniques to higher-order logic, building on existing first-order generalizations. These techniques eliminate literals, clauses, or predicate symbols from the problem, with the aim of making it more amenable to automatic proof search. We also introduce a new technique, which we call quasipure literal elimination, that strictly subsumes pure literal elimination. The new techniques are implemented in the Zipperposition theorem prover. Our evaluation shows that they sometimes help prove problems originating from Isabelle formalizations and the TPTP library.


title: Observation of vibrational dynamics of orientated Rydberg-atom-ion molecules

abstract: Vibrational dynamics in conventional molecules usually takes place on a timescale of picoseconds or shorter. A striking exception are ultralong-range Rydberg molecules, for which dynamics is dramatically slowed down as a consequence of the huge bond length of up to several micrometers. Here, we report on the direct observation of vibrational dynamics of a recently observed Rydberg-atom-ion molecule. By applying a weak external electric field of a few mV/cm, we are able to control the orientation of the photoassociated ultralong-range Rydberg molecules and induce vibrational dynamics by quenching the electric field. A high resolution ion microscope allows us to detect the molecule's orientation and its temporal vibrational dynamics in real space. Our study opens the door to the control of molecular dynamics in Rydberg molecules.


title: An Adaptive Repeated-Intersection-Reduction Local Search for the Maximum Independent Set Problem

abstract: The maximum independent set (MIS) problem, a classical NP-hard problem with extensive applications in various areas, aims to find the largest set of vertices with no edge among them. Due to its computational intractability, it is difficult to solve the MIS problem effectively, especially on large graphs. Employing heuristic approaches to obtain a good solution within an acceptable amount of time has attracted much attention in literature. In this paper, we propose an efficient local search framework for MIS called ARIR, which encompasses two main parts: a lightweight adaptive mechanism and a novel inexact efficient reduction rule to simplify instances. Based on ARIR, three algorithms -- ARIR-I, ARIR-II, and ARIR-III -- are developed by adopting three distinct reduction strategies. We conduct experiments on five benchmarks, encompassing 92 instances. Compared with six state-of-the-art algorithms, our ARIR-based algorithms offer the best accuracy on the majority of instances, while obtaining competitive results on the remaining instances.


title: Probing intermediate scale Froggatt-Nielsen models at future gravitational wave observatories

abstract: The flavor symmetry-breaking scale in the Froggatt-Nielsen (FN) mechanism is very weakly constrained by present experiments, and can lie anywhere from a few TeV to the Planck scale. We construct two minimal, non-supersymmetric, ultraviolet (UV) complete models that generate the FN mechanism, with a global $U(1)_{\rm{FN}}$ flavor symmetry and a single flavon field. Using the one-loop finite temperature effective potential, we explore the possibility of a strong first order phase transition (SFOPT) induced by the flavon. We show that if the flavor symmetry-breaking occurs at intermediate scales $\sim 10^4-10^7$ GeV, then in certain regions of the parameter space, the associated stochastic gravitational wave (GW) background is strong enough to be detected by second generation GW observatories such as the Big Bang Observer (BBO), the Deci-hertz interferometer Gravitational Observatory (DECIGO), the Cosmic Explorer (CE) and the Einstein Telescope (ET). We identify viable regions of the parameter space for the best detection prospects. While both models of flavor can produce a detectable GW background, the GW signature cannot be used to discriminate between them.


title: Steps to Knowledge Graphs Quality Assessment

abstract: Knowledge Graphs (KGs) have been popularized during the last decade, for instance, they are used widely in the context of the web. In 2012 Google has presented the Google's Knowledge Graph that is used to improve their web search services. The web also hosts different KGs, such as DBpedia and Wikidata, which are used in various applications like personal assistants and question-answering systems. Various web applications rely on KGs to provide concise, complete, accurate, and fresh answer to users. However, what is the quality of those KGs? In which cases should a Knowledge Graph (KG) be used? How might they be evaluated? We reviewed the literature on quality assessment of data, information, linked data, and KGs. We extended the current state-of-the-art frameworks by adding various quality dimensions (QDs) and quality metrics (QMs) that are specific to KGs. Furthermore, we propose a general-purpose, customizable to a domain or task, and practical quality assessment framework for assessing the quality of KGs.


title: Anisotropy of the Optical Properties of Pentacene:Black Phosphorus Interfaces

abstract: Black phosphorus (BP) is a layered material with anisotropic properties. We study interfaces formed by a pentacene monolayer adsorbed on monolayer BP, a prototypical system for BP surface passivation. We place the pentacene monolayer along the zigzag and armchair directions of the BP substrate, respectively, to examine the anisotropy of the heterogeneous interfaces. We perform first-principles $GW$ plus Bethe-Salpeter equation ($GW$-BSE) calculations to determine the quasiparticle and optical properties. To quantitatively analyze the anisotropy of the optical properties, we develop a general computational scheme to decompose the interface excitons into different contributions. We find a distinct charge-transfer exciton formed when the monolayer pentacene is placed along the armchair direction, and discuss how the anisotropy of each component is modulated by the interface. Our results shine a light on the understanding of the BP surface passivation via molecular adsorption and provide a benchmark for future experimental and computational studies.


title: Note on the pinned distance problem over finite fields

abstract: Let F_q be a finite field with odd q elements. In this article, we prove that if E \subseteq \mathbb F_q^d, d\ge 2, and |E|\ge q, then there exists a set Y \subseteq \mathbb F_q^d with |Y|\sim q^d$ such that for all y\in Y, the number of distances between the point y and the set E is similar to the size of the finite field \mathbb F_q. As a corollary, we obtain that for each set E\subseteq \mathbb F_q^d with |E|\ge q, there exists a set Y\subseteq \mathbb F_q^d with |Y|\sim q^d so that any set E\cup \{y\} with y\in Y determines a positive proportion of all possible distances. An averaging argument and the pigeonhole principle play a crucial role in proving our results.


title: A characterization of finite groups by certain Galois conjugacy class of irreducible characters

abstract: We classify the finite groups $G$ which satisfies the condition that every complex irreducible character,whose degree's square doesn't divide the index of its kernel in $G$, lies in the same Galois conjugacy class.


title: Conformal interactions between matter and higher-spin (super)fields

abstract: In even spacetime dimensions, the interacting bosonic conformal higher-spin (CHS) theory can be realised as an induced action. The main ingredient in this definition is the model $\mathcal{S}[\varphi,h]$ describing a complex scalar field $\varphi$ coupled to an infinite set of background CHS fields $h$, with $\mathcal{S}[\varphi,h]$ possessing a non-abelian gauge symmetry. Two characteristic features of the perturbative constructions of $\mathcal{S}[\varphi , h]$ given in the literature are: (i) the background spacetime is flat; and (ii) conformal invariance is not manifest. In the present paper we provide a new derivation of this action in four dimensions such that (i) $\mathcal{S}[\varphi , h]$ is defined on an arbitrary conformally-flat background; and (ii) the background conformal symmetry is manifestly realised. Next, our results are extended to the $\mathcal{N}=1$ supersymmetric case. Specifically, we construct, for the first time, a model $\mathcal{S}[\Phi, H]$ for a conformal scalar/chiral multiplet $\Phi$ coupled to an infinite set of background higher-spin superfields $H$. Our action possesses a non-abelian gauge symmetry which naturally generalises the linearised gauge transformations of conformal half-integer superspin multiplets. The other fundamental features of this model are: (i) $\mathcal{S}[\Phi, H]$ is defined on an arbitrary conformally-flat superspace background; and (ii) the background $\mathcal{N}=1$ superconformal symmetry is manifest. Making use of $\mathcal{S}[\Phi, H]$, an interacting superconformal higher-spin theory can be defined as an induced action.


title: Restriction estimates for the flat disks over finite fields

abstract: In this paper we study the restriction estimate for the flat disk over finite fields. Mockenhaupt and Tao initially studied this problem but their results were addressed only for dimensions $n=4,6$. We improve and extend their results to all dimensions $n\geq 6$. More precisely, we obtain the sharp $L^2 \to L^r$ estimates, which cannot be proven by applying the usual Stein-Tomas argument over a finite field even with the optimal Fourier decay estimate on the flat disk. One of main ingredients is to discover and analyze an explicit form of the Fourier transform of the surface measure on the flat disk. In addition, based on the recent results on the restriction estimates for the paraboloids, we address improved restriction estimates for the flat disk beyond the $L^2$ restriction estimates.


title: Nonsolvable groups with three nonlinear irreducible character codegrees

abstract: For an irreducible character $\chi$ of a finite group $G$, the codegree of $\chi$ is defined as $|G:\ker(\chi)|/\chi(1)$. In this paper, we determine finite nonsolvable groups with exactly three nonlinear irreducible character codegrees, and they are $\mathrm{L}_2(2^f)$ for $f\ge 2$, $\mathrm{PGL}_2(q)$ for odd $q\ge 5$ or $\mathrm{M}_{10}$.


title: On the asymptotic assumptions for Milne-like spacetimes

abstract: Milne-like spacetimes are a class of hyperbolic FLRW spacetimes which admit continuous spacetime extensions through the big bang, $\tau = 0$. The existence of the extension follows from writing the metric in conformal Minkowskian coordinates and assuming that the scale factor satisfies $a(\tau) = \tau + o(\tau^{1+\varepsilon})$ as $\tau \to 0$ for some $\varepsilon > 0$. This asymptotic assumption implies $a(\tau) = \tau + o(\tau)$. In this paper, we show that $a(\tau) = \tau + o(\tau)$ is not sufficient to achieve an extension through $\tau = 0$, but it is necessary provided its derivative converges as $\tau \to 0$. We also show that the $\varepsilon$ in $a(\tau) = \tau + o(\tau^{1+\varepsilon})$ is not necessary to achieve an extension through $\tau = 0$.


title: Delaunay-Triangulation-Based Learning with Hessian Total-Variation Regularization

abstract: Regression is one of the core problems tackled in supervised learning. Rectified linear unit (ReLU) neural networks generate continuous and piecewise-linear (CPWL) mappings and are the state-of-the-art approach for solving regression problems. In this paper, we propose an alternative method that leverages the expressivity of CPWL functions. In contrast to deep neural networks, our CPWL parameterization guarantees stability and is interpretable. Our approach relies on the partitioning of the domain of the CPWL function by a Delaunay triangulation. The function values at the vertices of the triangulation are our learnable parameters and identify the CPWL function uniquely. Formulating the learning scheme as a variational problem, we use the Hessian total variation (HTV) as regularizer to favor CPWL functions with few affine pieces. In this way, we control the complexity of our model through a single hyperparameter. By developing a computational framework to compute the HTV of any CPWL function parameterized by a triangulation, we discretize the learning problem as the generalized least absolute shrinkage and selection operator (LASSO). Our experiments validate the usage of our method in low-dimensional scenarios.


title: The Localization Game on Directed Graphs

abstract: In the Localization game played on graphs, a set of cops uses distance probes to identify the location of an invisible robber. We present an extension of the game and its main parameter, the localization number, to directed graphs. We present several bounds on the localization number of a directed graphs, including a tight bound via strong components, a bound using a linear programming problem on hypergraphs, and bounds in terms of pathwidth and DAG-width. A family of digraphs of order $n$ is given with localization number $(1-o(1))n/2$. We investigate the localization number of random and quasi-random tournaments, and apply our results to doubly regular tournaments, which include Paley tournaments.


title: Polynomial kernel for immersion hitting in tournaments

abstract: For a fixed simple digraph $H$ without isolated vertices, we consider the problem of deleting arcs from a given tournament to get a digraph which does not contain $H$ as an immersion. We prove that for every $H$, this problem admits a polynomial kernel when parameterized by the number of deleted arcs. The degree of the bound on the kernel size depends on $H$.


title: Dynamics of the no-slip Galton board

abstract: The ideal Galton board and Lorentz gas billiard models have been studied numerically and analytically primarily in settings where friction and rotational velocity are neglected. We eliminate these simplifying assumptions and study the resulting dynamics of a more general model using no-slip collisions, in which particles rotate and may exchange linear and angular momentum at collisions while adhering to certain conservation laws. Using numerical experiments and phase portrait analysis we show that (in contrast to specular dispersing billiards) regularity persists when a small force is introduced while (consistent with specular billiards) under a stronger force new structure including invariant regions may arise. We also show analytically that with the introduction of an external force periodicity proliferates, with new types of periodic orbits not present in the no-force case.


title: Your ViT is Secretly a Hybrid Discriminative-Generative Diffusion Model

abstract: Diffusion Denoising Probability Models (DDPM) and Vision Transformer (ViT) have demonstrated significant progress in generative tasks and discriminative tasks, respectively, and thus far these models have largely been developed in their own domains. In this paper, we establish a direct connection between DDPM and ViT by integrating the ViT architecture into DDPM, and introduce a new generative model called Generative ViT (GenViT). The modeling flexibility of ViT enables us to further extend GenViT to hybrid discriminative-generative modeling, and introduce a Hybrid ViT (HybViT). Our work is among the first to explore a single ViT for image generation and classification jointly. We conduct a series of experiments to analyze the performance of proposed models and demonstrate their superiority over prior state-of-the-arts in both generative and discriminative tasks. Our code and pre-trained models can be found in https://github.com/sndnyang/Diffusion_ViT .


title: Dismantling Complex Networks by a Neural Model Trained from Tiny Networks

abstract: Can we employ one neural model to efficiently dismantle many complex yet unique networks? This article provides an affirmative answer. Diverse real-world systems can be abstracted as complex networks each consisting of many functional nodes and edges. Percolation theory has indicated that removing only a few vital nodes can cause the collapse of whole network. However, finding the least number of such vital nodes is a rather challenging task for large networks due to its NP-hardness. Previous studies have proposed many centrality measures and heuristic algorithms to tackle this network dismantling (ND) problem. Different from theirs, this article tries to approach the ND task by designing a neural model which can be trained from tiny synthetic networks but will be applied for various real-world networks. It seems a discouraging mission at first sight, as network sizes and topologies are quite different across distinct real-world networks. Nonetheless, this article initiates insightful efforts of designing and training a neural influence ranking model (NIRM). Experiments on fifteen real-world networks validate its effectiveness for its mostly requiring fewer vital nodes to dismantle a network, compared with the state-of-the-art competitors. The key to its success lies in that our NIRM can efficiently encode both local structural and global topological signals for ranking nodes, in addition to our innovative labelling method in training dataset construction.


title: Finite groups with some bounded codegrees

abstract: For a character $\chi$ of a finite group $G$, the number cod$(\chi):=|G:\mathrm{ker}(\chi)|/\chi(1)$ is called the codegree of $\chi$.In this paper, we give a solvability criterion for a finite group $G$ depending on the minimum of the ratio $\chi(1)^2 /\mathrm{cod}(\chi )$, when $\chi $ varies among the irreducible characters of $G$.


title: Exploring the boundary of quantum correlations with a time-domain optical processor

abstract: Contextuality is a hallmark feature of the quantum theory that captures its incompatibility with any noncontextual hidden-variable model. The Greenberger--Horne--Zeilinger (GHZ)-type paradoxes are proofs of contextuality that reveal this incompatibility with deterministic logical arguments. However, the simplest GHZ-type paradox with the fewest number of complete contexts and the largest amount of nonclassicality remains elusive. Here, we derive a GHZ-type paradox utilizing only three complete contexts and show this number saturates the lower bound posed by quantum theory. We demonstrate the paradox with a time-domain fiber optical platform and recover all essential ingredients in a 37-dimensional contextuality test based on high-speed modulation, convolution, and homodyne detection of time-multiplexed pulsed coherent light. By proposing and observing a strong form of contextuality in high Hilbert-space dimensions, our results pave the way for the exploration of exotic quantum correlations with time-multiplexed optical systems.


title: The potential of microcalorimeter x-ray spectrometers for measurement of relative fluorescence-line intensities

abstract: We have previously used an array of cryogenic microcalorimeters with 4 eV energy resolution to measure emission-line profiles and energies of the characteristic L-shell x rays of four elements of the lanthanide series: praseodymium, neodymium, terbium, and holmium. We consider the power of the same data set for the estimation of the lines' relative intensities. Intensities must be corrected for detector efficiency and self-absorption, and we estimate uncertainties on the corrections. These data represent one of the first uses of cryogenic energy-dispersive sensors to estimate the relative intensities of x-ray fluorescence lines. They show that a future measurement of thin-film samples with microcalorimeter detectors could achieve systematic uncertainties below 1% on relative line intensities over a broad energy range.


title: The physical and chemical structure of Sagittarius B2 -- VI. UCHII regions in Sgr B2

abstract: The giant molecular cloud Sagittarius B2 (hereafter SgrB2) is the most massive region with ongoing high-mass star formation in the Galaxy. Two ultra-compact HII (UCHII) regions were identified in SgrB2's central hot cores, SgrB2(M) and SgrB2(N). Our aim is to characterize the properties of the HII regions in the entire SgrB2 cloud. Comparing the HII regions and the dust cores, we aim to depict the evolutionary stages of different parts of SgrB2. We use the Very Large Array in its A, CnB, and D configurations, and in the frequency band C (~6 GHz) to observe the whole SgrB2 complex. Using ancillary VLA data at 22.4 GHz and ALMA data at 96 GHz, we calculated the physical parameters of the UCHII regions and their dense gas environment. We identify 54 UCHII regions in the 6 GHz image, 39 of which are also detected at 22.4 GHz. Eight of the 54 UCHII regions are newly discovered. The UCHII regions have radii between $0.006 {\rm pc}$ and $0.04 {\rm pc}$, and have emission measure between $10^{6} {\rm pc\,cm^{-6}}$ and $10^{9} {\rm pc\,cm^{-6}}$. The UCHII regions are ionized by stars of types from B0.5 to O6. We found a typical gas density of $\sim10^6-10^9 {\rm cm^{-3}}$ around the UCHII regions. The pressure of the UCHII regions and the dense gas surrounding them are comparable. The expansion timescale of these UCHII regions is determined to be $\sim10^4-10^5 {\rm yr}$. The percentage of the dust cores that are associated with HII regions are 33%, 73%, 4%, and 1% for SgrB2(N), SgrB2(M), SgrB2(S), and SgrB2(DS), respectively. Two-thirds of the dust cores in SgrB2(DS) are associated with outflows. The electron densities of the UCHII regions we identified are in agreement with that of typical UCHII regions, while the radii are smaller than those of the typical UCHII regions. The dust cores in SgrB2(N) are more evolved than in SgrB2(DS) but younger than in SgrB2(M).


title: On the Convergence of Inexact Gradient Descent with Controlled Synchronization Steps

abstract: We develop a gradient-like algorithm to minimize a sum of peer objective functions based on coordination through a peer interconnection network. The coordination admits two stages: the first is to constitute a gradient, possibly with errors, for updating locally replicated decision variables at each peer and the second is used for error-free averaging for synchronizing local replicas. Unlike many related algorithms, the errors permitted in our algorithm can cover a wide range of inexactnesses, as long as they are bounded. Moreover, we do not impose any gradient boundedness conditions for the objective functions. Furthermore, the second stage is not conducted in a periodic manner, like many related algorithms. Instead, a locally verifiable criterion is devised to dynamically trigger the peer-to-peer coordination at the second stage, so that expensive communication overhead for error-free averaging can significantly be reduced. Finally, the convergence of the algorithm is established under mild conditions.


title: Counterfactual Supervision-based Information Bottleneck for Out-of-Distribution Generalization

abstract: Learning invariant (causal) features for out-of-distribution (OOD) generalization has attracted extensive attention recently, and among the proposals invariant risk minimization (IRM) is a notable solution. In spite of its theoretical promise for linear regression, the challenges of using IRM in linear classification problems remain. By introducing the information bottleneck (IB) principle into the learning of IRM, IB-IRM approach has demonstrated its power to solve these challenges. In this paper, we further improve IB-IRM from two aspects. First, we show that the key assumption of support overlap of invariant features used in IB-IRM is strong for the guarantee of OOD generalization and it is still possible to achieve the optimal solution without this assumption. Second, we illustrate two failure modes that IB-IRM (and IRM) could fail for learning the invariant features, and to address such failures, we propose a \textit{Counterfactual Supervision-based Information Bottleneck (CSIB)} learning algorithm that provably recovers the invariant features. By requiring counterfactual inference, CSIB works even when accessing data from a single environment. Empirical experiments on several datasets verify our theoretical results.


title: Deep-subwavelength resonant metaphotonics enabled by high-index topological insulator bismuth telluride

abstract: In nanophotonics, small mode volumes, high-quality factor (Q) resonances, and large field enhancements without metals, fundamentally scale with the refractive index and are key for many implementations involving light-matter interactions. Topological insulators (TI) are a class of insulating materials that host topologically protected surface states, some of which exhibit extraordinary high permittivity values. Here, we study the optical properties of TI bismuth telluride (Bi2Te3) single crystals. We find that both the bulk and surface states contribute to the extremely large optical constants, with the real part of the refractive index peaking at n~11. Utilizing these ultra-high index values, we demonstrate that Bi2Te3 metasurfaces are capable of squeezing light in deep subwavelength structures, with the fundamental magnetic dipole (MD) resonance confined in unit cell size smaller than {\lambda}/10. We further show that dense ultrathin metasurface arrays can simultaneously provide large magnetic and electric field enhancements arising from the surface metallic states and the high index of the bulk. These findings demonstrate the potential of chalcogenide TI materials as a platform leveraging the unique combination of ultra-high-index dielectric response with surface metallic states for metamaterial design and nanophotonic applications in sensing, non-linear generation, and quantum information.


title: New Parallel Order Maintenance Data Structure

abstract: The \emph{Order-Maintenance} (OM) data structure maintains a total order list of items for insertions, deletions, and comparisons. As a basic data structure, OM has many applications, such as maintaining the topological order, core numbers, and truss in graphs, and maintaining ordered sets in Unified Modeling Language (UML) Specification. The prevalence of multicore machines suggests parallelizing such a basic data structure. This paper proposes a new parallel OM data structure that supports insertions, deletions, and comparisons in parallel. Specifically, parallel insertions and deletions are synchronized by using locks efficiently, which achieve up to $7$x and $5.6$x speedups with $64$ workers. One big advantage is that the comparisons are lock-free so that they can execute highly in parallel with other insertions and deletions, which achieve up to $34.4$x speedups with $64$ workers. Typical real applications maintain order lists that always have a much larger portion of comparisons than insertions and deletions. For example, in core maintenance, the number of comparisons is up to 297 times larger compared with insertions and deletions in certain graphs. This is why the lock-free order comparison is a breakthrough in practice.


title: Designing an Artificial Immune System inspired Intrusion Detection System

abstract: The Human Immune System (HIS) works to protect a body from infection, illness, and disease. This system can inspire cybersecurity professionals to design an Artificial Immune System (AIS) based Intrusion Detection System (IDS). These biologically inspired algorithms using Self/Nonself and Danger Theory can directly augmentIDS designs and implementations. In this paper, we include an examination into the elements of design necessary for building an AIS-IDS framework and present an architecture to create such systems.


title: Axion-plasmon-polariton hybridization in a graphene periodic structure

abstract: This study investigated the hybridization between an axion and plasmon polariton, attributed to the coupling achieved by combining modified electrodynamics and hydrodynamic approaches on a plasmon-polariton in a graphene periodic structure. The enhancement of the effective coupling was also studied. Furthermore, corrections for the axion and the lowest plasmon -polariton hybridization state spectra have been presented. An observable was proposed to detect axions, which is significant even when the effective coupling is not large, especially as the axion mass decreases. The study shows that the resulting structure provides a sensitive and wide-mass-spectrum platform for detecting axions at the sub-meV scale.


title: Embeddings among quantum affine $\mathfrak{sl}_n$

abstract: We establish an explicit embedding of a quantum affine $\mathfrak{sl}_n$ into a quantum affine $\mathfrak{sl}_{n+1}$. This embedding serves as a common generalization of two natural, but seemingly unrelated, embeddings, one on the quantum affine Schur algebra level and the other on the non-quantum level. The embedding on the quantum affine Schur algebras is used extensively in the analysis of canonical bases of quantum affine $\mathfrak{sl}_n$ and $\mathfrak{gl}_n$. The embedding on the non-quantum level is used crucially in a work of Riche and Williamson on the study of modular representation theory of general linear groups over a finite field. The same embedding is also used in a work of Maksimau on the categorical representations of affine general linear algebras. We further provide a more natural compatibility statement of the embedding on the idempotent version with that on the quantum affine Schur algebra level. A $\mathfrak{gl}_n$-variant of the embedding is also established.


title: Analysing Factors Affecting the Adoption of Ride-Hailing Services (RHS) in India? A Step-Wise LCCA-MCDM Modeling Approach

abstract: The study examines heterogeneity in travel behaviour among ride-hailing services (RHS) users by including attitudes, in order to reinforce conventional user-segmentation approaches. Simultaneously, prioritization of ride-hailing specific attributes was carried out to assess how RHS will operate in a sustainable way.


title: SIERRA: A Modular Framework for Research Automation and Reproducibility

abstract: Modern intelligent systems researchers form hypotheses about system behavior and then run experiments using one or more independent variables to test their hypotheses. We present SIERRA, a novel framework structured around that idea for accelerating research development and improving reproducibility of results. SIERRA accelerates research by automating the process of generating executable experiments from queries over independent variables(s), executing experiments, and processing the results to generate deliverables such as graphs and videos. It shifts the paradigm for testing hypotheses from procedural ("Do these steps to answer the query") to declarative ("Here is the query to test--GO!"), reducing the burden on researchers. It employs a modular architecture enabling easy customization and extension for the needs of individual researchers, thereby eliminating manual configuration and processing via throw-away scripts. SIERRA improves reproducibility of research by providing automation independent of the execution environment (HPC hardware, real robots, etc.) and targeted platform (arbitrary simulator or real robots). This enables exact experiment replication, up to the limit of the execution environment and platform, as well as making it easy for researchers to test hypotheses in different computational environments.


title: Distributional Fractional Gradients and a Bourgain-Brezis-type Estimate

abstract: In this paper, we extend the definition of fractional gradients found in Mazowiecka-Schikorra to tempered distributions on $\R^n$, introduce associated regularisation procedures and establish some first regularity results for distributional fractional gradients in $L^{1}_{od}$. The key feature is the introduction of a suitable space of off-diagonal Schwarz functions $\mathcal{S}_{od}(\R^{2n})$, allowing for a dual definition of the fractional gradient on an appropriate space of distributions $\mathcal{S}^{\prime}_{od}(\R^{2n})$ by means of fractional divergences defined on $\mathcal{S}_{od}(\R^{2n})$. In the course of the paper, we make a first attempt to define Sobolev spaces with negative exponents in this framework and derive a result reminiscent of Bourgain-Brezis and Da Lio-Rivi\`ere-Wettstein in the form of a fractional Bourgain-Brezis inequality for this kind of gradient.


title: A User-Centered Investigation of Personal Music Tours

abstract: Streaming services use recommender systems to surface the right music to users. Playlists are a popular way to present music in a list-like fashion, ie as a plain list of songs. An alternative are tours, where the songs alternate segues, which explain the connections between consecutive songs. Tours address the user need of seeking background information about songs, and are found to be superior to playlists, given the right user context. In this work, we provide, for the first time, a user-centered evaluation of two tour-generation algorithms (Greedy and Optimal) using semi-structured interviews. We assess the algorithms, we discuss attributes of the tours that the algorithms produce, we identify which attributes are desirable and which are not, and we enumerate several possible improvements to the algorithms, along with practical suggestions on how to implement the improvements. Our main findings are that Greedy generates more likeable tours than Optimal, and that three important attributes of tours are segue diversity, song arrangement and song familiarity. More generally, we provide insights into how to present music to users, which could inform the design of user-centered recommender systems.


title: Stratifying systems and Jordan-H\"{o}lder extriangulated categories

abstract: Stratifying systems, which have been defined for module, triangulated and exact categories previously, were developed to produce examples of standardly stratified algebras. A stratifying system $\Phi$ is a finite set of objects satisfying some orthogonality conditions. One very interesting property is that the subcategory $\mathcal{F}(\Phi)$ of objects admitting a composition series-like filtration with factors in $\Phi$ has the Jordan-H{\"{o}}lder property on these filtrations. This article has two main aims. First, we introduce notions of subobjects, simple objects and composition series for an extriangulated category, in order to define a Jordan-H{\"{o}}lder extriangulated category. Moreover, we characterise Jordan-H{\"{o}}lder, length, weakly idempotent complete extriangulated categories in terms of the associated Grothendieck monoid and Grothendieck group. Second, we develop a theory of stratifying systems in extriangulated categories. We define projective stratifying systems and show that every stratifying system $\Phi$ in an extriangulated category is part of a minimal projective one $(\Phi,Q)$. We prove that $\mathcal{F}(\Phi)$ is a Jordan-H{\"{o}}lder extriangulated category when $(\Phi,Q)$ satisfies a left exactness condition.


title: Lifts of supersingular abelian varieties with small Mumford-Tate groups

abstract: We investigate to what extent an abelian variety over a finite field can be lifted to one in characteristic zero with small Mumford-Tate group. We prove that supersingular abelian surfaces, respectively threefolds, can be lifted to ones isogenous to a square, respectively product, of elliptic curves. On the other hand, we show that supersingular abelian threefolds cannot be lifted to one isogenous to the cube of an elliptic curve over the Witt vectors.