title: Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns

abstract: Following the recent release of AI assistants, such as OpenAI's ChatGPT and GitHub Copilot, the software industry quickly utilized these tools for software development tasks, e.g., generating code or consulting AI for advice. While recent research has demonstrated that AI-generated code can contain security issues, how software professionals balance AI assistant usage and security remains unclear. This paper investigates how software professionals use AI assistants in secure software development, what security implications and considerations arise, and what impact they foresee on secure software development. We conducted 27 semi-structured interviews with software professionals, including software engineers, team leads, and security testers. We also reviewed 190 relevant Reddit posts and comments to gain insights into the current discourse surrounding AI assistants for software development. Our analysis of the interviews and Reddit posts finds that despite many security and quality concerns, participants widely use AI assistants for security-critical tasks, e.g., code generation, threat modeling, and vulnerability detection. Their overall mistrust leads to checking AI suggestions in similar ways to human code, although they expect improvements and, therefore, a heavier use for security tasks in the future. We conclude with recommendations for software professionals to critically check AI suggestions, AI creators to improve suggestion security and capabilities for ethical security tasks, and academic researchers to consider general-purpose AI in software development.


title: Intelligent Duty Cycling Management and Wake-up for Energy Harvesting IoT Networks with Correlated Activity

abstract: This paper presents an approach for energy-neutral Internet of Things (IoT) scenarios where the IoT devices (IoTDs) rely entirely on their energy harvesting capabilities to sustain operation. We use a Markov chain to represent the operation and transmission states of the IoTDs, a modulated Poisson process to model their energy harvesting process, and a discrete-time Markov chain to model their battery state. The aim is to efficiently manage the duty cycling of the IoTDs, so as to prolong their battery life and reduce instances of low-energy availability. We propose a duty-cycling management based on K- nearest neighbors, aiming to strike a trade-off between energy efficiency and detection accuracy. This is done by incorporating spatial and temporal correlations among IoTDs' activity, as well as their energy harvesting capabilities. We also allow the base station to wake up specific IoTDs if more information about an event is needed upon initial detection. Our proposed scheme shows significant improvements in energy savings and performance, with up to 11 times lower misdetection probability and 50\% lower energy consumption for high-density scenarios compared to a random duty cycling benchmark.


title: LLM Discussion: Enhancing the Creativity of Large Language Models via Discussion Framework and Role-Play

abstract: Large language models (LLMs) have shown exceptional proficiency in natural language processing but often fall short of generating creative and original responses to open-ended questions. To enhance LLM creativity, our key insight is to emulate the human process of inducing collective creativity through engaging discussions with participants from diverse backgrounds and perspectives. To this end, we propose LLM Discussion, a three-phase discussion framework that facilitates vigorous and diverging idea exchanges and ensures convergence to creative answers. Moreover, we adopt a role-playing technique by assigning distinct roles to LLMs to combat the homogeneity of LLMs. We evaluate the efficacy of the proposed framework with the Alternative Uses Test, Similarities Test, Instances Test, and Scientific Creativity Test through both LLM evaluation and human study. Our proposed framework outperforms single-LLM approaches and existing multi-LLM frameworks across various creativity metrics.


title: Cosmological Consequences of Unconstrained Gravity and Electromagnetism

abstract: Motivated by the quantum description of gauge theories, we study the cosmological effects of relaxing the Hamiltonian and momentum constraints in general relativity and Gauss' law in electromagnetism. We show that the unconstrained theories have new source terms that mimic a pressureless dust and a charge density that only follows geodesics. The source terms may be the simplest explanation for dark matter and generically predict a charged component. We comment that discovery of such terms would rule out inflation and be a direct probe of the initial conditions of the universe.


title: Accuracy and Stability of CUR decompositions with Oversampling

abstract: This work investigates the accuracy and numerical stability of CUR decompositions with oversampling. The CUR decomposition approximates a matrix using a subset of columns and rows of the matrix. When the number of columns and the rows are the same, the CUR decomposition can become unstable and less accurate due to the presence of the matrix inverse in the core matrix. Nevertheless, we demonstrate that the CUR decomposition can be implemented in a numerical stable manner and illustrate that oversampling, which increases either the number of columns or rows in the CUR decomposition, can enhance its accuracy and stability. Additionally, this work devises an algorithm for oversampling motivated by the theory of the CUR decomposition and the cosine-sine decomposition, whose competitiveness is illustrated through experiments.


title: Bubbling and quantitative stability for Alexandrov's Soap Bubble Theorem with $L^1$-type deviations

abstract: The quantitative analysis of bubbling phenomena for almost constant mean curvature boundaries is an important question having significant applications in various fields including capillarity theory and the study of mean curvature flows. Such a quantitative analysis was initiated in [G. Ciraolo and F. Maggi, Comm. Pure Appl. Math. (2017)], where the first quantitative result of proximity to a set of disjoint balls of equal radii was obtained in terms of a uniform deviation of the mean curvature from being constant. Weakening the measure of the deviation in such a result is a delicate issue that is crucial in view of the applications for mean curvature flows. Some progress in this direction was recently made in [V. Julin and J. Niinikoski, Anal. PDE (2023)], where $L^{N-1}$-deviations are considered for domains in $\mathbb{R}^N$. In the present paper we significantly weaken the measure of the deviation, obtaining a quantitative result of proximity to a set of disjoint balls of equal radii for the following deviation $$ \int_{\partial \Omega } \left( H_0 - H \right)^+ dS_x, \quad \text{ where } \begin{cases} H \text{ is the mean curvature of } \partial \Omega , \\ H_0:=\frac{| \partial \Omega |}{N | \Omega |} , \\ \left( H_0 - H \right)^+:=\max\left\lbrace H_0 - H , 0 \right\rbrace , \end{cases} $$ which is clearly even weaker than $\Vert H_0-H \Vert_{L^1( \partial \Omega )}$.


title: The Evolution of Language and Human Rationality

abstract: If language evolved by sexual selection to display superior intelligence, then we require conversational skills, to impress other people, gain high social status, and get a mate. Conversational skills include a Theory of Mind, a sense of self, self esteem and social emotions. To be impressive, we must converse fluently and fast. The syntax of an utterance is defined by fast unification of feature structures. The pragmatic skills of conversation are also learned and deployed as feature structures; we rehearse conversations as verbal thoughts. Many aspects of our mental lives (such as our Theory of Mind, and our social emotions) work by fast, pre conscious unification of learned feature structures, rather than rational deliberation. As we think, we use the Fast Theory of Mind to infer (unreliably) how a Shadow Audience will regard what we think, say, and do. These forces, which determine our motivations and actions, are less rational and deliberate than we like to suppose


title: Short-Time Force Response during the Impact of a Droplet with Gas Bubbles

abstract: The presence of gas or vapour bubbles may strongly influence the forces that occur during the impact of a liquid mass onto a solid. Here, we study this effect numerically, in a well-controlled manner, by simulating the short-time interaction between an impacting droplet and a solid surface, mediated by the gas layer between droplet and solid just before collision, in the presence and absence of bubbles. A boundary integral method is used to simulate the falling droplet, the mediating air layer is modeled using lubrication theory, whereas uniform gas bubbles are added to the droplet that obey a polytropic equation of state. We show that the presence of gas bubbles inside the droplet can have a significant influence on the force exerted on the substrate, even before touchdown. This is due to the transmission of load from the solid, through the gas layer and finally into the bubbly droplet, buffering the impact. We simulate different bubble configurations, modifying their number, size, shape and initial position. It is found that larger bubbles, as well as those close to the impact zone, dampen the collision more as compared to small bubbles or the ones that are far from the droplet's surface. In addition, multiple small bubbles are shown to have a similar or even greater effect as a single large bubble.


title: Entropic Bounds on the Average Length of Codes with a Space

abstract: We consider the problem of constructing prefix-free codes in which a designated symbol, a space, can only appear at the end of codewords. We provide a linear-time algorithm to construct almost-optimal codes with this property, meaning that their average length differs from the minimum possible by at most one. We obtain our results by uncovering a relation between our class of codes and the class of one-to-one codes. Additionally, we derive upper and lower bounds to the average length of optimal prefix-free codes with a space in terms of the source entropy.


title: (H,Li)$_{6}$Ru$_{2}$O$_{6}$ : a zero-field Ru$^{3+}$-based Kitaev Quantum Spin Liquid

abstract: We report the synthesis and properties of (H,Li)$_{6}$Ru$_{2}$O$_{6}$, which is shown to be a $J_{\text{eff}}=\frac{1}{2}$ system made out of Ru$^{3+}$ moments in a honeycomb geometry. Bulk magnetization, heat capacity, nuclear magnetic resonance (NMR), and muon spin relaxation ($\mu$SR) rule out the presence of static moments or any spin glass phase down to 500 mK. All techniques suggest a crossover to a liquid-like state below about 40 K. The $^{7}$Li nuclear magnetic resonance (NMR) shift data suggest a non-zero $T$-independent spin susceptibility at low $T$. In zero field, $C_m/T$ shows $T^{-1}$ divergence which is consistent with vacancy-induced effects on low-energy excitations of the pristine Kitaev spin liquid. With field, power-law variations in the $^{7}$Li NMR spin-lattice relaxation rate 1/T$_{1}$ and magnetic heat capacity $C_{m}$ show quantitatively new scaling behaviors. A two-step entropy release in heat capacity is also observed putatively from $Z_{2}$ flux (low-$T$ step) and itinerant Majorana fermions (high-$T$ step). Based on these findings, we propose that (H,Li)$_{6}$Ru$_{2}$O$_{6}$ realizes a Kitaev spin liquid with no evidence of inherent magnetic ordering in zero field unlike $\alpha$-RuCl$_{3}$ where approximately $8$ Tesla field is required to suppress magnetic order.


title: Autoresonant laser acceleration of electrons in a strongly magnetized plasma solenoid

