title: Architecture of Smart Certificates for Web3 Applications Against Cyberthreats in Financial Industry

abstract: This study addresses the security challenges associated with the current internet transformations, specifically focusing on emerging technologies such as blockchain and decentralized storage. It also investigates the role of Web3 applications in shaping the future of the internet. The primary objective is to propose a novel design for 'smart certificates,' which are digital certificates that can be programmatically enforced. Utilizing such certificates, an enterprise can better protect itself from cyberattacks and ensure the security of its data and systems. Web3 recent security solutions by companies and projects like Certik, Forta, Slither, and Securify are the equivalent of code scanning tool that were originally developed for Web1 and Web2 applications, and definitely not like certificates to help enterprises feel safe against cyberthreats. We aim to improve the resilience of enterprises' digital infrastructure by building on top of Web3 application and put methodologies in place for vulnerability analysis and attack correlation, focusing on architecture of different layers, Wallet/Client, Application and Smart Contract, where specific components are provided to identify and predict threats and risks. Furthermore, Certificate Transparency is used for enhancing the security, trustworthiness and decentralized management of the certificates, and detecting misuses, compromises, and malfeasances.


title: Distributed online constrained convex optimization with event-triggered communication

abstract: This paper focuses on the distributed online convex optimization problem with time-varying inequality constraints over a network of agents, where each agent collaborates with its neighboring agents to minimize the cumulative network-wide loss over time. To reduce communication overhead between the agents, we propose a distributed event-triggered online primal-dual algorithm over a time-varying directed graph. With several classes of appropriately chose decreasing parameter sequences and non-increasing event-triggered threshold sequences, we establish dynamic network regret and network cumulative constraint violation bounds. Finally, a numerical simulation example is provided to verify the theoretical results.


title: Effectivity for existence of rational points is undecidable

abstract: The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability in number theory. Besides the existence of rational points, there is also considerable interest in the problem of effectivity: one asks whether the sought rational points satisfy determined height bounds, often expressed in terms of the height of the coefficients of the equations defining the algebraic varieties under consideration. We show that, in fact, Hilbert's tenth problem over $\mathbb{Q}$ with (finitely many) height comparison conditions is undecidable.


title: A First Order Method for Linear Programming Parameterized by Circuit Imbalance

abstract: Various first order approaches have been proposed in the literature to solve Linear Programming (LP) problems, recently leading to practically efficient solvers for large-scale LPs. From a theoretical perspective, linear convergence rates have been established for first order LP algorithms, despite the fact that the underlying formulations are not strongly convex. However, the convergence rate typically depends on the Hoffman constant of a large matrix that contains the constraint matrix, as well as the right hand side, cost, and capacity vectors. We introduce a first order approach for LP optimization with a convergence rate depending polynomially on the circuit imbalance measure, which is a geometric parameter of the constraint matrix, and depending logarithmically on the right hand side, capacity, and cost vectors. This provides much stronger convergence guarantees. For example, if the constraint matrix is totally unimodular, we obtain polynomial-time algorithms, whereas the convergence guarantees for approaches based on primal-dual formulations may have arbitrarily slow convergence rates for this class. Our approach is based on a fast gradient method due to Necoara, Nesterov, and Glineur (Math. Prog. 2019); this algorithm is called repeatedly in a framework that gradually fixes variables to the boundary. This technique is based on a new approximate version of Tardos's method, that was used to obtain a strongly polynomial algorithm for combinatorial LPs (Oper. Res. 1986).


title: Hardness of Low Rank Approximation of Entrywise Transformed Matrix Products

abstract: Inspired by fast algorithms in natural language processing, we study low rank approximation in the entrywise transformed setting where we want to find a good rank $k$ approximation to $f(U \cdot V)$, where $U, V^\top \in \mathbb{R}^{n \times r}$ are given, $r = O(\log(n))$, and $f(x)$ is a general scalar function. Previous work in sublinear low rank approximation has shown that if both (1) $U = V^\top$ and (2) $f(x)$ is a PSD kernel function, then there is an $O(nk^{\omega-1})$ time constant relative error approximation algorithm, where $\omega \approx 2.376$ is the exponent of matrix multiplication. We give the first conditional time hardness results for this problem, demonstrating that both conditions (1) and (2) are in fact necessary for getting better than $n^{2-o(1)}$ time for a relative error low rank approximation for a wide class of functions. We give novel reductions from the Strong Exponential Time Hypothesis (SETH) that rely on lower bounding the leverage scores of flat sparse vectors and hold even when the rank of the transformed matrix $f(UV)$ and the target rank are $n^{o(1)}$, and when $U = V^\top$. Furthermore, even when $f(x) = x^p$ is a simple polynomial, we give runtime lower bounds in the case when $U \neq V^\top$ of the form $\Omega(\min(n^{2-o(1)}, \Omega(2^p)))$. Lastly, we demonstrate that our lower bounds are tight by giving an $O(n \cdot \text{poly}(k, 2^p, 1/\epsilon))$ time relative error approximation algorithm and a fast $O(n \cdot \text{poly}(k, p, 1/\epsilon))$ additive error approximation using fast tensor-based sketching. Additionally, since our low rank algorithms rely on matrix-vector product subroutines, our lower bounds extend to show that computing $f(UV)W$, for even a small matrix $W$, requires $\Omega(n^{2-o(1)})$ time.


title: Assessing Fidelity in XAI post-hoc techniques: A Comparative Study with Ground Truth Explanations Datasets

abstract: The evaluation of the fidelity of eXplainable Artificial Intelligence (XAI) methods to their underlying models is a challenging task, primarily due to the absence of a ground truth for explanations. However, assessing fidelity is a necessary step for ensuring a correct XAI methodology. In this study, we conduct a fair and objective comparison of the current state-of-the-art XAI methods by introducing three novel image datasets with reliable ground truth for explanations. The primary objective of this comparison is to identify methods with low fidelity and eliminate them from further research, thereby promoting the development of more trustworthy and effective XAI techniques. Our results demonstrate that XAI methods based on the backpropagation of output information to input yield higher accuracy and reliability compared to methods relying on sensitivity analysis or Class Activation Maps (CAM). However, the backpropagation method tends to generate more noisy saliency maps. These findings have significant implications for the advancement of XAI methods, enabling the elimination of erroneous explanations and fostering the development of more robust and reliable XAI.


title: Lifetime of the dark $Z$ boson

abstract: The mediator particle between the Standard Model sector and a hidden sector might have a long lifetime to show the observable displaced vertices in experiments. Considering a fermionic dark matter model in which the hidden sector is connected to the Standard Model by an additional Higgs doublet field, the mediator dark $Z$ boson may live long enough. We explore the possibility to observe the displaced vertices of the long-lived dark $Z$ boson at the CERN LHC and at the proposed SHiP experiment. We find that the ATLAS and CMS searches for the long-lived dark $Z$ boson can probe the mass range $7 < m_{Z'} < 150~{\rm MeV}$ with 150 fb$^{-1}$ integrated luminosity at the LHC run 3, and the SHiP experiment will probe $2 m_e < m_{Z'} < 15~{\rm MeV}$ range with $6 \times 10^{20}$ protons on target in total 15 years. The dark matter phenomenology is also discussed in the region where such a long-lived mediator is detectable.


title: How to maintain compliance among host country employees who are less anxious after strict government regulations are lifted: An attempt to apply conservation of resources theory to the workplace amid the still-unending COVID-19 pandemic

abstract: Design/methodology/approach We compared the awareness of 813 people in Wuhan city from January to March 2023 (Wuhan 2023) and 2,973 people in East and South China from February to May 2020 (China 2020) using responses to questionnaires conducted at Japanese local subsidiaries during each period. Purpose As the coronavirus pandemic becomes less terrifying than before, there is a trend in countries around the world to abolish strict behavioral restrictions imposed by governments. How should overseas subsidiaries change the way they manage human resources in response to these system changes? To find an answer to this question, this paper examines what changes occurred in the mindset of employees working at local subsidiaries after the government's strict behavioral restrictions were introduced and lifted during the COVID-19 pandemic. Findings The results showed that the analytical model based on conservation of resources (COR) theory can be applied to both China 2020 and Wuhan 2023. However, the relationship between anxiety, fatigue, compliance, turnover intention, and psychological and social resources of employees working at local subsidiaries changed after the initiation and removal of government behavioral restrictions during the pandemic, indicating that managers need to adjust their human resource management practices in response to these changes. Originality/value This is the first study that compares data after the start of government regulations and data after the regulations were lifted. Therefore, this research proposes a new analytical framework that companies, especially foreign-affiliated companies that lack local information, can refer to respond appropriately to disasters, which expand damage while changing its nature and influence while anticipating changes in employee awareness.


title: Don't Make Your LLM an Evaluation Benchmark Cheater

abstract: Large language models~(LLMs) have greatly advanced the frontiers of artificial intelligence, attaining remarkable improvement in model capacity. To assess the model performance, a typical approach is to construct evaluation benchmarks for measuring the ability level of LLMs in different aspects. Despite that a number of high-quality benchmarks have been released, the concerns about the appropriate use of these benchmarks and the fair comparison of different models are increasingly growing. Considering these concerns, in this paper, we discuss the potential risk and impact of inappropriately using evaluation benchmarks and misleadingly interpreting the evaluation results. Specially, we focus on a special issue that would lead to inappropriate evaluation, \ie \emph{benchmark leakage}, referring that the data related to evaluation sets is occasionally used for model training. This phenomenon now becomes more common since pre-training data is often prepared ahead of model test. We conduct extensive experiments to study the effect of benchmark leverage, and find that it can dramatically boost the evaluation results, which would finally lead to an unreliable assessment of model performance. To improve the use of existing evaluation benchmarks, we finally present several guidelines for both LLM developers and benchmark maintainers. We hope this work can draw attention to appropriate training and evaluation of LLMs.


