title: Bounds for the collapsibility number of a simplicial complex and non-cover complexes of hypergraphs

abstract: The collapsibility number of simplicial complexes was introduced by Wegner in order to understand the intersection patterns of convex sets. This number also plays an important role in a variety of Helly type results. We show that the non-cover complex of a hypergraph $\mathcal{H}$ is $|V(\mathcal{H)}|- \gamma_i(\mathcal{H})-1$-collapsible, where $\gamma_i(\mathcal{H})$ is the generalization of independence domination number of a graph to hypergraph. This extends the result of Choi, Kim and Park from graphs to hypergraphs. Moreover, the upper bound in terms of strong independence domination number given by Kim and Kim for the Leray number of the non-cover complex of a hypergraph can be obtained as a special case of our result. In general, there can be a large gap between the collapsibility number of a complex and its well-known upper bounds. In this article, we construct a sequence of upper bounds $\mathcal{M}_k(X)$ for the collapsibility number of a simplicial complex $X$, which lie in this gap. We also show that the bound given by $\mathcal{M}_k$ is tight if the underlying complex is $k$-vertex decomposable.


title: Semantic-aware Texture-Structure Feature Collaboration for Underwater Image Enhancement

abstract: Underwater image enhancement has become an attractive topic as a significant technology in marine engineering and aquatic robotics. However, the limited number of datasets and imperfect hand-crafted ground truth weaken its robustness to unseen scenarios, and hamper the application to high-level vision tasks. To address the above limitations, we develop an efficient and compact enhancement network in collaboration with a high-level semantic-aware pretrained model, aiming to exploit its hierarchical feature representation as an auxiliary for the low-level underwater image enhancement. Specifically, we tend to characterize the shallow layer features as textures while the deep layer features as structures in the semantic-aware model, and propose a multi-path Contextual Feature Refinement Module (CFRM) to refine features in multiple scales and model the correlation between different features. In addition, a feature dominative network is devised to perform channel-wise modulation on the aggregated texture and structure features for the adaptation to different feature patterns of the enhancement network. Extensive experiments on benchmarks demonstrate that the proposed algorithm achieves more appealing results and outperforms state-of-the-art methods by large margins. We also apply the proposed algorithm to the underwater salient object detection task to reveal the favorable semantic-aware ability for high-level vision tasks. The code is available at STSC.


title: Class-Specific Attention (CSA) for Time-Series Classification

abstract: Most neural network-based classifiers extract features using several hidden layers and make predictions at the output layer by utilizing these extracted features. We observe that not all features are equally pronounced in all classes; we call such features class-specific features. Existing models do not fully utilize the class-specific differences in features as they feed all extracted features from the hidden layers equally to the output layers. Recent attention mechanisms allow giving different emphasis (or attention) to different features, but these attention models are themselves class-agnostic. In this paper, we propose a novel class-specific attention (CSA) module to capture significant class-specific features and improve the overall classification performance of time series. The CSA module is designed in a way such that it can be adopted in existing neural network (NN) based models to conduct time series classification. In the experiments, this module is plugged into five start-of-the-art neural network models for time series classification to test its effectiveness by using 40 different real datasets. Extensive experiments show that an NN model embedded with the CSA module can improve the base model in most cases and the accuracy improvement can be up to 42%. Our statistical analysis show that the performance of an NN model embedding the CSA module is better than the base NN model on 67% of MTS and 80% of UTS test cases and is significantly better on 11% of MTS and 13% of UTS test cases.


title: On the slow roll expansion of one-field cosmological models

abstract: We study the infrared scale expansion of single field cosmological models using the Hamilton-Jacobi formalism, showing that its specialization at unit scale parameter recovers the slow roll expansion. In particular, we show that the latter coincides with a Laurent expansion of the Hamilton-Jacobi function in powers of the Planck mass, whose terms are controlled by certain recursively-defined polynomials. This allows us to give an explicit recursion procedure for constructing all higher order terms of the slow roll expansion. We also discuss the corresponding effective potential and the action of the universal similarity group.


title: Optical IRS Aided B5G V2V Solution for Road Safety Applications

abstract: In this work, we showcase the potential benefit of employing optical intelligent reflecting surfaces (O-IRS) for improving safety message dissemination for vehicular visible light communication (V-VLC) systems particularly at the road intersections. Buildings, roadside structures, signboards, and other impediments commonly hinder line-of-sight (LoS) communication between vehicles at urban crossroads scenarios. We propose using O-IRS at road intersection to improve the communication link's reliability. We compare the performance of proposed scheme with baseline scenarios such as optical relay and non line-of-sight (NLOS) road reflection (NRR) aided vehicle-to-vehicle (V2V) communication. From obtained results, it has been shown that O-IRS offers considerable performance enhancement as compared to the baseline scenarios. In particular, O-IRS can achieve longer communication range as compared to the optical relay aided V-VLC systems while ensuring desired quality-of-service (QoS).


title: Thermodynamics of Horndeski Black Holes with Generalized Uncertainty Principle

abstract: Horndeski theory is the most general scalar-tensor extension of General Relativity with second order field equations. It may be interesting to study the effects of the Generalized Uncertainty Principle on a static and asymptotically flat shift symmetric solutions of the Horndeski black holes. With this motivation, here we obtain the modified black hole temperatures in shift symmetric Horndeski gravity by employing the Generalized Uncertainty Principle. Using the corrected temperature, the entropy and heat capacity are calculated with details. We also investigate the tunneling probability of particles from Horndeski black holes horizon and possible correlations between the emitted modes (particles).


title: Decidability of fully quantum nonlocal games with noisy maximally entangled states

abstract: This paper considers the decidability of fully quantum nonlocal games with noisy maximally entangled states. Fully quantum nonlocal games are a generalization of nonlocal games, where both questions and answers are quantum and the referee performs a binary POVM measurement to decide whether they win the game after receiving the quantum answers from the players. The quantum value of a fully quantum nonlocal game is the supremum of the probability that they win the game, where the supremum is taken over all the possible entangled states shared between the players and all the valid quantum operations performed by the players. The seminal work $\mathrm{MIP}^*=\mathrm{RE}$ implies that it is undecidable to approximate the quantum value of a fully nonlocal game. This still holds even if the players are only allowed to share (arbitrarily many copies of) maximally entangled states. This paper investigates the case that the shared maximally entangled states are noisy. We prove that there is a computable upper bound on the copies of noisy maximally entangled states for the players to win a fully quantum nonlocal game with a probability arbitrarily close to the quantum value. This implies that it is decidable to approximate the quantum values of these games. Hence, the hardness of approximating the quantum value of a fully quantum nonlocal game is not robust against the noise in the shared states. This paper is built on the framework for the decidability of non-interactive simulations of joint distributions and generalizes the analogous result for nonlocal games. We extend the theory of Fourier analysis to the space of super-operators and prove several key results including an invariance principle and a dimension reduction for super-operators. These results are interesting in their own right and are believed to have further applications.


title: Nonlocal metric dimension of graphs

abstract: Nonlocal metric dimension ${\rm dim}_{\rm n\ell}(G)$ of a graph $G$ is introduced as the cardinality of a smallest nonlocal resolving set, that is, a set of vertices which resolves each pair of non-adjacent vertices of $G$. Graphs $G$ with ${\rm dim}_{\rm n\ell}(G) = 1$ or with ${\rm dim}_{\rm n\ell}(G) = n(G)-2$ are characterized. The nonlocal metric dimension is determined for block graphs, for corona products, and for wheels. Two upper bounds on the nonlocal metric dimension are proved. An embedding of an arbitrary graph into a supergraph with a small nonlocal metric dimension and small diameter is presented.


title: Exploring the Confounding Factors of Academic Career Success: An Empirical Study with Deep Predictive Modeling

abstract: Understanding determinants of success in academic careers is critically important to both scholars and their employing organizations. While considerable research efforts have been made in this direction, there is still a lack of a quantitative approach to modeling the academic careers of scholars due to the massive confounding factors. To this end, in this paper, we propose to explore the determinants of academic career success through an empirical and predictive modeling perspective, with a focus on two typical academic honors, i.e., IEEE Fellow and ACM Fellow. We analyze the importance of different factors quantitatively, and obtain some insightful findings. Specifically, we analyze the co-author network and find that potential scholars work closely with influential scholars early on and more closely as they grow. Then we compare the academic performance of male and female Fellows. After comparison, we find that to be elected, females need to put in more effort than males. In addition, we also find that being a Fellow could not bring the improvements of citations and productivity growth. We hope these derived factors and findings can help scholars to improve their competitiveness and develop well in their academic careers.


title: Effect of the $\sigma$-cut potential on the properties of neutron stars with or without a hyperonic core

abstract: Motivated by the recent observation of high-mass pulsars ($M \simeq 2 M_{\odot}$), we employ the $\sigma$-cut potential on the equation of state (EOS) of high-density matter and the properties of neutron stars within the relativistic mean-field (RMF) model using TM1$^{*}$ parameter set. The $\sigma$-cut potential is known to reduce the contributions of the $\sigma$ field, resulting in a stiffer EOS at high densities and hence leading to larger neutron star masses without affecting the properties of nuclear matter at normal saturation density. We also analyzed the effect of the same on pure neutron matter and also on the neutron star matter with and without hyperonic core and compared it with the available theoretical, experimental, and observational data. The corresponding tidal deformability ($\Lambda_{1.4}$) is also calculated. With the choice of meson-hyperon coupling fixed to hypernuclear potentials, we obtain $\approx 10~\%$ increase in mass by employing the $\sigma$-cut potential for $f_{s} = 0.6$. Our results are in good agreement with various experimental constraints and observational data, particularly with the GW170817 data.


title: Probing the gravitational wave background from cosmic strings with Alternative LISA-TAIJI network

