title: Cross-Domain Behavioral Credit Modeling: transferability from private to central data

abstract: This paper introduces a credit risk rating model for credit risk assessment in quantitative finance, aiming to categorize borrowers based on their behavioral data. The model is trained on data from Experian, a widely recognized credit bureau, to effectively identify instances of loan defaults among bank customers. Employing state-of-the-art statistical and machine learning techniques ensures the model's predictive accuracy. Furthermore, we assess the model's transferability by testing it on behavioral data from the Bank of Italy, demonstrating its potential applicability across diverse datasets during prediction. This study highlights the benefits of incorporating external behavioral data to improve credit risk assessment in financial institutions.


title: Breaking bubbles across multiple timescales in turbulence

abstract: The familiar process of bubbles generated via breaking waves in the ocean is foundational to many natural and industrial applications. In this process, large pockets of entrained gas are successively fragmented by the ambient turbulence into smaller and smaller bubbles. The key question is how long it takes for the bubbles to reach terminal sizes for a given system. Despite decades of effort, the reported breakup time from multiple experiments differs significantly. Here, to reconcile those results, rather than focusing on one scale, we measure multiple timescales associated with the process through a unique experiment that resolves bubbles' local deformation and curvature. The results emphasize that the scale separation among various timescales is controlled by the Weber number, similar to how the Reynolds number determines the scale separation in single-phase turbulence, but shows a distinct transition at a critical Weber number.


title: Optimizing Visible Light Communication Efficiency Through Reinforcement Learning-Based NOMA-CSK Integration

abstract: In this paper, we explore the use of Non-Orthogonal Multiple Access (NOMA) and Color Shift Keying (CSK) for Visible Light Communication (VLC) systems. VLC is a wireless communication technology that uses visible light as the carrier signal to transmit information. It has several advantages over traditional radio frequency communication, including higher bandwidth, lower interference, and greater security. We first provide an introduction to NOMA and CSK and explain how they can be applied to VLC systems. NOMA is a technique that allows multiple users to share the same frequency channel by allocating different power levels to each user. This enables more users to connect to a single VLC transmitter simultaneously, thereby improving system capacity and spectral efficiency. CSK, on the other hand, is a modulation technique that uses different colors of light to represent digital information. By changing the color of the transmitted signal, information can be encoded and decoded at the receiver. Next, we discuss how NOMA and CSK can be combined in VLC systems by using different power levels to represent different users. This allows for more efficient use of the frequency spectrum, as multiple users can share the same channel at the same time. Additionally, we examine the potential benefits of using NOMA and CSK together in VLC systems to increase data rate. Finally, we discuss how reinforcement learning, a machine learning technique used to train agents to make decisions based on environmental feedback, can be used to optimize NOMA-CSK-VLC networks by allowing agents to learn and adapt to changing network conditions. Overall, our paper provides insights into the benefits of combining NOMA and CSK for VLC systems, highlighting the potential for improving communication efficiency and performance.


title: Higher-Point Gauge-Theory Couplings of Massive Spin-2 States in 4-Dimensional String Theories

abstract: We explicitly compute the (NS) sector conventional type-I superstring tree-level amplitudes at five points after compactifying to 4-D, express the QFT building block in the helicity basis, and give several attempts towards arbitrary $n$ points. More specifically, we consider the interaction of one first excited level and otherwise massless states of conventional type-I superstrings, where the four-dimensional states can, for instance, be realized via D$3$ branes. We construct the amplitude by using the Berends-Giele currents. From the recursion of Berends-Giele currents, we can generate the higher point amplitude. We also apply the BCFW recursion with massive external legs shifted and get the amplitude for arbitrary $n$ points.


title: The effects of detuning on entropic uncertainty bound and quantum correlations in dissipative environment

abstract: One of the fundamental arguments in quantum information theory is the uncertainty principle. In accordance with this principle, two incompatible observables cannot be measured with high precision at the same time. In this work, we will use the entropic uncertainty relation in the presence of quantum memory. Considering a dissipative environment, the effects of the detuning between the transition frequency of a quantum memory and the center frequency of a cavity on entrpic uncertainty bound and quantum correlation between quantum memory and measured particle will be studied. It is shown that by increasing the detuning, quantum correlation is maintained. As a result, due to the inverse relationship between the uncertainty bound and quantum correlation, the measurement results is guessed more accurately.


title: Leveraging Biases in Large Language Models: "bias-kNN'' for Effective Few-Shot Learning

abstract: Large Language Models (LLMs) have shown significant promise in various applications, including zero-shot and few-shot learning. However, their performance can be hampered by inherent biases. Instead of traditionally sought methods that aim to minimize or correct these biases, this study introduces a novel methodology named ``bias-kNN''. This approach capitalizes on the biased outputs, harnessing them as primary features for kNN and supplementing with gold labels. Our comprehensive evaluations, spanning diverse domain text classification datasets and different GPT-2 model sizes, indicate the adaptability and efficacy of the ``bias-kNN'' method. Remarkably, this approach not only outperforms conventional in-context learning in few-shot scenarios but also demonstrates robustness across a spectrum of samples, templates and verbalizers. This study, therefore, presents a unique perspective on harnessing biases, transforming them into assets for enhanced model performance.


title: Geometric Perfect Fluids and Dark Side of the Universe

abstract: Recently we showed that in FLRW cosmology, the contribution from higher curvature terms in any generic metric gravity theory to the energy-momentum tensor is of the perfect fluid form. Such a geometric perfect fluid can be interpreted as a fluid remaining from the beginning of the universe where the string theory is thought to be effective. Just a short time after the beginning of the Universe, it is known that the Einstein-Hilbert action is assumed to be modified by adding all possible curvature invariants. We propose that the observed late-time accelerating expansion of the Universe can be solely driven by this geometric fluid. To support our claim, we specifically study the quadratic gravity field equations in $D$-dimensions. We show that the field equations of this theory for the FLRW metric possess a geometric perfect fluid source containing two critical parameters $\sigma_1$ and $\sigma_2$. To analyze this theory concerning its parameter space $(\sigma_1, \sigma_2)$, we obtain the general second-order nonlinear differential equation governing the late-time dynamics of the deceleration parameter $q$. Hence using some present-day cosmological data as our initial conditions, our findings for the $\sigma_2=0$ case are as follows: $ (i)$ In order to have a positive energy density for the geometric fluid $\rho_g$, the parameter $\sigma_1$ must be negative for all dimensions up to $D = 11$, $(ii)$ For a suitable choice of $\sigma_1$, the deceleration parameter experiences signature changes in the past and future, and in the meantime it lies within a negative range which means that the current observed accelerated expansion phase of the Universe can be driven solely by the curvature of the spacetime, $(iii)$ $q$ experiences a signature change and as the dimension $D$ of spacetime increases, this signature change happens at earlier and later times, in the past and future, respectively.


title: Instant Answering in E-Commerce Buyer-Seller Messaging using Message-to-Question Reformulation

abstract: E-commerce customers frequently seek detailed product information for purchase decisions, commonly contacting sellers directly with extended queries. This manual response requirement imposes additional costs and disrupts buyer's shopping experience with response time fluctuations ranging from hours to days. We seek to automate buyer inquiries to sellers in a leading e-commerce store using a domain-specific federated Question Answering (QA) system. The main challenge is adapting current QA systems, designed for single questions, to address detailed customer queries. We address this with a low-latency, sequence-to-sequence approach, MESSAGE-TO-QUESTION ( M2Q ). It reformulates buyer messages into succinct questions by identifying and extracting the most salient information from a message. Evaluation against baselines shows that M2Q yields relative increases of 757% in question understanding, and 1,746% in answering rate from the federated QA system. Live deployment shows that automatic answering saves sellers from manually responding to millions of messages per year, and also accelerates customer purchase decisions by eliminating the need for buyers to wait for a reply


title: Adaptive Self-training Framework for Fine-grained Scene Graph Generation

abstract: Scene graph generation (SGG) models have suffered from inherent problems regarding the benchmark datasets such as the long-tailed predicate distribution and missing annotation problems. In this work, we aim to alleviate the long-tailed problem of SGG by utilizing unannotated triplets. To this end, we introduce a Self-Training framework for SGG (ST-SGG) that assigns pseudo-labels for unannotated triplets based on which the SGG models are trained. While there has been significant progress in self-training for image recognition, designing a self-training framework for the SGG task is more challenging due to its inherent nature such as the semantic ambiguity and the long-tailed distribution of predicate classes. Hence, we propose a novel pseudo-labeling technique for SGG, called Class-specific Adaptive Thresholding with Momentum (CATM), which is a model-agnostic framework that can be applied to any existing SGG models. Furthermore, we devise a graph structure learner (GSL) that is beneficial when adopting our proposed self-training framework to the state-of-the-art message-passing neural network (MPNN)-based SGG models. Our extensive experiments verify the effectiveness of ST-SGG on various SGG models, particularly in enhancing the performance on fine-grained predicate classes.


title: Querying Easily Flip-flopped Samples for Deep Active Learning

abstract: Active learning is a machine learning paradigm that aims to improve the performance of a model by strategically selecting and querying unlabeled data. One effective selection strategy is to base it on the model's predictive uncertainty, which can be interpreted as a measure of how informative a sample is. The sample's distance to the decision boundary is a natural measure of predictive uncertainty, but it is often intractable to compute, especially for complex decision boundaries formed in multiclass classification tasks. To address this issue, this paper proposes the {\it least disagree metric} (LDM), defined as the smallest probability of disagreement of the predicted label, and an estimator for LDM proven to be asymptotically consistent under mild assumptions. The estimator is computationally efficient and can be easily implemented for deep learning models using parameter perturbation. The LDM-based active learning is performed by querying unlabeled data with the smallest LDM. Experimental results show that our LDM-based active learning algorithm obtains state-of-the-art overall performance on all considered datasets and deep architectures.


