title: Hall-magnetohydrodynamic simulations of X-ray photoevaporative protoplanetary disc winds

abstract: Understanding the complex evolution of protoplanetary disks (PPDs) and their dispersal via energetic stellar radiation are prominent challenges in astrophysics. It has recently been established that specifically the X-ray luminosity from the central protostar can significantly heat the surface of the disk, causing powerful photoevaporative winds that eject a considerable fraction of the disc's mass. Recent work in the field has moreover shown the importance of global PPD simulations that simultaneously take into account non-ideal magnetohydrodynamic (MHD) effects and detailed thermochemistry. Our motivation with the current paper lies in combining these two aspects and figure out how they interact. Focus is put on the Hall Effect (HE) and the impact it has on the overall field topology and mass loss/accretion rates. Utilizing a novel X-ray temperature parametrisation, we perform 2D-axisymmetric MHD simulations with the NIRVANA fluid code, covering all non-ideal effects. We find that, in the aligned orientation, the HE causes prominent inward displacement of the poloidal field lines that can increase the accretion rate through a laminar Maxwell stress. We find that outflows are mainly driven by photoevaporation -- unless the magnetic field strength is considerable (i.e., $\beta_p\leq 10^{3}$) or the X-ray luminosity low enough (i.e., $\log{L_X}\leq 29.3$). Inferred mass loss rate are in the range of the expected values $10^{-8}$ to $10^{-7}M_{\odot}yr^{-1}$. For comparison, we have also performed pure hydrodynamic (HD) runs and compared them with the equivalent MHD runs. Here we have found that the magnetic field does indeed contribute to the mass loss rate, albeit only discernibly so for low enough $L_X$ (i.e., $\log{L_X}\leq 30.8$). For values higher than that, the wind mass loss predicted from the MHD set converges to the ones predicted from pure HD.


title: A Vision-Based Tactile Sensing System for Multimodal Contact Information Perception via Neural Network

abstract: In general, robotic dexterous hands are equipped with various sensors for acquiring multimodal contact information such as position, force, and pose of the grasped object. This multi-sensor-based design adds complexity to the robotic system. In contrast, vision-based tactile sensors employ specialized optical designs to enable the extraction of tactile information across different modalities within a single system. Nonetheless, the decoupling design for different modalities in common systems is often independent. Therefore, as the dimensionality of tactile modalities increases, it poses more complex challenges in data processing and decoupling, thereby limiting its application to some extent. Here, we developed a multimodal sensing system based on a vision-based tactile sensor, which utilizes visual representations of tactile information to perceive the multimodal contact information of the grasped object. The visual representations contain extensive content that can be decoupled by a deep neural network to obtain multimodal contact information such as classification, position, posture, and force of the grasped object. The results show that the tactile sensing system can perceive multimodal tactile information using only one single sensor and without different data decoupling designs for different modal tactile information, which reduces the complexity of the tactile system and demonstrates the potential for multimodal tactile integration in various fields such as biomedicine, biology, and robotics.


title: Joint 2D to 3D image registration workflow for comparing multiple slice photographs and CT scans of apple fruit with internal disorders

abstract: A large percentage of apples are affected by internal disorders after long-term storage, which makes them unacceptable in the supply chain. CT imaging is a promising technique for in-line detection of these disorders. Therefore, it is crucial to understand how different disorders affect the image features that can be observed in CT scans. This paper presents a workflow for creating datasets of image pairs of photographs of apple slices and their corresponding CT slices. By having CT and photographic images of the same part of the apple, the complementary information in both images can be used to study the processes underlying internal disorders and how internal disorders can be measured in CT images. The workflow includes data acquisition, image segmentation, image registration, and validation methods. The image registration method aligns all available slices of an apple within a single optimization problem, assuming that the slices are parallel. This method outperformed optimizing the alignment separately for each slice. The workflow was applied to create a dataset of 1347 slice photographs and their corresponding CT slices. The dataset was acquired from 107 'Kanzi' apples that had been stored in controlled atmosphere (CA) storage for 8 months. In this dataset, the distance between annotations in the slice photograph and the matching CT slice was, on average, $1.47 \pm 0.40$ mm. Our workflow allows collecting large datasets of accurately aligned photo-CT image pairs, which can help distinguish internal disorders with a similar appearance on CT. With slight modifications, a similar workflow can be applied to other fruits or MRI instead of CT scans.


title: Collective excitations of a Bose-condensed gas: Fate of second sound in the crossover regime between hydrodynamic and collisionless regimes

abstract: We develop the moment method for Bose-Einstein condensates (BECs) at finite temperatures that enable us to study collective sound modes from the hydrodynamic to the collisionless regime. In particular, we investigate collective excitations in a weakly interacting dilute Bose gas by applying the moment method to the Zaremba-Nikuni-Griffin equation, which is the coupled equation of the Boltzmann equation with the generalized Gross-Pitaevskii equation. Utilizing the moment method, collective excitations in the crossover regime between the hydrodynamic and collisionless regimes are investigated in detail. In the crossover regime, the second sound mode loses the weight of the density response function because of the significant coupling with incoherent modes, whereas the first sound shows a distinct but broad peak structure. We compare the result obtained by the moment method with that of the Landau two-fluid equations and show that the collective mode predicted by the Landau two-fluid equations well coincides with the result from the moment method even far from the hydrodynamic regime, whereas clear distinction also emerges in the relatively higher momentum regime.


title: Arboles de Forzamiento Sem\'antico Trivalentes para el sistema deductivo paraconsistente P1

abstract: The semantics of trivalent truth tables for the paraconsistent logic system P1, is characterized by a visual inference tool called trivalent semantic forcing trees. Given a formula, with this tool the nodes of the corresponding tree are marked, and it is determined whether the formula is valid or not. In case the formula is invalid, the assignment of truth values that refutes it is determined by the marks of the leaves in its forcing tree.


title: Simultaneous inference procedures for the comparison of multiple characteristics of two survival functions

abstract: Survival time is the primary endpoint of many randomized controlled trials, and a treatment effect is typically quantified by the hazard ratio under the assumption of proportional hazards. Awareness is increasing that in many settings this assumption is a-priori violated, e.g. due to delayed onset of drug effect. In these cases, interpretation of the hazard ratio estimate is ambiguous and statistical inference for alternative parameters to quantify a treatment effect is warranted. We consider differences or ratios of milestone survival probabilities or quantiles, differences in restricted mean survival times and an average hazard ratio to be of interest. Typically, more than one such parameter needs to be reported to assess possible treatment benefits, and in confirmatory trials the according inferential procedures need to be adjusted for multiplicity. By using the counting process representation of the mentioned parameters, we show that their estimates are asymptotically multivariate normal and we propose according parametric multiple testing procedures and simultaneous confidence intervals. Also, the logrank test may be included in the framework. Finite sample type I error rate and power are studied by simulation. The methods are illustrated with an example from oncology. A software implementation is provided in the R package nph.


title: Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems

abstract: While forward reasoning (i.e. find the answer given the question) has been explored extensively in the recent literature, backward reasoning is relatively unexplored. We examine the backward reasoning capabilities of LLMs on Math Word Problems (MWPs): given a mathematical question and its answer, with some details omitted from the question, can LLMs effectively retrieve the missing information? In this paper, we formally define the backward reasoning task on math word problems and modify three datasets to evaluate this task: GSM8k, SVAMP and MultiArith. Our findings show a significant drop in the accuracy of models on backward reasoning compared to forward reasoning across four SOTA LLMs (GPT4, GPT3.5, PaLM-2, and LLaMa-2). Utilizing the specific format of this task, we propose three novel techniques that improve performance: Rephrase reformulates the given problem into a forward reasoning problem, PAL-Tools combines the idea of Program-Aided LLMs to produce a set of equations that can be solved by an external solver, and Check your Work exploits the availability of natural verifier of high accuracy in the forward direction, interleaving solving and verification steps. Finally, realizing that each of our base methods correctly solves a different set of problems, we propose a novel Bayesian formulation for creating an ensemble over these base methods aided by a verifier to further boost the accuracy by a significant margin. Extensive experimentation demonstrates that our techniques successively improve the performance of LLMs on the backward reasoning task, with the final ensemble-based method resulting in a substantial performance gain compared to the raw LLMs with standard prompting techniques such as chain-of-thought.


title: Acyclic Petri and Workflow Nets with Resets

abstract: In this paper we propose two new subclasses of Petri nets with resets, for which the reachability and coverability problems become tractable. Namely, we add an acyclicity condition that only applies to the consumptions and productions, not the resets. The first class is acyclic Petri nets with resets, and we show that coverability is PSPACE-complete for them. This contrasts the known Ackermann-hardness for coverability in (not necessarily acyclic) Petri nets with resets. We prove that the reachability problem remains undecidable for acyclic Petri nets with resets. The second class concerns workflow nets, a practically motivated and natural subclass of Petri nets. Here, we show that both coverability and reachability in acyclic workflow nets with resets are PSPACE-complete. Without the acyclicity condition, reachability and coverability in workflow nets with resets are known to be equally hard as for Petri nets with resets, that being Ackermann-hard and undecidable, respectively.


title: On non-commutative leapfrog map

abstract: We investigate the integrability of the non-commutative leapfrog map in this paper. Firstly, we derive the explicit formula for the non-commutative leapfrog map and corresponding discrete zero-curvature equation by employing the concept of non-commutative cross-ratio. Then we revisit this discrete map, as well as its continuous limit, from the perspective of non-commutative Laurent bi-orthogonal polynomials. Finally, the Poisson structure for this discrete non-commutative map is formulated with the help of a non-commutative network. We aim to enhance our understanding of the integrability properties of the non-commutative leapfrog map and its related mathematical structures through these analysis and constructions.


title: Understanding Masked Autoencoders From a Local Contrastive Perspective

