title: Gravitational spin-orbit coupling through the third-subleading post-Newtonian order: exploring spin-gauge flexibility

abstract: We build upon recent work by Antonelli et al. [Phys. Rev. Lett. 125 (2020) 1, 011103] to obtain, within the effective-one-body (EOB) formalism, and for an arbitrary choice of gauge, the third-subleading post-Newtonian (4.5PN) corrections to the spin-orbit conservative dynamics of spin-aligned binaries. This is then specialized to: (i) the well-known Damour-Jaranowski-Sch\"afer ($\rm DJS$) gauge, where the dependence on the angular momentum of the gyro-gravitomagnetic functions $(G_S,G_{S_*})$ is removed and (ii) to an alternative gauge (called anti-$\rm DJS$ gauge, $\overline{\rm DJS}$) that is chosen so as to precisely reproduce the Hamiltonian of a spinning test-particle at linear order in the particle spin and keep the full dependence on the radial and angular momentum in $(G_S,G_{S_*})$. We use these results to extend by one perturbative order, in PN sense, the analytical knowledge of the periastron advance. After performing a suitable factorization and resummation of $(G_S,G_{S_*})$, the $\rm DJS$ and $\overline{\rm DJS}$ performances are compared via various gauge-invariant quantities at the EOB last stable circular orbit. We eventually find some indications that the $\overline{\rm DJS}$ gauge might be advantageous in the description of the inspiral dynamics of circularized binaries.


title: Cosmography of the Local Universe by Multipole Analysis of the Expansion Rate Fluctuation Field

abstract: We explore the possibility of characterizing the expansion rate on local cosmic scales $(z \lesssim 0.1)$, where the cosmological principle is violated, in a model-independent manner, i.e. in a more meaningful and comprehensive way than is possible using the $H_0$ parameter of the Standard Model alone. We do this by means of the expansion rate fluctuation field $\eta$, an unbiased Gaussian observable that measures deviations from isotropy in the redshift-distance relation. We show that an expansion of $\eta$ in terms of covariant cosmographic parameters, both kinematic (expansion rate $\mathbb{H}_o$, deceleration $\mathbb{Q}_o$ and jerk $\mathbb{J}_o$) and geometric (curvature $\mathbb{R}_o$), allows for a consistent description of metric fluctuations even in a very local and strongly anisotropic universe. The covariant cosmographic parameters critically depend on the observer's state of motion. We thus show how the lower order multipoles of ${\eta}_{\ell}$ ($\ell \leq 4$), measured by a generic observer in an arbitrary state of motion can be used to disentangle expansion effects that are induced by observer's motion from those sourced by pure metric fluctuations. We test the formalism using analytical, axis-symmetric toy models which simulate large-scale linear fluctuations in the redshift-distance relation in the local Universe and which are physically motivated by available observational evidences. We show how to exploit specific features of $\eta$ to detect the limit of validity of a covariant cosmographic expansion in the local Universe, and to define the region where data can be meaningfully analyzed in a model-independent way, for cosmological inference. We also forecast the precision with which future data sets, such as ZTF, will constrain the structure of the expansion rate anisotropies in the local spacetime


title: GRATH: Gradual Self-Truthifying for Large Language Models

abstract: Truthfulness is paramount for large language models (LLMs) as they are increasingly deployed in real-world applications. However, existing LLMs still struggle with generating truthful content, as evidenced by their modest performance on benchmarks like TruthfulQA. To address this issue, we propose GRAdual self-truTHifying (GRATH), a novel post-processing method to enhance truthfulness of LLMs. GRATH utilizes out-of-domain question prompts to generate pairwise truthfulness training data with each pair containing a question and its correct and incorrect answers, and then optimizes the model via direct preference optimization (DPO) to learn from the truthfulness difference between answer pairs. GRATH iteratively refines truthfulness data and updates the model, leading to a gradual improvement in model truthfulness in a self-supervised manner. Empirically, we evaluate GRATH using different 7B-LLMs and compare with LLMs with similar or even larger sizes on benchmark datasets. Our results show that GRATH effectively improves LLMs' truthfulness without compromising other core capabilities. Notably, GRATH achieves state-of-the-art performance on TruthfulQA, with MC1 accuracy of 54.71% and MC2 accuracy of 69.10%, which even surpass those on 70B-LLMs.


title: Multiplicative and additive systematics in galaxy density fluctuations and clustering measurements

abstract: Galaxy clustering measurements are a key probe of the matter density field in the Universe. With the era of precision cosmology upon us, surveys rely on precise measurements of the clustering signal for meaningful cosmological analysis. However, the presence of systematic contaminants can bias the observed galaxy number density, and thereby bias the galaxy two-point statistics. As the statistical uncertainties get smaller, correcting for these systematic contaminants becomes increasingly important for unbiased cosmological analysis. We present and validate a new method for understanding and mitigating these systematics in galaxy clustering measurements (two-point function) by identifying and characterizing contaminants in the galaxy overdensity field (one-point function) using a maximum-likelihood estimator (MLE). We test this methodology with KiDS-like mock galaxy catalogs and synthetic systematic template maps. We estimate the cosmological impact of such mitigation by quantifying uncertainties and possible biases in the inferred relationship between the observed and the true galaxy clustering signal. Our method robustly corrects the clustering signal to the sub-percent level and reduces numerous additive and multiplicative systematics from 1.5$\sigma$ to less than 0.1$\sigma$ for the scenarios we tested. In addition, we provide an empirical approach to identifying the functional form (additive, multiplicative, or other) by which specific systematics contaminate the galaxy number density. Even though this approach is tested and geared towards systematics contaminating the galaxy number density, the methods can be extended to systematics mitigation for other two-point correlation measurements.


title: Nearly critical superfluid: effective field theory and holography

abstract: We study a nearly critical superfluid system from two complementary approaches. Within the first approach, we formulate a Schwinger-Keldysh effective field theory (EFT) for the system when it is located slightly above the critical temperature. . The set of symmetries, particularly the dynamical Kubo-Martin-Schwinger (KMS) symmetry and chemical shift symmetry, strictly constrains the form of EFT action. Within the second approach, using the holographic Schwinger-Keldysh technique, we derive the effective action for a ``microscopic'' holographic superfluid, confirming the EFT construction. A systematic inclusion of non-Gaussianity is one highlight of present study.


title: Cheap Learning: Maximising Performance of Language Models for Social Data Science Using Minimal Data

abstract: The field of machine learning has recently made significant progress in reducing the requirements for labelled training data when building new models. These `cheaper' learning techniques hold significant potential for the social sciences, where development of large labelled training datasets is often a significant practical impediment to the use of machine learning for analytical tasks. In this article we review three `cheap' techniques that have developed in recent years: weak supervision, transfer learning and prompt engineering. For the latter, we also review the particular case of zero-shot prompting of large language models. For each technique we provide a guide of how it works and demonstrate its application across six different realistic social science applications (two different tasks paired with three different dataset makeups). We show good performance for all techniques, and in particular we demonstrate how prompting of large language models can achieve high accuracy at very low cost. Our results are accompanied by a code repository to make it easy for others to duplicate our work and use it in their own research. Overall, our article is intended to stimulate further uptake of these techniques in the social sciences.


title: Chemical signatures of planet engulfment events in Sun-like stars

abstract: The observational evidence that planetary systems can be very different from each other, suggests that their dynamical histories were very diverse, probably as a result of a strong sensitivity to the initial conditions. Severe dynamical processes can drive the orbital decay of planets or planetesimals ending in their accretion onto the host star. When this material enters the star, it is rapidly dissolved in the stellar envelope, altering the star's chemical pattern in a way that mirrors the composition observed in rocky objects. Indeed, chemical signatures of planet ingestion has been found in an increasing number of Sun-like stars. These observations carry substantial implications for the field of exoplanet science, as they are entirely detached from both specific biases associated with exoplanet detection techniques and assumptions made in n-body numerical simulations of systems' evolution. For instance, signatures of planet engulfment events suggest that a non-negligible portion of planetary systems has undergone highly dynamic histories, ultimately resulting in the fall of planetary material into the host star. Also, these studies open to the possibility of using chemical abundances of stars to identify which ones are the most likely to host analogues of the calm Solar System.


title: Strategies for optimal sky subtraction in the low surface brightness regime

abstract: The low surface brightness (LSB) regime ($\mu_{g} \gtrsim 26$ mag arcsec$^{-2}$) comprises a vast, mostly unexplored discovery space, from dwarf galaxies to the diffuse interstellar medium. Accessing this regime requires precisely removing instrumental signatures and light contamination, including, most critically, night sky emission. This is not trivial, as faint astrophysical and instrumental contamination can bias sky models at the precision needed to characterize LSB structures. Using idealized synthetic images, we assess how this bias impacts two common LSB-oriented sky-estimation algorithms: 1.) masking and parametric modelling, and 2.) stacking and smoothing dithered exposures. Undetected flux limits both methods by imposing a pedestal offset to all derived sky models. Careful, deep masking of fixed sources can mitigate this, but source density always imposes a fundamental limit. Stellar scattered light can contribute $\sim28$--$29$ mag arcsec$^{-2}$ of background flux even in low-density fields; its removal is critical prior to sky estimation. For complex skies, image combining is an effective non-parametric approach, although it strongly depends on observing strategy and adds noise to images on the smoothing kernel scale. Preemptive subtraction of fixed sources may be the only practical approach for robust sky estimation. We thus tested a third algorithm, subtracting a preliminary sky-subtracted coadd from exposures to isolate sky emission. Unfortunately, initial errors in sky estimation propagate through all subsequent sky models, making the method impractical. For large-scale surveys like LSST, where key science goals constrain observing strategy, masking and modelling remains the optimal sky estimation approach, assuming stellar scattered light is removed first.


title: The VLBA CANDELS GOODS-North Survey. I -- Survey Design, Processing, Data Products, and Source Counts

