title: Strong Error Bounds for Trotter & Strang-Splittings and Their Implications for Quantum Chemistry

abstract: Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our approach overcomes two limitations of the existing operator-norm estimates in the literature. First, previous bounds are too pessimistic as they quantify the worst-case scenario. Second, previous bounds become trivial for unbounded operators and cannot be applied to a wide class of Trotter scenarios, including atomic and molecular Hamiltonians. Our method enables analytical treatment of Trotter errors in chemistry simulations, illustrated through a case study on the hydrogen atom. Our findings reveal: (i) for states with fat-tailed energy distribution, such as low-angular-momentum states of the hydrogen atom, the Trotter error scales worse than expected (sublinearly) in the number of Trotter steps; (ii) certain states do not admit an advantage in the scaling from higher-order Trotterization, and thus, the higher-order Trotter hierarchy breaks down for these states, including the hydrogen atom's ground state; (iii) the scaling of higher-order Trotter bounds might depend on the order of the Hamiltonians in the Trotter product for states with fat-tailed energy distribution. Physically, the enlarged Trotter error is caused by the atom's ionization due to the Trotter dynamics. Mathematically, we find that certain domain conditions are not satisfied by some states so higher moments of the potential and kinetic energies diverge. Our analytical error analysis agrees with numerical simulations, indicating that we can estimate the state-dependent Trotter error scaling genuinely.


title: Theories Without Models: Uncontrolled Idealizations in Particle Physics

abstract: The perturbative treatment of realistic quantum field theories, such as quantum electrodynamics, requires the use of mathematical idealizations in the approximation series for scattering amplitudes. Such mathematical idealisations are necessary to derive empirically relevant models from the theory. Mathematical idealizations can be either controlled or uncontrolled, depending on whether current scientific knowledge can explain whether the effects of the idealization are negligible or not. Drawing upon negative formal results in asymptotic analysis (failure of Borel summability) and renormalization group theory (failure of asymptotic safety), we argue that the mathematical idealizations applied in perturbative quantum electrodynamics should be understood as uncontrolled. This, in turn, leads to the problematic conclusion that such theories do not have theoretical models in the standard understanding of this term. The existence of unquestionable empirically successful theories without theoretical models has significant implications both for our understanding of the theory-model relationship in physics and the concept of empirical adequacy.


title: Transport properties in ABC-ABA-ABC trilayer graphene junctions

abstract: Trilayer graphene {(TLG)} consists of three layers of graphene arranged in a particular stacking order. In the case of ABC-ABA-ABC stacking, the layers are arranged in an A-B-C sequence, followed by an A-B-A sequence, and again an A-B-C sequence. This stacking arrangement introduces specific electronic properties and band structures due to the different stacking configurations. We focus on elucidating the transport properties of a p-n-p junction formed with ABC-ABA-ABC stacking TLG. Employing the transfer matrix method and considering continuity conditions at the junction boundaries, we establish transmission and reflection probabilities, along with conductance. Notably, electron transport through the ABC-ABA-ABC junction exhibits Klein tunneling, resulting in substantial conductance even in the absence of a potential barrier $V_0$. This effect arises from the effective barrier induced by our specific stacking, facilitating the passage of a maximal number of electrons. However, the presence of $V_0$ diminishes Klein tunneling, leading to conductance minima. Furthermore, our findings highlight that interlayer bias $\delta$ induces a hybridization of the linear and parabolic bands of ABA-TLG within the junction, reducing resonances. In cases where $\delta\neq0$ and $V_0\neq0$, we observe a suppression of the gap, contrary to the results obtained in ABC tunneling studies where a gap exists.


title: Trust and Acceptance of Multi-Robot Systems "in the Wild". A Roadmap exemplified within the EU-Project BugWright2

abstract: This paper outlines a roadmap to effectively leverage shared mental models in multi-robot, multi-stakeholder scenarios, drawing on experiences from the BugWright2 project. The discussion centers on an autonomous multi-robot systems designed for ship inspection and maintenance. A significant challenge in the development and implementation of this system is the calibration of trust. To address this, the paper proposes that trust calibration can be managed and optimized through the creation and continual updating of shared and accurate mental models of the robots. Strategies to promote these mental models, including cross-training, briefings, debriefings, and task-specific elaboration and visualization, are examined. Additionally, the crucial role of an adaptable, distributed, and well-structured user interface (UI) is discussed.


title: Compositional Inversion for Stable Diffusion Models

abstract: Inversion methods, such as Textual Inversion, generate personalized images by incorporating concepts of interest provided by user images. However, existing methods often suffer from overfitting issues, where the dominant presence of inverted concepts leads to the absence of other desired concepts. It stems from the fact that during inversion, the irrelevant semantics in the user images are also encoded, forcing the inverted concepts to occupy locations far from the core distribution in the embedding space. To address this issue, we propose a method that guides the inversion process towards the core distribution for compositional embeddings. Additionally, we introduce a spatial regularization approach to balance the attention on the concepts being composed. Our method is designed as a post-training approach and can be seamlessly integrated with other inversion methods. Experimental results demonstrate the effectiveness of our proposed approach in mitigating the overfitting problem and generating more diverse and balanced compositions of concepts in the synthesized images. The source code is available at https://github.com/zhangxulu1996/Compositional-Inversion.


title: The Four-Color Ramsey Multiplicity of Triangles

abstract: We study a generalization of a famous result of Goodman and establish that asymptotically at least a $1/256$ fraction of all triangles needs to be monochromatic in any four-coloring of the edges of a complete graph. We also show that any large enough extremal construction must be based on a blow-up of one of the two $R(3,3,3)$ Ramsey-colorings of $K_{16}$. This result is obtained through an efficient flag algebra formulation by exploiting problem-specific combinatorial symmetries that also allows us to study some related problems.


title: On the edge densities of convex mosaics

abstract: In this paper we investigate the problem of finding the minimum of edge density in families of convex mosaics with unit volume cells in $3$-dimensional Euclidean space. We solve this problem for two families. In particular, we prove that a translative convex mosaic with unit volume cells has minimal edge density if and only if it is a face-to-face mosaic generated by unit cubes. We also investigate decomposable mosaics, defined as mosaics whose cells are Minkowski sums of cells of two lower dimensional convex mosaics, and show that the edge density of every normal decomposable mosaic with unit volume cells is at least as large as that of a face-to-face mosaic with regular triangle-based right prisms as cells. In addition, we use our method to determine the minimal total edge length of a $3$-dimensional unit volume parallelohedron.


title: Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic

abstract: This paper introduces a new approach to solving a continuous-time version of the multi-agent path finding problem. The algorithm translates the problem into an extension of the classical Boolean satisfiability problem, satisfiability modulo theories (SMT), that can be solved by off-the-shelf solvers. This enables the exploitation of conflict generalization techniques that such solvers can handle. Computational experiments show that the new approach scales better with respect to the available computation time than state-of-the art approaches and is usually able to avoid their exponential behavior on a class of benchmark problems modeling a typical bottleneck situation.


title: Explainable Trajectory Representation through Dictionary Learning

abstract: Trajectory representation learning on a network enhances our understanding of vehicular traffic patterns and benefits numerous downstream applications. Existing approaches using classic machine learning or deep learning embed trajectories as dense vectors, which lack interpretability and are inefficient to store and analyze in downstream tasks. In this paper, an explainable trajectory representation learning framework through dictionary learning is proposed. Given a collection of trajectories on a network, it extracts a compact dictionary of commonly used subpaths called "pathlets", which optimally reconstruct each trajectory by simple concatenations. The resulting representation is naturally sparse and encodes strong spatial semantics. Theoretical analysis of our proposed algorithm is conducted to provide a probabilistic bound on the estimation error of the optimal dictionary. A hierarchical dictionary learning scheme is also proposed to ensure the algorithm's scalability on large networks, leading to a multi-scale trajectory representation. Our framework is evaluated on two large-scale real-world taxi datasets. Compared to previous work, the dictionary learned by our method is more compact and has better reconstruction rate for new trajectories. We also demonstrate the promising performance of this method in downstream tasks including trip time prediction task and data compression.


title: Kimad: Adaptive Gradient Compression with Bandwidth Awareness

abstract: In distributed training, communication often emerges as a bottleneck. In response, we introduce Kimad, a solution that offers adaptive gradient compression. By consistently monitoring bandwidth, Kimad refines compression ratios to match specific neural network layer requirements. Our exhaustive tests and proofs confirm Kimad's outstanding performance, establishing it as a benchmark in adaptive compression for distributed deep learning.


title: Semantic Complete Scene Forecasting from a 4D Dynamic Point Cloud Sequence

abstract: We study a new problem of semantic complete scene forecasting (SCSF) in this work. Given a 4D dynamic point cloud sequence, our goal is to forecast the complete scene corresponding to the future next frame along with its semantic labels. To tackle this challenging problem, we properly model the synergetic relationship between future forecasting and semantic scene completion through a novel network named SCSFNet. SCSFNet leverages a hybrid geometric representation for high-resolution complete scene forecasting. To leverage multi-frame observation as well as the understanding of scene dynamics to ease the completion task, SCSFNet introduces an attention-based skip connection scheme. To ease the need to model occlusion variations and to better focus on the occluded part, SCSFNet utilizes auxiliary visibility grids to guide the forecasting task. To evaluate the effectiveness of SCSFNet, we conduct experiments on various benchmarks including two large-scale indoor benchmarks we contributed and the outdoor SemanticKITTI benchmark. Extensive experiments show SCSFNet outperforms baseline methods on multiple metrics by a large margin, and also prove the synergy between future forecasting and semantic scene completion.


title: Breaking the Silence: the Threats of Using LLMs in Software Engineering