abstract: Masked AutoEncoder (MAE) has revolutionized the field of self-supervised learning with its simple yet effective masking and reconstruction strategies. However, despite achieving state-of-the-art performance across various downstream vision tasks, the underlying mechanisms that drive MAE's efficacy are less well-explored compared to the canonical contrastive learning paradigm. In this paper, we first propose a local perspective to explicitly extract a local contrastive form from MAE's reconstructive objective at the patch level. And then we introduce a new empirical framework, called Local Contrastive MAE (LC-MAE), to analyze both reconstructive and contrastive aspects of MAE. LC-MAE reveals that MAE learns invariance to random masking and ensures distribution consistency between the learned token embeddings and the original images. Furthermore, we dissect the contribution of the decoder and random masking to MAE's success, revealing both the decoder's learning mechanism and the dual role of random masking as data augmentation and effective receptive field restriction. Our experimental analysis sheds light on the intricacies of MAE and summarizes some useful design methodologies, which can inspire more powerful visual self-supervised methods.


title: Development of Machine Vision Approach for Mechanical Component Identification based on its Dimension and Pitch

abstract: In this work, a highly customizable and scalable vision based system for automation of mechanical assembly lines is described. The proposed system calculates the features that are required to classify and identify the different kinds of bolts that are used in the assembly line. The system describes a novel method of calculating the pitch of the bolt in addition to bolt identification and calculating the dimensions of the bolts. This identification and classification system is extremely lightweight and can be run on bare minimum hardware. The system is very fast in the order of milliseconds, hence the system can be used successfully even if the components are steadily moving on a conveyor. The results show that our system can correctly identify the parts in our dataset with 98% accuracy using the calculated features.


title: Updated bounds on Axion-Like Particle Dark Matter with the optical MUSE-Faint survey

abstract: Bounds are derived on the axion-like particle (ALP) to two-photon coupling in the mass range $2.65-5.27$ eV. The bounds are obtained by searching for the signal from ALP decay in the Multi Unit Spectroscopic Explorer (MUSE) observations of five dwarf spheroidal galaxies, under the assumption that ALPs constitute the dark matter component of the haloes. These bounds are of the same order and improve on the robustness of those of Reference~\cite{Regis}, and currently represent the strongest bounds within the considered mass range.


title: Localization, fractality, and ergodicity in a monitored qubit

abstract: We study the statistical properties of a single two-level system (qubit) subject to repetitive ancilla-based measurements. This setup is a fundamental minimal model for exploring the intricate interplay between the unitary dynamics of the system and the nonunitary stochasticity introduced by quantum measurements, which is central to the phenomenon of measurement-induced phase transitions. We demonstrate that this "toy model" harbors remarkably rich dynamics, manifesting in the distribution function of the qubit's quantum states in the long-time limit. We uncover a compelling analogy with the phenomenon of Anderson localization, albeit governed by distinct underlying mechanisms. Specifically, the state distribution function of the monitored qubit, parameterized by a single angle on the Bloch sphere, exhibits diverse types of behavior familiar from the theory of Anderson transitions, spanning from complete localization to almost uniform delocalization, with fractality occurring between the two limits. By combining analytical solutions for various special cases with two complementary numerical approaches, we achieve a comprehensive understanding of the structure delineating the "phase diagram" of the model. We categorize and quantify the emergent regimes and identify two distinct phases of the monitored qubit: ergodic and nonergodic. Furthermore, we identify a genuinely localized phase within the nonergodic phase, where the state distribution functions consist of delta peaks, as opposed to the delocalized phase characterized by extended distributions. Identification of these phases and demonstration of transitions between them in a monitored qubit are our main findings.


title: A Formalization of Complete Discrete Valuation Rings and Local Fields

abstract: Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued fields. In particular, we prove that the unit ball with respect to a discrete valuation on a field is a discrete valuation ring and, conversely, that the adic valuation on the field of fractions of a discrete valuation ring is discrete. We define finite extensions of valuations and of discrete valuation rings, and prove some global-to-local results. Building on this general theory, we formalize the abstract definition and some fundamental properties of local fields. As an application, we show that finite extensions of the field $\mathbb{Q}_p$ of $p$-adic numbers and of the field $\mathbb{F}_p(\!(X)\!)$ of Laurent series over $\mathbb{F}_p$ are local fields.


title: Convective mixing in porous media: A review of Darcy, pore-scale and Hele-Shaw studies

abstract: Convection-driven porous media flows are common in industrial processes and in nature. The multiscale and multiphase character of these systems and the inherent non-linear flow dynamics make convection in porous media a complex phenomenon. As a result, a combination of different complementary approaches, namely theory, simulations and experiments, have been deployed to elucidate the intricate physics of convection in porous media. In this work, we review recent findings on mixing in fluid-saturated porous media convection. We focus on the dissolution of a heavy fluid layer into a lighter one, and we consider different flow configurations. We present Darcy, pore-scale and Hele-Shaw investigations inspired by geophysical processes. While the results obtained for Darcy flows match the dissolution behaviour predicted theoretically, Hele-Shaw and pore-scale investigations reveal a different and tangled scenario in which finite-size effects play a key role. Finally, we present recent numerical and experimental developments and we highlight possible future research directions. The findings reviewed in this work will be crucial to make reliable predictions about the long-term behaviour of dissolution and mixing in engineering and natural processes, which are required to tackle societal challenges such as climate change mitigation and energy transition.


title: MUSCLE: Multi-task Self-supervised Continual Learning to Pre-train Deep Models for X-ray Images of Multiple Body Parts

abstract: While self-supervised learning (SSL) algorithms have been widely used to pre-train deep models, few efforts [11] have been done to improve representation learning of X-ray image analysis with SSL pre-trained models. In this work, we study a novel self-supervised pre-training pipeline, namely Multi-task Self-super-vised Continual Learning (MUSCLE), for multiple medical imaging tasks, such as classification and segmentation, using X-ray images collected from multiple body parts, including heads, lungs, and bones. Specifically, MUSCLE aggregates X-rays collected from multiple body parts for MoCo-based representation learning, and adopts a well-designed continual learning (CL) procedure to further pre-train the backbone subject various X-ray analysis tasks jointly. Certain strategies for image pre-processing, learning schedules, and regularization have been used to solve data heterogeneity, overfitting, and catastrophic forgetting problems for multi-task/dataset learning in MUSCLE.We evaluate MUSCLE using 9 real-world X-ray datasets with various tasks, including pneumonia classification, skeletal abnormality classification, lung segmentation, and tuberculosis (TB) detection. Comparisons against other pre-trained models [7] confirm the proof-of-concept that self-supervised multi-task/dataset continual pre-training could boost the performance of X-ray image analysis.


title: Triplet superconductivity in the Rashba$^4$ model

abstract: The Rashba$^4$ model is a lattice model of interacting fermions with a tight-binding dispersion relation that exhibits four Rashba band crossing points at the same energy. The fermions interact weakly, by an on-site repulsion and an additional nearest-neighbour two-body interaction, which may be attractive or repulsive. We study this model when the Fermi energy is at or close to the band crossings, by a combination of renormalization group flow equations and mean-field theory. We find that the scattering processes between different Rashba points drive superconductivity of an unusual triplet type not found in models with a single Rashba point.


title: Throughput and Coverage Trade-Off in Integrated Terrestrial and Non-Terrestrial Networks: an Optimization Framework

abstract: In past years, non-terrestrial networks (NTNs) have emerged as a viable solution for providing ubiquitous connectivity for future wireless networks due to their ability to reach large geographical areas. However, the efficient integration and operation of an NTN with a classic terrestrial network (TN) is challenging due the large amount of parameters to tune. In this paper, we consider the downlink scenario of an integrated TN-NTN transmitting over the S band, comprised of low-earth orbit (LEO) satellites overlapping a large-scale ground cellular network. We propose a new resource management framework to optimize the user equipment (UE) performance by properly controlling the spectrum allocation, the UE association and the transmit power of ground base stations (BSs) and satellites. Our study reveals that, in rural scenarios, NTNs, combined with the proposed radio resource management framework, reduce the number of UEs that are out of coverage, highlighting the important role of NTNs in providing ubiquitous connectivity, and greatly improve the overall capacity of the network. Specifically, our solution leads to more than 200% gain in terms of mean data rate with respect to a network without satellites and a standard integrated TN-NTN when the resource allocation setting follows 3GPP recommendation.


title: L2MAC: Large Language Model Automatic Computer for Extensive Code Generation

abstract: Transformer-based large language models (LLMs) are constrained by the fixed context window of the underlying transformer architecture, hindering their ability to produce long and coherent outputs. Memory-augmented LLMs are a promising solution, but current approaches cannot handle long output generation tasks since they (1) only focus on reading memory and reduce its evolution to the concatenation of new memories or (2) use very specialized memories that cannot adapt to other domains. This paper presents L2MAC, the first practical LLM-based general-purpose stored-program automatic computer (von Neumann architecture) framework, an LLM-based multi-agent system, for long and consistent output generation. Its memory has two components: the instruction registry, which is populated with a prompt program to solve the user-given task, and a file store, which will contain the final and intermediate outputs. Each instruction in turn is executed by a separate LLM agent, whose context is managed by a control unit capable of precise memory reading and writing to ensure effective interaction with the file store. These components enable L2MAC to generate extensive outputs, bypassing the constraints of the finite context window while producing outputs that fulfill a complex user-specified task. We empirically demonstrate that L2MAC achieves state-of-the-art performance in generating large codebases for system design tasks, significantly outperforming other coding methods in implementing the detailed user-specified task; we show that L2MAC works for general-purpose extensive text-based tasks, such as writing an entire book; and we provide valuable insights into L2MAC's performance improvement over existing methods.


title: Nearly minimax empirical Bayesian prediction of independent Poisson observables