title: Geometric inequalities and their stabilities for modified quermassintegrals in hyperbolic space

abstract: In this paper, we first consider the curve case of Hu-Li-Wei's flow for shifted principal curvatures of h-convex hypersurfaces in $\mathbb{H}^{n+1}$ proposed in [10]. We prove that if the initial closed curve is smooth and strictly h-convex, then the solution exists for all time and preserves strict h-convexity along the flow. Moreover, the evolving curve converges smoothly and exponentially to a geodesic circle centered at the origin. The key ingredient in our proof is the Heintze-Karcher type inequality for h-convex curves proved recently in [14]. As an application, we then provide a new proof of geometric inequalities involving weighted curvature integrals and modified quermassintegrals for h-convex curves in $\mathbb{H}^2$. We finally discuss the stability of these inequalities as well as Alexandrov-Fenchel type inequalities for modified quermassintegrals for strictly h-convex domains in $\mathbb{H}^{n+1}$.


title: A Semantic Approach for Big Data Exploration in Industry 4.0

abstract: The growing trends in automation, Internet of Things, big data and cloud computing technologies have led to the fourth industrial revolution (Industry 4.0), where it is possible to visualize and identify patterns and insights, which results in a better understanding of the data and can improve the manufacturing process. However, many times, the task of data exploration results difficult for manufacturing experts because they might be interested in analyzing also data that does not appear in pre-designed visualizations and therefore they must be assisted by Information Technology experts. In this paper, we present a proposal materialized in a semantic-based visual query system developed for a real Industry 4.0 scenario that allows domain experts to explore and visualize data in a friendly way. The main novelty of the system is the combined use that it makes of captured data that are semantically annotated first, and a 2D customized digital representation of a machine that is also linked with semantic descriptions. Those descriptions are expressed using terms of an ontology, where, among others, the sensors that are used to capture indicators about the performance of a machine that belongs to a Industry 4.0 scenario have been modeled. Moreover, this semantic description allows to: formulate queries at a higher level of abstraction, provide customized graphical visualizations of the results based on the format and nature of the data, and download enriched data enabling further types of analysis.


title: Differential Operators on Non-compact Harmonic Manifolds

abstract: We study the algebra of differential operators on non-compact simply connected harmonic manifolds and provide sufficient conditions for them to have a radial fundamental solution and be surjective on the space of smooth function. Furthermore, we show that the algebra of differential operators that commute with taking averages over geodesic spheres is generated by the Laplacian. As an application of this, we show that the heat-semi group is dense in the radial $L^1$ space of a non-compact simply connected harmonic manifold. In the process, we provide a characterisation of the eigenfunctions of the Laplacian and therefore of the eigenfunctions of all differential operators commuting with taking spherical averages.


title: BreastRegNet: A Deep Learning Framework for Registration of Breast Faxitron and Histopathology Images

abstract: A standard treatment protocol for breast cancer entails administering neoadjuvant therapy followed by surgical removal of the tumor and surrounding tissue. Pathologists typically rely on cabinet X-ray radiographs, known as Faxitron, to examine the excised breast tissue and diagnose the extent of residual disease. However, accurately determining the location, size, and focality of residual cancer can be challenging, and incorrect assessments can lead to clinical consequences. The utilization of automated methods can improve the histopathology process, allowing pathologists to choose regions for sampling more effectively and precisely. Despite the recognized necessity, there are currently no such methods available. Training such automated detection models require accurate ground truth labels on ex-vivo radiology images, which can be acquired through registering Faxitron and histopathology images and mapping the extent of cancer from histopathology to x-ray images. This study introduces a deep learning-based image registration approach trained on mono-modal synthetic image pairs. The models were trained using data from 50 women who received neoadjuvant chemotherapy and underwent surgery. The results demonstrate that our method is faster and yields significantly lower average landmark error ($2.1\pm1.96$ mm) over the state-of-the-art iterative ($4.43\pm4.1$ mm) and deep learning ($4.02\pm3.15$ mm) approaches. Improved performance of our approach in integrating radiology and pathology information facilitates generating large datasets, which allows training models for more accurate breast cancer detection.


title: Compressing MIMO Channel Submatrices with Tucker Decomposition: Enabling Efficient Storage and Reducing SINR Computation Overhead

abstract: Massive multiple-input multiple-output (MIMO) systems employ a large number of antennas to achieve gains in capacity, spectral efficiency, and energy efficiency. However, the large antenna array also incurs substantial storage and computational costs. This paper proposes a novel data compression framework for massive MIMO channel matrices based on tensor Tucker decomposition. To address the substantial storage and computational burdens of massive MIMO systems, we formulate the high-dimensional channel matrices as tensors and propose a novel groupwise Tucker decomposition model. This model efficiently compresses the tensorial channel representations while reducing SINR estimation overhead. We develop an alternating update algorithm and HOSVD-based initialization to compute the core tensors and factor matrices. Extensive simulations demonstrate significant channel storage savings with minimal SINR approximation errors. By exploiting tensor techniques, our approach balances channel compression against SINR computation complexity, providing an efficient means to simultaneously address the storage and computational challenges of massive MIMO.


title: PatchAD: A Lightweight Patch-based MLP-Mixer for Time Series Anomaly Detection

abstract: Anomaly detection in time series analysis is a pivotal task, yet it poses the challenge of discerning normal and abnormal patterns in label-deficient scenarios. While prior studies have largely employed reconstruction-based approaches, which limits the models' representational capacities. Moreover, existing deep learning-based methods are not sufficiently lightweight. Addressing these issues, we present PatchAD, our novel, highly efficient multiscale patch-based MLP-Mixer architecture that utilizes contrastive learning for representation extraction and anomaly detection. With its four distinct MLP Mixers and innovative dual project constraint module, PatchAD mitigates potential model degradation and offers a lightweight solution, requiring only $3.2$MB. Its efficacy is demonstrated by state-of-the-art results across $9$ datasets sourced from different application scenarios, outperforming over $30$ comparative algorithms. PatchAD significantly improves the classical F1 score by $50.5\%$, the Aff-F1 score by $7.8\%$, and the AUC by $10.0\%$. The code is publicly available. \url{https://github.com/EmorZz1G/PatchAD}


title: Wavelet-Guided Acceleration of Text Inversion in Diffusion-Based Image Editing

abstract: In the field of image editing, Null-text Inversion (NTI) enables fine-grained editing while preserving the structure of the original image by optimizing null embeddings during the DDIM sampling process. However, the NTI process is time-consuming, taking more than two minutes per image. To address this, we introduce an innovative method that maintains the principles of the NTI while accelerating the image editing process. We propose the WaveOpt-Estimator, which determines the text optimization endpoint based on frequency characteristics. Utilizing wavelet transform analysis to identify the image's frequency characteristics, we can limit text optimization to specific timesteps during the DDIM sampling process. By adopting the Negative-Prompt Inversion (NPI) concept, a target prompt representing the original image serves as the initial text value for optimization. This approach maintains performance comparable to NTI while reducing the average editing time by over 80% compared to the NTI method. Our method presents a promising approach for efficient, high-quality image editing based on diffusion models.


title: A Comparative Analysis on Metaheuristic Algorithms Based Vision Transformer Model for Early Detection of Alzheimer's Disease

abstract: A number of life threatening neuro-degenerative disorders had degraded the quality of life for the older generation in particular. Dementia is one such symptom which may lead to a severe condition called Alzheimer's disease if not detected at an early stage. It has been reported that the progression of such disease from a normal stage is due to the change in several parameters inside the human brain. In this paper, an innovative metaheuristic algorithms based ViT model has been proposed for the identification of dementia at different stage. A sizeable number of test data have been utilized for the validation of the proposed scheme. It has also been demonstrated that our model exhibits superior performance in terms of accuracy, precision, recall as well as F1-score.


title: A Fast, Performant, Secure Distributed Training Framework For Large Language Model

abstract: The distributed (federated) LLM is an important method for co-training the domain-specific LLM using siloed data. However, maliciously stealing model parameters and data from the server or client side has become an urgent problem to be solved. In this paper, we propose a secure distributed LLM based on model slicing. In this case, we deploy the Trusted Execution Environment (TEE) on both the client and server side, and put the fine-tuned structure (LoRA or embedding of P-tuning v2) into the TEE. Then, secure communication is executed in the TEE and general environments through lightweight encryption. In order to further reduce the equipment cost as well as increase the model performance and accuracy, we propose a split fine-tuning scheme. In particular, we split the LLM by layers and place the latter layers in a server-side TEE (the client does not need a TEE). We then combine the proposed Sparsification Parameter Fine-tuning (SPF) with the LoRA part to improve the accuracy of the downstream task. Numerous experiments have shown that our method guarantees accuracy while maintaining security.


title: Memory Efficient Corner Detection for Event-driven Dynamic Vision Sensors

abstract: Event cameras offer low-latency and data compression for visual applications, through event-driven operation, that can be exploited for edge processing in tiny autonomous agents. Robust, accurate and low latency extraction of highly informative features such as corners is key for most visual processing. While several corner detection algorithms have been proposed, state-of-the-art performance is achieved by luvHarris. However, this algorithm requires a high number of memory accesses per event, making it less-than ideal for low-latency, low-energy implementation in tiny edge processors. In this paper, we propose a new event-driven corner detection implementation tailored for edge computing devices, which requires much lower memory access than luvHarris while also improving accuracy. Our method trades computation for memory access, which is more expensive for large memories. For a DAVIS346 camera, our method requires ~3.8X less memory, ~36.6X less memory accesses with only ~2.3X more computes.


title: All in How You Ask for It: Simple Black-Box Method for Jailbreak Attacks

