title: Isolation and Phase-Space Energization Analysis of the Instabilities in Collisionless Shocks

abstract: We analyze the generation of kinetic instabilities and their effect on the energization of ions in non-relativistic, oblique collisionless shocks using a 3D-3V simulation by $\texttt{dHybridR}$, a hybrid particle-in-cell code. At sufficiently high Mach number, quasi-perpendicular and oblique shocks can experience rippling of the shock surface caused by kinetic instabilities arising from free energy in the ion velocity distribution due to the combination of the incoming ion beam and the population of ions reflected at the shock front. To understand the role of the ripple on particle energization, we devise the new instability isolation method to identify the unstable modes underlying the ripple and interpret the results in terms of the governing kinetic instability. We generate velocity-space signatures using the field-particle correlation technique to look at energy transfer in phase space from the isolated instability driving the shock ripple, providing a viewpoint on the different dynamics of distinct populations of ions in phase space. We generate velocity-space signatures of the energy transfer in phase space of the isolated instability driving the shock ripple using the field-particle correlation technique. Together, the field-particle correlation technique and our new instability isolation method provide a unique viewpoint on the different dynamics of distinct populations of ions in phase space and allow us to completely characterize the energetics of the collisionless shock under investigation.


title: MuSFA: Improving Music Structural Function Analysis with Partially Labeled Data

abstract: Music structure analysis (MSA) systems aim to segment a song recording into non-overlapping sections with useful labels. Previous MSA systems typically predict abstract labels in a post-processing step and require the full context of the song. By contrast, we recently proposed a supervised framework, called "Music Structural Function Analysis" (MuSFA), that models and predicts meaningful labels like 'verse' and 'chorus' directly from audio, without requiring the full context of a song. However, the performance of this system depends on the amount and quality of training data. In this paper, we propose to repurpose a public dataset, HookTheory Lead Sheet Dataset (HLSD), to improve the performance. HLSD contains over 18K excerpts of music sections originally collected for studying automatic melody harmonization. We treat each excerpt as a partially labeled song and provide a label mapping, so that HLSD can be used together with other public datasets, such as SALAMI, RWC, and Isophonics. In cross-dataset evaluations, we find that including HLSD in training can improve state-of-the-art boundary detection and section labeling scores by ~3% and ~1% respectively.


title: A Visual Active Search Framework for Geospatial Exploration

abstract: Many problems can be viewed as forms of geospatial search aided by aerial imagery, with examples ranging from detecting poaching activity to human trafficking. We model this class of problems in a visual active search (VAS) framework, which has three key inputs: (1) an image of the entire search area, which is subdivided into regions, (2) a local search function, which determines whether a previously unseen object class is present in a given region, and (3) a fixed search budget, which limits the number of times the local search function can be evaluated. The goal is to maximize the number of objects found within the search budget. We propose a reinforcement learning approach for VAS that learns a meta-search policy from a collection of fully annotated search tasks. This meta-search policy is then used to dynamically search for a novel target-object class, leveraging the outcome of any previous queries to determine where to query next. Through extensive experiments on several large-scale satellite imagery datasets, we show that the proposed approach significantly outperforms several strong baselines. We also propose novel domain adaptation techniques that improve the policy at decision time when there is a significant domain gap with the training data. Code is publicly available.


title: Spectrum of the $\bar{\partial}$-Laplace operator on zero forms for the quantum quadric $\mathcal{O}_q(\textbf{Q}_N)$

abstract: We study the Laplacian operator $\Delta_{\bar{\partial}}$ associated to a K\"ahler structure $(\Omega^{(\bullet, \bullet)}, \kappa)$ for the Heckenberger--Kolb differential calculus of the quantum quadrics $\mathcal{O}_q(\textbf{Q}_N)$, which is to say, the irreducible quantum flag manifolds of types $B_n$ and $D_n$. We show that the eigenvalues of $\Delta_{\bar{\partial}}$ on zero forms tend to infinity and have finite multiplicity.


title: Handling Image and Label Resolution Mismatch in Remote Sensing

abstract: Though semantic segmentation has been heavily explored in vision literature, unique challenges remain in the remote sensing domain. One such challenge is how to handle resolution mismatch between overhead imagery and ground-truth label sources, due to differences in ground sample distance. To illustrate this problem, we introduce a new dataset and use it to showcase weaknesses inherent in existing strategies that naively upsample the target label to match the image resolution. Instead, we present a method that is supervised using low-resolution labels (without upsampling), but takes advantage of an exemplar set of high-resolution labels to guide the learning process. Our method incorporates region aggregation, adversarial learning, and self-supervised pretraining to generate fine-grained predictions, without requiring high-resolution annotations. Extensive experiments demonstrate the real-world applicability of our approach.


title: Continuous wave multi-pass imaging flow cytometry

abstract: We present a wide-field multi-pass implementation of label-free imaging flow cytometry. Our technique is shown for high-speed flow imaging of ensembles of human red blood cells with up to four passes, demonstrating x4 enhancement in contrast and signal-to-noise. We show that our technique approaches close to the quantum limit of measurement sensitivity, extending the range of optimal imaging to samples in the weakly absorbing regime. This allows for near optimal imaging sensitivity and throughput in a practical scenario of imaging a dynamic sample under limited illumination intensity, surpassing the sensitivity achieved with currently available quantum light sources.


title: Provably Efficient Model-free RL in Leader-Follower MDP with Linear Function Approximation

abstract: We consider a multi-agent episodic MDP setup where an agent (leader) takes action at each step of the episode followed by another agent (follower). The state evolution and rewards depend on the joint action pair of the leader and the follower. Such type of interactions can find applications in many domains such as smart grids, mechanism design, security, and policymaking. We are interested in how to learn policies for both the players with provable performance guarantee under a bandit feedback setting. We focus on a setup where both the leader and followers are {\em non-myopic}, i.e., they both seek to maximize their rewards over the entire episode and consider a linear MDP which can model continuous state-space which is very common in many RL applications. We propose a {\em model-free} RL algorithm and show that $\tilde{\mathcal{O}}(\sqrt{d^3H^3T})$ regret bounds can be achieved for both the leader and the follower, where $d$ is the dimension of the feature mapping, $H$ is the length of the episode, and $T$ is the total number of steps under the bandit feedback information setup. Thus, our result holds even when the number of states becomes infinite. The algorithm relies on {\em novel} adaptation of the LSVI-UCB algorithm. Specifically, we replace the standard greedy policy (as the best response) with the soft-max policy for both the leader and the follower. This turns out to be key in establishing uniform concentration bound for the value functions. To the best of our knowledge, this is the first sub-linear regret bound guarantee for the Markov games with non-myopic followers with function approximation.


title: Oxygen line in fireball spectra and its application to satellite observations

abstract: Aims. Lightning mapper sensors on board weather satellites can be successfully used to observe fireballs. These sensors use a very narrow spectral band at 777nm, which is only a small fraction of the total fireball radiation. In this spectral band, the oxygen O I-1 triplet is dominant for fast meteors and the Planck continuum can prevail in slow meteors. It is possible to estimate the meteor brightness in the visible spectral range from this narrowband radiation, but it is vital to first study the dependence of this radiation on the meteor velocity. Methods. We used observations from the well-established European Fireball Network with newly developed digital spectral cameras that allowed us to study the oxygen triplet in meteor spectra and its relation to the meteor velocity and altitude. In addition, we studied strong magnesium and sodium lines. Results. We developed a method for calibration of fireball observation reported by Geostationary Lightning Mapper (GLM) sensors on board the Geostationary Operational Environmental Satellite (GOES) weather satellites. We confirm that in slow meteors, the radiation of the Planck continuum dominates, but for faster meteors, a correction on velocity is needed. We observe that the altitude where the oxygen line was recorded can also affect the radiation at 777 nm. In addition, determining whether or not the meteor showed a bright flare could also lead to a similar effect. Thus, the meteor brightness estimate may be impacted by these characteristics. We derived simple corrections on the altitude and on the meteor brightness that helped to improve the overall precision of the magnitude estimate of our sample. This allowed us to estimate the magnitude of meteors observed by GLM with an accuracy of ~ 1 in magnitude. The Na/Mg line intensity ratio was found to be constant for velocities above 25 km/s and increasing toward lower velocities.


title: The initial spin distribution of B-type stars revealed by the split main sequences of young star clusters

abstract: Spectroscopic observations of stars in young open clusters have revealed evidence for a dichotomous distribution of stellar rotational velocities, with 10-30% of stars rotating slowly and the remaining 70-90% rotating fairly rapidly. At the same time, high-precision multiband photometry of young star clusters shows a split main sequence band, which is again interpreted as due to a spin dichotomy. Recent papers suggest that extreme rotation is required to retrieve the photometric split. Our new grids of MESA models and the prevalent SYCLIST models show, however, that initial slow (0-35% of the linear Keplerian rotation velocities) and intermediate (50-65% of the Keplerian rotation velocities) rotation are adequate to explain the photometric split. These values are consistent with the recent spectroscopic measurements of cluster and field stars, and are likely to reflect the birth spin distributions of upper main-sequence stars. A fraction of the initially faster-rotating stars may be able to reach near-critical rotation at the end of their main-sequence evolution and produce Be stars in the turn-off region of young star clusters. However, we find that the presence of Be stars up to two magnitudes below the cluster turnoff advocates for a crucial role of binary interaction in creating Be stars. We argue that surface chemical composition measurements may help distinguish these two Be star formation channels. While only the most rapidly rotating, and therefore nitrogen-enriched, single stars can evolve into Be stars, slow pre-mass-transfer rotation and inefficient accretion allows for mild or no enrichment even in critically rotating accretion-induced Be stars. Our results shed new light on the origin of the spin distribution of young and evolved B-type main sequence stars.


title: Adding Workflow Management Flexibility to LSST Pipelines Execution