abstract: In this study, simultaneous predictive distributions for independent Poisson observables were considered and the performance of predictive distributions was evaluated using the Kullback-Leibler (K-L) loss. This study proposes a class of empirical Bayesian predictive distributions that dominate the Bayesian predictive distribution based on the Jeffreys prior. The K-L risk of the empirical Bayesian predictive distributions is demonstrated to be less than 1.04 times the minimax lower bound.


title: Generalized Convergence Analysis of Tsetlin Machines: A Probabilistic Approach to Concept Learning

abstract: Tsetlin Machines (TMs) have garnered increasing interest for their ability to learn concepts via propositional formulas and their proven efficiency across various application domains. Despite this, the convergence proof for the TMs, particularly for the AND operator (\emph{conjunction} of literals), in the generalized case (inputs greater than two bits) remains an open problem. This paper aims to fill this gap by presenting a comprehensive convergence analysis of Tsetlin automaton-based Machine Learning algorithms. We introduce a novel framework, referred to as Probabilistic Concept Learning (PCL), which simplifies the TM structure while incorporating dedicated feedback mechanisms and dedicated inclusion/exclusion probabilities for literals. Given $n$ features, PCL aims to learn a set of conjunction clauses $C_i$ each associated with a distinct inclusion probability $p_i$. Most importantly, we establish a theoretical proof confirming that, for any clause $C_k$, PCL converges to a conjunction of literals when $0.5<p_k<1$. This result serves as a stepping stone for future research on the convergence properties of Tsetlin automaton-based learning algorithms. Our findings not only contribute to the theoretical understanding of Tsetlin Machines but also have implications for their practical application, potentially leading to more robust and interpretable machine learning models.


title: Markovian master equations for quantum-classical hybrid systems

abstract: The problem of constructing a consistent quantum-classical hybrid dynamics is afforded in the case of a quantum component in a separable Hilbert space and a continuous, finite-dimensional classical component. In the Markovian case, the problem is formalized by the notion of hybrid dynamical semigroup. A classical component can be observed without perturbing the system and information on the quantum component can be extracted, thanks to the quantum-classical interaction. This point is formalized by showing how to introduce positive operator valued measures and operations compatible with the hybrid dynamical semigroup; in this way the notion of hybrid dynamics is connected to quantum measurements in continuous time. Then, the case of the most general quasi-free generator is presented and the various quantum-classical interaction terms are discussed. To bee quasi-free means to send, in the Heisenberg description, hybrid Weyl operators into multiples of Weyl operators; the results on the structure of quasi-free semigroups were proved in the article arXiv:2307.02611. Even in the pure quantum case, a quasi-free semigroup is not restricted to have only a Gaussian structure, but also jump-type terms are allowed. An important result is that, to have interactions producing a flow of information from the quantum component to the classical one, suitable dissipative terms must be present in the generator. Finally, some possibilities are discussed to go beyond the quasi-free case.


title: Nuclear models for inclusive lepton-nucleus scattering in the quasi-elastic region and beyond

abstract: High-precision measurements in neutrino oscillation experiments require a very accurate description of the lepton-nucleus scattering process. Several cross-section calculations are available, but important discrepancies are still present between different model predictions. For the quasi-elastic channel, dominated by one particle-one hole excitations, an overview over several nuclear models - specifically Relativistic Fermi Gas, SuperScaling Approach, Spectral Function, Hartree-Fock and Random Phase Approximation - is presented and compared with data for electron-nucleus scattering, a very important process for testing theoretical models validity, highlighting the specific features of each approach. Furthermore an ongoing microscopic calculation of the two particle-two hole excitations contribution to the electromagnetic response is presented, and some preliminary results are shown.


title: fmeffects: An R Package for Forward Marginal Effects

abstract: Forward marginal effects (FMEs) have recently been introduced as a versatile and effective model-agnostic interpretation method. They provide comprehensible and actionable model explanations in the form of: If we change $x$ by an amount $h$, what is the change in predicted outcome $\widehat{y}$? We present the R package fmeffects, the first software implementation of FMEs. The relevant theoretical background, package functionality and handling, as well as the software design and options for future extensions are discussed in this paper.


title: Polymer in a multi-interface medium with weak repulsion

abstract: Long linear polymers in a depinned interfaces environment have been studied for a long time, for instance in \cite{Caravenna2009depinning} when the temperature is constant. In this paper, we study an extension of this model by making the temperature and the distance between interfaces goes to infinity. We give a full phase diagram for this model, and show that a new behaviour appears in this extension. Our key tool include new sharp results on the simple random walk evolving between interfaces.


title: Rings of functions which are discontinuous on a finite set with countable range

abstract: Consider the ring $C_c(X)_F$ of real valued functions which are discontinuous on a finite set with countable range. We discuss $(\mathcal{Z}_c)_F$-filters on $X$ and $(\mathcal{Z}_c)_F$-ideals of $C_c(X)_F$. We establish an analogous version of Gelfand-Kolmogoroff theorem in our setting. We prove some equivalent conditions when $C_c(X)_F$ is a Baer-ring and a regular ring. Lastly, we talk about the zero divisor graph on $C_c(X)_F$.


title: Decoding Human Activities: Analyzing Wearable Accelerometer and Gyroscope Data for Activity Recognition

abstract: A person's movement or relative positioning effectively generates raw electrical signals that can be read by computing machines to apply various manipulative techniques for the classification of different human activities. In this paper, a stratified multi-structural approach based on a Residual network ensembled with Residual MobileNet is proposed, termed as FusionActNet. The proposed method involves using carefully designed Residual blocks for classifying the static and dynamic activities separately because they have clear and distinct characteristics that set them apart. These networks are trained independently, resulting in two specialized and highly accurate models. These models excel at recognizing activities within a specific superclass by taking advantage of the unique algorithmic benefits of architectural adjustments. Afterward, these two ResNets are passed through a weighted ensemble-based Residual MobileNet. Subsequently, this ensemble proficiently discriminates between a specific static and a specific dynamic activity, which were previously identified based on their distinct feature characteristics in the earlier stage. The proposed model is evaluated using two publicly accessible datasets; namely, UCI HAR and Motion-Sense. Therein, it successfully handled the highly confusing cases of data overlap. Therefore, the proposed approach achieves a state-of-the-art accuracy of 96.71% and 95.35% in the UCI HAR and Motion-Sense datasets respectively.


title: Towards Training Without Depth Limits: Batch Normalization Without Gradient Explosion

abstract: Normalization layers are one of the key building blocks for deep neural networks. Several theoretical studies have shown that batch normalization improves the signal propagation, by avoiding the representations from becoming collinear across the layers. However, results on mean-field theory of batch normalization also conclude that this benefit comes at the expense of exploding gradients in depth. Motivated by these two aspects of batch normalization, in this study we pose the following question: "Can a batch-normalized network keep the optimal signal propagation properties, but avoid exploding gradients?" We answer this question in the affirmative by giving a particular construction of an Multi-Layer Perceptron (MLP) with linear activations and batch-normalization that provably has bounded gradients at any depth. Based on Weingarten calculus, we develop a rigorous and non-asymptotic theory for this constructed MLP that gives a precise characterization of forward signal propagation, while proving that gradients remain bounded for linearly independent input samples, which holds in most practical settings. Inspired by our theory, we also design an activation shaping scheme that empirically achieves the same properties for certain non-linear activations.


title: Spectral operator learning for parametric PDEs without data reliance

abstract: In this paper, we introduce the Spectral Coefficient Learning via Operator Network (SCLON), a novel operator learning-based approach for solving parametric partial differential equations (PDEs) without the need for data harnessing. The cornerstone of our method is the spectral methodology that employs expansions using orthogonal functions, such as Fourier series and Legendre polynomials, enabling accurate PDE solutions with fewer grid points. By merging the merits of spectral methods - encompassing high accuracy, efficiency, generalization, and the exact fulfillment of boundary conditions - with the prowess of deep neural networks, SCLON offers a transformative strategy. Our approach not only eliminates the need for paired input-output training data, which typically requires extensive numerical computations, but also effectively learns and predicts solutions of complex parametric PDEs, ranging from singularly perturbed convection-diffusion equations to the Navier-Stokes equations. The proposed framework demonstrates superior performance compared to existing scientific machine learning techniques, offering solutions for multiple instances of parametric PDEs without harnessing data. The mathematical framework is robust and reliable, with a well-developed loss function derived from the weak formulation, ensuring accurate approximation of solutions while exactly satisfying boundary conditions. The method's efficacy is further illustrated through its ability to accurately predict intricate natural behaviors like the Kolmogorov flow and boundary layers. In essence, our work pioneers a compelling avenue for parametric PDE solutions, serving as a bridge between traditional numerical methodologies and cutting-edge machine learning techniques in the realm of scientific computation.


title: Utility-based acceptability indices

abstract: In this short paper we introduce a new class of performance measures based on certainty equivalents defined via scaled utility functions. We analyse their properties, show that the corresponding portfolio optimization problem is well-posed under generic conditions, and analyse the link between portfolio dynamics, benchmark process, and utility function choice in the long-run setting.


title: On Fundamental Proof Structures in First-Order Optimization

abstract: First-order optimization methods have attracted a lot of attention due to their practical success in many applications, including in machine learning. Obtaining convergence guarantees and worst-case performance certificates for first-order methods have become crucial for understanding ingredients underlying efficient methods and for developing new ones. However, obtaining, verifying, and proving such guarantees is often a tedious task. Therefore, a few approaches were proposed for rendering this task more systematic, and even partially automated. In addition to helping researchers finding convergence proofs, these tools provide insights on the general structures of such proofs. We aim at presenting those structures, showing how to build convergence guarantees for first-order optimization methods.


title: Ranking a Set of Objects using Heterogeneous Workers: QUITE an Easy Problem