abstract: Large Language Models (LLMs) have gained considerable traction within the Software Engineering (SE) community, impacting various SE tasks from code completion to test generation, from program repair to code summarization. Despite their promise, researchers must still be careful as numerous intricate factors can influence the outcomes of experiments involving LLMs. This paper initiates an open discussion on potential threats to the validity of LLM-based research including issues such as closed-source models, possible data leakage between LLM training data and research evaluation, and the reproducibility of LLM-based findings. In response, this paper proposes a set of guidelines tailored for SE researchers and Language Model (LM) providers to mitigate these concerns. The implications of the guidelines are illustrated using existing good practices followed by LLM providers and a practical example for SE researchers in the context of test case generation.


title: Knowledge-Aware Artifact Image Synthesis with LLM-Enhanced Prompting and Multi-Source Supervision

abstract: Ancient artifacts are an important medium for cultural preservation and restoration. However, many physical copies of artifacts are either damaged or lost, leaving a blank space in archaeological and historical studies that calls for artifact image generation techniques. Despite the significant advancements in open-domain text-to-image synthesis, existing approaches fail to capture the important domain knowledge presented in the textual description, resulting in errors in recreated images such as incorrect shapes and patterns. In this paper, we propose a novel knowledge-aware artifact image synthesis approach that brings lost historical objects accurately into their visual forms. We use a pretrained diffusion model as backbone and introduce three key techniques to enhance the text-to-image generation framework: 1) we construct prompts with explicit archaeological knowledge elicited from large language models (LLMs); 2) we incorporate additional textual guidance to correlated historical expertise in a contrastive manner; 3) we introduce further visual-semantic constraints on edge and perceptual features that enable our model to learn more intricate visual details of the artifacts. Compared to existing approaches, our proposed model produces higher-quality artifact images that align better with the implicit details and historical knowledge contained within written documents, thus achieving significant improvements across automatic metrics and in human evaluation. Our code and data are available at https://github.com/danielwusg/artifact_diffusion.


title: Combinatorial Stochastic-Greedy Bandit

abstract: We propose a novel combinatorial stochastic-greedy bandit (SGB) algorithm for combinatorial multi-armed bandit problems when no extra information other than the joint reward of the selected set of $n$ arms at each time step $t\in [T]$ is observed. SGB adopts an optimized stochastic-explore-then-commit approach and is specifically designed for scenarios with a large set of base arms. Unlike existing methods that explore the entire set of unselected base arms during each selection step, our SGB algorithm samples only an optimized proportion of unselected arms and selects actions from this subset. We prove that our algorithm achieves a $(1-1/e)$-regret bound of $\mathcal{O}(n^{\frac{1}{3}} k^{\frac{2}{3}} T^{\frac{2}{3}} \log(T)^{\frac{2}{3}})$ for monotone stochastic submodular rewards, which outperforms the state-of-the-art in terms of the cardinality constraint $k$. Furthermore, we empirically evaluate the performance of our algorithm in the context of online constrained social influence maximization. Our results demonstrate that our proposed approach consistently outperforms the other algorithms, increasing the performance gap as $k$ grows.


title: Event-Triggered Safe Bayesian Optimization on Quadcopters

abstract: Bayesian optimization (BO) has proven to be a powerful tool for automatically tuning control parameters without requiring knowledge of the underlying system dynamics. Safe BO methods, in addition, guarantee safety during the optimization process, assuming that the underlying objective function does not change. However, in real-world scenarios, time-variations frequently occur, for example, due to wear in the system or changes in operation. Utilizing standard safe BO strategies that do not address time-variations can result in failure as previous safe decisions may become unsafe over time, which we demonstrate herein. To address this, we introduce a new algorithm, Event-Triggered SafeOpt (ETSO), which adapts to changes online solely relying on the observed costs. At its core, ETSO uses an event trigger to detect significant deviations between observations and the current surrogate of the objective function. When such change is detected, the algorithm reverts to a safe backup controller, and exploration is restarted. In this way, safety is recovered and maintained across changes. We evaluate ETSO on quadcopter controller tuning, both in simulation and hardware experiments. ETSO outperforms state-of-the-art safe BO, achieving superior control performance over time while maintaining safety.


title: Linear stability of inner case of double averaged spatial restricted elliptic three body problem

abstract: We study the secular effects in the motion of an asteroid with negligible mass in a spatial restricted elliptic three body problem with arbitrary inclination. Averaging over mean anomalies of the asteroid and the planet are applied to obtain the double averaged Hamiltonian system. It admits a two-parameter family of orbits corresponding to the motion of the third body in the plane of primaries' motion. The aim of our investigation is to analyze the stability of these orbits in inner case. We show that they are stable in the linear approximation and give descriptions of linear stability with respect to the eccentricity and argument of periapsis of asteroid. Numerical simulations of different types of orbits are performed as well.


title: C-BEV: Contrastive Bird's Eye View Training for Cross-View Image Retrieval and 3-DoF Pose Estimation

abstract: To find the geolocation of a street-view image, cross-view geolocalization (CVGL) methods typically perform image retrieval on a database of georeferenced aerial images and determine the location from the visually most similar match. Recent approaches focus mainly on settings where street-view and aerial images are preselected to align w.r.t. translation or orientation, but struggle in challenging real-world scenarios where varying camera poses have to be matched to the same aerial image. We propose a novel trainable retrieval architecture that uses bird's eye view (BEV) maps rather than vectors as embedding representation, and explicitly addresses the many-to-one ambiguity that arises in real-world scenarios. The BEV-based retrieval is trained using the same contrastive setting and loss as classical retrieval. Our method C-BEV surpasses the state-of-the-art on the retrieval task on multiple datasets by a large margin. It is particularly effective in challenging many-to-one scenarios, e.g. increasing the top-1 recall on VIGOR's cross-area split with unknown orientation from 31.1% to 65.0%. Although the model is supervised only through a contrastive objective applied on image pairings, it additionally learns to infer the 3-DoF camera pose on the matching aerial image, and even yields a lower mean pose error than recent methods that are explicitly trained with metric groundtruth.


title: An example of an infinite amenable group with the ISR property

abstract: Let $G$ be $S_{\mathbb{N}}$, the finitary permutation (i.e. permutations with finite support) group on positive integers $\mathbb{N}$. We prove that $G$ has the invariant von Neumann subalgebras rigidity (ISR, for short) property as introduced in Amrutam-Jiang's work. More precisely, every $G$-invariant von Neumann subalgebra $P\subseteq L(G)$ is of the form $L(H)$ for some normal sugbroup $H\lhd G$ and in this case, $H=\{e\}, A_{\mathbb{N}}$ or $G$, where $A_{\mathbb{N}}$ denotes the finitary alternating group on $\mathbb{N}$, i.e. the subgroup of all even permutations in $S_{\mathbb{N}}$. This gives the first known example of an infinite amenable group with the ISR property.


title: Non-hydrodynamic response in QCD-like plasma

abstract: Quark-gluon plasma's (QGP) properties at non-hydrodynamic and non-perturbative regimes remain largely unexplored. Here, we examine the response functions describing how a QGP-like plasma responds to initial energy-momentum disturbance in both static and Bjorken-expanding plasma at non-hydrodynamic gradient using the Boltzmann equation in the relaxation-time approximation (RTA). We show that the resulting response functions are remarkably similar in both static and expanding backgrounds at non-hydrodynamic gradients. While non-hydrodynamic response can not be described by the conventional first-order and second-order theories, its behavior is reasonably captured by the extended version of hydrodynamics proposed by us (arXiv: 2208.01046). The potential sensitivity of the Euclidean correlator to non-hydrodynamic response is also illustrated.


title: Estimation of Concept Explanations Should be Uncertainty Aware

abstract: Model explanations can be valuable for interpreting and debugging predictive models. We study a specific kind called Concept Explanations, where the goal is to interpret a model using human-understandable concepts. Although popular for their easy interpretation, concept explanations are known to be noisy. We begin our work by identifying various sources of uncertainty in the estimation pipeline that lead to such noise. We then propose an uncertainty-aware Bayesian estimation method to address these issues, which readily improved the quality of explanations. We demonstrate with theoretical analysis and empirical evaluation that explanations computed by our method are robust to train-time choices while also being label-efficient. Further, our method proved capable of recovering relevant concepts amongst a bank of thousands, in an evaluation with real-datasets and off-the-shelf models, demonstrating its scalability. We believe the improved quality of uncertainty-aware concept explanations make them a strong candidate for more reliable model interpretation. We release our code at https://github.com/vps-anonconfs/uace.


title: Exploring the Impact of Lay User Feedback for Improving AI Fairness

abstract: Fairness in AI is a growing concern for high-stakes decision making. Engaging stakeholders, especially lay users, in fair AI development is promising yet overlooked. Recent efforts explore enabling lay users to provide AI fairness-related feedback, but there is still a lack of understanding of how to integrate users' feedback into an AI model and the impacts of doing so. To bridge this gap, we collected feedback from 58 lay users on the fairness of a XGBoost model trained on the Home Credit dataset, and conducted offline experiments to investigate the effects of retraining models on accuracy, and individual and group fairness. Our work contributes baseline results of integrating user fairness feedback in XGBoost, and a dataset and code framework to bootstrap research in engaging stakeholders in AI fairness. Our discussion highlights the challenges of employing user feedback in AI fairness and points the way to a future application area of interactive machine learning.


title: Hubbard physics with Rydberg atoms: using a quantum spin simulator to simulate strong fermionic correlations

abstract: We propose a hybrid quantum-classical method to investigate the equilibrium physics and the dynamics of strongly correlated fermionic models with spin-based quantum processors. Our proposal avoids the usual pitfalls of fermion-to-spin mappings thanks to a slave-spin method which allows to approximate the original Hamiltonian into a sum of self-correlated free-fermions and spin Hamiltonians. Taking as an example a Rydberg-based analog quantum processor to solve the interacting spin model, we avoid the challenges of variational algorithms or Trotterization methods. We explore the robustness of the method to experimental imperfections by applying it to the half-filled, single-orbital Hubbard model on the square lattice in and out of equilibrium. We show, through realistic numerical simulations of current Rydberg processors, that the method yields quantitatively viable results even in the presence of imperfections: it allows to gain insights into equilibrium Mott physics as well as the dynamics under interaction quenches. This method thus paves the way to the investigation of physical regimes -- whether out-of-equilibrium, doped, or multiorbital -- that are difficult to explore with classical processors.