abstract: The past decade has seen significant advances in wide-field cm-wave very long baseline interferometry (VLBI), which is timely given the wide-area, synoptic survey-driven strategy of major facilities across the electromagnetic spectrum. While wide-field VLBI poses significant post-processing challenges that can severely curtail its potential scientific yield, many developments in the km-scale connected-element interferometer sphere are directly applicable to addressing these. Here we present the design, processing, data products, and source counts from a deep (11 $\mu$Jy beam$^{-1}$), quasi-uniform sensitivity, contiguous wide-field (160 arcmin$^2$) 1.6 GHz VLBI survey of the CANDELS GOODS-North field. This is one of the best-studied extragalactic fields at milli-arcsecond resolution and, therefore, is well-suited as a comparative study for our Tera-pixel VLBI image. The derived VLBI source counts show consistency with those measured in the COSMOS field, which broadly traces the AGN population detected in arcsecond-scale radio surveys. However, there is a distinctive flattening in the $ S_{\rm 1.4GHz}\sim$100-500 $\mu$Jy flux density range, which suggests a transition in the population of compact faint radio sources, qualitatively consistent with the excess source counts at 15 GHz that is argued to be an unmodelled population of radio cores. This survey approach will assist in deriving robust VLBI source counts and broadening the discovery space for future wide-field VLBI surveys, including VLBI with the Square Kilometre Array, which will include new large field-of-view antennas on the African continent at $\gtrsim$1000~km baselines. In addition, it may be useful in the design of both monitoring and/or rapidly triggered VLBI transient programmes.


title: Continuity of the orthogeodesic foliation and ergodic theory of the earthquake flow

abstract: In a previous paper, the authors extended Mirzakhani's (almost-everywhere defined) measurable conjugacy between the earthquake and horocycle flows to a measurable bijection. In this one, we analyze the continuity properties of this map and its inverse, proving that both are continuous at many points and in many directions. This lets us transfer measure convergence between the two systems, allowing us to pull back results from Teichm{\"u}ller dynamics to deduce analogous statements for the earthquake flow.


title: Stellar Populations With Optical Spectra: Deep Learning vs. Popular Spectrum Fitting Codes

abstract: We compare the performance of several popular spectrum fitting codes (Firefly, starlight, pyPipe3D and pPXF), and a deep-learning convolutional neural network (StarNet), in recovering known stellar population properties (mean stellar age, stellar metallicity, stellar mass-to-light ratio M*/L_r and the internal E(B-V)) of simulated galaxy spectra in optical wavelengths. Our mock spectra are constructed from star-formation histories from the IllustrisTNG100-1 simulation. These spectra mimic the Sloan Digital Sky Survey (SDSS) through a novel method of including the noise, sky residuals and emission lines taken directly from SDSS. We find that StarNet vastly outperforms all conventional codes in both speed and recovery of stellar population properties (error scatter < 0.08 dex, average biases < 0.02 dex for all tested quantities), but it requires an appropriate training set. Of the non-machine-learning codes, pPXF was a factor of 3-4 times faster than the other codes, and was the best in recovering stellar population properties (error scatter of < 0.11 dex, average biases < 0.08 dex). However, the errors and biases are strongly dependent on both true and predicted values of stellar age and metallicity, and signal-to-noise ratio. The biases of all codes can approach 0.15 dex in stellar ages, metallicities and log M*/L_r , but remain < 0.05 for E(B-V). Using unrealistic Gaussian noise in the construction of mock spectra will underestimate the errors in the metallicities by a factor of two or more, and mocks without emission lines will underestimate the errors in stellar age and M*/L_r by a factor of two.


title: Pricing and Usage: An Empirical Analysis of Lines of Credit

abstract: The hypothesis that committed revolving credit lines with fixed spreads can provide firms with interest rate insurance is a standard feature of models on these credit facilities' interest rate structure. Nevertheless, this hypothesis has not been tested. Its empirical examination is the main contribution of this paper. To perform this analysis, and given the unavailability of data, we hand-collect data on usage at the credit line level itself. The resulting dataset enables us also to take into account characteristics of credit lines that have been ignored by previous research. One of them is that credit lines can have simultaneously fixed and performance-based spreads.


title: Theory of momentum-resolved magnon electron energy loss spectra: The case of Yttrium Iron Garnet

abstract: We explore the inelastic spectra of electrons impinging in a magnetic system. The methodology here presented is intended to highlight the charge-dependent interaction of the electron beam in a STEM-EELS experiment, and the local vector potential generated by the magnetic lattice. This interaction shows an intensity $10^{-2}$ smaller than the purely spin interaction, which is taken to be functionally the same as in the inelastic neutron experiment. On the other hand, it shows a strong scattering vector dependence ($\kappa^{-4}$) and a dependence with the relative orientation between the probe wavevector and the local magnetic moments of the solid. We present YIG as a case study due to its high interest by the community.


title: The polarization of the solar Ba II D1 line with partial frequency redistribution and its magnetic sensitivity

abstract: We investigate the main physical mechanisms that shape the intensity and polarization of the Ba II D1 line at 4934 angstroms via radiative transfer numerical experiments. We focus especially on the scattering linear polarization arising from the spectral structure of the anisotropic radiation in the wavelength interval spanned by the line's hyperfine structure (HFS) components in the odd isotopes of barium. After verifying that the presence of the low-energy metastable levels only impacts the amplitude, but not the shape, of the D1 linear polarization, we relied on a two-term atomic model that neglects such metastable levels but includes HFS. The D1 fractional linear polarization shows a very small variation with the choice of atmospheric model, enhancing its suitability for solar magnetic field diagnostics. Tangled magnetic fields with strengths of tens of gauss reduce the linear polarization and saturation is reached at roughly 300 G. Deterministic inclined magnetic fields produce a U/I profile and, if they have a significant longitudinal component, a V/I profile, whose modeling requires accounting for HFS and the Paschen-Back effect. Because of the overlap between HFS components, the magnetograph formula cannot be applied to infer the longitudinal magnetic field. Accurately modeling the D1 intensity and polarization requires an atomic system that includes the metastable levels and the HFS, the detailed spectral structure of the radiation field, the incomplete Paschen-Back regime for magnetic fields, and an accurate treatment of collisions.


title: New Physics couplings from angular coefficient functions of $\bar B \to D^* (D \pi) \ell \bar \nu_\ell$

abstract: The Belle Collaboration has recently measured the complete set of angular coefficient functions for the exclusive decays $\bar B \to D^* (D \pi) \ell \bar \nu_\ell$, with $\ell=e,\,\mu$, in four bins of the parameter $w=\displaystyle\frac{m_B^2+m_{D^*}^2-q^2}{2m_B m_{D^*}}$, with $q$ the lepton pair momentum. Under the assumption that physics beyond the Standard Model does not contribute to such modes, the measurements are useful to determine the hadronic form factors describing the $B \to D^*$ matrix elements of the Standard Model weak current, and to improve the determination of $|V_{cb}|$. On the other hand, they can be used to assess the impact of possible new physics contributions. In a bottom-up approach, we extend the Standard Model effective Hamiltonian governing this mode with the inclusion of the full set of Lorentz invariant d=6 operators compatible with the gauge symmetry of the theory. The measured angular coefficient functions can tightly constrain the couplings in the generalized Hamiltonian. We present the first results of this analysis, discussing how improvements can be achieved when more complete data on the angular coefficient functions will be available.


title: Strong zero modes in integrable quantum circuits

abstract: It is a classic result that certain interacting integrable spin chains host robust edge modes known as strong zero modes (SZMs). In this work, we extend this result to the Floquet setting of local quantum circuits, focusing on a prototypical model providing an integrable Trotterization for the evolution of the XXZ Heisenberg spin chain. By exploiting the algebraic structures of integrability, we show that an exact SZM operator can be constructed for these integrable quantum circuits in certain regions of parameter space. Our construction, which recovers a well-known result by Paul Fendley in the continuous-time limit, relies on a set of commuting transfer matrices known from integrability, and allows us to easily prove important properties of the SZM, including normalizabilty. Our approach is different from previous methods and could be of independent interest even in the Hamiltonian setting. Our predictions, which are corroborated by numerical simulations of infinite-temperature autocorrelation functions, are potentially interesting for implementations of the XXZ quantum circuit on available quantum platforms.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Knots of Darkness in Atmospheric Turbulence

abstract: Topology, which originated as a mathematical discipline, nowadays advances the understanding of many branches of science and technology from elementary particle physics and cosmology to condensed matter physics. In optics, the topology of light and darkness facilitates new degrees of freedom for sculpting optical beams beyond conventionally used amplitude, phase, and polarization. This fundamentally new, spatial dimension opens new opportunities for several optical applications, ranging from optical manipulation, trapping, data processing, optical sensing and metrology, enhanced imaging, and microscopy, to classical and quantum communications. While topological stability of mathematical knots implying robustness to perturbations suggests their potential as information carriers, the behavior of optical knots in perturbative environments such as atmospheric turbulence is largely unexplored. Here, we experimentally and theoretically investigate the effects of atmospheric turbulence of optical knot stability and demonstrate that the number of crossing (the topological invariant) is preserved in the weak-turbulence regime, but may not be conserved in the stronger turbulence conditions. The turbulent medium is simulated in the laboratory using phase screens, which carry the refractive index changes associated with the Kolmogorov power spectrum, encoded in a spatial light modulator. The optical knots are reconstructed by single-shot measurements of the complex field, and the resilience of the knot topology is analyzed for various realistic turbulence strengths. These studies may give rise to entirely new approaches to the three-dimensional (3D) spatially resolved probing of turbulence.


title: Towards reliable synthesis of superconducting infinite layer nickelate thin films by topochemical reduction

