title: Comparative analysis of graph randomization: Tools,methods, pitfalls, and best practices

abstract: Graph randomization techniques play a crucial role in network analysis, allowing researchers to assess the statistical significance of observed network properties and distinguish meaningful patterns from random fluctuations. In this survey we provide an overview of the graph randomization methods available in the most popular software tools for network analysis. We propose a comparative analysis of popular software tools to highlight their functionalities and limitations. Through case studies involving diverse graph types, we demonstrate how different randomization methods can lead to divergent conclusions, emphasizing the importance of careful method selection based on the characteristics of the observed network and the research question at hand. This survey proposes some guidelines for researchers and practitioners seeking to understand and utilize graph randomization techniques effectively in their network analysis projects.


title: Imaging Hot Photocarrier Transfer across a Semiconductor Heterojunction with Ultrafast Electron Microscopy

abstract: Semiconductor heterojunctions have gained significant attention for efficient optoelectronic devices owing to their unique interfaces and synergistic effects. Interaction between charge carriers with the heterojunction plays a crucial role in determining device performance, while its spatial-temporal mapping remains lacking. In this study, we employ scanning ultrafast electron microscopy (SUEM), an emerging technique that combines high spatial-temporal resolution and surface sensitivity, to investigate photocarrier dynamics across a Si/Ge heterojunction. Charge dynamics are selectively examined across the junction and compared to far bulk areas, through which the impact of the built-in potential, band offsets, and surface effects is directly visualized. In particular, we find that the heterojunction drastically modifies the hot photocarrier diffusivities by up to 300%. These findings are further elucidated with insights from the band structure and surface potential measured by complementary techniques. This work demonstrates the tremendous effect of heterointerfaces on charge dynamics and showcases the potential of SUEM in characterizing realistic devices.


title: The possibility of multi-TeV secondary gamma rays from GRB221009A

abstract: The brightest gamma ray burst (GRB) ever observed, GRB221009A, produced a surprisingly large flux of gamma rays with multi-TeV energies, which are expected to be absorbed in interactions with extragalactic background light (EBL). If the highest energy gamma rays were produced at the source, their spectral shape would have to exhibit a nonphysical spike even for the lowest levels of EBL. We show that, for widely accepted models of EBL, the data can be explained by secondary gamma rays produced in cosmic ray interactions along the line of sight, as long as the extragalactic magnetic fields (EGMFs) are $10^{-16}$G or smaller, assuming 1 Mpc correlation length. Our interpretation supports the widely held expectation that GRB jets can accelerate cosmic rays to energies as high as 10 EeV and above, and it has implications for understanding the magnitudes of EGMFs.


title: A fast and accurate inferential method for complex parametric models: the implicit bootstrap

abstract: Performing inference such a computing confidence intervals is traditionally done, in the parametric case, by first fitting a model and then using the estimates to compute quantities derived at the asymptotic level or by means of simulations such as the ones from the family of bootstrap methods. These methods require the derivation and computation of a consistent estimator that can be very challenging to obtain when the models are complex as is the case for example when the data exhibit some types of features such as censoring, missclassification errors or contain outliers. In this paper, we propose a simulation based inferential method, the implicit bootstrap, that bypasses the need to compute a consistent estimator and can therefore be easily implemented. While being transformation respecting, we show that under similar conditions as for the studentized bootstrap, without the need of a consistent estimator, the implicit bootstrap is first and second order accurate. Using simulation studies, we also show the coverage accuracy of the method with data settings for which traditional methods are computationally very involving and also lead to poor coverage, especially when the sample size is relatively small. Based on these empirical results, we also explore theoretically the case of exact inference.


title: Concavity and perturbed concavity for $p$-Laplace equations

abstract: In this paper we study convexity properties for quasilinear Lane-Emden-Fowler equations of the type $$ \begin{cases} -\Delta_p u = a(x) u^q & \quad \hbox{ in $\Omega$},\\ u >0 & \quad \hbox{ in $\Omega$}, \\ u =0 & \quad \hbox{ on $\partial \Omega$}, \end{cases} $$ when $\Omega \subset \mathbb{R}^N$ is a convex domain. In particular, in the subhomogeneous case $q \in [0,p-1]$, the solution $u$ inherits concavity properties from $a$ whenever assumed, while it is proved to be concave up to an error if $a$ is near to a constant. More general cases are also taken into account, including a wider class of nonlinearities. These results generalize some contained in [Kennington, Indiana Univ. Math. J., 1985] and [Sakaguchi, Ann. Sc. Norm. Super. Pisa, 1987]. Additionally, some results for the singular case $q \in [-1,0)$ and the superhomogeneous case $q>p-1$, $q \approx p-1$ are obtained. Some properties for the $p$-fractional Laplacian $(-\Delta)^s_p$, $s\in (0,1)$, $s \approx 1$, are shown as well. We highlight that some results are new even in the semilinear case $p=2$; in some of these cases, we deduce also uniqueness (and nondegeneracy) of the critical point of $u$.


title: Refined asymptotics for the Cauchy problem for the fast $p$-Laplace evolution equation

abstract: Our focus is on the fast diffusion equation $\partial_t u=\Delta_p u$ with $p<2$ in the whole Euclidean space of dimension $N\geq 2$. The properties of the solutions to the $p$-Laplace Cauchy problem change in several special values of the parameter $p$. In the range of $p$ when mass is conserved, non-negative and integrable solutions behave like the Barenblatt (or fundamental) solutions for large times. By making use of the entropy method, we establish the polynomial rates of the convergence in the uniform relative error for a natural class of initial data. The convergence was established in the literature for $p$ close to $2$, but no rates were available. In particular, we allow for the values of $p$, for which the entropy is not displacement convex, as we do not apply the optimal transportation tools. We approach the issue of long-term asymptotics of the gradients of solutions. In fact, in the case of the radial initial datum, we provide also polynomial rates of the uniform convergence in the relative error of radial derivatives of solutions for $\frac{2N}{N+2}<p<2$. Finally, providing an analysis of needed properties of solutions for the entropy method to work, we open the question on the full description of the basin of attraction of the Bareblatt solutions for $p$ close to $1$.


title: Differentiability of solutions for a degenerate fully nonlinear free transmission problem

abstract: We study a fully nonlinear free transmission problem in the presence of general degeneracy terms. Under minimal conditions on the degeneracy of the model, we establish the existence of viscosity solutions for the associated Dirichlet problem. Once the existence of solutions has been established, we focus on their regularity estimates. By imposing a Dini-continuity condition on the degeneracy laws involved in the model, we prove that viscosity solutions are locally differentiable.


title: Graphs with tranches: consequences for topology and dynamics

abstract: In this paper we compare quasi graphs and generalized $\sin(1/x)$-type continua - two classes that generalize topological graphs and contain the Warsaw circle as a non-trivial element. We show that neither class is the subset of the other, provide the characterization and present illustrative examples. We unify both approaches by considering the class of tranched graphs, connect it with objects found in literature and describe how the topological structure of its elements restricts possible dynamics.


title: Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations

abstract: Qualitative opacity of a secret is a security property, which means that a system trajectory satisfying the secret is observation-equivalent to a trajectory violating the secret. In this paper, we study how to synthesize a control policy that maximizes the probability of a secret being made opaque against an eavesdropping attacker/observer, while subject to other task performance constraints. In contrast to existing belief-based approach for opacity-enforcement, we develop an approach that uses the observation function, the secret, and the model of the dynamical systems to construct a so-called opaque-observations automaton which accepts the exact set of observations that enforce opacity. Leveraging this opaque-observations automaton, we can reduce the optimal planning in Markov decision processes(MDPs) for maximizing probabilistic opacity or its dual notion, transparency, subject to task constraints into a constrained planning problem over an augmented-state MDP. Finally, we illustrate the effectiveness of the developed methods in robot motion planning problems with opacity or transparency requirements.


title: Initialization is Critical to Whether Transformers Fit Composite Functions by Inference or Memorizing

abstract: Transformers have shown impressive capabilities across various tasks, but their performance on compositional problems remains a topic of debate. In this work, we investigate the mechanisms of how transformers behave on unseen compositional tasks. We discover that the parameter initialization scale plays a critical role in determining whether the model learns inferential solutions, which capture the underlying compositional primitives, or symmetric solutions, which simply memorize mappings without understanding the compositional structure. By analyzing the information flow and vector representations within the model, we reveal the distinct mechanisms underlying these solution types. We further find that inferential solutions exhibit low complexity bias, which we hypothesize is a key factor enabling them to learn individual mappings for single anchors. Building upon the understanding of these mechanisms, we can predict the learning behavior of models with different initialization scales when faced with data of varying complexity. Our findings provide valuable insights into the role of initialization scale in shaping the type of solution learned by transformers and their ability to learn and generalize compositional tasks.


title: Pulsar Timing Noise from Brownian Motion of the Sun

abstract: Recently, Pulsar Timing Arrays (PTAs) reported a signal at nanohertz frequencies consistent with a stochastic gravitational wave background. Here, I show that the Brownian motion of the Sun as a result of its random gravitational interactions with the cluster of thousands of unmodeled Main-belt asteroids of diameters <80km, combined with small inaccuracies in the estimated masses of larger asteroids, introduces timing noise for pulsars which is up to 20% of the reported signal at frequencies of ~1/(few-years). The asteroid contribution needs to be modeled better in order to obtain accurate inferences from the PTA signal.


title: Permalife Of The Archive: Archaeogaming As Queergaming

abstract: Archaeogaming and queer games studies have both grown as paradigms in the last decade. The former broadly refers to the archaeological study of games, while the later concerns the application of queer theory to the medium. To date, there has been limited engagement of archaeogamers with queer games scholarship, and vice versa. This article argues that there are epistomological parallels between the two; as they are both concerned with the limits and ethics of representation, the personal and political contexts of game development and engagement with video games through transgressive play. The paper is structured around an extended literature review and three vignettes that reflect on the author's personal experience of conducting archaeogaming research, an ethnographic study of Wurm Online, an archaeological survey of Elden Ring and a player study of the generative archaeology game Nothing Beside Remains. While archaeogaming can learn from the centring of subjective lived experience and labour in the queer games sphere, archaeogaming as a form of game preservation can also benefit queer games studies.


