title: Matching Algorithms in the Sparse Stochastic Block Model

abstract: The stochastic block model (SBM) is a generalization of the Erd\H{o}s--R\'enyi model of random graphs that describes the interaction of a finite number of distinct communities. In sparse Erd\H{o}s--R\'enyi graphs, it is known that a linear-time algorithm of Karp and Sipser achieves near-optimal matching sizes asymptotically almost surely, giving a law-of-large numbers for the matching sizes of such graphs in terms of solutions to an ODE. We provide an extension of this analysis, identifying broad ranges of stochastic block model parameters for which the Karp--Sipser algorithm achieves near-optimal matching sizes, but demonstrating that it cannot perform optimally on general SBM instances. We also consider the problem of constructing a matching online, in which the vertices of one half of a bipartite stochastic block model arrive one-at-a-time, and must be matched as they arrive. We show that the competitive ratio lower bound of 0.837 found by Mastin and Jaillet for the Erd\H{o}s--R\'enyi case is tight whenever the expected degrees in all communities are equal. We propose several linear-time algorithms for online matching in the general stochastic block model, but prove that despite very good experimental performance, none of these achieve online asymptotic optimality.


title: Multi-Derivative Runge-Kutta Flux Reconstruction for hyperbolic conservation laws

abstract: We extend the fourth order, two stage Multi-Derivative Runge Kutta (MDRK) scheme to the Flux Reconstruction (FR) framework by writing both stages in terms of a time averaged flux and then using the approximate Lax-Wendroff procedure to compute the time averaged flux. Numerical flux is carefully constructed to enhance Fourier CFL stability and accuracy. A subcell based blending limiter is developed for the MDRK scheme which ensures that the limited scheme is provably admissibility preserving. Along with being admissibility preserving, the blending scheme is constructed to minimize dissipation errors by using Gauss-Legendre solution points and performing MUSCL-Hancock reconstruction on subcells. The accuracy enhancement of the blending scheme is numerically verified on compressible Euler's equations, with test cases involving shocks and small-scale structures.


title: Max-sliced 2-Wasserstein distance

abstract: This note is a continuation of the author's previous work on "Sharp bounds for the max-sliced Wasserstein distance." We use the same technique to obtain an upper bound for the expected max-sliced 2-Wasserstein distance between a compactly supported symmetric probability measure on a Euclidean space and its symmetrized empirical distribution.


title: Stochastic dynamics of the resistively shunted superconducting tunnel junction system under the impact of thermal fluctuations

abstract: In this work, a Josephson junction consisting of two superconducting layers sandwiching an insulating layer is explored, which is subject to the effects of thermal fluctuations. The precise expressions for the evolution of Josephson phase and the supercurrent through the junction are derived. A clockwise hysteresis cycle in the current-voltage characteristic curve is demonstrated mathematically. Additionally, the bifurcation of a planar limit cycle is established. The numerous stochastic thermodynamic properties of the resistively shunted superconducting tunnel junction system are described, considering the influence of three specific parameters: the conductance, the current bias and the noise intensity. Moreover, the probability density is characterized using the Fokker-Planck equation.


title: Improved Tests for Mediation

abstract: Testing for a mediation effect is important in many disciplines, but is made difficult - even asymptotically - by the influence of nuisance parameters. Classical tests such as likelihood ratio (LR) and Wald (Sobel) tests have very poor power properties in parts of the parameter space, and many attempts have been made to produce improved tests, with limited success. In this paper we show that augmenting the critical region of the LR test can produce a test with much improved behavior everywhere. In fact, we first show that there exists a test of this type that is (asymptotically) exact for certain test levels $\alpha $, including the common choices $\alpha =.01,.05,.10.$ The critical region of this exact test has some undesirable properties. We go on to show that there is a very simple class of augmented LR critical regions which provides tests that are nearly exact, and avoid the issues inherent in the exact test. We suggest an optimal and coherent member of this class, provide the table needed to implement the test and to report p-values if desired. Simulation confirms validity with non-Gaussian disturbances, under heteroskedasticity, and in a nonlinear (logit) model. A short application of the method to an entrepreneurial attitudes study is included for illustration.


title: 'SSL?! What on earth is that?': Towards Designing Age-Inclusive Secure Smartphone Browsing

abstract: Owing to the increase in 'certified' phishing websites, there is a steady increase in the number of phishing cases and general susceptibility to phishing. Trust mechanisms (e.g., HTTPS Lock Indicators, SSL Certificates) that help differentiate genuine and phishing websites should therefore be evaluated for their effectiveness in preventing vulnerable users from accessing phishing websites. In this article, we present a study involving 18 adults (male-6; female-12) and 12 older adults (male-4; female-8) to understand the usability of current trust mechanisms and preferred modalities in a conceptualized mechanism. In the first part of the study, using Chrome browser on Android, we asked the participants to browse a banking website and a government website for digital particulars. We asked them to identify which one of the two was a phishing website, rate the usability of both websites and provide qualitative feedback on the trust mechanisms. In the second part, we conceptualized an alternative trust mechanism, which allows seeking social, community and AI-based support to make website trust-related decisions. Herein, we asked the participants as to which modality (social, community or AI) they prefer to seek support from and why it is preferred. Using the current trust mechanisms, none of the participants were able to identify the phishing website. As the participants rated the current mechanisms poorly in terms of usability, they expressed various difficulties that largely did not differ between adults and older adults. In the conceptualized mechanism, we observed a notable difference in the preferred modalities, in that, older adults primarily preferred social support. In addition to these overall findings, specific observations suggest that future trust mechanisms should not only consider age-specific needs but also incorporate substantial improvement in terms of usability.


title: Reinforcement Learning for Inverse Non-Cooperative Linear-Quadratic Output-feedback Differential Games

abstract: In this paper, we address the inverse problem for linear-quadratic differential non-cooperative games with output-feedback. Given players' stabilizing feedback laws, the goal is to find cost function parameters that lead to a game for which the observed game dynamics are at a Nash equilibrium. Using the given feedback laws, we introduce a model-based algorithm that generates cost function parameters solving the above inverse problem. We introduce a correction procedure that at each iteration of the algorithm guarantees the existence of the feedback laws, which addresses a key challenge of output-feedback control designs. As an intermediate stage of the algorithm, we have developed a procedure for the initial stabilization of the multiple-input system with output-feedback information structure. We prove convergence and stability of the algorithm, and show the way to generate new games with necessary properties without requiring to run the complete algorithm repeatedly. Then the algorithm is extended to a model-free version that uses data samples generated by unknown dynamics and has the same converging and stabilizing properties as the model-based version. Finally, we show how the inverse problem can be solved in a distributed manner and provide possible extensions. Simulation results validate the effectiveness of the proposed algorithms.


title: QCD Sum Rule study of $J^P = 1^\pm$ exotic states with two heavy quarks in the molecular picture

abstract: In this study, the spectroscopic parameters of the exotic molecular states composed of mesons containing two heavy quarks (scalar-axial and pseudoscalar-axial meson combinations) are investigated within QCD sum rules. Our findings reveal that the molecular states containing charm quarks do not form bound states, whereas the states with b-quarks can form the exotic molecular states. This observation has significant implications for understanding the structure of these exotic states.


title: MiM-ISTD: Mamba-in-Mamba for Efficient Infrared Small Target Detection

abstract: Recently, infrared small target detection (ISTD) has made significant progress, thanks to the development of basic models. Specifically, the models combining CNNs with transformers can successfully extract both local and global features. However, the disadvantage of the transformer is also inherited, i.e., the quadratic computational complexity to sequence length. Inspired by the recent basic model with linear complexity for long-distance modeling, Mamba, we explore the potential of this state space model for ISTD task in terms of effectiveness and efficiency in the paper. However, directly applying Mamba achieves suboptimal performances due to the insufficient harnessing of local features, which are imperative for detecting small targets. Instead, we tailor a nested structure, Mamba-in-Mamba (MiM-ISTD), for efficient ISTD. It consists of Outer and Inner Mamba blocks to adeptly capture both global and local features. Specifically, we treat the local patches as "visual sentences" and use the Outer Mamba to explore the global information. We then decompose each visual sentence into sub-patches as "visual words" and use the Inner Mamba to further explore the local information among words in the visual sentence with negligible computational costs. By aggregating the visual word and visual sentence features, our MiM-ISTD can effectively explore both global and local information. Experiments on NUAA-SIRST and IRSTD-1k show the superior accuracy and efficiency of our method. Specifically, MiM-ISTD is $8 \times$ faster than the SOTA method and reduces GPU memory usage by 62.2$\%$ when testing on $2048 \times 2048$ images, overcoming the computation and memory constraints on high-resolution infrared images.


title: The SPHERE view of the Chamaeleon I star-forming region

abstract: We used VLT/SPHERE to observe 20 systems in the Cha I cloud in polarized scattered light in the near-infrared. We combined the scattered light observations with existing literature data on stellar properties and with archival ALMA continuum data to study trends with system age and dust mass. We also connected resolved near-infrared observations with the spectral energy distributions of the systems. In 13 of the 20 systems included in this study we detected resolved scattered light signals from circumstellar dust. For the CR Cha, CT Cha, CV Cha, SY Cha, SZ Cha, and VZ Cha systems we present the first detailed descriptions of the disks in scattered light. The observations found typically smooth or faint disks, often with little substructure, with the notable exceptions of SZ Cha, which shows an extended multiple-ringed disk, and WW Cha, which shows interaction with the cloud environment. New high S/N K- band observations of the HD 97048 system in our survey reveal a significant brightness asymmetry that may point to disk misalignment and subsequent shadowing of outer disk regions, possibly related to the suggested planet candidate in the disk. We resolve for the first time the stellar binary in the CS Cha system. Multiple wavelength observations of the disk around CS Cha have revealed that the system contains small, compact dust grains that may be strongly settled, consistent with numerical studies of circumbinary disks. We find in our sample that there is a strong anti-correlation between the presence of a (close) stellar companion and the detection of circumstellar material with five of our seven nondetections located in binary systems.