title: Forward dijet production at the LHC within an impact parameter dependent TMD approach

abstract: We investigate possible signatures of gluon saturation using forward $p+A \to j+j+X$ di-jet production processes at the Large Hadron Collider. In the forward rapidity region, this is a highly asymmetric process where partons with large longitudinal momentum fraction \(x\) in the dilute projectile are used as a probe to resolve the small \(x\) partonic content of the dense target. Such dilute-dense processes can be described in the factorization framework of Improved Transverse Momentum Distributions (ITMDs). We present a new model for ITMDs where we explicitly introduce the impact parameter (\(b\)) dependence in the ITMDs, to properly account for the nuclear enhancement of gluon saturation effects, and discuss the phenomenological consequences for $p-Pb$, $p-Xe$ and $p-O$ collisions at the LHC. While the case of $p-p$ and $e-p$ collisions is used to fix the model parameters, we find that, on average, the nuclear enhancement of the saturation scale is noticeably weaker than expected from naive scaling with a simple dependence on the atomic number. Since our model explicitly accounts for event-by-event fluctuations of the nuclear geometry, it can also be applied to study forward central correlations in $p-A$ collisions.


title: Depth-guided Free-space Segmentation for a Mobile Robot

abstract: Accurate indoor free-space segmentation is a challenging task due to the complexity and the dynamic nature that indoor environments exhibit. We propose an indoors free-space segmentation method that associates large depth values with navigable regions. Our method leverages an unsupervised masking technique that, using positive instances, generates segmentation labels based on textural homogeneity and depth uniformity. Moreover, we generate superpixels corresponding to areas of higher depth and align them with features extracted from a Dense Prediction Transformer (DPT). Using the estimated free-space masks and the DPT feature representation, a SegFormer model is fine-tuned on our custom-collected indoor dataset. Our experiments demonstrate sufficient performance in intricate scenarios characterized by cluttered obstacles and challenging identification of free space.


title: The language of prompting: What linguistic properties make a prompt successful?

abstract: The latest generation of LLMs can be prompted to achieve impressive zero-shot or few-shot performance in many NLP tasks. However, since performance is highly sensitive to the choice of prompts, considerable effort has been devoted to crowd-sourcing prompts or designing methods for prompt optimisation. Yet, we still lack a systematic understanding of how linguistic properties of prompts correlate with task performance. In this work, we investigate how LLMs of different sizes, pre-trained and instruction-tuned, perform on prompts that are semantically equivalent, but vary in linguistic structure. We investigate both grammatical properties such as mood, tense, aspect and modality, as well as lexico-semantic variation through the use of synonyms. Our findings contradict the common assumption that LLMs achieve optimal performance on lower perplexity prompts that reflect language use in pretraining or instruction-tuning data. Prompts transfer poorly between datasets or models, and performance cannot generally be explained by perplexity, word frequency, ambiguity or prompt length. Based on our results, we put forward a proposal for a more robust and comprehensive evaluation standard for prompting research.


title: Latent Diffusion Model for Conditional Reservoir Facies Generation

abstract: Creating accurate and geologically realistic reservoir facies based on limited measurements is crucial for field development and reservoir management, especially in the oil and gas sector. Traditional two-point geostatistics, while foundational, often struggle to capture complex geological patterns. Multi-point statistics offers more flexibility, but comes with its own challenges. With the rise of Generative Adversarial Networks (GANs) and their success in various fields, there has been a shift towards using them for facies generation. However, recent advances in the computer vision domain have shown the superiority of diffusion models over GANs. Motivated by this, a novel Latent Diffusion Model is proposed, which is specifically designed for conditional generation of reservoir facies. The proposed model produces high-fidelity facies realizations that rigorously preserve conditioning data. It significantly outperforms a GAN-based alternative.


title: Modified cosmology through Kaniadakis entropy

abstract: We explore a cosmological model inspired by the modified Kaniadakis entropy and disclose the influences of the modified Friedmann equations on the evolution of the Universe. We find that in modified Kaniadakis cosmology with only pressure-less matter, one can reproduce the accelerated Universe without invoking any kind of dark energy. We delved into the evolution of the Universe during the radiation-dominated era as well. We also investigate the behavior of the scale factor and the deceleration parameter for a multiple-component Universe consisting of pressure-less matter and a cosmological constant/dark energy. Interestingly enough, the predicted age of the Universe in the modified Kaniadakis cosmology becomes larger compared to the standard cosmology which may alleviate the age problem. Furthermore, The findings reveal that in the modified Kaniadakis cosmology, the transition from a decelerated phase to an accelerated Universe occurs at higher redshifts compared to the standard cosmology. These results shed light on the potential implications of incorporating Kaniadakis entropy into cosmological models and provide valuable insights into the behavior of the Universe in different cosmological scenarios. Moreover, they emphasize the crucial role of modifications to the geometry component and the significance of such modifications in understanding the dynamics of the Universe.


title: The continuum limit of k-space cavity angular momentum is controlled by an infinite range difference operator

abstract: A wavepacket (electromagnetic or otherwise) within an isotropic and homogeneous space can be quantized on a regular lattice of discrete k-vectors. Each k-vector is associated with a temporal frequency omega; together, k and omega represent a propagating plane-wave. While the total energy and total linear momentum of the packet can be readily apportioned among its individual plane-wave constituents, the same cannot be said about the packet's total angular momentum. One can show, in the case of a reasonably smooth (i.e., continuous and differentiable) wave packet, that the overall angular momentum is expressible as an integral over the k-space continuum involving only the Fourier transform of the field and its k-space gradients. In this sense, the angular momentum is a property not of individual plane-waves, but of plane-wave pairs that are adjacent neighbors in the space inhabited by the k-vectors, and can be said to be localized in the k-space. Strange as it might seem, this hallmark property of angular momentum does not automatically emerge from an analysis of a discretized k-space. In fact, the discrete analysis shows the angular momentum to be distributed among k-vectors that pair not only with nearby k-vectors but also with those that are far away. The goal of the present paper is to resolve the discrepancy between the discrete calculations and those performed on the continuum, by establishing the conditions under which the highly non-local sum over plane-wave pairs in the discrete k-space would approach the localized distribution of the angular momentum across the continuum of the k-space.


title: Photometry of the Didymos system across the DART impact apparition

abstract: On 26 September 2022, the Double Asteroid Redirection Test (DART) spacecraft impacted Dimorphos, the satellite of binary near-Earth asteroid (65803) Didymos. This demonstrated the efficacy of a kinetic impactor for planetary defense by changing the orbital period of Dimorphos by 33 minutes (Thomas et al. 2023). Measuring the period change relied heavily on a coordinated campaign of lightcurve photometry designed to detect mutual events (occultations and eclipses) as a direct probe of the satellite's orbital period. A total of 28 telescopes contributed 224 individual lightcurves during the impact apparition from July 2022 to February 2023. We focus here on decomposable lightcurves, i.e. those from which mutual events could be extracted. We describe our process of lightcurve decomposition and use that to release the full data set for future analysis. We leverage these data to place constraints on the post-impact evolution of ejecta. The measured depths of mutual events relative to models showed that the ejecta became optically thin within the first ~1 day after impact, and then faded with a decay time of about 25 days. The bulk magnitude of the system showed that ejecta no longer contributed measurable brightness enhancement after about 20 days post-impact. This bulk photometric behavior was not well represented by an HG photometric model. An HG1G2 model did fit the data well across a wide range of phase angles. Lastly, we note the presence of an ejecta tail through at least March 2023. Its persistence implied ongoing escape of ejecta from the system many months after DART impact.


title: Terahertz Communication Testbeds: Challenges and Opportunities

abstract: This study investigates an experimental software defined radio (SDR) implementation on 180 GHz. Rate scarcity and frequency sparsity are discussed as hardware bottlenecks. Experimental challenges are explained along with the derived system model of such a cascaded structure. Multiple error metrics for the terahertz (THz) signal are acquired, and various case scenarios are subsequently compared. The SDR-THz testbed reaches 3.2 Mbps with < 1 degree skew error. The use of a reflector plate can fine-tune the frequency error and gain imbalance in the expense of at least 14.91 dB signal-to-noise ratio. The results demonstrate the complete feasibility of SDR-based baseband signal generation in THz communication, revealing abundant opportunities to overcome hardware limitations in experimental research.


title: Emergence of odd elasticity in a microswimmer using deep reinforcement learning

abstract: We use the Deep Q-Network with reinforcement learning to investigate the emergence of odd elasticity in an elastic microswimmer model. For an elastic microswimmer, it is challenging to obtain the optimized dynamics due to the intricate elastohydrodynamic interactions. However, our machine-trained model adopts a novel transition strategy (the waiting behavior) to optimize the locomotion. For the trained microswimmers, we evaluate the performance of the cycles by the product of the loop area (called non-reciprocality) and the loop frequency, and show that the average swimming velocity is proportional to the performance. By calculating the force-displacement correlations, we obtain the effective odd elasticity of the microswimmer to characterize its non-reciprocal dynamics. This emergent odd elasticity is shown to be closely related to the loop frequency of the cyclic deformation. Our work demonstrates the utility of machine learning in achieving optimal dynamics for elastic microswimmers and introduces post-analysis methods to extract crucial physical quantities such as non-reciprocality and odd elasticity.


title: Disjoint Dunford-Pettis-type properties in Banach lattices

abstract: New characterizations of the disjoint Dunford-Pettis property of order $p$ (disjoint $DPP_p$) are proved and applied to show that a Banach lattice of cotype $p$ has the disjoint $DPP_p$ whenever its dual has this property. The disjoint Dunford-Pettis$^*$ property of order $p$ (disjoint $DP^*P_p$) is thoroughly investigated. Close connections with the positive Schur property of order $p$, with the disjoint $DPP_p$, with the $p$-weak $DP^*$ property and with the positive $DP^*$ property of order $p$ are established. In a final section we study the polynomial versions of the disjoint $DPP_p$ and of the disjoint $DP^*P_p$.


