title: Leptogenesis in a Left-Right Symmetric Model with double seesaw

abstract: We explore the connection between low-scale CP-violating Dirac phase~$(\delta)$ and high-scale leptogenesis in a Left-Right Symmetric Model (LRSM) with scalar bidoublet and doublets. The fermion sector of the model is extended with one sterile neutrino~$(S_L)$ per generation to implement a double seesaw mechanism in the neutral fermion mass matrix. The double seesaw is performed via the implementation of type-I seesaw twice. The first seesaw facilitates the generation of Majorana mass term for heavy right-handed (RH) neutrinos~$(N_R)$, and the light neutrino mass becomes linearly dependent on $S_L$ mass in the second. In our framework, we have taken charge conjugation ($C$) as the discrete left-right (LR) symmetry. This choice assists in deriving the Dirac neutrino mass matrix ($M_D$) in terms of the light and heavy RH neutrino masses and light neutrino mixing matrix $U_{PMNS}$ (containing $\delta$). We illustrate the viability of unflavored thermal leptogenesis via the decay of RH neutrinos by using the obtained $M_D$ with the masses of RH neutrinos as input parameters. A complete analysis of the Boltzmann equations describing the asymmetry evolution is performed in the unflavored regime, and it is shown that with or without Majorana phases, the CP-violating Dirac phase is sufficient to produce the required asymmetry in the leptonic sector within this framework for a given choice of input parameters. Finally, we comment on the possibility of constraining our model with the current and near-future oscillation experiments, which are aimed at refining the value of $\delta$.


title: Uncertainty Quantification using Generative Approach

abstract: We present the Incremental Generative Monte Carlo (IGMC) method, designed to measure uncertainty in deep neural networks using deep generative approaches. IGMC iteratively trains generative models, adding their output to the dataset, to compute the posterior distribution of the expectation of a random variable. We provide a theoretical guarantee of the convergence rate of IGMC relative to the sample size and sampling depth. Due to its compatibility with deep generative approaches, IGMC is adaptable to both neural network classification and regression tasks. We empirically study the behavior of IGMC on the MNIST digit classification task.


title: Three-Dimensional Shear-Flow Instability Saturation via Stable Modes

abstract: Turbulence in three dimensions ($3$D) supports vortex stretching that has long been known to accomplish energy transfer to small scales. Moreover, net energy transfer from large-scale, forced, unstable flow-gradients to smaller scales is achieved by gradient-flattening instability. Despite such enforcement of energy transfer to small scales, it is shown here not only that the shear-flow-instability-supplied $3$D-fluctuation energy is largely inverse-transferred from the fluctuation to the mean-flow gradient, but that such inverse transfer is more efficient for turbulent fluctuations in $3$D than in two dimensions ($2$D). The transfer is due to linearly stable eigenmodes that are excited nonlinearly. The stable modes, thus, reduce both the nonlinear energy cascade to small scales and the viscous dissipation rate. The vortex-tube stretching is also suppressed. Up-gradient momentum transport by the stable modes counters the instability-driven down-gradient transport, which also is more effective in $3$D than in $2$D ($\mathrm{\approx} 70\% \mathrm{\,\, vs.\,\,}\mathrm{\approx} 50\%$). From unstable modes, these stable modes nonlinearly receive energy via zero-frequency fluctuations that vary only in the direction orthogonal to the plane of $2$D shear flow. The more widely occurring $3$D turbulence is thus inherently different from the commonly studied $2$D turbulence, despite both saturating via stable modes.

categories: physics.flu-dyn physics.comp-ph physics.plasm-ph physics.space-ph


title: Geo-knowledge-guided GPT models improve the extraction of location descriptions from disaster-related social media messages

abstract: Social media messages posted by people during natural disasters often contain important location descriptions, such as the locations of victims. Recent research has shown that many of these location descriptions go beyond simple place names, such as city names and street names, and are difficult to extract using typical named entity recognition (NER) tools. While advanced machine learning models could be trained, they require large labeled training datasets that can be time-consuming and labor-intensive to create. In this work, we propose a method that fuses geo-knowledge of location descriptions and a Generative Pre-trained Transformer (GPT) model, such as ChatGPT and GPT-4. The result is a geo-knowledge-guided GPT model that can accurately extract location descriptions from disaster-related social media messages. Also, only 22 training examples encoding geo-knowledge are used in our method. We conduct experiments to compare this method with nine alternative approaches on a dataset of tweets from Hurricane Harvey. Our method demonstrates an over 40% improvement over typically used NER approaches. The experiment results also show that geo-knowledge is indispensable for guiding the behavior of GPT models. The extracted location descriptions can help disaster responders reach victims more quickly and may even save lives.


title: Addressing the cold start problem in privacy preserving content-based recommender systems using hypercube graphs

abstract: The initial interaction of a user with a recommender system is problematic because, in such a so-called cold start situation, the recommender system has very little information about the user, if any. Moreover, in collaborative filtering, users need to share their preferences with the service provider by rating items while in content-based filtering there is no need for such information sharing. We have recently shown that a content-based model that uses hypercube graphs can determine user preferences with a very limited number of ratings while better preserving user privacy. In this paper, we confirm these findings on the basis of experiments with more than 1,000 users in the restaurant and movie domains. We show that the proposed method outperforms standard machine learning algorithms when the number of available ratings is at most 10, which often happens, and is competitive with larger training sets. In addition, training is simple and does not require large computational efforts.


title: Ranking LLM-Generated Loop Invariants for Program Verification

