title: SGD with Clipping is Secretly Estimating the Median Gradient

abstract: There are several applications of stochastic optimization where one can benefit from a robust estimate of the gradient. For example, domains such as distributed learning with corrupted nodes, the presence of large outliers in the training data, learning under privacy constraints, or even heavy-tailed noise due to the dynamics of the algorithm itself. Here we study SGD with robust gradient estimators based on estimating the median. We first consider computing the median gradient across samples, and show that the resulting method can converge even under heavy-tailed, state-dependent noise. We then derive iterative methods based on the stochastic proximal point method for computing the geometric median and generalizations thereof. Finally we propose an algorithm estimating the median gradient across iterations, and find that several well known methods - in particular different forms of clipping - are particular cases of this framework.


title: The Fundamental Parameters of Astrophysical Plasma Turbulence and its Dissipation: Nonrelativistic Limit

abstract: A specific set of dimensionless plasma and turbulence parameters is introduced to characterize the nature of turbulence and its dissipation in weakly collisional space and astrophysical plasmas. Key considerations are discussed for the development of predictive models of the turbulent plasma heating that characterize the partitioning of dissipated turbulent energy between the ion and electron species and between the perpendicular and parallel degrees of freedom for each species. Identifying the kinetic physical mechanisms that govern the damping of the turbulent fluctuations is a critical first step in constructing such turbulent heating models. A set of ten general plasma and turbulence parameters are defined, and reasonable approximations along with the exploitation of existing scaling theories for magnetohydrodynamic turbulence are used to reduce this general set of ten parameters to just three parameters in the isotropic temperature case. A critical step forward in this study is to identify the dependence of all of the proposed kinetic mechanisms for turbulent damping in terms of the same set of fundamental plasma and turbulence parameters. Analytical estimations of the scaling of each damping mechanism on these fundamental parameters are presented, and this information is synthesized to produce the first phase diagram for the turbulent damping mechanisms as a function of driving scale and ion plasma beta.


title: Hidden-flavour four-quark states in the charm and bottom region

abstract: We discuss the spectrum and the internal composition of ground and excited four-quark states in the charm and bottom energy region. To this end we extend previous calculations within the framework of the relativistic four-body Faddeev-Yakubovsky equation to include quantum numbers with $J^{P C} = 0^{++} , 0^{-+} , 1^{--} , 1^{+-}$ and $1^{+ +}$ and study their internal composition in terms of heavy-light meson pairs, hadroquarkonia and diquark-antidiquark clusters. We observe similar patterns in the charm and bottom energy region with different compositions of the four-quark states depending on $J^{P C}$ quantum numbers. Most notably, we find that all states with $C \cdot P = +1$ are dominated by heavy-light meson contributions, whereas for axialvector states with $J^{P C} = 1^{+-}$ including the $Z_c (3900)$ we find a much more complicated picture depending on the flavour content. We systematically compare our results for the spectrum with existing experimental results and provide predictions for future analyses.


title: A sparse hierarchical $hp$-finite element method on disks and annuli

abstract: We develop a sparse hierarchical $hp$-finite element method ($hp$-FEM) for the Helmholtz equation with rotationally invariant variable coefficients posed on a two-dimensional disk or annulus. The mesh is an inner disk cell (omitted if on an annulus domain) and concentric annuli cells. The discretization preserves the Fourier mode decoupling of rotationally invariant operators, such as the Laplacian, which manifests as block diagonal mass and stiffness matrices. Moreover, the matrices have a sparsity pattern independent of the order of the discretization and admit an optimal complexity factorization. The sparse $hp$-FEM can handle radial discontinuities in the right-hand side and in rotationally invariant Helmholtz coefficients. We consider examples such as a high-frequency Helmholtz equation with radial discontinuities, the time-dependent Schr\"odinger equation, and an extension to a three-dimensional cylinder domain, with a quasi-optimal solve, via the Alternating Direction Implicit (ADI) algorithm.


title: Nearly Optimal Fault Tolerant Distance Oracle

abstract: We present an $f$-fault tolerant distance oracle for an undirected weighted graph where each edge has an integral weight from $[1 \dots W]$. Given a set $F$ of $f$ edges, as well as a source node $s$ and a destination node $t$, our oracle returns the \emph{shortest path} from $s$ to $t$ avoiding $F$ in $O((cf \log (nW))^{O(f^2)})$ time, where $c > 1$ is a constant. The space complexity of our oracle is $O(f^4n^2\log^2 (nW))$. For a constant $f$, our oracle is nearly optimal both in terms of space and time (barring some logarithmic factor).


title: Integrating Multi-Preconditioned Conjugate Gradient with Additive Multigrid Strategy

abstract: Due to its optimal complexity, the multigrid (MG) method is one of the most popular approaches for solving large-scale linear systems arising from the discretization of partial differential equations. However, the parallel implementation of standard MG methods, which are inherently multiplicative, suffers from increasing communication complexity. In such cases, the additive variants of MG methods provide a good alternative due to their inherently parallel nature, although they exhibit slower convergence. This work combines the additive multigrid method with the multipreconditioned conjugate gradient (MPCG) method. In the proposed approach, the MPCG method employs the corrections from the different levels of the MG hierarchy as separate preconditioned search directions. In this approach, the MPCG method updates the current iterate by using the linear combination of the preconditioned search directions, where the optimal coefficients for the linear combination are computed by exploiting the energy norm minimization of the CG method. The idea behind our approach is to combine the $A$-conjugacy of the search directions of the MPCG method and the quasi $H_1$-orthogonality of the corrections from the MG hierarchy. In the numerical section, we study the performance of the proposed method compared to the standard additive and multiplicative MG methods used as preconditioners for the CG method.


title: SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs

abstract: Coarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of mapping: how efficiently the CIL is compiled onto the platform. State of the Art (SoA) compilation techniques utilize modulo scheduling to minimize the Iteration Interval (II) and use graph algorithms like Max-Clique Enumeration to address mapping challenges. Our work approaches the mapping problem through a satisfiability (SAT) formulation. We introduce the Kernel Mobility Schedule (KMS), an ad-hoc schedule used with the Data Flow Graph and CGRA architectural information to generate Boolean statements that, when satisfied, yield a valid mapping. Experimental results demonstrate SAT-MapIt outperforming SoA alternatives in almost 50\% of explored benchmarks. Additionally, we evaluated the mapping results in a synthesizable CGRA design and emphasized the run-time metrics trends, i.e. energy efficiency and latency, across different CILs and CGRA sizes. We show that a hardware-agnostic analysis performed on compiler-level metrics can optimally prune the architectural design space, while still retaining Pareto-optimal configurations. Moreover, by exploring how implementation details impact cost and performance on real hardware, we highlight the importance of holistic software-to-hardware mapping flows, as the one presented herein.


title: PANDA: Preference Adaptation for Enhancing Domain-Specific Abilities of LLMs

abstract: While Large language models (LLMs) have demonstrated considerable capabilities across various natural language tasks, they often fall short of the performance achieved by domain-specific state-of-the-art models. One potential approach to enhance domain-specific capabilities of LLMs involves fine-tuning them using corresponding datasets. However, this method can be both resource and time-intensive, and not applicable to closed-source commercial LLMs. In this paper, we propose Preference Adaptation for Enhancing Domain-specific Abilities of LLMs (PANDA), a method designed to augment the domain-specific capabilities of LLMs by leveraging insights from the response preference of expert models without requiring fine-tuning. Our experimental results reveal that PANDA significantly enhances the domain-specific ability of LLMs on text classification and interactive decision tasks. Moreover, LLM with PANDA even outperforms the expert model that being learned on 4 tasks of ScienceWorld. This finding highlights the potential of exploring tuning-free approaches to achieve weak-to-strong generalization.


title: Using biocompatible materials as substrate coating for electric field enhancement in tip-enhanced Raman spectroscopy

abstract: In this article, tip-enhanced Raman spectroscopy (TERS) is investigated as a precise method for analysis of biological samples. Using Finite Difference Time Domain (FDTD) simulation, it has been tried to design the required structures for analysis of these samples. At first, by comparing different TERS structures and considering the material, dimensions and other parameters in the simulation, the ideal structure is introduced from a physical point of view and considering the electric field enhancement. In the following, taking into possibility of the effect of environmental and chemical reactions during testing on biological samples, biocompatible materials are used as substrate coating in the simulation, and the effect of using these materials are investigated in comparison with the previous conditions. After performing the simulations, we concluded that Au, Cu and Ag have the highest electric field enhancement, respectively, and the presence of Au next to Cu, also Au and Cu next to Ag, leads to the enhancement of the electric field in them. In the following, we found that the material and thickness of the layer under the coating in the substrate and tip have a great effect on the enhancement. finally, using five biocompatible materials as a coating in the case of using the Au tip and substrate, which creates the most electric field enhancement, we saw that the use of biocompatible materials greatly reduces the enhancement and the use of these five materials does not differ much from each other. Anyway, the use of a 1 nm layer of biocompatible coating creates a much more favorable effect on enhancement than upper thicknesses.

categories: physics.atom-ph physics.atm-clus physics.med-ph physics.optics


title: ESA Science Programme Missions: Contributions and Exploitation -- Payload Provision

abstract: We have collected data pertaining to the Principal Investigators (PIs), and co-PIs (where appropriate) for all ESA-led Science Directorate missions since the first such launch, namely of COS-B in 1975. For a total of 28 missions (including 4 in preparation awaiting launch), 437 individuals have been recorded along with their institution, location, academic age and gender. We have correlated the number of PIs by country with the financial contribution of those countries to the ESA Science programme. We have also investigated issues associated with age and gender of the PIs. As a result of these analyses, we make suggestions for actions which ESA and its Member States may wish to consider with the aim of encouraging equity and diversity while still placing scientific excellence as the overarching goal.