abstract: Data processing pipelines need to be executed at scales ranging from small runs up through large production data release runs resulting in millions of data products. As part of the Rubin Observatory's pipeline execution system, BPS is the abstraction layer that provides an interface to different Workflow Management Systems (WMS) such as HTCondor and PanDA. During the submission process, the pipeline execution system interacts with the Data Butler to produce a science-oriented execution graph from algorithmic tasks. BPS converts this execution graph to a workflow graph and then uses a WMS-specific plugin to submit and manage the workflow. Here we will discuss the architectural design of this interface and report briefly on the recent production of the Data Preview 0.2 release and how the system is used by pipeline developers.


title: On powers of the cover ideals of graphs

abstract: For a simple graph $G$, assume that $J(G)$ is the vertex cover ideal of $G$ and $J(G)^{(s)}$ is the $s$-th symbolic power of $J(G)$. We prove that $(J(C)^{(s)})=(J(C)^s)$ for all $s\geq 1$ and for all odd cycle $C$. For a simplicial complex $\Delta$, we show that $\Delta$ is vertex decomposable if $I_{\Delta}^{\vee}$ is weakly polymatroidal. Let $W=G^{\pi}$ be a fully clique-whiskering graph, we prove that $J(W)^s$ is weakly polymatroidal for all $s\geq 1$.


title: A ductility metric for refractory-based multi-principal-element alloys

abstract: We propose a quantum-mechanical dimensionless metric, the local$-$lattice distortion (LLD), as a reliable predictor of ductility in refractory multi-principal-element alloys (RMPEAs). The LLD metric is based on electronegativity differences in localized chemical environments and combines atomic$-$scale displacements due to local lattice distortions with a weighted average of valence$-$electron count. To evaluate the effectiveness of this metric, we examined body$-$centered cubic (bcc) refractory alloys that exhibit ductile$-$to$-$brittle behavior. Our findings demonstrate that local$-$charge behavior can be tuned via composition to enhance ductility in RMPEAs. With finite$-$sized cell effects eliminated, the LLD metric accurately predicted the ductility of arbitrary alloys based on tensile$-$elongation experiments. To validate further, we qualitatively evaluated the ductility of two refractory RMPEAs, i.e., NbTaMoW and Mo$_{72}$W$_{13}Ta$_{10}Ti$_{2.5}Zr$_{2.5}, through the observation of crack formation under indentation, again showing excellent agreement with LLD predictions. A comparative study of three refractory alloys provides further insights into the electronic-structure origin of ductility in refractory RMPEAs. This proposed metric enables rapid and accurate assessment of ductility behavior in the vast RMPEA composition space.


title: Entropy engineering and tunable magnetic order in the spinel high entropy oxide

abstract: Spinel oxides are an ideal setting to explore the interplay between configurational entropy, site selectivity, and magnetism in high entropy oxides. In this work we characterize the magnetic properties of the spinel (Cr,Mn,Fe,Co,Ni)$_3$O$_4$ and study the evolution of its magnetism as a function of non-magnetic gallium substitution. Across the range of compositions studied here, from 0% to 40% Ga, magnetic susceptibility and powder neutron diffraction measurements show that ferrimagnetic order is robust in the spinel HEO. However, we also find that the ferrimagnetic order is highly tunable, with the ordering temperature, saturated and sublattice moments, and magnetic hardness all varying significantly as a function of Ga concentration. Through x-ray absorption and magnetic circular dichroism, we are able to correlate this magnetic tunability with strong site selectivity between the various cations and the tetrahedral and octahedral sites in the spinel structure. In particular, we find that while Ni and Cr are largely unaffected by the substitution with Ga, the occupancies of Mn, Co, and Fe are each significantly redistributed. Ga substitution also requires an overall reduction in the transition metal valence, and this is entirely accommodated by Mn. Finally, we show that while site selectivity has an overall suppressing effect on the configurational entropy, over a certain range of compositions, Ga substitution yields a striking increase in the configurational entropy and may confer additional stabilization. Spinel oxides can be tuned seamlessly from the low-entropy to the high-entropy regime, making this an ideal platform for entropy engineering.


title: Spin contribution to the inverse Faraday effect of non-magnetic metals

abstract: We formulate the spin contribution to the inverse Faraday effect of non-magnetic metals. We deal with the role of the inversion symmetry, which forces all electronic bands to be at least twice degenerate at every point in the Brillouin zone. We show both analytically and numerically that our formulation of the inverse Faraday effect is invariant under unitary rotation within the doubly degenerate set of bands. In addition, we show the importance of resonance-like features in the band structure for the inverse Faraday effect. Our first-principles computed spin component of the inverse Faraday effect in a simple metal such as Au is reminiscent of its optical absorption, with a characteristic d-s resonance in the optical spectrum.


title: The role of stellar expansion on the formation of gravitational wave sources

abstract: Massive stars are the progenitors of black holes and neutron stars, the mergers of which can be detected with gravitational waves (GW). The expansion of massive stars is one of the key factors affecting their evolution in close binary systems, but it remains subject to large uncertainties in stellar astrophysics. For population studies and predictions of GW sources, the stellar expansion is often simulated with the analytic formulae from Hurley et al. (2000). These formulae need to be extrapolated for stars beyond 50 solar masses and are often considered outdated. In this work we present five different prescriptions developed from 1D stellar models to constrain the maximum expansion of massive stars. We adopt these prescriptions to investigate how stellar expansion affects mass transfer interactions and in turn the formation of GW sources. We show that limiting radial expansion with updated 1D stellar models, when compared to the use of Hurley et al. (2000) radial expansion formulae, does not significantly affect GW source properties (rates and masses). This is because most mass transfer events leading to GW sources are initialised before the donor star reaches its maximum expansion. The only significant difference was found for the mass distribution of massive binary black hole mergers (total mass > 50 solar masses) formed from stars that may evolve beyond the Humphreys-Davidson limit, whose radial expansion is the most uncertain. We conclude that understanding the expansion of massive stars and the origin of the Humphrey-Davidson limit is a key factor for the study of GW sources.


title: Parametric amplification of electromagnetic plasma waves in resonance with a dispersive background gravitational wave

abstract: It is shown that a sub-luminal electromagnetic plasma wave, propagating in phase with a background sub-luminal gravitational wave in a dispersive medium, can undergo parametric amplification. For this phenomena to occur, the dispersive characteristics of the two waves must properly match. The response frequencies of the two waves (medium dependent) must lie within a definite and restrictive range. The combined dynamics is represented by a Whitaker-Hill equation, the quintessential model for parametric instabilities. The exponential growth of the electromagnetic wave is displayed at the resonance; the plasma wave grows at the expense of the background gravitational wave. Different physical scenarios, where the phenomenon can be possible, are discussed.


title: Exact Lagrangians in the cotangent bundle of a sphere and a torus

abstract: It is known that any closed, exact Lagrangian in the cotangent bundle of a closed, smooth manifold is of the same homotopy type as the zero section. In this paper, we give a Fukaya-theoretic proof of this fact for the sphere and torus to review and demonstrate some of the homological algebra techniques in symplectic geometry.


title: Transverse momentum broadening of medium-induced cascades in expanding media

abstract: In this work, we explore the features of gluonic cascades in static and Bjorken expanding media by numerically solving the full BDIM evolution equations in longitudinal momentum fraction $x$ and transverse momentum $\boldsymbol{k}$ using the Monte Carlo event generator MINCAS. Confirming the scaling of the energy spectra at low-$x$, discovered in earlier works, we use this insight to compare the amount of broadening in static and expanding media. We compare angular distributions for the in-cone radiation for different medium profiles with the effective scaling laws and conclude that the out-of-cone energy loss proceeds via the radiative break-up of hard fragments, followed by an angular broadening of soft fragments. While the dilution of the medium due to expansion significantly affects the broadening of the leading fragments, we provide evidence that in the low-$x$ regime, which is responsible for most of the gluon multiplicity in the cascade, the angular distributions are very similar when comparing different medium profiles at an equivalent, effective in-medium path length. This is mainly due to the fact that in this regime, the broadening is dominated by multiple splittings. Finally, we discuss the impact of our results on the phenomenological description of the out-of-cone radiation and jet quenching.


title: Towards faster settlement in HTLC-based Cross-Chain Atomic Swaps

abstract: Hashed Timelock (HTLC)-based atomic swap protocols enable the exchange of coins between two or more parties without relying on a trusted entity. This protocol is like the American call option without premium. It allows the finalization of a deal within a certain period. This puts the swap initiator at liberty to delay before deciding to proceed with the deal. If she finds the deal unprofitable, she just waits for the time-period of the contract to elapse. However, the counterparty is at a loss since his assets remain locked in the contract. The best he can do is to predict the initiator's behavior based on the asset's price fluctuation in the future. But it is difficult to predict as cryptocurrencies are quite volatile, and their price fluctuates abruptly. We perform a game theoretic analysis of HTLC-based atomic cross-chain swap to predict whether a swap will succeed or not. From the strategic behavior of the players, we infer that this model lacks fairness. We propose Quick Swap, a two-party protocol based on hashlock and timelock that fosters faster settlement of the swap. The parties are required to lock griefing-premium along with the principal amount. If the party griefs, he ends up paying the griefing-premium. If a party finds a deal unfavorable, he has the provision to cancel the swap. We prove that Quick Swap is more participant-friendly than HTLC-based atomic swap. Our work is the first to propose a protocol to ensure fairness of atomic-swap in a cyclic multi-party setting.


title: Theory advances for $t\bar{t}W$ multi-lepton predictions

abstract: We report on recent theoretical advances in the description of the $pp\to t\bar{t}W$ process. First, we discuss a comparison of many state-of-the-art predictions for multi-lepton signatures including the leading QCD contributions at $\mathcal{O}(\alpha_s^3\alpha^6)$ as well as subleading EW contributions at $\mathcal{O}(\alpha_s\alpha^8)$. Furthermore, we briefly discuss recent improvements using multi-jet merging techniques.


title: Tuning the Band Topology of GdSb by Epitaxial Strain

