title: Semantic Data Management in Data Lakes

abstract: In recent years, data lakes emerged as away to manage large amounts of heterogeneous data for modern data analytics. One way to prevent data lakes from turning into inoperable data swamps is semantic data management. Some approaches propose the linkage of metadata to knowledge graphs based on the Linked Data principles to provide more meaning and semantics to the data in the lake. Such a semantic layer may be utilized not only for data management but also to tackle the problem of data integration from heterogeneous sources, in order to make data access more expressive and interoperable. In this survey, we review recent approaches with a specific focus on the application within data lake systems and scalability to Big Data. We classify the approaches into (i) basic semantic data management, (ii) semantic modeling approaches for enriching metadata in data lakes, and (iii) methods for ontologybased data access. In each category, we cover the main techniques and their background, and compare latest research. Finally, we point out challenges for future work in this research area, which needs a closer integration of Big Data and Semantic Web technologies.


title: Orbital evolution of LIGO/Virgo binaries in stellar clusters driven by cluster tides, stellar encounters and general relativity

abstract: Origin of LIGO/Virgo gravitational wave events may involve production of binaries with relativistic components in dense stellar systems - globular or nuclear star clusters - and their subsequent evolution towards merger. Orbital parameters of these binaries (the inner orbit) and their motion inside the cluster (the outer orbit) evolve due to both external agents - random encounters with cluster stars and cluster tides due to the smooth cluster potential - and the internal ones - various sources of dissipation and precession within the binary. We present a numerical framework - Binary Evolution in Stellar Clusters (BESC) - that follows the evolution of the binary inner and outer orbits accounting for all these effects simultaneously, enabling efficient Monte Carlo studies. The secular effect of cluster tides is computed in the singly-averaged approximation, without averaging over the outer binary orbit. As to stellar encounters, we include the effects of both close and distant flybys on the inner and outer orbits of the binary, respectively. In particular, this allows us to explicitly account for the dynamical friction sinking the binary towards the cluster centre. Also, given our focus on the LIGO/Virgo sources, we include the general relativistic precession (which suppresses cluster tides at high eccentricities) and the gravitational wave emission (shrinking the binary orbit). We use BESC to illustrate a number of characteristic binary evolutionary outcomes and discuss relative contributions of different physical processes. BESC can also be used to study other objects in clusters, e.g. blue stragglers, hot Jupiters, X-ray binaries, etc.


title: Optimal Structured Matrix Approximation for Robustness to Incomplete Biosequence Data

abstract: We propose a general method for optimally approximating an arbitrary matrix $\mathbf{M}$ by a structured matrix $\mathbf{T}$ (circulant, Toeplitz/Hankel, etc.) and examine its use for estimating the spectra of genomic linkage disequilibrium matrices. This application is prototypical of a variety of genomic and proteomic problems that demand robustness to incomplete biosequence information. We perform a simulation study and corroborative test of our method using real genomic data from the Mouse Genome Database. The results confirm the predicted utility of the method and provide strong evidence of its potential value to a wide range of bioinformatics applications. Our optimal general matrix approximation method is expected to be of independent interest to an even broader range of applications in applied mathematics and engineering.


title: The operator growth hypothesis in open quantum systems

abstract: The operator growth hypothesis (OGH) is a technical conjecture about the behaviour of operators -- specifically, the asymptotic growth of their Lanczos coefficients -- under repeated action by a Liouvillian. It is expected to hold for a sufficiently generic closed many-body system. When it holds, it yields bounds on the high frequency behavior of local correlation functions and measures of chaos (like OTOCs). It also gives a route to numerically estimating response functions. Here we investigate the generalisation of OGH to open quantum systems, where the Liouvillian is replaced by a Lindbladian. For a quantum system with local Hermitian jump operators, we show that the OGH is modified: we define a generalisation of the Lanczos coefficient and show that it initially grows linearly as in the original OGH, but experiences exponentially growing oscillations on scales determined by the dissipation strength. We see this behavior manifested in a semi-analytically solvable model (large-q SYK with dissipation), numerically for an ergodic spin chain, and in a solvable toy model for operator growth in the presence of dissipation (which resembles a non-Hermitian single-particle hopping process). Finally, we show that the modified OGH connects to a fundamental difference between Lindblad and closed systems: at high frequencies, the spectral functions of the former decay algebraically, while in the latter they decay exponentially. This is an experimentally testable statement, which also places limitations on the applicability of Lindbladians to systems in contact with equilibrium environments.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Initial conditions for Starobinsky Inflation with a positive spatial curvature

abstract: We have found numerically initial conditions in the $(R, H)$ plane leading to a successful Starobinsky inflation in $R+R^2$ gravity for a isotropic metrics with positive spatial curvature. Trajectories can reach inflation regime either directly or going through a bounce, and even recollapse followed by a bounce. Our numerical plots indicate that ``good" initial conditions exist even for big initial spatial curvature, however, we argue that such a trajectory must cross a region of rather big $R$ or $H$. This means that the range of viability of $R+R^2$ theory in the $(R,H)$ plane directly affect the question of viability of Starobinsky inflation for a positive spatial curvature isotropic Universe.


title: Spectral properties of generalized Paley graphs

abstract: We study the spectrum of generalized Paley graphs $\Gamma(k,q)=Cay(\mathbb{F}_q,R_k)$, undirected or not, with $R_k=\{x^k:x\in \mathbb{F}_q^*\}$ where $q=p^m$ with $p$ prime and $k\mid q-1$. We first show that the eigenvalues of $\Gamma(k,q)$ are given by the Gaussian periods $\eta_{i}^{(k,q)}$ with $0\le i\le k-1$. Then, we explicitly compute the spectrum of $\Gamma(k,q)$ with $1\le k \le 4$ and of $\Gamma(5,q)$ for $p\equiv 1\pmod 5$ and $5\mid m$. Also, we characterize those GP-graphs having integral spectrum, showing that $\Gamma(k,q)$ is integral if and only if $p$ divides $(q-1)/(p-1)$. Next, we focus on the family of semiprimitive GP-graphs. We show that they are integral strongly regular graphs (of pseudo-Latin square type). Finally, we characterize all integral Ramanujan graphs $\Gamma(k,q)$ with $1\le k \le 4$ or where $(k,q)$ is a semiprimitive pair.


title: General Approach to Neutrino Mass Mechanisms with Sterile Neutrinos

abstract: We present a mathematical framework for constructing the most general neutrino mass matrices that yield the observed spectrum of light active neutrino masses in conjunction with arbitrarily many heavy sterile neutrinos, without the need to assume a hierarchy between Dirac and Majorana mass terms. The seesaw mechanism is a byproduct of the formalism, along with many other possibilities for generating tiny neutrino masses. We comment on phenomenological applications of this approach, in particular deriving a mechanism to address the long-standing $(g-2)_\mu$ anomaly in the context of the left-right symmetric model.


title: Internally heated and fully compressible convection: flow morphology and scaling laws

abstract: In stars and planets natural processes heat convective flows in the bulk of a convective region rather than at hard boundaries. By characterizing how convective dynamics are determined by the strength of an internal heating source we can gain insight into the processes driving astrophysical convection. Internally heated convection has been studied extensively in incompressible fluids, but the effects of stratification and compressibility have not been examined in detail. In this work, we study fully compressible convection driven by a spatially uniform heating source in 2D and 3D Cartesian, hydrodynamic simulations. We use a fixed temperature upper boundary condition which results in a system that is internally heated in the bulk and cooled at the top. We find that the flow speed, as measured by the Mach number, and turbulence, as measured by the Reynolds number, can be independently controlled by separately varying the characteristic temperature gradient from internal heating and the diffusivities. 2D simulations at a fixed Mach number (flow speed) demonstrate consistent power at low wavenumber as diffusivities are decreased. We observe convection where the velocity distribution is skewed towards cold, fast downflows, and that the flow speed is related to the length scale and entropy gradient of the upper boundary where the downflows are driven. We additionally find a heat transport scaling law which is consistent with prior incompressible work.


title: La$_{2-x}$Ba$_x$CuO$_4$ as a superconducting Rosetta Stone

abstract: The high-temperature superconductivity in layered cuprates discovered by Bednorz and M\"uller arrived as a shock. Gradually, the presence of competing orders, such as antiferromagnetism and charge order, were discovered; however, the relationship to the superconductivity has been confusing. It so happens that the original cuprate superconductor family La$_{2-x}$Ba$_x$CuO$_4$ contains all of the relevant phases, with extreme competition among them, and analysis of these phases provides strong clues to the nature of the superconductivity in cuprates.


title: Topological constraints on general relativistic galaxies: Exploring novel conical singularity networks

abstract: The van Stockum-Bonner class of spacetimes can be interpreted as fully general relativistic models for rigidly rotating disc galaxies. Frame-dragging effects in these geometries demand a recalibration of the dark matter content relative to models based on Newtonian gravity. We investigate the previously overlooked topological structure of these spacetimes, in relation to the viability of fully general relativistic galaxy toy models. We discuss the appropriate boundary conditions for these solutions to model disc galaxies. For this class of spacetimes, we show the existence of a network of quasi-regular singularities along the rotation axis of the galaxies. The existence of such novel conical defect structures further restricts the physical viability of the van Stockum-Bonner class. Unwinding these issues is key to avoiding pathologies in future fully general relativistic modelling of alternative to dark matter.


title: GD-COMET: A Geo-Diverse Commonsense Inference Model

abstract: With the increasing integration of AI into everyday life, it's becoming crucial to design AI systems that serve users from diverse backgrounds by making them culturally aware. In this paper, we present GD-COMET, a geo-diverse version of the COMET commonsense inference model. GD-COMET goes beyond Western commonsense knowledge and is capable of generating inferences pertaining to a broad range of cultures. We demonstrate the effectiveness of GD-COMET through a comprehensive human evaluation across 5 diverse cultures, as well as extrinsic evaluation on a geo-diverse task. The evaluation shows that GD-COMET captures and generates culturally nuanced commonsense knowledge, demonstrating its potential to benefit NLP applications across the board and contribute to making NLP more inclusive.