abstract: Synthesizing inductive loop invariants is fundamental to automating program verification. In this work, we observe that Large Language Models (such as gpt-3.5 or gpt-4) are capable of synthesizing loop invariants for a class of programs in a 0-shot setting, yet require several samples to generate the correct invariants. This can lead to a large number of calls to a program verifier to establish an invariant. To address this issue, we propose a {\it re-ranking} approach for the generated results of LLMs. We have designed a ranker that can distinguish between correct inductive invariants and incorrect attempts based on the problem definition. The ranker is optimized as a contrastive ranker. Experimental results demonstrate that this re-ranking mechanism significantly improves the ranking of correct invariants among the generated candidates, leading to a notable reduction in the number of calls to a verifier. The source code and the experimental data for this paper are available in \url{https://github.com/microsoft/NeuralInvariantRanker}.


title: Dialogue Chain-of-Thought Distillation for Commonsense-aware Conversational Agents

abstract: Human-like chatbots necessitate the use of commonsense reasoning in order to effectively comprehend and respond to implicit information present within conversations. Achieving such coherence and informativeness in responses, however, is a non-trivial task. Even for large language models (LLMs), the task of identifying and aggregating key evidence within a single hop presents a substantial challenge. This complexity arises because such evidence is scattered across multiple turns in a conversation, thus necessitating integration over multiple hops. Hence, our focus is to facilitate such multi-hop reasoning over a dialogue context, namely dialogue chain-of-thought (CoT) reasoning. To this end, we propose a knowledge distillation framework that leverages LLMs as unreliable teachers and selectively distills consistent and helpful rationales via alignment filters. We further present DOCTOR, a DialOgue Chain-of-ThOught Reasoner that provides reliable CoT rationales for response generation. We conduct extensive experiments to show that enhancing dialogue agents with high-quality rationales from DOCTOR significantly improves the quality of their responses.


title: Thermal Phase Diagram of the Square Lattice Ferro-antiferromagnetic $J_1-J_2$ Heisenberg Model

abstract: Using state of the art tensor network computations combined with spin wave theory, we compute the finite temperature phase diagram of the spin 1/2 $J_1-J_2$ Heisenberg model on the square lattice with ferromagnetic $J_1 < 0$ and antiferromagnetic $J_2 > 0$. We localize the first order line originating from the first order zero temperature point as well as the second order thermal transition at large $J_2$ associated with spontaneous lattice rotation symmetry breaking. This second order line terminates at a critical end point where it meets the first order line. We found no evidence for an intermediate phase.


title: A Unified Bayesian Framework for Modeling Measurement Error in Multinomial Data

abstract: Measurement error in multinomial data is a well-known and well-studied inferential problem that is encountered in many fields, including engineering, biomedical and omics research, ecology, finance, and social sciences. Surprisingly, methods developed to accommodate measurement error in multinomial data are typically equipped to handle false negatives or false positives, but not both. We provide a unified framework for accommodating both forms of measurement error using a Bayesian hierarchical approach. We demonstrate the proposed method's performance on simulated data and apply it to acoustic bat monitoring data.


title: HaptiCharger: Robotic Charging of Electric Vehicles Based on Human Haptic Patterns

abstract: The growing demand for electric vehicles requires the development of automated car charging methods. At the moment, the process of charging an electric car is completely manual, and that requires physical effort to accomplish the task, which is not suitable for people with disabilities. Typically, the effort in the automation of the charging task research is focused on detecting the position and orientation of the socket, which resulted in a relatively high accuracy, 5 mm, and 10 degrees. However, this accuracy is not enough to complete the charging process. In this work, we focus on designing a novel methodology for robust robotic plug-in and plug-out based on human haptics to overcome the error in the orientation of the socket. Participants were invited to perform the charging task, and their cognitive capabilities were recognized by measuring the applied forces along with the movements of the charger. Eventually, an algorithm was developed based on the human's best strategies to be applied to a robotic arm.


title: Efficient Apple Maturity and Damage Assessment: A Lightweight Detection Model with GAN and Attention Mechanism

abstract: This study proposes a method based on lightweight convolutional neural networks (CNN) and generative adversarial networks (GAN) for apple ripeness and damage level detection tasks. Initially, a lightweight CNN model is designed by optimizing the model's depth and width, as well as employing advanced model compression techniques, successfully reducing the model's parameter and computational requirements, thus enhancing real-time performance in practical applications. Simultaneously, attention mechanisms are introduced, dynamically adjusting the importance of different feature layers to improve the performance in object detection tasks. To address the issues of sample imbalance and insufficient sample size, GANs are used to generate realistic apple images, expanding the training dataset and enhancing the model's recognition capability when faced with apples of varying ripeness and damage levels. Furthermore, by applying the object detection network for damage location annotation on damaged apples, the accuracy of damage level detection is improved, providing a more precise basis for decision-making. Experimental results show that in apple ripeness grading detection, the proposed model achieves 95.6\%, 93.8\%, 95.0\%, and 56.5 in precision, recall, accuracy, and FPS, respectively. In apple damage level detection, the proposed model reaches 95.3\%, 93.7\%, and 94.5\% in precision, recall, and mAP, respectively. In both tasks, the proposed method outperforms other mainstream models, demonstrating the excellent performance and high practical value of the proposed method in apple ripeness and damage level detection tasks.


title: Vapor-Buoyancy Feedback in an Idealized GCM

abstract: Humid air is lighter than dry air at the same temperature and pressure because the molecular weight of water vapor is less than that of dry air. This effect is known as vapor buoyancy (VB). In this work we use experiments in an idealized general circulation model (GCM) to show that VB warms the tropical free troposphere and leads to a significant increase in outgoing longwave radiation (OLR). This radiative effect increases with climate warming, causing a negative climate feedback there. We call this the VB feedback. Although this VB feedback was first corroborated in simplified models, it was heretofore unclear whether the VB feedback is significantly impaired by planetary rotation, clouds, or a countervailing water vapor feedback. However, our GCM simulations show that the VB feedback is robust and maintains an appreciable magnitude when considering these factors.


title: Viability of Boosted Light Dark Matter in a Two-Component Scenario

abstract: We study the two-component boosted dark matter (DM) scenario in a neutrinophilic two-Higgs doublet model ($\nu 2$HDM), which comprises of one extra Higgs doublet with a MeV scale CP-even scalar H. This model is extended with a light ($\sim 10$~MeV) singlet scalar DM $\phi_3$, which is stabilized under the existing $Z_2$ symmetry and can only effectively annihilate through scalar $H$. As the presence of a light H modify the oblique parameters to put tight constraints on the model, introduction of vectorlike leptons (VLL) can potentially salvage the issue. These additional vector-like doublet $N$ and one vector-like singlet $\chi$ are also stabilized through the $Z_2$ symmetry. The lightest vectorlike mass eigenstate $\chi_1$ ($ \sim 100$ GeV) can be the potential second DM component of the model. Individual scalar and fermionic DM candidates have Higgs/Z mediated annihilation, restricting the fermion DM in a narrow mass region while a somewhat broader mass region is allowed for the scalar DM. In a coupled scenario, light DM $\phi_3$ gets its boost from the $\chi_1$ annihilation while the fermionic DM opens up new annihilation channel $\chi_1 \chi_1 \to \phi_3 \phi_3$: decreases the relic density. This paves way for more fermionic DM mass with under-abundant relic, a region of [35-60] GeV compared to a smaller [40-50] GeV window for the single component fermion DM. On the other hand, the $\phi_3$ resonant annihilation gets diluted due to boosting effects in kinematics, which increases the DM relic leading to a smaller allowed region. To achieve an under-abundant relic, the total DM relic will be dominated by the $\chi_1$ contribution. While there is a region with $\phi_3$ contribution dominating the total DM, the combined relic becomes over-abundant. Therefore, a sub-dominant ($\sim 5 \%$) boosted scalar is the most favorable light DM candidate to be probed for detection.


title: Unsupervised Domain Adaption for Neural Information Retrieval

abstract: Neural information retrieval requires costly annotated data for each target domain to be competitive. Synthetic annotation by query generation using Large Language Models or rule-based string manipulation has been proposed as an alternative, but their relative merits have not been analysed. In this paper, we compare both methods head-to-head using the same neural IR architecture. We focus on the BEIR benchmark, which includes test datasets from several domains with no training data, and explore two scenarios: zero-shot, where the supervised system is trained in a large out-of-domain dataset (MS-MARCO); and unsupervised domain adaptation, where, in addition to MS-MARCO, the system is fine-tuned in synthetic data from the target domain. Our results indicate that Large Language Models outperform rule-based methods in all scenarios by a large margin, and, more importantly, that unsupervised domain adaptation is effective compared to applying a supervised IR system in a zero-shot fashion. In addition we explore several sizes of open Large Language Models to generate synthetic data and find that a medium-sized model suffices. Code and models are publicly available for reproducibility.


title: Existence and stability of steady states solutions of Flat Vlasov-Poisson system with a central mass density

abstract: We study a Newtonian model which allows us to describe some extremely flat objects in galactic dynamics. This model is described by a partial differential equation system called Vlasov-Poisson, whose solutions describe the temporal evolution of a collisionless particle system in the phase space, subject to a self interacting gravitational potential. We treat the Flat VlasovPoisson system with an external gravitational potential induced by a fixed mass density. The aim of this article is the study of the existence, regularity, and stability of steady states solutions of the Flat Vlasov-Poisson system in this case. We solved a variational problem to find minimizers for the Casimir-Energy functional in a suitable set of functions. The minimization problem is solved through a reduction of the original optimization problem with a scheme used in [FR06], but instead of a concentration-compactness argument, we use a symmetrization argument to construct a spherically symmetric solution for the reduced problem. It was proven that this minimizer induces a solution for the original minimization problem. The regularity of the gravitational potential was also obtained, implying that the solutions are steady states of the Flat Vlasov-Poisson system. The minimization problem also works as a key to give us a similar non-linear stability result.


title: The PEPSI Exoplanet Transit Survey (PETS) IV: Assessing the atmospheric chemistry of KELT-20b

abstract: Most ultra hot Jupiters (UHJs) show evidence of temperature inversions, in which temperature increases with altitude over a range of pressures. Temperature inversions can occur when there is a species that absorbs the stellar irradiation at a relatively high level of the atmospheres. However, the species responsible for this absorption remains unidentified. In particular, the UHJ KELT-20b is known to have a temperature inversion. Using high resolution emission spectroscopy from LBT/PEPSI we investigate the atomic and molecular opacity sources that may cause the inversion in KELT-20b, as well as explore its atmospheric chemistry. We confirm the presence of Fe I with a significance of 17$\sigma$. We also report a tentative $4.3\sigma$ detection of Ni I. A nominally $4.5\sigma$ detection of Mg I emission in the PEPSI blue arm is likely in fact due to aliasing between the Mg I cross-correlation template and the Fe I lines present in the spectrum. We cannot reproduce a recent detection of Cr I, while we do not have the wavelength coverage to robustly test past detections of Fe II and Si I. Together with non-detections of molecular species like TiO, this suggests that Fe I is likely to be the dominant optical opacity source in the dayside atmosphere of KELT-20b and may be responsible for the temperature inversion. We explore ways to reconcile the differences between our results and those in literature and point to future paths to understand atmospheric variability.


title: The cylindrical jet base of M87 within 100$\mu\rm{as}$ of the central engine

abstract: A recent article on high-resolution 86 GHz observations with the Global Millimeter VLBI Array, the phased Atacama Large Millimeter/submillimeter Array, and the Greenland Telescope describes the detection of a limb-brightened cylindrical jet, $25 \mu\rm{as}< z< 100 \mu\rm{as}$, where $z$ is the axial displacement from the supermassive black hole in the sky plane. It was shown to be much wider and much more collimated than 2D simulations of electromagnetic (Blandford-Znajek) jets from the event horizon predicted. This was an unanticipated discovery. The claimed detection of a jet connected to the accretion flow provides a direct observational constraint on the geometry and physics of the jet launching region for the first time in any black hole jetted system. This landmark detection warrants further analysis. This Letter focuses on the most rudimentary properties, the shape and size of the source of the detected jet emission, the determination of which is not trivial due to line-of-sight effects. Simple thick-walled cylindrical shell models for the source were analyzed to constrain the thickness of the jet wall. The analysis indicates a tubular jet source with a radius $R\approx 144 \mu\rm{as}\approx 38M$ and that the tubular jet walls have a width $W \approx 36\mu\rm{as} \approx 9.5 M$, where $M$ is the geometrized mass of the black hole (a volume comparable to that of the interior cavity). The observed cylindrical jet connects continuously to the highly limb-brightened jet (previously described as a thick-walled tubular jet) that extends to $z> 0.65$ mas, and the two are likely in fact the same outflow (i.e., from the same central engine).


title: Four-jet event shapes in hadronic Higgs decays

abstract: We present next-to-leading order perturbative QCD predictions for four-jet-like event-shape observables in hadronic Higgs decays. To this end, we take into account two Higgs-decay categories: involving either the Yukawa-induced decay to a $b\bar{b}$ pair or the loop-induced decay to two gluons via an effective Higgs-gluon-gluon coupling. We present results for distributions related to the event-shape variables thrust minor, light-hemisphere mass, narrow jet broadening, $D$-parameter, and Durham four-to-three-jet transition variable. For each of these observables we study the impact of higher-order corrections and compare their size and shape in the two Higgs-decay categories. We find large NLO corrections with a visible shape difference between the two decay modes, leading to a significant shift of the peak in distributions related to the $H\to gg$ decay mode.


title: The first white dwarf debris disk observed by JWST

abstract: This letter reports the first JWST spectroscopy of a white dwarf debris disk, giving a preliminary assessment of the salient features, and recommendations for future observations. The polluted and dusty star WD 0145+234 experienced a major collisional event in its circumstellar disk in 2018, accompanied by an infrared outburst, and subsequently a gradual decrease in thermal emission. Time-series NIRSPEC observations demonstrate that the circumstellar disk is returning to a quiescent state with a T~1000 K infrared excess similar to the bulk of known dusty white dwarfs. MIRI spectroscopy reveals a 9-12 micron solid-state emission feature consistent with silicate minerals as observed in debris disks observed with Spitzer IRS. The strength and morphology of the silicate feature appear unchanged relative to the continuum in spectra taken over a year apart, consistent with steady-state collisional evolution of the circumstellar debris. A tentative emission feature around 7 microns may be due to carbonates, and if confirmed would indicate aqueous alteration in the parent body.


title: Distributed Gradient Tracking Methods with Guarantees for Computing a Solution to Stochastic MPECs

abstract: We consider a class of hierarchical multi-agent optimization problems over networks where agents seek to compute an approximate solution to a single-stage stochastic mathematical program with equilibrium constraints (MPEC). MPECs subsume several important problem classes including Stackelberg games, bilevel programs, and traffic equilibrium problems, to name a few. Our goal in this work is to provably resolve stochastic MPECs in distributed regimes where the agents only have access to their local objectives and an inexact best-response to the lower-level equilibrium problem. To this end, we devise a new method called randomized smoothed distributed zeroth-order gradient tracking (rs-DZGT). This is a novel gradient tracking scheme where agents employ a zeroth-order implicit scheme to approximate their (unavailable) local gradients. Leveraging the properties of a randomized smoothing technique, we establish the convergence of the method and derive complexity guarantees for computing a stationary point of an optimization problem with a smoothed implicit global objective. We also provide preliminary numerical experiments where we compare the performance of rs-DZGT on networks under different settings with that of its centralized counterpart.


title: A Computational Approach to Style in American Poetry

abstract: We develop a quantitative method to assess the style of American poems and to visualize a collection of poems in relation to one another. Qualitative poetry criticism helped guide our development of metrics that analyze various orthographic, syntactic, and phonemic features. These features are used to discover comprehensive stylistic information from a poem's multi-layered latent structure, and to compute distances between poems in this space. Visualizations provide ready access to the analytical components. We demonstrate our method on several collections of poetry, showing that it better delineates poetry style than the traditional word-occurrence features that are used in typical text analysis algorithms. Our method has potential applications to academic research of texts, to research of the intuitive personal response to poetry, and to making recommendations to readers based on their favorite poems.


title: Bad Values but Good Behavior: Learning Highly Misspecified Bandits and MDPs

abstract: Parametric, feature-based reward models are employed by a variety of algorithms in decision-making settings such as bandits and Markov decision processes (MDPs). The typical assumption under which the algorithms are analysed is realizability, i.e., that the true values of actions are perfectly explained by some parametric model in the class. We are, however, interested in the situation where the true values are (significantly) misspecified with respect to the model class. For parameterized bandits, contextual bandits and MDPs, we identify structural conditions, depending on the problem instance and model class, under which basic algorithms such as $\epsilon$-greedy, LinUCB and fitted Q-learning provably learn optimal policies under even highly misspecified models. This is in contrast to existing worst-case results for, say misspecified bandits, which show regret bounds that scale linearly with time, and shows that there can be a nontrivially large set of bandit instances that are robust to misspecification.


title: Laser-driven ultrafast impedance spectroscopy for measuring complex ion hopping processes

abstract: Superionic conductors, or solid-state ion-conductors surpassing 0.01 S/cm in conductivity, can enable more energy dense batteries, robust artificial ion pumps, and optimized fuel cells. However, tailoring superionic conductors require precise knowledge of ion migration mechanisms that are still not well understood, due to limitations set by available spectroscopic tools. Most spectroscopic techniques do not probe ion hopping at its inherent picosecond timescale, nor the many-body correlations between the migrating ions, lattice vibrational modes, and charge screening clouds--all of which are posited to greatly enhance ionic conduction. Here, we develop an ultrafast technique that measures the time-resolved change in impedance upon light excitation which triggers selective ion-coupled correlations. We also develop a cost-effective, non-time-resolved laser-driven impedance method that is more accessible for lab-scale adoption. We use both techniques to compare the relative changes in impedance of a solid-state Li+ conductor Li0.5La0.5TiO3 (LLTO) before and after UV to THz frequency excitations to elucidate the corresponding ion-many-body-interaction correlations. From our techniques, we determine that electronic screening and phonon-mode interactions dominate the ion migration pathway of LLTO. Although we only present one case study, our technique can extend to O2-, H+, or other charge carrier transport phenomena where ultrafast correlations control transport. Furthermore, the temporal relaxation of the measured impedance can distinguish ion transport effects caused by many-body correlations, optical heating, correlation, and memory behavior.


title: Exact Verification of ReLU Neural Control Barrier Functions

abstract: Control Barrier Functions (CBFs) are a popular approach for safe control of nonlinear systems. In CBF-based control, the desired safety properties of the system are mapped to nonnegativity of a CBF, and the control input is chosen to ensure that the CBF remains nonnegative for all time. Recently, machine learning methods that represent CBFs as neural networks (neural control barrier functions, or NCBFs) have shown great promise due to the universal representability of neural networks. However, verifying that a learned CBF guarantees safety remains a challenging research problem. This paper presents novel exact conditions and algorithms for verifying safety of feedforward NCBFs with ReLU activation functions. The key challenge in doing so is that, due to the piecewise linearity of the ReLU function, the NCBF will be nondifferentiable at certain points, thus invalidating traditional safety verification methods that assume a smooth barrier function. We resolve this issue by leveraging a generalization of Nagumo's theorem for proving invariance of sets with nonsmooth boundaries to derive necessary and sufficient conditions for safety. Based on this condition, we propose an algorithm for safety verification of NCBFs that first decomposes the NCBF into piecewise linear segments and then solves a nonlinear program to verify safety of each segment as well as the intersections of the linear segments. We mitigate the complexity by only considering the boundary of the safe region and by pruning the segments with Interval Bound Propagation (IBP) and linear relaxation. We evaluate our approach through numerical studies with comparison to state-of-the-art SMT-based methods. Our code is available at https://github.com/HongchaoZhang-HZ/exactverif-reluncbf-nips23.


title: Is Certifying $\ell_p$ Robustness Still Worthwhile?

abstract: Over the years, researchers have developed myriad attacks that exploit the ubiquity of adversarial examples, as well as defenses that aim to guard against the security vulnerabilities posed by such attacks. Of particular interest to this paper are defenses that provide provable guarantees against the class of $\ell_p$-bounded attacks. Certified defenses have made significant progress, taking robustness certification from toy models and datasets to large-scale problems like ImageNet classification. While this is undoubtedly an interesting academic problem, as the field has matured, its impact in practice remains unclear, thus we find it useful to revisit the motivation for continuing this line of research. There are three layers to this inquiry, which we address in this paper: (1) why do we care about robustness research? (2) why do we care about the $\ell_p$-bounded threat model? And (3) why do we care about certification as opposed to empirical defenses? In brief, we take the position that local robustness certification indeed confers practical value to the field of machine learning. We focus especially on the latter two questions from above. With respect to the first of the two, we argue that the $\ell_p$-bounded threat model acts as a minimal requirement for safe application of models in security-critical domains, while at the same time, evidence has mounted suggesting that local robustness may lead to downstream external benefits not immediately related to robustness. As for the second, we argue that (i) certification provides a resolution to the cat-and-mouse game of adversarial attacks; and furthermore, that (ii) perhaps contrary to popular belief, there may not exist a fundamental trade-off between accuracy, robustness, and certifiability, while moreover, certified training techniques constitute a particularly promising way for learning robust models.


title: From Words and Exercises to Wellness: Farsi Chatbot for Self-Attachment Technique

abstract: In the wake of the post-pandemic era, marked by social isolation and surging rates of depression and anxiety, conversational agents based on digital psychotherapy can play an influential role compared to traditional therapy sessions. In this work, we develop a voice-capable chatbot in Farsi to guide users through Self-Attachment (SAT), a novel, self-administered, holistic psychological technique based on attachment theory. Our chatbot uses a dynamic array of rule-based and classification-based modules to comprehend user input throughout the conversation and navigates a dialogue flowchart accordingly, recommending appropriate SAT exercises that depend on the user's emotional and mental state. In particular, we collect a dataset of over 6,000 utterances and develop a novel sentiment-analysis module that classifies user sentiment into 12 classes, with accuracy above 92%. To keep the conversation novel and engaging, the chatbot's responses are retrieved from a large dataset of utterances created with the aid of Farsi GPT-2 and a reinforcement learning approach, thus requiring minimal human annotation. Our chatbot also offers a question-answering module, called SAT Teacher, to answer users' questions about the principles of Self-Attachment. Finally, we design a cross-platform application as the bot's user interface. We evaluate our platform in a ten-day human study with N=52 volunteers from the non-clinical population, who have had over 2,000 dialogues in total with the chatbot. The results indicate that the platform was engaging to most users (75%), 72% felt better after the interactions, and 74% were satisfied with the SAT Teacher's performance.


title: Chern class obstructions to smooth equivariant rigidity

abstract: By work of Kirby-Siebenmann \cite{KirbySiebenmann} and Kervaire-Milnor \cite{KervaireMilnor}, there are only finitely many smooth manifolds homeomorphic to a given closed topological manifold. A construction involving Whitehead torsion shows this is not the case equivariantly for smooth finite group actions on a product $M\times I$ (see \cite[p. 262-266]{BrowderHsiangProblem}). When $2$ has odd order in $\left(\mathbb{Z}/p\mathbb{Z}\right)^\times$, Schultz \cite{SchultzSpherelike} uses a different method involving the Atiyah-Singer index theorem and computations of Ewing \cite{EwingSpheresAsFPSets} to show that there are infinitely many equivariant smooth structures for certain actions of $G=\mathbb{Z}/p\mathbb{Z}$ on even dimensional spheres with fixed point set $S^2$. These examples are constructed by finding infinitely many $G$-vector bundles over $S^2$ with vanishing Atiyah-Singer class and using these vector bundles to replace the normal bundle of $S^2\subseteq S^{2n}$. We analyze when a manifold supports infinitely many $G$-vector bundles with vanishing Atiyah-Singer class and show that Schultz's examples of exotic equivariant manifolds can be extended to much greater generality. As a consequence, we see that, for infinitely many primes $p$, there are infinitely many stable $G$-smoothings of a smooth $G$-manifold in the sense of Lashof \cite{LashofStableGSmoothing} whenever the fixed set has nonzero second rational cohomology.


title: Anomalous Hall effect in the antiferromagnetic Weyl semimetal SmAlSi

abstract: The intrinsic anomalous Hall effect (AHE) has been reported in numerous ferromagnetic (FM) Weyl semimetals. However, AHE in the antiferromagnetic (AFM) or paramagnetic (PM) state of Weyl semimetals has been rarely observed experimentally, and only in centrosymmetric materials. Different mechanisms have been proposed to establish the connection between the AHE and the type of magnetic order. In this paper, we report AHE in both the AFM and PM states of non-centrosymmetric compound SmAlSi. To account for the AHE in non-centrosymmetric Weyl semimetals without FM, we introduce a new mechanism based on magnetic field-induced Weyl nodes evolution. Angle-dependent quantum oscillations in SmAlSi provide evidence for the Weyl points and large AHE in both the PM and the AFM states. The proposed mechanism qualitatively explains the temperature dependence of the anomalous Hall conductivity (AHC), which displays unconventional power law behavior of the AHC in both AFM and PM states of SmAlSi.


title: Simultaneous Estimates of Star-cluster Age, Metallicity, Mass, and Extinction (SESAMME) I: Presenting an MCMC Approach to Spectral Stellar Population Fitting

abstract: We present the first version release of SESAMME, a public, Python-based full spectrum fitting tool for Simultaneous Estimates of Star-cluster Age, Metallicity, Mass, and Extinction. SESAMME compares an input spectrum of a star cluster to a grid of stellar population models with an added nebular continuum component, using Markov chain Monte Carlo (MCMC) methods to sample the posterior probability distribution in four dimensions: cluster age, stellar metallicity $Z$, reddening $E(B-V)$, and a normalization parameter equivalent to a cluster mass. SESAMME is highly flexible in the stellar population models that it can use to model a spectrum; our testing and initial science applications use both BPASS and Starburst99. We illustrate the ability of SESAMME to recover accurate ages and metallicities even at a moderate signal-to-noise ratio (S/N ~3 - 5 per wavelength bin) using synthetic, noise-added model spectra of young star clusters. Finally, we test the consistency of SESAMME with other age and metallicity estimates from the literature using a sample of HST/COS far-UV spectra towards young, massive clusters in M83 and NGC 1313. We find that, on the whole, SESAMME infers star cluster properties that are consistent with the literature in both low- and high-metallicity environments.


title: A priori screening of data-enabled turbulence models

abstract: Assessing the compliance of a white-box turbulence model with known turbulent knowledge is straightforward. It enables users to screen conventional turbulence models and identify apparent inadequacies, thereby allowing for a more focused and fruitful validation and verification. However, comparing a black-box machine-learning model to known empirical scalings is not straightforward. Unless one implements and tests the model, it would not be clear if a machine-learning model, trained at finite Reynolds numbers preserves the known high Reynolds number limit. This is inconvenient, particularly because model implementation involves retraining and re-interfacing. This work attempts to address this issue, allowing fast a priori screening of machine-learning models that are based on feed-forward neural networks (FNN). The method leverages the mathematical theorems we present in the paper. These theorems offer estimates of a network's limits even when the exact weights and biases are unknown. For demonstration purposes, we screen existing machine-learning wall models and RANS models for their compliance with the log layer physics and the viscous layer physics in a priori manner. In addition, the theorems serve as essential guidelines for future machine-learning models.


title: Large-eddy simulation of separated flows on unconventionally coarse grids

abstract: We examine and benchmark the emerging idea of applying the large-eddy simulation (LES) formalism to unconventionally coarse grids where RANS would be considered more appropriate at first glance. We distinguish this idea from very-large-eddy-simulation (VLES) and detached-eddy-simulation (DES), which require switching between RANS and LES formalism. LES on RANS grid is appealing because first, it requires minimal changes to a production code; second, it is more cost-effective than LES; third, it converges to LES; and most importantly, it accurately predicts flows with separation. This work quantifies the benefit of LES on RANS-like grids as compared to RANS on the same grids. Three canonical cases are considered: periodic hill, backward-facing step, and jet in cross flow. We conduct direct numerical simulation (DNS), proper LES on LES grids, LES on RANS-quality grids, and RANS. We show that while the LES solutions on the RANS-quality grids are not grid converged, they are twice as accurate as the RANS on the same grids.


title: Constrained re-calibration of Reynolds-averaged Navier-Stokes models

abstract: The constants and functions in Reynolds-averaged Navier Stokes (RANS) turbulence models are coupled. Consequently, modifications of a RANS model often negatively impact its basic calibrations, which is why machine-learned augmentations are often detrimental outside the training dataset. A solution to this is to identify the degrees of freedom that do not affect the basic calibrations and only modify these identified degrees of freedom when re-calibrating the baseline model to accommodate a specific application. This approach is colloquially known as the "rubber-band" approach, which we formally call "constrained model re-calibration" in this article. To illustrate the efficacy of the approach, we identify the degrees of freedom in the Spalart-Allmaras (SA) model that do not affect the log law calibration. By subsequently interfacing data-based methods with these degrees of freedom, we train models to solve historically challenging flow scenarios, including the round-jet/plane-jet anomaly, airfoil stall, secondary flow separation, and recovery after separation. In addition to good performance inside the training dataset, the trained models yield similar performance as the baseline model outside the training dataset.


title: Coarse embeddings of quotients by finite group actions via the sliced Wasserstein distance

abstract: We prove that for a metric space $X$ and a finite group $G$ acting on $X$ by isometries, if $X$ coarsely embeds into a Hilbert space, then so does the quotient $X/G$. A crucial step towards our main result is to show that for any integer $k > 0$ the space of unordered $k$-tuples of points in Hilbert space, with the $1$-Wasserstein distance, itself coarsely embeds into Hilbert space. Our proof relies on establishing bounds on the sliced Wasserstein distance between empirical measures in $\mathbb{R}^n$.


title: Near-optimal Differentially Private Client Selection in Federated Settings

abstract: We develop an iterative differentially private algorithm for client selection in federated settings. We consider a federated network wherein clients coordinate with a central server to complete a task; however, the clients decide whether to participate or not at a time step based on their preferences -- local computation and probabilistic intent. The algorithm does not require client-to-client information exchange. The developed algorithm provides near-optimal values to the clients over long-term average participation with a certain differential privacy guarantee. Finally, we present the experimental results to check the algorithm's efficacy.


title: Shuffle Bases and Quasisymmetric Power Sums

abstract: The algebra of quasisymmetric functions QSym and the shuffle algebra of compositions Sh are isomorphic as graded Hopf algebras (in characteristic zero), and isomorphisms between them can be specified via shuffle bases of QSym. We use the notion of infinitesimal characters to characterize shuffle bases, and we establish a universal property for Sh in the category of connected graded Hopf algebras equipped with an infinitesimal character, analogous to the universal property of QSym as a combinatorial Hopf algebra described by Aguiar, Bergeron, and Sottile. We then use these results to give general constructions for quasisymmetric power sums, recovering four previous constructions from the literature, and study their properties.


title: Infinitely wildly ramified arboreal representations for postcritically finite polynomials with potential good reduction

abstract: Let $K$ be a number field, let $v$ be a finite place of $K$, let $f\in K[z]$ be a degree $d\geqslant2$ polynomial with $v|d$, and let $a\in K$. We show that if $f$ is postcritically bounded and has potential good reduction with respect to $v$, then the arboreal representation associated to the pair $(f,a)$ is either finite or infinitely wildly ramified above $v$.


title: Identifying and examining machine learning biases on Adult dataset

abstract: This research delves into the reduction of machine learning model bias through Ensemble Learning. Our rigorous methodology comprehensively assesses bias across various categorical variables, ultimately revealing a pronounced gender attribute bias. The empirical evidence unveils a substantial gender-based wage prediction disparity: wages predicted for males, initially at \$902.91, significantly decrease to \$774.31 when the gender attribute is alternated to females. Notably, Kullback-Leibler divergence scores point to gender bias, with values exceeding 0.13, predominantly within tree-based models. Employing Ensemble Learning elucidates the quest for fairness and transparency. Intriguingly, our findings reveal that the stacked model aligns with individual models, confirming the resilience of model bias. This study underscores ethical considerations and advocates the implementation of hybrid models for a data-driven society marked by impartiality and inclusivity.


title: Cosmic Dragons: A Two-Component Mixture Model of COSMOS Galaxies

abstract: Using the photometric population prediction method {\bf Red Dragon}, we characterize the Red Sequence (RS) and Blue Cloud (BC) of DES galaxies in the COSMOS field. Red Dragon (RD) uses a redshift-evolving, error-corrected Gaussian mixture model to detail the distribution of photometric colors, smoothly parameterizing the two populations with relative weights, mean colors, intrinsic scatters, and inter-color correlations. This resulting fit of RS and BC yields RS membership probabilities $P_{\rm RS}$ for each galaxy. Even when training on only DES main bands $griz$, RD selects the quiescent population (defined here as galaxies with $\lg {\rm sSFR \cdot yr} < -11$) with $\gtrsim 90\%$ balanced accuracy out to $z=2$; augmenting with extended photometry from VIRCAM improves this accuracy to $\sim 95\%$ out to $z=3$. We measure redshift evolution of sSFR and galactic age in several stellar mass bins, finding that the BC is consistently more star-forming (by $\gtrsim 1~{\rm dex}$) and typically younger (by $\gtrsim 1~{\rm Gyr}$) than the RS (up to $z \sim 1.4$). This characterization of both RS and BC as functions of redshift and stellar mass improves our understanding of both populations and opens the door to more precise galaxy population characterization in future deep optical and IR systems.


title: Generalized Versality, Special Points, and Resolvent Degree for the Sporadic Groups

abstract: Resolvent degree is an invariant measuring the complexity of algebraic and geometric phenomena, including the complexity of finite groups. To date, the resolvent degree of a finite simple group $G$ has only been investigated when $G$ is a cylic group; an alternating group; a simple factor of a Weyl group of type $E_6$, $E_7$, or $E_8$; or $\operatorname{PSL}\left(2, \mathbb{F}_7\right)$. In this paper, we establish upper bounds on the resolvent degrees of the sporadic groups by using the invariant theory of their projective representations. To do so, we introduce the notion of (weak) $\operatorname{RD}_k^{\leq d}$-versality, which we connect to the existence of "special points" on varieties.


title: The Debris of the "Last Major Merger" is Dynamically Young

abstract: The Milky Way's (MW) inner stellar halo contains an [Fe/H]-rich component with highly eccentric orbits, often referred to as the "last major merger." Hypotheses for the origin of this component include Gaia-Sausage/Enceladus (GSE), where the progenitor collided with the MW proto-disk 8-11 Gyr ago, and the Virgo Radial Merger (VRM), where the progenitor collided with the MW disk within the last 3 Gyr. These two scenarios make different predictions about observable structure in local phase space, because the morphology of debris depends on how long it has had to phase mix. The recently-identified phase-space folds in Gaia DR3 have positive caustic velocities, making them fundamentally different than the phase-mixed chevrons found in simulations at late times. Roughly 20\% of the stars in the prograde local stellar halo are associated with the observed caustics. Based on a simple phase-mixing model, the observed number of caustics are consistent with a merger that occurred 1--2 Gyr ago. We also compare the observed phase-space distribution to FIRE-2 Latte simulations of GSE-like mergers, using a quantitative measurement of phase mixing (2D causticality). The observed local phase-space distribution best matches the simulated data 1--2 Gyr after collision, and certainly not later than 3 Gyr. This is further evidence that the progenitor of the "last major merger" did not collide with the MW proto-disk at early times, as is thought for the GSE, but instead collided with the MW disk within the last few Gyr, consistent with the body of work surrounding the VRM.


title: Off-diagonal online size Ramsey numbers for paths

abstract: Consider the following Ramsey game played on the edge set of $K_{\mathbb N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder's goal is to force Painter to create a red copy of a path $P_k$ on $k$ vertices or a blue copy of $P_n$ as soon as possible. The online (size) Ramsey number $\tilde{r}(P_k,P_n)$ is the number of rounds in the game provided Builder and Painter play optimally. We prove that $\tilde{r}(P_k,P_n)\le (5/3+o(1))n$ provided $k=o(n)$ and $n\to \infty$. We also show that $\tilde{r}(P_4,P_n)\le \lceil 7n/5\rceil -1$ for $n\ge 10$, which improves the upper bound obtained by J.~Cyman, T.~Dzido, J.~Lapinskas, and A.~Lo and implies their conjecture that $\tilde{r}(P_4,P_n)=\lceil 7n/5\rceil -1$.


title: The normal Casimir force for lateral moving planes with isotropic conductivities

abstract: We consider the two planes at zero temperature with isotropic conductivity that are in relative lateral motion with velocity $v$ and inter-plane distance $a$. Two models of conductivity are taken into account -- the constant and frequency-dependent Drude models. The normal (perpendicular to planes) Casimir force is analysed in detail for two systems -- i) two planes with identical conductivity and ii) one of the planes is a perfect metal. The velocity correction to the Casimir energy $\Delta_v\mathcal{E} \sim v^2$ for small velocity for all considered cases. In the case of the constant conductivity $\eta$, the energy correction is $ \Delta_v\mathcal{E} \sim \frac{\eta}{a^3} \left(\frac{v}{\eta}\right)^2$for $v\ll \eta \ll 1$.