title: A Novel Metric for Measuring Data Quality in Classification Applications (extended version)

abstract: Data quality is a key element for building and optimizing good learning models. Despite many attempts to characterize data quality, there is still a need for rigorous formalization and an efficient measure of the quality from available observations. Indeed, without a clear understanding of the training and testing processes, it is hard to evaluate the intrinsic performance of a model. Besides, tools allowing to measure data quality specific to machine learning are still lacking. In this paper, we introduce and explain a novel metric to measure data quality. This metric is based on the correlated evolution between the classification performance and the deterioration of data. The proposed method has the major advantage of being model-independent. Furthermore, we provide an interpretation of each criterion and examples of assessment levels. We confirm the utility of the proposed metric with intensive numerical experiments and detail some illustrative cases with controlled and interpretable qualities.


title: Homogenization of 2D materials in the Thomas-Fermi-von Weizsacker theory

abstract: We study the homogenization of the Thomas-Fermi-von Weizsacker (TFW) model for 2D materials. It consists in considering 2D-periodic nuclear densities with periods going to zero. We study the behavior of the corresponding ground state electronic densities and ground state energies. The main result is that these three dimensional problems converge to a limit model that is one dimensional. We also illustrate this convergence with numerical simulations and estimate the converging rate for the ground state electronic densities and the ground state energies.


title: On the calculation of irregular solutions of the Schr\"odinger equation for non-spherical potentials

abstract: The irregular solutions of the stationary Schr\"odinger equation are important for the fundamental formal development of scattering theory. They are also necessary for the analytical properties of the Green function, which in practice can speed up calculations enormously. Despite these facts they are seldom considered in numerical treatments. The reason for this is their divergent behavior at the origin. This divergence demands high numerical precision that is difficult to achieve, in particular, for non-spherical potentials which lead to different divergence rates in the coupled angular momentum channels. Based on an unconventional treatment of boundary conditions, an integral-equation method is developed, which is capable to deal with this problem. The available precision is illustrated by electron-density calculations for NiTi in its monoclinic B19' structure.


title: Improving Spatial Resolution of First-order Ambisonics Using Sparse MDCT Representation

abstract: The paper presents a method for improving spatial resolution of first-order ambisonic audio. The method is based on time/frequency decomposition of the audio with subsequent extraction of a directed plane wave from each frequency component. The method develops the basic ideas of high angular resolution planewave expansion (HARPEX) and directional audio coding (DirAC) taking advantage of real-valued sparse decomposition. Real-valued frequency components as opposed to complex-valued introduce simpler and more stable direction of arrival estimates, while sparse decomposition introduces an accurate and unified approach to describing sounds of different nature from transient to tonal sounds.


title: Laser Powered Harvesting System for Table-Top Grown Strawberries

abstract: In this paper, a novel tool prototype for harvesting table-top grown strawberries is presented. With robustness against strawberry localization error of 15mm and average cycle time of 8.02 seconds at 50% of maximum operational velocity, it provides a promising contribution towards full automation of strawberry harvesting. In addition, the tool has an overall fruit-interacting width of 35mm that greatly enhances reach-ability due to the minimal footprint. A complete harvesting system is also proposed that can be readily mounted to a mobile platform for field tests. An experimental demonstration is performed to showcase the new methodology and derive relevant metrics.


title: Novel View Synthesis with View-Dependent Effects from a Single Image

abstract: In this paper, we firstly consider view-dependent effects into single image-based novel view synthesis (NVS) problems. For this, we propose to exploit the camera motion priors in NVS to model view-dependent appearance or effects (VDE) as the negative disparity in the scene. By recognizing specularities "follow" the camera motion, we infuse VDEs into the input images by aggregating input pixel colors along the negative depth region of the epipolar lines. Also, we propose a `relaxed volumetric rendering' approximation that allows computing the densities in a single pass, improving efficiency for NVS from single images. Our method can learn single-image NVS from image sequences only, which is a completely self-supervised learning method, for the first time requiring neither depth nor camera pose annotations. We present extensive experiment results and show that our proposed method can learn NVS with VDEs, outperforming the SOTA single-view NVS methods on the RealEstate10k and MannequinChallenge datasets.


title: An approximate operator-based learning method for the numerical solutions of stochastic differential equations

abstract: Stochastic differential equation (SDE in short) solvers find numerous applications across various fields. However, in practical simulations, we usually resort to using Ito-Taylor series-based methods like the Euler-Maruyama method. These methods often suffer from the limitation of fixed time scales and recalculations for different Brownian motions, which lead to computational inefficiency, especially in generative and sampling models. To address these issues, we propose a novel approach: learning a mapping between the solution of SDE and corresponding Brownian motion. This mapping exhibits versatility across different scales and requires minimal paths for training. Specifically, we employ the DeepONet method to learn a nonlinear mapping. And we also assess the efficiency of this method through simulations conducted at varying time scales. Additionally, we evaluate its generalization performance to verify its good versatility in different scenarios.


title: Direct visualization of molecular stacking in quasi-2D hexagonal ice

abstract: The structure and properties of water or ice are of great interest to researchers due to their importance in the biological, cryopreservation and environmental fields. Hexagonal ice (Ih) is a common ice phase in nature and has been extensively studied; however, microstructural investigations at the atomic or molecular scale are still lacking. In this paper, the fine structure of quasi-2-dimensional ice Ih films was directly examined using cryogenic transmission electron microscopy. Two types of thin Ih films were observed: perfect single crystals growing along the [0001] direction and crystals with stacking faults, including both basal (BSF) and prismatic (PSF) ones, along the orientation of [11-20]; these results were further confirmed by theoretical calculations. Importantly, for the first time, the stacking faults in ice Ih were directly visualized and resolved. In light of the extension behavior of the chair conformation composed of the water molecules, we elucidated the formation mechanism of BSF in Ih, namely, the Ic phase. This study not only determined the structural characteristics of ice structure at the molecular scale but also provided important concepts for researchers to more fully understand the growth kinetics of ice crystals at the atomic scale.


title: PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs

abstract: A standard tool for modelling real-world optimisation problems is mixed-integer programming (MIP). However, for many of these problems, information about the relationships between variables is either incomplete or highly complex, making it difficult or even impossible to model the problem directly. To overcome these hurdles, machine learning (ML) predictors are often used to represent these relationships and are then embedded in the MIP as surrogate models. Due to the large amount of available ML frameworks and the complexity of many ML predictors, formulating such predictors into MIPs is a highly non-trivial task. In this paper, we introduce PySCIPOpt-ML, an open-source tool for the automatic formulation and embedding of trained ML predictors into MIPs. By directly interfacing with a broad range of commonly used ML frameworks and an open-source MIP solver, PySCIPOpt-ML provides a way to easily integrate ML constraints into optimisation problems. Alongside PySCIPOpt-ML, we introduce, SurrogateLIB, a library of MIP instances with embedded ML constraints, and present computational results over SurrogateLIB, providing intuition on the scale of ML predictors that can be practically embedded. The project is available at https://github.com/Opt-Mucca/PySCIPOpt-ML.


title: TERM Model: Tensor Ring Mixture Model for Density Estimation

abstract: Efficient probability density estimation is a core challenge in statistical machine learning. Tensor-based probabilistic graph methods address interpretability and stability concerns encountered in neural network approaches. However, a substantial number of potential tensor permutations can lead to a tensor network with the same structure but varying expressive capabilities. In this paper, we take tensor ring decomposition for density estimator, which significantly reduces the number of permutation candidates while enhancing expressive capability compared with existing used decompositions. Additionally, a mixture model that incorporates multiple permutation candidates with adaptive weights is further designed, resulting in increased expressive flexibility and comprehensiveness. Different from the prevailing directions of tensor network structure/permutation search, our approach provides a new viewpoint inspired by ensemble learning. This approach acknowledges that suboptimal permutations can offer distinctive information besides that of optimal permutations. Experiments show the superiority of the proposed approach in estimating probability density for moderately dimensional datasets and sampling to capture intricate details.


title: Provably-Correct Safety Protocol for Cooperative Platooning

abstract: Cooperative Adaptive Cruise Control (CACC) is a well-studied technology for forming string-stable vehicle platoons. Ensuring collision avoidance is particularly difficult in CACC due to the small desired inter-vehicle spacing. We propose a safety protocol preventing collisions in a provably-correct manner while still maintaining a small distance to the preceding vehicle, by utilizing communicated braking capabilities. In addition, the safety of the protocol is ensured despite possible communication failures. While our concept can be applied to any CACC system, we particularly consider a class of CACCs, where the platoon vehicles successively agree on a consensus behavior. Our safety protocol is evaluated on various scenarios using the CommonRoad benchmark suite.


title: Auctions and mass transportation

abstract: In this survey paper we present classical and recent results relating the auction design and the optimal transportation theory. In particular, we discuss in details the seminal result of Daskalakis, Deckelbaum and Tzamos \cite{DDT} about duality between auction design with $1$ bidder and the weak transportation problem. Later investigations revealed the connection of multi-bidder case to the Beckmann's transportation problem. In this paper we overview a number of works on related subjects (monopolist's problem, regularity issues, weak transportation, measure ordering etc.). In addition, we prove some new results on duality for unreduced mechanisms.


title: Fine-Grained Image-Text Alignment in Medical Imaging Enables Explainable Cyclic Image-Report Generation

abstract: To address these issues, we propose a novel Adaptive patch-word Matching (AdaMatch) model to correlate chest X-ray (CXR) image regions with words in medical reports and apply it to CXR-report generation to provide explainability for the generation process. AdaMatch exploits the fine-grained relation between adaptive patches and words to provide explanations of specific image regions with corresponding words. To capture the abnormal regions of varying sizes and positions, we introduce the Adaptive Patch extraction (AdaPatch) module to acquire the adaptive patches for these regions adaptively. In order to provide explicit explainability for CXR-report generation task, we propose an AdaMatch-based bidirectional large language model for Cyclic CXR-report generation (AdaMatch-Cyclic). It employs the AdaMatch to obtain the keywords for CXR images and `keypatches' for medical reports as hints to guide CXR-report generation. Extensive experiments on two publicly available CXR datasets prove the effectiveness of our method and its superior performance to existing methods.