abstract: We focus on the problem of ranking $N$ objects starting from a set of noisy pairwise comparisons provided by a crowd of unequal workers, each worker being characterized by a specific degree of reliability, which reflects her ability to rank pairs of objects. More specifically, we assume that objects are endowed with intrinsic qualities and that the probability with which an object is preferred to another depends both on the difference between the qualities of the two competitors and on the reliability of the worker. We propose QUITE, a non-adaptive ranking algorithm that jointly estimates workers' reliabilities and qualities of objects. Performance of QUITE is compared in different scenarios against previously proposed algorithms. Finally, we show how QUITE can be naturally made adaptive.


title: DAGnabbit! Ensuring Consistency between Noise and Detection in Hierarchical Bayesian Inference

abstract: Hierarchical Bayesian inference can simultaneously account for both measurement uncertainty and selection effects within astronomical catalogs. In particular, the hierarchy imposed encodes beliefs about the interdependence of the physical processes that generate the observed data. We show that several proposed approximations within the literature actually correspond to inferences that are incompatible with any physical detection process, which can be described by a directed acyclic graph (DAG). This generically leads to biases and is associated with the assumption that detectability is independent of the observed data given the true source parameters. We show several examples of how this error can affect astrophysical inferences based on catalogs of coalescing binaries observed through gravitational waves, including misestimating the redshift evolution of the merger rate as well as incorrectly inferring that General Relativity is the correct theory of gravity when it is not. In general, one cannot directly fit for the ``detected distribution'' and ``divide out'' the selection effects in post-processing. Similarly, when comparing theoretical predictions to observations, it is better to simulate detected data (including both measurement noise and selection effects) rather than comparing estimates of the detected distributions of event parameters (which include only selection effects). While the biases introduced by model misspecification from incorrect assumptions may be smaller than statistical uncertainty for moderate catalog sizes (O(100) events), they will nevertheless pose a significant barrier to precision measurements of astrophysical populations.


title: Atomic soliton transmission and induced collapse in scattering from a narrow barrier

abstract: We report systematic numerical simulations of the collision of a bright matter-wave soliton made of Bose-condensed alkali-metal atoms through a narrow potential barrier by using the three-dimensional Gross-Pitaevskii equation. In this way, we determine how the transmission coefficient depends on the soliton impact velocity and the barrier height. Quite remarkably, we also obtain the regions of parameters where there is the collapse of the bright soliton induced by the collision. We compare these three-dimensional results with the ones obtained by three different one-dimensional nonlinear Schr\"odinger equations. We find that a specifically modified nonpolynomial Schr\"odinger equation is able to accurately assess the transmission coefficient even in a region in which the usual nonpolynomial Schr\"odinger equation does collapse. In particular, this simplified but very effective one-dimensional model takes into account the transverse width dynamics of the soliton with an ordinary differential equation coupled to the partial differential equation of the axial wave function of the Bose-Einstein condensate.


title: Towards Feasible Counterfactual Explanations: A Taxonomy Guided Template-based NLG Method

abstract: Counterfactual Explanations (cf-XAI) describe the smallest changes in feature values necessary to change an outcome from one class to another. However, many cf-XAI methods neglect the feasibility of those changes. In this paper, we introduce a novel approach for presenting cf-XAI in natural language (Natural-XAI), giving careful consideration to actionable and comprehensible aspects while remaining cognizant of immutability and ethical concerns. We present three contributions to this endeavor. Firstly, through a user study, we identify two types of themes present in cf-XAI composed by humans: content-related, focusing on how features and their values are included from both the counterfactual and the query perspectives; and structure-related, focusing on the structure and terminology used for describing necessary value changes. Secondly, we introduce a feature actionability taxonomy with four clearly defined categories, to streamline the explanation presentation process. Using insights from the user study and our taxonomy, we created a generalisable template-based natural language generation (NLG) method compatible with existing explainers like DICE, NICE, and DisCERN, to produce counterfactuals that address the aforementioned limitations of existing approaches. Finally, we conducted a second user study to assess the performance of our taxonomy-guided NLG templates on three domains. Our findings show that the taxonomy-guided Natural-XAI approach (n-XAI^T) received higher user ratings across all dimensions, with significantly improved results in the majority of the domains assessed for articulation, acceptability, feasibility, and sensitivity dimensions.


title: A Study on Filter Version of Strongly Central Sets

abstract: Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-\v{C}ech compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of \b{eta}S, the Stone-\v{C}ech compactification of a semigroup (S, .). Hindman and leader introduced the notion of Central set near zero algebraically. Later dynamical and combinatorial characterization have also been established. For any given filter F in S a set A is said to be a F- central set if it is a member of a minimal idempotent of a closed subsemigroup of \b{eta}S, generated by the filter F. In a recent article Bergelson, Hindman and Strauss introduced strongly central and very strongly central sets in [BHS]. They also dynamically characterized the sets in the same paper. In the present article we will characterize the strongly F- central sets dynamically and combinatorially. Here we introduce the filter version of strongly central sets and very strongly central sets. We also provide dynamical and combinatorial characterization of such sets.


title: Assessment of the CRD approximation for the observer's frame RIII redistribution matrix

abstract: Approximated forms of the RII and RIII redistribution matrices are frequently applied to simplify the numerical solution of the radiative transfer problem for polarized radiation, taking partial frequency redistribution (PRD) effects into account. A widely used approximation for RIII is to consider its expression under the assumption of complete frequency redistribution (CRD) in the observer frame (RIII CRD). The adequacy of this approximation for modeling the intensity profiles has been firmly established. By contrast, its suitability for modeling scattering polarization signals has only been analyzed in a few studies, considering simplified settings. In this work, we aim at quantitatively assessing the impact and the range of validity of the RIII CRD approximation in the modeling of scattering polarization. Methods. We first present an analytic comparison between RIII and RIII CRD. We then compare the results of radiative transfer calculations, out of local thermodynamic equilibrium, performed with RIII and RIII CRD in realistic 1D atmospheric models. We focus on the chromospheric Ca i line at 4227 A and on the photospheric Sr i line at 4607 A.


title: Optimizing substructure search: a novel approach for efficient querying in large chemical databases

abstract: Substructure search in chemical compound databases is a fundamental task in cheminformatics with critical implications for fields such as drug discovery, materials science, and toxicology. However, the increasing size and complexity of chemical databases have rendered traditional search algorithms ineffective, exacerbating the need for scalable solutions. We introduce a novel approach to enhance the efficiency of substructure search, moving beyond the traditional full-enumeration methods. Our strategy employs a unique index structure: a tree that segments the molecular data set into clusters based on the presence or absence of certain features. This innovative indexing mechanism is inspired by the binary Ball-Tree concept and demonstrates superior performance over exhaustive search methods, leading to significant acceleration in the initial filtering process. Comparative analysis with the existing Bingo algorithm reveals the efficiency and versatility of our approach. Although the current implementation does not affect the verification stage, it has the potential to reduce false positive rates. Our method offers a promising avenue for future research, meeting the growing demand for fast and accurate substructure search in increasingly large chemical databases.


title: Nash Regret Guarantees for Linear Bandits

abstract: We obtain essentially tight upper bounds for a strengthened notion of regret in the stochastic linear bandits framework. The strengthening -- referred to as Nash regret -- is defined as the difference between the (a priori unknown) optimum and the geometric mean of expected rewards accumulated by the linear bandit algorithm. Since the geometric mean corresponds to the well-studied Nash social welfare (NSW) function, this formulation quantifies the performance of a bandit algorithm as the collective welfare it generates across rounds. NSW is known to satisfy fairness axioms and, hence, an upper bound on Nash regret provides a principled fairness guarantee. We consider the stochastic linear bandits problem over a horizon of $T$ rounds and with set of arms ${X}$ in ambient dimension $d$. Furthermore, we focus on settings in which the stochastic reward -- associated with each arm in ${X}$ -- is a non-negative, $\nu$-sub-Poisson random variable. For this setting, we develop an algorithm that achieves a Nash regret of $O\left( \sqrt{\frac{d\nu}{T}} \log( T |X|)\right)$. In addition, addressing linear bandit instances in which the set of arms ${X}$ is not necessarily finite, we obtain a Nash regret upper bound of $O\left( \frac{d^\frac{5}{4}\nu^{\frac{1}{2}}}{\sqrt{T}} \log(T)\right)$. Since bounded random variables are sub-Poisson, these results hold for bounded, positive rewards. Our linear bandit algorithm is built upon the successive elimination method with novel technical insights, including tailored concentration bounds and the use of sampling via John ellipsoid in conjunction with the Kiefer-Wolfowitz optimal design.


title: Compact Median Algebras are $\mu$-Boundaries in a unique way

abstract: We consider group actions on compact median algebras. We show that, given a generating probability measure $\mu$ on the acting group and under suitable conditions on the median algebra, it could be realized in a unique way as a $\mu$-boundary in the sense of Furstenberg. Along the way, we prove some structural results.


title: DeepZero: Scaling up Zeroth-Order Optimization for Deep Model Training

abstract: Zeroth-order (ZO) optimization has become a popular technique for solving machine learning (ML) problems when first-order (FO) information is difficult or impossible to obtain. However, the scalability of ZO optimization remains an open problem: Its use has primarily been limited to relatively small-scale ML problems, such as sample-wise adversarial attack generation. To our best knowledge, no prior work has demonstrated the effectiveness of ZO optimization in training deep neural networks (DNNs) without a significant decrease in performance. To overcome this roadblock, we develop DeepZero, a principled ZO deep learning (DL) framework that can scale ZO optimization to DNN training from scratch through three primary innovations. First, we demonstrate the advantages of coordinatewise gradient estimation (CGE) over randomized vector-wise gradient estimation in training accuracy and computational efficiency. Second, we propose a sparsityinduced ZO training protocol that extends the model pruning methodology using only finite differences to explore and exploit the sparse DL prior in CGE. Third, we develop the methods of feature reuse and forward parallelization to advance the practical implementations of ZO training. Our extensive experiments show that DeepZero achieves state-of-the-art (SOTA) accuracy on ResNet-20 trained on CIFAR-10, approaching FO training performance for the first time. Furthermore, we show the practical utility of DeepZero in applications of certified adversarial defense and DL-based partial differential equation error correction, achieving 10-20% improvement over SOTA. We believe our results will inspire future research on scalable ZO optimization and contribute to advancing DL with black box. Codes are available at https://github.com/OPTML-Group/DeepZero.