title: The Douglas question on the Bergman and Fock spaces

abstract: Let $\mu$ be a positive Borel measure and $T_\mu$ be the bounded Toeplitz operator induced by $\mu$ on the Bergman or Fock space. In this paper, we mainly investigate the invertibility of the Toeplitz operator $T_\mu$ and the Douglas question on the Bergman and Fock spaces. In the Bergman-space setting, we obtain several necessary and sufficient conditions for the invertibility of $T_\mu$ in terms of the Berezin transform of $\mu$ and the reverse Carleson condition in two classical cases: (1) $\mu$ is absolutely continuous with respect to the normalized area measure on the open unit disk $\mathbb D$; (2) $\mu$ is the pull-back measure of the normalized area measure under an analytic self-mapping of $\mathbb D$. Nonetheless, we show that there exists a Carleson measure for the Bergman space such that its Berezin transform is bounded below but the corresponding Toeplitz operator is not invertible. On the Fock space, we show that $T_\mu$ is invertible if and only if $\mu$ is a reverse Carleson measure, but the invertibility of $T_\mu$ is not completely determined by the invertibility of the Berezin transform of $\mu$. These suggest that the answers to the Douglas question for Toeplitz operators induced by positive measures on the Bergman and Fock spaces are both negative in general cases.


title: Digital Evolution: Novo Nordisk's Shift to Ontology-Based Data Management

abstract: Biomedical data is growing exponentially, and managing it is increasingly challenging. While Findable, Accessible, Interoperable and Reusable (FAIR) data principles provide guidance, their adoption has proven difficult, especially in larger enterprises like pharmaceutical companies. In this manuscript, we describe how we leverage an Ontology-Based Data Management (OBDM) strategy for digital transformation in Novo Nordisk Research & Early Development. Here, we include both our technical blueprint and our approach for organizational change management. We further discuss how such an OBDM ecosystem plays a pivotal role in the organizations digital aspirations for data federation and discovery fuelled by artificial intelligence. Our aim for this paper is to share the lessons learned in order to foster dialogue with parties navigating similar waters while collectively advancing the efforts in the fields of data management, semantics and data driven drug discovery.


title: Power spectrum multipoles and clustering wedges during the Epoch of Reionization

abstract: We study the viability of using power spectrum clustering wedges as summary statistics of 21cm surveys during the Epoch of Reionization (EoR). For observations along a large lightcone $z\sim 7-9$, the power spectrum is subject to large anisotropic effects due to the evolution along the light-of-sight. Information on the physics of reionization can be extracted from the anisotropy using the power spectrum multipoles. Signals of the power spectrum monopole are highly correlated at scales smaller than the typical ionization bubble, which can be disentangled by including higher-order multipoles. By simulating observations of the low frequency part of the SKA Observatory, we find that the sampling of the cylindrical wavenumber $k$-space is highly non-uniform due to the baseline distribution. Measurements in clustering wedges can be used for isolating parts of $k$-space with relatively uniform sampling, allowing for more precise parameter inference. Using Fisher Matrix forecasts, we find that the reionization model can be inferred with per-cent level precision with $\sim 120$hrs of integration time using SKA-Low. Comparing to using only the power spectrum monopole above the foreground wedge, model inference using multipole power spectra in clustering wedges yields a factor of $\sim 3$ improvement on parameter constraints.


title: Local minima in Newton's aerodynamical problem and inequalities between norms of partial derivatives

abstract: The problem considered first by I. Newton (1687) consists in finding a surface of the minimal frontal resistance in a parallel flow of non-interacting point particles. The standard formulation assumes that the surface is convex with a given convex base $\Omega$ and a bounded altitude. Newton found the solution for surfaces of revolution. Without this assumption the problem is still unsolved, although many important results have been obtained in the last decades. We consider the problem to characterize the domains $\Omega$ for which the flat surface gives a local minimum. We show that this problem can be reduced to an inequality between $L_2$-norms of partial derivatives for bivariate concave functions on a convex domain that vanish on the boundary. Can the ratio between those norms be arbitrarily large? The answer depends on the geometry of the domain. A complete criterion is derived, which also solves the local minimality problem.


title: Many-time physics in practice: characterising and controlling non-Markovian quantum stochastic processes

abstract: Every year, substantial theoretical and experimental progress is made towards the realisation of a genuinely new computational paradigm in the construction of a quantum computer. But progress is fractal; to make headway is to unearth the next set of obstacles. Decades of work has so far overcome physical, mathematical, engineering, and information theoretic obstacles to produce the remarkable high-fidelity devices we see today. But these devices must be near perfect to be useful. Indeed, advancements so far have precipitated sensitivity to a host of complex dynamical and control-based effects. Chief among these today are non-Markovian memory effects, where interactions between a quantum system and its surrounding environment can give rise to multi-time correlations. In this thesis, we address this issue and formally present a generalisation of quantum process tomography, called process tensor tomography (PTT). This establishes the ability to rigorously and systematically characterise non-Markovian open quantum systems, resolving many long-standing issues in the field. In the first part of this work, we present an original review of the literature and motivate the problem at hand. In the second, we develop the framework of PTT, including experiment design, post-processing algorithms, and both simulated and near-term device demonstrations. In particular, we demonstrate this as a tool for obtaining in-depth diagnostics about the nature and origin of temporal quantum correlations. Lastly, we dedicate our efforts to efficiency and self-consistency. To this effect, we explore theoretically processes with sparse memory structures. We then leverage this to develop various efficient estimation techniques tailored for different settings. The result is a robust and lightweight framework capable of both reconstructing and optimally controlling any non-Markovian open quantum dynamics.


title: Fishing for Magikarp: Automatically Detecting Under-trained Tokens in Large Language Models