abstract: Infinite layer nickelates provide a new route beyond copper oxides to address outstanding questions in the field of unconventional superconductivity. However, their synthesis poses considerable challenges, largely hindering experimental research on this new class of oxide superconductors. That synthesis is achieved in a two-step process that yields the most thermodynamically stable perovskite phase first, then the infinite-layer phase by topotactic reduction, the quality of the starting phase playing a crucial role. Here, we report on reliable synthesis of superconducting infinite-layer nickelate films after successive topochemical reductions of a parent perovskite phase with nearly optimal stoichiometry. Careful analysis of the transport properties of the incompletely reduced films reveals an improvement of the strange metal behaviour of their normal state resistivity over subsequent topochemical reductions, offering insight into the reduction process.


title: Low-Scaling algorithms for $GW$ and constrained random phase approximation using symmetry-adapted interpolative separable density fitting

abstract: We present low-scaling algorithms for $GW$ and constrained random phase approximation based on a symmetry-adapted interpolative separable density fitting (ISDF) procedure that incorporates the space-group symmetries of crystalline systems. The resulting formulations scale cubically with respect to system sizes and linearly with the number of $\mathbf{k}$-points, regardless of the choice of single-particle basis and whether a quasiparticle approximation is employed. We validate these methods through comparisons with published literature and demonstrate their efficiency in treating large-scale systems through the construction of downfolded many-body Hamiltonians for carbon dimer defects embedded in hexagonal boron nitride supercells. Our work highlights the efficiency and general applicability of ISDF in the context of large-scale many-body calculations with $\mathbf{k}$-point sampling beyond density functional theory.


title: Interpreting Event-Studies from Recent Difference-in-Differences Methods