abstract: As one of the detection targets of all gravitational wave detectors at present, stochastic gravitational wave background (SGWB) provides us an important way to understand the evolution of our universe. In this paper, we explore the feasibility of detecting the SGWB generated by the loops, which arose throughout the cosmological evolution of the cosmic string network, by individual space detectors (e.g.~LISA, TAIJI) and joint space detectors (LISA-TAIJI). For joint detectors, we choose three different configurations of TAIJI (e.g.~TAIJIm, TAIJIp, TAIJIc) to form the LISA-TAIJI networks. And we investigate the performance of them to detect the SGWB. Though comparing the power-law sensitivity (PLS) curves of individual space detectors and joint detectors with energy density spectrum of SGWB. We find that LISA-TAIJIc has the best sensitivity for detecting the SGWB from cosmic string loops and is promising to further constrains the tension of cosmic sting $G\mu=O(10^{-17})$.


title: Fully implicit frictional dynamics with soft constraints

abstract: Dynamics simulation with frictional contacts is important for a wide range of applications, from cloth simulation to object manipulation. Recent methods using smoothed friction forces have enabled robust and differentiable simulation of elastodynamics with friction. However, the resulting frictional behaviors can be qualitatively inaccurate and may not converge to analytic solutions. Here we propose an alternative, fully implicit, formulation for simulating elastodynamics subject to frictional contacts with realistic friction behavior. Furthermore, we demonstrate how higher-order time integration can be used in our method, as well as in incremental potential methods. We develop an inexact Newton method with forward-mode automatic differentiation that simplifies the implementation and improves performance. Finally, we show how our method can be extended to respond to volume changes using a unified penalty function derived from first principles and capable of emulating compressible as well as nearly incompressible media.


title: Steps in Anderson-Badawis Conjecture on n-Absorbing and Strongly n-Absorbing Ideals

abstract: This article aims to solve positively Anderson-Badawi Conjecture of n-Absorbing and strongly n-absorbing ideals of commutative rings in the class of u-rings. The main result extends and recovers Anderson-Badawis related result on Prufer domains


title: Enhancing Sensitivity to Leptonic CP Violation using Complementarity among DUNE, T2HK, and T2HKK

abstract: After the landmark discovery of non-zero $\theta_{13}$ by the modern reactor experiments, unprecedented precision on neutrino mass-mixing parameters has been achieved over the past decade. This has set the stage for the discovery of leptonic CP violation (LCPV) at high confidence level in the next-generation long-baseline neutrino oscillation experiments. In this work, we explore in detail the possible complementarity among the on-axis DUNE and off-axis T2HK experiments to enhance the sensitivity to LCPV suppressing the $\theta_{23}-\delta_{\mathrm{CP}}$ degeneracy. We find that none of these experiments individually can achieve the milestone of 3$\sigma$ LCPV for at least 75% choices of $\delta_{\mathrm{CP}}$ in its entire range of $[-180^{\circ} , 180^{\circ}]$, with their nominal exposures and systematic uncertainties. However, their combination can attain the same for all values of $\theta_{23}$ with only half of their nominal exposures. We observe that the proposed T2HKK setup in combination with DUNE can further increase the CP coverage to more than 80% with only half of their nominal exposures. We study in detail how the coverage in $\delta_{\mathrm{CP}}$ for $\ge$ 3$\sigma$ LCPV depends on the choice of $\theta_{23}$, exposure, optimal runtime in neutrino and antineutrino modes, and systematic uncertainties in these experiments in isolation and combination. We find that with an improved systematic uncertainty of 2.7% in appearance mode, the standalone T2HK setup can provide a CP coverage of around 75% for all values of $\theta_{23}$. We also discuss the pivotal role of intrinsic, extrinsic, and total CP asymmetries in the appearance channel and extrinsic CP asymmetries in the disappearance channel while analyzing our results.


title: On the mean average of integer partition as the sum of powers

abstract: This paper is concerned with the function $r_{k,s}(n)$, the number of (ordered) representations of $n$ as the sum of $s$ positive $k$-th powers, where integers $k,s\ge 2$. We examine the mean average of the function, or equivalently, \begin{equation*} \sum_{m=1}^n r_{k,s}(m). \end{equation*}


title: Rethinking Batch Sample Relationships for Data Representation: A Batch-Graph Transformer based Approach

abstract: Exploring sample relationships within each mini-batch has shown great potential for learning image representations. Existing works generally adopt the regular Transformer to model the visual content relationships, ignoring the cues of semantic/label correlations between samples. Also, they generally adopt the "full" self-attention mechanism which are obviously redundant and also sensitive to the noisy samples. To overcome these issues, in this paper, we design a simple yet flexible Batch-Graph Transformer (BGFormer) for mini-batch sample representations by deeply capturing the relationships of image samples from both visual and semantic perspectives. BGFormer has three main aspects. (1) It employs a flexible graph model, termed Batch Graph to jointly encode the visual and semantic relationships of samples within each mini-batch. (2) It explores the neighborhood relationships of samples by borrowing the idea of sparse graph representation which thus performs robustly, w.r.t., noisy samples. (3) It devises a novel Transformer architecture that mainly adopts dual structure-constrained self-attention (SSA), together with graph normalization, FFN, etc, to carefully exploit the batch graph information for sample tokens (nodes) representations. As an application, we apply BGFormer to the metric learning tasks. Extensive experiments on four popular datasets demonstrate the effectiveness of the proposed model.


title: Do Pre-trained Language Models Indeed Understand Software Engineering Tasks?

abstract: Artificial intelligence (AI) for software engineering (SE) tasks has recently achieved promising performance. In this paper, we investigate to what extent the pre-trained language model truly understands those SE tasks such as code search, code summarization, etc. We conduct a comprehensive empirical study on a board set of AI for SE (AI4SE) tasks by feeding them with variant inputs: 1) with various masking rates and 2) with sufficient input subset method. Then, the trained models are evaluated on different SE tasks, including code search, code summarization, and duplicate bug report detection. Our experimental results show that pre-trained language models are insensitive to the given input, thus they achieve similar performance in these three SE tasks. We refer to this phenomenon as overinterpretation, where a model confidently makes a decision without salient features, or where a model finds some irrelevant relationships between the final decision and the dataset. Our study investigates two approaches to mitigate the overinterpretation phenomenon: whole word mask strategy and ensembling. To the best of our knowledge, we are the first to reveal this overinterpretation phenomenon to the AI4SE community, which is an important reminder for researchers to design the input for the models and calls for necessary future work in understanding and implementing AI4SE tasks.


title: A Unified Model for Video Understanding and Knowledge Embedding with Heterogeneous Knowledge Graph Dataset

abstract: Video understanding is an important task in short video business platforms and it has a wide application in video recommendation and classification. Most of the existing video understanding works only focus on the information that appeared within the video content, including the video frames, audio and text. However, introducing common sense knowledge from the external Knowledge Graph (KG) dataset is essential for video understanding when referring to the content which is less relevant to the video. Owing to the lack of video knowledge graph dataset, the work which integrates video understanding and KG is rare. In this paper, we propose a heterogeneous dataset that contains the multi-modal video entity and fruitful common sense relations. This dataset also provides multiple novel video inference tasks like the Video-Relation-Tag (VRT) and Video-Relation-Video (VRV) tasks. Furthermore, based on this dataset, we propose an end-to-end model that jointly optimizes the video understanding objective with knowledge graph embedding, which can not only better inject factual knowledge into video understanding but also generate effective multi-modal entity embedding for KG. Comprehensive experiments indicate that combining video understanding embedding with factual knowledge benefits the content-based video retrieval performance. Moreover, it also helps the model generate better knowledge graph embedding which outperforms traditional KGE-based methods on VRT and VRV tasks with at least 42.36% and 17.73% improvement in HITS@10.


title: Multisymplectic Formalism for Cubic Horndeski Theories

abstract: We present the covariant multisymplectic formalism for the so-called cubic Horndeski theories and discuss the geometrical and physical interpretation of the constraints that arise in the unified Lagrangian-Hamiltonian approach. We analyse in more detail the covariant Hamiltonian formalism of these theories and we show that there are particular conditions that must be satisfied for the Poincar\'e-Cartan form of the Lagrangian to project onto $J^1\pi$. From this result, we study when a formulation using only multimomenta is possible. We further discuss the implications of the general case, in which the projection onto $J^1\pi$ conditions are not met.


title: The $d^{*}$-space

abstract: In this paper, we introduce the concept of $d^{\ast}$-spaces. We find that strong $d$-spaces are $d^{\ast}$-spaces, but the converse does not hold. We give a characterization for a topological space to be a $d^{\ast}$-space. We prove that the retract of a $d^{\ast}$-space is a $d^{\ast}$-space. We obtain the result that for any $T_{0}$ space $X$ and $Y$, if the function space $TOP(X,Y)$ endowed with the Isbell topology is a $d^{\ast}$-space, then $Y$ is a $d^{\ast}$-space. We also show that for any $T_{0}$ space $X$, if the Smyth power space $Q_{v}(X)$ is a $d^{\ast}$-space, then $X$ is a $d^{\ast}$-space. Meanwhile, we give a counterexample to illustrate that conversely, for a $d^{\ast}$-space $X$, the Smyth power space $Q_{v}(X)$ may not be a $d^{\ast}$-space.


title: EGRC-Net: Embedding-induced Graph Refinement Clustering Network