abstract: Rare-earth monopnictide (RE-V) semimetal crystals subjected to hydrostatic pressure have shown interesting trends in magnetoresistance, magnetic ordering, and superconductivity, with theory predicting pressure-induced band inversion. Yet, thus far, there have been no direct experimental reports of interchanged band order in RE-Vs due to strain. This work studies the evolution of band topology in biaxially strained GdSb (001) epitaxial films using angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT). We find that biaxial strain continuously tunes the electronic structure from topologically trivial to nontrivial, reducing the gap between the hole and the electron bands dispersing along the [001] direction. The conduction and valence band shifts seen in DFT and ARPES measurements are explained by a tight-binding model that accounts for the orbital symmetry of each band. Finally, we discuss the effect of biaxial strain on carrier compensation and magnetic ordering temperature.


title: Using a Conditional Generative Adversarial Network to Control the Statistical Characteristics of Generated Images for IACT Data Analysis

abstract: Generative adversarial networks are a promising tool for image generation in the astronomy domain. Of particular interest are conditional generative adversarial networks (cGANs), which allow you to divide images into several classes according to the value of some property of the image, and then specify the required class when generating new images. In the case of images from Imaging Atmospheric Cherenkov Telescopes (IACTs), an important property is the total brightness of all image pixels (image size), which is in direct correlation with the energy of primary particles. We used a cGAN technique to generate images similar to whose obtained in the TAIGA-IACT experiment. As a training set, we used a set of two-dimensional images generated using the TAIGA Monte Carlo simulation software. We artificiallly divided the training set into 10 classes, sorting images by size and defining the boundaries of the classes so that the same number of images fall into each class. These classes were used while training our network. The paper shows that for each class, the size distribution of the generated images is close to normal with the mean value located approximately in the middle of the corresponding class. We also show that for the generated images, the total image size distribution obtained by summing the distributions over all classes is close to the original distribution of the training set. The results obtained will be useful for more accurate generation of realistic synthetic images similar to the ones taken by IACTs.


title: Arboreal Categories and Equi-resource Homomorphism Preservation Theorems

abstract: The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a first-order sentence $\phi$ is preserved under homomorphisms between structures if, and only if, it is equivalent to an existential positive sentence $\psi$. Given a notion of (syntactic) complexity of sentences, an "equi-resource" homomorphism preservation theorem improves on the classical result by ensuring that $\psi$ can be chosen so that its complexity does not exceed that of $\phi$. We describe an axiomatic approach to equi-resource homomorphism preservation theorems based on the notion of arboreal category. This framework is then employed to establish novel homomorphism preservation results, and improve on known ones, for various logic fragments, including first-order, guarded and modal logics.


title: On the Utility Recovery Incapability of Neural Net-based Differential Private Tabular Training Data Synthesizer under Privacy Deregulation

abstract: Devising procedures for auditing generative model privacy-utility tradeoff is an important yet unresolved problem in practice. Existing works concentrates on investigating the privacy constraint side effect in terms of utility degradation of the train on synthetic, test on real paradigm of synthetic data training. We push such understanding on privacy-utility tradeoff to next level by observing the privacy deregulation side effect on synthetic training data utility. Surprisingly, we discover the Utility Recovery Incapability of DP-CTGAN and PATE-CTGAN under privacy deregulation, raising concerns on their practical applications. The main message is Privacy Deregulation does NOT always imply Utility Recovery.


title: Practical Challenges in Indoor Mobile Recommendation

abstract: Recommendation systems are present in multiple contexts as e-commerce, websites, and media streaming services. As scenarios get more complex, techniques and tools have to consider a number of variables. When recommending services/products to mobile users while they are in indoor environments next to the object of the recommendation, variables as location, interests, route, and interaction logs also need to be taken into account. In this context, this work discusses the practical challenges inherent to the context of indoor mobile recommendation (e.g., mall, parking lot, museum, among others) grounded on a case and a systematic review. With the presented results, one expects to support practitioners in the task of defining the proper approach, technology, and notification method when recommending services/products to mobile users in indoor environments.


title: Surface Acoustic Wave Cavity Optomechanics with WSe$_2$ Single Photon Emitters

abstract: Surface acoustic waves (SAWs) are a versatile tool for coherently interfacing with a variety of solid-state quantum systems spanning microwave to optical frequencies, including superconducting qubits, spins, and quantum emitters. Here, we demonstrate SAW cavity optomechanics with quantum emitters in 2D materials, specifically monolayer WSe$_2$, on a planar lithium niobate SAW resonator driven by superconducting electronics. Using steady-state photoluminescence spectroscopy and time-resolved single-photon counting, we map the temporal dynamics of modulated 2D emitters under coupling to different SAW cavity modes, showing energy-level splitting consistent with deformation potential coupling of 30 meV/%. We leverage the large anisotropic strain from the SAW to modulate the excitonic fine-structure splitting on a nanosecond timescale, which may find applications for on-demand entangled photon-pair generation from 2D materials. Cavity optomechanics with SAWs and 2D quantum emitters provides opportunities for compact sensors and quantum electro-optomechanics in a multi-functional integrated platform that combines phononic, optical, and superconducting electronic quantum systems.


title: EMReact: A Tool for Modelling Electromagnetic Field Induced Effects in Chemical Reactions by Solving the Discrete Stochastic Master Equation

abstract: The effects of electromagnetic fields (EMF) have been widely debated concerning their role in chemical reactions. Reactions usually took hours or days to complete, and have been shown to happen a thousand times faster using EMF radiations. This work develops a formalism and a computer program to evaluate and quantify the EMF effects in chemical reactions. The master equation employed in this program solves the internal energy of the reaction under EMFs while including collisional effects. Multiphoton absorption and emission are made possible with the transitioning energy close to the EMF and are influenced by the dielectric properties of the system. Dimethyl Sulfoxide and Benzyl Chloride are simulated under different EMF intensities. The results show that EMF absorption is closely related to the collisional redistribution of energy in molecules. The EMF effect can be interpreted as a shift of the thermodynamic equilibrium. Under such nonequilibrium energy distribution, the "temperature" is not a reliable quantity for defining the state of the system.


title: Vertical Airborne Wind Energy Farms with High Power Density per Ground Area based on Multi-Aircraft Systems

abstract: This paper proposes and simulates vertical airborne wind energy (AWE) farms based on multi-aircraft systems with high power density (PD) per ground area. These farms consist of many independently ground located systems that are flying at the same inclination angle, but with different tether lengths, such that all aircraft fly in a large planar elliptical area that is vertical to the tethers. The individual systems are assigned non-overlapping flight cylinders depending on the wind direction. Detailed calculations that take into account Betz' limit, assuming a cubically averaged wind power density of 7 m/s, give a potential yearly average PD of 43 MW/km$^2$. A conventional wind farm with typical packing density would yield a PD of 2.4 MW/km$^2$ in the same wind field. More refined simulations using optimal control result in a more modest PD of 6 MW/km$^2$ for practically recommended flight trajectories. This PD can already be achieved with small-scale aircraft with a wing span of 5.5 m. The simulations additionally show that the achievable PD is more than an order of magnitude higher than for a single-aircraft AWE system with the same wing span.


title: A Cartesian-octree adaptive front-tracking solver for immersed biological capsules in large complex domains

abstract: We present an open-source adaptive front-tracking solver for biological capsules in viscous flows. The membrane elastic and bending forces are solved on a Lagrangian triangulation using a linear Finite Element Method and a paraboloid fitting method. The fluid flow is solved on an octree adaptive grid using the open-source platform Basilisk. The Lagrangian and Eulerian grids communicate using an Immersed Boundary Method by means of Peskin-like regularized Dirac delta functions. We demonstrate the accuracy of our solver with extensive validations: in Stokes conditions against the Boundary Integral Method, and in the presence of inertia against similar (but not adaptive) front-tracking solvers. Excellent qualitative and quantitative agreements are shown. We then demonstrate the robustness of the present solver in a challenging case of extreme membrane deformation, and illustrate its capability to simulate inertial capsule-laden flows in complex STL-defined geometries, opening the door for bioengineering applications featuring large three-dimensional channel structures. The source code and all the test cases presented in this paper are freely available.


title: Estimating the Number of Molecules in Molecular Junctions Merely Based on the Low Bias Tunneling Conductance at Variable Temperature

abstract: Temperature ($T$) dependent conductance $G = G(T)$ data measured in molecular junctions are routinely taken as evidence for a two-step hopping mechanism. The present paper emphasizes that this is not necessarily the case. A curve of $\ln G$ versus $1/T$ decreasing almost linearly (Arrhenius-like regime) and eventually switching to a nearly horizontal plateau (Sommerfeld regime), or possessing a slope gradually decreasing with increasing $1/T$ is fully compatible with a single-step tunneling mechanism. The results for the dependence of $G$ on $T$ presented include both analytical exact and accurate approximate formulas and numerical simulations. These theoretical results are general, also in the sense that they are not limited, e.g., to the (single molecule electromigrated (SET) or large area EGaIn) fabrication platforms, which are chosen for exemplification merely in view of the available experimental data needed for analysis. To be specific, we examine in detail transport measurements for molecular junctions based on ferrocene (Fc). As a particularly important finding, we show how the present analytic formulas for $G=G(T)$ can be utilized to compute the ratio $f = A_{\text{eff}} / A_n$ between the effective and nominal areas of large area Fc-based junctions with an EGaIn top electrode. Our estimate of $f\approx 0.6 \times 10^{-4}$ is comparable with previously reported values \ib{based on completely different methods} for related large area molecular junctions.


title: The XQR-30 Metal Absorber Catalog: 778 Absorption Systems Spanning 2 < z < 6.5

abstract: Intervening metal absorption lines in the spectra of z > 6 quasars are fundamental probes of the ionization state and chemical composition of circumgalactic and intergalactic gas near the end of the reionization epoch. Large absorber samples are required to robustly measure typical absorber properties and to refine models of the synthesis, transport, and ionization of metals in the early Universe. The "Ultimate XSHOOTER legacy survey of quasars at z~5.8-6.6" (XQR-30) has obtained high signal-to-noise spectra of 30 luminous quasars, nearly quadrupling the existing sample of 12 high quality z~6 quasar spectra. We use this unprecedented sample to construct a catalog of 778 systems showing absorption in one or more of MgII (360 systems), FeII (184), CII (46), CIV (479), SiIV (127), and NV (13) which span 2 < z < 6.5. This catalog significantly expands on existing samples of z > 5 absorbers, especially for CIV and SiIV which are important probes of the ionizing photon background at high redshift. The sample is 50% (90%) complete for rest-frame equivalent widths W > 0.03AA (0.09AA). We publicly release the absorber catalog along with completeness statistics and a Python script to compute the absorption search path for different ions and redshift ranges. This dataset is a key legacy resource for studies of enriched gas from the era of galaxy assembly to cosmic noon, and paves the way for even higher redshift studies with the James Webb Space Telescope and 30m-class telescopes.


