title: The Collatz map in polynomial rings and in completions

abstract: We study an analogue of the Collatz map in the polynomial ring $R[x]$, where $R$ is an arbitrary commutative ring. We prove that if $R$ is of positive characteristic, then every polynomial in $R[x]$ is eventually periodic with respect to this map. This extends previous works of the authors and of Hicks, Mullen, Yucas and Zavislak, who studied the Collatz map on $\mathbb{F}_p[x]$ and $\mathbb{F}_2[x]$, respectively. We also consider the Collatz map on the ring of formal power series $R[[x]]$, characterize the eventually periodic series in this ring, and, if $R$ is finite, give formulas for the number of cycles induced by the Collatz map, of any given length. We provide similar formulas for the original Collatz map defined on the ring $\mathbb{Z}_2$ of $2$-adic integers, extending previous results of Lagarias.


title: Inverse-Optimization-Based Uncertainty Set for Robust Linear Optimization

abstract: We consider solving linear optimization (LO) problems with uncertain objective coefficients. For such problems, we often employ robust optimization (RO) approaches by introducing an uncertainty set for the unknown coefficients. Typical RO approaches require observations or prior knowledge of the unknown coefficient to define an appropriate uncertainty set. However, such information may not always be available in practice. In this study, we propose a novel uncertainty set for robust linear optimization (RLO) problems without prior knowledge of the unknown coefficients. Instead, we assume to have data of known constraint parameters and corresponding optimal solutions. Specifically, we derive an explicit form of the uncertainty set as a polytope by applying techniques of inverse optimization (IO). We prove that the RLO problem with the proposed uncertainty set can be equivalently reformulated as an LO problem. Numerical experiments show that the RO approach with the proposed uncertainty set outperforms classical IO in terms of performance stability.


title: Study and Survey on Gesture Recognition Systems

abstract: In recent years, there has been a considerable amount of research in the Gesture Recognition domain, mainly owing to the technological advancements in Computer Vision. Various new applications have been conceptualised and developed in this field. This paper discusses the implementation of gesture recognition systems in multiple sectors such as gaming, healthcare, home appliances, industrial robots, and virtual reality. Different methodologies for capturing gestures are compared and contrasted throughout this survey. Various data sources and data acquisition techniques have been discussed. The role of gestures in sign language has been studied and existing approaches have been reviewed. Common challenges faced while building gesture recognition systems have also been explored.


title: Embeddings of infinite-dimensional spaces in the sets of norm-attaining Lipschitz functions

abstract: Motivated by the result of Dantas et. al. (2023) that there exist metric spaces for which the set of strongly norm-attaining Lipschitz functions does not contain an isometric copy of $c_0$, we introduce and study a weaker notion of norm-attainment for Lipschitz functions called the pointwise norm-attainment. As a main result, we show that for every infinite metric space $M$, there exists a metric space $M_0 \subseteq M$ such that the set of pointwise norm-attaining Lipschitz functions on $M_0$ contains an isometric copy of $c_0$. We also observe that there are countable metric spaces $M$ for which the set of pointwise norm-attaining Lipschitz functions contains an isometric copy of $\ell_\infty$, which is a result that does not hold for the set of strongly norm-attaining Lipschitz functions. Several new results on $c_0$-embedding and $\ell_1$-embedding into the set of strongly norm-attaining Lipschitz functions are presented as well. In particular, we show that if $M$ is a subset of an $\mathbb{R}$-tree containing all the branching points, then the set of strongly norm-attaining Lipschitz functions contains $c_0$ isometrically. As a related result, we provide an example of metric space $M$ for which the set of norm-attaining functionals on the Lipschitz-free space over $M$ cannot contain an isometric copy of $c_0$. Finally, we compare the concept of pointwise norm-attainment with the several different kinds of norm-attainment from the literature.


title: On the Coding Capacity of Reverse-Complement and Palindromic Duplication-Correcting Codes

abstract: We derive the coding capacity for duplication-correcting codes capable of correcting any number of duplications. We do so both for reverse-complement duplications, as well as palindromic (reverse) duplications. We show that except for duplication-length $1$, the coding capacity is $0$. When the duplication length is $1$, the coding capacity depends on the alphabet size, and we construct optimal codes.


title: Dynamics of a diffusive predator-prey system with fear effect in advective environments

abstract: We explore a diffusive predator-prey system that incorporates the fear effect in advective environments. Firstly, we analyze the eigenvalue problem and the adjoint operator, considering Constant-Flux and Dirichlet (CF/D) boundary conditions, as well as Free-Flow (FF) boundary conditions. Our investigation focuses on determining the direction and stability of spatial Hopf bifurcation, with the generation delay $\tau$ serving as the bifurcation parameter. Additionally, we examine the influence of both linear and Holling-II functional responses on the dynamics of the model. Through these analyses, we aim to gain a better understanding of the intricate relationship between advection, predation, and prey response in this system.


title: GFN-SR: Symbolic Regression with Generative Flow Networks

abstract: Symbolic regression (SR) is an area of interpretable machine learning that aims to identify mathematical expressions, often composed of simple functions, that best fit in a given set of covariates $X$ and response $y$. In recent years, deep symbolic regression (DSR) has emerged as a popular method in the field by leveraging deep reinforcement learning to solve the complicated combinatorial search problem. In this work, we propose an alternative framework (GFN-SR) to approach SR with deep learning. We model the construction of an expression tree as traversing through a directed acyclic graph (DAG) so that GFlowNet can learn a stochastic policy to generate such trees sequentially. Enhanced with an adaptive reward baseline, our method is capable of generating a diverse set of best-fitting expressions. Notably, we observe that GFN-SR outperforms other SR algorithms in noisy data regimes, owing to its ability to learn a distribution of rewards over a space of candidate solutions.


title: Incommensurate Spiral Spin Order in CaMn$_2$Bi$_2$ observed via High Pressure Neutron Diffraction

abstract: High pressure neutron diffraction is employed to investigate the magnetic behavior of CaMn$_2$Bi$_2$ in extreme conditions. In contrast to antiferromagnetic ordering on Mn atoms reported at ambient pressure, our results reveal that at high pressure, incommensurate spiral spin order emerges due to the interplay between magnetism on the Mn atoms and strong spin-orbit coupling on the Bi atoms: sinusoidal spin order is observed at pressures as high as 7.4 GPa. Competing antiferromagnetic order is observed at different temperatures in the partially frustrated lattice. This research provides a unique toolbox for conducting experimental magnetic and spin dynamics studies on magnetic quantum materials via high pressure neutron diffraction.


title: Learning to Estimate Critical Gait Parameters from Single-View RGB Videos with Transformer-Based Attention Network

abstract: Musculoskeletal diseases and cognitive impairments in patients lead to difficulties in movement as well as negative effects on their psychological health. Clinical gait analysis, a vital tool for early diagnosis and treatment, traditionally relies on expensive optical motion capture systems. Recent advances in computer vision and deep learning have opened the door to more accessible and cost-effective alternatives. This paper introduces a novel spatio-temporal Transformer network to estimate critical gait parameters from RGB videos captured by a single-view camera. Empirical evaluations on a public dataset of cerebral palsy patients indicate that the proposed framework surpasses current state-of-the-art approaches and show significant improvements in predicting general gait parameters (including Walking Speed, Gait Deviation Index - GDI, and Knee Flexion Angle at Maximum Extension), while utilizing fewer parameters and alleviating the need for manual feature extraction.


title: GMM-lev estimation and individual heterogeneity: Monte Carlo evidence and empirical applications

abstract: We introduce a new estimator, CRE-GMM, which exploits the correlated random effects (CRE) approach within the generalised method of moments (GMM), specifically applied to level equations, GMM-lev. It has the advantage of estimating the effect of measurable time-invariant covariates using all available information. This is not possible with GMM-dif, applied to the equations of each period transformed into first differences, while GMM-sys uses little information as it adds the equation in levels for only one period. The GMM-lev, by implying a two-component error term containing individual heterogeneity and shock, exposes the explanatory variables to possible double endogeneity. For example, the estimation of actual persistence could suffer from bias if instruments were correlated with the unit-specific error component. The CRE-GMM deals with double endogeneity, captures initial conditions and enhance inference. Monte Carlo simulations for different panel types and under different double endogeneity assumptions show the advantage of our approach. The empirical applications on production and R&D contribute to clarify the advantages of using CRE-GMM.


title: Intertwining operators in the Takeda-Wood isomorphism

abstract: Over any non-Archimedean local field of characteristic not equal to $2$, Takeda and Wood constructed types for the two blocks containing the even and odd Weil representations of the metaplectic group $\tilde{G}$, and identified the resulting Hecke algebras $H_\psi^{\pm}$ with the Iwahori-Hecke algebras of odd orthogonal groups $G^{\pm}$ of the same rank. We describe normalized parabolic induction and Jacquet modules in terms of Hecke modules using a suitable variant of Bushnell-Kutzko theory. Furthermore, we match the standard intertwining operators of $\tilde{G}$ and $G^{\pm}$ by proving a variant of Gindikin-Karpelevich formula for $\tilde{G}$. As an application, we describe the behavior of normalized intertwining operators of $\tilde{G}$ in these blocks under Aubert involution, reducing everything to the $G^{\pm}$ side. This is mainly motivated by Arthur's local intertwining relations.


title: VIoTGPT: Learning to Schedule Vision Tools towards Intelligent Video Internet of Things

abstract: Video Internet of Things (VIoT) has shown full potential in collecting an unprecedented volume of video data. Learning to schedule perceiving models and analyzing the collected videos intelligently will be potential sparks for VIoT. In this paper, to address the challenges posed by the fine-grained and interrelated vision tool usage of VIoT, we build VIoTGPT, the framework based on LLMs to correctly interact with humans, query knowledge videos, and invoke vision models to accomplish complicated tasks. To support VIoTGPT and related future works, we meticulously crafted the training dataset and established benchmarks involving 11 representative vision models across three categories based on semi-automatic annotations. To guide LLM to act as the intelligent agent towards intelligent VIoT, we resort to ReAct instruction tuning based on the collected VIoT dataset to learn the tool capability. Quantitative and qualitative experimental results and analyses demonstrate the effectiveness of VIoTGPT.


