title: Direct observation of electronic band gap and hot carrier dynamics in GeAs semiconductor

abstract: Germanium arsenide (GeAs) is a layered semiconductor with remarkably anisotropic physical, thermoelectric and optical properties, and a promising candidate for multifunctional devices based on in-plane polarization dependent response. Understanding the underlying mechanism of such devices requires the knowledge of GeAs electronic band structure and of the hot carrier dynamics in its conduction band, whose details are still unclear. In this work, we investigated the properties of occupied and photoexcited states of GeAs in energy-momentum space, by combining scanning tunneling spectroscopy (STS), angle-resolved photoemission spectroscopy (ARPES) and time-resolved ARPES. We found that, GeAs is an indirect gap semiconductor having an electronic gap of 0.8 eV, for which the conduction band minimum (CBM) is located at the Gamma point while the valence band maximum (VBM) is out of Gamma. A Stark broadening of the valence band is observed immediately after photoexcitation, which can be attributed to the effects of the electrical field at the surface induced by inhomogeneous screening. Moreover, the hot electrons relaxation time of 1.56 ps down to the CBM which is dominated from both inter-valley and intra-valley coupling. Besides their relevance for our understanding of GeAs, these findings present general interest for the design on high performance thermoelectric and optoelectronic devices based on 2D semiconductors.


title: Zero-shot cross-modal transfer of Reinforcement Learning policies through a Global Workspace

abstract: Humans perceive the world through multiple senses, enabling them to create a comprehensive representation of their surroundings and to generalize information across domains. For instance, when a textual description of a scene is given, humans can mentally visualize it. In fields like robotics and Reinforcement Learning (RL), agents can also access information about the environment through multiple sensors; yet redundancy and complementarity between sensors is difficult to exploit as a source of robustness (e.g. against sensor failure) or generalization (e.g. transfer across domains). Prior research demonstrated that a robust and flexible multimodal representation can be efficiently constructed based on the cognitive science notion of a 'Global Workspace': a unique representation trained to combine information across modalities, and to broadcast its signal back to each modality. Here, we explore whether such a brain-inspired multimodal representation could be advantageous for RL agents. First, we train a 'Global Workspace' to exploit information collected about the environment via two input modalities (a visual input, or an attribute vector representing the state of the agent and/or its environment). Then, we train a RL agent policy using this frozen Global Workspace. In two distinct environments and tasks, our results reveal the model's ability to perform zero-shot cross-modal transfer between input modalities, i.e. to apply to image inputs a policy previously trained on attribute vectors (and vice-versa), without additional training or fine-tuning. Variants and ablations of the full Global Workspace (including a CLIP-like multimodal representation trained via contrastive learning) did not display the same generalization abilities.


title: Algorithms and complexity for path covers of temporal DAGs: when is Dilworth dynamic?

abstract: In this paper, we study a dynamic analogue of the Path Cover problem, which can be solved in polynomial-time in directed acyclic graphs. A temporal digraph has an arc set that changes over discrete time-steps, if the underlying digraph (the union of all the arc sets) is acyclic, then we have a temporal DAG. A temporal path is a directed path in the underlying digraph, such that the time-steps of arcs are strictly increasing along the path. Two temporal paths are temporally disjoint if they do not occupy any vertex at the same time. A temporal (resp. temporally disjoint) path cover is a collection of (resp. temporally disjoint) temporal paths that covers all vertices. In this paper, we study the computational complexities of the problems of finding a temporal (disjoint) path cover with minimum cardinality, denoted as Temporal Path Cover (TPC) and Temporally Disjoint Path Cover (TD-PC). We show that both problems are NP-hard even when the underlying DAG is planar, bipartite, subcubic, and there are only two arc-disjoint time-steps. Moreover, TD-PC remains NP-hard even on temporal oriented trees. In contrast, we show that TPC is polynomial-time solvable on temporal oriented trees by a reduction to Clique Cover for (static undirected) weakly chordal graphs (a subclass of perfect graphs for which Clique Cover admits an efficient algorithm). This highlights an interesting algorithmic difference between the two problems. Although it is NP-hard on temporal oriented trees, TD-PC becomes polynomial-time solvable on temporal oriented lines and temporal rooted directed trees. We also show that TPC (resp. TD-PC) admits an XP (resp. FPT) time algorithm with respect to parameter tmax + tw, where tmax is the maximum time-step, and tw is the treewidth of the underlying static undirected graph.


title: Surface-near domain engineering in multi-domain x-cut lithium niobate tantalate mixed crystals

abstract: Lithium niobate and lithium tantalate are among the most widespread materials for nonlinear, integrated photonics. Mixed crystals with arbitrary Nb-Ta ratios provide a new degree of freedom to tune materials properties, such as the birefringence, but also leverage the advantages of the singular compounds, for example, by combining the thermal stability of lithium tantalate with the larger nonlinear or piezoelectric constants of lithium niobate. Periodic poling is the prerequisite for any nonlinear optical application. For mixed crystals this has been challenging so far due to the lack of homogeneous, mono-domain crystals, which severely inhibit domain growth and nucleation. In this work we demonstrate that surface-near ($< 1$~$\mu$m depth) periodic poling on x-cut lithium niobate tantalate mixed crystals can be achieved via electric field poling and lithographically structured electrodes. We find that naturally occurring head-to-head or tail-to-tail domain walls in the as-grown crystal inhibit domain inversion at a larger scale. However, periodic poling is possible, if the gap size between the poling electrodes is of the same order of magnitude or smaller than the average size of naturally occurring domains. This work provides the basis for the nonlinear optical application of lithium niobate tantalate mixed crystals.


title: On the zeros of polyanalytic polynomials

abstract: We give sufficient conditions under which a polyanalytic polynomial of degree $n$ has (i) at least one zero, and (ii) finitely many zeros. In the latter case, we prove that the number of zeros is bounded by $n^2$. We then show that for all $k \in \{0,\dots, n^2, \infty\}$ there exists a polyanalytic polynomial of degree $n$ with exactly $k$ distinct zeros. Moreover, we generalize the Lagrange and Cauchy bounds from analytic to polyanalytic polynomials and obtain inclusion disks for the zeros. Finally, we construct a harmonic and thus polyanalytic polynomial of degree $n$ with $n$ nonzero coefficients and the maximum number of $n^2$ zeros.


title: 89 New Ultracool Dwarf Co-Moving Companions Identified With The Backyard Worlds: Planet 9 Citizen Science Project

abstract: We report the identification of 89 new systems containing ultracool dwarf companions to main sequence stars and white dwarfs, using the citizen science project Backyard Worlds: Planet 9 and cross-reference between Gaia and CatWISE2020. Thirty-two of these companions and thirty-three host stars were followed up with spectroscopic observations, with companion spectral types ranging from M7-T9 and host spectral types ranging from G2-M9. These systems exhibit diverse characteristics, from young to old ages, blue to very red spectral morphologies, potential membership to known young moving groups, and evidence of spectral binarity in 9 companions. Twenty of the host stars in our sample show evidence for higher order multiplicity, with an additional 11 host stars being resolved binaries themselves. We compare this sample's characteristics with those of the known stellar binary and exoplanet populations, and find our sample begins to fill in the gap between directly imaged exoplanets and stellary binaries on mass ratio-binding energy plots. With this study, we increase the population of ultracool dwarf companions to FGK stars by $\sim$42\%, and more than triple the known population of ultracool dwarf companions with separations larger than 1,000 au, providing excellent targets for future atmospheric retrievals.


title: Embodied Understanding of Driving Scenarios

abstract: Embodied scene understanding serves as the cornerstone for autonomous agents to perceive, interpret, and respond to open driving scenarios. Such understanding is typically founded upon Vision-Language Models (VLMs). Nevertheless, existing VLMs are restricted to the 2D domain, devoid of spatial awareness and long-horizon extrapolation proficiencies. We revisit the key aspects of autonomous driving and formulate appropriate rubrics. Hereby, we introduce the Embodied Language Model (ELM), a comprehensive framework tailored for agents' understanding of driving scenes with large spatial and temporal spans. ELM incorporates space-aware pre-training to endow the agent with robust spatial localization capabilities. Besides, the model employs time-aware token selection to accurately inquire about temporal cues. We instantiate ELM on the reformulated multi-faced benchmark, and it surpasses previous state-of-the-art approaches in all aspects. All code, data, and models will be publicly shared.


title: A Detailed Audio-Text Data Simulation Pipeline using Single-Event Sounds

abstract: Recently, there has been an increasing focus on audio-text cross-modal learning. However, most of the existing audio-text datasets contain only simple descriptions of sound events. Compared with classification labels, the advantages of such descriptions are significantly limited. In this paper, we first analyze the detailed information that human descriptions of audio may contain beyond sound event labels. Based on the analysis, we propose an automatic pipeline for curating audio-text pairs with rich details. Leveraging the property that sounds can be mixed and concatenated in the time domain, we control details in four aspects: temporal relationship, loudness, speaker identity, and occurrence number, in simulating audio mixtures. Corresponding details are transformed into captions by large language models. Audio-text pairs with rich details in text descriptions are thereby obtained. We validate the effectiveness of our pipeline with a small amount of simulated data, demonstrating that the simulated data enables models to learn detailed audio captioning.


title: Free boundary CMC annuli in spherical and hyperbolic balls

abstract: We construct, for any $H\in \mathbb{R}$, infinitely many free boundary annuli in geodesic balls of $\mathbb{S}^3$ with constant mean curvature $H$ and a discrete, non-rotational, symmetry group. Some of these free boundary CMC annuli are actually embedded if $H\geq 1/\sqrt{3}$. We also construct embedded, non-rotational, free boundary CMC annuli in geodesic balls of $\mathbb{H}^3$, for all values $H>1$ of the mean curvature $H$.