abstract: Direct laser acceleration of electrons is considered in a strongly magnetized plasmoid with the magnetic field strength allowing for reaching the auto-resonance. The plasmoid may be optically created by irradiation of specially designed targets with an auxiliary intense laser beam at the previous stage of interaction in a possible all-optical setup. Specifics of the strongly magnetized plasma solenoid may be critically important for the resonant processes where a small deviation of the parameters destroys the matching conditions. The process of the autoresonant electron acceleration is analyzed for different configurations inherent in the possible realizations of the setup, estimates for the efficiency of acceleration and resonance magnetic fields are proposed. Despite the modifications of the autoresonance conditions and the presence of collective effects, generation of energetic electron bunches in a realistic setup may be possible and effective.


title: Probing superheavy dark matter through lunar radio observations of ultrahigh-energy neutrinos

abstract: Ultrahigh-energy neutrinos (UHE$\nu$s) can be used as a valuable probe of superheavy dark matter above $\sim 10^9$ GeV, the latter being difficult to probe with collider and direct detection experiments due to the feebly interacting nature. Searching for radio emissions originating from the interaction of UHE$\nu$s with the lunar regolith enables us to explore energies beyond $10^{12}$ GeV, which astrophysical accelerators cannot achieve. Taking into account the interaction of UHE$\nu$s with the cosmic neutrino background and resulting standard neutrino cascades to calculate the neutrino flux on Earth, we investigate sensitivities of such lunar radio observations to very heavy dark matter. We show that the proposed ultra-long wavelength lunar radio telescope, as well as the existing low-frequency array, can provide the most stringent constraints on decaying or annihilating superheavy dark matter with masses at $\gtrsim 10^{12}$ GeV. The limits are complementary to or even stronger than those from other UHE$\nu$ detectors, such as the IceCube-Gen2 radio array and GRAND.


title: How to Augment for Atmospheric Turbulence Effects on Thermal Adapted Object Detection Models?

abstract: Atmospheric turbulence poses a significant challenge to the performance of object detection models. Turbulence causes distortions, blurring, and noise in images by bending and scattering light rays due to variations in the refractive index of air. This results in non-rigid geometric distortions and temporal fluctuations in the electromagnetic radiation received by optical systems. This paper explores the effectiveness of turbulence image augmentation techniques in improving the accuracy and robustness of thermal-adapted and deep learning-based object detection models under atmospheric turbulence. Three distinct approximation-based turbulence simulators (geometric, Zernike-based, and P2S) are employed to generate turbulent training and test datasets. The performance of three state-of-the-art deep learning-based object detection models: RTMDet-x, DINO-4scale, and YOLOv8-x, is employed on these turbulent datasets with and without turbulence augmentation during training. The results demonstrate that utilizing turbulence-specific augmentations during model training can significantly improve detection accuracy and robustness against distorted turbulent images. Turbulence augmentation enhances performance even for a non-turbulent test set.


title: Statistical physics of complex systems: glasses, spin glasses, continuous constraint satisfaction problems, high-dimensional inference and neural networks

abstract: The purpose of this manuscript is to review my recent activity on three main research topics. The first concerns the nature of low temperature amorphous solids and their relation with the spin glass transition in a magnetic field. This is the subject of the first chapter where I discuss a new model, the KHGPS model, which allows to make some progress. In the second chapter I review a second research line that concerns the study of the rigidity/jamming transitions in particle system models and their relation to constraint satisfaction and optimization problems in high dimension. Finally in the last chapter I review my activity on the problem of the dynamics of learning algorithms in high-dimensional inference and supervised learning problems.


title: Higher complex Sobolev spaces on complex manifolds