title: Extending Whisper with prompt tuning to target-speaker ASR

abstract: Target-speaker automatic speech recognition (ASR) aims to transcribe the desired speech of a target speaker from multi-talker overlapped utterances. Most of the existing target-speaker ASR (TS-ASR) methods involve either training from scratch or fully fine-tuning a pre-trained model, leading to significant training costs and becoming inapplicable to large foundation models. This work leverages prompt tuning, a parameter-efficient fine-tuning approach, to extend Whisper, a large-scale single-talker ASR model, to TS-ASR. Variants of prompt tuning approaches along with their configurations are explored and optimized for TS-ASR.Experimental results show that prompt tuning can achieve performance comparable to state-of-the-art full training approaches while only requiring about 1\% of task-specific model parameters. Notably, the original Whisper's features, such as inverse text normalization and timestamp tagging, are retained in target-speaker ASR, keeping the generated transcriptions natural and informative.


title: Unveiling the origin of the optical/UV emission from the Galactic ULX Swift J0243.6+6124 during its 2017-2018 giant outburst

abstract: From late September 2017 to February 2018, the Be X-ray binary (BeXB) Swift J0243.6+6124 underwent an unprecedently bright giant outburst. The reported X-ray luminosities were so high that the system was classified as an Ultraluminous X-ray source (ULX). It was also the first BeXB pulsar showing radio jet emission. The source was not only bright in X-rays and radio, but also in optical and UV wavelenghts. In this paper we aim to understand the origin of the observed optical/UV fluxes simultaneous to the X-ray emission. We studied the optical/UV light curves in comparison with the X-ray fluxes along the outburst, considering the main mechanisms that can explain the optical/UV emission in X-ray binaries. Due to the tight correlation observed between the optical/UV and X-ray light curves, reprocessing of X-rays seems to be the most plausible explanation. We calculated the timescales of the light curves decays and studied the correlation indexes between the optical and X-ray emission. Finally, we built a physical model considering X-ray heating of the surface of the donor star, irradiation of the accretion disk, and emission from a viscously heated accretion disk, in order to reproduce the observed optical/UV SEDs along the outburst. We considered in our model that the Be circumstellar disk was co-planar to the orbit, and then we neglected its irradiation in the current model. As an input of the model, we used as incident X-ray luminosities those calculated from the bolometric X-ray fluxes obtained from the spectral fit of the Swift/XRT and BAT observations. We conclude that reprocessing of X-rays as X-ray heating of the Be star surface and irradiation of the accretion disk are the two main mechanisms that can reproduce the observed optical/UV emission during the 2017-2018 giant outburst of Swift J0243.6+6124.


title: On the ground state of lattice Schr\"{o}dinger operators

abstract: We prove necessary and sufficient conditions for lattice Schr\"{o}dinger operators to have a zero energy bound state in arbitrary dimension. The two criteria are sharp, complementary, and depend crucially on both the dimension and asymptotic behaviour of the potential. The method relies on a discrete variant of Agmon's comparison principle which is also proven. Our results represent a discrete variant of the recent criteria obtained in the continuous setting by D. Hundertmark, M. Jex, and M. Lange [$\textit{Forum Mathematics, Sigma}$ $\textbf{11}$ (2023)].


title: Phase modulation of directed transport, energy diffusion and quantum scrambling in a Floquet non-Hermitian system

abstract: We investigate both theoretically and numerically the wavepacket's dynamics in momentum space for a Floquet non-Hermitian system with a periodically-kicked driven potential. We have deduced the exact expression of a time-evolving wavepacket under the condition of quantum resonance. With this analytical expression, we can investigate thoroughly the temporal behaviors of the directed transport, energy diffusion and quantum scrambling. We find interestingly that, by tuning the relative phase between the real part and imaginary part of the kicking potential, one can manipulate the directed propagation, energy diffusion and quantum scrambling efficiently: when the phase equals to $\pi/2$, we observe a maximum directed current and energy diffusion, while a minimum scrambling phenomenon protected by the $\mathcal{PT}$-symmetry; when the phase is $\pi$, both the directed transport and the energy diffusion are suppressed, in contrast, the quantum scrambling is enhanced by the non-Hermiticity. Possible applications of our findings are discussed.


title: Training of Neural Networks with Uncertain Data: A Mixture of Experts Approach

abstract: This paper introduces the "Uncertainty-aware Mixture of Experts" (uMoE), a novel solution aimed at addressing aleatoric uncertainty within Neural Network (NN) based predictive models. While existing methodologies primarily concentrate on managing uncertainty during inference, uMoE uniquely embeds uncertainty into the training phase. Employing a "Divide and Conquer" strategy, uMoE strategically partitions the uncertain input space into more manageable subspaces. It comprises Expert components, individually trained on their respective subspace uncertainties. Overarching the Experts, a Gating Unit, leveraging additional information regarding the distribution of uncertain in-puts across these subspaces, dynamically adjusts the weighting to minimize deviations from ground truth. Our findings demonstrate the superior performance of uMoE over baseline methods in effectively managing data uncertainty. Furthermore, through a comprehensive robustness analysis, we showcase its adaptability to varying uncertainty levels and propose optimal threshold parameters. This innovative approach boasts broad applicability across diverse da-ta-driven domains, including but not limited to biomedical signal processing, autonomous driving, and production quality control.


title: A Novel Energy based Model Mechanism for Multi-modal Aspect-Based Sentiment Analysis

abstract: Multi-modal aspect-based sentiment analysis (MABSA) has recently attracted increasing attention. The span-based extraction methods, such as FSUIE, demonstrate strong performance in sentiment analysis due to their joint modeling of input sequences and target labels. However, previous methods still have certain limitations: (i) They ignore the difference in the focus of visual information between different analysis targets (aspect or sentiment). (ii) Combining features from uni-modal encoders directly may not be sufficient to eliminate the modal gap and can cause difficulties in capturing the image-text pairwise relevance. (iii) Existing span-based methods for MABSA ignore the pairwise relevance of target span boundaries. To tackle these limitations, we propose a novel framework called DQPSA for multi-modal sentiment analysis. Specifically, our model contains a Prompt as Dual Query (PDQ) module that uses the prompt as both a visual query and a language query to extract prompt-aware visual information and strengthen the pairwise relevance between visual information and the analysis target. Additionally, we introduce an Energy-based Pairwise Expert (EPE) module that models the boundaries pairing of the analysis target from the perspective of an Energy-based Model. This expert predicts aspect or sentiment span based on pairwise stability. Experiments on three widely used benchmarks demonstrate that DQPSA outperforms previous approaches and achieves a new state-of-the-art performance.


title: Solving Bayesian Inverse Problems With Expensive Likelihoods Using Constrained Gaussian Processes and Active Learning

abstract: Solving inverse problems using Bayesian methods can become prohibitively expensive when likelihood evaluations involve complex and large scale numerical models. A common approach to circumvent this issue is to approximate the forward model or the likelihood function with a surrogate model. But also there, due to limited computational resources, only a few training points are available in many practically relevant cases. Thus, it can be advantageous to model the additional uncertainties of the surrogate in order to incorporate the epistemic uncertainty due to limited data. In this paper, we develop a novel approach to approximate the log likelihood by a constrained Gaussian process based on prior knowledge about its boundedness. This improves the accuracy of the surrogate approximation without increasing the number of training samples. Additionally, we introduce a formulation to integrate the epistemic uncertainty due to limited training points into the posterior density approximation. This is combined with a state of the art active learning strategy for selecting training points, which allows to approximate posterior densities in higher dimensions very efficiently. We demonstrate the fast convergence of our approach for a benchmark problem and infer a random field that is discretized by 30 parameters using only about 1000 model evaluations. In a practically relevant example, the parameters of a reduced lung model are calibrated based on flow observations over time and voltage measurements from a coupled electrical impedance tomography simulation.


title: Recursive Augmented Fernet (RAF) Token: Alleviating the Pain of Stolen Tokens

abstract: A robust authentication and authorization mechanism is imperative in modular system development, where modularity and modular thinking are pivotal. Traditional systems often employ identity modules responsible for authentication and token issuance. Tokens, representing user credentials, offer advantages such as reduced reliance on passwords, limited lifespan, and scoped access. Despite these benefits, the "bearer token" problem persists, leaving systems vulnerable to abuse if tokens are compromised. We propose a token-based authentication mechanism addressing modular systems' critical bearer token problem. The proposed mechanism includes a novel RAF (Recursive Augmented Fernet) token, a blacklist component, and a policy enforcer component. RAF tokens are one-time-use tokens, like tickets. They carry commands, and the receiver of an RAF token can issue new tokens using the received RAF token. The blacklist component guarantees an RAF token can not be approved more than once, and the policy enforcer checks the compatibility of commands carried by an RAF token. We introduce two variations of RAF tokens: User-tied RAF, offering simplicity and compatibility, and Fully-tied RAF, providing enhanced security through service-specific secret keys. We thoroughly discuss the security guarantees, technical definitions, and construction of RAF tokens backed by game-based proofs. We demonstrate a proof of concept in the context of OpenStack, involving modifications to Keystone and creating an RAFT library. The experimental results reveal minimal overhead in typical scenarios, establishing the practicality and effectiveness of RAF. Our experiments show that the RAF mechanism beats the idea of using short-life Fernet tokens while providing much better security.


title: Precise Estimate of Charged Higgsino/Wino Decay Rate

