title: Communication-Constrained STL Task Decomposition through Convex Optimization

abstract: In this work, we propose a method to decompose signal temporal logic (STL) tasks for multi-agent systems subject to constraints imposed by the communication graph. Specifically, we propose to decompose tasks defined over multiple agents which require multi-hop communication, by a set of sub-tasks defined over the states of agents with 1-hop distance over the communication graph. To this end, we parameterize the predicates of the tasks to be decomposed as suitable hyper-rectangles. Then, we show that by solving a constrained convex optimization, optimal parameters maximising the volume of the predicate's super-level sets can be computed for the decomposed tasks. In addition, we provide a formal definition of conflicting conjunctions of tasks for the considered STL fragment and a formal procedure to exclude such conjunctions from the solution set of possible decompositions. The proposed approach is demonstrated through simulations.


title: An Extension of Glasser's Master Theorem and a Collection of Improper Integrals Many of Which Involve Riemann's Zeta Function

abstract: Glasser's Master Theorem arXiv:1308.6361v2 is essentially a restatement of Cauchy's integral Theorem reduced to a specialized form. Here we extend that theorem by introducing two new parameters, but still retain a simple form. Because of wide interest in entities involving Riemann's zeta function, the focus is on the evaluation of improper integrals with almost arbitrary integrands involving that function, but we also consider some other instances, the purpose being to demonstrate the power of the extended theorem. This is achieved by the presentation of a large number of examples that illustrate the ubiquity of the range of possibilities. One simple outcome of the study is the use of the extended theorem to show how it is possible to evaluate an integral when series or other representations of an integrand function do not converge.


title: Instance-aware Exploration-Verification-Exploitation for Instance ImageGoal Navigation

abstract: As a new embodied vision task, Instance ImageGoal Navigation (IIN) aims to navigate to a specified object depicted by a goal image in an unexplored environment. The main challenge of this task lies in identifying the target object from different viewpoints while rejecting similar distractors. Existing ImageGoal Navigation methods usually adopt the simple Exploration-Exploitation framework and ignore the identification of specific instance during navigation. In this work, we propose to imitate the human behaviour of ``getting closer to confirm" when distinguishing objects from a distance. Specifically, we design a new modular navigation framework named Instance-aware Exploration-Verification-Exploitation (IEVE) for instance-level image goal navigation. Our method allows for active switching among the exploration, verification, and exploitation actions, thereby facilitating the agent in making reasonable decisions under different situations. On the challenging HabitatMatterport 3D semantic (HM3D-SEM) dataset, our method surpasses previous state-of-the-art work, with a classical segmentation model (0.684 vs. 0.561 success) or a robust model (0.702 vs. 0.561 success)


title: Chronicles of CI/CD: A Deep Dive into its Usage Over Time

abstract: DevOps is a combination of methodologies and tools that improves the software development, build, deployment, and monitoring processes by shortening its lifecycle and improving software quality. Part of this process is CI/CD, which embodies mostly the first parts, right up to the deployment. Despite the many benefits of DevOps and CI/CD, it still presents many challenges promoted by the tremendous proliferation of different tools, languages, and syntaxes, which makes the field quite challenging to learn and keep up to date. Software repositories contain data regarding various software practices, tools, and uses. This data can help gather multiple insights that inform technical and academic decision-making. GitHub is currently the most popular software hosting platform and provides a search API that lets users query its repositories. Our goal with this paper is to gain insights into the technologies developers use for CI/CD by analyzing GitHub repositories. Using a list of the state-of-the-art CI/CD technologies, we use the GitHub search API to find repositories using each of these technologies. We also use the API to extract various insights regarding those repositories. We then organize and analyze the data collected. From our analysis, we provide an overview of the use of CI/CD technologies in our days, but also what happened in the last 12 years. We also show developers use several technologies simultaneously in the same project and that the change between technologies is quite common. From these insights, we find several research paths, from how to support the use of multiple technologies, both in terms of techniques, but also in terms of human-computer interaction, to aiding developers in evolving their CI/CD pipelines, again considering the various dimensions of the problem.


title: PLReMix: Combating Noisy Labels with Pseudo-Label Relaxed Contrastive Representation Learning

abstract: Recently, the application of Contrastive Representation Learning (CRL) in learning with noisy labels (LNL) has shown promising advancements due to its remarkable ability to learn well-distributed representations for better distinguishing noisy labels. However, CRL is mainly used as a pre-training technique, leading to a complicated multi-stage training pipeline. We also observed that trivially combining CRL with supervised LNL methods decreases performance. Using different images from the same class as negative pairs in CRL creates optimization conflicts between CRL and the supervised loss. To address these two issues, we propose an end-to-end PLReMix framework that avoids the complicated pipeline by introducing a Pseudo-Label Relaxed (PLR) contrastive loss to alleviate the conflicts between losses. This PLR loss constructs a reliable negative set of each sample by filtering out its inappropriate negative pairs that overlap at the top k indices of prediction probabilities, leading to more compact semantic clusters than vanilla CRL. Furthermore, a two-dimensional Gaussian Mixture Model (GMM) is adopted to distinguish clean and noisy samples by leveraging semantic information and model outputs simultaneously, which is expanded on the previously widely used one-dimensional form. The PLR loss and a semi-supervised loss are simultaneously applied to train on the GMM divided clean and noisy samples. Experiments on multiple benchmark datasets demonstrate the effectiveness of the proposed method. Our proposed PLR loss is scalable, which can be easily integrated into other LNL methods and boost their performance. Codes will be available.


title: Double, double, toil, and trouble: The tails, bubbles, and knots of the local compact obscured nucleus galaxy NGC4418

abstract: Compact obscured nuclei (CONs) are an extremely obscured (N$_{H2}$ >10$^{25}$ cm$^{-2}$) class of galaxy nuclei thought to exist in 20-40 per cent of nearby (ultra-)luminous infrared galaxies. While they have been proposed to represent a key phase of the active galactic nucleus (AGN) feedback cycle, the nature of these CONs - what powers them, their dynamics, and their impact on the host galaxy - remains unknown. This work analyses the large-scale optical properties of the local CON, NGC4418 (z=0.00727). We present new, targeted integral field unit observations of the galaxy with the Multi-Unit Spectroscopic Explorer (MUSE). For the first time, we map the ionised and neutral gas components of the galaxy, along with their dynamical structure, to reveal several previously unknown features of the galaxy. We confirm the presence of a previously postulated blueshifted outflow along the minor axis of NGC4418. We find this outflow to be decelerating and, for the first time, show it to extend bilaterally from the nucleus. We report the discovery of two further outflow structures: a redshifted southern outflow connected to a tail of ionised gas surrounding the galaxy and a blueshifted bubble to the north. In addition to these features, we find the [OIII] emission reveals the presence of knots across the galaxy, which are consistent with regions of the galaxy that have been photoionised by an AGN. Based on the properties of these features, we conclude that the CON in NGC4418 is most likely powered by AGN activity.


title: Extrapolating the projected potential of gravitational lens models: property-preserving degeneracies

abstract: While gravitational lens inversion holds great promise to reveal the structure of the light-deflecting mass distribution, both light and dark, the existence of various kinds of degeneracies implies that care must be taken when interpreting the resulting lens models. This article illustrates how thinking in terms of the projected potential helps to gain insight into these matters. Additionally it is shown explicitly how, when starting from a discretised version of the projected potential of one particular lens model, the technique of quadratic programming can be used to create a multitude of equivalent lens models that preserve all or a subset of lens properties. This method is applied to a number of scenarios, showing the lack of grasp on the mass outside the strong lensing region, revisiting mass redistribution in between images and applying this to a recent model of the SDSS J1004+4112 cluster, as well as illustrating the generalised mass sheet degeneracy and source-position transformation. In the case of J1004 we show that this mass redistribution did not succeed at completely eliminating a dark mass clump recovered by GRALE near one of the quasar images.


title: Three Warm Jupiters around Solar-analog stars detected with TESS

abstract: We report the discovery and characterization of three giant exoplanets orbiting solar-analog stars, detected by the \tess space mission and confirmed through ground-based photometry and radial velocity (RV) measurements taken at La Silla observatory with \textit{FEROS}. TOI-2373\,b is a warm Jupiter orbiting its host star every $\sim$ 13.3 days, and is one of the two most massive known exoplanet with a precisely determined mass and radius around a star similar to the Sun, with an estimated mass of m$_p$ = $9.3^{+0.2}_{-0.2}\,M_{\mathrm{jup}}$, and a radius of $r_p$ = $0.93^{+0.2}_{-0.2}\,R_{\mathrm{jup}}$. With a mean density of $\rho = 14.4^{+0.9}_{-1.0}\,\mathrm{g\,cm}^{-3}$, TOI-2373\,b is among the densest planets discovered so far. TOI-2416\,b orbits its host star on a moderately eccentric orbit with a period of $\sim$ 8.3 days and an eccentricity of $e$ = $0.32^{+0.02}_{-0.02}$. TOI-2416\,b is more massive than Jupiter with $m_p$ = 3.0$^{+0.10}_{-0.09}\,M_{\mathrm{jup}}$, however is significantly smaller with a radius of $r_p$ = $0.88^{+0.02}_{-0.02},R_{\mathrm{jup}}$, leading to a high mean density of $\rho = 5.4^{+0.3}_{-0.3}\,\mathrm{g\,cm}^{-3}$. TOI-2524\,b is a warm Jupiter near the hot Jupiter transition region, orbiting its star every $\sim$ 7.2 days on a circular orbit. It is less massive than Jupiter with a mass of $m_p$ = $0.64^{+0.04}_{-0.04}\,M_{\mathrm{jup}}$, and is consistent with an inflated radius of $r_p$ = $1.00^{+0.02}_{-0.03}\,R_{\mathrm{jup}}$, leading to a low mean density of $\rho = 0.79^{+0.08}_{-0.08}\,\mathrm{g\,cm}^{-3}$. The newly discovered exoplanets TOI-2373\,b, TOI-2416\,b, and TOI-2524\,b have estimated equilibrium temperatures of $860^{+10}_{-10}$ K, $1080^{+10}_{-10}$ K, and $1100^{+20}_{-20}$ K, respectively, placing them in the sparsely populated transition zone between hot and warm Jupiters.


