title: Transfer and Alignment Network for Generalized Category Discovery

abstract: Generalized Category Discovery is a crucial real-world task. Despite the improved performance on known categories, current methods perform poorly on novel categories. We attribute the poor performance to two reasons: biased knowledge transfer between labeled and unlabeled data and noisy representation learning on the unlabeled data. To mitigate these two issues, we propose a Transfer and Alignment Network (TAN), which incorporates two knowledge transfer mechanisms to calibrate the biased knowledge and two feature alignment mechanisms to learn discriminative features. Specifically, we model different categories with prototypes and transfer the prototypes in labeled data to correct model bias towards known categories. On the one hand, we pull instances with known categories in unlabeled data closer to these prototypes to form more compact clusters and avoid boundary overlap between known and novel categories. On the other hand, we use these prototypes to calibrate noisy prototypes estimated from unlabeled data based on category similarities, which allows for more accurate estimation of prototypes for novel categories that can be used as reliable learning targets later. After knowledge transfer, we further propose two feature alignment mechanisms to acquire both instance- and category-level knowledge from unlabeled data by aligning instance features with both augmented features and the calibrated prototypes, which can boost model performance on both known and novel categories with less noise. Experiments on three benchmark datasets show that our model outperforms SOTA methods, especially on novel categories. Theoretical analysis is provided for an in-depth understanding of our model in general. Our code and data are available at https://github.com/Lackel/TAN.


title: Integrating state-sequence analysis to uncover dynamic drug-utilization patterns to profile heart failure patients

abstract: Globally, the incidence of heart failure is increasing, and its principal treatment involves drug therapy. However, widespread non-adherence to therapies is prevalent among heart failure patients and often results in worsening health conditions and an increase in hospital admissions. This study aims to develop an innovative approach, the State-Sequence analysis, to profile heart failure patients based on different drug-utilization patterns. These patterns aim to capture both the multidimensional and dynamic effects of therapies. Subsequently, the study explores how combining clustering algorithms with this technique influences overall patient survival. Findings highlight the importance of continued drug therapy after the first hospitalization in improving heart failure prognosis, irrespective of its severity. The proposed approach can assist healthcare specialists in evaluating the pathways provided to patients, allowing for a change in analysis from a transversal and syntactical approach to a holistic one that leverages statistical tools that are slightly more complex than traditional methods. Moreover, because of the many options available for defining states, temporal granularity, and spacing metrics, SSA is a flexible method applicable to various epidemiological scenarios.


title: Convexity of shock polars

abstract: We show that the shock polars of compressible full potential flow are strictly convex if the enthalpy per mass is a convex function of volume per mass, in particular when the sound speed is a nondecreasing function of density. Counterexamples are given for some cases that violate the enthalpy condition. For the full Euler equations with convex equation of state satisfying the ideal gas law, polars are strictly convex if heat capacity is constant, but counterexamples are given in variable cases, showing no useful generalizations are possible.


title: ReSynthDetect: A Fundus Anomaly Detection Network with Reconstruction and Synthetic Features

abstract: Detecting anomalies in fundus images through unsupervised methods is a challenging task due to the similarity between normal and abnormal tissues, as well as their indistinct boundaries. The current methods have limitations in accurately detecting subtle anomalies while avoiding false positives. To address these challenges, we propose the ReSynthDetect network which utilizes a reconstruction network for modeling normal images, and an anomaly generator that produces synthetic anomalies consistent with the appearance of fundus images. By combining the features of consistent anomaly generation and image reconstruction, our method is suited for detecting fundus abnormalities. The proposed approach has been extensively tested on benchmark datasets such as EyeQ and IDRiD, demonstrating state-of-the-art performance in both image-level and pixel-level anomaly detection. Our experiments indicate a substantial 9% improvement in AUROC on EyeQ and a significant 17.1% improvement in AUPR on IDRiD.


title: A Survey on Super Resolution for video Enhancement Using GAN

abstract: This compilation of various research paper highlights provides a comprehensive overview of recent developments in super-resolution image and video using deep learning algorithms such as Generative Adversarial Networks. The studies covered in these summaries provide fresh techniques to addressing the issues of improving image and video quality, such as recursive learning for video super-resolution, novel loss functions, frame-rate enhancement, and attention model integration. These approaches are frequently evaluated using criteria such as PSNR, SSIM, and perceptual indices. These advancements, which aim to increase the visual clarity and quality of low-resolution video, have tremendous potential in a variety of sectors ranging from surveillance technology to medical imaging. In addition, this collection delves into the wider field of Generative Adversarial Networks, exploring their principles, training approaches, and applications across a broad range of domains, while also emphasizing the challenges and opportunities for future research in this rapidly advancing and changing field of artificial intelligence.


title: Vector Flows and the Capacity of a Discrete Memoryless Channel

abstract: One of the fundamental problems of information theory, since its foundation by Shannon in 1948, has been the computation of the capacity of a discrete memoryless channel, a quantity expressing the maximum rate at which information can travel through the channel. In the literature, several algorithms were proposed to approximately compute the capacity of a discrete memoryless channel, being an analytical solution unavailable for the general discrete memoryless channel. This paper presents a novel approach to compute the capacity, which is based on a continuous-time dynamical system. Such a dynamical system can indeed be regarded as a continuous-time version of the Blahut-Arimoto algorithm. In fact, the updating map appearing in the Blahut-Arimoto algorithm is here obtained as a suitable discretization of the vector flow presented, using an analogy with some game-theoretical models. Finally, this analogy suggests a high-level hardware circuit design enabling analog computation to estimate the capacity.


title: MolSets: Molecular Graph Deep Sets Learning for Mixture Property Modeling

abstract: Recent advances in machine learning (ML) have expedited materials discovery and design. One significant challenge faced in ML for materials is the expansive combinatorial space of potential materials formed by diverse constituents and their flexible configurations. This complexity is particularly evident in molecular mixtures, a frequently explored space for materials such as battery electrolytes. Owing to the complex structures of molecules and the sequence-independent nature of mixtures, conventional ML methods have difficulties in modeling such systems. Here we present MolSets, a specialized ML model for molecular mixtures. Representing individual molecules as graphs and their mixture as a set, MolSets leverages a graph neural network and the deep sets architecture to extract information at the molecule level and aggregate it at the mixture level, thus addressing local complexity while retaining global flexibility. We demonstrate the efficacy of MolSets in predicting the conductivity of lithium battery electrolytes and highlight its benefits in virtual screening of the combinatorial chemical space.


title: Kromatic quasisymmetric functions

abstract: We provide a construction for the kromatic symmetric function $\overline{X}_G$ of a graph introduced by Crew, Pechenik, and Spirkl using combinatorial (linearly compact) Hopf algebras. As an application, we show that $\overline{X}_G$ has a positive expansion into multifundamental quasisymmetric functions. We also study two related quasisymmetric $q$-analogues of $\overline{X}_G$, which are $K$-theoretic generalizations of the quasisymmetric chromatic function of Shareshian and Wachs. We classify exactly when one of these analogues is symmetric. For the other, we derive a positive expansion into symmetric Grothendieck functions for graphs $G$ that are natural unit interval orders.


title: Federated Continual Learning via Knowledge Fusion: A Survey

abstract: Data privacy and silos are nontrivial and greatly challenging in many real-world applications. Federated learning is a decentralized approach to training models across multiple local clients without the exchange of raw data from client devices to global servers. However, existing works focus on a static data environment and ignore continual learning from streaming data with incremental tasks. Federated Continual Learning (FCL) is an emerging paradigm to address model learning in both federated and continual learning environments. The key objective of FCL is to fuse heterogeneous knowledge from different clients and retain knowledge of previous tasks while learning on new ones. In this work, we delineate federated learning and continual learning first and then discuss their integration, i.e., FCL, and particular FCL via knowledge fusion. In summary, our motivations are four-fold: we (1) raise a fundamental problem called ''spatial-temporal catastrophic forgetting'' and evaluate its impact on the performance using a well-known method called federated averaging (FedAvg), (2) integrate most of the existing FCL methods into two generic frameworks, namely synchronous FCL and asynchronous FCL, (3) categorize a large number of methods according to the mechanism involved in knowledge fusion, and finally (4) showcase an outlook on the future work of FCL.


title: SVGDreamer: Text Guided SVG Generation with Diffusion Model