title: Extending the Scope of Inference About Predictive Ability to Machine Learning Methods

abstract: Though out-of-sample forecast evaluation is systematically employed with modern machine learning methods and there exists a well-established classic inference theory for predictive ability, see, e.g., West (1996, Asymptotic Inference About Predictive Ability, Econometrica, 64, 1067-1084), such theory is not directly applicable to modern machine learners such as the Lasso in the high dimensional setting. We investigate under which conditions such extensions are possible. Two key properties for standard out-of-sample asymptotic inference to be valid with machine learning are (i) a zero-mean condition for the score of the prediction loss function; and (ii) a fast rate of convergence for the machine learner. Monte Carlo simulations confirm our theoretical findings. We recommend a small out-of-sample vs in-sample size ratio for accurate finite sample inferences with machine learning. We illustrate the wide applicability of our results with a new out-of-sample test for the Martingale Difference Hypothesis (MDH). We obtain the asymptotic null distribution of our test and use it to evaluate the MDH of some major exchange rates at daily and higher frequencies.


title: Critical thresholds in pressureless Euler--Poisson equations with background states

abstract: We investigate the critical threshold phenomena in a large class of one dimensional pressureless Euler--Poisson (EP) equations, with non-vanishing background states. First, we establish local-in-time well-posedness in proper regularity spaces, which are adapted for a certain \textit{neutrality condition} to hold. The neutrality condition is shown to be necessary: we construct smooth solutions that exhibit instantaneous failure of the neutrality condition, which in turn yields non-existence of solutions, even locally in time, in the classical Sobolev spaces $H^s({\mathbb R})$, $s \geq 2$. Next, we study the critical threshold phenomena in the neutrality-condition-satisfying pressureless EP systems, where we distinguish between two cases. We prove that in the case of attractive forcing, the neutrality condition can further restrict the sub-critical region into its borderline, namely -- the sub-critical region is reduced to a single line in the phase plane. We then turn to provide a rather definitive answer for the critical thresholds in the case of repulsive EP systems with variable backgrounds. As an application, we analyze the critical thresholds for the damped EP system for cold plasma ion dynamics, where the density of electrons is given by the \textit{Maxwell--Boltzmann relation}.


title: ArabicMMLU: Assessing Massive Multitask Language Understanding in Arabic

abstract: The focus of language model evaluation has transitioned towards reasoning and knowledge-intensive tasks, driven by advancements in pretraining large models. While state-of-the-art models are partially trained on large Arabic texts, evaluating their performance in Arabic remains challenging due to the limited availability of relevant datasets. To bridge this gap, we present ArabicMMLU, the first multi-task language understanding benchmark for Arabic language, sourced from school exams across diverse educational levels in different countries spanning North Africa, the Levant, and the Gulf regions. Our data comprises 40 tasks and 14,575 multiple-choice questions in Modern Standard Arabic (MSA), and is carefully constructed by collaborating with native speakers in the region. Our comprehensive evaluations of 35 models reveal substantial room for improvement, particularly among the best open-source models. Notably, BLOOMZ, mT0, LLama2, and Falcon struggle to achieve a score of 50%, while even the top-performing Arabic-centric model only achieves a score of 62.3%.


title: ESA Science Programme Missions: Contributions and Exploitation -- Herschel Observing Time Proposals

abstract: After an introduction to the ESA Herschel Space Observatory including a mission overview, science objectives, results and productivity we examine the process and outcomes of the announcements of observing opportunities (AOs). For Herschel, in common with other ESA observatories, there were no rules, quotas, or guidelines for the allocation of observing time based on the geographical location of the lead proposer's institute, gender, or seniority (academic age); scientific excellence was the most important single factor. We investigate whether and how success rates vary with these (other) parameters. Due to the relatively short operational duration of Herschel -- compared to XMM-Newton and INTEGRAL -- in addition to the pre-launch AO in 2007 there was just two further AOs, in 2010 and 2011. In order to extend the time-frame we compare results with those from the ESA Infrared Space Observatory (ISO) whose time allocation took place approximately 15 years earlier.


title: PromptKD: Distilling Student-Friendly Knowledge for Generative Language Models via Prompt Tuning

abstract: Recent advancements in large language models (LLMs) have raised concerns about inference costs, increasing the need for research into model compression. While knowledge distillation (KD) is a prominent method for this, research on KD for generative language models like LLMs is relatively sparse, and the approach of distilling student-friendly knowledge, which has shown promising performance in KD for classification models, remains unexplored in generative language models. To explore this approach, we propose PromptKD, a simple yet effective method that utilizes prompt tuning - for the first time in KD - to enable generative language models to transfer student-friendly knowledge. Unlike previous works in classification that require fine-tuning the entire teacher model for extracting student-friendly knowledge, PromptKD achieves similar effects by adding a small number of prompt tokens and tuning only the prompt with student guidance. Extensive experiments on instruction-following datasets show that PromptKD achieves state-of-the-art performance while adding only 0.0007% of the teacher's parameters as prompts. Further analysis suggests that distilling student-friendly knowledge alleviates exposure bias effectively throughout the entire training process, leading to performance enhancements.


title: Solar Panel Segmentation :Self-Supervised Learning Solutions for Imperfect Datasets

abstract: The increasing adoption of solar energy necessitates advanced methodologies for monitoring and maintenance to ensure optimal performance of solar panel installations. A critical component in this context is the accurate segmentation of solar panels from aerial or satellite imagery, which is essential for identifying operational issues and assessing efficiency. This paper addresses the significant challenges in panel segmentation, particularly the scarcity of annotated data and the labour-intensive nature of manual annotation for supervised learning. We explore and apply Self-Supervised Learning (SSL) to solve these challenges. We demonstrate that SSL significantly enhances model generalization under various conditions and reduces dependency on manually annotated data, paving the way for robust and adaptable solar panel segmentation solutions.


title: ICON: Improving Inter-Report Consistency of Radiology Report Generation via Lesion-aware Mix-up Augmentation

abstract: Previous research on radiology report generation has made significant progress in terms of increasing the clinical accuracy of generated reports. In this paper, we emphasize another crucial quality that it should possess, i.e., inter-report consistency, which refers to the capability of generating consistent reports for semantically equivalent radiographs. This quality is even of greater significance than the overall report accuracy in terms of ensuring the system's credibility, as a system prone to providing conflicting results would severely erode users' trust. Regrettably, existing approaches struggle to maintain inter-report consistency, exhibiting biases towards common patterns and susceptibility to lesion variants. To address this issue, we propose ICON, which improves the inter-report consistency of radiology report generation. Aiming at enhancing the system's ability to capture the similarities in semantically equivalent lesions, our approach involves first extracting lesions from input images and examining their characteristics. Then, we introduce a lesion-aware mix-up augmentation technique to ensure that the representations of the semantically equivalent lesions align with the same attributes, by linearly interpolating them during the training phase. Extensive experiments on three publicly available chest X-ray datasets verify the effectiveness of our approach, both in terms of improving the consistency and accuracy of the generated reports.


title: MORE-3S:Multimodal-based Offline Reinforcement Learning with Shared Semantic Spaces

abstract: Drawing upon the intuition that aligning different modalities to the same semantic embedding space would allow models to understand states and actions more easily, we propose a new perspective to the offline reinforcement learning (RL) challenge. More concretely, we transform it into a supervised learning task by integrating multimodal and pre-trained language models. Our approach incorporates state information derived from images and action-related data obtained from text, thereby bolstering RL training performance and promoting long-term strategic thinking. We emphasize the contextual understanding of language and demonstrate how decision-making in RL can benefit from aligning states' and actions' representation with languages' representation. Our method significantly outperforms current baselines as evidenced by evaluations conducted on Atari and OpenAI Gym environments. This contributes to advancing offline RL performance and efficiency while providing a novel perspective on offline RL.Our code and data are available at https://github.com/Zheng0428/MORE_.


title: ConVQG: Contrastive Visual Question Generation with Multimodal Guidance

abstract: Asking questions about visual environments is a crucial way for intelligent agents to understand rich multi-faceted scenes, raising the importance of Visual Question Generation (VQG) systems. Apart from being grounded to the image, existing VQG systems can use textual constraints, such as expected answers or knowledge triplets, to generate focused questions. These constraints allow VQG systems to specify the question content or leverage external commonsense knowledge that can not be obtained from the image content only. However, generating focused questions using textual constraints while enforcing a high relevance to the image content remains a challenge, as VQG systems often ignore one or both forms of grounding. In this work, we propose Contrastive Visual Question Generation (ConVQG), a method using a dual contrastive objective to discriminate questions generated using both modalities from those based on a single one. Experiments on both knowledge-aware and standard VQG benchmarks demonstrate that ConVQG outperforms the state-of-the-art methods and generates image-grounded, text-guided, and knowledge-rich questions. Our human evaluation results also show preference for ConVQG questions compared to non-contrastive baselines.


title: Instruction-tuned Language Models are Better Knowledge Learners

abstract: In order for large language model (LLM)-based assistants to effectively adapt to evolving information needs, it must be possible to update their factual knowledge through continued training on new data. The standard recipe for doing so involves continued pre-training on new documents followed by instruction-tuning on question-answer (QA) pairs. However, we find that LLMs trained with this recipe struggle to answer questions, even though the perplexity of documents is minimized. We found that QA pairs are generally straightforward, while documents are more complex, weaving many factual statements together in an intricate manner. Therefore, we hypothesize that it is beneficial to expose LLMs to QA pairs before continued pre-training on documents so that the process of encoding knowledge from complex documents takes into account how this knowledge is accessed through questions. Based on this, we propose pre-instruction-tuning (PIT), a method that instruction-tunes on questions prior to training on documents. This contrasts with standard instruction-tuning, which learns how to extract knowledge after training on documents. Extensive experiments and ablation studies demonstrate that pre-instruction-tuning significantly enhances the ability of LLMs to absorb knowledge from new documents, outperforming standard instruction-tuning by 17.8%.