title: On Harnack inequality to the homogeneous nonlinear degenerate parabolic equations

abstract: In this paper, the Harnack inequality result are established for a new class of the homogeneous nonlinear degenerate parabolic equations \begin{align*} div A(t,x,u,\nabla_x u)-\partial_t \vert u\vert^{p-2}u=0 \end{align*} on a bounded domain $ D \subset R^{n+1}. $ Let $A(t,x,\xi,\eta)$ be measurable function on $R\times R^n\times R\times R^n\to R^n$ that satisfies the Caratheodory conditions for $ \, \text{arbitrary } \, (t,x)\in D$ and $(\xi,\eta)\in R^{1}\times R^n.$ The following growth conditions are also satisfied: \begin{equation*} A(t,x,\xi,\eta)\eta\geq c_{1}\omega(t,x)\vert\eta\vert^{p} \end{equation*} \begin{equation*} \vert A(t,x,\xi,\eta)\vert\leq c_{2}\omega(t,x)\vert\eta\vert^{p-1},\quad p>1. \end{equation*} The exclusive Muckenhoupt condition $ \omega^{\alpha} \in A_{1+{\alpha}/r} . $


title: DeepHGCN: Recipe for Efficient and Scalable Deep Hyperbolic Graph Convolutional Networks

abstract: Hyperbolic graph convolutional networks (HGCN) have demonstrated significant potential in extracting information from hierarchical graphs. However, existing HGCNs are limited to shallow architectures, due to the expensive hyperbolic operations and the over-smoothing issue as depth increases. Although in GCNs, treatments have been applied to alleviate over-smoothing, developing a hyperbolic therapy presents distinct challenges since operations should be carefully designed to fit the hyperbolic nature. Addressing the above challenges, in this work, we propose DeepHGCN, the first deep multi-layer HGCN architecture with dramatically improved computational efficiency and substantially alleviated over-smoothing effect. DeepHGCN presents two key enablers of deep HGCNs: (1) a novel hyperbolic feature transformation layer that enables fast and accurate linear maps; and (2) techniques such as hyperbolic residual connections and regularization for both weights and features facilitated by an efficient hyperbolic midpoint method. Extensive experiments demonstrate that DeepHGCN obtains significant improvements in link prediction and node classification tasks compared to both Euclidean and shallow hyperbolic GCN variants.


title: Outgassing Composition of the Murchison Meteorite: Implications for Volatile Depletion of Planetesimals and Interior-atmosphere Connections for Terrestrial Exoplanets

abstract: Outgassing is a central process during the formation and evolution of terrestrial planets and their atmospheres both within and beyond the solar system. Although terrestrial planets' early atmospheres likely form via outgassing during planetary accretion, the connection between a planet's bulk composition and its initial atmospheric properties is not well understood. One way to inform this connection is to analyze the outgassing compositions of meteorites, and in particular carbonaceous chondrites, because they are some of the most volatile-rich, primitive materials (in terms of their bulk compositions) that are available for direct study. In addition, they may serve as compositional analogs for the building block materials of terrestrial planets in our solar system and around other Sun-like stars. This study builds upon previous outgassing experiments that monitored the abundances of volatile species (e.g., H2O, CO, and CO2) released from the Murchison meteorite. To gain a more complete understanding of Murchison's outgassing composition, we perform a series of heating experiments under atmospheric pressure (1 bar) and vacuum (1E-9 bar) conditions on samples of the Murchison meteorite and subsequent bulk element analysis to inform the outgassing trends of a suite of major elements in Murchison (e.g., Fe, Mg, Zn, and S). Under both pressure conditions, sulfur outgases significantly at the highest temperatures (800C - 1000C). For the samples heated under vacuum conditions, we also detect outgassing of zinc. Combined with prior outgassing experiments, this study provides important insights into the volatile depletion patterns of undifferentiated planetesimals and the early outgassing compositions of terrestrial exoplanets.


title: Between accurate prediction and poor decision making: the AI/ML gap

abstract: Intelligent agents rely on AI/ML functionalities to predict the consequence of possible actions and optimise the policy. However, the effort of the research community in addressing prediction accuracy has been so intense (and successful) that it created the illusion that the more accurate the learner prediction (or classification) the better would have been the final decision. Now, such an assumption is valid only if the (human or artificial) decision maker has complete knowledge of the utility of the possible actions. This paper argues that AI/ML community has taken so far a too unbalanced approach by devoting excessive attention to the estimation of the state (or target) probability to the detriment of accurate and reliable estimations of the utility. In particular, few evidence exists about the impact of a wrong utility assessment on the resulting expected utility of the decision strategy. This situation is creating a substantial gap between the expectations and the effective impact of AI solutions, as witnessed by recent criticisms and emphasised by the regulatory legislative efforts. This paper aims to study this gap by quantifying the sensitivity of the expected utility to the utility uncertainty and comparing it to the one due to probability estimation. Theoretical and simulated results show that an inaccurate utility assessment may as (and sometimes) more harmful than a poor probability estimation. The final recommendation to the community is then to undertake a focus shift from a pure accuracy-driven (or obsessed) approach to a more utility-aware methodology.


title: Decipher the width of the $X(3872)$ via the QCD sum rules

abstract: In this work, we take the $X(3872)$ as the hidden-charm tetraquark state with both isospin $I=0$ and $1$ components, then investigate the strong decays $X(3872)\to J/\psi \pi^+\pi^-$, $J/\psi\omega$, $\chi_{c1}\pi^0$, $D^{*0}\bar{D}^0$ and $D^{0}\bar{D}^0\pi^0$ with the QCD sum rules. We take account of all the Feynman diagrams, and acquire four QCD sum rules based on rigorous quark-hadron duality. We obtain the total decay width about $1\,\rm{MeV}$, which is in excellent agreement with the experiment data $ \Gamma_{X}=1.19\pm 0.21\,\rm{MeV}$ from the Particle Data Group, it is the first time to reproduce the tiny width of the $X(3872)$ via the QCD sum rules, which supports assigning the $X(3872)$ as the hidden-charm tetraquark state with the $J^{PC}=1^{++}$.


title: OceanGPT: A Large Language Model for Ocean Science Tasks

abstract: Ocean science, which delves into the oceans that are reservoirs of life and biodiversity, is of great significance given that oceans cover over 70% of our planet's surface. Recently, advances in Large Language Models (LLMs) have transformed the paradigm in science. Despite the success in other domains, current LLMs often fall short in catering to the needs of domain experts like oceanographers, and the potential of LLMs for ocean science is under-explored. The intrinsic reasons are the immense and intricate nature of ocean data as well as the necessity for higher granularity and richness in knowledge. To alleviate these issues, we introduce OceanGPT, the first-ever large language model in the ocean domain, which is expert in various ocean science tasks. We also propose OceanGPT, a novel framework to automatically obtain a large volume of ocean domain instruction data, which generates instructions based on multi-agent collaboration. Additionally, we construct the first oceanography benchmark, OceanBench, to evaluate the capabilities of LLMs in the ocean domain. Though comprehensive experiments, OceanGPT not only shows a higher level of knowledge expertise for oceans science tasks but also gains preliminary embodied intelligence capabilities in ocean technology.


title: aSAGA: Automatic Sleep Analysis with Gray Areas

abstract: State-of-the-art automatic sleep staging methods have already demonstrated comparable reliability and superior time efficiency to manual sleep staging. However, fully automatic black-box solutions are difficult to adapt into clinical workflow and the interaction between explainable automatic methods and the work of sleep technologists remains underexplored and inadequately conceptualized. Thus, we propose a human-in-the-loop concept for sleep analysis, presenting an automatic sleep staging model (aSAGA), that performs effectively with both clinical polysomnographic recordings and home sleep studies. To validate the model, extensive testing was conducted, employing a preclinical validation approach with three retrospective datasets; open-access, clinical, and research-driven. Furthermore, we validate the utilization of uncertainty mapping to identify ambiguous regions, conceptualized as gray areas, in automatic sleep analysis that warrants manual re-evaluation. The results demonstrate that the automatic sleep analysis achieved a comparable level of agreement with manual analysis across different sleep recording types. Moreover, validation of the gray area concept revealed its potential to enhance sleep staging accuracy and identify areas in the recordings where sleep technologists struggle to reach a consensus. In conclusion, this study introduces and validates a concept from explainable artificial intelligence into sleep medicine and provides the basis for integrating human-in-the-loop automatic sleep staging into clinical workflows, aiming to reduce black-box criticism and the burden associated with manual sleep staging.


title: A plausible link between dynamically unsettled molecular gas and the radio jet in NGC 6328

