title: Visual Writing Prompts: Character-Grounded Story Generation with Curated Image Sequences

abstract: Current work on image-based story generation suffers from the fact that the existing image sequence collections do not have coherent plots behind them. We improve visual story generation by producing a new image-grounded dataset, Visual Writing Prompts (VWP). VWP contains almost 2K selected sequences of movie shots, each including 5-10 images. The image sequences are aligned with a total of 12K stories which were collected via crowdsourcing given the image sequences and a set of grounded characters from the corresponding image sequence. Our new image sequence collection and filtering process has allowed us to obtain stories that are more coherent and have more narrativity compared to previous work. We also propose a character-based story generation model driven by coherence as a strong baseline. Evaluations show that our generated stories are more coherent, visually grounded, and have more narrativity than stories generated with the current state-of-the-art model.


title: Pushing limits of photovoltaics and photodetection using radial junction nanowire devices

abstract: Nanowire devices have long been proposed as an efficient alternative to their planar counterparts for different optoelectronic applications. Unfortunately, challenges related to the growth and characterization of doping and p-n junction formation in nanowire devices (along axial or radial axis) have significantly impeded their development. The problems are further amplified if a p-n junction has to be implemented radially. Therefore, even though radial junction devices are expected to be on par with their axial junction counterparts, there are minimal reports on high-performance radial junction nanowire optoelectronic devices. This paper summarizes our recent results on the simulation and fabrication of radial junction nanowire solar cells and photodetectors, which have shown unprecedented performance and clearly demonstrate the importance of radial junction for optoelectronic applications. Our simulation results show that the proposed radial junction device is both optically and electrically optimal for solar cell and photodetector applications, especially if the absorber quality is extremely low. The radial junction nanowire solar cells could achieve a 17.2% efficiency, whereas the unbiased radial junction photodetector could show sensitivity down to a single photon level using an absorber with a lifetime of less than 50 ps. In comparison, the axial junction planar device made using same substrate as absorber showed less than 1% solar cell efficiency and almost no photodetection at 0 V. This study is conclusive experimental proof of the superiority of radial junction nanowire devices over their thin film or axial junction counterparts, especially when absorber lifetime is extremely low. The proposed device holds huge promise for III-V based photovoltaics and photodetectors.


title: Altermagnetism in MnTe: origin, predicted manifestations, and routes to detwinning

abstract: MnTe has recently attracted attention as an altermagnetic candidate. Experimentally it has an altermagnetic order of ferromagnetic $ab$ planes, stacked antiferromagnetically along $c$. We show that this magnetic order (by itself non-trivial, since the in-plane exchange in antiferromagnetic) opens intriguing possibility of manufacturing altermagnetically-detwinned samples and generate observable magnetooptical response (which we calculate from first principles) as a signature of altermagnetism.


title: On Poincar\'e-Birkhoff-Witt basis of quantum general linear superalgebra

abstract: We give a detailed derivation of the commutation relations for the Poincar\'e--Birkhoff--Witt generators of the quantum superalgebra $\mathrm U_q(\mathfrak{gl}_{M|N})$.


title: Composition-Differentiation Operator on Weighted Bergman Spaces

abstract: In this paper, we study the complex symmetry of weighted composition-differentiation operator $D_{n, \psi, \phi}$ on weighted Bergman spaces $\mathcal{A}^2_{\alpha}$ with respect to the conjugation $C_{\mu, \eta}$ for $\mu, \eta \in \{z\in \mathbb{C}:|z|=1\}$. We obtain explicit conditions for which the operator $D_{n, \psi, \phi}$ is Hermitian and normal. We also characterize the complex symmetric weighted composition-differentiation operator for derivative Hardy spaces.


title: Stability estimates for nonlocal balance laws arising in traffic modelling

abstract: This paper focuses on the proof of the stability of entropy weak solutions of a nonlocal balance law modeling vehicular traffic flow on a road with on- and off-ramps. The stability is obtained with respect to a kernel function in the source term. We get an estimate of the L1-dependence of the solution with respect to the initial datum, the on-ramp rate, the off-ramp rate and the mentioned kernel function. We also show numerical experiments in order to perform an optimization problem in traffic flow with on-ramps.


title: Ontology Pre-training for Poison Prediction

abstract: Integrating human knowledge into neural networks has the potential to improve their robustness and interpretability. We have developed a novel approach to integrate knowledge from ontologies into the structure of a Transformer network which we call ontology pre-training: we train the network to predict membership in ontology classes as a way to embed the structure of the ontology into the network, and subsequently fine-tune the network for the particular prediction task. We apply this approach to a case study in predicting the potential toxicity of a small molecule based on its molecular structure, a challenging task for machine learning in life sciences chemistry. Our approach improves on the state of the art, and moreover has several additional benefits. First, we are able to show that the model learns to focus attention on more meaningful chemical groups when making predictions with ontology pre-training than without, paving a path towards greater robustness and interpretability. Second, the training time is reduced after ontology pre-training, indicating that the model is better placed to learn what matters for toxicity prediction with the ontology pre-training than without. This strategy has general applicability as a neuro-symbolic approach to embed meaningful semantics into neural networks.


title: The formation of hard VHE spectra from GRB afterglow via Two-Zone Synchrotron Self-Compton Emission

abstract: Electron Compton scattering of target photons into the gamma-ray energy band (inverse Compton scattering --IC--) is commonly expected to dominate the very high energy spectra in gamma-ray bursts especially during the afterglow phase. For sufficiently large center-of-mass energies in these collisions, the effect of the electron recoil starts reducing the scattering cross section (the Klein-Nishina regime). The IC spectra generated in the Klein-Nishina regime is softer and has a smaller flux level compared to the synchrotron spectra produced by the same electrons. The detection of afterglow emission from nearby GRB 190819A in the very high energy (VHE) domain with H.E.S.S. has revealed an unexpected feature: the slope of the VHE spectrum matches well the slope of the X-ray spectra, despite expectations that for the IC production process, the impact of the Klein-Nishina effect should be strong. The multi-wavelength spectral energy distribution appears to be inconsistent with predictions of one-zone synchrotron-self-Compton models. We study the possible impact of two-zone configuration on the properties of IC emission when the magnetic field strength differs considerably between the two zones. Synchrotron photons from the strong magnetic field zone provide the dominant target for cooling of the electrons in the weak magnetic field zone, which results in a formation of hard electron distribution and consequently of a hard IC emission. We show that the two-zone model can provide a good description of the X-ray XRT and VHE H.E.S.S. data.


title: Secular Variation in the Interval of Outbursts in Z Cam-type Dwarf Novae

abstract: The secular variation in the interval of outbursts in the following six Z Cam-type dwarf novae (including the subtype IW And-type) is investigated: Z Cam, RX And, AH Her, HL CMa, SY Cnc, and WW Cet. An analysis using the $O-C$ diagram shows that the interval of outbursts is not steady in one system. The outburst properties before standstill are the decrease in outburst interval, enhancement of the magnitude in quiescence, and disappearance of the long outburst. Meanwhile, several objects have at least two typical intervals of outbursts. These characteristics are difficult to be explained only by the variation in mass transfer from the secondary.


title: Fractional Zernike functions

abstract: We consider and provide an accurate study for the fractional Zernike functions on the punctured unit disc, generalizing the classical Zernike polynomials and their associated $\beta$-restricted Zernike functions. Mainly, we give the spectral realization of the latter ones and show that they are orthogonal $L^2$-eigenfunctions for certain perturbed magnetic (hyperbolic) Laplacian. The algebraic and analytic properties for the fractional Zernike functions to be established include the connection to special functions, their zeros, their orthogonality property, as well as the differential equations, recurrence, and operational formulas they satisfy. Integral representations are also obtained. Their regularity as poly-meromorphic functions is discussed and their generating functions including a bilinear one of "Hardy--Hille type" are derived. Moreover, we prove that a truncated subclass defines a complete orthogonal system in the underlying Hilbert space giving rise to a specific Hilbertian orthogonal decomposition in terms of a second class of generalized Bergman spaces.


title: Tilted discs in six poorly studied cataclysmic variables

abstract: In this work, we search for negative superhumps (nSHs) in poorly studied cataclysmic variables using TESS data. We find three eclipsing binaries with nSH signatures: HBHA 4204-09, Gaia DR3 5931071148325476992, and SDSS J090113.51+144704.6. The last one exhibits IW And-like behaviour in archival ZTF data, and appears to have shallow, grazing eclipses. In addition, we detect nSH signatures in two non-eclipsing systems: KQ Mon and Gaia DR3 4684361817175293440, by identifying the orbital period from the superorbital-dependent irradiation of the secondary. We discover nSH signatures in one more system, [PK2008] HalphaJ103959, by using an orbital period from another work. An improved mass ratio - nSH deficit relation $q(\varepsilon_-)$ is suggested by us, which agrees with independent measurements on nova-like variables. With this relation, we estimate the mass ratios of all systems in our sample, and determine the orbital inclinations for the three that are eclipsing. All systems with discovered nSHs in this work are excellent targets for follow-up spectroscopic studies.


title: Quantum Hall effect and Landau levels without spatial long-range correlations

abstract: The spectrum of charged particles in translation-invariant systems in a magnetic field is characterized by the Landau levels, which play a fundamental role in the thermodynamic and transport properties of solids. The topological nature and the approximate degeneracy of the Landau levels are known to also survive on crystalline lattices with discrete translation symmetry when the magnetic flux through a primitive cell is small compared to the flux quantum. Here we show that the notion of Landau levels and the quantum Hall effect can be generalized to 2d non-crystalline lattices without spatial long-range order. Remarkably, even when the spatial correlations decay over microscopic distances, 2d systems can exhibit a number of well-resolved Landau-like bands. The existence of these bands imply that non-crystalline systems in magnetic fields can support the hallmark quantum effects which have been typically associated with crystalline solids.


title: qBounce: Systematic shifts of transition frequencies of gravitational states of ultra-cold neutrons using Ramsey gravity resonance spectroscopy