title: ATLAS: A Model of Short-term European Electricity Market Processes under Uncertainty

abstract: The ATLAS model simulates the various stages of the electricity market chain in Europe, including the formulation of offers by different market actors, the coupling of European markets, strategic optimization of production portfolios and, finally, real-time system balancing processes. ATLAS was designed to simulate the various electricity markets and processes that occur from the day ahead timeframe to real-time with a high level of detail. Its main aim is to capture impacts from imperfect actor coordination, evolving forecast errors and a high-level of technical constraints--both regarding different production units and the different market constraints.


title: Almost fifty years of Mets\"ahovi solar observations on 37 GHz with recovered digitised historical maps

abstract: Context. Aalto University Mets\"ahovi Radio Observatory has collected solar intensity maps for over 45 years. Most data coverage is on the 37 GHz frequency band, tracking emissions primarily at the chromosphere and coronal transition region. The data spans four sunspot cycles or two solar magnetic cycles. Aims. We present solar maps, including recently restored data prior to 1989, spanning 1978 to 2020 after correcting for observational and temporal bias. Methods. The solar maps consist of radio intensity sampled along scanlines of the antenna sweep. We fit a circular disk to the set of intensity samples, neglecting any exceptional features in the fitting process to improve accuracy. Applying a simple astronomical model of Sun and Earth, we assign each radio specimen its heliographic coordinates at the time of observation. We bin the sample data by time and heliographic latitude to construct a diagram analoguous to the classic butterfly diagram of sunspot activity. Results. Radio butterfly diagram at 37 GHz, spanning solar cycles 21 to 24 and extending near to the poles. Conclusions. We have developed a method for compensating for seasonal and atmospheric bias in the radio data, as well as correcting for the effects of limb brightening and beamwidth convolution to isolate physical features. Our observations are consistent with observations in nearby bandwidths and indicate the possibility of polar cyclic behaviour with a period exceeding the solar 11 year cycle. Key words. Solar physics, radioastronomy, butterfly diagram, solar cycle


title: Estimation methods for estimands using the treatment policy strategy; a simulation study based on the PIONEER 1 Trial

abstract: Estimands using the treatment policy strategy for addressing intercurrent events are common in Phase III clinical trials. One estimation approach for this strategy is retrieved dropout whereby observed data following an intercurrent event are used to multiply impute missing data. However, such methods have had issues with variance inflation and model fitting due to data sparsity. This paper introduces likelihood-based versions of these approaches, investigating and comparing their statistical properties to the existing retrieved dropout approaches, simpler analysis models and reference-based multiple imputation. We use a simulation based upon the data from the PIONEER 1 Phase III clinical trial in Type II diabetics to present complex and relevant estimation challenges. The likelihood-based methods display similar statistical properties to their multiple imputation equivalents, but all retrieved dropout approaches suffer from high variance. Retrieved dropout approaches appear less biased than reference-based approaches, resulting in a bias-variance trade-off, but we conclude that the large degree of variance inflation is often more problematic than the bias. Therefore, only the simpler retrieved dropout models appear appropriate as a primary analysis in a clinical trial, and only where it is believed most data following intercurrent events will be observed. The jump-to-reference approach may represent a more promising estimation approach for symptomatic treatments due to its relatively high power and ability to fit in the presence of much missing data, despite its strong assumptions and tendency towards conservative bias. More research is needed to further develop how to estimate the treatment effect for a treatment policy strategy.


title: MoELoRA: Contrastive Learning Guided Mixture of Experts on Parameter-Efficient Fine-Tuning for Large Language Models

abstract: Fine-tuning is often necessary to enhance the adaptability of Large Language Models (LLM) to downstream tasks. Nonetheless, the process of updating billions of parameters demands significant computational resources and training time, which poses a substantial obstacle to the widespread application of large-scale models in various scenarios. To address this issue, Parameter-Efficient Fine-Tuning (PEFT) has emerged as a prominent paradigm in recent research. However, current PEFT approaches that employ a limited set of global parameters (such as LoRA, which adds low-rank approximation matrices to all weights) face challenges in flexibly combining different computational modules in downstream tasks. In this work, we introduce a novel PEFT method: MoELoRA. We consider LoRA as Mixture of Experts (MoE), and to mitigate the random routing phenomenon observed in MoE, we propose the utilization of contrastive learning to encourage experts to learn distinct features. We conducted experiments on 11 tasks in math reasoning and common-sense reasoning benchmarks. With the same number of parameters, our approach outperforms LoRA significantly. In math reasoning, MoELoRA achieved an average performance that was 4.2% higher than LoRA, and demonstrated competitive performance compared to the 175B GPT-3.5 on several benchmarks.


title: CCFC++: Enhancing Federated Clustering through Feature Decorrelation

abstract: In federated clustering, multiple data-holding clients collaboratively group data without exchanging raw data. This field has seen notable advancements through its marriage with contrastive learning, exemplified by Cluster-Contrastive Federated Clustering (CCFC). However, CCFC suffers from heterogeneous data across clients, leading to poor and unrobust performance. Our study conducts both empirical and theoretical analyses to understand the impact of heterogeneous data on CCFC. Findings indicate that increased data heterogeneity exacerbates dimensional collapse in CCFC, evidenced by increased correlations across multiple dimensions of the learned representations. To address this, we introduce a decorrelation regularizer to CCFC. Benefiting from the regularizer, the improved method effectively mitigates the detrimental effects of data heterogeneity, and achieves superior performance, as evidenced by a marked increase in NMI scores, with the gain reaching as high as 0.32 in the most pronounced case.


title: A mechanical analogue of electromagnetic induction for waves in a chiral elastic structure

abstract: Classical Faraday's law on electromagnetic induction states that a change of magnetic field through a coil wire induces a current in the wire. A mechanical analogue of the Lorentz force, induced by a magnetic field on an electric charge, is the gyroscopic force. Here, we demonstrate a mechanical analogy with a chiral elastic waveguide subjected to gyroscopic forcing. We study waves in an infinite mass-spring `gyrocore helix', which consists of a helix and a central line (gyroscopic elastic core). The helicoidal geometric chirality is considered in conjunction with a physical chirality, induced by gyroscopic forces. It is shown that the interplay between these two chiral inputs leads to the breaking of symmetry of the associated dispersion diagram, resulting in a unidirectional waveform with the direction of propagation being tunable through the gyricity.


title: Differentiable Mapper For Topological Optimization Of Data Representation

abstract: Unsupervised data representation and visualization using tools from topology is an active and growing field of Topological Data Analysis (TDA) and data science. Its most prominent line of work is based on the so-called Mapper graph, which is a combinatorial graph whose topological structures (connected components, branches, loops) are in correspondence with those of the data itself. While highly generic and applicable, its use has been hampered so far by the manual tuning of its many parameters-among these, a crucial one is the so-called filter: it is a continuous function whose variations on the data set are the main ingredient for both building the Mapper representation and assessing the presence and sizes of its topological structures. However, while a few parameter tuning methods have already been investigated for the other Mapper parameters (i.e., resolution, gain, clustering), there is currently no method for tuning the filter itself. In this work, we build on a recently proposed optimization framework incorporating topology to provide the first filter optimization scheme for Mapper graphs. In order to achieve this, we propose a relaxed and more general version of the Mapper graph, whose convergence properties are investigated. Finally, we demonstrate the usefulness of our approach by optimizing Mapper graph representations on several datasets, and showcasing the superiority of the optimized representation over arbitrary ones.


title: Partial null-controllabiliy of evolution equations by one-dimensional control

abstract: The problem of partial null controllability for linear autonomous evolution equations, which are controlled by a one-dimensional control, is under consideration. The partial null-controllability conditions for coupled abstract evolution systems have been obtained using the moment problem approach.


title: A new simplified MOPSO based on Swarm Elitism and Swarm Memory: MO-ETPSO

abstract: This paper presents an algorithm based on Particle Swarm Optimization (PSO), adapted for multi-objective optimization problems: the Elitist PSO (MO-ETPSO). The proposed algorithm integrates core strategies from the well-established NSGA-II approach, such as the Crowding Distance Algorithm, while leveraging the advantages of Swarm Intelligence in terms of individual and social cognition. A novel aspect of the algorithm is the introduction of a swarm memory and swarm elitism, which may turn the adoption of NSGA-II strategies in PSO. These features enhance the algorithm's ability to retain and utilize high-quality solutions throughout optimization. Furthermore, all operators within the algorithm are intentionally designed for simplicity, ensuring ease of replication and implementation in various settings. Preliminary comparisons with the NSGA-II algorithm for the Green Vehicle Routing Problem, both in terms of solutions found and convergence, have yielded promising results in favor of MO-ETPSO.


title: Radially symmetric solutions of the ultra-relativistic Euler equations in several space dimensions

abstract: The ultra-relativistic Euler equations for an ideal gas are described in terms of the pressure, the spatial part of the dimensionless four-velocity and the particle density. Radially symmetric solutions of these equations are studied in two and three space dimensions. Of particular interest in the solutions are the formation of shock waves and a pressure blow up. For the investigation of these phenomena we develop a one-dimensional scheme using radial symmetry and integral conservation laws. We compare the numerical results with solutions of multi-dimensional high-order numerical schemes for general initial data in two space dimensions. The presented test cases and results may serve as interesting benchmark tests for multi-dimensional solvers.


title: A proof of the only mode of a unimodal sequence

abstract: In study the generalized Jacobsthal and Jaco-Lucas polynomials, Sun introduced the interesting numerical triangle Jaco-Lucas sequence $\{JL_{n,k}\}_{n\geq k\geq0}$. In this paper, we proved this sequence is log-concave with the only mode by computer algebra.