abstract: Higgsinos and Winos in the supersymmetric Standard Model are prime candidates for dark matter due to their weakly interacting nature. The mass differences between their charged components (charginos) and neutral components (neutralinos) become degenerate when other superparticles are heavy, resulting in long-lived charginos. In the case of the Winos, the mass difference is approximately 160 MeV across a wide range of the parameter space. Consequently, the chargino decays into the lightest neutralino, emitting a single charged pion. For Higgsinos, however, mass differences ranging from O(0.1) GeV to O(1) GeV are possible, leading to a variety of decay channels. In this paper, we extend our previous analysis of Wino decay to the chargino with a larger mass difference. We emphasize characterizing its decay signatures through leptonic and hadronic modes. By utilizing the latest experimental data, we perform a comprehensive study of the decay rate calculations incorporating these hadronic modes to determine the impact on the predicted chargino lifetime. Additionally, we conduct next-to-leading order (NLO) calculations for the leptonic decay modes. Our NLO results can be applied to the case of more general fermionic electroweak multiplets, e.g., quintuplet dark matter.


title: How Social Rewiring Preferences Bridge Polarized Communities

abstract: Recently, social debates have been marked by increased polarization of social groups. Such polarization not only implies that groups cannot reach a consensus on fundamental questions but also materializes in more modular social spaces/networks that further amplify the risks of polarization in less polarizing topics. How can network adaptation bridge different communities when individuals reveal homophilic or heterophilic social rewiring preferences? Here, we consider information diffusion processes that capture a continuum from simple to complex contagion processes. We use a computational model to understand how fast and to what extent individual rewiring preferences bridge initially weakly connected communities and how likely it is for them to reach a consensus. We show that homophilic and heterophilic rewiring have different impacts depending on the type of opinion spread. First, in the case of complex opinion diffusion, we show that even polarized social networks can reach a population-wide consensus without reshaping their underlying network. When polarized social structures amplify opinion polarization, heterophilic rewiring preferences play a key role in creating bridges between communities and facilitating a population-wide consensus. Secondly, in the case of simple opinion diffusion, homophilic rewiring preferences are more capable of fostering consensus and avoiding a co-existence (dynamical polarization) of opinions. Hence, across a broad profile of simple and complex opinion diffusion processes, only a mix of heterophilic and homophilic rewiring preferences avoids polarization and promotes consensus.


title: Audio Deepfake Detection with Self-Supervised WavLM and Multi-Fusion Attentive Classifier

abstract: With the rapid development of speech synthesis and voice conversion technologies, Audio Deepfake has become a serious threat to the Automatic Speaker Verification (ASV) system. Numerous countermeasures are proposed to detect this type of attack. In this paper, we report our efforts to combine the self-supervised WavLM model and Multi-Fusion Attentive classifier for audio deepfake detection. Our method exploits the WavLM model to extract features that are more conducive to spoofing detection for the first time. Then, we propose a novel Multi-Fusion Attentive (MFA) classifier based on the Attentive Statistics Pooling (ASP) layer. The MFA captures the complementary information of audio features at both time and layer levels. Experiments demonstrate that our methods achieve state-of-the-art results on the ASVspoof 2021 DF set and provide competitive results on the ASVspoof 2019 and 2021 LA set.


title: The State of Pilot Study Reporting in Crowdsourcing: A Reflection on Best Practices and Guidelines

abstract: Pilot studies are an essential cornerstone of the design of crowdsourcing campaigns, yet they are often only mentioned in passing in the scholarly literature. A lack of details surrounding pilot studies in crowdsourcing research hinders the replication of studies and the reproduction of findings, stalling potential scientific advances. We conducted a systematic literature review on the current state of pilot study reporting at the intersection of crowdsourcing and HCI research. Our review of ten years of literature included 171 articles published in the proceedings of the Conference on Human Computation and Crowdsourcing (AAAI HCOMP) and the ACM Digital Library. We found that pilot studies in crowdsourcing research (i.e., crowd pilot studies) are often under-reported in the literature. Important details, such as the number of workers and rewards to workers, are often not reported. On the basis of our findings, we reflect on the current state of practice and formulate a set of best practice guidelines for reporting crowd pilot studies in crowdsourcing research. We also provide implications for the design of crowdsourcing platforms and make practical suggestions for supporting crowd pilot study reporting.


title: Purely elastic turbulence in pressure-driven channel flows

abstract: Solutions of long, flexible polymer molecules are complex fluids that simultaneously exhibit fluid-like and solid-like behaviour. When subjected to an external flow, dilute polymer solutions exhibit elastic turbulence - a unique, chaotic flow state absent in Newtonian fluids, like water. Unlike its Newtonian counterpart, elastic turbulence is caused by polymer molecules stretching and aligning in the flow, and can occur at vanishing inertia. While experimental realisations of elastic turbulence are well-documented, there is currently no understanding of its mechanism. Here, we present large-scale direct numerical simulations of elastic turbulence in pressure-driven flows through straight channels. We demonstrate that the transition to elastic turbulence is sub-critical, giving rise to spot-like flow structures that, further away from the transition, eventually spread throughout the domain. We provide evidence that elastic turbulence is organised around unstable coherent states that are localised close to the channel midplane.


title: A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics

abstract: Undoubtedly, Location-based Social Networks (LBSNs) provide an interesting source of geo-located data that we have previously used to obtain patterns of the dynamics of crowds throughout urban areas. According to our previous results, activity in LBSNs reflects the real activity in the city. Therefore, unexpected behaviors in the social media activity are a trustful evidence of unexpected changes of the activity in the city. In this paper we introduce a hybrid solution to early detect these changes based on applying a combination of two approaches, the use of entropy analysis and clustering techniques, on the data gathered from LBSNs. In particular, we have performed our experiments over a data set collected from Instagram for seven months in New York City, obtaining promising results.


title: Scotogenic generation of realistic neutrino mixing with D5

abstract: A mechanism of radiative generation of realistic neutrino mixing at one-loop level with $D5\times Z_2$ is presented in this paper. The process is demonstrated in two set-ups using $D5\times Z_2$ symmetry viz. Model 1 and Model 2. Two right-handed neutrinos are present in both the models. In both Model 1 and Model 2, when mixing between these two right-handed neutrinos are maximal, one can produce the form of the left-handed Majorana neutrino mass matrix corresponding to $\theta_{13}=0$, $\theta_{23}=\pi/4$ and any value of $\theta_{12}^0$ associated with Tribimaximal (TBM), Bimaximal (BM), Golden Ratio (GR) or other mixings. Small shift from maximal mixing between the two right-handed neutrino states can generate non-zero $\theta_{13}$, deviation of $\theta_{23}$ from $\pi/4$ and corrections to the solar mixing $\theta_{12}$ in one step for both Model 1 and Model 2. In both the models, two $Z_2$ odd inert $SU(2)_L$ doublet scalars are present. The lightest between these two scalars can be a viable dark matter candidate for both Model 1 and Model 2.


title: 3DGEN: A GAN-based approach for generating novel 3D models from image data

abstract: The recent advances in text and image synthesis show a great promise for the future of generative models in creative fields. However, a less explored area is the one of 3D model generation, with a lot of potential applications to game design, video production, and physical product design. In our paper, we present 3DGEN, a model that leverages the recent work on both Neural Radiance Fields for object reconstruction and GAN-based image generation. We show that the proposed architecture can generate plausible meshes for objects of the same category as the training images and compare the resulting meshes with the state-of-the-art baselines, leading to visible uplifts in generation quality.


title: Constraining the properties of Population III galaxies with multi-wavelength observations

abstract: The early Universe, spanning 400,000 to 400 million years after the Big Bang ($z\approx1100-11$), has been left largely unexplored as the light from luminous objects is too faint to be observed directly. While new experiments are pushing the redshift limit of direct observations, measurements in the low-frequency radio band promise to probe early star and black hole formation via observations of the hydrogen 21-cm line. In this work we explore synergies between 21-cm data from the HERA and SARAS 3 experiments and observations of the unresolved radio and X-ray backgrounds using multi-wavelength Bayesian analysis. We use the combined data set to constrain properties of Population II and Population III stars as well as early X-ray and radio sources. The joint fit reveals a 68 percentile disfavouring of Population III star formation efficiencies $\gtrsim5.7\%$. We also show how the 21-cm and the X-ray background data synergistically constrain opposite ends of the X-ray efficiency prior distribution to produce a peak in the 1D posterior of the X-ray luminosity per star formation rate. We find (at 68\% confidence) that early galaxies were likely 0.3 to 318 times as X-ray efficient as present-day starburst galaxies. We also show that the functional posteriors from our joint fit rule out global 21-cm signals deeper than $\lesssim-203\ \mathrm{mK}$ and power spectrum amplitudes at $k=0.34\ h\mathrm{Mpc^{-1}}$ greater than $\Delta_{21}^2 \gtrsim 946\ \mathrm{mK}^2$ with $3\sigma$ confidence.


title: An Incentive Mechanism for Federated Learning Based on Multiple Resource Exchange

abstract: Federated Learning (FL) is a distributed machine learning paradigm that addresses privacy concerns in machine learning and still guarantees high test accuracy. However, achieving the necessary accuracy by having all clients participate in FL is impractical, given the constraints of client local computing resource. In this paper, we introduce a multi-user collaborative computing framework, categorizing users into two roles: model owners (MOs) and data owner (DOs). Without resorting to monetary incentives, an MO can encourage more DOs to join in FL by allowing the DOs to offload extra local computing tasks to the MO for execution. This exchange of "data" for "computing resources" streamlines the incentives for clients to engage more effectively in FL. We formulate the interaction between MO and DOs as an optimization problem, and the objective is to effectively utilize the communication and computing resource of the MO and DOs to minimize the time to complete an FL task. The proposed problem is a mixed integer nonlinear programming (MINLP) with high computational complexity. We first decompose it into two distinct subproblems, namely the client selection problem and the resource allocation problem to segregate the integer variables from the continuous variables. Then, an effective iterative algorithm is proposed to solve problem. Simulation results demonstrate that the proposed collaborative computing framework can achieve an accuracy of more than 95\% while minimizing the overall time to complete an FL task.