title: Matrix decompositions in Quantum Optics: Takagi/Autonne, Bloch-Messiah/Euler, Iwasawa, and Williamson

abstract: In this note we summarize four important matrix decompositions commonly used in quantum optics, namely the Takagi/Autonne, Bloch-Messiah/Euler, Iwasawa, and Williamson decompositions. The first two of these decompositions are specialized versions of the singular-value decomposition when applied to symmetric or symplectic matrices. The third factors any symplectic matrix in a unique way in terms of matrices that belong to different subgroups of the symplectic group. The last one instead gives the symplectic diagonalization of real, positive definite matrices of even size. While proofs of the existence of these decompositions exist in the literature, we focus on providing explicit constructions to implement these decompositions using standard linear algebra packages and functionalities such as singular-value, polar, Schur and QR decompositions, and matrix square roots and inverses.


title: Scalar extensions of quiver representations over $\mathbb{F}_1$

abstract: Let $V$ and $W$ be quiver representations over $\mathbb{F}_1$ and let $K$ be a field. The scalar extensions $V^K$ and $W^K$ are quiver representations over $K$ with a distinguished, very well-behaved basis. We construct a basis of $\mathrm{Hom}_{KQ}(V^K,W^K)$ generalising the well-known basis of the morphism spaces between string and tree modules. We use this basis to give a combinatorial characterisation of absolutely indecomposable representations. Furthermore, we show that indecomposable representations with finite nice length are absolutely indecomposable. This answers a question of Jun and Sistko.


title: Optimizing Inventory Placement for a Downstream Online Matching Problem

abstract: We study the inventory placement problem of splitting $Q$ units of a single item across warehouses, in advance of a downstream online matching problem that represents the dynamic fulfillment decisions of an e-commerce retailer. This is a challenging problem both in theory, because the downstream matching problem itself is computationally hard, and in practice, because the fulfillment team is constantly updating its algorithm and the placement team cannot directly evaluate how a placement decision would perform. We compare the performance of three placement procedures based on optimizing surrogate functions that have been studied and applied: Offline, Myopic, and Fluid placement. On the theory side, we show that optimizing inventory placement for the Offline surrogate leads to a $(1-(1-1/d)^d)/2$-approximation for the joint placement and fulfillment problem. We assume $d$ is an upper bound on how many warehouses can serve any demand location and that stochastic arrivals satisfy either temporal or spatial independence. The crux of our theoretical contribution is to use randomized rounding to derive a tight $(1-(1-1/d)^d)$-approximation for the integer programming problem of optimizing the Offline surrogate. We use statistical learning to show that rounding after optimizing a sample-average Offline surrogate, which is necessary due to the exponentially-sized support, does indeed have vanishing loss. On the experimental side, we extract real-world sequences of customer orders from publicly-available JD.com data and evaluate different combinations of placement and fulfillment procedures. Optimizing the Offline surrogate performs best overall, even compared to simulation procedures, corroborating our theory.


title: Contrastive Continual Learning with Importance Sampling and Prototype-Instance Relation Distillation

abstract: Recently, because of the high-quality representations of contrastive learning methods, rehearsal-based contrastive continual learning has been proposed to explore how to continually learn transferable representation embeddings to avoid the catastrophic forgetting issue in traditional continual settings. Based on this framework, we propose Contrastive Continual Learning via Importance Sampling (CCLIS) to preserve knowledge by recovering previous data distributions with a new strategy for Replay Buffer Selection (RBS), which minimize estimated variance to save hard negative samples for representation learning with high quality. Furthermore, we present the Prototype-instance Relation Distillation (PRD) loss, a technique designed to maintain the relationship between prototypes and sample representations using a self-distillation process. Experiments on standard continual learning benchmarks reveal that our method notably outperforms existing baselines in terms of knowledge preservation and thereby effectively counteracts catastrophic forgetting in online contexts. The code is available at https://github.com/lijy373/CCLIS.


title: Equivalence of constacyclic codes with shift constants of different orders

abstract: Let $a$ and $b$ be two non-zero elements of a finite field $\mathbb{F}_q$, where $q>2$. It has been shown that if $a$ and $b$ have the same multiplicative order in $\mathbb{F}_q$, then the families of $a$-constacyclic and $b$-constacyclic codes over $\mathbb{F}_q$ are monomially equivalent. In this paper, we investigate the monomial equivalence of $a$-constacyclic and $b$-constacyclic codes when $a$ and $b$ have distinct multiplicative orders. We present novel conditions for establishing monomial equivalence in such constacyclic codes, surpassing previous methods of determining monomially equivalent constacyclic and cyclic codes. As an application, we use these results to search for new linear codes more systematically. In particular, we present more than $70$ new record-breaking linear codes over various finite fields, as well as new binary quantum codes.


title: Implementation of soft-constrained MPC for Tracking using its semi-banded problem structure

abstract: Model Predictive Control (MPC) is a popular control approach due to its ability to consider constraints, including input and state restrictions, while minimizing a cost function. However, in practice, said constraints can result in feasibility issues, either because the system model is not accurate or due to the existence of external disturbances. To mitigate this problem, a solution adopted by the MPC community is the use of soft constraints. In this article, we consider a not-so-typical methodology to encode soft constraints in a particular MPC formulation known as MPC for Tracking (MPCT), which has several advantages when compared to standard MPC formulations. The motivation behind the proposed encoding is to maintain the semi-banded structure of the ingredients of a recently proposed solver for the considered MPCT formulation, thus providing an efficient and fast solver when compared to alternative approaches from the literature. We show numerical results highlighting the benefits of the formulation and the computational efficiency of the solver.


title: Minimum-Time Planar Paths with up to Two Constant Acceleration Inputs and $L_2$ Velocity and Acceleration Constraints

abstract: Given starting and ending positions and velocities, $L_2$ bounds on the acceleration and velocity, and the restriction to no more than two constant control inputs, this paper provides routines to compute the minimal-time path. Closed form solutions are provided for reaching a position in minimum time with and without a velocity bound, and for stopping at the goal position. A numeric solver is used to reach a goal position and velocity with no more than two constant control inputs. If a cruising phase at the terminal velocity is needed, this requires solving a non-linear equation with a single parameter. Code is provided on GitHub at https://github.com/RoboticSwarmControl/MinTimeL2pathsConstraints.


title: Next-to-eikonal corrections to dijet production in Deep Inelastic Scattering in the dilute limit of the Color Glass Condensate

abstract: We analyze the effects of next-to-eikonal corrections on dijet production in Deep Inelastic Scattering off nuclear targets in the framework of the Color Glass Condensate. They require the knowledge of correlators of fields in the target beyond those computed in the standard McLerran-Venugopalan model, specifically those between transverse and boost-enhanced components, and of the recoil of the fields. We neglect the latter, while for the former we develop a linear model valid for large nuclei. We considered the unpolarized cross sections for dijet production in the approximation of a homogenous dilute nucleus, obtaining simple analytic expressions for the cross sections at nex-to-eikonal accuracy, valid in the limit of total dijet momentum and dijet momentum imbalance larger than the saturation scale of the nucleus. We perform a numerical study of the results at energies of the Electron Ion Collider, finding $\mathcal{O}(10\%)$ effects in the cross sections at large total momentum. We also analyze the azimuthal asymmetries between total momentum and imbalance, finding that non-eikonal corrections induce odd azimuthal harmonics for the situation of jets with equal momentum fractions from the virtual photon, where they are absent in the eikonal approximation. Finally, in the eikonal approximation we have compared the results of our analytic expansion valid in the dilute limit of the target, and the full Color Glass Condensate results in the McLerran-Venugopalan model and their correlation limit. Our analytic expressions match the correlation limit ones in the region where both should be simultaneously valid and reproduce very well the full Color Glass Condensate results in its validity region.


title: Foundation for the {\Delta}SCF Approach in Density Functional Theory

abstract: We extend ground-state density-functional theory to excited states and provide the theoretical formulation for the widely used $\Delta SCF$ method for calculating excited-state energies and densities. As the electron density alone is insufficient to characterize excited states, we formulate excited-state theory using the defining variables of a noninteracting reference system, namely (1) the excitation quantum number $n_{s}$ and the potential $w_{s}(\mathbf{r})$ (excited-state potential-functional theory, $n$PFT), (2) the noninteracting wavefunction $\Phi$ ($\Phi$-functional theory, $\Phi$FT), or (3) the noninteracting one-electron reduced density matrix $\gamma_{s}(\mathbf{r},\mathbf{r}')$ (density-matrix-functional theory, $\gamma_{s}$FT). We show the equivalence of these three sets of variables and their corresponding energy functionals. Importantly, the ground and excited-state exchange-correlation energy use the \textit{same} universal functional, regardless of whether $\left(n_{s},w_{s}(\boldsymbol{r})\right)$, $\Phi$, or $\gamma_{s}(\mathbf{r},\mathbf{r}')$ is selected as the fundamental descriptor of the system. We derive the excited-state (generalized) Kohn-Sham equations. The minimum of all three functionals is the ground-state energy and, for ground states, they are all equivalent to the Hohenberg-Kohn-Sham method. The other stationary points of the functionals provide the excited-state energies and electron densities, establishing the foundation for the $\Delta SCF$ method.


title: In-n-Out: Calibrating Graph Neural Networks for Link Prediction

abstract: Deep neural networks are notoriously miscalibrated, i.e., their outputs do not reflect the true probability of the event we aim to predict. While networks for tabular or image data are usually overconfident, recent works have shown that graph neural networks (GNNs) show the opposite behavior for node-level classification. But what happens when we are predicting links? We show that, in this case, GNNs often exhibit a mixed behavior. More specifically, they may be overconfident in negative predictions while being underconfident in positive ones. Based on this observation, we propose IN-N-OUT, the first-ever method to calibrate GNNs for link prediction. IN-N-OUT is based on two simple intuitions: i) attributing true/false labels to an edge while respecting a GNNs prediction should cause but small fluctuations in that edge's embedding; and, conversely, ii) if we label that same edge contradicting our GNN, embeddings should change more substantially. An extensive experimental campaign shows that IN-N-OUT significantly improves the calibration of GNNs in link prediction, consistently outperforming the baselines available -- which are not designed for this specific task.


