title: Monochromatic Mass Spectrum of Primordial Black Holes

abstract: During slow-roll inflation, non-perturbative transitions can produce bubbles of metastable vacuum. These bubbles expand exponentially during inflation to super-horizon size, and later collapse into black holes when the expansion of the universe is decelerating. Estimating the rate for these transitions during a time-dependent slow-roll phase requires the development of new techniques. Our results show that in a broad class of models, the inflationary fine-tuning that gives rise to small density fluctuations causes these bubbles to appear only during a time interval that is short compared to the inflationary Hubble time. As a result, despite the fact that the final mass of the black hole is exponentially sensitive to the moment bubbles form during inflation, the resulting primordial black hole mass spectrum can be nearly monochromatic. If the transition occurs near the middle of inflation, the mass can fall in the "asteroid" range $10^{17}-10^{22}$ g in which all known observations are compatible with black holes comprising 100% of dark matter.


title: Generalizable whole-body global manipulation of deformable linear objects by dual-arm robot in 3-D constrained environments

abstract: Constrained environments are common in practical applications of manipulating deformable linear objects (DLOs), where movements of both DLOs and robots should be constrained. This task is high-dimensional and highly constrained owing to the highly deformable DLOs, dual-arm robots with high degrees of freedom, and 3-D complex environments, which render global planning challenging. Furthermore, accurate DLO models needed by planning are often unavailable owing to their strong nonlinearity and diversity, resulting in unreliable planned paths. This article focuses on the global moving and shaping of DLOs in constrained environments by dual-arm robots. The main objectives are 1) to efficiently and accurately accomplish this task, and 2) to achieve generalizable and robust manipulation of various DLOs. To this end, we propose a complementary framework with whole-body planning and control using appropriate DLO model representations. First, a global planner is proposed to efficiently find feasible solutions based on a simplified DLO energy model, which considers the full system states and all constraints to plan more reliable paths. Then, a closed-loop manipulation scheme is proposed to compensate for the modeling errors and enhance the robustness and accuracy, which incorporates a model predictive controller that real-time adjusts the robot motion based on an adaptive DLO motion model. The key novelty is that our framework can efficiently solve the high-dimensional problem subject to multiple constraints and generalize to various DLOs without elaborate model identifications. Experiments demonstrate that our framework can accomplish considerably more complicated tasks than existing works, with significantly higher efficiency, generalizability, and reliability.


title: Algebra and Combinatorics of the Brion map on Generalized Permutahedra

abstract: The Brion morphism maps a generalized permutahedron to a collection of posets associated to its vertices. We compute this map explicitly for the Hopf monoids of permutahedra, associahedra, and orbit polytopes, and we explore the dual Brion map of the primitive Lie monoids associated to these three Hopf monoids. We describe the Lie monoid structure of the primitives in this dual setting and in particular we show that the Lie monoid of primitives of associahedra is isomorphic to the positive part of the Witt Lie algebra


title: Toric Richardson Varieties

abstract: In this article, we provide characterizations of toric Richardson varieties across all types through three distinct approaches: 1) poset theory, 2) root theory, and 3) geometry.


title: JWST-TST High Contrast: Achieving direct spectroscopy of faint substellar companions next to bright stars with the NIRSpec IFU

abstract: The JWST NIRSpec integral field unit (IFU) presents a unique opportunity to observe directly imaged exoplanets from 3-5 um at moderate spectral resolution (R~2,700) and thereby better constrain the composition, disequilibrium chemistry, and cloud properties of their atmospheres. In this work, we present the first NIRSpec IFU high-contrast observations of a substellar companion that requires starlight suppression techniques. We develop specific data reduction strategies to study faint companions around bright stars, and assess the performance of NIRSpec at high contrast. First, we demonstrate an approach to forward model the companion signal and the starlight directly in the detector images, which mitigates the effects of NIRSpec's spatial undersampling. We demonstrate a sensitivity to planets that are 3e-6 fainter than their stars at 1'', or 3e-5 at 0.3''. Then, we implement a reference star point spread function (PSF) subtraction and a spectral extraction that does not require spatially and spectrally regularly sampled spectral cubes. This allows us to extract a moderate resolution (R~2,700) spectrum of the faint T-dwarf companion HD 19467 B from 2.9-5.2 um with signal-to-noise ratio (S/N)~10 per resolution element. Across this wavelength range, HD~19467~B has a flux ratio varying between 1e-5-1e-4 and a separation relative to its star of 1.6''. A companion paper by Hoch et al. more deeply analyzes the atmospheric properties of this companion based on the extracted spectrum. Using the methods developed here, NIRSpec's sensitivity may enable direct detection and spectral characterization of relatively old (~1 Gyr), cool (~250 K), and closely separated (~3-5 au) exoplanets that are less massive than Jupiter.


title: Feature selection and regression methods for stock price prediction using technical indicators

abstract: Due to the influence of many factors, including technical indicators on stock price prediction, feature selection is important to choose the best indicators. This study uses technical indicators and features selection and regression methods to solve the problem of closing the stock market price. The aim of this research is to predict the stock market price with the least error. By the proposed method, the data created by the 3-day time window were converted to the appropriate input for regression methods. In this paper, 10 regressor and 123 technical indicators have been examined on data of the last 13 years of Apple Company. The results have been investigated by 5 error-based evaluation criteria. Based on results of the proposed method, MLPSF has 56/47% better performance than MLP. Also, SVRSF has 67/42% improved compared to SVR. LRSF was 76.7 % improved compared to LR. The RISF method also improved 72.82 % of Ridge regression. The DTRSB method had 24.23 % improvement over DTR. KNNSB had 15.52 % improvement over KNN regression. RFSB had a 6 % improvement over RF. GBRSF also improved at 7% over GBR. Finally, ADASF and ADASB also had a 4% improvement over the ADA regression. Also, Ridge and LinearRegression had the best results for stock price prediction. Based on results, the best indicators to predict stock price are: the Squeeze_pro, Percentage Price Oscillator, Thermo, Decay, Archer On-Balance Volume, Bollinger Bands, Squeeze and Ichimoku indicator. According to the results, the use of suitable combination of suggested indicators along with regression methods has resulted in high accuracy in predicting the closing price.


title: Structural and physical properties of the chiral antiferromagnet CeRhC$_2$

abstract: We report a study of the structural, magnetic, transport, and thermodynamic properties of polycrystalline samples of CeRhC$_2$. CeRhC$_2$ crystallizes in a tetragonal structure with space group $P4_1$ and it orders antiferromagnetically below $T_\textrm{N1} \approx$ 1.8 K. Powder neutron diffraction measurements reveal a chiral magnetic structure with a single propagation vector $Q_m = (1/2,1/2,0.228(5))$, indicating an antiferromagnetic arrangement of Ce magnetic moments in the $ab$-plane and incommensurate order along the $c$-axis with a root-mean-square ordered moment of $m_\textrm{ord}$= 0.68 $\mu_\textrm{B}$/Ce. Applying a magnetic field suppresses the N\'{e}el temperature $T_\textrm{N1}$ to zero near $\mu_0H_\textrm{c1}\sim$0.75 T. A second antiferromagnetic phase ($T_\textrm{N2}$), however, becomes apparent in electrical resistivity, Hall and heat capacity measurements in fields above 0.5 T and extrapolates to zero temperature at $\mu_0H_\textrm{c2}\sim$ 1 T. Electrical resistivity measurements reveal that LaRhC$_2$ is a semiconductor with a bandgap of $E_\textrm{g}\sim24$ meV; whereas, resistivity and Hall measurements indicate that CeRhC$_2$ is a semimetal with a low carrier concentration of $n\sim10^{20}$ cm$^{-3}$. With applied hydrostatic pressure, the zero-field antiferromagnetic transition of CeRhC$_2$ is slightly enhanced and CeRhC$_2$ becomes notably more metallic up to 1.36 GPa. The trend toward metallicity is in line with density-functional calculations that indicate that both LaRhC$_2$ and CeRhC$_2$ are semimetals, but the band overlap is larger for CeRhC$_2$, which has a smaller unit cell volume that its La counterpart. This suggests that the bandgap closes due to a lattice contraction when replacing La with Ce in RRhC$_2$ (R = rare-earth), in agreement with experimental results.


title: Ordering ambiguity for sharply peaked states in quantum cosmology

abstract: Sharply peaked quantum states are conjectured to be conducive to the notion of a quantum-corrected spacetime. We investigate this conjecture for a flat-FLRW model with perfect fluid, where a generalized ordering scheme is considered for the gravitational Hamiltonian. We study the implications of different ordering choices on the dynamics of the quantum universe. We demonstrate that the imprints of the operator ordering ambiguity are minimal, and quantum fluctuations are small in the case of sharply peaked states, leading to a consistent notion of a quantum-corrected spacetime defined via the expectation value of scale factor.


title: Generalized Schr\"oder paths arising from a combinatorial interpretation of generalized Laurent bi-orthogonal polynomials

abstract: Lattice paths called $\ell$-Schr\"oder paths are introduced. They are paths on the upper half-plane consisting of $\ell+2$ types of steps: $(i,\ell-i)$ for $i=0,\ldots,\ell$, and $(1,-1)$. Those paths generalize Schr\"oder paths and some variants, such as $m$-Schr\"oder paths by Yang and Jiang and Motzkin-Schr\"oder paths by Kim and Stanton. We show that $\ell$-Schr\"oder paths arise naturally from a combinatorial interpretation of the moments of generalized Laurent bi-orthogonal polynomials introduced by Wang, Chang, and Yue. We also show that some generating functions of non-intersecting $\ell$-Schr\"oder paths can be factorized in closed forms.


title: Thermodynamic Topological Classifications of Well-Known Black Holes