title: Autonomous Shuttle Operation for Vulnerable Populations: Lessons and Experiences

abstract: The increasing shortage of drivers poses a significant threat to vulnerable populations, particularly seniors and disabled individuals who heavily depend on public transportation for accessing healthcare services and social events. Autonomous Vehicles (AVs) emerge as a promising alternative, offering potential improvements in accessibility and independence for these groups. However, current designs and studies often overlook the unique needs and experiences of these populations, leading to potential accessibility barriers. This paper presents a detailed case study of an autonomous shuttle test specifically tailored for seniors and disabled individuals, conducted during the early stages of the COVID-19 pandemic. The service, which lasted 13 weeks, catered to approximately 1500 passengers in an urban setting, aiming to facilitate access to essential services. Drawing from the safety operator's experiences and direct observations, we identify critical user experience and safety challenges faced by vulnerable passengers. Based on our findings, we propose targeted initiatives to enhance the safety, accessibility, and user education of AV technology for seniors and disabled individuals. These include increasing educational opportunities to familiarize these groups with AV technology, designing AVs with a focus on diversity and inclusion, and improving training programs for AV operators to address the unique needs of vulnerable populations. Through these initiatives, we aim to bridge the gap in AV accessibility and ensure that these technologies benefit all members of society.


title: Origin of magnetic switching cascades in tetrahedral CoFe nanostructures

abstract: We present a comprehensive study of small-scale three-dimensional (3D) tetrahedral CoFe nanostructure arrays prepared by focused electron beam-induced deposition (FEBID) and placed in two distinct orientations with respect to the direction of an external magnetic field. Using ultra-sensitive micro-Hall magnetometry we obtain angular-dependent magnetic stray field hysteresis loops that show characteristic cascading magnetic switching close to zero magnetic field. By employing micromagnetic simulations we could reproduce the hysteresis loops and identify characteristic field dependent magnetic configurations including a vortex-type groundstate. From this we derive a coarse-graining macrospin model and show that the complex switching behavior can be explained by the reorientation dynamics of non-interacting uniaxial anisotropic magnetic grains modeled as a superposition of Stoner-Wohlfarth particles.


title: Implicit Regularization via Spectral Neural Networks and Non-linear Matrix Sensing

abstract: The phenomenon of implicit regularization has attracted interest in recent years as a fundamental aspect of the remarkable generalizing ability of neural networks. In a nutshell, it entails that gradient descent dynamics in many neural nets, even without any explicit regularizer in the loss function, converges to the solution of a regularized learning problem. However, known results attempting to theoretically explain this phenomenon focus overwhelmingly on the setting of linear neural nets, and the simplicity of the linear structure is particularly crucial to existing arguments. In this paper, we explore this problem in the context of more realistic neural networks with a general class of non-linear activation functions, and rigorously demonstrate the implicit regularization phenomenon for such networks in the setting of matrix sensing problems, together with rigorous rate guarantees that ensure exponentially fast convergence of gradient descent.In this vein, we contribute a network architecture called Spectral Neural Networks (abbrv. SNN) that is particularly suitable for matrix learning problems. Conceptually, this entails coordinatizing the space of matrices by their singular values and singular vectors, as opposed to by their entries, a potentially fruitful perspective for matrix learning. We demonstrate that the SNN architecture is inherently much more amenable to theoretical analysis than vanilla neural nets and confirm its effectiveness in the context of matrix sensing, via both mathematical guarantees and empirical investigations. We believe that the SNN architecture has the potential to be of wide applicability in a broad class of matrix learning scenarios.


title: Corridor MPC for Multi-Agent Inspection of Orbiting Structures

abstract: In this work, we propose an extension of the previously introduced Corridor Model Predictive Control scheme for high-order and distributed systems, with an application for on-orbit inspection. To this end, we leverage high order control barrier function (HOCBF) constraints as a suitable control approach to maintain each agent in the formation within a safe corridor from its reference trajectory. The recursive feasibility of the designed MPC scheme is tested numerically, while suitable modifications of the classical HOCBF constraint definition are introduced such that safety is guaranteed both in sampled and continuous time. The designed controller is validated through computer simulation in a realistic inspection scenario of the International Space Station.


title: A duality for nonabelian group codes

abstract: In 1962, Jesse MacWilliams published a set of formulas for linear and abelian group codes that among other applications, were incredibly valuable in the study of self-dual codes. Now called the MacWilliams Identities, her results relate the weight enumerator and complete weight enumerator of a code to those of its dual code. A similar set of MacWilliams identities has been proven to exist for many other types of codes. In 2013, Dougherty, Sol\'{e}, and Kim published a list of fundamental open questions in coding theory. Among them, Open Question 4.3: "Is there a duality and MacWilliams formula for codes over non-Abelian groups?" In this paper, we propose a duality for nonabelian group codes in terms of the irreducible representations of the group. We show that there is a Greene's Theorem and MacWilliams Identities which hold for this notion of duality. When the group is abelian, our results are equivalent to existing formulas in the literature.


title: Optimal shielding for Einstein gravity

abstract: To construct asymptotically-Euclidean Einstein's initial data sets, we introduce the localized seed-to-solution method, which projects from approximate to exact solutions of the Einstein constraints. The method enables us to glue together initial data sets in multiple asymptotically-conical regions, and in particular construct data sets that exhibit the gravity shielding phenomenon, specifically that are localized in a cone and exactly Euclidean outside of it. We achieve optimal shielding in the sense that the metric and extrinsic curvature { are controlled at a super-harmonic rate, regardless of how slowly they decay (even} beyond the standard ADM formalism), and the gluing domain can be a collection of arbitrarily narrow nested cones. We also uncover several notions of independent interest: silhouette functions, localized ADM modulator, and relative energy-momentum vector. An axisymmetric example is provided numerically.


title: DAGnosis: Localized Identification of Data Inconsistencies using Structures

abstract: Identification and appropriate handling of inconsistencies in data at deployment time is crucial to reliably use machine learning models. While recent data-centric methods are able to identify such inconsistencies with respect to the training set, they suffer from two key limitations: (1) suboptimality in settings where features exhibit statistical independencies, due to their usage of compressive representations and (2) lack of localization to pin-point why a sample might be flagged as inconsistent, which is important to guide future data collection. We solve these two fundamental limitations using directed acyclic graphs (DAGs) to encode the training set's features probability distribution and independencies as a structure. Our method, called DAGnosis, leverages these structural interactions to bring valuable and insightful data-centric conclusions. DAGnosis unlocks the localization of the causes of inconsistencies on a DAG, an aspect overlooked by previous approaches. Moreover, we show empirically that leveraging these interactions (1) leads to more accurate conclusions in detecting inconsistencies, as well as (2) provides more detailed insights into why some samples are flagged.


title: Sustained Robust Exciton Emission in Suspended Monolayer WSe_2 within the Low Carrier Density Regime for Quantum Emitter Applications

abstract: The development of semiconductor optoelectronic devices is moving toward low power consumption and miniaturization, especially for high-efficiency quantum emitters. However, most of these quantum sources work at low carrier density region, where the Shockley-Read-Hall recombination may dominant and seriously reduce the emission efficiency. In order to diminish the affection of carrier trapping and sustain a strong photoluminescence emission under low power pumping condition, we investigated on the influence of Suspending to monolayered tungsten diselenide, novel two-dimensional quantum material. Not only the PL intensity, but also the fundamental photoluminescence quantum yield has exhibited a huge, order-scale enhancement through suspending, even surprisingly, we found the PLQY improvement revealed far significantly under small pumping power and came out an exponential increase tendency toward even lower carrier density region. With its strong excitonic effect, suspended WSe_2 offers a solution to reduce carrier trapping and participate in non-radiative processes. Moreover, in the low-power range where SRH recombination dominates, suspended WSe_2 exhibited remarkably higher percentage of excitonic radiation compared to contacted WSe_2. Herein, we quantitatively demonstrate the significance of suspended WSe_2 monolayer at low carrier density region, highlighting its potential for developing compact, low-power quantum emitters in the future.


title: Advancing sleep detection by modelling weak label sets: A novel weakly supervised learning approach

abstract: Understanding sleep and activity patterns plays a crucial role in physical and mental health. This study introduces a novel approach for sleep detection using weakly supervised learning for scenarios where reliable ground truth labels are unavailable. The proposed method relies on a set of weak labels, derived from the predictions generated by conventional sleep detection algorithms. Introducing a novel approach, we suggest a novel generalised non-linear statistical model in which the number of weak sleep labels is modelled as outcome of a binomial distribution. The probability of sleep in the binomial distribution is linked to the outcomes of neural networks trained to detect sleep based on actigraphy. We show that maximizing the likelihood function of the model, is equivalent to minimizing the soft cross-entropy loss. Additionally, we explored the use of the Brier score as a loss function for weak labels. The efficacy of the suggested modelling framework was demonstrated using the Multi-Ethnic Study of Atherosclerosis dataset. A \gls{lstm} trained on the soft cross-entropy outperformed conventional sleep detection algorithms, other neural network architectures and loss functions in accuracy and model calibration. This research not only advances sleep detection techniques in scenarios where ground truth data is scarce but also contributes to the broader field of weakly supervised learning by introducing innovative approach in modelling sets of weak labels.


title: Classification Theorem For Positive Critical Points Of Sobolev Trace Inequality

abstract: We consider the Euler-Lagrange equation of Sobolev trace inequality and prove several classification results. Exploiting the moving sphere method, it has been shown, when $p=2$, positive solutions of Euler-Lagrange equation of Sobolev trace inequality are classified. Since the moving sphere method strongly relies on the symmetries of the equation, in this paper we use asymptotic estimates and two important integral identities to classify positive solutions of Euler-Langrange equation of Sobolev trace inequality under finite energy when $1<p<n$.