title: ATLAS: A Model of Short-term European Electricity Market Processes under Uncertainty -- Balancing Modules

abstract: The ATLAS model simulates the various stages of the electricity market chain in Europe, including the formulation of offers by different market actors, the coupling of European markets, strategic optimization of production portfolios and, finally, real-time system balancing processes. ATLAS was designed to simulate the various electricity markets and processes that occur from the day ahead timeframe to real-time with a high level of detail. Its main aim is to capture impacts from imperfect actor coordination, evolving forecast errors and a high-level of technical constraints -- both regarding different production units and the different market constraints. This working paper describes the simulated balancing processes in detail and is the second part of the ATLAS documentation.


title: General geometry realized by four-scalar model and application to $f(Q)$ gravity

abstract: In this paper, we propose a model including four scalar fields coupled with general gravity theories, which is a generalization of the two-scalar model proposed in Phys. Rev. D \textbf{103} (2021) no.4, 044055, where it has been shown that any given spherically symmetric static/time-dependent spacetime can be realized by using the two-scalar model. We show that by using the four-scalar model, we can construct a model that realizes any given spacetime as a solution even if the spacetime does not have a spherical symmetry or any other symmetry. We also show that by imposing constraints on the scalar fields by using the Lagrange multiplier fields, the scalar fields become non-dynamical and they do not propagate. This tells that there does not appear any sound which is usually generated by the density fluctuation of the fluid. In this sense, the model with the constraints is a most general extension of the mimetic theory in JHEP \textbf{11} (2013), 135, where there appears an effective dark matter. The dark matter is non-dynamical and it does not collapse even under gravitational force. Our model can be regarded as a general extension of any kind of fluid besides dark matter. We may consider the case that the potential of the scalar fields vanishes and the model becomes a non-linear $\sigma$ model. Then our formulation gives a mapping from the geometry of the spacetime to the geometry of the target space of the non-linear $\sigma$ model via gravity theory although the physical meaning has not been clear. We also consider the application of the model to $f(Q)$ gravity theory, which is based on a non-metricity tensor and $Q$ is a scalar quantity constructed from the non-metricity tensor. ...


title: Bounding Reconstruction Attack Success of Adversaries Without Data Priors

abstract: Reconstruction attacks on machine learning (ML) models pose a strong risk of leakage of sensitive data. In specific contexts, an adversary can (almost) perfectly reconstruct training data samples from a trained model using the model's gradients. When training ML models with differential privacy (DP), formal upper bounds on the success of such reconstruction attacks can be provided. So far, these bounds have been formulated under worst-case assumptions that might not hold high realistic practicality. In this work, we provide formal upper bounds on reconstruction success under realistic adversarial settings against ML models trained with DP and support these bounds with empirical results. With this, we show that in realistic scenarios, (a) the expected reconstruction success can be bounded appropriately in different contexts and by different metrics, which (b) allows for a more educated choice of a privacy parameter.


title: Handling Ambiguity in Emotion: From Out-of-Domain Detection to Distribution Estimation

abstract: The subjective perception of emotion leads to inconsistent labels from human annotators. Typically, utterances lacking majority-agreed labels are excluded when training an emotion classifier, which cause problems when encountering ambiguous emotional expressions during testing. This paper investigates three methods to handle ambiguous emotion. First, we show that incorporating utterances without majority-agreed labels as an additional class in the classifier reduces the classification performance of the other emotion classes. Then, we propose detecting utterances with ambiguous emotions as out-of-domain samples by quantifying the uncertainty in emotion classification using evidential deep learning. This approach retains the classification accuracy while effectively detects ambiguous emotion expressions. Furthermore, to obtain fine-grained distinctions among ambiguous emotions, we propose representing emotion as a distribution instead of a single class label. The task is thus re-framed from classification to distribution estimation where every individual annotation is taken into account, not just the majority opinion. The evidential uncertainty measure is extended to quantify the uncertainty in emotion distribution estimation. Experimental results on the IEMOCAP and CREMA-D datasets demonstrate the superior capability of the proposed method in terms of majority class prediction, emotion distribution estimation, and uncertainty estimation.


title: Finding Cross-rule Optimization Bugs in Datalog Engines

abstract: Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detect such optimization bugs, we propose an automated testing approach called Incremental Rule Evaluation (IRE), which synergistically tackles the test oracle and test case generation problem. The core idea behind the test oracle is to compare the results of an optimized program and a program without cross-rule optimization; any difference indicates a bug in the Datalog engine. Our core insight is that, for an optimized, incrementally-generated Datalog program, we can evaluate all rules individually by constructing a reference program to disable the optimizations that are performed among multiple rules. Incrementally generating test cases not only allows us to apply the test oracle for every new rule generated-we also can ensure that every newly added rule generates a non-empty result with a given probability and eschew recomputing already-known facts. We implemented IRE as a tool named Deopt, and evaluated Deopt on four mature Datalog engines, namely Souffl\'e, CozoDB, $\mu$Z, and DDlog, and discovered a total of 30 bugs. Of these, 13 were logic bugs, while the remaining were crash and error bugs. Deopt can detect all bugs found by queryFuzz, a state-of-the-art approach. Out of the bugs identified by Deopt, queryFuzz might be unable to detect 5. Our incremental test case generation approach is efficient; for example, for test cases containing 60 rules, our incremental approach can produce 1.17$\times$ (for DDlog) to 31.02$\times$ (for Souffl\'e) as many valid test cases with non-empty results as the naive random method. We believe that the simplicity and the generality of the approach will lead to its wide adoption in practice.


title: A Novel Protocol Using Captive Portals for FIDO2 Network Authentication

abstract: FIDO2 authentication is starting to be applied in numerous web authentication services, aiming to replace passwords and their known vulnerabilities. However, this new authentication method has not been integrated yet with network authentication systems. In this paper, we introduce FIDO2CAP: FIDO2 Captive-portal Authentication Protocol. Our proposal describes a novel protocol for captive-portal network authentication using FIDO2 authenticators, as security keys and passkeys. For validating our proposal, we have developed a prototype of FIDO2CAP authentication in a mock scenario. Using this prototype, we performed an usability experiment with 15 real users. This work makes the first systematic approach for adapting network authentication to the new authentication paradigm relying on FIDO2 authentication.


title: Backward Lens: Projecting Language Model Gradients into the Vocabulary Space

abstract: Understanding how Transformer-based Language Models (LMs) learn and recall information is a key goal of the deep learning community. Recent interpretability methods project weights and hidden states obtained from the forward pass to the models' vocabularies, helping to uncover how information flows within LMs. In this work, we extend this methodology to LMs' backward pass and gradients. We first prove that a gradient matrix can be cast as a low-rank linear combination of its forward and backward passes' inputs. We then develop methods to project these gradients into vocabulary items and explore the mechanics of how new information is stored in the LMs' neurons.


title: On new tests for the Poisson distribution based on empirical weight functions

abstract: We propose new goodness-of-fit tests for the Poisson distribution. The testing procedure entails fitting a weighted Poisson distribution, which has the Poisson as a special case, to observed data. Based on sample data, we calculate an empirical weight function which is compared to its theoretical counterpart under the Poisson assumption. Weighted Lp distances between these empirical and theoretical functions are proposed as test statistics and closed form expressions are derived for L1, L2 and L1 distances. A Monte Carlo study is included in which the newly proposed tests are shown to be powerful when compared to existing tests, especially in the case of overdispersed alternatives. We demonstrate the use of the tests with two practical examples.


title: Towards MLOps: A DevOps Tools Recommender System for Machine Learning System

abstract: Applying DevOps practices to machine learning system is termed as MLOps and machine learning systems evolve on new data unlike traditional systems on requirements. The objective of MLOps is to establish a connection between different open-source tools to construct a pipeline that can automatically perform steps to construct a dataset, train the machine learning model and deploy the model to the production as well as store different versions of model and dataset. Benefits of MLOps is to make sure the fast delivery of the new trained models to the production to have accurate results. Furthermore, MLOps practice impacts the overall quality of the software products and is completely dependent on open-source tools and selection of relevant open-source tools is considered as challenged while a generalized method to select an appropriate open-source tools is desirable. In this paper, we present a framework for recommendation system that processes the contextual information (e.g., nature of data, type of the data) of the machine learning project and recommends a relevant toolchain (tech-stack) for the operationalization of machine learning systems. To check the applicability of the proposed framework, four different approaches i.e., rule-based, random forest, decision trees and k-nearest neighbors were investigated where precision, recall and f-score is measured, the random forest out classed other approaches with highest f-score value of 0.66.


title: Fast Rates in Online Convex Optimization by Exploiting the Curvature of Feasible Sets

abstract: In this paper, we explore online convex optimization (OCO) and introduce a new analysis that provides fast rates by exploiting the curvature of feasible sets. In online linear optimization, it is known that if the average gradient of loss functions is larger than a certain value, the curvature of feasible sets can be exploited by the follow-the-leader (FTL) algorithm to achieve a logarithmic regret. This paper reveals that algorithms adaptive to the curvature of loss functions can also leverage the curvature of feasible sets. We first prove that if an optimal decision is on the boundary of a feasible set and the gradient of an underlying loss function is non-zero, then the algorithm achieves a regret upper bound of $O(\rho \log T)$ in stochastic environments. Here, $\rho > 0$ is the radius of the smallest sphere that includes the optimal decision and encloses the feasible set. Our approach, unlike existing ones, can work directly with convex loss functions, exploiting the curvature of loss functions simultaneously, and can achieve the logarithmic regret only with a local property of feasible sets. Additionally, it achieves an $O(\sqrt{T})$ regret even in adversarial environments where FTL suffers an $\Omega(T)$ regret, and attains an $O(\rho \log T + \sqrt{C \rho \log T})$ regret bound in corrupted stochastic environments with corruption level $C$. Furthermore, by extending our analysis, we establish a regret upper bound of $O\Big(T^{\frac{q-2}{2(q-1)}} (\log T)^{\frac{q}{2(q-1)}}\Big)$ for $q$-uniformly convex feasible sets, where uniformly convex sets include strongly convex sets and $\ell_p$-balls for $p \in [1,\infty)$. This bound bridges the gap between the $O(\log T)$ regret bound for strongly convex sets ($q=2$) and the $O(\sqrt{T})$ regret bound for non-curved sets ($q\to\infty$).