abstract: This note discusses the interpretation of event-study plots produced by recent difference-in-differences methods. I show that even when specialized to the case of non-staggered treatment timing, the default plots produced by software for three of the most popular recent methods (de Chaisemartin and D'Haultfoeuille, 2020; Callaway and SantAnna, 2021; Borusyak, Jaravel and Spiess, 2024) do not match those of traditional two-way fixed effects (TWFE) event-studies: the new methods may show a kink or jump at the time of treatment even when the TWFE event-study shows a straight line. This difference stems from the fact that the new methods construct the pre-treatment coefficients asymmetrically from the post-treatment coefficients. As a result, visual heuristics for analyzing TWFE event-study plots should not be immediately applied to those from these methods. I conclude with practical recommendations for constructing and interpreting event-study plots when using these methods.


title: Interplay of Stellar and Gas-Phase Metallicities: Unveiling Insights for Stellar Feedback Modeling with Illustris, IllustrisTNG, and EAGLE

abstract: The metal content of galaxies provides a window into their formation in the full context of the cosmic baryon cycle. In this study, we examine the relationship between stellar mass and stellar metallicity (${\rm MZ}_*{\rm R}$) in the hydrodynamic simulations Illustris, TNG, and EAGLE to understand the global properties of stellar metallicities within the feedback paradigm employed by these simulations. Interestingly, we observe significant variations in the overall normalization and redshift evolution of the ${\rm MZ}_*{\rm R}$ across the three simulations. However, all simulations consistently demonstrate a tertiary dependence on the specific star formation rate (sSFR) of galaxies. This finding parallels the relationship seen in both simulations and observations between stellar mass, gas-phase metallicity, and some proxy of galaxy gas content (e.g., SFR, gas fraction, atomic gas mass). Since we find this correlation exists in all three simulations, each employing a sub-grid treatment of the dense, star-forming interstellar medium (ISM) to simulate smooth stellar feedback, we interpret this result as a fairly general feature of simulations of this kind. Furthermore, with a toy analytic model, we propose that the tertiary correlation in the stellar component is sensitive to the extent of the ``burstiness'' of feedback within galaxies.


title: The $R$-Process Alliance: Detailed Composition of an $R$-Process Enhanced Star with UV and Optical Spectroscopy

abstract: We present a detailed chemical-abundance analysis of a highly $r$-process enhanced (RPE) star, 2MASS J00512646-1053170, using high-resolution spectroscopic observations with $Hubble\ Space\ Telescope$/STIS in the UV and Magellan/MIKE in the optical. We determined abundances for 41 elements in total, including 23 $r$-process elements and rarely probed species such as Al II, Ge I, Mo II, Cd I, Os II, Pt I, and Au I. We find that [Ge/Fe] $= +0.10$, which is an unusually high Ge enhancement for such a metal-poor star and indicates contribution from a production mechanism decoupled from that of Fe. We also find that this star has the highest Cd abundance observed for a metal-poor star to date. We find that the dispersion in the Cd abundances of metal-poor stars can be explained by the correlation of Cd I abundances with the stellar parameters of the stars, indicating the presence of NLTE effects. We also report that this star is now only the 6th star with Au abundance determined. This result, along with abundances of Pt and Os, uphold the case for the extension of the universal $r$-process pattern to the third $r$-process peak and to Au. This study adds to the sparse but growing number of RPE stars with extensive chemical-abundance inventories and highlights the need for not only more abundance determinations of these rarely probed species, but also advances in theoretical NLTE and astrophysical studies to reliably understand the origin of $r$-process elements.


title: $In$ $situ$ observation of non-polar to strongly polar atom-ion collision dynamics

abstract: The onset of collision dynamics between an ion and a Rydberg atom is studied in a regime characterized by a multitude of collision channels. These channels arise from coupling between a non-polar Rydberg state and numerous highly polar Stark states. The interaction potentials formed by the polar Stark states show a substantial difference in spatial gradient compared to the non-polar state leading to a separation of collisional timescales, which is observed in situ. For collision energies in the range of $k_\textrm{B}\cdot\mu$K to $k_\textrm{B}\cdot$K, the dynamics exhibit a counter-intuitive dependence on temperature, resulting in faster collision dynamics for cold - initially "slow" - systems. Dipole selection rules enable us to prepare the collision pair on the non-polar potential in a highly controlled manner, which determines occupation of the collision channels. The experimental observations are supported by semi-classical simulations, which model the pair state evolution and provide evidence for tunable non-adiabatic dynamics.


title: Eliashberg theory for bilayer exciton condensation

abstract: We study the effect of dynamical screening of interactions on the transition temperatures ($T_c$) of exciton condensation in a symmetric bilayer of quadratically dispersing electrons and holes by solving the linearized Eliashberg equations for the anomalous interlayer Green's functions. We find that $T_c$ is finite for the range of density and layer separations studied, decaying exponentially with interlayer separation. $T_c$ is suppressed well below that predicted by a Hartree Fock mean field theory with unscreened Coulomb interaction, but is above the estimates from the statically screened Coulomb interaction. Furthermore, using a diagramatic framework, we show that the system is always an exciton condensate at zero temperature but $T_c$ is exponentially small for large interlayer separation.


title: Global Portraits of Nonminimal Inflation: Metric and Palatini

abstract: In this paper, we study the global phase space dynamics of single nonminimally coupled scalar field inflation models in the metric and Palatini formalisms. Working in the Jordan frame, we derive the scalar-tensor general field equations and flat FLRW cosmological equations, and present the Palatini and metric equations in a common framework. We show that inflation is characterized by a "master" trajectory from a saddle-type de Sitter fixed point to a stable node fixed point, approximated by slow roll conditions (presented for the first time in the Palatini formalism). We show that, despite different underlying equations, the fixed point structure and properties of many models are congruent in metric and Palatini, which explains their qualitative similarities and their suitability for driving inflation. On the other hand, the global phase portraits reveal how even models which predict the same values for observable perturbations differ, both to the extent of the phase space physically available to their trajectories, as well as their past asymptotic states. We also note how the slow roll conditions tend to underestimate the end of inflationary accelerated expansion experienced by the true nonlinear "master" solution. The explicit examples we consider range from the metric and Palatini induced gravity quintic potential with a Coleman-Weinberg correction factor to Starobinsky, metric and Palatini nonminimal Higgs, second order pole, and several nontrivial Palatini models.


title: The Risk-Return Relation in the Corporate Loan Market

abstract: This paper analyzes the hypothesis that returns play a risk-compensating role in the market for corporate revolving lines of credit. Specifically, we test whether borrower risk and the expected return on these debt instruments are positively related. Our main findings support this prediction, in contrast to the only previous work that examined this problem two decades ago. Nevertheless, we find evidence of mispricing regarding the risk of deteriorating firms using their facilities more intensively and during the subprime crisis.


title: On the geometric and analytical properties of the anharmonic oscillator

abstract: Here we consider the anharmonic oscillator that is a dynamical system given by $y_{xx}+\delta y^{n}=0$. We demonstrate that to this equation corresponds a new example of a superintegrable two-dimensional metric with a linear and a transcendental first integrals. Moreover, we show that for particular values of $n$ the transcendental first integral degenerates into a polynomial one, which provides an example of a superintegrable metric with additional polynomial first integral of an arbitrary even degree. We also discuss a general procedure of how to construct a superintegrable metric with one linear first integral from an autonomous nonlinear oscillator that is cubic with respect to the first derivative. We classify all cubic oscillators that can be used in this construction. Furthermore, we study the Li\'enard equations that are equivalent to the anharmonic oscillator with respect to the point transformations. We show that there are nontrivial examples of the Li\'enard equations that belong to this equivalence class, like the generalized Duffing oscillator or the generalized Duffing--Van der Pol oscillator.


title: Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics

abstract: Robots are experiencing a revolution as they permeate many aspects of our daily lives, from performing house maintenance to infrastructure inspection, from efficiently warehousing goods to autonomous vehicles, and more. This technical progress and its impact are astounding. This revolution, however, is outstripping the capabilities of existing software development processes, techniques, and tools, which largely have remained unchanged for decades. These capabilities are ill-suited to handling the challenges unique to robotics software such as dealing with a wide diversity of domains, heterogeneous hardware, programmed and learned components, complex physical environments captured and modeled with uncertainty, emergent behaviors that include human interactions, and scalability demands that span across multiple dimensions. Looking ahead to the need to develop software for robots that are ever more ubiquitous, autonomous, and reliant on complex adaptive components, hardware, and data, motivated an NSF-sponsored community workshop on the subject of Software Engineering for Robotics, held in Detroit, Michigan in October 2023. The goal of the workshop was to bring together thought leaders across robotics and software engineering to coalesce a community, and identify key problems in the area of SE for robotics that that community should aim to solve over the next 5 years. This report serves to summarize the motivation, activities, and findings of that workshop, in particular by articulating the challenges unique to robot software, and identifying a vision for fruitful near-term research directions to tackle them.


title: Modeling the Kinematics of Central and Satellite Galaxies Using Normalizing Flows

abstract: Galaxy clustering contains information on cosmology, galaxy evolution, and the relationship between galaxies and their dark matter hosts. On small scales, the detailed kinematics of galaxies within their host halos determines the galaxy clustering. In this paper, we investigate the dependence of the central and satellite galaxy kinematics on $\boldsymbol{\theta}$, the intrinsic host halo properties (mass, spin, concentration), cosmology ($\Omega_{\textrm{m}}$, $\sigma_8$), and baryonic feedback from active galactic nuclei and supernovae ($A_{\rm AGN1}$, $A_{\rm AGN2}$, $A_{\rm SN1}$, $A_{\rm SN2}$). We utilize 2,000 hydrodynamic simulations in CAMELS run using IllustrisTNG and SIMBA galaxy formation models. Focusing on central and satellite galaxies with $M>10^9M_\ast$, we apply neural density estimation (NDE) with normalizing flows to estimate their $p(\Delta r|\boldsymbol{\theta})$ and $p(\Delta v|\boldsymbol{\theta})$, where $\Delta r$ and $\Delta v$ are the magnitudes of the halo-centric spatial and velocity offsets. With NDE, we accurately capture the dependence of galaxy kinematics on each component of $\boldsymbol{\theta}$. For central galaxies, we identify significant spatial and velocity biases dependent on halo mass, concentration, and spin. For satellite distributions, we find significant deviations from an NFW profile and evidence that they consist of distinct orbiting and infalling populations. However, we find no significant dependence on $\boldsymbol{\theta}$ besides a weak dependence on host halo spin. For both central and satellite galaxies, there is no significant dependence on cosmological parameters and baryonic feedback. These results provide key insights for improving the current halo occupation distribution (HOD) models. This work is the first in a series that will re-examine and develop HOD frameworks for improved modeling of galaxy clustering at smaller scales.


title: Exploring the Gas-Phase Metallicity Gradients of Star-forming Galaxies at Cosmic Noon

abstract: We explore the relationships between the [O/H] gas-phase metallicity radial gradients and multiple galaxy properties for 238 star-forming galaxies at 0.6<z<2.6 selected from the CANDELS Ly$\alpha$ Emission at Reionization (CLEAR) survey with stellar mass 8.5 < log $M_{*}/M_{\odot}$ < 10.5. The gradients cover the range from -0.11 to 0.22 dex kpc$^{-1}$, with the median value close to zero. We reconstruct the nonparametric star-formation histories (SFHs) of the galaxies with spectral energy distribution modeling using Prospector with more than 40 photometric bands from HST, Spitzer and ground-based facilities. In general, we find weak or no correlations between the metallicity gradients and most galaxy properties, including the mass-weighted age, recent star formation rate, dust attenuation, and morphology as quantified by both parametric and non-parametric diagnostics. We find a significant but moderate correlation between the gradients and the 'evolutionary time', a temporal metric that characterizes the evolutionary status of a galaxy, with flatter gradients observed in more evolved galaxies. Also, there is evidence that galaxies with multiple star-formation episodes in their SFHs tend to develop more negative gas-phase metallicity gradients (higher [O/H] at the center). We conclude that gas kinematics, e.g. radial inflows and outflows, is likely an important process in setting the gas-phase metallicity gradients, in addition to the evolution of the SFH radial profile. Since the gradients are largely independent on the galaxies' physical properties, and only weakly dependent on their SFH, it would appear that the timescale of the gas kinematics is significantly shorter than the evolution of star formation.


title: Finite-momentum and field-induced pairings in orbital-singlet spin-triplet superconductors

abstract: Finite-momentum pairing in a Pauli-limited spin-singlet superconductor arises from the pair-breaking effects of an external Zeeman field, a mechanism which is not applicable in odd-parity spin-triplet superconductors. However, in multiorbital systems, the relevant bands originating from different orbitals are usually separated in momentum space, implying that orbital-singlet pairing is a natural candidate for a finite-momentum pairing state. We show that finite-momentum pairing arises in even-parity orbital-singlet spin-triplet superconductors via the combination of orbitally-nontrivial kinetic terms and Hund's coupling. The finite-momentum pairing is then suppressed with an increasing spin-orbit coupling, stabilizing a uniform pseudospin-singlet pairing. We also examine the effects of the magnetic field and find field-induced superconductivity at large fields. We apply these findings to the multiorbital superconductor with spin-orbit coupling, Sr$_{2}$RuO$_{4}$ and show that a finite-momentum pseudospin-singlet state appears between the uniform pairing and normal states. Future directions of inquiry relating to our findings are also discussed.


title: The outcomes of generative AI are exactly the Nash equilibria of a non-potential game

abstract: In this article we show that the asymptotic outcomes of both shallow and deep neural networks such as those used in BloombergGPT to generate economic time series are exactly the Nash equilibria of a non-potential game. We then design and analyze deep neural network algorithms that converge to these equilibria. The methodology is extended to federated deep neural networks between clusters of regional servers and on-device clients. Finally, the variational inequalities behind large language models including encoder-decoder related transformers are established.


title: Smart Recommendations for Renting Bikes in Bike Sharing Systems

abstract: Vehicle-sharing systems -- such as bike-, car-, or motorcycle-sharing systems -- have become increasingly popular in big cities in recent years. On the one hand, they provide a cheaper and environmentally friendlier means of transportation than private cars, and on the other hand, they satisfy the individual mobility demands of citizens better than traditional public transport systems. One of their advantages in this regard is their availability, e.g., the possibility of taking (or leaving) a vehicle almost anywhere in a city. This availability obviously depends on different strategic and operational management decisions and policies, such as the dimension of the fleet or the (re)distribution of vehicles. Agglutination problems -- where, due to usage patterns, available vehicles are concentrated in certain areas, whereas no vehicles are available in others -- are quite common in such systems, and need to be dealt with. Research has been dedicated to this problem, specifying different techniques to reduce imbalanced situations. In this paper, we present and compare strategies for recommending stations to users who wish to rent or return bikes in station-based bike-sharing systems. Our first contribution is a novel recommendation strategy based on queuing theory that recommends stations based on their utility to the user in terms of lower distance and higher probability of finding a bike or slot. Then, we go one step further, defining a strategy that recommends stations by combining the utility of a particular user with the utility of the global system, measured in terms of the improvement in the distribution of bikes and slots with respect to the expected future demand, with the aim of implicitly avoiding or alleviating balancing problems. We present several experiments to evaluate our proposal with real data from the bike sharing system BiciMAD in Madrid.


title: Bank Business Models, Size, and Profitability

abstract: To examine the relation between profitability and business models (BMs) across bank sizes, the paper proposes a research strategy based on machine learning techniques. This strategy allows for analyzing whether size and profit performance underlie BM heterogeneity, with BM identification being based on how the components of the bank portfolio contribute to profitability. The empirical exercise focuses on the European Union banking system. Our results suggest that banks with analogous levels of performance and different sizes share strategic features. Additionally, high capital ratios seem compatible with high profitability if banks, relative to their size peers, adopt a standard retail BM.


title: Streamlining Advanced Taxi Assignment Strategies based on Legal Analysis

abstract: In recent years many novel applications have appeared that promote the provision of services and activities in a collaborative manner. The key idea behind such systems is to take advantage of idle or underused capacities of existing resources, in order to provide improved services that assist people in their daily tasks, with additional functionality, enhanced efficiency, and/or reduced cost. Particularly in the domain of urban transportation, many researchers have put forward novel ideas, which are then implemented and evaluated through prototypes that usually draw upon AI methods and tools. However, such proposals also bring up multiple non-technical issues that need to be identified and addressed adequately if such systems are ever meant to be applied to the real world. While, in practice, legal and ethical aspects related to such AI-based systems are seldomly considered in the beginning of the research and development process, we argue that they not only restrict design decisions, but can also help guiding them. In this manuscript, we set out from a prototype of a taxi coordination service that mediates between individual (and autonomous) taxis and potential customers. After representing key aspects of its operation in a semi-structured manner, we analyse its viability from the viewpoint of current legal restrictions and constraints, so as to identify additional non-functional requirements as well as options to address them. Then, we go one step ahead, and actually modify the existing prototype to incorporate the previously identified recommendations. Performing experiments with this improved system helps us identify the most adequate option among several legally admissible alternatives.


title: Implementation of Allan Standard Deviation Technique in Stability Analysis of 4C31.61 Quasar Position

abstract: The International Celestial Reference Frame (ICRF) plays an important role in astronomy and geodesy. The realization of ICRF is based on the position of thousands of quasars observed using the Very-Long Baseline Interferometry (VLBI) technique. Better quality of ICRF is achieved when the position of the quasars is stable. In this study, we aim to analyze the stability of one of the quasars in ICRF called 4C31.61 (2201+315). We performed VLBI data analysis by using Vienna VLBI and Satellite Software (VieVS) to get the position of the quasar. We also used the data of the quasar's position from the Paris Observatory Geodetic VLBI Center. We examined the stability of the quasar position by using the Allan standard deviation technique. We found that the quasar 4C31.61 (2201+315) has a stable position with the dominance of white noise across the majority of time scales.


title: Fine-tuning Large Language Models for Multigenerator, Multidomain, and Multilingual Machine-Generated Text Detection

abstract: SemEval-2024 Task 8 introduces the challenge of identifying machine-generated texts from diverse Large Language Models (LLMs) in various languages and domains. The task comprises three subtasks: binary classification in monolingual and multilingual (Subtask A), multi-class classification (Subtask B), and mixed text detection (Subtask C). This paper focuses on Subtask A & B. Each subtask is supported by three datasets for training, development, and testing. To tackle this task, two methods: 1) using traditional machine learning (ML) with natural language preprocessing (NLP) for feature extraction, and 2) fine-tuning LLMs for text classification. The results show that transformer models, particularly LoRA-RoBERTa, exceed traditional ML methods in effectiveness, with majority voting being particularly effective in multilingual contexts for identifying machine-generated texts.