title: Recency-Weighted Temporally-Segmented Ensemble for Time-Series Modeling

abstract: Time-series modeling in process industries faces the challenge of dealing with complex, multi-faceted, and evolving data characteristics. Conventional single model approaches often struggle to capture the interplay of diverse dynamics, resulting in suboptimal forecasts. Addressing this, we introduce the Recency-Weighted Temporally-Segmented (ReWTS, pronounced `roots') ensemble model, a novel chunk-based approach for multi-step forecasting. The key characteristics of the ReWTS model are twofold: 1) It facilitates specialization of models into different dynamics by segmenting the training data into `chunks' of data and training one model per chunk. 2) During inference, an optimization procedure assesses each model on the recent past and selects the active models, such that the appropriate mixture of previously learned dynamics can be recalled to forecast the future. This method not only captures the nuances of each period, but also adapts more effectively to changes over time compared to conventional `global' models trained on all data in one go. We present a comparative analysis, utilizing two years of data from a wastewater treatment plant and a drinking water treatment plant in Norway, demonstrating the ReWTS ensemble's superiority. It consistently outperforms the global model in terms of mean squared forecasting error across various model architectures by 10-70\% on both datasets, notably exhibiting greater resilience to outliers. This approach shows promise in developing automatic, adaptable forecasting models for decision-making and control systems in process industries and other complex systems.


title: TripoSR: Fast 3D Object Reconstruction from a Single Image

abstract: This technical report introduces TripoSR, a 3D reconstruction model leveraging transformer architecture for fast feed-forward 3D generation, producing 3D mesh from a single image in under 0.5 seconds. Building upon the LRM network architecture, TripoSR integrates substantial improvements in data processing, model design, and training techniques. Evaluations on public datasets show that TripoSR exhibits superior performance, both quantitatively and qualitatively, compared to other open-source alternatives. Released under the MIT license, TripoSR is intended to empower researchers, developers, and creatives with the latest advancements in 3D generative AI.


title: Non equivalence of Carroll limits in relativistic string theory

abstract: We construct new Carroll strings in flat space by considering the Carroll limit of equivalent relativistic string theories at classical level. In the limit these Carroll strings are no longer equivalent and have different degrees of freedom. This fact is due to a general phenomenon that the configuration space and canonical Lagrangians are no longer equivalent after a singular redefinition of the variables and of the parameters of the starting Lagrangians.


title: Three-dimensional theory of superradiant free-electron lasers

abstract: The soliton-like superradiant regime of free-electron lasers (FEL) offers a promising path towards ultrashort pulses, beyond the natural limit dictated by the bandwidth of the high-gain FEL instability. In this work we present a three-dimensional theory of the superradiant regime. Our work takes advantage of recent developments in non-linear FEL theory to provide a fully analytical description of soliton-like superradiance. Our theory proves the existence of a diffraction-dominated steady-state regime in which the superradiant peak power grows indefinitely while leaving the pulse duration and on-axis intensity almost unchanged. These results are in excellent agreement with three-dimensional simulations and are supported by recent experimental results at the Linac Coherent Light Source. This work advances non-linear FEL theory and provides a theoretical framework for the next generation of attosecond x-ray FELs.

categories: physics.acc-ph math-ph math.MP physics.optics physics.plasm-ph


title: Double trouble: Predicting new variant counts across two heterogeneous populations

abstract: Collecting genomics data across multiple heterogeneous populations (e.g., across different cancer types) has the potential to improve our understanding of disease. Despite sequencing advances, though, resources often remain a constraint when gathering data. So it would be useful for experimental design if experimenters with access to a pilot study could predict the number of new variants they might expect to find in a follow-up study: both the number of new variants shared between the populations and the total across the populations. While many authors have developed prediction methods for the single-population case, we show that these predictions can fare poorly across multiple populations that are heterogeneous. We prove that, surprisingly, a natural extension of a state-of-the-art single-population predictor to multiple populations fails for fundamental reasons. We provide the first predictor for the number of new shared variants and new total variants that can handle heterogeneity in multiple populations. We show that our proposed method works well empirically using real cancer and population genetics data.


title: Accelerating fourth-generation machine learning potentials by quasi-linear scaling particle mesh charge equilibration

abstract: Machine learning potentials (MLP) have revolutionized the field of atomistic simulations by describing the atomic interactions with the accuracy of electronic structure methods at a small fraction of the costs. Most current MLPs construct the energy of a system as a sum of atomic energies, which depend on information about the atomic environments provided in form of predefined or learnable feature vectors. If, in addition, non-local phenomena like long-range charge transfer are important, fourth-generation MLPs need to be used, which include a charge equilibration (Qeq) step to take the global structure of the system into account. This Qeq can significantly increase the computational cost and thus can become the computational bottleneck for large systems. In this paper we present a highly efficient formulation of Qeq that does not require the explicit computation of the Coulomb matrix elements resulting in a quasi-linearly scaling method. Moreover, our approach also allows for the efficient calculation of energy derivatives, which explicitly consider the global structure-dependence of the atomic charges as obtained from Qeq. Due to its generality, the method is not restricted to MLPs but can also be applied within a variety of other force fields.


title: The SPHERE view of the Orion star-forming region

abstract: We present SPHERE/IRDIS H-band data for a sample of 23 stars in the Orion Star forming region observed within the DESTINYS (Disk Evolution Study Through Imaging of Nearby Young Stars) program. We use polarization differential imaging in order to detect scattered light from circumstellar dust. From the scattered light observations we characterize the disk orientation, radius and contrast. We analyse the disks in context of the stellar parameters and the environment of the Orion star-forming region. We use ancillary X-shooter spectroscopic observations to characterize the central stars in the systems. We furthermore use a combination of new and archival ALMA mm-continuum observations to characterize the dust masses present in the circumstellar disks. Within our sample we detect extended circumstellar disks in 10 of 23 systems. Of these, three are exceptionally extended (V351 Ori, V599 Ori and V1012 Ori) and show scattered light asymmetries which may indicate perturbations by embedded planets or (in the case of V599 Ori) by an outer stellar companion. Our high resolution imaging observations are also sensitive to close (sub)stellar companions and we detect 9 such objects in our sample of which 5 were previously unknown. We find in particular a possible sub-stellar companion (either a very low mass star or a high mass brown dwarf) 137 au from the star RY Ori. We find a strong anti-correlation between disk detection and multiplicity, with only 2 of our 10 disk detections located in stellar multiple systems. We also find a correlation between scattered light contrast and the millimetre flux suggesting that disks that have a high dust content are typically bright in near-infrared scattered light. Conversely we do not find significant correlations between scattered light contrast of the disks and the stellar mass or age.


title: Half-Metallic Ferromagnetic Weyl Fermions Related to Dynamic Correlations in the Zinc-blende Compound VAs

abstract: The realization of 100\% polarized topological Weyl fermions in half-metallic ferromagnets is of particular importance for fundamental research and spintronic applications. Here, we theoretically investigate the electronic and topological properties of the zinc-blende compound VAs, which was deemed as a half-metallic ferromagnet related to dynamic correlations. Based on the combination of density functional theory and dynamical mean field theory, we uncover that the half-metallic ferromagnet VAs exhibit attractive Weyl semimetallic behaviors with twelve pairs of Weyl points, which are very close to the Fermi level. Meanwhile, we also investigate the magnetization-dependent topological properties; the results show that the change of magnetization directions only slightly affects the positions of Weyl points, which is attributed to the weak spin-orbital coupling effects. The topological surface states of VAs projected on semi-infinite (001) and (111) surfaces are investigated. The Fermi arcs of all Weyl points are clearly visible on the projected Fermi surfaces. Our findings suggest that VAs is a fully spin-polarized Weyl semimetal with many-body correlated effects for spintronic applications.


title: The SPHERE view of the Taurus star-forming region

abstract: The sample of planet-forming disks observed by high-contrast imaging campaigns over the last decade is mature enough to enable the demographical analysis of individual star-forming regions. We present the full census of Taurus sources with VLT/SPHERE polarimetric images available. The whole sample sums up to 43 targets (of which 31 have not been previously published) corresponding to one-fifth of the Class II population in Taurus and about half of such objects that are observable. A large fraction of the sample is apparently made up of isolated faint disks (equally divided between small and large self-shadowed disks). Ambient signal is visible in about one-third of the sample. This probes the interaction with the environment and with companions or the outflow activity of the system. The central portion of the Taurus region almost exclusively hosts faint disks, while the periphery also hosts bright disks interacting with their surroundings. The few bright disks are found around apparently older stars. The overall picture is that the Taurus region is in an early evolutionary stage of planet formation. Yet, some objects are discussed individually, as in an intermediate or exceptional stage of the disk evolution. This census provides a first benchmark for the comparison of the disk populations in different star forming regions.


title: The variability patterns of the TeV blazar PG 1553+113 from a decade of MAGIC and multi-band observations

abstract: PG 1553+113 is one of the few blazars with a convincing quasi-periodic emission in the gamma-ray band. The source is also a very high-energy (VHE; >100 GeV) gamma-ray emitter. To better understand its properties and identify the underlying physical processes driving its variability, the MAGIC Collaboration initiated a multiyear, multiwavelength monitoring campaign in 2015 involving the OVRO 40-m and Medicina radio telescopes, REM, KVA, and the MAGIC telescopes, Swift and Fermi satellites, and the WEBT network. The analysis presented in this paper uses data until 2017 and focuses on the characterization of the variability. The gamma-ray data show a (hint of a) periodic signal compatible with literature, but the X-ray and VHE gamma-ray data do not show statistical evidence for a periodic signal. In other bands, the data are compatible with the gamma-ray period, but with a relatively high p-value. The complex connection between the low and high-energy emission and the non-monochromatic modulation and changes in flux suggests that a simple one-zone model is unable to explain all the variability. Instead, a model including a periodic component along with multiple emission zones is required.


title: On the arithmetic complexity of computing Gr\"obner bases of comaximal determinantal ideals

abstract: Let $M$ be an $n\times n$ matrix of homogeneous linear forms over a field $\Bbbk$. If the ideal $\mathcal{I}_{n-2}(M)$ generated by minors of size $n-1$ is Cohen-Macaulay, then the Gulliksen-Neg{\aa}rd complex is a free resolution of $\mathcal{I}_{n-2}(M)$. It has recently been shown that by taking into account the syzygy modules for $\mathcal{I}_{n-2}(M)$ which can be obtained from this complex, one can derive a refined signature-based Gr\"obner basis algorithm DetGB which avoids reductions to zero when computing a grevlex Gr\"obner basis for $\mathcal{I}_{n-2}(M)$. In this paper, we establish sharp complexity bounds on DetGB. To accomplish this, we prove several results on the sizes of reduced grevlex Gr\"obner bases of reverse lexicographic ideals, thanks to which we obtain two main complexity results which rely on conjectures similar to that of Fr\"oberg. The first one states that, in the zero-dimensional case, the size of the reduced grevlex Gr\"obner basis of $\mathcal{I}_{n-2}(M)$ is bounded from below by $n^{6}$ asymptotically. The second, also in the zero-dimensional case, states that the complexity of DetGB is bounded from above by $n^{2\omega+3}$ asymptotically, where $2\le\omega\le 3$ is any complexity exponent for matrix multiplication over $\Bbbk$.


title: LiveRec: Prototyping Probes by Framing Debug Protocols

abstract: Context: In the first part of his 2012 presentation "Inventing on Principle", Bret Victor gives a demo of a live code editor for Javascript which shows the dynamic history of values of variables in real time. This form of live programming has become known as "probes". Probes provide the programmer with permanent and continuous insight into the dynamic evolution of function or method variables, thus improving feedback and developer experience. Inquiry: Although Victor shows a working prototype of live probes in the context of Javascript, he does not discuss strategies for implementing them. Later work provides an implementation approach, but this requires a programming language to be implemented on top of the GraalVM runtime. In this paper we present **LiveRec**, a generic approach for implementing probes which can be applied in the context of many programming languages, without requiring the modification of compilers or run-time systems. Approach: **LiveRec** is based on reusing existing debug protocols to implement probes. Methods or functions are compiled after every code change and executed inside the debugger. During execution the evolution of all local variables in the current stack frame are recorded and communicated back to the editor or IDE for display to the user. Knowledge: It turns out that mainstream debug protocols are rich enough for implementing live probes. Step-wise execution, code hot swapping, and stack frame inspection provide the right granularity and sufficient information to realize live probes, without modifying compilers or language runtimes. Furthermore, it turns out that the recently proposed Debugger Adapter Protocol (DAP) provides an even more generic approach of implementing live probes, but, in some cases, at the cost of a significant performance penalty. Grounding: We have applied **LiveRec** to implement probes using stack recording natively for Java through the Java Debug Interface (JDI), and through the DAP for Java, Python, C, and Javascript, all requiring just modest amounts of configuration code. We evaluate the run-time performance of all four probes prototypes, decomposed into: compile-after-change, hot swap, single step overhead, and stack recording overhead. Our initial results show that live probes on top of native debug APIs can be performant enough for interactive use. In the case of DAP, however, it highly depends on characteristics of the programming language implementation and its associated debugging infrastructure. Importance: Live programming improves the programmer experience by providing immediate feedback about a program's execution and eliminating disruptive edit-compile-restart sequences. Probes are one way to shorten the programmer feedback loop at the level of functions and methods. Although probes are not new, and have been implemented in (prototype) systems, **LiveRec**'s approach of building live probes on top of existing and generic debug protocols promises a path towards probes for a host of mainstream programming languages, with reasonable effort.


title: A particle model that conserves the measure in the phase space, but does not conserve the kinetic energy

abstract: We consider a particular model of hard spheres that collide inelastically, losing a fixed amount of kinetic energy at each collision. We show that the transport associated to this hard sphere dynamics preserves locally the measure in the phase space. We prove the analog of Alexander's theorem for our model, providing the global well-posedness of the trajectories, for almost every initial datum.


title: REAL-Colon: A dataset for developing real-world AI applications in colonoscopy

abstract: Detection and diagnosis of colon polyps are key to preventing colorectal cancer. Recent evidence suggests that AI-based computer-aided detection (CADe) and computer-aided diagnosis (CADx) systems can enhance endoscopists' performance and boost colonoscopy effectiveness. However, most available public datasets primarily consist of still images or video clips, often at a down-sampled resolution, and do not accurately represent real-world colonoscopy procedures. We introduce the REAL-Colon (Real-world multi-center Endoscopy Annotated video Library) dataset: a compilation of 2.7M native video frames from sixty full-resolution, real-world colonoscopy recordings across multiple centers. The dataset contains 350k bounding-box annotations, each created under the supervision of expert gastroenterologists. Comprehensive patient clinical data, colonoscopy acquisition information, and polyp histopathological information are also included in each video. With its unprecedented size, quality, and heterogeneity, the REAL-Colon dataset is a unique resource for researchers and developers aiming to advance AI research in colonoscopy. Its openness and transparency facilitate rigorous and reproducible research, fostering the development and benchmarking of more accurate and reliable colonoscopy-related algorithms and models.


title: Cognition is All You Need -- The Next Layer of AI Above Large Language Models

abstract: Recent studies of the applications of conversational AI tools, such as chatbots powered by large language models, to complex real-world knowledge work have shown limitations related to reasoning and multi-step problem solving. Specifically, while existing chatbots simulate shallow reasoning and understanding they are prone to errors as problem complexity increases. The failure of these systems to address complex knowledge work is due to the fact that they do not perform any actual cognition. In this position paper, we present Cognitive AI, a higher-level framework for implementing programmatically defined neuro-symbolic cognition above and outside of large language models. Specifically, we propose a dual-layer functional architecture for Cognitive AI that serves as a roadmap for AI systems that can perform complex multi-step knowledge work. We propose that Cognitive AI is a necessary precursor for the evolution of higher forms of AI, such as AGI, and specifically claim that AGI cannot be achieved by probabilistic approaches on their own. We conclude with a discussion of the implications for large language models, adoption cycles in AI, and commercial Cognitive AI development.


title: Two Splits, Three Ways: Advances in Double Splitting Quenches

abstract: In this work we introduce a method for calculating holographic duals of BCFTs with more than two boundaries. We apply it to calculating the dynamics of entanglement entropy in a 1+1d CFT that is instantaneously split into multiple segments and calculate the entanglement entropy as a function of time for the case of two splits, showing that our approach reproduces earlier results for the double split case. Our manuscript lays the groundwork for future calculations of the entanglement entropy for more than two splits and systems at nonzero temperature.


title: The classical T Tauri star CI Tau observed with SPIRou: magnetospheric accretion and planetary formation

abstract: We report new observations of the classical T~Tauri star CI~Tau with the SPIRou near-infrared spectropolarimeter and velocimeter at the Canada-France-Hawaii Telescope (CFHT) in late 2019, 2020 and 2022, complemented with observations obtained with the ESPaDOnS optical spectropolarimeter at CFHT in late 2020. From our SPIRou and ESPaDOnS spectra, to which we applied Least-Squares Deconvolution, we infer longitudinal fields clearly modulated with the 9-d rotation period of CI~Tau. Using Zeeman-Doppler imaging, we reconstruct the large-scale magnetic topology, first from SPIRou data only in all three seasons, then from our 2020 SPIRou and ESPaDOnS data simultaneously. We find that CI~Tau hosts a mainly axisymmetric poloidal field, with a 1~kG dipole slightly tilted to the rotation axis and dark spots close to the pole that coincide with the footpoints of accretion funnels linking the star to the inner disc. Our results also suggest that CI~Tau accretes mass from the disc in a stable fashion. We further find that radial velocities (RV) derived from atomic and CO lines in SPIRou spectra are both rotationally modulated, but with a much lower amplitude than that expected from the putative candidate planet CI~Tau~b. We confirm the presence of a RV signal at a period of 23.86~d reported in a separate analysis, but detect it clearly in CO lines only and not in atomic lines, suggesting that it likely traces a non-axisymmetric structure in the inner disc of CI~Tau rather than a massive close-in planet.


title: EMOVOME Database: Advancing Emotion Recognition in Speech Beyond Staged Scenarios

abstract: Natural databases for Speech Emotion Recognition (SER) are scarce and often rely on staged scenarios, such as films or television shows, limiting their application in real-world contexts. We developed and publicly released the Emotional Voice Messages (EMOVOME) database, including 999 voice messages from real conversations of 100 Spanish speakers on a messaging app, labeled in continuous and discrete emotions by expert and non-expert annotators. We evaluated speaker-independent SER models using a standard set of acoustic features and transformer-based models. We compared the results with reference databases including acted and elicited speech, and analyzed the influence of annotators and gender fairness. The pre-trained UniSpeech-SAT-Large model achieved the highest results, 61.64% and 55.57% Unweighted Accuracy (UA) for 3-class valence and arousal prediction respectively on EMOVOME, a 10% improvement over baseline models. For the emotion categories, 42.58% UA was obtained. EMOVOME performed lower than the acted RAVDESS database. The elicited IEMOCAP database also outperformed EMOVOME in predicting emotion categories, while similar results were obtained in valence and arousal. EMOVOME outcomes varied with annotator labels, showing better results and fairness when combining expert and non-expert annotations. This study highlights the gap between staged and real-life scenarios, supporting further advancements in recognizing genuine emotions.


title: Exploring the cosmological degeneracy between decaying dark matter model and viscous $\Lambda$CDM

abstract: In the context of an homogeneous and isotropic universe, we consider the degeneracy condition at background level between two scenarios in which processes out of equilibrium are possible to explore their cosmological implications; this consideration allows us to deviate from the perfect fluid description and in this case bulk viscosity represents a viable candidate to describe entirely such effects. The cosmological model describing an unstable dark matter sector is mapped into a slight modification of the $\Lambda$CDM model characterized by a viscous dark matter sector; under this consideration our description does not depend on a specific formulation of viscous effects and these can be fully reconstructed and characterized by the parameter that determines the decay ratio of dark matter. However, in this new scenario the cosmic expansion is influenced by the viscous pressure and the dark energy sector given by the cosmological constant is translated into a dynamical one. As consequence of our formulation, the test against observations of the model indicates consistency with quintessence dark energy but the crossing of the phantom divide can be accessible.


title: A theoretical basis for cell deaths

abstract: Understanding deaths and life-death boundaries of cells is a fundamental challenge in biological sciences. In this study, we present a theoretical framework for investigating cell death. We conceptualize cell death as a controllability problem within dynamical systems, and compute the life-death boundary through the development of ``stoichiometric rays''. This method utilizes enzyme activity as control parameters, exploiting the inherent property of enzymes to enhance reaction rates without shifting equilibrium states. This approach facilitates the efficient evaluation of the global controllability of models. We demonstrate the utility of our framework using its application to a toy metabolic model, where we delineate the life-death boundary. The formulation of cell death through mathematical principles provides a foundation for the theoretical study of cellular mortality.


title: VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems

abstract: The verification of Multi-Agent Systems (MAS) poses a significant challenge. Various approaches and methodologies exist to address this challenge; however, tools that support them are not always readily available. Even when such tools are accessible, they tend to be hard-coded, lacking in compositionality, and challenging to use due to a steep learning curve. In this paper, we introduce a methodology designed for the formal verification of MAS in a modular and versatile manner, along with an initial prototype, that we named VITAMIN. Unlike existing verification methodologies and frameworks for MAS, VITAMIN is constructed for easy extension to accommodate various logics (for specifying the properties to verify) and models (for determining on what to verify such properties).


title: Predicting large scale cosmological structure evolution with GAN-based autoencoders

abstract: Cosmological simulations play a key role in the prediction and understanding of large scale structure formation from initial conditions. We make use of GAN-based Autoencoders (AEs) in an attempt to predict structure evolution within simulations. The AEs are trained on images and cubes issued from respectively 2D and 3D N-body simulations describing the evolution of the dark matter (DM) field. We find that while the AEs can predict structure evolution for 2D simulations of DM fields well, using only the density fields as input, they perform significantly more poorly in similar conditions for 3D simulations. However, additionally providing velocity fields as inputs greatly improves results, with similar predictions regardless of time-difference between input and target.


title: Mirage: Defense against CrossPath Attacks in Software Defined Networks

abstract: The Software-Defined Networks (SDNs) face persistent threats from various adversaries that attack them using different methods to mount Denial of Service attacks. These attackers have different motives and follow diverse tactics to achieve their nefarious objectives. In this work, we focus on the impact of CrossPath attacks in SDNs and introduce our framework, Mirage, which not only detects but also mitigates this attack. Our framework, Mirage, detects SDN switches that become unreachable due to being under attack, takes proactive measures to prevent Adversarial Path Reconnaissance, and effectively mitigates CrossPath attacks in SDNs. A CrossPath attack is a form of link flood attack that indirectly attacks the control plane by overwhelming the shared links that connect the data and control planes with data plane traffic. This attack is exclusive to in band SDN, where the data and the control plane, both utilize the same physical links for transmitting and receiving traffic. Our framework, Mirage, prevents attackers from launching adversarial path reconnaissance to identify shared links in a network, thereby thwarting their abuse and preventing this attack. Mirage not only stops adversarial path reconnaissance but also includes features to quickly counter ongoing attacks once detected. Mirage uses path diversity to reroute network packet to prevent timing based measurement. Mirage can also enforce short lived flow table rules to prevent timing attacks. These measures are carefully designed to enhance the security of the SDN environment. Moreover, we share the results of our experiments, which clearly show Mirage's effectiveness in preventing path reconnaissance, detecting CrossPath attacks, and mitigating ongoing threats. Our framework successfully protects the network from these harmful activities, giving valuable insights into SDN security.


title: What has LeBenchmark Learnt about French Syntax?

abstract: The paper reports on a series of experiments aiming at probing LeBenchmark, a pretrained acoustic model trained on 7k hours of spoken French, for syntactic information. Pretrained acoustic models are increasingly used for downstream speech tasks such as automatic speech recognition, speech translation, spoken language understanding or speech parsing. They are trained on very low level information (the raw speech signal), and do not have explicit lexical knowledge. Despite that, they obtained reasonable results on tasks that requires higher level linguistic knowledge. As a result, an emerging question is whether these models encode syntactic information. We probe each representation layer of LeBenchmark for syntax, using the Orf\'eo treebank, and observe that it has learnt some syntactic information. Our results show that syntactic information is more easily extractable from the middle layers of the network, after which a very sharp decrease is observed.


title: On Hilbert's 16th Problem

abstract: We prove that to each real singularity $f: (\mathbb{R}^{n}, 0) \to (\mathbb{R}^k, 0)$ with $k\geq 2$ one can associate systems of differential equations $\mathfrak{g}^{k}_f$ which are pushforwards in the category of $\mathcal{D}$-modules over $\mathbb{R}^{k}$ of the sheaf of real analytic functions on the total space of the Milnor fibration. We then use this to study Hilbert's 16th problem on polynomial dynamical systems in the plane.


title: LiSTA: Geometric Object-Based Change Detection in Cluttered Environments

abstract: We present LiSTA (LiDAR Spatio-Temporal Analysis), a system to detect probabilistic object-level change over time using multi-mission SLAM. Many applications require such a system, including construction, robotic navigation, long-term autonomy, and environmental monitoring. We focus on the semi-static scenario where objects are added, subtracted, or changed in position over weeks or months. Our system combines multi-mission LiDAR SLAM, volumetric differencing, object instance description, and correspondence grouping using learned descriptors to keep track of an open set of objects. Object correspondences between missions are determined by clustering the object's learned descriptors. We demonstrate our approach using datasets collected in a simulated environment and a real-world dataset captured using a LiDAR system mounted on a quadruped robot monitoring an industrial facility containing static, semi-static, and dynamic objects. Our method demonstrates superior performance in detecting changes in semi-static environments compared to existing methods.


title: EEE-QA: Exploring Effective and Efficient Question-Answer Representations

abstract: Current approaches to question answering rely on pre-trained language models (PLMs) like RoBERTa. This work challenges the existing question-answer encoding convention and explores finer representations. We begin with testing various pooling methods compared to using the begin-of-sentence token as a question representation for better quality. Next, we explore opportunities to simultaneously embed all answer candidates with the question. This enables cross-reference between answer choices and improves inference throughput via reduced memory usage. Despite their simplicity and effectiveness, these methods have yet to be widely studied in current frameworks. We experiment with different PLMs, and with and without the integration of knowledge graphs. Results prove that the memory efficacy of the proposed techniques with little sacrifice in performance. Practically, our work enhances 38-100% throughput with 26-65% speedups on consumer-grade GPUs by allowing for considerably larger batch sizes. Our work sends a message to the community with promising directions in both representation quality and efficiency for the question-answering task in natural language processing.


title: ProTrix: Building Models for Planning and Reasoning over Tables with Sentence Context

abstract: Tables play a crucial role in conveying information in various domains, serving as indispensable tools for organizing and presenting data in a structured manner. We propose a Plan-then-Reason framework to answer different types of user queries over tables with sentence context. The framework first plans the reasoning paths over the context, then assigns each step to program-based or textual reasoning to reach the final answer. We construct an instruction tuning set TrixInstruct following the framework. Our dataset cover queries that are program-unsolvable or need combining information from tables and sentences to obtain planning and reasoning abilities. We present ProTrix by finetuning Llama-2-7B on TrixInstruct. Our experiments show that ProTrix generalizes to diverse tabular tasks and achieves comparable performance to GPT-3.5-turbo. We further demonstrate that ProTrix can generate accurate and faithful explanations to answer complex free-form questions. Our work underscores the importance of the planning and reasoning abilities towards a model over tabular tasks with generalizability and interpretability. We will release our dataset and model at https://github.com/WilliamZR/ProTrix.


title: Masked Thought: Simply Masking Partial Reasoning Steps Can Improve Mathematical Reasoning Learning of Language Models

abstract: In reasoning tasks, even a minor error can cascade into inaccurate results, leading to suboptimal performance of large language models in such domains. Earlier fine-tuning approaches sought to mitigate this by leveraging more precise supervisory signals from human labeling, larger models, or self-sampling, although at a high cost. Conversely, we develop a method that avoids external resources, relying instead on introducing perturbations to the input. Our training approach randomly masks certain tokens within the chain of thought, a technique we found to be particularly effective for reasoning tasks. When applied to fine-tuning with GSM8K, this method achieved a 5% improvement in accuracy over standard supervised fine-tuning with a few codes modified and no additional labeling effort. Furthermore, it is complementary to existing methods. When integrated with related data augmentation methods, it leads to an average improvement of 3% improvement in GSM8K accuracy and 1% improvement in MATH accuracy across five datasets of various quality and size, as well as two base models. We further investigate the mechanisms behind this improvement through case studies and quantitative analysis, suggesting that our approach may provide superior support for the model in capturing long-distance dependencies, especially those related to questions. This enhancement could deepen understanding of premises in questions and prior steps. Our code is available at Github.


title: Aluminum Josephson junction microstructure and electrical properties modification with thermal annealing

abstract: Superconducting qubits based on Al/AlOx/Al Josephson junction are one of the most promising candidates for the physical implementation of universal quantum computers. Due to scalability and compatibility with the state-of-the-art nanoelectronic processes one can fabricate hundreds of qubits on a single silicon chip. However, decoherence in these systems caused by two-level-systems in amorphous dielectrics, including a tunneling barrier AlOx, is one of the major problems. We report on a Josephson junction thermal annealing process development to crystallize an amorphous barrier oxide (AlOx). The dependences of the thermal annealing parameters on the room temperature resistance are obtained. The developed method allows not only to increase the Josephson junction resistance by 175%, but also to decrease by 60% with precisions of 10% in Rn. Finally, theoretical assumptions about the structure modification in tunnel barrier are proposed. The suggested thermal annealing approach can be used to form a stable and reproducible tunneling barriers and scalable frequency trimming for a widely used fixed-frequency transmon qubits.


title: Perturbative QCD meets phase quenching: The pressure of cold Quark Matter

abstract: Nonperturbative inequalities constrain the pressure of Quantum Chromodynamics (QCD) with its phase-quenched version, a Sign-Problem-free theory amenable to lattice treatment. In the perturbative regime with a small QCD coupling constant $\alpha_s$, one of these inequalities manifests as an $O(\alpha_s^3)$ difference between the phase-quenched and QCD pressures at large baryon chemical potential $\mu_\text{B}$. In this work, we generalize state-of-the-art algorithmic techniques in vacuum quantum field theory to address large-scale multiloop computations at finite chemical potential. Using this approach, we evaluate this $O(\alpha_s^3)$ difference and show that it is a gauge-independent and small positive number compared to the known perturbative coefficients at this order. This implies that phase-quenched lattice simulations can provide a complementary nonperturbative method for accurately determining the pressure of cold and dense quark matter at $O(\alpha_s^3)$.


title: Not all Layers of LLMs are Necessary during Inference

abstract: The inference phase of Large Language Models (LLMs) is very expensive. An ideal inference stage of LLMs could utilize fewer computational resources while still maintaining its capabilities (e.g., generalization and in-context learning ability). In this paper, we try to answer the question, "During LLM inference, can we use shallow layers for easy instances; and deep layers for hard ones?" To answer this question, we first indicate that Not all Layers are Necessary during Inference by statistically analyzing the activated layers across tasks. Then, we propose a simple algorithm named AdaInfer to determine the inference termination moment based on the input instance adaptively. More importantly, AdaInfer does not alter LLM parameters and maintains generalizability across tasks. Experiments on well-known LLMs (i.e., Llama2 series and OPT) show that AdaInfer saves an average of 14.8% of computational resources, even up to 50% on sentiment tasks, while maintaining comparable performance. Additionally, this method is orthogonal to other model acceleration techniques, potentially boosting inference efficiency further.


title: Ice-Tide: Implicit Cryo-ET Imaging and Deformation Estimation

abstract: We introduce ICE-TIDE, a method for cryogenic electron tomography (cryo-ET) that simultaneously aligns observations and reconstructs a high-resolution volume. The alignment of tilt series in cryo-ET is a major problem limiting the resolution of reconstructions. ICE-TIDE relies on an efficient coordinate-based implicit neural representation of the volume which enables it to directly parameterize deformations and align the projections. Furthermore, the implicit network acts as an effective regularizer, allowing for high-quality reconstruction at low signal-to-noise ratios as well as partially restoring the missing wedge information. We compare the performance of ICE-TIDE to existing approaches on realistic simulated volumes where the significant gains in resolution and accuracy of recovering deformations can be precisely evaluated. Finally, we demonstrate ICE-TIDE's ability to perform on experimental data sets.


title: Collective Allocator Abstraction to Control Object Spatial Locality in C++

abstract: Disaggregated memory is promising for improving memory utilization in computer clusters in which memory demands significantly vary across computer nodes under utilization. It allows applications with high memory demands to use memory in other computer nodes. However, disaggregated memory is not easy to use for implementing data structures in C++ because the C++ standard does not provide an adequate abstraction to use it efficiently in a high-level, modular manner. Because accessing remote memory involves high latency, disaggregated memory is often used as a far-memory system, which forms a kind of swap memory where part of local memory is used as a cache area, while the remaining memory is not subject to swapping. To pursue performance, programmers have to be aware of this nonuniform memory view and place data appropriately to minimize swapping. In this work, we model the address space of memory-disaggregated systems as the far-memory model, present the collective allocator abstraction, which enables us to specify object placement aware of memory address subspaces, and apply it to programming aware of the far-memory model. The far-memory model provides a view of the nonuniform memory space while hiding the details. In the model, the virtual address space is divided into two subspaces; one is subject to swapping and the other is not. The swapping subspace is further divided into even-sized pages, which are units of swapping. The collective allocator abstraction forms an allocator as a collection of sub-allocators, each of which owns a distinct subspace, where every allocation is done via sub-allocators. It enables us to control object placement at allocation time by selecting an appropriate sub-allocator according to different criteria, such as subspace characteristics and object collocation. It greatly facilitates implementing container data structures aware of the far-memory model. We develop an allocator based on the collective allocator abstraction by extending the C++ standard allocator for container data structures on the far-memory model and experimentally demonstrate that it facilitates implementing containers equipped with object placement strategies aware of spatial locality under the far-memory model in a high-level, modular manner. More specifically, we have successfully implemented B-trees and skip lists with the combined use of two placement strategies. The modifications therein for the original implementations are fairly modest: addition is mostly due to specifying object placement; deletion and modification are at most 1.2 % and 3.2 % of lines of the original code, respectively. We have experimentally confirmed that the modified implementations successfully have data layouts suppressing swapping. We forecast that the collective allocator abstraction would be a key to high-level integration with different memory hardware technologies because it straightforwardly accommodates new interfaces for subspaces.


title: Classical dynamical $r$-matrices for the Chern-Simons formulation of generalised 3d gravity

abstract: Classical dynamical $r$-matrices arise naturally in the combinatorial description of the phase space of Chern-Simons theories, either through the inclusion of dynamical sources or through a gauge-fixing procedure involving two punctures. Here we consider classical dynamical $r$-matrices for the family of Lie algebras which arise in the Chern-Simons formulation of 3d gravity, for any value of the cosmological constant. We derive differential equations for classical dynamical $r$-matrices in this case, and show that they can be viewed as generalised complexifications, in a sense which we define, of the equations governing dynamical $r$-matrices for $\mathfrak{su}(2)$ and $\mathfrak{sl}(2,\mathbb{R})$. We obtain explicit families of solutions and relate them, via Weierstrass factorisation, to solutions found by Feher, Gabor, Marshall, Palla and Pusztai in the context of chiral WZWN models.


title: Distilled ChatGPT Topic & Sentiment Modeling with Applications in Finance

abstract: In this study, ChatGPT is utilized to create streamlined models that generate easily interpretable features. These features are then used to evaluate financial outcomes from earnings calls. We detail a training approach that merges knowledge distillation and transfer learning, resulting in lightweight topic and sentiment classification models without significant loss in accuracy. These models are assessed through a dataset annotated by experts. The paper also delves into two practical case studies, highlighting how the generated features can be effectively utilized in quantitative investing scenarios.


title: Interplay between alloying and tramp element effects on temper embrittlement in bcc iron: DFT and thermodynamic insights

abstract: The details of the temper embrittlement mechanism in steels caused by impurities are unknown. Especially from an atomistic point of view, there are still open questions regarding their interactions with alloying elements such as Ni, Cr, and Mo. Therefore, we used density functional theory to investigate the segregation and co-segregation behavior and the resulting influence on the cohesion of three representative tilt grain boundaries in iron. The results are implemented in a multi-site and multi-component kinetic and thermodynamic model for grain boundary segregation, to gain insights into the temporal and final grain boundary coverage. Our results show that the segregation tendency of As, Sb, and Sn is stronger than that of the alloying elements and significantly mitigates the grain boundary cohesion. Depending on the GB type, interactions between Sb and Sn vary from negligible to strongly attractive, which increases the likelihood of co-segregation. The cohesion-weakening effect is further amplified when elements such as Sb, Sn, and As co-segregate, compared to their individual segregation. In contrast, the co-segregation of Ni and Cr does not significantly increase the enrichment of impurities at grain boundaries, and their impact on cohesion is found to be negligible. The ability of Mo to mitigate reversible temper embrittlement is primarily attributed to its cohesion-enhancing effect and its capability to repel tramp elements from GBs, rather than scavenging them within the bulk, as suggested by previous literature.


title: Mutual Information Estimation via Normalizing Flows

abstract: We propose a novel approach to the problem of mutual information (MI) estimation via introducing a family of estimators based on normalizing flows. The estimator maps original data to the target distribution, for which MI is easier to estimate. We additionally explore the target distributions with known closed-form expressions for MI. Theoretical guarantees are provided to demonstrate that our approach yields MI estimates for the original data. Experiments with high-dimensional data are conducted to highlight the practical advantages of the proposed method.


title: Strain-induced valley transport in CrBr$_3$/WSe$_2$/CrBr$_3$ van der Waals heterostructure

abstract: Two dimensional magnetic materials are at the forefront of the next generation of spintronic devices. The possibility to interface them with other van der Waals materials such as transition metal dichalcogenides has opened new possibilities for the observation of new and exiting physical phenomena. Here, we present a proof-of-concept valleytronic device based on CrBr$_3$-encapsulated WSe$_2$ showing an unprecedented valley splitting of $\sim 100$ meV under compressive strain of the WSe$_2$, able to be tuned by the relative magnetization of the encapsulating layers. Multiscale transport simulations performed on this device show a spin-valley current with a polarization higher than 80$\%$ than is maintained in a range of $\sim$ 0.3 V gate voltage in a field-effect transistor configuration. The impact of the stacking configuration on the valley splitting is also evaluated.


title: Spectrotemporal shaping of attosecond x-ray pulses with a fresh-slice free-electron laser

abstract: We propose a scheme for coherently shaping attosecond x-ray pulses at free-electron lasers. We show that by seeding an FEL with a short coherent seed that overfills the amplification bandwidth, one can shape the wigner function of the pulse by controlling the undulator taper profile. The examples of controllable coherent pulse pairs and trains, as well as isolated spectrotemporally shaped pulses with very broad coherent bandwidths are examined in detail. Existing attosecond XFELs can achieve these experimental conditions in a two-stage cascade, in which the coherent seed is generated by a short current spike in an electron bunch and shaped in an unspoiled region within the same bunch. We experimentally demonstrate the production of pulse pairs using this method at the Linac Coherent Light Source.


title: Smart abstraction based on iterative cover and non-uniform cells

abstract: We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction. For a local optimal control problem, we not only design the controller ensuring the transition between every two subsets (cells) of the state space but also incorporate the volume and shape of these cells into the optimization process. This integrated approach enables the design of non-uniform cells, effectively reducing the complexity of the abstraction. These local optimal controllers are then combined into a digraph, which is globally optimized to obtain the entire trajectory. The global optimizer attempts to lazily build the abstraction along the optimal trajectory, which is less affected by an increase in the number of dimensions. Since the optimal trajectory is generally unknown in practice, we propose a methodology based on the RRT* algorithm to determine it incrementally. Finally, we provide a tractable implementation of this algorithm for the optimal control of L-smooth nonlinear dynamical systems.


title: The GUAPOS project. V: The chemical ingredients of a massive stellar protocluster in the making

abstract: Most stars, including the Sun, are born in rich stellar clusters containing massive stars. Therefore, the study of the chemical reservoir of massive star-forming regions is crucial to understand the basic chemical ingredients available at the dawn of planetary systems. We present a detailed study of the molecular inventory of the hot molecular core G31.41+0.31 from the project GUAPOS (G31.41+0.31 Unbiased ALMA sPectral Observational Survey). We analyze 34 species for the first time plus 20 species analyzed in previous GUAPOS works, including oxygen, nitrogen, sulfur, phosphorus, and chlorine species. We compare the abundances derived in G31.41+0.31 with those observed in other chemically-rich sources that represent the initial and last stages of the formation of stars and planets: the hot corino in the Solar-like protostar IRAS 16293-2422 B, and the comets 67P/Churyumov-Gerasimenko and 46P/Wirtanen. The comparative analysis reveals that the chemical feedstock of the two star-forming regions are similar. The abundances of oxygen- and nitrogen-bearing molecules exhibit a good correlation for all pair of sources, including the two comets, suggesting a chemical heritage of these species during the process of star formation, and hence an early phase formation of the molecules. However, sulfur- and phosphorus-bearing species present worse correlations, being more abundant in comets. This suggests that while sulfur- and phosphorus-bearing species are predominantly trapped on the surface of icy grains in the hot close surroundings of protostars, they could be more easily released into gas phase in comets, allowing their cosmic abundances to be almost recovered.


title: Domain adaptation, Explainability & Fairness in AI for Medical Image Analysis: Diagnosis of COVID-19 based on 3-D Chest CT-scans

abstract: The paper presents the DEF-AI-MIA COV19D Competition, which is organized in the framework of the 'Domain adaptation, Explainability, Fairness in AI for Medical Image Analysis (DEF-AI-MIA)' Workshop of the 2024 Computer Vision and Pattern Recognition (CVPR) Conference. The Competition is the 4th in the series, following the first three Competitions held in the framework of ICCV 2021, ECCV 2022 and ICASSP 2023 International Conferences respectively. It includes two Challenges on: i) Covid-19 Detection and ii) Covid-19 Domain Adaptation. The Competition use data from COV19-CT-DB database, which is described in the paper and includes a large number of chest CT scan series. Each chest CT scan series consists of a sequence of 2-D CT slices, the number of which is between 50 and 700. Training, validation and test datasets have been extracted from COV19-CT-DB and provided to the participants in both Challenges. The paper presents the baseline models used in the Challenges and the performance which was obtained respectively.