abstract: In this work, we investigate the thermodynamic properties of black holes (BHs) that have non-trivial topological features in their phase diagrams. We consider three different models of BHs: (1) a class of BHs in dRGT massive gravity, which adds a mass term to general relativity; (2) a class of BHs in 5D Yang-Mills massive gravity, which combines dRGT massive gravity with a non-Abelian gauge field; and (3) a D-dimensional RN-AdS BH surrounded by Quintessence and a cloud of strings, which are strange forms of matter that change the thermodynamics of the BH. Our goal is to find the critical points of these BHs, which provide the location of first-order phase transitions and figure out their corresponding topological charges. Topological charges are numbers that show how complicated the BH topology is. Then, we look at these BHs as topological defects in the thermodynamic domain, which is the space of thermodynamic variables like pressure and temperature. We calculate winding numbers to analyze topology on a global and local scale at these defects, which are integers that indicate how many times a curve encircling the defect wraps around the origin. Our analysis reveals that the total topological charge is either equal to 0 or 1 for all models, meaning that the BHs have either a trivial or simple topology. In some cases, we see that the BH's topology belongs to a different thermodynamic topological class. This means that the BHs can go through topological phase transitions.


title: Numerical Unitarity for Binary Dynamics

abstract: We present a calculation of the conservative two-body Hamiltonian of a compact binary system including a spinning black hole. We include up-to third order corrections in Newton's constant $G$, all orders in velocity, and linear and quadratic terms in spin. The results are obtained from the classical limit of two-loop scattering amplitudes involving two massive scalars and two massive spin-1 particles minimally coupled to gravity. We discuss the usage of numerical techniques in our computation. In particular we show how the numerical unitarity method is well suited to obtain results of relevance to the physics program of current and future gravitational wave observatories.


title: Can GPT-4V(ision) Serve Medical Applications? Case Studies on GPT-4V for Multimodal Medical Diagnosis

abstract: Driven by the large foundation models, the development of artificial intelligence has witnessed tremendous progress lately, leading to a surge of general interest from the public. In this study, we aim to assess the performance of OpenAI's newest model, GPT-4V(ision), specifically in the realm of multimodal medical diagnosis. Our evaluation encompasses 17 human body systems, including Central Nervous System, Head and Neck, Cardiac, Chest, Hematology, Hepatobiliary, Gastrointestinal, Urogenital, Gynecology, Obstetrics, Breast, Musculoskeletal, Spine, Vascular, Oncology, Trauma, Pediatrics, with images taken from 8 modalities used in daily clinic routine, e.g., X-ray, Computed Tomography (CT), Magnetic Resonance Imaging (MRI), Positron Emission Tomography (PET), Digital Subtraction Angiography (DSA), Mammography, Ultrasound, and Pathology. We probe the GPT-4V's ability on multiple clinical tasks with or without patent history provided, including imaging modality and anatomy recognition, disease diagnosis, report generation, disease localisation. Our observation shows that, while GPT-4V demonstrates proficiency in distinguishing between medical image modalities and anatomy, it faces significant challenges in disease diagnosis and generating comprehensive reports. These findings underscore that while large multimodal models have made significant advancements in computer vision and natural language processing, it remains far from being used to effectively support real-world medical applications and clinical decision-making. All images used in this report can be found in https://github.com/chaoyi-wu/GPT-4V_Medical_Evaluation.


title: Till the core collapses: the evolution and properties of self-interacting dark matter subhalos

abstract: One of the hottest questions in the cosmology of self-interacting dark matter (SIDM) is whether scatterings can induce detectable core-collapse in halos by the present day. Because gravitational tides can accelerate core-collapse, the most promising targets to observe core-collapse are satellite galaxies and subhalo systems. However, simulating small subhalos is computationally intensive, especially when subhalos start to core-collapse. In this work, we present a hierarchical framework for simulating a population of SIDM subhalos, which reduces the computation time to linear order in the total number of subhalos. With this method, we simulate substructure lensing systems with multiple velocity-dependent SIDM models, and show how subhalo evolution depends on the SIDM model, subhalo mass and orbits. We find that an SIDM cross section of $\gtrsim 200$ cm$^2$/g at velocity scales relevant for subhalos' internal heat transfer is needed for a significant fraction of subhalos to core-collapse in a typical lens system at redshift $z=0.5$, and that core-collapse has unique observable features in lensing. We show quantitatively that core-collapse in subhalos is typically accelerated compared to field halos, except when the SIDM cross section is non-negligible ($\gtrsim \mathcal{O}(1)$ cm$^2$/g) at subhalos' orbital velocities, in which case evaporation by the host can delay core-collapse. This suggests that substructure lensing can be used to probe velocity-dependent SIDM models, especially if line-of-sight structures (field halos) can be distinguished from lens-plane subhalos. Intriguingly, we find that core-collapse in subhalos can explain the recently reported ultra-steep density profiles of substructures found by lensing with the \emph{Hubble Space Telescope}

categories: astro-ph.GA astro-ph.CO astro-ph.HE hep-ph


title: Machine Learning Many-Body Green's Functions for Molecular Excitation Spectra

abstract: We present a machine learning (ML) framework for predicting Green's functions of molecular systems, from which photoemission spectra and quasiparticle energies at quantum many-body level can be obtained. Kernel ridge regression is adopted to predict self-energy matrix elements on compact imaginary frequency grids from static and dynamical mean-field electronic features, which gives direct access to real-frequency many-body Green's functions through analytic continuation and Dyson's equation. Feature and self-energy matrices are represented in a symmetry-adapted intrinsic atomic orbital plus projected atomic orbital basis to enforce rotational invariance. We demonstrate good transferability and high data efficiency of proposed ML method across molecular sizes and chemical species by showing accurate predictions of density of states (DOS) and quasiparticle energies at the level of many-body perturbation theory (GW) or full configuration interaction. For the ML model trained on 48 out of 1995 molecules randomly sampled from the QM7 and QM9 datasets, we report the mean absolute errors of ML-predicted HOMO and LUMO energies to be 0.13 eV and 0.10 eV compared to GW@PBE0. We further showcase the capability of this method by applying the same ML model to predict DOS for significantly larger organic molecules with up to 44 heavy atoms.


title: Unsupervised Discovery of Interpretable Directions in h-space of Pre-trained Diffusion Models

abstract: We propose the first unsupervised and learning-based method to identify interpretable directions in h-space of pre-trained diffusion models. Our method is derived from an existing technique that operates on the GAN latent space. Specifically, we employ a shift control module that works on h-space of pre-trained diffusion models to manipulate a sample into a shifted version of itself, followed by a reconstructor to reproduce both the type and the strength of the manipulation. By jointly optimizing them, the model will spontaneously discover disentangled and interpretable directions. To prevent the discovery of meaningless and destructive directions, we employ a discriminator to maintain the fidelity of shifted sample. Due to the iterative generative process of diffusion models, our training requires a substantial amount of GPU VRAM to store numerous intermediate tensors for back-propagating gradient. To address this issue, we propose a general VRAM-efficient training algorithm based on gradient checkpointing technique to back-propagate any gradient through the whole generative process, with acceptable occupancy of VRAM and sacrifice of training efficiency. Compared with existing related works on diffusion models, our method inherently identifies global and scalable directions, without necessitating any other complicated procedures. Extensive experiments on various datasets demonstrate the effectiveness of our method.


title: Self-Sustained And Coordinated Rhythmic Deformations With SMA For Controller-Free Locomotion

abstract: This study presents a modular, electronics-free, and fully onboard control and actuation approach for SMA-based soft robots to achieve locomotion tasks. This approach exploits the nonlinear mechanics of compliant curved beams and carefully designed mechanical control circuits to create and synchronize rhythmic deformation cycles, mimicking the central pattern generators (CPG) prevalent in animal locomotions. More specifically, the study elucidates a new strategy to amplify the actuation performance of the shape memory coil actuator by coupling it to a carefully designed, mono-stable curve beam with a snap-through buckling behavior. Such SMA-curved beam assembly is integrated with an entirely mechanical circuit featuring a slider mechanism. This circuit can automatically cut off and supply current to the SMA according to its deformation status, generating a self-sustained rhythmic deformation cycle using a simple DC power supply. Finally, this study presents a new strategy to coordinate (synchronize) two rhythmic deformation cycles from two robotic modules to achieve efficient crawling locomotion but still use a single DC power. This work represents a significant step towards fully autonomous, electronics-free SMA-based locomotion robots with fully onboard actuation and control.


title: Kinetic glass transition in granular gases and non-linear molecular fluids

abstract: In this paper we investigate, both analytically and numerically, the emergence of a kinetic glass transition in two different model systems: a uniformly heated granular gas and a molecular fluid with nonlinear drag. Despite the profound differences between these two physical systems, their behavior in thermal cycles share strong similarities, which stem from the relaxation time diverging algebraically at low temperatures for both systems. When the driving intensity -- for the granular gas -- or the bath temperature -- for the molecular fluid -- is decreased to sufficiently low values, the kinetic temperature of both systems becomes ``frozen" at a value that depends on the cooling rate through a power law with the same exponent. Interestingly, this frozen glassy state is universal in the following sense: for a suitable rescaling of the relevant variables, its velocity distribution function becomes independent of the cooling rate. Upon reheating, i.e., when either the driving intensity or the bath temperature is increased from this frozen state, hysteresis cycles arise and the apparent heat capacity displays a maximum. The numerical results obtained from the simulations are well described by a perturbative approach.


title: Impact of higher-order dispersion on frequency-modulated combs

abstract: Frequency-modulated (FM) combs form spontaneously in free-running semiconductor lasers and possess a vast potential for spectroscopic applications. Despite recent progress in obtaining a conclusive theoretical description, experimental FM combs often exhibit non-ideal traits, which prevents their widespread use. Here we explain this by providing a clear theoretical and experimental study of the impact of the higher-order dispersion on FM combs. We reveal that spectrally-dependent dispersion is detrimental for comb performance and leads to a decreased comb bandwidth and the appearance of spectral holes. These undesirable traits can be mended by applying a radio-frequency modulation of the laser bias. We show that electrical injection-locking of the laser leads to a significant increase of the comb bandwidth, a uniform-like spectral amplitudes, and the rectification of the instantaneous frequency to recover a nearly linear frequency chirp of FM combs.