abstract: We study higher complex Sobolev spaces and their corresponding functional capacities. In particular, we prove the Moser-Trudinger inequality for these spaces and discuss some relationships between these spaces and the complex Monge-Amp\`{e}re equation.


title: Deconfinement and chiral restoration phase transition under rotation from holography in an anisotropic gravitational background

abstract: We investigate the effects of rotation on deconfinement and chiral phase transitions in the framework of dynamical holographic QCD model. Instead of transforming to the rotating system by Lorentz boost, we construct an anisotropic gravitational background by incorporating the rotating boundary current. We firstly investigate the pure gluon system under rotation to extract deconfinement phase transition from the Polyakov loop then add 2-flavor probe for chiral restoration phase transition from the chiral condensate. It is observed that at low chemical potentials, the deconfinement phase transition of pure gluon system is of first order and the chiral phase transition of 2-flavor system is of crossover. Both the critical temperatures of deconfinement and chiral phase transitions decrease/increase with imaginary/real angular velocity ($\Omega_I/\Omega$) as $T/T_c\sim 1- C_2 \Omega_I^2$ and $T/T_c\sim 1+ C_2 \Omega^2$, which is consistent with lattice QCD results. In the temperature-chemical potential $T-\mu$ phase diagram, the critical end point (CEP) moves towards regions of higher temperature and chemical potential with real angular velocity.


title: Scalable Computation of Inter-Core Bounds Through Exact Abstractions

abstract: Real-time systems (RTSs) are at the heart of numerous safety-critical applications. An RTS typically consists of a set of real-time tasks (the software) that execute on a multicore shared-memory platform (the hardware) following a scheduling policy. In an RTS, computing inter-core bounds, i.e., bounds separating events produced by tasks on different cores, is crucial. While efficient techniques to over-approximate such bounds exist, little has been proposed to compute their exact values. Given an RTS with a set of cores C and a set of tasks T , under partitioned fixed-priority scheduling with limited preemption, a recent work by Foughali, Hladik and Zuepke (FHZ) models tasks with affinity c (i.e., allocated to core c in C) as a Uppaal timed automata (TA) network Nc. For each core c in C, Nc integrates blocking (due to data sharing) using tight analytical formulae. Through compositional model checking, FHZ achieved a substantial gain in scalability for bounds local to a core. However, computing inter-core bounds for some events of interest E, produced by a subset of tasks TE with different affinities CE, requires model checking the parallel composition of all TA networks Nc for each c in CE, which produces a large, often intractable, state space. In this paper, we present a new scalable approach based on exact abstractions to compute exact inter-core bounds in a schedulable RTS, under the assumption that tasks in TE have distinct affinities. We develop a novel algorithm, leveraging a new query that we implement in Uppaal, that computes for each TA network Nc in NE an abstraction A(Nc) preserving the exact intervals within which events occur on c, therefore drastically reducing the state space. The scalability of our approach is demonstrated on the WATERS 2017 industrial challenge, for which we efficiently compute various types of inter-core bounds where FHZ fails to scale.


title: Recovery of transversely-isotropic elastic material parameters in induction motor rotors

abstract: We propose numerical algorithms for recovering parameters in eigenvalue problems for linear elasticity of transversely isotropic materials. Specifically, the algorithms are used to recover the elastic constants of a rotor core. Numerical tests show that in the noiseless setup, two pairs of bending modes are sufficient for recovering one to four parameters accurately. To recover all five parameters that govern the elastic properties of electric engines accurately, we require three pairs of bending modes and one torsional mode. Moreover, we study the stability of the inversion method against multiplicative noise; for tests in which the data contained multiplicative noise of at most $1\%$, we find that all parameters can be recovered with an error less than $10\%$.


title: Continual Novel Class Discovery via Feature Enhancement and Adaptation

abstract: Continual Novel Class Discovery (CNCD) aims to continually discover novel classes without labels while maintaining the recognition capability for previously learned classes. The main challenges faced by CNCD include the feature-discrepancy problem, the inter-session confusion problem, etc. In this paper, we propose a novel Feature Enhancement and Adaptation method for the CNCD to tackle the above challenges, which consists of a guide-to-novel framework, a centroid-to-samples similarity constraint (CSS), and a boundary-aware prototype constraint (BAP). More specifically, the guide-to-novel framework is established to continually discover novel classes under the guidance of prior distribution. Afterward, the CSS is designed to constrain the relationship between centroid-to-samples similarities of different classes, thereby enhancing the distinctiveness of features among novel classes. Finally, the BAP is proposed to keep novel class features aware of the positions of other class prototypes during incremental sessions, and better adapt novel class features to the shared feature space. Experimental results on three benchmark datasets demonstrate the superiority of our method, especially in more challenging protocols with more incremental sessions.


title: Quasinormal Frequencies of Fields with Various Spin in the Quantum Oppenheimer-Snyder Model of Black Holes

abstract: A recent development involves an intriguing model of a quantum-corrected black hole, established through the application of the quantum Oppenheimer-Snyder model within loop quantum cosmology [Lewandowski et al., Phys. Rev. Lett. 130 (2023) 10, 101501]. Employing both time-domain integration and the WKB approach, we compute the quasinormal frequencies for scalar, electromagnetic, and neutrino perturbations in these quantum-corrected black holes. Our analysis reveals that while the real oscillation frequencies undergo only minor adjustments due to the quantum parameter, the damping rate experiences a significant decrease as a result of its influence. We also deduce the analytic formula for quasinormal frequencies in the eikonal limit and show that the correspondence between the null geodesics and eikoanl quasinormal modes holds in this case.


title: Primordial Black Hole clusters, phenomenology & implications

abstract: We present direct N-body simulations of black-hole-only clusters with up to $2 \cdot 10^4$ compact objects, zero natal spin and no primordial binaries as predicted by various primordial black hole (PBH) Dark Matter models. The clusters' evolution is computed using ${\tt NBODY6\!+\!+GPU}$, including the effects of the tidal field of the galaxy, the kicks of black hole mergers and orbit-averaged energy loss by gravitational radiation of binaries. We investigate clusters with four initial mass distributions, three of which attempt to model a generic PBH scenario using a lognormal mass distribution and a fourth one that can be directly linked to a monochromatic PBH scenario when accretion is considered. More specifically, we dive into the clusters' internal dynamics, describing their expansion and evaporation, along with the resultant binary black hole mergers. We also compare several simulations with and without black hole merger kicks and find modelling implications for the probability of hierarchical mergers.


title: Levitons in correlated nano-scale systems

abstract: in nanoscale systems in the presence of single-electron excitations generated by Lorentzian voltage drives, termed \textit{Levitons}. These excitations allow to realize the analog of quantum optics experiments using electrons instead of photons. Importantly, electrons in condensed matter systems are strongly affected by the presence of different types of non-trivial correlations, with no counterpart in the domain of photonic quantum optics. After providing a short introduction about Levitons in non-interacting systems, we focus on how they operate in the presence of two types of strong electronic correlations in nanoscale systems, such as those arising in the fractional quantum Hall effect or in superconducting systems. Specifically, we consider Levitons in a quantum Hall bar of the fractional quantum Hall effect, pinched by a quantum point contact, where anyons with fractional charge and statistics tunnel between opposite edges. In this case, a Leviton-Leviton interaction can be induced by the strongly correlated background. Concerning the effect of superconducting correlations on Levitons, we show that, in a normal metal system coupled to BCS superconductors, half integer Levitons minimize the excess noise in the Andreev regime. Interestingly, energy-entangled electron states can be realized on-demand in this type of hybrid setups by exploiting crossed Andreev reflection. The results exposed in this review have potential applications in the context of quantum information and computation with single-electron flying qubits.


title: Measurement of the ${e}^{+}{e}^{-}\to p \bar{p}{\pi}^{0}$ cross section at $\sqrt{s}=2.1000-3.0800$ GeV

abstract: The process $e^{+}e^{-}\to p\bar{p}\pi^{0}$ is studied at 20 center-of-mass energies ranging from 2.1000 to 3.0800 GeV using 636.8 pb$^{-1}$ of data collected with the BESIII detector operating at the BEPCII collider. The Born cross sections for $e^{+}e^{-}\to p\bar{p}\pi^{0}$ are measured with high precision. Since the lowest center-of-mass energy, 2.1000 GeV, is less than 90 MeV above the $p\bar{p}\pi^0$ energy threshold, we can probe the threshold behavior for this reaction. However, no anomalous threshold enhancement is found in the cross sections for $e^{+}e^{-}\to p\bar{p}\pi^{0}$.


title: Memory Mosaics

abstract: Memory Mosaics are networks of associative memories working in concert to achieve a prediction task of interest. Like transformers, memory mosaics possess compositional capabilities and in-context learning capabilities. Unlike transformers, memory mosaics achieve these capabilities in comparatively transparent ways. We demonstrate these capabilities on toy examples and we also show that memory mosaics perform as well or better than transformers on medium-scale language modeling tasks.


title: Fitness-Based Growth of Directed Networks with Hierarchy

abstract: Growing attention has been brought to the fact that many real directed networks exhibit hierarchy and directionality as measured through techniques like Trophic Analysis and non-normality. We propose a simple growing network model where the probability of connecting to a node is defined by a preferential attachment mechanism based on degree and the difference in fitness between nodes. In particular, we show how mechanisms such as degree-based preferential attachment and node fitness interactions can lead to the emergence of the spectrum of hierarchy and directionality observed in real networks. In this work, we study various features of this model relating to network hierarchy, as measured by Trophic Analysis. This includes (I) how preferential attachment can lead to network hierarchy, (II) how scale-free degree distributions and network hierarchy can coexist, (III) the correlation between node fitness and trophic level, (IV) how the fitness parameters can predict trophic incoherence and how the trophic level difference distribution compares to the fitness difference distribution, (V) the relationship between trophic level and degree imbalance and the unique role of nodes at the ends of the fitness hierarchy and (VI) how fitness interactions and degree-based preferential attachment can interplay to generate networks of varying coherence and degree distribution. We also provide an example of the intuition this work enables in the analysis of a real historical network. This work provides insight into simple mechanisms which can give rise to hierarchy in directed networks and quantifies the usefulness and limitations of using Trophic Analysis as an analysis tool for real networks.


title: Unbounded Hamilton-Jacobi-Bellman Equations with one co-dimensional discontinuities

abstract: The aim of this work is to deal with a discontinuous Hamilton-Jacobi equation in the whole euclidian N-dimensional space, associated to a possibly unbounded optimal control problem. Here, the discontinuities are located on a hyperplane and the typical questions we address concern the existence and uniqueness of solutions, and of course the definition itself of solution. We consider viscosity solutions in the sense of Ishii. The convex Hamiltonians are associated to a control problem with specific cost and dynamics given on each side of the hyperplane. We assume that those are Lipschitz continuous but the main difficulty we deal with is that they are potentially unbounded, as well as the control spaces. Using Bellman's approach we construct two value functions which turn out to be the minimal and maximal solutions in the sense of Ishii. Moreover, we also build a whole family of value functions, which are still solutions in the sense of Ishii and connect continuously the minimal solution to the maximal one.


title: Statistical divergences in high-dimensional hypothesis testing and a modern technique for estimating them

abstract: Hypothesis testing in high dimensional data is a notoriously difficult problem without direct access to competing models' likelihood functions. This paper argues that statistical divergences can be used to quantify the difference between the population distributions of observed data and competing models, justifying their use as the basis of a hypothesis test. We go on to point out how modern techniques for functional optimization let us estimate many divergences, without the need for population likelihood functions, using samples from two distributions alone. We use a physics-based example to show how the proposed two-sample test can be implemented in practice, and discuss the necessary steps required to mature the ideas presented into an experimental framework.

categories: physics.data-an hep-ex hep-ph math.ST stat.TH


title: Performance of UAV-based Cell-free mMIMO ISAC Networks: Tethered vs. Mobile

abstract: The employment of unmanned aerial vehicles (UAVs) aligned with multistatic sensing in integrated sensing and communication (ISAC) systems can provide remarkable performance gains in sensing, by taking advantage of the cell-free massive multiple-input multiple-output (mMIMO) architecture. Under these considerations, in this paper, the achievable sensing signal-to-noise-plus-interference ratio (SINR) of a cell-free mMIMO ISAC UAV-based network is evaluated for two different deployments of UAVs, namely, mobile and tethered. In both scenarios, a transmit precoder that jointly optimizes the sensing and communication requirements subjected to power constraints is designed. Specifically, for the scenario with mobile UAVs, beyond the transmit precoding, we also optimize the position of the transmit UAVs through particle swarm optimization (PSO). The results show that, although tethered UAVs have a more efficient power allocation, the proposed position control algorithm for the mobile UAVs can achieve a superior gain in terms of sensing SINR.


title: Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

abstract: The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method, including Large Language Models (LLMs). It demands strong generalization and reasoning capabilities which are known to be weaknesses of Neural Network based systems. In this work, we propose a Program Synthesis system that uses Inductive Logic Programming (ILP), a branch of Symbolic AI, to solve ARC. We have manually defined a simple Domain Specific Language (DSL) that corresponds to a small set of object-centric abstractions relevant to ARC. This is the Background Knowledge used by ILP to create Logic Programs that provide reasoning capabilities to our system. The full system is capable of generalize to unseen tasks, since ILP can create Logic Program(s) from few examples, in the case of ARC: pairs of Input-Output grids examples for each task. These Logic Programs are able to generate Objects present in the Output grid and the combination of these can form a complete program that transforms an Input grid into an Output grid. We randomly chose some tasks from ARC that dont require more than the small number of the Object primitives we implemented and show that given only these, our system can solve tasks that require each, such different reasoning.


title: Nuclear rainbow of the symmetric nucleus-nucleus system: Interchange of the nearside and farside scattering

abstract: Extensive elastic scattering data measured at energies around 10 to 20 MeV/nucleon for some identical systems, like 12C+12C and 16O+16O, exhibit the nuclear rainbow pattern of broad Airy oscillations of the cross section at medium and large angles. Due to the identity of the scattered projectile and recoiled target, the rainbow pattern at angles around and beyond $\theta_{\rm c.m.}\approx 90^\circ$ is strongly deteriorated by the boson exchange. The nuclear rainbow features in the identical-particles elastic scattering discussed so far are based on the nearside-farside (NF) decomposition of the scattering amplitude given by an optical model calculation neglecting the projectile-target exchange symmetry. Moreover, the NF decomposition method was developed in the 70s by Fuller for nonidentical systems only, and the details of how the exchange symmetry of an identical system affects the evolution of nuclear rainbow remain unexplored. Therefore, the Fuller method is generalized in this work for the elastic scattering of two identical (spin-zero) nuclei, with the projectile-target exchange symmetry taken explicitly into account. The results obtained for elastic 12C+12C and 16O+16O scattering at low energies show the exchange symmetry results in a symmetric interchange of the nearside and farside patterns at angles passing $\theta_{\rm c.m.}=90^\circ$, which requires a more subtle interpretation of nuclear rainbow. We also found that a similar NF interchange occurs in a nonidentical nucleus-nucleus system with the core-core symmetry, where the elastic cross section at backward angles is due mainly to the elastic transfer of cluster or nucleon between two identical cores. This interesting effect is illustrated in the elastic 16O+12C scattering at low energies where the elastic $\alpha$ transfer between two 12C cores has been proven to enhance the elastic cross section at backward angles.


title: Statistical mechanics from relational complex time with a pure state

abstract: Thermodynamics and its quantum counterpart are traditionally described with statistical ensembles. Canonical typicality has related statistical mechanics for a system to ensembles of global energy eigen- states of system and its environment analyzing their cardinality. We show that the canonical density for a system emerges from a maximally entangled global state of system and environment through relational complex time evolution between system and environment without the need to maximize the entropy or to count states.


title: Understanding two-dimensional tractor magnets: theory and realizations

abstract: We present a comparative investigation of two-dimensional tractor magnet configurations, analyzing both theoretical predictions and experimental results with a focus on the minimal tractor magnet. The minimal tractor magnet consists of a rigid assembly of one attracting magnet (attractor), two repelling magnets (repulsors), and a fourth magnet (follower) that is magnetically stabilized in a local energy minimum. The theoretical framework relies on magnetostatics and stability analysis of stationary equilibria. To calculate the magnetostatic force and energy, we use a multipole method. In a first approximation, we derive analytical results from the point dipole approximation. The point dipole analysis defines an upper bound criterion for the magnetic moment ratio and provides analytical expressions for stability bounds in relation to geometry parameters. Our experimental results are consistent with the predictions from the fourth-order multipole expansion. Beyond the minimal tractor magnet, we introduce a more advanced configuration that allows for a higher magnetic binding energy and follower capture at larger distances.


title: Stability and Optimal Control Study of a Stochastic Within-Host COVID-19 Model

abstract: In this paper, we analyze the stochastic SIV model for COVID-19 at the within-host level and explore its dynamics. We first examine the existence and positivity of the solution of the stochastic model using Ito's formula and establish exponential stability. Next, we extend the model to a stochastic optimal control problem and investigate the effectiveness of control measures, specifically antiviral drugs and immunomodulators. Numerical simulations are conducted to complement the theoretical results in both cases. Simulation suggests that the noises play a crucial role in the dynamics of the disease and disease can be eradicated with appropriate values of the stochastic coefficient. Stochastic optimal control study suggests that the viral load count in an infected individual decreases with the optimal treatment rates and is most effective when the antiviral and immunomodulating drugs are administered together.


title: Inclusive content reduces racial and gender biases, yet non-inclusive content dominates popular media outlets

abstract: Images are often termed as representations of perceived reality. As such, racial and gender biases in popular media imagery could play a vital role in shaping people's perceptions of society. While inquiries into such biases have examined the frequency at which different racial and gender groups appear in different forms of media, the literature still lacks a large-scale longitudinal study that further examines the manner in which these groups are portrayed. To fill this gap, we examine three media forms, namely fashion magazines, movie posters, and advertisements. To do so, we collect a large dataset comprising over 300,000 images spanning over five decades and utilize state-of-the-art machine learning models to not only classify race and gender but also identify the posture, emotional state, and body composition of the person featured in each image. We find that racial minorities appear far less frequently than their White counterparts, and when they do appear, they are portrayed less prominently and tend to convey more negative emotions. We also find that women are more likely to be portrayed with their full bodies in images, whereas men are more frequently presented with their faces. This disparity exemplifies face-ism, where emphasizing faces over bodies has been linked to perceptions of higher competence and intelligence. Finally, through a series of survey experiments, we show that exposure to inclusive content-rather than racially and gender-homogenized content -- significantly reduces perception biases towards minorities in areas such as household income, hiring merit, beauty standards, leadership positions, and the representation of women in the workplace. Taken together, our findings demonstrate that racial and gender biases in media continue to be an ongoing problem that may exacerbate existing stereotypes.


title: Inferring Skin-Brain-Skin Connections from Infodemiology Data using Dynamic Bayesian Networks

abstract: The relationship between skin diseases and mental illnesses has been extensively studied using cross-sectional epidemiological data. Typically, such data can only measure association (rather than causation) and include only a subset of the diseases we may be interested in. In this paper, we complement the evidence from such analyses by learning an overarching causal network model over twelve health conditions from the Google Search Trends Symptoms public data set. We learned the causal network model using a dynamic Bayesian network, which can represent both cyclic and acyclic causal relationships, is easy to interpret and accounts for the spatio-temporal trends in the data in a probabilistically rigorous way. The causal network confirms a large number of cyclic relationships between the selected health conditions and the interplay between skin and mental diseases. For acne, we observe a cyclic relationship with anxiety and attention deficit hyperactivity disorder (ADHD) and an indirect relationship with depression through sleep disorders. For dermatitis, we observe directed links to anxiety, depression and sleep disorders and a cyclic relationship with ADHD. We also observe a link between dermatitis and ADHD and a cyclic relationship between acne and ADHD. Furthermore, the network includes several direct connections between sleep disorders and other health conditions, highlighting the impact of the former on the overall health and well-being of the patient. Mapping disease interplay, indirect relationships, and the key role of mediators, such as sleep disorders, will allow healthcare professionals to address disease management holistically and more effectively. Even if we consider all skin and mental diseases jointly, each disease subnetwork is unique, allowing for more targeted interventions.


title: Transmission of a Pressure Signal through a Confined Bubble Array

abstract: Pressure changes travel at an infinite sound speed in an incompressible ideal fluid, opposite to what happens in a bubbly liquid, where the presence of bubbles adds compressibility such that the sound speed becomes finite. Here, the transmission of a pressure signal through a confined bubble array is studied numerically. An axisymmetric Boundary Integral (BI) code was used to simulate a horizontal array of spherical bubbles inside a cylindrical container. On one end of the container, a piston is able to move in either a sinusoidal or impulsive way to excite the bubbles, whereas the other end of the cylinder is fixed. A one-dimensional model, hereafter called the Multiple Bagnold Problem (MBP) model, was developed to predict the behavior of the 3D system. A good agreement between the model and the simulations was found for initial excitation times and qualitatively good agreement for later times. The MBP model was subsequently used to obtain an expression for the sound speed in monodisperse systems, which depends on the ratio between the driving and the natural bubble frequency. Two regimes were found, one where the pressure signal travels unattenuated and the other where attenuation is present. Subsequently we turn to more complex, bidisperse systems, where the influence of the presence of bubbles of two different sizes is explored. Analytical expressions to predict the eigenfrequencies were obtained for monodisperse and bidisperse alternating systems. For bidisperse stacked systems the eigenfrequencies were computed numerically giving a good agreement with the MBP simulations. Finally, we discuss the propagation of a pressure signal through a polydisperse system.


title: Gravitating Scalarons with Inverted Higgs Potential

abstract: Previously, a class of regular and asymptotically flat gravitating scalar solitons (scalarons) has been constructed in the Einstein--Klein--Gordon (EKG) theory by adopting a phantom field with Higgs-like potential where the kinetic term has the wrong sign and the scalaron possesses the negative Arnowitt--Deser--Misner (ADM) mass as a consequence. In this paper, we demonstrate that the use of the phantom field can be avoided by inverting the Higgs-like potential in the EKG system when the kinetic term has a proper sign, such that the corresponding gravitating scalaron can possess the positive ADM mass. We systematically study the basic properties of the gravitating scalaron, such as the ADM mass, the energy conditions, the geodesics of test particles, etc. Moreover, we find that it can be smoothly connected to the counterpart hairy black hole solutions from our recent work in the small horizon limit.


title: I3DGS: Improve 3D Gaussian Splatting from Multiple Dimensions

abstract: 3D Gaussian Splatting is a novel method for 3D view synthesis, which can gain an implicit neural learning rendering result than the traditional neural rendering technology but keep the more high-definition fast rendering speed. But it is still difficult to achieve a fast enough efficiency on 3D Gaussian Splatting for the practical applications. To Address this issue, we propose the I3DS, a synthetic model performance improvement evaluation solution and experiments test. From multiple and important levels or dimensions of the original 3D Gaussian Splatting, we made more than two thousand various kinds of experiments to test how the selected different items and components can make an impact on the training efficiency of the 3D Gaussian Splatting model. In this paper, we will share abundant and meaningful experiences and methods about how to improve the training, performance and the impacts caused by different items of the model. A special but normal Integer compression in base 95 and a floating-point compression in base 94 with ASCII encoding and decoding mechanism is presented. Many real and effective experiments and test results or phenomena will be recorded. After a series of reasonable fine-tuning, I3DS can gain excellent performance improvements than the previous one. The project code is available as open source.


title: Visualizing Neural Network Imagination

abstract: In certain situations, neural networks will represent environment states in their hidden activations. Our goal is to visualize what environment states the networks are representing. We experiment with a recurrent neural network (RNN) architecture with a decoder network at the end. After training, we apply the decoder to the intermediate representations of the network to visualize what they represent. We define a quantitative interpretability metric and use it to demonstrate that hidden states can be highly interpretable on a simple task. We also develop autoencoder and adversarial techniques and show that benefit interpretability.


title: Potential and Limitations of LLMs in Capturing Structured Semantics: A Case Study on SRL

abstract: Large Language Models (LLMs) play a crucial role in capturing structured semantics to enhance language understanding, improve interpretability, and reduce bias. Nevertheless, an ongoing controversy exists over the extent to which LLMs can grasp structured semantics. To assess this, we propose using Semantic Role Labeling (SRL) as a fundamental task to explore LLMs' ability to extract structured semantics. In our assessment, we employ the prompting approach, which leads to the creation of our few-shot SRL parser, called PromptSRL. PromptSRL enables LLMs to map natural languages to explicit semantic structures, which provides an interpretable window into the properties of LLMs. We find interesting potential: LLMs can indeed capture semantic structures, and scaling-up doesn't always mirror potential. Additionally, limitations of LLMs are observed in C-arguments, etc. Lastly, we are surprised to discover that significant overlap in the errors is made by both LLMs and untrained humans, accounting for almost 30% of all errors.


title: Mixing and ergodicity of compositions of inner functions

abstract: We study ergodic and mixing properties of non-autonomous dynamics on the unit circle generated by inner functions fixing the origin.


title: Solving the Turbine Balancing Problem using Quantum Annealing

abstract: Quantum computing has the potential for disruptive change in many sectors of industry, especially in materials science and optimization. In this paper, we describe how the Turbine Balancing Problem can be solved with quantum computing, which is the NP-hard optimization problem of analytically balancing rotor blades in a single plane as found in turbine assembly. Small yet relevant instances occur in industry, which makes the problem interesting for early quantum computing benchmarks. We model it as a Quadratic Unconstrained Binary Optimization problem and compare the performance of a classical rule-based heuristic and D-Wave Systems' Quantum Annealer Advantage_system4.1. In this case study, we use real-world as well as synthetic datasets and observe that the quantum hardware significantly improves an actively used heuristic's solution for small-scale problem instances with bare disk imbalance in terms of solution quality. Motivated by this performance gain, we subsequently design a quantum-inspired classical heuristic based on simulated annealing that achieves extremely good results on all given problem instances, essentially solving the optimization problem sufficiently well for all considered datasets, according to industrial requirements.


title: Multi-level Personalized Federated Learning on Heterogeneous and Long-Tailed Data

abstract: Federated learning (FL) offers a privacy-centric distributed learning framework, enabling model training on individual clients and central aggregation without necessitating data exchange. Nonetheless, FL implementations often suffer from non-i.i.d. and long-tailed class distributions across mobile applications, e.g., autonomous vehicles, which leads models to overfitting as local training may converge to sub-optimal. In our study, we explore the impact of data heterogeneity on model bias and introduce an innovative personalized FL framework, Multi-level Personalized Federated Learning (MuPFL), which leverages the hierarchical architecture of FL to fully harness computational resources at various levels. This framework integrates three pivotal modules: Biased Activation Value Dropout (BAVD) to mitigate overfitting and accelerate training; Adaptive Cluster-based Model Update (ACMU) to refine local models ensuring coherent global aggregation; and Prior Knowledge-assisted Classifier Fine-tuning (PKCF) to bolster classification and personalize models in accord with skewed local data with shared knowledge. Extensive experiments on diverse real-world datasets for image classification and semantic segmentation validate that MuPFL consistently outperforms state-of-the-art baselines, even under extreme non-i.i.d. and long-tail conditions, which enhances accuracy by as much as 7.39% and accelerates training by up to 80% at most, marking significant advancements in both efficiency and effectiveness.


title: Can Large Language Models Replicate ITS Feedback on Open-Ended Math Questions?

abstract: Intelligent Tutoring Systems (ITSs) often contain an automated feedback component, which provides a predefined feedback message to students when they detect a predefined error. To such a feedback component, we often resort to template-based approaches. These approaches require significant effort from human experts to detect a limited number of possible student errors and provide corresponding feedback. This limitation is exemplified in open-ended math questions, where there can be a large number of different incorrect errors. In our work, we examine the capabilities of large language models (LLMs) to generate feedback for open-ended math questions, similar to that of an established ITS that uses a template-based approach. We fine-tune both open-source and proprietary LLMs on real student responses and corresponding ITS-provided feedback. We measure the quality of the generated feedback using text similarity metrics. We find that open-source and proprietary models both show promise in replicating the feedback they see during training, but do not generalize well to previously unseen student errors. These results suggest that despite being able to learn the formatting of feedback, LLMs are not able to fully understand mathematical errors made by students.


title: Generalization analysis with deep ReLU networks for metric and similarity learning

abstract: While considerable theoretical progress has been devoted to the study of metric and similarity learning, the generalization mystery is still missing. In this paper, we study the generalization performance of metric and similarity learning by leveraging the specific structure of the true metric (the target function). Specifically, by deriving the explicit form of the true metric for metric and similarity learning with the hinge loss, we construct a structured deep ReLU neural network as an approximation of the true metric, whose approximation ability relies on the network complexity. Here, the network complexity corresponds to the depth, the number of nonzero weights and the computation units of the network. Consider the hypothesis space which consists of the structured deep ReLU networks, we develop the excess generalization error bounds for a metric and similarity learning problem by estimating the approximation error and the estimation error carefully. An optimal excess risk rate is derived by choosing the proper capacity of the constructed hypothesis space. To the best of our knowledge, this is the first-ever-known generalization analysis providing the excess generalization error for metric and similarity learning. In addition, we investigate the properties of the true metric of metric and similarity learning with general losses.


title: Biaxial strain effects in 2D diamond formation from graphene stacks

abstract: Discovering innovative methods to understand phase transitions, modify phase diagrams, and uncover novel synthesis routes poses significant and far-reaching challenges. In this study, we demonstrate the formation of nanodiamond-like sp3 carbon from few-layer graphene (FLG) stacks at room temperature and relatively low transition pressure (~7.0 GPa) due to chemical interaction with water and physical biaxial strain induced by substrate compression. By employing resonance Raman and optical absorption spectroscopies at high-pressure on FLG systems, utilizing van der Waals heterostructures (hBN/FLG) on different substrates (SiO2/Si and diamond), we originally unveiled the key role of biaxial strain. Ab initio molecular dynamics simulations corroborates the pivotal role of both water and biaxial strain in locally stabilizing sp3 carbon structures at the graphene-ice interface. This breakthrough directly enhances nanodiamond technology but also establishes biaxial strain engineering as a promising tool to explore novel phases of 2D nanomaterials.


title: Hadron Spectroscopy: Light, Strange Baryons

abstract: The resonance mass spectra have been studied through a non-relativistic hypercentral Constituent Quark Model (hCQM) using a linear potential. Also, the effects of higher order correction terms (${\cal{O}}(\frac{1}{m})$, ${\cal{O}}(\frac{1}{m^{2}})$) have been studied for improvisation of the results. Other baryonic properties such as Regge trajectories, magnetic moment and decay widths have been considered. A detailed comparison with other approaches are discussed in the present review.


title: PAC-Bayesian Generalization Bounds for Knowledge Graph Representation Learning

abstract: While a number of knowledge graph representation learning (KGRL) methods have been proposed over the past decade, very few theoretical analyses have been conducted on them. In this paper, we present the first PAC-Bayesian generalization bounds for KGRL methods. To analyze a broad class of KGRL models, we propose a generic framework named ReED (Relation-aware Encoder-Decoder), which consists of a relation-aware message passing encoder and a triplet classification decoder. Our ReED framework can express at least 15 different existing KGRL models, including not only graph neural network-based models such as R-GCN and CompGCN but also shallow-architecture models such as RotatE and ANALOGY. Our generalization bounds for the ReED framework provide theoretical grounds for the commonly used tricks in KGRL, e.g., parameter-sharing and weight normalization schemes, and guide desirable design choices for practical KGRL methods. We empirically show that the critical factors in our generalization bounds can explain actual generalization errors on three real-world knowledge graphs.


title: Time Evidence Fusion Network: Multi-source View in Long-Term Time Series Forecasting

abstract: In real-world scenarios, time series forecasting often demands timeliness, making research on model backbones a perennially hot topic. To meet these performance demands, we propose a novel backbone from the perspective of information fusion. Introducing the Basic Probability Assignment (BPA) Module and the Time Evidence Fusion Network (TEFN), based on evidence theory, allows us to achieve superior performance. On the other hand, the perspective of multi-source information fusion effectively improves the accuracy of forecasting. Due to the fact that BPA is generated by fuzzy theory, TEFN also has considerable interpretability. In real data experiments, the TEFN partially achieved state-of-the-art, with low errors comparable to PatchTST, and operating efficiency surpass performance models such as Dlinear. Meanwhile, TEFN has high robustness and small error fluctuations in the random hyperparameter selection. TEFN is not a model that achieves the ultimate in single aspect, but a model that balances performance, accuracy, stability, and interpretability.


title: On the logical Janus-face of weak continuity

abstract: Continuity is one of the most central notions in mathematics and related areas. An interesting related topic is decompositions of continuity, where continuity is shown to be equivalent to the combination of two or more weak continuity notions. Now, from a logical viewpoint, continuity is fairly tame in that its basic properties are readily established in rather weak logical systems. It is then a natural question whether the same holds for the aforementioned weak continuity notions. In this paper, we establish the Janus-face nature of weak continuity notions: we identify numerous weak continuity notions that are as tame as continuity, but also list a number of extremely wild weak continuity notions for which basic properties, like finding the supremum or evaluating the Riemann integral, are extremely hard to prove. To make our heuristic notions (tame, wild, weak) precise, we adopt Reverse Mathematics, a program in the foundation of mathematics that seeks to identify the minimal axioms that prove a given theorem. Particularly surprising and novel is that our `wild' theorems exist at the outer edges of Reverse Mathematics, i.e. while rather basic, they imply full second-order arithmetic.