title: About universality of large deviation principles for conjugacy invariant permutations

abstract: We prove the universality of the large deviations for conjugacy invariant permutations with few cycles. As an application, we establish the universality of large deviation at speeds $n$ and $\sqrt{n}$ for the length of monotone subsequences in conjugacy invariant permutations, with a sharp control over the total number of cycles. This universality class includes the well-known Ewens measures.


title: Status and Prospects of Exotic Hadrons at Belle II

abstract: In the past twenty years, many new hadrons that are difficult to be explained within the conventional quark model have been discovered in the quarkonium region, which are called exotic hadrons. Belle II experiment, as the next-generation $B$ factory, provides a good platform to explore them. The charmonium-like states can be produced at Belle II in several ways, such as $B$ meson decays, initial-state radiation processes, two-photon collisions, and double charmonium productions. The bottomonium-like states can be produced directly in $e^+e^-$ colliding energies at Belle II with low continuum backgrounds. Belle II plans to perform a high-statistics energy scan from the $B\bar B$ threshold up to the highest possible energy of 11.24 GeV to search for new $Y_b$ states with $J^{PC}$ = $1^{--}$, $X_b$ (the bottom counterpart of $\chi_{c1}(3872)$ (also known as $X(3872)$)), and partners of $Z_b$ states. In this paper, we give a mini-review on the status and prospects of exotic hadrons at Belle II.


title: A Causality-Aware Pattern Mining Scheme for Group Activity Recognition in a Pervasive Sensor Space

abstract: Human activity recognition (HAR) is a key challenge in pervasive computing and its solutions have been presented based on various disciplines. Specifically, for HAR in a smart space without privacy and accessibility issues, data streams generated by deployed pervasive sensors are leveraged. In this paper, we focus on a group activity by which a group of users perform a collaborative task without user identification and propose an efficient group activity recognition scheme which extracts causality patterns from pervasive sensor event sequences generated by a group of users to support as good recognition accuracy as the state-of-the-art graphical model. To filter out irrelevant noise events from a given data stream, a set of rules is leveraged to highlight causally related events. Then, a pattern-tree algorithm extracts frequent causal patterns by means of a growing tree structure. Based on the extracted patterns, a weighted sum-based pattern matching algorithm computes the likelihoods of stored group activities to the given test event sequence by means of matched event pattern counts for group activity recognition. We evaluate the proposed scheme using the data collected from our testbed and CASAS datasets where users perform their tasks on a daily basis and validate its effectiveness in a real environment. Experiment results show that the proposed scheme performs higher recognition accuracy and with a small amount of runtime overhead than the existing schemes.


title: Computation of Greeks under rough Volterra stochastic volatility models using the Malliavin calculus approach

abstract: Using Malliavin calculus techniques we obtain formulas for computing Greeks under different rough Volterra stochastic volatility models. In particular we obtain formulas for rough versions of Stein-Stein, SABR and Bergomi models and numerically demonstrate the convergence.


title: Enhancement of CO2 conversion by counterflow gas quenching of the post-discharge region in microwave plasma sustained by gyrotron radiation

abstract: A threefold increase in the CO2 conversion and energy efficiency due to the cooling of the post-discharge region by the counter gas flow has been achieved in the plasma of an atmospheric pressure discharge supported by microwave radiation of a gyrotron with a frequency of 24 GHz in a carbon dioxide gas flow. The role of convective heat transfer in the process of gas mixture cooling in the post-discharge region has been experimentally demonstrated. At nitrogen quench gas flow of 4.5 l/min, the CO2 conversion was 23.8 % and energy efficiency was 19.7 %. The possibility of using the flow of cooled gas mixture (CO2,CO,O2) taken from the reactor as quenching gas has been experimentally demonstrated, which made it possible to achieve a CO2 conversion degree of 23.4 % and to eliminate the problem of dilution of reaction products by third-party gases. Based on numerical modeling, it is shown that the increase in the conversion degree upon the destruction of the plasma torch structure is due to the increase in heat exchange with the surrounding atmosphere, and the efficiency of this destruction is determined by the velocity and density of quenching gas.


title: CoLLiE: Collaborative Training of Large Language Models in an Efficient Way

abstract: Large language models (LLMs) are increasingly pivotal in a wide range of natural language processing tasks. Access to pre-trained models, courtesy of the open-source community, has made it possible to adapt these models to specific applications for enhanced performance. However, the substantial resources required for training these models necessitate efficient solutions. This paper introduces CoLLiE, an efficient library that facilitates collaborative training of large language models using 3D parallelism, parameter-efficient fine-tuning (PEFT) methods, and optimizers such as Lion, Adan, Sophia, LOMO and AdaLomo. With its modular design and comprehensive functionality, CoLLiE offers a balanced blend of efficiency, ease of use, and customization. CoLLiE has proven superior training efficiency in comparison with prevalent solutions in pre-training and fine-tuning scenarios. Furthermore, we provide an empirical evaluation of the correlation between model size and GPU memory consumption under different optimization methods, as well as an analysis of the throughput. Lastly, we carry out a comprehensive comparison of various optimizers and PEFT methods within the instruction-tuning context. CoLLiE is available at https://github.com/OpenLMLab/collie.


title: Beyond the Screen: Reshaping the Workplace with Virtual and Augmented Reality

abstract: Although extended reality technologies have enjoyed an explosion in popularity in recent years, few applications are effectively used outside the entertainment or academic contexts. This work consists of a literature review regarding the effective integration of such technologies in the workplace. It aims to provide an updated view of how they are being used in that context. First, we examine existing research concerning virtual, augmented, and mixed-reality applications. We also analyze which have made their way to the workflows of companies and institutions. Furthermore, we circumscribe the aspects of extended reality technologies that determined this applicability.


title: White Paper and Roadmap for Quantum Gravity Phenomenology in the Multi-Messenger Era

abstract: The unification of quantum mechanics and general relativity has long been elusive. Only recently have empirical predictions of various possible theories of quantum gravity been put to test. The dawn of multi-messenger high-energy astrophysics has been tremendously beneficial, as it allows us to study particles with much higher energies and travelling much longer distances than possible in terrestrial experiments, but more progress is needed on several fronts. A thorough appraisal of current strategies and experimental frameworks, regarding quantum gravity phenomenology, is provided here. Our aim is twofold: a description of tentative multimessenger explorations, plus a focus on future detection experiments. As the outlook of the network of researchers that formed through the COST Action CA18108 "Quantum gravity phenomenology in the multi-messenger approach (QG-MM)", in this work we give an overview of the desiderata that future theoretical frameworks, observational facilities, and data-sharing policies should satisfy in order to advance the cause of quantum gravity phenomenology.


title: Subsystem eigenstate thermalization hypothesis for translation invariant systems

abstract: The eigenstate thermalization hypothesis for translation invariant quantum spin systems has been proved recently by using random matrices. In this paper, we study the subsystem version of eigenstate thermalization hypothesis for translation invariant quantum systems without referring to random matrices. We first find a relation between the quantum variance and the Belavkin-Staszewski relative entropy. Then, by showing the small upper bounds on the quantum variance and the Belavkin-Staszewski relative entropy, we prove the subsystem eigenstate thermalization hypothesis for translation invariant quantum systems with an algebraic speed of convergence in an elementary way. The proof holds for most of the translation invariant quantum lattice models with exponential or algebraic decays of correlations.


title: A framework for mining lifestyle profiles through multi-dimensional and high-order mobility feature clustering

abstract: Human mobility demonstrates a high degree of regularity, which facilitates the discovery of lifestyle profiles. Existing research has yet to fully utilize the regularities embedded in high-order features extracted from human mobility records in such profiling. This study proposes a progressive feature extraction strategy that mines high-order mobility features from users' moving trajectory records from the spatial, temporal, and semantic dimensions. Specific features are extracted such as travel motifs, rhythms decomposed by discrete Fourier transform (DFT) of mobility time series, and vectorized place semantics by word2vec, respectively to the three dimensions, and they are further clustered to reveal the users' lifestyle characteristics. An experiment using a trajectory dataset of over 500k users in Shenzhen, China yields seven user clusters with different lifestyle profiles that can be well interpreted by common sense. The results suggest the possibility of fine-grained user profiling through cross-order trajectory feature engineering and clustering.


title: SCHEME: Scalable Channel Mixer for Vision Transformers

abstract: Vision Transformers have achieved impressive performance in many vision tasks. While the token mixer or attention block has been studied in great detail, much less research has been devoted to the channel mixer or feature mixing block (FFN or MLP), which accounts for a significant portion of of the model parameters and computation. In this work, we show that the dense MLP connections can be replaced with a block diagonal MLP structure that supports larger expansion ratios by splitting MLP features into groups. To improve the feature clusters formed by this structure we propose the use of a lightweight, parameter-free, channel covariance attention (CCA) mechanism as a parallel branch during training. This enables gradual feature mixing across channel groups during training whose contribution decays to zero as the training progresses to convergence. In result, the CCA block can be discarded during inference, enabling enhanced performance at no additional computational cost. The resulting $\textit{Scalable CHannEl MixEr}$ (SCHEME) can be plugged into any ViT architecture to obtain a gamut of models with different trade-offs between complexity and performance by controlling the block diagonal MLP structure. This is shown by the introduction of a new family of SCHEMEformer models. Experiments on image classification, object detection, and semantic segmentation, with different ViT backbones, consistently demonstrate substantial accuracy gains over existing designs, especially for lower complexity regimes. The SCHEMEformer family is shown to establish new Pareto frontiers for accuracy vs FLOPS, accuracy vs model size, and accuracy vs throughput, especially for fast transformers of small size.


title: Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?