title: Streams and Graphs of Dynamical Systems

abstract: While studying gradient dynamical systems (DSs), Morse introduced the idea of encoding the qualitative behavior of a DS into a graph. Smale later refined Morse's idea and extended it to Axiom-A diffeomorphisms on manifolds. In Smale's vision, nodes are indecomposable closed invariant subsets of the non-wandering set with a dense orbit and there is an edge from node N to node M if the unstable manifold of N intersects the stable manifold of M. Since then, the decomposition of the non-wandering set was studied in many other settings, while the edges component of Smale's construction has been often overlooked. In the same years, more sophisticated generalizations of the non-wandering set were elaborated first by Auslander in 60s, by Conley in 70s and later by Easton and other authors. In our language, each of these generalizations involves the introduction of a closed and transitive extension of the non-wandering relation, that is closed but not transitive. In the present article, we develop a theory that generalizes at the same time both these lines of research. We study the general properties of closed transitive relations ("streams") containing the space of orbits of a discrete- or continuous-time semi-flow and we argue that these relations play a central role in the qualitative study of DSs. All most studied concepts of recurrence currently in literature can be defined in terms of our streams. Finally, we show how to associate to each stream a graph encoding its qualitative properties. Our main general result is that each stream of a semi-flow with "compact dynamics" has a connected graph. The range of semi-flows covered by our theorem goes from 1-dimensional discrete-time systems like the logistic map up to infinite-dimensional continuous-time systems like the semi-flow of quasilinear parabolic reaction-diffusion PDEs.


title: Systems of parabolic equations with delays: Continuous dependence on parameters

abstract: Results on continuous dependence on parameters, as well as on regularization, of solutions to linear systems of parabolic partial differential equations of second order with delay are given. One of the main features is that the topology on the zero order and delay coefficients is the weak-* topology on an $L_{\infty}$ space. This is important in the context of generation of linear skew-product dynamical systems by such equations.


title: Towards a prioritised use of transportation infrastructures: the case of vehicle-specific dynamic access restrictions to city centres

abstract: One of the main problems that local authorities of large cities have to face is the regulation of urban mobility. They need to provide the means to allow for the efficient movement of people and distribution of goods. However, the provisioning of transportation services needs to take into account general global objectives, like reducing emissions and having more healthy living environments, which may not always be aligned with individual interests. Urban mobility is usually provided through a transport infrastructure that includes all the elements that support mobility. On many occasions, the capacity of the elements of this infrastructure is lower than the actual demand and thus different transportation activities compete for their use. In this paper, we argue that scarce transport infrastructure elements should be assigned dynamically and in a prioritised manner to transport activities that have a higher utility from the point of view of society; for example, activities that produce less pollution and provide more value to society. In this paper, we define a general model for prioritizing the use of a particular type of transportation infrastructure element called time-unlimited elements, whose usage time is unknown a priori, and illustrate its dynamics through two use cases: vehicle-specific dynamic access restriction in city centres (i) based on the usage levels of available parking spaces and (ii) to assure sustained admissible air quality levels in the city centre. We carry out several experiments using the SUMO traffic simulation tool to evaluate our proposal.


title: Effect of Gravitational Waves on Yang-Mills condensates

abstract: In this article, we investigate the interactions of a Yang-Mills (YM) wave fluctuation of a classical isotropic, homogeneous YM condensate, which models gluon plasma, with a Gravitational Wave (GW). We re-analyse the study of fluctuations of the gluon plasma using vector decomposition of the gauge field into scalar, longitudinal, and transverse modes. We find that there is an energy transfer between isotropic gluon condensate and plasmon modes, but the effect is delayed, and dependent on the initial conditions. We also studied quarks in the background of YM condensate and GW. We find that the quarks break the isotropy of the condensate and the GW couples quarks of different flavours of the SU(2) group. The GW induces flavour fluctuations, and this has interesting implications for experimental observations and quark-gluon plasma physics.


title: Transfer Learning for Functional Mean Estimation: Phase Transition and Adaptive Algorithms

abstract: This paper studies transfer learning for estimating the mean of random functions based on discretely sampled data, where, in addition to observations from the target distribution, auxiliary samples from similar but distinct source distributions are available. The paper considers both common and independent designs and establishes the minimax rates of convergence for both designs. The results reveal an interesting phase transition phenomenon under the two designs and demonstrate the benefits of utilizing the source samples in the low sampling frequency regime. For practical applications, this paper proposes novel data-driven adaptive algorithms that attain the optimal rates of convergence within a logarithmic factor simultaneously over a large collection of parameter spaces. The theoretical findings are complemented by a simulation study that further supports the effectiveness of the proposed algorithms


title: A Precise Characterization of SGD Stability Using Loss Surface Geometry

abstract: Stochastic Gradient Descent (SGD) stands as a cornerstone optimization algorithm with proven real-world empirical successes but relatively limited theoretical understanding. Recent research has illuminated a key factor contributing to its practical efficacy: the implicit regularization it instigates. Several studies have investigated the linear stability property of SGD in the vicinity of a stationary point as a predictive proxy for sharpness and generalization error in overparameterized neural networks (Wu et al., 2022; Jastrzebski et al., 2019; Cohen et al., 2021). In this paper, we delve deeper into the relationship between linear stability and sharpness. More specifically, we meticulously delineate the necessary and sufficient conditions for linear stability, contingent on hyperparameters of SGD and the sharpness at the optimum. Towards this end, we introduce a novel coherence measure of the loss Hessian that encapsulates pertinent geometric properties of the loss function that are relevant to the linear stability of SGD. It enables us to provide a simplified sufficient condition for identifying linear instability at an optimum. Notably, compared to previous works, our analysis relies on significantly milder assumptions and is applicable for a broader class of loss functions than known before, encompassing not only mean-squared error but also cross-entropy loss.


title: Asphericity of the base of the solar convection zone

abstract: We have used solar oscillation frequencies and frequency splittings obtained over solar cycles 23 and 24 to investigate whether the base of the solar convection zone shows any departure from spherical symmetry. We used the even-order splitting coefficients, $a_2$-$a_8$, and estimated the contributions from each one separately. The average asphericity over the two solar cycles was determined using frequencies and splittings obtained with a 9216-day time-series. We find that evidence of asphericity is, {\em at best}, marginal: the $a_2$ component is consistent with no asphericity, the $a_4$ and $a_6$ components yield results at a level a little greater than $1\,\sigma$, while the $a_8$ component shows a signature below $1\,\sigma$. The combined results indicate that the time average of the departure from the spherically symmetric position of the base of the convection zone is $\lesssim 0.0001R_\odot$. We have also used helioseismic data obtained from time-series of lengths 360 days, 576 days, 1152 days, and 2304 days in order to examine the consistency of the results and evaluate whether there is any time variation. We find that the evidence for time variation is statistically marginal in all cases, except for the $a_6$ component, for which tests consistently yield $p$ values of less than $0.05$.


title: Business Model Contributions to Bank Profit Performance: A Machine Learning Approach

abstract: This paper analyzes the relation between bank profit performance and business models. Using a machine learning-based approach, we propose a methodological strategy in which balance sheet components' contributions to profitability are the identification instruments of business models. We apply this strategy to the European Union banking system from 1997 to 2021. Our main findings indicate that the standard retail-oriented business model is the profile that performs best in terms of profitability, whereas adopting a non-specialized business profile is a strategic decision that leads to poor profitability. Additionally, our findings suggest that the effect of high capital ratios on profitability depends on the business profile. The contributions of business models to profitability decreased during the Great Recession. Although the situation showed signs of improvement afterward, the European Union banking system's ability to yield returns is still problematic in the post-crisis period, even for the best-performing group.


title: Homotopy theory of Stokes structures and derived moduli

abstract: The goal of this paper is to build a theory of Stokes structures in an abstract infinity categorical context and to show that Stokes structures coming from flat bundles form a locally geometric derived stack of finite presentation. This generalizes existing geometricity results on Stokes structures in four different directions : our result applies in any dimension, infinity categorical coefficients are allowed, derived structures on moduli spaces are considered and more general spaces than those arising from flat bundles are permitted.


title: Notes on $\delta$-algebras and prisms in homotopy theory

abstract: J McClure's Dyer-Lashof operation in $p$-adic $K$-theory defines, in particular, a prismatic structure on the complex representation ring of the circle group. Work of Ando, Rezk, Stapleton, and others generalizes this to define a canonical lift of Frobenius for structured Lubin-Tate spectra. We suggest that recent work of K Ito and S Marks on $L$-typical prisms may extend this to local neighborhoods of the topological prime points $K(n)$ of the category of spectra.


title: The Assouad dimension of Kakeya sets in $\mathbb{R}^3$

abstract: This paper studies the structure of Kakeya sets in $\mathbb{R}^3$. We show that for every Kakeya set $K\subset\mathbb{R}^3$, there exist well-separated scales $0<\delta<\rho\leq 1$ so that the $\delta$ neighborhood of $K$ is almost as large as the $\rho$ neighborhood of $K$. As a consequence, every Kakeya set in $\mathbb{R}^3$ has Assouad dimension 3 and every Ahlfors-David regular Kakeya set in $\mathbb{R}^3$ has Hausdorff dimension 3. We also show that every Kakeya set in $\mathbb{R}^3$ that has "stably equal" Hausdorff and packing dimension (this is a new notion, which is introduced to avoid certain obvious obstructions) must have Hausdorff dimension 3. The above results follow from certain multi-scale structure theorems for arrangements of tubes and rectangular prisms in three dimensions, and a mild generalization of the sticky Kakeya theorem previously proved by the authors.