title: QSOFEED: The relationship between star formation and AGN Feedback

abstract: Large-scale cosmological simulations suggest that feedback from active galactic nuclei (AGN) plays a crucial role in galaxy evolution. In this study, we directly test this hypothesis utilising SDSS spectra of a sample of 48 low redshift (z<0.14) type 2 quasars (QSO2s). We characterised the kinematics of the warm ionised gas by performing a non-parametric analysis of the [OIII]$\lambda 5007$ emission line, as well as constrain the properties of the young stellar populations (YSP) of their host galaxies through spectral synthesis modelling. These analyses revealed that 85% of the QSO2s display gas velocity dispersions larger than that of the stellar component of their host galaxies, indicating the presence of AGN-driven outflows. Comparing the gas kinematics to the AGN properties, we found a positive correlation between gas velocity dispersion and 1.4 GHz radio luminosity but not with AGN bolometric luminosity or Eddington ratio, suggesting that, either the radio luminosity is the key factor in driving outflows or that the outflows themselves are shocking the ISM and producing synchrotron emission. We found that 98% of the sample host YSPs to varying degrees, with star formation rates (SFR) $0 \le SFR \le 92 \mbox{ M}_{\odot} \mbox{yr}^{-1}$, averaged over 100 Myr. We compared the gas kinematics and outflow properties to the SFRs to establish possible correlations which may suggest that the presence of the outflowing gas is impacting SF and find that none exists, leading to the conclusion that, on the scales probed by the SDSS fibre, AGN-driven outflows do not impact SF on the timescales probed in this study. However, we found a positive correlation between the light-weighted stellar ages of the QSO2s and the black hole mass, which may indicate that successive AGN episodes lead to the suppression of SF over the course of galaxy evolution.