title: Time-dependent coupled cluster with orthogonal adaptive basis functions: General formalism and application to the vibrational problem

abstract: We derive equations of motion for bivariational wave functions with orthogonal adaptive basis sets and specialize the formalism to the coupled cluster ansatz. The equations are related to the biorthogonal case in a transparent way, and similarities and differences are analyzed. We show that the amplitude equations are identical in the orthogonal and biorthogonal formalisms, while the linear equations that determined the basis set time evolution differ by symmetrization. Applying the orthogonal framework to the nuclear dynamics problem, we introduce and implement the orthogonal time-dependent modal vibrational coupled cluster (oTDMVCC) method and benchmark it against exact reference results for four triatomic molecules as well as a 5D trans-bithiophene model. We confirm numerically that the biorthogonal TDMVCC hierarchy converges to the exact solution, while oTDMVCC does not. The differences between TDMVCC and oTDMVCC are found to be small for three of the five cases, but we also identify one case where the formal deficiency of the oTDMVCC approach results in clear and visible errors relative to the exact result. For the remaining example, oTDMVCC exhibits rather modest but visible errors.


title: A Corrected Inexact Proximal Augmented Lagrangian Method with a Relative Error Criterion for a Class of Group-quadratic Regularized Optimal Transport Problems

abstract: The optimal transport (OT) problem and its related problems have attracted significant attention and have been extensively studied in various applications. In this paper, we focus on a class of group-quadratic regularized OT problems which aim to find solutions with specialized structures that are advantageous in practical scenarios. To solve this class of problems, we propose a corrected inexact proximal augmented Lagrangian method (ciPALM), with the subproblems being solved by the semi-smooth Newton ({\sc Ssn}) method. We establish that the proposed method exhibits appealing convergence properties under mild conditions. Moreover, our ciPALM distinguishes itself from the recently developed semismooth Newton-based inexact proximal augmented Lagrangian ({\sc Snipal}) method for linear programming. Specifically, {\sc Snipal} uses an absolute error criterion for the approximate minimization of the subproblem for which a summable sequence of tolerance parameters needs to be pre-specified for practical implementations. In contrast, our ciPALM adopts a relative error criterion with a \textit{single} tolerance parameter, which would be more friendly to tune from computational and implementation perspectives. These favorable properties position our ciPALM as a promising candidate for tackling large-scale problems. Various numerical studies validate the effectiveness of employing a relative error criterion for the inexact proximal augmented Lagrangian method, and also demonstrate that our ciPALM is competitive for solving large-scale group-quadratic regularized OT problems.


title: RT-Trajectory: Robotic Task Generalization via Hindsight Trajectory Sketches

abstract: Generalization remains one of the most important desiderata for robust robot learning systems. While recently proposed approaches show promise in generalization to novel objects, semantic concepts, or visual distribution shifts, generalization to new tasks remains challenging. For example, a language-conditioned policy trained on pick-and-place tasks will not be able to generalize to a folding task, even if the arm trajectory of folding is similar to pick-and-place. Our key insight is that this kind of generalization becomes feasible if we represent the task through rough trajectory sketches. We propose a policy conditioning method using such rough trajectory sketches, which we call RT-Trajectory, that is practical, easy to specify, and allows the policy to effectively perform new tasks that would otherwise be challenging to perform. We find that trajectory sketches strike a balance between being detailed enough to express low-level motion-centric guidance while being coarse enough to allow the learned policy to interpret the trajectory sketch in the context of situational visual observations. In addition, we show how trajectory sketches can provide a useful interface to communicate with robotic policies: they can be specified through simple human inputs like drawings or videos, or through automated methods such as modern image-generating or waypoint-generating methods. We evaluate RT-Trajectory at scale on a variety of real-world robotic tasks, and find that RT-Trajectory is able to perform a wider range of tasks compared to language-conditioned and goal-conditioned policies, when provided the same training data.


title: Strongly coupled Schroedinger operators in L^p(R^d;C^m)

abstract: We consider systems of elliptic equations, possibly coupled up to the second-order, on the L^p(R^d;C^m)-scale. Under suitable assumptions we prove that the minimal realization in L^p(R^d;C^m)$ generates a strongly continuous analytic semigroup. We also prove the consistency of the semigroup on the L^p-scale and some spectral results.


title: Heaps of modules: Categorical aspects

abstract: Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously.


title: Quantitative convergence in relative entropy for a moderately interacting particle system on $\mathbb{R}^d$

abstract: This article shows how to combine the relative entropy method by D. Bresch, P.-E. Jabin, and Z. Wang in arXiv:1706.09564, arXiv:1906.04093 and the regularized $L^2(\mathbb{R}^d)$-estimate by Oelschl\"ager (Probability theory and related fields, 1987) to prove a strong propagation of chaos result for the viscous porous medium equation from a moderately interacting particle system in $L^\infty(0,T; L^1(\mathbb{R}^d))$-norm. In the moderate interacting setting, the interacting potential is a smoothed Dirac Delta distribution, however, current results regarding the relative entropy methods for singular potentials do not apply. The result holds on $\mathbb{R}^d$ for any dimension $d\geq 1$ and provides a quantitative result where the rate of convergence depends on the moderate scaling parameter and the dimension $d\geq 1$. Additionally, the presented method can be adapted for moderately interacting systems for which a certain convergence probability holds -- thus a propagation of chaos result in relative entropy can be obtained for kernels approximating Coulomb potentials.


title: ProSG: Using Prompt Synthetic Gradients to Alleviate Prompt Forgetting of RNN-like Language Models

abstract: RNN-like language models are getting renewed attention from NLP researchers in recent years and several models have made significant progress, which demonstrates performance comparable to traditional transformers. However, due to the recurrent nature of RNNs, this kind of language model can only store information in a set of fixed-length state vectors. As a consequence, they still suffer from forgetfulness though after a lot of improvements and optimizations, when given complex instructions or prompts. As the prompted generation is the main and most concerned function of LMs, solving the problem of forgetting in the process of generation is no wonder of vital importance. In this paper, focusing on easing the prompt forgetting during generation, we proposed an architecture to teach the model memorizing prompt during generation by synthetic gradient. To force the model to memorize the prompt, we derive the states that encode the prompt, then transform it into model parameter modification using low-rank gradient approximation, which hard-codes the prompt into model parameters temporarily. We construct a dataset for experiments, and the results have demonstrated the effectiveness of our method in solving the problem of forgetfulness in the process of prompted generation. We will release all the code upon acceptance.


title: Optical monitoring of the Didymos-Dimorphos asteroid system with the Danish telescope around the DART mission impact

abstract: The NASA's Double-Asteroid Redirection Test (DART) was a unique planetary defence and technology test mission, the first of its kind. The main spacecraft of the DART mission impacted the target asteroid Dimorphos, a small moon orbiting asteroid (65803) Didymos, on 2022 September 26. The impact brought up a mass of ejecta which, together with the direct momentum transfer from the collision, caused an orbital period change of 33 +/- 1 minutes, as measured by ground-based observations. We report here the outcome of the optical monitoring campaign of the Didymos system from the Danish 1.54 m telescope at La Silla around the time of impact. The observations contributed to the determination of the changes in the orbital parameters of the Didymos-Dimorphos system, as reported by arXiv:2303.02077, but in this paper we focus on the ejecta produced by the DART impact. We present photometric measurements from which we remove the contribution from the Didymos-Dimorphos system using a H-G photometric model. Using two photometric apertures we determine the fading rate of the ejecta to be 0.115 +/- 0.003 mag/d (in a 2" aperture) and 0.086 +/- 0.003 mag/d (5") over the first week post-impact. After about 8 days post-impact we note the fading slows down to 0.057 +/- 0.003 mag/d (2" aperture) and 0.068 +/- 0.002 mag/d (5"). We include deep-stacked images of the system to illustrate the ejecta evolution during the first 18 days, noting the emergence of dust tails formed from ejecta pushed in the anti-solar direction, and measuring the extent of the particles ejected sunward to be at least 4000 km.


title: Cohen-Macaulayness of associated graded rings of Gorenstein monomial curves

abstract: In this article, we provide criteria for the Cohen-Macaulayness of the associated graded ring of a Gorenstein noncomplete intersection monomial curve $C$ in the 4-dimensional affine space. We also give an explicit formula for the minimal number of generators of the defining ideal of the tangent cone of $C$ at $0$.


title: Optimal Image Transport on Sparse Dictionaries

abstract: In this paper, we derive a novel optimal image transport algorithm over sparse dictionaries by taking advantage of Sparse Representation (SR) and Optimal Transport (OT). Concisely, we design a unified optimization framework in which the individual image features (color, textures, styles, etc.) are encoded using sparse representation compactly, and an optimal transport plan is then inferred between two learned dictionaries in accordance with the encoding process. This paradigm gives rise to a simple but effective way for simultaneous image representation and transformation, which is also empirically solvable because of the moderate size of sparse coding and optimal transport sub-problems. We demonstrate its versatility and many benefits to different image-to-image translation tasks, in particular image color transform and artistic style transfer, and show the plausible results for photo-realistic transferred effects.


title: Maximizing Portfolio Predictability with Machine Learning

abstract: We construct the maximally predictable portfolio (MPP) of stocks using machine learning. Solving for the optimal constrained weights in the multi-asset MPP gives portfolios with a high monthly coefficient of determination, given the sample covariance matrix of predicted return errors from a machine learning model. Various models for the covariance matrix are tested. The MPPs of S&P 500 index constituents with estimated returns from Elastic Net, Random Forest, and Support Vector Regression models can outperform or underperform the index depending on the time period. Portfolios that take advantage of the high predictability of the MPP's returns and employ a Kelly criterion style strategy consistently outperform the benchmark.