abstract: The disconnect between tokenizer creation and model training in language models has been known to allow for certain inputs, such as the infamous SolidGoldMagikarp token, to induce unwanted behaviour. Although such `glitch tokens' that are present in the tokenizer vocabulary, but are nearly or fully absent in training, have been observed across a variety of different models, a consistent way of identifying them has been missing. We present a comprehensive analysis of Large Language Model (LLM) tokenizers, specifically targeting this issue of detecting untrained and under-trained tokens. Through a combination of tokenizer analysis, model weight-based indicators, and prompting techniques, we develop effective methods for automatically detecting these problematic tokens. Our findings demonstrate the prevalence of such tokens across various models and provide insights into improving the efficiency and safety of language models.


title: Mitigating Exaggerated Safety in Large Language Models

abstract: As the popularity of Large Language Models (LLMs) grow, combining model safety with utility becomes increasingly important. The challenge is making sure that LLMs can recognize and decline dangerous prompts without sacrificing their ability to be helpful. The problem of "exaggerated safety" demonstrates how difficult this can be. To reduce excessive safety behaviours -- which was discovered to be 26.1% of safe prompts being misclassified as dangerous and refused -- we use a combination of XSTest dataset prompts as well as interactive, contextual, and few-shot prompting to examine the decision bounds of LLMs such as Llama2, Gemma Command R+, and Phi-3. We find that few-shot prompting works best for Llama2, interactive prompting works best Gemma, and contextual prompting works best for Command R+ and Phi-3. Using a combination of these prompting strategies, we are able to mitigate exaggerated safety behaviors by an overall 92.9% across all LLMs. Our work presents a multiple prompting strategies to jailbreak LLMs' decision-making processes, allowing them to navigate the tight line between refusing unsafe prompts and remaining helpful.


title: Decompounding Under General Mixing Distributions

abstract: This study focuses on statistical inference for compound models of the form $X=\xi_1+\ldots+\xi_N$, where $N$ is a random variable denoting the count of summands, which are independent and identically distributed (i.i.d.) random variables $\xi_1, \xi_2, \ldots$. The paper addresses the problem of reconstructing the distribution of $\xi$ from observed samples of $X$'s distribution, a process referred to as decompounding, with the assumption that $N$'s distribution is known. This work diverges from the conventional scope by not limiting $N$'s distribution to the Poisson type, thus embracing a broader context. We propose a nonparametric estimate for the density of $\xi$, derive its rates of convergence and prove that these rates are minimax optimal for suitable classes of distributions for $\xi$ and $N$. Finally, we illustrate the numerical performance of the algorithm on simulated examples.


title: The Power of Absence: Thinking with Archival Theory in Algorithmic Design

abstract: This paper explores the value of archival theory as a means of grappling with bias in algorithmic design. Rather than seek to mitigate biases perpetuated by datasets and algorithmic systems, archival theory offers a reframing of bias itself. Drawing on a range of archival theory from the fields of history, literary and cultural studies, Black studies, and feminist STS, we propose absence-as power, presence, and productive-as a concept that might more securely anchor investigations into the causes of algorithmic bias, and that can prompt more capacious, creative, and joyful future work. This essay, in turn, can intervene into the technical as well as the social, historical, and political structures that serve as sources of bias.


title: Computing almost commuting bases of ODOs and Gelfand-Dikey hierarchies

abstract: Almost commuting operators were introduced in 1985 by George Wilson to present generalizations the Korteweg-de Vries hierarchy, nowadays known as Gelfand-Dikey (GD) hierarchies. In this paper, we review the formal construction of the vector space of almost commuting operators with a given ordinary differential operator (ODO), with the ultimate goal of obtaining a basis by computational routines, using the language of differential polynomials. We use Wilson's results on weigheted ODOs to guarantee the solvability of the triangular system that allows to compute the homogeneous almost commuting operator of a given order in the ring of ODOs. As a consequence the computation of the equations of the GD hierarchies is obtained without using pseudo-differential operators. The algorithms to calculate the almost commuting basis and the GD hierarchies in the ring of ODOs are implemented in SageMath, and explicit examples are provided.


title: EarthMatch: Iterative Coregistration for Fine-grained Localization of Astronaut Photography

abstract: Precise, pixel-wise geolocalization of astronaut photography is critical to unlocking the potential of this unique type of remotely sensed Earth data, particularly for its use in disaster management and climate change research. Recent works have established the Astronaut Photography Localization task, but have either proved too costly for mass deployment or generated too coarse a localization. Thus, we present EarthMatch, an iterative homography estimation method that produces fine-grained localization of astronaut photographs while maintaining an emphasis on speed. We refocus the astronaut photography benchmark, AIMS, on the geolocalization task itself, and prove our method's efficacy on this dataset. In addition, we offer a new, fair method for image matcher comparison, and an extensive evaluation of different matching models within our localization pipeline. Our method will enable fast and accurate localization of the 4.5 million and growing collection of astronaut photography of Earth. Webpage with code and data at https://earthloc-and-earthmatch.github.io


title: Comparative Analysis of Single Charged Particle Production in Proton-Carbon Interactions at High Energies

abstract: The generation of charged pions, kaons, and protons from proton beam incident on Carbon at 31 GeV/c is calculated and compared with the results of the NA61/SHINE experiment. Predictions of the single charged particle yield by proton off the Carbon target is calculated using the Giessen Boltzmann-Uehling-Uhlenbeck (GiBUU) model and compared with the recent data of the EMPHATIC hadron scattering and production experiment for incident proton beam energies of 20, 30, and 120 GeV/c within $\pm$20 mrad with respect to the beam particle. We present the analysis for the single and double differential cross-sections for the produced particles at various scattering angles and conduct a comprehensive comparison with the experimental data. These studies show significant agreement with the measured data.


title: Latent Variable Double Gaussian Process Model for Decoding Complex Neural Data

abstract: Non-parametric models, such as Gaussian Processes (GP), show promising results in the analysis of complex data. Their applications in neuroscience data have recently gained traction. In this research, we introduce a novel neural decoder model built upon GP models. The core idea is that two GPs generate neural data and their associated labels using a set of low-dimensional latent variables. Under this modeling assumption, the latent variables represent the underlying manifold or essential features present in the neural data. When GPs are trained, the latent variable can be inferred from neural data to decode the labels with a high accuracy. We demonstrate an application of this decoder model in a verbal memory experiment dataset and show that the decoder accuracy in predicting stimulus significantly surpasses the state-of-the-art decoder models. The preceding performance of this model highlights the importance of utilizing non-parametric models in the analysis of neuroscience data.


title: Identifying stable communities in Hi-C data using a multifractal null model

abstract: Chromosome capture techniques like Hi-C have expanded our understanding of mammalian genome 3D architecture and how it influences gene activity. To analyze Hi-C data sets, researchers increasingly treat them as DNA-contact networks and use standard community detection techniques to identify mesoscale 3D communities. However, there are considerable challenges in finding significant communities because the Hi-C networks have cross-scale interactions and are almost fully connected. This paper presents a pipeline to distil 3D communities that remain intact under experimental noise. To this end, we bootstrap an ensemble of Hi-C datasets representing noisy data and extract 3D communities that we compare with the unperturbed dataset. Notably, we extract the communities by maximizing local modularity (using the Generalized Louvain method), which considers the multifractal spectrum recently discovered in Hi-C maps. Our pipeline finds that stable communities (under noise) typically have above-average internal contact frequencies and tend to be enriched in active chromatin marks. We also find they fold into more nested cross-scale hierarchies than less stable ones. Apart from presenting how to systematically extract robust communities in Hi-C data, our paper offers new ways to generate null models that take advantage of the network's multifractal properties. We anticipate this has a broad applicability to several network applications.


title: ATLS: Automated Trailer Loading for Surface Vessels

abstract: Automated docking technologies of marine boats have been enlightened by an increasing number of literature. This paper contributes to the literature by proposing a mathematical framework that automates "trailer loading" in the presence of wind disturbances, which is unexplored despite its importance to boat owners. The comprehensive pipeline of localization, system identification, and trajectory optimization is structured, followed by several techniques to improve performance reliability. The performance of the proposed method was demonstrated with a commercial pontoon boat in Michigan, in 2023, securing a success rate of 80\% in the presence of perception errors and wind disturbance. This result indicates the strong potential of the proposed pipeline, effectively accommodating the wind effect.


title: Chiral Magnetic Effect in Heavy Ion Collisions: The Present and Future

abstract: The chiral magnetic effect (CME) is a collective quantum phenomenon that arises from the interplay between gauge field topology and fermion chiral anomaly, encompassing a wide range of physical systems from semimetals to quark-gluon plasma. This review, with a focus on CME and related effects in heavy ion collisions, aims to provide an introductory discussion on its conceptual foundation and measurement methodology, a timely update on the present status in terms of experimental findings and theoretical progress, as well as an outlook into the open problems and future developments.


title: Adversary-Guided Motion Retargeting for Skeleton Anonymization

abstract: Skeleton-based motion visualization is a rising field in computer vision, especially in the case of virtual reality (VR). With further advancements in human-pose estimation and skeleton extracting sensors, more and more applications that utilize skeleton data have come about. These skeletons may appear to be anonymous but they contain embedded personally identifiable information (PII). In this paper we present a new anonymization technique that is based on motion retargeting, utilizing adversary classifiers to further remove PII embedded in the skeleton. Motion retargeting is effective in anonymization as it transfers the movement of the user onto the a dummy skeleton. In doing so, any PII linked to the skeleton will be based on the dummy skeleton instead of the user we are protecting. We propose a Privacy-centric Deep Motion Retargeting model (PMR) which aims to further clear the retargeted skeleton of PII through adversarial learning. In our experiments, PMR achieves motion retargeting utility performance on par with state of the art models while also reducing the performance of privacy attacks.


title: How Inverse Conditional Flows Can Serve as a Substitute for Distributional Regression

abstract: Neural network representations of simple models, such as linear regression, are being studied increasingly to better understand the underlying principles of deep learning algorithms. However, neural representations of distributional regression models, such as the Cox model, have received little attention so far. We close this gap by proposing a framework for distributional regression using inverse flow transformations (DRIFT), which includes neural representations of the aforementioned models. We empirically demonstrate that the neural representations of models in DRIFT can serve as a substitute for their classical statistical counterparts in several applications involving continuous, ordered, time-series, and survival outcomes. We confirm that models in DRIFT empirically match the performance of several statistical methods in terms of estimation of partial effects, prediction, and aleatoric uncertainty quantification. DRIFT covers both interpretable statistical models and flexible neural networks opening up new avenues in both statistical modeling and deep learning.


title: Towards Invariant Time Series Forecasting in Smart Cities

abstract: In the transformative landscape of smart cities, the integration of the cutting-edge web technologies into time series forecasting presents a pivotal opportunity to enhance urban planning, sustainability, and economic growth. The advancement of deep neural networks has significantly improved forecasting performance. However, a notable challenge lies in the ability of these models to generalize well to out-of-distribution (OOD) time series data. The inherent spatial heterogeneity and domain shifts across urban environments create hurdles that prevent models from adapting and performing effectively in new urban environments. To tackle this problem, we propose a solution to derive invariant representations for more robust predictions under different urban environments instead of relying on spurious correlation across urban environments for better generalizability. Through extensive experiments on both synthetic and real-world data, we demonstrate that our proposed method outperforms traditional time series forecasting models when tackling domain shifts in changing urban environments. The effectiveness and robustness of our method can be extended to diverse fields including climate modeling, urban planning, and smart city resource management.


title: Searching for Programmatic Policies in Semantic Spaces

abstract: Syntax-guided synthesis is commonly used to generate programs encoding policies. In this approach, the set of programs, that can be written in a domain-specific language defines the search space, and an algorithm searches within this space for programs that encode strong policies. In this paper, we propose an alternative method for synthesizing programmatic policies, where we search within an approximation of the language's semantic space. We hypothesized that searching in semantic spaces is more sample-efficient compared to syntax-based spaces. Our rationale is that the search is more efficient if the algorithm evaluates different agent behaviors as it searches through the space, a feature often missing in syntax-based spaces. This is because small changes in the syntax of a program often do not result in different agent behaviors. We define semantic spaces by learning a library of programs that present different agent behaviors. Then, we approximate the semantic space by defining a neighborhood function for local search algorithms, where we replace parts of the current candidate program with programs from the library. We evaluated our hypothesis in a real-time strategy game called MicroRTS. Empirical results support our hypothesis that searching in semantic spaces can be more sample-efficient than searching in syntax-based spaces.


title: 2D ferroelectrics and ferroelectrics with 2D: materials and device prospects

abstract: Ferroelectric and two-dimensional materials are both heavily investigated classes of electronic materials. This is unsurprising since they both have superlative fundamental properties and high-value applications in computing, sensing etc. In this Perspective, we investigate the research topics where 2D semiconductors and ferroelectric materials both in 2D or 3D form come together. 2D semiconductors have unique attributes due to their van der Waals nature that permits their facile integration with any other electronic or optical materials. In addition, the emergence of ferroelectricity in 2D monolayers, multilayers, and artificial structures offers further advantages since traditionally ferroelectricity has been difficult to achieve in extremely thickness scaled materials. In this perspective, we elaborate on the applications of 2D materials + ferroelectricity in non-volatile memory devices highlighting their potential for in-memory computing, neuromorphic computing, optoelectronics, and spintronics. We also suggest the challenges posed by both ferroelectrics and 2D materials, including material/device preparation, and reliable characterizations to drive further investigations at the interface of these important classes of electronic materials.


title: Robust Reward Placement under Uncertainty

abstract: We consider a problem of placing generators of rewards to be collected by randomly moving agents in a network. In many settings, the precise mobility pattern may be one of several possible, based on parameters outside our control, such as weather conditions. The placement should be robust to this uncertainty, to gain a competent total reward across possible networks. To study such scenarios, we introduce the Robust Reward Placement problem (RRP). Agents move randomly by a Markovian Mobility Model with a predetermined set of locations whose connectivity is chosen adversarially from a known set $\Pi$ of candidates. We aim to select a set of reward states within a budget that maximizes the minimum ratio, among all candidates in $\Pi$, of the collected total reward over the optimal collectable reward under the same candidate. We prove that RRP is NP-hard and inapproximable, and develop $\Psi$-Saturate, a pseudo-polynomial time algorithm that achieves an $\epsilon$-additive approximation by exceeding the budget constraint by a factor that scales as $O(\ln |\Pi|/\epsilon)$. In addition, we present several heuristics, most prominently one inspired by a dynamic programming algorithm for the max-min 0-1 KNAPSACK problem. We corroborate our theoretical analysis with an experimental evaluation on synthetic and real data.


title: Pressure and convection robust Finite Elements for Magnetohydrodynamics

abstract: We propose and analyze two convection quasi-robust and pressure robust finite element methods for a fully nonlinear time-dependent magnetohydrodynamics problem. The schemes make use of suitable upwind and CIP stabilizations to handle the fluid and magnetic convective terms. The developed error estimates are uniform in both diffusion parameters and optimal with respect to the diffusive norm; furthermore, for the second (more complex) method we are able to show a quicker error reduction rate in convection dominated regimes. A set of numerical tests support our theoretical findings.


title: Analysis and prevention of AI-based phishing email attacks

abstract: Phishing email attacks are among the most common and most harmful cybersecurity attacks. With the emergence of generative AI, phishing attacks can be based on emails generated automatically, making it more difficult to detect them. That is, instead of a single email format sent to a large number of recipients, generative AI can be used to send each potential victim a different email, making it more difficult for cybersecurity systems to identify the scam email before it reaches the recipient. Here we describe a corpus of AI-generated phishing emails. We also use different machine learning tools to test the ability of automatic text analysis to identify AI-generated phishing emails. The results are encouraging, and show that machine learning tools can identify an AI-generated phishing email with high accuracy compared to regular emails or human-generated scam email. By applying descriptive analytic, the specific differences between AI-generated emails and manually crafted scam emails are profiled, and show that AI-generated emails are different in their style from human-generated phishing email scams. Therefore, automatic identification tools can be used as a warning for the user. The paper also describes the corpus of AI-generated phishing emails that is made open to the public, and can be used for consequent studies. While the ability of machine learning to detect AI-generated phishing email is encouraging, AI-generated phishing emails are different from regular phishing emails, and therefore it is important to train machine learning systems also with AI-generated emails in order to repel future phishing attacks that are powered by generative AI.


title: On the approximation properties of fast Leja points

abstract: Fast Leja points on an interval are points constructed using a discrete modification of the algorithm for constructing Leja points. Not much about fast Leja points has been proven theoretically. We present an asymptotic property of a triangular interpolation array, and under the assumption that fast Leja points satisfy this property, we prove that they are good for Lagrange interpolation.


title: Measurement of Coherent Vibrational Dynamics with X-ray Transient Absorption Spectroscopy Simultaneously at the Carbon K- and Chlorine L$_{2,3}$- Edges

abstract: X-ray Transient Absorption Spectroscopy near the carbon K-edge (1s, $\sim$ 285 eV) and chlorine L$_{2,3}$ edges (2p, $\sim$ 200 eV) is used to study the nuclear dynamics of CCl$_4$ vibrationally activated by impulsive stimulated Raman scattering with a few-cycle 800 nm pump pulse. The totally symmetric stretching mode leads to a strong response in the inner-shell spectra, with the concerted elongation (contraction) in bond lengths leading to a red (blue) shift in the X-ray absorption energies associated with core-to-antibonding excitations. The relative slopes of the potential energy surfaces associated with the relevant core-excited states along the symmetric stretching mode are experimentally measured and compared to results from restricted open-shell Kohn-Sham calculations. A combination of experiment and theory indicates that the slope of the core-excited potential energy surface vs totally symmetric bond elongation is $-11.1 \pm 0.8$ eV/{\AA} for the Cl 2p$\to7a_1^*$ excitation, $-9.0\pm0.6$ eV/{\AA} for the Cl 2p$\to8t_2^*$ excitation and $-5.2\pm 0.4$ eV/{\AA} for the C 1s$\to8t_2^*$ excitation, to 95% confidence. The much larger slopes for the Cl 2p excitations compared to the C 1s state are attributed to greater contributions from Cl to the $7a_1^*$ or $8t_2^*$ antibonding orbitals to which the inner-shell electrons are being excited. No net displacement of the center of the vibrational wavefunction along the other vibrational modes is induced by the pump pulse, leading to absence of transient signal. The results highlight the ability of X-ray Transient Absorption Spectroscopy to reveal nuclear dynamics involving tiny ($<0.01$ {\AA}) atomic displacements and also provide direct measurement of forces on core-excited potential energy surfaces.


title: Information Extraction from Historical Well Records Using A Large Language Model

abstract: To reduce environmental risks and impacts from orphaned wells (abandoned oil and gas wells), it is essential to first locate and then plug these wells. Although some historical documents are available, they are often unstructured, not cleaned, and outdated. Additionally, they vary widely by state and type. Manual reading and digitizing this information from historical documents are not feasible, given the high number of wells. Here, we propose a new computational approach for rapidly and cost-effectively locating these wells. Specifically, we leverage the advanced capabilities of large language models (LLMs) to extract vital information including well location and depth from historical records of orphaned wells. In this paper, we present an information extraction workflow based on open-source Llama 2 models and test them on a dataset of 160 well documents. Our results show that the developed workflow achieves excellent accuracy in extracting location and depth from clean, PDF-based reports, with a 100% accuracy rate. However, it struggles with unstructured image-based well records, where accuracy drops to 70%. The workflow provides significant benefits over manual human digitization, including reduced labor and increased automation. In general, more detailed prompting leads to improved information extraction, and those LLMs with more parameters typically perform better. We provided a detailed discussion of the current challenges and the corresponding opportunities/approaches to address them. Additionally, a vast amount of geoscientific information is locked up in old documents, and this work demonstrates that recent breakthroughs in LLMs enable us to unlock this information more broadly.


title: How Generalizable Is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance Evaluation

abstract: With the rise of stochastic generative models in robot policy learning, end-to-end visuomotor policies are increasingly successful at solving complex tasks by learning from human demonstrations. Nevertheless, since real-world evaluation costs afford users only a small number of policy rollouts, it remains a challenge to accurately gauge the performance of such policies. This is exacerbated by distribution shifts causing unpredictable changes in performance during deployment. To rigorously evaluate behavior cloning policies, we present a framework that provides a tight lower-bound on robot performance in an arbitrary environment, using a minimal number of experimental policy rollouts. Notably, by applying the standard stochastic ordering to robot performance distributions, we provide a worst-case bound on the entire distribution of performance (via bounds on the cumulative distribution function) for a given task. We build upon established statistical results to ensure that the bounds hold with a user-specified confidence level and tightness, and are constructed from as few policy rollouts as possible. In experiments we evaluate policies for visuomotor manipulation in both simulation and hardware. Specifically, we (i) empirically validate the guarantees of the bounds in simulated manipulation settings, (ii) find the degree to which a learned policy deployed on hardware generalizes to new real-world environments, and (iii) rigorously compare two policies tested in out-of-distribution settings. Our experimental data, code, and implementation of confidence bounds are open-source.


title: Unbiasing Fermionic Auxiliary-Field Quantum Monte Carlo with Matrix Product State Trial Wavefunctions

abstract: In this work, we report, for the first time, an implementation of fermionic auxiliary-field quantum Monte Carlo (AFQMC) using matrix product state (MPS) trial wavefunctions, dubbed MPS-AFQMC. Calculating overlaps between an MPS trial and arbitrary Slater determinants up to a multiplicative error, a crucial subroutine in MPS-AFQMC, is proven to be #P-hard. Nonetheless, we tested several promising heuristics in successfully improving fermionic phaseless AFQMC energies. We also proposed a way to evaluate local energy and force bias evaluations free of matrix-product operators. This allows for larger basis set calculations without significant overhead. We showcase the utility of our approach on one- and two-dimensional hydrogen lattices, even when the MPS trial itself struggles to obtain high accuracy. Our work offers a new set of tools that can solve currently challenging electronic structure problems with future improvements.


title: Insensitive edge solitons in non-Hermitian topological lattices

abstract: In this work, we demonstrate that the synergetic interplay of topology, nonreciprocity and nonlinearity is capable of unprecedented effects. We focus on a nonreciprocal variant of the Su-Shrieffer-Heeger chain with local Kerr nonlinearity. We find a continuous family of non-reciprocal edge solitons (NESs) emerging from the topological edge mode, with near-zero energy, in great contrast from their reciprocal counterparts. Analytical results show that this energy decays exponentially towards zero when increasing the lattice size. Consequently, despite the absence of chiral symmetry within the system, we obtain zero-energy NESs, which are insensitive to growing Kerr nonlinearity. Even more surprising, these zero-energy NESs also persist in the strong nonlinear limit. Our work may enable new avenues for the control of nonlinear topological waves without requiring the addition of complex chiral-preserving nonlinearities.


title: Switching between superconductivity and current density waves in Bernal bilayer graphene

abstract: An out-of-plane magnetic field can always suppress superconductivity. In Bernal-stacked bilayer graphene (BBG), recently observed activation of superconductivity (SC) through either in-plane magnetic fields or proximate spin-orbit coupling (SOC) offers a rare instance of switching superconductivity on. To understand this, we must first examine the non-superconducting state. We propose an incommensurate current density wave (CrDW) driven by van Hove singularities away from the zone corners as a competing order. We note that the two switches, the in-plane field and the SOC, both break spin degeneracy. Our parquet renormalization group analysis reveals that breaking spin degeneracy shifts the balance from CrDW, favored under spin degeneracy, to SC when degeneracy is lifted. Driven by purely repulsive interactions, the pairing symmetry of the resulting SC is $p/d$-wave. The presence of CrDW accounts for the non-linear $I-V$ behavior in the normal state and suggests potential anomalous Hall effects due to time-reversal symmetry breaking. We further predict that reducing screening could enhance SC.


title: Selective Floer cohomology for contact vector fields

abstract: This paper associates a persistence module to a contact vector field $X$ on the ideal boundary of a Liouville manifold. The persistence module measures the dynamics of $X$ on the region $\Omega$ where $X$ is positively transverse to the contact distribution. The colimit of the persistence module depends only on the domain $\Omega$ and is a variant of the selective symplectic homology introduced by the second named author. As an application we prove existence of positive orbits for certain classes of contact vector fields. Another application of this invariant is that we recover the famous non-squeezing result of Eliashberg, Kim, and Polterovich.


title: Evaluating Students' Open-ended Written Responses with LLMs: Using the RAG Framework for GPT-3.5, GPT-4, Claude-3, and Mistral-Large

abstract: Evaluating open-ended written examination responses from students is an essential yet time-intensive task for educators, requiring a high degree of effort, consistency, and precision. Recent developments in Large Language Models (LLMs) present a promising opportunity to balance the need for thorough evaluation with efficient use of educators' time. In our study, we explore the effectiveness of LLMs ChatGPT-3.5, ChatGPT-4, Claude-3, and Mistral-Large in assessing university students' open-ended answers to questions made about reference material they have studied. Each model was instructed to evaluate 54 answers repeatedly under two conditions: 10 times (10-shot) with a temperature setting of 0.0 and 10 times with a temperature of 0.5, expecting a total of 1,080 evaluations per model and 4,320 evaluations across all models. The RAG (Retrieval Augmented Generation) framework was used as the framework to make the LLMs to process the evaluation of the answers. As of spring 2024, our analysis revealed notable variations in consistency and the grading outcomes provided by studied LLMs. There is a need to comprehend strengths and weaknesses of LLMs in educational settings for evaluating open-ended written responses. Further comparative research is essential to determine the accuracy and cost-effectiveness of using LLMs for educational assessments.


title: Large Language Model Enhanced Machine Learning Estimators for Classification

abstract: Pre-trained large language models (LLM) have emerged as a powerful tool for simulating various scenarios and generating output given specific instructions and multimodal input. In this work, we analyze the specific use of LLM to enhance a classical supervised machine learning method for classification problems. We propose a few approaches to integrate LLM into a classical machine learning estimator to further enhance the prediction performance. We examine the performance of the proposed approaches through both standard supervised learning binary classification tasks, and a transfer learning task where the test data observe distribution changes compared to the training data. Numerical experiments using four publicly available datasets are conducted and suggest that using LLM to enhance classical machine learning estimators can provide significant improvement on prediction performance.


title: GDGS: Gradient Domain Gaussian Splatting for Sparse Representation of Radiance Fields

abstract: The 3D Gaussian splatting methods are getting popular. However, they work directly on the signal, leading to a dense representation of the signal. Even with some techniques such as pruning or distillation, the results are still dense. In this paper, we propose to model the gradient of the original signal. The gradients are much sparser than the original signal. Therefore, the gradients use much less Gaussian splats, leading to the more efficient storage and thus higher computational performance during both training and rendering. Thanks to the sparsity, during the view synthesis, only a small mount of pixels are needed, leading to much higher computational performance ($100\sim 1000\times$ faster). And the 2D image can be recovered from the gradients via solving a Poisson equation with linear computation complexity. Several experiments are performed to confirm the sparseness of the gradients and the computation performance of the proposed method. The method can be applied various applications, such as human body modeling and indoor environment modeling.


title: Dynamic Posture Manipulation During Tumbling for Closed-Loop Heading Angle Control

abstract: Passive tumbling uses natural forces like gravity for efficient travel. But without an active means of control, passive tumblers must rely entirely on external forces. Northeastern University's COBRA is a snake robot that can morph into a ring, which employs passive tumbling to traverse down slopes. However, due to its articulated joints, it is also capable of dynamically altering its posture to manipulate the dynamics of the tumbling locomotion for active steering. This paper presents a modelling and control strategy based on collocation optimization for real-time steering of COBRA's tumbling locomotion. We validate our approach using Matlab simulations.


title: Energy-superconvergent Runge-Kutta Time Discretizations

abstract: In this paper, we investigate the energy accuracy of explicit Runge-Kutta (RK) time discretization for antisymmetric autonomous linear systems and present a framework for constructing RK methods with an order of energy accuracy much greater than the number of stages. For an $s$-stage, $p$th-order RK method, we show that the energy accuracy can achieve superconvergence with an order up to $2s-p+1$ if $p$ is even. Several energy-superconvergent methods, including five- to seven-stage fourth-order methods with energy accuracy up to the eleventh order, together with their strong stability criteria, are derived. The proposed methods are examined using several applications, including second-order ordinary differential equations for harmonic oscillators, linear integro-differential equations for peridynamics, and one-dimensional Maxwell's equations of electrodynamics.


title: Markowitz Meets Bellman: Knowledge-distilled Reinforcement Learning for Portfolio Management

abstract: Investment portfolios, central to finance, balance potential returns and risks. This paper introduces a hybrid approach combining Markowitz's portfolio theory with reinforcement learning, utilizing knowledge distillation for training agents. In particular, our proposed method, called KDD (Knowledge Distillation DDPG), consist of two training stages: supervised and reinforcement learning stages. The trained agents optimize portfolio assembly. A comparative analysis against standard financial models and AI frameworks, using metrics like returns, the Sharpe ratio, and nine evaluation indices, reveals our model's superiority. It notably achieves the highest yield and Sharpe ratio of 2.03, ensuring top profitability with the lowest risk in comparable return scenarios.


title: Bumpy metric theorem for co-rank 1 sub-Riemannian and reversible sub-Finsler metrics

abstract: We prove that for a generic sub-Riemannian and reversible sub-Finsler metrics defined on a fixed co-rank 1 distribution, all strictly normal periodic orbits are non-degenerate.


title: Depth-resolved Characterization of Meissner Screening Breakdown in Surface Treated Niobium

abstract: We report direct measurements of the magnetic field screening at the limits of the Meissner phase for two superconducting Nb samples. The samples are processed with two different surface treatments that have been developed for superconducting radio-frequency cavity applications -- a "baseline" treatment and an oxygen-doping ("O-doping") treatment. The measurements show: 1) that the screening length is significantly longer in the "O-doping" sample compared to the "baseline" sample; 2) that the screening length near the limits of the Meissner phase increases with applied field; 3) the evolution of the screening profile as the material transitions from the Meissner phase to the mixed phase; and 4) a demonstration of the absence of any screening profile for the highest applied field, indicative of the full flux entering the sample. Measurements are performed utilizing the $\beta$-detected nuclear magnetic resonance ($\beta$-NMR) technique that allows depth resolved studies of the local magnetic field within the first 100 nm of the surface. The study takes advantage of the $\beta$-SRF beamline, a new facility at TRIUMF, Canada, where field levels up to 200 mT are available parallel to the sample surface to replicate radio frequency (RF) fields near the Meissner breakdown limits of Nb.


title: Highest Fusion Performance without Harmful Edge Energy Bursts in Tokamak

abstract: The path of tokamak fusion and ITER is maintaining high-performance plasma to produce sufficient fusion power. This effort is hindered by the transient energy burst arising from the instabilities at the boundary of high-confinement plasmas. The application of 3D magnetic perturbations is the method in ITER and possibly in future fusion power plants to suppress this instability and avoid energy busts damaging the device. Unfortunately, the conventional use of the 3D field in tokamaks typically leads to degraded fusion performance and an increased risk of other plasma instabilities, two severe issues for reactor implementation. In this work, we present an innovative 3D field optimization, exploiting machine learning, real-time adaptability, and multi-device capabilities to overcome these limitations. This integrated scheme is successfully deployed on DIII-D and KSTAR tokamaks, consistently achieving reactor-relevant core confinement and the highest fusion performance without triggering damaging instabilities or bursts while demonstrating ITER-relevant automated 3D optimization for the first time. This is enabled both by advances in the physics understanding of self-organized transport in the plasma edge and by advances in machine-learning technology, which is used to optimize the 3D field spectrum for automated management of a volatile and complex system. These findings establish real-time adaptive 3D field optimization as a crucial tool for ITER and future reactors to maximize fusion performance while simultaneously minimizing damage to machine components.


title: Spelunker: A quick-look Python pipeline for JWST NIRISS FGS Guide Star Data

abstract: The James Webb Space Telescope produces some of the highest sensitivity imaging of the cosmos across all instruments. One of them, the NIRISS Fine Guidance Sensor, provides guide star imaging with a passband of 0.6 to 5 microns through two separate channels, each with a 2.3' x 2.3' field of view (FOV) and a sampling rate of 64 ms$-$data that is taken in parallel and is thus available for every JWST observing program. While the onboard system uses guide stars to provide information to the attitude control system (ACS), which stabilizes the observatory, the astronomical community can also use the data products associated with these 64 ms cadence images as science products. Usages range from studying guide star photometry in search of transient phenomena to using these data to identify and investigate technical anomalies that might occur during scientific observations with the rest of the JWST instruments. Despite this wide range of possible usages, these data products are not straightforward to manipulate and analyze, and there is no publicly available package to download, investigate, and research guide star data. Spelunker is a Python library that was developed to enable access to these guide star data products and their analysis.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.SR


title: Molecular dynamics characterization of the interfacial structure and forces of the methane-ethane sII gas hydrate interface

abstract: The nucleation of gas hydrates is of great interest in flow assurance, global energy demand, and carbon capture and storage. A complex molecular understanding is critical to control hydrate nucleation and growth in the context of potential applications. Molecular dynamics is employed in this work combined with the mechanical definition of surface tension to assess the surface stresses that control some of the behavior at the interface. Ensuring careful sampling and simulation behavior, this work extracts meaningful results from molecular properties. We characterize the interfacial tension for sII methane/ethane hydrate and gas mixtures for different temperatures and pressures. We find that the surface tension trends positively with temperature in a balance of water-solid and water-gas interactions. The molecular dipole shows the complexities of water molecule behavior in small, compressed pre-melting layer that emerges as a quasi-liquid. These behaviors contribute to the developing knowledge base surrounding practical applications of this interface.


title: Automated Program Repair: Emerging trends pose and expose problems for benchmarks

abstract: Machine learning (ML) now pervades the field of Automated Program Repair (APR). Algorithms deploy neural machine translation and large language models (LLMs) to generate software patches, among other tasks. But, there are important differences between these applications of ML and earlier work. Evaluations and comparisons must take care to ensure that results are valid and likely to generalize. A challenge is that the most popular APR evaluation benchmarks were not designed with ML techniques in mind. This is especially true for LLMs, whose large and often poorly-disclosed training datasets may include problems on which they are evaluated.


title: Giant Thermoelectric Response of Fluxons in Superconductors

abstract: Thermoelectric devices that operate on quantum principles have been under extensive investigation in the past decades. These devices are at the fundamental limits of miniaturized heat engines and refrigerators, advancing the field of quantum thermodynamics. Most research in this area concerns the use of conduction electrons and holes as charge and heat carriers, and only very recently have superconductors been considered as thermal engines and thermoelectric devices. Here, we investigate the thermoelectric response of an Abrikosov vortex in type-II superconductors in the deep quantum limit. We consider two thermoelectric geometries, a type-II SIN junction and a local Scanning Tunneling Microscope (STM)-tip normal metal probe over the superconductor. We exploit the strong breaking of particle-hole symmetry in bound states at sub-gap energies within the superconducting vortex to realize a giant thermoelectric response in the presence of fluxons. We predict a thermovoltage of a few mV/K at sub-Kelvin temperatures using both semi-analytic and numerical self-consistent solutions of the Bogoliubov-de Gennes equations. Relevant thermoelectric coefficients and figures of merit are found within our model, both in linear and nonlinear regimes. The ZT of the SIN junction is around 1, rising to above 3 for the STM junction centered at the vortex core. We also discuss how this system can be used as a sensitive thermocouple, diode, or localized bolometer to detect low-energy single photons.


title: Link groups of Kishino knot stacks

abstract: For any virtual link, a class of new links can be defined called stacks, in which copies of the virtual link are placed on top of one another. The resulting virtual link depends only on the virtual isotopy class of the original link, and the fundamental group of such a link may be used to detect whether the link is nontrivial and whether it is nonclassical in some cases. We show that this group is able to distinguish three Kishino knots from the unknot using a stacked pair. However, for a fourth Kishino knot, the group and quandle of any stack invariant will be free with a number of generators equal to the number of copies in the stac.


title: Studying Self-Care with Generative AI Tools: Lessons for Design

abstract: The rise of generative AI presents new opportunities for the understanding and practice of self-care through its capability to generate varied content, including self-care suggestions via text and images, and engage in dialogue with users over time. However, there are also concerns about accuracy and trustworthiness of self-care advice provided via AI. This paper reports our findings from workshops, diaries, and interviews with five researchers and 24 participants to explore their experiences and use of generative AI for self-care. We analyze our findings to present a framework for the use of generative AI to support five types of self-care, - advice seeking, mentorship, resource creation, social simulation, and therapeutic self-expression - mapped across two dimensions - expertise and modality. We discuss how these practices shift the role of technologies for self-care from merely offering information to offering personalized advice and supporting creativity for reflection, and we offer suggestions for using the framework to investigate new self-care designs.


title: Estimation and Inference for Change Points in Functional Regression Time Series

abstract: In this paper, we study the estimation and inference of change points under a functional linear regression model with changes in the slope function. We present a novel Functional Regression Binary Segmentation (FRBS) algorithm which is computationally efficient as well as achieving consistency in multiple change point detection. This algorithm utilizes the predictive power of piece-wise constant functional linear regression models in the reproducing kernel Hilbert space framework. We further propose a refinement step that improves the localization rate of the initial estimator output by FRBS, and derive asymptotic distributions of the refined estimators for two different regimes determined by the magnitude of a change. To facilitate the construction of confidence intervals for underlying change points based on the limiting distribution, we propose a consistent block-type long-run variance estimator. Our theoretical justifications for the proposed approach accommodate temporal dependence and heavy-tailedness in both the functional covariates and the measurement errors. Empirical effectiveness of our methodology is demonstrated through extensive simulation studies and an application to the Standard and Poor's 500 index dataset.


title: On the compactness of the bi-commutator

abstract: We prove compactness results and characterizations for the bi-commutator $[T_1,[b, T_2]]$ of a symbol $b$ and two non-degenerate Calder\'on-Zygmund singular integral operators $T_1, T_2$. Our strategy for proving sufficient conditions for compactness is to first establish them in the mixed-norm $L^{p_1}L^{p_2}\to L^{q_1}L^{q_2}$ off-diagonal case with $p_i < q_i$, and then extend these to other exponents, including the diagonal $p_i = q_i$, with a new extrapolation argument. In particular, the natural product $\operatorname{VMO}$ condition is obtained as a sufficient condition in the diagonal. A full characterization is obtained, both in terms of a vanishing mean oscillation type condition and in terms of the approximability of the symbol, whenever the inequality $p_i \le q_i$ is strict for at least one index. The extrapolation scheme for proving sufficiency requires us to prove new approximation results in relevant bi-parameter function spaces that are of independent interest. The necessity results are obtained by carefully combining recent rectangular approximate weak factorization methods with a classical idea of Uchiyama.


title: Taking a Moment for Distributional Robustness

abstract: A rich line of recent work has studied distributionally robust learning approaches that seek to learn a hypothesis that performs well, in the worst-case, on many different distributions over a population. We argue that although the most common approaches seek to minimize the worst-case loss over distributions, a more reasonable goal is to minimize the worst-case distance to the true conditional expectation of labels given each covariate. Focusing on the minmax loss objective can dramatically fail to output a solution minimizing the distance to the true conditional expectation when certain distributions contain high levels of label noise. We introduce a new min-max objective based on what is known as the adversarial moment violation and show that minimizing this objective is equivalent to minimizing the worst-case $\ell_2$-distance to the true conditional expectation if we take the adversary's strategy space to be sufficiently rich. Previous work has suggested minimizing the maximum regret over the worst-case distribution as a way to circumvent issues arising from differential noise levels. We show that in the case of square loss, minimizing the worst-case regret is also equivalent to minimizing the worst-case $\ell_2$-distance to the true conditional expectation. Although their objective and our objective both minimize the worst-case distance to the true conditional expectation, we show that our approach provides large empirical savings in computational cost in terms of the number of groups, while providing the same noise-oblivious worst-distribution guarantee as the minimax regret approach, thus making positive progress on an open question posed by Agarwal and Zhang (2022).


title: Cross-Modality Translation with Generative Adversarial Networks to Unveil Alzheimer's Disease Biomarkers

abstract: Generative approaches for cross-modality transformation have recently gained significant attention in neuroimaging. While most previous work has focused on case-control data, the application of generative models to disorder-specific datasets and their ability to preserve diagnostic patterns remain relatively unexplored. Hence, in this study, we investigated the use of a generative adversarial network (GAN) in the context of Alzheimer's disease (AD) to generate functional network connectivity (FNC) and T1-weighted structural magnetic resonance imaging data from each other. We employed a cycle-GAN to synthesize data in an unpaired data transition and enhanced the transition by integrating weak supervision in cases where paired data were available. Our findings revealed that our model could offer remarkable capability, achieving a structural similarity index measure (SSIM) of $0.89 \pm 0.003$ for T1s and a correlation of $0.71 \pm 0.004$ for FNCs. Moreover, our qualitative analysis revealed similar patterns between generated and actual data when comparing AD to cognitively normal (CN) individuals. In particular, we observed significantly increased functional connectivity in cerebellar-sensory motor and cerebellar-visual networks and reduced connectivity in cerebellar-subcortical, auditory-sensory motor, sensory motor-visual, and cerebellar-cognitive control networks. Additionally, the T1 images generated by our model showed a similar pattern of atrophy in the hippocampal and other temporal regions of Alzheimer's patients.


title: Theoretical investigation of energy levels and transitions for Ce III with applications to kilonova spectra

abstract: Doubly ionized cerium (Ce$^{2+}$) is one of the most important ions to understand the kilonova spectra. In particular, near-infrared (NIR) transitions of Ce III between the ground (5p$^6$ 4f$^2$) and first excited (5p$^6$ 4f 5d) configurations are responsible for the absorption features around 14,500 A. However, there is no dedicated theoretical studies to provide accurate transition probabilities for these transitions. We present energy levels of the ground and first excited configurations and transition data between them for Ce III. Calculations are performed using the GRASP2018 package, which is based on the multiconfiguration Dirac-Hartree-Fock and relativistic configuration interaction methods. Compared with the energy levels in the NIST database, our calculations reach the accuracy with the root-mean-square (rms) of 2732 cm$^{-1}$ or 1404 cm$^{-1}$ (excluding one highest level) for ground configuration, and rms of 618 cm$^{-1}$ for the first excited configuration. We extensively study the line strengths and find that the Babushkin gauge provide the more accurate values. By using the calculated gf values, we show that the NIR spectral features of kilonova can be explained by the Ce III lines.


title: Platitude des tissus duaux de certains pr\'e-feuilletages convexes du plan projectif complexe

abstract: A holomorphic pre-foliation $\mathscr{F}=\mathcal{C}\boxtimes\mathcal{F}$ on $\mathbb{P}^{2}_{\mathbb{C}}$ is the data of a reduced complex projective curve $\mathcal{C}$ of $\mathbb{P}^{2}_{\mathbb{C}}$ and a holomorphic foliation $\mathcal{F}$ on $\mathbb{P}^{2}_{\mathbb{C}}$. When the foliation $\mathcal{F}$ is convex and the curve $\mathcal{C}$ is invariant by $\mathcal{F}$, we speak of convex pre-foliation. In a previous paper, we showed that if a foliation $\mathcal{F}$ on $\mathbb{P}^{2}_{\mathbb{C}}$ is reduced convex or homogeneous convex and if $\mathcal{C}$ is an invariant line of $\mathcal{F}$, then the dual web of the convex pre-foliation $\mathcal{C}\boxtimes\mathcal{F}$ is flat. In this paper, we propose to extend this result to the case of a curve $\mathcal{C}$ consisting of several invariant lines.


title: Vidur: A Large-Scale Simulation Framework For LLM Inference

abstract: Optimizing the deployment of Large language models (LLMs) is expensive today since it requires experimentally running an application workload against an LLM implementation while exploring large configuration space formed by system knobs such as parallelization strategies, batching techniques, and scheduling policies. To address this challenge, we present Vidur - a large-scale, high-fidelity, easily-extensible simulation framework for LLM inference performance. Vidur models the performance of LLM operators using a combination of experimental profiling and predictive modeling, and evaluates the end-to-end inference performance for different workloads by estimating several metrics of interest such as latency and throughput. We validate the fidelity of Vidur on several LLMs and show that it estimates inference latency with less than 9% error across the range. Further, we present Vidur-Search, a configuration search tool that helps optimize LLM deployment. Vidur-Search uses Vidur to automatically identify the most cost-effective deployment configuration that meets application performance constraints. For example, Vidur-Search finds the best deployment configuration for LLaMA2-70B in one hour on a CPU machine, in contrast to a deployment-based exploration which would require 42K GPU hours - costing ~218K dollars. Source code for Vidur is available at https://github.com/microsoft/vidur.


title: Poser: Unmasking Alignment Faking LLMs by Manipulating Their Internals

abstract: Like a criminal under investigation, Large Language Models (LLMs) might pretend to be aligned while evaluated and misbehave when they have a good opportunity. Can current interpretability methods catch these 'alignment fakers?' To answer this question, we introduce a benchmark that consists of 324 pairs of LLMs fine-tuned to select actions in role-play scenarios. One model in each pair is consistently benign (aligned). The other model misbehaves in scenarios where it is unlikely to be caught (alignment faking). The task is to identify the alignment faking model using only inputs where the two models behave identically. We test five detection strategies, one of which identifies 98% of alignment-fakers.


title: AFEN: Respiratory Disease Classification using Ensemble Learning

abstract: We present AFEN (Audio Feature Ensemble Learning), a model that leverages Convolutional Neural Networks (CNN) and XGBoost in an ensemble learning fashion to perform state-of-the-art audio classification for a range of respiratory diseases. We use a meticulously selected mix of audio features which provide the salient attributes of the data and allow for accurate classification. The extracted features are then used as an input to two separate model classifiers 1) a multi-feature CNN classifier and 2) an XGBoost Classifier. The outputs of the two models are then fused with the use of soft voting. Thus, by exploiting ensemble learning, we achieve increased robustness and accuracy. We evaluate the performance of the model on a database of 920 respiratory sounds, which undergoes data augmentation techniques to increase the diversity of the data and generalizability of the model. We empirically verify that AFEN sets a new state-of-the-art using Precision and Recall as metrics, while decreasing training time by 60%.


title: Model-Free Robust $\phi$-Divergence Reinforcement Learning Using Both Offline and Online Data

abstract: The robust $\phi$-regularized Markov Decision Process (RRMDP) framework focuses on designing control policies that are robust against parameter uncertainties due to mismatches between the simulator (nominal) model and real-world settings. This work makes two important contributions. First, we propose a model-free algorithm called Robust $\phi$-regularized fitted Q-iteration (RPQ) for learning an $\epsilon$-optimal robust policy that uses only the historical data collected by rolling out a behavior policy (with robust exploratory requirement) on the nominal model. To the best of our knowledge, we provide the first unified analysis for a class of $\phi$-divergences achieving robust optimal policies in high-dimensional systems with general function approximation. Second, we introduce the hybrid robust $\phi$-regularized reinforcement learning framework to learn an optimal robust policy using both historical data and online sampling. Towards this framework, we propose a model-free algorithm called Hybrid robust Total-variation-regularized Q-iteration (HyTQ: pronounced height-Q). To the best of our knowledge, we provide the first improved out-of-data-distribution assumption in large-scale problems with general function approximation under the hybrid robust $\phi$-regularized reinforcement learning framework. Finally, we provide theoretical guarantees on the performance of the learned policies of our algorithms on systems with arbitrary large state space.


title: PLLM-CS: Pre-trained Large Language Model (LLM) for Cyber Threat Detection in Satellite Networks

abstract: Satellite networks are vital in facilitating communication services for various critical infrastructures. These networks can seamlessly integrate with a diverse array of systems. However, some of these systems are vulnerable due to the absence of effective intrusion detection systems, which can be attributed to limited research and the high costs associated with deploying, fine-tuning, monitoring, and responding to security breaches. To address these challenges, we propose a pretrained Large Language Model for Cyber Security , for short PLLM-CS, which is a variant of pre-trained Transformers [1], which includes a specialized module for transforming network data into contextually suitable inputs. This transformation enables the proposed LLM to encode contextual information within the cyber data. To validate the efficacy of the proposed method, we conducted empirical experiments using two publicly available network datasets, UNSW_NB 15 and TON_IoT, both providing Internet of Things (IoT)-based traffic data. Our experiments demonstrate that proposed LLM method outperforms state-of-the-art techniques such as BiLSTM, GRU, and CNN. Notably, the PLLM-CS method achieves an outstanding accuracy level of 100% on the UNSW_NB 15 dataset, setting a new standard for benchmark performance in this domain.


title: Deep thermalization in continuous-variable quantum systems

abstract: We uncover emergent universality arising in the equilibration dynamics of multimode continuous-variable systems. Specifically, we study the ensemble of pure states supported on a small subsystem of a few modes, generated by Gaussian measurements on the remaining modes of a globally pure bosonic Gaussian state. We find that beginning from sufficiently complex global states, such as random Gaussian states and product squeezed states coupled via a deep array of linear optical elements, the induced ensemble attains a universal form, independent of the choice of measurement basis: it is composed of unsqueezed coherent states whose displacements are distributed normally and isotropically, with variance depending on only the particle-number density of the system. We further show that the emergence of such a universal form is consistent with a generalized maximum entropy principle, which endows the limiting ensemble, which we call the "Gaussian Scrooge distribution", with a special quantum information-theoretic property of having minimal accessible information. Our results represent a conceptual generalization of the recently introduced notion of "deep thermalization" in discrete-variable quantum many-body systems -- a novel form of equilibration going beyond thermalization of local observables -- to the realm of continuous-variable quantum systems. Moreover, it demonstrates how quantum information-theoretic perspectives can unveil new physical phenomena and principles in quantum dynamics and statistical mechanics.


title: Extension of Kirkwood-Buff theory: Partial enthalpies, fluctuations of energy density, temperature, and pressure, and solute-induced effects in a mixture solvent

abstract: We present a statistical mechanical theory of multi-component fluids, where we consider the correlation functions of the number densities and the energy density in the grand canonical ensemble. In terms of their space integrals we express the partial volumes ${\bar v}_i$, the partial enthalpies ${\bar H}_i$, and other thermodynamic derivatives. These ${\bar v}_i$ and ${\bar H}_i$ assume simple forms for binary mixtures and for ternary mixtures with a dilute solute. They are then related to the space-dependent thermal fluctuations of the temperature and the pressure. The space averages of these fluctuations are those introduced by Landau and Lifshits in the isothermal-isobaric ($T$-$p$) ensemble. We also give expressions for the long-range (nonlocal) correlations in the canonical and $T$-$p$ ensembles, which are inversely proportional to the system volume. For a mixture solvent, we examine the solvent-induced solute-solute attraction and the osmotic enthalpy changes due to the solute doping using the correlation function integrals.


title: Transformer neural networks for closed-loop adaptive optics using non-modulated pyramid wavefront sensors

abstract: The Pyramid Wavefront Sensor (PyWFS) is highly nonlinear and requires the use of beam modulation to successfully close an AO loop under varying atmospheric turbulence conditions, at the expense of a loss in sensitivity. In this work we train, analyse, and compare the use of deep neural networks (NNs) as non-linear estimators for the non-modulated PyWFS, identifying the most suitable NN architecture for reliable closed-loop AO. We develop a novel training strategy for NNs that seeks to accommodate for changes in residual statistics between open and closed-loop, plus the addition of noise for robustness purposes. Through simulations, we test and compare several deep NNs, from classical to new convolutional neural networks (CNNs), plus a state-of-the-art transformer neural network (TNN, Global Context Visual Transformer, GCViT), first in open-loop and then in closed-loop. Using open-loop simulated data, we observe that a TNN (GCViT) largely surpasses any CNN in estimation accuracy in a wide range of turbulence conditions. Also, the TNN performs better in simulated closed-loop than CNNs, avoiding estimation issues at the pupil borders. When closing the loop at strong turbulence and low noise, the TNN using non-modulated PyWFS data is able to close the loop similar to a PyWFS with $12\lambda/D$ of modulation. When raising the noise only the TNN is able to close the loop, while the standard linear reconstructor fails, even with modulation. Using the GCViT, we close a real AO loop in the optical bench achieving a Strehl ratio between 0.28 and 0.77 for turbulence conditions ranging from 6cm to 20cm, respectively. In conclusion, we demonstrate that a TNN is the most suitable architecture to extend the dynamic range without sacrificing sensitivity for a non-modulated PyWFS. It opens the path for using non-modulated Pyramid WFSs under an unprecedented range of atmospheric and noise conditions.


title: Topological bifurcations in a mean-field game

abstract: Mean-field games (MFG) provide a statistical physics inspired modeling framework for decision making in large-populations of strategic, non-cooperative agents. Mathematically, these systems consist of a forward-backward in time system of two coupled nonlinear partial differential equations (PDEs), namely the Fokker-Plank and the Hamilton-Jacobi-Bellman equations, governing the agent state and control distribution, respectively. In this work, we study a finite-time MFG with a rich global bifurcation structure using a reduced-order model (ROM). The ROM is a 4D two-point boundary value problem obtained by restricting the controlled dynamics to first two moments of the agent state distribution, i.e., the mean and the variance. Phase space analysis of the ROM reveals that the invariant manifolds of periodic orbits around the so-called `ergodic MFG equilibrium' play a crucial role in determining the bifurcation diagram, and impart a topological signature to various solution branches. We show a qualitative agreement of these results with numerical solutions of the full-order MFG PDE system.