abstract: We report the detection of outflowing molecular gas at the center of the nearby radio galaxy NGC6328 (z=0.014), which has a gigahertz-peaked spectrum radio core and a compact (2 pc) young double radio lobe tracing jet. Utilizing Atacama Large Millimeter/submillimeter Array (ALMA) CO(2-1) and CO(3-2) observations, as well as a novel code developed to fit the 3D gas distribution and kinematics, to study the molecular gas kinematics, we find that the bulk of the gas is situated within a highly warped disk structure, most likely the result of a past merger event. Our analysis further uncovers, within the inner regions of the gas distribution (R<300 pc) and at a position angle aligning with that of the radio jet (150 degrees), the existence of two anti-diametric molecular gas structures kinematically detached from the main disk. These structures most likely trace a jet-induced cold gas outflow with a total lower limit mass of $2\times 10^6\,\mathrm{M_\odot}$ mass, corresponding to an outflow rate of $2\,\mathrm{M_\odot\,yr^{-1}}$ and a kinetic power of $2.7\times 10^{40}\,\mathrm{erg\,s^{-1}}$. The energy required to maintain such a molecular outflow is aligned with the mechanical power of the jet.


title: Solubilizers in profinite groups

abstract: The solubilizer of an element $x$ of a profinite group $G$ is the set of the elements $y$ of $G$ such that the subgroup of $G$ generated by $x$ and $y$ is prosoluble. We propose the following conjecture: the solubilizer of $x$ in $G$ has positive Haar measure if and only if $g$ centralizes "almost all" the non-abelian chief factors of $G$. We reduce the proof of this conjecture to another conjecture concerning finite almost simple groups: there exists a positive $c$ such that, for every finite simple group $S$ and every $(a,b)\in (Aut(S)\setminus \{1\}) \times Aut(S)$, the number of $s$ is $S$ such that $\langle a, bs\rangle $ is insoluble is at least $c|S|$. Work in progress by Fulman, Garzoni and Guralnick is leading to prove the conjecture when $S$ is a simple group of Lie type. In this paper we prove the conjecture for alternating groups.


title: Caracterizaci\'on sem\'antico-deductiva de la l\'ogica doble LD y los gr\'aficos existenciales Gamma-LD

abstract: This work presents the deductive system Double Propositional Logic, LD, along with the semantics of possible worlds that characterize it. LD includes an alternate affirmation operator and an alternate negation operator and is not valid for the principle of the excluded third when one of the disjunctions is one of the alternate operators. The LD system includes as theorems, the theorems of the Classic Propositional Logic LC. In LD, the intuitionist connec-tives are recovered from the classics and the alternates, which implies that, the LD system includes as theorems, the theorems of the Propositional Intuitionist Logic LI. It is rigorously and detailed to prove that theorems of con-sistency, validity and completeness. It illustrates LD's ability to fix a version of the liar's paradox, where LC and LI fail. Finally, the location of the LD system is precisely determined in relation to the systems that made it possi-ble to intuit the structure of LD, such as, Basic Logic for the Aristotelian Truth LBVA, the Logic of Tautologies LT and the Basic Logic for Truth and Falsehood LBVF. LD is characterized by Gamma-LD Existential Graphs, in the style of Peirce, so the semantics of possible worlds presented in this work also characterizes Gamma-LD.


title: The singular series of a cubic form in many variables and a new proof of Davenport's Shrinking Lemma

abstract: We study the singular series associated to a cubic form with integer coefficients. If the number of variables is at least $10$, we prove the absolute convergence (and hence positivity) under the assumption of Davenport's Geometric Condition, improving on a result of Heath-Brown. For the case of $9$ variables, we give a conditional treatment. We also provide a new short and elementary proof of Davenport's Shrinking Lemma which has been a crucial tool in previous literature on this and related problems.


title: An evaluation of pre-trained models for feature extraction in image classification

abstract: In recent years, we have witnessed a considerable increase in performance in image classification tasks. This performance improvement is mainly due to the adoption of deep learning techniques. Generally, deep learning techniques demand a large set of annotated data, making it a challenge when applying it to small datasets. In this scenario, transfer learning strategies have become a promising alternative to overcome these issues. This work aims to compare the performance of different pre-trained neural networks for feature extraction in image classification tasks. We evaluated 16 different pre-trained models in four image datasets. Our results demonstrate that the best general performance along the datasets was achieved by CLIP-ViT-B and ViT-H-14, where the CLIP-ResNet50 model had similar performance but with less variability. Therefore, our study provides evidence supporting the choice of models for feature extraction in image classification tasks.


title: Multi-point study of the energy release and transport in the 28 March 2022, M4-flare using STIX, EUI, and AIA during the first Solar Orbiter nominal mission perihelion

abstract: We present a case study of an M4-class flare on 28 March 2022, near Solar Orbiter's first science perihelion (0.33 AU). Solar Orbiter was 83.5{\deg} west of the Sun-Earth line, making the event appear near the eastern limb, while Earth-orbiting spacecraft observed it near the disk center. The timing and location of the STIX X-ray sources were related to the plasma evolution observed in the EUV by the Extreme Ultraviolet Imager (EUI) on Solar Orbiter and the Atmospheric Imaging Assembly (AIA) on the Solar Dynamics Observatory, and to the chromospheric response observed in 1600 {\AA} by AIA. We performed differential emission measure (DEM) analysis to further characterize the flaring plasma at different subvolumes. The pre-flare magnetic field configuration was analyzed using a nonlinear force-free (NLFF) extrapolation. In addition to the two classical hard X-ray (HXR) footpoints at the ends of the flaring loops, later in the event we observe a nonthermal HXR source at one of the anchor points of the erupting filament. The evolution of the AIA 1600~{\AA} footpoints indicates that this change in footpoint location represents a discontinuity in an otherwise continuous westward motion of the footpoints throughout the flare. The NLFF extrapolation suggests that strongly sheared field lines close to, or possibly even part of, the erupting filament reconnected with a weakly sheared arcade during the first HXR peak. The remainder of these field lines reconnected later in the event, producing the HXR peak at the southern filament footpoint. Our results show that the reconnection between field lines with very different shear in the early phase of the flare plays a crucial role in understanding the motion of the HXR footpoint during later parts of the flare. This generalizes simpler models, such as whipping reconnection, which only consider reconnection propagating along uniformly sheared arcades.


title: Small solutions to homogeneous and inhomogeneous cubic equations

abstract: We study the solubility of cubic equations over the integers. Assuming a necessary congruence condition, the existence of such solutions is established when the $h$-invariant of $C$ is at least $14$, improving on work of Davenport-Lewis and generalizing the method from Heath-Brown's seminal work in the homogeneous case. We also provide an upper bound on the smallest solution, polynomially in the height of the coefficients. The method also yields new results in the homogeneous case where we generalize and improve on previous work of Browning, Dietmann and Elliott.


title: Jury: A Comprehensive Evaluation Toolkit

abstract: Evaluation plays a critical role in deep learning as a fundamental block of any prediction-based system. However, the vast number of Natural Language Processing (NLP) tasks and the development of various metrics have led to challenges in evaluating different systems with different metrics. To address these challenges, we introduce jury, a toolkit that provides a unified evaluation framework with standardized structures for performing evaluation across different tasks and metrics. The objective of jury is to standardize and improve metric evaluation for all systems and aid the community in overcoming the challenges in evaluation. Since its open-source release, jury has reached a wide audience and is available at https://github.com/obss/jury.


title: The Inhibitor: ReLU and Addition-Based Attention for Efficient Transformers

abstract: To enhance the computational efficiency of quantized Transformers, we replace the dot-product and Softmax-based attention with an alternative mechanism involving addition and ReLU activation only. This side-steps the expansion to double precision often required by matrix multiplication and avoids costly Softmax evaluations but maintains much of the core functionality of conventional dot-product attention. It can enable more efficient execution and support larger quantized Transformer models on resource-constrained hardware or alternative arithmetic systems like homomorphic encryption. Training experiments on four common benchmark tasks show test set prediction scores comparable to those of conventional Transformers with dot-product attention. Our scaling experiments also suggest significant computational savings, both in plaintext and under encryption. In particular, we believe that the ReLU and addition-based attention mechanism introduced in this paper may enable privacy-preserving AI applications operating under homomorphic encryption by avoiding the costly multiplication of encrypted variables.


title: Ordering and topological defects in social wasps' nests

abstract: Social insects have evolved a variety of architectural formations. Bees and wasps are well known for their ability to achieve compact structures by building hexagonal cells. Polistes wattii, an open nesting paper wasp species, builds planar hexagonal structures. Here, using the pair correlation function approach, we show that their nests exhibit short-range hexagonal order no long-range order akin to amorphous materials. Hexagonal orientational order was well preserved globally. We also show the presence of topological defects such as dislocations (pentagon-heptagon disclination pairs) and Stone-Wales quadrupoles, and discuss how these defects were organized in the nest, thereby restoring order. Furthermore, we suggest the possible role of such defects in shaping nesting architectures of other social insect species.


title: View-Independent Adjoint Light Tracing for Lighting Design Optimization

abstract: Differentiable rendering methods promise the ability to optimize various parameters of 3d scenes to achieve a desired result. However, lighting design has so far received little attention in this field. In this paper, we introduce a method that enables continuous optimization of the arrangement of luminaires in a 3d scene via differentiable light tracing. Our experiments show two major issues when attempting to apply existing methods from differentiable path tracing to this problem: first, many rendering methods produce images, which restricts the ability of a designer to define lighting objectives to image space. Second, most previous methods are designed for scene geometry or material optimization and have not been extensively tested for the case of optimizing light sources. Currently available differentiable ray-tracing methods do not provide satisfactory performance, even on fairly basic test cases in our experience. In this paper, we propose a novel adjoint light tracing method that overcomes these challenges and enables gradient-based lighting design optimization in a view-independent (camera-free) way. Thus, we allow the user to paint illumination targets directly onto the 3d scene or use existing baked illumination data (e.g., light maps). Using modern ray-tracing hardware, we achieve interactive performance. We find light tracing advantageous over path tracing in this setting, as it naturally handles irregular geometry, resulting in less noise and improved optimization convergence. We compare our adjoint gradients to state-of-the-art image-based differentiable rendering methods. We also demonstrate that our gradient data works with various common optimization algorithms, providing good convergence behaviour. Qualitative comparisons with real-world scenes underline the practical applicability of our method.