abstract: Programming language understanding and representation (a.k.a code representation learning) has always been a hot and challenging task in software engineering. It aims to apply deep learning techniques to produce numerical representations of the source code features while preserving its semantics. These representations can be used for facilitating subsequent code-related tasks. The abstract syntax tree (AST), a fundamental code feature, illustrates the syntactic information of the source code and has been widely used in code representation learning. However, there is still a lack of systematic and quantitative evaluation of how well AST-based code representation facilitates subsequent code-related tasks. In this paper, we first conduct a comprehensive empirical study to explore the effectiveness of the AST-based code representation in facilitating follow-up code-related tasks. To do so, we compare the performance of models trained with code token sequence (Token for short) based code representation and AST-based code representation on three popular types of code-related tasks. Surprisingly, the overall quantitative statistical results demonstrate that models trained with AST-based code representation consistently perform worse across all three tasks compared to models trained with Token-based code representation. Our further quantitative analysis reveals that models trained with AST-based code representation outperform models trained with Token-based code representation in certain subsets of samples across all three tasks. We also conduct comprehensive experiments to evaluate and reveal the impact of the choice of AST parsing/preprocessing/encoding methods on AST-based code representation and subsequent code-related tasks. Our study provides future researchers with detailed guidance on how to select solutions at each stage to fully exploit AST.


title: Vision-Language Models Learn Super Images for Efficient Partially Relevant Video Retrieval

abstract: In this paper, we propose an efficient and high-performance method for partially relevant video retrieval, which aims to retrieve long videos that contain at least one moment relevant to the input text query. The challenge lies in encoding dense frames using visual backbones. This requires models to handle the increased frames, resulting in significant computation costs for long videos. To mitigate the costs, previous studies use lightweight visual backbones, yielding sub-optimal retrieval performance due to their limited capabilities. However, it is undesirable to simply replace the backbones with high-performance large vision-and-language models (VLMs) due to their low efficiency. To address this dilemma, instead of dense frames, we focus on super images, which are created by rearranging the video frames in an $N \times N$ grid layout. This reduces the number of visual encodings to $\frac{1}{N^2}$ and mitigates the low efficiency of large VLMs. Based on this idea, we make two contributions. First, we explore whether VLMs generalize to super images in a zero-shot setting. To this end, we propose a method called query-attentive super image retrieval (QASIR), which attends to partial moments relevant to the input query. The zero-shot QASIR yields two discoveries: (1) it enables VLMs to generalize to super images and (2) the grid size $N$, image resolution, and VLM size are key trade-off parameters between performance and computation costs. Second, we introduce fine-tuning and hybrid QASIR that combines high- and low-efficiency models to strike a balance between performance and computation costs. This reveals two findings: (1) the fine-tuning QASIR enhances VLMs to learn super images effectively, and (2) the hybrid QASIR minimizes the performance drop of large VLMs while reducing the computation costs.


title: Parabolic subgroups in characteristics two and three

abstract: This text brings to an end the classification of non-reduced parabolic subgroups in positive characteristic, especially two and three: they are all obtained as intersections of parabolics having maximal reduced part. We prove this result and deduce a few geometric consequences on rational projective homogeneous varieties.


title: Towards Explaining Satellite Based Poverty Predictions with Convolutional Neural Networks

abstract: Deep convolutional neural networks (CNNs) have been shown to predict poverty and development indicators from satellite images with surprising accuracy. This paper presents a first attempt at analyzing the CNNs responses in detail and explaining the basis for the predictions. The CNN model, while trained on relatively low resolution day- and night-time satellite images, is able to outperform human subjects who look at high-resolution images in ranking the Wealth Index categories. Multiple explainability experiments performed on the model indicate the importance of the sizes of the objects, pixel colors in the image, and provide a visualization of the importance of different structures in input images. A visualization is also provided of type images that maximize the network prediction of Wealth Index, which provides clues on what the CNN prediction is based on.


title: Geodesic slice sampling on Riemannian manifolds

abstract: We propose a theoretically justified and practically applicable slice sampling based Markov chain Monte Carlo (MCMC) method for approximate sampling from probability measures on Riemannian manifolds. The latter naturally arise as posterior distributions in Bayesian inference of matrix-valued parameters, for example belonging to either the Stiefel or the Grassmann manifold. Our method, called geodesic slice sampling, is reversible with respect to the distribution of interest, and generalizes Hit-and-run slice sampling on $\mathbb{R}^{d}$ to Riemannian manifolds by using geodesics instead of straight lines. We demonstrate the robustness of our sampler's performance compared to other MCMC methods dealing with manifold valued distributions through extensive numerical experiments, on both synthetic and real data. In particular, we illustrate its remarkable ability to cope with anisotropic target densities, without using gradient information and preconditioning.


title: On 2-bisections and monochromatic edges in claw-free cubic multigraphs

abstract: A $k$-bisection of a multigraph $G$ is a partition of its vertex set into two parts of the same cardinality such that every component of each part has at most $k$ vertices. Cui and Liu shown that every claw-free cubic multigraph contains a $2$-bisection, while Eom and Ozeki constructed specific $2$-bisections with bounded number of monochromatic edges. Their bound is the best possible for claw-free cubic simple graphs. In this note, we extend the latter result to the larger family of claw-free cubic multigraphs


abstract: We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani to the function field set-up, we extend many results from homogeneous Diophantine approximation to the realm of inhomogeneous Diophantine approximation over function fields. This also yields the inhomogeneous Baker-Sprindzuk conjecture over function fields as a consequence. Furthermore, we prove the upper bounds for the general non-extremal scenario.


title: Measurement and interpretation of same-sign $W$ boson pair production in association with two jets in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: This paper presents the measurement of fiducial and differential cross sections for both the inclusive and electroweak production of a same-sign $W$-boson pair in association with two jets ($W^\pm W^\pm jj$) using 139 fb$^{-1}$ of proton-proton collision data recorded at a centre-of-mass energy of $\sqrt{s}=13$ TeV by the ATLAS detector at the Large Hadron Collider. The analysis is performed by selecting two same-charge leptons, electron or muon, and at least two jets with large invariant mass and a large rapidity difference. The measured fiducial cross sections for electroweak and inclusive $W^\pm W^\pm jj$ production are $2.92 \pm 0.22\, \text{(stat.)} \pm 0.19\, \text{(syst.)}$ fb and $3.38 \pm 0.22\, \text{(stat.)} \pm 0.19\, \text{(syst.)}$ fb, respectively, in agreement with Standard Model predictions. The measurements are used to constrain anomalous quartic gauge couplings by extracting 95% confidence level intervals on dimension-8 operators. A search for doubly charged Higgs bosons $H^{\pm\pm}$ that are produced in vector-boson fusion processes and decay into a same-sign $W$ boson pair is performed. The largest deviation from the Standard Model occurs for an $H^{\pm\pm}$ mass near 450 GeV, with a global significance of 2.5 standard deviations.


title: A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

abstract: In recent years, circuit simulators and Boolean satisfiability (SAT) solvers have been tightly integrated to provide efficient logic synthesis and verification. Circuit simulation can generate highly expressive simulation patterns that can either enumerate or filter out most candidates for synthesis. Subsequently, SAT solvers are employed to check those that remain, thereby making the logic synthesis process more efficient. This paper introduces a novel circuit simulator of k-input lookup table (k-LUT) networks, based on semi-tensor product (STP). STP-based simulators use computation of logic matrices, the primitives of logic networks, as opposed to relying on bitwise logic operations for simulation of k-LUT networks. Experimental results show that our STP-based simulator reduces the runtime by an average of 7.2x. Furthermore, we integrate this proposed simulator into a SAT-sweeping engine known as SAT sweeper. Through a combination of structural hashing, simulation, and SAT queries, SAT sweeper simplifies logic networks by systematically merging graph vertices from input to output. To enhance the efficiency, we used STP-based exhaustive simulation, which significantly reduces the number of false equivalence class candidates, thereby improving the computational efficiency by reducing the number of SAT calls required. When compared to the SOTA SAT sweeper, our method demonstrates an average 35% runtime reduction.


title: Divides with cusps and symmetric links

abstract: A Divide with cusps is the image of a proper generic immersion from finite intervals and circles into a $2$-disk which allows to have cusps. A divide with cusps is the generalization of the notion of the divide which is introduced by A'Campo. From a divide with cusps, we can define the associated link in $S^3$. In this paper, we give the characterization of the link in $S^3$ which can be described as the associated link of a divide with cusps. In particular, we prove that every strongly invertible link and $2$-periodic link can be described as the link of a divide with cusps.


title: Unravelling spontaneous Bloch-type skyrmion in centrosymmetric two-dimensional magnets

abstract: The realization of magnetic skyrmions in two-dimensional (2D) magnets holds great promise for both fundamental research and device applications. Despite recent progress, two-dimensional skyrmion hosts are still limited, due to the fact that most 2D magnets are centrosymmetric and thus lack Dzyaloshinskii-Moriya interaction (DMI). We show here, using a general analysis based on symmetry, that Bloch-type skyrmions can, in fact, be stabilized in 2D magnets, due to the interplay between in-plane component (dx) of second nearest-neighbor DMI and magnetic anisotropy. Its validity is demonstrated in the Cr2Ge2Te6 monolayer, which is also verified by recent experiments. Our work gives a clear direction for experimental studies of 2D magnetic materials to stabilize skyrmions and should greatly enrich the research on magnetic skyrmions in 2D lattices.


title: Momentum space oscillation properties of vortex states collision

abstract: A qualitative calculation and discussion of two vortex states collisions are given in the scalar $\phi ^4$ model. Three kinds of vortex states -- Bessel, general monochromatic, and Laguerre-Gaussian vortex states -- are considered. It is found that the total final momentum distribution in collision of physical vortex states displays general topological structures, which depend on the initial vortex states' topological charges, which are proportional to the orbital angular momenta. This peculiar matching provides a novel observable, the topological number of momentum distribution, and it may represent a new fascinating research direction in particle physics. We also find that the situation when the angular momenta of the two colliding Laguerre-Gaussian states combine to zero can be recognized by the total final momentum distribution close to the collision axis. Both features can be used to measure the orbital angular momentum of vortex states.


title: Retina : Low-Power Eye Tracking with Event Camera and Spiking Hardware