abstract: Existing graph clustering networks heavily rely on a predefined yet fixed graph, which can lead to failures when the initial graph fails to accurately capture the data topology structure of the embedding space. In order to address this issue, we propose a novel clustering network called Embedding-Induced Graph Refinement Clustering Network (EGRC-Net), which effectively utilizes the learned embedding to adaptively refine the initial graph and enhance the clustering performance. To begin, we leverage both semantic and topological information by employing a vanilla auto-encoder and a graph convolution network, respectively, to learn a latent feature representation. Subsequently, we utilize the local geometric structure within the feature embedding space to construct an adjacency matrix for the graph. This adjacency matrix is dynamically fused with the initial one using our proposed fusion architecture. To train the network in an unsupervised manner, we minimize the Jeffreys divergence between multiple derived distributions. Additionally, we introduce an improved approximate personalized propagation of neural predictions to replace the standard graph convolution network, enabling EGRC-Net to scale effectively. Through extensive experiments conducted on nine widely-used benchmark datasets, we demonstrate that our proposed methods consistently outperform several state-of-the-art approaches. Notably, EGRC-Net achieves an improvement of more than 11.99\% in Adjusted Rand Index (ARI) over the best baseline on the DBLP dataset. Furthermore, our scalable approach exhibits a 10.73% gain in ARI while reducing memory usage by 33.73% and decreasing running time by 19.71%. The code for EGRC-Net will be made publicly available at \url{https://github.com/ZhihaoPENG-CityU/EGRC-Net}.


title: An Accurate Hybrid Delay Model for Multi-Input Gates

abstract: In order to facilitate the analysis of timing relations between individual transitions in a signal trace, dynamic digital timing analysis offers a less accurate but much faster alternative to analog simulations of digital circuits. This primarily requires gate delay models that also account for the fact that the input-to-output delay of a particular input transition also depends on the temporal distance to the previous output transitions. In the case of multi-input gates, the delay also experiences variations caused by multi-input switching (MIS) effects, i.e., transitions at different inputs that occur in close temporal proximity. In this paper, we advocate the development of hybrid delay models for CMOS gates obtained by replacing transistors with time-variant resistors. We exemplify our approach by applying it to a NOR gate (and, hence, to the dual NAND gate) and a Muller C gate. We analytically solve the resulting first-order differential equations with non-constant-coefficients, and derive analytic expressions for the resulting MIS gate delays. The resulting formulas not only pave the way to a sound model parametrization procedure, but are also instrumental for implementing fast and efficient digital timing simulation. By comparison with analog simulation data, we show that our models faithfully represent all relevant MIS effects. Using an implementation in the Involution Tool, we demonstrate that our model surpasses the alternative digital delay models for NOR gates known to us in terms of accuracy, with comparably short running times.


title: Unifying Label-inputted Graph Neural Networks with Deep Equilibrium Models

abstract: The success of Graph Neural Networks (GNN) in learning on non-Euclidean data arouses many subtopics, such as Label-inputted GNN (LGNN) and Implicit GNN (IGNN). LGNN, explicitly inputting supervising information (a.k.a. labels) in GNN, integrates label propagation to achieve superior performance, but with the dilemma between its propagating distance and adaptiveness. IGNN, outputting an equilibrium point by iterating its network infinite times, exploits information in the entire graph to capture long-range dependencies, but with its network constrained to guarantee the existence of the equilibrium. This work unifies the two subdomains by interpreting LGNN in the theory of IGNN and reducing prevailing LGNNs to the form of IGNN. The unification facilitates the exchange between the two subdomains and inspires more studies. Specifically, implicit differentiation of IGNN is introduced to LGNN to differentiate its infinite-range label propagation with constant memory, making the propagation both distant and adaptive. Besides, the masked label strategy of LGNN is proven able to guarantee the well-posedness of IGNN in a network-agnostic manner, granting its network more complex and thus more expressive. Combining the advantages of LGNN and IGNN, Label-inputted Implicit GNN (LI-GNN) is proposed. It can be widely applied to any specific GNN to boost its performance. Node classification experiments on two synthesized and six real-world datasets demonstrate its effectiveness. Code is available at https://github.com/cf020031308/LI-GNN


title: I saw, I conceived, I concluded: Progressive Concepts as Bottlenecks

abstract: Concept bottleneck models (CBMs) include a bottleneck of human-interpretable concepts providing explainability and intervention during inference by correcting the predicted, intermediate concepts. This makes CBMs attractive for high-stakes decision-making. In this paper, we take the quality assessment of fetal ultrasound scans as a real-life use case for CBM decision support in healthcare. For this case, simple binary concepts are not sufficiently reliable, as they are mapped directly from images of highly variable quality, for which variable model calibration might lead to unstable binarized concepts. Moreover, scalar concepts do not provide the intuitive spatial feedback requested by users. To address this, we design a hierarchical CBM imitating the sequential expert decision-making process of "seeing", "conceiving" and "concluding". Our model first passes through a layer of visual, segmentation-based concepts, and next a second layer of property concepts directly associated with the decision-making task. We note that experts can intervene on both the visual and property concepts during inference. Additionally, we increase the bottleneck capacity by considering task-relevant concept interaction. Our application of ultrasound scan quality assessment is challenging, as it relies on balancing the (often poor) image quality against an assessment of the visibility and geometric properties of standardized image content. Our validation shows that -- in contrast with previous CBM models -- our CBM models actually outperform equivalent concept-free models in terms of predictive performance. Moreover, we illustrate how interventions can further improve our performance over the state-of-the-art.


title: Weakly meet $s_{Z}$-continuity and $\delta_{Z}$-continuity

abstract: Based on the concept of weakly meet $s_{Z}$-continuouity put forward by Xu and Luo in \cite{qzm}, we further prove that if the subset system $Z$ satisfies certain conditions, a poset is $s_{Z}$-continuous if and only if it is weakly meet $s_{Z}$-continuous and $s_{Z}$-quasicontinuous, which improves a related result given by Ruan and Xu in \cite{sz}. Meanwhile, we provide a characterization for the poset to be weakly meet $s_{Z}$-continuous, that is, a poset with a lower hereditary $Z$-Scott topology is weakly meet $s_{Z}$-continuous if and only if it is locally weakly meet $s_{Z}$-continuous. In addition, we introduce a monad on the new category $\mathbf{POSET_{\delta}}$ and characterize its $Eilenberg$-$Moore$ algebras concretely.


title: Existence and Uniqueness of Reynolds equation under natural boundary conditions

abstract: For the problem of solving Reynolds equation under natural boundary conditions, the corresponding hypothetical solution can be obtained by assuming the free boundary. If the solution satisfies natural boundary conditions, then the boundary is the boundary we are looking for. Obviously, there is a set S formed by all the boundaries that assume the solution is positive. We prove equivalence between maximum element of S and natural condition. We prove the closeness of set S under addition. Therefore, we prove that the set S must have a unique greatest element. Furthermore, we obtain the uniqueness and existence of solutions of Reynolds equation under natural boundary conditions. In engineering, the zero setting method is often used to find the boundary of Reynolds equation, and we also give the proof that the zero setting method has only one iterative error solution. We give an algorithm for solving Reynolds equation under one-dimensional conditions, which reaches the theoretical upper bound. We discuss the physical meaning of this method at the end.


title: Hybrid form of quantum theory with non-Hermitian Hamiltonians

abstract: In 1956, Freeman Dyson discovered that the practical solution of Schr\"{o}dinger equation may be facilitated when one replaces the standard self-adjoint Hamiltonian $\mathfrak{h}=\mathfrak{h}^\dagger$ by its manifestly non-Hermitian isospectral avatar $H =\Omega^{-1} \mathfrak{h} \Omega$ with $\Omega^\dagger\Omega=\Theta \neq I$. The standard unitary interpretation of the evolution can be then achieved either by the ``operator transformation'' (OT) reconstruction of $\mathfrak{h}$, or via a metric-amendment (MA) change of the Hilbert space, ${\cal H}_{auxiliary}\to {\cal H}_{physical}$. In our present letter we describe an alternative Hermitization of a ``hybrid form'' (HF) which simply combines the OT model-building strategy with the MA model-building strategy. The merits of the approach are illustrated using a schematic two-state quantum system.


title: Stability with explicit constants of the critical points of the fractional Sobolev inequality and applications to fast diffusion

abstract: We study the quantitative stability of critical points of the fractional Sobolev inequality. We show that, for a non-negative function $u \in \dot H^s(\mathbb R^N)$ whose energy satisfies $$\tfrac{1}{2} S^\frac{N}{2s}_{N,s} \le \|u\|_{\dot H^s(\mathbb R^N)} \le \tfrac{3}{2}S_{N,s}^\frac{N}{2s},$$ where $S_{N,s}$ is the optimal Sobolev constant, the bound $$ \|u -U[z,\lambda]\|_{\dot{H}^s(\mathbb R^N)} \lesssim \|(-\Delta)^s u - u^{2^*_s-1}\|_{\dot{H}^{-s}(\mathbb R^N)}, $$ holds for a suitable fractional Talenti bubble $U[z,\lambda]$. {For functions $u$ which are close to Talenti bubbles, we give the sharp asymptotic value of the implied constant in this inequality.} As an application {of this}, we derive an explicit polynomial extinction rate for positive solutions to a fractional fast diffusion equation.


title: Data-driven quadratic modeling in the Loewner framework from input-output time-domain measurements

abstract: In this study, we present a purely data-driven method that uses the Loewner framework (LF) along with nonlinear optimization techniques to infer quadratic with affine control dynamical systems that admit Volterra series (VS) representations from input-output (i/o) time-domain measurements. The proposed method extensively employs optimization tools for interpolating the symmetric generalized frequency response functions (GFRFs) derived in the VS framework. The GFRF estimations are obtained from the Fourier spectrum (phase and amplitude) of the quasi-steady state system response under harmonic excitation. Appropriate treatment of these measurements under the developed framework allows the identification of low-order quadratic state-space models with non-trivial stable equilibria, such as in the Lorenz '63 forced system. We thus can achieve low-order global model identification for systems that can bifurcate to multiple equilibria after solely collecting measurements from a local stable operational regime. The developed framework is tested for several examples of increasing dimension and complexity, up to a test case of the viscous Burgers' equation with Robin boundary conditions. In the latter case, this study enforces new directions of employing data-driven reduced model inference that successfully can provide low-order accurate surrogate predictive models suitable for control. Future directions and open challenges conclude this work.


title: EVEREST: Efficient Masked Video Autoencoder by Removing Redundant Spatiotemporal Tokens

abstract: Masked Video Autoencoder (MVA) approaches have demonstrated their potential by significantly outperforming previous video representation learning methods. However, they waste an excessive amount of computations and memory in predicting uninformative tokens/frames due to random masking strategies. (e.g., over 16 nodes with 128 NVIDIA A100 GPUs). To resolve this issue, we exploit the unequal information density among the patches in videos and propose EVEREST, a surprisingly efficient MVA approach for video representation learning that finds tokens containing rich motion features and discards uninformative ones during both pre-training and fine-tuning. We further present an information-intensive frame selection strategy that allows the model to focus on informative and causal frames with minimal redundancy. Our method significantly reduces the computation and memory requirements of MVA, enabling the pre-training and fine-tuning on a single machine with 8 GPUs while achieving comparable performance to computation- and memory-heavy baselines on multiple benchmarks and the uncurated Ego4D dataset. We hope that our work contributes to reducing the barrier to further research on video understanding.


title: Comparative Study of the Structural, Mechanical, Electronic, Optical and Thermodynamic Properties of Superconducting Disilicide YT$_2$Si$_2$ (X=Co, Ni, Ru, Rh, Pd, Ir) by DFT Simulation

abstract: DFT simulation based ab-initio approach has been executed for investigating the comparative study of the physical properties of superconducting disilicide materials YT$_2$Si$_2$ (T= Co, Ni, Ru, Rh, Pd, Ir). This is the first comparative theoretical investigation of these materials, which is done through Cambridge Serial Total Energy Package module.


title: The palindromization map

abstract: The palindromization map has been defined initially by Aldo de Luca in the context of Sturmian words. It was extended to the free group of rank $2$ by Kassel and the second autho We extend their construction to arbitrary alphabets. We also investigate the suffix automaton and compact suffix automaton of the words obtained by palindromization.


title: Blow up and lifespan estimates for systems of semi-linear wave equations with damping and potential

abstract: In this paper, we consider the semi-linear wave systems with power-nonlinearities and a large class of space-dependent damping and potential. We obtain the same blow-up regions and the lifespan estimates for three types wave systems, compared with the systems without damping and potential.


title: DESI Mock Challenge: Halo and galaxy catalogs with the bias assignment method

abstract: We present a novel approach to the construction of mock galaxy catalogues for large-scale structure analysis based on the distribution of dark matter halos obtained with effective bias models at the field level. We aim to produce mock galaxy catalogues capable of generating accurate covariance matrices for a number of cosmological probes that are expected to be measured in current and forthcoming galaxy redshift surveys (e.g. two- and three-point statistics). We use the bias assignment method (BAM) to model the statistics of halo distribution through a learning algorithm using a few detailed $N$-body simulations, and approximated gravity solvers based on Lagrangian perturbation theory. Using specific models of halo occupation distributions, we generate galaxy mocks with the expected number density and central-satellite fraction of emission-line galaxies, which are a key target of the DESI experiment. BAM generates mock catalogues with per cent accuracy in a number of summary statistics, such as the abundance, the two- and three-point statistics of halo distributions, both in real and redshift space. In particular, the mock galaxy catalogues display $\sim 3\%-10\%$ accuracy in the multipoles of the power spectrum up to scales of $k\sim 0.4\,h^{-1}{\rm Mpc}$. We show that covariance matrices of two- and three-point statistics obtained with BAM display a similar structure to the reference simulation. BAM offers an efficient way to produce mock halo catalogues with accurate two- and three-point statistics, and is able to generate a variety of multi-tracer catalogues with precise covariance matrices of several cosmological probes. We discuss future developments of the algorithm towards mock production in DESI and other galaxy-redshift surveys. (Abridged)


title: Domain-Adaptive Self-Supervised Pre-Training for Face & Body Detection in Drawings

abstract: Drawings are powerful means of pictorial abstraction and communication. Understanding diverse forms of drawings, including digital arts, cartoons, and comics, has been a major problem of interest for the computer vision and computer graphics communities. Although there are large amounts of digitized drawings from comic books and cartoons, they contain vast stylistic variations, which necessitate expensive manual labeling for training domain-specific recognizers. In this work, we show how self-supervised learning, based on a teacher-student network with a modified student network update design, can be used to build face and body detectors. Our setup allows exploiting large amounts of unlabeled data from the target domain when labels are provided for only a small subset of it. We further demonstrate that style transfer can be incorporated into our learning pipeline to bootstrap detectors using a vast amount of out-of-domain labeled images from natural images (i.e., images from the real world). Our combined architecture yields detectors with state-of-the-art (SOTA) and near-SOTA performance using minimal annotation effort. Our code can be accessed from https://github.com/barisbatuhan/DASS_Detector.


title: On the Multidimensional Augmentation of Fingerprint Data for Indoor Localization in A Large-Scale Building Complex Based on Multi-Output Gaussian Process

abstract: Wi-Fi fingerprinting becomes a dominant solution for large-scale indoor localization due to its major advantage of not requiring new infrastructure and dedicated devices. The number and the distribution of Reference Points (RPs) for the measurement of localization fingerprints like RSSI during the offline phase, however, greatly affects the localization accuracy; for instance, the UJIIndoorLoc is known to have the issue of uneven spatial distribution of RPs over buildings and floors. Data augmentation has been proposed as a feasible solution to not only improve the smaller number and the uneven distribution of RPs in the existing fingerprint databases but also reduce the labor and time costs of constructing new fingerprint databases. In this paper, we propose the multidimensional augmentation of fingerprint data for indoor localization in a large-scale building complex based on Multi-Output Gaussian Process (MOGP) and systematically investigate the impact of augmentation ratio as well as MOGP kernel functions and models with their hyperparameters on the performance of indoor localization using the UJIIndoorLoc database and the state-of-the-art neural network indoor localization model based on a hierarchical RNN. The investigation based on experimental results suggests that we can generate synthetic RSSI fingerprint data up to ten times the original data -- i.e., the augmentation ratio of 10 -- through the proposed multidimensional MOGP-based data augmentation without significantly affecting the indoor localization performance compared to that of the original data alone, which extends the spatial coverage of the combined RPs and thereby could improve the localization performance at the locations that are not part of the test dataset.


title: Downscaled Representation Matters: Improving Image Rescaling with Collaborative Downscaled Images

abstract: Deep networks have achieved great success in image rescaling (IR) task that seeks to learn the optimal downscaled representations, i.e., low-resolution (LR) images, to reconstruct the original high-resolution (HR) images. Compared with super-resolution methods that consider a fixed downscaling scheme, e.g., bicubic, IR often achieves significantly better reconstruction performance thanks to the learned downscaled representations. This highlights the importance of a good downscaled representation in image reconstruction tasks. Existing IR methods mainly learn the downscaled representation by jointly optimizing the downscaling and upscaling models. Unlike them, we seek to improve the downscaled representation through a different and more direct way: optimizing the downscaled image itself instead of the down-/upscaling models. Specifically, we propose a collaborative downscaling scheme that directly generates the collaborative LR examples by descending the gradient w.r.t. the reconstruction loss on them to benefit the IR process. Furthermore, since LR images are downscaled from the corresponding HR images, one can also improve the downscaled representation if we have a better representation in the HR domain. Inspired by this, we propose a Hierarchical Collaborative Downscaling (HCD) method that performs gradient descent in both HR and LR domains to improve the downscaled representations. Extensive experiments show that our HCD significantly improves the reconstruction performance both quantitatively and qualitatively. Moreover, we also highlight the flexibility of our HCD since it can generalize well across diverse IR models.


title: A Generalisation of Euler Totient Function

abstract: Euler's totient function, $\varphi(n)$, which counts how many of $0,1,\dots,n-1$ are coprime to $n$, has an explicit asymptotic lower bound of $n/\log \log n$, modulo some constant. In this note, we generalise $\varphi$; given an irreducible integer polynomial $P$, we define the arithmetic function $\varphi_P(n)$ that counts the amount of numbers among $P(0),P(1),\dots,P(n-1)$ that are coprime to $n$. We also provide an asymptotic lower bound for $\varphi_P(n)$.


title: Regularity for a geometrically nonlinear flat Cosserat micropolar membrane shell with curvature

abstract: We consider the rigorously derived thin shell membrane $\Gamma$-limit of a three-dimensional isotropic geometrically nonlinear Cosserat micropolar model and deduce full interior regularity of both the midsurface deformation $m:\omega\subset{\mathbb R}^2\to{\mathbb R}^3$ and the orthogonal microrotation tensor field $R:\omega\subset{\mathbb R}^2\to SO(3)$. The only further structural assumption is that the curvature energy depends solely on the uni-constant isotropic Dirichlet type energy term $|DR|^2$. We use Rivi\`ere's regularity techniques of harmonic map type systems for our system which couples harmonic maps to $SO(3)$ with a linear equation for $m$. The additional coupling term in the harmonic map equation is of critical integrability and can only be handled because of its special structure.


title: Rate-Distortion Modeling for Bit Rate Constrained Point Cloud Compression

abstract: As being one of the main representation formats of 3D real world and well-suited for virtual reality and augmented reality applications, point clouds have gained a lot of popularity. In order to reduce the huge amount of data, a considerable amount of research on point cloud compression has been done. However, given a target bit rate, how to properly choose the color and geometry quantization parameters for compressing point clouds is still an open issue. In this paper, we propose a rate-distortion model based quantization parameter selection scheme for bit rate constrained point cloud compression. Firstly, to overcome the measurement uncertainty in evaluating the distortion of the point clouds, we propose a unified model to combine the geometry distortion and color distortion. In this model, we take into account the correlation between geometry and color variables of point clouds and derive a dimensionless quantity to represent the overall quality degradation. Then, we derive the relationships of overall distortion and bit rate with the quantization parameters. Finally, we formulate the bit rate constrained point cloud compression as a constrained minimization problem using the derived polynomial models and deduce the solution via an iterative numerical method. Experimental results show that the proposed algorithm can achieve optimal decoded point cloud quality at various target bit rates, and substantially outperform the video-rate-distortion model based point cloud compression scheme.


title: Mutual Balancing in State-Object Components for Compositional Zero-Shot Learning

abstract: Compositional Zero-Shot Learning (CZSL) aims to recognize unseen compositions from seen states and objects. The disparity between the manually labeled semantic information and its actual visual features causes a significant imbalance of visual deviation in the distribution of various object classes and state classes, which is ignored by existing methods. To ameliorate these issues, we consider the CZSL task as an unbalanced multi-label classification task and propose a novel method called MUtual balancing in STate-object components (MUST) for CZSL, which provides a balancing inductive bias for the model. In particular, we split the classification of the composition classes into two consecutive processes to analyze the entanglement of the two components to get additional knowledge in advance, which reflects the degree of visual deviation between the two components. We use the knowledge gained to modify the model's training process in order to generate more distinct class borders for classes with significant visual deviations. Extensive experiments demonstrate that our approach significantly outperforms the state-of-the-art on MIT-States, UT-Zappos, and C-GQA when combined with the basic CZSL frameworks, and it can improve various CZSL frameworks. Our codes are available on https://anonymous.4open.science/r/MUST_CGE/.


title: Anonymizing Periodical Releases of SRS Data by Fusing Differential Privacy

abstract: Spontaneous reporting systems (SRS) have been developed to collect adverse event records that contain personal demographics and sensitive information like drug indications and adverse reactions. The release of SRS data may disclose the privacy of the data provider. Unlike other microdata, very few anonymyization methods have been proposed to protect individual privacy while publishing SRS data. MS(k, {\theta}*)-bounding is the first privacy model for SRS data that considers multiple individual records, mutli-valued sensitive attributes, and rare events. PPMS(k, {\theta}*)-bounding then is proposed for solving cross-release attacks caused by the follow-up cases in the periodical SRS releasing scenario. A recent trend of microdata anonymization combines the traditional syntactic model and differential privacy, fusing the advantages of both models to yield a better privacy protection method. This paper proposes the PPMS-DP(k, {\theta}*, {\epsilon}) framework, an enhancement of PPMS(k, {\theta}*)-bounding that embraces differential privacy to improve privacy protection of periodically released SRS data. We propose two anonymization algorithms conforming to the PPMS-DP(k, {\theta}*, {\epsilon}) framework, PPMS-DPnum and PPMS-DPall. Experimental results on the FAERS datasets show that both PPMS-DPnum and PPMS-DPall provide significantly better privacy protection than PPMS-(k, {\theta}*)-bounding without sacrificing data distortion and data utility.


title: LibSignal: An Open Library for Traffic Signal Control

abstract: This paper introduces a library for cross-simulator comparison of reinforcement learning models in traffic signal control tasks. This library is developed to implement recent state-of-the-art reinforcement learning models with extensible interfaces and unified cross-simulator evaluation metrics. It supports commonly-used simulators in traffic signal control tasks, including Simulation of Urban MObility(SUMO) and CityFlow, and multiple benchmark datasets for fair comparisons. We conducted experiments to validate our implementation of the models and to calibrate the simulators so that the experiments from one simulator could be referential to the other. Based on the validated models and calibrated environments, this paper compares and reports the performance of current state-of-the-art RL algorithms across different datasets and simulators. This is the first time that these methods have been compared fairly under the same datasets with different simulators.


title: Modified steady discrete unified gas kinetic scheme for multiscale radiative heat transfer

abstract: In this work, a steady discrete unified gas kinetic scheme (SDUGKS) is proposed to solve the steady radiative transfer equation (RTE), which is an improvement of the original SDUGKS [X. F. Zhou et al., J. Comput. Phys. 423, 109767 (2020)]. The trapezoidal rule other than the rectangular rule used in the original SDUGKS is adopted in the proposed method in the reconstruction of energy flux across cell interface, just as the unsteady DUGKS. By this way, the characteristic line length of the modified SDUGKS establishes a relationship with the Courant-Friedrichs-Lewy (CFL) number in the DUGKS, which guarantees the accuracy of the modified SDUGKS. Furthermore, the characteristic line length is no longer limited by the extinction coefficient like in original SDUGKS. As a result, the modified SDUGKS is more accurate and robust than original SDUGKS, and more efficient than the DUGKS for steady radiation problems. Furthermore, the smooth linear interpolation and the van Leer limiter are used for problems with smooth and discontinuous optical thicknesses, respectively. Several numerical tests with optical thickness varying from optical thin to thick are conducted to validate the present scheme. Numerical results demonstrate that the modified SDUGKS can serve as an effective tool in the study of multiscale steady radiative heat transfer in participating media.


title: A Brief Review on Jet Substructure in Connection with Collider Phenomenology

abstract: It is a challenge for the theoretical particle physicists to perform the phenomenology of the Beyond Standard Model (BSM) theories using advanced simulations which can mimic the experimental environment at the colliders as closely as possible. In collider phenomenology jet substructure is a concept that is used frequently to analyse the properties of the jets, characterised as a cluster of hadrons, which is often the end result of particle collisions at the colliders, such as Large Hadron Collider (LHC). A vast literature on jet substructure exists both from the theory and experimental point of view. But, even with the knowledge of Quantum Chromodynamics (QCD), it is hard to cope up with the vastness of the applicability of the subject for a new researcher in this field. In this review, an attempt has been made to bridge the gap between the concept of jet substructure and its application in the collider phenomenology. However, for detailed understanding, one should look at the references.


title: Lipschitz p-Approximate Schauder Frames

abstract: With the aim of representing subsets of Banach spaces as an infinite series using Lipschitz functions, we study a variant of metric frames which we call Lipschitz p-approximate Schauder frames (Lipschitz p-ASFs). We characterize Lipschitz p-ASFs and their duals completely using the canonical Schauder basis for classical sequence spaces. Similarity of Lipschitz p-ASF is introduced and characterized.


title: Persistence and stability of generalized ribosome flow models with time-varying transition rates

abstract: In this paper the qualitative dynamical properties of so-called generalized ribosome flow models are studied. Ribosome flow models known from the literature are generalized by allowing an arbitrary directed network structure between the compartments and secondly, by assuming a general time-varying rate function describing the compartmental transitions. Persistence of the dynamics is shown using the chemical reaction network (CRN) representation of the system. We show the stability of different compartmental structures including strongly connected ones with an entropy-like logarithmic Lyapunov function. The L1 contractivity of solutions is also studied in the case of periodic reaction rates having the same period. It is also shown that different Lyapunov functions may be assigned to the same model depending on the factorization of the reaction rates.


title: On Proper Colorings of Functions

abstract: We investigate the infinite version of $k$-switch problem of Greenwell and Lov\'asz. Given infinite cardinals ${\kappa}$ and ${\lambda}$, for functions $x,y\in {}^{\kappa}\lambda $ we say that they are totally different if $x(i)\ne y(i)$ for each $i\in {\lambda}$. A function $F:{}^{\lambda}\kappa \longrightarrow {\kappa} $ is a proper coloring if $F(x)\ne F(y)$ whenever $x$ and $y$ are totally different elements of ${}^\lambda{\kappa} $. We say that (i) $F$ is weakly uniform iff there are pairwise totally different functions $\{r_{\alpha}:{\alpha}<{\kappa}\}\subset {}^{\lambda}{\kappa}$ such that $F(r_{\alpha})={\alpha}$; (ii) $F$ is tight if there is no proper coloring $G:{}^{\lambda}\kappa \longrightarrow {\kappa}$ such that there is exactly one $x\in {}^{\lambda}{\kappa}$ with $G(x)\ne F(x)$. We show that given a proper coloring $F:{}^{\lambda}{\kappa}\to {\kappa}$, the following statements are equivalent (i) $F$ is weakly uniform, (ii) there is a ${\kappa}$ complete ultrafilter $\mathscr{U}$ on ${\lambda}$ an there is a permutation ${\pi}\in Symm({\kappa})$ such that for each $x\in ^{\lambda}{\kappa}$ we have $$F(x)={\pi}({\alpha})\ \Longleftrightarrow \ \{i\in {\lambda}: x(i)={\alpha}\} \in \mathscr{U}.$$ We also show that there are tight proper colorings which can not be obtain such a way.


title: Solving 3D Inverse Problems using Pre-trained 2D Diffusion Models

abstract: Diffusion models have emerged as the new state-of-the-art generative model with high quality samples, with intriguing properties such as mode coverage and high flexibility. They have also been shown to be effective inverse problem solvers, acting as the prior of the distribution, while the information of the forward model can be granted at the sampling stage. Nonetheless, as the generative process remains in the same high dimensional (i.e. identical to data dimension) space, the models have not been extended to 3D inverse problems due to the extremely high memory and computational cost. In this paper, we combine the ideas from the conventional model-based iterative reconstruction with the modern diffusion models, which leads to a highly effective method for solving 3D medical image reconstruction tasks such as sparse-view tomography, limited angle tomography, compressed sensing MRI from pre-trained 2D diffusion models. In essence, we propose to augment the 2D diffusion prior with a model-based prior in the remaining direction at test time, such that one can achieve coherent reconstructions across all dimensions. Our method can be run in a single commodity GPU, and establishes the new state-of-the-art, showing that the proposed method can perform reconstructions of high fidelity and accuracy even in the most extreme cases (e.g. 2-view 3D tomography). We further reveal that the generalization capacity of the proposed method is surprisingly high, and can be used to reconstruct volumes that are entirely different from the training dataset.


title: Parallel Diffusion Models of Operator and Image for Blind Inverse Problems

abstract: Diffusion model-based inverse problem solvers have demonstrated state-of-the-art performance in cases where the forward operator is known (i.e. non-blind). However, the applicability of the method to blind inverse problems has yet to be explored. In this work, we show that we can indeed solve a family of blind inverse problems by constructing another diffusion prior for the forward operator. Specifically, parallel reverse diffusion guided by gradients from the intermediate stages enables joint optimization of both the forward operator parameters as well as the image, such that both are jointly estimated at the end of the parallel reverse diffusion procedure. We show the efficacy of our method on two representative tasks -- blind deblurring, and imaging through turbulence -- and show that our method yields state-of-the-art performance, while also being flexible to be applicable to general blind inverse problems when we know the functional forms.


title: Anomalies in the heavy sector

abstract: Heavy flavour physics is well described by the Standard Model with the exception of some measurements which could be pointing to new physics. We briefly review status and prospects of $R(D^{(\ast)})$ and $R(K^{(\ast)})$ anomalies and also address the long standing tension in the $|V_{cb}|$ and $|V_{ub}|$ exclusive/inclusive determinations.


title: EDGE: Editable Dance Generation From Music

abstract: Dance is an important human art form, but creating new dances can be difficult and time-consuming. In this work, we introduce Editable Dance GEneration (EDGE), a state-of-the-art method for editable dance generation that is capable of creating realistic, physically-plausible dances while remaining faithful to the input music. EDGE uses a transformer-based diffusion model paired with Jukebox, a strong music feature extractor, and confers powerful editing capabilities well-suited to dance, including joint-wise conditioning, and in-betweening. We introduce a new metric for physical plausibility, and evaluate dance quality generated by our method extensively through (1) multiple quantitative metrics on physical plausibility, beat alignment, and diversity benchmarks, and more importantly, (2) a large-scale user study, demonstrating a significant improvement over previous state-of-the-art methods. Qualitative samples from our model can be found at our website.


title: Existence and nonexistence of solutions to a critical biharmonic equation with logarithmic perturbation

abstract: In this paper, the following critical biharmonic elliptic problem \begin{eqnarray*} \begin{cases} \Delta^2u= \lambda u+\mu u\ln u^2+|u|^{2^{**}-2}u, &x\in\Omega,\\ u=\dfrac{\partial u}{\partial \nu}=0, &x\in\partial\Omega \end{cases} \end{eqnarray*} is considered, where $\Omega\subset \mathbb{R}^{N}$ is a bounded smooth domain with $N\geq5$. Some interesting phenomenon occurs due to the uncertainty of the sign of the logarithmic term. It is shown, mainly by using Mountain Pass Lemma, that the problem admits at lest one nontrivial weak solution under some appropriate assumptions of $\lambda$ and $\mu$. Moreover, a nonexistence result is also obtained. Comparing the results in this paper with the known ones, one sees that some new phenomena occur when the logarithmic perturbation is introduced.


title: Evaluating the Perceived Safety of Urban City via Maximum Entropy Deep Inverse Reinforcement Learning

abstract: Inspired by expert evaluation policy for urban perception, we proposed a novel inverse reinforcement learning (IRL) based framework for predicting urban safety and recovering the corresponding reward function. We also presented a scalable state representation method to model the prediction problem as a Markov decision process (MDP) and use reinforcement learning (RL) to solve the problem. Additionally, we built a dataset called SmallCity based on the crowdsourcing method to conduct the research. As far as we know, this is the first time the IRL approach has been introduced to the urban safety perception and planning field to help experts quantitatively analyze perceptual features. Our results showed that IRL has promising prospects in this field. We will later open-source the crowdsourcing data collection site and the model proposed in this paper.


title: Phonemic Adversarial Attack against Audio Recognition in Real World

abstract: Recently, adversarial attacks for audio recognition have attracted much attention. However, most of the existing studies mainly rely on the coarse-grain audio features at the instance level to generate adversarial noises, which leads to expensive generation time costs and weak universal attacking ability. Motivated by the observations that all audio speech consists of fundamental phonemes, this paper proposes a phonemic adversarial tack (PAT) paradigm, which attacks the fine-grain audio features at the phoneme level commonly shared across audio instances, to generate phonemic adversarial noises, enjoying the more general attacking ability with fast generation speed. Specifically, for accelerating the generation, a phoneme density balanced sampling strategy is introduced to sample quantity less but phonemic features abundant audio instances as the training data via estimating the phoneme density, which substantially alleviates the heavy dependency on the large training dataset. Moreover, for promoting universal attacking ability, the phonemic noise is optimized in an asynchronous way with a sliding window, which enhances the phoneme diversity and thus well captures the critical fundamental phonemic patterns. By conducting extensive experiments, we comprehensively investigate the proposed PAT framework and demonstrate that it outperforms the SOTA baselines by large margins (i.e., at least 11X speed up and 78% attacking ability improvement).


title: Estimates of the Kobayashi metric and Gromov hyperbolicity on convex domains of finite type

abstract: In this paper we give an local estimate for the Kobayashi distance on a bounded convex domain of finite type, which relates to a local pseudodistance near the boundary. The estimate is precise up to a bounded additive term. Also we conclude that the domain equipped with the Kobayashi distance is Gromov hyperbolic which gives another proof of the result of Zimmer.


title: Diffusive relaxation limit of the multi-dimensional hyperbolic Jin-Xin system

abstract: We study the diffusive relaxation limit of the Jin-Xin system toward viscous conservation laws in the multi-dimensional setting. For initial data being small perturbations of a constant state in suitable homogeneous Besov norms, we prove the global well-posedness of strong solutions satisfying uniform estimates with respect to the relaxation parameter. Then, we justify the strong relaxation limit and exhibit an explicit convergence rate of the process. Our proof is based on an adaptation of the techniques developed by Crin-Barat and Danchin to be able to deal with additional low-order nonlinear terms.


title: Automorphisms of finite order, periodic contractions, and Poisson-commutative subalgebras of $\mathcal S(\mathfrak g)$

abstract: Let $\mathfrak g$ be a semisimple Lie algebra, $\vartheta\in {\sf Aut}(\mathfrak g)$ a finite order automorphism, and $\mathfrak g_0$ the subalgebra of fixed points of $\vartheta$. Recently, we noticed that using $\vartheta$ one can construct a pencil of compatible Poisson brackets on $\mathcal S(\mathfrak g)$, and thereby a `large' Poisson-commutative subalgebra $\mathcal Z(\mathfrak g,\vartheta)$ of $\mathcal S(\mathfrak g)^{\mathfrak g_0}$. In this article, we study invariant-theoretic properties of $(\mathfrak g,\vartheta)$ that ensure good properties of $\mathcal Z(\mathfrak g,\vartheta)$. Associated with $\vartheta$ one has a natural Lie algebra contraction $\mathfrak g_{(0)}$ of $\mathfrak g$ and the notion of a good generating system (=g.g.s.) in $\mathcal S(\mathfrak g)^\mathfrak g$. We prove that in many cases the equality ${\mathsf{ind\,}}\mathfrak g_{(0)}={\mathsf{ind\,}}\mathfrak g$ holds and $\mathcal S(\mathfrak g)^\mathfrak g$ has a g.g.s. According to V.G. Kac's classification of finite order automorphisms (1969), $\vartheta$ can be represented by a Kac diagram, $\mathcal K(\vartheta)$, and our results often use this presentation. The most surprising observation is that $\mathfrak g_{(0)}$ depends only on the set of nodes in $\mathcal K(\vartheta)$ with nonzero labels, and that if $\vartheta$ is inner and a certain label is nonzero, then $\mathfrak g_{(0)}$ is isomorphic to a parabolic contraction of $\mathfrak g$.


title: CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)