title: Socially reactive navigation models for mobile robots in dynamic environments

abstract: The objective of this work is to expand upon previous works, considering socially acceptable behaviours within robot navigation and interaction, and allow a robot to closely approach static and dynamic individuals or groups. The space models developed in this dissertation are adaptive, that is, capable of changing over time to accommodate the changing circumstances often existent within a social environment. The space model's parameters' adaptation occurs with the end goal of enabling a close interaction between humans and robots and is thus capable of taking into account not only the arrangement of the groups, but also the basic characteristics of the robot itself. This work also further develops a preexisting approach pose estimation algorithm in order to better guarantee the safety and comfort of the humans involved in the interaction, by taking into account basic human sensibilities. The algorithms are integrated into ROS's navigation system through the use of the $costmap2d$ and the $move\_base$ packages. The space model adaptation is tested via comparative evaluation against previous algorithms through the use of datasets. The entire navigation system is then evaluated through both simulations (static and dynamic) and real life situations (static). These experiments demonstrate that the developed space model and approach pose estimation algorithms are capable of enabling a robot to closely approach individual humans and groups, while maintaining considerations for their comfort and sensibilities.


title: Empirical study of pretrained multilingual language models for zero-shot cross-lingual knowledge transfer in generation

abstract: Zero-shot cross-lingual knowledge transfer enables the multilingual pretrained language model (mPLM), finetuned on a task in one language, make predictions for this task in other languages. While being broadly studied for natural language understanding tasks, the described setting is understudied for generation. Previous works notice a frequent problem of generation in a wrong language and propose approaches to address it, usually using mT5 as a backbone model. In this work, we test alternative mPLMs, such as mBART and NLLB-200, considering full finetuning and parameter-efficient finetuning with adapters. We find that mBART with adapters performs similarly to mT5 of the same size, and NLLB-200 can be competitive in some cases. We also underline the importance of tuning learning rate used for finetuning, which helps to alleviate the problem of generation in the wrong language.


title: Pedestrian Accessible Infrastructure Inventory: Assessing Zero-Shot Segmentation on Multi-Mode Geospatial Data for All Pedestrian Types

abstract: In this paper, a Segment Anything Model (SAM)-based pedestrian infrastructure segmentation workflow is designed and optimized, which is capable of efficiently processing multi-sourced geospatial data including LiDAR data and satellite imagery data. We used an expanded definition of pedestrian infrastructure inventory which goes beyond the traditional transportation elements to include street furniture objects that are important for accessibility but are often omitted from the traditional definition. Our contributions lie in producing the necessary knowledge to answer the following two questions. First, which data representation can facilitate zero-shot segmentation of infrastructure objects with SAM? Second, how well does the SAM-based method perform on segmenting pedestrian infrastructure objects? Our findings indicate that street view images generated from mobile LiDAR point cloud data, when paired along with satellite imagery data, can work efficiently with SAM to create a scalable pedestrian infrastructure inventory approach with immediate benefits to GIS professionals, city managers, transportation owners, and walkers, especially those with travel-limiting disabilities, such as individuals who are blind, have low vision, or experience mobility disabilities.


title: On the population size in stochastic differential games

abstract: Commuters looking for the shortest path to their destinations, the security of networked computers, hedge funds trading on the same stocks, governments and populations acting to mitigate an epidemic, or employers and employees agreeing on a contact, are all examples of (dynamic) stochastic differential games. In essence, game theory deals with the analysis of strategic interactions among multiple decision-makers. The theory has had enormous impact in a wide variety of fields, but its rigorous mathematical analysis is rather recent. It started with the pioneering work of von Neumann and Morgenstern published in 1944. Since then, game theory has taken centre stage in applied mathematics and related areas. Game theory has also played an important role in unsuspected areas: for instance in military applications, when the analysis of guided interceptor missiles in the 1950s motivated the study of games evolving dynamically in time. Such games (when possibly subject to randomness) are called stochastic differential games. Their study started with the work of Issacs, who crucially recognised the importance of (stochastic) control theory in the area. Over the past few decades since Isaacs's work, a rich theory of stochastic differential game has emerged and branched into several directions. This paper will review recent advances in the study of solvability of stochastic differential games, with a focus on a purely probabilistic technique to approach the problem. Unsurprisingly, the number of players involved in the game is a major factor of the analysis. We will explain how the size of the population impacts the analyses and solvability of the problem, and discuss mean field games as well as the convergence of finite player games to mean field games.


title: BONES: Near-Optimal Neural-Enhanced Video Streaming

abstract: Accessing high-quality video content can be challenging due to insufficient and unstable network bandwidth. Recent advances in neural enhancement have shown promising results in improving the quality of degraded videos through deep learning. Neural-Enhanced Streaming (NES) incorporates this new approach into video streaming, allowing users to download low-quality video segments and then enhance them to obtain high-quality content without violating the playback of the video stream. We introduce BONES, an NES control algorithm that jointly manages the network and computational resources to maximize the quality of experience (QoE) of the user. BONES formulates NES as a Lyapunov optimization problem and solves it in an online manner with near-optimal performance, making it the first NES algorithm to provide a theoretical performance guarantee. Comprehensive experimental results indicate that BONES increases QoE by 5\% to 20\% over state-of-the-art algorithms with minimal overhead. Our code is available at https://github.com/UMass-LIDS/bones.


title: An Introduction to Mathematical Logic

abstract: This introduction begins with a section on fundamental notions of mathematical logic, including propositional logic, predicate or first-order logic, completeness, compactness, the L\"owenheim-Skolem theorem, Craig interpolation, Beth's definability theorem and Herbrand's theorem. It continues with a section on G\"odel's incompleteness theorems, which includes a discussion of first-order arithmetic and primitive recursive functions. This is followed by three sections that are devoted, respectively, to proof theory (provably total recursive functions and Goodstein sequences for $\mathsf{I\Sigma}_1$), computability (fundamental notions and an analysis of K\H{o}nig's lemma in terms of the low basis theorem) and model theory (ultraproducts, chains and the Ax-Grothendieck theorem). We conclude with some brief introductory remarks about set theory (with more details reserved for a separate lecture). The author uses these notes for a first logic course for undergraduates in mathematics, which consists of 28 lectures and 14 exercise sessions of 90 minutes each. In such a course, it may be necessary to omit some material, which is straightforward since all sections except for the first two are independent of each other.


title: Enhance Security of Time-Modulated Array-Enabled Directional Modulation by Introducing Symbol Ambiguity

abstract: In this paper, if the time-modulated array (TMA)-enabled directional modulation (DM) communication system can be cracked is investigated and the answer is YES! We first demonstrate that the scrambling data received at the eavesdropper can be defied by using grid search to successfully find the only and actual mixing matrix generated by TMA. Then, we propose introducing symbol ambiguity to TMA to defend the defying of grid search, and design two principles for the TMA mixing matrix, i.e., rank deficiency and non-uniqueness of the ON-OFF switching pattern, that can be used to construct the symbol ambiguity. Also, we present a feasible mechanism to implement these two principles. Our proposed principles and mechanism not only shed light on how to design a more secure TMA DM system theoretically in the future, but also have been validated to be effective by bit error rate measurements.


title: Semistable Non Abelian Hodge theorem in positive characteristic

abstract: In this paper, we show that for any reductive group $G$ the moduli space of semistable $G$-Higgs bundles on a curve in characteristic $p$ is a twisted form of the moduli space of semistable flat $G$-connections. This is the semistable version of a previous result of Chen-Zhu, and the $G$-bundle version of a previous result of de Cataldo-Groechenig-Zhang. As a consequence, we show that the Decomposition Theorem for the Hitchin morphism for $G$-Higgs bundles has the same shape as that for the de Rham-Hitchin morphism for flat $G$-connections.


title: Deep Reinforcement Learning with Explicit Context Representation

abstract: Reinforcement learning (RL) has shown an outstanding capability for solving complex computational problems. However, most RL algorithms lack an explicit method that would allow learning from contextual information. Humans use context to identify patterns and relations among elements in the environment, along with how to avoid making wrong actions. On the other hand, what may seem like an obviously wrong decision from a human perspective could take hundreds of steps for an RL agent to learn to avoid. This paper proposes a framework for discrete environments called Iota explicit context representation (IECR). The framework involves representing each state using contextual key frames (CKFs), which can then be used to extract a function that represents the affordances of the state; in addition, two loss functions are introduced with respect to the affordances of the state. The novelty of the IECR framework lies in its capacity to extract contextual information from the environment and learn from the CKFs' representation. We validate the framework by developing four new algorithms that learn using context: Iota deep Q-network (IDQN), Iota double deep Q-network (IDDQN), Iota dueling deep Q-network (IDuDQN), and Iota dueling double deep Q-network (IDDDQN). Furthermore, we evaluate the framework and the new algorithms in five discrete environments. We show that all the algorithms, which use contextual information, converge in around 40,000 training steps of the neural networks, significantly outperforming their state-of-the-art equivalents.


title: Homophone Disambiguation Reveals Patterns of Context Mixing in Speech Transformers

abstract: Transformers have become a key architecture in speech processing, but our understanding of how they build up representations of acoustic and linguistic structure is limited. In this study, we address this gap by investigating how measures of 'context-mixing' developed for text models can be adapted and applied to models of spoken language. We identify a linguistic phenomenon that is ideal for such a case study: homophony in French (e.g. livre vs livres), where a speech recognition model has to attend to syntactic cues such as determiners and pronouns in order to disambiguate spoken words with identical pronunciations and transcribe them while respecting grammatical agreement. We perform a series of controlled experiments and probing analyses on Transformer-based speech models. Our findings reveal that representations in encoder-only models effectively incorporate these cues to identify the correct transcription, whereas encoders in encoder-decoder models mainly relegate the task of capturing contextual dependencies to decoder modules.


title: Estimating Uncertainty in Multimodal Foundation Models using Public Internet Data