title: Development of a Static Magnetic Diode

abstract: This report experimentally demonstrates the feasibility of applying an electrical current though a stationary graphene structure to induce magnetic non-reciprocity or, in other words, to create a static magnetic diode, and thereby validate the suggestion of Prat-Camps [1] et al. regarding the use of graphene for such a purpose. The described graphene-based static magnetic diode is assessed against the rotating copper magnetic diode of Prat-Camps and found to be comparable.


title: Boosting Distributional Copula Regression for Bivariate Binary, Discrete and Mixed Responses

abstract: Motivated by challenges in the analysis of biomedical data and observational studies, we develop statistical boosting for the general class of bivariate distributional copula regression with arbitrary marginal distributions, which is suited to model binary, count, continuous or mixed outcomes. In our framework, the joint distribution of arbitrary, bivariate responses is modelled through a parametric copula. To arrive at a model for the entire conditional distribution, not only the marginal distribution parameters but also the copula parameters are related to covariates through additive predictors. We suggest efficient and scalable estimation by means of an adapted component-wise gradient boosting algorithm with statistical models as base-learners. A key benefit of boosting as opposed to classical likelihood or Bayesian estimation is the implicit data-driven variable selection mechanism as well as shrinkage without additional input or assumptions from the analyst. To the best of our knowledge, our implementation is the only one that combines a wide range of covariate effects, marginal distributions, copula functions, and implicit data-driven variable selection. We showcase the versatility of our approach on data from genetic epidemiology, healthcare utilization and childhood undernutrition. Our developments are implemented in the R package gamboostLSS, fostering transparent and reproducible research.