title: Hypergraph Tur\'an problems in $\ell_2$-norm, the Kleitman-West problem and Erd\H{o}s-Ko-Rado

abstract: For a $k$-uniform hypergraph $\mathcal{H}$, the \emph{codegree squared sum} $\text{co}_2(\mathcal{H})$ is the square of the $\ell_2$-norm of the codegree vector of $\mathcal{H}$, and for a family $\mathscr{F}$ of $k$-uniform hypergraphs, the codegree squared extremal number $\text{exco}_2(n, \mathscr{F})$ is the maximum codegree squared sum of a hypergraph on $n$ vertices which does not contain any hypergraph in $\mathscr{F}$. Balogh, Clemen and Lidick\'y recently introduced the codegree squared extremal number and determined it for a number of $3$-uniform hypergraphs, including the complete graphs $K_4^3$ and $K_5^3$. In this paper, we show that Tur\'an problems in the $\ell_2$-norm are closely connected with a forbidden subgraph version of the Kleitman-West problem, the edge isoperimetric problem in the Johnson graph. We prove a version of the classical Erd\H{o}s-Ko-Rado theorem for the codegree squared extremal number: if $\mathcal{F} \subset \binom{[n]}{k}$ is intersecting and $n\ge 2k$, then \[\text{co}_2(\mathcal{F}) \le \binom{n-1}{k-1}(1+(n-k+1)(k-1)),\] with equality only for the star for $n > 2k$. Our main tool is an inequality of Bey, which also gives a general upper bound on $\text{exco}_2(n, \mathscr{F})$. We also prove versions of the Erd\H{o}s Matching Conjecture and the $t$-intersecting Erd\H{o}s-Ko-Rado theorem for the codegree squared extremal number for large $n$, determine the exact codegree squared extremal number of minimal and linear $3$-paths and $3$-cycles, and determine asymptotically the codegree squared extremal number of minimal and linear $s$-paths and $s$-cycles for $s\ge 4$.