abstract: Foundation models are trained on vast amounts of data at scale using self-supervised learning, enabling adaptation to a wide range of downstream tasks. At test time, these models exhibit zero-shot capabilities through which they can classify previously unseen (user-specified) categories. In this paper, we address the problem of quantifying uncertainty in these zero-shot predictions. We propose a heuristic approach for uncertainty estimation in zero-shot settings using conformal prediction with web data. Given a set of classes at test time, we conduct zero-shot classification with CLIP-style models using a prompt template, e.g., "an image of a <category>", and use the same template as a search query to source calibration data from the open web. Given a web-based calibration set, we apply conformal prediction with a novel conformity score that accounts for potential errors in retrieved web data. We evaluate the utility of our proposed method in Biomedical foundation models; our preliminary results show that web-based conformal prediction sets achieve the target coverage with satisfactory efficiency on a variety of biomedical datasets.


title: Serre algebra, matrix factorization and categorical Torelli theorem for hypersurfaces

abstract: Let $X$ be a smooth Fano variety. We attach a bi-graded associative algebra $\mathrm{HS}(\mathcal{K}u(X))=\bigoplus_{i,j\in \mathbb{Z}} \mathrm{Hom}(\mathrm{Id},S_{\mathcal{K}u(X)}^{i}[j])$ to the Kuznetsov component $\mathcal{K}u(X)$ whenever it is defined. Then we construct a natural sub-algebra of $\mathrm{HS}(\mathcal{K}u(X))$ when $X$ is a Fano hypersurface and establish its relation with Jacobian ring $\mathrm{Jac}(X)$. As an application, we prove a categorical Torelli theorem for Fano hypersurface $X\subset\mathbb{P}^n(n\geq 2)$ of degree $d$ if $\mathrm{gcd}(n+1,d)=1.$ In addition, we give a new proof of the $[Pir22, Theorem 1.2]$ using a similar idea.


title: Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

abstract: We consider the homology theory of \'etale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a K\"unneth formula for products of groupoids and a Poincar\'e-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.


title: Prompting Scientific Names for Zero-Shot Species Recognition

abstract: Trained on web-scale image-text pairs, Vision-Language Models (VLMs) such as CLIP can recognize images of common objects in a zero-shot fashion. However, it is underexplored how to use CLIP for zero-shot recognition of highly specialized concepts, e.g., species of birds, plants, and animals, for which their scientific names are written in Latin or Greek. Indeed, CLIP performs poorly for zero-shot species recognition with prompts that use scientific names, e.g., "a photo of Lepus Timidus" (which is a scientific name in Latin). Because these names are usually not included in CLIP's training set. To improve performance, prior works propose to use large-language models (LLMs) to generate descriptions (e.g., of species color and shape) and additionally use them in prompts. We find that they bring only marginal gains. Differently, we are motivated to translate scientific names (e.g., Lepus Timidus) to common English names (e.g., mountain hare) and use such in the prompts. We find that common names are more likely to be included in CLIP's training set, and prompting them achieves 2$\sim$5 times higher accuracy on benchmarking datasets of fine-grained species recognition.


title: FiLM: Fill-in Language Models for Any-Order Generation

abstract: Language models have become the backbone of today's AI systems. However, their predominant left-to-right generation limits the use of bidirectional context, which is essential for tasks that involve filling text in the middle. We propose the Fill-in Language Model (FiLM), a new language modeling approach that allows for flexible generation at any position without adhering to a specific generation order. Its training extends the masked language modeling objective by adopting varying mask probabilities sampled from the Beta distribution to enhance the generative capabilities of FiLM. During inference, FiLM can seamlessly insert missing phrases, sentences, or paragraphs, ensuring that the outputs are fluent and are coherent with the surrounding context. In both automatic and human evaluations, FiLM outperforms existing infilling methods that rely on left-to-right language models trained on rearranged text segments. FiLM is easy to implement and can be either trained from scratch or fine-tuned from a left-to-right language model. Notably, as the model size grows, FiLM's perplexity approaches that of strong left-to-right language models of similar sizes, indicating FiLM's scalability and potential as a large language model.


title: Sub-optimality of the Naive Mean Field approximation for proportional high-dimensional Linear Regression

abstract: The Na\"ive Mean Field (NMF) approximation is widely employed in modern Machine Learning due to the huge computational gains it bestows on the statistician. Despite its popularity in practice, theoretical guarantees for high-dimensional problems are only available under strong structural assumptions (e.g., sparsity). Moreover, existing theory often does not explain empirical observations noted in the existing literature. In this paper, we take a step towards addressing these problems by deriving sharp asymptotic characterizations for the NMF approximation in high-dimensional linear regression. Our results apply to a wide class of natural priors and allow for model mismatch (i.e., the underlying statistical model can be different from the fitted model). We work under an \textit{iid} Gaussian design and the proportional asymptotic regime, where the number of features and the number of observations grow at a proportional rate. As a consequence of our asymptotic characterization, we establish two concrete corollaries: (a) we establish the inaccuracy of the NMF approximation for the log-normalizing constant in this regime, and (b) we provide theoretical results backing the empirical observation that the NMF approximation can be overconfident in terms of uncertainty quantification. Our results utilize recent advances in the theory of Gaussian comparison inequalities. To the best of our knowledge, this is the first application of these ideas to the analysis of Bayesian variational inference problems. Our theoretical results are corroborated by numerical experiments. Lastly, we believe our results can be generalized to non-Gaussian designs and provide empirical evidence to support it.


title: "Reading Between the Heat": Co-Teaching Body Thermal Signatures for Non-intrusive Stress Detection

abstract: Stress impacts our physical and mental health as well as our social life. A passive and contactless indoor stress monitoring system can unlock numerous important applications such as workplace productivity assessment, smart homes, and personalized mental health monitoring. While the thermal signatures from a user's body captured by a thermal camera can provide important information about the "fight-flight" response of the sympathetic and parasympathetic nervous system, relying solely on thermal imaging for training a stress prediction model often lead to overfitting and consequently a suboptimal performance. This paper addresses this challenge by introducing ThermaStrain, a novel co-teaching framework that achieves high-stress prediction performance by transferring knowledge from the wearable modality to the contactless thermal modality. During training, ThermaStrain incorporates a wearable electrodermal activity (EDA) sensor to generate stress-indicative representations from thermal videos, emulating stress-indicative representations from a wearable EDA sensor. During testing, only thermal sensing is used, and stress-indicative patterns from thermal data and emulated EDA representations are extracted to improve stress assessment. The study collected a comprehensive dataset with thermal video and EDA data under various stress conditions and distances. ThermaStrain achieves an F1 score of 0.8293 in binary stress classification, outperforming the thermal-only baseline approach by over 9%. Extensive evaluations highlight ThermaStrain's effectiveness in recognizing stress-indicative attributes, its adaptability across distances and stress scenarios, real-time executability on edge platforms, its applicability to multi-individual sensing, ability to function on limited visibility and unfamiliar conditions, and the advantages of its co-teaching approach.


title: Quantitative Stability Conditions for Grid-Forming Converters With Complex Droop Control

abstract: In this paper, we analytically study the transient stability of grid-connected converters with grid-forming complex droop control, also known as dispatchable virtual oscillator control. We prove theoretically that complex droop control, as a state-of-the-art grid-forming control, always possesses steady-state equilibria whereas classical droop control does not. We provide quantitative conditions for complex droop control maintaining transient stability (global asymptotic stability) under grid disturbances, which is beyond the well-established local (non-global) stability for classical droop control. For the transient instability of complex droop control, we reveal that the unstable trajectories are bounded, manifesting as limit cycle oscillations. Moreover, we extend our stability results from second-order grid-forming control dynamics to full-order system dynamics that additionally encompass both circuit electromagnetic transients and inner-loop dynamics. Our theoretical results contribute an insightful understanding of the transient stability and instability of complex droop control and offer practical guidelines for parameter tuning and stability guarantees.


title: Secular Outflows from Long-Lived Neutron Star Merger Remnants

abstract: We study mass ejection from a binary neutron star merger producing a long-lived massive neutron star remnant with general-relativistic neutrino-radiation hydrodynamics simulations. In addition to outflows generated by shocks and tidal torques during and shortly after the merger, we observe the appearance of a wind driven by spiral density waves in the disk. This spiral-wave-driven outflow is predominantly located close to the disk orbital plane and have a broad distribution of electron fractions. At higher latitudes, a high electron-fraction wind is driven by neutrino radiation. The combined nucleosynthesis yields from all the ejecta components is in good agreement with Solar abundance measurements.


title: Passivity and Decentralized Stability Conditions for Grid-Forming Converters

abstract: We prove that the popular grid-forming control, i.e., dispatchable virtual oscillator control (dVOC), also termed complex droop control, exhibits output-feedback passivity in its large-signal model, featuring an explicit and physically meaningful passivity index. Using this passivity property, we derive decentralized stability conditions for the transient stability of dVOC in multi-converter grid-connected systems, beyond prior small-signal stability results. The decentralized conditions are of practical significance, particularly for ensuring the transient stability of renewable power plants under grid disturbances.


title: A nonautonomous $C^r-$topological equivalence involving contractions and unbounded nonlinearities

abstract: We study the smoothness of the topological equivalence between a linear equation and its nonlinear perturbation, which is regarded as unbounded. To the best of our knowledge, it has not previously been considered such study in the literature. Therefore, the main result of this work copes with this lack, that is, it is shown, on the positive half line, that such topological equivalence is of class $C^r (r \geq 1)$ when the linear part is a uniform contraction and the nonlinearities considered are unbounded.


title: Joint Sparse Representations and Coupled Dictionary Learning in Multi-Source Heterogeneous Image Pseudo-color Fusion