abstract: Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly language. However, cryptography has been an exception, where many performance-critical routines have been written directly in assembly (sometimes through metaprogramming layers). Some past work has shown how to do formal verification of that assembly, and other work has shown how to generate C code automatically along with formal proof, but with consequent performance penalties vs. the best-known assembly. We present CryptOpt, the first compilation pipeline that specializes high-level cryptographic functional programs into assembly code significantly faster than what GCC or Clang produce, with mechanized proof (in Coq) whose final theorem statement mentions little beyond the input functional program and the operational semantics of x86-64 assembly. On the optimization side, we apply randomized search through the space of assembly programs, with repeated automatic benchmarking on target CPUs. On the formal-verification side, we connect to the Fiat Cryptography framework (which translates functional programs into C-like IR code) and extend it with a new formally verified program-equivalence checker, incorporating a modest subset of known features of SMT solvers and symbolic-execution engines. The overall prototype is quite practical, e.g. producing new fastest-known implementations of finite-field arithmetic for both Curve25519 (part of the TLS standard) and the Bitcoin elliptic curve secp256k1 for the Intel $12^{th}$ and $13^{th}$ generations.


title: VarietySound: Timbre-Controllable Video to Sound Generation via Unsupervised Information Disentanglement

abstract: Video to sound generation aims to generate realistic and natural sound given a video input. However, previous video-to-sound generation methods can only generate a random or average timbre without any controls or specializations of the generated sound timbre, leading to the problem that people cannot obtain the desired timbre under these methods sometimes. In this paper, we pose the task of generating sound with a specific timbre given a video input and a reference audio sample. To solve this task, we disentangle each target sound audio into three components: temporal information, acoustic information, and background information. We first use three encoders to encode these components respectively: 1) a temporal encoder to encode temporal information, which is fed with video frames since the input video shares the same temporal information as the original audio; 2) an acoustic encoder to encode timbre information, which takes the original audio as input and discards its temporal information by a temporal-corrupting operation; and 3) a background encoder to encode the residual or background sound, which uses the background part of the original audio as input. To make the generated result achieve better quality and temporal alignment, we also adopt a mel discriminator and a temporal discriminator for the adversarial training. Our experimental results on the VAS dataset demonstrate that our method can generate high-quality audio samples with good synchronization with events in video and high timbre similarity with the reference audio.