title: Exploring the Impact of Table-to-Text Methods on Augmenting LLM-based Question Answering with Domain Hybrid Data

abstract: Augmenting Large Language Models (LLMs) for Question Answering (QA) with domain specific data has attracted wide attention. However, domain data often exists in a hybrid format, including text and semi-structured tables, posing challenges for the seamless integration of information. Table-to-Text Generation is a promising solution by facilitating the transformation of hybrid data into a uniformly text-formatted corpus. Although this technique has been widely studied by the NLP community, there is currently no comparative analysis on how corpora generated by different table-to-text methods affect the performance of QA systems. In this paper, we address this research gap in two steps. First, we innovatively integrate table-to-text generation into the framework of enhancing LLM-based QA systems with domain hybrid data. Then, we utilize this framework in real-world industrial data to conduct extensive experiments on two types of QA systems (DSFT and RAG frameworks) with four representative methods: Markdown format, Template serialization, TPLM-based method, and LLM-based method. Based on the experimental results, we draw some empirical findings and explore the underlying reasons behind the success of some methods. We hope the findings of this work will provide a valuable reference for the academic and industrial communities in developing robust QA systems.


title: Variational models with Eulerian-Lagrangian formulation allowing for material failure

abstract: We investigate the existence of minimizers of variational models with Eulerian-Lagrangian formulations. We consider energy functionals depending on the deformation of a body, defined on its reference configuration, and an Eulerian map defined on the unknown deformed configuration in the actual space. Our existence theory moves beyond the purely elastic setting and accounts for material failure by addressing free-discontinuity problems where both deformations and Eulerian fields are allowed to jump. To do so, we build upon the work of Henao and Mora-Corral regarding the variational modeling of cavitation and fracture in nonlinear elasticity. Two main settings are considered by modeling deformations as Sobolev and SBV-maps, respectively. The regularity of Eulerian maps is specified in each of these two settings according to the geometric and topological properties of the deformed configuration. We present some applications to specific models of liquid crystals, phase transitions, and ferromagnetic elastomers. Effectiveness and limitations of the theory are illustrated by means of explicit examples.


title: Interface Identification constrained by Local-to-Nonlocal Coupling

abstract: Models of physical phenomena that use nonlocal operators are better suited for some applications than their classical counterparts that employ partial differential operators. However, the numerical solution of these nonlocal problems can be quite expensive. Therefore, Local-to-Nonlocal couplings have emerged that combine partial differential operators with nonlocal operators. In this work, we make use of an energy-based Local-to-Nonlocal coupling that serves as a constraint for an interface identification problem.


title: Deep, convergent, unrolled half-quadratic splitting for image deconvolution

abstract: In recent years, algorithm unrolling has emerged as a powerful technique for designing interpretable neural networks based on iterative algorithms. Imaging inverse problems have particularly benefited from unrolling-based deep network design since many traditional model-based approaches rely on iterative optimization. Despite exciting progress, typical unrolling approaches heuristically design layer-specific convolution weights to improve performance. Crucially, convergence properties of the underlying iterative algorithm are lost once layer-specific parameters are learned from training data. We propose an unrolling technique that breaks the trade-off between retaining algorithm properties while simultaneously enhancing performance. We focus on image deblurring and unrolling the widely-applied Half-Quadratic Splitting (HQS) algorithm. We develop a new parametrization scheme which enforces layer-specific parameters to asymptotically approach certain fixed points. Through extensive experimental studies, we verify that our approach achieves competitive performance with state-of-the-art unrolled layer-specific learning and significantly improves over the traditional HQS algorithm. We further establish convergence of the proposed unrolled network as the number of layers approaches infinity, and characterize its convergence rate. Our experimental verification involves simulations that validate the analytical results as well as comparison with state-of-the-art non-blind deblurring techniques on benchmark datasets. The merits of the proposed convergent unrolled network are established over competing alternatives, especially in the regime of limited training.


title: The Behavior of the Intercalant AlCl_4 Anion during the Formation of Graphite Intercalation Compound: An X-ray Absorption Fine Structure Study

abstract: This work aims to study the insertion of AlCl_4^- anion in the crystalline structure of oriented pyrolytic graphite (PG) at the point of view of the anion itself. The electronic and atomic structures of the anion at different intercalation stages are studied. In particular double-edge (bicolor) X-ray absorption spectroscopy at the Al and Cl K-edges is carried out, highlighting a contraction of the anion bonding at the highest intercalation degree obtained electrochemically (stage 3), while the electronic population changes for both the edges upon cycle.


title: Skill or Luck? Return Decomposition via Advantage Functions

abstract: Learning from off-policy data is essential for sample-efficient reinforcement learning. In the present work, we build on the insight that the advantage function can be understood as the causal effect of an action on the return, and show that this allows us to decompose the return of a trajectory into parts caused by the agent's actions (skill) and parts outside of the agent's control (luck). Furthermore, this decomposition enables us to naturally extend Direct Advantage Estimation (DAE) to off-policy settings (Off-policy DAE). The resulting method can learn from off-policy trajectories without relying on importance sampling techniques or truncating off-policy actions. We draw connections between Off-policy DAE and previous methods to demonstrate how it can speed up learning and when the proposed off-policy corrections are important. Finally, we use the MinAtar environments to illustrate how ignoring off-policy corrections can lead to suboptimal policy optimization performance.


title: Chain of Thought Empowers Transformers to Solve Inherently Serial Problems

abstract: Instructing the model to generate a sequence of intermediate steps, a.k.a., a chain of thought (CoT), is a highly effective method to improve the accuracy of large language models (LLMs) on arithmetics and symbolic reasoning tasks. However, the mechanism behind CoT remains unclear. This work provides a theoretical understanding of the power of CoT for decoder-only transformers through the lens of expressiveness. Conceptually, CoT empowers the model with the ability to perform inherently serial computation, which is otherwise lacking in transformers, especially when depth is low. Given input length $n$, previous works have shown that constant-depth transformers with finite precision $\mathsf{poly}(n)$ embedding size can only solve problems in $\mathsf{TC}^0$ without CoT. We first show an even tighter expressiveness upper bound for constant-depth transformers with constant-bit precision, which can only solve problems in $\mathsf{AC}^0$, a proper subset of $ \mathsf{TC}^0$. However, with $T$ steps of CoT, constant-depth transformers using constant-bit precision and $O(\log n)$ embedding size can solve any problem solvable by boolean circuits of size $T$. Empirically, enabling CoT dramatically improves the accuracy for tasks that are hard for parallel computation, including the composition of permutation groups, iterated squaring, and circuit value problems, especially for low-depth transformers.


title: Federated Multi-Task Learning on Non-IID Data Silos: An Experimental Study

abstract: The innovative Federated Multi-Task Learning (FMTL) approach consolidates the benefits of Federated Learning (FL) and Multi-Task Learning (MTL), enabling collaborative model training on multi-task learning datasets. However, a comprehensive evaluation method, integrating the unique features of both FL and MTL, is currently absent in the field. This paper fills this void by introducing a novel framework, FMTL-Bench, for systematic evaluation of the FMTL paradigm. This benchmark covers various aspects at the data, model, and optimization algorithm levels, and comprises seven sets of comparative experiments, encapsulating a wide array of non-independent and identically distributed (Non-IID) data partitioning scenarios. We propose a systematic process for comparing baselines of diverse indicators and conduct a case study on communication expenditure, time, and energy consumption. Through our exhaustive experiments, we aim to provide valuable insights into the strengths and limitations of existing baseline methods, contributing to the ongoing discourse on optimal FMTL application in practical scenarios. The source code can be found on https://github.com/youngfish42/FMTL-Benchmark .


title: G\"ortler number-based scaling of boundary-layer transition on rotating cones in axial inflow

abstract: This paper reports on the efficacy of the G\"ortler number in scaling the laminar-turbulent boundary-layer transition on rotating cones facing axial inflow. Depending on the half-cone angle $\psi$ and axial flow strength, the competing centrifugal and crossflow instabilities dominate the transition. Traditionally, the flow is evaluated by using two parameters: the local meridional Reynolds number $Re_l$ comparing the inertial versus viscous effects and the local rotational speed ratio $S$ accounting for the boundary-layer skew. We focus on the centrifugal effects, and evaluate the flow fields and reported transition points using G\"ortler number based on the azimuthal momentum thickness of the similarity solution and local cone radius. The results show that G\"ortler number alone dominates the late stages of transition (maximum amplification and turbulence onset phases) for a wide range of investigated $S$ and half-cone angle ($15^{\circ} \leq \psi \leq 50^{\circ}$), although the early stage (critical phase) seems to be not determined by the G\"ortler number alone on the broader cones ($\psi=30^{\circ}$ and $50^{\circ}$) where the primary crossflow instability dominates the flow. Overall, this indicates that the centrifugal effects play an important role in the boundary-layer transition on rotating cones in axial inflow.


title: Hybrid Metamaterial Optical Tweezers for Dielectric Particles and Biomolecules Discrimination