title: 1/c deformations of AdS$_3$ boundary conditions and the Dym hierarchy

abstract: This work introduces a novel family of boundary conditions for AdS$_3$ General Relativity, constructed through a polynomial expansion in negative integer powers of the Brown-Henneaux central charge. The associated dynamics is governed by the Dym hierarchy of integrable equations. It is shown that the infinite set of Dym conserved charges generates an abelian asymptotic symmetry group. Additionally, these boundary conditions encompass black hole solutions, whose thermodynamic properties are examined.


title: A note on generalized crowns in linear r-graphs

abstract: An $r$-graph $H$ is a hypergraph consisting of a nonempty set of vertices $V$ and a collection of $r$-element subsets of $V$ we refer to as the edges of $H$. An $r$-graph $H$ is called linear if any two edges of $H$ intersect in at most one vertex. Let $F$ and $H$ be two linear $r$-graphs. If $H$ contains no copy of $F$, then $H$ is called $F$-free. The linear Tur\'{a}n number of $F$, denoted by $ex_r^{lin}(n,F)$, is the maximum number of edges in any $F$-free $n$-vertex linear $r$-graph. The crown $C_{13}$ (or $E_4$) is a linear 3-graph which is obtained from three pairwise disjoint edges by adding one edge that intersects all three of them in one vertex. In 2022, Gy\'{a}rf\'{a}s, Ruszink\'{o} and S\'{a}rk\"{o}zy initiated the study of $ex_3^{lin}(n,F)$ for different choices of an acyclic 3-graph $F$. They determined the linear Tur\'{a}n numbers for all linear 3-graphs with at most 4 edges, except the crown. They established lower and upper bounds for $ex_3^{lin}(n,C_{13})$. In fact, their lower bound on $ex_3^{lin}(n,C_{13})$ is essentially tight, as was shown in a recent paper by Tang, Wu, Zhang and Zheng. In this paper, we generalize the notion of a crown to linear $r$-graphs for $r\ge 3$, and also generalize the above results to linear $r$-graphs.


title: Contrastive Learning and Cycle Consistency-based Transductive Transfer Learning for Target Annotation

abstract: Annotating automatic target recognition (ATR) is a highly challenging task, primarily due to the unavailability of labeled data in the target domain. Hence, it is essential to construct an optimal target domain classifier by utilizing the labeled information of the source domain images. The transductive transfer learning (TTL) method that incorporates a CycleGAN-based unpaired domain translation network has been previously proposed in the literature for effective ATR annotation. Although this method demonstrates great potential for ATR, it severely suffers from lower annotation performance, higher Fr\'echet Inception Distance (FID) score, and the presence of visual artifacts in the synthetic images. To address these issues, we propose a hybrid contrastive learning base unpaired domain translation (H-CUT) network that achieves a significantly lower FID score. It incorporates both attention and entropy to emphasize the domain-specific region, a noisy feature mixup module to generate high variational synthetic negative patches, and a modulated noise contrastive estimation (MoNCE) loss to reweight all negative patches using optimal transport for better performance. Our proposed contrastive learning and cycle-consistency-based TTL (C3TTL) framework consists of two H-CUT networks and two classifiers. It simultaneously optimizes cycle-consistency, MoNCE, and identity losses. In C3TTL, two H-CUT networks have been employed through a bijection mapping to feed the reconstructed source domain images into a pretrained classifier to guide the optimal target domain classifier. Extensive experimental analysis conducted on three ATR datasets demonstrates that the proposed C3TTL method is effective in annotating civilian and military vehicles, as well as ship targets.


title: Prompt emission properties of GRB~200613

abstract: We study the prompt emission properties of the long duration GRB~200613A using \textit{Fermi}-Gamma-Ray Burst Monitor (GBM) and Large Area Telescope (LAT) data. The prompt emission light curve of GRB~200613A reveals a strong peak emission up to $\sim$ 50 s after the burst accompanied by an extended emission up to $\sim$ 470 s similar to that seen in ultra-long GRB light curves. The time-integrated spectroscopy shows that the Band function best fits the main emission episode, and the extended emission follows the power-law behaviour because of poor count rates. Due to its high isotropic energy and low peak energy, GRB~200613A lies at the extreme end in both the $E_{\rm p}$--$E_{\rm iso}$ and $E_{\rm p}$--$T_{90}$ plots. In addition to the GBM detection, the \textit{Fermi}-LAT detected the highest energetic photons of 7.56 GeV after 6.2 ks since burst, which lies beyond the maximum synchrotron energy range.


title: Discretisations of mixed-dimensional Thermo-Hydro-Mechanical models preserving energy estimates

abstract: In this study, we explore mixed-dimensional Thermo-Hydro-Mechanical (THM) models in fractured porous media accounting for Coulomb frictional contact at matrix fracture interfaces. The simulation of such models plays an important role in many applications such as hydraulic stimulation in deep geothermal systems and assessing induced seismic risks in CO2 storage. We first extend to the mixed-dimensional framework the thermodynamically consistent THM models derived in [16] based on first and second principles of thermodynamics. Two formulations of the energy equation will be considered based either on energy conservation or on the entropy balance, assuming a vanishing thermo-poro-elastic dissipation. Our focus is on space time discretisations preserving energy estimates for both types of formulations and for a general single phase fluid thermodynamical model. This is achieved by a Finite Volume discretisation of the non-isothermal flow based on coercive fluxes and a tailored discretisation of the non-conservative convective terms. It is combined with a mixed Finite Element formulation of the contact-mechanical model with face-wise constant Lagrange multipliers accounting for the surface tractions, which preserves the dissipative properties of the contact terms. The discretisations of both THM formulations are investigated and compared in terms of convergence, accuracy and robustness on 2D test cases. It includes a Discrete Fracture Matrix model with a convection dominated thermal regime, and either a weakly compressible liquid or a highly compressible gas thermodynamical model.


title: Subgraph Extraction-based Feedback-guided Iterative Scheduling for HLS

abstract: This paper proposes ISDC, a novel feedback-guided iterative system of difference constraints (SDC) scheduling algorithm for high-level synthesis (HLS). ISDC leverages subgraph extraction-based low-level feedback from downstream tools like logic synthesizers to iteratively refine HLS scheduling. Technical innovations include: (1) An enhanced SDC formulation that effectively integrates low-level feedback into the linear-programming (LP) problem; (2) A fanout and window-based subgraph extraction mechanism driving the feedback cycle; (3) A no-human-in-loop ISDC flow compatible with a wide range of downstream tools and process design kits (PDKs). Evaluation shows that ISDC reduces register usage by 28.5% against an industrial-strength open-source HLS tool.


title: OCT-SelfNet: A Self-Supervised Framework with Multi-Modal Datasets for Generalized and Robust Retinal Disease Detection

abstract: Despite the revolutionary impact of AI and the development of locally trained algorithms, achieving widespread generalized learning from multi-modal data in medical AI remains a significant challenge. This gap hinders the practical deployment of scalable medical AI solutions. Addressing this challenge, our research contributes a self-supervised robust machine learning framework, OCT-SelfNet, for detecting eye diseases using optical coherence tomography (OCT) images. In this work, various data sets from various institutions are combined enabling a more comprehensive range of representation. Our method addresses the issue using a two-phase training approach that combines self-supervised pretraining and supervised fine-tuning with a mask autoencoder based on the SwinV2 backbone by providing a solution for real-world clinical deployment. Extensive experiments on three datasets with different encoder backbones, low data settings, unseen data settings, and the effect of augmentation show that our method outperforms the baseline model, Resnet-50 by consistently attaining AUC-ROC performance surpassing 77% across all tests, whereas the baseline model exceeds 54%. Moreover, in terms of the AUC-PR metric, our proposed method exceeded 42%, showcasing a substantial increase of at least 10% in performance compared to the baseline, which exceeded only 33%. This contributes to our understanding of our approach's potential and emphasizes its usefulness in clinical settings.


title: Distributionally Robust Receive Beamforming

abstract: This article investigates signal estimation in wireless transmission (i.e., receive beamforming) from the perspective of statistical machine learning, where the transmit signals may be from an integrated sensing and communication system; that is, 1) signals may be not only discrete constellation points but also arbitrary complex values; 2) signals may be spatially correlated. Particular attention is paid to handling various uncertainties such as the uncertainty of the transmit signal covariance, the uncertainty of the channel matrix, the uncertainty of the channel noise covariance, the existence of channel impulse noises, and the limited sample size of pilots. To proceed, a distributionally robust machine learning framework that is insensitive to the above uncertainties is proposed, which reveals that channel estimation is not a necessary operation. For optimal linear estimation, the proposed framework includes several existing beamformers as special cases such as diagonal loading and eigenvalue thresholding. For optimal nonlinear estimation, estimators are limited in reproducing kernel Hilbert spaces and neural network function spaces, and corresponding uncertainty-aware solutions (e.g., kernelized diagonal loading) are derived. In addition, we prove that the ridge and kernel ridge regression methods in machine learning are distributionally robust against diagonal perturbation in feature covariance.


title: Fuzzy quantitative attack tree analysis

abstract: Attack trees are important for security, as they help to identify weaknesses and vulnerabilities in a system. Quantitative attack tree analysis supports a number security metrics, which formulate important KPIs such as the shortest, most likely and cheapest attacks. A key bottleneck in quantitative analysis is that the values are usually not known exactly, due to insufficient data and/or lack of knowledge. Fuzzy logic is a prominent framework to handle such uncertain values, with applications in numerous domains. While several studies proposed fuzzy approaches to attack tree analysis, none of them provided a firm definition of fuzzy metric values or generic algorithms for computation of fuzzy metrics. In this work, we define a generic formulation for fuzzy metric values that applies to most quantitative metrics. The resulting metric value is a fuzzy number obtained by following Zadeh's extension principle, obtained when we equip the basis attack steps, i.e., the leaves of the attack trees, with fuzzy numbers. In addition, we prove a modular decomposition theorem that yields a bottom-up algorithm to efficiently calculate the top fuzzy metric value.