abstract: Considering that Coupled Dictionary Learning (CDL) method can obtain a reasonable linear mathematical relationship between resource images, we propose a novel CDL-based Synthetic Aperture Radar (SAR) and multispectral pseudo-color fusion method. Firstly, the traditional Brovey transform is employed as a pre-processing method on the paired SAR and multispectral images. Then, CDL is used to capture the correlation between the pre-processed image pairs based on the dictionaries generated from the source images via enforced joint sparse coding. Afterward, the joint sparse representation in the pair of dictionaries is utilized to construct an image mask via calculating the reconstruction errors, and therefore generate the final fusion image. The experimental verification results of the SAR images from the Sentinel-1 satellite and the multispectral images from the Landsat-8 satellite show that the proposed method can achieve superior visual effects, and excellent quantitative performance in terms of spectral distortion, correlation coefficient, MSE, NIQE, BRISQUE, and PIQE.


title: Unified Merger List in the Container Shipping Industry from 1966: A Structural Estimation of the Transition of Importance of a Firm's Age, Tonnage Capacity, and Geographical Proximity on Merger Decision

abstract: We construct a novel unified merger list in the global container shipping industry between 1966 (the beginning of the industry) and 2022. Combining the list with proprietary data, we construct a structural matching model to describe the historical transition of the importance of a firm's age, size, and geographical proximity on merger decisions. We find that, as a positive factor, a firm's size is more important than a firm's age by 9.974 times as a merger incentive between 1991 and 2005. However, between 2006 and 2022, as a negative factor, a firm's size is more important than a firm's age by 0.026-0.630 times, that is, a firm's size works as a disincentive. We also find that the distance between buyer and seller firms works as a disincentive for the whole period, but the importance has dwindled to economic insignificance in recent years. In counterfactual simulations, we observe that the prohibition of mergers between firms in the same country would affect the merger configuration of not only the firms involved in prohibited mergers but also those involved in permitted mergers. Finally, we present interview-based evidence of the consistency between our merger lists, estimations, and counterfactual simulations with the industry experts' historical experiences.


title: Exploring self-consistent 2.5 D flare simulations with MPI-AMRVAC

abstract: Context. Multi-dimensional solar flare simulations have not yet included detailed analysis of the lower atmospheric responses such as down-flowing chromospheric compressions and chromospheric evaporation processes. Aims. We present an analysis of multi-dimensional flare simulations, including analysis of chromospheric up-flows and down-flows that provide important groundwork for comparing 1D and multi-dimensional models. Methods. We follow the evolution of an MHD standard solar flare model including electron beams, where localized anomalous resistivity initiates magnetic reconnection. We vary the background magnetic field strength, to produce simulations that cover a large span of observationally reported solar flare strengths. Chromospheric energy fluxes, and energy density maps are used to analyse the transport of energy from the corona to the lower atmosphere, and the resultant evolution of the flare. Quantities traced along 1D field-lines allow for detailed comparison with 1D evaporation models.


title: Semi-Supervised End-to-End Learning for Integrated Sensing and Communications

abstract: Integrated sensing and communications (ISAC) is envisioned as one of the key enablers of next-generation wireless systems, offering improved hardware, spectral, and energy efficiencies. In this paper, we consider an ISAC transceiver with an impaired uniform linear array that performs single-target detection and position estimation, and multiple-input single-output communications. A differentiable model-based learning approach is considered, which optimizes both the transmitter and the sensing receiver in an end-to-end manner. An unsupervised loss function that enables impairment compensation without the need for labeled data is proposed. Semi-supervised learning strategies are also proposed, which use a combination of small amounts of labeled data and unlabeled data. Our results show that semi-supervised learning can achieve similar performance to supervised learning with 98.8% less required labeled data.


title: How to compute multi-dimensional stable and unstable manifolds of piecewise-linear maps

abstract: For piecewise-linear maps the stable and unstable manifolds of hyperbolic periodic solutions are themselves piecewise-linear. Hence compact subsets of these manifolds can be represented using polytopes (i.e. polygons, in the case of two-dimensional manifolds). Such representations are efficient and exact so for computational purposes are superior to representations that use a large number of points on some mesh (as is usually done in the smooth setting). We introduce a method for computing convex polytope representations of stable and unstable manifolds. For an unstable manifold we iterate a suitably small subset of the local unstable manifold and prior to each iteration subdivide polytopes where they intersect the switching manifold of the map. We prove the output converges to the (entire) unstable manifold and use it to visualise attractors and bifurcations of the three-dimensional border-collision normal form: we identify a heterodimensional-cycle, a two-dimensional unstable manifold whose closure appears to be a unique attractor, and a piecewise-linear analogue of a first homoclinic tangency where an attractor appears to be destroyed.


title: Odd dipole screening in disordered matter

abstract: Disordered solids, straddling the solid-fluid boundary, lack a comprehensive continuum mechanical description. They exhibit a complex microstructure wherein multiple meta-stable states exist. Deforming disordered solids induces particles rearrangements enabling the system to transition between meta-stable states. A dramatic consequence of these transitions is that quasistatic deformation cycles modify the reference state, facilitating the storage and release of mechanical energy. Here we develop a continuum mechanical theory of disordered solids, which accounts for the absence of a reference state and the lack of conserved potential energy. Our theory, which introduces a new modulus describing non-conservative mechanical screening, reduces to classical elasticity in the absence of screening. We analytically derive predictions for the deformation field for various perturbations and geometries. While our theory applies to general disordered solids, we focus on a two-dimensional disordered granular system and predict accurately the non-affine displacement fields observed in experiments for both small and large deformations, along with the observable vanishing shear modulus. The new proposed moduli satisfy universal relations that are independent of the specific experimental realization. Our work thus forms the basis of an entirely new family of continuum descriptions of the mechanics of disordered solids.


title: Evaluating Robustness of Visual Representations for Object Assembly Task Requiring Spatio-Geometrical Reasoning

abstract: This paper primarily focuses on evaluating and benchmarking the robustness of visual representations in the context of object assembly tasks. Specifically, it investigates the alignment and insertion of objects with geometrical extrusions and intrusions, commonly referred to as a peg-in-hole task. The accuracy required to detect and orient the peg and the hole geometry in SE(3) space for successful assembly poses significant challenges. Addressing this, we employ a general framework in visuomotor policy learning that utilizes visual pretraining models as vision encoders. Our study investigates the robustness of this framework when applied to a dual-arm manipulation setup, specifically to the grasp variations. Our quantitative analysis shows that existing pretrained models fail to capture the essential visual features necessary for this task. However, a visual encoder trained from scratch consistently outperforms the frozen pretrained models. Moreover, we discuss rotation representations and associated loss functions that substantially improve policy learning. We present a novel task scenario designed to evaluate the progress in visuomotor policy learning, with a specific focus on improving the robustness of intricate assembly tasks that require both geometrical and spatial reasoning. Videos, additional experiments, dataset, and code are available at https://bit.ly/geometric-peg-in-hole .


title: Good elliptic operators on snowflakes

abstract: We construct elliptic operators with scalar coefficients on the complements $(\mathbb{R}^2 \setminus S)^+$ of some Koch-type snowflakes $S$, whose Hausdorff dimensions cover the full range $(1, \ln{(4)}/\ln{(3)})$, such that the operator's elliptic measures are equal to the Hausdorff measure on the boundary. This provides another example of the phenomenon that, though purely unrectifiable boundaries of domains are often characterised by the harmonic measure being singular with respect to the Hausdorff measure on the boundary, for some purely unrectifiable boundaries one can construct an elliptic operator whose elliptic measure behaves in a drastically different way. Plus, in $\mathbb{R}^2$, this operator can be chosen in a way that its coefficient is scalar, as opposed to a $2 \times 2$ matrix-valued one.


title: SDSS J125417.98+274004.6: An X-ray Detected Minor Merger Dual AGN

abstract: In this paper, we present the discovery of a dual AGN in a $\sim$11:1 minor merger between the galaxy SDSS J125417.98+274004.6 and its unnamed dwarf satellite. We calculated stellar masses of the primary and secondary galaxy to be 2.5$\times$10$^{10}$M$_{\odot}$ and 2.2$\times$10$^{9}$M$_{\odot}$, respectively. We used archival Chandra X-ray observations to assess the presence of AGN. We found that both AGN have comparable luminosities of $\sim$2$\times$10$^{42}$ erg s$^{-1}$, with the secondary AGN being more likely to be the dominant one. The galaxies are in the early stages of the merger and are connected by a tidal bridge. Previous works suggest that the secondary AGN should experience a brief but intensive period of Eddington-limit approaching accretion during the early stages of the merger. During the merger, the secondary black hole can increase its mass by a factor of ten. SDSS J125417.98+274004.6 is the first known dual AGN in an early-stage minor merger with a comparably or more luminous secondary AGN. As such, it will be of great value for future studies of merger-triggered accretion and black hole growth mechanisms.


title: UvA-MT's Participation in the WMT23 General Translation Shared Task

abstract: This paper describes the UvA-MT's submission to the WMT 2023 shared task on general machine translation. We participate in the constrained track in two directions: English <-> Hebrew. In this competition, we show that by using one model to handle bidirectional tasks, as a minimal setting of Multilingual Machine Translation (MMT), it is possible to achieve comparable results with that of traditional bilingual translation for both directions. By including effective strategies, like back-translation, re-parameterized embedding table, and task-oriented fine-tuning, we obtained competitive final results in the automatic evaluation for both English -> Hebrew and Hebrew -> English directions.


title: Heat equation for Sturm-Liouville operator with singular propagation and potential

abstract: This article considers the initial boundary value problem for the heat equation with the time-dependent Sturm-Liouville operator with singular potentials. To obtain a solution by the method of separation of variables, the problem is reduced to the problem of eigenvalues of the Sturm-Liouville operator. Further on, the solution to the initial boundary value problem is constructed in the form of a Fourier series expansion. A heterogeneous case is also considered. Finally, we establish the well-posedness of the equation in the case when the potential and initial data are distributions, also for singular time-dependent coefficients.


title: Simulating radio emission from air showers with CORSIKA 8