title: Combining scattering experiments and colloid theory to characterize charge effects in concentrated antibody solutions

abstract: Charges and their contribution to protein-protein interactions are essential for the key structural and dynamic properties of monoclonal antibody (mAb) solutions. In fact, they influence the apparent molecular weight, the static structure factor, the collective diffusion coefficient or the relative viscosity and their concentration dependence. Further, charges play an important role in the colloidal stability of mAbs. There exist standard experimental tools to characterise mAb net charges such as the measurement of the electrophoretic mobility, the second virial coefficient, or the diffusion interaction parameter. However, the resulting values are difficult to be directly related to the actual overall net charge of the antibody and to theoretical predictions based on its known molecular structure. Here, we report the results of a systematic investigation of the solution properties of a charged IgG1 mAb as a function of concentration and ionic strength using a combination of electrophoretic measurements, static and dynamic light scattering, small-angle x-ray scattering (SAXS), and tracer particle-based microrheology. We analyse and interpret the experimental results using established colloid theory and coarse-grained computer simulations. We discuss the potential and limits of colloidal models for the description of interaction effects of charged mAbs, in particular pointing out the importance of incorporating shape and charge anisotropy when attempting to predict structural and dynamic solution properties at high concentrations.


title: Generalization of Graph-Based Active Learning Relaxation Strategies Across Materials

abstract: Although density functional theory (DFT) has aided in accelerating the discovery of new materials, such calculations are computationally expensive, especially for high-throughput efforts. This has prompted an explosion in exploration of machine learning assisted techniques to improve the computational efficiency of DFT. In this study, we present a comprehensive investigation of the broader application of Finetuna, an active learning framework to accelerate structural relaxation in DFT with prior information from Open Catalyst Project pretrained graph neural networks. We explore the challenges associated with out-of-domain systems: alcohol ($C_{>2}$) on metal surfaces as larger adsorbates, metal-oxides with spin polarization, and three-dimensional (3D) structures like zeolites and metal-organic-frameworks. By pre-training machine learning models on large datasets and fine-tuning the model along the simulation, we demonstrate the framework's ability to conduct relaxations with fewer DFT calculations. Depending on the similarity of the test systems to the training systems, a more conservative querying strategy is applied. Our best-performing Finetuna strategy reduces the number of DFT single-point calculations by 80% for alcohols and 3D structures, and 42% for oxide systems.


title: Easy method to establish the dispersion relation of capillary waves on water jets

abstract: A simple, intuitive, and low-cost setup for generating and measuring capillary waves is presented enabling a precise determination of the dispersion relation for a cylindrical water jet. By setting the phase velocity and measuring the wavelength of capillary waves directly, this method provides an intuitive way for students to understand the dispersion relation of a cylindrical water jet. The setup produced measurements of wavelength versus phase velocity over a broader range of values than earlier work. The resulting data are generally consistent with earlier results but show an error of up to 15\% at both the higher and the lower end of the measured range of wavelengths compared to the theoretical dispersion relation of cylindrical water jets. For the shorter wavelengths, the deviation is in the opposite direction from that of earlier work.


title: Leveraging Large-Scale Pretrained Vision Foundation Models for Label-Efficient 3D Point Cloud Segmentation

abstract: Recently, large-scale pre-trained models such as Segment-Anything Model (SAM) and Contrastive Language-Image Pre-training (CLIP) have demonstrated remarkable success and revolutionized the field of computer vision. These foundation vision models effectively capture knowledge from a large-scale broad data with their vast model parameters, enabling them to perform zero-shot segmentation on previously unseen data without additional training. While they showcase competence in 2D tasks, their potential for enhancing 3D scene understanding remains relatively unexplored. To this end, we present a novel framework that adapts various foundational models for the 3D point cloud segmentation task. Our approach involves making initial predictions of 2D semantic masks using different large vision models. We then project these mask predictions from various frames of RGB-D video sequences into 3D space. To generate robust 3D semantic pseudo labels, we introduce a semantic label fusion strategy that effectively combines all the results via voting. We examine diverse scenarios, like zero-shot learning and limited guidance from sparse 2D point labels, to assess the pros and cons of different vision foundation models. Our approach is experimented on ScanNet dataset for 3D indoor scenes, and the results demonstrate the effectiveness of adopting general 2D foundation models on solving 3D point cloud segmentation tasks.


title: Conditions on Preference Relations that Guarantee the Existence of Optimal Policies

abstract: Learning from Preferential Feedback (LfPF) plays an essential role in training Large Language Models, as well as certain types of interactive learning agents. However, a substantial gap exists between the theory and application of LfPF algorithms. Current results guaranteeing the existence of optimal policies in LfPF problems assume that both the preferences and transition dynamics are determined by a Markov Decision Process. We introduce the Direct Preference Process, a new framework for analyzing LfPF problems in partially-observable, non-Markovian environments. Within this framework, we establish conditions that guarantee the existence of optimal policies by considering the ordinal structure of the preferences. We show that a decision-making problem can have optimal policies -- that are characterized by recursive optimality equations -- even when no reward function can express the learning goal. These findings underline the need to explore preference-based learning strategies which do not assume that preferences are generated by reward.


title: 2$P$-wave charmed baryons from QCD sum rules

abstract: We conduct an investigation on the $1P$- and $2P$-wave charmed baryons using the methods of QCD sum rules and light-cone sum rules within the framework of heavy quark effective theory. Our results suggest that the $\Lambda_c(2910)^+$, $\Lambda_c(2940)^+$, and $\Xi_c(3123)^+$ can be well interpreted as the $2P$-wave charmed baryons of $J^P=1/2^-$ and $3/2^-$, belonging to the $SU(3)$ flavor $\mathbf{\bar 3}_F$ representation. Moreover, the $\Xi_c(3123)^+$ possesses a partner state characterized by $J^P=1/2^-$, denoted as $\Xi_c(1/2^-,2P)$. Our analysis predicts its mass and width to be $m_{\Xi_c(1/2^-,2P)} - m_{\Xi_c(3123)^+} = -18\pm{7}$MeV and $\Gamma_{\Xi_c(2P,1/2^-)}=31^{+170}_{-27}$MeV, with $m_{\Xi_c(3123)^+} = 3122.9\pm{1.3}$MeV. We propose to search for it in the $\Xi_c(1/2^-,2P)\to \Sigma_c K$ decay channel.


title: Ghost series and a motivated proof of the Bressoud-G\"ollnitz-Gordon identities

abstract: We present what we call a "motivated proof" of the Bressoud-G\"ollnitz-Gordon partition identities. Similar "motivated proofs" have been given by Andrews and Baxter for the Rogers-Ramanujan identities and by Lepowsky and Zhu for Gordon's identities. Additionally, "motivated proofs" have also been given for the Andrews-Bressoud partition identities by Kanade, Lepowsky, Russell, and Sills and for the G\"ollnitz-Gordon-Andrews identities by Coulson, Kanade, Lepowsky, McRae, Qi, Russell, and the third author. Our proof borrows both the use of "ghost series" from the "motivated proof" of the Andrews-Bressoud identities and uses recursions similar to those found in the "motivated proof" of the G\"ollnitz-Gordon-Andrews identities. We anticipate that this "motivated proof" of the Bressoud-G\"ollnitz-Gordon identities will illuminate certain twisted vertex-algebraic constructions.


title: Active Exploration in Iterative Gaussian Process Regression for Uncertainty Modeling in Autonomous Racing

abstract: Autonomous racing creates challenging control problems, but Model Predictive Control (MPC) has made promising steps toward solving both the minimum lap-time problem and head-to-head racing. Yet, accurate models of the system are necessary for model-based control, including models of vehicle dynamics and opponent behavior. Both dynamics model error and opponent behavior can be modeled with Gaussian Process (GP) regression. GP models can be updated iteratively from data collected using the controller, but the strength of the GP model depends on the diversity of the training data. We propose a novel active exploration mechanism for iterative GP regression that purposefully collects additional data at regions of higher uncertainty in the GP model. In the exploration, a MPC collects diverse data by balancing the racing objectives and the exploration criterion; then the GP is re-trained. The process is repeated iteratively; in later iterations, the exploration is deactivated, and only the racing objectives are optimized. Thus, the MPC can achieve better performance by leveraging the improved GP model. We validate our approach in the highly realistic racing simulation platform Gran Turismo Sport of Sony Interactive Entertainment Inc for a minimum lap time challenge, and in numerical simulation of head-to-head. Our active exploration mechanism yields a significant improvement in the GP prediction accuracy compared to previous approaches and, thus, an improved racing performance.


title: Obtaining Explainable Classification Models using Distributionally Robust Optimization

abstract: Model explainability is crucial for human users to be able to interpret how a proposed classifier assigns labels to data based on its feature values. We study generalized linear models constructed using sets of feature value rules, which can capture nonlinear dependencies and interactions. An inherent trade-off exists between rule set sparsity and its prediction accuracy. It is computationally expensive to find the right choice of sparsity -- e.g., via cross-validation -- with existing methods. We propose a new formulation to learn an ensemble of rule sets that simultaneously addresses these competing factors. Good generalization is ensured while keeping computational costs low by utilizing distributionally robust optimization. The formulation utilizes column generation to efficiently search the space of rule sets and constructs a sparse ensemble of rule sets, in contrast with techniques like random forests or boosting and their variants. We present theoretical results that motivate and justify the use of our distributionally robust formulation. Extensive numerical experiments establish that our method improves over competing methods -- on a large set of publicly available binary classification problem instances -- with respect to one or more of the following metrics: generalization quality, computational cost, and explainability.