categories: math.DS cs.SY eess.SY math.AP math.OC nlin.AO


title: (Dis)placed Contributions: Uncovering Hidden Hurdles to Collaborative Writing Involving Non-Native Speakers, Native Speakers, and AI-Powered Editing Tools

abstract: Content creation today often takes place via collaborative writing. A longstanding interest of CSCW research lies in understanding and promoting the coordination between co-writers. However, little attention has been paid to individuals who write in their non-native language and to co-writer groups involving them. We present a mixed-method study that fills the above gap. Our participants included 32 co-writer groups, each consisting of one native speaker (NS) of English and one non-native speaker (NNS) with limited proficiency. They performed collaborative writing adopting two different workflows: half of the groups began with NNSs taking the first editing turn and half had NNSs act after NSs. Our data revealed a "late-mover disadvantage" exclusively experienced by NNSs: an NNS's ideational contributions to the joint document were suppressed when their editing turn was placed after an NS's turn, as opposed to ahead of it. Surprisingly, editing help provided by AI-powered tools did not exempt NNSs from being disadvantaged. Instead, it triggered NSs' overestimation of NNSs' English proficiency and agency displayed in the writing, introducing unintended tensions into the collaboration. These findings shed light on the fair assessment and effective promotion of a co-writer's contributions in language diverse settings. In particular, they underscore the necessity of disentangling contributions made to the ideational, expressional, and lexical aspects of the joint writing.


