title: On the Standardization of Behavioral Use Clauses and Their Adoption for Responsible Licensing of AI

abstract: Growing concerns over negligent or malicious uses of AI have increased the appetite for tools that help manage the risks of the technology. In 2018, licenses with behaviorial-use clauses (commonly referred to as Responsible AI Licenses) were proposed to give developers a framework for releasing AI assets while specifying their users to mitigate negative applications. As of the end of 2023, on the order of 40,000 software and model repositories have adopted responsible AI licenses licenses. Notable models licensed with behavioral use clauses include BLOOM (language) and LLaMA2 (language), Stable Diffusion (image), and GRID (robotics). This paper explores why and how these licenses have been adopted, and why and how they have been adapted to fit particular use cases. We use a mixed-methods methodology of qualitative interviews, clustering of license clauses, and quantitative analysis of license adoption. Based on this evidence we take the position that responsible AI licenses need standardization to avoid confusing users or diluting their impact. At the same time, customization of behavioral restrictions is also appropriate in some contexts (e.g., medical domains). We advocate for ``standardized customization'' that can meet users' needs and can be supported via tooling.


title: Do Large Code Models Understand Programming Concepts? A Black-box Approach

abstract: Large Language Models' success on text generation has also made them better at code generation and coding tasks. While a lot of work has demonstrated their remarkable performance on tasks such as code completion and editing, it is still unclear as to why. We help bridge this gap by exploring to what degree auto-regressive models understand the logical constructs of the underlying programs. We propose Counterfactual Analysis for Programming Concept Predicates (CACP) as a counterfactual testing framework to evaluate whether Large Code Models understand programming concepts. With only black-box access to the model, we use CACP to evaluate ten popular Large Code Models for four different programming concepts. Our findings suggest that current models lack understanding of concepts such as data flow and control flow.


title: Exploring the Impact of In-Browser Deep Learning Inference on Quality of User Experience and Performance

abstract: Deep Learning (DL) is increasingly being integrated into Web applications through a method known as "in-browser inference", where the DL processes occur directly within Web browsers. However, the actual performance of this method and its effect on user experience quality (QoE) is not well-understood. This gap in knowledge necessitates new forms of QoE measurement, going beyond traditional metrics such as page load time. To address this, we conducted the first extensive performance evaluation of in-browser inference. We introduced new metrics for this purpose: responsiveness, smoothness, and inference accuracy. Our thorough study included 9 widely-used DL models and tested them across 50 popular PC Web browsers. The findings show a significant latency issue with in-browser inference: it's on average 16.9 times slower on CPU and 4.9 times slower on GPU than native inference methods. Several factors contribute to this latency, including underused hardware instruction sets, inherent delays in the runtime environment, resource competition within the browser, and inefficiencies in software libraries and GPU abstractions. Moreover, in-browser inference demands a lot of memory, sometimes up to 334.6 times more than the size of the DL models themselves. This excessive memory usage is partly due to suboptimal memory management. Additionally, we noticed that in-browser inference increases the time it takes for graphical user interface (GUI) components to load in web browsers by a significant 67.2\%, which severely impacts the overall QoE for users of web applications that depend on this technology.


title: Decoupled Sequence and Structure Generation for Realistic Antibody Design