title: Contextual Affordances for Safe Exploration in Robotic Scenarios

abstract: Robotics has been a popular field of research in the past few decades, with much success in industrial applications such as manufacturing and logistics. This success is led by clearly defined use cases and controlled operating environments. However, robotics has yet to make a large impact in domestic settings. This is due in part to the difficulty and complexity of designing mass-manufactured robots that can succeed in the variety of homes and environments that humans live in and that can operate safely in close proximity to humans. This paper explores the use of contextual affordances to enable safe exploration and learning in robotic scenarios targeted in the home. In particular, we propose a simple state representation that allows us to extend contextual affordances to larger state spaces and showcase how affordances can improve the success and convergence rate of a reinforcement learning algorithm in simulation. Our results suggest that after further iterations, it is possible to consider the implementation of this approach in a real robot manipulator. Furthermore, in the long term, this work could be the foundation for future explorations of human-robot interactions in complex domestic environments. This could be possible once state-of-the-art robot manipulators achieve the required level of dexterity for the described affordances in this paper.


title: Carleson Operators on Doubling Metric Measure Spaces

abstract: We prove a new generalization of a theorem of Carleson, namely bounds for a generalized Carleson operator on doubling metric measure spaces. Additionally, we explicitly reduce Carleson's classical result on pointwise convergence of Fourier series to this new theorem. Both proofs are presented in great detail, suitable as a blueprint for computer verification using the current capabilities of the software package Lean. Note that even Carleson's classical result has not yet been computer-verified.