title: The irreducible mass of a regular rotating black hole

abstract: This article presents an analysis of regular rotating black hole solutions within the framework of Teleparallel Equivalent to General Relativity (TEGR). The study evaluates the total energy and derives an analytical expression for the irreducible mass of a regular black hole. The results reveal the significance of these regular black holes as approximations of real astrophysical objects. The investigation explores the behavior of the total energy for different surfaces and its value at spatial infinity. Additionally, the article addresses the instability of the inner horizon and examines the inertial acceleration of an observer inside the inner horizon.


title: A review of wormhole stabilization in f(R) gravity theories

abstract: It has been proven that in standard Einstein gravity, exotic matter (i.e. matter violating the point-wise and averaged weak and null energy conditions) is required to stabilize traversable wormholes. Quantum field theory permits these violations due to the quantum coherent effects found in any quantum field [1]. Even reasonable classical scalar fields violate the energy conditions. In the case of the Casimir effect and squeezed vacuum states, these violations have been experimentally proven. It is advantageous to investigate methods of minimizing the use of exotic matter. One such area of interest is extended theories of Einstein gravity. It has been claimed that in some extended theories, stable traversable wormholes solutions can be found without the use of exotic matter. There are many extended theories of gravity and in this review paper we first explore f(R) theories and then explore some wormhole solutions in f(R) theories including Lovelock gravity.