title: Sign changes of short character sums and real zeros of Fekete polynomials

abstract: We show that for a typical fundamental discriminant $D,$ the partial sums of the real character $\chi_D$ change sign $\gg (\log\log D)/\log\log\log \log D$ times on a very short initial interval (which goes beyond the range in Vinogradov's conjecture). We also prove that the number of real zeros (localized away from $1$) of Fekete polynomials associated to a typical fundamental discriminant is $\gg \frac{\log\log D}{\log\log\log\log D}.$ This comes close to establishing a conjecture of Baker and Montgomery which predicts $\asymp \log \log D$ real zeros. These results rely crucially on quantitative estimates for the joint distribution of $-\frac{L'}{L}(s, \chi_D)$ at several points $s$ in the vicinity of the central point $s=1/2$, as well as concentration results for $\log L(s,\chi_D)$ in the same range, which we establish. In the second part of the paper, we obtain, for large families of discriminants, non-trivial upper bounds on the number of real zeros of Fekete polynomials, breaking the square root bound. Finally, we construct families of discriminants with associated Fekete polynomials having no zeros away from $1.$


title: Exponentially-improved asymptotics for $q$-difference equations: ${}_2\phi_0$ and $q{\rm P}_{\rm I}$

abstract: Usually when solving differential or difference equations via series solutions one encounters divergent series in which the coefficients grow like a factorial. Surprisingly, in the $q$-world the $n$th coefficient is often of the size $q^{-\frac12 n(n-1)}$, in which $q\in(0,1)$ is fixed. Hence, the divergence is much stronger, and one has to introduce alternative Borel and Laplace transforms to make sense of these formal series. We will discuss exponentially-improved asymptotics for the basic hypergeometric function ${}_2\phi_0$ and for solutions of the $q$-difference first Painlev\'e equation $q{\rm P}_{\rm I}$. These are optimal truncated expansions, and re-expansions in terms of new $q$-hyperterminant functions. The re-expansions do incorporate the Stokes phenomena.