title: On a problem concerning integer distance graphs

abstract: For $D$ being a subset of positive integers, the integer distance graph is the graph $G(D)$, whose vertex set is the set of integers, and edge set is the set of all pairs $uv$ with $|u-v| \in D$. It is known that $\chi(G(D)) \leq |D|+1$. This article studies the problem (which is motivated by a conjecture of Zhu): "Is it true that $\chi(G(D)) = |D|+1$ implies $\omega(G(D)) \geq |D|+1$, where $\omega(H)$ is the clique number of $H$?". We give a negative answer to this question, by showing an infinite class of integer distance graphs with $\chi(G(D))=|D|+1$ but $\omega(G(D))=|D|-1$.


title: Stochastic Optimization of Global Agrochemical Supply Chains with Risk Management: Modeling and Reformulation

abstract: The global agrochemical market is highly consolidated, with large multinational companies accounting for a major share of the market. Thus, even for a single agrochemical product, its global supply chain typically involves numerous paths connecting the raw material sources to the final customers. Besides structural complexity, agrochemical supply chains are also subject to seasonality and other unique uncertainties, thereby posing a need for risk management tools and strategies. In this study, we model and optimize an agrochemcial supply chain by developing and solving a stochastic mixed-integer quadratic constrained program (MIQCP). We model and control the demand uncertainty in this scenario-based MIQCP using variance. We also apply perspective reformulation techniques to convert the MIQCP to a mixed-integer linear program (MILP). Computational experiment results from an illustrative example show that, successively introducing perspective cuts to the reformulated MILP not only leads to a tight approximation of the original MIQCP model, but is also more computationally efficient than directly solving the MIQCP.


title: Lifting noncontextuality inequalities

abstract: Kochen-Specker contextuality is a fundamental feature of quantum mechanics and a crucial resource for quantum computational advantage and reduction of communication complexity. Its presence is witnessed in empirical data by the violation of noncontextuality inequalities. However, all known noncontextuality inequalities corresponding to facets of noncontextual polytopes are either Bell inequalities or refer to cyclic or state-independent contextuality scenarios. We introduce a general method for lifting noncontextuality inequalities, deriving facets of noncontextual polytopes for more complex scenarios from known facets of simpler subscenarios. Concretely, starting from an arbitrary scenario, the addition of a new measurement or a new outcome preserves the facet-defining nature of any noncontextuality inequality. This extends the results of Pironio [J. Math. Phys. 46, 062112 (2005)] from Bell nonlocality scenarios to contextuality scenarios, unifying liftings of Bell and noncontextuality inequalities. Our method produces facet-defining noncontextuality inequalities in all scenarios with contextual correlations, and we present examples of facet-defining noncontextuality inequalities for scenarios where no examples were known. Our results shed light on the structure of noncontextuality polytopes and the relationship between such polytopes across different scenarios.


title: Scaling Up Quantization-Aware Neural Architecture Search for Efficient Deep Learning on the Edge

abstract: Neural Architecture Search (NAS) has become the de-facto approach for designing accurate and efficient networks for edge devices. Since models are typically quantized for edge deployment, recent work has investigated quantization-aware NAS (QA-NAS) to search for highly accurate and efficient quantized models. However, existing QA-NAS approaches, particularly few-bit mixed-precision (FB-MP) methods, do not scale to larger tasks. Consequently, QA-NAS has mostly been limited to low-scale tasks and tiny networks. In this work, we present an approach to enable QA-NAS (INT8 and FB-MP) on large-scale tasks by leveraging the block-wise formulation introduced by block-wise NAS. We demonstrate strong results for the semantic segmentation task on the Cityscapes dataset, finding FB-MP models 33% smaller and INT8 models 17.6% faster than DeepLabV3 (INT8) without compromising task performance.


title: Performance Analysis of 6G Multiuser Massive MIMO-OFDM THz Wireless Systems with Hybrid Beamforming under Intercarrier Interference

abstract: 6G networks are expected to provide more diverse capabilities than their predecessors and are likely to support applications beyond current mobile applications, such as virtual and augmented reality (VR/AR), AI, and the Internet of Things (IoT). In contrast to typical multiple-input multiple-output (MIMO) systems, THz MIMO precoding cannot be conducted totally at baseband using digital precoders due to the restricted number of signal mixers and analog-to-digital converters that can be supported due to their cost and power consumption. In this thesis, we analyzed the performance of multiuser massive MIMO-OFDM THz wireless systems with hybrid beamforming. Carrier frequency offset (CFO) is one of the most well-known disturbances for OFDM. For practicality, we accounted for CFO, which results in Intercarrier Interference. Incorporating the combined impact of molecular absorption, high sparsity, and multi-path fading, we analyzed a three-dimensional wideband THz channel and the carrier frequency offset in multi-carrier systems. With this model, we first presented a two-stage wideband hybrid beamforming technique comprising Riemannian manifolds optimization for analog beamforming and then a zero-forcing (ZF) approach for digital beamforming. We adjusted the objective function to reduce complexity, and instead of maximizing the bit rate, we determined parameters by minimizing interference. Numerical results demonstrate the significance of considering ICI for practical implementation for the THz system. We demonstrated how our change in problem formulation minimizes latency without compromising results. We also evaluated spectral efficiency by varying the number of RF chains and antennas. The spectral efficiency grows as the number of RF chains and antennas increases, but the spectral efficiency of antennas declines when the number of users increases.


title: Completely Bounded Norms of $k$-positive Maps

abstract: Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system). In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$. Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property.


title: A model comparison of 2D Cartesian and 2D axisymmetric models for positive streamer discharges in air

abstract: Simulating streamer discharges in 3D can computationally be very expensive, which is why 2D Cartesian simulations are sometimes used instead, especially when dealing with complex geometries. Although 2D Cartesian simulations can only be used to obtain qualitative results, it is nevertheless interesting to understand how they differ from their 3D or axisymmetric counterparts. We therefore compare 2D Cartesian and axisymmetric simulations of positive streamers in air, using a drift-diffusion-reaction fluid model with the local field approximation. With the same electrode length and width, inception voltages are found to be about a factor two higher in the 2D Cartesian case. When compared at the same applied voltage, the 2D Cartesian streamers are up to four times thinner and slower, their maximal electric field is about 30% lower and their degree of ionization is about 65% lower, with the largest differences occurring at the start of the discharge. When we compare at a similar ratio of applied voltage over inception voltage, velocities become rather similar, and so do the streamer radii at later propagation times. However, the maximal electric field in the 2D Cartesian case is then about 20-30% lower, and the degree of ionization is about 40-50% lower. Finally, we show that streamer branching cannot qualitatively be modeled in a 2D Cartesian geometry.


title: The Gravitational Wave AfterglowPy Analysis (GWAPA) webtool

abstract: We present the first release of the Gravitational Wave AfterglowPy Analysis (GWAPA) webtool. GWAPA is designed to provide the community with an interactive tool for rapid analysis of gravitational wave afterglow counterparts and can be extended to the general case of gamma-ray burst afterglows seen at different angles. It is based on the afterglowpy package and allows users to upload observational data and vary afterglow parameters to infer the properties of the explosion. Multiple jet structures, including top hat, Gaussian and power laws, in addition to a spherical outflow model are implemented. A Python script for MCMC fitting is also available to download, with initial guesses taken from GWAPA.


title: Symplectic quantization III: Non-relativistic limit

abstract: First of all we shortly illustrate how the symplectic quantization scheme [Gradenigo and Livi, 2021] can be applied to a relativistic field theory with self-interaction. Taking inspiration from the stochastic quantization method by Parisi and Wu, this procedure is based on considering explicitly the role of an intrinsic time variable, associated with quantum fluctuations. The major part of this paper is devoted to showing how the symplectic quantization scheme can be extended to the non-relativistic limit for a Schr\"odinger-like field. Then we also discuss how one can obtain from this non-relativistic theory a linear Schr\"odinger equation for the single-particle wavefunction. This further passage is based on a suitable coarse-graining procedure, when self-interaction terms can be neglected, with respect to interactions with any external field. In the Appendix we complete our survey on symplectic quantization by discussing how this scheme applies to a non-relativistic particle under the action of a generic external potential.


title: Efficient Collaborations through Weight-Driven Coalition Dynamics in Federated Learning Systems

abstract: In the era of the Internet of Things (IoT), decentralized paradigms for machine learning are gaining prominence. In this paper, we introduce a federated learning model that capitalizes on the Euclidean distance between device model weights to assess their similarity and disparity. This is foundational for our system, directing the formation of coalitions among devices based on the closeness of their model weights. Furthermore, the concept of a barycenter, representing the average of model weights, helps in the aggregation of updates from multiple devices. We evaluate our approach using homogeneous and heterogeneous data distribution, comparing it against traditional federated learning averaging algorithm. Numerical results demonstrate its potential in offering structured, outperformed and communication-efficient model for IoT-based machine learning.


title: Magnetic and Lattice Ordered Fractional Quantum Hall Phases in Graphene

abstract: At and near charge neutrality, monolayer graphene in a perpendicular magnetic field is a quantum Hall ferromagnet. In addition to the highly symmetric Coulomb interaction, residual lattice-scale interactions, Zeeman, and sublattice couplings determine the fate of the ground state. Going beyond the simplest model with ultra-short-range residual couplings to more generic couplings, one finds integer phases that show the coexistence of magnetic and lattice order parameters. Here we show that fractional quantum Hall states in the vicinity of charge neutrality have even richer phase diagrams, with a plethora of phases with simultaneous magnetic and lattice symmetry breaking.


title: A Security Risk Assessment Method for Distributed Ledger Technology (DLT) based Applications: Three Industry Case Studies