abstract: Although plasmonic nanotweezers can achieve manipulation on a scale smaller than the diffraction limit, direct trapping of sub-10~nm bioparticles in an aqueous environment without modifications remains challenging. Here, we demonstrate enzyme delivery-trapping and dynamic manipulation at the single-entity level by employing photothermal-assisted trapping via metamaterial optical tweezers at low trapping laser intensities. By analyzing the probability density function, we are able to distinguish dielectric particles from biomolecules. For enzyme-related data, the presence of two peaks in violin plots indicates conformational changes or interactions with the environment. We also observe that increasing the laser intensity increases the local temperature, resulting in enzyme aggregation. This study provides an alternative approach for identifying single enzymes and dielectric particles by combining plasmonic fields and photothermal heat, while paving the way for label-free characterization of biomolecules at the single-particle level.


title: Deformations of Prismatic Higher $(G,\mu)$-Displays over Quasi-Syntomic Rings

abstract: We prove a deformation theorem for prismatic higher $(G,\mu)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonn\'e modules to a class of rings properly containing quasi-syntonic rings. Finally, we related the stack of prismatic higher $(G,\mu)$-displays to integral local Shimura varieties.


title: Autism Detection in Speech -- A Survey

abstract: There has been a range of studies of how autism is displayed in voice, speech, and language. We analyse studies from the biomedical, as well as the psychological domain, but also from the NLP domain in order to find linguistic, prosodic and acoustic cues that could indicate autism. Our survey looks at all three domains. We define autism and which comorbidities might influence the correct detection of the disorder. We especially look at observations such as verbal and semantic fluency, prosodic features, but also disfluencies and speaking rate. We also show word-based approaches and describe machine learning and transformer-based approaches both on the audio data as well as the transcripts. Lastly, we conclude, while there already is a lot of research, female patients seem to be severely under-researched. Also, most NLP research focuses on traditional machine learning methods instead of transformers which could be beneficial in this context. Additionally, we were unable to find research combining both features from audio and transcripts.


title: GRAFFORD: A Benchmark Dataset for Testing the Knowledge of Object Affordances of Language and Vision Models

abstract: We investigate the knowledge of object affordances in pre-trained language models (LMs) and pre-trained Vision-Language models (VLMs). Transformers-based large pre-trained language models (PTLM) learn contextual representation from massive amounts of unlabeled text and are shown to perform impressively in downstream NLU tasks. In parallel, a growing body of literature shows that PTLMs fail inconsistently and non-intuitively, showing a lack of reasoning and grounding. To take a first step toward quantifying the effect of grounding (or lack thereof), we curate a novel and comprehensive dataset of object affordances -- GrAFFORD, characterized by 15 affordance classes. Unlike affordance datasets collected in vision and language domains, we annotate in-the-wild sentences with objects and affordances. Experimental results reveal that PTLMs exhibit limited reasoning abilities when it comes to uncommon object affordances. We also observe that pre-trained VLMs do not necessarily capture object affordances effectively. Through few-shot fine-tuning, we demonstrate improvement in affordance knowledge in PTLMs and VLMs. Our research contributes a novel dataset for language grounding tasks, and presents insights into LM capabilities, advancing the understanding of object affordances. Codes and data are available at https://github.com/sayantan11995/Affordance


title: Clifford Theory: A Geometrical Interpretation of Multivectorial Apparent Power

abstract: In this paper, a generalization of the concept of electrical power for periodic current and voltage waveforms based on a new generalized complex geometric algebra (GCGA) is proposed. This powerful tool permits, in n-sinusoidal/nonlinear situations, representing and calculating the voltage, current, and apparent power in a single-port electrical network in terms of multivectors. The new expressions result in a novel representation of the apparent power, similar to the Steinmetz's phasor model, based on complex numbers, but limited to the purely sinusoidal case. The multivectorial approach presented is based on the frequency-domain decomposition of the apparent power into three components: the real part and the imaginary part of the complex-scalar associated to active and reactive power respectively, and distortion power, associated to the complex-bivector. A geometrical interpretation of the multivectorial components of apparent power is discussed. Numerical examples illustrate the clear advantages of the suggested approach.


title: An 8-flow theorem for signed graphs

abstract: We prove that a signed graph admits a nowhere-zero $8$-flow provided that it is flow-admissible and the underlying graph admits a nowhere-zero $4$-flow. When combined with the 4-color theorem, this implies that every flow-admissible bridgeless planar signed graph admits a nowhere-zero $8$-flow. Our result improves and generalizes previous results of Li et al. (European J. Combin. 108 (2023), 103627), which state that every flow-admissible signed $3$-edge-colorable cubic graph admits a nowhere-zero $10$-flow, and that every flow-admissible signed hamiltonian graph admits a nowhere-zero $8$-flow.


title: Lower bounds for the Randi\'c index in terms of matching number

abstract: We investigate how small the Randi\'c index of a graph can be in terms of its matching number, and prove several results. We give best-possible linear bounds for graphs of small excess and for subcubic graphs; in the former case the size of excess we permit is qualitatively the best possible. We show that a linear bound holds for any sparse hereditary graph class (such as planar graphs). In general, however, we show that it can be much smaller than linear. We determine the asymptotic growth rate of the minimum Randi\'c index for graphs with a near perfect matching, and conjecture that the same bounds hold for all graphs.


title: A Bound on the Maximal Marginal Degrees of Freedom

abstract: Common kernel ridge regression is expensive in memory allocation and computation time. This paper addresses low rank approximations and surrogates for kernel ridge regression, which bridge these difficulties. The fundamental contribution of the paper is a lower bound on the rank of the low dimensional approximation, which is required such that the prediction power remains reliable. The bound relates the effective dimension with the largest statistical leverage score. We characterize the effective dimension and its growth behavior with respect to the regularization parameter by involving the regularity of the kernel. This growth is demonstrated to be asymptotically logarithmic for suitably chosen kernels, justifying low-rank approximations as the Nystr\"om method.


title: Real-time High-resolution View Synthesis of Complex Scenes with Explicit 3D Visibility Reasoning

abstract: Rendering photo-realistic novel-view images of complex scenes has been a long-standing challenge in computer graphics. In recent years, great research progress has been made on enhancing rendering quality and accelerating rendering speed in the realm of view synthesis. However, when rendering complex dynamic scenes with sparse views, the rendering quality remains limited due to occlusion problems. Besides, for rendering high-resolution images on dynamic scenes, the rendering speed is still far from real-time. In this work, we propose a generalizable view synthesis method that can render high-resolution novel-view images of complex static and dynamic scenes in real-time from sparse views. To address the occlusion problems arising from the sparsity of input views and the complexity of captured scenes, we introduce an explicit 3D visibility reasoning approach that can efficiently estimate the visibility of sampled 3D points to the input views. The proposed visibility reasoning approach is fully differentiable and can gracefully fit inside the volume rendering pipeline, allowing us to train our networks with only multi-view images as supervision while refining geometry and texture simultaneously. Besides, each module in our pipeline is carefully designed to bypass the time-consuming MLP querying process and enhance the rendering quality of high-resolution images, enabling us to render high-resolution novel-view images in real-time.Experimental results show that our method outperforms previous view synthesis methods in both rendering quality and speed, particularly when dealing with complex dynamic scenes with sparse views.


title: The practice of qualitative parameterisation in the development of Bayesian networks

abstract: The typical phases of Bayesian network (BN) structured development include specification of purpose and scope, structure development, parameterisation and validation. Structure development is typically focused on qualitative issues and parameterisation quantitative issues, however there are qualitative and quantitative issues that arise in both phases. A common step that occurs after the initial structure has been developed is to perform a rough parameterisation that only captures and illustrates the intended qualitative behaviour of the model. This is done prior to a more rigorous parameterisation, ensuring that the structure is fit for purpose, as well as supporting later development and validation. In our collective experience and in discussions with other modellers, this step is an important part of the development process, but is under-reported in the literature. Since the practice focuses on qualitative issues, despite being quantitative in nature, we call this step qualitative parameterisation and provide an outline of its role in the BN development process.


title: Transformer-based Learned Image Compression for Joint Decoding and Denoising

abstract: This work introduces a Transformer-based image compression system. It has the flexibility to switch between the standard image reconstruction and the denoising reconstruction from a single compressed bitstream. Instead of training separate decoders for these tasks, we incorporate two add-on modules to adapt a pre-trained image decoder from performing the standard image reconstruction to joint decoding and denoising. Our scheme adopts a two-pronged approach. It features a latent refinement module to refine the latent representation of a noisy input image for reconstructing a noise-free image. Additionally, it incorporates an instance-specific prompt generator that adapts the decoding process to improve on the latent refinement. Experimental results show that our method achieves a similar level of denoising quality to training a separate decoder for joint decoding and denoising at the expense of only a modest increase in the decoder's model size and computational complexity.


title: BFT-DSN: A Byzantine Fault Tolerant Decentralized Storage Network

abstract: With the rapid development of blockchain and its applications, the amount of data stored on decentralized storage networks (DSNs) has grown exponentially. DSNs bring together affordable storage resources from around the world to provide robust, decentralized storage services for tens of thousands of decentralized applications (dApps). However, existing DSNs do not offer verifiability when implementing erasure coding for redundant storage, making them vulnerable to Byzantine encoders. Additionally, there is a lack of Byzantine fault-tolerant consensus for optimal resilience in DSNs. This paper introduces BFT-DSN, a Byzantine fault-tolerant decentralized storage network designed to address these challenges. BFT-DSN combines storage-weighted BFT consensus with erasure coding and incorporates homomorphic fingerprints and weighted threshold signatures for decentralized verification. The implementation of BFT-DSN demonstrates its comparable performance in terms of storage cost and latency as well as superior performance in Byzantine resilience when compared to existing industrial decentralized storage networks.


title: More Discriminative Sentence Embeddings via Semantic Graph Smoothing