title: How Physics and Background Attributes Impact Video Transformers in Robotic Manipulation: A Case Study on Planar Pushing

abstract: As model and dataset sizes continue to scale in robot learning, the need to understand what is the specific factor in the dataset that affects model performance becomes increasingly urgent to ensure cost-effective data collection and model performance. In this work, we empirically investigate how physics attributes (color, friction coefficient, shape) and scene background characteristics, such as the complexity and dynamics of interactions with background objects, influence the performance of Video Transformers in predicting planar pushing trajectories. We aim to investigate three primary questions: How do physics attributes and background scene characteristics influence model performance? What kind of changes in attributes are most detrimental to model generalization? What proportion of fine-tuning data is required to adapt models to novel scenarios? To facilitate this research, we present CloudGripper-Push-1K, a large real-world vision-based robot pushing dataset comprising 1278 hours and 460,000 videos of planar pushing interactions with objects with different physics and background attributes. We also propose Video Occlusion Transformer (VOT), a generic modular video-transformer-based trajectory prediction framework which features 3 choices of 2D-spatial encoders as the subject of our case study. Dataset and codes will be available at https://cloudgripper.org.


title: Trikarenos: A Fault-Tolerant RISC-V-based Microcontroller for CubeSats in 28nm

abstract: One of the key challenges when operating microcontrollers in harsh environments such as space is radiation-induced Single Event Upsets (SEUs), which can lead to errors in computation. Common countermeasures rely on proprietary radiation-hardened technologies, low density technologies, or extensive replication, leading to high costs and low performance and efficiency. To combat this, we present Trikarenos, a fault-tolerant 32-bit RISC-V microcontroller SoC in an advanced TSMC 28nm technology. Trikarenos alleviates the replication cost by employing a configurable triple-core lockstep configuration, allowing three Ibex cores to execute applications reliably, operating on ECC-protected memory. If reliability is not needed for a given application, the cores can operate independently in parallel for higher performance and efficiency. Trikarenos consumes 15.7mW at 250MHz executing a fault-tolerant matrix-matrix multiplication, a 21.5x efficiency gain over state-of-the-art, and performance is increased by 2.96x when reliability is not needed for processing, with a 2.36x increase in energy efficiency.


title: Improving web element localization by using a large language model

abstract: Web-based test automation heavily relies on accurately finding web elements. Traditional methods compare attributes but don't grasp the context and meaning of elements and words. The emergence of Large Language Models (LLMs) like GPT-4, which can show human-like reasoning abilities on some tasks, offers new opportunities for software engineering and web element localization. This paper introduces and evaluates VON Similo LLM, an enhanced web element localization approach. Using an LLM, it selects the most likely web element from the top-ranked ones identified by the existing VON Similo method, ideally aiming to get closer to human-like selection accuracy. An experimental study was conducted using 804 web element pairs from 48 real-world web applications. We measured the number of correctly identified elements as well as the execution times, comparing the effectiveness and efficiency of VON Similo LLM against the baseline algorithm. In addition, motivations from the LLM were recorded and analyzed for all instances where the original approach failed to find the right web element. VON Similo LLM demonstrated improved performance, reducing failed localizations from 70 to 39 (out of 804), a 44 percent reduction. Despite its slower execution time and additional costs of using the GPT-4 model, the LLMs human-like reasoning showed promise in enhancing web element localization. LLM technology can enhance web element identification in GUI test automation, reducing false positives and potentially lowering maintenance costs. However, further research is necessary to fully understand LLMs capabilities, limitations, and practical use in GUI testing.


title: Neutron Radiation induced Effects in 4H-SiC PiN Diodes

abstract: Silicon carbide (SiC) is a wide band gap semiconductor and an attractive candidate for applications in harsh environments such as space, fusion, or future high luminosity colliders. Due to the large band gap, the leakage currents in SiC devices are extremely small, even after irradiation to very high fluences, enabling operation without cooling and at high temperatures. This study investigates the effect of neutron irradiation on 50$\mu$m p-n 4H-SiC diodes using current-voltage, capacitance-voltage, and charge collection efficiency (CCE) measurements up to neutron fluences of $1\times 10^{16}$ n$_{\text{eq}}$/cm$^2$. The leakage currents of the investigated devices remained extremely small, below 10 pA at 1.1 kV reverse bias. In the forward bias, a remarkable drop of the current was observed, which was attributed to an increased epi resistivity due to compensation of the epi layer doping by deep-level defects. The CCE was evaluated for alpha particles from a radioactive source, a 62.4 MeV proton beam at the MedAustron ion therapy center and using UV-TCT. The charge collection efficiency in reverse bias was shown to scale directly with the 1 MeV equivalent fluence $\Phi_{\text{eq}}$ as $\text{CCE} \propto \Phi_{\text{eq}}^{-0.63\pm0.01}$. A CCE better than 50% was able to be obtained for fluences up to $1 \times 10^{15}$ n$_{\text{eq}}$/cm$^2$. Because of the low currents in the forward direction, particle detection was also possible in forward bias, where the CCE was found to be increased relative to reverse bias. Furthermore, a significant dependency on the amount of injected charge was observed, with the CCE surpassing 100% in alpha and UV-TCT measurements, requiring further systematic investigation.


title: Exploring Generalisability of Self-Distillation with No Labels for SAR-Based Vegetation Prediction

abstract: In this work we pre-train a DINO-ViT based model using two Synthetic Aperture Radar datasets (S1GRD or GSSIC) across three regions (China, Conus, Europe). We fine-tune the models on smaller labeled datasets to predict vegetation percentage, and empirically study the connection between the embedding space of the models and their ability to generalize across diverse geographic regions and to unseen data. For S1GRD, embedding spaces of different regions are clearly separated, while GSSIC's overlaps. Positional patterns remain during fine-tuning, and greater distances in embeddings often result in higher errors for unfamiliar regions. With this, our work increases our understanding of generalizability for self-supervised models applied to remote sensing.


title: Quantum metrology in a lossless Mach-Zehnder interferometer using entangled photon inputs

abstract: Using multi-photon entangled input states, we estimate the phase uncertainty in a noiseless Mach-Zehnder interferometer (MZI) using photon-counting detection. We assume a flat prior uncertainty and use Bayesian inference to construct a posterior uncertainty. By minimizing the posterior variance to get the optimal input states, we first devise an estimation and measurement strategy that yields the lowest phase uncertainty for a single measurement. N00N and Gaussian states are determined to be optimal in certain regimes. We then generalize to a sequence of repeated measurements, using non-adaptive and fully adaptive measurements. N00N and Gaussian input states are close to optimal in these cases as well, and optimal analytical formulae are developed. Using these formulae as inputs, a general scaling formula is obtained, which shows how many shots it would take on average to reduce phase uncertainty to a target level. Finally, these theoretical results are compared with a Monte Carlo simulation using frequentist inference. In both methods of inference, the local non-adaptive method is shown to be the most effective practical method to reduce phase uncertainty.


title: Tuning Large language model for End-to-end Speech Translation

abstract: With the emergence of large language models (LLMs), multimodal models based on LLMs have demonstrated significant potential. Models such as LLaSM, X-LLM, and SpeechGPT exhibit an impressive ability to comprehend and generate human instructions. However, their performance often falters when faced with complex tasks like end-to-end speech translation (E2E-ST), a cross-language and cross-modal translation task. In comparison to single-modal models, multimodal models lag behind in these scenarios. This paper introduces LST, a Large multimodal model designed to excel at the E2E-ST task. LST consists of a speech frontend, an adapter, and a LLM backend. The training of LST consists of two stages: (1) Modality adjustment, where the adapter is tuned to align speech representation with text embedding space, and (2) Downstream task fine-tuning, where both the adapter and LLM model are trained to optimize performance on the E2EST task. Experimental results on the MuST-C speech translation benchmark demonstrate that LST-13B achieves BLEU scores of 30.39/41.55/35.33 on En-De/En-Fr/En-Es language pairs, surpassing previous models and establishing a new state-of-the-art. Additionally, we conduct an in-depth analysis of single-modal model selection and the impact of training strategies, which lays the foundation for future research. We will open up our code and models after review.


title: Synthetic Tait Computability the Hard Way

abstract: We walk through a few proofs of canonicity and normalization, each one with more aspects dissected and re-expressed in category theory, so that readers can compare the difference across proofs. During this process we isolate the different ideas that make up the proofs. Finally we arrive at synthetic Tait computability as proposed by J. Sterling. We also give a synthetic proof for parametricity of system F.


title: Berry's phase and quantum mechanical formulation of anomalous Hall effect

abstract: The canonical commutation relations in quantum mechanics are not maintained in the anomalous Hall effect described by Berry's phase in the presence of the electromagnetic vector potential. To define quantum mechanical formulation, one may avoid the electromagnetic vector potential but then the anomalous Nernst effect induced by Berry's curvature is not described using a modified phase space volume, although the anomalous Nernst effect by itself may be generated by the adiabatic Berry's curvature. We also comment on the Born-Oppenheimer approximation if it describes the anomalous Hall effect in the absence of the electromagnetic vector potential in quantum mechanics. An alternative view of the Bjorken-Johnson-Low prescription which is consistent with the principle of quantum mechanics and the existing Berry's phase theory of the anomalous Hall effect is also mentioned.


title: Controlling Topic-Focus Articulation in Meaning-to-Text Generation using Graph Neural Networks