title: DynaSeg: A Deep Dynamic Fusion Method for Unsupervised Image Segmentation Incorporating Feature Similarity and Spatial Continuity

abstract: Our work tackles the fundamental challenge of image segmentation in computer vision, which is crucial for diverse applications. While supervised methods demonstrate proficiency, their reliance on extensive pixel-level annotations limits scalability. We introduce DynaSeg, an innovative unsupervised image segmentation approach that overcomes the challenge of balancing feature similarity and spatial continuity without relying on extensive hyperparameter tuning. Unlike traditional methods, DynaSeg employs a dynamic weighting scheme that automates parameter tuning, adapts flexibly to image characteristics, and facilitates easy integration with other segmentation networks. By incorporating a Silhouette Score Phase, DynaSeg prevents undersegmentation failures where the number of predicted clusters might converge to one. DynaSeg uses CNN-based and pre-trained ResNet feature extraction, making it computationally efficient and more straightforward than other complex models. Experimental results showcase state-of-the-art performance, achieving a 12.2% and 14.12% mIOU improvement over current unsupervised segmentation approaches on COCO-All and COCO-Stuff datasets, respectively. We provide qualitative and quantitative results on five benchmark datasets, demonstrating the efficacy of the proposed approach.


title: Using Machine Translation to Augment Multilingual Classification