abstract: This paper explores an empirical approach to learn more discriminantive sentence representations in an unsupervised fashion. Leveraging semantic graph smoothing, we enhance sentence embeddings obtained from pretrained models to improve results for the text clustering and classification tasks. Our method, validated on eight benchmarks, demonstrates consistent improvements, showcasing the potential of semantic graph smoothing in improving sentence embeddings for the supervised and unsupervised document categorization tasks.


title: Mind the Exit Pupil Gap: Revisiting the Intrinsics of a Standard Plenoptic Camera

abstract: Among the common applications of plenoptic cameras are depth reconstruction and post-shot refocusing. These require a calibration relating the camera-side light field to that of the scene. Numerous methods with this goal have been developed based on thin lens models for the plenoptic camera's main lens and microlenses. Our work addresses the often-overlooked role of the main lens exit pupil in these models and specifically in the decoding process of standard plenoptic camera (SPC) images. We formally deduce the connection between the refocusing distance and the resampling parameter for the decoded light field and provide an analysis of the errors that arise when the exit pupil is not considered. In addition, previous work is revisited with respect to the exit pupil's role and all theoretical results are validated through a ray-tracing-based simulation. With the public release of the evaluated SPC designs alongside our simulation and experimental data we aim to contribute to a more accurate and nuanced understanding of plenoptic camera optics.


title: Extensive search for axion dark matter over 1\,GHz with CAPP's Main Axion eXperiment

abstract: We report an extensive high-sensitivity search for axion dark matter above 1\,GHz at the Center for Axion and Precision Physics Research (CAPP). The cavity resonant search, exploiting the coupling between axions and photons, explored the frequency (mass) range of 1.025\,GHz (4.24\,$\mu$eV) to 1.185\,GHz (4.91\,$\mu$eV). We have introduced a number of innovations in this field, demonstrating the practical approach of optimizing all the relevant parameters of axion haloscopes, extending presently available technology. The CAPP 12\,T magnet with an aperture of 320\,mm made of Nb$_3$Sn and NbTi superconductors surrounding a 37-liter ultralight-weight copper cavity is expected to convert DFSZ axions into approximately $10^2$ microwave photons per second. A powerful dilution refrigerator, capable of keeping the core system below 40\,mK, combined with quantum-noise limited readout electronics, achieved a total system noise of about 200\,mK or below, which corresponds to a background of roughly $4\times 10^3$ photons per second within the axion bandwidth. The combination of all those improvements provides unprecedented search performance, imposing the most stringent exclusion limits on axion--photon coupling in this frequency range to date. These results also suggest an experimental capability suitable for highly-sensitive searches for axion dark matter above 1\,GHz.


title: Matrix Element Corrections in top quark decays for the ttW process

abstract: We present a method that allows enabling Matrix Element Corrections (MECs) in Pythia8 with MC@NLO matching, without incurring double counting. MECs are an interesting feature that may contribute to the accuracy of theoretical predictions, alongside matching and merging. We directly compare our method to a specific choice of settings in Pythia8, which can remove double-counting for MECs in certain processes. We show results by taking the ttW process as an example. This choice allows us to study the impact of decay MECs in the 2SSl and 3l final states. We find that jet-related observables receive these corrections unevenly throughout the phase space. They can contribute up to $\pm 6\% in certain regions.


title: Enhanced photon-pair generation under coherent control

abstract: The generation of the narrowband strong-correlated biphotons via spontaneous four-wave mixing can be effectively controlled and enhanced by an additional driving field which drives a transition with its upper level being a Rydberg state. We study the properties of the noise of the generated biphotons and show that in the region of weak pumping and low atomic density, a high degree of the photon correlation is maintained with the photon-pair generation rate siginificantly enhanced.


title: A prop structure on partitions

abstract: Motivated by its link with functor homology, we study the prop freely generated by the operadic suspension of the operad Com. We exhibit a particular family of generators, for which the composition and the symmetric group actions admit simple descriptions. We highlight associated subcategories of its Karoubi envelope which allows us to compute extensions groups between simple functors from free groups. We construct a particular prop structure on partitions whose composition corresponds to the Yoneda product of extensions between exterior power functors.


title: Evidence of apsidal motion and a possible co-moving companion star detected in the WASP-19 system

abstract: Love numbers measure the reaction of a celestial body to perturbing forces, such as the centrifugal force caused by rotation, or tidal forces resulting from the interaction with a companion body. These parameters are related to the interior density profile. The non-point mass nature of the host star and a planet orbiting around each other contributes to the periastron precession. The rate of this precession is characterized mainly by the second-order Love number, which offers an opportunity to determine its value. We collected all available radial velocity (RV) data, along with the transit and occultation times from the previous investigations of the system. We supplemented the data set with 19 new RV data points of the host star WASP-19A obtained by HARPS. Here, we summarize the technique for modeling the RV observations and the photometric transit timing variations (TTVs) to determine the rate of periastron precession in this system for the first time. We excluded the presence of a second possible planet up to a period of ~4200 d and with a radial velocity amplitude bigger than ~1 m/s. We show that a constant period is not able to reproduce the observed radial velocities. We also investigated and excluded the possibility of tidal decay and long-term acceleration in the system. However, the inclusion of a small periastron precession term did indeed improve the quality of the fit. We measured the periastron precession rate to be 233 $^{+25}_{-35}$''/. By assuming synchronous rotation for the planet, it indicates a k2 Love number of 0.20 $^{+0.02}_{-0.03}$ for WASP-19Ab. The derived k2 value of the planet has the same order of magnitude as the estimated fluid Love number of other Jupiter-sized exoplanets (WASP-18Ab, WASP-103b, and WASP-121b). A low value of k2 indicates a higher concentration of mass toward the planetary nucleus.


title: Density matrix renormalization group study of the interacting Kitaev chain with quasi-periodic disorder

abstract: We document the ground state phase diagram of the one-dimensional Kitaev chain with quasi-periodic disorder in the presence of two-body interactions. Our data was obtained for systems of $L=1000$ sites using large-scale density matrix renormalization group numerics and is benchmarked against known results for the clean system. We demonstrate that moderate quasi-periodic disorder stabilizes the topological phase both for repulsive and attractive interactions. For larger disorder strengths, the system features re-entrance behavior and multiple phase transitions.


title: Explicit formula for the Benjamin--Ono equation with square integrable and real valued initial data and applications to the zero dispersion limit