title: COVID-19 Classification Using Deep Learning Two-Stage Approach

abstract: In this paper, deep-learning-based approaches namely fine-tuning of pretrained convolutional neural networks (VGG16 and VGG19), and end-to-end training of a developed CNN model, have been used in order to classify X-Ray images into four different classes that include COVID-19, normal, opacity and pneumonia cases. A dataset containing more than 20,000 X-ray scans was retrieved from Kaggle and used in this experiment. A two-stage classification approach was implemented to be compared to the one-shot classification approach. Our hypothesis was that a two-stage model will be able to achieve better performance than a one-shot model. Our results show otherwise as VGG16 achieved 95% accuracy using one-shot approach over 5-fold of training. Future work will focus on a more robust implementation of the two-stage classification model Covid-TSC. The main improvement will be allowing data to flow from the output of stage-1 to the input of stage-2, where stage-1 and stage-2 models are VGG16 models fine-tuned on the Covid-19 dataset.


title: A classification of prime graphs of pseudo-solvable groups

abstract: The prime graph $\Gamma(G)$ of a finite group $G$ (also known as the Gruenberg-Kegel graph) has as its vertices the prime divisors of $|G|$, and $p\text-q$ is an edge in $\Gamma(G)$ if and only if $G$ has an element of order $pq$. Since their inception in the 1970s these graphs have been studied extensively; however, completely classifying the possible prime graphs for larger families of groups remains a difficult problem. For solvable groups such a classification was found in 2015. In this paper we go beyond solvable groups for the first time and characterize prime graphs of a more general class of groups we call pseudo-solvable. These are groups whose composition factors are either cyclic or $A_5$. The classification is based on two conditions: the vertices $\{2,3,5\}$ form a triangle in $\overline\Gamma(G)$ or $\{p,3,5\}$ form a triangle for some prime $p\neq 2$.


title: Partition universality for graphs of bounded degeneracy and degree

abstract: We prove asymptotically optimal bounds on the number of edges a graph $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $D$-degenerate graph on $n$ vertices with bounded maximum degree. We also improve the upper bounds on the number of edges $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $n$-vertex graph with maximum degree $\Delta$, for each $\Delta\ge 4$. In both cases, we show that a binomial random graph with $Cn$ vertices and a suitable edge probability is likely to provide the desired $G$.


title: An Elastic Quartic Twist Theory for Chromonic Liquid Crystals

abstract: Chromonic liquid crystals are lyotropic materials which are attracting growing interest for their adapatbility to living systems. To describe their elastic properties, the classical Oseen-Frank theory requires anomalously small twist constants and (comparatively) large saddle-splay constants, so large as to violate one of Ericksen's inequalities, which guarantee that the Oseen-Frank stored-energy density is bounded below. While such a violation does not prevent the existence and stability of equilibrium distortions in problems with fixed geometric confinement, the study of free-boundary problems for droplets has revealed a number of paradoxical consequences. Minimizing sequences driving the total energy to negative infinity have been constructed by employing ever growing needle-shaped tactoids incorporating a diverging twist [Phy. Rev. E 106, 044703 (2022)]. To overcome these difficulties, we propose here a novel elastic theory that extends for chromonics the classical Oseen-Frank stored energy by adding a quartic twist term. We show that the total energy of droplets is bounded below in the quartic twist theory, so that the known paradoxes are ruled out. The quartic term introduces a phenomenological length $a$ in the theory; this affects the equilibrium of chromonics confined within capillary tubes. Use of published experimental data allows us to estimate $a$.


title: Note on stability of an abstract coupled hyperbolic-parabolic system: singular case