abstract: qBounce is using quantum states of ultra-cold neutrons in the gravitational field of the Earth to investigate gravitation in the micrometre range. We present current measurements taken in 2021 at the Institut Laue-Langevin (ILL) to determine energy differences of these states by mechanically induced transitions. This allows a determination of the local acceleration $g$ using a quantum measurement. The data presented here results in $g=9.8120(18) m/s^2$. The classical local value at the experiment is $g_c=9.8049 m/s^2$. We present an analysis of systematic effects that induces shifts of the transition frequency of order 100 mHz. The inferred value for $g$ at the experiment shows a systematic shift of $\delta g\approx3.9\sigma$.


title: Subtle interactions for distress regulation: efficiency of a haptic wearable according to personality

abstract: The incorporation of empathic systems in everyday life draws a lot of attention from society. Specifically, the use of wearables to perform stress regulation is a growing field of research. Among techniques explored, the haptic emulation of lowered physiological signals has been suggested to be promising. However, some discrepancies remain in empirical research focusing on such biofeedback (BF) regarding their efficacy, and the mechanisms underlying the effects of these wearables remains unclear. Moreover, the influence of individual traits on the efficiency of BF has been marginally studied, while it has been shown that personality could impact both stress and its regulation. The aim of this study is to investigate the outcome of interactions with these technologies from a psycho-physiological standpoint, but also to explore whether personality may influence its efficiency when other interaction devices are present. Participants had to play a challenging game while a lowered haptic BF of their heart rate was induced on their wrist. Results showed variable efficiency of the wearable among the participants: a subjective relaxation was evident for the participants exhibiting the highest neurotic and extraverted traits score. Our results highlight the plurality of the modes of action of these techniques, depending on the individual and on the level of stress to regulate. This study also suggests that tailoring these regulation methods to individual characteristics, such as personality traits, is important to consider, and proposes perspectives regarding the investigation of stress and regulation systems embedded in wearables.


title: Probe of a Randall-Sundrum-like model from muon pair production at high energy muon collider

abstract: We have examined inclusive $\mu^+\mu^- \rightarrow \mu^+ \mu^- + E_{\mathrm{miss}}$ and annihilation $\mu^+\mu^- \rightarrow \mu^+ \mu^-$ processes at future high energy muon colliders in the framework of the Randall-Sundrum-like model with a small curvature of space-time. The collision energies of 3 TeV, 14 TeV and, 100 TeV are addressed. Both differential and total cross sections are calculated, and exclusion bounds on a 5-dimensional gravity scale are obtained depending on collision energy and integrated luminosity of the muon colliders.


title: Giant spin-vorticity coupling excited by shear-horizontal surface acoustic waves

abstract: A non-magnetic layer can inject spin-polarized currents into an adjacent ferromagnetic layer via spin vorticity coupling (SVC), inducing spin wave resonance (SWR). In this work, we present the theoretical model of SWR generated by shear-horizontal surface acoustic wave (SH-SAW) via SVC, which contains distinct vorticities from well-studied Rayleigh SAW. Both Rayleigh- and SH-SAW delay lines have been designed and fabricated with a Ni81Fe19/Cu bilayer integrated on ST-cut quartz. Given the same wavelength, the measured power absorption of SH-SAW is four orders of magnitudes higher than that of the Rayleigh SAW. In addition, a high-order frequency dependence of the SWR is observed in the SH-SAW, indicating SVC can be strong enough to compare with magnetoelastic coupling.


title: Search for the decay $B^0_s \rightarrow \pi^0 \pi^0$ at Belle