title: Quantum Algorithms for Identifying Hidden Strings with Applications to Matroid Problems

abstract: In this paper, we explore quantum speedups for the problem, inspired by matroid theory, of identifying a pair of $n$-bit binary strings that are promised to have the same number of 1s and differ in exactly two bits, by using the max inner product oracle and the sub-set oracle. More specifically, given two string $s, s'\in\{0, 1\}^n$ satisfying the above constraints, for any $x\in\{0, 1\}^n$ the max inner product oracle $O_{max}(x)$ returns the max value between $s\cdot x$ and $s'\cdot x$, and the sub-set oracle $O_{sub}(x)$ indicates whether the index set of the 1s in $x$ is a subset of that in $s$ or $s'$. We present a quantum algorithm consuming $O(1)$ queries to the max inner product oracle for identifying the pair $\{s, s'\}$, and prove that any classical algorithm requires $\Omega(n/\log_{2}n)$ queries. Also, we present a quantum algorithm consuming $\frac{n}{2}+O(\sqrt{n})$ queries to the subset oracle, and prove that any classical algorithm requires at least $n+\Omega(1)$ queries. Therefore, quantum speedups are revealed in the two oracle models. Furthermore, the above results are applied to the problem in matroid theory of finding all the bases of a 2-bases matroid, where a matroid is called $k$-bases if it has $k$ bases.