title: From Discrete to Continuous Best-Response Dynamics: Discrete Fluctuations Do not Scale with the Population Size

abstract: In binary decision-makings, individuals often go for a common or rare action. In the framework of evolutionary game theory, the best-response update rule can be used to model this dichotomy. Those who prefer a common action are called coordinators and those who prefer a rare one are called anticoordinators. A finite mixed population of the two types may undergo perpetual fluctuations, the characterization of which appears to be challenging. It is particularly unknown, whether the fluctuations scale with the population size. To fill this gap, we approximate the discrete finite population dynamics of coordinators and anticoordinators with the associated mean dynamics in the form of semicontinuous differential inclusions. We show that the family of the state sequences of the discrete dynamics for increasing population sizes forms a generalized stochastic approximation process for the differential inclusion. On the other hand, we show that the differential inclusions always converge to an equilibrium. This implies that the reported perpetual fluctuations in the finite discrete dynamics of coordinators and anticoordinators do not scale as the population size do. The results encourage to first analyze the often simpler semicontinuous mean dynamics of the discrete population dynamics as the semicontinuous dynamics partly reveal the asymptotic behaviour of the discrete dynamics.


title: Detection of keratoconus Diseases using deep Learning

abstract: One of the most serious corneal disorders, keratoconus is difficult to diagnose in its early stages and can result in blindness. This illness, which often appears in the second decade of life, affects people of all sexes and races. Convolutional neural networks (CNNs), one of the deep learning approaches, have recently come to light as particularly promising tools for the accurate and timely diagnosis of keratoconus. The purpose of this study was to evaluate how well different D-CNN models identified keratoconus-related diseases. To be more precise, we compared five different CNN-based deep learning architectures (DenseNet201, InceptionV3, MobileNetV2, VGG19, Xception). In our comprehensive experimental analysis, the DenseNet201-based model performed very well in keratoconus disease identification in our extensive experimental research. This model outperformed its D-CNN equivalents, with an astounding accuracy rate of 89.14% in three crucial classes: Keratoconus, Normal, and Suspect. The results demonstrate not only the stability and robustness of the model but also its practical usefulness in real-world applications for accurate and dependable keratoconus identification. In addition, D-CNN DenseNet201 performs extraordinarily well in terms of precision, recall rates, and F1 scores in addition to accuracy. These measures validate the model's usefulness as an effective diagnostic tool by highlighting its capacity to reliably detect instances of keratoconus and to reduce false positives and negatives.


title: Hyperfine Structure of Quantum Entanglement

abstract: Quantum entanglement, crucial for understanding quantum many-body systems and quantum gravity, is commonly assessed through various measures such as von Neumann entropy, mutual information, and entanglement contour, each with its inherent limitations. In this work, we introduce the \textit{hyperfine structure of entanglement}, which dissects entanglement contours known as the fine structure into particle-number cumulants. This measure exhibits a set of universal properties with its significance in quantum information science. We apply it across diverse contexts: in Fermi gases, establishing connections to mutual information and interacting conformal field theory; in AdS$_3$/CFT$_2$ holographic duality, unveiling finer subregion-subregion duality and extending bulk reconstruction; and in Chern insulators, distinguishing between different quantum phases. Our findings suggest experimental accessibility, offering fresh insights into quantum entanglement across physical systems.

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


title: Enhancement of mirror-mirror entanglement with intracavity squeezed light and squeezed-vacuum injection

abstract: In this manuscript, we investigate the enhancement of the transfer of quantum correlations from squeezed light to movable mirrors within an optomechanical system. This enhancement was achieved via the injection of squeezed light in the cavities and via intracavity squeezed light. We quantify the entanglement between mechanical oscillators via logarithmic negativity. We demonstrate that entanglement is influenced by various factors, including the gain of the parametric amplifier, the squeezing parameter characterizing the squeezed light, the rate of the phonon tunneling process, the coupling strength of the photon hopping process and the bath temperature of the mechanical oscillators. We have shown that entanglement can be improved by a convenient choice of coupling strength in the case of the photon hopping process, as well as for specified values of the gain of the parametric amplifier.


title: Model selection for Markov random fields on graphs under a mixing condition

abstract: In this work, we propose a global model selection criterion to estimate the graph of conditional dependencies of a random vector based on a finite sample. By global criterion, we mean optimizing a function over the entire set of possible graphs, eliminating the need to estimate the individual neighborhoods and subsequently combine them to estimate the graph. We prove the almost sure convergence of the graph estimator. This convergence holds provided the data is a realization of a multivariate stochastic process that satisfies a mixing condition. To the best of our knowledge, these are the first results to show the consistency of a model selection criterion for Markov random fields on graphs under non-independent data.


title: High Probability Convergence of Adam Under Unbounded Gradients and Affine Variance Noise

abstract: In this paper, we study the convergence of the Adaptive Moment Estimation (Adam) algorithm under unconstrained non-convex smooth stochastic optimizations. Despite the widespread usage in machine learning areas, its theoretical properties remain limited. Prior researches primarily investigated Adam's convergence from an expectation view, often necessitating strong assumptions like uniformly stochastic bounded gradients or problem-dependent knowledge in prior. As a result, the applicability of these findings in practical real-world scenarios has been constrained. To overcome these limitations, we provide a deep analysis and show that Adam could converge to the stationary point in high probability with a rate of $\mathcal{O}\left({\rm poly}(\log T)/\sqrt{T}\right)$ under coordinate-wise "affine" variance noise, not requiring any bounded gradient assumption and any problem-dependent knowledge in prior to tune hyper-parameters. Additionally, it is revealed that Adam confines its gradients' magnitudes within an order of $\mathcal{O}\left({\rm poly}(\log T)\right)$. Finally, we also investigate a simplified version of Adam without one of the corrective terms and obtain a convergence rate that is adaptive to the noise level.


title: Charge sensing the parity of an Andreev molecule

abstract: The proximity effect of superconductivity on confined states in semiconductors gives rise to various bound states such as Andreev bound states (ABSs), Andreev molecules and Majorana zero modes. While such bound states do not conserve charge, their Fermion parity is a good quantum number. One way to measure parity is to convert it to charge first, which is then sensed. In this work, we sense the charge of ABSs and Andreev molecules in an InSb-Al hybrid nanowire using an integrated quantum dot operated as a charge sensor. We show how charge sensing measurements can resolve the even and odd states of an Andreev molecule, without affecting the parity. Such an approach can be further utilized for parity measurements of Majorana zero modes in Kitaev chains based on quantum dots.


title: A Variational Perspective on High-Resolution ODEs

abstract: We consider unconstrained minimization of smooth convex functions. We propose a novel variational perspective using forced Euler-Lagrange equation that allows for studying high-resolution ODEs. Through this, we obtain a faster convergence rate for gradient norm minimization using Nesterov's accelerated gradient method. Additionally, we show that Nesterov's method can be interpreted as a rate-matching discretization of an appropriately chosen high-resolution ODE. Finally, using the results from the new variational perspective, we propose a stochastic method for noisy gradients. Several numerical experiments compare and illustrate our stochastic algorithm with state of the art methods.


title: A Structured Pruning Algorithm for Model-based Deep Learning

abstract: There is a growing interest in model-based deep learning (MBDL) for solving imaging inverse problems. MBDL networks can be seen as iterative algorithms that estimate the desired image using a physical measurement model and a learned image prior specified using a convolutional neural net (CNNs). The iterative nature of MBDL networks increases the test-time computational complexity, which limits their applicability in certain large-scale applications. We address this issue by presenting structured pruning algorithm for model-based deep learning (SPADE) as the first structured pruning algorithm for MBDL networks. SPADE reduces the computational complexity of CNNs used within MBDL networks by pruning its non-essential weights. We propose three distinct strategies to fine-tune the pruned MBDL networks to minimize the performance loss. Each fine-tuning strategy has a unique benefit that depends on the presence of a pre-trained model and a high-quality ground truth. We validate SPADE on two distinct inverse problems, namely compressed sensing MRI and image super-resolution. Our results highlight that MBDL models pruned by SPADE can achieve substantial speed up in testing time while maintaining competitive performance.


title: Investigation of Random Laser in the Machine Learning Approach

abstract: Machine Learning and Deep Learning are computational tools that fall within the domain of artificial intelligence. In recent years, numerous research works have advanced the application of machine and deep learning in various fields, including optics and photonics. In this article, we employ machine learning algorithms to investigate the feasibility of predicting a stochastic phenomena: random laser emissions. Our results indicate that machine and deep learning have the capacity to accurately reproduce fluctuations characteristic of random lasers. By employing simple supervised learning algorithms, we demonstrate that the random laser intensity fluctuations can be predicted using spontaneous emission and pump intensity as input parameters in the models. Applications based on the demonstrated results are discussed. Keywords: Machine Learning, Deep Learning, Random Laser.


title: Local condensation of charge-$4e$ superconductivity at a nematic domain wall

abstract: In the fluctuation regime that precedes the onset of pairing in multi-component superconductors, such as nematic and chiral superconductors, the normal state is generally unstable towards the formation of charge-$4e$ order $-$ an exotic quantum state in which electrons form coherent quartets rather than Cooper pairs. However, charge-$4e$ order is often suppressed by other competing composite orders, such as nematics. Importantly, the formation of nematic domains is unavoidable due to the long-range strains generated, leading to one-dimensional regions where the competing nematic order is suppressed. Here, we employ a real-space variational approach to demonstrate that, in such nematic domain walls, charge-$4e$ order is locally condensed via a vestigial-order mechanism. We explore the experimental manifestations of this effect and discuss materials in which it can be potentially observed.


title: Eigenvalue spectra of finely structured random matrices