title: Solvable and non-solvable finite groups of the same order type

abstract: We construct two finite groups of size $2^{365}\cdot 3^{105}\cdot 7^{104}$: a solvable group $G$ and a non-solvable group $H$, such that for every integer $n$ the groups have the same number of elements of order $n$. This answers a question posed in 1987 by John G. Thompson.


title: Payment Scheduling in the Interval Debt Model

abstract: The network-based study of financial systems has received considerable attention in recent years but has seldom explicitly incorporated the dynamic aspects of such systems. We consider this problem setting from the temporal point of view and introduce the Interval Debt Model (IDM) and some scheduling problems based on it, namely: Bankruptcy Minimization/Maximization, in which the aim is to produce a payment schedule with at most/at least a given number of bankruptcies; Perfect Scheduling, the special case of the minimization variant where the aim is to produce a schedule with no bankruptcies (that is, a perfect schedule); and Bailout Minimization, in which a financial authority must allocate a smallest possible bailout package to enable a perfect schedule. We show that each of these problems is NP-complete, in many cases even on very restricted input instances. On the positive side, we provide for Perfect Scheduling a polynomial-time algorithm on (rooted) out-trees although in contrast we prove NP-completeness on directed acyclic graphs, as well as on instances with a constant number of nodes (and hence also constant treewidth). When we allow non-integer payments, we show by a linear programming argument that the problem Bailout Minimization can be solved in polynomial time.