title: Light-induced dynamic frequency shifting of microwave photons in a superconducting electro-optic converter

abstract: Hybrid superconducting-photonic microresonators are a promising platform for realizing microwave-to-optical transduction. However, the absorption of scattered photons by the superconductors leads to unintended microwave resonance frequency variation and linewidth broadening. Here, we experimentally study the dynamics of this effect and its impact on microwave-to-optics conversion in an integrated lithium niobate-superconductor hybrid resonator platform. We unveiled an adiabatic frequency shifting of the intracavity microwave photons induced by the fast photo-responses of the thin-film superconducting resonator. As a result, the temporal and spectral responses of electro-optics transduction are modified and well described by our theoretical model. This work provides important insights on the light-induced conversion dynamics which must be considered in future designs of hybrid superconducting-photonic system.


title: Littlewood-Richardson coefficients as a signed sum of Kostka numbers

abstract: Littlewood-Richardson (LR) coefficients and Kostka Numbers appear in representation theory and combinatorics related to $GL_n$. It is known that Kostka numbers can be represented as special Littlewood-Rischardson coefficient. In this paper, we show how one can represent LR coefficient as a signed sum of Kostka numbers, and use the formulation to give a polynomial time algorithm for the same, hence showing that they belong to the same class of decision problems. As a corollary, we will prove Steinberg's formula using Kostant's partition function.