abstract: This paper introduces a neuromorphic methodology for eye tracking, harnessing pure event data captured by a Dynamic Vision Sensor (DVS) camera. The framework integrates a directly trained Spiking Neuron Network (SNN) regression model and leverages a state-of-the-art low power edge neuromorphic processor - Speck, collectively aiming to advance the precision and efficiency of eye-tracking systems. First, we introduce a representative event-based eye-tracking dataset, "Ini-30", which was collected with two glass-mounted DVS cameras from thirty volunteers. Then,a SNN model, based on Integrate And Fire (IAF) neurons, named "Retina", is described , featuring only 64k parameters (6.63x fewer than the latest) and achieving pupil tracking error of only 3.24 pixels in a 64x64 DVS input. The continous regression output is obtained by means of convolution using a non-spiking temporal 1D filter slided across the output spiking layer. Finally, we evaluate Retina on the neuromorphic processor, showing an end-to-end power between 2.89-4.8 mW and a latency of 5.57-8.01 mS dependent on the time window. We also benchmark our model against the latest event-based eye-tracking method, "3ET", which was built upon event frames. Results show that Retina achieves superior precision with 1.24px less pupil centroid error and reduced computational complexity with 35 times fewer MAC operations. We hope this work will open avenues for further investigation of close-loop neuromorphic solutions and true event-based training pursuing edge performance.


title: Integral representations and zeros of the Lommel function and the hypergeometric $_1F_2$ function

abstract: We give different integral representations of the Lommel function $s_{\mu,\nu}(z)$ involving trigonometric and hypergeometric $_2F_1$ functions. By using classical results of Polya, we give the distribution of the zeros of $s_{\mu,\nu}(z)$ for certain regions in the plane $(\mu,\nu)$. Further, thanks to a well known relation between the functions $s_{\mu,\nu}(z)$ and the hypergeometric $ _1F_2$ function, we describe the distribution of the zeros of $_1F_2$ for specific values of its parameters.


title: From Mutual Information to Expected Dynamics: New Generalization Bounds for Heavy-Tailed SGD

abstract: Understanding the generalization abilities of modern machine learning algorithms has been a major research topic over the past decades. In recent years, the learning dynamics of Stochastic Gradient Descent (SGD) have been related to heavy-tailed dynamics. This has been successfully applied to generalization theory by exploiting the fractal properties of those dynamics. However, the derived bounds depend on mutual information (decoupling) terms that are beyond the reach of computability. In this work, we prove generalization bounds over the trajectory of a class of heavy-tailed dynamics, without those mutual information terms. Instead, we introduce a geometric decoupling term by comparing the learning dynamics (depending on the empirical risk) with an expected one (depending on the population risk). We further upper-bound this geometric term, by using techniques from the heavy-tailed and the fractal literature, making it fully computable. Moreover, as an attempt to tighten the bounds, we propose a PAC-Bayesian setting based on perturbed dynamics, in which the same geometric term plays a crucial role and can still be bounded using the techniques described above.


title: A multivariate version of Polya-Carlson theorem

abstract: Polya-Carlson theorem asserts that if a power series with integer coefficients and convergence radius 1 can be extended holomorphically out of the unit disc, it must represent a rational function. In this note, we give a generalization of this result to multivariate case and give an application to rationality theorem about D-finite power series.


title: Polygraphs: From Rewriting to Higher Categories

abstract: Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the abstract point of view offered by homotopical algebra. The first half explores the theory of polygraphs in low dimensions and its applications to the computation of the coherence of algebraic structures. It is meant to be progressive, with little requirements on the background of the reader, apart from basic category theory, and is illustrated with algorithmic computations on algebraic structures. The second half introduces and studies the general notion of n-polygraph, dealing with the homotopy theory of those. It constructs the folk model structure on the category of strict higher categories and exhibits polygraphs as cofibrant objects. This allows extending to higher dimensional structures the coherence results developed in the first half.


title: Every Elementary Graph is Chromatic Choosable

abstract: Elementary graphs are graphs whose edges can be colored using two colors in such a way that the edges in any induced $P_3$ get distinct colors. They constitute a subclass of the class of claw-free perfect graphs. In this paper, we show that for any elementary graph, its list chromatic number and chromatic number are equal.


title: Inertial (self-)collisions of viscoelastic solids with Lipschitz boundaries

abstract: We continue our study, started in arXiv:2212.00705, of (self-)collisions of viscoelastic solids in an inertial regime. We show existence of weak solutions with a corresponding contact force measure in the case of solids with only Lipschitz-regular boundaries. This necessitates a careful study of different concepts of tangent and normal cones and the role these play both in the proofs and in the formulation of the problem itself. Consistent with our previous approach, we study contact without resorting to penalization, i.e. by only relying on a strict non-interpenetration condition. Additionally, we improve the strategies of our previous proof, eliminating the need for regularization terms across all levels of approximation.


title: Suppression of the Talbot effect in Fourier transform acousto-optic imaging

abstract: We report on the observation and correction of an imaging artifact attributed to the Talbot effect in the context of acousto-optic imaging using structured acoustic waves. When ultrasound waves are emitted with a periodic structure, the Talbot effect produces $\pi$ -phase shifts of that periodic structure at every half of the Talbot distance in propagation. This unwanted artifact is detrimental to the image reconstruction, which assumes near-field diffraction is negligible. Here, we demonstrate both theoretically and experimentally how imposing an additional phase modulation on the acoustic periodic structure induces a symmetry constraint leading to the annihilation of the Talbot effect. This will significantly improve the acousto-optic image reconstruction quality and allows for an improvement of the reachable spatial resolution of the image.


title: Sobolev improvements on sharp Rellich inequalities

abstract: There are two Rellich inequalities for the bilaplacian, that is for $\int (\Delta u)^2dx$, the one involving $|\nabla u|$ and the other involving $|u|$ at the RHS. In this article we consider these inequalities with sharp constants and obtain sharp Sobolev-type improvements. More precisely, in our first result we improve the Rellich inequality with $|\nabla u|$ obtained recently by Cazacu in dimensions $n=3,4$ by a sharp Sobolev term thus complementing existing results for the case $n\geq 5$. In the second theorem the sharp constant of the Sobolev improvement for the Rellich inequality with $|u|$ is obtained.


title: PEFTDebias : Capturing debiasing information using PEFTs

abstract: The increasing use of foundation models highlights the urgent need to address and eliminate implicit biases present in them that arise during pretraining. In this paper, we introduce PEFTDebias, a novel approach that employs parameter-efficient fine-tuning (PEFT) to mitigate the biases within foundation models. PEFTDebias consists of two main phases: an upstream phase for acquiring debiasing parameters along a specific bias axis, and a downstream phase where these parameters are incorporated into the model and frozen during the fine-tuning process. By evaluating on four datasets across two bias axes namely gender and race, we find that downstream biases can be effectively reduced with PEFTs. In addition, we show that these parameters possess axis-specific debiasing characteristics, enabling their effective transferability in mitigating biases in various downstream tasks. To ensure reproducibility, we release the code to do our experiments.


title: Enhancing Image Captioning with Neural Models

abstract: This research explores the realm of neural image captioning using deep learning models. The study investigates the performance of different neural architecture configurations, focusing on the inject architecture, and proposes a novel quality metric for evaluating caption generation. Through extensive experimentation and analysis, this work sheds light on the challenges and opportunities in image captioning, providing insights into model behavior and overfitting. The results reveal that while the merge models exhibit a larger vocabulary and higher ROUGE scores, the inject architecture generates relevant and concise image captions. The study also highlights the importance of refining training data and optimizing hyperparameters for improved model performance. This research contributes to the growing body of knowledge in neural image captioning and encourages further exploration in the field, emphasizing the democratization of artificial intelligence.


title: Consensus group decision making under model uncertainty with a view towards environmental policy making

abstract: In this paper we propose a consensus group decision making scheme under model uncertainty consisting of an iterative two-stage procedure and based on the concept of Fr\'echet barycenter. Each step consists of two stages: the agents first update their position in the opinion metric space by a local barycenter characterized by the agents' immediate interactions and then a moderator makes a proposal in terms of a global barycenter, checking for consensus at each step. In cases of large heterogeneous groups the procedure can be complemented by an auxiliary initial homogenization step, consisting of a clustering procedure in opinion space, leading to large homogeneous groups for which the aforementioned procedure will be applied. The scheme is illustrated in examples motivated from environmental economics.


title: Investigation on data fusion of sun-induced chlorophyll fluorescence and reflectance for photosynthetic capacity of rice

abstract: Studying crop photosynthesis is crucial for improving yield, but current methods are labor-intensive. This research aims to enhance accuracy by combining leaf reflectance and sun-induced chlorophyll fluorescence (SIF) signals to estimate key photosynthetic traits in rice. The study analyzes 149 leaf samples from two rice cultivars, considering reflectance, SIF, chlorophyll, carotenoids, and CO2 response curves. After noise removal, SIF and reflectance spectra are used for data fusion at different levels (raw, feature, and decision). Competitive adaptive reweighted sampling (CARS) extracts features, and partial least squares regression (PLSR) builds regression models. Results indicate that using either reflectance or SIF alone provides modest estimations for photosynthetic traits. However, combining these data sources through measurement-level data fusion significantly improves accuracy, with mid-level and decision-level fusion also showing positive outcomes. In particular, decision-level fusion enhances predictive capabilities, suggesting the potential for efficient crop phenotyping. Overall, sun-induced chlorophyll fluorescence spectra effectively predict rice's photosynthetic capacity, and data fusion methods contribute to increased accuracy, paving the way for high-throughput crop phenotyping.


title: Dolphins: Multimodal Language Model for Driving