title: Parallel scattering, saturation, and generalized Abramovskii-Gribov-Kancheli (AGK) theorem in the EPOS4 framework, with applications for heavy-ion collisions at $\sqrt{s_{NN}}$ of 5.02 TeV and 200 GeV

abstract: Ultrarelativistic heavy-ion collisions will first realize many nucleon-nucleon scatterings, happening instantaneously and therefore necessarily in parallel, due to the short collision time. An appropriate quantum mechanical tool to treat that problem is S-matrix theory, and it has been known for a long time how to derive a simple geometric probabilistic picture, still widely used, and here the Abramovskii-Gribov-Kancheli (AGK) theorem plays a crucial role. All this is done in a scenario where energy conservation is not taken care of, but this is needed, in particular for Monte Carlo simulations. When introducing energy-momentum sharing properly, the AGK theorem does not apply anymore, nor do simple geometric concepts such as binary scaling. I will discuss this (very serious) problem, and how it can be solved, in the EPOS4 framework. When connecting the multiple Pomeron approach (for parallel scatterings) and perturbative QCD, one is actually forced to implement in a very particular way saturation scales, in order to get an approach free of contradictions. One recovers a generalized AGK theorem (gAGK), valid at large $p_{t}$ (larger than the relevant saturation scales). I discuss how gAGK is related to factorization (in proton-proton scatterings) and binary scaling (in heavy-ion collisions). I will show some applications, using this new approach as an initial condition for hydrodynamical evolutions, for heavy-ion collisions at $\sqrt{s_{NN}}$ of 5.02 TeV and 200 GeV, to get some idea about the energy dependence.