abstract: Random matrix theory allows for the deduction of stability criteria for complex systems using only a summary knowledge of the statistics of the interactions between components. As such, results like the well-known elliptical law are applicable in a myriad of different contexts. However, it is often assumed that all components of the complex system in question are statistically equivalent, which is unrealistic in many applications. Here, we introduce the concept of a finely-structured random matrix. These are random matrices with element-specific statistics, which can be used to model systems in which the individual components are statistically distinct. By supposing that the degree of `fine structure' in the matrix is small, we arrive at a succinct `modified' elliptical law. We demonstrate the direct applicability of our results to the niche and cascade models in theoretical ecology, as well as a model of a neural network, and a directed network with arbitrary degree distribution. The simple closed form of our central results allow us to draw broad qualitative conclusions about the effect of fine structure on stability.


title: Towards Unsupervised Object Detection From LiDAR Point Clouds

abstract: In this paper, we study the problem of unsupervised object detection from 3D point clouds in self-driving scenes. We present a simple yet effective method that exploits (i) point clustering in near-range areas where the point clouds are dense, (ii) temporal consistency to filter out noisy unsupervised detections, (iii) translation equivariance of CNNs to extend the auto-labels to long range, and (iv) self-supervision for improving on its own. Our approach, OYSTER (Object Discovery via Spatio-Temporal Refinement), does not impose constraints on data collection (such as repeated traversals of the same location), is able to detect objects in a zero-shot manner without supervised finetuning (even in sparse, distant regions), and continues to self-improve given more rounds of iterative self-training. To better measure model performance in self-driving scenarios, we propose a new planning-centric perception metric based on distance-to-collision. We demonstrate that our unsupervised object detector significantly outperforms unsupervised baselines on PandaSet and Argoverse 2 Sensor dataset, showing promise that self-supervision combined with object priors can enable object discovery in the wild. For more information, visit the project website: https://waabi.ai/research/oyster


title: Sharp Global Well-posedness and Scattering of the Boltzmann Equation

abstract: We consider the 3D Boltzmann equation for the Maxwellian particle and soft potential with an angular cutoff. We prove sharp global well-posedness with initial data small in the scaling-critical space. The solution also remains in $L^{1}$ if the initial datum is in $L^{1}$, even at such low regularity. The key to existence, uniqueness and regularity criteria is the new bilinear spacetime estimates for the gain term, the proof of which is based on novel techniques from nonlinear dispersive PDEs including the atomic $U$-$V$ spaces, multi-linear frequency analysis, dispersive estimates, etc. To our knowledge, this is the first 3D sharp global result for the Boltzmann equation.


title: Trust-Preserved Human-Robot Shared Autonomy enabled by Bayesian Relational Event Modeling

abstract: Shared autonomy functions as a flexible framework that empowers robots to operate across a spectrum of autonomy levels, allowing for efficient task execution with minimal human oversight. However, humans might be intimidated by the autonomous decision-making capabilities of robots due to perceived risks and a lack of trust. This paper proposed a trust-preserved shared autonomy strategy that allows robots to seamlessly adjust their autonomy level, striving to optimize team performance and enhance their acceptance among human collaborators. By enhancing the relational event modeling framework with Bayesian learning techniques, this paper enables dynamic inference of human trust based solely on time-stamped relational events communicated within human-robot teams. Adopting a longitudinal perspective on trust development and calibration in human-robot teams, the proposed trust-preserved shared autonomy strategy warrants robots to actively establish, maintain, and repair human trust, rather than merely passively adapting to it. We validate the effectiveness of the proposed approach through a user study on a human-robot collaborative search and rescue scenario. The objective and subjective evaluations demonstrate its merits on both task execution and user acceptability over the baseline approach that does not consider the preservation of trust.


title: A cast of thousands: How the IDEAS Productivity project has advanced software productivity and sustainability

abstract: Computational and data-enabled science and engineering are revolutionizing advances throughout science and society, at all scales of computing. For example, teams in the U.S. DOE Exascale Computing Project have been tackling new frontiers in modeling, simulation, and analysis by exploiting unprecedented exascale computing capabilities-building an advanced software ecosystem that supports next-generation applications and addresses disruptive changes in computer architectures. However, concerns are growing about the productivity of the developers of scientific software, its sustainability, and the trustworthiness of the results that it produces. Members of the IDEAS project serve as catalysts to address these challenges through fostering software communities, incubating and curating methodologies and resources, and disseminating knowledge to advance developer productivity and software sustainability. This paper discusses how these synergistic activities are advancing scientific discovery-mitigating technical risks by building a firmer foundation for reproducible, sustainable science at all scales of computing, from laptops to clusters to exascale and beyond.


title: Gravitational waves radiated from axion string-wall networks

abstract: We examine gravitational waves (GWs) emitted from axionic strings and domain walls (DWs) in the early universe using advanced 3D lattice simulations. Our study encompasses scenarios for domain wall numbers $N_{\rm DW}=1$ and $N_{\rm DW}>1$, which correspond to GWs primarily from strings and DWs, respectively. Simulations begin before the Peccei-Quinn (PQ) phase transition and conclude with the destruction of string-wall networks below the QCD energy scale, relevant to both QCD axions and axion-like particles (ALPs). For $N_{\rm DW}=1$, the GW energy density from axion strings appears undetectable for both QCD axions and ALPs. In contrast, for $N_{\rm DW}>1$, the GW spectrum is largely determined by the bias term's coefficient, with the QCD axion model predicting undetectable GW emissions, while the ALPs model allows for a detectable GW signal in the nano-Hertz to the kilo-Hertz frequency range.


title: The Manin conjecture for toric stacks

abstract: Split toric stacks over a number field $F$ are natural generalization of split toric varieties over $F$. Notable examples are weighted projective stacks. In our previous work, we defined heights on Deligne-Mumford stacks using so-called raised line bundles and made predictions on asymptotic formulas of the number of rational points of bounded height. In this paper, we prove that the number of rational points of any split toric stack of bounded height with respect to the anti-canonical raised line bundle satisfies one of our predictions, the Manin conjecture for Deligne-Mumford stacks.


title: SMORE: Score Models for Offline Goal-Conditioned Reinforcement Learning

abstract: Offline Goal-Conditioned Reinforcement Learning (GCRL) is tasked with learning to achieve multiple goals in an environment purely from offline datasets using sparse reward functions. Offline GCRL is pivotal for developing generalist agents capable of leveraging pre-existing datasets to learn diverse and reusable skills without hand-engineering reward functions. However, contemporary approaches to GCRL based on supervised learning and contrastive learning are often suboptimal in the offline setting. An alternative perspective on GCRL optimizes for occupancy matching, but necessitates learning a discriminator, which subsequently serves as a pseudo-reward for downstream RL. Inaccuracies in the learned discriminator can cascade, negatively influencing the resulting policy. We present a novel approach to GCRL under a new lens of mixture-distribution matching, leading to our discriminator-free method: SMORe. The key insight is combining the occupancy matching perspective of GCRL with a convex dual formulation to derive a learning objective that can better leverage suboptimal offline data. SMORe learns scores or unnormalized densities representing the importance of taking an action at a state for reaching a particular goal. SMORe is principled and our extensive experiments on the fully offline GCRL benchmark composed of robot manipulation and locomotion tasks, including high-dimensional observations, show that SMORe can outperform state-of-the-art baselines by a significant margin.


title: Bi-Level-Based Inverse Stochastic Optimal Control

abstract: In this paper, we propose a new algorithm to solve the Inverse Stochastic Optimal Control (ISOC) problem of the linear-quadratic sensorimotor (LQS) control model. The LQS model represents the current state-of-the-art in describing goal-directed human movements. The ISOC problem aims at determining the cost function and noise scaling matrices of the LQS model from measurement data since both parameter types influence the statistical moments predicted by the model and are unknown in practice. We prove global convergence for our new algorithm and at a numerical example, validate the theoretical assumptions of our method. By comprehensive simulations, the influence of the tuning parameters of our algorithm on convergence behavior and computation time is analyzed. The new algorithm computes ISOC solutions nearly 33 times faster than the single previously existing ISOC algorithm.


title: Extremely strong CIV 1550 nebular emission in the extremely low-metallicity star-forming galaxy J2229+2725

abstract: Using Hubble Space Telescope (HST)/Cosmic Origins Spectrograph (COS) observations of one of the most metal-poor dwarf star-forming galaxies (SFG) in the local Universe, J2229+2725, we have discovered an extremely strong nebular CIV 1549, 1551 emission-line doublet, with an equivalent width of 43A, several times higher than the value observed so far in low-redshift SFGs. Together with other extreme characteristics obtained from optical spectroscopy (oxygen abundance 12+log(O/H)=7.085+/-0.031, ratio O32 = I([OIII]5007)/I([OII]3727) ~ 53, and equivalent width of the Hbeta emission line EW(Hbeta) = 577A), this galaxy greatly increases the range of physical properties for dwarf SFGs at low redshift and is a likely analogue of the high-redshift dwarf SFGs responsible for the reionization of the Universe. We find the ionizing radiation in J2229+2725 to be stellar in origin and the high EW(CIV 1549,1551) to be due to both extreme ionization conditions and a high carbon abundance, with a corresponding log C/O = -0.38, that is ~ 0.4 dex higher than the average value for nearby low-metallicity SFGs.


title: Using random coherent states to mimic quantum illumination

abstract: Quantum illumination uses quantum correlations to enhance the detection of an object in the presence of background noise. This advantage has been shown to exist even if one uses non-optimal direct measurements on the two correlated modes. Here we present a protocol that mimics the behaviour of quantum illumination, but does not use correlated or entangled modes. Instead, the protocol uses coherent (or phase-randomized coherent) pulses with randomly chosen intensities. The intensities are drawn from a distribution such that the average state looks thermal. Under appropriate conditions, the mimic protocol can perform similarly to quantum illumination schemes that use direct measurements. This holds even for a reflectance as low as $10^{-7}$. We also present an analytic condition which allows one to determine the sets of parameters in which each protocol works best.