abstract: We report the results of the first search for the decay $B_s^0\rightarrow\pi^0\pi^0$ using $121.4\ \rm fb^{-1}$ of data collected at the $\Upsilon(5\rm S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider. We observe no signal and set a 90\% confidence level upper limit of $7.7\times 10^{-6}$ on the $B_s^0\rightarrow\pi^0\pi^0$ decay branching fraction.


title: Dark matter production from two evaporating PBH distributions

abstract: Particulate Dark Matter (DM), completely isolated from the Standard Model particle sector, can be produced in the early universe from Primordial Black Hole (PBH) evaporation. However, Big Bang Nucleosynthesis (BBN) observations put an upper bound on the initial mass of PBH requiring the PBH to evaporate completely before the advent of BBN. DM particles in the mass range $\sim(1-10^9)$ GeV can not explain the observed relic abundance for an early matter dominated universe due to this BBN constraint. However, this assumes the presence of only one monochromatic PBH mass distribution in the early universe. In this work, we explore the simple possibility of achieving the observed relic with DM masses from the above mentioned range for an early matter dominated era with two monochromatic evaporating PBH mass distributions and demonstrate that the fermionic DM masses consistent with BBN change slightly.


title: Deposition rate controls nucleation and growth during amorphous/nanocrystalline competition in sputtered Zr-Cr thin films

abstract: Dual-phase Zr-based thin films synthesized by magnetron co-sputtering and showing competitive growth between amorphous and crystalline phases have been reported recently. In such films, the amorphous phase grows as columns, while the crystalline phase grows as separated cone-shaped crystalline regions made of smaller crystallites. In this paper, we investigate this phenomenon and propose a model for the development of the crystalline regions during thin film growth. We evidence using X-ray diffraction (XRD), scanning electron microscopy (SEM) and transmission electron microscopy (TEM), that this competitive selfseparation also exists in co-sputtered Zr-Cr thin films with Cr contents of ~84-86 at.%, corresponding to the transition between the amorphous and crystalline compositions, and in the Zr-V system. Then, to assess the sturdiness of this phenomenon, its existence and geometrical characteristics are evaluated when varying the film composition and the deposition rate. The variation of geometrical features, such as the crystalline cone angle, the size and density of crystallites, is discussed. Is it shown that a variation in the deposition rate changes the nucleation and growth kinetics of the crystallites. The surface coverage by the crystalline phase at a given thickness is also calculated for each deposition rate. Moreover, comparison is made between Zr-Cr, Zr-V, Zr-Mo and Zr-W dual-phase thin films to compare their nucleation and growth kinetics.


title: Improving Sketch Colorization using Adversarial Segmentation Consistency

abstract: We propose a new method for producing color images from sketches. Current solutions in sketch colorization either necessitate additional user instruction or are restricted to the "paired" translation strategy. We leverage semantic image segmentation from a general-purpose panoptic segmentation network to generate an additional adversarial loss function. The proposed loss function is compatible with any GAN model. Our method is not restricted to datasets with segmentation labels and can be applied to unpaired translation tasks as well. Using qualitative, and quantitative analysis, and based on a user study, we demonstrate the efficacy of our method on four distinct image datasets. On the FID metric, our model improves the baseline by up to 35 points. Our code, pretrained models, scripts to produce newly introduced datasets and corresponding sketch images are available at https://github.com/giddyyupp/AdvSegLoss.


title: Cutoff effects of the gradient flow for fermions

abstract: I analyze cutoff effects of the gradient flow for Wilson-type fermions. I show that with a proper choice of the higher dimensional fields in the Symanzik effective theory, O($a$) improvement of the action is achieved changing the initial conditions of the gradient flow equation.


title: Search for the dipole portal of heavy neutral leptons at future colliders

abstract: In this paper, we study the potential of future colliders to explore the parameter space of heavy neutral leptons (HNLs) through the dipole portal. We consider hadron colliders such as the LHC in the high luminosity phase and FCC-hh, and lepton colliders, such as FCC-ee. We consider various signatures for the HNLs, including the missing energy signature and displaced decays, and discuss the complementarity between the hadron and lepton colliders. In particular, we find that thanks to a much clearer environment, FCC-ee may search for the HNLs with masses up to $\simeq 30\text{ GeV}$ and proper lifetimes $c\tau_{N}\gtrsim 1\text{ cm}$, which is well beyond the reach of the experiments to be launched in the next decade.


title: Simulation of dendritic-eutectic growth with the phase-field method

abstract: Solidification is an important process in many alloy processing routes. The solidified microstructure of alloys is usually made up of dendrites, eutectics or a combination of both. The evolving morphologies are largely determined by the solidification process and thus many materials properties are dependent on the processing conditions. While the growth of either type of microstructure is well-investigated, there is little information on the coupled growth of both microstructures. This work aims to close this gap by formulating a phase-field model capable of reproducing dendritic, eutectic as well as dendritic-eutectic growth. Following this, two-dimensional simulations are conducted which show all three types of microstructures depending on the composition and processing conditions. The effect of the dendritic-eutectic growth on the microstructural lengths, which determine materials properties, is investigated and the morphological hysteresis between eutectic growth and dendritic-eutectic growth is studied by employing solidification velocity jumps. Further, the influence of primary crystallization is investigated in large-scale two-dimensional simulations. Finally, qualitative three-dimensional simulations are conducted to test for morphological changes in the eutectic.


title: Well-posedness and propagation of chaos for L{\'e}vy-driven McKean-Vlasov SDEs under Lipschitz assumptions

abstract: The first goal of this note is to prove the strong well-posedness of McKean-Vlasov SDEs driven by L{\'e}vy processes on $\mathbb{R}^d$ having a finite moment of order $\beta \in [1,2]$ and under standard Lipschitz assumptions on the coefficients. Then, we prove a quantitative propagation of chaos result at the level of paths for the associated interacting particle system, with constant diffusion coefficient. Finally, we improve the rates of convergence obtained for a particular mean-field system of interacting stable-driven Ornstein-Uhlenbeck processes.


title: MAVERIC: A Data-Driven Approach to Personalized Autonomous Driving

abstract: Personalization of autonomous vehicles (AV) may significantly increase trust, use, and acceptance. In particular, we hypothesize that the similarity of an AV's driving style compared to the end-user's driving style will have a major impact on end-user's willingness to use the AV. To investigate the impact of driving style on user acceptance, we 1) develop a data-driven approach to personalize driving style and 2) demonstrate that personalization significantly impacts attitudes towards AVs. Our approach learns a high-level model that tunes low-level controllers to ensure safe and personalized control of the AV. The key to our approach is learning an informative, personalized embedding that represents a user's driving style. Our framework is capable of calibrating the level of aggression so as to optimize driving style based upon driver preference. Across two human subject studies (n = 54), we first demonstrate our approach mimics the driving styles of end-users and can tune attributes of style (e.g., aggressiveness). Second, we investigate the factors (e.g., trust, personality etc.) that impact homophily, i.e. an individual's preference for a driving style similar to their own. We find that our approach generates driving styles consistent with end-user styles (p<.001) and participants rate our approach as more similar to their level of aggressiveness (p=.002). We find that personality (p<.001), perceived similarity (p<.001), and high-velocity driving style (p=.0031) significantly modulate the effect of homophily.


title: The chromosphere underneath a Coronal Bright Point

abstract: Coronal Bright Points (CBPs) are sets of small-scale coronal loops, connecting opposite magnetic polarities, primarily characterized by their enhanced extreme-ultraviolet (EUV) and X-ray emission. Being ubiquitous, they are thought to play an important role in heating the solar corona. We aim at characterizing the barely-explored chromosphere underneath CBPs, focusing on the related spicular activity and on the effects of small-scale magnetic flux emergence on CBPs. We used high-resolution observations of a CBP in H$\beta$ and Fe I 617.3 nm from the Swedish 1-m Solar Telescope (SST) in coordination with the Solar Dynamics Observatory (SDO). This work presents the first high-resolution observation of spicules imaged in H$\beta$. The spicules were automatically detected using advanced image processing techniques, which were applied to the Dopplergrams derived from H$\beta$. Here we report their abundant occurrence close to the CBP ``footpoints", and find that the orientation of such spicules is aligned along the EUV loops, indicating that they constitute a fundamental part of the whole CBP magnetic structure. Spatio-temporal analysis across multiple channels indicates that there are coronal propagating disturbances associated with the studied spicules, producing transient EUV intensity variations of the individual CBP loops. Two small-scale flux emergence episodes appearing below the CBP were analyzed; one of them leading to quiet-sun Ellerman bombs and enhancing the nearby spicular activity. This paper presents unique evidence of the tight coupling between the lower and upper atmosphere of a CBP, thus helping to unravel the dynamic phenomena underneath CBPs and their impact on the latter.


title: Dynamics of the fifth Painlev{\'e} foliation

abstract: The leaves of the Painlev{\'e} foliations appear as the isomonodromic deformations of a rank 2 linear connection on a moduli space of connections. Therefore they are the fibers of the Riemann-Hilbert correspondence that sends each connection on its monodromy data, and this correspondence induces a conjugation between the dynamics of the foliation and a dynamic on a space of representations of some fundamental groupoid (a character variety). This one can be identified to a family of cubic surfaces through trace coordinates. We describe here the dynamics on the character variety related to the Painlev{\'e} V equation. We have here to consider irregular connections, and the representations of wild groupoids. We describe and compare all the dynamics which appear on this wild character variety: the tame dynamics, the confluent dynamics, the canonical symplectic dynamics and the wild dynamics.


title: Pressure Ulcers and Dressings: A Strain Sensitivity Analysis of the Boundary Conditions of a Finite Element Model

abstract: Recently, a new bi-layer dressing was proposed by Urgo RID to reduce the healing time of pressure ulcers (PU). This dressing was numerically evaluated in previously published work. In the current work, the influence on the maximal shear strains of modelling parameters such as the dressing local geometry, the pressure applied by the gauze inside the wound, the wound deepness, and the mattress stiffness, was assessed. A sensitivity analysis was performed on these four parameters. Among all experiments, the mean maximal Green--Lagrange shear strain was 0.29. The gauze pressure explained 60% of the model response in terms of the volume of tissues under strains of 0.3, while the wound deepness explained 28%. The mattress had a significant, but low impact, whereas the dressing local geometry had no significant impact. As expected, the wound deepness was one of the most influential parameters. The gauze turned out to be more significant than expected. This may be explained by the large range of values chosen for this study. The results should be extended to more subjects, but still suggest that the gauze is a parameter that might not be neglected. Care should also be taken in clinical practice when using gauze that could have either a positive or negative impact on the soft tissues' strains. This may also depend on the wound deepness.


title: Rationality of normal forms of isotropy strata of a representation of a compact Lie group

abstract: In this article we study the isotropy stratification of a linear representation $V$ of a compact Lie group $G$. We prove that the closed isotropy strata are real algebraic manifolds and that for each isotropy subgroup $H$, every rational invariant of the induced representation $(V^{H},N(H))$ can be obtained as the restriction of a global invariant of $(V,G)$, where $N(H)$ is the normalizer of $H$ and $V^{H}$ is the fixed point set of $H$.


title: Deep Learning for scalp High Frequency Oscillations Identification

abstract: Since last 2 decades, High Frequency Oscillations (HFOs) are studied as a promising biomarker to localize the epileptogenic zone of patients with refractory focal epilepsy. As HFOs visual detection is time consuming and subjective, automatization of HFO detection is required. Most HFO detectors were developed on invasive electroencephalograms (iEEG) whereas scalp electroencephalograms (EEG) are used in clinical routine. In order HFO detection can benefit to more patients, scalp HFO detectors has to be developed. However, HFOs identification in scalp EEG is more challenging than in iEEG since scalp HFOs are of lower rate, lower amplitude and more likely to be corrupted by several sources of artifacts than iEEG HFOs. The main goal of this study is to explore the ability of deep learning architecture to identify scalp HFOs from the remaining EEG signal. Hence, a binary classification Convolutional Neural Network (CNN) is learned to analyze High Density Electroencephalograms (HD-EEG). EEG signals are first mapped into a 2D time-frequency image, several color definitions are then used as an input for the CNN. Experimental results show that deep learning allows simple end-to-end learning of preprocessing, feature extraction and classification modules while reaching competitive performance.


title: Transitions in Xenes between excitonic, topological and trivial insulator phases: influence of screening, band dispersion and external electric field

abstract: Using a variational approach, the binding energies $E_b$ of the lowest bound excitons in Xenes under varying electric field are investigated. The internal exciton motion is described both by Dirac electron dispersion and in effective-mass approximation, while the screened electron-hole attraction is modeled by a Rytova-Keldysh potential with a 2D electronic polarizability $\alpha_{2{\rm D}}$. The most important parameters as spin-orbit-induced gap $E_g$, Fermi velocity $v_F$ and $\alpha_{2{\rm D}}$ are taken from ab initio density functional theory calculations. In addition, $\alpha_{2{\rm D}}$ is approximated in two different ways. The relation of $E_b$ and $E_g$ is ruled by the screening. The existence of an excitonic insulator phase with $E_b>E_g$ sensitively depends on the chosen $\alpha_{2{\rm D}}$. The values of $E_g$ and $\alpha_{2{\rm D}}$ are strongly modified by a vertical external electric bias $U$, which defines a transition from the topological into a trivial insulator at $U=E_g/2$, with the exception of plumbene. Within the Dirac approximation, but also within the effective mass description of the kinetic energy, the treatment of screening dominates the appearance or non-appearance of an excitonic insulator phase. Gating does not change the results: the prediction done at zero electric field is confirmed when a vertical electric field is applied. Finally, Many-Body perturbation theory approaches based on the Green's function method, applied to stanene, confirm the absence of an excitonic insulator phase, thus validating our results obtained by ab initio modeling of $\alpha_{2{\rm D}}$.


title: Gaussian fluctuations for the two urn model

abstract: We introduce a modification of the (generalized) P\'olya urn model containing two urns and we study the number of balls $N^j(n)$ of a given color $j\in\{1,\ldots,J\}$, $J\in\mathbb{N}$ present in the system of balls and urns at time $n$. We provide sufficient conditions under which the random variables $(N^j(n))_{n\in\mathbb{N}}$ properly normalized and centered converge weakly to a limiting random variable. The result reveals a similar trichotomy as in the classical case with one urn, the main difference being that in the scaling we encounter 1-periodic continuous functions.


title: Generation of photon pairs by spontaneous four-wave mixing in linearly uncoupled resonators

abstract: We present a detailed study of the generation of photon pairs by spontaneous four-wave mixing in a structure composed of two linearly uncoupled resonators, where energy can be transferred from one resonator to another only through a nonlinear interaction. Specifically, we consider the case of two racetrack-shaped resonators connected by a coupler designed to guarantee that the resonance comb of each resonator can be tuned independently, and to allow the nonlinear interaction between modes that belong to different combs. We show that such a coupler can be realized in at least two ways: a directional coupler or a Mach-Zehnder interferometer. For these two scenarios, we derive analytic expressions for the pair generation rate via single-pump spontaneous four-wave mixing, and compare these results with that achievable in a single ring resonator.


title: PRIM project: what contributions for disabilities?

abstract: In the PRIM project, we aim at giving people the power to create scenagrams (interaction scenarios between a human and digital devices) without the need to learn programming or to ask for computer scientists. In this project, software design follows an unconventional approach, far from classical codes, to embody human thinking (based on interactions) instead of computer logic (based on algorithms). The main idea rests on a new time representation using a PRIM-specific timeline instead of a standardized timeline. We evaluated acceptability and cognitive compatibility of this new timeline with 50 participants. Results are very promising. In this paper, we detail qualitative evaluation results about the interest of such software in the field of disability.


title: A Deep Learning Approach for SAR Tomographic Imaging of Forested Areas

abstract: Synthetic aperture radar tomographic imaging reconstructs the three-dimensional reflectivity of a scene from a set of coherent acquisitions performed in an interferometric configuration. In forest areas, a large number of elements backscatter the radar signal within each resolution cell. To reconstruct the vertical reflectivity profile, state-of-the-art techniques perform a regularized inversion implemented in the form of iterative minimization algorithms. We show that light-weight neural networks can be trained to perform the tomographic inversion with a single feed-forward pass, leading to fast reconstructions that could better scale to the amount of data provided by the future BIOMASS mission. We train our encoder-decoder network using simulated data and validate our technique on real L-band and P-band data.


title: Data Augmentation for Modeling Human Personality: The Dexter Machine

abstract: Modeling human personality is important for several AI challenges, from the engineering of artificial psychotherapists to the design of persona bots. However, the field of computational personality analysis heavily relies on labeled data, which may be expensive, difficult or impossible to get. This problem is amplified when dealing with rare personality types or disorders (e.g., the anti-social psychopathic personality disorder). In this context, we developed a text-based data augmentation approach for human personality (PEDANT). PEDANT doesn't rely on the common type of labeled data but on the generative pre-trained model (GPT) combined with domain expertise. Testing the methodology on three different datasets, provides results that support the quality of the generated data.


title: Pion condensation at lower than physical quark masses

abstract: In QCD at large enough isospin chemical potential Bose-Einstein Condensation (BEC) takes place, separated from the normal phase by a phase transition. From previous studies the location of the BEC line at the physical point is known. In the chiral limit the condensation happens already at infinitesimally small isospin chemical potential for zero temperature according to chiral perturbation theory. The thermal chiral transition at zero density might then be affected, depending on the shape of the BEC boundary, by its proximity. As a first step towards the chiral limit, we perform simulations of 2+1 flavors QCD at half the physical quark masses. The position of the BEC transition is then extracted and compared with the results at physical masses.


title: On the Foundations of Cycles in Bayesian Networks

abstract: Bayesian networks (BNs) are a probabilistic graphical model widely used for representing expert knowledge and reasoning under uncertainty. Traditionally, they are based on directed acyclic graphs that capture dependencies between random variables. However, directed cycles can naturally arise when cross-dependencies between random variables exist, e.g., for modeling feedback loops. Existing methods to deal with such cross-dependencies usually rely on reductions to BNs without cycles. These approaches are fragile to generalize, since their justifications are intermingled with additional knowledge about the application context. In this paper, we present a foundational study regarding semantics for cyclic BNs that are generic and conservatively extend the cycle-free setting. First, we propose constraint-based semantics that specify requirements for full joint distributions over a BN to be consistent with the local conditional probabilities and independencies. Second, two kinds of limit semantics that formalize infinite unfolding approaches are introduced and shown to be computable by a Markov chain construction.


title: Approximate Quantum Compiling for Quantum Simulation: A Tensor Network based approach

abstract: We introduce AQCtensor, a novel algorithm to produce short-depth quantum circuits from Matrix Product States (MPS). Our approach is specifically tailored to the preparation of quantum states generated from the time evolution of quantum many-body Hamiltonians. This tailored approach has two clear advantages over previous algorithms that were designed to map a generic MPS to a quantum circuit. First, we optimize all parameters of a parametric circuit at once using Approximate Quantum Compiling (AQC) - this is to be contrasted with other approaches based on locally optimizing a subset of circuit parameters and "sweeping" across the system. We introduce an optimization scheme to avoid the so-called ``orthogonality catastrophe" - i.e. the fact that the fidelity of two arbitrary quantum states decays exponentially with the number of qubits - that would otherwise render a global optimization of the circuit impractical. Second, the depth of our parametric circuit is constant in the number of qubits for a fixed simulation time and fixed error tolerance. This is to be contrasted with the linear circuit Ansatz used in generic algorithms whose depth scales linearly in the number of qubits. For simulation problems on 100 qubits, we show that AQCtensor thus achieves at least an order of magnitude reduction in the depth of the resulting optimized circuit, as compared with the best generic MPS to quantum circuit algorithms. We demonstrate our approach on simulation problems on Heisenberg-like Hamiltonians on up to 100 qubits and find optimized quantum circuits that have significantly reduced depth as compared to standard Trotterized circuits.


title: Platform for Probing Radiation Transport Properties of Hydrogen at Conditions Found in the Deep Interiors of Red Dwarfs

abstract: We describe an experimental concept at the National Ignition Facility for specifically tailored spherical implosions to compress hydrogen to extreme densities (up to $\sim$800$\times$ solid density, electron number density n$_e$$\sim$4$\times$10$^{25}$ cm$^{-3}$ ) at moderate temperatures (T$\sim$200 eV), i.e., to conditions, which are relevant to the interiors of red dwarf stars. The dense plasma will be probed by laser-generated x-ray radiation of different photon energy to determine the plasma opacity due to collisional (free-free) absorption and Thomson scattering. The obtained results will benchmark radiation transport models, which in the case for free-free absorption show strong deviations at conditions relevant to red dwarfs. This very first experimental test of free-free opacity models at these extreme states will help to constrain where inside those celestial objects energy transport is dominated by radiation or convection. Moreover, our study will inform models for other important processes in dense plasmas, which are based on electron-ion collisions, e.g., stopping of swift ions or electron-ion temperature relaxation.


title: Verification of crossbar-based lattice through modeling technique

abstract: The use of Nano crossbar-based switching lattice implementation of Boolean functions has been proposed as an alternative to traditional CMOS-based implementations in digital circuits. As Moore law is expected to come to an end soon, the use of crossbar-based switching lattice implementation may be a solution to meet the demands of future electronic designs. In recent years, various methods and tools have been proposed for implementing boolean functions with crossbar structures. In this work, a method for verifying crossbar-based lattice has been proposed and implemented. This kind of verification will be necessary for any design that utilizes this crossbar-based implementation of boolean logic.


title: ARcode: HPC Application Recognition Through Image-encoded Monitoring Data

abstract: Knowing HPC applications of jobs and analyzing their performance behavior play important roles in system management and optimizations. The existing approaches detect and identify HPC applications through machine learning models. However, these approaches rely heavily on the manually extracted features from resource utilization data to achieve high prediction accuracy. In this study, we propose an innovative application recognition method, ARcode, which encodes job monitoring data into images and leverages the automatic feature learning capability of convolutional neural networks to detect and identify applications. Our extensive evaluations based on the dataset collected from a large-scale production HPC system show that ARcode outperforms the state-of-the-art methodology by up to 18.87% in terms of accuracy at high confidence thresholds. For some specific applications (BerkeleyGW and e3sm), ARcode outperforms by over 20% at a confidence threshold of 0.8.


title: The Evolution of Web Search User Interfaces -- An Archaeological Analysis of Google Search Engine Result Pages

abstract: Web search engines have marked everyone's life by transforming how one searches and accesses information. Search engines give special attention to the user interface, especially search engine result pages (SERP). The well-known ''10 blue links'' list has evolved into richer interfaces, often personalized to the search query, the user, and other aspects. More than 20 years later, the literature has not adequately portrayed this development. We present a study on the evolution of SERP interfaces during the last two decades using Google Search as a case study. We used the most searched queries by year to extract a sample of SERP from the Internet Archive. Using this dataset, we analyzed how SERP evolved in content, layout, design (e.g., color scheme, text styling, graphics), navigation, and file size. We have also analyzed the user interface design patterns associated with SERP elements. We found that SERP are becoming more diverse in terms of elements, aggregating content from different verticals and including more features that provide direct answers. This systematic analysis portrays evolution trends in search engine user interfaces and, more generally, web design. We expect this work will trigger other, more specific studies that can take advantage of our dataset.


title: Plane wave stability analysis of Hartree and quantum dissipative systems

abstract: We investigate the stability of plane wave solutions of equations describing quantum particles interacting with a complex environment. The models take the form of PDE systems with a non local (in space or in space and time) self-consistent potential; such a coupling lead to challenging issues compared to the usual non linear Schr{\"o}dinger equations. The analysis relies on the identification of suitable Hamiltonian structures and Lyapounov functionals. We point out analogies and differences between the original model, involving a coupling with a wave equation, and its asymptotic counterpart obtained in the large wave speed regime. In particular, while the analogies provide interesting intuitions, our analysis shows that it is illusory to obtain results on the former based on a perturbative analysis from the latter.


title: Photo-production of lowest $\Sigma^*_{1/2^-}$ state within the Regge-effective Lagrangian approach

abstract: Since the lowest $\Sigma^{*}$ state, with quantum numbers spin-parity $J^{P} =1/2^{-}$, is far from established experimentally and theoretically, we have performed a theoretical study on the $\Sigma^*_{1/2^-}$ photo-production within the Regge-effective Lagrangian approach. Taking into account that the $\Sigma^*_{1/2^-}$ couples to the $\bar{K}N$ channel, we have considered the contributions from the $t$-channel $K$ exchange diagram. Moreover, these contributions from $t$-channel $K^*$ exchange, $s$-channel nucleon pole, $u$-channel $\Sigma$ exchange, and the contact term, are considered. The differential and total cross sections of the process $\gamma n \to K^{+}\Sigma^{*-}_{1/2^-}$ are predicted with our model parameters. The results should be helpful to search for the $\Sigma^*_{1/2^-}$ state experimentally in future.


title: Oxygen depletion in giant planets with different formation histories

abstract: The atmospheric C/O ratio of exoplanets is widely used to constrain their formation. To guarantee that the C/O ratio provides robust information, we need to accurately quantify the amount of C and O in exoplanetary atmospheres. In the case of O, water and carbon monoxide are generally studied as the two key carriers. However, oxygen is a very reactive element and does not bind with carbon; depending on the temperature, it also binds to refractory elements. Estimating the amount of oxygen bound to refractory elements is therefore critical for unbiased estimates of the C/O ratio. In this work, we investigate the oxygen deficit due to refractory elements and its effects on the atmospheric C/O ratio of giant exoplanets as a function of their metallicity and equilibrium temperature. We model the composition of planetary atmospheres assuming chemical equilibrium and using as input physically justified elemental mixtures arising from detailed planet formation simulations. Our results show how the interplay between the atmospheric temperature and non-solar abundances of oxygen and refractory elements can sequester large fractions of oxygen, introducing significant biases in evaluating the C/O ratio when this effect is not accounted for. We apply our results to the case of Jupiter in the Solar System and show how the currently estimated water abundance points to a true oxygen abundance that is four times the solar one.


title: Low-temperature antiferromagnetic order in orthorhombic CePdAl$_{3}$

abstract: We report the magnetization, ac susceptibility, and specific heat of optically float-zoned single crystals of CePdAl$_{3}$. In comparison to the properties of polycrystalline CePdAl$_{3}$ reported in the literature, which displays a tetragonal crystal structure and no long-range magnetic order, our single crystals exhibit an orthorhombic structure ($Cmcm$) and order antiferromagnetically below a N\'eel temperature $T_{\rm N}$ = 5.6 K. The specific heat at zero-field shows a clear $\lambda$-type anomaly with a broad shoulder at $T_{\rm N}$. A conservative estimate of the Sommerfeld coefficient of the electronic specific heat, $\gamma = 121~\mathrm{mJ~K^{-2}~mol^{-1}}$, indicates a moderately enhanced heavy-fermion ground state. A twin microstructure evolves in the family of planes spanned by the basal plane lattice vectors $a_{\rm o}$ and $c_{\rm o}$, with the magnetic hard axis $b_{\rm o}$ common to all twins. The antiferromagnetic state is characterized by a strong magnetic anisotropy and a spin-flop transition induced under magnetic field along the easy direction, resulting in a complex magnetic phase diagram. Taken together our results reveal a high sensitivity of the magnetic and electronic properties of CePdAl$_{3}$ to its structural modifications.


title: Solving PDEs with Unmeasurable Source Terms Using Coupled Physics-Informed Neural Network with Recurrent Prediction for Soft Sensors

abstract: Partial differential equations (PDEs) are a model candidate for soft sensors in industrial processes with spatiotemporal dependence. Although physics-informed neural networks (PINNs) are a promising machine learning method for solving PDEs, they are infeasible for the nonhomogeneous PDEs with unmeasurable source terms. To this end, a coupled PINN (CPINN) with a recurrent prediction (RP) learning strategy (CPINN- RP) is proposed. First, CPINN composed of NetU and NetG is proposed. NetU is for approximating PDEs solutions and NetG is for regularizing the training of NetU. The two networks are integrated into a data-physics-hybrid loss function. Then, we theoretically prove that the proposed CPINN has a satisfying approximation capability for solutions to nonhomogeneous PDEs with unmeasurable source terms. Besides the theoretical aspects, we propose a hierarchical training strategy to optimize and couple NetU and NetG. Secondly, NetU-RP is proposed for compensating information loss in data sampling to improve the prediction performance, in which RP is the recurrently delayed outputs of well-trained CPINN and hard sensors. Finally, the artificial and practical datasets are used to verify the feasibility and effectiveness of CPINN-RP for soft sensors.


title: Full solution of the factoriality question for $q$-Araki-Woods von Neumann algebras via conjugate variables

abstract: We establish factoriality of $q$-Araki-Woods von Neumann algebras (with the number of generators at least two) in full generality, exploiting the approach via conjugate variables developed recently in the tracial case by Akihiro Miyagawa and Roland Speicher, and abstract results of Brent Nelson. We also establish non-injectivity and determine the type of the factors in question. The factors are solid and full when the number of generators is finite.


title: Adjoint-Based Identification of Sound Sources for Sound Reinforcement and Source Localization

abstract: The identification of sound sources is a common problem in acoustics. Different parameters are sought, among these are signal and position of the sources. We present an adjoint-based approach for sound source identification, which employs computational aeroacoustic techniques. Two different applications are presented as a proof-of-concept: optimization of a sound reinforcement setup and the localization of (moving) sound sources.


title: Improved Real-time Post-Processing for Quantum Random Number Generators

abstract: Randomness extraction is a key problem in cryptography and theoretical computer science. With the recent rapid development of quantum cryptography, quantum-proof randomness extraction has also been widely studied, addressing the security issues in the presence of a quantum adversary. In contrast with conventional quantum-proof randomness extractors characterizing the input raw data as min-entropy sources, we find that the input raw data generated by a large class of trusted-device quantum random number generators can be characterized as the so-called reverse block source. This fact enables us to design improved extractors. Specifically, we propose two novel quantum-proof randomness extractors for reverse block sources that realize real-time block-wise extraction. In comparison with the general min-entropy randomness extractors, our designs achieve a significantly higher extraction speed and a longer output data length with the same seed length. In addition, they enjoy the property of online algorithms, which process the raw data on the fly without waiting for the entire input raw data to be available. These features make our design an adequate choice for the real-time post-processing of practical quantum random number generators. Applying our extractors to the raw data generated by a widely used quantum random number generator, we achieve a simulated extraction speed as high as $300$ Gbps.


title: The Effect of the Peculiar Motions of the Lens, Source and the Observer on the Gravitational Lensing Time Delay

abstract: An intervening galaxy acts as a gravitational lens and produces multiple images of a single source such as a remote galaxy. Galaxies have peculiar speeds in addition to the bulk motion arising due to the expansion of the universe. There is a difference in light arrival times between lensed images. We calculate more realistic time delays between lensed images when galaxy peculiar motions, that is the motion of the Lens, the Source and the Observer are taken into consideration neglecting the gravitomagnetic effects.


title: Ergodic properties of a parameterised family of symmetric golden maps: the matching phenomenon revisited

abstract: We study a one-parameter family of interval maps $\{T_\alpha\}_{\alpha\in[1,\beta]}$, with $\beta$ the golden mean, defined on $[-1,1]$ by $T_\alpha(x)=\beta^{1+|t|}x-t\beta\alpha$ where $t\in\{-1,0,1\}$. For each $T_\alpha,\ \alpha>1$, we construct its unique, absolutely continuous invariant measure and show that on an open, dense subset of parameters $\alpha$, the corresponding density is a step function with finitely many jumps. We give an explicit description of the maximal intervals of parameters on which the density has at most the same number of jumps. A main tool in our analysis is the phenomenon of matching, where the orbits of the left and right limits of discontinuity points meet after a finite number of steps. Each $T_\alpha$ generates signed expansions of numbers in base $1/\beta$; via Birkhoff's ergodic theorem, the invariant measures are used to determine the asymptotic relative frequencies of digits in generic $T_\alpha$-expansions. In particular, the frequency of $0$ is shown to vary continuously as a function of $\alpha$ and to attain its maximum $3/4$ on the maximal interval $[1/2+1/\beta,1+1/\beta^2]$.


title: Almost minimizers to a transmission problem for $(p,q)$-Laplacian

abstract: This paper concerns almost minimizers of the functional $$ J(v,\Omega) = \int_\Omega \left( |D v^+|^p + |D v^-|^q \right) dx, $$ where $1<p \neq q< \infty$ and $\Omega$ is a bounded domain of $\mathbb{R}^n$, $n\geq 1$. We prove the universal H\"older regularity of local $(1+\epsilon)$-minimizers, when $\epsilon$ is universally small. Moreover, we prove almost Lipschitz regularity of the local $(1+\epsilon)$-minimizers, when $|p-q|\ll 1$ and $\epsilon\ll 1$.


title: Interaction of thin tungsten and tantalum films with ultrashort laser pulses: calculations from first principles

abstract: The interaction of ultrashort laser pulses with thin tungsten and tantalum films is investigated through the full-potential band-structure calculations. Our calculations show that at relatively low absorbed energies (the electron temperature $T_e$$\lesssim$7 kK), the lattice of tantalum undergoes noticeable hardening. The hardening leads to the change of the tantalum complete melting threshold under these conditions. Calculations suggest that for the isochorically heated Ta film, if such hardening really occurs, the complete melting threshold will be at least 25% higher. It is also shown that the body-centered cubic structures of W and Ta crystals become dynamically unstable when the electronic subsystem is heated to sufficiently high temperatures ($T_e$$>$22 kK). This lead to their complete melting on the sub-picosecond time scale.


title: Electroweak Sphaleron in a Magnetic field

abstract: Using lattice simulations we calculate the rate of baryon number violating processes, the sphaleron rate, in the Standard Model with an external (hyper)magnetic field for temperatures across the electroweak cross-over, focusing on the broken phase. Additionally, we compute the Higgs expectation value and the pseudocritical temperature. The electroweak cross-over shifts to lower temperatures with increasing external magnetic field, bringing the onset of the suppression of the baryon number violation with it. When the hypermagnetic field reaches the magitude $B_Y \approx 2 T^2$ the cross-over temperature is reduced from $160$ GeV to $145$ GeV. In the broken phase for small magnetic fields the rate behaves quadratically as a function of the magnetic flux. For stronger magnetic fields the rate reaches a linear regime which lasts until the field gets strong enough to restore the electroweak symmetry where the symmetric phase rate is reached.


title: "This Applies to the RealWorld": Student Perspectives on Integrating Ethics into a Computer Science Assignment

abstract: There is a growing movement in undergraduate computer science (CS) programs to embed ethics across CS classes rather than relying solely on standalone ethics courses. One strategy is creating assignments that encourage students to reflect on ethical issues inherent to the code they write. Building off prior work that has surveyed students after doing such assignments in class, we conducted focus groups with students who reviewed a new introductory ethics-based CS assignment. In this experience report, we present a case study describing our process of designing an ethics-based assignment and proposing the assignment to students for feedback. Participants in our focus groups not only shared feedback on the assignment, but also on the integration of ethics into coding assignments in general, revealing the benefits and challenges of this work from a student perspective. We also generated novel ethics-oriented assignment concepts alongside students. Deriving from tech controversies that participants felt most affected by, we created a bank of ideas as a starting point for further curriculum development.


title: Wigner Gaussian dynamics: simulating the anharmonic and quantum ionic motion

abstract: The atomic motion controls important features of materials, such as thermal transport, phase transitions, and vibrational spectra. However, the simulation of ionic dynamics is exceptionally challenging when quantum fluctuations are relevant (e.g., at low temperatures or with light atoms) and the energy landscape is anharmonic. In this work, we formulate the Time-Dependent Self-Consistent Harmonic Approximation (TDSCHA) in the Wigner framework, paving the way for the efficient computation of the nuclear motion in systems with sizable quantum and thermal anharmonic fluctuations. Besides the improved numerical efficiency, the Wigner formalism unveils the classical limit of TDSCHA and provides a link with the many-body perturbation theory of Feynman diagrams. We further extend the method to account for the non-linear couplings between phonons and photons, responsible, e.g., for a nonvanishing Raman signal in high-symmetry Raman inactive crystals, firstly discussed by Rasetti and Fermi. We benchmark the method in phase III of high-pressure hydrogen ab initio. The nonlinear photon-phonon coupling reshapes the IR spectra and explains the high-frequency shoulder of the H2 vibron observed in experiments. The Wigner TDSCHA is computationally cheap and derived from first principles: it is unbiased by assumptions on the phonon-phonon and phonon-photon scattering and does not depend on empirical parameters. Therefore, the method can be adopted in unsupervised high-throughput calculations.


title: Assessment of the reliability of Deconvolution Procedures for RCF Spectroscopy of Laser-Driven Ion Beams

abstract: Laser-driven ion beams are defined by a number of unique features, including a large spread in energy. A stack configuration of radiochromic film (RCF) can be utilized to characterize such beams through measurements of their energy spectra. A spectroscopic procedure is reported that allows the proton energy density within each active layer of a radiochromic film (RCF) stack to be retrieved. This is based upon on a deconvolution algorithm developed through Geant4 Monte Carlo simulations to correct the contributions of energy depositions within a given film layer. Through Monte Carlo calculations, the spectrum retrieved from a simulated film stack can be retrieved and compared with a known energy spectrum, providing an examination of the efficacy of this tool. Application of the developed deconvolution procedure thus offers the potential to correctly reconstruct the incident energy spectrum of a laser-driven proton and ion beam from a stack of irradiated RCF.


title: Evaluating approaches for on-the-fly machine learning interatomic potential for activated mechanisms sampling with the activation-relaxation technique nouveau

abstract: In the last few years, much efforts have gone into developing universal machine-learning potentials able to describe interactions for a wide range of structures and phases. Yet, as attention turns to more complex materials including alloys, disordered and heterogeneous systems, the challenge of providing reliable description for all possible environment become ever more costly. In this work, we evaluate the benefits of using specific versus general potentials for the study of activated mechanisms in solid-state materials. More specifically, we tests three machine-learning fitting approaches using the moment-tensor potential to reproduce a reference potential when exploring the energy landscape around a vacancy in Stillinger-Weber silicon crystal and silicon-germanium zincblende structure using the activation-relaxation technique nouveau (ARTn). We find that a a targeted on-the-fly approach specific and integrated to ARTn generates the highest precision on the energetic and geometry of activated barriers, while remaining cost-effective. This approach expands the type of problems that can be addressed with high-accuracy ML potentials.


title: Superconductivity in type II layered Weyl semi-metals

abstract: Novel quasi two dimensional typically layered semimetals offer a unique opportunity to control the density and even the topology of the electronic matter. In intercalated MoTe2 type II Weyl semimetal the tilt of the dispersion relation cones is so large that topologically of the Fermi surface is distinct from a more conventional type I. Superconductivity observed recently in this compound [Zhang et al, 2D Materials 9, 045027 (2022)] demonstrated two puzzling phenomena: the gate voltage has no impact on critical temperature, Tc, in wide range of density, while it is very sensitive to the interlayer distance. The phonon theory of pairing in a layered Weyl material including the effects of Coulomb repulsion is constructed and explains the above two features in MoTe2.The first feature turns out to be a general one for any type II topological material, while the second reflects properties of the intercalated materials affecting the Coulomb screening.


title: Generative Slate Recommendation with Reinforcement Learning

abstract: Recent research has employed reinforcement learning (RL) algorithms to optimize long-term user engagement in recommender systems, thereby avoiding common pitfalls such as user boredom and filter bubbles. They capture the sequential and interactive nature of recommendations, and thus offer a principled way to deal with long-term rewards and avoid myopic behaviors. However, RL approaches are intractable in the slate recommendation scenario - where a list of items is recommended at each interaction turn - due to the combinatorial action space. In that setting, an action corresponds to a slate that may contain any combination of items. While previous work has proposed well-chosen decompositions of actions so as to ensure tractability, these rely on restrictive and sometimes unrealistic assumptions. Instead, in this work we propose to encode slates in a continuous, low-dimensional latent space learned by a variational auto-encoder. Then, the RL agent selects continuous actions in this latent space, which are ultimately decoded into the corresponding slates. By doing so, we are able to (i) relax assumptions required by previous work, and (ii) improve the quality of the action selection by modeling full slates instead of independent items, in particular by enabling diversity. Our experiments performed on a wide array of simulated environments confirm the effectiveness of our generative modeling of slates over baselines in practical scenarios where the restrictive assumptions underlying the baselines are lifted. Our findings suggest that representation learning using generative models is a promising direction towards generalizable RL-based slate recommendation.


title: Giant resonant enhancement for photo-induced superconductivity in K$_3$C$_{60}$

abstract: Photo-excitation at terahertz and mid-infrared frequencies has emerged as a new way to manipulate functionalities in quantum materials, in some cases creating non-equilibrium phases that have no equilibrium analogue. In K$_3$C$_{60}$, a metastable zero-resistance phase was documented with optical properties and pressure dependences compatible with non-equilibrium high temperature superconductivity. Here, we report the discovery of a dominant energy scale for this phenomenon, along with the demonstration of a giant increase in photo-susceptibility near 10 THz excitation frequency. At these drive frequencies a metastable superconducting-like phase is observed up to room temperature for fluences as low as ~400 $\mu J/cm^2$. These findings shed light on the microscopic mechanism underlying photo-induced superconductivity. They also trace a path towards steady state operation, currently limited by the availability of a suitable high-repetition rate optical source at these frequencies.


title: ICARUS at the Fermilab Short-Baseline Neutrino Program -- Initial Operation

abstract: The ICARUS collaboration employed the 760-ton T600 detector in a successful three-year physics run at the underground LNGS laboratory studying neutrino oscillations with the CERN Neutrino to Gran Sasso beam (CNGS) and searching for atmospheric neutrino interactions. ICARUS performed a sensitive search for LSND-like anomalous $\nu_e$ appearance in the CNGS beam, which contributed to the constraints on the allowed parameters to a narrow region around 1 eV$^2$, where all the experimental results can be coherently accommodated at 90% C.L.. After a significant overhaul at CERN, the T600 detector has been installed at Fermilab. In 2020, cryogenic commissioning began with detector cool down, liquid argon filling and recirculation. ICARUS has started operations and successfully completed its commissioning phase, collecting the first neutrino events from the Booster Neutrino Beam (BNB) and the Neutrinos at the Main Injector (NuMI) beam off-axis, which were used to test the ICARUS event selection, reconstruction and analysis algorithms. The first goal of the ICARUS data taking will then be a study to either confirm or refute the claim by Neutrino-4 short baseline reactor experiment both in the $\nu_\mu$ channel with the BNB and in the $\nu_e$ with NuMI. ICARUS will also address other fundamental studies such as neutrino cross sections with the NuMI beam and a number of Beyond Standard Model searches. After the first year of operations, ICARUS will commence its search for evidence of a sterile neutrino jointly with the Short Baseline Near Detector, within the Short-Baseline Neutrino program.


title: Supercritical colliding wind binaries

abstract: Context. Particle-accelerating colliding-wind binaries (PACWBs) are systems that are formed by two massive and hot stars and produce nonthermal (NT) radiation. The key elements of these systems are fast winds and the shocks that they create when they collide. Binaries with nonaccreting young pulsars have also been detected as NT emitters, again as a consequence of the wind-wind interaction. Black holes (BHs) might produce NT radiation by this mechanism if they accrete at super-Eddington rates. In such cases, the disk is expected to launch a radiation-driven wind, and if this wind has an equatorial component, it can collide with the companion star yielding a PACWB. These systems are supercritical colliding wind binaries (SCWBs). Aims. We aim to characterize the particle acceleration and NT radiation produced by the collision of winds in binary systems composed of a superaccreting BH and an early-type star. Methods. We estimated the terminal velocity of the disk-driven wind by calculating the spatial distribution of the radiation fields and their effect on disk particles. We then found the location of the wind collision region and calculated the timescales of energy gain and losses of relativistic particles undergoing diffusive acceleration. With this information, we were able to compute the associated spectral energy distribution of the radiation. Results. We find that the interaction of winds can produce NT emission from radio up to tens of GeV, with luminosities in the range of $\sim 10^{33}-10^{35} \, {\rm erg \, s^{-1}}$, which for the most part are contributed by electron synchrotron and inverse Compton radiation. Conclusions. We conclude that SCWBs, such as some ultraluminous X-ray sources and some Galactic X-ray binaries, are capable of accelerating cosmic rays and producing NT electromagnetic emission from radio to $\gamma$-rays, in addition to the thermal components.


title: Convergent approaches for the Dirichlet Monge amp\`ere problem

abstract: In this article, we introduce and study three numerical methods for the Dirichlet Monge Amp\`ere equation in two dimensions. The approaches consist in considering new equivalent problems. The latter are discretized by a wide stencil finite difference discretization and monotone schemes are obtained. Hence, we apply the Barles-Souganidis theory to prove the convergence of the schemes and the Damped Newtons method is used to compute the solutions of the schemes. Finally, some numerical results are illustrated.


title: Error bounds for kernel-based approximations of the Koopman operator

abstract: We consider the data-driven approximation of the Koopman operator for stochastic differential equations on reproducing kernel Hilbert spaces (RKHS). Our focus is on the estimation error if the data are collected from long-term ergodic simulations. We derive both an exact expression for the variance of the kernel cross-covariance operator, measured in the Hilbert-Schmidt norm, and probabilistic bounds for the finite-data estimation error. Moreover, we derive a bound on the prediction error of observables in the RKHS using a finite Mercer series expansion. Further, assuming Koopman-invariance of the RKHS, we provide bounds on the full approximation error. Numerical experiments using the Ornstein-Uhlenbeck process illustrate our results.


title: Enlarging the symmetry of pure $R^2$ gravity, BRST invariance and its spontaneous breaking

abstract: Pure $R^2$ gravity was considered originally to possess only global scale symmetry. It was later shown to have the larger restricted Weyl symmetry where it is invariant under the Weyl transformation $g_{\mu\nu} \to \Omega^2(x)\, g_{\mu\nu}$ when the conformal factor $\Omega(x)$ obeys the harmonic condition $\Box \Omega(x)=0$. Restricted Weyl symmetry has an analog in gauge theory. Under a gauge transformation $A_{\mu}\to A_{\mu} + \frac{1}{e}\partial_{\mu} f(x)$, the gauge-fixing term $(\partial_{\mu}A^{\mu})^2$ has a residual gauge symmetry when $\Box f=0$. In this paper, we consider scenarios where the symmetry of pure $R^2$ gravity can be enlarged even further. In one scenario, we add a massless scalar field to the pure $R^2$ gravity action and show that the action becomes on-shell Weyl invariant when the equations of motion are obeyed. We then enlarge the symmetry to a BRST symmetry where no on-shell or restricted Weyl condition is required. The BRST transformations here are not associated with gauge transformations (such as diffeomorphisms) but with Weyl (local scale) transformations where the conformal factor consists of a product of Grassmann variables. BRST invariance in this context is a generalization of Weyl invariance that is valid in the presence of the Weyl-breaking $R^2$ term. In contrast to the BRST invariance of gauge theories like QCD, it is not preserved after quantization since renormalization introduces a scale (leading to the well-known Weyl (conformal) anomaly). We show that the spontaneous breaking of the BRST symmetry yields an Einstein action; this still has a symmetry which is also anomalous. This is in accord with previous work that shows that there is conformal anomaly matching between the unbroken and broken phases when conformal symmetry is spontaneously broken.


title: Notes on valuation theory for Krasner hyperfields

abstract: The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on hyperfields. After proving basic results and discussing several examples, we focus on the valued hyperfields that Krasner originally defined in 1957. We find that these must have a particular additive structure which in turns implies the existence of a valuation a'la Krasner. We note that given such a valued hyperfield $(F,v)$, the valuation induced by its additive structure does not have to be equivalent to $v$. We discuss the cases in which it does.


title: Tracing the Evolution of SMBHs and Stellar Objects in Galaxy Mergers: An Multi-mass Direct N-body Model

abstract: By using direct N-body numerical simulations, we model the dynamical co-evolution of two supermassive black holes (SMBHs) and the surrounding stars in merging galaxies. In order to investigate how different stellar components evolve during the merger, we generate evolved stellar distributions with an initial mass function. Special schemes have also been developed to deal with some rare but interesting events, such as tidal disruption of main sequence stars, the plunge of low mass stars, white dwarfs, neutron stars and stellar mass black holes, and the partial tidal disruption of red giants or asymptotic giant branch stars. Our results indicate that the formation of a bound supermassive black hole binary (SMBHB) will enhance the capture rates of stellar objects by the SMBHs. Compared to the equal stellar mass model, the multi-mass model tends to result in a higher average mass of disrupted stars. Instead of being tidally disrupted by the SMBH, roughly half of the captured main sequence stars will directly plunge into the SMBH because of their small stellar radius. Giant stars, on the other hand, can be stripped of their envelopes if they are close enough to the SMBH. Though most remnants of the giant stars can survive after the disruption, a small fraction still could plunge into the SMBH quickly or after many orbital periods. Our results also indicate significant mass segregation of compact stars at the beginning of the merger, and then this effect is destroyed as the two SMBHs form a bound binary.


title: Lepton Flavor Specific Extended Higgs Model

abstract: In extended Higgs models, a discrete symmetry is needed in the quark sector to avoid tree-level flavor-changing neutral currents. However, this is not necessary the case in the lepton sector. We consider a model in which one Higgs couples to quarks and three others couple to the electron, muon and tau, respectively. This four-doublet model is presented with the full scalar potential and the gauge and Yukawa couplings. The constraints from boundedness, perturbativity and oblique parameters are incorporated as well as constraints from meson-antimeson mixing, radiative B-decays and the diphoton Higgs decay rate. We also consider bounds from searches for heavy neutral and charged scalars at the LHC. Since the Standard Model Higgs couplings match predictions very well, we focus on the alignment limit of the model. It is shown that for a wide range of parameters, the lightest additional scalar, pseudoscalar and charged scalar can have substantial decays into electrons and muons (in contrast to the usual leptonic decays into taus). An interesting signature in the neutral sector would be the production, through vector boson fusion, of a pair of scalars, each of which decays into an electron or muon pair.


title: Optimal multiple FSO transceiver configuration for using on High-altitude platforms

abstract: Free-space optical (FSO) communication requires light of sight (LoS) between the transmitter and the receiver. For long-distance communication, many research projects have been conducted towards using a network composed of high-altitude platforms (HAPs) flying at an elevation of 20 km to carry intermediate FSO transceivers that forward data between ground stations. The clear environment at high elevations prevents terrestrial obstacles from cutting the LoS between the transceivers. An FSO transceiver on a HAP can communicate with ground stations within a small area owing to its limited beam size. We suggest using multiple FSO transceivers on a HAP to extend its ground coverage. However, the use of too many FSO transceivers may quickly exhaust the onboard energy of the HAP. As a result, HAP must be lowered to recharge frequently. In this study, we first propose a configuration of multiple FSO transceivers to widen the ground coverage of a HAP. We then propose a set of closed-form expressions to calculate the extended coverage. Finally, to implement a HAP network using multiple FSO transceivers, we seek the optimal configuration of multiple FSO transceivers that minimizes the total cost of the HAP network, including amortization, energy, and maintenance costs. The simulation results show that the proposed multiple FSO transceiver configuration clearly increases the ground coverage of a HAP and significantly reduces the cost of the HAP network.


title: Multiphonon structure of high-spin states in $^{40}$Ca, $^{90}$Zr, and $^{208}$Pb

abstract: The method of description of the high-spin states, which was previously developed and applied for the states of this type in $^{208}$Pb, is generalized for the case of the states having more complex multiphonon structure. In this method, the harmonic approximation with the renormalized phonons is used in which the phonons themselves are determined within the non-linear version of the model based on the random-phase approximation (RPA) and including both the RPA correlations and the beyond-RPA ones. The mean field and the residual interaction are derived within the framework of the self-consistent RPA from the energy-density functional of the Skyrme type. The method is applied for the analysis of the available experimental data in doubly magic $^{208}$Pb and $^{40}$Ca and in semi-magic $^{90}$Zr.


title: Analysis of the smoothly amnesia-reinforced multidimensional elephant random walk

abstract: In this work, we discuss the smoothly amnesia-reinforced multidimensional elephant random walk (MARW). The scaling limit of the MARW is shown to exist in the diffusive, critical and superdiffusive regimes. We also establish the almost sure convergence in all of the three regimes. The quadratic strong law is displayed in the diffusive regime as well as in the critical regime. The mean square convergence towards a non-Gaussian random variable is established in the superdiffusive regime. Similar results for the barycenter process are also derived. Finally, the last two Sections are devoted to a discussion of the convergence velocity of the mean square displacement and the Cram{\'e}r moderate deviations.


title: Complex scalar field in $\kappa$-Minkowski spacetime

abstract: It is often expected that one cannot treat spacetime as a continuous manifold as the Planck scale is approached, because of to possible effects due to a quantum theory of gravity. There have been several proposals to model such a deviation from the classical behaviour, one of which is noncommutativity of spacetime coordinates. In this context, the non-commutativity scale is seen as an observer-independent length scale. Of course, such a scale impose a modification of ordinary relativistic symmetries, which now need to be deformed to accommodate this fundamental scale. The $\kappa$-Poincar\'e algebra is an example of this deformation. In what follows I will briefly describe a construction of a $\kappa$-deformed complex scalar field theory, while at the same time shedding light on the behaviour of discrete and continuous symmetries in this formalism. This in turn will open the way to the study of the application of this formalism to actual physical processes. I will then conclude with some comments and prospects for the future.


title: The Gauge issue and the Hamiltonian theory of cosmological perturbations

abstract: We present a general formalism for the Hamiltonian description of perturbation theory around any spatially homogeneous spacetime. We employ and refine the Dirac method for constrained systems, which is very well-suited to cosmological perturbations. This approach includes a discussion of the gauge-invariant dynamics of perturbations as well as an analysis of gauge transformations, gauge-fixing, partial gauge-fixing and spacetime reconstruction. We will introduce the Kucha\v{r} parametrization of the kinematical phase space as a convenient tool for studying the gauge transformations. The key element of this approach is the reconstruction of spacetime based on gauge-fixing conditions.


title: Image Memorability Prediction with Vision Transformers

abstract: Behavioral studies have shown that the memorability of images is similar across groups of people, suggesting that memorability is a function of the intrinsic properties of images, and is unrelated to people's individual experiences and traits. Deep learning networks can be trained on such properties and be used to predict memorability in new data sets. Convolutional neural networks (CNN) have pioneered image memorability prediction, but more recently developed vision transformer (ViT) models may have the potential to yield even better predictions. In this paper, we present the ViTMem, a new memorability model based on ViT, and evaluate memorability predictions obtained by it with state-of-the-art CNN-derived models. Results showed that ViTMem performed equal to or better than state-of-the-art models on all data sets. Additional semantic level analyses revealed that ViTMem is particularly sensitive to the semantic content that drives memorability in images. We conclude that ViTMem provides a new step forward, and propose that ViT-derived models can replace CNNs for computational prediction of image memorability. Researchers, educators, advertisers, visual designers and other interested parties can leverage the model to improve the memorability of their image material.


title: STORM-GAN: Spatio-Temporal Meta-GAN for Cross-City Estimation of Human Mobility Responses to COVID-19

abstract: Human mobility estimation is crucial during the COVID-19 pandemic due to its significant guidance for policymakers to make non-pharmaceutical interventions. While deep learning approaches outperform conventional estimation techniques on tasks with abundant training data, the continuously evolving pandemic poses a significant challenge to solving this problem due to data nonstationarity, limited observations, and complex social contexts. Prior works on mobility estimation either focus on a single city or lack the ability to model the spatio-temporal dependencies across cities and time periods. To address these issues, we make the first attempt to tackle the cross-city human mobility estimation problem through a deep meta-generative framework. We propose a Spatio-Temporal Meta-Generative Adversarial Network (STORM-GAN) model that estimates dynamic human mobility responses under a set of social and policy conditions related to COVID-19. Facilitated by a novel spatio-temporal task-based graph (STTG) embedding, STORM-GAN is capable of learning shared knowledge from a spatio-temporal distribution of estimation tasks and quickly adapting to new cities and time periods with limited training samples. The STTG embedding component is designed to capture the similarities among cities to mitigate cross-task heterogeneity. Experimental results on real-world data show that the proposed approach can greatly improve estimation performance and out-perform baselines.


title: Off-Policy Evaluation with Out-of-Sample Guarantees

abstract: We consider the problem of evaluating the performance of a decision policy using past observational data. The outcome of a policy is measured in terms of a loss (aka. disutility or negative reward) and the main problem is making valid inferences about its out-of-sample loss when the past data was observed under a different and possibly unknown policy. Using a sample-splitting method, we show that it is possible to draw such inferences with finite-sample coverage guarantees about the entire loss distribution, rather than just its mean. Importantly, the method takes into account model misspecifications of the past policy - including unmeasured confounding. The evaluation method can be used to certify the performance of a policy using observational data under a specified range of credible model assumptions.


title: Segalification and the Boardmann-Vogt tensor product

abstract: We develop an analog of Dugger and Spivak's necklace formula providing an explicit description of the Segal space generated by an arbitrary simplicial space. We apply this to obtain a formula for the Segalification of $n$-fold simplicial spaces, a new proof of the invariance of right fibrations, and a new construction of the Boardman-Vogt tensor product of $\infty$-operads, for which we also derive an explicit formula.


title: Near-optimal restriction estimates for Cantor sets on the parabola

abstract: For any $0 < \alpha <1$, we construct Cantor sets on the parabola of Hausdorff dimension $\alpha$ such that they are Salem sets and each associated measure $\nu$ satisfies the estimate $\|{\widehat{f d\nu}}\|_{L^p(\mathbb{R}^2)} \leq C_p \|{f}\|_{L^2(\nu)}$ for all $p >6/\alpha$ and for some constant $C_p >0$ which may depend on $p$ and $\nu$. The range $p>6/\alpha$ is optimal except for the endpoint. The proof is based on the work of Laba and Wang on restriction estimates for random Cantor sets and the work of Shmerkin and Suomala on Fourier decay of measures on random Cantor sets. They considered fractal subsets of $\mathbb{R}^d$, while we consider fractal subsets of the parabola.


title: Cosmic bounce and phantom-like equation of state from tunnelling

abstract: We allow a scalar field on a flat FLRW background metric to tunnel between two degenerate vacua. The resulting true vacuum state then violates the Null Energy Condition, and the corresponding homogeneous fluid induces a bounce, after which it has a phantom-like equation of state and asymptotically leads to a de Sitter phase. The mechanism presented here requires no exotic matter or modified gravity, it is purely generated by quantum fluctuations and is valid for a generic double well potential.


title: An Analysis of the Automatic Bug Fixing Performance of ChatGPT

abstract: To support software developers in finding and fixing software bugs, several automated program repair techniques have been introduced. Given a test suite, standard methods usually either synthesize a repair, or navigate a search space of software edits to find test-suite passing variants. Recent program repair methods are based on deep learning approaches. One of these novel methods, which is not primarily intended for automated program repair, but is still suitable for it, is ChatGPT. The bug fixing performance of ChatGPT, however, is so far unclear. Therefore, in this paper we evaluate ChatGPT on the standard bug fixing benchmark set, QuixBugs, and compare the performance with the results of several other approaches reported in the literature. We find that ChatGPT's bug fixing performance is competitive to the common deep learning approaches CoCoNut and Codex and notably better than the results reported for the standard program repair approaches. In contrast to previous approaches, ChatGPT offers a dialogue system through which further information, e.g., the expected output for a certain input or an observed error message, can be entered. By providing such hints to ChatGPT, its success rate can be further increased, fixing 31 out of 40 bugs, outperforming state-of-the-art.


title: Automated extraction of capacitive coupling for quantum dot systems

abstract: Gate-defined quantum dots (QDs) have appealing attributes as a quantum computing platform. However, near-term devices possess a range of possible imperfections that need to be accounted for during the tuning and operation of QD devices. One such problem is the capacitive cross-talk between the metallic gates that define and control QD qubits. A way to compensate for the capacitive cross-talk and enable targeted control of specific QDs independent of coupling is by the use of virtual gates. Here, we demonstrate a reliable automated capacitive coupling identification method that combines machine learning with traditional fitting to take advantage of the desirable properties of each. We also show how the cross-capacitance measurement may be used for the identification of spurious QDs sometimes formed during tuning experimental devices. Our systems can autonomously flag devices with spurious dots near the operating regime, which is crucial information for reliable tuning to a regime suitable for qubit operations.


title: Implementations of Derivations on the Quantum Annulus

abstract: We construct compact parametrix implementations of covariant derivations on the quantum annulus.


title: Quantum Control of Trapped Polyatomic Molecules for eEDM Searches

abstract: Ultracold polyatomic molecules are promising candidates for experiments in quantum science, quantum sensing, ultracold chemistry, and precision measurements of physics beyond the Standard Model. A key, yet unrealized, requirement of these experiments is the ability to achieve full quantum control over the complex internal structure of the molecules. Here, we establish coherent control of individual quantum states in a polyatomic molecule, calcium monohydroxide (CaOH), and use these techniques to demonstrate a method for searching for the electron electric dipole moment (eEDM). Optically trapped, ultracold CaOH molecules are prepared in a single quantum state, polarized in an electric field, and coherently transferred into an eEDM sensitive state where an electron spin precession measurement is performed. To extend the coherence time of the measurement, we utilize eEDM sensitive states with tunable, near-zero magnetic field sensitivity. The spin precession coherence time is limited by AC Stark shifts and uncontrolled magnetic fields. These results establish a path for eEDM searches with trapped polyatomic molecules, towards orders-of-magnitude improved experimental sensitivity to time-reversal-violating physics.


title: Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration

abstract: Probabilistic pushdown automata (pPDA) are a standard model for discrete probabilistic programs with procedures and recursion. In pPDA, many quantitative properties are characterized as least fixpoints of polynomial equation systems. In this paper, we study the problem of certifying that these quantities lie within certain bounds. To this end, we first characterize the polynomial systems that admit easy-to-check certificates for validating bounds on their least fixpoint. Second, we present a sound and complete Optimistic Value Iteration algorithm for computing such certificates. Third, we show how certificates for polynomial systems can be transferred to certificates for various quantitative pPDA properties. Experiments demonstrate that our algorithm computes succinct certificates for several intricate example programs as well as stochastic context-free grammars with $> 10^4$ production rules.


title: ATP: Adaptive Tensor Parallelism for Foundation Models

abstract: Foundation models have impressive performance and generalization capabilities across a wide range of applications. The increasing size of the models introduces great challenges for the training. Tensor parallelism is a critical technique that is currently used in almost all foundation model training and has a significant impact on overall training performance. However, current tensor parallelism in machine learning frameworks misses optimization opportunities in fitting various interconnection topologies. In this work, we present ATP, an adaptive tensor parallelism framework for foundation models, which can automatically select the optimal parallel strategy on different interconnections. We propose column- and row-first tensor parallelism based on 2D device meshes and construct a search space. Combined with the hierarchical communication matrix, ATP can identify the optimal strategy in the search space. We also propose chunk-based overlapping to reduce communication overhead. Our evaluations show ATP consistently outperforms the state-of-the-art approaches for various model sizes and interconnects, achieving end-to-end training performance improvements of up to 37-64% on specific interconnects. Based on our theoretical model, the communication overhead of ATP decreases with scaling, indicating a qualitative leap forward.


title: System $F^\mu_\omega$ with Context-free Session Types

abstract: We study increasingly expressive type systems, from $F^\mu$ -- an extension of the polymorphic lambda calculus with equirecursive types -- to $F^{\mu;}_\omega$ -- the higher-order polymorphic lambda calculus with equirecursive types and context-free session types. Type equivalence is given by a standard bisimulation defined over a novel labelled transition system for types. Our system subsumes the contractive fragment of $F^\mu_\omega$ as studied in the literature. Decidability results for type equivalence of the various type languages are obtained from the translation of types into objects of an appropriate computational model: finite-state automata, simple grammars and deterministic pushdown automata. We show that type equivalence is decidable for a significant fragment of the type language. We further propose a message-passing, concurrent functional language equipped with the expressive type language and show that it enjoys preservation and absence of runtime errors for typable processes.


title: A Big-Data Driven Framework to Estimating Vehicle Volume based on Mobile Device Location Data

abstract: Vehicle volume serves as a critical metric and the fundamental basis for traffic signal control, transportation project prioritization, road maintenance plans and more. Traditional methods of quantifying vehicle volume rely on manual counting, video cameras, and loop detectors at a limited number of locations. These efforts require significant labor and cost for expansions. Researchers and private sector companies have also explored alternative solutions such as probe vehicle data, while still suffering from a low penetration rate. In recent years, along with the technological advancement in mobile sensors and mobile networks, Mobile Device Location Data (MDLD) have been growing dramatically in terms of the spatiotemporal coverage of the population and its mobility. This paper presents a big-data driven framework that can ingest terabytes of MDLD and estimate vehicle volume at a larger geographical area with a larger sample size. The proposed framework first employs a series of cloud-based computational algorithms to extract multimodal trajectories and trip rosters. A scalable map matching and routing algorithm is then applied to snap and route vehicle trajectories to the roadway network. The observed vehicle counts on each roadway segment are weighted and calibrated against ground truth control totals, i.e., Annual Vehicle-Miles of Travel (AVMT), and Annual Average Daily Traffic (AADT). The proposed framework is implemented on the all-street network in the state of Maryland using MDLD for the entire year of 2019. Results indicate that our proposed framework produces reliable vehicle volume estimates and also demonstrate its transferability and the generalization ability.