title: Hierarchical Cognitive Spectrum Sharing in Space-Air-Ground Integrated Networks

abstract: In space-air-ground integrated networks (SAGINs), cognitive spectrum sharing has been regarded as a promising solution to improve spectrum efficiency by enabling a secondary network to access the spectrum of a primary network. However, different networks in SAGIN may have different quality of service (QoS) requirements, which can not be well satisfied with the traditional cognitive spectrum sharing architecture. For example, the aerial network typically has high QoS requirements, which however may not be met when it acts as a secondary network. To address this issue, in this paper, we propose a hierarchical cognitive spectrum sharing architecture (HCSSA) for SAGINs, where the secondary networks are divided into a preferential one and an ordinary one. Specifically, the aerial and terrestrial networks can access the spectrum of the satellite network under the condition that the caused interference to the satellite terminal is below a certain threshold. Besides, considering that the aerial network has a higher priority than the terrestrial network, we aim to use a rate constraint to ensure the performance of the aerial network. Subject to these two constraints, we consider a sum-rate maximization for the terrestrial network by jointly optimizing the transmit beamforming vectors of the aerial and terrestrial base stations. To solve this non-convex problem, we propose a penalty-based iterative beamforming (PIBF) scheme that uses the penalty method and the successive convex approximation technique. Moreover, we also develop three low-complexity schemes by optimizing the normalized beamforming vectors and power control. Finally, we provide extensive numerical simulations to compare the performance of the proposed PIBF scheme and the low-complexity schemes. The results also demonstrate the advantages of the proposed HCSSA compared with the traditional cognitive spectrum sharing architecture.


title: Adversarial Socialbots Modeling Based on Structural Information Principles

abstract: The importance of effective detection is underscored by the fact that socialbots imitate human behavior to propagate misinformation, leading to an ongoing competition between socialbots and detectors. Despite the rapid advancement of reactive detectors, the exploration of adversarial socialbot modeling remains incomplete, significantly hindering the development of proactive detectors. To address this issue, we propose a mathematical Structural Information principles-based Adversarial Socialbots Modeling framework, namely SIASM, to enable more accurate and effective modeling of adversarial behaviors. First, a heterogeneous graph is presented to integrate various users and rich activities in the original social network and measure its dynamic uncertainty as structural entropy. By minimizing the high-dimensional structural entropy, a hierarchical community structure of the social network is generated and referred to as the optimal encoding tree. Secondly, a novel method is designed to quantify influence by utilizing the assigned structural entropy, which helps reduce the computational cost of SIASM by filtering out uninfluential users. Besides, a new conditional structural entropy is defined between the socialbot and other users to guide the follower selection for network influence maximization. Extensive and comparative experiments on both homogeneous and heterogeneous social networks demonstrate that, compared with state-of-the-art baselines, the proposed SIASM framework yields substantial performance improvements in terms of network influence (up to 16.32%) and sustainable stealthiness (up to 16.29%) when evaluated against a robust detector with 90% accuracy.


title: Spontaneous time-reversal symmetry breaking by disorder in superconductors

abstract: A growing number of superconducting materials display evidence for spontaneous time-reversal symmetry breaking (TRSB) below their critical transition temperatures. Precisely what this implies for the nature of the superconducting ground state of such materials, however, is often not straightforward to infer. We review the experimental status and survey different theoretical mechanisms for the generation of TRSB in superconductors. In cases where a TRSB complex combination of two superconducting order parameter components is realized, defects, dislocations and sample edges may generate superflow patterns that can be picked up by magnetic probes. However, even single-component condensates that do not break time-reversal symmetry in their pure bulk phases can also support signatures of magnetism inside the superconducting state. This includes, for example, the generation of localized orbital current patterns or spin-polarization near atomic-scale impurities, twin boundaries and other defects. Signals of TRSB may also arise from a superconductivity-enhanced Ruderman-Kittel-Kasuya-Yosida exchange coupling between magnetic impurity moments present in the normal state. We discuss the relevance of these different mechanisms for TRSB in light of recent experiments on superconducting materials of current interest.


title: Finite field models in arithmetic combinatorics -- twenty years on

abstract: About twenty years ago, Green wrote a survey article on the utility of looking at toy versions over finite fields of problems in additive combinatorics. This article was extremely influential, and the rapid development of additive combinatorics necessitated a follow-up survey ten years later, which was written by Wolf. Since the publication of Wolf's article, an immense amount of progress has been made on several central open problems in additive combinatorics in both the finite field model and integer settings. This survey, written to accompany my talk at the 2024 British Combinatorial Conference, covers some of the most significant results of the past ten years and suggests future directions.


title: Security aspects in Smart Meters: Analysis and Prevention

abstract: Smart meters are of the basic elements in the so-called Smart Grid. These devices, connected to the Internet, keep bidirectional communication with other devices in the Smart Grid structure to allow remote readings and maintenance. As any other device connected to a network, smart meters become vulnerable to attacks with different purposes, like stealing data or altering readings. Nowadays, it is becoming more and more popular to buy and plug-and-play smart meters, additionally to those installed by the energy providers, to directly monitor the energy consumption at home. This option inherently entails security risks that are under the responsibility of householders. In this paper, we focus on an open solution based on Smartpi 2.0 devices with two purposes. On the one hand, we propose a network configuration and different data flows to exchange data (energy readings) in the home. These flows are designed to support collaborative among the devices in order to prevent external attacks and attempts of corrupting the data. On the other hand, we check the vulnerability by performing two kind of attacks (denial of service and stealing and changing data by using a malware). We conclude that, as expected, these devices are vulnerable to these attacks, but we provide mechanisms to detect both of them and to solve, by applying cooperation techniques


title: The Milky Way shines in high-energy neutrinos

abstract: The most energetic astrophysical sources in the Milky Way, cosmic accelerators capable of producing high-energy cosmic rays, have resisted discovery for over a century. Up to now, astrophysicists sought these sources mainly by scouring the Galaxy for the gamma rays they are expected to emit. In 2023, the IceCube Neutrino Observatory discovered high-energy neutrinos from the Milky Way, inaugurating a telltale stream of evidence of cosmic-ray production and interaction in the Galaxy.


title: Machine Learning for the Multi-Dimensional Bin Packing Problem: Literature Review and Empirical Evaluation

abstract: The Bin Packing Problem (BPP) is a well-established combinatorial optimization (CO) problem. Since it has many applications in our daily life, e.g. logistics and resource allocation, people are seeking efficient bin packing algorithms. On the other hand, researchers have been making constant advances in machine learning (ML), which is famous for its efficiency. In this article, we first formulate BPP, introducing its variants and practical constraints. Then, a comprehensive survey on ML for multi-dimensional BPP is provided. We further collect some public benchmarks of 3D BPP, and evaluate some online methods on the Cutting Stock Dataset. Finally, we share our perspective on challenges and future directions in BPP. To the best of our knowledge, this is the first systematic review of ML-related methods for BPP.


title: Spectrophotometers for Labs: a Cost-efficient Solution based on Smartphones

abstract: In this paper we introduce a proposal to provide students in labs with an alternative to the traditional visible range spectrophotometers, whose acquisition and maintenance entails high costs, based on smartphones. Our solution faced two aspects. On the one hand, the software for the smartphone, able to perform the typical functionalities of the traditional spectrophotometers. On the other hand, the portable peripheral support needed to capture the images to be analyzed in the smartphone. The promising results allow this solution to be applied in Bring Your Own Devices (BYOD) contexts.


title: Barren Plateaus of Alternated Disentangled UCC Ansatzs

abstract: We conduct a theoretical investigation on the existence of Barren Plateaus for alternated disentangled UCC (dUCC) ansatz, a relaxed version of Trotterized UCC ansatz. In the infinite depth limit, we prove that if only single excitations are involved, the energy landscape of any electronic structure Hamiltonian concentrates polynomially. In contrast, if there are additionally double excitations, the energy landscape concentrates exponentially, which indicates the presence of BP. Furthermore, we perform numerical simulations to study the finite depth scenario. Based on the numerical results, we conjecture that the widely used first-order Trotterized UCCSD and $k$-UpCCGSD when $k$ is a constant suffer from BP. Contrary to previous perspectives, our results suggest that chemically inspired ansatz can also be susceptible to BP. Furthermore, our findings indicate that while the inclusion of double excitations in the ansatz is essential for improving accuracy, it may concurrently exacerbate the training difficulty.


title: A remark on characterizing inner product spaces via strong three-point homogeneity

abstract: We show that a normed linear space is isometrically isomorphic to an inner product space if and only if it is a strongly $n$-point homogeneous metric space for any (or every) $n \geqslant 3$. The counterpart for $n=2$ is the Banach-Mazur problem.


title: Causal Optimal Transport of Abstractions

abstract: Causal abstraction (CA) theory establishes formal criteria for relating multiple structural causal models (SCMs) at different levels of granularity by defining maps between them. These maps have significant relevance for real-world challenges such as synthesizing causal evidence from multiple experimental environments, learning causally consistent representations at different resolutions, and linking interventions across multiple SCMs. In this work, we propose COTA, the first method to learn abstraction maps from observational and interventional data without assuming complete knowledge of the underlying SCMs. In particular, we introduce a multi-marginal Optimal Transport (OT) formulation that enforces do-calculus causal constraints, together with a cost function that relies on interventional information. We extensively evaluate COTA on synthetic and real world problems, and showcase its advantages over non-causal, independent and aggregated COTA formulations. Finally, we demonstrate the efficiency of our method as a data augmentation tool by comparing it against the state-of-the-art CA learning framework, which assumes fully specified SCMs, on a real-world downstream task.