title: New catalog of distances to planetary nebulae based on Gaia parallaxes and statistical distances

abstract: We have developed a method to determine the most reliable distances for a large group of planetary nebulae. For this purpose, we analyze the distances obtained from \textit{Gaia} parallaxes and three determinations of statistical distances. The most reliable distance is derived for 2211 objects, and uncertainties for these distances are calculated in a homogeneous way. Using our most reliable distances, we compare the distributions of Galactic heights of hydrogen-poor and hydrogen-rich central stars of planetary nebulae. We find that [WR] central stars are closer to the Galactic plane than hydrogen-rich central stars and than other hydrogen-poor central stars. The latter have a similar distribution to hydrogen-rich central stars, which is significantly different from the one of [WR] central stars. This result disagrees with the proposed evolutionary sequence for hydrogen-poor central stars.


abstract: We propose a variant of Hamiltonian Monte Carlo (HMC), called the Repelling-Attracting Hamiltonian Monte Carlo (RAHMC), for sampling from multimodal distributions. The key idea that underpins RAHMC is a departure from the conservative dynamics of Hamiltonian systems, which form the basis of traditional HMC, and turning instead to the dissipative dynamics of conformal Hamiltonian systems. In particular, RAHMC involves two stages: a mode-repelling stage to encourage the sampler to move away from regions of high probability density; and, a mode-attracting stage, which facilitates the sampler to find and settle near alternative modes. We achieve this by introducing just one additional tuning parameter -- the coefficient of friction. The proposed method adapts to the geometry of the target distribution, e.g., modes and density ridges, and can generate proposals that cross low-probability barriers with little to no computational overhead in comparison to traditional HMC. Notably, RAHMC requires no additional information about the target distribution or memory of previously visited modes. We establish the theoretical basis for RAHMC, and we discuss repelling-attracting extensions to several variants of HMC in literature. Finally, we provide a tuning-free implementation via dual-averaging, and we demonstrate its effectiveness in sampling from, both, multimodal and unimodal distributions in high dimensions.

categories: math.ST astro-ph.IM stat.CO stat.ML stat.TH


title: Standardization of Cloth Objects and its Relevance in Robotic Manipulation

abstract: The field of robotics faces inherent challenges in manipulating deformable objects, particularly in understanding and standardising fabric properties like elasticity, stiffness, and friction. While the significance of these properties is evident in the realm of cloth manipulation, accurately categorising and comprehending them in real-world applications remains elusive. This study sets out to address two primary objectives: (1) to provide a framework suitable for robotics applications to characterise cloth objects, and (2) to study how these properties influence robotic manipulation tasks. Our preliminary results validate the framework's ability to characterise cloth properties and compare cloth sets, and reveal the influence that different properties have on the outcome of five manipulation primitives. We believe that, in general, results on the manipulation of clothes should be reported along with a better description of the garments used in the evaluation. This paper proposes a set of these measures.


title: A Market Mechanism for a Two-stage Settlement Electricity Market with Energy Storage

abstract: Electricity markets typically clear in two stages: a day-ahead market and a real-time market. In this paper, we propose market mechanisms for a two-stage multi-interval electricity market with energy storage, generators, and demand uncertainties. We consider two possible mixed bidding strategies: storage first bids cycle depths in the day ahead and then charge-discharge power bids in the real-time market for any last-minute adjustments. While the first strategy only considers day-ahead decisions from an individual participant's perspective as part of their individual optimization formulation, the second strategy accounts for both the market operator's and participants' perspectives. We demonstrate that the competitive equilibrium exists uniquely for both mechanisms. However, accounting for the day-ahead decisions in the bidding function has several advantages. Numerical experiments using New York ISO data provide bounds on the proposed market mechanism.


title: Wondertopes

abstract: Positive geometries were introduced by Arkani-Hamed--Bai--Lam as a method of computing scattering amplitudes in theoretical physics. We show that a positive geometry from a polytope admits a log resolution of singularities to another positive geometry. Our result states that the regions in a wonderful compactification of a hyperplane arrangement complement, which we call wondertopes, are positive geometries. A familiar wondertope is the curvy associahedron, which tiles the moduli space of pointed stable rational curves. Thus our work generalizes the known positive geometry structure on this moduli space.


title: Cavity-assisted resonance fluorescence from a nitrogen-vacancy center in diamond

abstract: The nitrogen-vacancy center in diamond, owing to its optically addressable and long-lived electronic spin, is an attractive resource for the generation of remote entangled states. However, the center's low native fraction of coherent photon emission, $\sim$3\%, strongly reduces the achievable spin-photon entanglement rates. Here, we couple a nitrogen-vacancy center with a narrow extrinsically broadened linewidth (\unit[159]{MHz}), hosted in a micron-thin membrane, to the mode of an open optical microcavity. The resulting Purcell factor of $\sim$1.8 increases the fraction of zero-phonon line photons to above 44\%, leading to coherent photon emission rates exceeding four times the state of the art under non-resonant excitation. Bolstered by the enhancement provided by the cavity, we for the first time measure resonance fluorescence without any temporal filtering with $>$10 signal-to-laser background ratio. Our microcavity platform would increase spin-spin entanglement success probabilities by more than an order of magnitude compared to existing implementations. Selective enhancement of the center's zero-phonon transitions could furthermore unlock efficient application of quantum optics techniques such as wave-packet shaping or all-optical spin manipulation.


title: A Domain Translation Framework with an Adversarial Denoising Diffusion Model to Generate Synthetic Datasets of Echocardiography Images

abstract: Currently, medical image domain translation operations show a high demand from researchers and clinicians. Amongst other capabilities, this task allows the generation of new medical images with sufficiently high image quality, making them clinically relevant. Deep Learning (DL) architectures, most specifically deep generative models, are widely used to generate and translate images from one domain to another. The proposed framework relies on an adversarial Denoising Diffusion Model (DDM) to synthesize echocardiography images and perform domain translation. Contrary to Generative Adversarial Networks (GANs), DDMs are able to generate high quality image samples with a large diversity. If a DDM is combined with a GAN, this ability to generate new data is completed at an even faster sampling time. In this work we trained an adversarial DDM combined with a GAN to learn the reverse denoising process, relying on a guide image, making sure relevant anatomical structures of each echocardiography image were kept and represented on the generated image samples. For several domain translation operations, the results verified that such generative model was able to synthesize high quality image samples: MSE: 11.50 +/- 3.69, PSNR (dB): 30.48 +/- 0.09, SSIM: 0.47 +/- 0.03. The proposed method showed high generalization ability, introducing a framework to create echocardiography images suitable to be used for clinical research purposes.


title: Simultaneous Conformal Prediction of Missing Outcomes with Propensity Score $\epsilon$-Discretization

abstract: We study the problem of simultaneous predictive inference on multiple outcomes missing at random. We consider a suite of possible simultaneous coverage properties, conditionally on the missingness pattern and on the -- possibly discretized/binned -- feature values. For data with discrete feature distributions, we develop a procedure which attains feature- and missingness-conditional coverage; and further improve it via pooling its results after partitioning the unobserved outcomes. To handle general continuous feature distributions, we introduce methods based on discretized feature values. To mitigate the issue that feature-discretized data may fail to remain missing at random, we propose propensity score $\epsilon$-discretization. This approach is inspired by the balancing property of the propensity score, namely that the missing data mechanism is independent of the outcome conditional on the propensity [Rosenbaum and Rubin (1983)]. We show that the resulting pro-CP method achieves propensity score discretized feature- and missingness-conditional coverage, when the propensity score is known exactly or is estimated sufficiently accurately. Furthermore, we consider a stronger inferential target, the squared-coverage guarantee, which penalizes the spread of the coverage proportion. We propose methods -- termed pro-CP2 -- to achieve it with similar conditional properties as we have shown for usual coverage. A key novel technical contribution in our results is that propensity score discretization leads to a notion of approximate balancing, which we formalize and characterize precisely. In extensive empirical experiments on simulated data and on a job search intervention dataset, we illustrate that our procedures provide informative prediction sets with valid conditional coverage.


title: Kinematic Hopf algebra and BCJ numerators at finite $\alpha'$

abstract: In this letter, starting from a kinematic Hopf algebra, we first construct a closed-form formula for all Bern-Carrasco-Johansson (BCJ) numerators in Yang-Mills (YM) theory with infinite orders of $\alpha'$ corrections, known as $\rm DF^2+YM$ theory, when coupled to two heavy particles which can be removed through a simple factorization limit. The full $\alpha'$ dependence appears simply in massive physical propagator factors, with factorization strongly constraining the construction. The intricate structure induced by the massive poles also naturally leads us to find a novel closed-form and local expression for BCJ numerators in usual pure YM theory, based directly on the kinematic Hopf algebra.


title: Rectangular Rotational Invariant Estimator for High-Rank Matrix Estimation

abstract: We consider estimating a matrix from noisy observations coming from an arbitrary additive bi-rotational invariant perturbation. We propose an estimator which is optimal among the class of rectangular rotational invariant estimators and can be applied irrespective of the prior on the signal. For the particular case of Gaussian noise, we prove the optimality of the proposed estimator, and we find an explicit expression for the MMSE in terms of the limiting singular value distribution of the observation matrix. Moreover, we prove a formula linking the asymptotic mutual information and the limit of a log-spherical integral of rectangular matrices. We also provide numerical checks for our results for general bi-rotational invariant noise, as well as Gaussian noise, which match our theoretical predictions.


title: Modeling reputation-based behavioral biases in school choice