abstract: The quest for fully autonomous vehicles (AVs) capable of navigating complex real-world scenarios with human-like understanding and responsiveness. In this paper, we introduce Dolphins, a novel vision-language model architected to imbibe human-like abilities as a conversational driving assistant. Dolphins is adept at processing multimodal inputs comprising video (or image) data, text instructions, and historical control signals to generate informed outputs corresponding to the provided instructions. Building upon the open-sourced pretrained Vision-Language Model, OpenFlamingo, we first enhance Dolphins's reasoning capabilities through an innovative Grounded Chain of Thought (GCoT) process. Then we tailored Dolphins to the driving domain by constructing driving-specific instruction data and conducting instruction tuning. Through the utilization of the BDD-X dataset, we designed and consolidated four distinct AV tasks into Dolphins to foster a holistic understanding of intricate driving scenarios. As a result, the distinctive features of Dolphins are characterized into two dimensions: (1) the ability to provide a comprehensive understanding of complex and long-tailed open-world driving scenarios and solve a spectrum of AV tasks, and (2) the emergence of human-like capabilities including gradient-free instant adaptation via in-context learning and error recovery via reflection.


title: Modeling the Ratio of Correlated Biomarkers Using Copula Regression

abstract: Modeling the ratio of two dependent components as a function of covariates is a frequently pursued objective in observational research. Despite the high relevance of this topic in medical studies, where biomarker ratios are often used as surrogate endpoints for specific diseases, existing models are based on oversimplified assumptions, assuming e.g.\@ independence or strictly positive associations between the components. In this paper, we close this gap in the literature and propose a regression model where the marginal distributions of the two components are linked by Frank copula. A key feature of our model is that it allows for both positive and negative correlations between the components, with one of the model parameters being directly interpretable in terms of Kendall's rank correlation coefficient. We study our method theoretically, evaluate finite sample properties in a simulation study and demonstrate its efficacy in an application to diagnosis of Alzheimer's disease via ratios of amyloid-beta and total tau protein biomarkers.


title: Charge doping into spin minority states mediates doubling of $T_\mathrm{C}$ in ferromagnetic CrGeTe$_3$

abstract: The recent discovery of the persistence of long-range magnetic order when van der Waals layered magnets are thinned towards the monolayer limit has provided a tunable platform for the engineering of novel magnetic structures and devices. Here, we study the evolution of the electronic structure of CrGeTe$_3$ as a function of electron doping in the surface layer. From angle-resolved photoemission spectroscopy, we observe spectroscopic fingerprints that this electron doping drives a marked increase in $T_\mathrm{C}$, reaching values more than double that of the undoped material, in agreement with recent studies using electrostatic gating. Together with density functional theory calculations and Monte Carlo simulations, we show that, surprisingly, the increased $T_\mathrm{C}$ is mediated by the population of spin-minority Cr $t_{2g}$ states, forming a half-metallic 2D electron gas at the surface. We show how this promotes a novel variant of double exchange, and unlocks a significant influence of the Ge -- which was previously thought to be electronically inert in this system -- in mediating Cr-Cr exchange.


title: New Continuum Observations of the Andromeda galaxy M31 with FAST

abstract: We present a new total intensity image of M31 at 1.248 GHz, observed with the Five-hundred-meter Aperture Spherical radio telescope (FAST) with an angular resolution of 4 arcmin and a sensitivity of about 16 mK. The new FAST image clearly reveals weak emission outside the ring due to its high sensitivity on large-scale structures. We derive a scale length of 2.7 kpc for the cosmic ray electrons and find that the cosmic ray electrons propagate mainly through diffusion by comparing the scale length at 4.8 GHz. The spectral index of the total intensity varies along the ring, which can be attributed to the variation of the spectra of synchrotron emission. This variation is likely caused by the change of star formation rates along the ring. We find that the azimuthal profile of the non-thermal emission can be interpreted by an axisymmetric large-scale magnetic field with varying pitch angle along the ring, indicating a complicated magnetic field configuration in M31.


title: BPMS for management: a systematic literature review

abstract: The aim of this paper is to carry out a systematic analysis of the literature to show the state of the art of Business Processes Management Systems (BPMS). BPMS represents a technology that automates business processes connecting users with their tasks. For this, a systematic review of the literature of the last ten years was carried out, using scientific papers indexed in the main databases of the knowledge area. The papers generated by the search were later analysed and filtered. Among the findings of this study, the academic interest and the multidisciplinary nature of the subject, as this type of studies have been identified in different areas of knowledge. Our research is a starting point for future research eager to develop a more robust theory and broaden the interest of the subject due its economic impact on process management.


title: Business process management systems in port processes: a systematic literature review

abstract: Business Process Management Systems (BPMS) represent a technology that automates business processes, connecting users to their tasks. There are many business processes within the port activity that can be improved through the use of more efficient technologies and BPMS in particular, which can help to coordinate and automate critical processes such as cargo manifests, customs declaration the management of scales, or dangerous goods, traditionally supported by EDI technologies. These technologies could be integrated with BPMS, modernizing port logistics management. The aim of this work is to demonstrate, through a systematic analysis of the literature, the state of the art in BPMS research in the port industry. For this, a systematic review of the literature of the last ten years was carried out. The works generated by the search were subsequently analysed and filtered. After the investigation, it is discovered that the relationship between BPMS and the port sector is practically non-existent which represents an important gap to be covered and a future line of research.


title: Super K\"ahler structures on the complex Abelian Lie supergroups

abstract: We consider a real Abelian Lie supergroup G acting on its complexification M, equipped with a G-invariant super K\"ahler form. We extend the scheme of classical geometric quantization to this setting and construct a unitary G-representation. We show that the occurrences of its irreducible subrepresentations are governed by the image of the moment map of the super K\"ahler form. As an application, we construct a Gelfand model of G, namely a unitary G-representation in which every unitary irreducible representation occurs exactly once.


title: Nonlinear interaction of two cross-propagating plane waves

abstract: An ideal contrast-enhanced ultrasound image should display microbubble-induced nonlinearities while avoiding wave propagation nonlinearities. One of the most successful ultrasound pulse sequences to disentangle these nonlinear effects relies on the transmission of cross-propagating plane waves. However, theory describing the noncollinear nonlinear interaction of two finite plane waves has not been fully developed and a better understanding of these effects would improve contrast-enhanced ultrasound imaging further. Here, local nonlinear interactions at the intersection of two plane-waves are investigated by extending the Westervelt equation with a term including the Lagrangian density. The Iterative Nonlinear Contrast Source (INCS) method is employed to numerically solve this full nonlinear wave equation for two 3D finite cross-propagating pulsed plane waves. In addition, analytical expressions for the cross-propagation of two infinite continuous plane waves are derived. Numerical results obtained with INCS show good agreement with the analytical expressions. Overall, the generated results show that the pressure associated with local nonlinear effects is two orders of magnitude lower than the pressure associated with global nonlinear effects. Local nonlinear effects are therefore expected to be negligible in the context of single-shot ultrasound imaging, but they may influence approaches that subtract pressure fields such as amplitude modulation or pulse inversion.


title: Explicit representations and Azumaya loci of skein algebras of small surfaces

abstract: We construct finite dimensional representations of the Kauffman bracket skein algebra of the one-punctured torus and four-punctured sphere at all roots of unity. The representations are given by explicit formulas. They all have dimensions equal to the PI degrees of the skein algebras, and they realize all classical shadows. We then use the reducibility of these representations to determine the Azumaya loci. In particular, the Azumaya loci of these surfaces contain the smooth loci of the classical shadow varieties, with equality in the case of the one-punctured torus and proper containment in the case of the four-punctured sphere.


title: Jet quenching parameter in QCD kinetic theory

abstract: We study the jet quenching parameter $\hat q$ in a non-equilibrium plasma using the QCD effective kinetic theory. We discuss subleading terms at large jet momentum p, show that our expression for $\hat q$ reproduces thermal results at small and large transverse momentum cutoffs for infinite p and construct an interpolation between these limits to be used in phenomenological applications. Using simple non-equilibrium distributions that model pertinent features of the bottom-up thermalization scenario, we analytically assess how anisotropy, under- or overoccupation affect the jet quenching parameter. Our work provides more details on the $\hat q$ formula used in our preceding work [arXiv:2303.12595] and sets the stage for further numerical studies of jet momentum broadening in the initial stages of heavy-ion collisions from QCD kinetic theory.


title: AdaptiveConformal: An R Package for Adaptive Conformal Inference

abstract: Conformal Inference (CI) is a popular approach for generating finite sample prediction intervals based on the output of any point prediction method when data are exchangeable. Adaptive Conformal Inference (ACI) algorithms extend CI to the case of sequentially observed data, such as time series, and exhibit strong theoretical guarantees without having to assume exchangeability of the observed data. The common thread that unites algorithms in the ACI family is that they adaptively adjust the width of the generated prediction intervals in response to the observed data. We provide a detailed description of five ACI algorithms and their theoretical guarantees, and test their performance in simulation studies. We then present a case study of producing prediction intervals for influenza incidence in the United States based on black-box point forecasts. Implementations of all the algorithms are released as an open-source R package, AdaptiveConformal, which also includes tools for visualizing and summarizing conformal prediction intervals.


title: Unveilling Chaos in Particle Motion: Analyzing the Impact of Horizon in $f(R)$ Gravity

abstract: This article is devoted to investigate the effects of $f(R)$ theory in the dynamics of a massless particle near the horizon of a static spherically symmetric (SSS) black hole. Deriving the equations of motion within $f(R)$ gravitational theories, novel solutions for charged and neutral black holes are obtained, introducing a dimensional parameter $a$ in $f(R)=R-2a\sqrt{R}$. Departing from General Relativity, these solutions showcase unique properties reliant on the dynamics of Ricci scalar. Analysis shows that chaos manifests within a specific energy range, with $a$ playing a crucial role. The study underscores the general applicability of the spherically symmetric metric, revealing insights into particle dynamics near black hole horizons. Despite an initially integrable nature, the introduction of harmonic perturbation leads to chaos, aligning with the Kolmogorov-Arnold-Moser theory. This research contributes to a nuanced understanding of black hole dynamics, emphasizing the importance of alternative theories of gravity.


title: Quantum Schwarzschild geometry in effective-field-theory models of gravity