title: Accelerating Distributed Nash Equilibrium Seeking

abstract: This work proposes a novel distributed approach for computing a Nash equilibrium in convex games with restricted strongly monotone pseudo-gradients. By leveraging the idea of the centralized operator extrapolation method presented in [4] to solve variational inequalities, we develop the algorithm converging to Nash equilibria in games, where players have no access to the full information but are able to communicate with neighbors over some communication graph. The convergence rate is demonstrated to be geometric and improves the rates obtained by the previously presented procedures seeking Nash equilibria in the class of games under consideration.


title: Containerized Vertical Farming Using Cobots

abstract: Containerized vertical farming is a type of vertical farming practice using hydroponics in which plants are grown in vertical layers within a mobile shipping container. Space limitations within shipping containers make the automation of different farming operations challenging. In this paper, we explore the use of cobots (i.e., collaborative robots) to automate two key farming operations, namely, the transplantation of saplings and the harvesting of grown plants. Our method uses a single demonstration from a farmer to extract the motion constraints associated with the tasks, namely, transplanting and harvesting, and can then generalize to different instances of the same task. For transplantation, the motion constraint arises during insertion of the sapling within the growing tube, whereas for harvesting, it arises during extraction from the growing tube. We present experimental results to show that using RGBD camera images (obtained from an eye-in-hand configuration) and one demonstration for each task, it is feasible to perform transplantation of saplings and harvesting of leafy greens using a cobot, without task-specific programming.


title: Course Correcting Koopman Representations

abstract: Koopman representations aim to learn features of nonlinear dynamical systems (NLDS) which lead to linear dynamics in the latent space. Theoretically, such features can be used to simplify many problems in modeling and control of NLDS. In this work we study autoencoder formulations of this problem, and different ways they can be used to model dynamics, specifically for future state prediction over long horizons. We discover several limitations of predicting future states in the latent space and propose an inference-time mechanism, which we refer to as Periodic Reencoding, for faithfully capturing long term dynamics. We justify this method both analytically and empirically via experiments in low and high dimensional NLDS.


title: Error analysis of generative adversarial network

abstract: The generative adversarial network (GAN) is an important model developed for high-dimensional distribution learning in recent years. However, there is a pressing need for a comprehensive method to understand its error convergence rate. In this research, we focus on studying the error convergence rate of the GAN model that is based on a class of functions encompassing the discriminator and generator neural networks. These functions are VC type with bounded envelope function under our assumptions, enabling the application of the Talagrand inequality. By employing the Talagrand inequality and Borel-Cantelli lemma, we establish a tight convergence rate for the error of GAN. This method can also be applied on existing error estimations of GAN and yields improved convergence rates. In particular, the error defined with the neural network distance is a special case error in our definition.


title: Remote Heart Rate Monitoring in Smart Environments from Videos with Self-supervised Pre-training

abstract: Recent advances in deep learning have made it increasingly feasible to estimate heart rate remotely in smart environments by analyzing videos. However, a notable limitation of deep learning methods is their heavy reliance on extensive sets of labeled data for effective training. To address this issue, self-supervised learning has emerged as a promising avenue. Building on this, we introduce a solution that utilizes self-supervised contrastive learning for the estimation of remote photoplethysmography (PPG) and heart rate monitoring, thereby reducing the dependence on labeled data and enhancing performance. We propose the use of 3 spatial and 3 temporal augmentations for training an encoder through a contrastive framework, followed by utilizing the late-intermediate embeddings of the encoder for remote PPG and heart rate estimation. Our experiments on two publicly available datasets showcase the improvement of our proposed approach over several related works as well as supervised learning baselines, as our results approach the state-of-the-art. We also perform thorough experiments to showcase the effects of using different design choices such as the video representation learning method, the augmentations used in the pre-training stage, and others. We also demonstrate the robustness of our proposed method over the supervised learning approaches on reduced amounts of labeled data.


title: Irreducible Curriculum for Language Model Pretraining

abstract: Automatic data selection and curriculum design for training large language models is challenging, with only a few existing methods showing improvements over standard training. Furthermore, current schemes focus on domain-level selection, overlooking the more fine-grained contributions of each individual training point. It is difficult to apply traditional datapoint selection methods on large language models: most online batch selection methods perform two-times forward or backward passes, which introduces considerable extra costs with large-scale models. To mitigate these obstacles, we propose irreducible curriculum as a curriculum learning algorithm for language model pretraining, which prioritizes samples with higher learnability. Specifically, to avoid prohibitive extra computation overhead, we simulate the sample loss along the main model's training trajectory using a small-scale proxy model. Our experiments on the RedPajama-1B dataset demonstrate a consistent improvement on validation perplexity across all 7 domains compared to random uniform baseline and the anti-curriculum strategy. Our method also reduces the sharpness of the network and illustrates a better 5-shot accuracy on MMLU benchmarks.


title: MEMPSEP III. A machine learning-oriented multivariate data set for forecasting the Occurrence and Properties of Solar Energetic Particle Events using a Multivariate Ensemble Approach

abstract: We introduce a new multivariate data set that utilizes multiple spacecraft collecting in-situ and remote sensing heliospheric measurements shown to be linked to physical processes responsible for generating solar energetic particles (SEPs). Using the Geostationary Operational Environmental Satellites (GOES) flare event list from Solar Cycle (SC) 23 and part of SC 24 (1998-2013), we identify 252 solar events (flares) that produce SEPs and 17,542 events that do not. For each identified event, we acquire the local plasma properties at 1 au, such as energetic proton and electron data, upstream solar wind conditions, and the interplanetary magnetic field vector quantities using various instruments onboard GOES and the Advanced Composition Explorer (ACE) spacecraft. We also collect remote sensing data from instruments onboard the Solar Dynamic Observatory (SDO), Solar and Heliospheric Observatory (SoHO), and the Wind solar radio instrument WAVES. The data set is designed to allow for variations of the inputs and feature sets for machine learning (ML) in heliophysics and has a specific purpose for forecasting the occurrence of SEP events and their subsequent properties. This paper describes a dataset created from multiple publicly available observation sources that is validated, cleaned, and carefully curated for our machine-learning pipeline. The dataset has been used to drive the newly-developed Multivariate Ensemble of Models for Probabilistic Forecast of Solar Energetic Particles (MEMPSEP; see MEMPSEP I (Chatterjee et al., 2023) and MEMPSEP II (Dayeh et al., 2023) for associated papers).


title: Resonance of Vector Vortex Beams in a Triangular Optical Cavity

abstract: We experimentally demonstrate resonance of first-order vector vortex beams (VVB) with a triangular optical cavity. We also show that, due to their symmetry properties, the so-called radial and azimuthal VVBs do not resonate at the same cavity length, which could be explored to use the triangular resonator as a mode sorter. In addition, an intracavity Pancharatnam phase shifter (PPS) is implemented in order to compensate for any birefringent phase that the cavity mirrors may introduce.


title: A Global Fit of Non-Relativistic Effective Dark Matter Operators Including Solar Neutrinos

abstract: We perform a global fit of dark matter interactions with nucleons using a non-relativistic effective operator description, considering both direct detection and neutrino data. We examine the impact of combining the direct detection experiments CDMSlite, CRESST-II, CRESST-III, DarkSide-50, LUX, LZ, PandaX-II, PandaX-4T, PICO-60, SIMPLE, SuperCDMS, XENON100, and XENON1T along with neutrino data from IceCube and ANTARES. While current neutrino telescope data lead to increased sensitivity compared to underground nuclear scattering experiments for dark matter masses above 100 GeV, our future projections show that the next generation of underground experiments will significantly outpace solar searches for most dark matter-nucleon elastic scattering interactions.


title: DoGE: Domain Reweighting with Generalization Estimation

abstract: The coverage and composition of the pretraining data significantly impacts the generalization ability of Large Language Models (LLMs). Despite its importance, recent LLMs still rely on heuristics and trial and error to increase or reduce the influence of data-domains. We propose DOmain reweighting with Generalization Estimation (DoGE), which optimizes the probability of sampling from each domain (domain weights) in a principled way. Our approach is a two-stage process consisting of (i) training a proxy model to obtain domain weights using a bi-level optimization algorithm; (ii) training a larger base model by sampling training domains according to the learned domain weights. In our experiments, we extensively show how DoGE improves the generalization of the base model to any target data mixture. On the SlimPajama dataset, our base model gets better perplexity and few-shot reasoning accuracies across $6$ tasks compared to baseline methods. Moreover, aiming to generalize to out-of-domain target tasks, which is unseen in the pretraining corpus (OOD domain), DoGE can effectively identify inter-domain dependencies, and consistently achieves better test perplexity on the target domain.


title: Sigma models as Gross-Neveu models. II

abstract: We summarize some (mostly geometric) facts underlying the relation between 2D integrable sigma models and generalized Gross-Neveu models, emphasizing connections to the theory of nilpotent orbits, Springer resolutions and quiver varieties. This is meant to shed light on the general setup when this correspondence holds.


title: Hunting Dark Matter Lines in the Infrared Background with the James Webb Space Telescope

abstract: Dark matter particles with a mass around 1 eV can decay into near-infrared photons. Utilising available public blank sky observations from the NIRSpec IFU on the James Webb Space Telescope (JWST), we search for a narrow emission line due to decaying dark matter and derive leading constraints in the mass range 0.8-3 eV on the decay rate to photons, and more specifically, on the axion-photon coupling for the case of axion-like particles. We exclude $\tau < 6.7\cdot 10^{26}$ s at $m_{\rm DM} \simeq 0.9$ eV and, in the case of axions, $g_{a \gamma \gamma} > 9.4 \cdot 10^{-12}$ GeV$^{-1}$ for $m_a = 2.15$ eV. Our results do not rely on dedicated observations, rather we use blank sky observations intended for sky subtraction, and thus our reach may be automatically strengthened as JWST continues to observe.