abstract: Large Language Models (LLMs), such as ChatGPT, encounter `jailbreak' challenges, wherein safeguards are circumvented to generate ethically harmful prompts. This study introduces a straightforward black-box method for efficiently crafting jailbreak prompts, addressing the significant complexity and computational costs associated with conventional methods. Our technique iteratively transforms harmful prompts into benign expressions directly utilizing the target LLM, predicated on the hypothesis that LLMs can autonomously generate expressions that evade safeguards. Through experiments conducted with ChatGPT (GPT-3.5 and GPT-4) and Gemini-Pro, our method consistently achieved an attack success rate exceeding 80% within an average of five iterations for forbidden questions and proved robust against model updates. The jailbreak prompts generated were not only naturally-worded and succinct but also challenging to defend against. These findings suggest that the creation of effective jailbreak prompts is less complex than previously believed, underscoring the heightened risk posed by black-box jailbreak attacks.


title: Tropical Pacific SST influence on seasonal streamflow variability in Ecuador

abstract: This study presents a basin wide assessment about the spatio-temporal variability of streamflows in Ecuador for the period 1979-2015. The influence of the tropical Pacific sea surface temperature (SST) on stremaflow variariability from February to April (FMA) period, as the months showing maximum stramflow for the wet season in Ecuador, and from the June to August (JJA), correspondign to the dry season, was analysed. First, a long-term trend analysis was carried out by applying the Sen's slope estimator and the Mann-Kendall test to monthly streamflow data from 45 gaging stations located in different basins across Ecuador. While the coastal region showed the highest generalized positive trends from July to January, the results for the Pacific Andean area suggested a strengthening of the seasonality, presenting an overall increase in the streamflow for all months except August, September and October, which showed negative trends. Second, a singular-value decomposition (SVD) was applied in order to find the main coupled variability patterns between the FMA streamflow and the quasi-coetaneous SST (December-February, DJF) and between the JJA streamflow and the coetaneous SST. The results revealed two main coupled modes for DJF SST/FMA streamflow, the first associated with the canonical El Ni\~no and the second with El Ni\~no Modoki. The latter exerted a major influence on FMA streamflow over most of Ecuador. For JJA streamflow, however, the pattern associated with the traditional El Ni\~no was even more relevant. These results establish the foundations for streamflow modelling in Ecuador based on the Pacific SST, showing the strong response of the streamflows to different types of El Ni\~no events


title: Power System Fault Diagnosis with Quantum Computing and Efficient Gate Decomposition

abstract: Power system fault diagnosis is crucial for identifying the location and causes of faults and providing decision-making support for power dispatchers. However, most classical methods suffer from significant time-consuming, memory overhead, and computational complexity issues as the scale of the power system concerned increases. With rapid development of quantum computing technology, the combinatorial optimization method based on quantum computing has shown certain advantages in computational time over existing methods. Given this background, this paper proposes a quantum computing based power system fault diagnosis method with the Quantum Approximate Optimization Algorithm (QAOA). The proposed method reformulates the fault diagnosis problem as a Hamiltonian by using Ising model, which completely preserves the coupling relationship between faulty components and various operations of protective relays and circuit breakers. Additionally, to enhance problem-solving efficiency under current equipment limitations, the symmetric equivalent decomposition method of multi-z-rotation gate is proposed. Furthermore, the small probability characteristics of power system events is utilized to reduce the number of qubits. Simulation results based on the test system show that the proposed methods can achieve the same optimal results with a faster speed compared with the classical higher-order solver provided by D-Wave.


title: Is the Faber-Krahn inequality true for the Stokes operator?

abstract: The goal of this paper is to investigate the minimisation of the first eigenvalue of the (vectorial) incompressible Dirichlet-Stokes operator. After providing an existence result, we investigate optimality conditions and we prove the following surprising result: while the ball satisfies first and second-order optimality conditions in dimension 2, it does not in dimension 3, so that the Faber-Krahn inequality for the Stokes operator is probably true in $\mathbb{R}^2$, but does not hold in $\mathbb{R}^3$. The multiplicity of the first eigenvalue of the Dirichlet-Stokes operator in the ball in $\mathbb{R}^3$ plays a crucial role in the proof of that claim.


title: Multilingual Visual Speech Recognition with a Single Model by Learning with Discrete Visual Speech Units

abstract: This paper explores sentence-level Multilingual Visual Speech Recognition with a single model for the first time. As the massive multilingual modeling of visual data requires huge computational costs, we propose a novel strategy, processing with visual speech units. Motivated by the recent success of the audio speech unit, the proposed visual speech unit is obtained by discretizing the visual speech features extracted from the self-supervised visual speech model. To correctly capture multilingual visual speech, we first train the self-supervised visual speech model on 5,512 hours of multilingual audio-visual data. Through analysis, we verify that the visual speech units mainly contain viseme information while suppressing non-linguistic information. By using the visual speech units as the inputs of our system, we pre-train the model to predict corresponding text outputs on massive multilingual data constructed by merging several VSR databases. As both the inputs and outputs are discrete, we can greatly improve the training efficiency compared to the standard VSR training. Specifically, the input data size is reduced to 0.016% of the original video inputs. In order to complement the insufficient visual information in speech recognition, we apply curriculum learning where the inputs of the system begin with audio-visual speech units and gradually change to visual speech units. After pre-training, the model is finetuned on continuous features. We set new state-of-the-art multilingual VSR performances by achieving comparable performances to the previous language-specific VSR models, with a single trained model.


title: Multithermal apparent damping of slow waves due to strands with a Gaussian temperature distribution

abstract: Context. Slow waves in solar coronal loops are strongly damped. The current theory of damping by thermal conduction cannot explain some observational features.\n Aims. We investigate the propagation of slow waves in a coronal loop built up from strands of different temperatures. \n Methods. We consider the loop to have a multithermal, Gaussian temperature distribution. The different propagation speeds in different strands lead to an multithermal apparent damping of the wave, similar to observational phase mixing. We use an analytical model to predict the damping length and propagation speed for the slow waves, including in imaging with filter telescopes. \n Results. We compare the damping length due to this multithermal apparent damping with damping due to thermal conduction and find that the multithermal apparent damping is more important for shorter period slow waves. We have found the influence of instrument filters on the wave's propagation speed and damping. This allows us to compare our analytical theory to forward models of numerical simulations. \n Conclusions. We find that our analytical model matches the numerical simulations very well. Moreover, we offer an outlook for using the slow wave properties to infer the loop's thermal properties.


title: Clickbait vs. Quality: How Engagement-Based Optimization Shapes the Content Landscape in Online Platforms

abstract: Online content platforms commonly use engagement-based optimization when making recommendations. This encourages content creators to invest in quality, but also rewards gaming tricks such as clickbait. To understand the total impact on the content landscape, we study a game between content creators competing on the basis of engagement metrics and analyze the equilibrium decisions about investment in quality and gaming. First, we show the content created at equilibrium exhibits a positive correlation between quality and gaming, and we empirically validate this finding on a Twitter dataset. Using the equilibrium structure of the content landscape, we then examine the downstream performance of engagement-based optimization along several axes. Perhaps counterintuitively, the average quality of content consumed by users can decrease at equilibrium as gaming tricks become more costly for content creators to employ. Moreover, engagement-based optimization can perform worse in terms of user utility than a baseline with random recommendations, and engagement-based optimization is also suboptimal in terms of realized engagement relative to quality-based optimization. Altogether, our results highlight the need to consider content creator incentives when evaluating a platform's choice of optimization metric.


title: Early-time optical spectral shape measurements of GRB 200925B

abstract: Optical broad-band spectral shape measurements of gamma-ray bursts (GRBs) are typically made starting an hour or more after the trigger event. With our automated, rapid-response system, the Burst Simultaneous Three-channel Imager (BSTI) on the Nazarbayev University Transient Telescope at Assy-Turgen Astrophysical Observatory (NUTTelA-TAO), we began measurements of GRB200925B 129 s after the Swift BAT trigger. The temporal decay log slopes in the g', r', and i' bands in the time interval 129 s to 1029 s are -0.43 \pm 0.31, -0.43 \pm 0.15, and -0.72 \pm 0.14, respectively. During the decay phase, a shift in color from red to blue, a change in log slope of \{beta} from -2.73 to -1.52 was measured. The evolution in the optical spectral slope is consistent with a decrease in extinction caused by dust destruction.


title: Reheating constraints on mutated hilltop inflation

abstract: Future research studies of cosmic microwave background polarization seems likely to provide a more improved upper bound of $r \le 0.03$ on the tensor-to-scalar ratio(r). In our work, we have done the reheating study of mutated hilltop inflation(MHI), a model falling in the broad category of small field inflation. We have parameterized reheating in terms of various parameters like reheating duration $N_{\text{rh}}$, reheating temperature $T_{\text{rh}}$ and effective equation of state $\overline{\omega }_{\text{rh}}$ using observationally viable values of scalar power spectrum amplitude $A_{\text{s}}$ and scalar spectral index $n_{\text{s}}$. In our study, working over a range of $\overline{\omega }_{\text{rh}}$, we found that the MHI potential is well consistent with combined Planck and BK18 observations for $\overline{\omega }_{\text{rh}} > 0$ within a particular range of model's parameter space and the lower values of the model parameter in MHI generate considerably smaller r compared to normal hilltop potential without any incompatibility of $n_s$ with observational data, making MHI a better choice in accordance to recent and future studies.


title: Degenerate subspace localization and local symmetries

abstract: Domain specific localization of eigenstates has been a persistent observation for systems with local symmetries. The underlying mechanism for this localization behaviour has however remained elusive. We provide here an analysis of locally reflection symmetric tight-binding Hamiltonian which attempts at identifying the key features that lead to the localized eigenstates. A weak coupling expansion of closed-form expressions for the eigenvectors demonstrates that the degeneracy of on-site energies occuring at the center of the locally symmetric domains represents the nucleus for eigenstates spreading across the domain. Since the symmetry-related subdomains constituting a locally symmetric domain are isospectral we encounter pairwise degenerate eigenvalues that split linearly with an increasing coupling strength of the subdomains. The coupling to the (non-symmetric) environment in an extended setup then leads to the survival of a certain system specific fraction of linearly splitting eigenvalues. The latter go hand in hand with the eigenstate localization on the locally symmetric domain. We provide a brief outlook addressing possible generalizations of local symmetry transformations while maintaining isospectrality.


title: SensoDat: Simulation-based Sensor Dataset of Self-driving Cars

abstract: Developing tools in the context of autonomous systems [22, 24 ], such as self-driving cars (SDCs), is time-consuming and costly since researchers and practitioners rely on expensive computing hardware and simulation software. We propose SensoDat, a dataset of 32,580 executed simulation-based SDC test cases generated with state-of-the-art test generators for SDCs. The dataset consists of trajectory logs and a variety of sensor data from the SDCs (e.g., rpm, wheel speed, brake thermals, transmission, etc.) represented as a time series. In total, SensoDat provides data from 81 different simulated sensors. Future research in the domain of SDCs does not necessarily depend on executing expensive test cases when using SensoDat. Furthermore, with the high amount and variety of sensor data, we think SensoDat can contribute to research, particularly for AI development, regression testing techniques for simulation-based SDC testing, flakiness in simulation, etc. Link to the dataset: https://doi.org/10.5281/zenodo.10307479


title: New classification method for Equivalence Classes on $S^1/Z_2$ and $T^2/Z_3$ Orbifolds

abstract: In five- and six-dimensional $U(N)$ and $SU(N)$ gauge theories compactified on $S^1/Z_2$ and $T^2/Z_3$ orbifolds, we propose a new method to classify the equivalence classes (ECs) of boundary conditions (BCs) wihtout depending on the structure of gauge transformations. Some of the BCs are connected through gauge transformations and constitute ECs, each of which contains physically equivalent BCs. Previous methods for classifying ECs have been used specific gauge transformations. In this paper, we show that a geometric property of orbifolds significantly narrows down the possibilities of connecting BCs and completes the classification of ECs.


title: Properties of Fractionally Quantized Recurrence Times for Interacting Spin Models

abstract: Recurrence time quantifies the duration required for a physical system to return to its initial state, playing a pivotal role in understanding the predictability of complex systems. In quantum systems with subspace measurements, recurrence times are governed by Anandan-Aharonov phases, yielding fractionally quantized recurrence times. However, the fractional quantization phenomenon in interacting quantum systems remains poorly explored. Here, we address this gap by establishing universal lower and upper bounds for recurrence times in interacting spins. Notably, we investigate scenarios where these bounds are approached, shedding light on the speed of quantum processes under monitoring. In specific cases, our findings reveal that the complex many-body system can be effectively mapped onto a dynamical system with a single quasi-particle, leading to the discovery of integer quantized recurrence times. Our research yields a valuable link between recurrence times and the number of dark states in the system, thus providing a deeper understanding of the intricate interplay between quantum recurrence, measurements, and interaction effects.


title: A Framework for Digital Currencies for Financial Inclusion in Latin America and the Caribbean

abstract: This research aims to provide a framework to assess the contribution of digital currencies to promote financial inclusion, based on a diagnosis of the landscape of financial inclusion and domestic and cross-border payments in Latin America and the Caribbean. It also provides insights from central banks in the region on key aspects regarding a possible implementation of central bank digital currencies. Findings show that although digital currencies development is at an early stage, a well-designed system could reduce the cost of domestic and cross-border payments, improve the settlement of transactions to achieve real-time payments, expand the accessibility of central bank money, incorporate programmable payments and achieve system performance demands.


title: The Impact of the Third Dredge-up and Mass Loss in Shaping the Initial-Final Mass Relation of White Dwarfs

abstract: The initial-final mass relation (IFMR) plays a crucial role in understanding stellar structure and evolution by linking a star's initial mass to the mass of the resulting white dwarf. This study explores the IFMR in the initial mass range $0.8 \leq M_\mathrm{ini} / M_\odot \leq 4$ using full PARSEC evolutionary calculations supplemented with COLIBRI computations to complete the ejection of the envelope and obtain the final core mass. Recent works have shown that the supposed monotonicity of the IFMR is interrupted by a kink in the initial mass range $M_\mathrm{ini} \approx 1.65-2.10 M_\odot$, due to the interaction between recurrent dredge-up episodes and stellar winds in carbon stars evolving on the thermally-pulsing asymptotic giant branch phase. To reproduce the IFMR non-monotonic behavior we investigate the role of convective overshooting efficiency applied to the base of the convective envelope ($f_\mathrm{env}$) and to the borders of the pulse-driven convective zone ($f_\mathrm{pdcz}$), as well as its interplay with mass loss. We compare our models to observational data and find that $f_\mathrm{env}$ must vary with initial mass in order to accurately reproduce the IFMR's observed kink and slopes. We find some degeneracy between the overshooting parameters when only the IFMR information is used. Nonetheless, this analysis provides valuable insights into the internal mixing processes during the TP-AGB phase.


title: Near-infrared and Mid-infrared Light Emission of Boron-doped Crystalline Silicon

abstract: The bottleneck in achieving fully integrated silicon photonics lies in silicon-based light-emitting devices that are compatible with standard CMOS technology. Dislocation loops by implanting boron into silicon and annealing represents an enticing strategy to transform highly inefficient silicon into a luminescent material. However, the emission at telecommunication wavelength suffers from the strong thermal quenching effect, resulting in low efficiency at room temperature. Here, we applied a new deep cooling process to address this issue. Interestingly, we find that electrons and holes recombine through defects emitting two photons, one in near infrared (NIR, 1.3~1.6 {\mu}m) and the other in mid-infrared band (MIR, around 3.5 {\mu}m). The PL intensity at NIR increases by three folds when the temperature increases from 77 K to 300K. Furthermore, the NIR light emission of reverse biased silicon diodes was significantly enhanced compared to forward bias, emitting the maximum output power of 42 nW at 60 mA. The results offer new opportunities for the development of IR light sources in integrated circuits.


title: Operator $\ell_p\to\ell_q$ norms of random matrices with iid entries

abstract: We prove that for every $p,q\in[1,\infty]$ and every random matrix $X=(X_{i,j})_{i\le m, j\le n}$ with iid centered entries satisfying the regularity assumption $\|X_{i,j}\|_{2\rho} \le \alpha \|X_{i,j}\|_{\rho}$ for every $\rho \ge 1$, the expectation of the operator norm of $X$ from $\ell_p^n$ to $\ell_q^m$ is comparable, up to a constant depending only on $\alpha$, to \[ m^{1/q}\sup_{t\in B_p^n}\Bigl\|\sum_{j=1}^nt_jX_{1,j}\Bigr\|_{ q\wedge \operatorname{Log} m} +n^{1/p^*}\sup_{s\in B_{q^*}^m}\Bigl\|\sum_{i=1}^{m} s_iX_{i,1}\Bigr\|_{ p^*\wedge \operatorname{Log} n}. \] We give more explicit formulas, expressed as exact functions of $p$, $q$, $m$, and $n$, for the asymptotic operator norms in the case when the entries $X_{i,j}$ are: Gaussian, Weibullian, log-concave tailed, and log-convex tailed. In the range $1\le q\le 2\le p$ we provide two-sided bounds under a weaker regularity assumption $(\mathbb{E} X_{1,1}^4)^{1/4}\leq \alpha (\mathbb{E} X_{1,1}^2)^{1/2}$.


title: Simple and effective data augmentation for compositional generalization

abstract: Compositional generalization, the ability to predict complex meanings from training on simpler sentences, poses challenges for powerful pretrained seq2seq models. In this paper, we show that data augmentation methods that sample MRs and backtranslate them can be effective for compositional generalization, but only if we sample from the right distribution. Remarkably, sampling from a uniform distribution performs almost as well as sampling from the test distribution, and greatly outperforms earlier methods that sampled from the training distribution. We further conduct experiments to investigate the reason why this happens and where the benefit of such data augmentation methods come from.


title: Jackknife empirical likelihood ratio test for testing the equality of semivariance

abstract: Semivariance is a measure of the dispersion of all observations that fall above the mean or target value of a random variable and it plays an important role in life-length, actuarial and income studies. In this paper, we develop a new non-parametric test for equality of upper semi-variance. We use the U-statistic theory to derive the test statistic and then study the asymptotic properties of the test statistic. We also develop a jackknife empirical likelihood (JEL) ratio test for equality of upper Semivariance. Extensive Monte Carlo simulation studies are carried out to validate the performance of the proposed JEL-based test. We illustrate the test procedure using real data.


title: Automatic Tuning of Denoising Algorithms Parameters Without Ground Truth

abstract: Denoising is omnipresent in image processing. It is usually addressed with algorithms relying on a set of hyperparameters that control the quality of the recovered image. Manual tuning of those parameters can be a daunting task, which calls for the development of automatic tuning methods. Given a denoising algorithm, the best set of parameters is the one that minimizes the error between denoised and ground-truth images. Clearly, this ideal approach is unrealistic, as the ground-truth images are unknown in practice. In this work, we propose unsupervised cost functions -- i.e., that only require the noisy image -- that allow us to reach this ideal gold standard performance. Specifically, the proposed approach makes it possible to obtain an average PSNR output within less than 1% of the best achievable PSNR.


title: Probing the speed of scalar-induced gravitational waves with pulsar timing arrays

abstract: Recently, several regional pulsar timing array collaborations, including CPTA, EPTA, PPTA, and NANOGrav, have individually reported compelling evidence for a stochastic signal at nanohertz frequencies. This signal originates potentially from scalar-induced gravitational waves associated with significant primordial curvature perturbations on small scales. In this letter, we employ data from the EPTA DR2, PPTA DR3, and NANOGrav 15-year data set, to explore the speed of scalar-induced gravitational waves using a comprehensive Bayesian analysis. Our results suggest that, to be consistent with pulsar timing array observations, the speed of scalar-induced gravitational waves should be $c_g \gtrsim 0.61$ at a $95\%$ credible interval for a lognormal power spectrum of curvature perturbations. Additionally, this constraint aligns with the prediction of general relativity that $c_g=1$ within a $90\%$ credible interval. Our findings underscore the capacity of pulsar timing arrays as a powerful tool for probing the speed of scalar-induced gravitational waves.


title: PPNet: A Two-Stage Neural Network for End-to-end Path Planning

abstract: The classical path planners, such as sampling-based path planners, can provide probabilistic completeness guarantees in the sense that the probability that the planner fails to return a solution if one exists, decays to zero as the number of samples approaches infinity. However, finding a near-optimal feasible solution in a given period is challenging in many applications such as the autonomous vehicle. To achieve an end-to-end near-optimal path planner, we first divide the path planning problem into two subproblems, which are path space segmentation and waypoints generation in the given path's space. We further propose a two-stage neural network named Path Planning Network (PPNet) each stage solves one of the subproblems abovementioned. Moreover, we propose a novel efficient data generation method for path planning named EDaGe-PP. EDaGe-PP can generate data with continuous-curvature paths with analytical expression while satisfying the clearance requirement. The results show the total computation time of generating random 2D path planning data is less than 1/33 and the success rate of PPNet trained by the dataset that is generated by EDaGe-PP is about 2 times compared to other methods. We validate PPNet against state-of-the-art path planning methods. The results show that PPNet can find a near-optimal solution in 15.3ms, which is much shorter than the state-of-the-art path planners.


title: Effective equation of state of a radiatively cooling gas: Self-similar solution of spherical collapse

abstract: The temperature of the interstellar medium (ISM) is governed by several physical process, among which radiative cooling, external UV/cosmic ray heating, and the mechanical work by compression and expansion. In regimes where the dynamical effect is important, the temperature deviates from that derived by simply balancing the heating and cooling functions. This renders the expression of the gas energy evolution with a simple equation of state (EOS) less straightforward. Given a cooling function, the behavior of the gas is subject to the combined effect of dynamical compression and radiative cooling. The goal of the present work is to derive the effective EOS of a collapsing gas within a full fluid solution. We solve the Navier-Stokes equations with a parametric cooling term in spherical coordinate and look for a self-similar collapse solution. We present a solution which describes a cloud that is contracting while losing energy through radiation. This yields an effective EOS that can be generally applied to various ISM context, where the cooling function is available from first principles, and expressed as powerlaw product of the density and temperature. Our findings suggest that a radiatively cooling gas under self-gravitating collapse can easily manifest an effective polytropic EOS, even isothermal in many scenarios. The present model provides theoretical justification for the simplifying isothermal assumptions of simulations at various scales, and can also provide a more realistic thermal recipe without additional computation cost.


title: A $1$-cohomologically hyperbolic birational map of $\mathbb{P}^3$, with a transcendental arithmetic degree

abstract: We construct a $1$-cohomologically hyperbolic birational map of $\mathbb{P}^3$, with transcendental first dynamical degree. The arithmetic degree of this map at a $\overline{\mathbb{Q}}$-point is transcendental.


title: Data-Driven Characterization of Latent Dynamics on Quantum Testbeds

abstract: This paper presents a data-driven approach to learn latent dynamics in superconducting quantum computing hardware. To this end, we augment the dynamical equation of quantum systems described by the Lindblad master equation with a parameterized source term that is trained from experimental data to capture unknown system dynamics, such as environmental interactions and system noise. We consider a structure preserving augmentation that learns and distinguishes unitary from dissipative latent dynamics parameterized by a basis of linear operators, as well as an augmentation given by a nonlinear feed-forward neural network. Numerical results are presented using data from two different quantum processing units (QPU) at Lawrence Livermore National Laboratory's Quantum Device and Integration Testbed. We demonstrate that our interpretable, structure preserving, and nonlinear models are able to improve the prediction accuracy of the Lindblad master equation and accurately model the latent dynamics of the QPUs.


title: Enhancing Small Object Encoding in Deep Neural Networks: Introducing Fast&Focused-Net with Volume-wise Dot Product Layer

abstract: In this paper, we introduce Fast&Focused-Net, a novel deep neural network architecture tailored for efficiently encoding small objects into fixed-length feature vectors. Contrary to conventional Convolutional Neural Networks (CNNs), Fast&Focused-Net employs a series of our newly proposed layer, the Volume-wise Dot Product (VDP) layer, designed to address several inherent limitations of CNNs. Specifically, CNNs often exhibit a smaller effective receptive field than their theoretical counterparts, limiting their vision span. Additionally, the initial layers in CNNs produce low-dimensional feature vectors, presenting a bottleneck for subsequent learning. Lastly, the computational overhead of CNNs, particularly in capturing diverse image regions by parameter sharing, is significantly high. The VDP layer, at the heart of Fast&Focused-Net, aims to remedy these issues by efficiently covering the entire image patch information with reduced computational demand. Experimental results demonstrate the prowess of Fast&Focused-Net in a variety of applications. For small object classification tasks, our network outperformed state-of-the-art methods on datasets such as CIFAR-10, CIFAR-100, STL-10, SVHN-Cropped, and Fashion-MNIST. In the context of larger image classification, when combined with a transformer encoder (ViT), Fast&Focused-Net produced competitive results for OpenImages V6, ImageNet-1K, and Places365 datasets. Moreover, the same combination showcased unparalleled performance in text recognition tasks across SVT, IC15, SVTP, and HOST datasets. This paper presents the architecture, the underlying motivation, and extensive empirical evidence suggesting that Fast&Focused-Net is a promising direction for efficient and focused deep learning.


title: Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams

abstract: The mainstream adoption of cryptocurrencies has led to a surge in wallet-related issues reported by ordinary users on social media platforms. In parallel, there is an increase in an emerging fraud trend called cryptocurrency-based technical support scam, in which fraudsters offer fake wallet recovery services and target users experiencing wallet-related issues. In this paper, we perform a comprehensive study of cryptocurrency-based technical support scams. We present an analysis apparatus called HoneyTweet to analyze this kind of scam. Through HoneyTweet, we lure over 9K scammers by posting 25K fake wallet support tweets (so-called honey tweets). We then deploy automated systems to interact with scammers to analyze their modus operandi. In our experiments, we observe that scammers use Twitter as a starting point for the scam, after which they pivot to other communication channels (eg email, Instagram, or Telegram) to complete the fraud activity. We track scammers across those communication channels and bait them into revealing their payment methods. Based on the modes of payment, we uncover two categories of scammers that either request secret key phrase submissions from their victims or direct payments to their digital wallets. Furthermore, we obtain scam confirmation by deploying honey wallet addresses and validating private key theft. We also collaborate with the prominent payment service provider by sharing scammer data collections. The payment service provider feedback was consistent with our findings, thereby supporting our methodology and results. By consolidating our analysis across various vantage points, we provide an end-to-end scam lifecycle analysis and propose recommendations for scam mitigation.


title: Synergistic Effect of Multi-Walled Carbon Nanotubes and Ladder-Type Conjugated Polymers on the Performance of N-Type Organic Electrochemical Transistors

abstract: Organic electrochemical transistors (OECTs) have the potential to revolutionize the field of organic bioelectronics. To date, most of the reported OECTs include p-type (semi-)conducting polymers as the channel material, while n-type OECTs are yet at an early stage of development, with the best performing electron-transporting materials still suffering from low transconductance, low electron mobility, and slow response time. Here, the high electrical conductivity of multi-walled carbon nanotubes (MWCNTs) and the large volumetric capacitance of the ladder-type {\pi}-conjugated redox polymer poly(benzimidazobenzophenanthroline) (BBL) are leveraged to develop n-type OECTs with record-high performance. It is demonstrated that the use of MWCNTs enhances the electron mobility by more than one order of magnitude, yielding fast transistor transient response (down to 15 ms) and high uC* (electron mobility x volumetric capacitance) of about 1 F/cmVs. This enables the development of complementary inverters with a voltage gain of > 16 and a large worst-case noise margin at a supply voltage of < 0.6 V, while consuming less than 1 uW of power.


title: Boosting Few-Shot Semantic Segmentation Via Segment Anything Model

abstract: In semantic segmentation, accurate prediction masks are crucial for downstream tasks such as medical image analysis and image editing. Due to the lack of annotated data, few-shot semantic segmentation (FSS) performs poorly in predicting masks with precise contours. Recently, we have noticed that the large foundation model segment anything model (SAM) performs well in processing detailed features. Inspired by SAM, we propose FSS-SAM to boost FSS methods by addressing the issue of inaccurate contour. The FSS-SAM is training-free. It works as a post-processing tool for any FSS methods and can improve the accuracy of predicted masks. Specifically, we use predicted masks from FSS methods to generate prompts and then use SAM to predict new masks. To avoid predicting wrong masks with SAM, we propose a prediction result selection (PRS) algorithm. The algorithm can remarkably decrease wrong predictions. Experiment results on public datasets show that our method is superior to base FSS methods in both quantitative and qualitative aspects.


title: Field theory of enzyme-substrate systems with restricted long-range interactions

abstract: Enzyme-substrate kinetics form the basis of many biomolecular processes. The interplay between substrate binding and substrate geometry can give rise to long-range interactions between enzyme binding events. Here, we study a general model of enzyme-substrate kinetics with restricted long-range interactions described by an exponent $-\lambda$. We employ a coherent-state path integral and renormalization group approach to calculate the first moment and two-point correlation function of the enzyme-binding profile. We show that starting from an empty substrate the average occupancy follows a power law with an exponent $1/(1-\lambda)$ over time. The correlation function decays algebraically with two distinct spatial regimes characterized by exponents $-\lambda$ on short distances and $-(2/3)(2-\lambda)$ on long distances. The crossover between both regimes scales inversely with the average substrate occupancy. Our work allows to associate experimental measurements of bound enzyme locations with their binding kinetics and the spatial confirmation of the substrate.


title: Enhanced Automated Quality Assessment Network for Interactive Building Segmentation in High-Resolution Remote Sensing Imagery

abstract: In this research, we introduce the enhanced automated quality assessment network (IBS-AQSNet), an innovative solution for assessing the quality of interactive building segmentation within high-resolution remote sensing imagery. This is a new challenge in segmentation quality assessment, and our proposed IBS-AQSNet allievate this by identifying missed and mistaken segment areas. First of all, to acquire robust image features, our method combines a robust, pre-trained backbone with a lightweight counterpart for comprehensive feature extraction from imagery and segmentation results. These features are then fused through a simple combination of concatenation, convolution layers, and residual connections. Additionally, ISR-AQSNet incorporates a multi-scale differential quality assessment decoder, proficient in pinpointing areas where segmentation result is either missed or mistaken. Experiments on a newly-built EVLab-BGZ dataset, which includes over 39,198 buildings, demonstrate the superiority of the proposed method in automating segmentation quality assessment, thereby setting a new benchmark in the field.


title: Polarized QED Cascades over Pulsar Polar Caps

abstract: The formation of $e^\pm$ plasmas within pulsar magnetospheres through quantum electrodynamics (QED) cascades in vacuum gaps is widely acknowledged. This paper aims to investigate the effect of photon polarization during the QED cascade occurring over the polar cap of a pulsar. We employ a Monte Carlo-based QED algorithm that accurately accounts for both spin and polarization effects during photon emission and pair production in both single-particle and particle-in-cell (PIC) simulations. Our findings reveal distinctive properties in the photon polarization of curvature radiation (CR) and synchrotron radiation (SR). CR photons exhibit high linear polarization parallel to the plane of the curved magnetic field lines, whereas SR photons, on average, demonstrate weak polarization. As the QED cascade progresses, SR photons gradually dominate over CR photons, thus reducing the average degree of photon polarization. Additionally, our study highlights an intriguing observation: the polarization of CR photons enhances $e^\pm$ pair production by approximately 5%, in contrast to the inhibition observed in laser-plasma interactions. Our self-consistent QED PIC simulations in the corotating frame reproduce the essential results obtained from single-particle simulations.


title: Dynamical heterogeneities of thermal creep in pinned interfaces

abstract: Disordered systems under applied loading display slow creep flows at finite temperature, which can lead to the material rupture. Renormalization group arguments predicted that creep proceeds via thermal avalanches of activated events. Recently, thermal avalanches were argued to control the dynamics of liquids near their glass transition. Both theoretical approaches are markedly different. Here we provide a scaling description that seeks to unify dynamical heterogeneities in both phenomena, confirm it in simple models of pinned elastic interfaces, and discuss its experimental implications.


title: Measuring Object Rotation via Visuo-Tactile Segmentation

abstract: When carrying out robotic manipulation tasks, objects occasionally fall as a result of the rotation caused by slippage. This can be prevented by obtaining tactile information that provides better knowledge on the physical properties of the grasping. In this paper, we estimate the rotation angle of a grasped object when slippage occurs. We implement a system made up of a neural network with which to segment the contact region and an algorithm with which to estimate the rotated angle of that region. This method is applied to DIGIT tactile sensors. Our system has additionally been trained and tested with our publicly available dataset which is, to the best of our knowledge, the first dataset related to tactile segmentation from non-synthetic images to appear in the literature, and with which we have attained results of 95% and 90% as regards Dice and IoU metrics in the worst scenario. Moreover, we have obtained a maximum error of 3 degrees when testing with objects not previously seen by our system in 45 different lifts. This, therefore, proved that our approach is able to detect the slippage movement, thus providing a possible reaction that will prevent the object from falling.


title: Uniform $L^p$ estimates for solutions to the inhomogeneous 2D Navier-Stokes equations and application to a chemotaxis-fluid system with local sensing

abstract: The chemotaxis-Navier-Stokes system \begin{equation*}\label{1} \left\{ \begin{array}{rcl} n_t+u\cdot\nabla n &=& \Delta \big(n c^{-\alpha} \big), \\[1mm] c_t+ u\cdot\nabla c &=& \Delta c -nc,\\[1mm] u_t + (u\cdot\nabla) u &=&\Delta u+\nabla P + n\nabla\Phi, \qquad \nabla\cdot u=0, \end{array} \right. \end{equation*} modelling the behavior of aerobic bacteria in a fluid drop, is considered in a smoothly bounded domain $\Omega \subset \mathbb R^2$. For all $\alpha > 0$ and all sufficiently regular $\Phi$, we construct global classical solutions and thereby extend recent results for the fluid-free analogue to the system coupled to a Navier-Stokes system. As a crucial new challenge, our analysis requires a priori estimates for $u$ at a point in the proof when knowledge about $n$ is essentially limited to the observation that the mass is conserved. To overcome this problem, we also prove new uniform-in-time $L^p$ estimates for solutions to the inhomogeneous Navier-Stokes equations merely depending on the space-time $L^2$ norm of the force term raised to an arbitrary small power.


title: Slicer Networks

abstract: In medical imaging, scans often reveal objects with varied contrasts but consistent internal intensities or textures. This characteristic enables the use of low-frequency approximations for tasks such as segmentation and deformation field estimation. Yet, integrating this concept into neural network architectures for medical image analysis remains underexplored. In this paper, we propose the Slicer Network, a novel architecture designed to leverage these traits. Comprising an encoder utilizing models like vision transformers for feature extraction and a slicer employing a learnable bilateral grid, the Slicer Network strategically refines and upsamples feature maps via a splatting-blurring-slicing process. This introduces an edge-preserving low-frequency approximation for the network outcome, effectively enlarging the effective receptive field. The enhancement not only reduces computational complexity but also boosts overall performance. Experiments across different medical imaging applications, including unsupervised and keypoints-based image registration and lesion segmentation, have verified the Slicer Network's improved accuracy and efficiency.


title: Convergence of a spatial semidiscretization for a three-dimensional stochastic Allen-Cahn equation with multiplicative noise

abstract: This paper studies the convergence of a spatial semidiscretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. For non-smooth initial data, the regularity of the mild solution is investigated, and an error estimate is derived within the spatial (L^2)-norm setting. In the case of smooth initial data, two error estimates are established within the framework of general spatial (L^q)-norms.


title: Rational Materials Design for In Operando Electropolymerization of Evolvable Organic Electrochemical Transistors

abstract: Organic electrochemical transistors formed by in operando electropolymerization of the semiconducting channel are increasingly becoming recognized as a simple and effective implementation of synapses in neuromorphic hardware. However, very few studies have reported the requirements that must be met to ensure that the polymer spreads along the substrate to form a functional conducting channel. The nature of the interface between the substrate and various monomer precursors of conducting polymers through molecular dynamics simulations is investigated, showing that monomer adsorption to the substrate produces an increase in the effective monomer concentration at the surface. By evaluating combinatorial couples of monomers baring various sidechains with differently functionalized substrates, it is shown that the interactions between the substrate and the monomer precursor control the lateral growth of a polymer film along an inert substrate. This effect has implications for fabricating synaptic systems on inexpensive, flexible substrates.


title: Exploring Latent Cross-Channel Embedding for Accurate 3D Human Pose Reconstruction in a Diffusion Framework

abstract: Monocular 3D human pose estimation poses significant challenges due to the inherent depth ambiguities that arise during the reprojection process from 2D to 3D. Conventional approaches that rely on estimating an over-fit projection matrix struggle to effectively address these challenges and often result in noisy outputs. Recent advancements in diffusion models have shown promise in incorporating structural priors to address reprojection ambiguities. However, there is still ample room for improvement as these methods often overlook the exploration of correlation between the 2D and 3D joint-level features. In this study, we propose a novel cross-channel embedding framework that aims to fully explore the correlation between joint-level features of 3D coordinates and their 2D projections. In addition, we introduce a context guidance mechanism to facilitate the propagation of joint graph attention across latent channels during the iterative diffusion process. To evaluate the effectiveness of our proposed method, we conduct experiments on two benchmark datasets, namely Human3.6M and MPI-INF-3DHP. Our results demonstrate a significant improvement in terms of reconstruction accuracy compared to state-of-the-art methods. The code for our method will be made available online for further reference.


title: Prototyping a High Purity Germanium cryogenic veto system for a bolometric detection experiment

abstract: The use of High Purity Germanium detectors operated in ionization mode at cryogenic temperatures is investigated as an external background mitigation solution for bolometers used in rare-event search experiments. A simple experimental setup with very partial coverage, running a 52-g $\mathrm{Li_2WO_4}$ bolometer sandwiched in-between two 2-cm thick High Purity Germanium cylindrical detectors in a dry cryostat, shows promising rejection to environmental gammas and atmospheric muons backgrounds. The acquired data are used together with a Monte Carlo simulation of the setup to extract the main contributions to the external backgrounds expected in an above ground experiment, such as e.g.~current and future experimental efforts targeting the detection of coherent elastic neutrino-nucleus scattering at reactor facilities. Based on all these results, a $\mathrm{4\pi}$ coverage similar veto system achieving a $\mathcal{O}$(10 keV) energy threshold is expected to achieve a $\mathrm{\gtrsim}$ 70 \% and a $\mathrm{\gtrsim}$ 97 \% rejection power for gamma-like and muon-like events, respectively.


title: CATMA: Conformance Analysis Tool For Microservice Applications

abstract: The microservice architecture allows developers to divide the core functionality of their software system into multiple smaller services. However, this architectural style also makes it harder for them to debug and assess whether the system's deployment conforms to its implementation. We present CATMA, an automated tool that detects non-conformances between the system's deployment and implementation. It automatically visualizes and generates potential interpretations for the detected discrepancies. Our evaluation of CATMA shows promising results in terms of performance and providing useful insights. CATMA is available at \url{https://cyber-analytics.nl/catma.github.io/}, and a demonstration video is available at \url{https://youtu.be/WKP1hG-TDKc}.


title: MatSciRE: Leveraging Pointer Networks to Automate Entity and Relation Extraction for Material Science Knowledge-base Construction

abstract: Material science literature is a rich source of factual information about various categories of entities (like materials and compositions) and various relations between these entities, such as conductivity, voltage, etc. Automatically extracting this information to generate a material science knowledge base is a challenging task. In this paper, we propose MatSciRE (Material Science Relation Extractor), a Pointer Network-based encoder-decoder framework, to jointly extract entities and relations from material science articles as a triplet ($entity1, relation, entity2$). Specifically, we target the battery materials and identify five relations to work on - conductivity, coulombic efficiency, capacity, voltage, and energy. Our proposed approach achieved a much better F1-score (0.771) than a previous attempt using ChemDataExtractor (0.716). The overall graphical framework of MatSciRE is shown in Fig 1. The material information is extracted from material science literature in the form of entity-relation triplets using MatSciRE.


title: FREED++: Improving RL Agents for Fragment-Based Molecule Generation by Thorough Reproduction

abstract: A rational design of new therapeutic drugs aims to find a molecular structure with desired biological functionality, e.g., an ability to activate or suppress a specific protein via binding to it. Molecular docking is a common technique for evaluating protein-molecule interactions. Recently, Reinforcement Learning (RL) has emerged as a promising approach to generating molecules with the docking score (DS) as a reward. In this work, we reproduce, scrutinize and improve the recent RL model for molecule generation called FREED (arXiv:2110.01219). Extensive evaluation of the proposed method reveals several limitations and challenges despite the outstanding results reported for three target proteins. Our contributions include fixing numerous implementation bugs and simplifying the model while increasing its quality, significantly extending experiments, and conducting an accurate comparison with current state-of-the-art methods for protein-conditioned molecule generation. We show that the resulting fixed model is capable of producing molecules with superior docking scores compared to alternative approaches.


title: Interior Schauder estimates for Stokes systems in non-divergence form

abstract: The global Schauder estimates for Stokes systems are established by Solonnikov [15] and [16] while the interior ones may fail generally from Serrin's counterexample (cf. [14]). Nevertheless, this paper obtains interior $C^{2,\alpha}$ estimates for velocity and interior $C^{1,\alpha}$ estimates for pressure in spatial direction. Furthermore, the $C^{\alpha, \frac{\alpha}2}$ estimate is attained for derivatives of curl of velocity. The estimates for velocity can be achieved pointwisely. The results are sharp and surprising since no continuity in time variable is assumed for the coefficients and the righthand side terms.


title: Solutions to some sign change problems on the functions involving sums of divisors

abstract: In this note, we solve some sign change problems on the functions involving sums of divisors posed by Pongsriiam recently.


title: Efficient Computation of Large-Scale Statistical Solutions to Incompressible Fluid Flows

abstract: This work presents the development, performance analysis and subsequent optimization of a GPU-based spectral hyperviscosity solver for turbulent flows described by the three dimensional incompressible Navier-Stokes equations. The method solves for the fluid velocity fields directly in Fourier space, eliminating the need to solve a large-scale linear system of equations in order to find the pressure field. Special focus is put on the communication intensive transpose operation required by the fast Fourier transform when using distributed memory parallelism. After multiple iterations of benchmarking and improving the code, the simulation achieves close to optimal performance on the Piz Daint supercomputer cluster, even outperforming the Cray MPI implementation on Piz Daint in its communication routines. This optimal performance enables the computation of large-scale statistical solutions of incompressible fluid flows in three space dimensions.


title: Optical tomography of the born-again ejecta of A 58

abstract: In a born-again planetary nebula (PN), processed H-deficient material has been injected inside the old, H-rich nebula as a result of a very late thermal pulse (VLTP) event. Long-slit spectra have been used to unveil the chemical and physical differences between these two structures, but the ejection and shaping processes remain still unclear. In order to peer into the morpho-kinematics of the H-deficient ejecta in the born-again PN A 58, we present the first integral field spectroscopic observations of a born-again PN as obtained with GTC MEGARA. We detect emission from the H$\alpha$, He I, [O III], [N II] and [S II] emission lines, which help us unveil the expansion patterns of the different structures. In combination with ALMA and Hubble Space Telescope data we are able to produce a complete view of the H-deficient ionized and molecular ejecta in A 58. We propose an hourglass structure for the ionized material that embraces molecular high-velocity polar components, while bisected by an expanding toroidal molecular and dusty structure. Our results leverage the role of a companion in shaping the VLTP ejecta in this born-again PN.


title: Game Representations and Extensions of the Shapley Value

abstract: We show that any cooperative game can be represented by an assignment of costly facilities to players, in which it is intuitively obvious how to allocate the total cost in an equitable manner. This equitable solution turns out to be the Shapley value of the game, and thus provides as an alternative justification of the value. Game representations also open the door for extending the Shapley value to situations where not all coalitions can form, provided those that can constitute a "semi-algebra"; or, more generally, a "hierarchy"; or, still more generally, have "full span".


title: Phase structure of holographic superconductors in an Einstein-scalar-Gauss-Bonnet theory with spontaneous scalarization

abstract: Holographic superconductor phase transition and spontaneous scalarization are triggered by the instability of the underlying vacuum black hole spacetime. Although both hairy black hole solutions are closely associated with the tachyonic instability of the scalar degree of freedom, they are understood to be driven by distinct causes. It is, therefore, interesting to explore the interplay between the two phenomena in the context of a scenario where both mechanisms are present. To this end, we investigate the Einstein-scalar-Gauss-Bonnet theory in asymptotically anti-de Sitter spacetime with a Maxwell field. On the one hand, the presence of the charged scalar and Maxwell fields in anti-de Sitter spacetime furnishes the celebrated framework for a holographic superconductor. On the other hand, the non-minimal Gauss-Bonnet coupling between the scalar field and the gravitational sector triggers spontaneous scalarization. However, near the transition curve, the two phases are found to be largely indistinguishable regarding both the radial profile and effective potential. This raises the question of whether the hairy black holes triggered by different mechanisms are smoothly joined by a phase transition or whether these are actually identical solutions. To assess the transition more closely, we evaluate the phase diagram in terms of temperature and chemical potential and discover a smooth but first-order transition between the two hairy solutions by explicitly evaluating Gibbs free energy and its derivatives. In particular, one can elaborate a thermodynamic process through which a superconducting black hole transits into a scalarized one by raising or decreasing the temperature. Exhausting the underlying phase space, we analyze the properties and the interplay between the two hairy solutions.


title: Rotational excitation of interstellar benzonitrile by helium atoms

abstract: Interstellar aromatic molecules such as polycyclic aromatic hydrocarbons and polycyclic nitrogen and oxygen bearing molecules are thought to be abundant in the interstellar medium. In this class of molecules, benzonitrile ($c$-C$_6$H$_5$CN) plays an important role as a proxy for benzene. It has been detected through rotational emission in several astrophysical sources and is one of the simplest N-bearing polar aromatic molecules. Even in the cold ISM, the population of the rotational levels of benzonitrile might not be at equilibrium. Consequently, modeling its detected emission lines requires a prior computation of its quenching rate coefficients by the most abundant species in the ISM (He or H$_2$). In this paper, we focus on the excitation of c-C$_6$H$_5$CN by collision with He. We compute the first potential energy surface (PES) using the explicitly correlated coupled cluster method in conjunction with large basis sets. The PES obtained is characterized by a potential well depth of -97.2 cm$^{-1}$ and an important anisotropy. Scattering computations of the rotational (de-)excitation of c-C$_6$H$_5$CN by He atoms are performed by means of the coupled states approximation that allow to obtain collisional rates for rotational states up to $j$ = 9 and temperatures up to 40 K. These rate coefficients are then used to examine the effect of C$_6$H$_5$CN excitation induced by collisions with para-H$_2$ in molecular clouds by carrying out simple radiative transfer calculations of the excitation temperatures and show that non-equilibrium effects can be expected for H$_2$ densities up to 10$^5$-10$^6$ cm$^{-3}$.


title: Mixed-Integer Linear Optimization for Semi-Supervised Optimal Classification Trees

abstract: Decision trees are one of the most famous methods for solving classification problems, mainly because of their good interpretability properties. Moreover, due to advances in recent years in mixed-integer optimization, several models have been proposed to formulate the problem of computing optimal classification trees. The goal is, given a set of labeled points, to split the feature space with hyperplanes and assign a class to each partition. In certain scenarios, however, labels are exclusively accessible for a subset of the given points. Additionally, this subset may be non-representative, such as in the case of self-selection in a survey. Semi-supervised decision trees tackle the setting of labeled and unlabeled data and often contribute to enhancing the reliability of the results. Furthermore, undisclosed sources may provide extra information about the size of the classes. We propose a mixed-integer linear optimization model for computing semi-supervised optimal classification trees that cover the setting of labeled and unlabeled data points as well as the overall number of points in each class for a binary classification. Our numerical results show that our approach leads to a better accuracy and a better Matthews correlation coefficient for biased samples compared to other optimal classification trees, even if only few labeled points are available.


title: Benchmarking hybrid digitized-counterdiabatic quantum optimization

abstract: Hybrid digitized-counterdiabatic quantum computing (DCQC) is a promising approach for leveraging the capabilities of near-term quantum computers, utilizing parameterized quantum circuits designed with counterdiabatic protocols. However, the classical aspect of this approach has received limited attention. In this study, we systematically analyze the convergence behavior and solution quality of various classical optimizers when used in conjunction with the digitized-counterdiabatic approach. We demonstrate the effectiveness of this hybrid algorithm by comparing its performance to the traditional QAOA on systems containing up to 28 qubits. Furthermore, we employ principal component analysis to investigate the cost landscape and explore the crucial influence of parameterization on the performance of the counterdiabatic ansatz. Our findings indicate that fewer iterations are required when local cost landscape minima are present, and the SPSA-based BFGS optimizer emerges as a standout choice for the hybrid DCQC paradigm.


title: On the global well-posedness of 3D inhomogeneous incompressible Navier-Stokes system with density-dependent viscosity

abstract: In this paper, we are concerned with the global well-posedness of 3D inhomogeneous incompressible Navier-Stokes equations with density-dependent viscosity when the initial velocity is sufficiently small in the critical Besov space $\dot{B}^{\frac 12}$. Compared with the previous result of Abidi and Zhang (Science China Mathematics 58 (6) (2015) 1129-1150), we remove the smallness assumption of the viscosity $\mu(\rho_0)-1$ in $L^{\infty}$-norm.


title: Next-Generation Simulation Illuminates Scientific Problems of Organised Complexity

abstract: As artificial intelligence becomes increasingly prevalent in scientific research, data-driven methodologies appear to overshadow traditional approaches in resolving scientific problems. In this Perspective, we revisit a classic classification of scientific problems and acknowledge that a series of unresolved problems remain. Throughout the history of researching scientific problems, scientists have continuously formed new paradigms facilitated by advances in data, algorithms, and computational power. To better tackle unresolved problems, especially those of organised complexity, a novel paradigm is necessitated. While recognising that the strengths of new paradigms have expanded the scope of resolvable scientific problems, we aware that the continued advancement of data, algorithms, and computational power alone is hardly to bring a new paradigm. We posit that the integration of paradigms, which capitalises on the strengths of each, represents a promising approach. Specifically, we focus on next-generation simulation (NGS), which can serve as a platform to integrate methods from different paradigms. We propose a methodology, sophisticated behavioural simulation (SBS), to realise it. SBS represents a higher level of paradigms integration based on foundational models to simulate complex systems, such as social systems involving sophisticated human strategies and behaviours. NGS extends beyond the capabilities of traditional mathematical modelling simulations and agent-based modelling simulations, and therefore, positions itself as a potential solution to problems of organised complexity in complex systems.


title: Enhancing the Fairness and Performance of Edge Cameras with Explainable AI

abstract: The rising use of Artificial Intelligence (AI) in human detection on Edge camera systems has led to accurate but complex models, challenging to interpret and debug. Our research presents a diagnostic method using Explainable AI (XAI) for model debugging, with expert-driven problem identification and solution creation. Validated on the Bytetrack model in a real-world office Edge network, we found the training dataset as the main bias source and suggested model augmentation as a solution. Our approach helps identify model biases, essential for achieving fair and trustworthy models.


title: Game-theoretic Model Predictive Control for Modelling Competitive Supply Chains

abstract: Supply chains transform raw materials into finished goods and distribute them to end consumers. The vast majority of products we use daily are supplied to us through complex global supply chains. This paper proposes a modelling methodology for dynamic competitive supply chains based on game theory and model predictive control. We model each manufacturer in the supply chain as a rational utility maximizing agent that selects their actions by finding an open-loop generalized Nash equilibrium of a multi-stage game. To react to competitors and the state of the market, every agent re-plans their actions in a receding horizon manner based on estimates of market and supplier parameters thereby creating an approximate closed-loop equilibrium policy. We demonstrate through numerical simulations that this modelling approach is computationally tractable and generates economically interpretable behaviors in a variety of settings such as demand spikes, supply shocks, and information asymmetry.


title: A Survey on Energy Consumption and Environmental Impact of Video Streaming

abstract: Climate change challenges require a notable decrease in worldwide greenhouse gas (GHG) emissions across technology sectors. Digital technologies, especially video streaming, accounting for most Internet traffic, make no exception. Video streaming demand increases with remote working, multimedia communication services (e.g., WhatsApp, Skype), video streaming content (e.g., YouTube, Netflix), video resolution (4K/8K, 50 fps/60 fps), and multi-view video, making energy consumption and environmental footprint critical. This survey contributes to a better understanding of sustainable and efficient video streaming technologies by providing insights into the state-of-the-art and potential future directions for researchers, developers, and engineers, service providers, hosting platforms, and consumers. We widen this survey's focus on content provisioning and content consumption based on the observation that continuously active network equipment underneath video streaming consumes substantial energy independent of the transmitted data type. We propose a taxonomy of factors that affect the energy consumption in video streaming, such as encoding schemes, resource requirements, storage, content retrieval, decoding, and display. We identify notable weaknesses in video streaming that require further research for improved energy efficiency: (1) fixed bitrate ladders in HTTP live streaming; (2) inefficient hardware utilization of existing video players; (3) lack of comprehensive open energy measurement dataset covering various device types and coding parameters for reproducible research.


title: Small energy scattering for radial solutions to the generalized Zakharov system

abstract: We prove the small energy scattering for the three-dimensional generalized Zakharov system with radial symmetry based on the idea by Guo and Nakanishi (2014), which treats the usual Zakharov system. For the proof, we use the frequency-localized normal form reduction, and the radially improved Strichartz estimates. The relation between the solution to the integral equations, which includes the unusual boundary terms, and the original differential equations is also considered.


title: EDAF: An End-to-End Delay Analytics Framework for 5G-and-Beyond Networks

abstract: Supporting applications in emerging domains like cyber-physical systems and human-in-the-loop scenarios typically requires adherence to strict end-to-end delay guarantees. Contributions of many tandem processes unfolding layer by layer within the wireless network result in violations of delay constraints, thereby severely degrading application performance. Meeting the application's stringent requirements necessitates coordinated optimization of the end-to-end delay by fine-tuning all contributing processes. To achieve this task, we designed and implemented EDAF, a framework to decompose packets' end-to-end delays and determine each component's significance for 5G network. We showcase EDAF on OpenAirInterface 5G uplink, modified to report timestamps across the data plane. By applying the obtained insights, we optimized end-to-end uplink delay by eliminating segmentation and frame-alignment delays, decreasing average delay from 12ms to 4ms.


title: Artificial Intelligence-based algorithms in medical image scan seg-mentation and intelligent visual-content generation -- a concise overview

abstract: Recently, Artificial Intelligence (AI)-based algorithms have revolutionized the medical image segmentation processes. Thus, the precise segmentation of organs and their lesions may contribute to an efficient diagnostics process and a more effective selection of targeted therapies as well as increasing the effectiveness of the training process. In this context, AI may contribute to the automatization of the image scan segmentation process and increase the quality of the resulting 3D objects, which may lead to the generation of more realistic virtual objects. In this paper, we focus on the AI-based solutions applied in the medical image scan segmentation, and intelligent visual-content generation, i.e. computer-generated three-dimensional (3D) images in the context of Extended Reality (XR). We consider different types of neural networks used with a special emphasis on the learning rules applied, taking into account algorithm accuracy and performance, as well as open data availability. This paper attempts to summarize the current development of AI-based segmentation methods in medical imaging and intelligent visual content generation that are applied in XR. It concludes also with possible developments and open challenges in AI application in Extended Reality-based solutions. Finally, the future lines of research and development directions of Artificial Intelligence applications both in medical image segmentation and Extended Reality-based medical solutions are discussed


title: The Distortion of Threshold Approval Matching

abstract: We study matching settings in which a set of agents have private utilities over a set of items. Each agent reports a partition of the items into approval sets of different threshold utility levels. Given this limited information on input, the goal is to compute an assignment of the items to the agents (subject to cardinality constraints depending on the application) that (approximately) maximizes the social welfare (the total utility of the agents for their assigned items). We first consider the well-known, simple one-sided matching problem in which each of $n$ agents is to be assigned exactly one of $n$ items. We show that with $t$ threshold utility levels, the distortion of deterministic matching algorithms is $\Theta(\sqrt[t]{n})$ while that of randomized algorithms is $\Theta(\sqrt[t+1]{n})$. We then show that our distortion bounds extend to a more general setting in which there are multiple copies of the items, each agent can be assigned a number of items (even copies of the same one) up to a capacity, and the utility of an agent for an item depends on the number of its copies that the agent is given.


title: Improving the Accuracy of Analog-Based In-Memory Computing Accelerators Post-Training

abstract: Analog-Based In-Memory Computing (AIMC) inference accelerators can be used to efficiently execute Deep Neural Network (DNN) inference workloads. However, to mitigate accuracy losses, due to circuit and device non-idealities, Hardware-Aware (HWA) training methodologies must be employed. These typically require significant information about the underlying hardware. In this paper, we propose two Post-Training (PT) optimization methods to improve accuracy after training is performed. For each crossbar, the first optimizes the conductance range of each column, and the second optimizes the input, i.e, Digital-to-Analog Converter (DAC), range. It is demonstrated that, when these methods are employed, the complexity during training, and the amount of information about the underlying hardware can be reduced, with no notable change in accuracy ($\leq$0.1%) when finetuning the pretrained RoBERTa transformer model for all General Language Understanding Evaluation (GLUE) benchmark tasks. Additionally, it is demonstrated that further optimizing learned parameters PT improves accuracy.


title: Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)

abstract: This paper focuses on succinctness results for fragments of Linear Temporal Logic with Past (LTL) devoid of binary temporal operators like until, and provides methods to establish them. We prove that there is a family of cosafety languages (Ln)_{n>=1} such that Ln can be expressed with a pure future formula of size O(n), but it requires formulae of size 2^{\Omega}(n) to be captured with past formulae. As a by-product, such a succinctness result shows the optimality of the pastification algorithm proposed in [Artale et al., KR, 2023]. We show that, in the considered case, succinctness cannot be proven by relying on the classical automata-based method introduced in [Markey, Bull. EATCS, 2003]. In place of this method, we devise and apply a combinatorial proof system whose deduction trees represent LTL formulae. The system can be seen as a proof-centric (one-player) view on the games used by Adler and Immerman to study the succinctness of CTL.