title: Improving Instruction Following in Language Models through Proxy-Based Uncertainty Estimation

abstract: Assessing response quality to instructions in language models is vital but challenging due to the complexity of human language across different contexts. This complexity often results in ambiguous or inconsistent interpretations, making accurate assessment difficult. To address this issue, we propose a novel Uncertainty-aware Reward Model (URM) that introduces a robust uncertainty estimation for the quality of paired responses based on Bayesian approximation. Trained with preference datasets, our uncertainty-enabled proxy not only scores rewards for responses but also evaluates their inherent uncertainty. Empirical results demonstrate significant benefits of incorporating the proposed proxy into language model training. Our method boosts the instruction following capability of language models by refining data curation for training and improving policy optimization objectives, thereby surpassing existing methods by a large margin on benchmarks such as Vicuna and MT-bench. These findings highlight that our proposed approach substantially advances language model training and paves a new way of harnessing uncertainty within language models.


title: Koopman-Based Surrogate Modelling of Turbulent Rayleigh-B\'enard Convection

abstract: Several related works have introduced Koopman-based Machine Learning architectures as a surrogate model for dynamical systems. These architectures aim to learn non-linear measurements (also known as observables) of the system's state that evolve by a linear operator and are, therefore, amenable to model-based linear control techniques. So far, mainly simple systems have been targeted, and Koopman architectures as reduced-order models for more complex dynamics have not been fully explored. Hence, we use a Koopman-inspired architecture called the Linear Recurrent Autoencoder Network (LRAN) for learning reduced-order dynamics in convection flows of a Rayleigh B\'enard Convection (RBC) system at different amounts of turbulence. The data is obtained from direct numerical simulations of the RBC system. A traditional fluid dynamics method, the Kernel Dynamic Mode Decomposition (KDMD), is used to compare the LRAN. For both methods, we performed hyperparameter sweeps to identify optimal settings. We used a Normalized Sum of Square Error measure for the quantitative evaluation of the models, and we also studied the model predictions qualitatively. We obtained more accurate predictions with the LRAN than with KDMD in the most turbulent setting. We conjecture that this is due to the LRAN's flexibility in learning complicated observables from data, thereby serving as a viable surrogate model for the main structure of fluid dynamics in turbulent convection settings. In contrast, KDMD was more effective in lower turbulence settings due to the repetitiveness of the convection flow. The feasibility of Koopman-based surrogate models for turbulent fluid flows opens possibilities for efficient model-based control techniques useful in a variety of industrial settings.


title: Generation of Ultra-Collimated Polarized Attosecond $\gamma-$Rays via Beam Instabilities

abstract: Polarized attosecond $\gamma-$rays may offer excitation and hyperfine tracking of reactions relevant to nuclear physics, astrophysics, high-energy physics, etc. However, unfortunately, generation of a feasible and easy-to-deploy source is still a great challenge. Here, we put forward a novel method for producing ultra-collimated high-brilliance polarized attosecond $\gamma-$rays via the interaction of an unpolarized electron beam with a solid-density plasma. As a relativistic electron beam enters a solid-density plasma, it can be modulated into high-density clusters via the self-modulation instability of itself and further into attosecond slices due to its own hosing instability. This is accompanied by the generation of similar pulse-width $\gamma-$slices via nonlinear Compton scattering. The severe hosing instability breaks the symmetry of the excited electromagnetic fields, resulting in net linear polarization of $\gamma-$slices, which challenges the conventional perception that the interaction of an axially symmetric unpolarized electron beam with a uniform plasma cannot generate polarized radiation. In addition, we also obtain high-quality electron microbunches which may serve as an alternative source for prebunched free-electron lasers.


title: Dissociative recombination, and vibrational excitation of CO$^{+}$: model calculations and comparison with experiment

abstract: The latest molecular data - potential energy curves and Rydberg$/$valence interactions - characterizing the super-excited electronic states of CO are reviewed, in order to provide inputs for the study of their fragmentation dynamics. Starting from this input, the main paths and mechanisms for CO$^+$ dissociative recombination are analyzed; its cross sections are computed using a method based on Multichannel Quantum Defect Theory. Convoluted cross sections, giving both isotropic and anisotropic Maxwellian rate-coefficients, are compared with merged-beam and storage-ring experimental results. The calculated cross sections underestimate the measured ones by a factor of $2$, but display a very similar resonant shape. These facts confirm the quality of our approach for the dynamics, and call for more accurate and more extensive molecular structure calculations.


title: Weighted past and paired dynamic varentropy measures, their properties and usefulness

abstract: We introduce two uncertainty measures, say weighted past varentropy (WPVE) and weighted paired dynamic varentropy (WPDVE). Several properties have been studied for these proposed measures. The effect of the monotone transformation for these measures have been discussed. We have obtained an upper bound of the WPVE using the weighted past Shannon entropy. A lower bound of the WPVE is also obtained. The WPVE has been studied for proportional reversed hazard rate (PRHR) models. Upper and lower bounds of the WPDVE have been derived. We propose non-parametric kernel estimates of the WPVE and WPDVE. Further, maximum likelihood estimation has been employed to estimate WPVE and WPDVE for an exponential population. A numerical simulation is provided to observe the behaviour of the proposed estimates. Finally, we have analysed a real data set and obtain the estimated values of WPVE.


title: Probing orbits of stellar mass objects deep in galactic nuclei with quasi-periodic eruptions -- II: population analysis

abstract: Quasi-periodic eruptions (QPEs) are intense repeating soft X-ray bursts with recurrence times about a few hours to a few weeks from galactic nuclei. Though the debates on the origin of QPEs have not completely settled down, more and more analyses favor the interpretation that QPEs are the result of collisions between a stellar mass object (a stellar mass black hole or a main sequence star) and an accretion disk around a supermassive black hole (SMBH) in galactic nuclei. If this interpretation is correct, QPEs will be invaluable in probing the orbits of stellar mass objects in the vicinity of SMBHs, and further inferring the formation of extreme mass ratio inspirals (EMRIs), one of the major targets of spaceborne gravitational wave missions. In this work, we extended the EMRI orbital analysis in Paper I arXiv:2401.11190 to all the known QPE sources with more than $6$ flares observed. Among all the analyzed 5 QPE sources, two distinct EMRI populations are identified: 4 EMRIs are of low orbital eccentricity (consistent with 0) which should be born in the wet EMRI formation channel, and 1 mildly eccentric EMRI (with $e= 0.25^{+0.18}_{-0.20}$ at 2-$\sigma$ confidence level) is consistent with the predictions of both the dry loss-cone formation channel and the Hills mechanism.


title: Algebraic integers with continued fraction expansions containing palindromes and square roots with prescribed periods

abstract: We present a characterization of the algebraic integers with continued fraction expansions of the form $[a_0, \overline{a_1, \ldots, a_n, s}]$, where $(a_1, \ldots, a_n)$ is a palindrome and $s \in \mathbb{N}_{\geq 1}$. In particular, we focus on the special case where $(a_1, \ldots, a_n) = (m, \ldots, m)$, providing a detailed characterizations of the corresponding algebraic integers and $s$ in terms of Fibonacci polynomials. Then, we derive new expansions of square roots of integers with these periods, given $m$ and $n$. Moreover, we explicitly determine the fundamental solutions of both positive and negative Pell's equations corresponding to this family of integers.


title: A Comprehensive Study of an Oscillating Eclipsing Algol: Y Cam

abstract: Y Cam is classified as one of the oscillating Eclipsing Algol (oEA) systems, which feature a $\delta$ Scuti-type pulsating component alongside mass transfer phenomena. oEA systems are invaluable for probing the evolutionary processes and internal structures of binary components offering insights through their binary variations and oscillating. In this study, we conducted a comprehensive investigation of Y Cam utilizing high-quality photometric TESS data, and high-resolution ELODIE spectra. Through our analysis, we examined the radial velocity variation, performed binary modeling, and calculated the effective temperature values of binary components. The fundamental stellar parameters, such as mass and radius, were determined with an accuracy of $\sim$ $2-6$ %. Furthermore, we examined the orbital period variation to assess the amount of mass transfer using the available minima times of the system and three new minima times obtained from TESS light curves. Analyzing the pulsation structure of the system with the TESS data revealed the dominant pulsation period and amplitude of the pulsating component to be 0.066 d and 4.65 mmag, respectively. Notably, we observed frequency modulations with the orbital period's frequency, along with variations in the amplitude of the highest amplitude frequency across different orbital phases. Remarkably, the amplitude reaches its peak at phases 0.5 and 1. These findings indicate a candidate of a tidally tilted pulsator. Consequently, we investigated the evolutionary status of the binary components using MESA binary evolution models, determining the age of the system to be 3.28 $\pm$ 0.09 Gyr.


title: A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems

abstract: We present an algorithm for the construction of lower dimensional elliptic tori in parametric Hamiltonian systems by means of the parametrization method with the tangent and normal frequencies being prescribed. This requires that the Hamiltonian system has as many parameters as the dimension of the normal dynamics, and the algorithm must adjust these parameters. We illustrate the methodology with an implementation of the algorithm computing $2$--dimensional elliptic tori in a system of $4$ coupled pendula (4 degrees of freedom).


title: Fair Mixed Effects Support Vector Machine