title: TRIPs-Py: Techniques for Regularization of Inverse Problems in Python

abstract: In this paper, we describe TRIPs-Py, a new Python package of linear discrete inverse problems solvers and test problems. The goal of the package is two-fold: 1) to provide tools for solving small and large-scale inverse problems, and 2) to introduce test problems arising from a wide range of applications. The solvers available in TRIPs-Py include direct regularization methods (such as truncated singular value decomposition and Tikhonov) and iterative regularization techniques (such as Krylov subspace methods and recent solvers for $\ell_p$-$\ell_q$ formulations, which enforce sparse or edge-preserving solutions and handle different noise types). All our solvers have built-in strategies to define the regularization parameter(s). Some of the test problems in TRIPs-Py arise from simulated image deblurring and computerized tomography, while other test problems model realistic problems in dynamic computerized tomography. Numerical examples are included to illustrate the usage as well as the performance of the described methods on the provided test problems. To the best of our knowledge, TRIPs-Py is the first Python software package of this kind, which may serve both research and didactical purposes.


title: Equivariant ideals of polynomials

abstract: We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming variables. First, we give a sufficient and necessary condition for A to guarantee the following generalisation of Hilbert's Basis Theorem: every polynomial ideal which is equivariant, i.e. invariant under renaming of variables, is finitely generated. Second, we develop an extension of classical Buchberger's algorithm to compute a Gr\"obner basis of a given equivariant ideal. This implies decidability of the membership problem for equivariant ideals. Finally, we sketch upon various applications of these results to register automata, Petri nets with data, orbit-finitely generated vector spaces, and orbit-finite systems of linear equations.


title: One-loop corrections in Maxwell-metric-affine bumblebee gravity

abstract: In this paper, we consider the coupling of the metric-affine bumblebee gravity to the Abelian gauge field and obtain the effective model corresponding to the weak gravity limit of this theory. The effective bumblebee theory displays new unconventional couplings between the bumblebee field and its field strength, and the $U(1)$ gauge field along with its respective field strength, as a result of the non-metricity effects. Thus, being a new gauge-bumblebee theory, it represents an example of vector-vector couplings which are very rarely considered, if not entirely overlooked, in the Abelian case. For this theory we calculate the lower perturbative corrections. We close the paper with discussions of other possible vector-vector couplings.


title: Learning Topological Representations with Bidirectional Graph Attention Network for Solving Job Shop Scheduling Problem

abstract: Existing learning-based methods for solving job shop scheduling problems (JSSP) usually use off-the-shelf GNN models tailored to undirected graphs and neglect the rich and meaningful topological structures of disjunctive graphs (DGs). This paper proposes the topology-aware bidirectional graph attention network (TBGAT), a novel GNN architecture based on the attention mechanism, to embed the DG for solving JSSP in a local search framework. Specifically, TBGAT embeds the DG from a forward and a backward view, respectively, where the messages are propagated by following the different topologies of the views and aggregated via graph attention. Then, we propose a novel operator based on the message-passing mechanism to calculate the forward and backward topological sorts of the DG, which are the features for characterizing the topological structures and exploited by our model. In addition, we theoretically and experimentally show that TBGAT has linear computational complexity to the number of jobs and machines, respectively, strengthening our method's practical value. Besides, extensive experiments on five synthetic datasets and seven classic benchmarks show that TBGAT achieves new SOTA results by outperforming a wide range of neural methods by a large margin. All the code and data are publicly available online at https://github.com/zcaicaros/TBGAT.


title: Radar Resource Management for Active Tracking Using Split-Aperture Phased Arrays

abstract: Flexible front-end technology will become available in future multifunction radar systems to improve adaptability to the operational theatre. A potential concept to utilize this flexibility is to subdivide radar tasks spatially over the array, the so-called split-aperture phased array (SAPA) concept. As radars are generally designed for their worst-case scenario, e.g., small targets at a large range, the power-aperture budget can be excessive for targets that do not fall within that class. To increase efficiency of the time budget of the radar front-end, the SAPA concept could be applied. In this paper, the SAPA concept is explored to assign radar resources for active tracking tasks of many targets. To do so, we formulate and solve the radar resource management problem for the SAPA concept by employing the quality of service based resource allocation model (Q-RAM) framework. It will be demonstrated by a simulation example that a radar can maintain a larger numbers of active tracking tasks when using the SAPA concept compared to the case that only the full array can be used per task.


title: Linguistic Knowledge Can Enhance Encoder-Decoder Models (If You Let It)

abstract: In this paper, we explore the impact of augmenting pre-trained Encoder-Decoder models, specifically T5, with linguistic knowledge for the prediction of a target task. In particular, we investigate whether fine-tuning a T5 model on an intermediate task that predicts structural linguistic properties of sentences modifies its performance in the target task of predicting sentence-level complexity. Our study encompasses diverse experiments conducted on Italian and English datasets, employing both monolingual and multilingual T5 models at various sizes. Results obtained for both languages and in cross-lingual configurations show that linguistically motivated intermediate fine-tuning has generally a positive impact on target task performance, especially when applied to smaller models and in scenarios with limited data availability.


title: Out-of-time-ordered correlators for Wigner matrices