abstract: CORSIKA 8 is a new framework for air shower simulations implemented in modern C++17, based on past experience with existing codes like CORSIKA 7. The flexible and modular structure of the project allows the development of independent modules that can produce a fully customizable air shower simulation. The radio module in particular is designed to treat the signal propagation and electric field calculation to each antenna in an autonomous and flexible way. It provides the possibility to simulate simultaneously the radio emission calculated with two independent time-domain formalisms, the "Endpoint formalism" as implemented in CoREAS and the "ZHS" algorithm as ported from ZHAireS. Future development for the simulation of radio emission from particle showers in complex scenarios, for example cross-media showers penetrating from air into ice, can build on the existing radio module, re-using the establishes interfaces. In this work, we will present the design and implementation of the radio module in CORSIKA 8, and show a direct comparison of radio emission from air showers simulated with CORSIKA 8, CORSIKA 7 and ZHAireS.


title: Chameleon: a heterogeneous and disaggregated accelerator system for retrieval-augmented language models

abstract: A Retrieval-Augmented Language Model (RALM) augments a generative language model by retrieving context-specific knowledge from an external database. This strategy facilitates impressive text generation quality even with smaller models, thus reducing orders of magnitude of computational demands. However, RALMs introduce unique system design challenges due to (a) the diverse workload characteristics between LM inference and retrieval and (b) the various system requirements and bottlenecks for different RALM configurations such as model sizes, database sizes, and retrieval frequencies. We propose Chameleon, a heterogeneous accelerator system that integrates both LM and retrieval accelerators in a disaggregated architecture. The heterogeneity ensures efficient acceleration of both LM inference and retrieval, while the accelerator disaggregation enables the system to independently scale both types of accelerators to fulfill diverse RALM requirements. Our Chameleon prototype implements retrieval accelerators on FPGAs and assigns LM inference to GPUs, with a CPU server orchestrating these accelerators over the network. Compared to CPU-based and CPU-GPU vector search systems, Chameleon achieves up to 23.72x speedup and 26.2x energy efficiency. Evaluated on various RALMs, Chameleon exhibits up to 2.16x reduction in latency and 3.18x speedup in throughput compared to the hybrid CPU-GPU architecture. These promising results pave the way for bringing accelerator heterogeneity and disaggregation into future RALM systems.


title: Heterogeneous anomalous transport in cellular and molecular biology

abstract: It is well established that a wide variety of phenomena in cellular and molecular biology involve anomalous transport e.g. the statistics for the motility of cells and molecules are fractional and do not conform to the archetypes of simple diffusion or ballistic transport. Recent research demonstrates that anomalous transport is in many cases heterogeneous in both time and space. Thus single anomalous exponents and single generalized diffusion coefficients are unable to satisfactorily describe many crucial phenomena in cellular and molecular biology. We consider advances in the field of heterogeneous anomalous transport (HAT) highlighting: experimental techniques (single molecule methods, microscopy, image analysis, fluorescence correlation spectroscopy, inelastic neutron scattering, and NMR), theoretical tools for data analysis (robust statistical methods such as first passage probabilities, survival analysis, different varieties of mean square displacements, etc), analytic theory and generative theoretical models based on simulations. Special emphasis is made on high throughput analysis techniques based on machine learning and neural networks. Furthermore, we consider anomalous transport in the context of microrheology and the heterogeneous viscoelasticity of complex fluids. HAT in the wavefronts of reaction-diffusion systems is also considered since it plays an important role in morphogenesis and signalling. In addition, we present specific examples from cellular biology including embryonic cells, leukocytes, cancer cells, bacterial cells, bacterial biofilms, and eukaryotic microorganisms. Case studies from molecular biology include DNA, membranes, endosomal transport, endoplasmic reticula, mucins, globular proteins, and amyloids.


title: Open RAN meets Semantic Communications: A Synergistic Match for Open, Intelligent, and Knowledge-Driven 6G

abstract: Improving sustainability, enhancing spectral and energy efficiency, and bringing in-network intelligence and reasoning are the driving forces for 6G. In this context, semantic communications (SemCom) and open radio access networks (Open RAN) are emerging as focal points of research. SemCom is widely viewed as a disruptive paradigm that creates the possibility of knowledge-driven networks. On the other hand, Open RAN paves the way for open and programmable networks with native intelligence. This paper investigates the synergies between SemCom and Open RAN and introduces the concept of semantic-aware Open RAN. It presents the main architectural components and functionalities along with some of the key applications of semantic-aware Open RAN. It also conducts demonstration and evaluation of a remote WiFi localization built on semantic-aware Open RAN. Finally, it highlights some open challenges for semantic-aware Open RAN.


title: Seeking Next Layer Neurons' Attention for Error-Backpropagation-Like Training in a Multi-Agent Network Framework

abstract: Despite considerable theoretical progress in the training of neural networks viewed as a multi-agent system of neurons, particularly concerning biological plausibility and decentralized training, their applicability to real-world problems remains limited due to scalability issues. In contrast, error-backpropagation has demonstrated its effectiveness for training deep networks in practice. In this study, we propose a local objective for neurons that, when pursued by neurons individually, align them to exhibit similarities to error-backpropagation in terms of efficiency and scalability during training. For this purpose, we examine a neural network comprising decentralized, self-interested neurons seeking to maximize their local objective -- attention from subsequent layer neurons -- and identify the optimal strategy for neurons. We also analyze the relationship between this strategy and backpropagation, establishing conditions under which the derived strategy is equivalent to error-backpropagation. Lastly, we demonstrate the learning capacity of these multi-agent neural networks through experiments on three datasets and showcase their superior performance relative to error-backpropagation in a catastrophic forgetting benchmark.


title: Laser powered dissipative quantum batteries in atom-cavity QED

abstract: The interaction of a three-level atom with the electromagnetic field of a quantum cavity in the presence of a laser field presents a rich behavior that we exploit to discuss two quantum batteries. In the first setup, we consider a single three-level atom interacting sequentially with many cavities, each in a thermal state. We show that under this process, the atom converges towards an equilibrium state that displays population inversion. In the second setup, a stream of atoms in a thermal state interacts sequentially with a single cavity initially in a thermal state at the same temperature as the atoms. We show that the cavity's energy increases continuously as the stream of atoms continues to cross, and the cavity does not reach an equilibrium state. However, if we consider the state after many atoms have traveled, the cavity is in an active state that stores energy. The charging process we propose is robust. We discuss its thermodynamics and evaluate the energy supplied by the laser, the energy stored in the battery, and, thus, the device's efficiency.


title: Maximal Brill--Noether loci via the gonality stratification

abstract: We study the restriction of Brill-Noether loci to the gonality stratification of the moduli space of curves of fixed genus. As an application, we give new proofs that Brill-Noether loci with $\rho=-1$ have distinct support, and for fixed $r$ give lower bounds on when one direction of the non-containments of the Maximal Brill-Noether Loci Conjecture hold for Brill-Noether loci of rank $r$ linear systems. Using these techniques, we also show that Brill-Noether loci corresponding to rank $2$ linear systems are maximal as soon as $g\ge 28$ and prove the Maximal Brill-Noether Loci Conjecture for $g=20$.


title: On the Statistical Foundations of H-likelihood for Unobserved Random Variables

abstract: The maximum likelihood estimation is widely used for statistical inferences. This paper aims to reformulate Lee and Nelder's (1996) h-likelihood, so that the maximum h-likelihood estimator resembles the maximum likelihood estimator of the classical likelihood. We establish the statistical foundations of the new h-likelihood. This extends classical likelihood theories to embrace broader class of statistical models with random parameters. Maximization of the h-likelihood yields asymptotically optimal estimators for both fixed and random parameters achieving the generalized Cram\'er-Rao lower bound, while providing computationally efficient fitting algorithms. Furthermore, we explore asymptotic theory when the consistency of either fixed parameter estimation or random parameter prediction is violated. We also study how to obtain maximum h-likelihood estimators when the h-likelihood is not explicitly available.


title: Tabletop Transparent Scene Reconstruction via Epipolar-Guided Optical Flow with Monocular Depth Completion Prior

abstract: Reconstructing transparent objects using affordable RGB-D cameras is a persistent challenge in robotic perception due to inconsistent appearances across views in the RGB domain and inaccurate depth readings in each single-view. We introduce a two-stage pipeline for reconstructing transparent objects tailored for mobile platforms. In the first stage, off-the-shelf monocular object segmentation and depth completion networks are leveraged to predict the depth of transparent objects, furnishing single-view shape prior. Subsequently, we propose Epipolar-guided Optical Flow (EOF) to fuse several single-view shape priors from the first stage to a cross-view consistent 3D reconstruction given camera poses estimated from opaque part of the scene. Our key innovation lies in EOF which employs boundary-sensitive sampling and epipolar-line constraints into optical flow to accurately establish 2D correspondences across multiple views on transparent objects. Quantitative evaluations demonstrate that our pipeline significantly outperforms baseline methods in 3D reconstruction quality, paving the way for more adept robotic perception and interaction with transparent objects.


title: Topological Properties of Single-Particle States Decaying into a Continuum due to Interaction

abstract: We investigate how topological Chern numbers can be defined when single-particle states hybridize with continua. We do so exemplarily in a bosonic Haldane model at zero temperature modified by an additional on-site decay of one boson into two and the conjugate fusion of two bosons into one. Restricting the Hilbert space to two bosons at maximum, the exact self-energy is accessible. We use the bilinear Hamiltonian $H_0$ corrected by the self-energy $\Sigma$ to compute Chern numbers by two different approaches. The results are gauged against a full many-body calculation in the restricted Hilbert space. We find evidence that the effective Hamiltonian $H_0(\vec k) +\Sigma(\omega,\vec k)$ reproduces the correct many-body topology even if the considered band overlaps with the continuum. However, in the latter case the bulk-boundary correspondence appears to be no longer valid and the edge modes delocalize.

categories: cond-mat.mes-hall cond-mat.other cond-mat.quant-gas cond-mat.str-el


title: PT-symmetry enabled spintronic thermal diode and logic gates