title: Non-destructive characterization techniques for battery performance and lifecycle assessment

abstract: As global energy demands escalate, and the use of non-renewable resources become untenable, renewable resources and electric vehicles require far better batteries to stabilize the new energy landscape. To maximize battery performance and lifetime, understanding and monitoring the fundamental mechanisms that govern their operation throughout their life cycle is crucial. Unfortunately, from the moment batteries are sealed until their end-of-life, they remain a black box, and our current knowledge of a commercial battery s health status is limited to current (I), voltage (V), temperature (T), and impedance (R) measurements, at the cell or even module level during use. Electrochemical models work best when the battery is new, and as state reckoning drifts leading to an over-reliance on insufficient data to establish conservative safety margins resulting in the systematic under-utilization of cells and batteries. While the field of operando characterization is not new, the emergence of techniques capable of tracking commercial battery properties under realistic conditions has unlocked a trove of chemical, thermal, and mechanical data that has the potential to revolutionize the development and utilization strategies of both new and used lithium-ion devices. In this review, we examine the latest advances in non-destructive operando characterization techniques, including electrical sensors, optical fibers, acoustic transducers, X-ray-based imaging and thermal imaging (IR camera or calorimetry), and their potential to improve our comprehension of degradation mechanisms, reduce time and cost, and enhance battery performance throughout its life cycle.


title: Classes of Gaussian States for Squeezing Estimation

abstract: This study explores a detailed examination of various classes of single- and two-mode Gaussian states as key elements for an estimation process, specifically targeting the evaluation of an unknown squeezing parameter encoded in one mode. To quantify the efficacy of each probe, we employ the concept of Average Quantum Fisher Information (AvQFI) as a robust metric to quantify the optimal performance associated with specific classes of Gaussian states as input. For single-mode probes, we identify pure squeezed single-mode states as the optimal choice and we explore the correlation between Coherence and AvQFI. Also, we show that pure two-mode squeezed states exhibit behavior resembling their single-mode counterparts for estimating the encoded squeezing parameter, and we studied the interplay between entanglement and AvQFI. This paper presents both analytical and numerical results that encompass all the studied classes, offering valuable insights for quantum estimation processes.


title: "One-Size-Fits-All"? Examining Expectations around What Constitute "Fair" or "Good" NLG System Behaviors

abstract: Fairness-related assumptions about what constitute appropriate NLG system behaviors range from invariance, where systems are expected to behave identically for social groups, to adaptation, where behaviors should instead vary across them. To illuminate tensions around invariance and adaptation, we conduct five case studies, in which we perturb different types of identity-related language features (names, roles, locations, dialect, and style) in NLG system inputs. Through these cases studies, we examine people's expectations of system behaviors, and surface potential caveats of these contrasting yet commonly held assumptions. We find that motivations for adaptation include social norms, cultural differences, feature-specific information, and accommodation; in contrast, motivations for invariance include perspectives that favor prescriptivism, view adaptation as unnecessary or too difficult for NLG systems to do appropriately, and are wary of false assumptions. Our findings highlight open challenges around what constitute "fair" or "good" NLG system behaviors.


title: GESI: Gammachirp Envelope Similarity Index for Predicting Intelligibility of Simulated Hearing Loss Sounds

abstract: We propose an objective intelligibility measure (OIM), called the Gammachirp Envelope Similarity Index (GESI), which can predict the speech intelligibility (SI) of simulated hearing loss (HL) sounds for normal hearing (NH) listeners. GESI is an intrusive method that computes the SI metric using the gammachirp filterbank (GCFB), the modulation filterbank, and the extended cosine similarity measure. The unique features of GESI are that i) it reflects the hearing impaired (HI) listener's HL that appears in the audiogram and is caused by active and passive cochlear dysfunction, ii) it provides a single goodness metric, as in the widely used STOI and ESTOI, that can be used immediately to evaluate SE algorithms, and iii) it provides a simple control parameter to accept the level asymmetry of the reference and test sounds and to deal with individual listening conditions and environments. We evaluated GESI and the conventional OIMs, STOI, ESTOI, MBSTOI, and HASPI versions 1 and 2 by using four SI experiments on words of male and female speech sounds in both laboratory and remote environments. GESI was shown to outperform the other OIMs in the evaluations. GESI could be used to improve SE algorithms in assistive listening devices for individual HI listeners.


title: A practical approach to computing Lyapunov exponents of renewal and delay equations

abstract: We propose a method for computing the Lyapunov exponents of renewal equations (delay equations of Volterra type) and of coupled systems of renewal and delay differential equations. The method consists in the reformulation of the delay equation as an abstract differential equation, the reduction of the latter to a system of ordinary differential equations via pseudospectral collocation, and the application of the standard discrete QR method. The effectiveness of the method is shown experimentally and a MATLAB implementation is provided.


title: Graph decomposition via edge edits into a union of regular graphs

abstract: Suppose a finite, unweighted, combinatorial graph $G = (V,E)$ is the union of several (degree-)regular graphs which are then additionally connected with a few additional edges. $G$ will then have only a small number of vertices $v \in V$ with the property that one of their neighbors $(v,w) \in E$ has a higher degree $\mbox{deg}(w) > \mbox{deg}(v)$. We prove the converse statement: if a graph has few vertices having a neighbor with higher degree and satisfies a mild regularity condition, then, via adding and removing a few edges, the graph can be turned into a disjoint union of (distance-)regular graphs. The number of edge operations depends on the maximum degree and number of vertices with a higher degree neighbor but is independent of the size of $|V|$.


title: Towards contrast-agnostic soft segmentation of the spinal cord

abstract: Spinal cord segmentation is clinically relevant and is notably used to compute spinal cord cross-sectional area (CSA) for the diagnosis and monitoring of cord compression or neurodegenerative diseases such as multiple sclerosis. While several semi and automatic methods exist, one key limitation remains: the segmentation depends on the MRI contrast, resulting in different CSA across contrasts. This is partly due to the varying appearance of the boundary between the spinal cord and the cerebrospinal fluid that depends on the sequence and acquisition parameters. This contrast-sensitive CSA adds variability in multi-center studies where protocols can vary, reducing the sensitivity to detect subtle atrophies. Moreover, existing methods enhance the CSA variability by training one model per contrast, while also producing binary masks that do not account for partial volume effects. In this work, we present a deep learning-based method that produces soft segmentations of the spinal cord. Using the Spine Generic Public Database of healthy participants ($\text{n}=267$; $\text{contrasts}=6$), we first generated participant-wise soft ground truth (GT) by averaging the binary segmentations across all 6 contrasts. These soft GT, along with a regression-based loss function, were then used to train a UNet model for spinal cord segmentation. We evaluated our model against state-of-the-art methods and performed ablation studies involving different GT mask types, loss functions, and contrast-specific models. Our results show that using the soft average segmentations along with a regression loss function reduces CSA variability ($p < 0.05$, Wilcoxon signed-rank test). The proposed spinal cord segmentation model generalizes better than the state-of-the-art contrast-specific methods amongst unseen datasets, vendors, contrasts, and pathologies (compression, lesions), while accounting for partial volume effects.


title: A Comparative Study between Silicon Carbide and Silicon Nitride based Single Cell CMUT

abstract: This research explores the design and conducts a comparative analysis of a noninsulated Capacitive Micromachined Ultrasonic Transducer (CMUT) featuring an innovative asymmetric electrode configuration to improve the performance of the device. Specifically, this configuration involves the utilization of a top electrode with a smaller radius in comparison to the bottom electrode. The study encompasses an investigation into the effects of varying biasing voltage within the range of 40 V to 100 V. The materials employed in this study are carefully selected to optimize the CMUT's performance. The substrate material is silicon, and the bottom and top electrodes are made from aluminium. Additionally, silicon dioxide is utilized as the foundation material within the device's structure.


title: Renormalizaci\'on conforme de teor\'ias escalar-tensor de la gravedad

abstract: In this thesis, we investigate the method of conformal renormalization applied to theories with degrees of freedom beyond the metric ones. Specifically, we examine this method in the presence of a scalar field. To do this, as part of a review, we revisit the action principle of General Relativity and Einstein's equations, in addition to re-examining the conditions for this theory to have a well-defined variational principle when Dirichlet boundary conditions are imposed. We then explore various methods for calculating conserved charges in asymptotically flat spaces. In asymptotically anti-de Sitter spaces, we study two renormalization schemes that are relevant to this work. To motivate the method used here, we observe that Conformal Gravity is finite for spaces that are asymptotically anti-de Sitter, as demonstrated in [Grumiller, 2014]. This guiding principle gives us a clue as to how conformal symmetry may be related to renormalization in spacetimes with such asymptotics. The basis of this construction is the extension of a covariant tensor under Weyl rescalings composed of the metric and the scalar field as proposed in [Oliva and Ray, 2011]. This extension ensures that the conformal weight of this tensor is equal to that of the Weyl tensor. We extend this realization by considering tensor-scalar theories with conformal symmetry, coupled with the Einstein-AdS action written in the MacDowell-Mansouri form. Despite the fact that the Einstein-AdS sector breaks conformal symmetry, we show that the entire theory can still be renormalized if the scalar field has an appropriate decay when considering asymptotically anti-de Sitter solutions. Finally, we study black hole-type solutions, calculating their Hawking temperature and the Euclidean on-shell action, explicitly demonstrating that the latter is finite for asymptotically anti-de Sitter spaces.


title: GPT-4 as an Effective Zero-Shot Evaluator for Scientific Figure Captions