abstract: A bare meaning representation can be expressed in various ways using natural language, depending on how the information is structured on the surface level. We are interested in finding ways to control topic-focus articulation when generating text from meaning. We focus on distinguishing active and passive voice for sentences with transitive verbs. The idea is to add pragmatic information such as topic to the meaning representation, thereby forcing either active or passive voice when given to a natural language generation system. We use graph neural models because there is no explicit information about word order in a meaning represented by a graph. We try three different methods for topic-focus articulation (TFA) employing graph neural models for a meaning-to-text generation task. We propose a novel encoding strategy about node aggregation in graph neural models, which instead of traditional encoding by aggregating adjacent node information, learns node representations by using depth-first search. The results show our approach can get competitive performance with state-of-art graph models on general text generation, and lead to significant improvements on the task of active-passive conversion compared to traditional adjacency-based aggregation strategies. Different types of TFA can have a huge impact on the performance of the graph models.


title: AlignDiff: Aligning Diverse Human Preferences via Behavior-Customisable Diffusion Model

abstract: Aligning agent behaviors with diverse human preferences remains a challenging problem in reinforcement learning (RL), owing to the inherent abstractness and mutability of human preferences. To address these issues, we propose AlignDiff, a novel framework that leverages RL from Human Feedback (RLHF) to quantify human preferences, covering abstractness, and utilizes them to guide diffusion planning for zero-shot behavior customizing, covering mutability. AlignDiff can accurately match user-customized behaviors and efficiently switch from one to another. To build the framework, we first establish the multi-perspective human feedback datasets, which contain comparisons for the attributes of diverse behaviors, and then train an attribute strength model to predict quantified relative strengths. After relabeling behavioral datasets with relative strengths, we proceed to train an attribute-conditioned diffusion model, which serves as a planner with the attribute strength model as a director for preference aligning at the inference phase. We evaluate AlignDiff on various locomotion tasks and demonstrate its superior performance on preference matching, switching, and covering compared to other baselines. Its capability of completing unseen downstream tasks under human instructions also showcases the promising potential for human-AI collaboration. More visualization videos are released on https://aligndiff.github.io/.


title: Integrate-and-fire circuit for converting analog signals to spikes using phase encoding

abstract: Processing sensor data with spiking neural networks on digital neuromorphic chips requires converting continuous analog signals into spike pulses. Two strategies are promising for achieving low energy consumption and fast processing speeds in end-to-end neuromorphic applications. First, to directly encode analog signals to spikes to bypass the need for an analog-to-digital converter (ADC). Second, to use temporal encoding techniques to maximize the spike sparsity, which is a crucial parameter for fast and efficient neuromorphic processing. In this work, we propose an adaptive control of the refractory period of the leaky integrate-and-fire (LIF) neuron model for encoding continuous analog signals into a train of time-coded spikes. The LIF-based encoder generates phase-encoded spikes that are compatible with digital hardware. We implemented the neuron model on a physical circuit and tested it with different electric signals. A digital neuromorphic chip processed the generated spike trains and computed the signal's frequency spectrum using a spiking version of the Fourier transform. We tested the prototype circuit on electric signals up to 1 KHz. Thus, we provide an end-to-end neuromorphic application that generates the frequency spectrum of an electric signal without the need for an ADC or a digital signal processing algorithm.


title: Leveraging Data-Driven Models for Accurate Analysis of Grid-Tied Smart Inverters Dynamics

abstract: The integration of power electronic converters (PECs) and distributed energy resources (DERs) in modern power systems has introduced dynamism and complexity. Accurate simulation becomes essential to comprehend the influence of converter domination on the power grid. This study addresses the fast-switching and stochastic behaviors exhibited by inverter-based resources in converter-dominated power systems, highlighting the necessity for precise analytical models. In the realm of modeling real-world systems, multiple methodologies exist. Notably, black-box and data-driven system identification techniques are employed to construct PEC models using experimental data, without relying on a priori knowledge of the internal system physics. This approach entails a systematic process of model class selection, parameter estimation, and model validation. While a range of linear and nonlinear model structures and estimation algorithms are at our disposal, it remains imperative to harness creativity and a profound understanding of the physical system to craft data-driven models that align seamlessly with their intended applications. These applications may encompass simulation, prediction, control, or fault detection. This report offers valuable insights into the collection of datasets from commercial off-the-shelf inverters, along with the presentation of intricate simulation models.


title: Properties of the $T_{cc}(3875)^+$ and the $T_{\bar c \bar c}(3875)^-$ states in nuclear matter

abstract: Since its first detection, the interesting properties of the $T_{cc}(3875)^+$ have made it to be one of the most prominent tetraquark-like states up to date. In this work we present a joint analysis of the $T_{cc}^+$ and its charge-conjugated partner in a dense nuclear medium. We start by considering both states as purely isoscalar $D^{\ast} D$ and $\overline{D}{}^{\ast} \overline{D}$ $S$-wave bound states, respectively. We use previous results for the in-medium $D$, $\overline{D}$, $D^\ast$ and $\overline{D}{}^\ast$ spectral functions to determine the modified two-meson amplitudes. We find important changes in the in-medium mass and width of both tetraquark-like resonances, which become more visible when increasing the nuclear density and molecular probabilities. The experimental confirmation of the found distinctive patterns will support the existence of molecular components in the $T_{cc}^+$ and $T_{\bar c\bar c}^-$ wave functions.


title: Extending the capabilities of vectorial ptychography to circular-polarizing materials such as cholesteric liquid crystals

abstract: The problem of imaging materials with circular polarization properties is discussed within the framework of vectorial ptychography. We demonstrate, both theoretically and numerically, that using linear polarizations to investigate such materials compromises the unicity of the solution provided by this computational method. To overcome this limitation, an improved measurement approach is proposed, which involves specific combinations of elliptical polarizations. The effectiveness of this strategy is demonstrated by numerical simulations and experimental measurements on cholesteric liquid crystals films, which possess unique polarization properties. With the help of Pauli matrices algebra, our results highlight the technique's ability to discern between different types of circular polarizers, uniform vs. non-uniform, and determine their handedness.


title: Security Weaknesses of Copilot Generated Code in GitHub

abstract: Modern code generation tools, utilizing AI models like Large Language Models (LLMs), have gained popularity for producing functional code. However, their usage presents security challenges, often resulting in insecure code merging into the code base. Evaluating the quality of generated code, especially its security, is crucial. While prior research explored various aspects of code generation, the focus on security has been limited, mostly examining code produced in controlled environments rather than real-world scenarios. To address this gap, we conducted an empirical study, analyzing code snippets generated by GitHub Copilot from GitHub projects. Our analysis identified 452 snippets generated by Copilot, revealing a high likelihood of security issues, with 32.8% of Python and 24.5% of JavaScript snippets affected. These issues span 38 different Common Weakness Enumeration (CWE) categories, including significant ones like CWE-330: Use of Insufficiently Random Values, CWE-78: OS Command Injection, and CWE-94: Improper Control of Generation of Code. Notably, eight CWEs are among the 2023 CWE Top-25, highlighting their severity. Our findings confirm that developers should be careful when adding code generated by Copilot and should also run appropriate security checks as they accept the suggested code. It also shows that practitioners should cultivate corresponding security awareness and skills.


title: Global Attractor for a Reaction-Diffusion Model Arising in Biological Dynamic in 3D Soil Structure

abstract: Partial Differential Equations (PDEs) play a crucial role as tools for modeling and comprehending intricate natural processes, notably within the domain of biology. This research explores the domain of microbial activity within the complex matrix of 3D soil structures, providing valuable understanding into both the existence and uniqueness of solutions and the asymptotic behavior of the corresponding PDE model. Our investigation results in the discovery of a global attractor, a fundamental feature with significant implications for long-term system behavior. To enhance the clarity of our findings, numerical simulations are employed to visually illustrate the attributes of this global attractor.


title: Irreducibility properties of Carlitz' binomial coefficients for algebraic function fields

abstract: We study the class of univariate polynomials $\beta_k(X)$, introduced by Carlitz, with coefficients in the algebraic function field $\mathbb F_q(t)$ over the finite field $\mathbb F_q$ with $q$ elements. It is implicit in the work of Carlitz that these polynomials form a $\mathbb F_q[t]$-module basis of the ring $\text{Int}(\mathbb F_q[t]) = \{f \in \mathbb F_q(t)[X] \mid f(\mathbb F_q[t]) \subseteq \mathbb F_q[t]\}$ of integer-valued polynomials on the polynomial ring $\mathbb F_q[t]$. This stands in close analogy to the famous fact that a $\mathbb Z$-module basis of the ring $\text{Int}(\mathbb Z)$ is given by the binomial polynomials $\binom{X}{k}$. We prove, for $k = q^s$, where $s$ is a non-negative integer, that $\beta_k$ is irreducible in $\text{Int}(\mathbb F_q[t])$ and that it is even absolutely irreducible, that is, all of its powers $\beta_k^m$ with $m>0$ factor uniquely as products of irreducible elements of this ring. As we show, this result is optimal in the sense that $\beta_k$ is not even irreducible if $k$ is not a power of $q$.


title: Gotta Catch 'em All: Aggregating CVSS Scores

abstract: Security metrics are not standardized, but inter-national proposals such as the Common Vulnerability ScoringSystem (CVSS) for quantifying the severity of known vulnerabil-ities are widely used. Many CVSS aggregation mechanisms havebeen proposed in the literature. Nevertheless, factors related tothe context of the System Under Test (SUT) are not taken intoaccount in the aggregation process; vulnerabilities that in theoryaffect the SUT, but are not exploitable in reality. We propose aCVSS aggregation algorithm that integrates information aboutthe functionality disruption of the SUT, exploitation difficulty,existence of exploits, and the context where the SUT operates.The aggregation algorithm was applied to OpenPLC V3, showingthat it is capable of filtering out vulnerabilities that cannot beexploited in the real conditions of deployment of the particularsystem. Finally, because of the nature of the proposed algorithm,the result can be interpreted in the same way as a normal CVSS.