abstract: The Schwarzschild geometry is investigated within the context of effective-field-theory models of gravity. Starting from its harmonic-coordinate expression, we derive the metric in standard coordinates by keeping the leading one-loop quantum contributions in their most general form. We examine the metric horizons and the nature of the hypersurfaces having constant radius; furthermore, a possible energy-extraction process which violates the null energy condition is described, and both timelike and null geodesics are studied. Our analysis shows that there is no choice of the sign of the constant parameter embodying the quantum correction to the metric which leaves all the features of the classical Schwarzschild solution almost unaffected.


title: FSGS: Real-Time Few-shot View Synthesis using Gaussian Splatting

abstract: Novel view synthesis from limited observations remains an important and persistent task. However, high efficiency in existing NeRF-based few-shot view synthesis is often compromised to obtain an accurate 3D representation. To address this challenge, we propose a few-shot view synthesis framework based on 3D Gaussian Splatting that enables real-time and photo-realistic view synthesis with as few as three training views. The proposed method, dubbed FSGS, handles the extremely sparse initialized SfM points with a thoughtfully designed Gaussian Unpooling process. Our method iteratively distributes new Gaussians around the most representative locations, subsequently infilling local details in vacant areas. We also integrate a large-scale pre-trained monocular depth estimator within the Gaussians optimization process, leveraging online augmented views to guide the geometric optimization towards an optimal solution. Starting from sparse points observed from limited input viewpoints, our FSGS can accurately grow into unseen regions, comprehensively covering the scene and boosting the rendering quality of novel views. Overall, FSGS achieves state-of-the-art performance in both accuracy and rendering efficiency across diverse datasets, including LLFF, Mip-NeRF360, and Blender. Project website: https://zehaozhu.github.io/FSGS/.


title: Towards Generalizable Referring Image Segmentation via Target Prompt and Visual Coherence

abstract: Referring image segmentation (RIS) aims to segment objects in an image conditioning on free-from text descriptions. Despite the overwhelming progress, it still remains challenging for current approaches to perform well on cases with various text expressions or with unseen visual entities, limiting its further application. In this paper, we present a novel RIS approach, which substantially improves the generalization ability by addressing the two dilemmas mentioned above. Specially, to deal with unconstrained texts, we propose to boost a given expression with an explicit and crucial prompt, which complements the expression in a unified context, facilitating target capturing in the presence of linguistic style changes. Furthermore, we introduce a multi-modal fusion aggregation module with visual guidance from a powerful pretrained model to leverage spatial relations and pixel coherences to handle the incomplete target masks and false positive irregular clumps which often appear on unseen visual entities. Extensive experiments are conducted in the zero-shot cross-dataset settings and the proposed approach achieves consistent gains compared to the state-of-the-art, e.g., 4.15\%, 5.45\%, and 4.64\% mIoU increase on RefCOCO, RefCOCO+ and ReferIt respectively, demonstrating its effectiveness. Additionally, the results on GraspNet-RIS show that our approach also generalizes well to new scenarios with large domain shifts.


title: Neurophysiology of gaze orientation: Core neuronal networks

abstract: The appearance of an object triggers a shift of gaze toward its location. This orienting response consists of a rapid rotation of the eyes, the saccade, sometimes accompanied by a head rotation. In this chapter, instead of describing the path leading from the target-evoked retinal activity to the changes in muscle tension, we shall take the reverse path. Starting from the muscle contractions, we shall proceed upstream and describe the core neuronal networks in the brainstem and cerebellum that enable us to rapidly and accurately orient the foveae towards visual targets located at different eccentricities and depths.


title: An Encoding Framework for Binarized Images using HyperDimensional Computing

abstract: Hyperdimensional Computing (HDC) is a brain-inspired and light-weight machine learning method. It has received significant attention in the literature as a candidate to be applied in the wearable internet of things, near-sensor artificial intelligence applications and on-device processing. HDC is computationally less complex than traditional deep learning algorithms and typically achieves moderate to good classification performance. A key aspect that determines the performance of HDC is the encoding of the input data to the hyperdimensional (HD) space. This article proposes a novel light-weight approach relying only on native HD arithmetic vector operations to encode binarized images that preserves similarity of patterns at nearby locations by using point of interest selection and local linear mapping. The method reaches an accuracy of 97.35% on the test set for the MNIST data set and 84.12% for the Fashion-MNIST data set. These results outperform other studies using baseline HDC with different encoding approaches and are on par with more complex hybrid HDC models. The proposed encoding approach also demonstrates a higher robustness to noise and blur compared to the baseline encoding.


title: Meta-Diversity Search in Complex Systems, A Recipe for Artificial Open-Endedness ?

abstract: Can we build an artificial system that would be able to generate endless surprises if ran "forever" in Minecraft? While there is not a single path toward solving that grand challenge, this article presents what we believe to be some working ingredients for the endless generation of novel increasingly complex artifacts in Minecraft. Our framework for an open-ended system includes two components: a complex system used to recursively grow and complexify artifacts over time, and a discovery algorithm that leverages the concept of meta-diversity search. Since complex systems have shown to enable the emergence of considerable complexity from set of simple rules, we believe them to be great candidates to generate all sort of artifacts in Minecraft. Yet, the space of possible artifacts that can be generated by these systems is often unknown, challenging to characterize and explore. Therefore automating the long-term discovery of novel and increasingly complex artifacts in these systems is an exciting research field. To approach these challenges, we formulate the problem of meta-diversity search where an artificial "discovery assistant" incrementally learns a diverse set of representations to characterize behaviors and searches to discover diverse patterns within each of them. A successful discovery assistant should continuously seek for novel sources of diversities while being able to quickly specialize the search toward a new unknown type of diversity. To implement those ideas in the Minecraft environment, we simulate an artificial "chemistry" system based on Lenia continuous cellular automaton for generating artifacts, as well as an artificial "discovery assistant" (called Holmes) for the artifact-discovery process. Holmes incrementally learns a hierarchy of modular representations to characterize divergent sources of diversity and uses a goal-based intrinsically-motivated exploration as the diversity search strategy.


title: Auto-encoding GPS data to reveal individual and collective behaviour

abstract: We propose an innovative and generic methodology to analyse individual and collective behaviour through individual trajectory data. The work is motivated by the analysis of GPS trajectories of fishing vessels collected from regulatory tracking data in the context of marine biodiversity conservation and ecosystem-based fisheries management. We build a low-dimensional latent representation of trajectories using convolutional neural networks as non-linear mapping. This is done by training a conditional variational auto-encoder taking into account covariates. The posterior distributions of the latent representations can be linked to the characteristics of the actual trajectories. The latent distributions of the trajectories are compared with the Bhattacharyya coefficient, which is well-suited for comparing distributions. Using this coefficient, we analyse the variation of the individual behaviour of each vessel during time. For collective behaviour analysis, we build proximity graphs and use an extension of the stochastic block model for multiple networks. This model results in a clustering of the individuals based on their set of trajectories. The application to French fishing vessels enables us to obtain groups of vessels whose individual and collective behaviours exhibit spatio-temporal patterns over the period 2014-2018.


title: Homophily and Specialization in Networks

abstract: In this paper, players contribute to two local public goods for which they have different tastes and sponsor costly links to enjoy the provision of others. In equilibrium, either there are several contributors specialized in public good provision or only two contributors who are not entirely specialized. Higher linking costs have a non-monotonic impact on welfare and polarization, as they affect who specializes in public good provision. When the available budget is small, subsidies should be given to players who already specialize in public good provision; otherwise, they should target only one player who specializes in public good provision.


title: Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages

abstract: We present a mathematical setting for attack-defense trees, a classic graphical model to specify attacks and countermeasures. We equip attack-defense trees with (trace) language semantics allowing to have an original dynamic interpretation of countermeasures. Interestingly, the expressiveness of attack-defense trees coincides with star-free languages, and the nested countermeasures impact the expressiveness of attack-defense trees. With an adequate notion of countermeasure-depth, we exhibit a strict hierarchy of the star-free languages that does not coincides with the classic one. Additionally, driven by the use of attack-defense trees in practice, we address the decision problems of trace membership and of non-emptiness, and study their computational complexities parameterized by the countermeasure-depth.


title: A continuous-wave and pulsed X-band electron spin resonance spectrometer operating in ultra-high vacuum for the study of low dimensional spin ensembles

abstract: We report the development of a continuous-wave and pulsed X-band electron spin resonance (ESR) spectrometer for the study of spins on ordered surfaces down to cryogenic temperatures. The spectrometer operates in ultra-high vacuum and utilizes a half-wavelength microstrip line resonator realized using epitaxially grown copper films on single crystal Al$_2$O$_3$ substrates. The one-dimensional microstrip line resonator exhibits a quality factor of more than 200 at room temperature, close to the upper limit determined by radiation losses. The surface characterizations of the copper strip of the resonator by atomic force microscope, low-energy electron diffraction, and scanning tunneling microscope show that the surface is atomically clean, flat, and single crystalline. Measuring the ESR spectrum at 15 K from a few nm thick molecular film of YPc$_2$, we find a continuous-wave ESR sensitivity of $2.6 \cdot 10^{11}~\text{spins}/\text{G} \cdot \text{Hz}^{1/2}$ indicating that a signal-to-noise ratio of $3.9~\text{G} \cdot \text{Hz}^{1/2}$ is expected from a monolayer of YPc$_2$ molecules. Advanced pulsed ESR experimental capabilities including dynamical decoupling and electron-nuclear double resonance are demonstrated using free radicals diluted in a glassy matrix.


title: A large family of strongly regular graphs with small Weisfeiler-Leman dimension

abstract: In 2002, D. Fon-Der-Flaass constructed a prolific family of strongly regular graphs. In this paper, we prove that for infinitely many natural numbers $n$, this family contains $n^{\Omega(n^{2/3})}$ strongly regular $n$-vertex graphs $X$ with the same parameters, which satisfy the following condition: an isomorphism between $X$ and any other graph can be verified by the $4$-dimensional Weisfeiler-Leman algorithm.


title: Re-analysis of rare radiative $\Xi_b^-\rightarrow \Xi^- \gamma$ decay in QCD