abstract: Recently, text-guided scalable vector graphics (SVGs) synthesis has shown promise in domains such as iconography and sketch. However, existing text-to-SVG generation methods lack editability and struggle with visual quality and result diversity. To address these limitations, we propose a novel text-guided vector graphics synthesis method called SVGDreamer. SVGDreamer incorporates a semantic-driven image vectorization (SIVE) process that enables the decomposition of synthesis into foreground objects and background, thereby enhancing editability. Specifically, the SIVE process introduces attention-based primitive control and an attention-mask loss function for effective control and manipulation of individual elements. Additionally, we propose a Vectorized Particle-based Score Distillation (VPSD) approach to address issues of shape over-smoothing, color over-saturation, limited diversity, and slow convergence of the existing text-to-SVG generation methods by modeling SVGs as distributions of control points and colors. Furthermore, VPSD leverages a reward model to re-weight vector particles, which improves aesthetic appeal and accelerates convergence. Extensive experiments are conducted to validate the effectiveness of SVGDreamer, demonstrating its superiority over baseline methods in terms of editability, visual quality, and diversity. Project page: \href{https://ximinng.github.io/SVGDreamer-project/}{https://ximinng.github.io/SVGDreamer-project/}


title: Group Multi-View Transformer for 3D Shape Analysis with Spatial Encoding

abstract: In recent years, the results of view-based 3D shape recognition methods have saturated, and models with excellent performance cannot be deployed on memory-limited devices due to their huge size of parameters. To address this problem, we introduce a compression method based on knowledge distillation for this field, which largely reduces the number of parameters while preserving model performance as much as possible. Specifically, to enhance the capabilities of smaller models, we design a high-performing large model called Group Multi-view Vision Transformer (GMViT). In GMViT, the view-level ViT first establishes relationships between view-level features. Additionally, to capture deeper features, we employ the grouping module to enhance view-level features into group-level features. Finally, the group-level ViT aggregates group-level features into complete, well-formed 3D shape descriptors. Notably, in both ViTs, we introduce spatial encoding of camera coordinates as innovative position embeddings. Furthermore, we propose two compressed versions based on GMViT, namely GMViT-simple and GMViT-mini. To enhance the training effectiveness of the small models, we introduce a knowledge distillation method throughout the GMViT process, where the key outputs of each GMViT component serve as distillation targets. Extensive experiments demonstrate the efficacy of the proposed method. The large model GMViT achieves excellent 3D classification and retrieval results on the benchmark datasets ModelNet, ShapeNetCore55, and MCB. The smaller models, GMViT-simple and GMViT-mini, reduce the parameter size by 8 and 17.6 times, respectively, and improve shape recognition speed by 1.5 times on average, while preserving at least 90% of the classification and retrieval performance.


title: Noisy Correspondence Learning with Self-Reinforcing Errors Mitigation

abstract: Cross-modal retrieval relies on well-matched large-scale datasets that are laborious in practice. Recently, to alleviate expensive data collection, co-occurring pairs from the Internet are automatically harvested for training. However, it inevitably includes mismatched pairs, \ie, noisy correspondences, undermining supervision reliability and degrading performance. Current methods leverage deep neural networks' memorization effect to address noisy correspondences, which overconfidently focus on \emph{similarity-guided training with hard negatives} and suffer from self-reinforcing errors. In light of above, we introduce a novel noisy correspondence learning framework, namely \textbf{S}elf-\textbf{R}einforcing \textbf{E}rrors \textbf{M}itigation (SREM). Specifically, by viewing sample matching as classification tasks within the batch, we generate classification logits for the given sample. Instead of a single similarity score, we refine sample filtration through energy uncertainty and estimate model's sensitivity of selected clean samples using swapped classification entropy, in view of the overall prediction distribution. Additionally, we propose cross-modal biased complementary learning to leverage negative matches overlooked in hard-negative training, further improving model optimization stability and curbing self-reinforcing errors. Extensive experiments on challenging benchmarks affirm the efficacy and efficiency of SREM.


title: Quasinormal modes of Einstein--scalar--Gauss--Bonnet black holes

abstract: In this paper, we investigate quasinormal modes of scalar and electromagnetic fields in the background of Einstein--scalar--Gauss--Bonnet (EsGB) black holes. Using the scalar and electromagnetic field equations in the vicinity of the EsGB black hole, we study nature of the effective potentials. The dependence of real and imaginary parts of the fundamental quasinormal modes on parameter $p$ (which is related to the Gauss--Bonnet coupling parameter $\alpha$) for different values of multipole numbers $l$ are studied. We analyzed the effects of massive scalar fields on the EsGB black hole, which tells us the existence of quasi--resonances. In the eikonal regime, we find the analytical expression for the quasinormal frequency and show that the correspondence between the eikonal quasinormal modes and null geodesics is valid in the EsGB theory for the test fields. Finally, we study grey-body factors of the electromagnetic fields for different multipole numbers $l$, which deviates from Schwarzschild's black hole.


title: Permissive-Nominal Logic (journal version)

abstract: Permissive-Nominal Logic (PNL) is an extension of first-order predicate logic in which term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such as of the lambda-binder of the lambda-calculus or the forall-binder of first-order logic. It also allows us to finitely axiomatise arithmetic, and similarly to axiomatise 'nominal' datatypes-with-binding. Just like first- and higher-order logic, equality reasoning is not necessary to alpha-rename. This gives PNL much of the expressive power of higher-order logic, but models and derivations of PNL are first-order in character, and the logic seems to strike a good balance between expressivity and simplicity.


title: Quantum spheres as graph C*-algebras: a review

abstract: In this survey, we discuss the description of Vaksman-Soibelman quantum spheres using graph C*-algebras, following the seminal work of Hong and Szyma\'nski. We give a slightly different proof of the isomorphism with a graph C*-algebra, borrowing the idea of Mikkelsen and Kaad of using conditional expectations to prove the desired result.


title: Cwikel-Lieb-Rozenblum type inequalities for Hardy-Schr\"odinger operator

abstract: We prove a Cwikel-Lieb-Rozenblum type inequality for the number of negative eigenvalues of the Hardy-Schr\"odinger operator $-\Delta - (d-2)^2/(4|x|^2) -W(x)$ on $L^2(\mathbb{R}^d)$. The bound is given in terms of a weighted $L^{d/2}-$norm of $W$ which is sharp in both large and small coupling regimes. We also obtain a similar bound for the fractional Laplacian.


title: Expressivity and Approximation Properties of Deep Neural Networks with ReLU$^k$ Activation

abstract: In this paper, we investigate the expressivity and approximation properties of deep neural networks employing the ReLU$^k$ activation function for $k \geq 2$. Although deep ReLU networks can approximate polynomials effectively, deep ReLU$^k$ networks have the capability to represent higher-degree polynomials precisely. Our initial contribution is a comprehensive, constructive proof for polynomial representation using deep ReLU$^k$ networks. This allows us to establish an upper bound on both the size and count of network parameters. Consequently, we are able to demonstrate a suboptimal approximation rate for functions from Sobolev spaces as well as for analytic functions. Additionally, through an exploration of the representation power of deep ReLU$^k$ networks for shallow networks, we reveal that deep ReLU$^k$ networks can approximate functions from a range of variation spaces, extending beyond those generated solely by the ReLU$^k$ activation function. This finding demonstrates the adaptability of deep ReLU$^k$ networks in approximating functions within various variation spaces.


title: Emergence of superconductivity near 11 K by suppressing the 3-fold helical-chain structure in noncentrosymmetric HgS

abstract: The trigonal ${\alpha}$-HgS has a 3-fold helical chain structure, and is in form of a noncentrosymmetric $P3_121$ phase, known as the cinnabar phase. However, under pressure, the helical chains gradually approach and connect with each other, finally reconstructing into a centrosymmetric NaCl structure at 21 GPa. Superconductivity emerges just after this helical-nonhelical structural transition. The maximum critical temperature ($T_c$) reaches 11 K at 25.4 GPa, $T_c$ decreases with further compression, and is still 3.5 K at 44.8 GPa. Furthermore, the $T_c$-critical magnetic field ($B_{c2}$) relation exhibits multi-band features, with a $B_{c2}$ of 5.65 T at 0 K by two-band fitting. Raman spectra analysis demonstrates that phonon softening plays a key role in structural transition and the emergence of superconductivity. It is noted that HgS is the first reported IIB group metal sulfide superconductor and the only NaCl-type metal sulfide superconductor with a $T_c$ above 10 K. This work will inspire the exploration of superconductivity in other chiral systems and will extend our understanding of the versatile behavior in such kinds of materials.


title: Fractional differential problems with numerical anti-reflective boundary conditions: a computational/precision analysis and numerical results

abstract: Twenty years ago the anti-reflective numerical boundary conditions (BCs) were introduced in a context of signal processing and imaging, for increasing the quality of the reconstruction of a blurred signal/image contaminated by noise and for reducing the overall complexity to that of few fast sine transforms i.e. to $O(N\log N)$ real arithmetic operations, where $N$ is the number of pixels. Here for quality of reconstruction we mean a better accuracy and the elimination of boundary artifacts, called ringing effects. Now we propose numerical anti-reflective BCs in the context of nonlocal problems of fractional differential type: the goals are the same i.e. a smaller approximation error and the reduction of boundary artifacts. In the latter setting, we compare various types of numerical BCs, including the anti-symmetric ones considered in the case of fractional differential problems for modeling reasons. More in detail, given important similarities between anti-symmetric and anti-reflective BCs, we compare them from the perspective of computational efficiency, by considering nontruncated and truncated versions and also other standard numerical BCs such as reflective/Neumann. Several numerical tests, tables, and visualizations are provided and critically discussed. The conclusion is that the truncated numerical anti-reflective BCs perform better, both in terms of accuracy and low computational cost.


title: PanGu-Draw: Advancing Resource-Efficient Text-to-Image Synthesis with Time-Decoupled Training and Reusable Coop-Diffusion

abstract: Current large-scale diffusion models represent a giant leap forward in conditional image synthesis, capable of interpreting diverse cues like text, human poses, and edges. However, their reliance on substantial computational resources and extensive data collection remains a bottleneck. On the other hand, the integration of existing diffusion models, each specialized for different controls and operating in unique latent spaces, poses a challenge due to incompatible image resolutions and latent space embedding structures, hindering their joint use. Addressing these constraints, we present "PanGu-Draw", a novel latent diffusion model designed for resource-efficient text-to-image synthesis that adeptly accommodates multiple control signals. We first propose a resource-efficient Time-Decoupling Training Strategy, which splits the monolithic text-to-image model into structure and texture generators. Each generator is trained using a regimen that maximizes data utilization and computational efficiency, cutting data preparation by 48% and reducing training resources by 51%. Secondly, we introduce "Coop-Diffusion", an algorithm that enables the cooperative use of various pre-trained diffusion models with different latent spaces and predefined resolutions within a unified denoising process. This allows for multi-control image synthesis at arbitrary resolutions without the necessity for additional data or retraining. Empirical validations of Pangu-Draw show its exceptional prowess in text-to-image and multi-control image generation, suggesting a promising direction for future model training efficiencies and generation versatility. The largest 5B T2I PanGu-Draw model is released on the Ascend platform. Project page: $\href{https://pangu-draw.github.io}{this~https~URL}$


title: Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits

abstract: We define a model of predicate logic in which every term and predicate, open or closed, has an absolute denotation independently of a valuation of the variables. For each variable a, the domain of the model contains an element [[a]] which is the denotation of the term a (which is also a variable symbol). Similarly, the algebra interpreting predicates in the model directly interprets open predicates. Because of this models must also incorporate notions of substitution and quantification. These notions are axiomatic, and need not be applied only to sets of syntax. We prove soundness and show how every 'ordinary' model (i.e. model based on sets and valuations) can be translated to one of our nominal models, and thus also prove completeness.


title: Source Code is a Graph, Not a Sequence: A Cross-Lingual Perspective on Code Clone Detection

abstract: Source code clone detection is the task of finding code fragments that have the same or similar functionality, but may differ in syntax or structure. This task is important for software maintenance, reuse, and quality assurance (Roy et al. 2009). However, code clone detection is challenging, as source code can be written in different languages, domains, and styles. In this paper, we argue that source code is inherently a graph, not a sequence, and that graph-based methods are more suitable for code clone detection than sequence-based methods. We compare the performance of two state-of-the-art models: CodeBERT (Feng et al. 2020), a sequence-based model, and CodeGraph (Yu et al. 2023), a graph-based model, on two benchmark data-sets: BCB (Svajlenko et al. 2014) and PoolC (PoolC no date). We show that CodeGraph outperforms CodeBERT on both data-sets, especially on cross-lingual code clones. To the best of our knowledge, this is the first work to demonstrate the superiority of graph-based methods over sequence-based methods on cross-lingual code clone detection.


title: Best-of-Both-Worlds Linear Contextual Bandits

abstract: This study investigates the problem of $K$-armed linear contextual bandits, an instance of the multi-armed bandit problem, under an adversarial corruption. At each round, a decision-maker observes an independent and identically distributed context and then selects an arm based on the context and past observations. After selecting an arm, the decision-maker incurs a loss corresponding to the selected arm. The decision-maker aims to minimize the cumulative loss over the trial. The goal of this study is to develop a strategy that is effective in both stochastic and adversarial environments, with theoretical guarantees. We first formulate the problem by introducing a novel setting of bandits with adversarial corruption, referred to as the contextual adversarial regime with a self-bounding constraint. We assume linear models for the relationship between the loss and the context. Then, we propose a strategy that extends the RealLinExp3 by Neu & Olkhovskaya (2020) and the Follow-The-Regularized-Leader (FTRL). The regret of our proposed algorithm is shown to be upper-bounded by $O\left(\min\left\{\frac{(\log(T))^3}{\Delta_{*}} + \sqrt{\frac{C(\log(T))^3}{\Delta_{*}}},\ \ \sqrt{T}(\log(T))^2\right\}\right)$, where $T \in\mathbb{N}$ is the number of rounds, $\Delta_{*} > 0$ is the constant minimum gap between the best and suboptimal arms for any context, and $C\in[0, T] $ is an adversarial corruption parameter. This regret upper bound implies $O\left(\frac{(\log(T))^3}{\Delta_{*}}\right)$ in a stochastic environment and by $O\left( \sqrt{T}(\log(T))^2\right)$ in an adversarial environment. We refer to our strategy as the Best-of-Both-Worlds (BoBW) RealFTRL, due to its theoretical guarantees in both stochastic and adversarial regimes.


title: Understanding News Creation Intents: Frame, Dataset, and Method

abstract: As the disruptive changes in the media economy and the proliferation of alternative news media outlets, news intent has progressively deviated from ethical standards that serve the public interest. News intent refers to the purpose or intention behind the creation of a news article. While the significance of research on news intent has been widely acknowledged, the absence of a systematic news intent understanding framework hinders further exploration of news intent and its downstream applications. To bridge this gap, we propose News INTent (NINT) frame, the first component-aware formalism for understanding the news creation intent based on research in philosophy, psychology, and cognitive science. Within this frame, we define the news intent identification task and provide a benchmark dataset with fine-grained labels along with an efficient benchmark method. Experiments demonstrate that NINT is beneficial in both the intent identification task and downstream tasks that demand a profound understanding of news. This work marks a foundational step towards a more systematic exploration of news creation intents.


title: Space-time Metallic Metasurfaces for Frequency Conversion and Beamforming

abstract: This paper details a class of metal-based space-time metasurfaces for application in wireless communications scenarios. Concretely, we describe space-time metasurfaces that periodically alternate their properties in time between three spatial states: "air", "conductor" and "grating". We analyze the physics of these metastructures via a computationally-efficient analytical technique based on the use of Floquet-Bloch series, integral equations and circuit models. By doing so, we reveal important features of these spatiotemporal metasurfaces: scattering parameters, field profiles, diffraction angles and nature of the space-time harmonics. The results, corroborated with a self-implemented numerical FDTD approach, show the potential application of these space-time metasurfaces as beamformers acting in reflection, in transmission or both. The amplitude and direction of the diffracted orders can be electronically controlled with the paramaters of the metasurface. Moreover, the intrinsic ability of time-modulated diffractive metasurfaces to mix and multiply frequencies is tested. We show how two different modulations can lead to the same diffraction angle but with different mixed output frequencies.


title: Symplectic Normal Form and Growth of Sobolev Norm

abstract: For a class of reducible Hamiltonian partial differential equations (PDEs) with arbitrary spatial dimensions, quantified by a quadratic polynomial with time-dependent coefficients, we present a comprehensive classification of long-term solution behaviors within Sobolev space. This classification is achieved through the utilization of Metaplectic and Schr\"odinger representations. Each pattern of Sobolev norm behavior corresponds to a specific $n-$dimensional symplectic normal form, as detailed in Theorems 1.1 and 1.2. When applied to periodically or quasi-periodically forced $n-$dimensional quantum harmonic oscillators, we identify novel growth rates for the $\mathcal{H}^s-$norm as $t$ tends to infinity, such as $t^{(n-1)s}e^{\lambda st}$ (with $\lambda>0$) and $t^{(2n-1)s}+ \iota t^{2ns}$ (with $\iota\geq 0$). Notably, we demonstrate that stability in Sobolev space, defined as the boundedness of the Sobolev norm, is essentially a unique characteristic of one-dimensional scenarios, as outlined in Theorem 1.3. As a byproduct, we discover that the growth rate of the Sobolev norm for the quantum Hamiltonian can be directly described by that of the solution to the classical Hamiltonian which exhibits the ``fastest" growth, as articulated in Theorem 1.4.


title: A robust hybrid receiver for binary phase-shift keying discrimination in the presence of phase noise

abstract: We address the problem of coherent state discrimination in the presence of phase diffusion. We investigate the role of the hybrid near-optimum receiver (HYNORE) we proposed in [J. Opt. Soc. Am. B 40, 705-714 (2023)] in the task of mitigating the noise impact. We prove the HYNORE to be a robust receiver, outperforming the displacement photon-number-resolving (DPNR) receiver and beating the standard quantum limit in particular regimes. We introduce the maximum tolerable phase noise $\sigma_{\mathrm{max}}$ as a figure of merit for the receiver robustness and show that HYNORE increases its value with respect to the DPNR receiver.


title: Efficiency of plasmochemical production of hydrogen from propane under the influence of laser radiation

abstract: The plasma-chemical process of producing hydrogen from propane under the excitation by laser radiation has been studied. The study was carried out using femtosecond (35 fs) and nanosecond (7 ns) pulsed laser radiation sources. Experimental dependences of the volumetric hydrogen content in the gas mixture at the outlet of the reactor were measured depending on the propane supply rate. Equations have been proposed that describe the amount of hydrogen produced, taking into account the propane supply rate and the effect of its mixing with the resulting hydrogen. The resulting equations can be applied to the plasma-chemical decomposition of other hydrocarbons. Their application to experimentally studied processes made it possible to calculate the maximum possible efficiency of hydrogen production for the given characteristics of laser radiation. The results obtained made it possible to give recommendations on changing the parameters of laser radiation in order to increase the efficiency of the plasma-chemical process.


title: An improved spectral inequality for sums of eigenfunctions

abstract: We establish a new spectral inequality for the quantified estimation of the $H^s$-norm, $s\ge 0$ of a finite linear combination of eigenfunctions in a domain in terms of its $H^s$-norm in a strictly open subset of the whole domain. The corresponding upper bound depends exponentially on the square root of the frequency number associated to the linear combination.


title: Rational Economic Behaviours in the Bitcoin Lightning Network

abstract: The Bitcoin Lightning Network (LN) is designed to improve the scalability of blockchain systems by using off-chain payment paths to settle transactions in a faster, cheaper, and more private manner. This work aims to empirically study LN's fee revenue for network participants. Under realistic assumptions on payment amounts, routing algorithms and traffic distribution, we analyze the economic returns of the network's largest routing nodes which currently hold the network together, and assess whether the centralizing tendency is incentive-compatible from an economic viewpoint. Moreover, since recent literature has proved that participation is economically irrational for the majority of large nodes, we evaluate the long-term impact on the network topology when participants start behaving rationally.


title: Mobility and Cost Aware Inference Accelerating Algorithm for Edge Intelligence

abstract: The edge intelligence (EI) has been widely applied recently. Spliting the model between device, edge server, and cloud can improve the performance of EI greatly. The model segmentation without user mobility has been investigated deeply by previous works. However, in most use cases of EI, the end devices are mobile. Only a few works have been carried out on this aspect. These works still have many issues, such as ignoring the energy consumption of mobile device, inappropriate network assumption, and low effectiveness on adaptiving user mobility, etc. Therefore, for addressing the disadvantages of model segmentation and resource allocation in previous works, we propose mobility and cost aware model segmentation and resource allocation algorithm for accelerating the inference at edge (MCSA). Specfically, in the scenario without user mobility, the loop interation gradient descent (Li-GD) algorithm is provided. When the mobile user has a large model inference task needs to be calculated, it will take the energy consumption of mobile user, the communication and computing resource renting cost, and the inference delay into account to find the optimal model segmentation and resource allocation strategy. In the scenario with user mobility, the mobiity aware Li-GD (MLi-GD) algorithm is proposed to calculate the optimal strategy. Then, the properties of the proposed algorithms are investigated, including convergence, complexity, and approximation ratio. The experimental results demonstrate the effectiveness of the proposed algorithms.


title: A Non-Uniform Low-Light Image Enhancement Method with Multi-Scale Attention Transformer and Luminance Consistency Loss

abstract: Low-light image enhancement aims to improve the perception of images collected in dim environments and provide high-quality data support for image recognition tasks. When dealing with photos captured under non-uniform illumination, existing methods cannot adaptively extract the differentiated luminance information, which will easily cause over-exposure and under-exposure. From the perspective of unsupervised learning, we propose a multi-scale attention Transformer named MSATr, which sufficiently extracts local and global features for light balance to improve the visual quality. Specifically, we present a multi-scale window division scheme, which uses exponential sequences to adjust the window size of each layer. Within different-sized windows, the self-attention computation can be refined, ensuring the pixel-level feature processing capability of the model. For feature interaction across windows, a global transformer branch is constructed to provide comprehensive brightness perception and alleviate exposure problems. Furthermore, we propose a loop training strategy, using the diverse images generated by weighted mixing and a luminance consistency loss to improve the model's generalization ability effectively. Extensive experiments on several benchmark datasets quantitatively and qualitatively prove that our MSATr is superior to state-of-the-art low-light image enhancement methods, and the enhanced images have more natural brightness and outstanding details. The code is released at https://github.com/fang001021/MSATr.


title: Camera calibration for the surround-view system: a benchmark and dataset

abstract: Surround-view system (SVS) is widely used in the Advanced Driver Assistance System (ADAS). SVS uses four fisheye lenses to monitor real-time scenes around the vehicle. However, accurate intrinsic and extrinsic parameter estimation is required for the proper functioning of the system. At present, the intrinsic calibration can be pipeline by utilizing checkerboard algorithm, while extrinsic calibration is still immature. Therefore, we proposed a specific calibration pipeline to estimate extrinsic parameters robustly. This scheme takes a driving sequence of four cameras as input. It firstly utilizes lane line to roughly estimate each camera pose. Considering the environmental condition differences in each camera, we separately select strategies from two methods to accurately estimate the extrinsic parameters. To achieve accurate estimates for both front and rear camera, we proposed a method that mutually iterating line detection and pose estimation. As for bilateral camera, we iteratively adjust the camera pose and position by minimizing texture and edge error between ground projections of adjacent cameras. After estimating the extrinsic parameters, the surround-view image can be synthesized by homography-based transformation. The proposed pipeline can robustly estimate the four SVS camera extrinsic parameters in real driving environments. In addition, to evaluate the proposed scheme, we build a surround-view fisheye dataset, which contains 40 videos with 32,000 frames, acquired from different real traffic scenarios. All the frames in each video are manually labeled with lane annotation, with its GT extrinsic parameters. Moreover, this surround-view dataset could be used by other researchers to evaluate their performance. The dataset will be available soon.


title: Emergent hydrodynamics in a non-reciprocal classical isotropic magnet

abstract: The Hamiltonian nature of the precessional dynamics of the classical Heisenberg model leads to reciprocal interactions amongst the spins. Heisenberg spins are reciprocal in nature. In this work, we study the dynamics of a nonequilibrium classical spin chain in which the neighbours interact through a purely non-reciprocal exchange coupling [EPL 60, 418 (2002)] which preserves rotational symmetry. The resultant dynamics conserves neither magnetization nor energy. We uncover other local conservation laws in their place in the extreme case of a strictly antisymmetric coupling. We show numerically that the model undergoes an analogue of thermalization. We present results on the presence of conserved quantities, their diffusive spreading and a hydrodynamic picture, and the nature of the decorrelation front upon adding an initial perturbation to the system.


title: Inkjet-Printed High-Yield, Reconfigurable, and Recyclable Memristors on Paper

abstract: Reconfigurable memristors featuring neural and synaptic functions hold great potential for neuromorphic circuits by simplifying system architecture, cutting power consumption, and boosting computational efficiency. Their additive manufacturing on sustainable substrates offers unique advantages for future electronics, including low environmental impact. Here, exploiting structure-property relationship of MoS2 nanoflake-based resistive layer, we present paper-based, inkjet-printed, reconfigurable memristors. With >90% yield from a 16x65 device array, our memristors demonstrate robust resistive switching, with $>10^5$ ON-OFF ratio and <0.5 V operation in non-volatile state. Through modulation of compliance current, the devices transition into volatile state, with only 50 pW switching power consumption, rivalling state-of-the-art metal oxide-based counterparts. We show device recyclability and stable, reconfigurable operation following disassembly, material collection and re-fabrication. We further demonstrate synaptic plasticity and neuronal leaky integrate-and-fire functionality, with disposable applications in smart packaging and simulated medical image diagnostics. Our work shows a sustainable pathway towards printable, high-yield, reconfigurable neuromorphic devices, with minimal environmental footprint.


title: Bezier-based Regression Feature Descriptor for Deformable Linear Objects

abstract: In this paper, a feature extraction approach for the deformable linear object is presented, which uses a Bezier curve to represent the original geometric shape. The proposed extraction strategy is combined with a parameterization technique, the goal is to compute the regression features from the visual-feedback RGB image, and finally obtain the efficient shape feature in the low-dimensional latent space. Existing works of literature often fail to capture the complex characteristics in a unified framework. They also struggle in scenarios where only local shape descriptors are used to guide the robot to complete the manipulation. To address these challenges, we propose a feature extraction technique using a parameterization approach to generate the regression features, which leverages the power of the Bezier curve and linear regression. The proposed extraction method effectively captures topological features and node characteristics, making it well-suited for the deformation object manipulation task. Large mount of simulations are conducted to evaluate the presented method. Our results demonstrate that the proposed method outperforms existing methods in terms of prediction accuracy, robustness, and computational efficiency. Furthermore, our approach enables the extraction of meaningful insights from the predicted links, thereby contributing to a better understanding of the shape of the deformable linear objects. Overall, this work represents a significant step forward in the use of Bezier curve for shape representation.


title: Attention-Enhanced Reservoir Computing

abstract: Photonic reservoir computing has been successfully utilized in time-series prediction as the need for hardware implementations has increased. Prediction of chaotic time series remains a significant challenge, an area where the conventional reservoir computing framework encounters limitations of prediction accuracy. We introduce an attention mechanism to the reservoir computing model in the output stage. This attention layer is designed to prioritize distinct features and temporal sequences, thereby substantially enhancing the prediction accuracy. Our results show that a photonic reservoir computer enhanced with the attention mechanism exhibits improved prediction capabilities for smaller reservoirs. These advancements highlight the transformative possibilities of reservoir computing for practical applications where accurate prediction of chaotic time series is crucial.


title: Hochschild and cotangent complexes of operadic algebras

abstract: We make use of the cotangent complex formalism developed by Lurie to formulate Quillen cohomology of algebras over an operad in a general base category. Moreover, using the same machinery, we introduce a spectral Hochschild cohomology theory for enriched operads and algebras over them. We prove further that both the Quillen and Hochschild cohomologies of algebras over an operad can be controlled by the corresponding cohomologies of the operad itself. When passing to the category of simplicial sets, we assert that both these cohomology theories for operads, as well as their associated algebras, can be calculated in the same framework of spectrum valued functors on the twisted arrow $\infty$-category of the operad of interest. This assertion allows us to establish a connection between Hochschild and Quillen cohomologies of simplicial operads. Additionally, we formulate the Quillen principle for $E_n$-algebras in simplicial sets, which provides a convenient fiber sequence relating the Hochschild and cotangent complexes of such objects. This determines an unstable-analogue of a significant result obtained by Francis and Lurie. Our strategy introduces a novel perspective, focusing solely on the intrinsic properties of the twisted arrow $\infty$-categories of operads.


title: Asynchronous iterations of HSS method for non-Hermitian linear systems

abstract: A general asynchronous alternating iterative model is designed, for which convergence is theoretically ensured both under classical spectral radius bound and, then, for a classical class of matrix splittings for $\mathsf H$-matrices. The computational model can be thought of as a two-stage alternating iterative method, which well suits to the well-known Hermitian and skew-Hermitian splitting (HSS) approach, with the particularity here of considering only one inner iteration. Experimental parallel performance comparison is conducted between the generalized minimal residual (GMRES) algorithm, the standard HSS and our asynchronous variant, on both real and complex non-Hermitian linear systems respectively arising from convection-diffusion and structural dynamics problems. A significant gain on execution time is observed in both cases.


title: AM CVn -- System Parameters and Gravitational Waves

abstract: System parameters are re-determined: $M_1=0.86\pm0.18M\odot$, $M_2=0.103\pm0.022M\odot$, $A=1.508\pm 0.100\times 10^{10}$cm, and $i=69\pm3^{\circ}$. The secondary component is a semi-degenerate helium star loosing mass at a rate $\dot M=4.93\pm 1.65\times10^{-9}M\odot/yr$. The accretion disk is sufficiently hot to avoid thermal instability. The orbital light curve recovered from observations made in 1962 shows minimum shifted to phase $\phi=0.50$, corresponding to $O-C=0.0060$d. Together with mimima observed in 1992-99 this implies that the orbital period is increasing at a rate $dP/dt\approx 8.5 \times 10^{-13}$ consistent with predictions involving the emission of gravitational waves.


title: Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models

abstract: Methodologies for development of complex systems and models include external reviews by domain and technology experts. Among others, such reviews can uncover undocumented built-in assumptions that may be critical for correct and safe operation or constrain applicability. Since such assumptions may still escape human-centered processes like reviews, agile development, and risk analyses, here, we contribute toward making this process more methodical and automatable. We first present a blueprint for a taxonomy and formalization of the problem. We then show that a variety of digital artifacts of the system or model can be automatically checked against extensive reference knowledge. Since mimicking the breadth and depth of knowledge and skills of experts may appear unattainable, we illustrate the basic feasibility of automation with rudimentary experiments using OpenAI's ChatGPT. We believe that systematic handling of this aspect of system engineering can contribute significantly to the quality and safety of complex systems and models, and to the efficiency of development projects. We dedicate this work to Werner Damm, whose contributions to modeling and model-based development, in industry and academia, with a special focus on safety, helped establish a solid foundation to our discipline and to the work of many scientists and professionals, including, naturally, the approaches and techniques described here.


title: Multilayer control of synchronization and cascading failures in power grids

abstract: In this work, we propose a control scheme for power grids subject to large perturbations that cause the failure of a node of the grid. Under such circumstances, the system may lose synchrony and, in addition, a cascade of line failures can be triggered as an effect of the flow redistribution that activates the protection mechanisms equipped on each line of the grid. To devise a control action for addressing this problem, we adopt a multi-layer network-based description of the power grid that incorporates an overflow condition to model the possibility of cascading failures. The two other layers of the structure are devoted to the control, one implements the distributed proportional control law, and the other the integral control law. To exemplify the application of our model, we study the Italian high-voltage power grid for different parameters and topologies of the control layers.

categories: eess.SY cs.SY math.DS nlin.AO physics.class-ph


title: Novel Instabilities in Counter-Streaming Nonabelian Fluids

abstract: The dynamics of strongly interacting particles are governed by Yang-Mills (Y-M) theory, which is a natural generalization of Maxwell Electrodynamics (ED). Its quantized version is known as quantum chromodynamics (QCD) and has been very well studied. Classical Y-M theory is proving to be equally interesting because of the central role it plays in describing the physics of quark-gluon plasma (QGP)-which was prevalent in the early universe and is also produced in relativistic heavy ion collision experiments. This calls for a systematic study of classical Y-M theories. A good insight into classical Y-M dynamics would be best obtained by comparing and contrasting the Y-M results with their ED counterparts. In this article, a beginning has been made by considering streaming instabilities in Y-M fluids. We find that in addition to analogues of ED instabilities, novel nonabelian modes arise, reflecting the inherent nonabelian nature of the interaction. The new modes exhibit propagation/ growth, with growth rates that can be larger than what we find in ED. Interestingly, we also find a mode that propagates without getting affected by the medium.


title: Structure and Optimization of Parameters for Neural Network Controllers in Automatic Control Systems

abstract: The article outlines the methodology of structural and parametric synthesis of neural network controllers for controlling objects with limiters under incomplete information about the controlled object. Artificial neural networks are used to create controllers that are sequentially integrated into a control system with control objects. Reinforcement learning and pre-building a neural network imitator of the control object are used to synthesize the neural network controller. This approach is particularly effective when classical control system synthesis methods are not applicable due to significant nonlinearity and the difficulty in forming a mathematical model of the control object with the required accuracy. The proposed methods expand the class of technical systems for which direct synthesis of near-optimal control laws is possible. The robustness, adaptability and technical feasibility of neural network controllers make them interesting for practical applications. The main attention in the article is paid to the choice of neural network structure in the imitator and controller, formation of training samples taking into account the limitations of the control object.


title: S2M: Converting Single-Turn to Multi-Turn Datasets for Conversational Question Answering

abstract: Supplying data augmentation to conversational question answering (CQA) can effectively improve model performance. However, there is less improvement from single-turn datasets in CQA due to the distribution gap between single-turn and multi-turn datasets. On the other hand, while numerous single-turn datasets are available, we have not utilized them effectively. To solve this problem, we propose a novel method to convert single-turn datasets to multi-turn datasets. The proposed method consists of three parts, namely, a QA pair Generator, a QA pair Reassembler, and a question Rewriter. Given a sample consisting of context and single-turn QA pairs, the Generator obtains candidate QA pairs and a knowledge graph based on the context. The Reassembler utilizes the knowledge graph to get sequential QA pairs, and the Rewriter rewrites questions from a conversational perspective to obtain a multi-turn dataset S2M. Our experiments show that our method can synthesize effective training resources for CQA. Notably, S2M ranks 1st place on the QuAC leaderboard at the time of submission (Aug 24th, 2022).


title: Degrees-of-freedom penalized piecewise regression

abstract: Many popular piecewise regression models rely on minimizing a cost function on the model fit with a linear penalty on the number of segments. However, this penalty does not take into account varying complexities of the model functions on the segments potentially leading to overfitting when models with varying complexities, such as polynomials of different degrees, are used. In this work, we enhance on this approach by instead using a penalty on the sum of the degrees of freedom over all segments, called degrees-of-freedom penalized piecewise regression (DofPPR). We show that the solutions of the resulting minimization problem are unique for almost all input data in a least squares setting. We develop a fast algorithm which does not only compute a minimizer but also determines an optimal hyperparameter -- in the sense of rolling cross validation with the one standard error rule -- exactly. This eliminates manual hyperparameter selection. Our method supports optional user parameters for incorporating domain knowledge. We provide an open-source Python/Rust code for the piecewise polynomial least squares case which can be extended to further models. We demonstrate the practical utility through a simulation study and by applications to real data. A constrained variant of the proposed method gives state-of-the-art results in the Turing benchmark for unsupervised changepoint detection.


title: It Is Time To Steer: A Scalable Framework for Analysis-driven Attack Graph Generation

abstract: In modern computer networks where sophisticated cyber attacks occur daily, a timely cyber risk assessment becomes paramount. Attack Graph (AG) represents the best-suited solution to model and analyze multi-step attacks on computer networks, although they suffer from poor scalability due to their combinatorial complexity. This paper introduces an analysis-driven framework for AG generation. It enables real-time attack path analysis before the completion of the AG generation with a quantifiable statistical significance. We further accelerate the AG generation by steering it with the analysis query and supporting a novel workflow in which the analyst can query the system anytime. To show the capabilities of the proposed framework, we perform an extensive quantitative validation and we present a realistic case study on networks of unprecedented size. It demonstrates the advantages of our approach in terms of scalability and fitting to common attack path analyses.


title: Global gyrokinetic simulation of magnetic island induced ion temperature gradient turbulence in toroidal plasma

abstract: The characteristics of ion temperature gradient (ITG) turbulence in the presence of a magnetic island are numerically investigated using a gyrokinetic model. We observe that in the absence of the usual ITG drive gradient, a solitary magnetic island alone can drive ITG instability. The magnetic island not only drives high-n modes of ITG instability but also induces low-n modes of vortex flow. Moreover, as the magnetic island width increases, the width of the vortex flow also increases. This implies that wider islands may more easily induce vortex flows. The study further indicates that the saturated amplitude and transport level of MI-induced ITG turbulence vary with different magnetic island widths. In general, larger magnetic islands enhance both particle and heat transport. When the magnetic island is of the order of 21 times the ion gyroradius (21\{rho}_i), the turbulence-driven transport level can reach the same level in cases where ITG is driven by pressure gradients.


title: The Knothe-Rosenblatt distance and its induced topology

abstract: A basic and natural coupling between two probabilities on $\mathbb R^N$ is given by the Knothe-Rosenblatt coupling. It represents a multiperiod extension of the quantile coupling and is simple to calculate numerically. We consider the distance on $\mathcal P (\mathbb R^N)$ that is induced by considering the transport costs associated to the Knothe-Rosenblatt coupling. We show that this Knothe-Rosenblatt distance metrizes the adapted weak topology which is a stochastic process version of the usual weak topology and plays an important role, e.g. concerning questions on stability of stochastic control and probabilistic operations. We also establish that the Knothe-Rosenblatt distance is a geodesic distance, give a Skorokhod representation theorem for the adapted weak topology, and provide multi-dimensional versions of our results.


title: ConstScene: Dataset and Model for Advancing Robust Semantic Segmentation in Construction Environments

abstract: The increasing demand for autonomous machines in construction environments necessitates the development of robust object detection algorithms that can perform effectively across various weather and environmental conditions. This paper introduces a new semantic segmentation dataset specifically tailored for construction sites, taking into account the diverse challenges posed by adverse weather and environmental conditions. The dataset is designed to enhance the training and evaluation of object detection models, fostering their adaptability and reliability in real-world construction applications. Our dataset comprises annotated images captured under a wide range of different weather conditions, including but not limited to sunny days, rainy periods, foggy atmospheres, and low-light situations. Additionally, environmental factors such as the existence of dirt/mud on the camera lens are integrated into the dataset through actual captures and synthetic generation to simulate the complex conditions prevalent in construction sites. We also generate synthetic images of the annotations including precise semantic segmentation masks for various objects commonly found in construction environments, such as wheel loader machines, personnel, cars, and structural elements. To demonstrate the dataset's utility, we evaluate state-of-the-art object detection algorithms on our proposed benchmark. The results highlight the dataset's success in adversarial training models across diverse conditions, showcasing its efficacy compared to existing datasets that lack such environmental variability.


title: Long-time behavior of awesome homogeneous Ricci flows

abstract: We show that the set of awesome homogeneous metrics on non-compact manifolds is Ricci flow invariant. Moreover, if the universal cover of such awesome homogeneous space is not contractible the Ricci flow has finite extinction time, confirming the Dynamical Alekseevskii Conjecture in this case. We also analyze the long-time limits of awesome homogeneous Ricci flows.


title: Quadratic Killing tensors on symmetric spaces which are not generated by Killing vector fields

abstract: Every Killing tensor field on the space of constant curvature and on the complex projective space can be decomposed into the sum of symmetric tensor products of Killing vector fields (equivalently, every polynomial in the velocities integral of the geodesic flow is a polynomial in the linear integrals). This fact led to the natural question on whether this property is shared by Killing tensor fields on all Riemannian symmetric spaces. We answer this question in the negative by constructing explicit examples of quadratic Killing tensor fields which are not quadratic forms in the Killing vector fields on the quaternionic projective spaces $\mathbb{H} P^n, n \ge 3$, and on the Cayley projective plane $\mathbb{O} P^2$.


title: Image Restoration by Denoising Diffusion Models with Iteratively Preconditioned Guidance

abstract: Training deep neural networks has become a common approach for addressing image restoration problems. An alternative for training a "task-specific" network for each observation model is to use pretrained deep denoisers for imposing only the signal's prior within iterative algorithms, without additional training. Recently, a sampling-based variant of this approach has become popular with the rise of diffusion/score-based generative models. Using denoisers for general purpose restoration requires guiding the iterations to ensure agreement of the signal with the observations. In low-noise settings, guidance that is based on back-projection (BP) has been shown to be a promising strategy (used recently also under the names "pseudoinverse" or "range/null-space" guidance). However, the presence of noise in the observations hinders the gains from this approach. In this paper, we propose a novel guidance technique, based on preconditioning that allows traversing from BP-based guidance to least squares based guidance along the restoration scheme. The proposed approach is robust to noise while still having much simpler implementation than alternative methods (e.g., it does not require SVD or a large number of iterations). We use it within both an optimization scheme and a sampling-based scheme, and demonstrate its advantages over existing methods for image deblurring and super-resolution.


title: Structural Diagnosability Analysis of Switched and Modular Battery Packs

abstract: Safety, reliability, and durability are targets of all engineering systems, including Li-ion batteries in electric vehicles. This paper focuses on sensor setup exploration for a battery-integrated modular multilevel converter (BI-MMC) that can be part of a solution to sustainable electrification of vehicles. BI-MMC contains switches to convert DC to AC to drive an electric machine. The various configurations of switches result in different operation modes, which in turn, pose great challenges for diagnostics. The study explores diverse sensor arrangements and system configurations for detecting and isolating faults in modular battery packs. Configurations involving a minimum of two modules integrated into the pack are essential to successfully isolate all faults. The findings indicate that the default sensor setup is insufficient for achieving complete fault isolability. Additionally, the investigation also demonstrates that current sensors in the submodules do not contribute significantly to fault isolability. Further, the results on switch positions show that the system configuration has a significant impact on fault isolability. A combination of appropriate sensor data and system configuration is important in achieving optimal diagnosability, which is a paramount objective in ensuring system safety.


title: The relation between magnetic switchbacks and turbulence in the inner heliosphere

abstract: We investigate the relation between turbulence and magnetic field switchbacks in the inner heliosphere below 0.5 AU in a distance and scale dependent manner. The analysis is performed by studying the evolution of the magnetic field vector increments and the corresponding rotation distributions, which contain the switchbacks. We find that the rotation distributions evolve in a scale dependent fashion, having the same shape at small scales independent of the radial distance, contrary to at larger scales where the shape evolves with distance. The increments are shown to evolve towards a log-normal shape with increasing radial distance, even though the log-normal fit works quite well at all distances especially at small scales. The rotation distributions are shown to evolve towards the Zhdankin et al. (2012) rotation model moving away from the Sun. The magnetic switchbacks do not appear at any distance as a clear separate population. Our results suggest a scenario in which the evolution of the rotation distributions, including switchbacks, is primarily the result of the expansion driven growth of the fluctuations, which are reshaped into a log-normal distribution by the solar wind turbulence.


title: Tachyons in "momentum-space'' representation

abstract: The momentum space associated with "tachyonic particles" proves to be rather intricate, departing very much from the ordinary dual to Minkowski space directly parametrized by space-time translations of the Poincar\'e group. In fact, although described by the constants of motion (Noether invariants) associated with space-time translations, they depend non-trivially on the parameters of the rotation subgroup. However, once the momentum space is parametrized by the Noether invariants, it behaves exactly as that of ordinary particles. On the other hand, the evolution parameter is no longer the one associated with time translation, whose Noether invariant, $P_o$, is now a basic one. Evolution takes place in a spatial direction. These facts not only make difficult the computation of the corresponding representation, but also force us to a sound revision of several traditional ingredients related to Cauchy hypersurface, scalar product and, of course, causality. After that, the theory becomes consistent and could shed new light on some special physical situations like inflation or traveling inside a black hole.


title: Mapping bibliographic metadata collections: the case of OpenCitations Meta and OpenAlex

abstract: This study describes the methodology and analyses the results of the process of mapping entities between two large open bibliographic metadata collections, OpenCitations Meta and OpenAlex. The primary objective of this mapping is to integrate OpenAlex internal identifiers into the existing metadata of bibliographic resources in OpenCitations Meta, thereby interlinking and aligning these collections. Furthermore, analysing the output of the mapping provides a unique perspective on the consistency and accuracy of bibliographic metadata, offering a valuable tool for identifying potential inconsistencies in the processed data.


title: On some algebraic and geometric extensions of Goldbach's conjecture

abstract: The goal of this paper is to study Goldbach's conjecture for rings of regular functions of affine algebraic varieties over a field. Among our main results, we define the notion of Goldbach condition for Newton polytopes, and we prove in a constructive way that any polynomial in at least two variables over a field can be expressed as sum of at most $2r$ absolutely irreducible polynomials, where $r$ is the number of its non--zero monomials. We also study other weak forms of Goldbach's conjecture for localizations of these rings. Moreover, we prove the validity of Goldbach's conjecture for a particular instance of the so--called forcing algebras introduced by Hochster. Finally, we prove that, for a proper multiplicative closed set $S$ of $\mathbb{Z}$, the collection of elements of $S^{-1}\mathbb{Z}$ that can be written as finite sum of primes forms a dense subset of the real numbers, among other results.


title: Diagnosis of Small-world Bias in Random Graphs

abstract: Background: Imagine a paper with n nodes on it where each pair undergoes a coin toss experiment; if heads we connect the pair with an undirected link, while tails maintain the disconnection. This procedure yields a random graph. Now consider duplicating this network onto another paper with a slight bias-a fraction of its links (approximately 1/10) undergo rearrangement. If we shuffle the two papers, how can we distinguish the pure random graph from the biased one? Results: In response to this challenge, we propose a novel metric called Randomness Index (RI). The closer the metric to zero is, the higher degree of randomness in the graph. The RI can distinguish between dense small-world networks and dense random graphs; a distinction which is impossible by conventional small-world properties like clustering coefficient and average path length. To validate its effectiveness, we apply the RI to temporal correlation networks of stock indices. Our findings reveal a reduction in randomness during global economic recession periods. Conclusion: The RI emerges as a powerful metric capable of characterizing small-world topology, especially in scenarios where other network measures fail. Beyond its utility in network analysis, the RI is promising for change-point (anomaly) detection in dynamical systems studied by means of multivariate time series.


title: On the Hole Argument and the physical interpretation of General Relativity

abstract: Einstein presented the Hole Argument against General Covariance, understood as invariance with respect to a change of coordinates, as a consequence of his initial failure to obtain covariant equations that, in the weak static limit, contain Newton's law. Fortunately, about two years later, Einstein returned to General Covariance and found these famous equations of gravity. However, the rejection of his Hole Argument carries a totally different vision of space-time. Its substantivalism notion, which is an essential ingredient in Newtonian theory and also in his special theory of relativity, has to be replaced, following Descartes and Leibniz's relationalism, by a set of "point-coincidences."


title: Improved global well-posedness for mass-critical nonlinear Schr\"odinger equations on tori

abstract: We show new global well-posedness results for mass-critical nonlinear Schr\"odinger equations on tori in one and two dimensions. For the quintic nonlinear Schr\"odinger equation on the circle we show global well-posedness for initial data in $H^s(\mathbb{T})$ for $s>\frac{1}{3}$ and $\| u_0 \|_{L^2(\mathbb{T})} \ll 1$. In two dimensions we show global well-posedness on possibly irrational tori for $s>\frac{3}{5}$. In the focusing case we need a smallness condition for the mass, whereas in the defocusing case large mass is covered.


title: Identification of Opinion Leaders in a Telegram Network of Forwarded Messages

abstract: Unraveling the role of opinion leaders in the digital realm, this study investigates the influence of key actors on Telegram, a hybrid platform that combines messaging app features with social network dynamics, where channel administrators gain a unique authoritative role. This research aims to create a method to identify opinion leaders in a network of forwarded messages on Telegram, adapting a method originally developed to be applied to Twitter. The adapted method is showcased through a case study during the 2022 Brazilian Presidential Election, involving the monitoring of 25 pro-Bolsonaro groups. The findings contribute to understanding the dynamics of digital opinion leadership, particularly in politically charged environments.


title: Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm

abstract: Exploring whether Enriched Category Theory could provide the foundation of an alternative approach to Machine Learning. This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory. In order to supplement evidence that Category Theory can be used to motivate robust and explainable algorithms, it is shown that a series of reasonable assumptions about a dataset lead to the construction of the Nearest Neighbours Algorithm. In particular, as an extension of the original dataset using profunctors in the category of Lawvere metric spaces. This leads to a definition of an Enriched Nearest Neighbours Algorithm, which consequently also produces an enriched form of the Voronoi diagram. This paper is intended to be accessible without any knowledge of Category Theory


title: Dawn and fall of non-Gaussianity in the quantum parametric oscillator

abstract: Systems of coupled optical parametric oscillators (OPOs) forming an Ising machine are emerging as large-scale simulators of the Ising model. The advances in computer science and nonlinear optics have triggered not only the physical realization of hybrid (electro-optical) or all-optical Ising machines, but also the demonstration of quantum-inspired algorithms boosting their performances. To date, the use of the quantum nature of parametrically generated light as a further resource for computation represents a major open issue. A key quantum feature is the non-Gaussian character of the system state across the oscillation threshold. In this paper, we perform an extensive analysis of the emergence of non-Gaussianity in the single quantum OPO with an applied external field. We model the OPO by a Lindblad master equation, which is numerically solved by an ab initio method based on exact diagonalization. Non-Gaussianity is quantified by means of three different metrics: Hilbert-Schmidt distance, quantum relative entropy, and photon distribution. Our findings reveal a nontrivial interplay between parametric drive and applied field: (i) Increasing pump monotonously enhances non-Gaussianity, and (ii) Increasing field first sharpens non-Gaussianity, and then restores the Gaussian character of the state when above a threshold value.


title: Fl RDT based ultimate lowering of the negative spherical perceptron capacity

abstract: We consider the classical \emph{spherical} perceptrons and study their capacities. The famous zero-threshold case was solved in the sixties of the last century (see, \cite{Wendel62,Winder,Cover65}) through the high-dimensional combinatorial considerations. The general threshold, $\kappa$, case though turned out to be much harder and stayed out of reach for the following several decades. A substantial progress was then made in \cite{SchTir02} and \cite{StojnicGardGen13} where the \emph{positive} threshold ($\kappa\geq 0$) scenario was finally fully settled. While the negative counterpart ($\kappa\leq 0$) remained out of reach, \cite{StojnicGardGen13} did show that the random duality theory (RDT) is still powerful enough to provide excellent upper bounds. Moreover, in \cite{StojnicGardSphNeg13}, a \emph{partially lifted} RDT variant was considered and it was shown that the upper bounds of \cite{StojnicGardGen13} can be lowered. After recent breakthroughs in studying bilinearly indexed (bli) random processes in \cite{Stojnicsflgscompyx23,Stojnicnflgscompyx23}, \emph{fully lifted} random duality theory (fl RDT) was developed in \cite{Stojnicflrdt23}. We here first show that the \emph{negative spherical perceptrons} can be fitted into the frame of the fl RDT and then employ the whole fl RDT machinery to characterize the capacity. To be fully practically operational, the fl RDT requires a substantial numerical work. We, however, uncover remarkable closed form analytical relations among key lifting parameters. Such a discovery enables performing the needed numerical calculations to obtain concrete capacity values. We also observe that an excellent convergence (with the relative improvement $\sim 0.1\%$) is achieved already on the third (second non-trivial) level of the \emph{stationarized} full lifting.

categories: stat.ML cond-mat.dis-nn cs.IT cs.LG math.IT math.PR


title: Dark-technicolour at low scale

abstract: We discuss a low-scale realization of the dark-technicolour paradigm, where the dark-technicolour scale is close to the electroweak scale. This scenario provides an ultraviolet completion of the standard HVM, and predicts a dark-Higgs with mass $ m_{\rm DH } = 95.4$ GeV. Moreover, the grand-unification scale in this framework can be as low as $1.18 \times 10^8$ GeV.


title: Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study

abstract: Ethereum smart contracts, which are autonomous decentralized applications on the blockchain that manage assets often exceeding millions of dollars, have become primary targets for cyberattacks. In 2023 alone, such vulnerabilities led to substantial financial losses exceeding a billion of US dollars. To counter these threats, various tools have been developed by academic and commercial entities to detect and mitigate vulnerabilities in smart contracts. Our study investigates the gap between the effectiveness of existing security scanners and the vulnerabilities that still persist in practice. We compiled four distinct datasets for this analysis. The first dataset comprises 77,219 source codes extracted directly from the blockchain, while the second includes over 4 million bytecodes obtained from Ethereum Mainnet and testnets. The other two datasets consist of nearly 14,000 manually annotated smart contracts and 373 smart contracts verified through audits, providing a foundation for a rigorous ground truth analysis on bytecode and source code. Using the unlabeled datasets, we conducted a comprehensive quantitative evaluation of 17 vulnerability scanners, revealing considerable discrepancies in their findings. Our analysis of the ground truth datasets indicated poor performance across all the tools we tested. This study unveils the reasons for poor performance and underscores that the current state of the art for smart contract security falls short in effectively addressing open problems, highlighting that the challenge of effectively detecting vulnerabilities remains a significant and unresolved issue.


title: The Use of Multiple Conversational Agent Interlocutors in Learning

abstract: With growing capabilities of large language models (LLMs) comes growing affordances for human-like and context-aware conversational partners. On from this, some recent work has investigated the use of LLMs to simulate multiple conversational partners, such as to assist users with problem solving or to simulate an environment populated entirely with LLMs. Beyond this, we are interested in discussing and exploring the use of LLMs to simulate multiple personas to assist and augment users in educational settings that could benefit from multiple interlocutors. We discuss prior work that uses LLMs to simulate multiple personas sharing the same environment, and discuss example scenarios where multiple conversational agent partners could be used in education.


title: On Quantum States for angular Position and Angular Momentum of Light

abstract: In the present paper we construct a properly defined quantum state expressed in terms of elliptic Jacobi theta functions for the self-adjoint observables angular position $\theta$ and the corresponding angular momentum operator $L = -id/d\theta$. The quantum uncertainties $\Delta \theta$ and $\Delta L$ for the state are well-defined and are, e.g., shown to give a lower value of the uncertainty product $\Delta \theta \Delta L$ than the minimal uncertainty states of Ref.\cite{Padgett_2004}. The mean value $< L >$ of the state is not required to be an integer. In the case of any half-integer mean value $< L >$ the state constructed exhibits a remarkable critical behavior with upper and lower bounds $\Delta \theta < \sqrt{\pi^2/3 -2}$ and $\Delta L > 1/2$.


title: Weighted norm inequalities for integral transforms with splitting kernels

abstract: We obtain necessary and sufficient conditions on weights for a wide class of integral transforms to be bounded between weighted $L^p-L^q$ spaces, with $1\leq p\leq q\leq \infty$. The kernels $K(x,y)$ of such transforms are only assumed to satisfy upper bounds given by products of two functions, one in each variable. The obtained results are applicable to a number of transforms, some of which are included here as particular examples. Some of the new results derived here are the characterization of weights for the boundedness of the $\mathscr{H}_\alpha$ (or Struve) transform in the case $\alpha>\frac{1}{2}$, or the characterization of power weights for which the Laplace transform is bounded in the limiting cases $p=1$ or $q=\infty$.


title: Charm quark mass using a massive nonperturbative renormalisation scheme

abstract: We present a first numerical implementation of a massive nonperturbative renormalisation scheme, RI/mSMOM, in the study of heavy quarks using the domain-wall fermion action. In particular, we calculate renormalisation constants for fermion bilinears at non-vanishing heavy-quark masses and compare the approach to the continuum of the renormalised charm-quark mass with that from a mass-independent scheme.


title: Assessment of El Ni\~no effects in the North Eurasian regions: predictability of warm and cold winters

abstract: The predictability of extreme winter regimes in the regions of Northern Eurasia depending on El Ni\~no phenomena is assessed using data from long-term meteorological observations. The frequency of extremely warm and extremely cold winters is compared for different phases and different types of El Ni\~no events.


title: Weak Solutions of SPDEs in the space of Tempered distributions

abstract: In this article, we construct weak solutions for a class of Stochastic PDEs in the space of tempered distributions via Girsanov's theorem. It is to be noted that our drift and diffusion coefficients $(L,A)$ of the considered Stochastic PDE satisfy a Monotonicity type inequality, rather than Lipschitz conditions. As such, we can not follow the usual infinite dimensional analysis as described in \cite[sections 10.2 and 10.3]{MR3236753}. Instead, we exploit related SDEs to obtain our desired result, and we point out an important observation that the same Novikov condition is used in changing the Brownian motion in both the SDEs and the Stochastic PDEs.


title: Ultrafast inertia-free switching of double magnetic tunnel junctions

abstract: We investigate the switching of a magnetic nanoparticle comprising the middle free layer of a memory cell based on a double magnetic tunnel junction under the combined effect of spin-polarized current and weak on-chip magnetic field. We obtain the timing and amplitude parameters for the current and field pulses needed to achieve 100 ps range \emph{inertia-free} switching under \emph{least-power} dissipation. The considered method does not rely on the stochastics of thermal agitation of the magnetic nanoparticle typically accompanying spin-torque switching. The regime of ultimate switching speed-efficiency found in this work is promising for applications in high-performance nonvolatile memory.


title: Analysis of a nonconforming finite element method for vector-valued Laplacians on the surface

abstract: Recently a nonconforming surface finite element was developed to discretize 2D vector-valued compressible flow problems in a 3D domain. In this contribution we derive an error analysis for this approach on a vector-valued Laplace problem, which is an important operator for fluid-equations on the surface. In our setup, the problem is approximated via edge-integration on local flat triangles using the nonconforming linear Crouzeix-Raviart element. The flat planes coincide with the surface at the edge midpoints. This is also the place, where the Crouzeix-Raviart element requires continuity between two neighbouring elements. The developed Crouzeix-Raviart approximation is a non-parametric approach that works on local coordinate systems, established in each triangle. This setup is numerically efficient and straightforward to implement. For this Crouzeix-Raviart discretization we derive optimal error bounds in the $H^1$-norm and $L^2$-norm and present an estimate for the geometric error. Numerical experiments validate the theoretical results.


title: FALCON: Feature-Label Constrained Graph Net Collapse for Memory Efficient GNNs

abstract: Graph Neural Network (GNN) ushered in a new era of machine learning with interconnected datasets. While traditional neural networks can only be trained on independent samples, GNN allows for the inclusion of inter-sample interactions in the training process. This gain, however, incurs additional memory cost, rendering most GNNs unscalable for real-world applications involving vast and complicated networks with tens of millions of nodes (e.g., social circles, web graphs, and brain graphs). This means that storing the graph in the main memory can be difficult, let alone training the GNN model with significantly less GPU memory. While much of the recent literature has focused on either mini-batching GNN methods or quantization, graph reduction methods remain largely scarce. Furthermore, present graph reduction approaches have several drawbacks. First, most graph reduction focuses only on the inference stage (e.g., condensation and distillation) and requires full graph GNN training, which does not reduce training memory footprint. Second, many methods focus solely on the graph's structural aspect, ignoring the initial population feature-label distribution, resulting in a skewed post-reduction label distribution. Here, we propose a Feature-Label COnstrained graph Net collapse, FALCON, to address these limitations. Our three core contributions lie in (i) designing FALCON, a topology-aware graph reduction technique that preserves feature-label distribution; (ii) implementation of FALCON with other memory reduction methods (i.e., mini-batched GNN and quantization) for further memory reduction; (iii) extensive benchmarking and ablation studies against SOTA methods to evaluate FALCON memory reduction. Our extensive results show that FALCON can significantly collapse various public datasets while achieving equal prediction quality across GNN models. Code: https://github.com/basiralab/FALCON


title: Yang-Baxter equations and $\mathcal O$-operators of a Hom-Jordan superalgebra with representation

abstract: In this paper, first we recall the notion of Hom-Jordan superalgebras and study their representations. We define the Yang-Baxter equation in a Hom-Jordan superalgebra. Additionally, we extend the connections between $\mathcal {O}$-operators and skew-symmetric solutions Yang-Baxter equation of Hom-Jordan superalgebras (HJYBE). In which, we prove that a super skew-symmetric solution of HJYBE can be interpreted as an $\mathcal{O}$-operator associated to the coadjoint representation. Finally, we study the relationship between Hom-pre-Jordan superalgebras and Hom-Jordan superalgebras via an $\mathcal{O}$-operators. Some other related results are considered.


title: Hierarchical variable clustering based on the predictive strength between random vectors

abstract: A rank-invariant clustering of variables is introduced that is based on the predictive strength between groups of variables, i.e., two groups are assigned a high similarity if the variables in the first group contain high predictive information about the behaviour of the variables in the other group and/or vice versa. The method presented here is model-free, dependence-based and does not require any distributional assumptions. Various general invariance and continuity properties are investigated, with special attention to those that are beneficial for the agglomerative hierarchical clustering procedure. A fully non-parametric estimator is considered whose excellent performance is demonstrated in several simulation studies and by means of real-data examples.


title: $S_4$ Lepton Flavor Model with 3HDM

abstract: We prsent a lepton flavor model with $S_4$ and $U(1)_{\mathrm{FN}}$ symmetry. The left-handed leptons are assigned as a triplet under the $S_4$ symmetry, the right-handed electron and muon as $S_4$ doublets, and the right-handed tauon as an $S_4$ singlet. We introduce three right-handed Majorana neutrinos that are charged under the $S_4$ symmetry and two scalar fields. Additionally, the three Higgs doublets are assigned as an $S_4$ triplet, and we analyze the scalar potential to get the conditions for the Higgs VEVs. We numerically calculate the PMNS matrix, and give strong predictions for the mixing angle $0.486<\sin\theta_{23}<0.603$ and the Dirac CP phase $60.12^\circ<|\delta_{CP}|<76.47^\circ$. Our predictions for the lightest neutrino mass $m_{light}\simeq5.53~[\mathrm{meV}]$ and the effective Majorana neutrino mass $m_{ee}\simeq6.33~[\mathrm{meV}]$ from the neutrinoless double beta decay experiments are relatively close to upper limits. Lastly, we obtain the sum of neutrino masses $m_1+m_2+m_3\simeq66.1~[\mathrm{meV}]$, and two Majorana phases $\eta_1$ and $\eta_2$.


title: Super-Efficient Exact Hamiltonian Monte Carlo for the von Mises Distribution

abstract: We show that Hamiltonian Monte Carlo, applied to the von Mises distribution with Laplace distribution for the momentum, has exactly solvable equations of motion. With an appropriate travel time, the Markov chain has negative autocorrelation at odd lags and yields a relative effective sample size bigger than one.


title: FreqyWM: Frequency Watermarking for the New Data Economy

abstract: We present a novel technique for modulating the appearance frequency of a few tokens within a dataset for encoding an invisible watermark that can be used to protect ownership rights upon data. We develop optimal as well as fast heuristic algorithms for creating and verifying such watermarks. We also demonstrate the robustness of our technique against various attacks and derive analytical bounds for the false positive probability of erroneously detecting a watermark on a dataset that does not carry it. Our technique is applicable to both single dimensional and multidimensional datasets, is independent of token type, allows for a fine control of the introduced distortion, and can be used in a variety of use cases that involve buying and selling data in contemporary data marketplaces.


title: A proposed new metric for the conceptual diversity of a text

abstract: A word may contain one or more hidden concepts. While the "animal" word evokes many images in our minds and encapsulates many concepts (birds, dogs, cats, crocodiles, etc.), the `parrot' word evokes a single image (a colored bird with a short, hooked beak and the ability to mimic sounds). In spoken or written texts, we use some words in a general sense and some in a detailed way to point to a specific object. Until now, a text's conceptual diversity value cannot be determined using a standard and precise technique. This research contributes to the natural language processing field of AI by offering a standardized method and a generic metric for evaluating and comparing concept diversity in different texts and domains. It also contributes to the field of semantic research of languages. If we give examples for the diversity score of two sentences, "He discovered an unknown entity." has a high conceptual diversity score (16.6801), and "The endoplasmic reticulum forms a series of flattened sacs within the cytoplasm of eukaryotic cells." sentence has a low conceptual diversity score which is 3.9068.


title: How Robust are LLMs to In-Context Majority Label Bias?

abstract: In the In-Context Learning (ICL) setup, various forms of label biases can manifest. One such manifestation is majority label bias, which arises when the distribution of labeled examples in the in-context samples is skewed towards one or more specific classes making Large Language Models (LLMs) more prone to predict those labels. Such discrepancies can arise from various factors, including logistical constraints, inherent biases in data collection methods, limited access to diverse data sources, etc. which are unavoidable in a real-world industry setup. In this work, we study the robustness of in-context learning in LLMs to shifts that occur due to majority label bias within the purview of text classification tasks. Prior works have shown that in-context learning with LLMs is susceptible to such biases. In our study, we go one level deeper and show that the robustness boundary varies widely for different models and tasks, with certain LLMs being highly robust (~90%) to majority label bias. Additionally, our findings also highlight the impact of model size and the richness of instructional prompts contributing towards model robustness. We restrict our study to only publicly available open-source models to ensure transparency and reproducibility.


abstract: In this article, we study the existence and uniqueness problem for linear Stochastic PDEs involving a bilaplacian operator. Our results on the existence and uniqueness are obtained through an application of a Monotonicity inequality, which we also prove here. As an application of these results, we also obtain a probabilistic representation of the solution for a linear PDE involving the bilaplacian operator.


title: Blind Image Quality Assessment: A Brief Survey

abstract: Blind Image Quality Assessment (BIQA) is essential for automatically evaluating the perceptual quality of visual signals without access to the references. In this survey, we provide a comprehensive analysis and discussion of recent developments in the field of BIQA. We have covered various aspects, including hand-crafted BIQAs that focus on distortion-specific and general-purpose methods, as well as deep-learned BIQAs that employ supervised and unsupervised learning techniques. Additionally, we have explored multimodal quality assessment methods that consider interactions between visual and audio modalities, as well as visual and text modalities. Finally, we have offered insights into representative BIQA databases, including both synthetic and authentic distortions. We believe this survey provides valuable understandings into the latest developments and emerging trends for the visual quality community.


title: AE-Flow: AutoEncoder Normalizing Flow

abstract: Recently normalizing flows have been gaining traction in text-to-speech (TTS) and voice conversion (VC) due to their state-of-the-art (SOTA) performance. Normalizing flows are unsupervised generative models. In this paper, we introduce supervision to the training process of normalizing flows, without the need for parallel data. We call this training paradigm AutoEncoder Normalizing Flow (AE-Flow). It adds a reconstruction loss forcing the model to use information from the conditioning to reconstruct an audio sample. Our goal is to understand the impact of each component and find the right combination of the negative log-likelihood (NLL) and the reconstruction loss in training normalizing flows with coupling blocks. For that reason we will compare flow-based mapping model trained with: (i) NLL loss, (ii) NLL and reconstruction losses, as well as (iii) reconstruction loss only. Additionally, we compare our model with SOTA VC baseline. The models are evaluated in terms of naturalness, speaker similarity, intelligibility in many-to-many and many-to-any VC settings. The results show that the proposed training paradigm systematically improves speaker similarity and naturalness when compared to regular training methods of normalizing flows. Furthermore, we show that our method improves speaker similarity and intelligibility over the state-of-the-art.


title: Sublattice-selective inverse Faraday effect in ferrimagnetic rare-earth iron garnet

abstract: We performed time-resolved pump--probe measurements using rare-earth iron garnet \ce{Gd3/2Yb1/2BiFe5O12} as a two-sublattice ferrimagnet. We measured the initial phases of the magnetic resonance modes below and above the magnetization compensation temperature to clarify the sublattice selectivity of the inverse Faraday effect in ferrimagnets. A comparison of the time evolution of magnetization estimated using the equations of motion revealed that the inverse Faraday effect occurring in ferrimagnetic materials has sublattice selectivity. This is in striking contrast to antiferromagnets, in which the inverse Faraday effect acts on each sublattice identically. The initial phase analysis can be applied to other ferrimagnets with compensation temperatures.


title: A Theoretical Analysis of Efficiency Constrained Utility-Privacy Bi-Objective Optimization in Federated Learning

abstract: Federated learning (FL) enables multiple clients to collaboratively learn a shared model without sharing their individual data. Concerns about utility, privacy, and training efficiency in FL have garnered significant research attention. Differential privacy has emerged as a prevalent technique in FL, safeguarding the privacy of individual user data while impacting utility and training efficiency. Within Differential Privacy Federated Learning (DPFL), previous studies have primarily focused on the utility-privacy trade-off, neglecting training efficiency, which is crucial for timely completion. Moreover, differential privacy achieves privacy by introducing controlled randomness (noise) on selected clients in each communication round. Previous work has mainly examined the impact of noise level ($\sigma$) and communication rounds ($T$) on the privacy-utility dynamic, overlooking other influential factors like the sample ratio ($q$, the proportion of selected clients). This paper systematically formulates an efficiency-constrained utility-privacy bi-objective optimization problem in DPFL, focusing on $\sigma$, $T$, and $q$. We provide a comprehensive theoretical analysis, yielding analytical solutions for the Pareto front. Extensive empirical experiments verify the validity and efficacy of our analysis, offering valuable guidance for low-cost parameter design in DPFL.