title: A Local Fourier Analysis for Additive Schwarz Smoothers

abstract: In this work, a local Fourier analysis is presented to study the convergence of multigrid methods based on additive Schwarz smoothers. This analysis is presented as a general framework which allows us to study these smoothers for any type of discretization and problem. The presented framework is crucial in practice since it allows one to know a priori the answer to questions such as what is the size of the patch to use within these relaxations, the size of the overlapping, or even the optimal values for the weights involved in the smoother. Results are shown for a class of additive and restricted additive Schwarz relaxations used within a multigrid framework applied to high-order finite-element discretizations and saddle point problems, which are two of the contexts in which these type of relaxations are widely used.


title: LL-VQ-VAE: Learnable Lattice Vector-Quantization For Efficient Representations

abstract: In this paper we introduce learnable lattice vector quantization and demonstrate its effectiveness for learning discrete representations. Our method, termed LL-VQ-VAE, replaces the vector quantization layer in VQ-VAE with lattice-based discretization. The learnable lattice imposes a structure over all discrete embeddings, acting as a deterrent against codebook collapse, leading to high codebook utilization. Compared to VQ-VAE, our method obtains lower reconstruction errors under the same training conditions, trains in a fraction of the time, and with a constant number of parameters (equal to the embedding dimension $D$), making it a very scalable approach. We demonstrate these results on the FFHQ-1024 dataset and include FashionMNIST and Celeb-A.


title: Integrating Symbolic Reasoning into Neural Generative Models for Design Generation

abstract: Design generation requires tight integration of neural and symbolic reasoning, as good design must meet explicit user needs and honor implicit rules for aesthetics, utility, and convenience. Current automated design tools driven by neural networks produce appealing designs, but cannot satisfy user specifications and utility requirements. Symbolic reasoning tools, such as constraint programming, cannot perceive low-level visual information in images or capture subtle aspects such as aesthetics. We introduce the Spatial Reasoning Integrated Generator (SPRING) for design generation. SPRING embeds a neural and symbolic integrated spatial reasoning module inside the deep generative network. The spatial reasoning module decides the locations of objects to be generated in the form of bounding boxes, which are predicted by a recurrent neural network and filtered by symbolic constraint satisfaction. Embedding symbolic reasoning into neural generation guarantees that the output of SPRING satisfies user requirements. Furthermore, SPRING offers interpretability, allowing users to visualize and diagnose the generation process through the bounding boxes. SPRING is also adept at managing novel user specifications not encountered during its training, thanks to its proficiency in zero-shot constraint transfer. Quantitative evaluations and a human study reveal that SPRING outperforms baseline generative models, excelling in delivering high design quality and better meeting user specifications.


title: Modeling Missing at Random Neuropsychological Test Scores Using a Mixture of Binomial Product Experts

abstract: Multivariate bounded discrete data arises in many fields. In the setting of longitudinal dementia studies, such data is collected when individuals complete neuropsychological tests. We outline a modeling and inference procedure that can model the joint distribution conditional on baseline covariates, leveraging previous work on mixtures of experts and latent class models. Furthermore, we illustrate how the work can be extended when the outcome data is missing at random using a nested EM algorithm. The proposed model can incorporate covariate information, perform imputation and clustering, and infer latent trajectories. We apply our model on simulated data and an Alzheimer's disease data set.


title: PIM-GPT: A Hybrid Process-in-Memory Accelerator for Autoregressive Transformers