abstract: Antibody design plays a pivotal role in advancing therapeutics. Although deep learning has made rapid progress in this field, existing methods jointly generate antibody sequences and structures, limiting task-specific optimization. In response, we propose an antibody sequence-structure decoupling (ASSD) framework, which separates sequence generation and structure prediction. Although our approach is simple, such a decoupling strategy has been overlooked in previous works. We also find that the widely used non-autoregressive generators promote sequences with overly repeating tokens. Such sequences are both out-of-distribution and prone to undesirable developability properties that can trigger harmful immune responses in patients. To resolve this, we introduce a composition-based objective that allows an efficient trade-off between high performance and low token repetition. Our results demonstrate that ASSD consistently outperforms existing antibody design models, while the composition-based objective successfully mitigates token repetition of non-autoregressive models. Our code is available at \url{https://github.com/lkny123/ASSD_public}.


title: Capability enhancement of the X-ray micro-tomography system via ML-assisted approaches

abstract: Ring artifacts in X-ray micro-CT images are one of the primary causes of concern in their accurate visual interpretation and quantitative analysis. The geometry of X-ray micro-CT scanners is similar to the medical CT machines, except the sample is rotated with a stationary source and detector. The ring artifacts are caused by a defect or non-linear responses in detector pixels during the MicroCT data acquisition. Artifacts in MicroCT images can often be so severe that the images are no longer useful for further analysis. Therefore, it is essential to comprehend the causes of artifacts and potential solutions to maximize image quality. This article presents a convolution neural network (CNN)-based Deep Learning (DL) model inspired by UNet with a series of encoder and decoder units with skip connections for removal of ring artifacts. The proposed architecture has been evaluated using the Structural Similarity Index Measure (SSIM) and Mean Squared Error (MSE). Additionally, the results are compared with conventional filter-based non-ML techniques and are found to be better than the latter.

categories: eess.IV cs.LG physics.app-ph physics.ins-det


title: A note on uncountably chromatic graphs

abstract: We present an elementary construction of an uncountably chromatic graph without uncountable, infinitely connected subgraphs.


title: Computational Fluid Dynamics: its Carbon Footprint and Role in Carbon Emission Reduction

abstract: Turbulent flow physics regulates the aerodynamic properties of lifting surfaces, the thermodynamic efficiency of vapor power systems, and exchanges of natural and anthropogenic quantities between the atmosphere and ocean, to name just a few applications. The dynamics of turbulent flows are described via numerical integration of the non-linear Navier-Stokes equation -- a procedure known as computational fluid dynamics (CFD). At the dawn of scientific computing in the late 1950s, it would be many decades before terms such as ``carbon footprint'' or ``sustainability'' entered the lexicon, and longer still before these themes attained national priority throughout advanced economies. This paper introduces a framework designed to calculate the carbon footprint of CFD and its contribution to carbon emission reduction strategies. We will distinguish between "hero" and "routine" calculations, noting that the carbon footprint of hero calculations is largely determined by the energy source mix utilized. We will also review CFD of flows where turbulence effects are modeled, thus reducing the degrees of freedom. Estimates of the carbon footprint are presented for such fully- and partially-resolved simulations as functions of turbulence activity and calculation year, demonstrating a reduction in carbon emissions by two to five orders of magnitude at practical conditions. Beyond analyzing CO2 emissions, we quantify the benefits of applying CFD towards overall carbon emission reduction. The community's effort to avoid redundant calculations via turbulence databases merits particular attention, with estimates indicating that a single database could potentially reduce CO2 emissions by approximately O(1) million metric tons. Additionally, implementing CFD in the fluids industry has markedly decreased dependence on wind tunnel testing, which is anticipated to lead to CO2 emission reduction.


title: Thermodynamics of ketone + amine mixtures. I. Volumetric and speed of sound data at (293.15, 298.15, and 303.15) K for 2-propanone + aniline, + N- methylaniline, or + pyridine systems

abstract: Densities, $\rho$, and speeds of sound, $u$, of 2-propanone + aniline, + N-methylaniline, or + pyridine systems have been measured at (293.15, 298.15 and 303.15) K and atmospheric pressure using a vibrating tube densimeter and sound analyser Anton Paar model DSA-5000. The $\rho$ and $u$ values were used to calculate excess molar volumes, $V^{E}$, and the excess functions at 298.15 K for the speed of sound, $u^{E}$, the thermal expansion coefficient, $\alpha_{p}^{E}$, and for the isentropic compressibility, $\kappa_{S}^{E}$ at 298.15 K. $V^{E}$ and $\kappa_{S}^{E}$ are both negative magnitudes and increase in the same sequence: aniline < N-methylaniline < pyridine. The $V^{E}$ and $\kappa_{S}^{E}$ curves are shifted towards higher mole fractions of 2-propanone. The data haven interpreted assuming strong acetone-amine interactions, and weak structural effects.


title: Thermodynamics of mixtures containing alkoxyethanols. XXVIII: Liquid-liquid equilibria for 2-phenoxyethanol + selected alkanes

abstract: The coexistence curves of the liquid-liquid equilibria (LLE) for systems of 2-phenoxyethanol (2PhEE) with heptane, octane, cyclohexane, methylcyclohexane or ethylcyclohexane have been determined by the method of the critical opalescence using a laser scattering technique. All the curves show an upper critical solution temperature (UCST), have a rather horizontal top and their symmetry depends on the relative size of the mixture compounds. UCST values are higher for systems with linear alkanes than for solutions including cyclic alkanes. For these mixtures, the UCST increases with the size of the alkyl group attached to the cyclic part of the molecule. It is shown that interactions between alkoxyethanol molecules are stronger when the hydroxyether contains an aromatic group. Data are used to determine the critical exponent for the order parameter mole fraction. Values obtained are consistent with those provided by the Ising model or by the renormalization group theory.


title: Absence of Small Dust Cloud Particles Transiting the White Dwarf J0328-1219

abstract: The transiting dust clouds that orbit the white dwarf J0328-1219 are devoid of small particles (< 0.1 micron). Observations show that fade amount doesn't depend on wavelength. This finding resembles a similar observation for white dwarf WD 1145+017, but the explanations for an absence of small particles in the two white dwarf systems may differ due to their different distances from the star.


title: Dielectric and refractive index measurements for the systems 1-pentanol + 2,5,8,11,14-pentaoxapentadecane, or for 2,5,8,11,14-pentaoxapentadecane + octane at (293.15-303.15) K

abstract: Relative permittivities, $\varepsilon_{r}$, and refractive indices, $n_{D}$, have been measured at (293.15-303.15) K, for the mixtures 1-pentanol + 2,5,8,11,14-pentaoxapentadecane (TEGDME) or TEGDME + octane. These data have been used, together with density measurements available in the literature, to calculate the correlation factors, $g_{K}$, according to the Kirkwood-Fr\"ohlich equations. The curves of the deviations of from the ideal behaviour, $\Delta\varepsilon_{r}$, of the 1-pentanol + TEGDME system are shifted to high mole fractions of the alcohol, and show a rather large minimum. The shape of the $\Delta\varepsilon_{r}$ curves of methanol + TEGDME or + polyethylene glycol dimethyl ether 250 (PEG-250) mixtures is similar. This reveals that polyethers can break the alcohol self-association even at high alkanol concentrations. The higher $\Delta\varepsilon_{r}$ values of the methanol solutions are ascribed to large self-association of this alcohol. The $\Delta\varepsilon_{r}$ curves of the 1-pentanol + dibutyl ether (DBE) system are nearly symmetrical, and the $\Delta\varepsilon_{r}$ values are higher than those of the corresponding TEGDME mixture. This indicates that effects related to the alcohol self-association are much more relevant in the DBE system. These findings are supported by $g_{K}$ and molar polarization data. Values of molar refraction of 1-pentanol systems reveal that dispersion forces become more important in the sequence: octane < DBE < TEGDME. Such forces are also more relevant in the 1-pentanol + TEGDME system than in the methanol + TEGDME solution. The comparison of $\varepsilon_{r}$ and $g_{K}$ data for TEGDME or DBE + octane mixtures shows than the polyether is a more structured liquid.


title: The Ginsburg--Sands theorem and computability theory

abstract: The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on $\omega$: indiscrete, discrete, initial segment, final segment, and cofinite. The original proof is nonconstructive, and features an interesting application of Ramsey's theorem for pairs ($\mathsf{RT}^2_2$). We analyze this principle in computability theory and reverse mathematics, using Dorais's formalization of CSC spaces. Among our results are that the Ginsburg-Sands theorem for CSC spaces is equivalent to $\mathsf{ACA}_0$, while for Hausdorff spaces it is provable in $\mathsf{RCA}_0$. Furthermore, if we enrich a CSC space by adding the closure operator on points, then the Ginsburg-Sands theorem turns out to be equivalent to the chain/antichain principle ($\mathsf{CAC}$). The most surprising case is that of the Ginsburg-Sands theorem restricted to $T_1$ spaces. Here, we show that the principle lies strictly between $\mathsf{ACA}_0$ and $\mathsf{RT}^2_2$, yielding arguably the first natural theorem from outside logic to occupy this interval. As part of our analysis of the $T_1$ case we introduce a new class of purely combinatorial principles below $\mathsf{ACA}_0$ and not implied by $\mathsf{RT}^2_2$ which form a strict hierarchy generalizing the stable Ramsey's theorem for pairs ($\mathsf{SRT}^2_2$). We show that one of these, the $\Sigma^0_2$ subset principle ($\Sigma^0_2$-$\mathsf{Subset}$), has the property that it, together with the cohesive principle ($\mathsf{COH}$), is equivalent over $\mathsf{RCA}_0$ to the Ginsburg--Sands theorem for $T_1$ CSC spaces.


title: Using JWST transits and occultations to determine $\sim1\%$ stellar radii and temperatures of low-mass stars

abstract: Using JWST observations of a primary transit and two secondary eclipses for GJ 1214b, we determine an eccentricity that is more precise than a decade of HARPS data, which enables us to measure the stellar density to 2.62%. Coupled with a prior on the stellar mass from a dynamically calibrated K-$M_*$ relation, we determine $R_*$ to 1.13% -- 3 times more precise than any other published analysis of this system. Then, using the bolometric flux from an spectral energy distribution model, we determine $T_{\rm eff}$ to 1.39% -- 40% more precise than systematic floors from spectroscopy. Within the global model, these also improve the planetary radius and insolation. This is a proof of concept for a new method to determine accurate $R_*$ and $T_{\rm eff}$ to a precision currently achieved for only a small number of low-mass stars. By applying our method to all high signal-to-noise ratio planetary transits and occultations, we can expand the sample of precisely measured stars without assuming tidal circularization and calibrate new relations to improve our understanding of all low-mass stars.


title: [O IV] and [Ne V]-weak AGNs Hidden by Compton-thick Material in Late Mergers

abstract: We study "buried" active galactic nuclei (AGNs) almost fully covered by circumnuclear material in ultra-/luminous infrared galaxies (U/LIRGs), which show weak ionized lines from narrow line regions. Employing an indicator of [O IV] 25.89-um or [Ne V] 14.32-um line to 12-um AGN luminosity ratio, we find 17 buried AGN candidates that are [O IV]-weak ($L_{\rm [O\,IV]}$/$L_{\rm 12,AGN} \leq -$3.0) or [Ne V]-weak ($L_{\rm [Ne\,V]}$/$L_{\rm 12,AGN} \leq -$3.4) among 30 AGNs in local U/LIRGs. For the [O IV]-weak AGNs, we estimate their covering fractions of Compton-thick (CT; $N_{\rm H} \geq 10^{24}$ cm$^{-2}$) material with an X-ray clumpy torus model to be $f^{\rm (spec)}_{\rm CT} = 0.55\pm0.19$ on average. This value is consistent with the fraction of CT AGNs ($f^{\rm (stat)}_{\rm CT} = 53\pm12$%) among the [O IV]-weak AGNs in U/LIRGs and much larger than that in Swift/BAT AGNs ($23\pm6$%). The fraction of [O IV]-weak AGNs increases from $27^{+13}_{-10}$% (early) to $66^{+10}_{-12}$% (late mergers). Similar results are obtained with the [Ne V] line. The [O IV] or [Ne V]-weak AGNs in late mergers show larger $N_{\rm H}$ and Eddington ratios ($\lambda_{\rm Edd}$) than those of the Swift/BAT AGNs, and the largest $N_{\rm H}$ is $\gtrsim$10$^{25}$ cm$^{-2}$ at ${\log}\lambda_{\rm Edd} \sim -$1, close to the effective Eddington limit for CT material. These suggest that (1) the circumnuclear material in buried AGNs is regulated by the radiation force from high-$\lambda_{\rm Edd}$ AGNs on the CT obscurers, and (2) their dense material with large $f^{\rm (spec)}_{\rm CT}$ ($\sim 0.5 \pm 0.1$) in U/LIRGs is a likely cause of a unique structure of buried AGNs, whose amount of material may be maintained through merger-induced supply from their host galaxies.


title: A new 2+1 coherent spin-foam vertex for quantum gravity

abstract: We propose an explicit spin-foam amplitude for Lorentzian gravity in three dimensions. The model is based on two main requirements: that it should be structurally similar to its well-known Euclidean analog, and that geometricity should be recovered in the semiclassical regime. To this end we introduce new coherent states for space-like 1-dimensional boundaries, derived from the continuous series of unitary $\mathrm{SU}(1,1)$ representations. We show that the relevant objects in the amplitude can be written in terms of the defining representation of the group, just as so happens in the Euclidean case. We derive an expression for the semiclassical amplitude at large spins, showing that it relates to the Lorentzian Regge action.


title: Dark progenitors and massive descendants: A first ALMA perspective on Radio-Selected NIRdark galaxies in the COSMOS field

abstract: We present the first spectroscopic ALMA follow-up for a pilot sample of nine Radio-Selected NIRdark galaxies in the COSMOS field. These sources were initially selected as radio-detected sources (S(3GHz)>12.65 uJy), lacking an optical/NIR counterpart in the COSMOS2015 catalog (Ks>24.7 mag), with just three of them subsequently detected in the deeper COSMOS2020. Several studies highlighted how this selection could provide a population of highly dust-obscured, massive, and star-bursting galaxies. With these new ALMA observations, we assess the spectroscopic redshifts of this pilot sample of sources and improve the quality of the physical properties estimated through SED-fitting. Moreover, we measure the quantity of molecular gas present inside these galaxies and forecast their potential evolutionary path, finding that the RS-NIRdark galaxies could represent a likely population of high-z progenitors of the massive and passive galaxies discovered at z~3. Finally, we present some initial constraints on the kinematics of the ISM within the analyzed galaxies, reporting a high fraction (~55%) of double-peaked lines that can be interpreted as the signature of a rotating structure in our targets or with the presence of major mergers in our sample. Our results presented in this paper showcase the scientific potential of (sub)mm observations for this elusive population of galaxies and highlight the potential contribution of these sources in the evolution of the massive and passive galaxies at high-z.


title: The unexpected uses of a bowling pin: exploiting $^{20}$Ne isotopes for precision characterizations of collectivity in small systems

abstract: Whether or not femto-scale droplets of quark-gluon plasma (QGP) are formed in so-called small systems at high-energy colliders is a pressing question in the phenomenology of the strong interaction. For proton-proton or proton-nucleus collisions the answer is inconclusive due to the large theoretical uncertainties plaguing the description of these processes. While upcoming data on collisions of $^{16}$O nuclei may mitigate these uncertainties in the near future, here we demonstrate the unique possibilities offered by complementing $^{16}$O$^{16}$O data with collisions of $^{20}$Ne ions. We couple both NLEFT and PGCM ab initio descriptions of the structure of $^{20}$Ne and $^{16}$O to hydrodynamic simulations of $^{16}$O$^{16}$O and $^{20}$Ne$^{20}$Ne collisions at high energy. We isolate the imprints of the bowling-pin shape of $^{20}$Ne on the collective flow of hadrons, which can be used to perform quantitative tests of the hydrodynamic QGP paradigm. In particular, we predict that the elliptic flow of $^{20}$Ne$^{20}$Ne collisions is enhanced by as much as 1.170(8)$_{\rm stat.}$(30)$_{\rm syst.}$ for NLEFT and 1.139(6)$_{\rm stat.}$(39)$_{\rm syst.}$ for PGCM relative to $^{16}$O$^{16}$O collisions for the 1% most central events. At the same time, theoretical uncertainties largely cancel when studying relative variations of observables between two systems. This demonstrates a method based on experiments with two light-ion species for precision characterizations of the collective dynamics and its emergence in a small system.


title: Dust attenuation evolution in $z \sim 2$-$12$ JWST galaxies

abstract: A sizable fraction of the heavy elements synthesized by stars in galaxies condenses into sub-micron-sized solid-state particles, known as dust grains. Dust produces a wavelength-dependent attenuation, $A_\lambda$, of the galaxy emission, thereby significantly altering its observed properties. Locally, $A_\lambda$ is in general the sum of a power-law and a UV feature ('bump') produced by small, carbon-based grains. However, scant information exists regarding its evolution across cosmic time. Here, leveraging data from 173 galaxies observed by the James Webb Space Telescope in the redshift range z = 2 - 12, we report the most distant detection of the UV bump in a z ~ 7.55 galaxy (when the Universe was only ~ 700 Myr old), and show for the first time that the power-law slope and the bump strength decrease towards high redshifts. We propose that the flat $A_\lambda$ shape at early epochs is produced by large grains newly formed in supernova ejecta, which act as the main dust factories at such early epochs. Importantly, these grains have undergone minimal reprocessing in the interstellar medium due to the limited available cosmic time. This discovery opens new perspectives in the study of cosmic dust origin and evolution.


title: I-Love-$\langle c_s^2 \rangle$: Approximately universal relations for the average neutron star stiffness

abstract: The accurate observations of neutron stars have deepened our knowledge of both general relativity and the properties of nuclear physics at large densities. Relating observations to the microphysics that govern these stars can sometimes be aided by approximate universal relations. One such relation connects the ratio of the central pressure to the central energy density and the compactness of the star, and it has been found to be insensitive to realistic models for the equation of state to a $\sim 10\%$ level. In this paper, we clarify the meaning of the microscopic quantity appearing in this relation, which is reinterpreted as the average of the speed of sound squared in the interior of a star, $\langle c_s^2 \rangle\!$. The physical origin of the quasi-universality of the $\langle c_s^2 \rangle - C$ relation is then investigated. Making use of post-Minkowskian expansions, we find it to be linked to the Newtonian limit of the structure equations, as well as to the fact that the equations of state that describe NSs are relatively stiff. The same post-Minkowskian approach is also applied to the relations between $\langle c_s^2 \rangle\!$, the moment of inertia, and the tidal deformability of a neutron star, arriving at similar conclusions.


title: Scheme for continuous force detection with a single electron at the $10^{-27}\mathrm{N}$ level

abstract: The detection of weak forces is a central problem in physics and engineering, ranging in importance from fundamental pursuits such as precision tests of gravity, gravitational-wave detection, and searches for dark matter, to applications such as force microscopy. These pursuits require a low-mass mechanical force transducer with a high quality factor, whose motion can be measured in a quantum-noise-limited manner. Here we study the ultimate example of such a transducer: a single trapped electron. We propose and analyze in detail a new scheme for high-sensitivity continuous force detection using a single trapped electron whose motion is coupled to a microwave cavity field via image currents induced in an antenna. We derive the fundamental and technical limits to the sensitivity of this scheme and show that despite the disparity in size between that of a single electron and the wavelength of the microwave field, it is possible to continuously monitor the charge's zero-point motion and use it as a force detector with a sensitivity as low as $6\times 10^{-27}\, \mathrm{N}/ \sqrt{\mathrm{Hz}}$ in the gigahertz regime. This sensitivity improves on the state-of-the-art by four orders of magnitude and thus paves the way to novel precision experiments.


title: The In-Out Formalism for In-In Correlators

abstract: Cosmological correlators, the natural observables of the primordial universe, have been extensively studied in the past two decades using the in-in formalism pioneered by Schwinger and Keldysh for the study of dissipative open systems. Ironically, most applications in cosmology have focused on non-dissipative closed systems. We show that, for non-dissipative systems, correlators can be equivalently computed using the in-out formalism with the familiar Feynman rules. In particular, the myriad of in-in propagators is reduced to a single (Feynman) time-ordered propagator and no sum over the labelling of vertices is required. In de Sitter spacetime, this requires extending the expanding Poincar\'e patch with a contracting patch, which prepares the bra from the future. Our results are valid for fields of any mass and spin but assuming the absence of infrared divergences. We present three applications of the in-out formalism: a representation of correlators in terms of a sum over residues of Feynman propagators in the energy-momentum domain; an algebraic recursion relation that computes Minkowski correlators in terms of lower order ones; and the derivation of cutting rules from Veltman's largest time equation, which we explicitly develop and exemplify for two-vertex diagrams to all loop orders. The in-out formalism leads to a natural definition of a de Sitter scattering matrix, which we discuss in simple examples. Remarkably, we show that our scattering matrix satisfies the standard optical theorem and the positivity that follows from it in the forward limit.


title: The Rise and Fall of the Standard-Model Higgs: Electroweak Vacuum Stability during Kination

abstract: In this paper we investigate the vacuum stability of the non-minimally coupled Standard-Model Higgs during a phase of kinetic domination following the end of inflation. The non-minimal coupling to curvature stabilises the Higgs fluctuations during inflation while driving them towards the instability scale during kination, when they can classically overcome the potential barrier separating the false electroweak vacuum from the true one at super-Planckian field values. Avoiding the instability of the Standard-Model vacuum sets an upper bound on the inflationary scale that depends both on the strength of the non-minimal interaction and on the top quark Yukawa coupling. Classical vacuum stability is guaranteed if the gravitationally-produced energy density is smaller than the height of barrier in the effective potential. Interestingly enough, thanks to the explosive particle production in the tachyonic phase, the Higgs itself can be also appointed to the role of reheaton field responsible for the onset of the hot Big Bang era, setting an additional lower bound on the inflationary scale $\mathcal{H}_{\rm inf} \gtrsim 10^{5.5} \text{ GeV}$. Overall, these constraints favour lower masses for the top quark, in agreement with the current measurements of the top quark pole mass. We perform our analysis semi-analytically in terms of the one-loop and three-loop running of the Standard-Model Higgs self-coupling and make use of lattice-based parametric formulas for studying the (re)heating phase derived in arXiv:2307.03774. For a specific choice of $m_t=171.3 \text{ GeV}$ we perform also an extensive numerical scanning of the parameter space via classical lattice simulations, identifying stable/unstable regions and supporting the previous analytical arguments. For this fiducial value, the heating of the Universe is achieved at temperatures in the range $10^{-2} - 10^9 \text{ GeV}$.


title: Hagedorn temperature from the thermal scalar in AdS and pp-wave backgrounds

abstract: We propose a thermal scalar equation of motion (EOM) that takes into account curvature corrections for backgrounds supported by Ramond-Ramond fluxes. This can be used to obtain the Hagedorn temperature for type II string theory on AdS and pp-wave backgrounds. For Ramond-Ramond flux supported pp-waves we show that the proposed thermal scalar EOM reproduces the leading curvature correction in the Hagedorn temperature equation obtained from the type II string theory spectrum. Furthermore, we use the thermal scalar EOM to obtain curvature corrections to the Hagedorn temperature for the AdS$_5 \times S^5$ and AdS$_4 \times \mathbb{C} P^3$ backgrounds. These corrections match with strong coupling results of the integrable dual field theories, recently obtained by the Quantum Spectral Curve technique.


title: Every Datapoint Counts: Stellar Flares as a Case Study of Atmosphere Aided Studies of Transients in the LSST Era

abstract: Due to their short timescale, stellar flares are a challenging target for the most modern synoptic sky surveys. The upcoming Vera C. Rubin Legacy Survey of Space and Time (LSST), a project designed to collect more data than any precursor survey, is unlikely to detect flares with more than one data point in its main survey. We developed a methodology to enable LSST studies of stellar flares, with a focus on flare temperature and temperature evolution, which remain poorly constrained compared to flare morphology. By leveraging the sensitivity expected from the Rubin system, Differential Chromatic Refraction can be used to constrain flare temperature from a single-epoch detection, which will enable statistical studies of flare temperatures and constrain models of the physical processes behind flare emission using the unprecedentedly high volume of data produced by Rubin over the 10-year LSST. We model the refraction effect as a function of the atmospheric column density, photometric filter, and temperature of the flare, and show that flare temperatures at or above ~4,000K can be constrained by a single g-band observation at airmass X > 1.2, given the minimum specified requirement on single-visit relative astrometric accuracy of LSST, and that a surprisingly large number of LSST observations is in fact likely be conducted at X > 1.2, in spite of image quality requirements pushing the survey to preferentially low X. Having failed to measure flare DCR in LSST precursor surveys, we make recommendations on survey design and data products that enable these studies in LSST and other future surveys.


title: Favorable conditions for heavy element nucleosynthesis in rotating proto-magnetar winds

abstract: The neutrino-driven wind cooling phase of proto-neutron stars (PNSs) follows successful supernovae. Wind models without magnetic fields or rotation fail to achieve the necessary conditions for production of the third $r$-process peak, but robustly produce a weak $r$-process in neutron-rich winds. Using 2D magnetohydrodynamic simulations with magnetar-strength magnetic fields and rotation, we show that the PNS rotation rate significantly affects the thermodynamic conditions of the wind. We show that high entropy material is quasi-periodically ejected from the closed zone of the PNS magnetosphere with the required thermodynamic conditions to produce heavy elements. We show that maximum entropy $S$ of the material ejected depends systematically on the magnetar spin period $P_{\star}$ and scales as $S \propto P_{\star}^{-5/6}$ for sufficiently rapid rotation. We present results from simulations at a constant neutrino luminosity representative of $\sim 1-2$ s after the onset of cooling for $P_{\star}$ ranging from 5 ms to 200 ms and a few simulations with evolving neutrino luminosity where we follow the evolution of the magnetar wind until $10-14$ s after the onset of cooling. We estimate at magnetar polar magnetic field strength $B_0=3\times 10^{15}$ G, $10^{15}$ G, and $5\times 10^{14}$ G that neutron-rich magnetar winds can respectively produce at least $\sim 2-5\times 10^{-5}$ M$_{\odot}$, $\sim 3-4\times 10^{-6}$ M$_{\odot}$, and $\sim 2.5\times 10^{-8}$ M$_{\odot}$ of material with the required parameters for synthesis of the third $r-$process peak, within $1-2$ s, 10 s, and 14 s in that order after the onset of cooling. We show that proton-rich magnetar winds can have favorable conditions for production of $p-$nuclei, even at a modest $B_0=5\times 10^{14}$ G.


title: Memory-Efficient Vision Transformers: An Activation-Aware Mixed-Rank Compression Strategy

abstract: As Vision Transformers (ViTs) increasingly set new benchmarks in computer vision, their practical deployment on inference engines is often hindered by their significant memory bandwidth and (on-chip) memory footprint requirements. This paper addresses this memory limitation by introducing an activation-aware model compression methodology that uses selective low-rank weight tensor approximations of different layers to reduce the parameter count of ViTs. The key idea is to decompose the weight tensors into a sum of two parameter-efficient tensors while minimizing the error between the product of the input activations with the original weight tensor and the product of the input activations with the approximate tensor sum. This approximation is further refined by adopting an efficient layer-wise error compensation technique that uses the gradient of the layer's output loss. The combination of these techniques achieves excellent results while it avoids being trapped in a shallow local minimum early in the optimization process and strikes a good balance between the model compression and output accuracy. Notably, the presented method significantly reduces the parameter count of DeiT-B by 60% with less than 1% accuracy drop on the ImageNet dataset, overcoming the usual accuracy degradation seen in low-rank approximations. In addition to this, the presented compression technique can compress large DeiT/ViT models to have about the same model size as smaller DeiT/ViT variants while yielding up to 1.8% accuracy gain. These results highlight the efficacy of our approach, presenting a viable solution for embedding ViTs in memory-constrained environments without compromising their performance.


title: The Almost Sure Evolution of Hierarchy Among Similar Competitors

abstract: While generic competitive systems exhibit mixtures of hierarchy and cycles, real-world systems are predominantly hierarchical. We demonstrate and extend a mechanism for hierarchy; systems with similar agents approach perfect hierarchy in expectation. A variety of evolutionary mechanisms plausibly select for nearly homogeneous populations, however, extant work does not explicitly link selection dynamics to hierarchy formation via population concentration. Moreover, previous work lacked numerical demonstration. This paper contributes in four ways. First, populations that converge to perfect hierarchy in expectation converge to hierarchy in probability. Second, we analyze hierarchy formation in populations subject to the continuous replicator dynamic with diffusive exploration, linking population dynamics to emergent structure. Third, we show how to predict the degree of cyclicity sustained by concentrated populations at internal equilibria. This theory can differentiate learning rules and random payout models. Finally, we provide direct numerical evidence by simulating finite populations of agents subject to a modified Moran process with Gaussian exploration. As examples, we consider three bimatrix games and an ensemble of games with random payouts. Through this analysis, we explicitly link the temporal dynamics of a population undergoing selection to the development of hierarchy.


title: Counting and equidistribution over primes in hyperbolic groups

abstract: We consider equidistribution of angles for certain hyperbolic lattice points in the upper half-plane. Extending work of Friedlander and Iwaniec we show that for the full modular group equidistribution persists for matrices with $a^2+b^2+c^2+d^2=p$ with $p$ prime; at least if we assume sufficiently good lower bounds in the hyperbolic prime number theorem by Friedlander and Iwaniec. We also investigate related questions for a specific arithmetic co-compact group and its double cosets by hyperbolic subgroups. The general equidistribution problem was studied by Good, and in this case, we show, that equidistribution holds unconditionally when restricting to primes.


title: Shuffle approach to wreath Pieri operators

abstract: We describe a way to study and compute Pieri rules for wreath Macdonald polynomials using the quantum toroidal algebra. The Macdonald pairing can be naturally generalized to the wreath setting, but the wreath Macdonald polynomials are no longer collinear with their duals. We establish the relationship between these dual polynomials and the quantum toroidal algebra, and we outline a way to compute norm formulas. None of the aforementioned formulas are successfully computed in this paper.


title: Proper Z4 x Z2-colorings: structural characterization with application to some snarks

abstract: A proper abelian coloring of a cubic graph G by a finite abelian group A is any proper edge-coloring of G by the non-zero elements of A such that the sum of the colors of the three edges incident to any vertex v of G equals zero. It is known that cyclic groups of order smaller than 10 do not color all bridgeless cubic graphs, and that all abelian groups of order at least 12 do. This leaves the question open for the four so called exceptional groups Z4 x Z2, Z3 x Z3, Z10 and Z11 for snarks. It is conjectured in literature that every cubic graph has a proper abelian coloring by each exceptional group and it is further known that the existence of a proper Z4 x Z2-coloring of G implies the existence of a proper coloring of G by all the remaining exceptional groups. In this paper, we give a characterization of a proper Z4 x Z2-coloring in terms of the existence of a matching M in a 2-factor F of G with particular properties. Moreover, in order to modify an arbitrary matching M so that it meets the requirements of the characterization, we first introduce an incidence structure of the cycles of F in relation to the cycles of G - M. Further, we provide a sufficient condition under which M can be modified into a desired matching in terms of particular properties of the introduced incidence structure. We conclude the paper by applying the results to some oddness two snarks, in particular to permutation snarks. We believe that the approach of this paper with some additional refinements extends to larger classes of snarks, if not to all in general.


title: Stringent Tests of Lorentz Invariance Violation from LHAASO Observations of GRB 221009A

abstract: Very recently, the Large High Altitude Air Shower Observatory (LHAASO) reported the observation of the very early TeV afterglow of the brightest-of-all-time GRB 221009A, recording the highest photon statistics in the TeV band ever from a gamma-ray burst. We use this unique observation to place stringent constraints on an energy dependence of the speed of light in vacuum, a manifestation of Lorentz invariance violation (LIV) predicted by some quantum gravity (QG) theories. Our results show that the 95% confidence level lower limits on the QG energy scales are $E_{\mathrm{QG},1}>10$ times of the Planck energy $E_\mathrm{Pl}$ for the linear, and $E_{\mathrm{QG},2}>6\times10^{-8}E_\mathrm{Pl}$ for the quadratic LIV effects, respectively. Our limits on the quadratic LIV case improve previous best bounds by factors of 5--7.


title: NPSVC++: Nonparallel Classifiers Encounter Representation Learning

abstract: This paper focuses on a specific family of classifiers called nonparallel support vector classifiers (NPSVCs). Different from typical classifiers, the training of an NPSVC involves the minimization of multiple objectives, resulting in the potential concerns of feature suboptimality and class dependency. Consequently, no effective learning scheme has been established to improve NPSVCs' performance through representation learning, especially deep learning. To break this bottleneck, we develop NPSVC++ based on multi-objective optimization, enabling the end-to-end learning of NPSVC and its features. By pursuing Pareto optimality, NPSVC++ theoretically ensures feature optimality across classes, hence effectively overcoming the two issues above. A general learning procedure via duality optimization is proposed, based on which we provide two applicable instances, K-NPSVC++ and D-NPSVC++. The experiments show their superiority over the existing methods and verify the efficacy of NPSVC++.


title: Antenna system for trilateral drone precise vertical landing

abstract: This article presents a radio frequency system that can be used to perform precise vertical landings of drones. The system is based on the three-way phase shift detection of a signal transmitted from the landing point. The antenna system is designed by taking into account parameters such as landing tracking area, analog-to-digital converter (ADC) resolution, phase detector output range, antenna polarization, and the effect of antenna axial ratio. The fabricated prototype consists of a landing point antenna that transmits a signal at 2.46 GHz, as well as a drone triantenna system that includes a phase shift detection circuitry, ADC, and a simple control program that provides the correction instructions for landing. The prototype provides an averaged output data rate (ODR) suitable for landing maneuvers (>300 Hz). A simple system calibration procedure (detector output zeroing) is performed by aligning the antenna system. The measurements performed at different altitudes demonstrate both the correct operation of the proposed solution and its viability as an instrument for precision vertical landings.


title: Balancing a 3D Inverted Pendulum using Remote Magnetic Manipulation

abstract: Remote magnetic manipulation offers wireless control over magnetic objects, which has important medical applications, such as targeted drug delivery and minimally invasive surgeries. Magnetic manipulation systems are categorized into systems using permanent magnets and systems based on electromagnets. Electro-Magnetic Navigation Systems (eMNSs) are believed to have a superior actuation bandwidth, facilitating trajectory tracking and disturbance rejection. This greatly expands the range of potential medical applications and includes even dynamic environments as encountered in cardiovascular interventions. In order to highlight the dynamic capabilities of eMNSs, we successfully stabilize a (non-magnetic) inverted pendulum on the tip of a magnetically driven arm. Our method employs a model-based design approach, where we capture the dynamics that describe the interaction of the pendulum system and the magnetic field through Lagrangian mechanics. Using system identification we estimate the system parameters, the actuation bandwidth, and characterize the system's nonlinearity. We design a state-feedback controller to stabilize the inherently unstable dynamics, and compensate for errors arising from the calibration of the magnetic field and the angle measurement system. Additionally, we integrate an iterative learning control scheme that allows us to accurately track non-equilibrium trajectories while concurrently maintaining stability of the inverted pendulum. To our knowledge, this is the first effort to stabilize a 3D inverted pendulum through remote magnetic manipulation.


title: How to Refactor this Code? An Exploratory Study on Developer-ChatGPT Refactoring Conversations

abstract: Large Language Models (LLMs), like ChatGPT, have gained widespread popularity and usage in various software engineering tasks, including refactoring, testing, code review, and program comprehension. Despite recent studies delving into refactoring documentation in commit messages, issues, and code review, little is known about how developers articulate their refactoring needs when interacting with ChatGPT. In this paper, our goal is to explore conversations between developers and ChatGPT related to refactoring to better understand how developers identify areas for improvement in code and how ChatGPT addresses developers' needs. Our approach relies on text mining refactoring-related conversations from 17,913 ChatGPT prompts and responses, and investigating developers' explicit refactoring intention. Our results reveal that (1) developer-ChatGPT conversations commonly involve generic and specific terms/phrases; (2) developers often make generic refactoring requests, while ChatGPT typically includes the refactoring intention; and (3) various learning settings when prompting ChatGPT in the context of refactoring. We envision that our findings contribute to a broader understanding of the collaboration between developers and AI models, in the context of code refactoring, with implications for model improvement, tool development, and best practices in software engineering.


title: Trustful Coopetitive Infrastructures for the New Space Exploration Era

abstract: In the new space economy, space agencies, large enterprises, and start-ups aim to launch space multi-robot systems (MRS) for various in-situ resource utilization (ISRU) purposes, such as mapping, soil evaluation, and utility provisioning. However, these stakeholders' competing economic interests may hinder effective collaboration on a centralized digital platform. To address this issue, neutral and transparent infrastructures could facilitate coordination and value exchange among heterogeneous space MRS. While related work has expressed legitimate concerns about the technical challenges associated with blockchain use in space, we argue that weighing its potential economic benefits against its drawbacks is necessary. This paper presents a novel architectural framework and a comprehensive set of requirements for integrating blockchain technology in MRS, aiming to enhance coordination and data integrity in space exploration missions. We explored distributed ledger technology (DLT) to design a non-proprietary architecture for heterogeneous MRS and validated the prototype in a simulated lunar environment. The analyses of our implementation suggest global ISRU efficiency improvements for map exploration, compared to a corresponding group of individually acting robots, and that fostering a coopetitive environment may provide additional revenue opportunities for stakeholders.


title: Exploring Visual Culture Awareness in GPT-4V: A Comprehensive Probing

abstract: Pretrained large Vision-Language models have drawn considerable interest in recent years due to their remarkable performance. Despite considerable efforts to assess these models from diverse perspectives, the extent of visual cultural awareness in the state-of-the-art GPT-4V model remains unexplored. To tackle this gap, we extensively probed GPT-4V using the MaRVL benchmark dataset, aiming to investigate its capabilities and limitations in visual understanding with a focus on cultural aspects. Specifically, we introduced three visual related tasks, i.e. caption classification, pairwise captioning, and culture tag selection, to systematically delve into fine-grained visual cultural evaluation. Experimental results indicate that GPT-4V excels at identifying cultural concepts but still exhibits weaker performance in low-resource languages, such as Tamil and Swahili. Notably, through human evaluation, GPT-4V proves to be more culturally relevant in image captioning tasks than the original MaRVL human annotations, suggesting a promising solution for future visual cultural benchmark construction.


title: Quantifying the diffusion of suprathermal electrons by whistler waves between 0.2 and 1 AU with Solar Orbiter and Parker Solar Probe

abstract: The evolution of the solar wind electron distribution function with heliocentric distance exhibits different features that are still unexplained, in particular, the increase of the Strahl pitch angle width. Wave-particle interactions between electrons and whistler waves are often proposed to explain these phenomena. We aim at quantifying the effect of whistler waves on suprathermal electrons as a function of heliocentric distance. We first perform a statistical analysis of whistler waves (occurrence and properties) observed by Solar Orbiter and Parker Solar Probe between 0.2 and 1 AU. The wave characteristics are then used to compute the diffusion coefficients in the framework of quasi-linear theory. These coefficients are integrated in order to deduce the overall effect of whistler waves on electrons along their propagation. 110,000 whistler wave packets are detected and characterized in the plasma frame. Most waves are aligned with the magnetic field and only about 0.5% of them have a propagation angle greater than 45{\deg}. Beyond 0.3 AU, almost exclusively anti-sunward waves (some of them are found sunward but are within switchbacks with a change of sign of the radial component of the background magnetic) are observed. These waves are therefore Strahl-aligned and not counter-streaming. At 0.2 AU we find both Strahl-aligned and counter-streaming waves. Beyond 0.3 AU, the integrated diffusion coefficients show that the observed waves can explain the measured Strahl pitch angle evolution and are effective in isotropizing the halo. Strahl diffusion is mainly due to whistler waves with an angle of propagation between 15{\deg} and 45{\deg}. Near 0.2 AU, counter-streaming whistler waves can diffuse the Strahl electrons more efficiently than the Strahl-aligned waves by two orders of magnitude.


title: Deformations of Zappatic stable surfaces and their Galois covers

abstract: This paper considers some algebraic surfaces that can deform to planar Zappatic stable surfaces with a unique singularity of type En. We prove that the Galois covers of these surfaces are all simply connected of general type, for n >= 4, and we give a formula for Chern numbers of such Galois covers. As an application, we prove that such surfaces do not exist for n>30. Furthermore, Kollar improves the result to n>9 in Appendix 5.


title: A versatile robotic hand with 3D perception, force sensing for autonomous manipulation

abstract: We describe a force-controlled robotic gripper with built-in tactile and 3D perception. We also describe a complete autonomous manipulation pipeline consisting of object detection, segmentation, point cloud processing, force-controlled manipulation, and symbolic (re)-planning. The design emphasizes versatility in terms of applications, manufacturability, use of commercial off-the-shelf parts, and open-source software. We validate the design by characterizing force control (achieving up to 32N, controllable in steps of 0.08N), force measurement, and two manipulation demonstrations: assembly of the Siemens gear assembly problem, and a sensor-based stacking task requiring replanning. These demonstrate robust execution of long sequences of sensor-based manipulation tasks, which makes the resulting platform a solid foundation for researchers in task-and-motion planning, educators, and quick prototyping of household, industrial and warehouse automation tasks.


title: Checking the Sufficiently Scattered Condition using a Global Non-Convex Optimization Software

abstract: The sufficiently scattered condition (SSC) is a key condition in the study of identifiability of various matrix factorization problems, including nonnegative, minimum-volume, symmetric, simplex-structured, and polytopic matrix factorizations. The SSC allows one to guarantee that the computed matrix factorization is unique/identifiable, up to trivial ambiguities. However, this condition is NP-hard to check in general. In this paper, we show that it can however be checked in a reasonable amount of time in realistic scenarios, when the factorization rank is not too large. This is achieved by formulating the problem as a non-convex quadratic optimization problem over a bounded set. We use the global non-convex optimization software Gurobi, and showcase the usefulness of this code on synthetic data sets and on real-world hyperspectral images.


title: Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering

abstract: The primary objective is to emphasize the merits of active methodologies and cross-disciplinary curricula in Requirement Engineering. This direction promises a holistic and applied trajectory for Computer Engineering education, supported by the outcomes of our case study, where artifact-centric learning proved effective, with 73% of students achieving the highest grade. Self-assessments further corroborated academic excellence, emphasizing students' engagement in skill enhancement and knowledge acquisition.


title: One-Shot Coding over General Noisy Networks

abstract: We present a unified one-shot coding framework designed for communication and compression of messages among multiple nodes across a general acyclic noisy network. Our setting can be seen as a one-shot version of the acyclic discrete memoryless network studied by Lee and Chung, and noisy network coding studied by Lim, Kim, El Gamal and Chung. We design a proof technique, called the exponential process refinement lemma, that is rooted in the Poisson matching lemma by Li and Anantharam, and can significantly simplify the analyses of one-shot coding over multi-hop networks. Our one-shot coding theorem not only recovers a wide range of existing asymptotic results, but also yields novel one-shot achievability results in different multi-hop network information theory problems. In a broader context, our framework provides a unified one-shot bound applicable to any combination of source coding, channel coding and coding for computing problems.


title: Fluctuations and Persistence in Quantum Diffusion on Regular Lattices

abstract: We investigate quantum persistence by analyzing amplitude and phase fluctuations of the wave function governed by the time-dependent free-particle Schr\"odinger equation. The quantum system is initialized with local random uncorrelated Gaussian amplitude and phase fluctuations. In analogy with classical diffusion, the persistence probability is defined as the probability that the local (amplitude or phase) fluctuations have not changed sign up to time $t$. Our results show that the persistence probability in quantum diffusion exhibits exponential-like tails. More specifically, in $d=1$ the persistence probability decays in a stretched exponential fashion, while in $d=2$ and $d=3$ as an exponential. We also provide some insights by analyzing the two-point spatial and temporal correlation functions in the limit of small fluctuations. In particular, in the long-time limit, the temporal correlation functions for both local amplitude and phase fluctuations become time-homogeneous, i.e., the zero-crossing events correspond to those of a stationary Gaussian process, with sufficiently fast-decaying power-law tail of its autocorrelation function, implying an exponential-like tail of the persistence probabilities.


title: Decision Theory-Guided Deep Reinforcement Learning for Fast Learning

abstract: This paper introduces a novel approach, Decision Theory-guided Deep Reinforcement Learning (DT-guided DRL), to address the inherent cold start problem in DRL. By integrating decision theory principles, DT-guided DRL enhances agents' initial performance and robustness in complex environments, enabling more efficient and reliable convergence during learning. Our investigation encompasses two primary problem contexts: the cart pole and maze navigation challenges. Experimental results demonstrate that the integration of decision theory not only facilitates effective initial guidance for DRL agents but also promotes a more structured and informed exploration strategy, particularly in environments characterized by large and intricate state spaces. The results of experiment demonstrate that DT-guided DRL can provide significantly higher rewards compared to regular DRL. Specifically, during the initial phase of training, the DT-guided DRL yields up to an 184% increase in accumulated reward. Moreover, even after reaching convergence, it maintains a superior performance, ending with up to 53% more reward than standard DRL in large maze problems. DT-guided DRL represents an advancement in mitigating a fundamental challenge of DRL by leveraging functions informed by human (designer) knowledge, setting a foundation for further research in this promising interdisciplinary domain.


title: A Generalization of Arrow's Impossibility Theorem Through Combinatorial Topology

abstract: We present a generalization of Arrow's impossibility theorem and prove it using a combinatorial topology framework. Instead of assuming the unrestricted domain, we introduce a domain restriction called the class of polarization and diversity over triples. The domains in this class are defined by requiring profiles in which society is strongly, but not completely, polarized over how to rank triples of alternatives, as well as some profiles that violate the value-restriction condition. To prove this result, we use the combinatorial topology approach started by Rajsbaum and Ravent\'os-Pujol in the ACM Symposium on Principles of Distributed Computing (PODC) 2022, which in turn is based on the algebraic topology framework started by Baryshnikov in 1993. While Rajsbaum and Ravent\'os-Pujol employed this approach to study Arrow's impossibility theorem and domain restrictions for the case of two voters and three alternatives, we extend it for the general case of any finite number of alternatives and voters. Although allowing for arbitrary (finite) alternatives and voters results in simplicial complexes of high dimension, our findings demonstrate that these complexes can be effectively analyzed by examining their $2$$\unicode{x2013}$skeleton, even within the context of domain restrictions at the level of the $2$$\unicode{x2013}$skeleton.


title: Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning

abstract: We give a model of how to infer natural language rules by doing experiments. The model integrates Large Language Models (LLMs) with Monte Carlo algorithms for probabilistic inference, interleaving online belief updates with experiment design under information-theoretic criteria. We conduct a human-model comparison on a Zendo-style task, finding that a critical ingredient for modeling the human data is to assume that humans also consider fuzzy, probabilistic rules, in addition to assuming that humans perform approximately-Bayesian belief updates. We also compare with recent algorithms for using LLMs to generate and revise hypotheses, finding that our online inference method yields higher accuracy at recovering the true underlying rule, and provides better support for designing optimal experiments.


title: Quantum neural network with ensemble learning to mitigate barren plateaus and cost function concentration

abstract: The rapid development of quantum computers promises transformative impacts across diverse fields of science and technology. Quantum neural networks (QNNs), as a forefront application, hold substantial potential. Despite the multitude of proposed models in the literature, persistent challenges, notably the vanishing gradient (VG) and cost function concentration (CFC) problems, impede their widespread success. In this study, we introduce a novel approach to quantum neural network construction, specifically addressing the issues of VG and CFC. Our methodology employs ensemble learning, advocating for the simultaneous deployment of multiple quantum circuits with a depth equal to $1$, a departure from the conventional use of a single quantum circuit with depth $L$. We assess the efficacy of our proposed model through a comparative analysis with a conventionally constructed QNN. The evaluation unfolds in the context of a classification problem, yielding valuable insights into the potential advantages of our innovative approach.


title: Low Energy, High Flux, Uniform and Large Field Size Electron Beam Facility

abstract: Materials to be deployed in space applications have to undergo a variety of different test scenarios, simulating actual space conditions. Among these materials solar photovoltaic cells, optics, meta-materials and more will be directly exposed to space radiation and must be tested accordingly. From the design phase of such target materials to the final production, it is important to obtain information about their behavior and performance in defined irradiation scenarios and qualify them following the directions of relevant ECSS/ESA standards. An excellent method to cover part of these tests in a laboratory scale is the high-flux, high-fluence electron irradiation with the help of industrial electron beam generators. The present collaboration has developed different irradiation test setups and procedures, adapted to the existing electron beam generators at IPF in Dresden, Germany covering an energy range between 100 keV to 1.5 MeV. The test setups, aiming for high electron flux, uniform and large irradiation field sizes, and their capabilities for use in irradiation qualification tests for space applications are described in this paper.


title: Iwasawa $\lambda$ invariant and Massey product

abstract: We compute Iwasawa $\lambda$ invariant in terms of Massey products in Galois cohomology with restricted ramification. When applied to imaginary quadratic fields and cyclotomic fields, we obtain a new proof and generalization of results of Gold and McCallum-Sharifi. The main tool is the generalized Bockstein map introduced by Lam-Liu-Sharifi-Wake-Wang.


title: A Small Step for Epitaxy, a Large Step Towards Twist Angle Control in 2D Heterostructures

abstract: Two-dimensional (2D) materials have received a lot of interest over the past decade. Especially van der Waals (vdW) 2D materials, such as transition metal dichalcogenides (TMDCs), and their heterostructures exhibit semiconducting properties that make them highly suitable for novel device applications. Controllable mixing and matching of the 2D materials with different properties and a precise control of the in-plane twist angle in these heterostructures are essential to achieve superior properties and need to be established through large-scale device fabrication. To gain fundamental insight into the control of these twist angles, 2D heterostructures of tungsten disulfide (WS2) and graphene grown by bottom-up synthesis via metal-organic chemical vapor deposition (MOCVD) are investigated using a scanning transmission electron microscope (STEM). Specifically, the combination of conventional high-resolution imaging with scanning nano beam diffraction (SNBD) using advanced 4D STEM techniques is used to analyze moir\'e structures. The latter technique is used to reveal the epitaxial alignment within the WS2/Gr heterostructure, showing a direct influence of the underlying graphene layers on the moir\'e formation in the subsequent WS2 layers. In particular, the importance of grain boundaries within the underlying WS2 and Gr layers for the formation of moir\'e patterns with rotation angles below 2{\deg} is discussed.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.data-an


title: Game-theoretic Counterfactual Explanation for Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have been a powerful tool for node classification tasks in complex networks. However, their decision-making processes remain a black-box to users, making it challenging to understand the reasoning behind their predictions. Counterfactual explanations (CFE) have shown promise in enhancing the interpretability of machine learning models. Prior approaches to compute CFE for GNNS often are learning-based approaches that require training additional graphs. In this paper, we propose a semivalue-based, non-learning approach to generate CFE for node classification tasks, eliminating the need for any additional training. Our results reveals that computing Banzhaf values requires lower sample complexity in identifying the counterfactual explanations compared to other popular methods such as computing Shapley values. Our empirical evidence indicates computing Banzhaf values can achieve up to a fourfold speed up compared to Shapley values. We also design a thresholding method for computing Banzhaf values and show theoretical and empirical results on its robustness in noisy environments, making it superior to Shapley values. Furthermore, the thresholded Banzhaf values are shown to enhance efficiency without compromising the quality (i.e., fidelity) in the explanations in three popular graph datasets.


title: An operator learning perspective on parameter-to-observable maps

abstract: Computationally efficient surrogates for parametrized physical models play a crucial role in science and engineering. Operator learning provides data-driven surrogates that map between function spaces. However, instead of full-field measurements, often the available data are only finite-dimensional parametrizations of model inputs or finite observables of model outputs. Building on Fourier Neural Operators, this paper introduces the Fourier Neural Mappings (FNMs) framework that is able to accommodate such finite-dimensional vector inputs or outputs. The paper develops universal approximation theorems for the method. Moreover, in many applications the underlying parameter-to-observable (PtO) map is defined implicitly through an infinite-dimensional operator, such as the solution operator of a partial differential equation. A natural question is whether it is more data-efficient to learn the PtO map end-to-end or first learn the solution operator and subsequently compute the observable from the full-field solution. A theoretical analysis of Bayesian nonparametric regression of linear functionals, which is of independent interest, suggests that the end-to-end approach can actually have worse sample complexity. Extending beyond the theory, numerical results for the FNM approximation of three nonlinear PtO maps demonstrate the benefits of the operator learning perspective that this paper adopts.


title: Navigating Market Turbulence: Insights from Causal Network Contagion Value at Risk

abstract: Accurately defining, measuring and mitigating risk is a cornerstone of financial risk management, especially in the presence of financial contagion. Traditional correlation-based risk assessment methods often struggle under volatile market conditions, particularly in the face of external shocks, highlighting the need for a more robust and invariant predictive approach. This paper introduces the Causal Network Contagion Value at Risk (Causal-NECO VaR), a novel methodology that significantly advances causal inference in financial risk analysis. Embracing a causal network framework, this method adeptly captures and analyses volatility and spillover effects, effectively setting it apart from conventional contagion-based VaR models. Causal-NECO VaR's key innovation lies in its ability to derive directional influences among assets from observational data, thereby offering robust risk predictions that remain invariant to market shocks and systemic changes. A comprehensive simulation study and the application to the Forex market show the robustness of the method. Causal-NECO VaR not only demonstrates predictive accuracy, but also maintains its reliability in unstable financial environments, offering clearer risk assessments even amidst unforeseen market disturbances. This research makes a significant contribution to the field of risk management and financial stability, presenting a causal approach to the computation of VaR. It emphasises the model's superior resilience and invariant predictive power, essential for navigating the complexities of today's ever-evolving financial markets.


title: An Inexact Halpern Iteration with Application to Distributionally Robust Optimization

abstract: The Halpern iteration for solving monotone inclusion problems has gained increasing interests in recent years due to its simple form and appealing convergence properties. In this paper, we investigate the inexact variants of the scheme in both deterministic and stochastic settings. We conduct extensive convergence analysis and show that by choosing the inexactness tolerances appropriately, the inexact schemes admit an $O(k^{-1})$ convergence rate in terms of the (expected) residue norm. Our results relax the state-of-the-art inexactness conditions employed in the literature while sharing the same competitive convergence properties. We then demonstrate how the proposed methods can be applied for solving two classes of data-driven Wasserstein distributionally robust optimization problems that admit convex-concave min-max optimization reformulations. We highlight its capability of performing inexact computations for distributionally robust learning with stochastic first-order methods.


title: Optimizing Predictive AI in Physical Design Flows with Mini Pixel Batch Gradient Descent

abstract: Exploding predictive AI has enabled fast yet effective evaluation and decision-making in modern chip physical design flows. State-of-the-art frameworks typically include the objective of minimizing the mean square error (MSE) between the prediction and the ground truth. We argue the averaging effect of MSE induces limitations in both model training and deployment, and good MSE behavior does not guarantee the capability of these models to assist physical design flows which are likely sabotaged due to a small portion of prediction error. To address this, we propose mini-pixel batch gradient descent (MPGD), a plug-and-play optimization algorithm that takes the most informative entries into consideration, offering probably faster and better convergence. Experiments on representative benchmark suits show the significant benefits of MPGD on various physical design prediction tasks using CNN or Graph-based models.


title: AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction

abstract: AntiCopyPaster is an IntelliJ IDEA plugin, implemented to detect and refactor duplicate code interactively as soon as a duplicate is introduced. The plugin only recommends the extraction of a duplicate when it is worth it. In contrast to current Extract Method refactoring approaches, our tool seamlessly integrates with the developer's workflow and actively provides recommendations for refactorings. This work extends our tool to allow developers to customize the detection rules, i.e., metrics, based on their needs and preferences. The plugin and its source code are publicly available on GitHub at https://github.com/refactorings/anti-copy-paster. The demonstration video can be found on YouTube: https://youtu.be/ Y1sbfpds2Ms.


title: Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era

abstract: In the emerging space economy, autonomous robotic missions with specialized goals such as mapping and mining are gaining traction, with agencies and enterprises increasingly investing resources. Multirobot systems (MRS) research has provided many approaches to establish control and communication layers to facilitate collaboration from a technical perspective, such as granting more autonomy to heterogeneous robotic groups through auction-based interactions in mesh networks. However, stakeholders' competing economic interests often prevent them from cooperating within a proprietary ecosystem. Related work suggests that distributed ledger technology (DLT) might serve as a mechanism for enterprises to coordinate workflows and trade services to explore space resources through a transparent, reliable, non-proprietary digital platform. We challenge this perspective by pointing to the core technical weaknesses of blockchains, in particular, increased energy consumption, low throughput, and full transparency through redundancy. Our objective is to advance the discussion in a direction where the benefits of DLT from an economic perspective are weighted against the drawbacks from a technical perspective. We finally present a possible DLT-driven heterogeneous MRS for map exploration to study the opportunities for economic collaboration and competitiveness.


title: Berta Karlik -- The Grande Dame of the Vienna Radium Institute

abstract: Berta Karlik was an Austrian physicist who was not only among the early radioactivity researchers and nuclear physicists in Vienna, but also pioneered a woman's academic career in Austria. She was the first woman at the University of Vienna to acquire the venia legendi in physics, and the first full professor at a philosophical faculty in Austria. For almost thirty years she was the head of the Institute for Radium Research of the Austrian Academy of Sciences.


title: Contrastive Approach to Prior Free Positive Unlabeled Learning

abstract: Positive Unlabeled (PU) learning refers to the task of learning a binary classifier given a few labeled positive samples, and a set of unlabeled samples (which could be positive or negative). In this paper, we propose a novel PU learning framework, that starts by learning a feature space through pretext-invariant representation learning and then applies pseudo-labeling to the unlabeled examples, leveraging the concentration property of the embeddings. Overall, our proposed approach handily outperforms state-of-the-art PU learning methods across several standard PU benchmark datasets, while not requiring a-priori knowledge or estimate of class prior. Remarkably, our method remains effective even when labeled data is scant, where most PU learning algorithms falter. We also provide simple theoretical analysis motivating our proposed algorithms and establish generalization guarantee for our approach.


title: Dynamics of a strongly coupled quantum heat engine -- computing bath observables from the hierarchy of pure states

abstract: We present a fully quantum dynamical treatment of a quantum heat engine and its baths based on the Hierarchy of Pure States (HOPS), an exact and general method for open quantum system dynamics. We show how the change of the bath energy and the interaction energy can be determined within HOPS, for arbitrary coupling strength and smooth time dependence of the modulation protocol. The dynamics of all energetic contributions during the operation can be carefully examined both, in its initial transient phase and also later, in its periodic steady state. A quantum Otto engine with a qubit as inherently nonlinear work medium is studied in a regime where the energy associated with the interaction Hamiltonian plays an important role for the global energy balance and, thus, must not be neglected when calculating its power and efficiency. We confirm that the work required to drive the coupling with the baths depends sensitively on the speed of the modulation protocol. Remarkably, departing from the conventional scheme of well-separated phases by allowing for temporal overlap, we discover that one can even gain energy from the modulation of the bath interactions. We visualize these various work contributions using the analogue of state change diagrams of thermodynamic cycles. We offer a concise, full presentation of HOPS with its extension to bath observables, as it serves as a universal tool for the numerically exact description of general quantum dynamical (thermodynamic) scenarios far from the weak-coupling limit.


title: Deep Learning for Data-Driven Districting-and-Routing

abstract: Districting-and-routing is a strategic problem aiming to aggregate basic geographical units (e.g., zip codes) into delivery districts. Its goal is to minimize the expected long-term routing cost of performing deliveries in each district separately. Solving this stochastic problem poses critical challenges since repeatedly evaluating routing costs on a set of scenarios while searching for optimal districts takes considerable time. Consequently, solution approaches usually replace the true cost estimation with continuous cost approximation formulas extending Beardwood-Halton-Hammersley and Daganzo's work. These formulas commit errors that can be magnified during the optimization step. To reconcile speed and solution quality, we introduce a supervised learning and optimization methodology leveraging a graph neural network for delivery-cost estimation. This network is trained to imitate known costs generated on a limited subset of training districts. It is used within an iterated local search procedure to produce high-quality districting plans. Our computational experiments, conducted on five metropolitan areas in the United Kingdom, demonstrate that the graph neural network predicts long-term district cost operations more accurately, and that optimizing over this oracle permits large economic gains (10.12% on average) over baseline methods that use continuous approximation formulas or shallow neural networks. Finally, we observe that having compact districts alone does not guarantee high-quality solutions and that other learnable geometrical features of the districts play an essential role.


title: A Prompt Response to the Demand for Automatic Gender-Neutral Translation

abstract: Gender-neutral translation (GNT) that avoids biased and undue binary assumptions is a pivotal challenge for the creation of more inclusive translation technologies. Advancements for this task in Machine Translation (MT), however, are hindered by the lack of dedicated parallel data, which are necessary to adapt MT systems to satisfy neutral constraints. For such a scenario, large language models offer hitherto unforeseen possibilities, as they come with the distinct advantage of being versatile in various (sub)tasks when provided with explicit instructions. In this paper, we explore this potential to automate GNT by comparing MT with the popular GPT-4 model. Through extensive manual analyses, our study empirically reveals the inherent limitations of current MT systems in generating GNTs and provides valuable insights into the potential and challenges associated with prompting for neutrality.


title: Solving high dimensional FBSDE with deep signature techniques with application to nonlinear options pricing

abstract: We report two methods for solving FBSDEs of path dependent types of high dimensions. Specifically, we propose a deep learning framework for solving such problems using path signatures as underlying features. Our two methods (forward/backward) demonstrate comparable/better accuracy and efficiency compared to the state of the art techniques. More importantly, we are able to solve the problem of high dimension which is a limitation in the conventional methods. We also provide convergence proof for both methods with the proof of the backward methods in the Markovian case.


title: MusicTraces: A collaborative music and paint activity for autistic people

abstract: Painting and music therapy approaches can help to foster social interaction for autistic people. However, the tools sometimes lack of flexibility and fail to keep people's attention. Unknowns also remain about the effect of combining these approaches. Though, very few studies have investigated how Multisensory Environments (MSEs) could help to address these issues. This paper presents the design of a full-body music and painting activity called "MusicTraces" which aims to foster collaboration between people with moderate to severe learning disabilities and complex needs, and in particular autism, within an MSE. The co-design process with caregivers and people neurodevelopmental conditions is detailed, including a workshop, the initial design, remote iterations, and a design critique.


title: OpenToM: A Comprehensive Benchmark for Evaluating Theory-of-Mind Reasoning Capabilities of Large Language Models

abstract: Neural Theory-of-Mind (N-ToM), machine's ability to understand and keep track of the mental states of others, is pivotal in developing socially intelligent agents. However, prevalent N-ToM benchmarks have several shortcomings, including the presence of ambiguous and artificial narratives, absence of personality traits and preferences, a lack of questions addressing characters' psychological mental states, and limited diversity in the questions posed. In response to these issues, we construct OpenToM, a new benchmark for assessing N-ToM with (1) longer and clearer narrative stories, (2) characters with explicit personality traits, (3) actions that are triggered by character intentions, and (4) questions designed to challenge LLMs' capabilities of modeling characters' mental states of both the physical and psychological world. Using OpenToM, we reveal that state-of-the-art LLMs thrive at modeling certain aspects of mental states in the physical world but fall short when tracking characters' mental states in the psychological world.


title: Direct Acquisition Optimization for Low-Budget Active Learning

abstract: Active Learning (AL) has gained prominence in integrating data-intensive machine learning (ML) models into domains with limited labeled data. However, its effectiveness diminishes significantly when the labeling budget is low. In this paper, we first empirically observe the performance degradation of existing AL algorithms in the low-budget settings, and then introduce Direct Acquisition Optimization (DAO), a novel AL algorithm that optimizes sample selections based on expected true loss reduction. Specifically, DAO utilizes influence functions to update model parameters and incorporates an additional acquisition strategy to mitigate bias in loss estimation. This approach facilitates a more accurate estimation of the overall error reduction, without extensive computations or reliance on labeled data. Experiments demonstrate DAO's effectiveness in low budget settings, outperforming state-of-the-arts approaches across seven benchmarks.


title: Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap

abstract: An October 2023 crash between a GM Cruise robotaxi and a pedestrian in San Francisco resulted not only in a severe injury, but also dramatic upheaval at that company that will likely have lasting effects throughout the industry. Is-sues stem not just from the loss events themselves, but also from how Cruise mishandled dealing with their robotaxi dragging a pedestrian under the vehicle after the initial post-crash stop. External investigation reports provide raw material describing the incident and critique the company's response from a regulatory point of view, but exclude safety engineering recommendations from scope. We highlight specific facts and relationships among events by tying together different pieces of the external report material. We then explore safety lessons that might be learned related to: recognizing and responding to nearby mishaps, building an accurate world model of a post-collision scenario, the in-adequacy of a so-called "minimal risk condition" strategy in complex situations, poor organizational discipline in responding to a mishap, overly aggressive post-collision automation choices that made a bad situation worse, and a reluctance to admit to a mishap causing much worse organizational harm down-stream.


title: Intelligent Mode-switching Framework for Teleoperation

abstract: Teleoperation can be very difficult due to limited perception, high communication latency, and limited degrees of freedom (DoFs) at the operator side. Autonomous teleoperation is proposed to overcome this difficulty by predicting user intentions and performing some parts of the task autonomously to decrease the demand on the operator and increase the task completion rate. However, decision-making for mode-switching is generally assumed to be done by the operator, which brings an extra DoF to be controlled by the operator and introduces extra mental demand. On the other hand, the communication perspective is not investigated in the current literature, although communication imperfections and resource limitations are the main bottlenecks for teleoperation. In this study, we propose an intelligent mode-switching framework by jointly considering mode-switching and communication systems. User intention recognition is done at the operator side. Based on user intention recognition, a deep reinforcement learning (DRL) agent is trained and deployed at the operator side to seamlessly switch between autonomous and teleoperation modes. A real-world data set is collected from our teleoperation testbed to train both user intention recognition and DRL algorithms. Our results show that the proposed framework can achieve up to 50% communication load reduction with improved task completion probability.


title: Coherence-based Input Design for Sparse System Identification

abstract: The maximum absolute correlation between regressors, which is called mutual coherence, plays an essential role in sparse estimation. A regressor matrix whose columns are highly correlated may result from optimal input design, since there is no constraint on the mutual coherence, so when this regressor is used to estimate sparse parameter vectors of a system, it may yield a large estimation error. This paper aims to tackle this issue for fixed denominator models, which include Laguerre, Kautz, and generalized orthonormal basis function expansion models, for example. The paper proposes an optimal input design method where the achieved Fisher information matrix is fitted to the desired Fisher matrix, together with a coordinate transformation designed to make the regressors in the transformed coordinates have low mutual coherence. The method can be used together with any sparse estimation method and in a numerical study we show its potential for alleviating the problem of model order selection when used in conjunction with, for example, classical methods such as AIC and BIC.


title: Limits of Large Language Models in Debating Humans

abstract: Large Language Models (LLMs) have shown remarkable promise in their ability to interact proficiently with humans. Subsequently, their potential use as artificial confederates and surrogates in sociological experiments involving conversation is an exciting prospect. But how viable is this idea? This paper endeavors to test the limits of current-day LLMs with a pre-registered study integrating real people with LLM agents acting as people. The study focuses on debate-based opinion consensus formation in three environments: humans only, agents and humans, and agents only. Our goal is to understand how LLM agents influence humans, and how capable they are in debating like humans. We find that LLMs can blend in and facilitate human productivity but are less convincing in debate, with their behavior ultimately deviating from human's. We elucidate these primary failings and anticipate that LLMs must evolve further before being viable debaters.


title: Energy- and Quality-Aware Video Request Policy for Wireless Adaptive Streaming Clients

abstract: We present a straightforward, non-intrusive adaptive bit rate streaming segment quality selection policy which aims at extending battery lifetime during playback while limiting the impact on the user's quality of experience, thus benefiting consumers of video streaming services. This policy relies on the relationship between the available channel bandwidth and the bit rate of the representations in the quality ladder. It results from the characterization of the energy consumed by smartphones when running adaptive streaming client applications for different network connections (Wifi, 4G, and 5G) and the modeling of the energy consumed as a function of said relationship. Results show that a significant amount of energy can be saved (10 to 30%) by slightly modifying the default policy at the expense of a controlled reduction of video quality.


title: Generators for the moduli space of parabolic bundle

abstract: The purpose of this note is to find explicit representatives in deRham cohomology for the generators of the cohomology of the moduli space of parabolic bundles, analogous to the results of \cite{groupcoho} for the moduli space of vector bundles. Further we use the explicit generators to compute the intersection pairing of its cohomology.


title: High-quality Extragalactic Legacy-field Monitoring (HELM) with DECam

abstract: High-quality Extragalactic Legacy-field Monitoring (HELM) is a long-term observing program that photometrically monitors several well-studied extragalactic legacy fields with the Dark Energy Camera (DECam) imager on the CTIO 4m Blanco telescope. Since Feb 2019, HELM has been monitoring regions within COSMOS, XMM-LSS, CDF-S, S-CVZ, ELAIS-S1, and SDSS Stripe 82 with few-day cadences in the $(u)gri(z)$ bands, over a collective sky area of $\sim 38$ deg${\rm ^2}$. The main science goal of HELM is to provide high-quality optical light curves for a large sample of active galactic nuclei (AGNs), and to build decades-long time baselines when combining past and future optical light curves in these legacy fields. These optical images and light curves will facilitate the measurements of AGN reverberation mapping lags, as well as studies of AGN variability and its dependences on accretion properties. In addition, the time-resolved and coadded DECam photometry will enable a broad range of science applications from galaxy evolution to time-domain science. We describe the design and implementation of the program and present the first data release that includes source catalogs and the first $\sim 3.5$ years of light curves during 2019A--2022A.


title: Randomness Is All You Need: Semantic Traversal of Problem-Solution Spaces with Large Language Models

abstract: We present a novel approach to exploring innovation problem and solution domains using LLM fine-tuning with a custom idea database. By semantically traversing the bi-directional problem and solution tree at different temperature levels we achieve high diversity in solution edit distance while still remaining close to the original problem statement semantically. In addition to finding a variety of solutions to a given problem, this method can also be used to refine and clarify the original problem statement. As further validation of the approach, we implemented a proof-of-concept Slack bot to serve as an innovation assistant.


title: Limit formulas for the trace of the functional calculus of quantum channels for $SU(2)$

abstract: Lieb and Solovej \cite{liebsolBloch} studied traces of quantum channels, defined by the leading component in the decomposition of the tensor product of two irreducible representations of $SU(2)$, to establish a Wehrl-type inequality for integrals of convex functions of matrix coefficients. It is proved that the integral is the limit of the trace of the functional calculus of quantum channels. In this paper, we introduce new quantum channels for all the components in the tensor product and generalize their limit formula. We prove that the limit can be expressed using Berezin transforms.


title: Gliding in extreme waters: Dynamic Modeling and Nonlinear Control of an Agile Underwater Glider

abstract: This paper describes the modeling of a custom-made underwater glider capable of flexible maneuvers in constrained areas and proposes a control system. Due to the lack of external actuators, underwater gliders can be greatly influenced by environmental disturbance. In addition, the nonlinearity of the system affects the motions during the transition between each flight segment. Here, a data-driven parameter estimation experimental methodology is proposed to identify the nonlinear dynamics model for our underwater glider using an underwater motion capture system. Then, a nonlinear system controller is designed based on Lyapunov function to overcome environmental disturbance, potential modeling errors, and nonlinearity during flight state transitions. The capability of lowering the impact of environmental disturbance is validated in simulations. A hybrid control system applying PID controller to maintain steady state flights and the proposed controller to switch between states is also demonstrated by performing complex maneuvers in simulation. The proposed control system can be applied to gliders for reliable navigation in dynamic water areas such as fjords where the sea conditions may vary from calm to rough seasonally.


title: ActiveDP: Bridging Active Learning and Data Programming

abstract: Modern machine learning models require large labelled datasets to achieve good performance, but manually labelling large datasets is expensive and time-consuming. The data programming paradigm enables users to label large datasets efficiently but produces noisy labels, which deteriorates the downstream model's performance. The active learning paradigm, on the other hand, can acquire accurate labels but only for a small fraction of instances. In this paper, we propose ActiveDP, an interactive framework bridging active learning and data programming together to generate labels with both high accuracy and coverage, combining the strengths of both paradigms. Experiments show that ActiveDP outperforms previous weak supervision and active learning approaches and consistently performs well under different labelling budgets.


title: Subalgebra and Khovanskii bases equivalence

abstract: The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our philosophy is that most interesting examples of Khovanskii bases can also be realized as subalgebra bases and vice-versa. We also discuss the computation of Newton-Okounkov bodies, illustrating how interpreting Khovanskii bases as subalgebra bases makes them more amenable to the existing computer algebra tools.


title: Mathematical programming tools for randomization purposes in small two-arm clinical trials: A case study with real data

abstract: Modern randomization methods in clinical trials are invariably adaptive, meaning that the assignment of the next subject to a treatment group uses the accumulated information in the trial. Some of the recent adaptive randomization methods use mathematical programming to construct attractive clinical trials that balance the group features, such as their sizes and covariate distributions of their subjects. We review some of these methods and compare their performance with common covariate-adaptive randomization methods for small clinical trials. We introduce an energy distance measure that compares the discrepancy between the two groups using the joint distribution of the subjects' covariates. This metric is more appealing than evaluating the discrepancy between the groups using their marginal covariate distributions. Using numerical experiments, we demonstrate the advantages of the mathematical programming methods under the new measure. In the supplementary material, we provide R codes to reproduce our study results and facilitate comparisons of different randomization procedures.


title: Impact on Public Health Decision Making by Utilizing Big Data Without Domain Knowledge

abstract: New data sources, and artificial intelligence (AI) methods to extract information from them are becoming plentiful, and relevant to decision making in many societal applications. An important example is street view imagery, available in over 100 countries, and considered for applications such as assessing built environment aspects in relation to community health outcomes. Relevant to such uses, important examples of bias in the use of AI are evident when decision-making based on data fails to account for the robustness of the data, or predictions are based on spurious correlations. To study this risk, we utilize 2.02 million GSV images along with health, demographic, and socioeconomic data from New York City. Initially, we demonstrate that built environment characteristics inferred from GSV labels at the intra-city level may exhibit inadequate alignment with the ground truth. We also find that the average individual-level behavior of physical inactivity significantly mediates the impact of built environment features by census tract, as measured through GSV. Finally, using a causal framework which accounts for these mediators of environmental impacts on health, we find that altering 10% of samples in the two lowest tertiles would result in a 4.17 (95% CI 3.84 to 4.55) or 17.2 (95% CI 14.4 to 21.3) times bigger decrease on the prevalence of obesity or diabetes, than the same proportional intervention on the number of crosswalks by census tract. This work illustrates important issues of robustness and model specification for informing effective allocation of interventions using new data sources.