title: Piet: Facilitating Color Authoring for Motion Graphics Video

abstract: Motion graphic (MG) videos are effective and compelling for presenting complex concepts through animated visuals; and colors are important to convey desired emotions, maintain visual continuity, and signal narrative transitions. However, current video color authoring workflows are fragmented, lacking contextual previews, hindering rapid theme adjustments, and not aligning with progressive authoring flows of designers. To bridge this gap, we introduce Piet, the first tool tailored for MG video color authoring. Piet features an interactive palette to visually represent color distributions, support controllable focus levels, and enable quick theme probing via grouped color shifts. We interviewed 6 domain experts to identify the frustrations in current tools and inform the design of Piet. An in-lab user study with 13 expert designers showed that Piet effectively simplified the MG video color authoring and reduced the friction in creative color theme exploration.


title: Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

abstract: The growing concern for energy efficiency in the Information and Communication Technology (ICT) sector has prompted the exploration of resource management techniques. While hardware architectures, such as single-ISA asymmetric multicore processors (AMP), offer potential energy savings, there is still untapped potential for software optimizations. This paper aims to bridge this gap by investigating the scheduling of garbage collection (GC) activities on a heterogeneous architecture with both performance cores ("p-cores") and energy cores ("e-cores") to achieve energy savings. Our study focuses on the concurrent ZGC collector in the context of Java Virtual Machines (JVM), as the energy aspect is not well studied in the context of latency-sensitive Java workloads. By comparing the energy efficiency, performance, latency, and memory utilization of executing GC on p-cores versus e-cores, we present compelling findings. We demonstrate that scheduling GC work on e-cores overall leads to approximately 3% energy savings without performance and mean latency degradation while requiring no additional effort from developers. Overall energy reduction can increase to 5.3$\pm$0.0225% by tuning the number of e-cores (still not changing the program!). Our findings highlight the practicality and benefits of scheduling GC on e-cores, showcasing the potential for energy savings in heterogeneous architectures running Java workloads while meeting critical latency requirements. Our research contributes to the ongoing efforts toward achieving a more sustainable and efficient ICT sector.