title: Towards Adversarial Robustness of Deep Vision Algorithms

abstract: Deep learning methods have achieved great success in solving computer vision tasks, and they have been widely utilized in artificially intelligent systems for image processing, analysis, and understanding. However, deep neural networks have been shown to be vulnerable to adversarial perturbations in input data. The security issues of deep neural networks have thus come to the fore. It is imperative to study the adversarial robustness of deep vision algorithms comprehensively. This talk focuses on the adversarial robustness of image classification models and image denoisers. We will discuss the robustness of deep vision algorithms from three perspectives: 1) robustness evaluation (we propose the ObsAtk to evaluate the robustness of denoisers), 2) robustness improvement (HAT, TisODE, and CIFS are developed to robustify vision models), and 3) the connection between adversarial robustness and generalization capability to new domains (we find that adversarially robust denoisers can deal with unseen types of real-world noise).


title: Theory of the asynchronous state of structured rotator networks and its application to recurrent networks of excitatory and inhibitory units

abstract: Recurrently coupled oscillators that are sufficiently heterogeneous and/or randomly coupled can show an asynchronous activity in which there are no significant correlations among the units of the network. The asynchronous state can nevertheless exhibit a rich temporal correlation statistics, that is generally difficult to capture theoretically. For randomly coupled rotator networks, it is possible to derive differential equations that determine the autocorrelation functions of the network noise and of the single elements in the network. So far, the theory has been restricted to statistically homogeneous networks, making it difficult to apply this framework to real-world networks, which are structured with respect to the properties of the single units and their connectivity. A particularly striking case are neural networks for which one has to distinguish between excitatory and inhibitory neurons, which drive their target neurons towards or away from firing threshold. To take into account network structures like that, here we extend the theory for rotator networks to the case of multiple populations. Specifically, we derive a system of differential equations that govern the self-consistent autocorrelation functions of the network fluctuations in the respective populations. We then apply this general theory to the special but important case of recurrent networks of excitatory and inhibitory units in the balanced case and compare our theory to numerical simulations. We inspect the effect of the network structure on the noise statistics by comparing our results to the case of an equivalent homogeneous network devoid of internal structure. Our results show that structured connectivity and heterogeneity of the oscillator type can both enhance or reduce the overall strength of the generated network noise and shape its temporal correlations.


title: Leveraging Users' Social Network Embeddings for Fake News Detection on Twitter

abstract: Social networks (SNs) are increasingly important sources of news for many people. The online connections made by users allows information to spread more easily than traditional news media (e.g., newspaper, television). However, they also make the spread of fake news easier than in traditional media, especially through the users' social network connections. In this paper, we focus on investigating if the SNs' users connection structure can aid fake news detection on Twitter. In particular, we propose to embed users based on their follower or friendship networks on the Twitter platform, so as to identify the groups that users form. Indeed, by applying unsupervised graph embedding methods on the graphs from the Twitter users' social network connections, we observe that users engaged with fake news are more tightly clustered together than users only engaged in factual news. Thus, we hypothesise that the embedded user's network can help detect fake news effectively. Through extensive experiments using a publicly available Twitter dataset, our results show that applying graph embedding methods on SNs, using the user connections as network information, can indeed classify fake news more effectively than most language-based approaches. Specifically, we observe a significant improvement over using only the textual information (i.e., TF.IDF or a BERT language model), as well as over models that deploy both advanced textual features (i.e., stance detection) and complex network features (e.g., users network, publishers cross citations). We conclude that the Twitter users' friendship and followers network information can significantly outperform language-based approaches, as well as the existing state-of-the-art fake news detection models that use a more sophisticated network structure, in classifying fake news on Twitter.


title: Density-tuned effective metal-insulator transitions in 2D semiconductor layers: Anderson localization or Wigner crystallization

abstract: Electrons (or holes) confined in 2D semiconductor layers have served as model systems for studying disorder and interaction effects for almost 50 years. In particular, strong disorder drives the metallic 2D carriers into a strongly localized Anderson insulator (AI) at low densities whereas pristine 2D electrons in the presence of no (or little) disorder should solidify into a Wigner crystal at low carrier densities. Since the disorder in 2D semiconductors is mostly Coulomb disorder arising from random charged impurities, the applicable physics is complex as the carriers interact with each other as well as with the random charged impurities through the same long-range Coulomb coupling. By critically theoretically analyzing the experimental transport data in depth using a realistic transport theory to calculate the low-temperature 2D resistivity as a function of carrier density in 11 different experimental samples covering 9 different materials, we establish, utilizing the Ioffe-Regel-Mott criterion for strong localization, a direct connection between the critical localization density for the 2D metal-insulator transition (MIT) and the sample mobility deep into the metallic state, which for clean samples could lead to a localization density low enough to make the transition appear to be a Wigner crystallization. We believe that the insulating phase is always an effective Coulomb disorder-induced localized AI, which may have short-range WC-like correlations at low carrier densities. Our theoretically calculated disorder-driven critical MIT density agrees with experimental findings in all 2D samples, even for the ultra-clean samples. In particular, the extrapolated critical density for the 2D MIT seems to vanish when the high-density mobility goes to infinity, indicating that transport probes a disorder-localized insulating ground state independent of how low the carrier density might be.


title: Passivity and Immersion based-modified gradient estimator: A control perspective in parameter estimation

abstract: In this paper, a constructive and systematic strategy with more apparent degrees of freedom to achieve the accurate estimation of unknown parameters via a control perspective is proposed. By adding a virtual control in the final equation of the gradient dynamics, the Gradient Estimator (GE) and Memory Regressor and Extension (MRE) approaches are extended. The solution of the virtual control law is identified by the P&I approach. The P&I approach is based on the choice of an appropriate implicit manifold and the generation of a suitable passive output and a related storage function. This facilitates the virtual control law being obtained in a way that the parametric error converges asymptotically to zero. Because the above ideas connect with the P&I approach and GE, the developed methodology is labeled the passivity and immersion-based modified gradient estimator (MGE). The proposed P&I-based modified gradient estimator is extended via the MRE approach. This modification provides improved transient response and fast convergence. Based on certain PE and non-PE examples, a comparative analysis is carried out to show the efficacy of the proposed approaches.


title: Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation

abstract: These proceedings include selected papers presented at the 9th Workshop on Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Program Transformation, both affiliated with ETAPS 2022. Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. The HCVS series of workshops aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis. Horn clauses for verification and synthesis have been advocated by these communities in different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences. The aim of the VPT workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. There is a great potential for beneficial interactions between these two fields because: 1) On one hand, methods and tools developed in the field of Program Transformation such as partial evaluation, fold/unfold transformations, and supercompilation, have all been applied with success for the verification of infinite state and parameterized systems. 2) On the other hand, model checking, abstract interpretation, SAT and SMT solving and automated theorem proving have been used to enhance program transformation techniques. Moreover, the formal certification of program transformation tools, such as automated refactoring tools and compilers, has recently attracted considerable interest, posed major challenges.


title: Open-quantum-systems approach to in-medium heavy quarkonium dynamics

abstract: Heavy quarkonium continues to play a central role in the study of nuclear matter under extremes of temperature and density in relativistic heavy-ion collisions. In this talk I report on recent developments in the theoretical description of quarkonium in-medium dynamics using the open-quantum systems approach. Not only does it provide a clear interpretation of the imaginary part of the complex heavy-quark potential but also reveals that a subtle interplay between screening and wavefunction decoherence is responsible for the melting of heavy quarkonium states.


title: QFS-space and its properties

abstract: In this paper, the concept of quasi-finitely separating map and quasiapproximate identity are introduced. Based on these concepts, QFS-spaces and quasicontinuous maps are defined. Properties and characterizations of QFS-spaces are explored. Main results are: (1) Each QFS-space is quasicontinuous space; (2) Closed subspaces, quasicontinuous projection spaces of QFS-spaces are QFS-spaces; (3) Continuous retracts of QFS-spaces are QFS-spaces and a kind of retracts of QFS-spaces are constructed; (4) Upper powerspaces of continuous QFS-spaces are FS-spaces.


title: Entity-Assisted Language Models for Identifying Check-worthy Sentences