abstract: A fundamental component in the theoretical school choice literature is the problem a student faces in deciding which schools to apply to. Recent models have considered a set of schools of different selectiveness and a student who is unsure of their strength and can apply to at most $k$ schools. Such models assume that the student cares solely about maximizing the quality of the school that they attend, but experience suggests that students' decisions are also influenced by a set of behavioral biases based on reputational effects: a subjective reputational benefit when admitted to a selective school, whether or not they attend; and a subjective loss based on disappointment when rejected. Guided by these observations, and inspired by recent behavioral economics work on loss aversion relative to expectations, we propose a behavioral model by which a student chooses schools to balance these behavioral effects with the quality of the school they attend. Our main results show that a student's choices change in dramatic ways when these reputation-based behavioral biases are taken into account. In particular, where a rational applicant spreads their applications evenly, a biased student applies very sparsely to highly selective schools, such that above a certain threshold they apply to only an absolute constant number of schools even as their budget of applications grows to infinity. Consequently, a biased student underperforms a rational student even when the rational student is restricted to a sufficiently large upper bound on applications and the biased student can apply to arbitrarily many. Our analysis shows that the reputation-based model is rich enough to cover a range of different ways that biased students cope with fear of rejection, including not just targeting less selective schools, but also occasionally applying to schools that are too selective, compared to rational students.


title: Tensor bispectrum mediated by an excited scalar field during inflation

abstract: We calculate the tensor bispectrum mediated by an excited scalar field during inflation and find that the bispectrum peaks in the squeezed configuration, which is different from that of gravitational waves induced by enhanced curvature perturbations re-entering the horizon in the radiation-dominated era. Measuring the bispectrum provides a promising way to distinguish the stochastic gravitational-wave background generated during inflation from that generated after inflation.


title: Strong Priority and Determinacy in Timed CCS

abstract: Building on the standard theory of process algebra with priorities, we identify a new scheduling mechanism, called "constructive reduction" which is designed to capture the essence of synchronous programming. The distinctive property of this evaluation strategy is to achieve determinacy-by-construction for multi-cast concurrent communication with shared memory. In the technical setting of CCS extended by clocks and priorities, we prove for a large class of "coherent" processes a confluence property for constructive reductions. We show that under some restrictions, called "pivotability", coherence is preserved by the operators of prefix, summation, parallel composition, restriction and hiding. Since this permits memory and sharing, we are able to cover a strictly larger class of processes compared to those in Milner's classical confluence theory for CCS without priorities.


title: $B$-meson production at forward rapidities in $pp$ collisions at the LHC: Estimating the intrinsic bottom contribution

abstract: The production of $B$ mesons at forward rapidities is strongly sensitive to the behavior of the gluon and bottom distribution functions for small and large values of the Bjorken-$x$ variable. In this exploratory study, we estimate the cross-section for the $B^{\pm}$ meson production in the kinematic range probed by the LHCb detector and that will be analyzed by the future Forward Physics Facility (FPF) considering the hybrid formalism, the solution of the running coupling Balitsky-Kovchegov equation and distinct description of the bottom distribution function. We assume an ansatz for the intrinsic bottom component in the proton wave function, and estimate its impact on the transverse momentum, rapidity and Feynman-$x$ distributions. Our results indicate that the presence of an intrinsic bottom strongly modifies the magnitude of the cross-section at ultra-forward rapidities ($y \ge 6$), which implies an enhancement of the $B^{\pm}$ production at the FPF. Possible implications on the prompt neutrino flux at ultra-high energies are also briefly discussed.


title: Stationary switching random walks