abstract: We consider the time evolution of the out-of-time-ordered correlator (OTOC) of two general observables $A$ and $B$ in a mean field chaotic quantum system described by a random Wigner matrix as its Hamiltonian. We rigorously identify three time regimes separated by the physically relevant scrambling and relaxation times. The main feature of our analysis is that we express the error terms in the optimal Schatten (tracial) norms of the observables, allowing us to track the exact dependence of the errors on their rank. In particular, for significantly overlapping observables with low rank the OTOC is shown to exhibit a significant local maximum at the scrambling time, a feature that may not have been noticed in the physics literature before. Our main tool is a novel multi-resolvent local law with Schatten norms that unifies and improves previous local laws involving either the much cruder operator norm (cf. [G. Cipolloni, L. Erd\H{o}s, D. Schr\"oder. Elect. J. Prob. 27, 1-38, 2022]) or the Hilbert-Schmidt norm (cf. [G. Cipolloni, L. Erd\H{o}s, D. Schr\"oder. Forum Math., Sigma 10, E96, 2022]).


title: Spectral properties of two-dimensional half-space semi-Dirac semi-metals

abstract: The paper deals with the semi-Dirac operator in a half-space arising in the description of quasiparticles in quantum mechanics as well as in semi-metals materials and related structures. It completely shows the self-adjointness, computes the square and the spectrum of the operator. We also set up sufficient conditions for the existence of the point and discrete spectrum by including some appropriate potentials in the problem and study the spectral stability properties for perturbed operators.


title: A Large-scale Evaluation of Pretraining Paradigms for the Detection of Defects in Electroluminescence Solar Cell Images

abstract: Pretraining has been shown to improve performance in many domains, including semantic segmentation, especially in domains with limited labelled data. In this work, we perform a large-scale evaluation and benchmarking of various pretraining methods for Solar Cell Defect Detection (SCDD) in electroluminescence images, a field with limited labelled datasets. We cover supervised training with semantic segmentation, semi-supervised learning, and two self-supervised techniques. We also experiment with both in-distribution and out-of-distribution (OOD) pretraining and observe how this affects downstream performance. The results suggest that supervised training on a large OOD dataset (COCO), self-supervised pretraining on a large OOD dataset (ImageNet), and semi-supervised pretraining (CCT) all yield statistically equivalent performance for mean Intersection over Union (mIoU). We achieve a new state-of-the-art for SCDD and demonstrate that certain pretraining schemes result in superior performance on underrepresented classes. Additionally, we provide a large-scale unlabelled EL image dataset of $22000$ images, and a $642$-image labelled semantic segmentation EL dataset, for further research in developing self- and semi-supervised training techniques in this domain.


title: Recovered SN Ia rate from simulated LSST images

abstract: The Legacy Survey of Space and Time (LSST) will revolutionize Time Domain Astronomy by detecting millions of transients. In particular, it is expected to increment the number of type Ia supernovae (SNIa) of a factor of 100 compared to existing samples up to z~1.2. Such a high number of events will dramatically reduce statistical uncertainties in the analysis of SNIa properties and rates. However, the impact of all other sources of uncertainty on the measurement must still be evaluated. The comprehension and reduction of such uncertainties will be fundamental both for cosmology and stellar evolution studies, as measuring the SNIa rate can put constraints on the evolutionary scenarios of different SNIa progenitors. We use simulated data from the DESC Data Challenge 2 (DC2) and LSST Data Preview 0 (DP0) to measure the SNIa rate on a 15 deg2 region of the Wide-Fast-Deep area. We select a sample of SN candidates detected on difference images, associate them to the host galaxy, and retrieve their photometric redshifts (z-phot). Then, we test different light curves classification methods, with and without redshift priors. We discuss how the distribution in redshift measured for the SN candidates changes according to the selected host galaxy and redshift estimate. We measure the SNIa rate analyzing the impact of uncertainties due to z-phot, host galaxy association and classification on the distribution in redshift of the starting sample. We found a 17% average lost fraction of SNIa with respect to the simulated sample. As 10% of the bias is due to the uncertainty on the z-phot alone (which also affects classification when used as a prior), it results to be the major source of uncertainty. We discuss possible reduction of the errors in the measurement of the SNIa rate, including synergies with other surveys, which may help using the rate to discriminate different progenitor models.


title: Neural Automated Writing Evaluation with Corrective Feedback

abstract: The utilization of technology in second language learning and teaching has become ubiquitous. For the assessment of writing specifically, automated writing evaluation (AWE) and grammatical error correction (GEC) have become immensely popular and effective methods for enhancing writing proficiency and delivering instant and individualized feedback to learners. By leveraging the power of natural language processing (NLP) and machine learning algorithms, AWE and GEC systems have been developed separately to provide language learners with automated corrective feedback and more accurate and unbiased scoring that would otherwise be subject to examiners. In this paper, we propose an integrated system for automated writing evaluation with corrective feedback as a means of bridging the gap between AWE and GEC results for second language learners. This system enables language learners to simulate the essay writing tests: a student writes and submits an essay, and the system returns the assessment of the writing along with suggested grammatical error corrections. Given that automated scoring and grammatical correction are more efficient and cost-effective than human grading, this integrated system would also alleviate the burden of manually correcting innumerable essays.


title: Adapt Before Comparison: A New Perspective on Cross-Domain Few-Shot Segmentation

abstract: Few-shot segmentation performance declines substantially when facing images from a domain different than the training domain, effectively limiting real-world use cases. To alleviate this, recently cross-domain few-shot segmentation (CD-FSS) has emerged. Works that address this task mainly attempted to learn segmentation on a source domain in a manner that generalizes across domains. Surprisingly, we can outperform these approaches while eliminating the training stage and removing their main segmentation network. We show test-time task-adaption is the key for successful CD-FSS instead. Task-adaption is achieved by appending small networks to the feature pyramid of a conventionally classification-pretrained backbone. To avoid overfitting to the few labeled samples in supervised fine-tuning, consistency across augmented views of input images serves as guidance while learning the parameters of the attached layers. Despite our self-restriction not to use any images other than the few labeled samples at test time, we achieve new state-of-the-art performance in CD-FSS, evidencing the need to rethink approaches for the task.


title: A Multi-Agent Model for Opinion Evolution under Cognitive Biases

abstract: We generalize the DeGroot model for opinion dynamics to better capture realistic social scenarios. We introduce a model where each agent has their own individual cognitive biases. Society is represented as a directed graph whose edges indicate how much agents influence one another. Biases are represented as the functions in the square region $[-1,1]^2$ and categorized into four sub-regions based on the potential reactions they may elicit in an agent during instances of opinion disagreement. Under the assumption that each bias of every agent is a continuous function within the region of receptive but resistant reactions ($\mathbf{R}$), we show that the society converges to a consensus if the graph is strongly connected. Under the same assumption, we also establish that the entire society converges to a unanimous opinion if and only if the source components of the graph-namely, strongly connected components with no external influence-converge to that opinion. We illustrate that convergence is not guaranteed for strongly connected graphs when biases are either discontinuous functions in $\mathbf{R}$ or not included in $\mathbf{R}$. We showcase our model through a series of examples and simulations, offering insights into how opinions form in social networks under cognitive biases.


title: Unitriangularity of decomposition matrices of the unipotent ${\ell}$-blocks for simple adjoint exceptional groups

abstract: In 2020, Brunat-Dudas-Taylor showed that the decomposition matrix of unipotent ${\ell}$-blocks of a nite reductive group in good characteristic has unitriangular shape, under some conditions on the prime ${\ell}$, in particular ${\ell}$ being good. We extend this result to ${\ell}$ bad by adapting their proof to include the ${\ell}$-special classes dened by Chaneb.


title: Quantifying the Resolution of a Template after Image Registration

abstract: In many image processing applications (e.g. computational anatomy) a groupwise registration is performed on a sample of images and a template image is simultaneously generated. From the template alone it is in general unclear to which extent the registered images are still misaligned, which means that some regions of the template represent the structural features in the sample images less reliably than others. In a sense, the template exhibits a lower resolution there. Guided by characteristic examples of misaligned image features in one dimension, we develop a visual measure to quantify the resolution at each location of a template which is based on the observation that misalignments between the registered sample images are reduced by smoothing with the strength of the smoothing being related to the magnitude of the misalignment. Finally the resulting resolution measure is applied to example datasets in two and three dimensions. The corresponding code is publicly available on GitHub.


title: The Weak Lefschetz property and unimodality of Hilbert functions of random monomial algebras

abstract: In this work, we investigate the presence of the weak Lefschetz property (WLP) and Hilbert functions for various types of random standard graded Artinian algebras. If an algebra has the WLP then its Hilbert function is unimodal. Using probabilistic models for random monomial algebras, our results and simulations suggest that in each considered regime the Hilbert functions of the produced algebras are unimodal with high probability. The WLP appears to be present with high probability most of the time. However, we propose that there is one scenario where the generated algebras fail to have the WLP with high probability.


title: On the blow-up for a Kuramoto-Velarde type equation

abstract: It is known that the Kuramoto-Velarde equation is globally well-posed on Sobolev spaces in the case when the parameters $\gamma_1$ and $\gamma_2$ involved in the non-linear terms verify $ \gamma_1=\frac{\gamma_1}{2}$ or $\gamma_2=0$. In the complementary case of these parameters, the global existence or blow-up of solutions is a completely open (and hard) problem. Motivated by this fact, in this work we consider a non-local version of the Kuramoto-Velarde equation. This equation allows us to apply a Fourier-based method and, within the framework $\gamma_2\neq \frac{\gamma_1}{2}$ and $\gamma_2\neq 0$, we show that large values of these parameters yield a blow-up in finite time of solutions in the Sobolev norm.


title: Fuzzy Classification Aggregation

abstract: We consider the problem where a set of individuals has to classify $m$ objects into $p$ categories and does so by aggregating the individual classifications. We show that if $m\geq 3$, $m\geq p\geq 2$, and classifications are fuzzy, that is, objects belong to a category to a certain degree, then an independent aggregator rule that satisfies a weak unanimity condition belongs to the family of Weighted Arithmetic Means. We also obtain characterization results for $m= p= 2$.


title: Supervised machine learning for microbiomics: bridging the gap between current and best practices

abstract: Machine learning (ML) is set to accelerate innovations in clinical microbiomics, such as in disease diagnostics and prognostics. This will require high-quality, reproducible, interpretable workflows whose predictive capabilities meet or exceed the high thresholds set for clinical tools by regulatory agencies. Here, we capture a snapshot of current practices in the application of supervised ML to microbiomics data, through an in-depth analysis of 100 peer-reviewed journal articles published in 2021-2022. We apply a data-driven approach to steer discussion of the merits of varied approaches to experimental design, including key considerations such as how to mitigate the effects of small dataset size while avoiding data leakage. We further provide guidance on how to avoid common experimental design pitfalls that can hurt model performance, trustworthiness, and reproducibility. Discussion is accompanied by an interactive online tutorial that demonstrates foundational principles of ML experimental design, tailored to the microbiomics community. Formalizing community best practices for supervised ML in microbiomics is an important step towards improving the success and efficiency of clinical research, to the benefit of patients and other stakeholders.


title: Masked Gamma-SSL: Learning Uncertainty Estimation via Masked Image Modeling

abstract: This work proposes a semantic segmentation network that produces high-quality uncertainty estimates in a single forward pass. We exploit general representations from foundation models and unlabelled datasets through a Masked Image Modeling (MIM) approach, which is robust to augmentation hyper-parameters and simpler than previous techniques. For neural networks used in safety-critical applications, bias in the training data can lead to errors; therefore it is crucial to understand a network's limitations at run time and act accordingly. To this end, we test our proposed method on a number of test domains including the SAX Segmentation benchmark, which includes labelled test data from dense urban, rural and off-road driving domains. The proposed method consistently outperforms uncertainty estimation and Out-of-Distribution (OoD) techniques on this difficult benchmark.


title: Bound-state confinement after trap-expansion dynamics in integrable systems

abstract: Integrable systems possess stable families of quasiparticles, which are composite objects (bound states) of elementary excitations. Motivated by recent quantum computer experiments, we investigate bound-state transport in the spin-$1/2$ anisotropic Heisenberg chain ($XXZ$ chain). Specifically, we consider the sudden vacuum expansion of a finite region $A$ prepared in a non-equilibrium state. In the hydrodynamic regime, if interactions are strong enough, bound states remain confined in the initial region. Bound-state confinement persists until the density of unbound excitations remains finite in the bulk of $A$. Since region $A$ is finite, at asymptotically long times bound states are "liberated" after the "evaporation" of all the unbound excitations. Fingerprints of confinement are visible in the space-time profiles of local spin-projection operators. To be specific, here we focus on the expansion of the $p$-N\'eel states, which are obtained by repetition of a unit cell with $p$ up spins followed by $p$ down spins. Upon increasing $p$, the bound-state content is enhanced. In the limit $p\to\infty$ one obtains the domain-wall initial state. We show that for $p<4$, only bound states with $n>p$ are confined at large chain anisotropy. For $p\gtrsim 4$, also bound states with $n=p$ are confined, consistent with the absence of transport in the limit $p\to\infty$. The scenario of bound-state confinement leads to a hierarchy of timescales at which bound states of different sizes are liberated, which is also reflected in the dynamics of the von Neumann entropy.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: CustomSketching: Sketch Concept Extraction for Sketch-based Image Synthesis and Editing

abstract: Personalization techniques for large text-to-image (T2I) models allow users to incorporate new concepts from reference images. However, existing methods primarily rely on textual descriptions, leading to limited control over customized images and failing to support fine-grained and local editing (e.g., shape, pose, and details). In this paper, we identify sketches as an intuitive and versatile representation that can facilitate such control, e.g., contour lines capturing shape information and flow lines representing texture. This motivates us to explore a novel task of sketch concept extraction: given one or more sketch-image pairs, we aim to extract a special sketch concept that bridges the correspondence between the images and sketches, thus enabling sketch-based image synthesis and editing at a fine-grained level. To accomplish this, we introduce CustomSketching, a two-stage framework for extracting novel sketch concepts. Considering that an object can often be depicted by a contour for general shapes and additional strokes for internal details, we introduce a dual-sketch representation to reduce the inherent ambiguity in sketch depiction. We employ a shape loss and a regularization loss to balance fidelity and editability during optimization. Through extensive experiments, a user study, and several applications, we show our method is effective and superior to the adapted baselines.


title: Physics Informed Modeling of Ecosystem Respiration via Dynamic Mode Decomposition with Control Input

abstract: Ecosystem respiration (Reco) represents a major component of the global carbon cycle, and accurate characterization of its dynamics is essential for a comprehensive understanding of ecosystem-climate interactions and the impacts of climate extremes on the ecosystem. This paper presents a novel data-driven and physics-aware method for estimating Reco dynamics using the dynamic mode decomposition with control input (DMDc) technique, an emerging tool for analyzing nonlinear dynamical systems. The proposed model represents Reco as a state space model with an autonomous component and an exogenous control input. The control input can be any ecosystem driver(s), such as air temperature, soil temperature, or soil water content. This unique modeling approach allows controlled intervention to study the effects of different inputs on the system. Experimental results using Fluxnet2015 data show that the prediction accuracy of Reco dynamics achieved with DMDc is comparable to state-of-the-art methods, making it a promising tool for analyzing the dynamic behavior of different vegetation ecosystems on multi-temporal scales in response to different climatic drivers.


title: An algebraic approach to gravitational quantum mechanics

abstract: Most approaches towards a quantum theory of gravitation indicate the existence of a minimal length scale of the order of the Planck length. Quantum mechanical models incorporating such an intrinsic length scale call for a deformation of Heisenberg's algebra resulting in a generalized uncertainty principle and constitute what is called gravitational quantum mechanics. Here we adopt the pseudo or g-calculus to study various models of gravitational quantum mechanics. The free time evolution of a Gaussian wave packet is investigated as well as the spectral properties of a particle bound by an external attractive potential. Here the cases of a box with finite width and infinite walls, an attractive potential well of finite depth and a delta-like potential are considered.


title: Many-body perturbation theory for strongly correlated effective Hamiltonians using effective field theory methods

abstract: Introducing low-energy effective Hamiltonians is usual to grasp most correlations in quantum many-body problems. For instance, such effective Hamiltonians can be treated at the mean-field level to reproduce some physical properties of interest. Employing effective Hamiltonians that contain many-body correlations renders the use of perturbative many-body techniques difficult because of the overcounting of correlations. In this work, we develop a strategy to apply an extension of the many-body perturbation theory starting from an effective interaction that contains correlations beyond the mean field level. The goal is to re-organize the many-body calculation to avoid the overcounting of correlations originating from the introduction of correlated effective Hamiltonians in the description. For this purpose, we generalize the formulation of the Rayleigh-Schr\"odinger perturbation theory by including free parameters adjusted to reproduce the appropriate limits. In particular, the expansion in the bare weak-coupling regime and the strong-coupling limit serves as a valuable input to fix the value of the free parameters appearing in the resulting expression. This method avoids double counting of correlations using beyond-mean-field strategies for the description of many-body systems. The ground state energy of various systems relevant for ultracold atomic, nuclear, and condensed matter physics is reproduced qualitatively beyond the domain of validity of the standard many-body perturbation theory. Finally, our method suggests interpreting the formal results obtained as an effective field theory using the proposed reorganization of the many-body calculation. The results, like ground state energies, are improved systematically by considering higher orders in the extended many-body perturbation theory while maintaining a straightforward polynomial expansion.

categories: cond-mat.quant-gas cond-mat.str-el nucl-th quant-ph


title: Geometry and Transcendence of the Hexponential

abstract: The modular group $\operatorname{PSL}_2(\mathbb{Z})$ acts on the upper-half plane $\mathbb{HP}$ with quotient the modular orbifold, uniformized by the function $\mathfrak{j} \colon \mathbb{HP}\to \mathbb{C}$. We first show that second derived subgroup $\operatorname{PSL}_2(\mathbb{Z})''$ corresponds to a $\mathbb{Z}^2\rtimes \mathbb{Z}/6$ Galois cover of the modular orbifold by a hexpunctured plane, uniformized by the hexponential map $\operatorname{hexp} \colon \mathbb{HP} \to \mathbb{C} \setminus (\omega_0\mathbb{Z}[j])$, which is a primitive of $C\eta^4$ where $\omega_0\in i\mathbb{R}$ and $C\in \mathbb{R}$ are explicit constants and $\eta$ is Dedekind eta function. We describe the values of the cusp-compactification $\partial \operatorname{hexp}\colon \mathbb{QP}^1\to \omega_0 \mathbb{Z}[j]$. After defining the radial-compactification $\operatorname{Shexp} \colon \mathscr{R} \to \mathbb{R}/(2\pi\mathbb{Z})$, we construct a simple section $\operatorname{InSh} \colon \mathbb{R}/(2\pi\mathbb{Z}) \to \mathscr{S} \bmod{\operatorname{PSL}_2(\mathbb{Z})'}$ where $\mathscr{S} \subset \mathbb{RP}^1$ is a set of numbers whose continued fraction expansions arise from Sturmian sequences, which contains the set $\mathscr{M}$ of Markov quadratic irrationals as those numbers arising from periodic Sturmian sequences. We will show that the values of $\operatorname{InSh}$ are either Markov quadratic irrationals or transcendental. Finally we provide a continued fraction expansion for $\operatorname{hexp}$, and discuss its monodromy.


title: Prequantisation from the path integral viewpoint

abstract: The quantum mechanically admissible definitions of the factor $\exp\big[(i/\hbar)S(\gamma)\big]$ in the Feynman integral are put in bijection with the prequantisations of Kostant and Souriau. The different allowed expressions of this factor -- the inequivalent prequantisations -- are classified. The theory is illustrated by the Aharonov-Bohm experiment and by identical particles.


title: Fine-Grained Natural Language Inference Based Faithfulness Evaluation for Diverse Summarisation Tasks

abstract: We study existing approaches to leverage off-the-shelf Natural Language Inference (NLI) models for the evaluation of summary faithfulness and argue that these are sub-optimal due to the granularity level considered for premises and hypotheses. That is, the smaller content unit considered as hypothesis is a sentence and premises are made up of a fixed number of document sentences. We propose a novel approach, namely InFusE, that uses a variable premise size and simplifies summary sentences into shorter hypotheses. Departing from previous studies which focus on single short document summarisation, we analyse NLI based faithfulness evaluation for diverse summarisation tasks. We introduce DiverSumm, a new benchmark comprising long form summarisation (long documents and summaries) and diverse summarisation tasks (e.g., meeting and multi-document summarisation). In experiments, InFusE obtains superior performance across the different summarisation tasks. Our code and data are available at https://github.com/HJZnlp/infuse.


title: Deterministic Cache-Oblivious Funnelselect

abstract: In the multiple-selection problem one is given an unsorted array $S$ of $N$ elements and an array of $q$ query ranks $r_1<\cdots<r_q$, and the task is to return, in sorted order, the $q$ elements in $S$ of rank $r_1, \ldots, r_q$, respectively. The asymptotic deterministic comparison complexity of the problem was settled by Dobkin and Munro [JACM 1981]. In the I/O model an optimal I/O complexity was achieved by Hu et al. [SPAA 2014]. Recently [ESA 2023], we presented a cache-oblivious algorithm with matching I/O complexity, named funnelselect, since it heavily borrows ideas from the cache-oblivious sorting algorithm funnelsort from the seminal paper by Frigo, Leiserson, Prokop and Ramachandran [FOCS 1999]. Funnelselect is inherently randomized as it relies on sampling for cheaply finding many good pivots. In this paper we present deterministic funnelselect, achieving the same optional I/O complexity cache-obliviously without randomization. Our new algorithm essentially replaces a single (in expectation) reversed-funnel computation using random pivots by a recursive algorithm using multiple reversed-funnel computations. To meet the I/O bound, this requires a carefully chosen subproblem size based on the entropy of the sequence of query ranks; deterministic funnelselect thus raises distinct technical challenges not met by randomized funnelselect. The resulting worst-case I/O bound is $O\bigl(\sum_{i=1}^{q+1} \frac{\Delta_i}{B} \cdot \log_{M/B} \frac{N}{\Delta_i} + \frac{N}{B}\bigr)$, where $B$ is the external memory block size, $M\geq B^{1+\epsilon}$ is the internal memory size, for some constant $\epsilon>0$, and $\Delta_i = r_{i} - r_{i-1}$ (assuming $r_0=0$ and $r_{q+1}=N + 1$).


title: Securing OPEN-RAN Equipment Using Blockchain-Based Supply Chain Verification

abstract: The disaggregated and multi-vendor nature of OPEN-RAN networks introduces new supply chain security risks, making equipment authenticity and integrity crucial challenges. Robust solutions are needed to mitigate vulnerabilities in manufacturing and integration. This paper puts forth a novel blockchain-based approach to secure OPEN-RAN equipment through its lifecycle. By combining firmware authentication codes, a permissioned blockchain ledger, and equipment node validators, we architect a tamper-resistant ecosystem to track provenance. The outlined design, while conceptual, establishes a foundation and roadmap for future realization. Through careful implementation planning, development of core components like firmware signed hashes and smart contracts, and rigorous performance evaluation, this paper can evolve from concept to practice. There is a vivid potential to make OPEN-RAN supply chains corner to corner secure, igniting further research and real-world deployment.


title: From Text Segmentation to Smart Chaptering: A Novel Benchmark for Structuring Video Transcriptions

abstract: Text segmentation is a fundamental task in natural language processing, where documents are split into contiguous sections. However, prior research in this area has been constrained by limited datasets, which are either small in scale, synthesized, or only contain well-structured documents. In this paper, we address these limitations by introducing a novel benchmark YTSeg focusing on spoken content that is inherently more unstructured and both topically and structurally diverse. As part of this work, we introduce an efficient hierarchical segmentation model MiniSeg, that outperforms state-of-the-art baselines. Lastly, we expand the notion of text segmentation to a more practical "smart chaptering" task that involves the segmentation of unstructured content, the generation of meaningful segment titles, and a potential real-time application of the models.


title: Current potential patches

abstract: A novel form of the current potential, a mathematical tool for the design of stellarators and stellarator coils, is developed. Specifically, these are current potentials with a finite-element-like basis, called \textit{current potential patches}. Current potential patches leverage the relationship between distributions of magnetic dipoles and current potentials to explore limits of the access properties of stellarator coil sets. An example calculation is shown using the Helically Symmetric Experiment (HSX) equilibrium, demonstrating the method's use in coil design and understanding the limits of the access properties of coil sets. Current potential patches have additional desirable properties such as of promoting sparse current sheet solutions and identifying crucial locations of shaping current placement. A result is found for the HSX equilibrium that shaping currents covering only 25\% of the winding surface is sufficient to produce the equilibrium to a good accuracy.


title: Modelling LAEs in the Epoch of Reionization with OBELISK

abstract: Lya emitters (LAEs) are particularly useful objects for the study of the Epoch of Reionization. Lya profiles can be used to estimate the amount of ionizing photons that are able to escape the galaxies, and therefore to understand what objects contributed to reionization. However, Lya is a resonant line and its complex radiative transfer effects make the interpretation of the line challenging and require the use of appropriate radiative transfer methods for anything but the simplest gas distributions. With this work we aim to study the properties of simulated LAEs, and the robustness of these inferred properties under a change in the dust model. We also explore the Lyman Continuum (LyC) escape fraction of these galaxies and compare our results with observationally calibrated methods to infer this quantity from the Lya spectrum. We use the radiative transfer code RASCAS to perform synthetic observations of 13 flux-selected galaxies from the Obelisk simulation at redshift z = 6, towards the end of the Epoch of Reionization. Each galaxy was observed in Lya, ionizing and non-ionizing continuum from 48 different viewing angles. We show that the Lya profiles emitted from a galaxy present large variations with a change in viewing angle and that the relation between peak separation and Lya escape fraction is not as strong as previously found, as we find lines of sight with both low peak separation and low escape fraction, due to their dust content. We also show that the properties of the Lya line are reasonably robust under a change in dust model. Lastly, we compare the LyC escape fractions we derive from the simulation to three observationally calibrated methods of inferring this quantity. We determine that none of these relations reproduce the scatter that we find in our sample, and that high escape fraction lines of sight have both low peak separation and low dust extinction in the UV.


title: Descent for projective twists of modular curves

abstract: Let $F$ be a number field and $p\geq7$ a rational prime. We obtain a simple descent criterion characterising those projective Galois representations $\overline\rho:G_F\to\mathrm{PGL}_2(\mathbb{F}_p)$ for which the corresponding twist $X_{\overline\rho}(p)$ of the principal modular curve of level $p$ is defined over $\mathbb{Q}$. We also give a more concrete version of this result for representations which arise from elliptic curves over cyclic number fields.


title: Learning the Covariance of Treatment Effects Across Many Weak Experiments

abstract: When primary objectives are insensitive or delayed, experimenters may instead focus on proxy metrics derived from secondary outcomes. For example, technology companies often infer long-term impacts of product interventions from their effects on weighted indices of short-term user engagement signals. We consider meta-analysis of many historical experiments to learn the covariance of treatment effects on different outcomes, which can support the construction of such proxies. Even when experiments are plentiful and large, if treatment effects are weak, the sample covariance of estimated treatment effects across experiments can be highly biased and remains inconsistent even as more experiments are considered. We overcome this by using techniques inspired by weak instrumental variable analysis, which we show can reliably estimate parameters of interest, even without a structural model. We show the Limited Information Maximum Likelihood (LIML) estimator learns a parameter that is equivalent to fitting total least squares to a transformation of the scatterplot of estimated treatment effects, and that Jackknife Instrumental Variables Estimation (JIVE) learns another parameter that can be computed from the average of Jackknifed covariance matrices across experiments. We also present a total-covariance-based estimator for the latter estimand under homoskedasticity, which we show is equivalent to a $k$-class estimator. We show how these parameters relate to causal quantities and can be used to construct unbiased proxy metrics under a structural model with both direct and indirect effects subject to the INstrument Strength Independent of Direct Effect (INSIDE) assumption of Mendelian randomization. Lastly, we discuss the application of our methods at Netflix.


title: Dual chiral density wave induced oscillating Casimir effect

abstract: The Casimir effect is known to be induced from photon fields confined by a small volume, and also its fermionic counterpart has been predicted in a wide range of quantum systems. Here, we investigate what types of Casimir effects can occur from quark fields in dense and thin quark matter. In particular, in the dual chiral density wave, which is a possible ground state of dense quark matter, we find that the Casimir energy oscillates as a function of the thickness of matter. This oscillating Casimir effect is regarded as an analog of that in Weyl semimetals and is attributed to the Weyl points in the momentum space of quark fields. In addition, we show that an oscillation is also induced from the quark Fermi sea, and the total Casimir energy is composed of multiple oscillations.

categories: hep-ph cond-mat.mes-hall hep-lat nucl-th quant-ph


title: Local heat current flow in the ballistic phonon transport of graphene nanoribbons

abstract: Utilizing nonequilibrium Green's function method, we study the phonon local heat current flow in nanoscale graphene nanoribbons. Ballistic transport and boundary scattering lead to formation of atomic scale current vortices. Using the B\"uttiker probe approach, we further map out the temperature distribution in the junction. From the heat current and temperature distribution, we observe negative local resistance of the junctions, where heat current direction goes from colder to hotter regime. Moreover, we show that atomic scale defect can generate heat vortex at certain frequency, but it is averaged out when including contributions from all the phonon modes. These results extend the study of local heat vortex and negative temperature response in bulk hydrodynamic regime to atomic-scale ballistic regime, further confirming boundary scattering is crucial to generate backflow of heat current.


title: Exergetic Port-Hamiltonian Systems Modeling Language

abstract: Mathematical modeling of real-world physical systems requires the consistent combination of a multitude of physical laws and phenomenological models. This challenging task can be greatly simplified by hierarchically decomposing systems. Moreover, the use of diagrams for expressing such decompositions helps make the process more intuitive and facilitates communication, even with non-experts. As an important requirement, models have to respect fundamental physical laws such as the first and the second law of thermodynamics. While some existing modeling frameworks can make such guarantees based on structural properties of their models, they lack a formal graphical syntax. We present a compositional and thermodynamically consistent modeling language with a graphical syntax. As its semantics, port-Hamiltonian systems are endowed with further structural properties and a fixed physical interpretation such that thermodynamic consistency is ensured in a way that is closely related to the GENERIC framework. While port-Hamiltonian systems are inspired by graphical modeling with bond graphs, neither the link between the two, nor bond graphs themselves, can be easily formalized. In contrast, our syntax is based on a refinement of the well-studied operad of undirected wiring diagrams. The language effectively decouples the construction of complex models via the graphical syntax from physical concerns, which are dealt with only at the level of primitive subsystems that represent elementary physical behaviors. As a consequence, reuse of models and substitution of their parts becomes possible. Finally, by construction, systems interact by exchanging exergy, i.e. energy that is available for doing work, so the language is particularly well suited for thermodynamic analysis and optimization.


title: Variational Learning is Effective for Large Deep Networks

abstract: We give extensive empirical evidence against the common belief that variational learning is ineffective for large neural networks. We show that an optimizer called Improved Variational Online Newton (IVON) consistently matches or outperforms Adam for training large networks such as GPT-2 and ResNets from scratch. IVON's computational costs are nearly identical to Adam but its predictive uncertainty is better. We show several new use cases of IVON where we improve finetuning and model merging in Large Language Models, accurately predict generalization error, and faithfully estimate sensitivity to data. We find overwhelming evidence that variational learning is effective.


title: The critical disordered pinning measure

abstract: In this paper, we study a disordered pinning model induced by a random walk whose increments have a finite fourth moment and vanishing first and third moments. It is known that this model is marginally relevant, and moreover, it undergoes a phase transition in an intermediate disorder regime. We show that, in the critical window, the point-to-point partition functions converge to a unique limiting random measure, which we call the critical disordered pinning measure. We also obtain an analogous result for a continuous counterpart to the pinning model, which is closely related to two other models: one is a critical stochastic Volterra equation that gives rise to a rough volatility model, and the other is a critical stochastic heat equation with multiplicative noise that is white in time and delta in space.


title: A Performance Evaluation of Filtered Delay Multiply and Sum Beamforming for Ultrasound Localization Microscopy: Preliminary Results

abstract: Ultrafast ultrasound localization microscopy (ULM), which has shown promising results in microvascular imaging, overcomes the typical trade-off between resolution and penetration depth. Combining ultrasound contrast agents and high frame rate imaging enables ULM to visualize microvasculature and quantify flow. However, the quality of the microvascular maps obtained depends on the signal-to-noise ratio of the received signals, image reconstruction techniques, and the microbubble (MB) localization and tracking algorithms used. Most reported research in ULM employs the conventional delay and sum (DAS) beamforming technique for image reconstruction despite its limited contrast and resolution. In this work, a filtered delay multiply and sum (F-DMAS) beamforming approach with non-steered plane wave transmit was employed for ULM, and its performance was compared with the conventional DAS-based approach for the different localization algorithms available in the Localization and Tracking Toolbox for Ultrasound Localization Microscopy. We also introduce two novel image quality measures that can overcome the limitations of conventional quality metrics that require suitable targets for evaluation. We also report the preliminary in-vitro investigation of F-DMAS with B-mode and power Doppler maps for microvascular imaging. The results are promising with enhanced contrast and lateral resolution, and suggest that further experimental studies are warranted.


title: Are LLMs Capable of Data-based Statistical and Causal Reasoning? Benchmarking Advanced Quantitative Reasoning with Data

abstract: Quantitative reasoning is a critical skill to analyze data, yet the assessment of such ability remains limited. To address this gap, we introduce the Quantitative Reasoning with Data (QRData) benchmark, aiming to evaluate Large Language Models' capability in statistical and causal reasoning with real-world data. The benchmark comprises a carefully constructed dataset of 411 questions accompanied by data sheets from textbooks, online learning materials, and academic papers. To compare models' quantitative reasoning abilities on data and text, we enrich the benchmark with an auxiliary set of 290 text-only questions, namely QRText. We evaluate natural language reasoning, program-based reasoning, and agent reasoning methods including Chain-of-Thought, Program-of-Thoughts, ReAct, and code interpreter assistants on diverse models. The strongest model GPT-4 achieves an accuracy of 58%, which has much room for improvement. Among open-source models, Deepseek-coder-instruct, a code LLM pretrained on 2T tokens, gets the highest accuracy of 37%. Analysis reveals that models encounter difficulties in data analysis and causal reasoning, and struggle in using causal knowledge and provided data simultaneously. Code and data are in https://github.com/xxxiaol/QRData.


title: SongComposer: A Large Language Model for Lyric and Melody Composition in Song Generation

abstract: We present SongComposer, an innovative LLM designed for song composition. It could understand and generate melodies and lyrics in symbolic song representations, by leveraging the capability of LLM. Existing music-related LLM treated the music as quantized audio signals, while such implicit encoding leads to inefficient encoding and poor flexibility. In contrast, we resort to symbolic song representation, the mature and efficient way humans designed for music, and enable LLM to explicitly compose songs like humans. In practice, we design a novel tuple design to format lyric and three note attributes (pitch, duration, and rest duration) in the melody, which guarantees the correct LLM understanding of musical symbols and realizes precise alignment between lyrics and melody. To impart basic music understanding to LLM, we carefully collected SongCompose-PT, a large-scale song pretraining dataset that includes lyrics, melodies, and paired lyrics-melodies in either Chinese or English. After adequate pre-training, 10K carefully crafted QA pairs are used to empower the LLM with the instruction-following capability and solve diverse tasks. With extensive experiments, SongComposer demonstrates superior performance in lyric-to-melody generation, melody-to-lyric generation, song continuation, and text-to-song creation, outperforming advanced LLMs like GPT-4.


title: Recurrent chaotic clustering and slow chaos in adaptive networks

abstract: Adaptive dynamical networks are network systems in which the structure co-evolves and interacts with the dynamical state of the nodes. We study an adaptive dynamical network in which the structure changes on a slower time scale relative to the fast dynamics of the nodes. We identify a phenomenon we refer to as recurrent adaptive chaotic clustering (RACC), in which chaos is observed on a slow time scale, while the fast time scale exhibits regular dynamics. Such slow chaos is further characterized by long (relative to the fast time scale) regimes of frequency clusters or frequency-synchronized dynamics, interrupted by fast jumps between these regimes. We also determine parameter values where the time intervals between jumps are chaotic and show that such a state is robust to changes in parameters and initial conditions.


title: A Spectropolarimetric Study of Pictor A Radio Galaxy with MeerKAT

abstract: We present the results of a polarimetric study from our new high-sensitivity L-band (0.8--1.7 GHz) observation of Pictor A with the MeerKAT radio telescope. We confirm the presence of the radio jet extending from the nucleus to the western hotspot of this source. Additionally, we show the radio emission expected to be coincident with previously observed X-ray emission in the radio lobes, confirming that the emission mechanism is of inverse Compton origin, as suggested by a previous study. Our spectropolarimetric analysis using the RM-Synthesis technique reveals a relatively uniform mean RM distribution across the lobes of Pictor A, with most lines-of-sight exhibiting single-peaked Faraday spectra. However, a number of the lines-of-sight exhibit single peaked spectra with a wide base or multiple peaks, suggesting the presence of multiple Faraday components or a Faraday thick structure along Pictor A's lines-of-sight. We also confirm the asymmetry in RM variability and depolarization between the two lobes of this source which were reported in a previous study.


title: Computing eigenfrequency sensitivities near exceptional points

abstract: Exceptional points are spectral degeneracies of non-Hermitian systems where both eigenfrequencies and eigenmodes coalesce. The eigenfrequency sensitivities near an exceptional point are significantly enhanced, whereby they diverge directly at the exceptional point. Capturing this enhanced sensitivity is crucial for the investigation and optimization of exceptional-point-based applications, such as optical sensors. We present a numerical framework, based on contour integration and algorithmic differentiation, to accurately and efficiently compute eigenfrequency sensitivities near exceptional points. We demonstrate the framework to an optical microdisk cavity and derive a semi-analytical solution to validate the numerical results. The computed eigenfrequency sensitivities are used to track the exceptional point along an exceptional surface in the parameter space. The presented framework can be applied to any kind of resonance problem, e.g., with arbitrary geometry or with exceptional points of arbitrary order.


title: Beyond prompt brittleness: Evaluating the reliability and consistency of political worldviews in LLMs

abstract: Due to the widespread use of large language models (LLMs) in ubiquitous systems, we need to understand whether they embed a specific worldview and what these views reflect. Recent studies report that, prompted with political questionnaires, LLMs show left-liberal leanings (Feng et al., 2023; Motoki et al., 2024). However, it is as yet unclear whether these leanings are reliable (robust to prompt variations) and whether the leaning is consistent across policies and political leaning. We propose a series of tests which assess the reliability and consistency of LLMs' stances on political statements based on a dataset of voting-advice questionnaires collected from seven EU countries and annotated for policy domains. We study LLMs ranging in size from 7B to 70B parameters and find that their reliability increases with parameter count. Larger models show overall stronger alignment with left-leaning parties but differ among policy programs: They evince a (left-wing) positive stance towards environment protection, social welfare state and liberal society but also (right-wing) law and order, with no consistent preferences in foreign policy and migration.


title: Comparison of the Effects of Interaction with Intentional Agent and Artificial Intelligence using fNIRS

abstract: As societal interactions increasingly involve both intentional and unintentional agents, understanding their effects on human cognition becomes paramount. This study investigates the neural correlates of interacting with intentional versus artificial agents in a simulated tennis game scenario. Employing functional near-infrared spectroscopy (fNIRS), brain activity in 50 male participants during gameplay against both types of opponents was analyzed. The used methodological approach ensures ecological validity by simulating real-world decision-making scenarios while participants undergo fNIRS scanning, avoiding the constraints of traditional neuroimaging methods. Six prefrontal cortex channels are focused on, leveraging the 10-20 system, to capture nuanced differences in brain activity. Wavelet analysis was utilized to dissect the data into frequency-specific differences, revealing subtle variations across different channels and frequency bands. Moreover, activity was quantified by comparing average data signals between rest and play modes across all points using Generalized Linear Model (GLM). The findings unveil significant differences in neural activation patterns, particularly in one specific channel and frequency range, suggesting distinct cognitive processing when interacting with intentional agents. These results align with previous neuroimaging studies and contribute to understanding the neural underpinnings of human-agent interactions in naturalistic settings. While acknowledging study limitations, including sample homogeneity and spatial accuracy constraints, the study's findings underscore the potential of fNIRS in exploring complex cognitive phenomena beyond laboratory confines.


title: CSI-Free Optimization of Reconfigurable Intelligent Surfaces with Interference by Using Multiport Network Theory

abstract: Reconfigurable Intelligent Surfaces (RIS) will play a pivotal role in next-generation wireless systems. Despite efforts to minimize pilot overhead associated with channel estimation, the necessity of configuring the RIS multiple times before obtaining reliable Channel State Information (CSI) may significantly diminish their benefits. Therefore, we propose a CSI-free approach that explores the feasibility of optimizing the RIS for the uplink of a communication system in the presence of interfering users without relying on CSI estimation but leveraging solely some a priori statistical knowledge of the channel. In this context, we consider a multiport network model that accounts for several aspects overlooked by traditional RIS models used in Communication Theory, such as mutual coupling among scattering elements and the presence of structural scattering. The proposed approach targets the maximization of the average achievable rate and is shown to achieve performance that, in some cases, can be very close to the case where the RIS is optimized leveraging perfect CSI.


title: Compass: A Decentralized Scheduler for Latency-Sensitive ML Workflows

abstract: We consider ML query processing in distributed systems where GPU-enabled workers coordinate to execute complex queries: a computing style often seen in applications that interact with users in support of image processing and natural language processing. In such systems, coscheduling of GPU memory management and task placement represents a promising opportunity. We propose Compass, a novel framework that unifies these functions to reduce job latency while using resources efficiently, placing tasks where data dependencies will be satisfied, collocating tasks from the same job (when this will not overload the host or its GPU), and efficiently managing GPU memory. Comparison with other state of the art schedulers shows a significant reduction in completion times while requiring the same amount or even fewer resources. In one case, just half the servers were needed for processing the same workload.


title: Mitigating Distributional Shift in Semantic Segmentation via Uncertainty Estimation from Unlabelled Data

abstract: Knowing when a trained segmentation model is encountering data that is different to its training data is important. Understanding and mitigating the effects of this play an important part in their application from a performance and assurance perspective - this being a safety concern in applications such as autonomous vehicles (AVs). This work presents a segmentation network that can detect errors caused by challenging test domains without any additional annotation in a single forward pass. As annotation costs limit the diversity of labelled datasets, we use easy-to-obtain, uncurated and unlabelled data to learn to perform uncertainty estimation by selectively enforcing consistency over data augmentation. To this end, a novel segmentation benchmark based on the SAX Dataset is used, which includes labelled test data spanning three autonomous-driving domains, ranging in appearance from dense urban to off-road. The proposed method, named Gamma-SSL, consistently outperforms uncertainty estimation and Out-of-Distribution (OoD) techniques on this difficult benchmark - by up to 10.7% in area under the receiver operating characteristic (ROC) curve and 19.2% in area under the precision-recall (PR) curve in the most challenging of the three scenarios.


title: Enumerating Permutations Avoiding Split Patterns 3|12 and 23|1

abstract: In this paper, we give a formula for the number of permutations that avoid the split patterns $3|12$ and $23|1$ with respect to a position $r$. Such permutations count the number of Schubert varieties for which the projection map from the flag variety to a Grassmannian induces a fiber bundle structure. We also study the corresponding bivariate generating function and show how it is related to modified Bessel functions.


title: Confidence-Aware Multi-Field Model Calibration

abstract: Accurately predicting the probabilities of user feedback, such as clicks and conversions, is critical for advertisement ranking and bidding. However, there often exist unwanted mismatches between predicted probabilities and true likelihoods due to the rapid shift of data distributions and intrinsic model biases. Calibration aims to address this issue by post-processing model predictions, and field-aware calibration can adjust model output on different feature field values to satisfy fine-grained advertising demands. Unfortunately, the observed samples corresponding to certain field values can be seriously limited to make confident calibrations, which may yield bias amplification and online disturbance. In this paper, we propose a confidence-aware multi-field calibration method, which adaptively adjusts the calibration intensity based on confidence levels derived from sample statistics. It also utilizes multiple fields for joint model calibration according to their importance to mitigate the impact of data sparsity on a single field. Extensive offline and online experiments show the superiority of our method in boosting advertising performance and reducing prediction deviations.


title: High dimensional Gross--Zagier formula: a survey

abstract: We survey recent developments on generalizing the Gross--Zagier formula to high dimensional Shimura varieties, with an emphasis on the Arithmetic Gan--Gross--Prasad conjecture and the relative trace formula approach.


title: Classification of electronic nematicity in three-dimensional crystals and quasicrystals

abstract: Electronic nematic order has been reported in a rich landscape of materials, encompassing not only a range of intertwined correlated and topological phenomena, but also different underlying lattice symmetries. Motivated by these findings, we investigate the behavior of electronic nematicity as the spherical symmetry of three-dimensional (3D) space is systematically lowered by the lattice environment. We consider all 32 crystallographic point groups as well as 4 major classes of quasicrystalline point groups, given the recent observations of electronic phases of interest in quasicrystalline materials and artificial twisted quasicrystals. Valuable insights are gained by establishing a mapping between the five-component charge-quadrupolar nematic order parameter of the electronic fluid and the 3D tensorial order parameter of nematic liquid crystals. We find that a uniaxial nematic state is only generically realized in polyhedral point groups (icosahedral and cubic), with the nematic director pointing along different sets of rotational symmetry axes. Interestingly, icosahedral point groups are the only ones in which the five nematic order parameter components transform as the same irreducible representation, making them the closest analog of 3D isotropic nematics. In axial point groups, one of the nematic components is always condensed, whereas the other four components decompose into an in-plane and an out-of-plane nematic doublet, resulting in biaxial nematic ground states. Because these two nematic doublets behave as $Z_q$-clock order parameters, this allows us to identify the types of crystals and quasicrystals that can host interesting electronic nematic phenomena enabled by the critical properties of the $q\geq 4$ clock model, such as emergent continuous nematic fluctuations in 3D, critical phases with quasi-long-range nematic order in 2D, and Ashkin-Teller nematicity in 2D.


title: Heisenberg Soft Hair on Robinson-Trautman Spacetimes

abstract: We study 4 dimensional $(4d$) gravitational waves (GWs) with compact wavefronts, generalizing Robinson-Trautman (RT) solutions in Einstein gravity with an arbitrary cosmological constant. We construct the most general solution of the GWs in the presence of a causal, timelike, or null boundary when the usual tensor modes are turned off. Our solution space besides the shape and topology of the wavefront which is a generic compact, smooth, and orientable $2d$ surface $\Sigma$, is specified by a vector over $\Sigma$ satisfying the conformal Killing equation and two scalars that are arbitrary functions over the causal boundary, the boundary modes (soft hair). We work out the symplectic form over the solution space using covariant phase space formalism and analyze the boundary symmetries and charges. The algebra of surface charges is a Heisenberg algebra. Only the overall size of the compact wavefront and not the details of its shape appears in the boundary symplectic form and is canonical conjugate to the overall mass of the GW. Hence, the information about the shape of the wavefront can't be probed by the boundary observer. We construct a boundary energy-momentum tensor and a boundary current, whose conservation yields the RT equation for both asymptotically AdS and flat spacetimes. The latter provides a hydrodynamic description for our RT solutions.


title: SoK: Cryptocurrency Wallets -- A Security Review and Classification based on Authentication Factors

abstract: In this work, we review existing cryptocurrency wallet solutions with regard to authentication methods and factors from the user's point of view. In particular, we distinguish between authentication factors that are verified against the blockchain and the ones verified locally (or against a centralized party). With this in mind, we define notions for $k-factor$ authentication against the blockchain and $k-factor$ authentication against the authentication factors. Based on these notions, we propose a classification of authentication schemes. We extend our classification to accommodate the threshold signatures and signing transactions by centralized parties (such as exchanges or co-signing services). Finally, we apply our classification to existing wallet solutions, which we compare based on various security and key-management features.


title: TorchMD-Net 2.0: Fast Neural Network Potentials for Molecular Simulations

abstract: Achieving a balance between computational speed, prediction accuracy, and universal applicability in molecular simulations has been a persistent challenge. This paper presents substantial advancements in the TorchMD-Net software, a pivotal step forward in the shift from conventional force fields to neural network-based potentials. The evolution of TorchMD-Net into a more comprehensive and versatile framework is highlighted, incorporating cutting-edge architectures such as TensorNet. This transformation is achieved through a modular design approach, encouraging customized applications within the scientific community. The most notable enhancement is a significant improvement in computational efficiency, achieving a very remarkable acceleration in the computation of energy and forces for TensorNet models, with performance gains ranging from 2-fold to 10-fold over previous iterations. Other enhancements include highly optimized neighbor search algorithms that support periodic boundary conditions and the smooth integration with existing molecular dynamics frameworks. Additionally, the updated version introduces the capability to integrate physical priors, further enriching its application spectrum and utility in research. The software is available at https://github.com/torchmd/torchmd-net.

categories: cs.LG physics.bio-ph physics.chem-ph physics.comp-ph


title: Adiabatically-manipulated systems interacting with spin baths beyond the Rotating Wave Approximation

abstract: The Stimulated Raman Adiabatic Passage on a three-state system interacting with a spin bath is considered focusing on the efficiency of the population transfer. Our analysis is based on the perturbation treatment of the interaction term evaluated beyond the Rotating Wave Approximation, thus focusing on the limit of weak system-bath coupling. The analytical expression of the correction to the efficiency and consequent numerical analysis show that in most of the cases the effects of the environment are negligible, confirming the robustness of the population transfer.


title: Evidence of extended [CII] and dust emission in local dwarf galaxies

abstract: The evolution of dwarf galaxies is dramatically affected by gaseous and dusty outflows, which can easily deprive their interstellar medium of the material needed for the formation of new stars, simultaneously enriching their surrounding circumgalactic medium (CGM). In this letter, we present the first evidence of extended [CII] 158 $\mu$m line and dust continuum emission in local dwarf galaxies hosting star-formation-driven outflows. By stacking the [CII], far-infrared, and near-UV (NUV) emission obtained from Herschel and GALEX data, we derived the average radial profiles, and compared the spatial extension of gas, dust, and stellar activity in dwarf galaxies. We find that [CII] and dust emissions are comparable to each other, and more extended than the NUV continuum. The [CII] size is in agreement with that measured for $z>4$ star-forming galaxies, suggesting that similar mechanisms could be at the origin of the observed atomic carbon reservoir around local and high-$z$ sources. The cold dust follows the [CII] emission, going beyond the stellar continuum as opposed to what is typically observed in the early Universe where measurements can be affected by the poor sensitivity and faintness of dust emission in the CGM of high-$z$ galaxies. We attribute the extended [CII] and dust continuum emission to the presence of galactic outflows. As local dwarf galaxies are considered analogs of primordial sources, we expect that comparable feedback processes can be at the origin of the observed [CII] halos at $z>4$, dominating over other possible formation mechanisms.


title: Exact solutions and automorphic systems of the geopotential forecast equation

abstract: The study of the recently constructed group foliation for the geopotential forecast equation is continued. The group foliation consists of two systems, namely the automorphic and resolving systems, the analysis of which facilitates the derivation of invariant solutions for the original equation. As obtaining a general solution to the resolving system (even to its reductions on subgroups) is problematic, its various particular solutions are considered. Consequently, the question arises concerning the specific forms of automorphic systems that correspond to exact solutions obtained through alternative methods. This is of interest for both comparing solutions derived through different approaches and for the integration of specific automorphic systems. The problem is discussed in a number of examples.


title: Bayesian Differentiable Physics for Cloth Digitalization

abstract: We propose a new method for cloth digitalization. Deviating from existing methods which learn from data captured under relatively casual settings, we propose to learn from data captured in strictly tested measuring protocols, and find plausible physical parameters of the cloths. However, such data is currently absent, so we first propose a new dataset with accurate cloth measurements. Further, the data size is considerably smaller than the ones in current deep learning, due to the nature of the data capture process. To learn from small data, we propose a new Bayesian differentiable cloth model to estimate the complex material heterogeneity of real cloths. It can provide highly accurate digitalization from very limited data samples. Through exhaustive evaluation and comparison, we show our method is accurate in cloth digitalization, efficient in learning from limited data samples, and general in capturing material variations. Code and data are available https://github.com/realcrane/Bayesian-Differentiable-Physics-for-Cloth-Digitalization


title: Subdivisions of Hypersimplices: with a View Toward Finite Metric Spaces

abstract: The secondary fan $\Sigma(k,n)$ is a polyhedral fan which stratifies the regular subdivisions of the hypersimplices $\Delta(k,n)$. We find new infinite families of rays of $\Sigma(k,n)$, and we compute the fans $\Sigma(2,7)$ and $\Sigma(3,6)$. In the special case $k=2$ the fan $\Sigma(2,n)$ is closely related to the metric fan $\mathop{MF}(n)$, which forms a natural parameter space for the metric spaces on $n$ points. So our results yield a classification of the finite metric spaces on seven points.