abstract: Decoder-only Transformer models such as GPT have demonstrated exceptional performance in text generation, by autoregressively predicting the next token. However, the efficacy of running GPT on current hardware systems is bounded by low compute-to-memory-ratio and high memory access. Process-in-memory (PIM) architectures can minimize off-chip data movement and utilize high internal bandwidth. They stand out as promising candidates for accelerating memory-bounded tasks such as GPT inference. In this work, we propose a PIM accelerator, PIM-GPT, which achieves end-to-end acceleration of GPT inference with high performance and high energy efficiency. PIM-GPT leverages DRAM-based PIM designs for executing multiply-accumulate (MAC) operations directly in the DRAM chips, eliminating the need to move matrix data off-chip. Non-linear functions and data communication is supported by an application specific integrated chip (ASIC). At the software level, mapping schemes are designed to maximize data locality and computation parallelism by concatenating and partitioning matrices among DRAM channels and banks to utilize all available in-memory computation units. The efficiency of the PIM-GPT architecture is verified through circuit synthesis and an event-driven clock-cycle accurate simulator. Overall, PIM-GPT achieves 41$-$137$\times$, 631$-$1074$\times$ speedup and 123$-$383$\times$, 320$-$602$\times$ energy efficiency over GPU and CPU baseline on 8 GPT models with up to 1.4 billion parameters.


title: Quantum computing: principles and applications

abstract: People are witnessing quantum computing revolutions nowadays. Progress in the number of qubits, coherence times and gate fidelities are happening. Although quantum error correction era has not arrived, the research and development of quantum computing have inspired insights and breakthroughs in quantum technologies, both in theories and in experiments. In this review, we introduce the basic principles of quantum computing and the multilayer architecture for a quantum computer. There are different experimental platforms for implementing quantum computing. In this review, based on a mature experimental platform, the Nuclear Magnetic Resonance (NMR) platform, we introduce the basic steps to experimentally implement quantum computing, as well as common challenges and techniques.


title: Mass Spectrum of Non-Charmed and Charmed Meson States in Extended Linear-Sigma Model

abstract: The mass spectrum of different meson particles is generated using an effective Lagrangian of the extended linear-sigma model (eLSM) for scalar and pseudoscalar meson fields and quark flavors, up, down, strange, and charm. Analytical formulas for the masses of scalar, pseudoscalar, vector, and axialvector meson states are derived assuming global chiral symmetry. The various eLSM parameters are analytically deduced and numerically computed. This enables accurate estimations of the masses of sixteen non-charmed and thirteen charmed meson states at vanishing temperature. The comparison of these results to recent compilation of the particle data group (PDG) allows to draw the conclusion that the masses of sixteen non-charmed and thirteen charmed meson states calculated in the eLSM are in good agreement with the PDG. This shows that the eLSM, with its configurations and parameters, is an effective theoretical framework for determining the mass spectra of various non-charmed and charmed meson states, particularly at vanishing temperature.


title: CORN: Co-Trained Full- And No-Reference Speech Quality Assessment

abstract: Perceptual evaluation constitutes a crucial aspect of various audio-processing tasks. Full reference (FR) or similarity-based metrics rely on high-quality reference recordings, to which lower-quality or corrupted versions of the recording may be compared for evaluation. In contrast, no-reference (NR) metrics evaluate a recording without relying on a reference. Both the FR and NR approaches exhibit advantages and drawbacks relative to each other. In this paper, we present a novel framework called CORN that amalgamates these dual approaches, concurrently training both FR and NR models together. After training, the models can be applied independently. We evaluate CORN by predicting several common objective metrics and across two different architectures. The NR model trained using CORN has access to a reference recording during training, and thus, as one would expect, it consistently outperforms baseline NR models trained independently. Perhaps even more remarkable is that the CORN FR model also outperforms its baseline counterpart, even though it relies on the same training data and the same model architecture. Thus, a single training regime produces two independently useful models, each outperforming independently trained models


title: The H-alpha Emission Signature: The Role of Critical Ionization Velocity in Interstellar Space

abstract: Gaussian decomposition of HI4PI profiles was done for two regions along high velocity Complex M, the first with corresponding H-alpha emission and the second without. In the former, we detected the Critical Ionization Velocity (CIV) signature, a line width of 25 km/s, of H-alpha. In low-velocity gas, the CIV effect ionizes the atoms and produces the signatures of He (34 km/s), CNO (13.4 km/s), and the metals (around 6 km/s). In anomalous-velocity gas, the CIV effect ionizes the ions and produces the signatures of ionized CNO (20 km/s) and-or H-alpha (25.5 km/s), as well as the CIV signatures of metals around 6 km/s. These distinct CIV signatures indicate that the physical conditions are different in each velocity regime. The particles in the low-velocity gas cloud are initially neutral, the temperatures can be cold (50-100 K), and the abundances can be cosmic. The densities need to be high enough to impose regular recombination. The anomalous-velocity gas, on the other hand, initially contains a significant population of ionized and excited particles. The temperature and abundance values may be similar to those that characterize low-density gas, but the densities must be low enough so that the plasma is essentially collision-less, similar to the conditions in the solar wind.


title: Decomposability of minimal defect branched coverings over the projective plane

abstract: In this paper we characterize primitive branched coverings with minimal defect over the projective plane with respect to the properties decomposable and indecomposable. This minimality is achieved when the covering surface is also the projective plane, which corresponds to the last case to be solved. As a consequence, we have extended the family of realisations of branched coverings on the projective plane and established a type of generalisation of results on primitive permutation groups.


title: Singularities of secant varieties from a Hodge theoretic perspective

abstract: We study the singularities of secant varieties of smooth projective varieties using methods from birational geometry when the embedding line bundle is sufficiently positive. We give a necessary and sufficient condition for these to have $p$-Du Bois singularities. In addition, we show that the singularities of these varieties are never higher rational, by giving a classification of the cases when they are pre-1-rational. From these results, we deduce several consequences, including a Kodaira-Akizuki-Nakano type vanishing result for the reflexive differential forms of the secant varieties.


title: Machine Learning Estimation of Maximum Vertical Velocity from Radar

abstract: The quantification of storm updrafts remains unavailable for operational forecasting despite their inherent importance to convection and its associated severe weather hazards. Updraft proxies, like overshooting top area from satellite images, have been linked to severe weather hazards but only relate to a limited portion of the total storm updraft. This study investigates if a machine learning model, namely U-Nets, can skillfully retrieve maximum vertical velocity and its areal extent from 3-dimensional gridded radar reflectivity alone. The machine learning model is trained using simulated radar reflectivity and vertical velocity from the National Severe Storm Laboratory's convection permitting Warn on Forecast System (WoFS). A parametric regression technique using the sinh-arcsinh-normal distribution is adapted to run with U-Nets, allowing for both deterministic and probabilistic predictions of maximum vertical velocity. The best models after hyperparameter search provided less than 50% root mean squared error, a coefficient of determination greater than 0.65 and an intersection over union (IoU) of more than 0.45 on the independent test set composed of WoFS data. Beyond the WoFS analysis, a case study was conducted using real radar data and corresponding dual-Doppler analyses of vertical velocity within a supercell. The U-Net consistently underestimates the dual-Doppler updraft speed estimates by 50$\%$. Meanwhile, the area of the 5 and 10 m s^-1 updraft cores show an IoU of 0.25. While the above statistics are not exceptional, the machine learning model enables quick distillation of 3D radar data that is related to the maximum vertical velocity which could be useful in assessing a storm's severe potential.


title: All-dielectric hybrid VIS-NIR dual-function metasurface

abstract: Metasurfaces are a promising technology that can serve as a compact alternative to conventional optics while providing multiple functions depending on the properties of the incident light, such as the wavelength, polarization, and incident angle. Here, we demonstrate a hybrid VIS-NIR dielectric metasurface that can reflect 940 nm light into a specified direction while transmitting visible light (450-750 nm). The dual functionality is realized by combining an aperiodic distributed Bragg reflector with dielectric meta-tokens. Experimental demonstration is also reported, showing an anomalous reflection of near-infrared (NIR) light within a 20o full field-of-view (FOV) and the transmission of wavelengths from 450 nm to 750 nm.


title: Semantics Alignment via Split Learning for Resilient Multi-User Semantic Communication

abstract: Recent studies on semantic communication commonly rely on neural network (NN) based transceivers such as deep joint source and channel coding (DeepJSCC). Unlike traditional transceivers, these neural transceivers are trainable using actual source data and channels, enabling them to extract and communicate semantics. On the flip side, each neural transceiver is inherently biased towards specific source data and channels, making different transceivers difficult to understand intended semantics, particularly upon their initial encounter. To align semantics over multiple neural transceivers, we propose a distributed learning based solution, which leverages split learning (SL) and partial NN fine-tuning techniques. In this method, referred to as SL with layer freezing (SLF), each encoder downloads a misaligned decoder, and locally fine-tunes a fraction of these encoder-decoder NN layers. By adjusting this fraction, SLF controls computing and communication costs. Simulation results confirm the effectiveness of SLF in aligning semantics under different source data and channel dissimilarities, in terms of classification accuracy, reconstruction errors, and recovery time for comprehending intended semantics from misalignment.


title: Medial Skeletal Diagram: A Generalized Medial Axis Approach for Compact 3D Shape Representation

abstract: We propose the Medial Skeletal Diagram, a novel skeletal representation that tackles the prevailing issues around compactness and reconstruction accuracy in existing skeletal representations. Our approach augments the continuous elements in the medial axis representation to effectively shift the complexity away from discrete elements. To that end, we introduce generalized enveloping primitives, an enhancement of the standard primitives in medial axis, which ensures efficient coverage of intricate local features of the input shape and substantially reduces the number of discrete elements required. Moreover, we present a computational framework that constructs a medial skeletal diagram from an arbitrary closed manifold mesh. Our optimization pipeline ensures that the resulting medial skeletal diagram comprehensively covers the input shape with the fewest primitives. Additionally, each optimized primitive undergoes a post-refinement process to guarantee an accurate match with the source mesh in both geometry and tessellation. We validate our approach on a comprehensive benchmark of 100 shapes, demonstrating its compactness of the discrete elements and superior reconstruction accuracy across a variety of cases. Furthermore, we exemplify the versatility of our representation in downstream applications such as shape optimization, shape generation, mesh decomposition, mesh alignment, mesh compression, and user-interactive design.