abstract: Devices for performing computation and logic operations with low-energy consumption are of key importance for environmentally friendly data-processing and information technology. Here, we present a design for magnetic elements that use excess heat to perform logic operations. The basic information channel is coupled non-conductive magnetic stripes with a normal metal spacer. The thermal information signal is embodied in magnetic excitations and it can be transported, locally enhanced, and controllably steered by virtue of charge current pulses in the spacer. Functionality of essential thermal logic gates is demonstrated by material-specific simulations. The operation principle takes advantage of the special material architecture with a balanced gain/loss mechanism for magnetic excitation which renders the circuit parity-time symmetric with exceptional points tunable by the current strength in the spacer. Heat flow at these points can be enhanced, be non-reciprocal, or may oscillate between the information channels enabling so controlled thermal diode and thermal gate operations. The findings point to a new route for exploiting heat for useful work on the nanoscale.


title: Effect of Random-Bond Disorder on KT Transition

abstract: Here we have simulated effect of quenched type random-bond disorder during the XY transition.Here we have studied the spontaneous magnetization(M),heat-capacity(Cv) with T.Here we notice a spontaneous symmetry breaking and observe quasi long range order (QLRO) at ground state in presence of this type of bond-random disorder.


title: Point Mass in the Confidence Distribution: Is it a Drawback or an Advantage?

abstract: Stein's (1959) problem highlights the phenomenon called the probability dilution in high dimensional cases, which is known as a fundamental deficiency in probabilistic inference. The satellite conjunction problem also suffers from probability dilution that poor-quality data can lead to a dilution of collision probability. Though various methods have been proposed, such as generalized fiducial distribution and the reference posterior, they could not maintain the coverage probability of confidence intervals (CIs) in both problems. On the other hand, the confidence distribution (CD) has a point mass at zero, which has been interpreted paradoxical. However, we show that this point mass is an advantage rather than a drawback, because it gives a way to maintain the coverage probability of CIs. More recently, `false confidence theorem' was presented as another deficiency in probabilistic inferences, called the false confidence. It was further claimed that the use of consonant belief can mitigate this deficiency. However, we show that the false confidence theorem cannot be applied to the CD in both Stein's and satellite conjunction problems. It is crucial that a confidence feature, not a consonant one, is the key to overcome the deficiencies in probabilistic inferences. Our findings reveal that the CD outperforms the other existing methods, including the consonant belief, in the context of Stein's and satellite conjunction problems. Additionally, we demonstrate the ambiguity of coverage probability in an observed CI from the frequentist CI procedure, and show that the CD provides valuable information regarding this ambiguity.


title: Theoretical Evaluation of Asymmetric Shapley Values for Root-Cause Analysis

abstract: In this work, we examine Asymmetric Shapley Values (ASV), a variant of the popular SHAP additive local explanation method. ASV proposes a way to improve model explanations incorporating known causal relations between variables, and is also considered as a way to test for unfair discrimination in model predictions. Unexplored in previous literature, relaxing symmetry in Shapley values can have counter-intuitive consequences for model explanation. To better understand the method, we first show how local contributions correspond to global contributions of variance reduction. Using variance, we demonstrate multiple cases where ASV yields counter-intuitive attributions, arguably producing incorrect results for root-cause analysis. Second, we identify generalized additive models (GAM) as a restricted class for which ASV exhibits desirable properties. We support our arguments by proving multiple theoretical results about the method. Finally, we demonstrate the use of asymmetric attributions on multiple real-world datasets, comparing the results with and without restricted model families using gradient boosting and deep learning models.


title: New Results from IR-Improved Amplitude-Based Resummation in Quantum Field Theory

abstract: There is a continuing effort to support and prepare the precision physics programs for the present and planned future colliders such as HL-LHC, FCC, CLIC, CEPC, and CPPC. We discuss new results from IR-improved amplitude-based resummation in quantum field theory relevant to such support and preparation with some emphasis on the interplay between soft and collinear resummation algebras.


title: Ultra-Wide Bandgap Gallium Oxide Films: UV-Luminescence and Phonon Dynamics at Extreme Temperatures

abstract: $\beta$-Ga$_2$O$_3$ is a semiconductor with bandgap in the deep-UV ~ 5 eV. Due to its strong phonon-hole coupling, holes are self-trapped inhibiting bandgap luminescence at the deep-UV. In contrast, the self-trapped holes (STH) can exhibit a strong luminescence at ~ 3.5 eV. This research addresses the thermal response of the STH photoluminescence (PL), and the role of phonon interactions at temperatures 77 K - 622 K in nanocrystalline films. It was found that the PL intensity strongly diminishes as a function of increasing temperature with activation energy ~ 72 meV. A study of the Raman modes revealed that the intensity of the high frequency modes of the Ga$_I$O$_4$ site decrease with temperature, implying a phonon annihilation process. These modes, which have comparable energy to the STH activation energy, thus can couple to the STH and transition them from a radiative to a non-radiative regime in accordance with the configurational coordinate model at the strong phonon coupling limit. The significantly broad Gaussian linewidth of the PL is also a manifestation of a strong STH-phonon coupling. Furthermore, the peak position of the STH exhibited a negligible temperature response, in contrast to the redshift of ~ 220 meV of the bandedge of the film. In contrast to the intensity behavior of the high frequency Raman modes, the low frequency ones were found to follow the thermal Bose-Einstein phonon population.


title: Structural Controllability of Polysystems via Directed Hypergraph Representation

abstract: This document explores structural controllability of polynomial dynamical systems or polysystems. We extend Lin's concept of structural controllability for linear systems, offering hypergraph-theoretic methods to rapidly assess strong controllability. Our main result establishes that a polysytem is structurally controllable when its hypergraph representation contains no hyperedge dilation and no inaccessible vertices. We propose two efficient, scalable algorithms to validate these conditions.


title: ProteusNeRF: Fast Lightweight NeRF Editing using 3D-Aware Image Context

abstract: Neural Radiance Fields (NeRFs) have recently emerged as a popular option for photo-realistic object capture due to their ability to faithfully capture high-fidelity volumetric content even from handheld video input. Although much research has been devoted to efficient optimization leading to real-time training and rendering, options for interactive editing NeRFs remain limited. We present a very simple but effective neural network architecture that is fast and efficient while maintaining a low memory footprint. This architecture can be incrementally guided through user-friendly image-based edits. Our representation allows straightforward object selection via semantic feature distillation at the training stage. More importantly, we propose a local 3D-aware image context to facilitate view-consistent image editing that can then be distilled into fine-tuned NeRFs, via geometric and appearance adjustments. We evaluate our setup on a variety of examples to demonstrate appearance and geometric edits and report 10-30x speedup over concurrent work focusing on text-guided NeRF editing. Video results can be seen on our project webpage at https://proteusnerf.github.io.


title: Cohen-Macaulayness of Total Simplicial Complexes

abstract: We first construct the total simplicial complex (TSC) of a finite simple graph $G$ in order to generalize the total graph $T(G)$. We show that $\Delta_T(G)$ is not Cohen-Macaulay (CM) in general. For a connected graph $G$, we prove that the TSC is Buchsbaum. We demonstrate that the vanishing of first homology group of TSC associated to a connected graph $G$ is both a necessary and sufficient condition for it to be CM. We find the primary decomposition of the TSC associated to a family of friendship graphs $F_{5n+1}$ and prove it to be CM.


title: Robustness of Optimal Controlled Diffusions with Near-Brownian Noise via Rough Paths Theory