abstract: Distributed ledger technologies have gained significant attention and adoption in recent years. Despite various security features distributed ledger technology provides, they are vulnerable to different and new malicious attacks, such as selfish mining and Sybil attacks. While such vulnerabilities have been investigated, detecting and discovering appropriate countermeasures still need to be reported. Cybersecurity knowledge is limited and fragmented in this domain, while distributed ledger technology usage grows daily. Thus, research focusing on overcoming potential attacks on distributed ledgers is required. This study aims to raise awareness of the cybersecurity of distributed ledger technology by designing a security risk assessment method for distributed ledger technology applications. We have developed a database with possible security threats and known attacks on distributed ledger technologies to accompany the method, including sets of countermeasures. We employed a semi-systematic literature review combined with method engineering to develop a method that organizations can use to assess their cybersecurity risk for distributed ledger applications. The method has subsequently been evaluated in three case studies, which show that the method helps to effectively conduct security risk assessments for distributed ledger applications in these organizations.


title: Positivstellens\"atze and Moment problems with Universal Quantifiers

abstract: This paper studies Positivstellens\"atze and moment problems for sets that are given by universal quantifiers. Let $Q$ be a closed set and let $g = (g_1,...,g_s)$ be a tuple of polynomials in two vector variables $x$ and $y$. Then $K$ is described as the set of all points $x$ such that each $g_j(x, y) \ge 0$ for all $y \in Q$. Fix a measure $\nu$ with $supp(\nu) = Q$, and assume it satisfies the Carleman condition. The first main result of the paper is a Positivstellensatz with universal quantifiers: if a polynomial $f(x)$ is positive on $K$, then it belongs to the quadratic module $QM(g,\nu)$ associated to $(g,\nu)$, under the archimedeanness assumption on $QM(g,\nu)$. Here, $QM(g,\nu)$ denotes the quadratic module of polynomials in $x$ that can be represented as \[\tau_0(x) + \int \tau_1(x,y)g_1(x, y)\, d\nu(y) + \cdots + \int \tau_s(x,y) g_s(x, y)\, d\nu(y), \] where each $\tau_j$ is a sum of squares polynomial. Second, necessary and sufficient conditions for a full (or truncated) multisequence to admit a representing measure supported in $K$ are given. In particular, the classical flat extension theorem of Curto and Fialkow is generalized to truncated moment problems on such a set $K$. Finally, applications of these results for solving semi-infinite optimization problems are presented.


title: Parameter extraction for a superconducting thermal switch (hTron) SPICE model

abstract: Efficiently simulating large circuits is crucial for the broader use of superconducting nanowire-based electronics. However, current simulation tools for this technology are not adapted to the scaling of circuit size and complexity. We focus on the multilayered heater-nanocryotron (hTron), a promising superconducting nanowire-based switch used in applications such as superconducting nanowire single-photon detector (SNSPD) readout. Previously, the hTron was modeled using traditional finite-element methods (FEM), which fall short in simulating systems at a larger scale. An empirical-based method would be better adapted to this task, enhancing both simulation speed and agreement with experimental data. In this work, we perform switching current and activation delay measurements on 17 hTron devices. We then develop a method for extracting physical fitting parameters used to characterize the devices. We build a SPICE behavioral model that reproduces the static and transient device behavior using these parameters, and validate it by comparing its performance to the model developed in a prior work, showing an improvement in simulation time by several orders of magnitude. Our model provides circuit designers with a tool to help understand the hTron's behavior during all design stages, thus promoting broader use of the hTron across various new areas of application.


title: Unique ergodicity for random noninvertible maps on an interval

abstract: In this short note, we investigate non-invertible stochastic dynamical systems on the unit interval $[0, 1]$. We provide a handy condition for unique ergodicity for systems that are injective in mean. On the other hand, we give concrete examples where unique ergodicity fails.


title: VC dimension of Graph Neural Networks with Pfaffian activation functions

abstract: Graph Neural Networks (GNNs) have emerged in recent years as a powerful tool to learn tasks across a wide range of graph domains in a data-driven fashion; based on a message passing mechanism, GNNs have gained increasing popularity due to their intuitive formulation, closely linked with the Weisfeiler-Lehman (WL) test for graph isomorphism, to which they have proven equivalent. From a theoretical point of view, GNNs have been shown to be universal approximators, and their generalization capability (namely, bounds on the Vapnik Chervonekis (VC) dimension) has recently been investigated for GNNs with piecewise polynomial activation functions. The aim of our work is to extend this analysis on the VC dimension of GNNs to other commonly used activation functions, such as sigmoid and hyperbolic tangent, using the framework of Pfaffian function theory. Bounds are provided with respect to architecture parameters (depth, number of neurons, input size) as well as with respect to the number of colors resulting from the 1-WL test applied on the graph domain. The theoretical analysis is supported by a preliminary experimental study.


title: Acoustic pressure modulation driven by spatially non-uniform flow

abstract: The recent identification of a modulation of acoustic waves that is driven by spatial velocity gradients, using acoustic black and white hole analogues [Schenke et al., J. Acoust. Soc. Am. 154 (2023), 781-791], has shed new light on the complex interplay of acoustic waves and non-uniform flows. According to the virtual acoustic black hole hypothesis, these findings should be applicable to acoustic waves propagating in non-uniform flows of arbitrary velocity. In this study, the propagation of acoustic waves in non-uniform flows is investigated by incorporating a leading-order model of the acoustic pressure modulation into a Lagrangian wave tracking algorithm. Using this numerical method, the acoustic pressure modulation is recovered accurately in non-uniform subsonic flows. This suggests that spatial velocity gradients drive acoustic pressure modulations in any non-uniform flow, which can, as shown here, be readily quantified.


title: Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines

abstract: In this paper, we present NSGA-II-SVM (Non-dominated Sorting Genetic Algorithm with Support Vector Machine Guidance), a novel learnable evolutionary and search-based testing algorithm that leverages Support Vector Machine (SVM) classification models to direct the search towards failure-revealing test inputs. Supported by genetic search, NSGA-II-SVM creates iteratively SVM-based models of the test input space, learning which regions in the search space are promising to be explored. A subsequent sampling and repetition of evolutionary search iterations allow to refine and make the model more accurate in the prediction. Our preliminary evaluation of NSGA-II-SVM by testing an Automated Valet Parking system shows that NSGA-II-SVM is more effective in identifying more critical test cases than a state of the art learnable evolutionary testing technique as well as naive random search.


title: Measuring diversity. A review and an empirical analysis

abstract: Maximum diversity problems arise in many practical settings from facility location to social networks, and constitute an important class of NP-hard problems in combinatorial optimization. There has been a growing interest in these problems in recent years, and different mathematical programming models have been proposed to capture the notion of diversity. They basically consist of selecting a subset of elements of a given set in such a way that a measure based on their pairwise distances is maximized to achieve dispersion or representativeness. In this paper, we perform an exhaustive comparison of four mathematical models to achieve diversity over the public domain library MDPLIB, studying the structure of the solutions obtained with each of them. We extend this library by including new Euclidean instances which permit to analyze the geometrical distribution of the solutions. Our study concludes which models are better suited for dispersion and which ones for representativeness in terms of the structure of their solutions, as well as which instances are difficult to solve. We also identify in our conclusions one of the models which is not recommended in any setting. We finalize by proposing two improvements, one related to the models and one to solving methods. The computational testing shows the value of the analysis and merit of our proposals.


title: A Unified Approach to Second and Third Degree Price Discrimination

abstract: We analyze the welfare impact of a monopolist able to segment a multiproduct market and offer differentiated price menus within each segment. We characterize a family of extremal distributions such that all achievable welfare outcomes can be reached by selecting segments from within these distributions. This family of distributions arises as the solution to the consumer maximizing distribution of values for multigood markets. With these results, we analyze the effect of segmentation on consumer surplus and prices in both interior and extremal markets, including conditions under which there exists a segmentation benefiting all consumers. Finally, we present an efficient algorithm for computing segmentations.


title: Unique continuation at infinity: Carleman estimates on general warped cylinders

abstract: We obtain a vanishing result for solutions of the inequality $|\Delta u|\le q_1|u|+q_2|\nabla u|$ that decay to zero along a very general warped cylindrical end of a Riemannian manifold. The appropriate decay condition at infinity on $u$ is related to the behavior of the potential functions $q_1$ and $q_2$ and to the asymptotic geometry of the end. The main ingredient is a new Carleman estimate of independent interest. Geometric applications to conformal deformations and to minimal graphs are presented.


title: Bubble Universe from Flat Spaces

abstract: We show by matching two flat spaces one in Minkowski coordinates ( empty space) and the other in Minkowski coordinates after a special conformal transformation (also empty space) through a bubble with positive and constant surface tension, that the motion of the bubble is hyperbolic. If the surface tension is very big the initial size of the bubble is as small as we wish, so that we can indeed obtain an infinite universe out of empty spaces. The induced space in the bubble is de Sitter type.


title: SubgroupTE: Advancing Treatment Effect Estimation with Subgroup Identification

abstract: Precise estimation of treatment effects is crucial for evaluating intervention effectiveness. While deep learning models have exhibited promising performance in learning counterfactual representations for treatment effect estimation (TEE), a major limitation in most of these models is that they treat the entire population as a homogeneous group, overlooking the diversity of treatment effects across potential subgroups that have varying treatment effects. This limitation restricts the ability to precisely estimate treatment effects and provide subgroup-specific treatment recommendations. In this paper, we propose a novel treatment effect estimation model, named SubgroupTE, which incorporates subgroup identification in TEE. SubgroupTE identifies heterogeneous subgroups with different treatment responses and more precisely estimates treatment effects by considering subgroup-specific causal effects. In addition, SubgroupTE iteratively optimizes subgrouping and treatment effect estimation networks to enhance both estimation and subgroup identification. Comprehensive experiments on the synthetic and semi-synthetic datasets exhibit the outstanding performance of SubgroupTE compared with the state-of-the-art models on treatment effect estimation. Additionally, a real-world study demonstrates the capabilities of SubgroupTE in enhancing personalized treatment recommendations for patients with opioid use disorder (OUD) by advancing treatment effect estimation with subgroup identification.