title: Highly unusual, doubly-strongly-correlated, altermagnetic, 3D analogue of parent compounds of high-Tc cuprates

abstract: Discovery of high-temperature superconductivity (HTSC) in strongly correlated cuprates opened a new chapter in condensed matter physics, breaking existing stereotypes of what is a material base for a good superconductor ("Matthias rules"), at the same time emphasizing richness and challenge of strongly correlated physics, personified by the most strongly correlated 3d ion, Cu2+. A recently reported new compound, CuAg(SO4)2, combines in a fascinating way the same ion with the most strongly correlated 4d one, Ag2+. In this Letter, we present a detailed analysis of electronic and magnetic properties of this material, and show that it is very different from the HTSC cuprates in several different ways, and opens a door into further research of superconductivity and magnetism, in particular altermagnetism, in strongly correlated materials.


title: Exploring Interactive Color Palettes for Abstraction-Driven Exploratory Image Colorization

abstract: Color design is essential in areas such as product, graphic, and fashion design. However, current tools like Photoshop, with their concrete-driven color manipulation approach, often stumble during early ideation, favoring polished end results over initial exploration. We introduced Mondrian as a test-bed for abstraction-driven approach using interactive color palettes for image colorization. Through a formative study with six design experts, we selected three design options for visual abstractions in color design and developed Mondrian where humans work with abstractions and AI manages the concrete aspects. We carried out a user study to understand the benefits and challenges of each abstraction format and compare the Mondrian with Photoshop. A survey involving 100 participants further examined the influence of each abstraction format on color composition perceptions. Findings suggest that interactive visual abstractions encourage a non-linear exploration workflow and an open mindset during ideation, thus providing better creative affordance.


title: Parametric multi-element coupling architecture for coherent and dissipative control of superconducting qubits

abstract: As systems for quantum computing keep growing in size and number of qubits, challenges in scaling the control capabilities are becoming increasingly relevant. Efficient schemes to simultaneously mediate coherent interactions between multiple quantum systems and to reduce decoherence errors can minimize the control overhead in next-generation quantum processors. Here, we present a superconducting qubit architecture based on tunable parametric interactions to perform two-qubit gates, reset, leakage recovery and to read out the qubits. In this architecture, parametrically driven multi-element couplers selectively couple qubits to resonators and neighbouring qubits, according to the frequency of the drive. We consider a system with two qubits and one readout resonator interacting via a single coupling circuit and experimentally demonstrate a controlled-Z gate with a fidelity of $98.30\pm 0.23 \%$, a reset operation that unconditionally prepares the qubit ground state with a fidelity of $99.80\pm 0.02 \%$ and a leakage recovery operation with a $98.5\pm 0.3 \%$ success probability. Furthermore, we implement a parametric readout with a single-shot assignment fidelity of $88.0\pm 0.4 \%$. These operations are all realized using a single tunable coupler, demonstrating the experimental feasibility of the proposed architecture and its potential for reducing the system complexity in scalable quantum processors.


title: On nu Faces of Partial Alternating Sign Matrix Polytopes

abstract: We define and study the $(\nu / \lambda)$-partial alternating sign matrix polytope, motivated by connections to the Chan-Robbins-Yuen polytope and the $\nu$-Tamari lattice. We determine the inequality description and show this polytope is a face of the partial alternating sign matrix polytope of [Heuer, Striker 2022]. We show that the $(\nu / \lambda)$-partial ASM polytope is an order polytope and a flow polytope.


title: Perfect codes in circulant graphs of degree $p^l-1$

abstract: A perfect code in a graph is an independent set of the graph such that every vertex outside the set is adjacent to exactly one vertex in the set. A circulant graph is a Cayley graph of a cyclic group. In this paper we study perfect codes in circulant graphs of degree $p^l - 1$, where $p$ is a prime and $l \ge 1$. We obtain a necessary and sufficient condition for such a circulant graph to admit perfect codes, give a construction of all such circulant graphs which admit perfect codes, and prove a lower bound on the number of distinct perfect codes in such a circulant graph. This extends known results for the case $l=1$ and provides insight on the general problem on the existence and structure of perfect codes in circulant graphs.


title: Effects of AB-flux and gap on magnetic graphene quantum dots

abstract: We consider magnetic graphene quantum dots (MGQDs) and study the impact of the Aharonov-Bohm (AB) flux and gap on the scattering process of electrons. Our emphasis is on the finite lifetimes of quasi-bound states arising from the interaction between electrons and the magnetic field within the dot. Initially, we calculate the scattering coefficients, scattering efficiency, and probability density by ensuring the continuity of eigenspinors at the boundary of MGQD. The results indicate that as the gap increases, the quasi-bound states reach higher maxima. We show that an increase in AB-flux leads to a generation of quasi-bound states requiring less magnetic field, and the scattering efficiency starts to take non-zero values at smaller MGQD sizes. The analysis of probability density shows that the quasi-bound states, corresponding to non-resonantly excited scattering modes, exhibit a significant improvement in the concentrated density at MGQD. The improvement is a result of reducing the diffraction phenomenon and suppressing the Klein effect through an increase in AB-flux and gap. This increases the probability of retaining the electron for a longer period of time.


title: Factorization of anti-linear and $C$-normal operators

abstract: A conjugation $C$ is an anti-linear isometric involution on a complex Hilbert space $\clh$, and $T\in \clb(\clh)$ is conjugate normal if $T^*T = CTT^*C$ holds for some conjugation (C). In this paper, we provide a factorization and range inclusion theorem for anti-linear operators, and consequently, establish the polar decomposition for anti-linear operators by applying the Douglas theorem on majorization of Hilbert space operators. Moreover, we present a factorization of $C$-normal operators based on the polar decomposition. Lastly, we study the Cartesian decomposition of conjugate normal operators, thereby expanding the results in [18].


title: On the blow-up scenario for some modified Serre-Green-Naghdi equations

abstract: The present paper deals with a modified Serre-Green-Naghdi (mSGN) system that has been introduced by Clamond et al. to improve the dispersion relation. We present a precise blow-up scenario of the mSGN equations and we prove the existence of a class of solutions that develop singularities in finite time. All the presented results hold also for the Serre-Green-Naghdi system with weak surface tension.


title: Parabolic subgroups of complex braid groups: the remaining case

abstract: Recently, Marin and Gonz\'alez-Meneses introduced a class of ``parabolic'' subgroups for generalized braid groups associated to arbitrary complex reflection groups. Using notably Garside group structures on these generalized braid groups, they proved general results on parabolic subgroups for all cases but one. This last case is that of the complex braid group B(G31), which has no Garside group structure known so far, but instead a Garside groupoid structure. Using this Garside groupoid structure, we complete the results of Marin and Gonz\'alez-Meneses by proving their main theorems for the parabolic subgroups of the complex braid group B(G31).


title: Unknown Biases and Timing Constraints in Timed Automata

abstract: Timed automata are the formal model for real-time systems. Extensions with discrete probabilistic branching have been considered in the literature and successfully applied. Probabilistic timed automata (PTA) do require all branching probabilities and clock constraints to be constants. This report investigates PTA in which this constraint is relaxed: both branching probabilities and clock constraints can be parametric. We formally define this PTA variant and define its semantics by an uncountable parametric Markov Decision Process (pMDP). We show that reachability probabilities in parametric L/U-PTA can be reduced to considering PTA with only parametric branching probabilities. This enables the usage of existing techniques from the literature. Finally, we generalize the symbolic backward and digital clock semantics of PTA to the setting with parametric probabilities and constraints.


title: Perceptive self-supervised learning network for noisy image watermark removal

abstract: Popular methods usually use a degradation model in a supervised way to learn a watermark removal model. However, it is true that reference images are difficult to obtain in the real world, as well as collected images by cameras suffer from noise. To overcome these drawbacks, we propose a perceptive self-supervised learning network for noisy image watermark removal (PSLNet) in this paper. PSLNet depends on a parallel network to remove noise and watermarks. The upper network uses task decomposition ideas to remove noise and watermarks in sequence. The lower network utilizes the degradation model idea to simultaneously remove noise and watermarks. Specifically, mentioned paired watermark images are obtained in a self supervised way, and paired noisy images (i.e., noisy and reference images) are obtained in a supervised way. To enhance the clarity of obtained images, interacting two sub-networks and fusing obtained clean images are used to improve the effects of image watermark removal in terms of structural information and pixel enhancement. Taking into texture information account, a mixed loss uses obtained images and features to achieve a robust model of noisy image watermark removal. Comprehensive experiments show that our proposed method is very effective in comparison with popular convolutional neural networks (CNNs) for noisy image watermark removal. Codes can be obtained at https://github.com/hellloxiaotian/PSLNet.