title: In situ subwavelength quantum gas microscopy using dressed excited states

abstract: In this work, we study and demonstrate subwavelength resolutions in a quantum gas microscope experiment. The method that we implement uses the laser driven interaction between excited states to engineer hyperfine ground state population transfer on subwavelength scales. The performance of the method is first characterized by exciting a single subwavelength volume within the optical resolution of the microscope. These measurements are in quantitative agreement with the analytical solution of a three-level system model which allows to understand and predict the capabilities of this method for any light field configuration. As a proof of concept, this subwavelength control of the scattering properties is then applied to image a diffraction-limited object: a longitudinal wavefunction with a harmonic oscillator length of 30 nm that was created in a tightly confined 1D optical lattice. For this purpose, we first demonstrate the ability to keep one single site and then to resolve its nano-metric atomic density profile.


title: Identifiability of Product of Experts Models

abstract: Product of experts (PoE) are layered networks in which the value at each node is an AND (or product) of the values (possibly negated) at its inputs. These were introduced as a neural network architecture that can efficiently learn to generate high-dimensional data which satisfy many low-dimensional constraints -- thereby allowing each individual expert to perform a simple task. PoEs have found a variety of applications in learning. We study the problem of identifiability of a product of experts model having a layer of binary latent variables, and a layer of binary observables that are iid conditional on the latents. The previous best upper bound on the number of observables needed to identify the model was exponential in the number of parameters. We show: (a) When the latents are uniformly distributed, the model is identifiable with a number of observables equal to the number of parameters (and hence best possible). (b) In the more general case of arbitrarily distributed latents, the model is identifiable for a number of observables that is still linear in the number of parameters (and within a factor of two of best-possible). The proofs rely on root interlacing phenomena for some special three-term recurrences.


title: An In-Depth Examination of Requirements for Disclosure Risk Assessment

abstract: The use of formal privacy to protect the confidentiality of responses in the 2020 Decennial Census of Population and Housing has triggered renewed interest and debate over how to measure the disclosure risks and societal benefits of the published data products. Following long-established precedent in economics and statistics, we argue that any proposal for quantifying disclosure risk should be based on pre-specified, objective criteria. Such criteria should be used to compare methodologies to identify those with the most desirable properties. We illustrate this approach, using simple desiderata, to evaluate the absolute disclosure risk framework, the counterfactual framework underlying differential privacy, and prior-to-posterior comparisons. We conclude that satisfying all the desiderata is impossible, but counterfactual comparisons satisfy the most while absolute disclosure risk satisfies the fewest. Furthermore, we explain that many of the criticisms levied against differential privacy would be levied against any technology that is not equivalent to direct, unrestricted access to confidential data. Thus, more research is needed, but in the near-term, the counterfactual approach appears best-suited for privacy-utility analysis.


title: Interstellar Meteors from Tidal Disruption of Rocky Planets on Eccentric Orbits Around M Dwarfs

abstract: Low-mass stars appear to frequently host planetary systems. When these rocky planets develop high eccentricities as a result of secular torques or dynamical scatterings, they occasionally pass close to the host star. In these close passages, planets can be tidally disrupted, and sheared into bound and unbound debris tails. To suffer such a disruption the stellar density must by higher than the planetary density. This condition is met for the most common star and planet systems, M-dwarf stars hosting rocky planets. We describe the dynamics of a tidal disruption, and estimate the typical velocities of unbound ejecta. We simulate the gas dynamics of a planetary tidal disruption, and show that disruptions preserve the layered structure of a rocky body, with the outermost layers flung into interstellar space with the highest velocities. We compare these properties to that of the candidate interstellar meteoroid CNEOS-2014-01-08 (IM1). IM1's approximately 60~km~s$^{-1}$ excess speed relative to the local standard of rest is naturally reproduced by the unbound debris of the disruption of an Earth-like planet around an M-dwarf star. We suggest that such an encounter might explain the interstellar kinematics of IM1, and its unusual composition, especially if it originated in the fastest-expelled crust of a differentiated rocky planet. Finally, we estimate that the disruption of $\sim 10M_\oplus$ reservoirs of rocky planets per M-dwarf are needed to reproduce the inferred rate of IM1-like objects.


title: Collaborative Semantic Alignment in Recommendation Systems

abstract: Traditional recommender systems primarily leverage identity-based (ID) representations for users and items, while the advent of pre-trained language models (PLMs) has introduced rich semantic modeling of item descriptions. However, PLMs often overlook the vital collaborative filtering signals, leading to challenges in merging collaborative and semantic representation spaces and fine-tuning semantic representations for better alignment with warm-start conditions. Our work introduces CARec, a cutting-edge model that integrates collaborative filtering with semantic representations, ensuring the alignment of these representations within the semantic space while retaining key semantics. Our experiments across four real-world datasets show significant performance improvements. CARec's collaborative alignment approach also extends its applicability to cold-start scenarios, where it demonstrates notable enhancements in recommendation accuracy. The code will be available upon paper acceptance.


title: CROWN: A Novel Approach to Comprehending Users' Preferences for Accurate Personalized News Recommendation

abstract: Personalized news recommendation aims to assist users in finding news articles that align with their interests, which plays a pivotal role in mitigating users' information overload problem. Although many recent works have been studied for better personalized news recommendation, the following challenges should be explored more: (C1) Comprehending manifold intents coupled within a news article, (C2) Differentiating varying post-read preferences of news articles, and (C3) Addressing the cold-start user problem. To tackle the aforementioned challenges together, in this paper, we propose a novel personalized news recommendation framework (CROWN) that employs (1) category-guided intent disentanglement for (C1), (2) consistency-based news representation for (C2), and (3) GNN-enhanced hybrid user representation for (C3). Furthermore, we incorporate a category prediction into the training process of CROWN as an auxiliary task, which provides supplementary supervisory signals to enhance intent disentanglement. Extensive experiments on two real-world datasets reveal that (1) CROWN provides consistent performance improvements over ten state-of-the-art news recommendation methods and (2) the proposed strategies significantly improve the accuracy of CROWN.


title: Bessel-Gauss beams of arbitrary integer order: propagation profile, coherence properties and quality factor

abstract: We present a novel approach to generate Bessel-Gauss modes of arbitrary integer order and well-defined optical angular momentum in a gradient index medium of transverse parabolic profile. The propagation and coherence properties, as well as the quality factor, are studied using algebraic techniques that are widely used in quantum mechanics. It is found that imposing the well-defined optical angular momentum condition, the Lie group $SU(1,1)$ comes to light as a characteristic symmetry of the Bessel-Gauss beams.


title: Effects of new physics on the Standard Model parameters and vice versa

abstract: This note discusses the matter of probing Beyond the Standard Model physics and how, to succeed in this quest, the interpretations of the Standard Model regarding observed phenomena must be utilized with caution. We give several specific examples of why this is necessary and assess general scenarios in which it is specially important. In particular, we call attention to the fact that once the Standard Model (SM) is finally replaced, the parameters of the new theory which embed those of the SM must be rederived directly from data instead of inherited through their expected relations with those of the SM.


title: Protecting Voice-Controlled Devices against LASER Injection Attacks

abstract: Voice-Controllable Devices (VCDs) have seen an increasing trend towards their adoption due to the small form factor of the MEMS microphones and their easy integration into modern gadgets. Recent studies have revealed that MEMS microphones are vulnerable to audio-modulated laser injection attacks. This paper aims to develop countermeasures to detect and prevent laser injection attacks on MEMS microphones. A time-frequency decomposition based on discrete wavelet transform (DWT) is employed to decompose microphone output audio signal into n + 1 frequency subbands to capture photo-acoustic related artifacts. Higher-order statistical features consisting of the first four moments of subband audio signals, e.g., variance, skew, and kurtosis are used to distinguish between acoustic and photo-acoustic responses. An SVM classifier is used to learn the underlying model that differentiates between an acoustic- and laser-induced (photo-acoustic) response in the MEMS microphone. The proposed framework is evaluated on a data set of 190 audios, consisting of 19 speakers. The experimental results indicate that the proposed framework is able to correctly classify $98\%$ of the acoustic- and laser-induced audio in a random data partition setting and $100\%$ of the audio in speaker-independent and text-independent data partition settings.


title: Quantitative predictions of the thermal conductivity in transition metal dichalcogenides: The impact of point defects in MoS$_2$ and WS$_2$ monolayers

abstract: Transition metal dichalcogenides are investigated for various applications at the nanoscale thanks to their unique combination of properties and dimensionality. For many of the anticipated applications, heat conduction plays an important role. At the same time, these materials often contain relatively large amounts of point defects. Here, we provide a systematic analysis of the impact of intrinsic and selected extrinsic defects on the lattice thermal conductivity of MoS$_2$ and WS$_2$ monolayers. We combine Boltzmann transport theory and the Green's function-based T-matrix approach for the calculation of scattering rates. The force constants for the defect configurations are obtained from density functional theory calculations via a regression approach, which allows us to sample a rather large number of defects at a moderate computational cost and to systematically enforce both the translational and rotational acoustic sum rules. The calculated lattice thermal conductivity is in quantitative agreement with experimental data for heat transport and defect concentrations for both MoS$_2$ and WS$_2$. Crucially, this demonstrates that the strong deviation from a 1/T-temperature dependence of the lattice thermal conductivity observed experimentally, can be fully explained by the presence of point defects. We furthermore predict the scattering strengths of the intrinsic defects to decrease in the sequence $V_{Mo}\approx V_{2S}^=>V_{2S}^\perp>V_S>S_{ad}$ in both materials, while the scattering rates for the extrinsic (adatom) defects decrease with increasing mass such that Li$_{ad}$>Na$_{ad}$>K$_{ad}$. Compared to earlier work, we find that both intrinsic and extrinsic adatoms are relatively weak scatterers. We attribute this difference to the treatment of the translational and rotational acoustic sum rules, which if not enforced can lead to spurious contributions in the zero-frequency limit.