abstract: We propose a new uniform framework for text classification and ranking that can automate the process of identifying check-worthy sentences in political debates and speech transcripts. Our framework combines the semantic analysis of the sentences, with additional entity embeddings obtained through the identified entities within the sentences. In particular, we analyse the semantic meaning of each sentence using state-of-the-art neural language models such as BERT, ALBERT, and RoBERTa, while embeddings for entities are obtained from knowledge graph (KG) embedding models. Specifically, we instantiate our framework using five different language models, entity embeddings obtained from six different KG embedding models, as well as two combination methods leading to several Entity-Assisted neural language models. We extensively evaluate the effectiveness of our framework using two publicly available datasets from the CLEF' 2019 & 2020 CheckThat! Labs. Our results show that the neural language models significantly outperform traditional TF.IDF and LSTM methods. In addition, we show that the ALBERT model is consistently the most effective model among all the tested neural language models. Our entity embeddings significantly outperform other existing approaches from the literature that are based on similarity and relatedness scores between the entities in a sentence, when used alongside a KG embedding.


title: Towards symmetric discretization schemes via weak boundary conditions

abstract: The Szymanzik improvement program for gauge theories is most commonly implemented using forward finite difference corrections to the Wilson action. Central symmetric schemes naively applied, suffer from a doubling of degrees of freedom, identical to the well known fermion doubling phenomenon. And while adding a complex Wilson term remedies the problem for fermions, it does not easily transfer to real-valued gauge fields. In this talk I report on recent progress in formulating symmetric discretization schemes for classical actions of simple one-dimensional problems. They avoid doubling by exploiting the weak imposition of initial/boundary conditions. Inspired by recent work in the field of numerical analysis of partial differential equations, I construct a regularized summation-by-parts finite difference operator using boundary data based on affine coordinates. Application to a classical initial value problems with second order derivatives are presented.


title: Inverse problems, real-time dynamics and lattice simulations

abstract: The determination of real-time dynamics of strongly coupled quantum fields is a central goal of modern nuclear and particle physics, which requires insight into quantum field theory beyond the weak-coupling approximation. While lattice QCD has provided vital insights into the non-perturbative static properties of quarks and gluons it hides their real-time dynamics behind an ill-posed inverse problem. In this proceeding I will discuss developments in tackling the inverse problem on the lattice and touch upon progress in the direct simualtion of real-time dynamics.


title: Decomposed Soft Prompt Guided Fusion Enhancing for Compositional Zero-Shot Learning

abstract: Compositional Zero-Shot Learning (CZSL) aims to recognize novel concepts formed by known states and objects during training. Existing methods either learn the combined state-object representation, challenging the generalization of unseen compositions, or design two classifiers to identify state and object separately from image features, ignoring the intrinsic relationship between them. To jointly eliminate the above issues and construct a more robust CZSL system, we propose a novel framework termed Decomposed Fusion with Soft Prompt (DFSP)1, by involving vision-language models (VLMs) for unseen composition recognition. Specifically, DFSP constructs a vector combination of learnable soft prompts with state and object to establish the joint representation of them. In addition, a cross-modal decomposed fusion module is designed between the language and image branches, which decomposes state and object among language features instead of image features. Notably, being fused with the decomposed features, the image features can be more expressive for learning the relationship with states and objects, respectively, to improve the response of unseen compositions in the pair space, hence narrowing the domain gap between seen and unseen sets. Experimental results on three challenging benchmarks demonstrate that our approach significantly outperforms other state-of-the-art methods by large margins.


title: DiffStyler: Controllable Dual Diffusion for Text-Driven Image Stylization

abstract: Despite the impressive results of arbitrary image-guided style transfer methods, text-driven image stylization has recently been proposed for transferring a natural image into a stylized one according to textual descriptions of the target style provided by the user. Unlike the previous image-to-image transfer approaches, text-guided stylization progress provides users with a more precise and intuitive way to express the desired style. However, the huge discrepancy between cross-modal inputs/outputs makes it challenging to conduct text-driven image stylization in a typical feed-forward CNN pipeline. In this paper, we present DiffStyler, a dual diffusion processing architecture to control the balance between the content and style of the diffused results. The cross-modal style information can be easily integrated as guidance during the diffusion process step-by-step. Furthermore, we propose a content image-based learnable noise on which the reverse denoising process is based, enabling the stylization results to better preserve the structure information of the content image. We validate the proposed DiffStyler beyond the baseline methods through extensive qualitative and quantitative experiments. Code is available at \url{https://github.com/haha-lisa/Diffstyler}.


title: $B \to K^{(\ast)} \nu \bar{\nu}$ in covariant confined quark model

abstract: We study the $B \to K^{(\ast)} \nu \bar{\nu}$ decays within the Standard Model (SM) by using the relevant transition form factors obtained from the covariant confined quark model (CCQM) developed by us. The $B \to K$ and $B\to K^\ast$ transition form factors are calculated in the full kinematic $q^2$ range. The branching fractions are then calculated. It is shown that our results are in an agreement with those obtained in other theoretical approaches. Currently, the Babar and Belle collaborations provide us by the upper limits at 90\% confidence limit. The obtained bounds are roughly an order of magnitude larger than the SM predictions. This should stimulate experimental collaborations to set up experiments that allow one to obtain more accurate branching values, which is quite achievable on the updated LHCb and Belle machines. If the discrepancies between theory and experiment are confirmed, this will open up opportunities for constructing models with new particles and interactions leading to an extension of the SM.


title: Personalized Federated Learning with Hidden Information on Personalized Prior

abstract: Federated learning (FL for simplification) is a distributed machine learning technique that utilizes global servers and collaborative clients to achieve privacy-preserving global model training without direct data sharing. However, heterogeneous data problem, as one of FL's main problems, makes it difficult for the global model to perform effectively on each client's local data. Thus, personalized federated learning (PFL for simplification) aims to improve the performance of the model on local data as much as possible. Bayesian learning, where the parameters of the model are seen as random variables with a prior assumption, is a feasible solution to the heterogeneous data problem due to the tendency that the more local data the model use, the more it focuses on the local data, otherwise focuses on the prior. When Bayesian learning is applied to PFL, the global model provides global knowledge as a prior to the local training process. In this paper, we employ Bayesian learning to model PFL by assuming a prior in the scaled exponential family, and therefore propose pFedBreD, a framework to solve the problem we model using Bregman divergence regularization. Empirically, our experiments show that, under the prior assumption of the spherical Gaussian and the first order strategy of mean selection, our proposal significantly outcompetes other PFL algorithms on multiple public benchmarks.


title: Pairwise Instance Relation Augmentation for Long-tailed Multi-label Text Classification

abstract: Multi-label text classification (MLTC) is one of the key tasks in natural language processing. It aims to assign multiple target labels to one document. Due to the uneven popularity of labels, the number of documents per label follows a long-tailed distribution in most cases. It is much more challenging to learn classifiers for data-scarce tail labels than for data-rich head labels. The main reason is that head labels usually have sufficient information, e.g., a large intra-class diversity, while tail labels do not. In response, we propose a Pairwise Instance Relation Augmentation Network (PIRAN) to augment tailed-label documents for balancing tail labels and head labels. PIRAN consists of a relation collector and an instance generator. The former aims to extract the document pairwise relations from head labels. Taking these relations as perturbations, the latter tries to generate new document instances in high-level feature space around the limited given tailed-label instances. Meanwhile, two regularizers (diversity and consistency) are designed to constrain the generation process. The consistency-regularizer encourages the variance of tail labels to be close to head labels and further balances the whole datasets. And diversity-regularizer makes sure the generated instances have diversity and avoids generating redundant instances. Extensive experimental results on three benchmark datasets demonstrate that PIRAN consistently outperforms the SOTA methods, and dramatically improves the performance of tail labels.


title: Spikeformer: A Novel Architecture for Training High-Performance Low-Latency Spiking Neural Network

abstract: Spiking neural networks (SNNs) have made great progress on both performance and efficiency over the last few years,but their unique working pattern makes it hard to train a high-performance low-latency SNN.Thus the development of SNNs still lags behind traditional artificial neural networks (ANNs).To compensate this gap,many extraordinary works have been proposed.Nevertheless,these works are mainly based on the same kind of network structure (i.e.CNN) and their performance is worse than their ANN counterparts,which limits the applications of SNNs.To this end,we propose a novel Transformer-based SNN,termed "Spikeformer",which outperforms its ANN counterpart on both static dataset and neuromorphic dataset and may be an alternative architecture to CNN for training high-performance SNNs.First,to deal with the problem of "data hungry" and the unstable training period exhibited in the vanilla model,we design the Convolutional Tokenizer (CT) module,which improves the accuracy of the original model on DVS-Gesture by more than 16%.Besides,in order to better incorporate the attention mechanism inside Transformer and the spatio-temporal information inherent to SNN,we adopt spatio-temporal attention (STA) instead of spatial-wise or temporal-wise attention.With our proposed method,we achieve competitive or state-of-the-art (SOTA) SNN performance on DVS-CIFAR10,DVS-Gesture,and ImageNet datasets with the least simulation time steps (i.e.low latency).Remarkably,our Spikeformer outperforms other SNNs on ImageNet by a large margin (i.e.more than 5%) and even outperforms its ANN counterpart by 3.1% and 2.2% on DVS-Gesture and ImageNet respectively,indicating that Spikeformer is a promising architecture for training large-scale SNNs and may be more suitable for SNNs compared to CNN.We believe that this work shall keep the development of SNNs in step with ANNs as much as possible.Code will be available.


title: Towards a modeling class for port-Hamiltonian systems with time-delay

abstract: The framework of port-Hamiltonian (pH) systems is a powerful and broadly applicable modeling paradigm. In this paper, we extend the scope of pH systems to time-delay systems. Our definition of a delay pH system is motivated by investigating the Kalman-Yakubovich-Popov inequality on the corresponding infinite-dimensional operator equation. Moreover, we show that delay pH systems are passive and closed under interconnection. We describe an explicit way to construct a Lyapunov-Krasovskii functional and discuss implications for delayed feedback.