abstract: In this paper we try to complete the stability analysis for an abstract system of coupled hyperbolic and parabolic equations $$ \left\{ \begin{array}{lll} \ds u_{tt} + Au - A^\alpha w = 0, \\ w_t + A^\alpha u_t + A^\beta w = 0,\\ u(0) = u_0, u_t(0) = u_1, w(0) = w_0, \end{array} \right. $$ where $A$ is a self-adjoint, positive definite operator on a complex Hilbert space $H$, and $(\alpha, \beta) \in [0,1] \times [0,1]$, which is considered in \cite{Amk}, and after, in \cite{liu1}. Our contribution is to identify a fine scale of polynomial stability of the solution in the region $ S_3: = \left\{(\alpha,\beta) \in [0,1] \times [0,1]; \, \beta < 2\alpha -1 \right\}$ taking into account the presence of a singularity at zero.


title: A Note on the Asymptotic Expansion of Matrix Coefficients over $p$-adic Fields

abstract: In this note, presented as a ``community service", followed by the PhD research of the author, we draw the relation between Casselman's theorem regarding the asymptotic behavior of matrix coefficients of reductive algebraic groups over $p$-adic fields and its expression as a finite sum of finite functions. In addition, we write the expansion explicitly for general linear groups.


title: Personalized Reward Learning with Interaction-Grounded Learning (IGL)

abstract: In an era of countless content offerings, recommender systems alleviate information overload by providing users with personalized content suggestions. Due to the scarcity of explicit user feedback, modern recommender systems typically optimize for the same fixed combination of implicit feedback signals across all users. However, this approach disregards a growing body of work highlighting that (i) implicit signals can be used by users in diverse ways, signaling anything from satisfaction to active dislike, and (ii) different users communicate preferences in different ways. We propose applying the recent Interaction Grounded Learning (IGL) paradigm to address the challenge of learning representations of diverse user communication modalities. Rather than requiring a fixed, human-designed reward function, IGL is able to learn personalized reward functions for different users and then optimize directly for the latent user satisfaction. We demonstrate the success of IGL with experiments using simulations as well as with real-world production traces.


title: CLAS: Coordinating Multi-Robot Manipulation with Central Latent Action Spaces

abstract: Multi-robot manipulation tasks involve various control entities that can be separated into dynamically independent parts. A typical example of such real-world tasks is dual-arm manipulation. Learning to naively solve such tasks with reinforcement learning is often unfeasible due to the sample complexity and exploration requirements growing with the dimensionality of the action and state spaces. Instead, we would like to handle such environments as multi-agent systems and have several agents control parts of the whole. However, decentralizing the generation of actions requires coordination across agents through a channel limited to information central to the task. This paper proposes an approach to coordinating multi-robot manipulation through learned latent action spaces that are shared across different agents. We validate our method in simulated multi-robot manipulation tasks and demonstrate improvement over previous baselines in terms of sample efficiency and learning performance.


title: First order online optimisation using forward gradients in over-parameterised systems

abstract: The success of deep learning over the past decade mainly relies on gradient-based optimisation and backpropagation. This paper focuses on analysing the performance of first-order gradient-based optimisation algorithms, gradient descent and proximal gradient, with time-varying non-convex cost function under (proximal) Polyak-{\L}ojasiewicz condition. Specifically, we focus on using the forward mode of automatic differentiation to compute gradients in the fast-changing problems where calculating gradients using the backpropagation algorithm is either impossible or inefficient. Upper bounds for tracking and asymptotic errors are derived for various cases, showing the linear convergence to a solution or a neighbourhood of an optimal solution, where the convergence rate decreases with the increase in the dimension of the problem. We show that for a solver with constraints on computing resources, the number of forward gradient iterations at each step can be a design parameter that trades off between the tracking performance and computing constraints.


title: Surrogacy Validation for Time-to-Event Outcomes with Illness-Death Frailty Models

abstract: A common practice in clinical trials is to evaluate a treatment effect on an intermediate endpoint when the true outcome of interest would be difficult or costly to measure. We consider how to validate intermediate endpoints in a causally-valid way when the trial outcomes are time-to-event. Using counterfactual outcomes, those that would be observed if the counterfactual treatment had been given, the causal association paradigm assesses the relationship of the treatment effect on the surrogate $S$ with the treatment effect on the true endpoint $T$. In particular, we propose illness death models to accommodate the censored and semi-competing risk structure of survival data. The proposed causal version of these models involves estimable and counterfactual frailty terms. Via these multi-state models, we characterize what a valid surrogate would look like using a causal effect predictiveness plot. We evaluate the estimation properties of a Bayesian method using Markov Chain Monte Carlo and assess the sensitivity of our model assumptions. Our motivating data source is a localized prostate cancer clinical trial where the two survival endpoints are time to distant metastasis and time to death.


title: A field theory approach to the statistical kinematic dynamo

abstract: Variations in the geomagnetic field occur on a vast range of time scales, from milliseconds to millions of years. The advent of satellite measurements has allowed for detailed studies of the short timescale geomagnetic field behaviour, but understanding the long timescale evolution remains challenging due to the sparsity of the paleomagnetic record. This paper introduces a field theory framework for studying magnetic field generation as a result of stochastic fluid motions. By constructing a stochastic kinematic dynamo model, we derive statistical properties of the magnetic field that may be compared to observations from the paleomagnetic record. The fluid velocity is taken to act as a random forcing obeying Gaussian statistics. Using the Martin-Siggia-Rose-Janssen-de Dominicis (MSRJD) formalism, we compute the average magnetic field response function. From this we obtain an estimate for the turbulent contribution to the magnetic diffusivity, and find that it is consistent with results from mean-field dynamo theory. This framework presents much promise for studying the geomagnetic field in a stochastic context.


title: Potential contributions of Pop III and intermediate-mass Pop II stars to cosmic chemical enrichment

abstract: We propose a semi-analytic model that is developed to understand the cosmological evolution of the mean metallicity in the Universe. In particular, we study the contributions of Population III (Pop III) and Population II (Pop II) stars to the production of $\mathrm{Fe,~Si,~Zn, ~Ni,~P, ~Mg, ~Al, ~S, ~C, ~N}$, and $\mathrm{~O}$. We aim to quantify the roles of two different models in the chemical enrichment of the Universe. The first model (A) considers both stars with Pop III and Pop II yields. For the second model (B), the yields involved are only for Pop II stars. We start by describing the cosmic star formation rate (CSFR) through an adaptation of a scenario developed within the hierarchical scenario of structure formation with a Press-Schechter-like formalism. We adapt the formalism to implement the CSFR to the standard chemical evolution scenario to investigate the course of chemical evolution on a cosmological basis. Calculations start at redshift $z\sim 20$, and we compare the results of our two models with data from damped Lyman-$\alpha$ systems (DLAs), and globular clusters (GCs). Our main results find that metal production in the Universe occurred very early, quickly increasing with the formation of the first stars. When comparing results for [Fe/H] with observations from GCs, yields of Pop II stars are not enough to explain the observed chemical abundances, requiring stars with physical properties similar those expected from Pop III stars. Our semi-analytic model can deliver consistent results for the evolution of cosmic metallicities. Our results show that the chemical enrichment in the early Universe is rapid, and at redshift $\sim 12.5$, the metallicity reaches $10^{-4}\, Z_{\odot}$ for the model that includes Pop III stars. In addition, we explore values for the initial mass function (IMF) within the range $[0.85, 1.85]$.


title: Y-cube model and fractal structure of subdimensional particles on hyperbolic lattices

abstract: Unlike ordinary topological quantum phases, fracton orders are intimately dependent on the underlying lattice geometry. In this work, we study a generalization of the X-cube model, dubbed the Y-cube model, on lattices embedded in $H_2\times S^1$ space, i.e., a stack of hyperbolic planes. The name `Y-cube' comes from the Y-shape of the analog of the X-cube's X-shaped vertex operator. We demonstrate that for certain hyperbolic lattice tesselations, the Y-cube model hosts a new kind of subdimensional particle, treeons, which can only move on a fractal-shaped subset of the lattice. Such an excitation only appears on hyperbolic geometries; on flat spaces treeons becomes either a lineon or a planeon. Intriguingly, we find that for certain hyperbolic tesselations, a fracton can be created by a membrane operator (as in the X-cube model) or by a fractal-shaped operator within the hyperbolic plane.


title: On the multiplicative independence between $n$ and $\lfloor \alpha n\rfloor$

abstract: In this article we investigate different forms of multiplicative independence between the sequences $n$ and $\lfloor n \alpha \rfloor$ for irrational $\alpha$. Our main theorem shows that for a large class of arithmetic functions $a, b \colon \mathbb{N} \to \mathbb{C}$ the sequences $(a(n))_{n \in \mathbb{N}}$ and $(b ( \lfloor \alpha n \rfloor))_{n \in \mathbb{N}}$ are asymptotically uncorrelated. This new theorem is then applied to prove a $2$-dimensional version of the Erd\H{o}s-Kac theorem, asserting that the sequences $(\omega(n))_{n \in \mathbb{N}}$ and $(\omega( \lfloor \alpha n \rfloor)_{n\in \mathbb{N}}$ behave as independent normally distributed random variables with mean $\log\log n$ and standard deviation $\sqrt{ \log \log n}$. Our main result also implies a variation on Chowla's Conjecture asserting that the logarithmic average of $(\lambda(n) \lambda ( \lfloor \alpha n \rfloor))_{n \in \mathbb{N}}$ tends to $0$.


title: New methods derived from energy minimization problems for solving two dimensional discrete dislocation dynamics

abstract: Dislocation dynamic is a typically gradient flow problem, and most of work solves it just as ODE, which means that the interacting energy of dislocations is ignored. We take the interaction energy into account and use it to introduce new methods to speed up the simulation. The non-singular stress field theory is used to make sure that the interacting energy between dislocations is finite and computational, and using this the two dimensional discrete dislocation dynamics can be rewritten into optimal problems. Based on it, the new problems from 2D dislocation dynamics can be solved by conjugate gradient method and other optimal methods. We introduce several methods into dislocation dynamics from the energy point of view and some numerical experiments are presented to compare different numerical methods, which show that the new methods are able to speed up relaxation procedures of dislocation dynamics. Those new approaches help to get the stable states of dislocations more quickly and speed up the simulations of dislocation dynamics.


title: Recursive QAOA outperforms the original QAOA for the MAX-CUT problem on complete graphs

abstract: Quantum approximate optimization algorithms are hybrid quantum-classical variational algorithms designed to approximately solve combinatorial optimization problems such as the MAX-CUT problem. In spite of its potential for near-term quantum applications, it has been known that quantum approximate optimization algorithms have limitations for certain instances to solve the MAX-CUT problem, at any constant level $p$. Recently, the recursive quantum approximate optimization algorithm, which is a non-local version of quantum approximate optimization algorithm, has been proposed to overcome these limitations. However, it has been shown by mostly numerical evidences that the recursive quantum approximate optimization algorithm outperforms the original quantum approximate optimization algorithm for specific instances. In this paper, we analytically prove that the recursive quantum approximate optimization algorithm is more competitive than the original one to solve the MAX-CUT problem for complete graphs with respect to the approximation ratio.


title: Guiding Neural Entity Alignment with Compatibility

abstract: Entity Alignment (EA) aims to find equivalent entities between two Knowledge Graphs (KGs). While numerous neural EA models have been devised, they are mainly learned using labelled data only. In this work, we argue that different entities within one KG should have compatible counterparts in the other KG due to the potential dependencies among the entities. Making compatible predictions thus should be one of the goals of training an EA model along with fitting the labelled data: this aspect however is neglected in current methods. To power neural EA models with compatibility, we devise a training framework by addressing three problems: (1) how to measure the compatibility of an EA model; (2) how to inject the property of being compatible into an EA model; (3) how to optimise parameters of the compatibility model. Extensive experiments on widely-used datasets demonstrate the advantages of integrating compatibility within EA models. In fact, state-of-the-art neural EA models trained within our framework using just 5\% of the labelled data can achieve comparable effectiveness with supervised training using 20\% of the labelled data.


title: OK Computer Analysis: An Audio Corpus Study of Radiohead

abstract: The application of music information retrieval techniques in popular music studies has great promise. In the present work, a corpus of Radiohead songs across their career from 1992 to 2017 are subjected to automated audio analysis. We examine findings from a number of granularities and perspectives, including within song and between song examination of both timbral-rhythmic and harmonic features. Chronological changes include possible career spanning effects for a band's releases such as slowing tempi and reduced brightness, and the timbral markers of Radiohead's expanding approach to instrumental resources most identified with the Kid A and Amnesiac era. We conclude with a discussion highlighting some challenges for this approach, and the potential for a field of audio file based career analysis.


title: Remarks on the inverse Galois problem over function fields

abstract: In this paper, we prove new instances of the inverse Galois problem over global function fields for finite groups of Lie type. This is done by constructing compatible systems of $\ell$-adic Galois representations valued in a semisimple group $G$ using Galois theoretic and automorphic methods, and then proving that the Galois images are maximal for a set of primes of positive density using a classical result of Larsen on Galois images for compatible sytems.


title: On the Envy-free Allocation of Chores

abstract: We study the problem of allocating a set of indivisible chores to three agents, among whom two have additive cost functions, in a fair manner. Two fairness notions under consideration are envy-freeness up to any chore (EFX) and a relaxed notion, namely envy-freeness up to transferring any chore (tEFX). In contrast to the case of goods, the case of chores remain relatively unexplored. In particular, our results constructively prove the existence of a tEFX allocation for three agents if two of them have additive cost functions and the ratio of their highest and lowest costs is bounded by two. In addition, if those two cost functions have identical ordering (IDO) on the costs of chores, then an EFX allocation exists even if the condition on the ratio bound is slightly relaxed. Throughout our entire framework, the third agent is unrestricted besides having a monotone cost function.


title: Survey on Self-Supervised Multimodal Representation Learning and Foundation Models

abstract: Deep learning has been the subject of growing interest in recent years. Specifically, a specific type called Multimodal learning has shown great promise for solving a wide range of problems in domains such as language, vision, audio, etc. One promising research direction to improve this further has been learning rich and robust low-dimensional data representation of the high-dimensional world with the help of large-scale datasets present on the internet. Because of its potential to avoid the cost of annotating large-scale datasets, self-supervised learning has been the de facto standard for this task in recent years. This paper summarizes some of the landmark research papers that are directly or indirectly responsible to build the foundation of multimodal self-supervised learning of representation today. The paper goes over the development of representation learning over the last few years for each modality and how they were combined to get a multimodal agent later.


title: pyhf: pure-Python implementation of HistFactory with tensors and automatic differentiation

abstract: The HistFactory p.d.f. template is per-se independent of its implementation in ROOT and it is useful to be able to run statistical analysis outside of the ROOT, RooFit, RooStats framework. pyhf is a pure-Python implementation of that statistical model for multi-bin histogram-based analysis and its interval estimation is based on the asymptotic formulas of "Asymptotic formulae for likelihood-based tests of new physics". pyhf supports modern computational graph libraries such as TensorFlow, PyTorch, and JAX in order to make use of features such as auto-differentiation and GPU acceleration. In addition, pyhf's JSON serialization specification for HistFactory models has been used to publish 23 full probability models from published ATLAS collaboration analyses to HEPData.


title: Continuous Neural Algorithmic Planners

abstract: Neural algorithmic reasoning studies the problem of learning algorithms with neural networks, especially with graph architectures. A recent proposal, XLVIN, reaps the benefits of using a graph neural network that simulates the value iteration algorithm in deep reinforcement learning agents. It allows model-free planning without access to privileged information about the environment, which is usually unavailable. However, XLVIN only supports discrete action spaces, and is hence nontrivially applicable to most tasks of real-world interest. We expand XLVIN to continuous action spaces by discretization, and evaluate several selective expansion policies to deal with the large planning graphs. Our proposal, CNAP, demonstrates how neural algorithmic reasoning can make a measurable impact in higher-dimensional continuous control settings, such as MuJoCo, bringing gains in low-data settings and outperforming model-free baselines.


title: On the use of senders for asymmetric tuples of cliques in Ramsey theory

abstract: A graph $G$ is $q$-Ramsey for a $q$-tuple of graphs $(H_1,\ldots,H_q)$ if for every $q$-coloring of the edges of $G$ there exists a monochromatic copy of $H_i$ in color $i$ for some $i\in[q]$. Over the last few decades, researchers have investigated a number of questions related to this notion, aiming to understand the properties of graphs that are $q$-Ramsey for a fixed tuple. Among the tools developed while studying questions of this type are gadget graphs, called signal senders and determiners, which have proven invaluable for building Ramsey graphs with certain properties. However, until now these gadgets have been shown to exist and used mainly in the two-color setting or in the symmetric multicolor setting, and our knowledge about their existence for multicolor asymmetric tuples is extremely limited. In this paper, we construct such gadgets for any tuple of cliques. We then use these gadgets to generalize three classical theorems in this area to the asymmetric multicolor setting.


title: MegaBlocks: Efficient Sparse Training with Mixture-of-Experts

abstract: We present MegaBlocks, a system for efficient Mixture-of-Experts (MoE) training on GPUs. Our system is motivated by the limitations of current frameworks, which restrict the dynamic routing in MoE layers to satisfy the constraints of existing software and hardware. These formulations force a tradeoff between model quality and hardware efficiency, as users must choose between dropping tokens from the computation or wasting computation and memory on padding. To address these limitations, we reformulate MoE computation in terms of block-sparse operations and develop new block-sparse GPU kernels that efficiently handle the dynamism present in MoEs. Our approach never drops tokens and maps efficiently to modern hardware, enabling end-to-end training speedups of up to 40% over MoEs trained with the state-of-the-art Tutel library and 2.4x over DNNs trained with the highly-optimized Megatron-LM framework.


title: ICS-CTM2: Industrial Control System Cybersecurity Testbed Maturity Model

abstract: Industrial Control System (ICS) testbeds serve as a platform for evaluating and validating control system performances, cybersecurity tools and technologies. In order to build or enhance an ICS testbed, it is vital to have a deeper understanding of its design specifications and characteristic attributes. Satisfying this prerequisite involves examination and assessment of these attributes for existing testbeds. To further increase confidence in a testbed's functionality, it is important to perform a comparative analysis of its specifications with other ICS testbeds. However, at present, there is no standardized methodology available to provide a comparative assessment of different testbeds. In this paper, we propose a methodology for analyzing ICS testbeds, inspired by the Cybersecurity Capability Maturity Model (C2M2). In particular, we then define a ICS Cybersecurity Testbed Maturity Model, its domains, and the associated maturity indicator levels. To demonstrate the benefit of the model, we have conducted a case study analysis for several ICS testbeds, representing different industrial sectors. Our analysis provides deeper insights into the relative strengths and limitations of these testbeds, together with scope for future enhancements, with respect to the domains defined by the model.


title: Sublinear Time Algorithms and Complexity of Approximate Maximum Matching

abstract: Sublinear time algorithms for approximating maximum matching size have long been studied. Much of the progress over the last two decades on this problem has been on the algorithmic side. For instance, an algorithm of Behnezhad [FOCS'21] obtains a 1/2-approximation in $\tilde{O}(n)$ time for $n$-vertex graphs. A more recent algorithm by Behnezhad, Roghani, Rubinstein, and Saberi [SODA'23] obtains a slightly-better-than-1/2 approximation in $O(n^{1+\epsilon})$ time. On the lower bound side, Parnas and Ron [TCS'07] showed 15 years ago that obtaining any constant approximation of maximum matching size requires $\Omega(n)$ time. Proving any super-linear in $n$ lower bound, even for $(1-\epsilon)$-approximations, has remained elusive since then. In this paper, we prove the first super-linear in $n$ lower bound for this problem. We show that at least $n^{1.2 - o(1)}$ queries in the adjacency list model are needed for obtaining a $(\frac{2}{3} + \Omega(1))$-approximation of maximum matching size. This holds even if the graph is bipartite and is promised to have a matching of size $\Theta(n)$. Our lower bound argument builds on techniques such as correlation decay that to our knowledge have not been used before in proving sublinear time lower bounds. We complement our lower bound by presenting two algorithms that run in strongly sublinear time of $n^{2-\Omega(1)}$. The first algorithm achieves a $(\frac{2}{3}-\epsilon)$-approximation; this significantly improves prior close-to-1/2 approximations. Our second algorithm obtains an even better approximation factor of $(\frac{2}{3}+\Omega(1))$ for bipartite graphs. This breaks the prevalent $2/3$-approximation barrier and importantly shows that our $n^{1.2-o(1)}$ time lower bound for $(\frac{2}{3}+\Omega(1))$-approximations cannot be improved all the way to $n^{2-o(1)}$.


title: How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective

abstract: Pre-trained code generation models (PCGMs) have been widely applied in neural code generation which can generate executable code from functional descriptions in natural languages, possibly together with signatures. Despite substantial performance improvement of PCGMs, the role of method names in neural code generation has not been thoroughly investigated. In this paper, we study and demonstrate the potential of benefiting from method names to enhance the performance of PCGMs, from a model robustness perspective. Specifically, we propose a novel approach, named RADAR (neuRAl coDe generAtor Robustifier). RADAR consists of two components: RADAR-Attack and RADAR-Defense. The former attacks a PCGM by generating adversarial method names as part of the input, which are semantic and visual similar to the original input, but may trick the PCGM to generate completely unrelated code snippets. As a countermeasure to such attacks, RADAR-Defense synthesizes a new method name from the functional description and supplies it to the PCGM. Evaluation results show that RADAR-Attack can reduce the CodeBLEU of generated code by 19.72% to 38.74% in three state-of-the-art PCGMs (i.e., CodeGPT, PLBART, and CodeT5) in the fine-tuning code generation task, and reduce the Pass@1 of generated code by 32.28% to 44.42% in three state-of-the-art PCGMs (i.e., Replit, CodeGen, and CodeT5+) in the zero-shot code generation task. Moreover, RADAR-Defense is able to reinstate the performance of PCGMs with synthesized method names. These results highlight the importance of good method names in neural code generation and implicate the benefits of studying model robustness in software engineering.


title: Lifelong Embedding Learning and Transfer for Growing Knowledge Graphs

abstract: Existing knowledge graph (KG) embedding models have primarily focused on static KGs. However, real-world KGs do not remain static, but rather evolve and grow in tandem with the development of KG applications. Consequently, new facts and previously unseen entities and relations continually emerge, necessitating an embedding model that can quickly learn and transfer new knowledge through growth. Motivated by this, we delve into an expanding field of KG embedding in this paper, i.e., lifelong KG embedding. We consider knowledge transfer and retention of the learning on growing snapshots of a KG without having to learn embeddings from scratch. The proposed model includes a masked KG autoencoder for embedding learning and update, with an embedding transfer strategy to inject the learned knowledge into the new entity and relation embeddings, and an embedding regularization method to avoid catastrophic forgetting. To investigate the impacts of different aspects of KG growth, we construct four datasets to evaluate the performance of lifelong KG embedding. Experimental results show that the proposed model outperforms the state-of-the-art inductive and lifelong embedding baselines.


title: LUMix: Improving Mixup by Better Modelling Label Uncertainty

abstract: Modern deep networks can be better generalized when trained with noisy samples and regularization techniques. Mixup and CutMix have been proven to be effective for data augmentation to help avoid overfitting. Previous Mixup-based methods linearly combine images and labels to generate additional training data. However, this is problematic if the object does not occupy the whole image as we demonstrate in Figure 1. Correctly assigning the label weights is hard even for human beings and there is no clear criterion to measure it. To tackle this problem, in this paper, we propose LUMix, which models such uncertainty by adding label perturbation during training. LUMix is simple as it can be implemented in just a few lines of code and can be universally applied to any deep networks \eg CNNs and Vision Transformers, with minimal computational cost. Extensive experiments show that our LUMix can consistently boost the performance for networks with a wide range of diversity and capacity on ImageNet, \eg $+0.7\%$ for a small model DeiT-S and $+0.6\%$ for a large variant XCiT-L. We also demonstrate that LUMix can lead to better robustness when evaluated on ImageNet-O and ImageNet-A. The source code can be found \href{https://github.com/kevin-ssy/LUMix}{here}


title: A counterexample to the periodic tiling conjecture

abstract: The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R}^d$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z}^2 \times G_0$ for some finite abelian $2$-group $G_0$. Our methods rely on encoding a "Sudoku puzzle" whose rows and other non-horizontal lines are constrained to lie in a certain class of "$2$-adically structured functions", in terms of certain functional equations that can be encoded in turn as a single tiling equation, and then demonstrating that solutions to this Sudoku puzzle exist but are all non-periodic.


title: ClueWeb22: 10 Billion Web Documents with Visual and Semantic Information

abstract: ClueWeb22, the newest iteration of the ClueWeb line of datasets, provides 10 billion web pages affiliated with rich information. Its design was influenced by the need for a high quality, large scale web corpus to support a range of academic and industry research, for example, in information systems, retrieval-augmented AI systems, and model pretraining. Compared with earlier ClueWeb corpora, the ClueWeb22 corpus is larger, more varied, of higher-quality, and aligned with the document distributions in commercial web search. Besides raw HTML, ClueWeb22 includes rich information about the web pages provided by industry-standard document understanding systems, including the visual representation of pages rendered by a web browser, parsed HTML structure information from a neural network parser, and pre-processed cleaned document text to lower the barrier to entry. Many of these signals have been widely used in industry but are available to the research community for the first time at this scale.


title: Association between author metadata and acceptance: A feature-rich, matched observational study of a corpus of ICLR submissions between 2017-2022

abstract: Many recent studies have probed status bias in the peer-review process of academic journals and conferences. In this article, we investigated the association between author metadata and area chairs' final decisions (Accept/Reject) using our compiled database of 5,313 borderline submissions to the International Conference on Learning Representations (ICLR) from 2017 to 2022. We carefully defined elements in a cause-and-effect analysis, including the treatment and its timing, pre-treatment variables, potential outcomes and causal null hypothesis of interest, all in the context of study units being textual data and under Neyman and Rubin's potential outcomes (PO) framework. We found some weak evidence that author metadata was associated with articles' final decisions. We also found that, under an additional stability assumption, borderline articles from high-ranking institutions (top-30% or top-20%) were less favored by area chairs compared to their matched counterparts. The results were consistent in two different matched designs (odds ratio = 0.82 [95% CI: 0.67 to 1.00] in a first design and 0.83 [95% CI: 0.64 to 1.07] in a strengthened design). We discussed how to interpret these results in the context of multiple interactions between a study unit and different agents (reviewers and area chairs) in the peer-review system.


title: Colored Bosonic Models and Matrix Coefficients

abstract: We develop the theory of colored bosonic models (initiated by Borodin and Wheeler). We will show how a family of such models can be used to represent the values of Iwahori vectors in the "spherical model" of representations of $GL_r(F)$, where $F$ is a nonarchimedean local field. Among our results are a monochrome factorization, which is the realization of the Boltzmann weights by fusion of simpler weights, a local lifting property relating the colored models with uncolored models, and an action of the affine Hecke algebra on the partition functions of a particular family of models by Demazure-Lusztig operators. As an application of the local lifting property we reprove a theorem of Korff evaluating the partition functions of the uncolored models in terms of Hall-Littlewood plynomials. Our results are very closely parallel to the theory of fermionic models representing Iwahori Whittaker functions developed by Brubaker, Buciumas, Bump and Gustafsson, with many striking relationships between the two theories, confirming the philosophy that the spherical and Whittaker models of principal series representations are dual.


title: CSI-PPPNet: A One-Sided One-for-All Deep Learning Framework for Massive MIMO CSI Feedback

abstract: To reduce multiuser interference and maximize the spectrum efficiency in orthogonal frequency division duplexing massive multiple-input multiple-output (MIMO) systems, the downlink channel state information (CSI) estimated at the user equipment (UE) is required at the base station (BS). This paper presents a novel method for massive MIMO CSI feedback via a one-sided one-for-all deep learning framework. The CSI is compressed via linear projections at the UE, and is recovered at the BS using deep learning (DL) with plug-and-play priors (PPP). Instead of using handcrafted regularizers for the wireless channel responses, the proposed approach, namely CSI-PPPNet, exploits a DL based denoisor in place of the proximal operator of the prior in an alternating optimization scheme. In this way, a DL model trained once for denoising can be repurposed for CSI recovery tasks with arbitrary compression ratio. The one-sided one-for-all framework reduces model storage space, relieves the burden of joint model training and model delivery, and could be applied at UEs with limited device memories and computation power. Extensive experiments over the open indoor and urban macro scenarios show the effectiveness and advantages of the proposed method.


title: Dust Motion and Possibility of Dust Growth in a Growing Circumstellar Disk

abstract: We calculate the evolution of a star-forming cloud core using a three-dimensional resistive magnetohydrodynamics simulation, treating dust grains as Lagrangian particles, to investigate the dust motion in the early star formation stage. We prepare six different-sized set of dust particles in the range $a_{\rm d}=0.01$--$1000\,\mu$m, where $a_{\rm d}$ is the dust grain size. In a gravitationally collapsing cloud, a circumstellar disk forms around a protostar and drives a protostellar outflow. Almost all the small dust grains ($a_{\rm d} \lesssim 10$--$100\,\mu$m) initially distributed in the region $\theta_0 \lesssim 45^\circ$ are ejected from the center by the outflow, where $\theta_0$ is the initial zenith angle relative to the rotation axis, whereas only a small number of the large dust grains ($a_{\rm d} \gtrsim 100\,\mu$m) distributed in the region are ejected. All other grains fall onto either the protostar or disk without being ejected by the outflow. Regardless of the dust grain size, the behavior of the dust motion is divided into two trends after dust particles settle into the circumstellar disk. The dust grains reaching the inner disk region from the upper envelope preferentially fall onto the protostar, while those reaching the outer disk region or disk outer edge from the envelope can survive without an inward radial drift. These surviving grains can induce dust growth. Thus, we expect that the outer disk regions could be a favored place of planet formation.


title: Disentangling the Mechanisms Behind Implicit Regularization in SGD

abstract: A number of competing hypotheses have been proposed to explain why small-batch Stochastic Gradient Descent (SGD)leads to improved generalization over the full-batch regime, with recent work crediting the implicit regularization of various quantities throughout training. However, to date, empirical evidence assessing the explanatory power of these hypotheses is lacking. In this paper, we conduct an extensive empirical evaluation, focusing on the ability of various theorized mechanisms to close the small-to-large batch generalization gap. Additionally, we characterize how the quantities that SGD has been claimed to (implicitly) regularize change over the course of training. By using micro-batches, i.e. disjoint smaller subsets of each mini-batch, we empirically show that explicitly penalizing the gradient norm or the Fisher Information Matrix trace, averaged over micro-batches, in the large-batch regime recovers small-batch SGD generalization, whereas Jacobian-based regularizations fail to do so. This generalization performance is shown to often be correlated with how well the regularized model's gradient norms resemble those of small-batch SGD. We additionally show that this behavior breaks down as the micro-batch size approaches the batch size. Finally, we note that in this line of inquiry, positive experimental findings on CIFAR10 are often reversed on other datasets like CIFAR100, highlighting the need to test hypotheses on a wider collection of datasets.


title: Energy-looping and photon-avalanche-like phenomena in NdxY1.00-xAl3(BO3)4 powders excited at 1064 nm

abstract: We investigate the role of the Nd3+ content on the PA characteristics in NdxY1.00-xAl3(BO3)4 particles with x ranging from 0.05 to 1.00. It is known that the replacement of Y3 by Nd3+ into the YAl3(BO3)4 crystalline structure can introduce strong modifications of the lattice properties as well as in the photoluminescence characteristics, such as luminescence concentration quenching and broadening of spectral lines. Despite that, we observe, for low x (<= 0.20) an energy-looping preceding the PA-like that ensues for x >= 0.40. It is associated to the proximity among the Nd3+ ions, fundamental to the electric dipole-electric dipole interaction responsible for the Nd3+ energy transfer [4F3/2, 4I9/2] - [4I15/2, 4I15/2]. We discuss the present results focusing on emerging technologies with development of ultra-sensitive thermal sensors, and super-resolution imaging thanks to the giant nonlinearities in the input-output power dependences.


title: Second magnetization peak, anomalous field penetration, and Josephson vortices in KCa$_2$Fe$_4$As$_4$F$_2$ bilayer pnictide superconductor

abstract: We performed magnetization measurements in a single crystal of the anisotropic bilayer pnictide superconductor KCa$_2$Fe$_4$As$_4$F$_2$, with $T_c$ $\simeq$ 34 K, for $H$$\parallel$$c$-axis and $H$$\parallel$$ab$-planes. A second magnetization peak (SMP) was observed in the isothermal $M(H)$ curves measured below 16 K for $H$$\parallel$$ab$-planes. A peak in the temperature variation of the critical current density, $J_{c}$($T$), at 16 K, strongly suggests the emergence of Josephson vortices at lower temperatures, which leads to the SMP in the sample. In addition, it is noticed that the appearance of Josephson vortices below 16 K renders easy magnetic flux penetration. A detailed vortex dynamics study suggests that the SMP can be explained in terms of elastic pinning to plastic pinning crossover. Furthermore, contrary to the common understanding, the temperature variation of the first peak field, $H_1$, below and above 16 K, behaves non-monotonically. A highly disordered vortex phase, governed by plastic pinning, has been observed between 17 K and 23 K, within a field region around an extremely large first peak field. Pinning force scaling suggests that the point defects are the dominant source of pinning for $H$ $\parallel$$ab$-planes, whereas, for H $\parallel$$c$-axis, point defects in addition to surface defects are at play. Such disorder contributes to the pinning due to the variation in charge carrier mean free path, $\delta$$l$-pinning. Moreover, the large $J_c$ observed in our study is consistent with the literature, which advocates this material for high magnetic field applications.


title: Beyond Ensemble Averages: Leveraging Climate Model Ensembles for Subseasonal Forecasting

abstract: Producing high-quality forecasts of key climate variables, such as temperature and precipitation, on subseasonal time scales has long been a gap in operational forecasting. This study explores an application of machine learning (ML) models as post-processing tools for subseasonal forecasting. Lagged numerical ensemble forecasts (i.e., an ensemble where the members have different initialization dates) and observational data, including relative humidity, pressure at sea level, and geopotential height, are incorporated into various ML methods to predict monthly average precipitation and two-meter temperature two weeks in advance for the continental United States. For regression, quantile regression, and tercile classification tasks, we consider using linear models, random forests, convolutional neural networks, and stacked models (a multi-model approach based on the prediction of the individual ML models). Unlike previous ML approaches that often use ensemble mean alone, we leverage information embedded in the ensemble forecasts to enhance prediction accuracy. Additionally, we investigate extreme event predictions that are crucial for planning and mitigation efforts. Considering ensemble members as a collection of spatial forecasts, we explore different approaches to using spatial information. Trade-offs between different approaches may be mitigated with model stacking. Our proposed models outperform standard baselines such as climatological forecasts and ensemble means. In addition, we investigate feature importance, trade-offs between using the full ensemble or only the ensemble mean, and different modes of accounting for spatial variability.


title: Bose-Einstein condensation of photons in microcavity plasmas

abstract: Bose--Einstein condensation of a finite number of photons propagating inside a plasma-filled microcavity is investigated. The nonzero chemical potential is provided by the electrons, which induces a finite photon mass allowing condensation to occur. We derive an equation that models the evolution of the photon-mode occupancies, with Compton scattering taken into account as the mechanism of thermalization. The kinetic evolution of the photon spectrum is solved numerically, and we find evidences of condensation for realistic plasma densities, $n_e\sim 10^{14} - 10^{15}\; \text{cm}^{-3}$, compatible with microplasma technology. The critical temperature is almost linear in the number of photons, and we find high condensate fractions at microcavity-plasma temperatures, for experimentally reasonable cavity lengths ($ 100-500 \; \mu$m) and photon numbers ($10^{10}-10^{12}$).


title: Distributed Energy Management and Demand Response in Smart Grids: A Multi-Agent Deep Reinforcement Learning Framework

abstract: This paper presents a multi-agent Deep Reinforcement Learning (DRL) framework for autonomous control and integration of renewable energy resources into smart power grid systems. In particular, the proposed framework jointly considers demand response (DR) and distributed energy management (DEM) for residential end-users. DR has a widely recognized potential for improving power grid stability and reliability, while at the same time reducing end-users energy bills. However, the conventional DR techniques come with several shortcomings, such as the inability to handle operational uncertainties while incurring end-user disutility, which prevents widespread adoption in real-world applications. The proposed framework addresses these shortcomings by implementing DR and DEM based on real-time pricing strategy that is achieved using deep reinforcement learning. Furthermore, this framework enables the power grid service provider to leverage distributed energy resources (i.e., PV rooftop panels and battery storage) as dispatchable assets to support the smart grid during peak hours, thus achieving management of distributed energy resources. Simulation results based on the Deep Q-Network (DQN) demonstrate significant improvements of the 24-hour accumulative profit for both prosumers and the power grid service provider, as well as major reductions in the utilization of the power grid reserve generators.


title: Model-based Reconstruction for Multi-Frequency Collimated Beam Ultrasound Systems

abstract: Collimated beam ultrasound systems are a technology for imaging inside multi-layered structures such as geothermal wells. These systems work by using a collimated narrow-band ultrasound transmitter that can penetrate through multiple layers of heterogeneous material. A series of measurements can then be made at multiple transmit frequencies. However, commonly used reconstruction algorithms such as Synthetic Aperture Focusing Technique (SAFT) tend to produce poor quality reconstructions for these systems both because they do not model collimated beam systems and they do not jointly reconstruct the multiple frequencies. In this paper, we propose a multi-frequency ultrasound model-based iterative reconstruction (UMBIR) algorithm designed for multi-frequency collimated beam ultrasound systems. The combined system targets reflective imaging of heterogeneous, multi-layered structures. For each transmitted frequency band, we introduce a physics-based forward model to accurately account for the propagation of the collimated narrow-band ultrasonic beam through the multi-layered media. We then show how the joint multi-frequency UMBIR reconstruction can be computed by modeling the direct arrival signals, detector noise, and incorporating a spatially varying image prior. Results using both simulated and experimental data indicate that multi-frequency UMBIR reconstruction yields much higher reconstruction quality than either single frequency UMBIR or SAFT.


title: Bayesian Experimental Design for Symbolic Discovery

abstract: This study concerns the formulation and application of Bayesian optimal experimental design to symbolic discovery, which is the inference from observational data of predictive models taking general functional forms. We apply constrained first-order methods to optimize an appropriate selection criterion, using Hamiltonian Monte Carlo to sample from the prior. A step for computing the predictive distribution, involving convolution, is computed via either numerical integration, or via fast transform methods.


title: Hidden dependencies in model independent tests of DAMA

abstract: For nearly two decades the DAMA Collaboration has been observing a modulating signal compatible with that expected from a dark matter presence in our galaxy. However, interpretations of this with the standard assumptions for dark matter particles are strongly ruled out by a large number of other experiments. This tension can be relaxed somewhat by making more tailored choices for the dark matter model and properties of interest, but expanding the models of interest in such a way makes it impossible to test the DAMA modulation conclusively. In order to understand the exact nature of this signal, we need to use a detector based on the same target (NaI(Tl)), which would be sensitive to exactly the same particle interaction models as DAMA. There are a number of such experiments in the data taking or commissioning stages designed to do just this, two of which (ANAIS and COSINE) recently released their results after 3 years of data taking. Interestingly, the modulation observed by the two experiments deviate from each other by 2$\sigma$, while being within 3$\sigma$ of the DAMA result. This paper addresses potential differences between NaI(Tl) based detectors that could lead to the differing results to date, with a particular focus on the quenching factor.


title: Bracket Polynomial Expression of Discriminant-Resultants as SL2-invariant

abstract: We give a bracket polynomial expression for intermediate terms between discriminant and resultant for pair of binary forms. As an application of the bracket polynomial expression, we give an algebraic proof of the algebraic independence of intermediate terms, which was shown in the theory of dynamical systems.


title: Marked non-orientable surfaces and cluster categories via symmetric representations

abstract: We initiate the investigation of representation theory of non-orientable surfaces. As a first step towards finding an additive categorification of Dupont and Palesi's quasi-cluster algebras associated marked non-orientable surfaces, we study a certain modification on the objects of the cluster category associated to the orientable double covers in the unpunctured case. More precisely, we consider symmetric representation theory studied by Derksen-Weyman and Boos-Cerulli Irelli, and lift it to the cluster category. This gives a way to consider `indecomposable orbits of objects' under a contravariant duality functor. Hence, we can assign curves on a non-orientable surface $(\mathbb{S}, \mathbb{M})$ to indecomposable symmetric objects. Moreover, we define a new notion of symmetric extension, and show that the arcs and quasi-arcs on $(\mathbb{S}, \mathbb{M})$ correspond to the indecomposable symmetric objects without symmetric self-extension. Consequently, we show that quasi-triangulations of $(\mathbb{S}, \mathbb{M})$ correspond to a symmetric analogue of cluster tilting objects.


title: Peano: Learning Formal Mathematical Reasoning

abstract: General mathematical reasoning is computationally undecidable, but humans routinely solve new problems. Moreover, discoveries developed over centuries are taught to subsequent generations quickly. What structure enables this, and how might that inform automated mathematical reasoning? We posit that central to both puzzles is the structure of procedural abstractions underlying mathematics. We explore this idea in a case study on 5 sections of beginning algebra on the Khan Academy platform. To define a computational foundation, we introduce Peano, a theorem-proving environment where the set of valid actions at any point is finite. We use Peano to formalize introductory algebra problems and axioms, obtaining well-defined search problems. We observe existing reinforcement learning methods for symbolic reasoning to be insufficient to solve harder problems. Adding the ability to induce reusable abstractions ("tactics") from its own solutions allows an agent to make steady progress, solving all problems. Furthermore, these abstractions induce an order to the problems, seen at random during training. The recovered order has significant agreement with the expert-designed Khan Academy curriculum, and second-generation agents trained on the recovered curriculum learn significantly faster. These results illustrate the synergistic role of abstractions and curricula in the cultural transmission of mathematics.


title: On Polynomial Carleson operators along quadratic hypersurfaces

abstract: We prove that a maximally modulated singular oscillatory integral operator along a hypersurface defined by $(y,Q(y))\subseteq \mathbb{R}^{n+1}$, for an arbitrary non-degenerate quadratic form $Q$, admits an a priori bound on $L^p$ for all $1<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in the real span of $\{p_2,\ldots,p_d\}$ for any set of fixed real-valued polynomials $p_j$ such that $p_j$ is homogeneous of degree $j$, and $p_2$ is not a multiple of $Q(y)$. The general method developed in this work applies to quadratic forms of arbitrary signature, while previous work considered only the special positive definite case $Q(y)=|y|^2$.


title: A Search and Detection Autonomous Drone System: from Design to Implementation

abstract: Utilizing autonomous drones or unmanned aerial vehicles (UAVs) has shown great advantages over preceding methods in support of urgent scenarios such as search and rescue (SAR) and wildfire detection. In these operations, search efficiency in terms of the amount of time spent to find the target is crucial since with the passing of time the survivability of the missing person decreases or wildfire management becomes more difficult with disastrous consequences. In this work, it is considered a scenario where a drone is intended to search and detect a missing person (e.g., a hiker or a mountaineer) or a potential fire spot in a given area. In order to obtain the shortest path to the target, a general framework is provided to model the problem of target detection when the target's location is probabilistically known. To this end, two algorithms are proposed: Path planning and target detection. The path planning algorithm is based on Bayesian inference and the target detection is accomplished by means of a residual neural network (ResNet) trained on the image dataset captured by the drone as well as existing pictures and datasets on the web. Through simulation and experiment, the proposed path planning algorithm is compared with two benchmark algorithms. It is shown that the proposed algorithm significantly decreases the average time of the mission.


title: Bayesian modelling of scattered light in the LIGO interferometers

abstract: Excess noise from scattered light poses a persistent challenge in the analysis of data from gravitational wave detectors such as LIGO. We integrate a physically motivated model for the behavior of these "glitches" into a standard Bayesian analysis pipeline used in gravitational wave science. This allows for the inference of the free parameters in this model, and subtraction of these models to produce glitch-free versions of the data. We show that this inference is an effective discriminator of the presence of the features of these glitches, even when those features may not be discernible in standard visualizations of the data.


title: Kinematic-aware Hierarchical Attention Network for Human Pose Estimation in Videos

abstract: Previous video-based human pose estimation methods have shown promising results by leveraging aggregated features of consecutive frames. However, most approaches compromise accuracy to mitigate jitter or do not sufficiently comprehend the temporal aspects of human motion. Furthermore, occlusion increases uncertainty between consecutive frames, which results in unsmooth results. To address these issues, we design an architecture that exploits the keypoint kinematic features with the following components. First, we effectively capture the temporal features by leveraging individual keypoint's velocity and acceleration. Second, the proposed hierarchical transformer encoder aggregates spatio-temporal dependencies and refines the 2D or 3D input pose estimated from existing estimators. Finally, we provide an online cross-supervision between the refined input pose generated from the encoder and the final pose from our decoder to enable joint optimization. We demonstrate comprehensive results and validate the effectiveness of our model in various tasks: 2D pose estimation, 3D pose estimation, body mesh recovery, and sparsely annotated multi-human pose estimation. Our code is available at https://github.com/KyungMinJin/HANet.