abstract: To ensure unbiased and ethical automated predictions, fairness must be a core principle in machine learning applications. Fairness in machine learning aims to mitigate biases present in the training data and model imperfections that could lead to discriminatory outcomes. This is achieved by preventing the model from making decisions based on sensitive characteristics like ethnicity or sexual orientation. A fundamental assumption in machine learning is the independence of observations. However, this assumption often does not hold true for data describing social phenomena, where data points are often clustered based. Hence, if the machine learning models do not account for the cluster correlations, the results may be biased. Especially high is the bias in cases where the cluster assignment is correlated to the variable of interest. We present a fair mixed effects support vector machine algorithm that can handle both problems simultaneously. With a reproducible simulation study we demonstrate the impact of clustered data on the quality of fair machine learning predictions.


title: Photonic Neuromorphic Accelerator for Convolutional Neural Networks based on an Integrated Reconfigurable Mesh

abstract: In this work, we present and experimentally validate a passive photonic-integrated neuromorphic accelerator that uses a hardware-friendly optical spectrum slicing technique through a reconfigurable silicon photonic mesh. The proposed scheme acts as an analogue convolutional engine, enabling information preprocessing in the optical domain, dimensionality reduction and extraction of spatio-temporal features. Numerical results demonstrate that utilizing only 7 passive photonic nodes, critical modules of a digital convolutional neural network can be replaced. As a result, a 98.6% accuracy on the MNIST dataset was achieved, with a power consumption reduction of at least 26% compared to digital CNNs. Experimental results confirm these findings, achieving 97.7% accuracy with only 3 passive nodes.


title: Adic spaces

abstract: These lecture notes are based on the second course in a series of lectures at the Spring school "Non-archimedean geometry and Eigenvarieties" in March 2023 in Heidelberg. The objective of the first three courses was to give an introduction to the theory of adic spaces. Building up on the theory of Huber pairs presented in John Bergdall's lecture we explain the construction of adic spaces. We study some important classes of adic spaces such as rigid analytic spaces and formal schemes and show the connections between them. In the course of the lecture we will illustrate the respective concepts with the fundamental examples of the open and closed disc and the affine line.


title: Deceleration of kicked objects due to the Galactic potential

abstract: Various stellar objects experience a velocity kick at some point in their evolution. These include neutron stars and black holes at their birth or binary systems when one of the two components goes supernova. For most of these objects, the magnitude of the kick and its impact on the object dynamics remains a topic of debate. We investigate how kicks alter the velocity distribution of objects born in the Milky Way disc, both immediately after the kick and at later times, and whether these kicks are encoded in the observed population of Galactic neutron stars. We simulate the Galactic trajectories of point masses on circular orbits in the disc after being perturbed by an isotropic kick, with a Maxwellian distribution of magnitudes with $\sigma=265$ km/s. Then, we simulate the motion of these point masses for $200$ Myr. These trajectories are then evaluated, either for the Milky Way population as a whole or for those passing within two kiloparsecs of the Sun, to get the time evolution of the velocities. During the first $20$ Myr, the bulk velocity of kicked objects becomes temporarily aligned to the cylindrical radius, implying an anisotropy in the velocity orientations. Beyond this age, the velocity distribution shifts toward lower values and settles to a median of $\sim200$ km/s. Around the Sun, the distribution also loses its upper tail, primarily due to unbound objects escaping the Galaxy. We compare this to the velocities of Galactic pulsars and find that pulsars show a similar evolution with characteristic age. The shift of the velocity distribution is due to bound objects spending most of their orbits at larger radii after the kick. They are, therefore, decelerated by the Galactic potential. We find the same deceleration to be predicted for nearby objects and the total population and conclude it is also observed in Galactic pulsars.


title: Generalized van Trees inequality: Local minimax bounds for non-smooth functionals and irregular statistical models

abstract: In a decision-theoretic framework, minimax lower bound provides the worst-case performance of estimators relative to a given class of statistical models. For parametric and semiparametric models, the H\'{a}jek--Le Cam local asymptotic minimax (LAM) theorem provides the optimal and sharp asymptotic lower bound. Despite its relative generality, this result comes with limitations as it only applies to the estimation of differentiable functionals under regular statistical models. On the other hand, non-asymptotic minimax lower bounds, such as those based on the reduction to hypothesis testing, do not often yield sharp asymptotic constants. Inspired by the recent improvement of the van Trees inequality and related methods in the literature, we provide new non-asymptotic minimax lower bounds under minimal regularity assumptions, which imply sharp asymptotic constants. The proposed lower bounds do not require the differentiability of functionals or regularity of statistical models, extending the efficiency theory to broader situations where standard approaches fail. Additionally, new lower bounds provide non-asymptotic constants, which can shed light on more refined fundamental limits of estimation in finite samples. We demonstrate that new lower bounds recover many classical results, including the LAM theorem and semiparametric efficiency bounds. We also illustrate the use of the new lower bound by deriving the local minimax lower bound for estimating the density at a point and directionally differentiable parameters.


title: Naive Property A

abstract: In this note, we study the natural question of when the generalised F{\o}lner sets exhibiting property A can be chosen to be subsets of the space itself. We show that for many property A spaces $X$, this is indeed possible: specifically this holds when $X$ is a discrete bounded geometry metric space which coarsely has all components unbounded, when $X$ is any countable discrete group, and for all box spaces.


title: Industrial Application of the Shapley value-based Redispatch Cost Allocation to Large-Scale Power Grids requires AC Optimal Power Flow

abstract: A burgeoning topic in the current energy transition are the huge costs of redispatch congestion management (CM) in large transmission systems. One of the German transmission system operators (TSOs) raised the critical inquiry of how to allocate the redispatch costs amongst TSOs in an equitable and beneficial way. Previously, a Shapley value-based approach has been introduced on small test grids, using the linear DC approximation of optimal power flow (OPF). However, within the application of CM, its feasibility and accuracy for large-scale power grids and its impact on the computed congestions remain uncertain. Therefore, this study investigates the applicability of the DC OPF compared to the exact AC OPF with regard to the Shapley values, for both small and large-scale grids. Numerical simulation shows significant differences in the congested lines, the overall redispatch costs, and the Shapley values. These findings suggest that for future CM, the TSOs should further investigate AC OPF solutions.


title: Low-rank quantics tensor train representations of Feynman diagrams for multiorbital electron-phonon models

abstract: Feynman diagrams are an essential tool for simulating strongly correlated electron systems. However, stochastic quantum Monte Carlo (QMC) sampling suffers from the sign problem, e.g., when solving a multiorbital quantum impurity model. Recently, two approaches have been proposed for efficient numerical treatment of Feynman diagrams: Tensor Cross Interpolation (TCI) for replacing the stochastic sampling and the Quantics Tensor Train (QTT) representation for compressing space-time dependence. Combining these approaches, we find low-rank structures in weak-coupling Feynman diagrams for a multiorbital electron-phonon model and demonstrate their efficient numerical integrations with exponential resolution in time and exponential convergence of error with respect to computational cost.


title: Lateral plasmonic superlattice in strongly dissipative regime

abstract: We calculate transmission coefficient, $\mathcal T,$ of terahertz radiation through lateral plasmonic superlattice with a unit cell consisting of two regions with different plasma wave velocities, $s_1$ and $s_2$ ($s_1 > s_2$). We generalize theory developed earlier for resonant case to the non-resonant regime, when the scattering rate, $\gamma,$ is large compared to fundamental gate-tunable frequencies $\omega_{1,2}$ of plasma oscillations in both regions. We find that absorption, and consequently $\mathcal T$, strongly depends on density modulation amplitude and on the frequency of the incoming radiation. We describe evolution of the absorption with increasing of radiation frequency from the quasi-static regime of very low frequency to the high-frequency regime, identify several dissipation regimes and find analytical expression for absorption, and, accordingly, for $\mathcal T,$ in these regimes. A general phase diagram of non-resonant regime in the plane $(\omega,\omega_2)$ for fixed $\omega_1$ is constructed. Most importantly, $\mathcal T$ sharply depends on the gate voltages and frequency. In particular, for $\omega_2 \ll \omega_1,$ $\mathcal T$ strongly varies on the very small frequency scale, $\delta \omega \ll \gamma,$ determined by the Maxwell relaxation, $\delta \omega \sim \omega_1^2/\gamma,$ so that the superlattice shows high responsivity within the frequency band $\delta \omega.$


title: Optimal Beamforming of RIS-Aided Wireless Communications: An Alternating Inner Product Maximization Approach

abstract: This paper investigates a general discrete $\ell_p$-norm maximization problem, with the power enhancement at steering directions through reconfigurable intelligent surfaces (RISs) as an instance. We propose a mathematically concise iterative framework composed of alternating inner product maximizations, well-suited for addressing $\ell_1$- and $\ell_2$-norm maximizations with either discrete or continuous uni-modular variable constraints. The iteration is proven to be monotonically non-decreasing. Moreover, this framework exhibits a distinctive capability to mitigate performance degradation due to discrete quantization, establishing it as the first post-rounding lifting approach applicable to any algorithm intended for the continuous solution. Additionally, as an integral component of the alternating iterations framework, we present a divide-and-sort (DaS) method to tackle the discrete inner product maximization problem. In the realm of $\ell_\infty$-norm maximization with discrete uni-modular constraints, the DaS ensures the identification of the global optimum with polynomial search complexity. We validate the effectiveness of the alternating inner product maximization framework in beamforming through RISs using both numerical experiments and field trials on prototypes. The results demonstrate that the proposed approach achieves higher power enhancement and outperforms other competitors. Finally, we show that discrete phase configurations with moderate quantization bits (e.g., 4-bit) exhibit comparable performance to continuous configurations in terms of power gains.


title: Residual-based Attention Physics-informed Neural Networks for Efficient Spatio-Temporal Lifetime Assessment of Transformers Operated in Renewable Power Plants