abstract: In this article we show a robustness theorem for controlled stochastic differential equations driven by approximations of Brownian motion. Often, Brownian motion is used as an idealized model of a diffusion where approximations such as Wong-Zakai, Karhnen-Lo\`eve or fractional Brownian motion are often seen as more physical. However, there has been extensive literature on solving control problems driven by Brownian motion and little on control problems driven by more realistic models that are only approximately Brownian. The question of robustness naturally arises from such approximations. We show robustness using rough paths theory, which allows for a pathwise theory of stochastic differential equations. To this end, in particular, we show that within the class of Lipschitz continuous control policies, an optimal solution for the Brownian idealized model is near optimal for a true system driven by a non-Brownian (but near-Brownian) noise.


title: Marked Length Spectrum Rigidity for Surface Amalgams

abstract: In this paper, we show that simple, thick negatively curved two-dimensional P-manifolds, a large class of surface amalgams, are marked length spectrum rigid. That is, if two piecewise negatively curved Riemannian metrics (satisfying certain smoothness conditions) on a simple, thick two-dimensional P-manifold assign the same lengths to all closed geodesics, then they differ by an isometry up to isotopy. Our main theorem is a natural generalization of Croke and Otal's celebrated results about marked length spectrum rigidity of negatively curved surfaces.


title: Socially Acceptable Bipedal Navigation: A Signal-Temporal-Logic- Driven Approach for Safe Locomotion

abstract: Social navigation for bipedal robots remains relatively unexplored due to the highly complex, nonlinear dynamics of bipedal locomotion. This study presents a preliminary exploration of social navigation for bipedal robots in a human crowded environment. We propose a social path planner that ensures the locomotion safety of the bipedal robot while navigating under a social norm. The proposed planner leverages a conditional variational autoencoder architecture and learns from human crowd datasets to produce a socially acceptable path plan. Robot-specific locomotion safety is formally enforced by incorporating signal temporal logic specifications during the learning process. We demonstrate the integration of the social path planner with a model predictive controller and a low-level passivity controller to enable comprehensive full-body joint control of Digit in a dynamic simulation.


title: Distributed Estimation with Partially Accessible Information: An IMAT Approach to LMS Diffusion

abstract: Distributed algorithms, particularly Diffusion Least Mean Square, are widely favored for their reliability, robustness, and fast convergence in various industries. However, limited observability of the target can compromise the integrity of the algorithm. To address this issue, this paper proposes a framework for analyzing combination strategies by drawing inspiration from signal flow analysis. A thresholding-based algorithm is also presented to identify and utilize the support vector in scenarios with missing information about the target vector's support. The proposed approach is demonstrated in two combination scenarios, showcasing the effectiveness of the algorithm in situations characterized by sparse observations in the time and transform domains.


title: AMAGO: Scalable In-Context Reinforcement Learning for Adaptive Agents

abstract: We introduce AMAGO, an in-context Reinforcement Learning (RL) agent that uses sequence models to tackle the challenges of generalization, long-term memory, and meta-learning. Recent works have shown that off-policy learning can make in-context RL with recurrent policies viable. Nonetheless, these approaches require extensive tuning and limit scalability by creating key bottlenecks in agents' memory capacity, planning horizon, and model size. AMAGO revisits and redesigns the off-policy in-context approach to successfully train long-sequence Transformers over entire rollouts in parallel with end-to-end RL. Our agent is scalable and applicable to a wide range of problems, and we demonstrate its strong performance empirically in meta-RL and long-term memory domains. AMAGO's focus on sparse rewards and off-policy data also allows in-context learning to extend to goal-conditioned problems with challenging exploration. When combined with a multi-goal hindsight relabeling scheme, AMAGO can solve a previously difficult category of open-world domains, where agents complete many possible instructions in procedurally generated environments.


title: Octonions as Clifford-like algebras

abstract: The associative Cayley-Dickson algebras over the field of real numbers are also Clifford algebras. The alternative but nonassociative real Cayley-Dickson algebras, notably the octonions and split octonions, share with Clifford algebras an involutary anti-automorphism and a set of mutually anticommutative generators. On the basis of these similarities, we introduce Kingdon algebras: alternative Clifford-like algebras over vector spaces equipped with a symmetric bilinear form. Over three-dimensional vector spaces, our construction quantizes an alternative non-associative analogue of the exterior algebra. The octonions and split octonions, along with other real generalized Cayley-Dickson algebras in Albert's sense, arise as Kingdon algebras. Our construction gives natural characterizations of the octonion and split octonion algebras by a universality property endowing them with a selected superalgebra structure.


title: Extending edge colorings of distance-3 matchings in the Cartesian product of bipartite graphs

abstract: We consider the problem of extending partial edge colorings of (iterated) cartesian products of even cycles and paths, focusing on the case when the precolored edges constitute a matching. We prove the conjecture of Casselgren, Granholm and Petros that a precolored distance 3 matching in the Cartesian product of two even cycles can be extended to a 4-coloring of the edge set of the whole graph. Actually, a generalization for the Cartesian product of two bipartite graphs is proved.


title: Algorithmic Contract Design for Crowdsourced Ranking

abstract: Ranking is fundamental to many areas, such as search engine optimization, human feedback for language models, as well as peer grading. Crowdsourcing, which is often used for these tasks, requires proper incentivization to ensure accurate inputs. In this work, we draw on the field of \emph{contract theory} from Economics to propose a novel mechanism that enables a \emph{principal} to accurately rank a set of items by incentivizing agents to provide pairwise comparisons of the items. Our mechanism implements these incentives by verifying a subset of each agent's comparisons, a task we assume to be costly. The agent is compensated (for example, monetarily or with class credit) based on the accuracy of these comparisons. Our mechanism achieves the following guarantees: (1) it only requires the principal to verify $O(\log s)$ comparisons, where $s$ is the total number of agents, and (2) it provably achieves higher total utility for the principal compared to ranking the items herself with no crowdsourcing.


title: Infinitesimal (BiHom-)bialgebras of any weight (II): Representations

abstract: The aim of this paper is to investigate representation theory of infinitesimal (BiHom-)bialgebras of any weight $\l$ (abbr. $\l$-inf(BH)-bialgebras). Firstly, inspired by the well-known Majid-Radford's bosonization theory in Hopf algebra theory, we present a class of $\l$-inf(BH)-bialgebras, named $\l$-inf(BH)-biproduct bialgebras, consisting of an inf(BH)-product algebra structure and an inf(BH)-coproduct coalgebra structure, which induces a structure of a $\l$-inf(BH)-Hopf bimodule over a $\l$-inf(BH)-bialgebra. Secondly, we explore relationships among $\l$-inf(BH)-Hopf bimodules, $\l$-Rota-Baxter (BiHom-)bimodules, (BiHom-)dendriform bimodules and (BiHom-)pre-Lie bimodules. Finally, we provide two kinds of general Gelfand-Dorfman theorems related to BiHom-Novikov algebras.


title: Anisotropic short-range attractions precisely model branched erythrocyte aggregates

abstract: Homogeneous suspensions of red blood cells (RBCs or erythrocytes) in blood plasma are unstable in the absence of driving forces and form elongated stacks, called rouleau. These erythrocyte aggregates are often branched porous networks -- a feature that existing red blood cell aggregation models and simulations fail to predict exactly. Here we establish that alignment-dependent attractive forces in a system of dimers can precisely generate branched structures similar to RBC aggregates observed under a microscope. Our simulations consistently predict that the growth rate of typical mean rouleau size remains sub-linear -- a hallmark from past studies -- which we also confirm by deriving a reaction kernel taking into account appropriate collision cross-section, approach velocities, and an area-dependent sticking probability. The system exhibits unique features such as the existence of percolated and/or single giant cluster states, multiple coexisting mass-size scalings, and transition to a branched phase upon fine-tuning of model parameters. Upon decreasing the depletion thickness we find that the percolation threshold increases and the morphology of the structures opens up towards an increased degree of branching. Remarkably the system self-organizes to produce a universal power-law size distribution scaling irrespective of the model parameters.


title: ABACuS: All-Bank Activation Counters for Scalable and Low Overhead RowHammer Mitigation

abstract: We introduce ABACuS, a new low-cost hardware-counter-based RowHammer mitigation technique that performance-, energy-, and area-efficiently scales with worsening RowHammer vulnerability. We observe that both benign workloads and RowHammer attacks tend to access DRAM rows with the same row address in multiple DRAM banks at around the same time. Based on this observation, ABACuS's key idea is to use a single shared row activation counter to track activations to the rows with the same row address in all DRAM banks. Unlike state-of-the-art RowHammer mitigation mechanisms that implement a separate row activation counter for each DRAM bank, ABACuS implements fewer counters (e.g., only one) to track an equal number of aggressor rows. Our evaluations show that ABACuS securely prevents RowHammer bitflips at low performance/energy overhead and low area cost. We compare ABACuS to four state-of-the-art mitigation mechanisms. At a near-future RowHammer threshold of 1000, ABACuS incurs only 0.58% (0.77%) performance and 1.66% (2.12%) DRAM energy overheads, averaged across 62 single-core (8-core) workloads, requiring only 9.47 KiB of storage per DRAM rank. At the RowHammer threshold of 1000, the best prior low-area-cost mitigation mechanism incurs 1.80% higher average performance overhead than ABACuS, while ABACuS requires 2.50X smaller chip area to implement. At a future RowHammer threshold of 125, ABACuS performs very similarly to (within 0.38% of the performance of) the best prior performance- and energy-efficient RowHammer mitigation mechanism while requiring 22.72X smaller chip area. ABACuS is freely and openly available at https://github.com/CMU-SAFARI/ABACuS.


title: Chinese Painting Style Transfer Using Deep Generative Models

abstract: Artistic style transfer aims to modify the style of the image while preserving its content. Style transfer using deep learning models has been widely studied since 2015, and most of the applications are focused on specific artists like Van Gogh, Monet, Cezanne. There are few researches and applications on traditional Chinese painting style transfer. In this paper, we will study and leverage different state-of-the-art deep generative models for Chinese painting style transfer and evaluate the performance both qualitatively and quantitatively. In addition, we propose our own algorithm that combines several style transfer models for our task. Specifically, we will transfer two main types of traditional Chinese painting style, known as "Gong-bi" and "Shui-mo" (to modern images like nature objects, portraits and landscapes.


title: Derived $V$-filtrations and the Kontsevich-Sabbah-Saito theorem

abstract: Let $f: X \to \mathbb{A}^1$ be a regular function on a smooth complex algebraic variety $X$. We formulate and prove an equivalence between the algebraic formal twisted de Rham complex of $f$ and the vanishing cycles with respect to $f$ as objects in the category of sheaves valued in the derived $\infty$-category of modules over $\widehat{\mathscr{E}}_{\mathbb{C},0}^{\mathrm{alg}}$, the ring of germs of algebraic formal microdifferential operators. This is a direct generalization of Kontsevich's conjecture, proven in work by Sabbah and then Sabbah--Saito, of an algebraic formula computing vanishing cohomology. The novelty in our approach is the introduction of a canonical $V$-filtration on the derived $\infty$-category of regular holonomic $\mathscr{D}_{\mathbb{C},0}$-modules, and the use of various techniques from the theory of higher categories and higher algebra in the context of the subject of microdifferential calculus.


title: Partitions in real quadratic fields

abstract: We study partitions of totally positive integers in real quadratic fields. We develop an algorithm for computing the number of partitions, prove a result about the parity of the partition function, and characterize the quadratic fields such that there exists an element with exactly 1-5, 7, and 11 partitions.


title: Class-Specific Data Augmentation: Bridging the Imbalance in Multiclass Breast Cancer Classification

abstract: Breast Cancer is the most common cancer among women, which is also visible in men, and accounts for more than 1 in 10 new cancer diagnoses each year. It is also the second most common cause of women who die from cancer. Hence, it necessitates early detection and tailored treatment. Early detection can provide appropriate and patient-based therapeutic schedules. Moreover, early detection can also provide the type of cyst. This paper employs class-level data augmentation, addressing the undersampled classes and raising their detection rate. This approach suggests two key components: class-level data augmentation on structure-preserving stain normalization techniques to hematoxylin and eosin-stained images and transformer-based ViTNet architecture via transfer learning for multiclass classification of breast cancer images. This merger enables categorizing breast cancer images with advanced image processing and deep learning as either benign or as one of four distinct malignant subtypes by focusing on class-level augmentation and catering to unique characteristics of each class with increasing precision of classification on undersampled classes, which leads to lower mortality rates associated with breast cancer. The paper aims to ease the duties of the medical specialist by operating multiclass classification and categorizing the image into benign or one of four different malignant types of breast cancers.