title: Edge modes and symmetry-protected topological states in open quantum systems

abstract: Topological order offers possibilities for processing quantum information which can be immune to imperfections. However, the question of its stability out of equilibrium is relevant for experiments, where coupling to an environment is unavoidable. In this work we demonstrate the robustness of certain aspects of $Z_2 \times Z_2$ symmetry-protected topological (SPT) order against a wide class of dissipation channels in the Lindblad and quantum trajectory formalisms of an open quantum system. This is illustrated using the one-dimensional $ZXZ$ cluster Hamiltonian along with Pauli-string jump operators. We show that certain choices of dissipation retaining strong symmetries support a steady-state manifold consisting of two non-local logical qubits, and for Hamiltonian perturbations preserving the global symmetry, the manifold remains long-lived. In contrast, this metastability is destroyed upon breaking the above-mentioned symmetry. While the localized edge qubits of the cluster Hamiltonian are not conserved by the Lindbladian evolution, they do correspond to weak symmetries and thus retain a memory of their initial state at all times in the quantum trajectories. We utilize this feature to construct protocols to retrieve the quantum information either by monitoring jumps or error mitigation. Our work thus proposes a novel framework to study the dynamics of dissipative SPT phases and opens the possibility of engineering entangled states relevant to quantum information processing.


title: Hausdorff reflections and bifurcate curves

abstract: A manifold is a space that locally looks like the smooth space $\mathbf{R}^{n}$. It is usually also assumed that the underlying topological space of a manifold is hausdorff. However, there are natural examples of manifolds for which the hausdorff conditions fails. Some but not all of these examples contain bifurcate pairs of curves: pairs of curves that agree on some initial interval but disagree on a later interval. The first part of this note proves that a manifold $M$ is hausdorff if and only if (i) it contains no bifurcate curves and (ii) there is a hausdorff manifold $N$ with the same algebra of smooth real-valued functions as $M$; this confirms a conjecture of Wu and Weatherall. The second part of this note shows that a hausdorff manifold $N$ satisfying (ii) is a certain quotient of $M$.


title: Improving Pearson's chi-squared test: hypothesis testing of distributions -- optimally

abstract: Pearson's chi-squared test, from 1900, is the standard statistical tool for "hypothesis testing on distributions": namely, given samples from an unknown distribution $Q$ that may or may not equal a hypothesis distribution $P$, we want to return "yes" if $P=Q$ and "no" if $P$ is far from $Q$. While the chi-squared test is easy to use, it has been known for a while that it is not "data efficient", it does not make the best use of its data. Precisely, for accuracy $\epsilon$ and confidence $\delta$, and given $n$ samples from the unknown distribution $Q$, a tester should return "yes" with probability $>1-\delta$ when $P=Q$, and "no" with probability $>1-\delta$ when $|P-Q|>\epsilon$. The challenge is to find a tester with the \emph{best} tradeoff between $\epsilon$, $\delta$, and $n$. We introduce a new tester, efficiently computable and easy to use, which we hope will replace the chi-squared tester in practical use. Our tester is found via a new non-convex optimization framework that essentially seeks to "find the tester whose Chernoff bounds on its performance are as good as possible". This tester is $1+o(1)$ optimal, in that the number of samples $n$ needed by the tester is within $1+o(1)$ factor of the samples needed by \emph{any} tester, even non-linear testers (for the setting: accuracy $\epsilon$, confidence $\delta$, and hypothesis $P$). We complement this algorithmic framework with matching lower bounds saying, essentially, that "our tester is instance-optimal, even to $1+o(1)$ factors, to the degree that Chernoff bounds are tight". Our overall non-convex optimization framework extends well beyond the current problem and is of independent interest.


title: Heuristic Algorithms for Placing Geomagnetically Induced Current Blocking Devices

abstract: We propose a new heuristic approach for solving the challenge of determining optimal placements for geomagnetically induced current blocking devices on electrical grids. Traditionally, these determinations are approached by formulating the problem as mixed-integer nonlinear programming models and solving them using optimization solvers based on the spatial branch-and-bound algorithm.However, computing an optimal solution using the solvers often demands substantial computational time due to their inability to leverage the inherent problem structure. Therefore, in this work we propose a new heuristic approach based on a three-block alternating direction method of multipliers algorithm, and we compare it with an existing stochastic learning algorithm. Both heuristics exploit the structure of the problem of interest. We test these heuristic approaches through extensive numerical experiments conducted on the EPRI-21 and UIUC-150 test systems. The outcomes showcase the superior performance of our methodologies in terms of both solution quality and computational speed when compared with conventional solvers.


title: A GPU-based Distributed Algorithm for Linearized Optimal Power Flow in Distribution Systems

abstract: We propose a GPU-based distributed optimization algorithm, aimed at controlling optimal power flow in multi-phase and unbalanced distribution systems. Typically, conventional distributed optimization algorithms employed in such scenarios rely on parallel execution with multiple CPUs. However, this often leads to significant computation time primarily due to the need for optimization solvers to solve subproblems for every iteration of the algorithms. To address this computational challenge, we propose a distributed optimization algorithm that eliminates solver dependencies and harnesses GPU acceleration. The central idea involves decomposing networks to yield subproblems with closed-form solutions based on matrix operations that GPU can efficiently handle. We demonstrate the computational performance of our approach through numerical experiments on four IEEE test instances ranging from 13 to 8500 buses. Our results affirm the scalability and superior speed of our GPU-based approach compared to the CPU-based counterpart.


title: Surveying the Landscape of Text Summarization with Deep Learning: A Comprehensive Review

abstract: In recent years, deep learning has revolutionized natural language processing (NLP) by enabling the development of models that can learn complex representations of language data, leading to significant improvements in performance across a wide range of NLP tasks. Deep learning models for NLP typically use large amounts of data to train deep neural networks, allowing them to learn the patterns and relationships in language data. This is in contrast to traditional NLP approaches, which rely on hand-engineered features and rules to perform NLP tasks. The ability of deep neural networks to learn hierarchical representations of language data, handle variable-length input sequences, and perform well on large datasets makes them well-suited for NLP applications. Driven by the exponential growth of textual data and the increasing demand for condensed, coherent, and informative summaries, text summarization has been a critical research area in the field of NLP. Applying deep learning to text summarization refers to the use of deep neural networks to perform text summarization tasks. In this survey, we begin with a review of fashionable text summarization tasks in recent years, including extractive, abstractive, multi-document, and so on. Next, we discuss most deep learning-based models and their experimental results on these tasks. The paper also covers datasets and data representation for summarization tasks. Finally, we delve into the opportunities and challenges associated with summarization tasks and their corresponding methodologies, aiming to inspire future research efforts to advance the field further. A goal of our survey is to explain how these methods differ in their requirements as understanding them is essential for choosing a technique suited for a specific setting.


title: Hybrid Reinforcement Learning for Optimizing Pump Sustainability in Real-World Water Distribution Networks

abstract: This article addresses the pump-scheduling optimization problem to enhance real-time control of real-world water distribution networks (WDNs). Our primary objectives are to adhere to physical operational constraints while reducing energy consumption and operational costs. Traditional optimization techniques, such as evolution-based and genetic algorithms, often fall short due to their lack of convergence guarantees. Conversely, reinforcement learning (RL) stands out for its adaptability to uncertainties and reduced inference time, enabling real-time responsiveness. However, the effective implementation of RL is contingent on building accurate simulation models for WDNs, and prior applications have been limited by errors in simulation training data. These errors can potentially cause the RL agent to learn misleading patterns and actions and recommend suboptimal operational strategies. To overcome these challenges, we present an improved "hybrid RL" methodology. This method integrates the benefits of RL while anchoring it in historical data, which serves as a baseline to incrementally introduce optimal control recommendations. By leveraging operational data as a foundation for the agent's actions, we enhance the explainability of the agent's actions, foster more robust recommendations, and minimize error. Our findings demonstrate that the hybrid RL agent can significantly improve sustainability, operational efficiency, and dynamically adapt to emerging scenarios in real-world WDNs.


title: ZeroSwap: Data-driven Optimal Market Making in DeFi

abstract: Automated Market Makers (AMMs) are major centers of matching liquidity supply and demand in Decentralized Finance. Their functioning relies primarily on the presence of liquidity providers (LPs) incentivized to invest their assets into a liquidity pool. However, the prices at which a pooled asset is traded is often more stale than the prices on centralized and more liquid exchanges. This leads to the LPs suffering losses to arbitrage. This problem is addressed by adapting market prices to trader behavior, captured via the classical market microstructure model of Glosten and Milgrom. In this paper, we propose the first optimal Bayesian and the first model-free data-driven algorithm to optimally track the external price of the asset. The notion of optimality that we use enforces a zero-profit condition on the prices of the market maker, hence the name ZeroSwap. This ensures that the market maker balances losses to informed traders with profits from noise traders. The key property of our approach is the ability to estimate the external market price without the need for price oracles or loss oracles. Our theoretical guarantees on the performance of both these algorithms, ensuring the stability and convergence of their price recommendations, are of independent interest in the theory of reinforcement learning. We empirically demonstrate the robustness of our algorithms to changing market conditions.


title: COSMIC: An Ethernet-based Commensal, Multimode Digital Backend on the Karl G. Jansky Very Large Array for the Search for Extraterrestrial Intelligence

abstract: The primary goal of the search for extraterrestrial intelligence (SETI) is to gain an understanding of the prevalence of technologically advanced beings (organic or inorganic) in the Galaxy. One way to approach this is to look for technosignatures: remotely detectable indicators of technology, such as temporal or spectral electromagnetic emissions consistent with an artificial source. With the new Commensal Open-Source Multimode Interferometer Cluster (COSMIC) digital backend on the Karl G. Jansky Very Large Array (VLA), we aim to conduct a search for technosignatures that is significantly more comprehensive, more sensitive, and more efficient than previously attempted. The COSMIC system is currently operational on the VLA, recording data, and designed with the flexibility to provide user-requested modes. This paper describes the hardware system design, the current software pipeline, and plans for future development.