abstract: An all-too-present bottleneck for text classification model development is the need to annotate training data and this need is multiplied for multilingual classifiers. Fortunately, contemporary machine translation models are both easily accessible and have dependable translation quality, making it possible to translate labeled training data from one language into another. Here, we explore the effects of using machine translation to fine-tune a multilingual model for a classification task across multiple languages. We also investigate the benefits of using a novel technique, originally proposed in the field of image captioning, to account for potential negative effects of tuning models on translated data. We show that translated data are of sufficient quality to tune multilingual classifiers and that this novel loss technique is able to offer some improvement over models tuned without it.


title: BSL: Navigation Method Considering Blind Spots Based on ROS Navigation Stack and Blind Spots Layer for Mobile Robot

abstract: This paper proposes a navigation method considering blind spots based on the robot operating system (ROS) navigation stack and blind spots layer (BSL) for a wheeled mobile robot. In this paper, environmental information is recognized using a laser range finder (LRF) and RGB-D cameras. Blind spots occur when corners or obstacles are present in the environment, and may lead to collisions if a human or object moves toward the robot from these blind spots. To prevent such collisions, this paper proposes a navigation method considering blind spots based on the local cost map layer of the BSL for the wheeled mobile robot. Blind spots are estimated by utilizing environmental data collected through RGB-D cameras. The navigation method that takes these blind spots into account is achieved through the implementation of the BSL and a local path planning method that employs an enhanced cost function of dynamic window approach. The effectiveness of the proposed method was further demonstrated through simulations and experiments.