title: Constraint Satisfaction Problems with Advice

abstract: We initiate the study of algorithms for constraint satisfaction problems with ML oracle advice. We introduce two models of advice and then design an approximation algorithm for Max Cut and Max 2-Lin in these models.


title: Anisotropy of strain and crystal deformations of partially relaxed InGaN layers grown on misoriented (0001)-GaN substrates

abstract: Strain relaxation of thick InGaN layers was studied in order to develop technology of InGaN templates for deposition of InGaN Quantum Wells (QWs) and InGaN layers of high-In-content. In this paper, we show that InGaN layers grown on misoriented (0001)-GaN substrates relax by preferential activation of certain glide planes for misfit dislocation formation. Substrate misorientation changes resolved shear stresses, affecting the distribution of misfit dislocations within each dislocation set. We demonstrate that this mechanism leads to an anisotropic strain as well as a tilt of the InGaN layer with respect to the GaN substrate. It appears that these phenomena are more pronounced in structures grown on substrates misoriented toward <11-20> direction than corresponding structures with <-1100> misorientation. These features would influence the properties of the overgrown InGaN QWs and should be taken into consideration during designing structures grown on relaxed InGaN templates. We reveal that the lattice of partially relaxed InGaN has a triclinic deformation, thus requiring advanced XRD analysis. The presentation of just a single asymmetric reciprocal space map commonly practiced in the literature can lead to misleading information regarding the relaxation state of partially relaxed wurtzite structures.


title: Global weak solutions of the Serre-Green-Naghdi equations with surface tension

abstract: We consider in this paper the Serre--Green--Naghdi equations with surface tension. Smooth solutions of this system conserve an $H^1$-equivalent energy. We prove the existence of global weak dissipative solutions for any relatively small-energy initial data. We also prove that the Riemann invariants of the solutions satisfy a one-sided Oleinik inequality.


title: Joint Parameter and Parameterization Inference with Uncertainty Quantification through Differentiable Programming

abstract: Accurate representations of unknown and sub-grid physical processes through parameterizations (or closure) in numerical simulations with quantified uncertainty are critical for resolving the coarse-grained partial differential equations that govern many problems ranging from weather and climate prediction to turbulence simulations. Recent advances have seen machine learning (ML) increasingly applied to model these subgrid processes, resulting in the development of hybrid physics-ML models through the integration with numerical solvers. In this work, we introduce a novel framework for the joint estimation of physical parameters and machine learning parameterizations with uncertainty quantification. Our framework incorporates online training and efficient Bayesian inference within a high-dimensional parameter space, facilitated by differentiable programming. This proof of concept underscores the substantial potential of differentiable programming in synergistically combining machine learning with differential equations, thereby enhancing the capabilities of hybrid physics-ML modeling.


title: Optimizing the Energetics of the Finite-time Driving of Field Theories

abstract: The phase transitions for many-body systems have been understood using field theories. A few canonical physical model classes encapsulate the underlying physical properties of a large number of systems. The finite-time driving of such systems and associated optimal energetic costs have not been investigated yet. We consider two universality classes Model A and Model B, that describe the dynamics for the non-conserved and conserved scalar order parameters respectively. Here, using the recent developments in stochastic thermodynamics and optimal transport theory, we analytically compute the optimal driving protocols by minimizing the mean stochastic work required for finite-time driving. Further, we numerically optimize the mean and variance of the stochastic work simultaneously. Such a multi-objective optimization is called a Pareto optimization problem and its optimal solution is a Pareto front. We discover a first-order Pareto phase transition in the Pareto front. Physically, it corresponds to the coexistence of two classes of optimal driving protocols analogous to the liquid-gas coexistence for the equilibrium phase transition. Our framework sheds light on the finite-time optimal driving of the fields and the trade-off between the mean and fluctuations of the optimal work.


title: DragTex: Generative Point-Based Texture Editing on 3D Mesh

abstract: Creating 3D textured meshes using generative artificial intelligence has garnered significant attention recently. While existing methods support text-based generative texture generation or editing on 3D meshes, they often struggle to precisely control pixels of texture images through more intuitive interaction. While 2D images can be edited generatively using drag interaction, applying this type of methods directly to 3D mesh textures still leads to issues such as the lack of local consistency among multiple views, error accumulation and long training times. To address these challenges, we propose a generative point-based 3D mesh texture editing method called DragTex. This method utilizes a diffusion model to blend locally inconsistent textures in the region near the deformed silhouette between different views, enabling locally consistent texture editing. Besides, we fine-tune a decoder to reduce reconstruction errors in the non-drag region, thereby mitigating overall error accumulation. Moreover, we train LoRA using multi-view images instead of training each view individually, which significantly shortens the training time. The experimental results show that our method effectively achieves dragging textures on 3D meshes and generates plausible textures that align with the desired intent of drag interaction.


title: On a Hamiltonian regularization of scalar conservation laws

abstract: In this paper, we propose a Hamiltonian regularization of scalar conservation laws, which is parametrized by $\ell > 0$ and conserves an $H^1$ energy. We prove the existence of global weak solutions for this regularization. Furthermore, we demonstrate that as $\ell$ approaches zero, the unique entropy solution of the original scalar conservation law is recovered, providing justification for the regularization. This regularization belongs to a family of non-diffusive, non-dispersive regularizations that were initially developed for the shallow-water system and extended later to the Euler system. This paper represents a validation of this family of regularizations in the scalar case.


title: On the integrality of \'etale extensions of polynomial rings

abstract: Motivated by a valuation theorem, recently obtained by Rangachev, we study the \'etale extensions $A\subset B$ of polynomial rings over an algebraically closed field of characteristic zero, such that the integral closure $\overline{A}$ is a primary $\overline{A}$-submodule of $B$. We prove that in this case $\overline{A}$ has infinite cyclic divisor class group, where the generator is a prime divisor equal to the complement of $\textrm{Spec}(B)$ in $\textrm{Spec}(\overline{A})$. Moreover, this prime divisor coincides with the ramification divisor of the finite extension $A\subset \overline{A}$. In this situation we carry out Wright's geometric approach for two-dimensional non-integral \'etale extensions. It follows from the work of Miyanishi that $\textrm{Spec}(\overline{A})$ is a smooth affine surface. We show that $\textrm{Spec}(\overline{A})$ is an $\mathbb{A}^{1}$-bundle over $\mathbb{P}^{1}$, more precisely a Danilov-Gizatullin surface of index three. Based on Wright's analysis of which of these affine surfaces can factorize an \'etale morphism of the complex affine plane and his description of its affine coordinate rings, we prove that under the strong assumption that $\overline{A}$ is always a primary $\overline{A}$-submodule of $B$, any two-dimensional complex \'etale extension is integral.


title: Emergence of Multivariate Extremes in Multilayer Inhomogeneous Random Graphs

abstract: In this paper, we propose a multilayer inhomogeneous random graph model (MIRG), whose layers may consist of both single-edge and multi-edge graphs. In the single layer case, it has been shown that the regular variation of the weight distribution underlying the inhomogeneous random graph implies the regular variation of the typical degree distribution. We extend this correspondence to the multilayer case by showing that the multivariate regular variation of the weight distribution implies the multivariate regular variation of the asymptotic degree distribution. Furthermore, in certain circumstances, the extremal dependence structure present in the weight distribution will be adopted by the asymptotic degree distribution. By considering the asymptotic degree distribution, a wider class of Chung-Lu and Norros-Reittu graphs may be incorporated into the MIRG layers. Additionally, we prove consistency of the Hill estimator when applied to degrees of the MIRG that have a tail index greater than 1. Simulation results indicate that, in practice, hidden regular variation may be consistently detected from an observed MIRG.

categories: math.PR cs.SI math.ST physics.soc-ph stat.TH


title: TPLLM: A Traffic Prediction Framework Based on Pretrained Large Language Models

abstract: Traffic prediction constitutes a pivotal facet within the purview of Intelligent Transportation Systems (ITS), and the attainment of highly precise predictions holds profound significance for efficacious traffic management. The precision of prevailing deep learning-driven traffic prediction models typically sees an upward trend with a rise in the volume of training data. However, the procurement of comprehensive spatiotemporal datasets for traffic is often fraught with challenges, primarily stemming from the substantial costs associated with data collection and retention. Consequently, developing a model that can achieve accurate predictions and good generalization ability in areas with limited historical traffic data is a challenging problem. It is noteworthy that the rapidly advancing pretrained Large Language Models (LLMs) of recent years have demonstrated exceptional proficiency in cross-modality knowledge transfer and few-shot learning. Recognizing the sequential nature of traffic data, similar to language, we introduce TPLLM, a novel traffic prediction framework leveraging LLMs. In this framework, we construct a sequence embedding layer based on Convolutional Neural Networks (CNNs) and a graph embedding layer based on Graph Convolutional Networks (GCNs) to extract sequence features and spatial features, respectively. These are subsequently integrated to form inputs that are suitable for LLMs. A Low-Rank Adaptation (LoRA) fine-tuning approach is applied to TPLLM, thereby facilitating efficient learning and minimizing computational demands. Experiments on two real-world datasets demonstrate that TPLLM exhibits commendable performance in both full-sample and few-shot prediction scenarios, effectively supporting the development of ITS in regions with scarce historical traffic data.


title: Neutron star cooling and mass distributions

abstract: We study the cooling of isolated neutron stars, employing different nuclear equations of state with or without active direct Urca process, and investigate the interplay with the nuclear pairing gaps. We find that a consistent description of all current cooling data requires fast direct Urca cooling and reasonable proton 1S0 gaps, but no neutron 3P2 pairing. We then deduce the neutron star mass distributions compatible with the cooling analysis and compare with current theoretical models. Reduced 1S0 gaps and unimodal mass distributions are preferred by the analysis. The importance of statistical and systematic errors is also investigated.