title: DeliverAI: Reinforcement Learning Based Distributed Path-Sharing Network for Food Deliveries

abstract: Delivery of items from the producer to the consumer has experienced significant growth over the past decade and has been greatly fueled by the recent pandemic. Amazon Fresh, Shopify, UberEats, InstaCart, and DoorDash are rapidly growing and are sharing the same business model of consumer items or food delivery. Existing food delivery methods are sub-optimal because each delivery is individually optimized to go directly from the producer to the consumer via the shortest time path. We observe a significant scope for reducing the costs associated with completing deliveries under the current model. We model our food delivery problem as a multi-objective optimization, where consumer satisfaction and delivery costs, both, need to be optimized. Taking inspiration from the success of ride-sharing in the taxi industry, we propose DeliverAI - a reinforcement learning-based path-sharing algorithm. Unlike previous attempts for path-sharing, DeliverAI can provide real-time, time-efficient decision-making using a Reinforcement learning-enabled agent system. Our novel agent interaction scheme leverages path-sharing among deliveries to reduce the total distance traveled while keeping the delivery completion time under check. We generate and test our methodology vigorously on a simulation setup using real data from the city of Chicago. Our results show that DeliverAI can reduce the delivery fleet size by 12\%, the distance traveled by 13%, and achieve 50% higher fleet utilization compared to the baselines.


title: Active Reasoning in an Open-World Environment

abstract: Recent advances in vision-language learning have achieved notable success on complete-information question-answering datasets through the integration of extensive world knowledge. Yet, most models operate passively, responding to questions based on pre-stored knowledge. In stark contrast, humans possess the ability to actively explore, accumulate, and reason using both newfound and existing information to tackle incomplete-information questions. In response to this gap, we introduce $Conan$, an interactive open-world environment devised for the assessment of active reasoning. $Conan$ facilitates active exploration and promotes multi-round abductive inference, reminiscent of rich, open-world settings like Minecraft. Diverging from previous works that lean primarily on single-round deduction via instruction following, $Conan$ compels agents to actively interact with their surroundings, amalgamating new evidence with prior knowledge to elucidate events from incomplete observations. Our analysis on $Conan$ underscores the shortcomings of contemporary state-of-the-art models in active exploration and understanding complex scenarios. Additionally, we explore Abduction from Deduction, where agents harness Bayesian rules to recast the challenge of abduction as a deductive process. Through $Conan$, we aim to galvanize advancements in active reasoning and set the stage for the next generation of artificial intelligence agents adept at dynamically engaging in environments.


title: Reproducible Parameter Inference Using Bagged Posteriors