abstract: The upper limit of the branching ratio of the rare $\Xi_b^-\rightarrow \Xi^- \gamma$ decay is obtained as $BR(\Xi_b^-\rightarrow \Xi^- \gamma)<1.3\times10^{-4}$ by the LHCb. In the present work we study this decay within the light cone QCD sum rules employing the $\Xi_b$ distribution amplitudes. At first stage, the form factors entering the $\Xi_b^-\rightarrow \Xi^- \gamma$ decay are obtained. Next, using the results for the form factors the corresponding branching ratio for this decay is estimated to be $BR(\Xi_b^-\rightarrow \Xi^- \gamma)=(4.8\pm 1.3)\times 10^{-5}$. This value lies below the upper limit established by the LHCb collaboration. Our finding for the branching ratio is also compared with the results of the other theoretical approaches existing in the literature.


title: Learning Unorthogonalized Matrices for Rotation Estimation

abstract: Estimating 3D rotations is a common procedure for 3D computer vision. The accuracy depends heavily on the rotation representation. One form of representation -- rotation matrices -- is popular due to its continuity, especially for pose estimation tasks. The learning process usually incorporates orthogonalization to ensure orthonormal matrices. Our work reveals, through gradient analysis, that common orthogonalization procedures based on the Gram-Schmidt process and singular value decomposition will slow down training efficiency. To this end, we advocate removing orthogonalization from the learning process and learning unorthogonalized `Pseudo' Rotation Matrices (PRoM). An optimization analysis shows that PRoM converges faster and to a better solution. By replacing the orthogonalization incorporated representation with our proposed PRoM in various rotation-related tasks, we achieve state-of-the-art results on large-scale benchmarks for human pose estimation.


title: Low-rank-modified Galerkin methods for the Lyapunov equation

abstract: Of all the possible projection methods for solving large-scale Lyapunov matrix equations, Galerkin approaches remain much more popular than minimal-residual ones. This is mainly due to the different nature of the projected problems stemming from these two families of methods. While a Galerkin approach leads to the solution of a low-dimensional matrix equation per iteration, a matrix least-squares problem needs to be solved per iteration in a minimal-residual setting. The significant computational cost of these least-squares problems has steered researchers towards Galerkin methods in spite of the appealing properties of minimal-residual schemes. In this paper we introduce a framework that allows for modifying the Galerkin approach by low-rank, additive corrections to the projected matrix equation problem with the two-fold goal of attaining monotonic convergence rates similar to those of minimal-residual schemes while maintaining essentially the same computational cost of the original Galerkin method. We analyze the well-posedness of our framework and determine possible scenarios where we expect the residual norm attained by two low-rank-modified variants to behave similarly to the one computed by a minimal-residual technique. A panel of diverse numerical examples shows the behavior and potential of our new approach.


title: Lih Wang and Dittert Conjectures on Permanents

abstract: Let $\Omega_n$ denote the set of all doubly stochastic matrices of order $n$. Lih and Wang conjectured that for $n\geq3$, per$(tJ_n+(1-t)A)\leq t $per$J_n+(1-t)$per$A$, for all $A\in\Omega_n$ and all $t \in [0.5,1]$, where $J_n$ is the $n \times n$ matrix with each entry equal to $\frac{1}{n}$. This conjecture was proved partially for $n \leq 5$. \\ \indent Let $K_n$ denote the set of non-negative $n\times n$ matrices whose elements have sum $n$. Let $\phi$ be a real valued function defined on $K_n$ by $\phi(X)=\prod_{i=1}^{n}r_i+\prod_{j=1}^{n}c_j$ - per$X$ for $X\in K_n$ with row sum vector $(r_1,r_2,...r_n)$ and column sum vector $(c_1,c_2,...c_n)$. A matrix $A\in K_n$ is called a $\phi$-maximizing matrix if $\phi(A)\geq \phi(X)$ for all $X\in K_n$. Dittert conjectured that $J_n$ is the unique $\phi$-maximizing matrix on $K_n$. Sinkhorn proved the conjecture for $n=2$ and Hwang proved it for $n=3$. \\ \indent In this paper, we prove the Lih and Wang conjecture for $n=6$ and Dittert conjecture for $n=4$.


title: Uniqueness and nondegeneracy of ground states for the Schr\"{o}dinger-Newton equation with power nonlinearity

abstract: In this article, we study the Schr\"{o}dinger-Newton equation \begin{equation} -\Delta u+\lambda u=\frac{1}{4\pi}\left(\frac{1}{|x|}\star u^{2}\right)u+|u|^{q-2}u \quad \text{in}~\mathbb{R}^3, \end{equation} where $\lambda\in\mathbb{R}_+$, $q\in (2,3)\cup(3, 6)$. By investigating limit profiles of ground states as $\lambda\to0^+$ or $\lambda\to+\infty$, we prove the uniqueness of ground states. By the action of the linearized eqaution with respect to decomposition into spherical harmonics, we obtain the nondegeneracy of ground states.


title: An overpartition analogue of Bressoud conjecture for even moduli

abstract: In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and $B_1$, based on which an overpartition analogue of Bressoud's conjecture for $j=0$ is obtained.


title: Unfolder: Fast localization and image rectification of a document with a crease from folding in half

abstract: Presentation of folded documents is not an uncommon case in modern society. Digitizing such documents by capturing them with a smartphone camera can be tricky since a crease can divide the document contents into separate planes. To unfold the document, one could hold the edges potentially obscuring it in a captured image. While there are many geometrical rectification methods, they were usually developed for arbitrary bends and folds. We consider such algorithms and propose a novel approach Unfolder developed specifically for images of documents with a crease from folding in half. Unfolder is robust to projective distortions of the document image and does not fragment the image in the vicinity of a crease after rectification. A new Folded Document Images dataset was created to investigate the rectification accuracy of folded (2, 3, 4, and 8 folds) documents. The dataset includes 1600 images captured when document placed on a table and when held in hand. The Unfolder algorithm allowed for a recognition error rate of 0.33, which is better than the advanced neural network methods DocTr (0.44) and DewarpNet (0.57). The average runtime for Unfolder was only 0.25 s/image on an iPhone XR.


title: Cheers: a linear-scaling KBE+GKBA code

abstract: The interaction of electrons with quantized phonons and photons underlies the ultrafast dynamics of systems ranging from molecules to solids, giving rise to a plethora of physical phenomena experimentally accessible using time-resolved techniques. Green's function methods offer an invaluable interpretation tool since scattering mechanisms of growing complexity can be selectively incorporated in the theory. cheers is a general-purpose nonequilibrium Green's function code that implements virtually all known many-body approximations and is designed for first principles studies of ultrafast processes in molecular and model solid state systems. The aims of generality, extensibility, efficiency, and user friendliness of the code are achieved through the underlying theory development and the use of modern software design practices. Here, we motivate the necessity for the creation of such a code and overview its design and capabilities.


title: Maximum principles for nonlinear integro-differential equations and symmetry of solutions

abstract: In this paper, we study the semilinear integro-differential equations \begin{equation*} \mathcal{L}_{K}u(x)\equiv C_n\text{P.V.}\int_{\R^n}\left(u(x)-u(y)\right)K(x-y)dy=f(x,u), \end{equation*} and the full nonlinear integro-differential equations \begin{equation*} F_{G,K}u(x)\equiv C_n\text{P.V.}\int_{\R^n}G(u(x)-u(y))K(x-y)dy=f(x,u), \end{equation*} where $K(\cdot)$ is a symmetric jumping kernel and $K(\cdot)\geq C|\cdot|^{-n-\alpha}$, $G(\cdot)$ is some nonlinear function without non-degenerate condition. We adopt the direct method of moving planes to study the symmetry and monotonicity of solutions for the integro-differential equations, and investigate the limit of some non-local operators $\mathcal{L}_{K}$ as $\alpha\to2.$ Our results extended some results obtained in \cite{CL} and \cite{CLLG}.


title: Glueballs in $N_f=1$ QCD

abstract: We present an evaluation of the glueball spectrum for configurations produced with $N_f=1$ dynamical fermions as a function of the $m_{\rm PCAC}$ mass. We obtained masses of states that fall into the irreducible representations of the octahedral group of rotations in combination with the quantum numbers of charge conjugation $C$ and parity $P$. Due to the low signal to noise ratio, practically, we can only extract masses for the irreducible representations $R^{PC}=$ $A_1^{++}$, $E^{++}$, $T_2^{++}$ as well as $A_1^{-+}$. We make use of the Generalized Eigenvalue Problem (GEVP) with an operator basis consisting only of gluonic operators. Throughout this work we are aiming towards the identification of the effects of light dynamical quarks on the glueball spectrum and how this compares to the statistically more precise spectrum of SU(3) pure gauge theory. We used large gauge ensembles which consist of ${\sim {~\cal O}}(10 {\rm K})$ configurations. Our findings demonstrate that the low-lying spectrum of the scalar, tensor as well as pseudo-scalar glueballs receive negligible contributions from the inclusion of $N_f=1$ dynamical fermions.


title: A Bayesian approach for prompt optimization in pre-trained language models

abstract: A prompt is a sequence of symbol or tokens, selected from a vocabulary according to some rule, which is prepended/concatenated to a textual query. A key problem is how to select the sequence of tokens: in this paper we formulate it as a combinatorial optimization problem. The high dimensionality of the token space com-pounded by the length of the prompt sequence requires a very efficient solution. In this paper we propose a Bayesian optimization method, executed in a continuous em-bedding of the combinatorial space. In this paper we focus on hard prompt tuning (HPT) which directly searches for discrete tokens to be added to the text input with-out requiring access to the large language model (LLM) and can be used also when LLM is available only as a black-box. This is critically important if LLMs are made available in the Model as a Service (MaaS) manner as in GPT-4. The current manu-script is focused on the optimization of discrete prompts for classification tasks. The discrete prompts give rise to difficult combinatorial optimization problem which easily become intractable given the dimension of the token space in realistic applications. The optimization method considered in this paper is Bayesian optimization (BO) which has become the dominant approach in black-box optimization for its sample efficiency along with its modular structure and versatility. In this paper we use BoTorch, a library for Bayesian optimization research built on top of pyTorch. Albeit preliminary and obtained using a 'vanilla' version of BO, the experiments on RoB-ERTa on six benchmarks, show a good performance across a variety of tasks and enable an analysis of the tradeoff between size of the search space, accuracy and wall clock time.


title: Dynamics of pairwise motions in the fully non-linear regime in LCDM and Modified Gravity cosmologies

abstract: In contrast to our understanding of density field tracers, the modelling of direct statistics pertaining to the cosmic velocity field remains open to significant opportunities for improvement. The lack of accurate modelling for the non-linear domain of pairwise velocities restricts our capacity to fully exploit the information encoded in this observable. We present a robust approach for modelling the mean infall velocities, $v_{12}(r,a)$, with broad applicability spanning sub-megaparsec scales and cosmologies extending beyond the standard LCDM paradigm. Our approach involves solving the full pair-conservation equation using accurate non-linear power spectrum descriptions. To assess the robustness of our model, we extend it to cosmologies beyond the standard LCDM, in particular, the Hu-Sawicki $f(R)$-gravity and Dvali-Gabadadze-Porrati (DGP) modified gravity models. Remarkably, our predictions for pairwise velocities of dark matter particles at kilo-parsec scales exhibit excellent agreement with N-body simulations throughout the entire dynamical range ($0.1 \lesssim \xi \lesssim 1000$, or $r\geq0.4$Mpc/h). Furthermore, we show that different gravity models leave distinct signatures in the shape and dynamics of the mean pairwise velocities, providing a potent test of cosmological gravity laws.


title: Normalized solutions for nonautonomous Schr\"{o}dinger-Poisson equations

abstract: In this paper, we study the existence of normalized solutions for the nonautonomous Schr\"{o}dinger-Poisson equations \begin{equation}\nonumber -\Delta u+\lambda u +\left(\vert x \vert ^{-1} * \vert u \vert ^{2} \right) u=A(x)|u|^{p-2}u,\quad \text{in}~\R^3, \end{equation} where $\lambda\in\R$, $A \in L^\infty(\R^3)$ satisfies some mild conditions. Due to the nonconstant potential $A$, we use Pohozaev manifold to recover the compactness for a minimizing sequence. For $p\in (2,3)$, $p\in(3,\frac{10}{3})$ and $p\in(\frac{10}{3}, 6)$, we adopt different analytical techniques to overcome the difficulties due to the presence of three terms in the corresponding energy functional which scale differently, respectively.


title: Constraining tensor-to-scalar ratio based on VLBI observations: PGWs induced-incoherence approach

abstract: In this study, we show that the background of primordial gravitational waves (PGWs) predicted by the inflationary scenario induce a decrease of the spatial coherence length of an electromagnetic field propagating over cosmological distances, leading the van Citter-Zernike correlations to eventually be unobservable, an affect called as blurring. Since this spatial correlation is actually observed in VLBI measurements of distant quasars, it imposes a constraint on the level of the primordial gravitational waves background. In this paper, we precisely evaluate this blurring effect by considering the primordial gravitational waves background to be in the so-called two-mode squeezed state, which is the standard quantum state predicted by the simplest scenario of inflation. We then exploit a sample of compact radio quasars located at redshift range $0.46\leq z \leq 2.73$ observed by very long baseline interferometry (VLBI) means. These quasars constitute a standard ruler and the angular size-distance $\theta-z$ relation is determined thanks to the measurement of their spatial coherence. These spatial coherence observations set an upper limit on the squeezing parameters of the PGWs background, which turns into an upper limit for the tensor-to-scalar ratio $\text{r}_{k_0}$. One finds $\text{r}_{k_0} < 10^{-7}$, five orders of magnitude better than present constraints on this parameter with the CMB. This result is nevertheless compatible with the possible detection of a cosmic background by the pulsar timing array measurement. Further issues and caveats that potentially affect the results are reviewed. In particular, the possible effect of quantum-to-classical transition of PGWs is discussed. Ultimately, we promote the idea of using high-precision VLBI measurement of angular size-redshift of distant sources as a new possible way of constraining the background of primordial tensor perturbations.


title: Pathologists light level preferences using the microscope -- a study to guide digital pathology display use

abstract: There is a paucity of guidelines relating to displays in digital pathology making procurement decisions, and display configuration challenging. Experience suggests pathologists have personal preferences for brightness when using a microscope which we hypothesised could be used as a predictor for display setup. We conducted an online survey across 6 NHS hospitals to capture brightness adjustment habits on both microscopes and screens. A subsample of respondents took part in a practical task to determine microscope brightness and display luminance preferences. The survey indicates 81% of respondents adjust the brightness on their microscope, compared with 11% adjusting their digital display. Display adjustments are more likely for visual comfort and ambient light compensation rather than for tissue factors, common for microscope adjustments. Twenty consultants took part in the practical brightness assessment. Light preferences on the microscope showed no correlation with screen preferences, except where a pathologist has a markedly brighter microscope preference. All of the preferences in this cohort were for a display luminance of less than 500cd/m$^2$, with 90% preferring 350cd/m$^2$ or less. There was no correlation between these preferences and the ambient lighting in the room. We conclude that microscope preferences can only be used to predict screen luminance requirements where the microscope is being used at very high brightness levels. A display capable of a brightness of 500cd/m$^2$ should be suitable for almost all pathologists with 300cd/m$^2$ suitable for the majority. The ability to adjust display luminance was felt to be important by the majority of respondents. Further work needs to be undertaken to establish the relationship between diagnostic performance, preferences and ambient lighting levels.


title: Self-Supervised Learning of Spatial Acoustic Representation with Cross-Channel Signal Reconstruction and Multi-Channel Conformer

abstract: Supervised learning methods have shown effectiveness in estimating spatial acoustic parameters such as time difference of arrival, direct-to-reverberant ratio and reverberation time. However, they still suffer from the simulation-to-reality generalization problem due to the mismatch between simulated and real-world acoustic characteristics and the deficiency of annotated real-world data. To this end, this work proposes a self-supervised method that takes full advantage of unlabeled data for spatial acoustic parameter estimation. First, a new pretext task, i.e. cross-channel signal reconstruction (CCSR), is designed to learn a universal spatial acoustic representation from unlabeled multi-channel microphone signals. We mask partial signals of one channel and ask the model to reconstruct them, which makes it possible to learn spatial acoustic information from unmasked signals and extract source information from the other microphone channel. An encoder-decoder structure is used to disentangle the two kinds of information. By fine-tuning the pre-trained spatial encoder with a small annotated dataset, this encoder can be used to estimate spatial acoustic parameters. Second, a novel multi-channel audio Conformer (MC-Conformer) is adopted as the encoder model architecture, which is suitable for both the pretext and downstream tasks. It is carefully designed to be able to capture the local and global characteristics of spatial acoustics exhibited in the time-frequency domain. Experimental results of five acoustic parameter estimation tasks on both simulated and real-world data show the effectiveness of the proposed method. To the best of our knowledge, this is the first self-supervised learning method in the field of spatial acoustic representation learning and multi-channel audio signal processing.


title: Interpretable Meta-Learning of Physical Systems

abstract: Machine learning methods can be a valuable aid in the scientific process, but they need to face challenging settings where data come from inhomogeneous experimental conditions. Recent meta-learning methods have made significant progress in multi-task learning, but they rely on black-box neural networks, resulting in high computational costs and limited interpretability. Leveraging the structure of the learning problem, we argue that multi-environment generalization can be achieved using a simpler learning model, with an affine structure with respect to the learning task. Crucially, we prove that this architecture can identify the physical parameters of the system, enabling interpreable learning. We demonstrate the competitive generalization performance and the low computational cost of our method by comparing it to state-of-the-art algorithms on physical systems, ranging from toy models to complex, non-analytical systems. The interpretability of our method is illustrated with original applications to physical-parameter-induced adaptation and to adaptive control.


title: Degenerate Schr{\"o}dinger-Kirchhoff $(p, N)$-Laplacian problem With singular Trudinger-Moser nonlinearity in $\mathbb{R}^N$

abstract: In this paper, we deal with the existence of nontrivial nonnegative solutions for a $(p, N)$-Laplacian Schr{\"o}dinger-Kirchhoff problem in $\mathbb{R}^N$ with singular exponential nonlinearity. The main features of the paper are the $(p, N)$ growth of the elliptic operators, the double lack of compactness, and the fact that the Kirchhoff function is of degenerate type. To establish the existence results, we use the mountain pass theorem, the Ekeland variational principle, the singular Trudinger-Moser inequality, and a completely new Br\'ezis-Lieb type lemma for singular exponential nonlinearity.


title: EEG-Based Reaction Time Prediction with Fuzzy Common Spatial Patterns and Phase Cohesion using Deep Autoencoder Based Data Fusion

abstract: Drowsiness state of a driver is a topic of extensive discussion due to its significant role in causing traffic accidents. This research presents a novel approach that combines Fuzzy Common Spatial Patterns (CSP) optimised Phase Cohesive Sequence (PCS) representations and fuzzy CSP-optimized signal amplitude representations. The research aims to examine alterations in Electroencephalogram (EEG) synchronisation between a state of alertness and drowsiness, forecast drivers' reaction times by analysing EEG data, and subsequently identify the presence of drowsiness. The study's findings indicate that this approach successfully distinguishes between alert and drowsy mental states. By employing a Deep Autoencoder-based data fusion technique and a regression model such as Support Vector Regression (SVR) or Least Absolute Shrinkage and Selection Operator (LASSO), the proposed method outperforms using individual feature sets in combination with a regressor model. This superiority is measured by evaluating the Root Mean Squared Error (RMSE), Mean Absolute Percentage Error (MAPE), and Correlation Coefficient (CC). In other words, the fusion of autoencoder-based amplitude EEG power features and PCS features, when used in regression, outperforms using either of these features alone in a regressor model. Specifically, the proposed data fusion method achieves a 14.36% reduction in RMSE, a 25.12% reduction in MAPE, and a 10.12% increase in CC compared to the baseline model using only individual amplitude EEG power features and regression.