abstract: Transformers are vital assets for the reliable and efficient operation of power and energy systems. They support the integration of renewables to the grid through improved grid stability and operation efficiency. Monitoring the health of transformers is essential to ensure grid reliability and efficiency. Thermal insulation ageing is a key transformer failure mode, which is generally tracked by monitoring the hotspot temperature (HST). However, HST measurement is complex and expensive and often estimated from indirect measurements. Existing computationally-efficient HST models focus on space-agnostic thermal models, providing worst-case HST estimates. This article introduces an efficient spatio-temporal model for transformer winding temperature and ageing estimation, which leverages physics-based partial differential equations (PDEs) with data-driven Neural Networks (NN) in a Physics Informed Neural Networks (PINNs) configuration to improve prediction accuracy and acquire spatio-temporal resolution. The computational efficiency of the PINN model is improved through the implementation of the Residual-Based Attention scheme that accelerates the PINN model convergence. PINN based oil temperature predictions are used to estimate spatio-temporal transformer winding temperature values, which are validated through PDE resolution models and fiber optic sensor measurements, respectively. Furthermore, the spatio-temporal transformer ageing model is inferred, aiding transformer health management decision-making and providing insights into localized thermal ageing phenomena in the transformer insulation. Results are validated with a distribution transformer operated on a floating photovoltaic power plant.


title: Soft quark effects on H+jet production at NLP accuracy

abstract: We define soft quark operators that enable construction of colour-ordered helicity amplitudes out of the non-radiative ones. We explore these operators for Higgs plus one jet production in a hadron collider and study the next-to-leading power corrections on all partonic channels involving quark(s) and/or anti-quark(s). We also investigate the effect of next-to-soft gluon radiation in these channels employing the technique illustrated in \cite{Pal:2023vec}. Analytical expressions of next-to-leading power leading logarithms thus obtained are simple and compact in nature. Further, we discuss the connection of such logarithms with that of the pseudo-scalar Higgs plus one jet production.


title: Systematic interval observer design for linear systems

abstract: We first propose systematic and comprehensive interval observer designs for linear time-invariant systems, under standard assumptions involving observability and interval bounds on the initial condition and disturbances. Historically, such designs rely on transformations with certain limitations into a form that is Metzler (for continuous time) or non-negative (for discrete time). We show that they can be effectively replaced with a linear time-invariant transformation that can be easily computed offline. Then, we propose the extension to the time-varying setting, where conventional transformations lack guaranteed outcomes. Academic examples are presented to illustrate our methods.


title: Recoloring via modular decomposition

abstract: The reconfiguration graph of the $k$-colorings of a graph $G$, denoted $R_{k}(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_{k}(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell}(G)$ is connected for all $\ell \geq \chi(G)$+1. We use the modular decomposition of several graph classes to prove that the graphs in the class are recolorable. In particular, we prove that every ($P_5$, diamond)-free graph, every ($P_5$, house, bull)-free graph, and every ($P_5$, $C_5$, co-fork)-free graph is recolorable.


title: Sandboxing Adoption in Open Source Ecosystems

abstract: Sandboxing mechanisms allow developers to limit how much access applications have to resources, following the least-privilege principle. However, it's not clear how much and in what ways developers are using these mechanisms. This study looks at the use of Seccomp, Landlock, Capsicum, Pledge, and Unveil in all packages of four open-source operating systems. We found that less than 1% of packages directly use these mechanisms, but many more indirectly use them. Examining how developers apply these mechanisms reveals interesting usage patterns, such as cases where developers simplify their sandbox implementation. It also highlights challenges that may be hindering the widespread adoption of sandboxing mechanisms.


title: Maps between spherical group rings

abstract: We prove that for finitely generated abelian groups $A$ and $B$, the space of $\mathbb{E}_\infty$-ring maps between the spherical groups rings $\mathbb{S}[A] \to \mathbb{S}[B]$ is equivalent to the discrete set of group homomorphisms $A \to B$. We also prove generalizations where the sphere is replaced by other ring spectra, e.g. we give a formula for the strict units in group rings of the form $R[A]$ for $A$ a finite $p$-group and $R$ $p$-completely chromatically complete.


title: Disorder-broadened phase boundary with enhanced amorphous superconductivity in pressurized In2Te5

abstract: As an empirical tool in materials science and engineering, the iconic phase diagram owes its robustness and practicality to the topological characteristics rooted in the celebrated Gibbs phase law (F = C - P + 2). When crossing the phase diagram boundary, the structure transition occurs abruptly, bringing about an instantaneous change in physical properties and limited controllability on the boundaries (F = 1). Here, we expand the sharp phase boundary to an amorphous transition region (F = 2) by partially disrupting the long-range translational symmetry, leading to a sequential crystalline-amorphous-crystalline (CAC) transition in a pressurized In2Te5 single crystal. Through detailed in-situ synchrotron diffraction, we elucidate that the phase transition stems from the rotation of immobile blocks [In2Te2]2+, linked by hinge-like [Te3]2- trimers. Remarkably, within the amorphous region, the amorphous phase demonstrates a notable 25 % increase of the superconducting transition temperature (Tc), while the carrier concentration remains relatively constant. Furthermore, we propose a theoretical framework revealing that the unconventional boost in amorphous superconductivity might be attributed to an intensified electron correlation, triggered by a disorder-augmented multifractal behavior. These findings underscore the potential of disorder and prompt further exploration of unforeseen phenomena on the phase boundaries.


title: On the Jacquet functor of Symplectic groups

abstract: Let $\F$ be a non-Archimedean local field.~Consider $\G_{n}:= \Sp_{2n}(\F)$ and let $\M:= \GL_l \times \G_{n-l}$ be a maximal Levi subgroup of $\G_{n}$.~This paper undertakes the computation of the Jacquet module of representations of $\G_{n}$ with respect to the maximal Levi subgroup, belonging to a particular class. Finally, we conclude that for a subclass of representations of $\G_{n},$ multiplicity of the Jacquet module does not exceed 2.


title: Integer partitions detect the primes

abstract: We show that integer partitions, the fundamental building blocks in additive number theory, detect prime numbers in an unexpected way. Answering a question of Schneider, we show that the primes are the solutions to special equations in partition functions. For example, an integer $n\geq 2$ is prime if and only if $$ (3n^3 - 13n^2 + 18n - 8)M_1(n) + (12n^2 - 120n + 212)M_2(n) -960M_3(n) = 0, $$ where the $M_a(n)$ are MacMahon's well-studied partition functions. More generally, for "MacMahonesque" partition functions $M_{\vec{a}}(n),$ we prove that there are infinitely many such prime detecting equations with constant coefficients, such as $$ 80M_{(1,1,1)}(n)-12M_{(2,0,1)}(n)+12M_{(2,1,0)}(n)+\dots-12M_{(1,3)}(n)-39M_{(3,1)}(n)=0. $$


title: A Review of Matrix Algebra for Power and Energy Applications

abstract: This report presents a brief review of matrix algebra and its implementation in Julia for power and energy applications. First, we present basic examples of data visualization, followed by conventional operations with matrices and vectors. Then, we study quadratic forms and norms, two main concepts required in the convergence study of the power flow in power and energy applications. After that, we give good practices to create a neat code in Julia. There is an extensive set of examples available on the Internet related to these basic aspects, so we avoid repeating what is well documented. Hence, we show only basic examples to create our first scripts.


title: Searching for linear structures in the failure of the Stone-Weierstrass theorem

abstract: We analyze the existence of vector spaces of large dimension inside the set $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$, where $L$ is a compact Hausdorff space and $\mathcal{A}$ is a self-adjoint subalgebra of $\mathcal C(L, \K)$ that vanishes nowhere on $L$ and does not necessarily separate the points of $L$. The results depend strongly on an equivalence relation that is defined on the algebra $\mathcal{A}$, denoted by $\sim_{\mathcal{A}}$, and a cardinal number that depends on $\sim_{\mathcal{A}}$ which we call the order of $\sim_{\mathcal{A}}$. We then introduce two different cases, when the order of $\sim_{\mathcal{A}}$ is finite or infinite. In the finite case, we show that $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$ is $n$-lineable but not $(n+1)$-lineable with $n$ being the order of $\sim_{\mathcal{A}}$. On the other hand, when the order of $\sim_{\mathcal{A}}$ is infinite, we obtain general results assuming, for instance, that the codimension of the closure of $\mathcal{A}$ is infinite or when $L$ is sequentially compact. To be more precise, we introduce the notion of the Stone-Weiestrass character of $L$ which is closely related to the topological weight of $L$ and allows us to describe the lineability of $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$ in terms of the Stone-Weierstrass character of subsets of $\sim_{\mathcal A}$. We also prove, in the classical case, that $(\mathcal{C}(\partial{D}, \C) \setminus \overline{\mbox{Pol}(\partial{D})}) \cup \{0\}$ (where $\mbox{Pol}(\partial{D})$ is the set of all complex polynomials in one variable restricted to the boundary of the unit disk) contains an isometric copy of $\text{Hol}(\partial{D})$ and is strongly $\mathfrak c$-algebrable, extending previous results from the literature.


title: E2TP: Element to Tuple Prompting Improves Aspect Sentiment Tuple Prediction

abstract: Generative approaches have significantly influenced Aspect-Based Sentiment Analysis (ABSA), garnering considerable attention. However, existing studies often predict target text components monolithically, neglecting the benefits of utilizing single elements for tuple prediction. In this paper, we introduce Element to Tuple Prompting (E2TP), employing a two-step architecture. The former step focuses on predicting single elements, while the latter step completes the process by mapping these predicted elements to their corresponding tuples. E2TP is inspired by human problem-solving, breaking down tasks into manageable parts, using the first step's output as a guide in the second step. Within this strategy, three types of paradigms, namely E2TP($diet$), E2TP($f_1$), and E2TP($f_2$), are designed to facilitate the training process. Beyond dataset-specific experiments, our paper addresses cross-domain scenarios, demonstrating the effectiveness and generalizability of the approach. By conducting a comprehensive analysis on various benchmarks, we show that E2TP achieves new state-of-the-art results in nearly all cases.