title: Local Volume dwarf galaxy Cassiopea I. Gas metallicity, extinction and distance

abstract: Cas I is a LV dIrr with a wide range of suggested distances. Tikhonov (2019), using the HST images and the TRGB method, places Cas I at D = 1.6+-0.1 Mpc. Besides, he estimates the stellar metallicity of Cas I at the level of z ~ 0.0004 (Z ~ Zo/50). Such a nearby extremely low-metallicity dwarf, if real, would be a very valuable object for detailed studies. An alternative TRGB distance of Cas I, of 4.5+-0.2 Mpc, based on the deeper HST images, was presented in the EDD. It places Cas I midway between IC342 (D ~ 3.3 Mpc) and Maffei 1 (D ~ 5.7 Mpc). We wish to check the suggested extremely low metallicity of Cas I, to improve the estimate of the large MW extinction and to improve the distance estimate to Cas~I. We use the SAO 6-m telescope spectroscopy to estimate gas metallicity in two HII regions in Cas I and to derive, via their observed Balmer decrements, the independent upper limit to the value of the MW extinction. We derive values of 12+log(O/H) = 7.83+-0.1 and 7.58+-0.1 dex in two HII regions of Cas I, corresponding to Z(gas) of 5-10 times higher than Z(stars) for its stars. The measured Balmer decrements in these HII regions, result in the maximal MW extinction of A_B = 3.06+-0.14 mag in comparison to A_B = 3.69+-0.4 derived via the IR dust emission and is used in other estimates of the distance to Cas I. This reduces the original EDD distance till 4.1 Mpc. The relation of Berg et al. (2012) for the LV late-type galaxies, between 12+log(O/H) and M_B, is used to bracket M_B for Cas I. This, in turn, allows one to get an independent estimate of the distance to Cas~I, of ~1.64~Mpc, albeit with the large 1-sigma uncertainty of factor 2.17. The combination of the above distance estimates, accounting for their uncertainties, results in the probable value of D ~ 3.65 Mpc, what favours Cas I to reside in the environs of IC342.


title: Construction of $(\sigma,\delta)$-cyclic codes over a non-chain ring and their applications in DNA codes

abstract: For a prime $p$ and a positive integer $m$, let $\mathbb{F}_{p^m}$ be the finite field of characteristic $p$, and $\mathfrak{R}_l:=\mathbb{F}_{p^m}[v]/\langle v^l-v\rangle$ be a non-chain ring. In this paper, we study the $(\sigma,\delta)$-cyclic codes over $\mathfrak{R}_l$. Further, we study the application of these codes in finding DNA codes. Towards this, we first define a Gray map to find classical codes over $\mathbb{F}_{p^m}$ using codes over the ring $\mathfrak{R}_l$. Later, we find the conditions for a code to be reversible and a DNA code using $(\sigma, \delta)$-cyclic code. Finally, this algebraic method provides many classical and DNA codes of better parameters.


title: Tailored and Externally Corrected Coupled Cluster with Quantum Inputs

abstract: We propose to use wavefunction overlaps obtained from a quantum computer as inputs for the classical split-amplitude techniques, tailored and externally corrected coupled cluster, to achieve balanced treatment of static and dynamic correlation effects in molecular electronic structure simulations. By combining insights from statistical properties of matchgate shadows, which are used to measure quantum trial state overlaps, with classical correlation diagnostics, we are able to provide quantum resource estimates well into the classically no longer exactly solvable regime. We find that rather imperfect wavefunctions and remarkably low shot counts are sufficient to cure qualitative failures of plain coupled cluster singles doubles and to obtain chemically precise dynamic correlation energy corrections. We provide insights into which wavefunction preparation schemes have a chance of yielding quantum advantage, and we test our proposed method using overlaps measured on Google's Sycamore device.


title: Towards Better Morphed Face Images without Ghosting Artifacts

abstract: Automatic generation of morphed face images often produces ghosting artifacts due to poorly aligned structures in the input images. Manual processing can mitigate these artifacts. However, this is not feasible for the generation of large datasets, which are required for training and evaluating robust morphing attack detectors. In this paper, we propose a method for automatic prevention of ghosting artifacts based on a pixel-wise alignment during morph generation. We evaluate our proposed method on state-of-the-art detectors and show that our morphs are harder to detect, particularly, when combined with style-transfer-based improvement of low-level image characteristics. Furthermore, we show that our approach does not impair the biometric quality, which is essential for high quality morphs.


title: Wide-band frequency modulation of a terahertz intrinsic Josephson junction emitter of a cuprate superconductor

abstract: Communication using terahertz (~10^12 Hz) electromagnetic waves is critical for developing 6th-generation wireless network infrastructures. Conflictions between stable radiation and the modulation frequency of terahertz sources impede the superposing of transmitting signals on carrier waves. The Josephson junctions included in a cuprate superconductor radiate terahertz waves with frequencies proportional to the bias voltages. Thus, the modulation of the bias voltage leads to the modulation of the Josephson plasma emission (JPE) frequency. This study aims to demonstrate the generation of frequency-modulated (FM) terahertz continuous waves from Josephson junctions. The results verify that the instantaneous JPE frequency follows the gigahertz-modulated bias voltage. The wide-band FM terahertz generation by a monolithic device shows a sharp contrast to the mode-lock frequency comb constructed by highly sophisticated optics on a bench. A further increase of the modulation amplitude facilitates up- or down-frequency conversion over more than one octave. The obtained FM bandwidth exhibited an improvement of two orders of magnitude in the demodulation signal-to-noise ratio compared to the amplitude-modulated signal. The demonstrated FM-JPE stimulates further research on terahertz communication technology and metrology using superconducting devices.


title: Ricci flow of discrete surfaces of revolution, and relation to constant Gaussian curvature

abstract: Giving explicit parametrizations of discrete constant Gaussian curvature surfaces of revolution that are defined from an integrable systems approach, we study Ricci flow for discrete surfaces, and see how discrete surfaces of revolution have a geometric realization for the Ricci flow that approaches the constant Gaussian curvature surfaces we have parametrized.


title: A note on hook length equidistribution on arithmetic progressions

abstract: In a recent paper, Bringmann, Craig, Ono, and the author showed that the number of $t$-hooks ($t\geq2$) among all partitions of $n$ is not always asymptotically equidistributed on congruence classes $a \pmod{b}$. In this short note, we clarify the situation of $t=1$, i.e. all hook lengths, and show that this case does give asymptotic equidistribution, closing the story of the distribution properties of $t$-hooks on congruence classes.


title: Has Telescope Array Discovered Electroweak Monopole?

abstract: We propose the ultra high energy cosmic ray recently detected by Telescope Array to be the electroweak monopole, and present theoretical arguments which support this. This strongly motivates the necessity for the ``cosmic" MoEDAL experiment which could back up our proposal. To confirm this we propose Telescope Array to measure the magnetic charge of the ultra high energy cosmic ray particles with SQUID.


title: Design and synthesis of three-dimensional hybrid Ruddlesden-Popper nickelate single crystals

abstract: Advancement of technologies relies on discovery of new materials with emerging physical properties that are determined by their crystal structures. Ruddlesden-Popper (R-P) phases with formula of $A_{n+1}$$B_n$$X_{3n+1}$ (n=1,2,3...) are among one of the most widely studied class of materials due to their electrical, optical, magnetic, thermal properties and their combined multifunctional properties(Ref.1-6). In R-P phases, intergrowth is well-known in the short range(Ref.7-9); however, no existing compounds have been reported to have different n mixed in bulk single crystals. Here we design a hybrid R-P nickelate $La_2NiO_4$$La_3Ni_2O_7$ by alternatively stacking bilayers, which is the active structural motif in the newly discovery high-$T_c$ superconductor $La_3Ni_2O_7$ and single layers of the antiferromagnetic insulator $La_2NiO_4$. We report the successful synthesis of $La_2NiO_4$$La_3Ni_2O_7$ single crystals, and X-ray diffraction and real-space imaging vis STEM show that the crystal structure consists of single layers and bilayers of $NiO_6$ octahedral stacking alternatively perpendicular to the ab plane, characterized by the orthorhombic Immm (No.71) space group. Resistivity measurements indicate a peculiar insulator-to-metal transition around 140 K on cooling. Correlated density functional theory calculations corroborate this finding, and reveal that the single layer becomes paramagnetic metallic due to charge transfer via LaO layers. The discovery of $La_2NiO_4$$La_3Ni_2O_7$ opens a door to access a completely new family of 3D hybrid R-P phases with the formula of $A_{n+1}$$B_n$$X_{3n+1}$$A'_{m+1}$$B'_m$$X'_{3m+1}$ which potentially host a plethora of emerging physical properties for various applications.


title: Memory Simulations, Security and Optimization in a Verified Compiler

abstract: Current compilers implement security features and optimizations that require nontrivial semantic reasoning about pointers and memory allocation: the program after the insertion of the security feature, or after applying the optimization, must simulate the original program despite a different memory layout. In this article, we illustrate such reasoning on pointer allocations through memory extensions and injections, as well as fine points on undefined values, by explaining how we implemented and proved correct two security features (stack canaries and pointer authentication) and one optimization (tail recursion elimination) in the CompCert formally verified compiler.


title: Neural Radiance Fields for Transparent Object Using Visual Hull

abstract: Unlike opaque object, novel view synthesis of transparent object is a challenging task, because transparent object refracts light of background causing visual distortions on the transparent object surface along the viewpoint change. Recently introduced Neural Radiance Fields (NeRF) is a view synthesis method. Thanks to its remarkable performance improvement, lots of following applications based on NeRF in various topics have been developed. However, if an object with a different refractive index is included in a scene such as transparent object, NeRF shows limited performance because refracted light ray at the surface of the transparent object is not appropriately considered. To resolve the problem, we propose a NeRF-based method consisting of the following three steps: First, we reconstruct a three-dimensional shape of a transparent object using visual hull. Second, we simulate the refraction of the rays inside of the transparent object according to Snell's law. Last, we sample points through refracted rays and put them into NeRF. Experimental evaluation results demonstrate that our method addresses the limitation of conventional NeRF with transparent objects.