title: FloorSet -- a VLSI Floorplanning Dataset with Design Constraints of Real-World SoCs

abstract: Floorplanning for systems-on-a-chip (SoCs) and its sub-systems is a crucial and non-trivial step of the physical design flow. It represents a difficult combinatorial optimization problem. A typical large scale SoC with 120 partitions generates a search-space of nearly 10E250. As novel machine learning (ML) approaches emerge to tackle such problems, there is a growing need for a modern benchmark that comprises a large training dataset and performance metrics that better reflect real-world constraints and objectives compared to existing benchmarks. To address this need, we present FloorSet -- two comprehensive datasets of synthetic fixed-outline floorplan layouts that reflect the distribution of real SoCs. Each dataset has 1M training samples and 100 test samples where each sample is a synthetic floor-plan. FloorSet-Prime comprises fully-abutted rectilinear partitions and near-optimal wire-length. A simplified dataset that reflects early design phases, FloorSet-Lite comprises rectangular partitions, with under 5 percent white-space and near-optimal wire-length. Both datasets define hard constraints seen in modern design flows such as shape constraints, edge-affinity, grouping constraints, and pre-placement constraints. FloorSet is intended to spur fundamental research on large-scale constrained optimization problems. Crucially, FloorSet alleviates the core issue of reproducibility in modern ML driven solutions to such problems. FloorSet is available as an open-source repository for the research community.


title: Achieving millisecond coherence fluxonium through overlap Josephson junctions

abstract: Fluxonium qubits are recognized for their high coherence times and high operation fidelities, attributed to their unique design incorporating over 100 Josephson junctions per superconducting loop. However, this complexity poses significant fabrication challenges, particularly in achieving high yield and junction uniformity with traditional methods. Here, we introduce an overlap process for Josephson junction fabrication that achieves nearly 100% yield and maintains uniformity across a 2-inch wafer with less than 5% variation for the phase slip junction and less than 2% for the junction array. Our compact junction array design facilitates fluxonium qubits with energy relaxation times exceeding 1 millisecond at the flux frustration point, demonstrating consistency with state-of-the-art dielectric loss tangents and flux noise across multiple devices. This work suggests the scalability of high coherence fluxonium processors using CMOS-compatible processes, marking a significant step towards practical quantum computing.


title: Discovery of RR Lyrae in the Ultra-Faint Dwarf Galaxy Virgo III

abstract: Virgo III is a newly discovered ultra-faint dwarf (UFD) candidate, and finding RR Lyrae associated with this galaxy is important to constrain its distance. In this work, we present a search of RR Lyrae in the vicinity of Virgo III based on the time-series $r$-band images taken from the Lulin One-meter Telescope (LOT). We have identified three RR Lyrae from our LOT data, including two fundamental mode (ab-type) and a first-overtone (c-type) RR Lyrae. Assuming these three RR Lyrae are members of Virgo III, we derived the distance to this UFD as $154\pm25$ kpc, fully consistent with the independent measurements given in the literature. We have also revisited the relation between absolute $V$-band magnitude ($M_V$) and the number of RR Lyrae (of all types, $N_{RRL}$) found in local galaxies, demonstrating that the $M_V$-$N_{RRL}$ relation is better described with the specific RR Lyrae frequency.