abstract: In this paper, we extend G{\'e}rard's formula for the solution of the Benjamin--Ono equation on the line to square integrable and real valued initial data. Combined with this formula, we also extend the G{\'e}rard's formula for the zero dispersion limit of the Benjamin--Ono equation on the line to more singular initial data. In the derivation of the extension of the formula for the zero dispersion limit, we also find an interesting integral equality, which might be useful in other contexts.


title: High-harmonic generation in semi-Dirac and Weyl semimetals with broken time-reversal symmetry: Exploring merging of Weyl nodes

abstract: We explore anomalous high-harmonic generation in a model that realizes a transition from a broken time-reversal symmetry Weyl-semimetal to a semi-Dirac regime, i.e. a gapless semimetal with dispersion that is parabolic in one direction and conical in the other two. We point out the intensity of the induced anomalous high harmonics is high in the semi-Dirac regime. For Weyl semimetals, we reveal anomalous high harmonics are due to excitations at momenta where the dispersion is not strictly linear and that in the linearized low-energy theory the anomalous response is harmonic only. Our findings aid experimental characterization of Weyl, Dirac, and semi-Dirac semimetals.


title: On the validity of fMRI studies with subject-level data processed through different pipelines

abstract: In recent years, the lack of reproducibility of research findings has become an important source of concerns in many scientific fields, including functional Magnetic Resonance Imaging (fMRI). The low statistical power often observed in fMRI studies was identified as one of the leading causes of irreproducibility. The development of data sharing opens up new opportunities to achieve larger sample sizes by reusing existing data. FMRI studies proceed by first preparing subject-level data using a given analysis pipeline and then combining those into a group analysis. Historically the subject-level analysis pipeline was identical for all subjects. As practices evolve towards more data reuse, researchers might want to directly combine subject-level data thata were processed using different pipelines. Here, we investigate the impact of combining subject-level data processed with different pipelines in between-group fMRI studies. We used the HCP Young-Adult dataset (N=1,080 participants) processed with 24 different pipelines. We then performed between-group analyses comparing subject data processed with different pipelines. We worked under the null hypothesis of no differences between subjects and compared the estimated false-positive rates obtained with the nominal rates. We showed that the analytical variability induced by the parameters explored in this dataset increases the false positive rates of studies combining data from different pipelines. We conclude that different processed subject data cannot be combined without taking into account the processing applied on these data.


title: Bi-invariant Dissimilarity Measures for Sample Distributions in Lie Groups

abstract: Data sets sampled in Lie groups are widespread, and as with multivariate data, it is important for many applications to assess the differences between the sets in terms of their distributions. Indices for this task are usually derived by considering the Lie group as a Riemannian manifold. Then, however, compatibility with the group operation is guaranteed only if a bi-invariant metric exists, which is not the case for most non-compact and non-commutative groups. We show here that if one considers an affine connection structure instead, one obtains bi-invariant generalizations of well-known dissimilarity measures: a Hotelling $T^2$ statistic, Bhattacharyya distance and Hellinger distance. Each of the dissimilarity measures matches its multivariate counterpart for Euclidean data and is translation-invariant, so that biases, e.g., through an arbitrary choice of reference, are avoided. We further derive non-parametric two-sample tests that are bi-invariant and consistent. We demonstrate the potential of these dissimilarity measures by performing group tests on data of knee configurations and epidemiological shape data. Significant differences are revealed in both cases.


title: Lipschitz stability for an inverse source problem of the wave equation with kinetic boundary conditions

abstract: In this paper, we present a refined approach to establish a global Lipschitz stability for an inverse source problem concerning the determination of forcing terms in the wave equation with mixed boundary conditions. It consists of boundary conditions incorporating a dynamic boundary condition and Dirichlet boundary condition on disjoint subsets of the boundary. The primary contribution of this article is the rigorous derivation of a sharp Carleman estimate for the wave system with a dynamic boundary condition. In particular, our findings complete and drastically improve the earlier results established by Gal and Tebou [SIAM J. Control Optim., 55 (2017), 324-364]. This is achieved by using a different weight function to overcome some relevant difficulties. As for the stability proof, we extend to dynamic boundary conditions a recent argument avoiding cut-off functions. Finally, we also show that our developed Carleman estimate yields a sharp boundary controllability result.


title: Inverse problems for semilinear Schr\"odinger equations at large frequency via polynomial resolvent estimates on manifolds

abstract: We study inverse boundary problems for semilinear Schr\"odinger equations on smooth compact Riemannian manifolds of dimensions $\ge 2$ with smooth boundary, at a large fixed frequency. We show that certain classes of cubic nonlinearities are determined uniquely from the knowledge of the nonlinear Dirichlet--to--Neumann map at a large fixed frequency on quite general Riemannian manifolds. In particular, in contrast to the previous results available, here the manifolds need not satisfy any product structure, may have trapped geodesics, and the geodesic ray transform need not be injective. Only a mild assumption about the geometry of intersecting geodesics is required. We also establish a polynomial resolvent estimate for the Laplacian on an arbitrary smooth compact Riemannian manifold without boundary, valid for most frequencies. This estimate, along with the invariant construction of Gaussian beam quasimodes with uniform bounds for underlying constants and a stationary phase lemma with explicit control over all involved constants, constitutes the key elements in proving the uniqueness results for the considered inverse problems.


title: On the Gluing of germs of complex analytic spaces, Betti numbers and their structure

abstract: In this paper we introduce new classes of gluing of complex analytic spaces germs, called weakly large, large and strongly large. We give a description of their Poincar\'e series and, as applications, we give numerical criteria to determine when these classes of gluing of germs of complex analytic spaces are smooth, singular, complete intersections and Gorenstein in terms of their Betti numbers. In particular, we show that the gluing of the same germ of complex analytic space along of any subspace is always a singular germ.


title: Locally Rainbow Paths

abstract: We introduce the algorithmic problem of finding a locally rainbow path of length $\ell$ connecting two distinguished vertices $s$ and $t$ in a vertex-colored directed graph. Herein, a path is locally rainbow if between any two visits of equally colored vertices, the path traverses consecutively at least $r$ differently colored vertices. This problem generalizes the well-known problem of finding a rainbow path. It finds natural applications whenever there are different types of resources that must be protected from overuse, such as crop sequence optimization or production process scheduling. We show that the problem is computationally intractable even if $r=2$ or if one looks for a locally rainbow among the shortest paths. On the positive side, if one looks for a path that takes only a short detour (i.e., it is slightly longer than the shortest path) and if $r$ is small, the problem can be solved efficiently. Indeed, the running time of the respective algorithm is near-optimal unless the ETH fails.


title: Fog enabled distributed training architecture for federated learning

abstract: The amount of data being produced at every epoch of second is increasing every moment. Various sensors, cameras and smart gadgets produce continuous data throughout its installation. Processing and analyzing raw data at a cloud server faces several challenges such as bandwidth, congestion, latency, privacy and security. Fog computing brings computational resources closer to IoT that addresses some of these issues. These IoT devices have low computational capability, which is insufficient to train machine learning. Mining hidden patterns and inferential rules from continuously growing data is crucial for various applications. Due to growing privacy concerns, privacy preserving machine learning is another aspect that needs to be inculcated. In this paper, we have proposed a fog enabled distributed training architecture for machine learning tasks using resources constrained devices. The proposed architecture trains machine learning model on rapidly changing data using online learning. The network is inlined with privacy preserving federated learning training. Further, the learning capability of architecture is tested on a real world IIoT use case. We trained a neural network model for human position detection in IIoT setup on rapidly changing data.


title: Incentive Compatibility for AI Alignment in Sociotechnical Systems: Positions and Prospects

abstract: The burgeoning integration of artificial intelligence (AI) into human society brings forth significant implications for societal governance and safety. While considerable strides have been made in addressing AI alignment challenges, existing methodologies primarily focus on technical facets, often neglecting the intricate sociotechnical nature of AI systems, which can lead to a misalignment between the development and deployment contexts. To this end, we posit a new problem worth exploring: Incentive Compatibility Sociotechnical Alignment Problem (ICSAP). We hope this can call for more researchers to explore how to leverage the principles of Incentive Compatibility (IC) from game theory to bridge the gap between technical and societal components to maintain AI consensus with human societies in different contexts. We further discuss three classical game problems for achieving IC: mechanism design, contract theory, and Bayesian persuasion, in addressing the perspectives, potentials, and challenges of solving ICSAP, and provide preliminary implementation conceptions.


title: RealCompo: Balancing Realism and Compositionality Improves Text-to-Image Diffusion Models

abstract: Diffusion models have achieved remarkable advancements in text-to-image generation. However, existing models still have many difficulties when faced with multiple-object compositional generation. In this paper, we propose RealCompo, a new training-free and transferred-friendly text-to-image generation framework, which aims to leverage the respective advantages of text-to-image models and spatial-aware image diffusion models (e.g., layout, keypoints and segmentation maps) to enhance both realism and compositionality of the generated images. An intuitive and novel balancer is proposed to dynamically balance the strengths of the two models in denoising process, allowing plug-and-play use of any model without extra training. Extensive experiments show that our RealCompo consistently outperforms state-of-the-art text-to-image models and spatial-aware image diffusion models in multiple-object compositional generation while keeping satisfactory realism and compositionality of the generated images. Notably, our RealCompo can be seamlessly extended with a wide range of spatial-aware image diffusion models and stylized diffusion models. Our code is available at: https://github.com/YangLing0818/RealCompo


title: Bloch-Ros principle and its application to surface theory

abstract: There exists the duality between normal family theory and value distribution theory of meromorphic functions, which is called the Bloch principle. Zalcman formulated a more precise statement on it. In this paper, based on the Zalcman and Ros work, we comprehend the phenomenon of the trinity among normal family theory, value distribution theory and minimal surface theory and give a systematic description to the relationship among the Montel theorem, the Liuoville theorem and the Bernstein theorem as well as the Carath\'{e}odory-Montel theorem, the Picard little theorem and the Fujimoto theorem. We call this phenomenon Bloch-Ros principle. We also generalize the Bloch-Ros principle to various classes of surfaces, for instance, maxfaces in the Lorentz-Minkowski $3$-space, improper affine fronts in the affine $3$-space and flat fronts in the hyperbolic $3$-space. In particular, we give an effective criterion to determine which properties for meromorphic functions that play a role of the Gauss maps of these classes of surfaces satisfy the Gaussian curvature estimate.


title: Time irreversibility in Statistical Mechanics

abstract: One of the important questions in statistical mechanics is how irreversibility (time's arrow) occurs when Newton equations of motion are time reversal invariant. One objection to irreversibility is based on Poincar\'e's recursion theorem: a classical hamiltonian confined system returns after some time, so-called Poincar\'e recurrence time (PRT), close to its initial configuration. Boltzmann's reply was that for a $N \sim 10^{23} $ macroscopic number of particles, PRT is very large and exceeds the age of the universe. In this paper we compute for the first time, using molecular dynamics, a typical recurrence time $ T(N)$ for a realistic case of a gas of $N$ particles. We find that $T(N) \sim N^z \exp (y N) $ and determine the exponents $y$ and $z$ for different values of the particle density and temperature. We also compute $y$ analytically using Boltzmann's hypotheses. We find an excellent agreement with the numerical results. This agreement validates Boltzmann's hypotheses which are not yet mathematically proven. We establish that that $T(N) $ exceeds the age of the Universe for a relatively small number of particles, much smaller than $ 10^{23} $.


title: Efficient multiphoton microscopy with picosecond laser pulses

abstract: Multiphoton microscopes employ femtosecond fiber lasers as excitation sources, providing a smaller footprint and easier maintenance than solid-state lasers while ensuring ultrashort pulse duration and high peak power. However, such short pulses are significantly more susceptible to broadening in a microscope's highly dispersive optical elements and require careful dispersion management, otherwise decreasing excitation efficiency. Here, we show that efficient excitation is possible using picosecond pulses with a reduced repetition rate. We have developed a high-energy Yb:fiber laser with an integrated pulse picker unit and compared its performance in multiphoton microscopy for two different settings: 205 fs pulse duration at 15 MHz, and 10 ps at 0.3 MHz. Ensuring the same duty cycle and average power for both pulse trains, we have shown that picosecond pulses with a reduced repetition frequency can produce significantly higher pixel intensities. These findings proved that the temporal compression of fiber lasers is not always efficient, and it can be omitted by using a smaller and easier-to-use all-fiber setup.


title: Effects of incompressibility $K_{0}$ in heavy-ion collisions at intermediate energies

abstract: Within the possible least uncertainty on the nuclear incompressibility $K_{0}$, we examine effects of $K_{0}$ in heavy-ion collisions at intermediate energies. Based on simulations of Au + Au collision at 400 MeV/nucleon using an isospin- and momentum-dependent transport model, we find that the incompressibility $K_{0}$ indeed affects significantly the attainable density in central regions, and thus the particle productions and/or distributions at final states, e.g., nucleon rapidity distributions and yields of charged pions. Nevertheless, through examining the free neutron over proton ratios $n/p$, the neutron-proton differential transverse and directed flows as well as the charged pion ratio $\pi^{-}/\pi^{+}$ and its kinetic energy distribution, we find that these observables are less affected by the uncertainty of $K_{0}$, but mainly sensitive to the slope of symmetry energy at the saturation density. We also compare and discuss our results with the corresponding data.