abstract: Under model misspecification, it is known that Bayesian posteriors often do not properly quantify uncertainty about true or pseudo-true parameters. Even more fundamentally, misspecification leads to a lack of reproducibility in the sense that the same model will yield contradictory posteriors on independent data sets from the true distribution. To define a criterion for reproducible uncertainty quantification under misspecification, we consider the probability that two confidence sets constructed from independent data sets have nonempty overlap, and we establish a lower bound on this overlap probability that holds for any valid confidence sets. We prove that credible sets from the standard posterior can strongly violate this bound, particularly in high-dimensional settings (i.e., with dimension increasing with sample size), indicating that it is not internally coherent under misspecification. To improve reproducibility in an easy-to-use and widely applicable way, we propose to apply bagging to the Bayesian posterior ("BayesBag"'); that is, to use the average of posterior distributions conditioned on bootstrapped datasets. We motivate BayesBag from first principles based on Jeffrey conditionalization and show that the bagged posterior typically satisfies the overlap lower bound. Further, we prove a Bernstein--Von Mises theorem for the bagged posterior, establishing its asymptotic normal distribution. We demonstrate the benefits of BayesBag via simulation experiments and an application to crime rate prediction.


title: Simulating Photosynthetic Energy Transport on a Photonic Network

abstract: Quantum effects in photosynthetic energy transport in nature, especially for the typical Fenna-Matthews-Olson (FMO) complexes, are extensively studied in quantum biology. Such energy transport processes can be investigated as open quantum systems that blend the quantum coherence and environmental noises, and have been experimentally simulated on a few quantum devices. However, the existing experiments always lack a solid quantum simulation for the FMO energy transport due to their constraints to map a variety of issues in actual FMO complexes that have rich biological meanings. Here we successfully map the full coupling profile of the seven-site FMO structure by comprehensive characterization and precise control of the evanescent coupling of the three-dimensional waveguide array. By applying a stochastic dynamical modulation on each waveguide, we introduce the base site energy and the dephasing term in colored noises to faithfully simulate the power spectral density of the FMO complexes. We show our photonic model well interprets the issues including the reorganization energy, vibrational assistance, exciton transfer and energy localization. We further experimentally demonstrate the existence of an optimal transport efficiency at certain dephasing strength, providing a window to closely investigate environment-assisted quantum transport.


title: CMS ECAL VFE design, production and testing

abstract: Maintaining the required performance of the CMS electromagnetic calorimeter (ECAL) barrel at the High-Luminosity Large Hadron Collider (HL-LHC) requires the replacement of the entire on-detector electronics. 12240 new very front end (VFE) cards will amplify and digitize the signals of 62100 lead-tungstate crystals instrumented with avalanche photodiodes. The VFE cards host five channels of CATIA pre-amplifier ASICs followed by LiTE-DTU ASICs, which digitize signals with 160MS/s and 12bit resolution. We present the strategy and infrastructure developed for achieving the required reliability of less than 0.5% failing channels over the expected lifetime of 20 years. This includes the choice of standards, design for reliability and manufacturing, as well as factory acceptance tests, reception testing, environmental stress screening and calibration of the VFE cards.


title: Production of the $\Xi N$ dibaryon as a weakly bound system in $pp$ collisions

abstract: The $\Xi N$ interaction plays an important role in our understanding on the long-anticipated $H$-dibaryon. Recent lattice QCD calculations verified the attractive nature of the $\Xi N$ interaction. On the other hand, whether it is strong enough to generate a bound state remains inconclusive.In this work, assuming that it can generate a weakly bound state, we study the yields of the $\Xi N$ dibaryon for different binding energies in $pp$ collisions at 7 TeV using the coalescence model and the transport model PACIAE. The yields are estimated first numerically and then analytically adopting a Yukawa-type wave function. In particular, we find that in the weak binding limit, there exists a universal relation between the yield and the binding energy, valid for $pp$ collisions.


title: FiloBass: A Dataset and Corpus Based Study of Jazz Basslines

abstract: We present FiloBass: a novel corpus of music scores and annotations which focuses on the important but often overlooked role of the double bass in jazz accompaniment. Inspired by recent work that sheds light on the role of the soloist, we offer a collection of 48 manually verified transcriptions of professional jazz bassists, comprising over 50,000 note events, which are based on the backing tracks used in the FiloSax dataset. For each recording we provide audio stems, scores, performance-aligned MIDI and associated metadata for beats, downbeats, chord symbols and markers for musical form. We then use FiloBass to enrich our understanding of jazz bass lines, by conducting a corpus-based musical analysis with a contrastive study of existing instructional methods. Together with the original FiloSax dataset, our work represents a significant step toward a fully annotated performance dataset for a jazz quartet setting. By illuminating the critical role of the bass in jazz, this work contributes to a more nuanced and comprehensive understanding of the genre.


title: Absorption spectra of the purple nonsulfur bacteria light-harvesting complex: a DFT study of the B800 part

abstract: We've studied the B800 part of Rhodoblastus acidophilus light-harvesting complex (LH2) by several quantum chemical techniques based on the density functional theory (DFT) and determined the specific method and a minimal reliable model suitable for further studies of the LH2. In addition to bacteriochlorophyll a molecules, the minimal model includes two $\alpha$ and one $\beta$ chain amino acids. Within the model, we are able to reproduce the contribution of the B800 ring of nine bacteriochlorophyll a molecules to the near infrared $Q_y$ absorption band. We also discuss the use of hybrid DFT calculations for precise energy and optical estimations and DFT-based tight binding (DFTB) method for the large-scale calculations. Crucial importance of Hartree-Fock exchange interaction for the correct description of B800 peak position was shown.

categories: physics.chem-ph physics.atm-clus physics.bio-ph quant-ph


title: Vicinal Risk Minimization for Few-Shot Cross-lingual Transfer in Abusive Language Detection

abstract: Cross-lingual transfer learning from high-resource to medium and low-resource languages has shown encouraging results. However, the scarcity of resources in target languages remains a challenge. In this work, we resort to data augmentation and continual pre-training for domain adaptation to improve cross-lingual abusive language detection. For data augmentation, we analyze two existing techniques based on vicinal risk minimization and propose MIXAG, a novel data augmentation method which interpolates pairs of instances based on the angle of their representations. Our experiments involve seven languages typologically distinct from English and three different domains. The results reveal that the data augmentation strategies can enhance few-shot cross-lingual abusive language detection. Specifically, we observe that consistently in all target languages, MIXAG improves significantly in multidomain and multilingual environments. Finally, we show through an error analysis how the domain adaptation can favour the class of abusive texts (reducing false negatives), but at the same time, declines the precision of the abusive language detection model.


title: APRICOT-Mamba: Acuity Prediction in Intensive Care Unit (ICU): Development and Validation of a Stability, Transitions, and Life-Sustaining Therapies Prediction Model

abstract: The acuity state of patients in the intensive care unit (ICU) can quickly change from stable to unstable. Early detection of deteriorating conditions can result in providing timely interventions and improved survival rates. In this study, we propose APRICOT-M (Acuity Prediction in Intensive Care Unit-Mamba), a 150k-parameter state space-based neural network to predict acuity state, transitions, and the need for life-sustaining therapies in real-time in ICU patients. The model uses data obtained in the prior four hours in the ICU and patient information obtained at admission to predict the acuity outcomes in the next four hours. We validated APRICOT-M externally on data from hospitals not used in development (75,668 patients from 147 hospitals), temporally on data from a period not used in development (12,927 patients from one hospital from 2018-2019), and prospectively on data collected in real-time (215 patients from one hospital from 2021-2023) using three large datasets: the University of Florida Health (UFH) dataset, the electronic ICU Collaborative Research Database (eICU), and the Medical Information Mart for Intensive Care (MIMIC)-IV. The area under the receiver operating characteristic curve (AUROC) of APRICOT-M for mortality (external 0.94-0.95, temporal 0.97-0.98, prospective 0.96-1.00) and acuity (external 0.95-0.95, temporal 0.97-0.97, prospective 0.96-0.96) shows comparable results to state-of-the-art models. Furthermore, APRICOT-M can predict transitions to instability (external 0.81-0.82, temporal 0.77-0.78, prospective 0.68-0.75) and need for life-sustaining therapies, including mechanical ventilation (external 0.82-0.83, temporal 0.87-0.88, prospective 0.67-0.76), and vasopressors (external 0.81-0.82, temporal 0.73-0.75, prospective 0.66-0.74). This tool allows for real-time acuity monitoring in critically ill patients and can help clinicians make timely interventions.


title: Investigation of low gain avalanche detectors exposed to proton fluences beyond 10$^{15}$ n$_\mathrm{eq}$cm$^{-2}$

abstract: Low gain avalanche detectors (LGADs) deliver excellent timing resolution, which can mitigate mis-assignment of vertices associated with pileup at the High Luminosity LHC and other future hadron colliders. The most highly irradiated LGADs will be subject to $2.5 \times10^{15} \mathrm{n}_\mathrm{eq} \mathrm{cm}^{-2}$ of hadronic fluence during HL-LHC operation; their performance must tolerate this. Hamamatsu Photonics K.K. and Fondazione Bruno Kessler LGADs have been irradiated with 400 and 500 MeV protons respectively in several steps up to $1.5 \times10^{15} \mathrm{n}_\mathrm{eq} \mathrm{cm}^{-2}$. Measurements of the acceptor removal constants of the gain layers, evolution of the timing resolution and charge collection with damage, and inter-channel isolation characteristics, for a variety of design options, are presented here.


title: Toward global fits using Higgs STXS data with Lilith

abstract: In this talk, we present the program Lilith, a python package for constraining new physics from Higgs measurements. We discuss the usage of signal strength results in the latest published version of Lilith, which allows for constraining deviations from SM Higgs couplings through coupling modifiers. Moreover, we discuss the on-going development to include Higgs STXS data and SMEFT parametrizations in Lilith with the aim of performing global fits of the ATLAS and CMS data. As we point out, detailed information on Standard Model uncertainties and their correlations is important to enable the proper reuse of the experimental results.


title: MetaTrinity: Enabling Fast Metagenomic Classification via Seed Counting and Edit Distance Approximation

abstract: Metagenomics, the study of genome sequences of diverse organisms cohabiting in a shared environment, has experienced significant advancements across various medical and biological fields. Metagenomic analysis is crucial, for instance, in clinical applications such as infectious disease screening and the diagnosis and early detection of diseases such as cancer. A key task in metagenomics is to determine the species present in a sample and their relative abundances. Currently, the field is dominated by either alignment-based tools, which offer high accuracy but are computationally expensive, or alignment-free tools, which are fast but lack the needed accuracy for many applications. In response to this dichotomy, we introduce MetaTrinity, a tool based on heuristics, to achieve a fundamental improvement in accuracy-runtime tradeoff over existing methods. We benchmark MetaTrinity against two leading metagenomic classifiers, each representing different ends of the performance-accuracy spectrum. On one end, Kraken2, a tool optimized for performance, shows modest accuracy yet a rapid runtime. The other end of the spectrum is governed by Metalign, a tool optimized for accuracy. Our evaluations show that MetaTrinity achieves an accuracy comparable to Metalign while gaining a 4x speedup without any loss in accuracy. This directly equates to a fourfold improvement in runtime-accuracy tradeoff. Compared to Kraken2, MetaTrinity requires a 5x longer runtime yet delivers a 17x improvement in accuracy. This demonstrates a 3.4x enhancement in the accuracy-runtime tradeoff for MetaTrinity. This dual comparison positions MetaTrinity as a broadly applicable solution for metagenomic classification, combining advantages of both ends of the spectrum: speed and accuracy. MetaTrinity is publicly available at https://github.com/CMU-SAFARI/MetaTrinity.


title: Invariant manifolds and stability for rough differential equations

abstract: We prove the existence of local stable, unstable, and center manifolds for stochastic semiflows induced by rough differential equations driven by rough paths valued stochastic processes around random fixed points of the equation. Examples include stochastic differential equations driven by a fractional Brownian motion with Hurst parameter $H > \frac{1}{4}$. In case the top Lyapunov exponent is negative, we derive almost sure exponential stability of the solution.


title: IRKA is a Riemannian Gradient Descent Method

abstract: The iterative rational Krylov algorithm (IRKA) is a commonly used fixed-point iteration developed to minimize the $\mathcal{H}_2$ model order reduction error. In this work, IRKA is recast as a Riemannian gradient descent method with a fixed step size over the manifold of rational functions having fixed degree. This interpretation motivates the development of a Riemannian gradient descent method utilizing as a natural extension variable step size and line search. Comparisons made between IRKA and this extension on a few examples demonstrate significant benefits.


title: Quantum squeezing via self-induced transparency in a photonic crystal fiber

abstract: We study the quantum squeezing produced in self-induced transparency in a photonic crystal fiber by performing a fully quantum simulation based on the positive $P$ representation. The amplitude squeezing depends on the area of the initial pulse: when the area is $2\pi$, there is no energy absorption and no amplitude squeezing. However, when the area is between 2$\pi$ and 3$\pi$, one observes amplitude-dependent energy absorption and a significant amount of squeezing. We also investigate the effect of damping and temperature: the results indicate that a heightened atom-pulse coupling, caused by an increase in the spontaneous emission ratio reduces the amplitude squeezing.


title: Testing Quantum Gravity using Pulsed Optomechanical Systems

abstract: An interesting idea, dating back to Feynman, argues that quantum mechanics may break down for large masses if one entertains the possibility that gravity can be "classical", thereby leading to predictions different from conventional low-energy quantum gravity. Despite the technical difficulty in testing such deviations, a large number of experimental proposals have been put forward due to the high level of fundamental interest. Here, we consider the Schr\"odinger-Newton (SN) theory and the Correlated Worldline (CWL) theory, and show that they can be distinguished from conventional quantum mechanics, as well as each other, by performing pulsed optomechanics experiments. For CWL specifically we develop a framework resembling the commonly used "Heisenberg-picture" treatment of coupled oscillators, allowing one to perform simple calculations for such systems without delving into the deeper path-integral formalism. We find that discriminating between the theories will be very difficult until experimental control over low frequency quantum optomechanical systems is pushed much further. However, the predicted departures of SN and CWL from quantum mechanics occur at the same scale, so both alternative models could in principle be probed by a single experiment.


title: Alloying Effects on the Microstructure and Properties of Laser Additively Manufactured Tungsten Materials

abstract: A large body of literature within the additive manufacturing (AM) community has focused on successfully creating stable tungsten (W) microstructures due to significant interest in its application for extreme environments. However, solidification cracking and additional embrittling features at grain boundaries have resulted in poorly performing microstructures, stymying the application of AM as a manufacturing technique for W. Several alloying strategies, such as ceramic particles and ductile elements, have emerged with the promise to eliminate solidification cracking while simultaneously enhancing stability against recrystallization. In this work, we provide new insights regarding the defects and microstructural features that result from the introduction of ZrC for grain refinement and NiFe as a ductile reinforcement phase - in addition to the resulting thermophysical and mechanical properties. ZrC is shown to promote microstructural stability with increased hardness due to the formation of ZrO2 dispersoids. Conversely, NiFe forms into micron-scale FCC phase regions within a BCC W matrix, producing enhanced toughness relative to pure AM W. A combination of these effects is realized in the WNiFe+ZrC system and demonstrates that complex chemical environments coupled with the tuning of AM microstructures provides an effective pathway for enabling laser AM W materials with enhanced stability and performance.


title: A Highly-Compact Direct-Injection Universal Power Flow and Quality Control Circuit

abstract: This paper presents a novel direct-injection modular universal power flow and quality control topology exclusively using lower power components. In addition to conventional high-voltage applications, it is particularly attractive for the distribution and secondary grids, e.g., in soft open points, down to low voltage as it can exploit the latest developments in low-voltage high-current semiconductors. In contrast to other concepts that do not interface the grid through transformers, it does not need to convert the entire line power but only the injected or extracted power difference. The proposed power flow and quality (f/q) controller comprises a shunt active front end, together with high-frequency links serving as a power supply for a series floating module per phase. Each of the floating modules is in series with one phase of the line, floating with the electric potential of that particular phase, avoiding any ground connection. Omitting bulky and dynamically limited line transformers of conventional universal power flow controllers, the presented direct-injection f/q controller enables exceptionally small size and volume, high power density, high frequency content, and fast response. In contrast to direct-injection concepts with full back-to-back converters, it only needs to handle a fraction of the power. The circuit combines grid-voltage low-current electronics in the shunt unit and low-voltage high-current modules in the floating series injection units. Simulations and experiments demonstrate and validate the concept.