title: Anisotropy stabilized magnetic phases of the triangular antiferromagnet RbFe(MoO$_4$)$_2$

abstract: The magnetic H - T phase diagram of a quasi-two-dimensional easy plane antiferromagnet RbFe(MoO$_4$)$_2$ (S = 5/2) with an equilateral triangular lattice structure is studied with $^{87}$Rb NMR technique for field directed along hard axis C3. The studies confirm the two step transition from the low field umbrella-like incommensurate magnetic phase to the paramagnetic state observed recently (Mitamura et al. 2016). The transitions were identified as a lambda anomaly in the spin-lattice relaxation rate and a step increase of magnetic susceptibility at intermediate transition. The $^{87}$Rb NMR study precludes the possibility of either V or fan spin textures in the X phase. The additional transition is presumably associated with loss of inter plane magnetic order before the transition to paramagnetic state of individual triangular planes.


title: Statistical model concept to quantify input and output of water, nitrogen and phosphorus for lakes with partly gauged watersheds

abstract: Valid mass load predictions of nutrients, in particular nitrogen (N) and phosphorus (P), are needed for the limnological understanding of single lake ecosystems as well as larger river/lake ecosystems. The mass of N and P that enters a lake will determine the ecological state of the lake, and the mass release from the lake will determine the ecological state of downstream ecosystems. Hence, establishing sound quantifications of the external load is crucial and e.g. contributes to the foundation of assessments of necessary management interventions to improve or preserve the ecological integrity of lakes. The external load of N and P is an integral of several pathways, each having different contributions to the total mass load. Around the world, balances of N and P have been derived for decades to support both lake water quality monitoring and research, but it can be difficult and, thus, costly to make detailed and sufficiently covering measurement campaigns in all tributaries (surface as well as groundwater) in the watershed of the N and P load including seasonality and temporal change from year to year. Thus, load prediction is facing challenge of uncertainty due to unmeasured loads, which can be a consequence of limited resources available for the water flow recordings and water concentration measurements in inlets around the lake, or simply due to invisible water flow taking place through the lake bottom. The lake outlet will typically take place in one single river, so the outlet recording seems easier to measure than inlets, however, the outlet may also have unmeasured parts in cases where water is leaching out though the lake bottom. In this paper, we propose a method that applies incomplete data sets (incomplete in the sense of temporal frequency and percentage of gauged watershed) to generate time series that predict the N and P loads entering and leaving the lake.


title: Records of stationary processes and unimodular graphs

abstract: Consider a navigation rule defined on a graph that maps every vertex of the graph to a vertex in such a way that the navigation rule commutes with every automorphism of the graph. It is to say that the navigation rule applied to the vertices remains the same after taking any automorphism of the graph. Such a navigation rule is said to have the covariance property. This study delves into a collection of such covariant navigation rules, indexed by locally finite graphs, and subject to a measurability condition. This ensemble of rules is termed a vertex-shift. More generally, one can consider vertex-shifts on networks, graphs that have labels on edges and on vertices. A vertex-shift induces a dynamic on the space of locally finite rooted networks. The central focus of this work lies in investigating the dynamic associated to a specific navigation rule called the record vertex-shift. It is defined on the trajectories of any one dimensional discrete random walk whose increments have finite mean and the random walk can jump only one step to the left. Additionally, the work includes several notable results concerning record vertex-shifts applied to processes with stationary increments. The thesis also contains results on more general vertex-shifts on unimodular networks.


title: Efficient parameter inference for gravitational wave signals in the presence of transient noises using temporal and time-spectral fusion normalizing flow

abstract: Glitches represent a category of non-Gaussian and transient noise that frequently intersects with gravitational wave (GW) signals, exerting a notable impact on the processing of GW data. The inference of GW parameters, crucial for GW astronomy research, is particularly susceptible to such interference. In this study, we pioneer the utilization of temporal and time-spectral fusion normalizing flow for likelihood-free inference of GW parameters, seamlessly integrating the high temporal resolution of the time domain with the frequency separation characteristics of both time and frequency domains. Remarkably, our findings indicate that the accuracy of this inference method is comparable to traditional non-glitch sampling techniques. Furthermore, our approach exhibits greater efficiency, boasting processing times on the order of milliseconds. In conclusion, the application of normalizing flow emerges as pivotal in handling GW signals affected by transient noises, offering a promising avenue for enhancing the field of GW astronomy research.


title: On geometric inverse problems and microlocal analysis

abstract: This work gives an expository account of certain applications of microlocal analysis in three geometric inverse problems. We will discuss the geodesic X-ray transform inverse problem, the Gelfand problem for the wave equation on a Riemannian manifold, and the Calder\'on problem for the Laplace equation on a Riemannian manifold.


title: Modeling Sparse Graph Sequences and Signals Using Generalized Graphons

abstract: Graphons are limit objects of sequences of graphs and are used to analyze the behavior of large graphs. Recently, graphon signal processing has been developed to study signal processing on large graphs. A major limitation of this approach is that any sparse sequence of graphs inevitably converges to the zero graphon, rendering the resulting signal processing theory trivial and inadequate for sparse graph sequences. To overcome this limitation, we propose a new signal processing framework that leverages the concept of generalized graphons and introduces the stretched cut distance as a measure to compare these graphons. Our framework focuses on the sampling of graph sequences from generalized graphons and explores the convergence properties of associated operators, spectra, and signals. Our signal processing framework provides a comprehensive approach to analyzing and processing signals on graph sequences, even if they are sparse. Finally, we discuss the practical implications of our theory for real-world large networks through numerical experiments.


title: The pitchfork bifurcation and heteroclinic connections in the Kuramoto--Sivashinsky PDE

abstract: We present the tools for dissipative PDEs that allow to describe the dynamics near the pitchfork bifurcation. In particular, the tools allow us to verify the existence of the heteroclinic connections born after the bifurcations. We also give conditions which allow to perform a rigorous computer-assisted proof that the established structure exists on an explicit parameter range. We apply our methods to two bifurcations from zero for the Kuramoto--Sivashinsky PDE. The obtained parameter range is big enough to allow us to continue the fixed points and the heteroclinic connections using the rigorous integration.


title: Towards the classification of semistable fibrations having exactly five singular fibers

abstract: Let X be a non singular projective surface. Given a semistable non isotrivial fibration f over a smooth rational curve with general fiber non hyperelliptic of genus g bigger than 3, we show that if the number s of singular fibers is 5, then the genus is less or equal to 11, thus improving the previously known bound (g lesser or equal to 17). Furthermore we show that for each possible genus the general fiber has gonality at most 5 and we describe the corresponding fibrations as the resolution of concrete pencils of curves on minimal rational surfaces.


title: Random relay selection based heuristic optimization model for the scheduling and effective resource allocation in the cognitive radio network

abstract: Cognitive Radio Network (CRN) provides effective capabilities for resource allocation with the valuable spectrum resources in the network. It provides the effective allocation of resources to the unlicensed users or Secondary Users (SUs) to access the spectrum those are unused by the licensed users or Primary Users (Pus). This paper develops an Optimal Relay Selection scheme with the spectrum-sharing scheme in CRN. The proposed Cross-Layer Spider Swarm Shifting is implemented in CRN for the optimal relay selection with Spider Swarm Optimization (SSO). The shortest path is estimated with the data shifting model for the data transmission path in the CRN. This study examines a cognitive relay network (CRN) with interference restrictions imposed by a mobile end user (MU). Half-duplex communication is used in the proposed system model between a single primary user (PU) and a single secondary user (SU). Between the SU source and SU destination, an amplify and forward (AF) relaying mechanism is also used. While other nodes (SU Source, SU relays, and PU) are supposed to be immobile in this scenario, the mobile end user (SU destination) is assumed to travel at high vehicle speeds. The suggested method achieves variety by placing a selection combiner at the SU destination and dynamically selecting the optimal relay for transmission based on the greatest signal-to-noise (SNR) ratio. The performance of the proposed Cross-Layer Spider Swarm Shifting model is compared with the Spectrum Sharing Optimization with QoS Guarantee (SSO-QG). The comparative analysis expressed that the proposed Cross-Layer Spider Swarm Shifting model delay is reduced by 15% compared with SSO-QG. Additionally, the proposed Cross-Layer Spider Swarm Shifting exhibits the improved network performance of ~25% higher throughput compared with SSO-QG.


title: Clockwork Diffusion: Efficient Generation With Model-Step Distillation

abstract: This work aims to improve the efficiency of text-to-image diffusion models. While diffusion models use computationally expensive UNet-based denoising operations in every generation step, we identify that not all operations are equally relevant for the final output quality. In particular, we observe that UNet layers operating on high-res feature maps are relatively sensitive to small perturbations. In contrast, low-res feature maps influence the semantic layout of the final image and can often be perturbed with no noticeable change in the output. Based on this observation, we propose Clockwork Diffusion, a method that periodically reuses computation from preceding denoising steps to approximate low-res feature maps at one or more subsequent steps. For multiple baselines, and for both text-to-image generation and image editing, we demonstrate that Clockwork leads to comparable or improved perceptual scores with drastically reduced computational complexity. As an example, for Stable Diffusion v1.5 with 8 DPM++ steps we save 32% of FLOPs with negligible FID and CLIP change.


title: Abundance of progression in large set for non commutative semigroup

abstract: The notion of abundance of certain type of configuration in certain large sets was first proved by Furstenberg and Glazner in 1998. After that many author investigate abundance of different types of configurations in different types of large sets. Hindman, Hosseini, Strauss and Tootkaboni recently introduced another notion of large sets called $CR$ sets. Then Debnath and De proved abundance of arithmetic progression in $CR$ sets for commutative semigroups. In the present article we investigate abundance of progressions in for non-commutative semigroups.