abstract: There is growing interest in systems that generate captions for scientific figures. However, assessing these systems output poses a significant challenge. Human evaluation requires academic expertise and is costly, while automatic evaluation depends on often low-quality author-written captions. This paper investigates using large language models (LLMs) as a cost-effective, reference-free method for evaluating figure captions. We first constructed SCICAP-EVAL, a human evaluation dataset that contains human judgments for 3,600 scientific figure captions, both original and machine-made, for 600 arXiv figures. We then prompted LLMs like GPT-4 and GPT-3 to score (1-6) each caption based on its potential to aid reader understanding, given relevant context such as figure-mentioning paragraphs. Results show that GPT-4, used as a zero-shot evaluator, outperformed all other models and even surpassed assessments made by Computer Science and Informatics undergraduates, achieving a Kendall correlation score of 0.401 with Ph.D. students rankings


title: Visual Elements and Cognitive Biases Influence Interpretations of Trends in Scatter Plots

abstract: Visualizations are common methods to convey information but also increasingly used to spread misinformation. It is therefore important to understand the factors people use to interpret visualizations. In this paper, we focus on factors that influence interpretations of scatter plots, investigating the extent to which common visual aspects of scatter plots (outliers and trend lines) and cognitive biases (people's beliefs) influence perception of correlation trends. We highlight three main findings: outliers skew trend perception but exert less influence than other points; trend lines make trends seem stronger but also mitigate the influence of some outliers; and people's beliefs have a small influence on perceptions of weak, but not strong correlations. From these results we derive guidelines for adjusting visual elements to mitigate the influence of factors that distort interpretations of scatter plots. We explore how these guidelines may generalize to other visualization types and make recommendations for future studies.


title: Finite-Time Adaptive Fuzzy Tracking Control for Nonlinear State Constrained Pure-Feedback Systems

abstract: This paper investigates the finite-time adaptive fuzzy tracking control problem for a class of pure-feedback system with full-state constraints. With the help of Mean-Value Theorem, the pure-feedback nonlinear system is transformed into strict-feedback case. By employing finite-time-stable like function and state transformation for output tracking error, the output tracking error converges to a predefined set in a fixed finite interval. To tackle the problem of state constraints, integral Barrier Lyapunov functions are utilized to guarantee that the state variables remain within the prescribed constraints with feasibility check. Fuzzy logic systems are utilized to approximate the unknown nonlinear functions. In addition, all the signals in the closed-loop system are guaranteed to be semi-global ultimately uniformly bounded. Finally, two simulation examples are given to show the effectiveness of the proposed control strategy.


title: Mapping the Galactic disk with the LAMOST and Gaia Red clump sample: VIII: Mapping the kinematics of the Galactic disk using mono-age and mono-abundance stellar populations

abstract: We present a comprehensive study of the kinematic properties of the different Galactic disk populations, as defined by the chemical abundance ratios and stellar ages, across a large disk volume (4.5 $\leq$ R $\leq$ 15.0 kpc and $|Z|$ $\leq$ 3.0 kpc), by using the LAMOST-Gaia red clump sample stars. We determine the median velocities for various spatial and population bins, finding large-scale bulk motions, such as the wave-like behavior in radial velocity, the north-south discrepancy in azimuthal velocity and the warp signal in vertical velocity, and the amplitudes and spatial-dependences of those bulk motions show significant variations for different mono-age and mono-abundance populations. The global spatial behaviors of the velocity dispersions clearly show a signal of spiral arms and, a signal of the disk perturbation event within 4 Gyr, as well as the disk flaring in the outer region (i.e., $R \ge 12$ kpc) mostly for young or alpha-poor stellar populations. Our detailed measurements of age/[$\alpha$/Fe]-velocity dispersion relations for different disk volumes indicate that young/$\alpha$-poor populations are likely originated from dynamically heated by both giant molecular clouds and spiral arms, while old/$\alpha$-enhanced populations require an obvious contribution from other heating mechanisms such as merger and accretion, or born in the chaotic mergers of gas-rich systems and/or turbulent interstellar medium.


title: Complexity of Puiseux solutions of differential and $q$-difference equations of order and degree one

abstract: We relate the complexity of both differential and $q$-difference equations of order one and degree one and their solutions. Our point of view is to show that if the solutions are complicated, the initial equation is complicated too. In this spirit, we bound from below an invariant of the differential or $q$-difference equation, the height of its Newton polygon, in terms of the characteristic factors of a solution. The differential and the $q$-difference cases are treated in a unified way.


title: Initial-final mass relation from white dwarfs within 40 pc

abstract: We present an initial-final mass relation derived from the spectroscopically-complete volume-limited 40 pc sample of white dwarfs. The relation is modelled using population synthesis methods to derive an initial stellar population which can be fit to the observed mass distribution of white dwarfs. The population synthesis accounts for binary evolution, where higher-mass white dwarfs are more likely to be merger products than their lower-mass counterparts. Uncertainties are accounted from the initial mass function, stellar metallicity and age of the Galactic disc. We also consider biases induced by the spectral type of the white dwarf where pure-hydrogen atmosphere white dwarfs are likely to have more accurate masses, whilst the full white dwarf sample will have fewer biases arising from spectral evolution. We provide a four-piece segmented linear regression using Monte Carlo methods to sample the 1-$\sigma$ range of uncertainty on the initial stellar population. The derived initial-final mass relation provides a self-consistent determination of the progenitor mass for white dwarfs in the Solar neighbourhood which will be useful to study the local stellar formation history.


title: Efficient Active Learning Halfspaces with Tsybakov Noise: A Non-convex Optimization Approach

abstract: We study the problem of computationally and label efficient PAC active learning $d$-dimensional halfspaces with Tsybakov Noise~\citep{tsybakov2004optimal} under structured unlabeled data distributions. Inspired by~\cite{diakonikolas2020learning}, we prove that any approximate first-order stationary point of a smooth nonconvex loss function yields a halfspace with a low excess error guarantee. In light of the above structural result, we design a nonconvex optimization-based algorithm with a label complexity of $\tilde{O}(d (\frac{1}{\epsilon})^{\frac{8-6\alpha}{3\alpha-1}})$\footnote{In the main body of this work, we use $\tilde{O}(\cdot), \tilde{\Theta}(\cdot)$ to hide factors of the form $\polylog(d, \frac{1}{\epsilon}, \frac{1}{\delta})$}, under the assumption that the Tsybakov noise parameter $\alpha \in (\frac13, 1]$, which narrows down the gap between the label complexities of the previously known efficient passive or active algorithms~\citep{diakonikolas2020polynomial,zhang2021improved} and the information-theoretic lower bound in this setting.


title: Quantum Multiphoton Rabi Oscillations in Waveguide QED

abstract: The future of quantum information processing hinges on chip-scale nanophotonics, specifically cavity QED and waveguide QED. One of the foremost processes underpinning quantum photonic technologies is the phenomenon of Rabi oscillations, which manifests when a qubit is irradiated by an intense laser source. Departing from the conventional semiclassical framework, we expound on the more general, quantum-theoretic case where the optical excitation takes the form of a multiphoton Fock state, and the qubit couples to a continuum of radiation modes. By employing the real-space formalism, we analytically explore the scattering dynamics of the photonic Fock state as it interfaces with a two-level emitter. The resulting amplitude for atomic excitation features a linear superposition of various independent scattering events that are triggered by the potential of sequential photon absorptions and emissions. The lowest-order excitation event, initiated by the stochastic scattering of one of the several photons, aptly characterizes the dynamics in a weak-field environment. This is complemented by a multitude of higher-order scattering events ensuing from repeated atom-photon interactions. The temporal evolution of the qubit excitation in our configuration closely mirrors the semiclassical predictions, particularly in the strong-pumping limit where Rabi oscillations unfold. Notably, this compatibility with the semiclassical paradigm applies both to the weak-driving and large-detuning limits. Our analysis, therefore, extends the existing results on quantum Rabi oscillations pertinent to single-mode cavity QED, to the multimode, waveguide-QED configurations wherein flying photons are the information carriers. Finally, we explore the scattering dynamics of pulsed wave packets, highlighting the potential to substantially enhance excitation efficiency, even in scenarios involving just a few photons.


title: Sensor Attacks and Resilient Defense on HVAC Systems for Energy Market Signal Tracking

abstract: The power flexibility from smart buildings makes them suitable candidates for providing grid services. The building automation system (BAS) that employs model predictive control (MPC) for grid services relies heavily on sensor data gathered from IoT-based HVAC systems through communication networks. However, cyber-attacks that tamper sensor values can compromise the accuracy and flexibility of HVAC system power adjustment. Existing studies on grid-interactive buildings mainly focus on the efficiency and flexibility of buildings' participation in grid operations, while the security aspect is lacking. In this paper, we investigate the effects of cyber-attacks on HVAC systems in grid-interactive buildings, specifically their power-tracking performance. We design a stochastic optimization-based stealthy sensor attack and a corresponding defense strategy using a resilient control framework. The attack and its defense are tested in a physical model of a test building with a single-chiller HVAC system. Simulation results demonstrate that minor falsifications caused by a stealthy sensor attack can significantly alter the power profile, leading to large power tracking errors. However, the resilient control framework can reduce the power tracking error by over 70% under such attacks without filtering out compromised data.


title: Diverse Conventions for Human-AI Collaboration

abstract: Conventions are crucial for strong performance in cooperative multi-agent games, because they allow players to coordinate on a shared strategy without explicit communication. Unfortunately, standard multi-agent reinforcement learning techniques, such as self-play, converge to conventions that are arbitrary and non-diverse, leading to poor generalization when interacting with new partners. In this work, we present a technique for generating diverse conventions by (1) maximizing their rewards during self-play, while (2) minimizing their rewards when playing with previously discovered conventions (cross-play), stimulating conventions to be semantically different. To ensure that learned policies act in good faith despite the adversarial optimization of cross-play, we introduce \emph{mixed-play}, where an initial state is randomly generated by sampling self-play and cross-play transitions and the player learns to maximize the self-play reward from this initial state. We analyze the benefits of our technique on various multi-agent collaborative games, including Overcooked, and find that our technique can adapt to the conventions of humans, surpassing human-level performance when paired with real users.


title: Mind the Gap Between Conversations for Improved Long-Term Dialogue Generation

abstract: Knowing how to end and resume conversations over time is a natural part of communication, allowing for discussions to span weeks, months, or years. The duration of gaps between conversations dictates which topics are relevant and which questions to ask, and dialogue systems which do not explicitly model time may generate responses that are unnatural. In this work we explore the idea of making dialogue models aware of time, and present GapChat, a multi-session dialogue dataset in which the time between each session varies. While the dataset is constructed in real-time, progress on events in speakers' lives is simulated in order to create realistic dialogues occurring across a long timespan. We expose time information to the model and compare different representations of time and event progress. In human evaluation we show that time-aware models perform better in metrics that judge the relevance of the chosen topics and the information gained from the conversation.


title: Nominality Score Conditioned Time Series Anomaly Detection by Point/Sequential Reconstruction

abstract: Time series anomaly detection is challenging due to the complexity and variety of patterns that can occur. One major difficulty arises from modeling time-dependent relationships to find contextual anomalies while maintaining detection accuracy for point anomalies. In this paper, we propose a framework for unsupervised time series anomaly detection that utilizes point-based and sequence-based reconstruction models. The point-based model attempts to quantify point anomalies, and the sequence-based model attempts to quantify both point and contextual anomalies. Under the formulation that the observed time point is a two-stage deviated value from a nominal time point, we introduce a nominality score calculated from the ratio of a combined value of the reconstruction errors. We derive an induced anomaly score by further integrating the nominality score and anomaly score, then theoretically prove the superiority of the induced anomaly score over the original anomaly score under certain conditions. Extensive studies conducted on several public datasets show that the proposed framework outperforms most state-of-the-art baselines for time series anomaly detection.


title: A Semantic-driven Approach for Maintenance Digitalization in the Pharmaceutical Industry

abstract: The digital transformation of pharmaceutical industry is a challenging task due to the high complexity of involved elements and the strict regulatory compliance. Maintenance activities in the pharmaceutical industry play an essential role in ensuring product quality and integral functioning of equipment and premises. This paper first identifies the key challenges of digitalization in pharmaceutical industry and creates the corresponding problem space for key involved elements. A literature review is conducted to investigate the mainstream maintenance strategies, digitalization models, tools and official guidance from authorities in pharmaceutical industry. Based on the review result, a semantic-driven digitalization framework is proposed aiming to improve the digital continuity and cohesion of digital resources and technologies for maintenance activities in the pharmaceutical industry. A case study is conducted to verify the feasibility of the proposed framework based on the water sampling activities in Merck Serono facility in Switzerland. A tool-chain is presented to enable the functional modules of the framework. Some of the key functional modules within the framework are implemented and have demonstrated satisfactory performance. As one of the outcomes, a digital sampling assistant with web-based services is created to support the automated workflow of water sampling activities. The implementation result proves the potential of the proposed framework to solve the identified problems of maintenance digitalization in the pharmaceutical industry.


title: Fractal Landscapes in Policy Optimization

abstract: Policy gradient lies at the core of deep reinforcement learning (RL) in continuous domains. Despite much success, it is often observed in practice that RL training with policy gradient can fail for many reasons, even on standard control problems with known solutions. We propose a framework for understanding one inherent limitation of the policy gradient approach: the optimization landscape in the policy space can be extremely non-smooth or fractal for certain classes of MDPs, such that there does not exist gradient to be estimated in the first place. We draw on techniques from chaos theory and non-smooth analysis, and analyze the maximal Lyapunov exponents and H\"older exponents of the policy optimization objectives. Moreover, we develop a practical method that can estimate the local smoothness of objective function from samples to identify when the training process has encountered fractal landscapes. We show experiments to illustrate how some failure cases of policy optimization can be explained by such fractal landscapes.


title: Fast multiplication of random dense matrices with fixed sparse matrices

abstract: This work focuses on accelerating the multiplication of a dense random matrix with a (fixed) sparse matrix, which is frequently used in sketching algorithms. We develop a novel scheme that takes advantage of blocking and recomputation (on-the-fly random number generation) to accelerate this operation. The techniques we propose decrease memory movement, thereby increasing the algorithm's parallel scalability in shared memory architectures. On the Intel Frontera architecture, our algorithm can achieve 2x speedups over libraries such as Eigen and Intel MKL on some examples. In addition, with 32 threads, we can obtain a parallel efficiency of up to approximately 45%. We also present a theoretical analysis for the memory movement lower bound of our algorithm, showing that under mild assumptions, it's possible to beat the data movement lower bound of general matrix-matrix multiply (GEMM) by a factor of $\sqrt M$, where $M$ is the cache size. Finally, we incorporate our sketching algorithm into a randomized least squares solver. For extremely over-determined sparse input matrices, we show that our results are competitive with SuiteSparse; in some cases, we obtain a speedup of 10x over SuiteSparse.


title: Let the Pretrained Language Models "Imagine" for Short Texts Topic Modeling

abstract: Topic models are one of the compelling methods for discovering latent semantics in a document collection. However, it assumes that a document has sufficient co-occurrence information to be effective. However, in short texts, co-occurrence information is minimal, which results in feature sparsity in document representation. Therefore, existing topic models (probabilistic or neural) mostly fail to mine patterns from them to generate coherent topics. In this paper, we take a new approach to short-text topic modeling to address the data-sparsity issue by extending short text into longer sequences using existing pre-trained language models (PLMs). Besides, we provide a simple solution extending a neural topic model to reduce the effect of noisy out-of-topics text generation from PLMs. We observe that our model can substantially improve the performance of short-text topic modeling. Extensive experiments on multiple real-world datasets under extreme data sparsity scenarios show that our models can generate high-quality topics outperforming state-of-the-art models.


title: FANToM: A Benchmark for Stress-testing Machine Theory of Mind in Interactions

abstract: Theory of mind (ToM) evaluations currently focus on testing models using passive narratives that inherently lack interactivity. We introduce FANToM, a new benchmark designed to stress-test ToM within information-asymmetric conversational contexts via question answering. Our benchmark draws upon important theoretical requisites from psychology and necessary empirical considerations when evaluating large language models (LLMs). In particular, we formulate multiple types of questions that demand the same underlying reasoning to identify illusory or false sense of ToM capabilities in LLMs. We show that FANToM is challenging for state-of-the-art LLMs, which perform significantly worse than humans even with chain-of-thought reasoning or fine-tuning.


title: G2-MonoDepth: A General Framework of Generalized Depth Inference from Monocular RGB+X Data

abstract: Monocular depth inference is a fundamental problem for scene perception of robots. Specific robots may be equipped with a camera plus an optional depth sensor of any type and located in various scenes of different scales, whereas recent advances derived multiple individual sub-tasks. It leads to additional burdens to fine-tune models for specific robots and thereby high-cost customization in large-scale industrialization. This paper investigates a unified task of monocular depth inference, which infers high-quality depth maps from all kinds of input raw data from various robots in unseen scenes. A basic benchmark G2-MonoDepth is developed for this task, which comprises four components: (a) a unified data representation RGB+X to accommodate RGB plus raw depth with diverse scene scale/semantics, depth sparsity ([0%, 100%]) and errors (holes/noises/blurs), (b) a novel unified loss to adapt to diverse depth sparsity/errors of input raw data and diverse scales of output scenes, (c) an improved network to well propagate diverse scene scales from input to output, and (d) a data augmentation pipeline to simulate all types of real artifacts in raw depth maps for training. G2-MonoDepth is applied in three sub-tasks including depth estimation, depth completion with different sparsity, and depth enhancement in unseen scenes, and it always outperforms SOTA baselines on both real-world data and synthetic data.


title: Electric quadrupole second harmonic generation revealing dual magnetic orders in a magnetic Weyl semimetal

abstract: Broken symmetries and electronic topology are nicely manifested together in the second order nonlinear optical responses from topologically nontrivial materials. While second order nonlinear optical effects from the electric dipole (ED) contribution have been extensively explored in polar Weyl semimetals (WSMs) with broken spatial inversion (SI) symmetry, they are rarely studied in centrosymmetric magnetic WSMs with broken time reversal (TR) symmetry due to complete suppression of the ED contribution. Here, we report experimental demonstration of optical second harmonic generation (SHG) in a magnetic WSM Co$_{3}$Sn$_{2}$S$_{2}$ from the electric quadrupole (EQ) contribution. By tracking the temperature dependence of the rotation anisotropy (RA) of SHG, we capture two magnetic phase transitions, with both the SHG intensity increasing and its RA pattern rotating at $T_{C,1}$=175K and $T_{C,2}$=120K subsequently. The fitted critical exponents for the SHG intensity and RA orientation near $T_{C,1}$ and $T_{C,2}$ suggest that the magnetic phase at $T_{C,1}$ is a 3D Ising-type out-of-plane ferromagnetism while the other at $T_{C,2}$ is a 3D XY-type all-in-all-out in-plane antiferromagnetism. Our results show the success of detection and exploration of EQ SHG in a centrosymmetric magnetic WSM, and hence open the pathway towards the future investigation of its tie to the band topology.


title: Linear response of molecular polaritons

abstract: In this article, we show that the collective light-matter strong coupling regime, where $N$ molecular emitters couple to the photon mode of an optical cavity, can be mapped to a quantum impurity model where the photon is the impurity that is coupled to a bath of anharmonic transitions. In the thermodynamic limit where $N\gg1$, we argue that the bath can be replaced with an effective harmonic bath, leading to a dramatic simplification of the problem into one of coupled harmonic oscillators. We derive simple analytical expressions for linear optical spectra (transmission, reflection, and absorption) where the only molecular input required is the molecular linear susceptibility. This formalism is applied to a series of illustrative examples showcasing the role of temperature, disorder, vibronic coupling, and optical saturation of the molecular ensemble, explaining that it is useful even when describing an important class of nonlinear optical experiments. For completeness, we provide a comprehensive Appendix that includes a self-contained derivation of the relevant spectroscopic observables for arbitrary anharmonic systems (for both large and small $N$) within the rotating-wave approximation. While some of the presented results herein have already been reported in the literature, we provide a unified presentation of the results as well as new interpretations that connect powerful concepts in open quantum systems and linear response theory with molecular polaritonics.


title: The Mason-Alberta Phonetic Segmenter: A forced alignment system based on deep neural networks and interpolation

abstract: Forced alignment systems automatically determine boundaries between segments in speech data, given an orthographic transcription. These tools are commonplace in phonetics to facilitate the use of speech data that would be infeasible to manually transcribe and segment. In the present paper, we describe a new neural network-based forced alignment system, the Mason-Alberta Phonetic Segmenter (MAPS). The MAPS aligner serves as a testbed for two possible improvements we pursue for forced alignment systems. The first is treating the acoustic model in a forced aligner as a tagging task, rather than a classification task, motivated by the common understanding that segments in speech are not truly discrete and commonly overlap. The second is an interpolation technique to allow boundaries more precise than the common 10 ms limit in modern forced alignment systems. We compare configurations of our system to a state-of-the-art system, the Montreal Forced Aligner. The tagging approach did not generally yield improved results over the Montreal Forced Aligner. However, a system with the interpolation technique had a 27.92% increase relative to the Montreal Forced Aligner in the amount of boundaries within 10 ms of the target on the test set. We also reflect on the task and training process for acoustic modeling in forced alignment, highlighting how the output targets for these models do not match phoneticians' conception of similarity between phones and that reconciliation of this tension may require rethinking the task and output targets or how speech itself should be segmented.


title: zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes

abstract: This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation. Hybrid zonotopes have proven to be an expressive set representation that can exactly represent the reachable sets of mixed-logical dynamical systems and tightly approximate the reachable sets of nonlinear dynamic systems. Moreover, hybrid zonotopes can exactly represent the continuous piecewise linear control laws associated with model predictive control and the input-output mappings of neural networks with piecewise linear activation functions. The hybrid zonotope set representation is also highly exploitable, where efficient methods developed for mixed-integer linear programming can be directly used for set operation and analysis. The zonoLAB toolbox is designed to make these capabilities accessible to the dynamic systems and controls community, with functionality spanning fundamental operations with hybrid zonotope, constrained zonotope, and zonotope set representations, powerful set analysis tools, and general-purpose algorithms for reachability analysis of open- and closed-loop systems.


title: Fluid-gravity correspondence and causal first-order relativistic viscous hydrodynamics

abstract: The fluid-gravity correspondence is a duality between anti-de Sitter Einstein gravity and a relativistic fluid living at the conformal boundary. We show that one can accommodate the causal first-order viscous hydrodynamics recently developed by Bemfica, Disconzi, Noronha, and Kovtun in this framework, by requiring a set of natural conditions for the geometric data at the horizon. The latter hosts an induced Carrollian fluid, whose equations of motion are shown to be tightly tied to the ones describing the fluid at the boundary. Functional expressions for the transport coefficients are found --with those associated to viscosity and heat flux uniquely determined--, satisfying a set of known causality requirements for the underlying equations of motion.


title: ConstitutionMaker: Interactively Critiquing Large Language Models by Converting Feedback into Principles

abstract: Large language model (LLM) prompting is a promising new approach for users to create and customize their own chatbots. However, current methods for steering a chatbot's outputs, such as prompt engineering and fine-tuning, do not support users in converting their natural feedback on the model's outputs to changes in the prompt or model. In this work, we explore how to enable users to interactively refine model outputs through their feedback, by helping them convert their feedback into a set of principles (i.e. a constitution) that dictate the model's behavior. From a formative study, we (1) found that users needed support converting their feedback into principles for the chatbot and (2) classified the different principle types desired by users. Inspired by these findings, we developed ConstitutionMaker, an interactive tool for converting user feedback into principles, to steer LLM-based chatbots. With ConstitutionMaker, users can provide either positive or negative feedback in natural language, select auto-generated feedback, or rewrite the chatbot's response; each mode of feedback automatically generates a principle that is inserted into the chatbot's prompt. In a user study with 14 participants, we compare ConstitutionMaker to an ablated version, where users write their own principles. With ConstitutionMaker, participants felt that their principles could better guide the chatbot, that they could more easily convert their feedback into principles, and that they could write principles more efficiently, with less mental demand. ConstitutionMaker helped users identify ways to improve the chatbot, formulate their intuitive responses to the model into feedback, and convert this feedback into specific and clear principles. Together, these findings inform future tools that support the interactive critiquing of LLM outputs.


title: Beyond Sentiment: Leveraging Topic Metrics for Political Stance Classification

abstract: Sentiment analysis, widely critiqued for capturing merely the overall tone of a corpus, falls short in accurately reflecting the latent structures and political stances within texts. This study introduces topic metrics, dummy variables converted from extracted topics, as both an alternative and complement to sentiment metrics in stance classification. By employing three datasets identified by Bestvater and Monroe (2023), this study demonstrates BERTopic's proficiency in extracting coherent topics and the effectiveness of topic metrics in stance classification. The experiment results show that BERTopic improves coherence scores by 17.07% to 54.20% when compared to traditional approaches such as Dirichlet Allocation (LDA) and Non-negative Matrix Factorization (NMF), prevalent in earlier political science research. Additionally, our results indicate topic metrics outperform sentiment metrics in stance classification, increasing performance by as much as 18.95%. Our findings suggest topic metrics are especially effective for context-rich texts and corpus where stance and sentiment correlations are weak. The combination of sentiment and topic metrics achieve an optimal performance in most of the scenarios and can further address the limitations of relying solely on sentiment as well as the low coherence score of topic metrics.


title: A Companion in V1247 Ori Supported by Spiral Arm Pattern Motion

abstract: While there have been nearly two dozen of spiral arms detected from planet-forming disks in near-infrared scattered light, none of their substellar drivers have been confirmed. By observing spiral systems in at least two epochs spanning multiple years, and measuring the motion of the spirals, we can distinguish the cause of the spirals, and locate the orbits of the driving planets if they trigger the spirals. Upon a recent validation of this approach using the co-motion between a stellar companion and a spiral, we obtained a second epoch observation for the spiral system in the disk of V1247 Ori in the $H$-band polarized scattered light using VLT/SPHERE/IRDIS. Combining our observations with archival IRDIS data, we established a $4.8$ yr timeline to constrain the V1247 Ori spiral motion. We obtained a pattern speed of $0.40^{\circ} \pm 0.09^{\circ}$ yr$^{-1}$ for the north-east spiral. This corresponds to an orbital period of $900\pm200$ yr, and thus the semi-major axis of the hidden planetary driver is $118\pm19$ au for a 2.0 $\pm$ 0.1 M$_\odot$ central star. The location agrees with the gap in ALMA dust continuum observations, providing joint support for the existence of a companion driving the scattered-light spirals while carving a millimeter gap. With an angular separation of 0.29" $\pm$ 0.05", this hidden companion is an ideal target for JWST imaging.


title: What Makes it Ok to Set a Fire? Iterative Self-distillation of Contexts and Rationales for Disambiguating Defeasible Social and Moral Situations

abstract: Moral or ethical judgments rely heavily on the specific contexts in which they occur. Understanding varying shades of defeasible contextualizations (i.e., additional information that strengthens or attenuates the moral acceptability of an action) is critical to accurately represent the subtlety and intricacy of grounded human moral judgment in real-life scenarios. We introduce defeasible moral reasoning: a task to provide grounded contexts that make an action more or less morally acceptable, along with commonsense rationales that justify the reasoning. To elicit high-quality task data, we take an iterative self-distillation approach that starts from a small amount of unstructured seed knowledge from GPT-3 and then alternates between (1) self-distillation from student models; (2) targeted filtering with a critic model trained by human judgment (to boost validity) and NLI (to boost diversity); (3) self-imitation learning (to amplify the desired data quality). This process yields a student model that produces defeasible contexts with improved validity, diversity, and defeasibility. From this model we distill a high-quality dataset, \delta-Rules-of-Thumb, of 1.2M entries of contextualizations and rationales for 115K defeasible moral actions rated highly by human annotators 85.9% to 99.8% of the time. Using \delta-RoT we obtain a final student model that wins over all intermediate student models by a notable margin.


title: A Review of Economic Incentives for Efficient Operation of Flexible Transmission

abstract: The growing penetration of renewable energy requires upgrades to the transmission network to ensure the deliverability of renewable generation. As an efficient alternative to transmission expansion, flexible transmission technologies, whose benefits have been widely studied, can alleviate transmission system congestion and enhance renewable energy integration. However, under the current market structure, investments for these technologies only receive a regulated rate of return, providing little to no incentive for efficient operation. Additionally, a regulated rate of return creates an incentive for building more transmission lines rather than efficient utilization of the existing system. Therefore, investments in flexible transmission technologies remain rather limited. To facilitate the deployment of flexible transmission, improve system efficiency, and accommodate renewable energy integration, a proper incentive structure for flexible transmission technologies, compatible with the current market design, is vital. This paper reviews the current market-based mechanisms for various flexible transmission technologies, including impedance control, dynamic line rating, and transmission switching. This review pinpoints current challenges of the market-based operation of flexible transmission and provides insights for future endeavors in designing efficient price signals for flexible transmission operation.


title: Off-Policy Evaluation for Large Action Spaces via Policy Convolution

abstract: Developing accurate off-policy estimators is crucial for both evaluating and optimizing for new policies. The main challenge in off-policy estimation is the distribution shift between the logging policy that generates data and the target policy that we aim to evaluate. Typically, techniques for correcting distribution shift involve some form of importance sampling. This approach results in unbiased value estimation but often comes with the trade-off of high variance, even in the simpler case of one-step contextual bandits. Furthermore, importance sampling relies on the common support assumption, which becomes impractical when the action space is large. To address these challenges, we introduce the Policy Convolution (PC) family of estimators. These methods leverage latent structure within actions -- made available through action embeddings -- to strategically convolve the logging and target policies. This convolution introduces a unique bias-variance trade-off, which can be controlled by adjusting the amount of convolution. Our experiments on synthetic and benchmark datasets demonstrate remarkable mean squared error (MSE) improvements when using PC, especially when either the action space or policy mismatch becomes large, with gains of up to 5 - 6 orders of magnitude over existing estimators.


title: Improved Dual-Output Step-Down Soft-Switching Current-Fed Push-Pull DC-DC Converter

abstract: Multi-port DC-DC converters are gaining more significance in modern power system environments by enabling the connection of multiple renewable energy sources, so the efficient operation of these converters is paramount. Soft switching methods increase efficiency in DC-DC converters and increase the reliability and lifespan of devices by relieving stress on components. This paper proposes a method for soft-switching of a dual-output step-down current-fed full-bridge push-pull DC-DC converter. The converter enables two independent outputs to supply different loads. The topology achieves zero-current switching on the primary side and zero-voltage switching on the secondary side, eliminating the need for active-clamp circuits and passive snubbers to absorb surge voltage. This reduces switching losses and lower voltage and current stresses on power electronic devices. The paper thoroughly investigates the proposed converter's operation principle, control strategy, and characteristics. Equations for the voltage and current of all components are derived, and the conditions for achieving soft switching are calculated. Simulation results in EMTDC/PSCAD software validate the accuracy of the proposed method.


title: PromptInfuser: How Tightly Coupling AI and UI Design Impacts Designers' Workflows

abstract: Prototyping AI applications is notoriously difficult. While large language model (LLM) prompting has dramatically lowered the barriers to AI prototyping, designers are still prototyping AI functionality and UI separately. We investigate how coupling prompt and UI design affects designers' workflows. Grounding this research, we developed PromptInfuser, a Figma plugin that enables users to create semi-functional mockups, by connecting UI elements to the inputs and outputs of prompts. In a study with 14 designers, we compare PromptInfuser to designers' current AI-prototyping workflow. PromptInfuser was perceived to be significantly more useful for communicating product ideas, more capable of producing prototypes that realistically represent the envisioned artifact, more efficient for prototyping, and more helpful for anticipating UI issues and technical constraints. PromptInfuser encouraged iteration over prompt and UI together, which helped designers identify UI and prompt incompatibilities and reflect upon their total solution. Together, these findings inform future systems for prototyping AI applications.


title: VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses

abstract: Accompanying the successes of learning-based defensive software vulnerability analyses is the lack of large and quality sets of labeled vulnerable program samples, which impedes further advancement of those defenses. Existing automated sample generation approaches have shown potentials yet still fall short of practical expectations due to the high noise in the generated samples. This paper proposes VGX, a new technique aimed for large-scale generation of high-quality vulnerability datasets. Given a normal program, VGX identifies the code contexts in which vulnerabilities can be injected, using a customized Transformer featured with a new value-flowbased position encoding and pre-trained against new objectives particularly for learning code structure and context. Then, VGX materializes vulnerability-injection code editing in the identified contexts using patterns of such edits obtained from both historical fixes and human knowledge about real-world vulnerabilities. Compared to four state-of-the-art (SOTA) baselines (pattern-, Transformer-, GNN-, and pattern+Transformer-based), VGX achieved 99.09-890.06% higher F1 and 22.45%-328.47% higher label accuracy. For in-the-wild sample production, VGX generated 150,392 vulnerable samples, from which we randomly chose 10% to assess how much these samples help vulnerability detection, localization, and repair. Our results show SOTA techniques for these three application tasks achieved 19.15-330.80% higher F1, 12.86-19.31% higher top-10 accuracy, and 85.02-99.30% higher top-50 accuracy, respectively, by adding those samples to their original training data. These samples also helped a SOTA vulnerability detector discover 13 more real-world vulnerabilities (CVEs) in critical systems (e.g., Linux kernel) that would be missed by the original model.


title: Ultrabroadband, high color purity multispectral color filter arrays

abstract: Multispectral imagers that capture spatial and spectral information are of growing importance in various fields, particularly in remote sensing and metrology. To enable integrated snapshot multispectral imagers and eliminate the drawbacks of traditional systems, such as bulkiness and slow scanning mechanisms, miniature, broadband multispectral filter arrays with narrow line widths, high transmission, and CMOS compatibility are essential. However, current miniature filter arrays, primarily based on diffraction nanostructures, suffer from limitations such as small working bandwidth, low transmission, poor color purity, and sensitivity to polarization and incident angles. To address these challenges, we present a high-order Fabry-Perot Multispectral Filter Array (MSFA) with selective peak suppression, leveraging subwavelength structures for filter tuning without changing the physical thickness and employing an ultrathin metal layer to exploit high-order resonances, significantly extending the working range and spectral resolution. High color purity across a broad range (400nm-1000nm) is made possible through optical absorption from polysilicon and selective suppression from a platinum layer. The fabricated color filter arrays cover wavelengths from 622nm to 960nm, with Full Width Half Maximum (FWHM) ranging from 13nm to 31nm and average transmissions exceeding 60%. Furthermore, these filters can be downscaled to sizes compatible with modern CMOS imagers, reaching dimensions as small as 1um. The introduction of a resonance combining design further extends the working range (455nm-960nm), aligning with the capabilities of silicon photodetectors. Its adaptability across wavelength ranges and potential for tunable applications hold promise for transformative imaging and display technologies across a wide spectrum.


title: Mixing Time of the Overlapping Cycles Shuffle

abstract: In each step of the overlapping cycles shuffle on $n$ cards, a fair coin is flipped which determines whether the $m$th card or the $n$th card is moved to the top of the deck. Angel, Peres, and Wilson showed the following interesting fact: If $m = \lfloor \alpha n \rfloor$ where $\alpha$ is rational, then the relaxation time of a single card in the overlapping cycles shuffle is $\theta(n^2)$. However if $\alpha$ is the golden ratio, then the relaxation time of a single card is $\theta(n^\frac{3}{2})$. We show that the mixing time of the entire deck under the overlapping cycles shuffle matches these bounds up to a factor of $\log(n)^3$. That is, the mixing time of the entire deck is $O(n^2 \log(n)^3)$ if $\alpha$ is rational and $O(n^\frac{3}{2} \log(n)^3)$ if $\alpha$ is the golden ratio.


title: K-HATERS: A Hate Speech Detection Corpus in Korean with Target-Specific Ratings

abstract: Numerous datasets have been proposed to combat the spread of online hate. Despite these efforts, a majority of these resources are English-centric, primarily focusing on overt forms of hate. This research gap calls for developing high-quality corpora in diverse languages that also encapsulate more subtle hate expressions. This study introduces K-HATERS, a new corpus for hate speech detection in Korean, comprising approximately 192K news comments with target-specific offensiveness ratings. This resource is the largest offensive language corpus in Korean and is the first to offer target-specific ratings on a three-point Likert scale, enabling the detection of hate expressions in Korean across varying degrees of offensiveness. We conduct experiments showing the effectiveness of the proposed corpus, including a comparison with existing datasets. Additionally, to address potential noise and bias in human annotations, we explore a novel idea of adopting the Cognitive Reflection Test, which is widely used in social science for assessing an individual's cognitive ability, as a proxy of labeling quality. Findings indicate that annotations from individuals with the lowest test scores tend to yield detection models that make biased predictions toward specific target groups and are less accurate. This study contributes to the NLP research on hate speech detection and resource construction. The code and dataset can be accessed at https://github.com/ssu-humane/K-HATERS.


title: Learning Dynamics in Linear VAE: Posterior Collapse Threshold, Superfluous Latent Space Pitfalls, and Speedup with KL Annealing

abstract: Variational autoencoders (VAEs) face a notorious problem wherein the variational posterior often aligns closely with the prior, a phenomenon known as posterior collapse, which hinders the quality of representation learning. To mitigate this problem, an adjustable hyperparameter $\beta$ and a strategy for annealing this parameter, called KL annealing, are proposed. This study presents a theoretical analysis of the learning dynamics in a minimal VAE. It is rigorously proved that the dynamics converge to a deterministic process within the limit of large input dimensions, thereby enabling a detailed dynamical analysis of the generalization error. Furthermore, the analysis shows that the VAE initially learns entangled representations and gradually acquires disentangled representations. A fixed-point analysis of the deterministic process reveals that when $\beta$ exceeds a certain threshold, posterior collapse becomes inevitable regardless of the learning period. Additionally, the superfluous latent variables for the data-generative factors lead to overfitting of the background noise; this adversely affects both generalization and learning convergence. The analysis further unveiled that appropriately tuned KL annealing can accelerate convergence.

categories: stat.ML cond-mat.dis-nn cs.LG math.ST stat.TH


title: Convergence rate of algorithms for solving linear equations by quantum annealing

abstract: We consider various iterative algorithms for solving the linear equation $ax=b$ using a quantum computer operating on the principle of quantum annealing. Assuming that the computer's output is described by the Boltzmann distribution, it is shown under which conditions the equation-solving algorithms converge, and an estimate of their convergence rate is provided. The application of this approach to algorithms using both an infinite number of qubits and a small number of qubits is discussed.


title: Direct measurements of cosmic rays and their possible interpretations

abstract: The last two decades have brought spectacular advances in astrophysics of cosmic rays (CRs) and space- and ground-based astronomy. Launches of missions that employ forefront detector technologies enabled measurements with large effective areas, wide fields of view, and precision that we recently could not even dream of. Meanwhile, interpretation of the individual slices of information about the internal working of the Milky Way provided by such experiments poses challenges to the traditional astrophysical models. New mysteries arise in the composition and spectra of CR species at low and high energies, in the energy range where we thought the main features were already understood fairly well. This accumulation of unsolved puzzles highlights the peculiarity of the current epoch and means that major breakthroughs are still ahead. In my talk, I review the current state of direct measurements of CRs and discuss their possible interpretations. Unfortunately, many important ideas and publications are not discussed here due to the space limitations.


title: Special Lagrangian pair of pants

abstract: We construct special Lagrangian pair of pants in general dimensions, inside the cotangent bundle of $T^n$ with the Euclidean structure.


title: Fast Propagation is Better: Accelerating Single-Step Adversarial Training via Sampling Subnetworks

abstract: Adversarial training has shown promise in building robust models against adversarial examples. A major drawback of adversarial training is the computational overhead introduced by the generation of adversarial examples. To overcome this limitation, adversarial training based on single-step attacks has been explored. Previous work improves the single-step adversarial training from different perspectives, e.g., sample initialization, loss regularization, and training strategy. Almost all of them treat the underlying model as a black box. In this work, we propose to exploit the interior building blocks of the model to improve efficiency. Specifically, we propose to dynamically sample lightweight subnetworks as a surrogate model during training. By doing this, both the forward and backward passes can be accelerated for efficient adversarial training. Besides, we provide theoretical analysis to show the model robustness can be improved by the single-step adversarial training with sampled subnetworks. Furthermore, we propose a novel sampling strategy where the sampling varies from layer to layer and from iteration to iteration. Compared with previous methods, our method not only reduces the training cost but also achieves better model robustness. Evaluations on a series of popular datasets demonstrate the effectiveness of the proposed FB-Better. Our code has been released at https://github.com/jiaxiaojunQAQ/FP-Better.


title: A DPLL Procedure with Dichotomous Branching for Propositional Product Logic

abstract: The propositional product logic is one of the basic fuzzy logics with continuous t-norms, exploiting the multiplication t-norm on the unit interval [0,1]. Our aim is to combine well-established automated deduction (theorem proving) with fuzzy inference. As a first step, we devise a modification of the procedure of Davis, Putnam, Logemann, and Loveland (DPLL) with dichotomous branching inferring in the product logic. We prove that the procedure is refutation sound and finitely complete. As a consequence, solutions to the deduction, satisfiability, and validity problems will be proposed for the finite case. The presented results are applicable to a design of intelligent systems, exploiting some kind of multi-step fuzzy inference.


title: What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory

abstract: It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable.


title: DeepIron: Predicting Unwarped Garment Texture from a Single Image

abstract: Realistic reconstruction of 3D clothing from an image has wide applications, such as avatar creation and virtual try-on. This paper presents a novel framework that reconstructs the texture map for 3D garments from a single image with pose. Assuming that 3D garments are modeled by stitching 2D garment sewing patterns, our specific goal is to generate a texture image for the sewing patterns. A key component of our framework, the Texture Unwarper, infers the original texture image from the input clothing image, which exhibits warping and occlusion of texture due to the user's body shape and pose. The Texture Unwarper effectively transforms between the input and output images by mapping the latent spaces of the two images. By inferring the unwarped original texture of the input garment, our method helps reconstruct 3D garment models that can show high-quality texture images realistically deformed for new poses. We validate the effectiveness of our approach through a comparison with other methods and ablation studies.


title: An accelerated first-order regularized momentum descent ascent algorithm for stochastic nonconvex-concave minimax problems

abstract: Stochastic nonconvex minimax problems have attracted wide attention in machine learning, signal processing and many other fields in recent years. In this paper, we propose an accelerated first-order regularized momentum descent ascent algorithm (FORMDA) for solving stochastic nonconvex-concave minimax problems. The iteration complexity of the algorithm is proved to be $\tilde{\mathcal{O}}(\varepsilon ^{-6.5})$ to obtain an $\varepsilon$-stationary point, which achieves the best-known complexity bound for single-loop algorithms to solve the stochastic nonconvex-concave minimax problems under the stationarity of the objective function.


title: A relation between multiplicity of nonzero eigenvalues and the matching number of graph

abstract: Let $G$ be a graph with an adjacent matrix $A(G)$. The multiplicity of an arbitrary eigenvalue $\lambda$ of $A(G)$ is denoted by $m_\lambda(G)$. In \cite{Wong}, the author apply the Pater-Wiener Theorem to prove that if the diameter of $T$ at least $4$, then $m_\lambda(T)\leq \beta'(T)-1$ for any $\lambda\neq0$. Moreover, they characterized all trees with $m_\lambda(T)=\beta'(T)-1$, where $\beta'(G)$ is the induced matching number of $G$. In this paper, we intend to extend this result from trees to any connected graph. Contrary to the technique used in \cite{Wong}, we prove the following result mainly by employing algebraic methods: For any non-zero eigenvalue $\lambda$ of the connected graph $G$, $m_\lambda(G)\leq \beta'(G)+c(G)$, where $c(G)$ is the cyclomatic number of $G$, and the equality holds if and only if $G\cong C_3(a,a,a)$ or $G\cong C_5$, or a tree with the diameter is at most $3$. Furthermore, if $\beta'(G)\geq3$, we characterize all connected graphs with $m_\lambda(G)=\beta'(G)+c(G)-1$.


title: General Identifiability and Achievability for Causal Representation Learning

abstract: This paper focuses on causal representation learning (CRL) under a general nonparametric latent causal model and a general transformation model that maps the latent data to the observational data. It establishes identifiability and achievability results using two hard uncoupled interventions per node in the latent causal graph. Notably, one does not know which pair of intervention environments have the same node intervened (hence, uncoupled). For identifiability, the paper establishes that perfect recovery of the latent causal model and variables is guaranteed under uncoupled interventions. For achievability, an algorithm is designed that uses observational and interventional data and recovers the latent causal model and variables with provable guarantees. This algorithm leverages score variations across different environments to estimate the inverse of the transformer and, subsequently, the latent variables. The analysis, additionally, recovers the identifiability result for two hard coupled interventions, that is when metadata about the pair of environments that have the same node intervened is known. This paper also shows that when observational data is available, additional faithfulness assumptions that are adopted by the existing literature are unnecessary.


title: Critical dehydrogenation steps of perhydro-N-ethylcarbazole on Ru(0001) surface

abstract: Understanding of the critical atomistic steps during the dehydrogenation process of liquid organic hydrogen carriers (LOHCs) is important to the design of cost-efficient, high-performance LOHC catalysts. Based on the density functional theory (DFT) we studied the thermodynamics and kinetics of the complete dehydrogenation path of perhydro-N-ethylcarbazole (12H-NEC) on Ru(0001) surface, involving the adsorption of 12H-NEC, the discharge of H ions onto Ru surface, and the desorption of H2 and hydrogen-lean NEC. It was found that the bonding of nH-NEC is significantly strengthened for n $\le$ 4 because of the flat aromatic ring. Although the whole dehydrogenation process is endothermic, the release of H from nH-NEC, with H adsorbed onto the Ru surface, was found to be exothermic. The desorption of flat, hydrogen-lean NEC, which costs ~255 kJ/mol, was identified as the most energy demanding step. In addition, the effect of surface morphology on adsorption was studied based on an amorphous surface model. Overall, the results imply more efficient dehydrogenation could be achieved from relatively weak bonding of NEC to catalysts, either through engineering catalyst surface (such as surface defects or smaller catalyst particles) or different catalyst materials. Our calculations also revealed possible dealkylation at elevated temperatures.


title: Riesz type theorems for $\kappa$-pluriharmonic mappings, invariant harmonic quasiregular mappings and harmonic quasiregular mappings

abstract: The main purpose of this paper is to develop some methods to improve and generalize the main results in a recent paper by Liu and Zhu (Adv. Math., 2023, i.e., \cite{L-Z}). The paper consists of two parts. In the first part, we discuss the Riesz type theorem in the setting of $n$-dimensional complex spaces for all $n\geq 1$. In this part, we first introduce the family of $\kappa$-pluriharmonic mappings of the $n$-dimensional complex unit ball. Then we establish two Riesz type theorems for these mappings, which are the $n$-dimensional versions of Theorems 1.1 and 1.2 in \cite{L-Z}, respectively. Furthermore, even when $n=1$, our first result shows that the assumption of the real parts of the mappings not being negative (or being negative) in \cite[Theorem 1.1]{L-Z} is redundant; and our second result illustrates that the assumption of "quasiconformality" on the mappings in \cite[Theorem 1.2]{L-Z} can be replaced by the weaker one of "quasiregularity". In the second part, we investigate the Riesz type theorem in the setting of $n$-dimensional real spaces for all $n\geq 2$. In this part, first, we prove a Riesz type theorem for invariant harmonic quasiregular mappings of the unit $n$-dimensional real ball. Our result indicates that $(i)$ the range of the parameter $p$ discussed in \cite[Theorem 1.3]{L-Z} can be changed from $(1,2)$ to $(1,\infty)$; $(ii)$ the assumption of the first coordinate functions of the mappings being non-zero in \cite[Theorem 1.3]{L-Z} is redundant. In this way, we complete the discussions carried out in \cite[Theorems 1.3 and 1.4]{L-Z}. Second, we obtain a Riesz type theorem for harmonic $K$-quasiregular mappings of the unit $n$-dimensional real ball. Our result demonstrates that the range of the parameter $p$ discussed in \cite[Theorem 2.1]{K-2023} can be changed from $(1,2)$ to $(1,\infty)$.


title: On the finite energy classes of quaternionic plurisubharmonic functions

abstract: We investigate the finite $p$-energy classes $E_p$ of quaternionic plurisubharmonic functions of Cegrell type. We also construct an example to show that the optimal constant in the energy estimate is strictly bigger than $1$ for $p>0$, $p\neq 1$. This leads us to the fact that we can not use the variational method to solve the quaternionic Monge-Amp\`ere equation for the classes $E_p$ when $p>0$, $p\neq 1$.