abstract: A switching random walk, commonly known under the misnomer `oscillating random walk', is a real-valued Markov chain such that the distribution of its increments depends only on the sign of the current position. In this note we find invariant measures for such chains. In the particular case where the chain is an actual random walk, our proof naturally relates its stationarity relative to the Lebesgue measure to stationarity of the renewal processes of its ascending and descending ladder heights.


title: Correction and standardisation of lung oscillometry techniques using parameter inference: A study group report

abstract: This report relates to a study group hosted by the EPSRC funded network, Integrating data-driven BIOphysical models into REspiratory MEdicine (BIOREME), and supported by The Insigneo Institute and The Knowledge Transfer Network. The BIOREME network hosts events, including this study group, to bring together multi-disciplinary researchers, clinicians, companies and charities to catalyse research in the applications of mathematical modelling for respiratory medicine. The goal of this study group was to provide an interface between companies, clinicians, and mathematicians to develop mathematical tools to the problems presented. The study group was held at The University of Sheffield on the 17 - 20 April 2023 and was attended by 24 researchers from 13 different institutions. This report relates to a challenge presented by Arete Medical Technologies relating to impulse oscillometry (IOS), whereby a short pressure oscillation is imposed at a person's mouth during normal breathing, usually by a loudspeaker. The resulting pressure and flow rate changes can be used to the impedance of the airways, which in turn can provide proxy measurements for (patho)physiological changes in the small airways. Disentangling the signal so that airway mechanics can be measured accurately (and device properties/environmental effects can be accounted for) remains an open challenge that has the potential to significantly improve the device and its translation to clinic. In this report, several approaches to this problem, and the wider problem of interpreting oscillometry resuts are explored.


title: Topological Phase Transitions of Interacting Fermions in the Presence of a Commensurate Magnetic Flux

abstract: Motivated by recently reported magnetic-field induced topological phases in ultracold atoms and correlated Moir\'e materials, we investigate topological phase transitions in a minimal model consisting of interacting spinless fermions described by the Hofstadter model on a square lattice. For interacting lattice Hamiltonians in the presence of a commensurate magnetic flux it has been demonstrated that the quantized Hall conductivity is constrained by a Lieb-Schultz-Mattis (LSM)-type theorem due to magnetic translation symmetry. In this work, we revisit the validity of the theorem for such models and establish that a topological phase transition from a topological to a trivial insulating phase can be realized but must be accompanied by spontaneous magnetic translation symmetry breaking caused by charge ordering of the spinless fermions. To support our findings, the topological phase diagram for varying interaction strength is mapped out numerically with exact diagonalization for different flux quantum ratios and band fillings using symmetry indicators. We discuss our results in the context of the LSM-type theorem.


title: Bloch oscillations in a transmon embedded in a resonant electromagnetic environment

abstract: Recently developed Josephson junction array transmission lines implement strong-coupling circuit electrodynamics compatible with a range of superconducting quantum devices. They provide both the high impedance which allows for strong quantum fluctuations, and photon modes with which to probe a quantum device, such as a small Josephson junction. In this high-impedance environment, current through the junction is accompanied by charge Bloch oscillations analogous to those in crystalline systems. However, the interplay between Bloch oscillations and environmental photon resonances remains largely unexplored. Here we describe the Bloch oscillations in a transmon-type qubit attached to high-impedance transmission lines with discrete photon spectra. Transmons are characterized by well-separated charge bands, favoring Bloch oscillations over Landau-Zener tunneling. We find resonances in the voltage--current relation and the spectrum of photons emitted by the Bloch oscillations. The transmon also scatters photons inelastically; we find the cross-section for a novel anti-Stokes-like process whereby photons gain a Bloch oscillation quantum. Our results outline how Bloch oscillations leave fingerprints for experiments across the DC, MHz, and GHz ranges.


title: Quantum theory of Bloch oscillations in a resistively shunted transmon

abstract: A transmon qubit embedded in a high-impedance environment acts in a way dual to a conventional Josephson junction. In analogy to the AC Josephson effect, biasing of the transmon by a direct current leads to the oscillations of voltage across it. These oscillations are known as the Bloch oscillations. We find the Bloch oscillations spectrum, and show that the zero-point fluctuations of charge make it broad-band. Despite having a broad-band spectrum, Bloch oscillations can be brought in resonance with an external microwave radiation. The resonances lead to steps in the voltage-current relation, which are dual to the conventional Shapiro steps. We find how the shape of the steps depends on the environment impedance $R$, parameters of the transmon, and the microwave amplitude. The Bloch oscillations rely on the insulating state of the transmon which is realized at impedances exceeding the Schmid transition point, $R > R_Q = h / (2e)^2$.


title: Solitary waves in a stochastic parametrically forced nonlinear Schr\"odinger equation

abstract: We study a parametrically forced nonlinear Schr\"odinger (PFNLS) equation, driven by multiplicative translation-invariant noise. We show that a solitary wave in the stochastic equation is orbitally stable on a timescale which is exponential in the inverse square of the noise strength. We give explicit expressions for the phase shift and fluctuations around the shifted wave which are accurate to second order in the noise strength. This is done by developing a new perspective on the phase-lag method introduced by Kr\"uger and Stannat. Additionally, we show well-posedness of the equation in the fractional Bessel space $H^{s}$ for any $s \in [0,\infty)$, demonstrating persistence of regularity.


title: MedFLIP: Medical Vision-and-Language Self-supervised Fast Pre-Training with Masked Autoencoder

abstract: Within the domain of medical analysis, extensive research has explored the potential of mutual learning between Masked Autoencoders(MAEs) and multimodal data. However, the impact of MAEs on intermodality remains a key challenge. We introduce MedFLIP, a Fast Language-Image Pre-training method for Medical analysis. We explore MAEs for zero-shot learning with crossed domains, which enhances the model's ability to learn from limited data, a common scenario in medical diagnostics. We verify that masking an image does not affect inter-modal learning. Furthermore, we propose the SVD loss to enhance the representation learning for characteristics of medical images, aiming to improve classification accuracy by leveraging the structural intricacies of such data. Our theory posits that masking encourages semantic preservation, robust feature extraction, regularization, domain adaptation, and invariance learning. Lastly, we validate using language will improve the zero-shot performance for the medical image analysis. MedFLIP's scaling of the masking process marks an advancement in the field, offering a pathway to rapid and precise medical image analysis without the traditional computational bottlenecks. Through experiments and validation, MedFLIP demonstrates efficient performance improvements, helps for future research and application in medical diagnostics.


title: Distributed Multi-objective Optimization in Cyber-Physical Energy Systems

abstract: Managing complex Cyber-Physical Energy Systems (CPES) requires solving various optimization problems with multiple objectives and constraints. As distributed control architectures are becoming more popular in CPES for certain tasks due to their flexibility, robustness, and privacy protection, multi-objective optimization must also be distributed. For this purpose, we present MO-COHDA, a fully distributed, agent-based algorithm, for solving multi-objective optimization problems of CPES. MO-COHDA allows an easy and flexible adaptation to different use cases and integration of custom functionality. To evaluate the effectiveness of MO-COHDA, we compare it to a central NSGA-2 algorithm using multi-objective benchmark functions from the ZDT problem suite. The results show that MO-COHDA can approximate the reference front of the benchmark problems well and is suitable for solving multi-objective optimization problems. In addition, an example use case of scheduling a group of generation units while optimizing three different objectives was evaluated to show how MO-COHDA can be easily applied to real-world optimization problems in CPES.


title: On the extinction of multiple shocks in scalar viscous conservation laws

abstract: We are interested in the dynamics of interfaces, or zeros, of shock waves in general scalar viscous conservation laws with a locally Lipschitz continuous flux function, such as the modular Burgers' equation. We prove that all interfaces coalesce within finite time, leaving behind either a single interface or no interface at all. Our proof relies on mass and energy estimates, regularization of the flux function, and an application of the Sturm theorems on the number of zeros of solutions of parabolic problems. Our analysis yields an explicit upper bound on the time of extinction in terms of the initial condition and the flux function. Moreover, in the case of a smooth flux function, we characterize the generic bifurcations arising at a coalescence event with and without the presence of odd symmetry. We identify associated scaling laws describing the local interface dynamics near collision. Finally, we present an extension of these results to the case of anti-shock waves converging to asymptotic limits of opposite signs. Our analysis is corroborated by numerical simulations in the modular Burgers' equation and its regularizations.


title: Explaining Bayesian Optimization by Shapley Values Facilitates Human-AI Collaboration

abstract: Bayesian optimization (BO) with Gaussian processes (GP) has become an indispensable algorithm for black box optimization problems. Not without a dash of irony, BO is often considered a black box itself, lacking ways to provide reasons as to why certain parameters are proposed to be evaluated. This is particularly relevant in human-in-the-loop applications of BO, such as in robotics. We address this issue by proposing ShapleyBO, a framework for interpreting BO's proposals by game-theoretic Shapley values.They quantify each parameter's contribution to BO's acquisition function. Exploiting the linearity of Shapley values, we are further able to identify how strongly each parameter drives BO's exploration and exploitation for additive acquisition functions like the confidence bound. We also show that ShapleyBO can disentangle the contributions to exploration into those that explore aleatoric and epistemic uncertainty. Moreover, our method gives rise to a ShapleyBO-assisted human machine interface (HMI), allowing users to interfere with BO in case proposals do not align with human reasoning. We demonstrate this HMI's benefits for the use case of personalizing wearable robotic devices (assistive back exosuits) by human-in-the-loop BO. Results suggest human-BO teams with access to ShapleyBO can achieve lower regret than teams without.


title: Time-Aware Projections: Truly Node-Private Graph Statistics under Continual Observation

abstract: We describe the first algorithms that satisfy the standard notion of node-differential privacy in the continual release setting (i.e., without an assumed promise on input streams). Previous work addresses node-private continual release by assuming an unenforced promise on the maximum degree in a graph; indeed, the algorithms from these works exhibit blatant privacy violations when the degree bound is not met. Our algorithms are accurate on sparse graphs, for several fundamental graph problems: counting edges, triangles, other subgraphs, and connected components; and releasing degree histograms. Our unconditionally private algorithms generally have optimal error, up to polylogarithmic factors and lower-order terms. We provide general transformations that take a base algorithm for the continual release setting, which need only be private for streams satisfying a promised degree bound, and produce an algorithm that is unconditionally private yet mimics the base algorithm when the stream meets the degree bound (and adds only linear overhead to the time and space complexity of the base algorithm). To do so, we design new projection algorithms for graph streams, based on the batch-model techniques of Day et al. 2016 and Blocki et al. 2013, which modify the stream to limit its degree. Our main technical innovation is to show that the projections are stable -- meaning that similar input graphs have similar projections -- when the input stream satisfies a privately testable safety condition. Our transformation then follows a novel online variant of the Propose-Test-Release framework (Dwork and Lei, 2009), privately testing the safety condition before releasing output at each step.


title: Galilean symmetry of the KdV hierarchy

abstract: By solving the infinitesimal Galilean symmetry for the KdV hierarchy, we obtain an explicit expression for the corresponding one-parameter Lie group, which we call the Galilean symmetry of the KdV hierarchy. As an application, we establish an explicit relationship between the non-abelian Born--Infeld partition function and the generalized Br\'ezin--Gross--Witten partition function.


title: Software Compensation for Highly Granular Calorimeters using Machine Learning

abstract: A neural network for software compensation was developed for the highly granular CALICE Analogue Hadronic Calorimeter (AHCAL). The neural network uses spatial and temporal event information from the AHCAL and energy information, which is expected to improve sensitivity to shower development and the neutron fraction of the hadron shower. The neural network method produced a depth-dependent energy weighting and a time-dependent threshold for enhancing energy deposits consistent with the timescale of evaporation neutrons. Additionally, it was observed to learn an energy-weighting indicative of longitudinal leakage correction. In addition, the method produced a linear detector response and outperformed a published control method regarding resolution for every particle energy studied.


title: Message-Observing Sessions

abstract: We present Most, a process language with message-observing session types. Message-observing session types extend binary session types with type-level computation to specify communication protocols that vary based on messages observed on other channels. Hence, Most allows us to express global invariants about processes, rather than just local invariants, in a bottom-up, compositional way. We give Most a semantic foundation using traces with binding, a semantic approach for compositionally reasoning about traces in the presence of name generation. We use this semantics to prove type soundness and compositionality for Most processes. We see this as a significant step towards capturing message-dependencies and providing more precise guarantees about processes.


title: Pix2Gif: Motion-Guided Diffusion for GIF Generation

abstract: We present Pix2Gif, a motion-guided diffusion model for image-to-GIF (video) generation. We tackle this problem differently by formulating the task as an image translation problem steered by text and motion magnitude prompts, as shown in teaser fig. To ensure that the model adheres to motion guidance, we propose a new motion-guided warping module to spatially transform the features of the source image conditioned on the two types of prompts. Furthermore, we introduce a perceptual loss to ensure the transformed feature map remains within the same space as the target image, ensuring content consistency and coherence. In preparation for the model training, we meticulously curated data by extracting coherent image frames from the TGIF video-caption dataset, which provides rich information about the temporal changes of subjects. After pretraining, we apply our model in a zero-shot manner to a number of video datasets. Extensive qualitative and quantitative experiments demonstrate the effectiveness of our model -- it not only captures the semantic prompt from text but also the spatial ones from motion guidance. We train all our models using a single node of 16xV100 GPUs. Code, dataset and models are made public at: https://hiteshk03.github.io/Pix2Gif/.


title: Virtuoso: An Open-Source, Comprehensive and Modular Simulation Framework for Virtual Memory Research

abstract: Virtual memory is a cornerstone of modern computing systems.Introduced as one of the earliest instances of hardware-software co-design, VM facilitates programmer-transparent memory man agement, data sharing, process isolation and memory protection. Evaluating the efficiency of various virtual memory (VM) designs is crucial (i) given their significant impact on the system, including the CPU caches, the main memory, and the storage device and (ii) given that different system architectures might benefit from various VM techniques. Such an evaluation is not straightforward, as it heavily hinges on modeling the interplay between different VM techniques and the interactions of VM with the system architecture. Modern simulators, however, struggle to keep up with the rapid VM research developments, lacking the capability to model a wide range of contemporary VM techniques and their interactions. To this end, we present Virtuoso, an open-source, comprehensive and modular simulation framework that models various VM designs to establish a common ground for virtual memory research. We demonstrate the versatility and the potential of Virtuoso with four new case studies. Virtuoso is freely open-source and can be found at https://github.com/CMU-SAFARI/Virtuoso.


title: Entropy Aware Message Passing in Graph Neural Networks

abstract: Deep Graph Neural Networks struggle with oversmoothing. This paper introduces a novel, physics-inspired GNN model designed to mitigate this issue. Our approach integrates with existing GNN architectures, introducing an entropy-aware message passing term. This term performs gradient ascent on the entropy during node aggregation, thereby preserving a certain degree of entropy in the embeddings. We conduct a comparative analysis of our model against state-of-the-art GNNs across various common datasets.


title: Investigation of low band gap silicon alloy thin film solar cell for improving short and long wavelength response

abstract: Numerical simulation of a solar cell can provide various information that can be useful to maximize its power conversion efficiency (PCE). In that respect we carried out a set of numerical simulation using AFORS-HET simulation program. Separately, in order to get a better understanding, the optical absorption in individual layers devices were analyzed. Current-voltage characteristic curve of a reference cell (Cell-A) was used as the starting device. The PCE of the reference device was $8.85\%$ with short circuit current density $J_{sc}$ of 15.43 mA/cm$^{2}$ and fill factor (FF) of $68.3\%$. However, it was noticed that the reference cell had high parasitic optical absorption at the window layer and the device structure was also not optimized. After suitable optimization the PCE of this device (Cell-B2) improves to $11.59\%$ ($J_{sc}$ and FF of 13.0 mA/cm$^{2}$ and $87\%$ respectively). The results show that the effective optical absorption in the active layer can be improved significantly by optimizing the device structure. The short wavelength response can be improved by reducing the parasitic optical absorption by the doped window layer, while its long wavelength response improves by raising effective absorption length of the active layer. Furthermore, its optimum thickness, for the highest possible PCE, is found to be dependent upon the material properties, more importantly on its defect density.


title: Scalable, Simulation-Guided Compliant Tactile Finger Design

abstract: Compliant grippers enable robots to work with humans in unstructured environments. In general, these grippers can improve with tactile sensing to estimate the state of objects around them to precisely manipulate objects. However, co-designing compliant structures with high-resolution tactile sensing is a challenging task. We propose a simulation framework for the end-to-end forward design of GelSight Fin Ray sensors. Our simulation framework consists of mechanical simulation using the finite element method (FEM) and optical simulation including physically based rendering (PBR). To simulate the fluorescent paint used in these GelSight Fin Rays, we propose an efficient method that can be directly integrated in PBR. Using the simulation framework, we investigate design choices available in the compliant grippers, namely gel pad shapes, illumination conditions, Fin Ray gripper sizes, and Fin Ray stiffness. This infrastructure enables faster design and prototype time frames of new Fin Ray sensors that have various sensing areas, ranging from 48 mm $\times$ \18 mm to 70 mm $\times$ 35 mm. Given the parameters we choose, we can thus optimize different Fin Ray designs and show their utility in grasping day-to-day objects.


title: MaCmS: Magahi Code-mixed Dataset for Sentiment Analysis

abstract: The present paper introduces new sentiment data, MaCMS, for Magahi-Hindi-English (MHE) code-mixed language, where Magahi is a less-resourced minority language. This dataset is the first Magahi-Hindi-English code-mixed dataset for sentiment analysis tasks. Further, we also provide a linguistics analysis of the dataset to understand the structure of code-mixing and a statistical study to understand the language preferences of speakers with different polarities. With these analyses, we also train baseline models to evaluate the dataset's quality.


title: CAT: Enhancing Multimodal Large Language Model to Answer Questions in Dynamic Audio-Visual Scenarios

abstract: This paper focuses on the challenge of answering questions in scenarios that are composed of rich and complex dynamic audio-visual components. Although existing Multimodal Large Language Models (MLLMs) can respond to audio-visual content, these responses are sometimes ambiguous and fail to describe specific audio-visual events. To overcome this limitation, we introduce the CAT, which enhances MLLM in three ways: 1) besides straightforwardly bridging audio and video, we design a clue aggregator that aggregates question-related clues in dynamic audio-visual scenarios to enrich the detailed knowledge required for large language models. 2) CAT is trained on a mixed multimodal dataset, allowing direct application in audio-visual scenarios. Notably, we collect an audio-visual joint instruction dataset named AVinstruct, to further enhance the capacity of CAT to model cross-semantic correlations. 3) we propose AI-assisted ambiguity-aware direct preference optimization, a strategy specialized in retraining the model to favor the non-ambiguity response and improve the ability to localize specific audio-visual objects. Extensive experimental results demonstrate that CAT outperforms existing methods on multimodal tasks, especially in Audio-Visual Question Answering (AVQA) tasks. The codes and the collected instructions are released at https://github.com/rikeilong/Bay-CAT.


title: The interdefinability of expansions of Belnap-Dunn logic

abstract: Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with non-classical connectives have been studied. This paper investigates the question whether those expansions are interdefinable with an expansion whose connectives include only classical connectives. This is worth knowing because it is difficult to say how close a logic with non-classical connectives is related to classical logic. The notion of interdefinability of logics used is based on a general notion of definability of a connective in a logic that seems to have been forgotten.


title: Teaching Large Language Models to Reason with Reinforcement Learning

abstract: Reinforcement Learning from Human Feedback (\textbf{RLHF}) has emerged as a dominant approach for aligning LLM outputs with human preferences. Inspired by the success of RLHF, we study the performance of multiple algorithms that learn from feedback (Expert Iteration, Proximal Policy Optimization (\textbf{PPO}), Return-Conditioned RL) on improving LLM reasoning capabilities. We investigate both sparse and dense rewards provided to the LLM both heuristically and via a learned reward model. We additionally start from multiple model sizes and initializations both with and without supervised fine-tuning (\textbf{SFT}) data. Overall, we find all algorithms perform comparably, with Expert Iteration performing best in most cases. Surprisingly, we find the sample complexity of Expert Iteration is similar to that of PPO, requiring at most on the order of $10^6$ samples to converge from a pretrained checkpoint. We investigate why this is the case, concluding that during RL training models fail to explore significantly beyond solutions already produced by SFT models. Additionally, we discuss a trade off between maj@1 and pass@96 metric performance during SFT training and how conversely RL training improves both simultaneously. We then conclude by discussing the implications of our findings for RLHF and the future role of RL in LLM fine-tuning.


title: QAQ: Quality Adaptive Quantization for LLM KV Cache

abstract: The emergence of LLMs has ignited a fresh surge of breakthroughs in NLP applications, particularly in domains such as question-answering systems and text generation. As the need for longer context grows, a significant bottleneck in model deployment emerges due to the linear expansion of the Key-Value (KV) cache with the context length. Existing methods primarily rely on various hypotheses, such as sorting the KV cache based on attention scores for replacement or eviction, to compress the KV cache and improve model throughput. However, heuristics used by these strategies may wrongly evict essential KV cache, which can significantly degrade model performance. In this paper, we propose QAQ, a Quality Adaptive Quantization scheme for the KV cache. We theoretically demonstrate that key cache and value cache exhibit distinct sensitivities to quantization, leading to the formulation of separate quantization strategies for their non-uniform quantization. Through the integration of dedicated outlier handling, as well as an improved attention-aware approach, QAQ achieves up to 10x the compression ratio of the KV cache size with a neglectable impact on model performance. QAQ significantly reduces the practical hurdles of deploying LLMs, opening up new possibilities for longer-context applications. The code is available at github.com/ClubieDong/KVCacheQuantization.


title: Leptoquark-Mediated Two-Loop Neutrino Mass in Unified Theory

abstract: Scalar leptoquarks naturally arise within unified theories, offering a promising avenue for addressing one of the most significant challenges of the Standard Model--the existence of non-zero neutrino masses. In this work, we present a unified theory based on the SU(5) gauge group, where neutrino mass appears at the two-loop level via the propagation of scalar leptoquarks. Due to the unified framework, the charged fermion and neutrino masses and mixings are entangled and determined by a common set of Yukawa couplings. These exotic particles not only shed light on the neutrino mass generation mechanism but also help to achieve the unification of gauge couplings and are expected to lead to substantial lepton flavor violating rates, offering tangible opportunities for experimental verification. Reproducing the observed neutrino mass scale necessitates that a set of leptoquarks reside a few orders of magnitude below the unification scale--a specific feature of the proposed scenario. Moreover, maximizing the unification scale implies TeV scale new physics states, making them accessible at colliders. The diverse roles that leptoquarks play highlight the elegance and predictive ability of the proposed unified model.


title: Accelerating the Convergence of Coupled Cluster Calculations of the Homogeneous Electron Gas Using Bayesian Ridge Regression

abstract: The homogeneous electron gas is a system which has many applications in chemistry and physics. However, its infinite nature makes studies at the many-body level complicated due to long computational run times. Because it is size extensive, coupled cluster theory is capable of studying the homogeneous electron gas, but it still poses a large computational challenge as the time needed for precise calculations increases in a polynomial manner with the number of particles and single-particle states. Consequently, achieving convergence in energy calculations becomes challenging, if not prohibited, due to long computational run times and high computational resource requirements. This paper develops the sequential regression extrapolation (SRE) to predict the coupled cluster energies of the homogeneous electron gas in the complete basis limit using Bayesian ridge regression to make predictions from calculations at truncated basis sizes. Using the SRE method we were able to predict the coupled cluster doubles energies for the electron gas across a variety of values of N and $r_s$, for a total of 70 predictions, with an average error of 4.28x10$^{-4}$ Hartrees while saving 88.9 hours of computational time. The SRE method can accurately extrapolate electron gas energies to the complete basis limit, saving both computational time and resources. Additionally, the SRE is a general method that can be applied to a variety of systems, many-body methods, and extrapolations.


title: Constructing equilibrium states for Smale spaces

abstract: There are several known constructions of equilibrium states for H\"older continuous potentials in the context of both subshifts of finite type and uniformly hyperbolic systems. In this article we present another method of building such measures, formulated in the unified and more general setting of Smale spaces. This simultaneously extends the authors' previous work for hyperbolic attractors (modelled after Sinai's classical approach for SRB-measures) and gives a new and original construction of equilibrium states for subshifts of finite type.


title: The distance to CRL 618 through its radio expansion parallax

abstract: CRL 618 is a post-AGB star that has started to ionize its ejecta. Its central HII region has been observed over the last 40 years and has steadily increased in flux density at radio wavelengths. In this paper, we present data that we obtained with the Very Large Array in its highest frequency band (43 GHz) in 2011 and compare these with archival data in the same frequency band from 1998. By applying the so-called expansion-parallax method, we are able to estimate an expansion rate of 4.0$\pm$0.4 mas yr$^{-1}$ along the major axis of the nebula and derive a distance of 1.1$\pm$0.2 kpc. Within errors, this distance estimation is in good agreement with the value of ~900 pc derived from the expansion of the optical lobes.


title: Online Parameter Estimation for Continuously Monitored Quantum Systems

abstract: In this work, we consider the problem of online (real-time, single-shot) estimation of static or slow-varying parameters along quantum trajectories in quantum dynamical systems. Based on the measurement signal of a continuously-monitored quantum system, we propose a recursive algorithm for computing the maximum likelihood estimate of unknown parameters using an approach based on stochastic gradient ascent on the log-likelihood function. We formulate the algorithm in both discrete-time and continuous-time and illustrate the performance of the algorithm through simulations of a simple two-level system undergoing homodyne measurement from which we are able to track multiple parameters simultaneously.


title: Twisted group C*-algebras of acylindrically hyperbolic groups have stable rank one

abstract: We prove that the twisted group C*-algebra of an acylindrically hyperbolic group -- not necessarily having trivial finite radical -- has stable rank one.


title: Context-Based Multimodal Fusion

abstract: The fusion models, which effectively combine information from different sources, are widely used in solving multimodal tasks. However, they have significant limitations related to aligning data distributions across different modalities. This challenge can lead to inconsistencies and difficulties in learning robust representations. Alignment models, while specifically addressing this issue, often require training "from scratch" with large datasets to achieve optimal results, which can be costly in terms of resources and time. To overcome these limitations, we propose an innovative model called Context-Based Multimodal Fusion (CBMF), which combines both modality fusion and data distribution alignment. In CBMF, each modality is represented by a specific context vector, fused with the embedding of each modality. This enables the use of large pre-trained models that can be frozen, reducing the computational and training data requirements. Additionally, the network learns to differentiate embeddings of different modalities through fusion with context and aligns data distributions using a contrastive approach for self-supervised learning. Thus, CBMF offers an effective and economical solution for solving complex multimodal tasks.


title: Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)

abstract: Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can write that logic as Cedar policies and delegate access decisions to Cedar's evaluation engine. Cedar's simple and intuitive syntax supports common authorization use-cases with readable policies, naturally leveraging concepts from role-based, attribute-based, and relation-based access control models. Cedar's policy structure enables access requests to be decided quickly. Cedar's policy validator leverages optional typing to help policy writers avoid mistakes, but not get in their way. Cedar's design has been finely balanced to allow for a sound and complete logical encoding, which enables precise policy analysis, e.g., to ensure that when refactoring a set of policies, the authorized permissions do not change. We have modeled Cedar in the Lean programming language, and used Lean's proof assistant to prove important properties of Cedar's design. We have implemented Cedar in Rust, and released it open-source. Comparing Cedar to two open-source languages, OpenFGA and Rego, we find (subjectively) that Cedar has equally or more readable policies, but (objectively) performs far better.


title: Yi: Open Foundation Models by 01.AI

abstract: We introduce the Yi model family, a series of language and multimodal models that demonstrate strong multi-dimensional capabilities. The Yi model family is based on 6B and 34B pretrained language models, then we extend them to chat models, 200K long context models, depth-upscaled models, and vision-language models. Our base models achieve strong performance on a wide range of benchmarks like MMLU, and our finetuned chat models deliver strong human preference rate on major evaluation platforms like AlpacaEval and Chatbot Arena. Building upon our scalable super-computing infrastructure and the classical transformer architecture, we attribute the performance of Yi models primarily to its data quality resulting from our data-engineering efforts. For pretraining, we construct 3.1 trillion tokens of English and Chinese corpora using a cascaded data deduplication and quality filtering pipeline. For finetuning, we polish a small scale (less than 10K) instruction dataset over multiple iterations such that every single instance has been verified directly by our machine learning engineers. For vision-language, we combine the chat language model with a vision transformer encoder and train the model to align visual representations to the semantic space of the language model. We further extend the context length to 200K through lightweight continual pretraining and demonstrate strong needle-in-a-haystack retrieval performance. We show that extending the depth of the pretrained checkpoint through continual pretraining further improves performance. We believe that given our current results, continuing to scale up model parameters using thoroughly optimized data will lead to even stronger frontier models.


title: Designing variational ansatz for quantum-enabled simulation of non-unitary dynamical evolution -- an excursion into Dicke supperradiance

abstract: Adaptive Variational Quantum Dynamics (AVQD) algorithms offer a promising approach to providing quantum-enabled solutions for systems treated within the purview of open quantum dynamical evolution. In this study, we employ the unrestricted vectorization variant of AVQD to simulate and benchmark various non-unitarily evolving systems. We exemplify how construction of an expressible ansatz unitary and the associated operator pool can be implemented to analyze examples such as the Fenna Matthews Olson complex (FMO) and even the permutational invariant Dicke model of quantum optics. We furthermore show an efficient decomposition scheme for the ansatz used, which can extend its applications to a wide range of other open quantum system scenarios in near future. In all cases the results obtained are in excellent agreement with exact numerical computations which bolsters the effectiveness of this technique. Our successful demonstrations pave the way for utilizing this adaptive variational technique to study complex systems in chemistry and physics, like light harvesting devices, thermal, and opto mechanical switches, to name a few.


title: Audio-Visual Person Verification based on Recursive Fusion of Joint Cross-Attention

abstract: Person or identity verification has been recently gaining a lot of attention using audio-visual fusion as faces and voices share close associations with each other. Conventional approaches based on audio-visual fusion rely on score-level or early feature-level fusion techniques. Though existing approaches showed improvement over unimodal systems, the potential of audio-visual fusion for person verification is not fully exploited. In this paper, we have investigated the prospect of effectively capturing both the intra- and inter-modal relationships across audio and visual modalities, which can play a crucial role in significantly improving the fusion performance over unimodal systems. In particular, we introduce a recursive fusion of a joint cross-attentional model, where a joint audio-visual feature representation is employed in the cross-attention framework in a recursive fashion to progressively refine the feature representations that can efficiently capture the intra-and inter-modal relationships. To further enhance the audio-visual feature representations, we have also explored BLSTMs to improve the temporal modeling of audio-visual feature representations. Extensive experiments are conducted on the Voxceleb1 dataset to evaluate the proposed model. Results indicate that the proposed model shows promising improvement in fusion performance by adeptly capturing the intra-and inter-modal relationships across audio and visual modalities.


title: Closed-loop Performance Optimization of Model Predictive Control with Robustness Guarantees

abstract: Model mismatch and process noise are two frequently occurring phenomena that can drastically affect the performance of model predictive control (MPC) in practical applications. We propose a principled way to tune the cost function and the constraints of linear MPC schemes to achieve good performance and robust constraint satisfaction on uncertain nonlinear dynamics with additive noise. The tuning is performed using a novel MPC tuning algorithm based on backpropagation developed in our earlier work. Using the scenario approach, we provide probabilistic bounds on the likelihood of closed-loop constraint violation over a finite horizon. We showcase the effectiveness of the proposed method on linear and nonlinear simulation examples.


title: Chain of Thought Explanation for Dialogue State Tracking

abstract: Dialogue state tracking (DST) aims to record user queries and goals during a conversational interaction achieved by maintaining a predefined set of slots and their corresponding values. Current approaches decide slot values opaquely, while humans usually adopt a more deliberate approach by collecting information from relevant dialogue turns and then reasoning the appropriate values. In this work, we focus on the steps needed to figure out slot values by proposing a model named Chain-of-Thought-Explanation (CoTE) for the DST task. CoTE, which is built on the generative DST framework, is designed to create detailed explanations step by step after determining the slot values. This process leads to more accurate and reliable slot values. More-over, to improve the reasoning ability of the CoTE, we further construct more fluent and high-quality explanations with automatic paraphrasing, leading the method CoTE-refined. Experimental results on three widely recognized DST benchmarks-MultiWOZ 2.2, WoZ 2.0, and M2M-demonstrate the remarkable effectiveness of the CoTE. Furthermore, through a meticulous fine-grained analysis, we observe significant benefits of our CoTE on samples characterized by longer dialogue turns, user responses, and reasoning steps.


title: Computing the Edge Expansion of a Graph using SDP

abstract: Computing the edge expansion of a graph is a famously hard combinatorial problem for which there have been many approximation studies. We present two versions of an exact algorithm using semidefinite programming (SDP) to compute this constant for any graph. The SDP relaxation is used to first reduce the search space considerably. One version applies then an SDP-based branch-and-bound algorithm, along with heuristic search. The other version transforms the problem into an instance of a max-cut problem and solves this using a state-of-the-art solver. Numerical results demonstrate that we clearly outperform mixed-integer quadratic solvers as well as another SDP-based algorithm from the literature.


title: Natural geometric Fourier transforms and the associated fractional Laplacian

abstract: To each arbitrary given general geometric structure on $\mathbb{R}^{n}$, we associate a pair of compatible Fourier transforms, that prove to appear naturally in the framework of Poisson's summation formula for full lattices. We study their properties and the compatibility with the classical $n-$dimensional Fourier transform. In the case of a positive definite geometric structure, we show that these geometric Fourier transforms induce a geometric fractional Laplacian, with properties similar to those of the classical fractional Laplacian.


title: "Did They F***ing Consent to That?": Safer Digital Intimacy via Proactive Protection Against Image-Based Sexual Abuse

abstract: As many as 8 in 10 adults share intimate content such as nude or lewd images. Sharing such content has significant benefits for relationship intimacy and body image, and can offer employment. However, stigmatizing attitudes and a lack of technological mitigations put those sharing such content at risk of sexual violence. An estimated 1 in 3 people have been subjected to image-based sexual abuse (IBSA), a spectrum of violence that includes the nonconsensual distribution or threat of distribution of consensually-created intimate content (also called NDII). In this work, we conducted a rigorous empirical interview study of 52 European creators of intimate content to examine the threats they face and how they defend against them, situated in the context of their different use cases for intimate content sharing and their choice of technologies for storing and sharing such content. Synthesizing our results with the limited body of prior work on technological prevention of NDII, we offer concrete next steps for both platforms and security & privacy researchers to work toward safer intimate content sharing through proactive protection. Content Warning: This work discusses sexual violence, specifically, the harms of image-based sexual abuse (particularly in Sections 2 and 6).


title: Exploring the Design Space of Optical See-through AR Head-Mounted Displays to Support First Responders in the Field

abstract: First responders (FRs) navigate hazardous, unfamiliar environments in the field (e.g., mass-casualty incidents), making life-changing decisions in a split second. AR head-mounted displays (HMDs) have shown promise in supporting them due to its capability of recognizing and augmenting the challenging environments in a hands-free manner. However, the design space have not been thoroughly explored by involving various FRs who serve different roles (e.g., firefighters, law enforcement) but collaborate closely in the field. We interviewed 26 first responders in the field who experienced a state-of-the-art optical-see-through AR HMD, as well as its interaction techniques and four types of AR cues (i.e., overview cues, directional cues, highlighting cues, and labeling cues), soliciting their first-hand experiences, design ideas, and concerns. Our study revealed both generic and role-specific preferences and needs for AR hardware, interactions, and feedback, as well as identifying desired AR designs tailored to urgent, risky scenarios (e.g., affordance augmentation to facilitate fast and safe action). While acknowledging the value of AR HMDs, concerns were also raised around trust, privacy, and proper integration with other equipment. Finally, we derived comprehensive and actionable design guidelines to inform future AR systems for in-field FRs.


title: Dynamic Cross Attention for Audio-Visual Person Verification

abstract: Although person or identity verification has been predominantly explored using individual modalities such as face and voice, audio-visual fusion has recently shown immense potential to outperform unimodal approaches. Audio and visual modalities are often expected to pose strong complementary relationships, which plays a crucial role in effective audio-visual fusion. However, they may not always strongly complement each other, they may also exhibit weak complementary relationships, resulting in poor audio-visual feature representations. In this paper, we propose a Dynamic Cross-Attention (DCA) model that can dynamically select the cross-attended or unattended features on the fly based on the strong or weak complementary relationships, respectively, across audio and visual modalities. In particular, a conditional gating layer is designed to evaluate the contribution of the cross-attention mechanism and choose cross-attended features only when they exhibit strong complementary relationships, otherwise unattended features. Extensive experiments are conducted on the Voxceleb1 dataset to demonstrate the robustness of the proposed model. Results indicate that the proposed model consistently improves the performance on multiple variants of cross-attention while outperforming the state-of-the-art methods.


title: Prospects for Heavy Neutral Lepton Searches at Short and Medium Baseline Reactor Experiments

abstract: Heavy neutrinos with masses in the MeV range can in principle simultaneously explain the light neutrino masses and the origin of baryonic matter in the universe. The strongest constraints on their properties come from their potential impact on the formation of light elements in the early universe. Since these constraints rely on assumptions about the cosmic history, independent checks in the laboratory are highly desirable. In this paper, we discuss the opportunity to search for heavy neutrinos within the MeV mass range in short and medium baseline reactor neutrino experiments, using the SoLid, JUNO and TAO experiments as examples. This kind of experiments can give the currently strongest upper bound on the mixing between the light electron neutrinos and the heavy neutrino in the 2-9 MeV mass range.


title: On the Wedderburn decomposition of the total ring of quotients of certain Iwasawa algebras

abstract: Let $\mathcal G\simeq H\rtimes\Gamma$ be the semidirect product of a finite group $H$ and $\Gamma\simeq\mathbb Z_p$. Let $F/\mathbb Q_p$ be a finite extension with ring of integers $\mathcal O_F$. Then the total ring of quotients $\mathcal Q^F(\mathcal G)$ of the completed group ring $\mathcal O_{F}[[\mathcal G]]$ is a semisimple ring. We determine its Wedderburn decomposition by relating it to the Wedderburn decomposition of the group ring $F[H]$.


title: kSZ Pairwise Velocity Reconstruction with Machine Learning

abstract: We demonstrate that pairwise peculiar velocity correlations for galaxy clusters can be directly reconstructed from the kinematic Sunyaev-Zel'dovich (kSZ) signature imprinted in the CMB using a machine learning model with a gradient boosting algorithm trained on high-fidelity kSZ simulations. The machine learning model is trained using six to eight cluster features that are directly related to observables from CMB and large-scale structure surveys. We validate the capabilities of the approach in light of the presence of primary CMB, detector noise, and potential uncertainties in the cluster mass estimate and cluster center location. The pairwise velocity statistics extracted using the techniques developed here have the potential to elicit valuable cosmological constraints on dark energy, modified gravity models, and massive neutrinos with kSZ measurements from upcoming CMB surveys, including the Simons Observatory, CMB-S4 and CCAT, and the DESI and SDSS galaxy surveys.


title: GreenBytes: Intelligent Energy Estimation for Edge-Cloud

abstract: This study investigates the application of advanced machine learning models, specifically Long Short-Term Memory (LSTM) networks and Gradient Booster models, for accurate energy consumption estimation within a Kubernetes cluster environment. It aims to enhance sustainable computing practices by providing precise predictions of energy usage across various computing nodes. Through meticulous analysis of model performance on both master and worker nodes, the research reveals the strengths and potential applications of these models in promoting energy efficiency. The LSTM model demonstrates remarkable predictive accuracy, particularly in capturing dynamic computing workloads over time, evidenced by low mean squared error (MSE) rates and the ability to closely track actual energy consumption trends. Conversely, the Gradient Booster model showcases robustness and adaptability across different computational environments, despite slightly higher MSE values. The study underscores the complementary nature of these models in advancing sustainable computing practices, suggesting their integration into energy management systems could significantly enhance environmental sustainability in technology operations.


title: Telecom Language Models: Must They Be Large?

abstract: The increasing interest in Large Language Models (LLMs) within the telecommunications sector underscores their potential to revolutionize operational efficiency. However, the deployment of these sophisticated models is often hampered by their substantial size and computational demands, raising concerns about their viability in resource-constrained environments. Addressing this challenge, recent advancements have seen the emergence of small language models that surprisingly exhibit performance comparable to their larger counterparts in many tasks, such as coding and common-sense reasoning. Phi-2, a compact yet powerful model, exemplifies this new wave of efficient small language models. This paper conducts a comprehensive evaluation of Phi-2's intrinsic understanding of the telecommunications domain. Recognizing the scale-related limitations, we enhance Phi-2's capabilities through a Retrieval-Augmented Generation approach, meticulously integrating an extensive knowledge base specifically curated with telecom standard specifications. The enhanced Phi-2 model demonstrates a profound improvement in accuracy, answering questions about telecom standards with a precision that closely rivals the more resource-intensive GPT-3.5. The paper further explores the refined capabilities of Phi-2 in addressing problem-solving scenarios within the telecom sector, highlighting its potential and limitations.


title: The Social Impact of Generative AI: An Analysis on ChatGPT

abstract: In recent months, the social impact of Artificial Intelligence (AI) has gained considerable public interest, driven by the emergence of Generative AI models, ChatGPT in particular. The rapid development of these models has sparked heated discussions regarding their benefits, limitations, and associated risks. Generative models hold immense promise across multiple domains, such as healthcare, finance, and education, to cite a few, presenting diverse practical applications. Nevertheless, concerns about potential adverse effects have elicited divergent perspectives, ranging from privacy risks to escalating social inequality. This paper adopts a methodology to delve into the societal implications of Generative AI tools, focusing primarily on the case of ChatGPT. It evaluates the potential impact on several social sectors and illustrates the findings of a comprehensive literature review of both positive and negative effects, emerging trends, and areas of opportunity of Generative AI models. This analysis aims to facilitate an in-depth discussion by providing insights that can inspire policy, regulation, and responsible development practices to foster a human-centered AI.


title: No anomalous dissipation in two-dimensional incompressible fluids

abstract: We prove that any sequence of vanishing viscosity Leray-Hopf solutions to the periodic two-dimensional incompressible Navier-Stokes equations does not display anomalous dissipation if the initial vorticity is a measure with positive singular part. A key step in the proof is the use of the Delort-Majda concentration-compactness argument to exclude formation of atoms in the vorticity measure, which in particular implies that the limiting velocity is an admissible weak solution to Euler. This is the first result proving absence of dissipation in a class of solutions in which the velocity fails to be strongly compact in $L^2$, putting two-dimensional turbulence in sharp contrast with respect to that in three dimensions. Moreover, our proof reveals that the amount of energy dissipation can be bounded by the vorticity measure of a disk of size $\sqrt \nu$, matching the two-dimensional Kolmogorov dissipative length scale which is expected to be sharp.


title: Self-focused pulse propagation is mediated by spatiotemporal optical vortices

abstract: We show that the dynamics of high-intensity laser pulses undergoing self-focused propagation in a nonlinear medium can be understood in terms of the topological constraints imposed by the formation and evolution of spatiotemporal optical vortices (STOVs). STOVs are born from point phase defects on the sides of the pulse nucleated by spatiotemporal phase shear. These defects grow into closed loops of spatiotemporal vorticity that initially exclude the pulse propagation axis, but then reconnect to form a pair of toroidal vortex rings that wrap around it. STOVs constrain the intrapulse flow of electromagnetic energy, controlling the focusing-defocusing cycles and pulse splitting inherent to nonlinear pulse propagation. We illustrate this in two widely studied but very different regimes, relativistic self-focusing in plasma and non-relativistic self-focusing in gas, demonstrating that STOVs mediate nonlinear propagation irrespective of the detailed physics.


title: End-to-end Conditional Robust Optimization

abstract: The field of Contextual Optimization (CO) integrates machine learning and optimization to solve decision making problems under uncertainty. Recently, a risk sensitive variant of CO, known as Conditional Robust Optimization (CRO), combines uncertainty quantification with robust optimization in order to promote safety and reliability in high stake applications. Exploiting modern differentiable optimization methods, we propose a novel end-to-end approach to train a CRO model in a way that accounts for both the empirical risk of the prescribed decisions and the quality of conditional coverage of the contextual uncertainty set that supports them. While guarantees of success for the latter objective are impossible to obtain from the point of view of conformal prediction theory, high quality conditional coverage is achieved empirically by ingeniously employing a logistic regression differentiable layer within the calculation of coverage quality in our training loss. We show that the proposed training algorithms produce decisions that outperform the traditional estimate then optimize approaches.