title: Improved sensitivities of ESS$\nu$SB from a two-detector fit

abstract: We discuss the improvement of the sensitivity of ESS$\nu$SB to the discovery of CP violation and to new neutrino physics which can be obtained with a two-detector fit of the data of the near and far detectors. In particular, we consider neutrino non-standard interactions generated by very heavy vector mediators, nonunitary neutrino mixing, and neutrino oscillations due to the mixing of the ordinary active neutrinos with a light sterile neutrino.


title: EPISODE: Episodic Gradient Clipping with Periodic Resampled Corrections for Federated Learning with Heterogeneous Data

abstract: Gradient clipping is an important technique for deep neural networks with exploding gradients, such as recurrent neural networks. Recent studies have shown that the loss functions of these networks do not satisfy the conventional smoothness condition, but instead satisfy a relaxed smoothness condition, i.e., the Lipschitz constant of the gradient scales linearly in terms of the gradient norm. Due to this observation, several gradient clipping algorithms have been developed for nonconvex and relaxed-smooth functions. However, the existing algorithms only apply to the single-machine or multiple-machine setting with homogeneous data across machines. It remains unclear how to design provably efficient gradient clipping algorithms in the general Federated Learning (FL) setting with heterogeneous data and limited communication rounds. In this paper, we design EPISODE, the very first algorithm to solve FL problems with heterogeneous data in the nonconvex and relaxed smoothness setting. The key ingredients of the algorithm are two new techniques called \textit{episodic gradient clipping} and \textit{periodic resampled corrections}. At the beginning of each round, EPISODE resamples stochastic gradients from each client and obtains the global averaged gradient, which is used to (1) determine whether to apply gradient clipping for the entire round and (2) construct local gradient corrections for each client. Notably, our algorithm and analysis provide a unified framework for both homogeneous and heterogeneous data under any noise level of the stochastic gradient, and it achieves state-of-the-art complexity results. In particular, we prove that EPISODE can achieve linear speedup in the number of machines, and it requires significantly fewer communication rounds. Experiments on several heterogeneous datasets show the superior performance of EPISODE over several strong baselines in FL.


title: Understanding planet formation using microgravity experiments

abstract: In 2018, images were released of a planet being formed around the star PDS 70, offering a tantalizing glimpse into how planets come into being. However, many questions remain about how dust evolves into planets, and astrophysical observations are unable to provide all the answers. It is therefore necessary to perform experiments to reveal key details and, to avoid unwanted effects from the Earth's gravitational pull, it is often necessary to perform such experiments in microgravity platforms. This Review sketches current models of planet formation and describes the experiments needed to test the models.


title: Classification of Lung Pathologies in Neonates using Dual Tree Complex Wavelet Transform

abstract: Annually 8500 neonatal deaths are reported in the US due to respiratory failure. Recently, Lung Ultrasound (LUS), due to its radiation free nature, portability, and being cheaper is gaining wide acceptability as a diagnostic tool for lung conditions. However, lack of highly trained medical professionals has limited its use especially in remote areas. To address this, an automated screening system that captures characteristics of the LUS patterns can be of significant assistance to clinicians who are not experts in lung ultrasound (LUS) images. In this paper, we propose a feature extraction method designed to quantify the spatially-localized line patterns and texture patterns found in LUS images. Using the dual-tree complex wavelet transform (DTCWT) and four types of common image features we propose a method to classify the LUS images into 6 common neonatal lung conditions. These conditions are normal lung, pneumothorax (PTX), transient tachypnea of the newborn (TTN), respiratory distress syndrome (RDS), chronic lung disease (CLD) and consolidation (CON) that could be pneumonia or atelectasis. The proposed method using DTCWT decomposition extracted global statistical, grey-level co-occurrence matrix (GLCM), grey-level run length matrix (GLRLM) and linear binary pattern (LBP) features to be fed to a linear discriminative analysis (LDA) based classifier. Using 15 best DTCWT features along with 3 clinical features the proposed approach achieved a per-image classification accuracy of 92.78% with a balanced dataset containing 720 images from 24 patients and 74.39% with the larger unbalanced dataset containing 1550 images from 42 patients. Likewise, the proposed method achieved a maximum per-subject classification accuracy of 81.53% with 43 DTCWT features and 3 clinical features using the balanced dataset and 64.97% with 13 DTCWT features and 3 clinical features using the unbalanced dataset.


title: Spectroscopic survey of faint planetary-nebula nuclei. I. Six new "O VI" central stars

abstract: We report initial results from an ongoing spectroscopic survey of central stars of faint planetary nebulae (PNe), obtained with the Low-Resolution Spectrograph on the Hobby-Eberly Telescope. The six PN nuclei (PNNi) discussed here all have strong emission at the O VI 3811-3834 A doublet, indicative of very high temperatures. Five of them--the nuclei of Ou 2, Kn 61, Kn 15, Abell 72, and Kn 130--belong to the hydrogen-deficient PG 1159 class, showing a strong absorption feature of He II and C IV at 4650-4690 A. Based on exploratory comparisons with synthetic model-atmosphere spectra, and the presence of Ne VIII emission lines, we estimate them to have effective temperatures of order 170,000 K. The central star of Kn 15 has a Wolf-Rayet-like spectrum, with strong and broad emission lines of He II, C IV, N V, and O V-VI. We classify it [WO2], but we note that the N V 4604-4620 A emission doublet is extremely strong, indicating a relatively high nitrogen abundance. Several of the emission lines in Kn 15 vary in equivalent width by factors as large as 1.5 among our four observations from 2019 to 2022, implying significant variations in the stellar mass-loss rate. We encourage spectroscopic monitoring. Follow-up high-time-resolution photometry of these stars would be of interest, given the large fraction of pulsating variables seen among PG 1159 and [WO] PNNi.


title: A Friendly Face: Do Text-to-Image Systems Rely on Stereotypes when the Input is Under-Specified?

abstract: As text-to-image systems continue to grow in popularity with the general public, questions have arisen about bias and diversity in the generated images. Here, we investigate properties of images generated in response to prompts which are visually under-specified, but contain salient social attributes (e.g., 'a portrait of a threatening person' versus 'a portrait of a friendly person'). Grounding our work in social cognition theory, we find that in many cases, images contain similar demographic biases to those reported in the stereotype literature. However, trends are inconsistent across different models and further investigation is warranted.


title: Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs

abstract: The goal of this paper is to make a strong point for the usage of dynamical models when using reinforcement learning (RL) for feedback control of dynamical systems governed by partial differential equations (PDEs). To breach the gap between the immense promises we see in RL and the applicability in complex engineering systems, the main challenges are the massive requirements in terms of the training data, as well as the lack of performance guarantees. We present a solution for the first issue using a data-driven surrogate model in the form of a convolutional LSTM with actuation. We demonstrate that learning an actuated model in parallel to training the RL agent significantly reduces the total amount of required data sampled from the real system. Furthermore, we show that iteratively updating the model is of major importance to avoid biases in the RL training. Detailed ablation studies reveal the most important ingredients of the modeling process. We use the chaotic Kuramoto-Sivashinsky equation do demonstarte our findings.


title: Light-matter interaction at the transition between cavity and waveguide QED

abstract: Experiments based on cavity quantum electrodynamics (QED) are widely used to study the interaction of a light field with a discrete frequency spectrum and emitters. More recently, the field of waveguide QED has attracted interest due to the strong interaction between propagating photons and emitters that can be obtained in nanophotonic waveguides, where a continuum of frequency modes is allowed. Both cavity and waveguide QED share the common goal of harnessing and deepening the understanding of light-matter coupling. However, they often rely on very different experimental set-ups and theoretical descriptions. Here, we experimentally investigate the transition from cavity to waveguide QED with an ensemble of cold atoms that is coupled to a fiber-ring resonator, which contains a nanofiber section. By varying the length of the resonator from a few meters to several tens of meters, we tailor the spectral density of modes of the resonator while remaining in the strong coupling regime. We demonstrate that for progressively longer resonators, the paradigmatic Rabi oscillations of cavity QED gradually vanish, while non-Markovian features reminiscent of waveguide QED appear.


title: Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning

abstract: Semiconductor manufacturing is a notoriously complex and costly multi-step process involving a long sequence of operations on expensive and quantity-limited equipment. Recent chip shortages and their impacts have highlighted the importance of semiconductors in the global supply chains and how reliant on those our daily lives are. Due to the investment cost, environmental impact, and time scale needed to build new factories, it is difficult to ramp up production when demand spikes. This work introduces a method to successfully learn to schedule a semiconductor manufacturing facility more efficiently using deep reinforcement and self-supervised learning. We propose the first adaptive scheduling approach to handle complex, continuous, stochastic, dynamic, modern semiconductor manufacturing models. Our method outperforms the traditional hierarchical dispatching strategies typically used in semiconductor manufacturing plants, substantially reducing each order's tardiness and time until completion. As a result, our method yields a better allocation of resources in the semiconductor manufacturing process.


title: Switchable Superradiant Phase Transition with Kerr Magnons

abstract: The superradiant phase transition (SPT) has been widely studied in cavity quantum electrodynamics (CQED). However, this SPT is still subject of ongoing debates due to the no-go theorem induced by the so-called ${\bf A}^2$ term (AT). We propose a hybrid quantum system, consisting of a single-mode cavity simultaneously coupled to both a two-level system and yttrium-iron-garnet sphere supporting magnons with Kerr nonlinearity, to restore the SPT against the AT. The Kerr magnons here can effectively introduce an additional strong and tunable AT to counteract the intrinsic AT, via adiabatically eliminating the degrees of freedom of the magnons. We show that the Kerr magnons induced SPT can exist in both cases of ignoring and including the intrinsic AT. Without the intrinsic AT, the critical coupling strength can be dramatically reduced by introducing the Kerr magnons, which greatly relaxes the experimental conditions for observing the SPT. With the intrinsic AT, the forbidden SPT can be recovered with the Kerr magnons in a reversed way. Our work paves a potential way to manipulate the SPT against the AT in hybrid systems combining CQED and nonlinear magnonics.


title: Benchmarking the role of particle statistics in Quantum Reservoir Computing

abstract: Quantum reservoir computing is a neuro-inspired machine learning approach harnessing the rich dynamics of quantum systems to solve temporal tasks. It has gathered attention for its suitability for NISQ devices, for easy and fast trainability, and for potential quantum advantage. Although several types of systems have been proposed as quantum reservoirs, differences arising from particle statistics have not been established yet. In this work, we assess and compare the ability of bosons, fermions, and qubits to store information from past inputs by measuring linear and nonlinear memory capacity. While, in general, the performance of the system improves with the Hilbert space size, we show that also the information spreading capability is a key factor. For the simplest reservoir Hamiltonian choice, and for each boson limited to at most one excitation, fermions provide the best reservoir due to their intrinsic nonlocal properties. On the other hand, a tailored input injection strategy allows the exploitation of the abundance of degrees of freedom of the Hilbert space for bosonic quantum reservoir computing and enhances the computational power compared to both qubits and fermions.


title: Sub-leading twist transverse momentum dependent parton distributions in the light-front quark-diquark model

abstract: In this study, the T-even sub-leading twist transverse momentum dependent distributions (TMDs) of proton in the light-front quark-diquark model (LFQDM) have been investigated. We have derived the overlap form of the light-front wave functions (LFWFs) for the sub-leading twist proton TMDs by detangling the un-integrated quark-quark correlator for the semi-inclusive deep inelastic scattering (SIDIS). We have obtained the explicit expressions of TMDs for both the cases of the diquark being a scalar or a vector and analysed their relationships with leading twist TMDs within the same model. Average transverse momenta and average square transverse momenta for the TMDs have been tabulated and compared with the results from the light-front bag model and the light-front constituent quark model (LFCQM). In addition to this, we have also compared our results for the PDF $e(x)$ with the recent CLAS collaboration results.


title: Noisy quantum batteries

abstract: In realistic situations, physical systems can not be completely isolated from its environment. Its inevitable interaction with the environment can influence the working process of the device. In this paper, we consider two-qubit quantum batteries where one qubit of the battery is successively interacting with the spins present in the surrounding environment. We examine the effect of the interaction on the maximum amount of energy that can be extracted from the battery using unitaries. In this context, we use the notion of locally passive states. In particular, we examine the behavior of the amount of extractable work from the noisy battery, initially prepared in a locally passive or ordinary pure state, having a fixed initial entanglement, with the number of interactions the qubit has gone through. We also examine the amount of locally extractable work from the noisy battery. We realize though the amount of extractable energy, be it global or local, as a whole will decrease with the number of spins of environment it interacted with, but if we increase the time interval of the interaction with each spin, after a cut off value of the interval, the small time behavior shows a peculiarity, i.e., the extractable energy within a single interaction starts to increase with time. The cut-off time indicates the Markovian-to-non-Markovian transition of the interaction. We also observe a non-Markovian increase in extractable energy from the Markovian scenario.


title: Joint Probability Trees

abstract: We introduce Joint Probability Trees (JPT), a novel approach that makes learning of and reasoning about joint probability distributions tractable for practical applications. JPTs support both symbolic and subsymbolic variables in a single hybrid model, and they do not rely on prior knowledge about variable dependencies or families of distributions. JPT representations build on tree structures that partition the problem space into relevant subregions that are elicited from the training data instead of postulating a rigid dependency model prior to learning. Learning and reasoning scale linearly in JPTs, and the tree structure allows white-box reasoning about any posterior probability $P(Q|E)$, such that interpretable explanations can be provided for any inference result. Our experiments showcase the practical applicability of JPTs in high-dimensional heterogeneous probability spaces with millions of training samples, making it a promising alternative to classic probabilistic graphical models.


title: Arc-Flags Meet Trip-Based Public Transit Routing

abstract: We present Arc-Flag TB, a journey planning algorithm for public transit networks which combines Trip-Based Public Transit Routing (TB) with the Arc-Flags speedup technique. Compared to previous attempts to apply Arc-Flags to public transit networks, which saw limited success, our approach uses stronger pruning rules to reduce the search space. Our experiments show that Arc-Flag TB achieves a speedup of up to two orders of magnitude over TB, offering query times of less than a millisecond even on large countrywide networks. Compared to the state-of-the-art speedup technique Trip-Based Public Transit Routing Using Condensed Search Trees (TB-CST), our algorithm achieves similar query times but requires significantly less additional memory. Other state-of-the-art algorithms which achieve even faster query times, e.g., Public Transit Labeling, require enormous memory usage. In contrast, Arc-Flag TB offers a tradeoff between query performance and memory usage due to the fact that the number of regions in the network partition required by our algorithm is a configurable parameter. We also identify an issue in the transfer precomputation of TB that affects both TB-CST and Arc-Flag TB, leading to incorrect answers for some queries. This has not been previously recognized by the author of TB-CST. We provide discussion on how to resolve this issue in the future. Currently, Arc-Flag TB answers 1-6% of queries incorrectly, compared to over 20% for TB-CST on some networks.


title: Phase Separation and Aggregation in Multiblock Chains

abstract: This article focuses on phase and aggregation behavior for linear chains composed of blocks of hydrophilic and hydrophobic segments. Phase and conformational transitions of patterned chains are relevant for understanding liquid-liquid separation of biomolecular condensates, which play a prominent role in cellular biophysics, but also for surfactant and polymer applications. Previous studies of simple models for multiblock chains have shown that, depending on the sequence pattern and chain length, such systems can fall into one of two categories: displaying either phase separation or aggregation into finite-size clusters. The key new result of the present study is that both formation of finite-size aggregates and phase separation can be observed for certain chain architectures at appropriate conditions of temperature and concentration. For such systems, a bulk dense liquid condenses from a dilute phase that already contains multi-chain finite-size aggregates. The computational approach involves several distinct steps using histogram-reweighting grand canonical Monte Carlo simulations, which are described here in some level of detail.


title: On the degree-Kirchhoff index, Gutman index and the Schultz index of pentagonal cylinder/ M\"{o}bius chain

abstract: The degree-Kirchhoff index of a graph is given by the sum of inverses of non-zero eigenvalues of the normalized Laplacian matrix of the graph multiplied with the total degree of the graph. Explicit formulas for the degree-Kirchhoff index of various types of cylinder chain and M\"{o}bius chain have been obtained by many researchers in the recent past. In the present paper, we obtain closed-form formulas for the degree-Kirchhoff index of pentagonal cylinder/ M\"{o}bius chain. Also we find here the Gutman index and the Schultz index for those graphs.


title: Enhancement of the Solar Water Splitting Efficiency Mediated by Surface Segregation in Ti-doped Hematite Nanorods

abstract: Band engineering is employed thoroughly and targets technologically scalable photoanodes for solar water splitting applications. Complex and costly recipes are necessary, often for average performances. Here we report simple photoanode growth and thermal annealing, with effective band engineering results. By comparing Ti-doped hematite photoanodes annealed under Nitrogen to photoanodes annealed in air, we found strongly enhanced photocurrent, of more than 200 % in the first case. Using electrochemical impedance spectroscopy and synchrotron X-rays spectromicroscopies we demonstrate that oxidized surface states and increased density of charge carriers are responsible for the enhanced photoelectrochemical activity. Surface states are found to be related to the formation of pseudo-brookite clusters by surface Ti segregation. Spectro-ptychography is used for the first time at Ti L3 absorption edge to isolate Ti chemical coordination arising from pseudo-brookite clusters contribution. Correlated with electron microscopy investigation and Density Functional Theory (DFT) calculations, the synchrotron spectromicroscopy data prove unambiguously the origin of the better photoelectrochemical activity of N2- annealed Ti-doped hematite nanorods. Finally, we present here a handy and cheap surface engineering method, beyond the known oxygen vacancy doping, allowing a net gain in the photoelectrochemical activity for the hematite-based photoanodes.


title: Security Reputation Metrics

abstract: Security reputation metrics (aka. security metrics) quantify the security levels of organization (e.g., hosting or Internet access providers) relative to comparable entities. They enable benchmarking and are essential tools for decision and policy-making in security, and may be used to govern and steer responsible parties towards investing in security when economic or other decision-making factors may drive them to do otherwise.


title: An Experimental Study of Byzantine-Robust Aggregation Schemes in Federated Learning

abstract: Byzantine-robust federated learning aims at mitigating Byzantine failures during the federated training process, where malicious participants may upload arbitrary local updates to the central server to degrade the performance of the global model. In recent years, several robust aggregation schemes have been proposed to defend against malicious updates from Byzantine clients and improve the robustness of federated learning. These solutions were claimed to be Byzantine-robust, under certain assumptions. Other than that, new attack strategies are emerging, striving to circumvent the defense schemes. However, there is a lack of systematic comparison and empirical study thereof. In this paper, we conduct an experimental study of Byzantine-robust aggregation schemes under different attacks using two popular algorithms in federated learning, FedSGD and FedAvg . We first survey existing Byzantine attack strategies and Byzantine-robust aggregation schemes that aim to defend against Byzantine attacks. We also propose a new scheme, ClippedClustering , to enhance the robustness of a clustering-based scheme by automatically clipping the updates. Then we provide an experimental evaluation of eight aggregation schemes in the scenario of five different Byzantine attacks. Our results show that these aggregation schemes sustain relatively high accuracy in some cases but are ineffective in others. In particular, our proposed ClippedClustering successfully defends against most attacks under independent and IID local datasets. However, when the local datasets are Non-IID, the performance of all the aggregation schemes significantly decreases. With Non-IID data, some of these aggregation schemes fail even in the complete absence of Byzantine clients. We conclude that the robustness of all the aggregation schemes is limited, highlighting the need for new defense strategies, in particular for Non-IID datasets.


title: Ore localization of amenable monoid actions and applications towards entropy $-$ addition formulas and the bridge theorem

abstract: For a left action $S\overset{\lambda}{\curvearrowright}X$ of a cancellative right amenable monoid $S$ on a discrete Abelian group $X$, we construct its Ore localization $G\overset{\lambda^*}{\curvearrowright}X^*$, where $G$ is the group of left fractions of $S$; analogously, for a right action $K\overset{\rho}\curvearrowleft S$ on a compact space $K$, we construct its Ore colocalization $K^*\overset{\rho^*}{\curvearrowleft} G$. Both constructions preserve entropy, i.e., for the algebraic entropy $h_{\mathrm{alg}}$ and for the topological entropy $h_{\mathrm{top}}$ one has $h_{\mathrm{alg}}(\lambda)=h_{\mathrm{alg}}(\lambda^*)$ and $h_{\mathrm{top}}(\rho)=h_{\mathrm{top}}(\rho^*)$, respectively. Exploiting these constructions and the theory of quasi-tilings, we extend the Addition Theorem for $h_{\mathrm{top}}$, known for right actions of countable amenable groups on compact metrizable groups, to right actions $K\overset{\rho}{\curvearrowleft} S$ of cancellative right amenable monoids $S$ (with no restrictions on the cardinality) on arbitrary compact groups $K$. When the compact group $K$ is Abelian, we prove that $h_{\mathrm{top}}(\rho)$ coincides with $h_{\mathrm{alg}}(\hat{\rho})$, where $S\overset{\hat{\rho}}\curvearrowright X$ is the dual left action on the discrete Pontryagin dual $X=\hat{K}$, that is, a so-called Bridge Theorem. From the Addition Theorem for $h_{\mathrm{top}}$ and the Bridge Theorem, we obtain an Addition Theorem for $h_{\mathrm{alg}}$ for left actions $S\overset{\lambda}\curvearrowright X$ on discrete Abelian groups, so far known only under the hypotheses that either $X$ is torsion or $S$ is locally monotileable. The proofs substantially use the unified approach towards entropy based on the entropy of actions of cancellative right amenable monoids on appropriately defined normed monoids.


title: What is the Seiberg-Witten map exactly?

abstract: We give a conceptual treatment of the Seiberg-Witten map as a quasi-isomorphism of $A_\infty$-algebras.


title: A Theory of Mind Approach as Test-Time Mitigation Against Emergent Adversarial Communication

abstract: Multi-Agent Systems (MAS) is the study of multi-agent interactions in a shared environment. Communication for cooperation is a fundamental construct for sharing information in partially observable environments. Cooperative Multi-Agent Reinforcement Learning (CoMARL) is a learning framework where we learn agent policies either with cooperative mechanisms or policies that exhibit cooperative behavior. Explicitly, there are works on learning to communicate messages from CoMARL agents; however, non-cooperative agents, when capable of access a cooperative team's communication channel, have been shown to learn adversarial communication messages, sabotaging the cooperative team's performance particularly when objectives depend on finite resources. To address this issue, we propose a technique which leverages local formulations of Theory-of-Mind (ToM) to distinguish exhibited cooperative behavior from non-cooperative behavior before accepting messages from any agent. We demonstrate the efficacy and feasibility of the proposed technique in empirical evaluations in a centralized training, decentralized execution (CTDE) CoMARL benchmark. Furthermore, while we propose our explicit ToM defense for test-time, we emphasize that ToM is a construct for designing a cognitive defense rather than be the objective of the defense.


title: Divisible convex sets with properly embedded cones

abstract: In this article we construct many examples of properly convex irreducible domains divided by Zariski dense relatively hyperbolic groups in every dimension at least 3. This answers a question of Benoist. Relative hyperbolicity and non-strict convexity are captured by a family of properly embedded cones (convex hulls of points and ellipsoids) in the domain. Our construction is most flexible in dimension 3 where we give a purely topological criterion for the existence of a large deformation space of geometrically controlled convex projective structures with totally geodesic boundary on a compact 3-manifold.


title: Deformations and abelian extensions of compatible pre-Lie algebras

abstract: In this paper, we first give the notation of a compatible pre-Lie algebra and its representation. We study the relation between compatible Lie algebras and compatible pre-Lie algebras. We also construct a new bidifferential graded Lie algebra whose Maurer-Cartan elements are compatible pre-Lie structures. We give the bidifferential graded Lie algebra which controls deformations of a compatible pre-Lie algebra. Then, we introduce a cohomology of a compatible pre-Lie algebra with coefficients in itself. We study infinitesimal deformations of compatible pre-Lie algebras and show that equivalent infinitesimal deformations are in the same second cohomology group. We further give the notion of a Nijenhuis operator on a compatible pre-Lie algebra. We study formal deformations of compatible pre-Lie algebras. If the second cohomology group $\huaH^2(\g;\g)$ is trivial, then the compatible pre-Lie algebra is rigid. Finally, we give a cohomology of a compatible pre-Lie algebra with coefficients in arbitrary representation and study abelian extensions of compatible pre-Lie algebras using this cohomology. We show that abelian extensions are classified by the second cohomology group.


title: Molecular-Level Understanding of the Ro-vibrational Spectra of N$_2$O in Gaseous, Supercritical and Liquid SF$_6$ and Xe

abstract: The transition between the gas-, supercritical-, and liquid-phase behaviour is a fascinating topic which still lacks molecular-level understanding. Recent ultrafast two-dimensional infrared spectroscopy experiments suggested that the vibrational spectroscopy of N$_2$O embedded in xenon and SF$_6$ as solvents provides an avenue to characterize the transitions between different phases as the concentration (or density) of the solvent increases. The present work demonstrates that classical molecular dynamics simulations together with accurate interaction potentials allows to (semi-)quantitatively describe the transition in rotational vibrational infrared spectra from the P-/R-branch lineshape for the stretch vibrations of N$_2$O at low solvent densities to the Q-branch-like lineshapes at high densities. The results are interpreted within the classical theory of rigid-body rotation in more/less constraining environments at high/low solvent densities or based on phenomenological models for the orientational relaxation of rotational motion. It is concluded that classical MD simulations provide a powerful approach to characterize and interpret the ultrafast motion of solutes in low to high density solvents at a molecular level.


title: Respecting Boundaries: Theoretical Equivalence and Structure Beyond Dynamics

abstract: A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Knox (2011) that general relativity is equivalent to teleparallel gravity, and by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity.


title: Quantum algorithms applied to satellite mission planning for Earth observation

abstract: Earth imaging satellites are a crucial part of our everyday lives that enable global tracking of industrial activities. Use cases span many applications, from weather forecasting to digital maps, carbon footprint tracking, and vegetation monitoring. However, there are limitations; satellites are difficult to manufacture, expensive to maintain, and tricky to launch into orbit. Therefore, satellites must be employed efficiently. This poses a challenge known as the satellite mission planning problem, which could be computationally prohibitive to solve on large scales. However, close-to-optimal algorithms, such as greedy reinforcement learning and optimization algorithms, can often provide satisfactory resolutions. This paper introduces a set of quantum algorithms to solve the mission planning problem and demonstrate an advantage over the classical algorithms implemented thus far. The problem is formulated as maximizing the number of high-priority tasks completed on real datasets containing thousands of tasks and multiple satellites. This work demonstrates that through solution-chaining and clustering, optimization and machine learning algorithms offer the greatest potential for optimal solutions. This paper notably illustrates that a hybridized quantum-enhanced reinforcement learning agent can achieve a completion percentage of 98.5% over high-priority tasks, significantly improving over the baseline greedy methods with a completion rate of 75.8%. The results presented in this work pave the way to quantum-enabled solutions in the space industry and, more generally, future mission planning problems across industries.


title: Visibility-Aware Pixelwise View Selection for Multi-View Stereo Matching

abstract: The performance of PatchMatch-based multi-view stereo algorithms depends heavily on the source views selected for computing matching costs. Instead of modeling the visibility of different views, most existing approaches handle occlusions in an ad-hoc manner. To address this issue, we propose a novel visibility-guided pixelwise view selection scheme in this paper. It progressively refines the set of source views to be used for each pixel in the reference view based on visibility information provided by already validated solutions. In addition, the Artificial Multi-Bee Colony (AMBC) algorithm is employed to search for optimal solutions for different pixels in parallel. Inter-colony communication is performed both within the same image and among different images. Fitness rewards are added to validated and propagated solutions, effectively enforcing the smoothness of neighboring pixels and allowing better handling of textureless areas. Experimental results on the DTU dataset show our method achieves state-of-the-art performance among non-learning-based methods and retrieves more details in occluded and low-textured regions.


title: Hong-Ou-Mandel interference with a diode-pumped 1-GHz Ti:sapphire laser

abstract: Correlated photon pairs generated through spontaneous parametric down-conversion (SPDC) are a key resource in quantum optics. In many quantum optics applications, such as satellite quantum key distribution (QKD), a compact, high repetition rate pump laser is required. Here we demonstrate the use of a compact, GHz-rate diode-pumped three-element Kerr-lens-modelocked Ti:sapphire laser for the generation of correlated photon pairs at 790 nm. We verify the presence of indistinguishable photons produced via SPDC using Hong-Ou-Mandel (HOM) interferometry and observe a dip in coincidence counts with a visibility of 81.8\%.


title: Point Cloud Registration for LiDAR and Photogrammetric Data: a Critical Synthesis and Performance Analysis on Classic and Deep Learning Algorithms

abstract: Recent advances in computer vision and deep learning have shown promising performance in estimating rigid/similarity transformation between unregistered point clouds of complex objects and scenes. However, their performances are mostly evaluated using a limited number of datasets from a single sensor (e.g. Kinect or RealSense cameras), lacking a comprehensive overview of their applicability in photogrammetric 3D mapping scenarios. In this work, we provide a comprehensive review of the state-of-the-art (SOTA) point cloud registration methods, where we analyze and evaluate these methods using a diverse set of point cloud data from indoor to satellite sources. The quantitative analysis allows for exploring the strengths, applicability, challenges, and future trends of these methods. In contrast to existing analysis works that introduce point cloud registration as a holistic process, our experimental analysis is based on its inherent two-step process to better comprehend these approaches including feature/keypoint-based initial coarse registration and dense fine registration through cloud-to-cloud (C2C) optimization. More than ten methods, including classic hand-crafted, deep-learning-based feature correspondence, and robust C2C methods were tested. We observed that the success rate of most of the algorithms are fewer than 40% over the datasets we tested and there are still are large margin of improvement upon existing algorithms concerning 3D sparse corresopondence search, and the ability to register point clouds with complex geometry and occlusions. With the evaluated statistics on three datasets, we conclude the best-performing methods for each step and provide our recommendations, and outlook future efforts.


title: When mitigating bias is unfair: multiplicity and arbitrariness in algorithmic group fairness

abstract: Most research on fair machine learning has prioritized optimizing criteria such as Demographic Parity and Equalized Odds. Despite these efforts, there remains a limited understanding of how different bias mitigation strategies affect individual predictions and whether they introduce arbitrariness into the debiasing process. This paper addresses these gaps by exploring whether models that achieve comparable fairness and accuracy metrics impact the same individuals and mitigate bias in a consistent manner. We introduce the FRAME (FaiRness Arbitrariness and Multiplicity Evaluation) framework, which evaluates bias mitigation through five dimensions: Impact Size (how many people were affected), Change Direction (positive versus negative changes), Decision Rates (impact on models' acceptance rates), Affected Subpopulations (who was affected), and Neglected Subpopulations (where unfairness persists). This framework is intended to help practitioners understand the impacts of debiasing processes and make better-informed decisions regarding model selection. Applying FRAME to various bias mitigation approaches across key datasets allows us to exhibit significant differences in the behaviors of debiasing methods. These findings highlight the limitations of current fairness criteria and the inherent arbitrariness in the debiasing process.


title: Adversarial Rewards in Universal Learning for Contextual Bandits

abstract: We study the fundamental limits of learning in contextual bandits, where a learner's rewards depend on their actions and a known context, which extends the canonical multi-armed bandit to the case where side-information is available. We are interested in universally consistent algorithms, which achieve sublinear regret compared to any measurable fixed policy, without any function class restriction. For stationary contextual bandits, when the underlying reward mechanism is time-invariant, Blanchard et. al (2022) characterized learnable context processes for which universal consistency is achievable; and further gave algorithms ensuring universal consistency whenever this is achievable, a property known as optimistic universal consistency. It is well understood, however, that reward mechanisms can evolve over time, possibly adversarially, and depending on the learner's actions. We show that optimistic universal learning for contextual bandits with adversarial rewards is impossible in general, contrary to all previously studied settings in online learning -- including standard supervised learning. We also give necessary and sufficient conditions for universal learning under various adversarial reward models, and an exact characterization for online rewards. In particular, the set of learnable processes for these reward models is still extremely general -- larger than i.i.d., stationary or ergodic -- but in general strictly smaller than that for supervised learning or stationary contextual bandits, shedding light on new adversarial phenomena.


title: Lessons from the Development of an Anomaly Detection Interface on the Mars Perseverance Rover using the ISHMAP Framework

abstract: While anomaly detection stands among the most important and valuable problems across many scientific domains, anomaly detection research often focuses on AI methods that can lack the nuance and interpretability so critical to conducting scientific inquiry. In this application paper we present the results of utilizing an alternative approach that situates the mathematical framing of machine learning based anomaly detection within a participatory design framework. In a collaboration with NASA scientists working with the PIXL instrument studying Martian planetary geochemistry as a part of the search for extra-terrestrial life; we report on over 18 months of in-context user research and co-design to define the key problems NASA scientists face when looking to detect and interpret spectral anomalies. We address these problems and develop a novel spectral anomaly detection toolkit for PIXL scientists that is highly accurate while maintaining strong transparency to scientific interpretation. We also describe outcomes from a yearlong field deployment of the algorithm and associated interface. Finally we introduce a new design framework which we developed through the course of this collaboration for co-creating anomaly detection algorithms: Iterative Semantic Heuristic Modeling of Anomalous Phenomena (ISHMAP), which provides a process for scientists and researchers to produce natively interpretable anomaly detection models. This work showcases an example of successfully bridging methodologies from AI and HCI within a scientific domain, and provides a resource in ISHMAP which may be used by other researchers and practitioners looking to partner with other scientific teams to achieve better science through more effective and interpretable anomaly detection tools.


title: Multiplicity of routes from deterministic chaos to turbulence in the flows induced by Rayleigh-Taylor instability

abstract: The multiplicity of routes from deterministic chaos to turbulence caused by the spontaneous breaking of the local reflectional symmetry in the flows induced by Rayleigh-Taylor instability has been studied using the notion of distributed chaos. Results of numerical simulations, and laboratory and oceanic measurements have been used for this purpose. Small-scale chaotic MHD dynamo and chaotic Richtmyer-Meshkov mixing layer have been briefly discussed in this context.


title: Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking

abstract: Discovering entity mentions that are out of a Knowledge Base (KB) from texts plays a critical role in KB maintenance, but has not yet been fully explored. The current methods are mostly limited to the simple threshold-based approach and feature-based classification, and the datasets for evaluation are relatively rare. We propose BLINKout, a new BERT-based Entity Linking (EL) method which can identify mentions that do not have corresponding KB entities by matching them to a special NIL entity. To better utilize BERT, we propose new techniques including NIL entity representation and classification, with synonym enhancement. We also apply KB Pruning and Versioning strategies to automatically construct out-of-KB datasets from common in-KB EL datasets. Results on five datasets of clinical notes, biomedical publications, and Wikipedia articles in various domains show the advantages of BLINKout over existing methods to identify out-of-KB mentions for the medical ontologies, UMLS, SNOMED CT, and the general KB, WikiData.


title: Context Query Simulation for Smart Carparking Scenarios in the Melbourne CDB

abstract: The rapid growth in Internet of Things (IoT) has ushered in the way for better context-awareness enabling more smarter applications. Although for the growth in the number of IoT devices, Context Management Platforms (CMPs) that integrate different domains of IoT to produce context information lacks scalability to cater to a high volume of context queries. Research in scalability and adaptation in CMPs are of significant importance due to this reason. However, there is limited methods to benchmarks and validate research in this area due to the lack of sizable sets of context queries that could simulate real-world situations, scenarios, and scenes. Commercially collected context query logs are not publicly accessible and deploying IoT devices, and context consumers in the real-world at scale is expensive and consumes a significant effort and time. Therefore, there is a need to develop a method to reliably generate and simulate context query loads that resembles real-world scenarios to test CMPs for scale. In this paper, we propose a context query simulator for the context-aware smart car parking scenario in Melbourne Central Business District in Australia. We present the process of generating context queries using multiple real-world datasets and publicly accessible reports, followed by the context query execution process. The context query generator matches the popularity of places with the different profiles of commuters, preferences, and traffic variations to produce a dataset of context query templates containing 898,050 records. The simulator is executable over a seven-day profile which far exceeds the simulation time of any IoT system simulator. The context query generation process is also generic and context query language independent.


title: Shared memory parallelism in Modern C++ and HPX

abstract: Parallel programming remains a daunting challenge, from the struggle to express a parallel algorithm without cluttering the underlying synchronous logic, to describing which devices to employ in a calculation, to correctness. Over the years, numerous solutions have arisen, many of them requiring new programming languages, extensions to programming languages, or the addition of pragmas. Support for these various tools and extensions is available to a varying degree. In recent years, the C++ standards committee has worked to refine the language features and libraries needed to support parallel programming on a single computational node. Eventually, all major vendors and compilers will provide robust and performant implementations of these standards. Until then, the HPX library and runtime provides cutting edge implementations of the standards, as well as proposed standards and extensions. Because of these advances, it is now possible to write high performance parallel code without custom extensions to C++. We provide an overview of modern parallel programming in C++, describing the language and library features, and providing brief examples of how to use them.


title: Central exclusive diffractive production of a single photon in high-energy proton-proton collisions within the tensor-Pomeron approach

abstract: We discuss central-exclusive production (CEP) of photons via different fusion processes in the reaction $pp \to pp \gamma$ at high energies, available at RHIC and LHC, within the tensor-pomeron model. We consider two types of processes, the photoproduction contribution via the photon-pomeron and photon-reggeon fusion reactions, and the purely diffractive contribution via the reggeon-pomeron and odderon-pomeron fusion reactions. We present predictions for the measurements of photons at midrapidity, $|{\rm y}| < 2.5$, and at relatively low transverse momentum, $0.1~{\rm GeV} < k_{\perp} < 1~{\rm GeV}$. To check the main results of our study the measurement of the outgoing protons is not necessary. This is of relevance, e.g., for the present version of the ALICE detector at the LHC. Several differential distributions, for instance, in ${\rm y}$, $k_{\perp}$ and $\omega$, the rapidity, the absolute value of the transverse momentum, and the energy of the photon, respectively, are presented. We show that the photoproduction is an important process in the kinematic region specified above. There it gives a much larger cross section than diffractive bremsstrahlung. This is remarkable as the CEP cross section is of order $\alpha_{\rm em}^{3}$ whereas the bremsstrahlung one is only of order $\alpha_{\rm em}$. On the other hand, the soft-photon bremsstrahlung where the basic $pp \to pp$ reaction is due to strong interaction diffraction is more important than CEP in the forward rapidity range, $|{\rm y}| > 4$, and/or at very low $k_{\perp}$. We leave it as a challenge for the planned ALICE 3 experiment at the LHC to study these two contributions to soft photon production in $pp$ collisions. This could shed new light on the so called ``soft photon puzzle'' in hadron-hadron collisions.


title: Quantizing graphs, one way or two?

abstract: Quantum graphs were introduced to model free electrons in organic molecules using a self-adjoint Hamiltonian on a network of intervals. A second graph quantization describes wave propagation on a graph by specifying scattering matrices at the vertices. A question that is frequently raised is the extent to which these models are the same or complementary. In particular, are all energy independent unitary vertex scattering matrices associated with a self-adjoint Hamiltonian? Here we review results related to this issue. In addition, we observe that a self-adjoint Dirac operator with four component spinors produces a secular equation for the graph spectrum that matches the secular equation associated with wave propagation on the graph when the Dirac operator describes particles with zero mass and the vertex conditions do not allow spin rotation at the vertices.


title: Score Approximation, Estimation and Distribution Recovery of Diffusion Models on Low-Dimensional Data

abstract: Diffusion models achieve state-of-the-art performance in various generation tasks. However, their theoretical foundations fall far behind. This paper studies score approximation, estimation, and distribution recovery of diffusion models, when data are supported on an unknown low-dimensional linear subspace. Our result provides sample complexity bounds for distribution estimation using diffusion models. We show that with a properly chosen neural network architecture, the score function can be both accurately approximated and efficiently estimated. Furthermore, the generated distribution based on the estimated score function captures the data geometric structures and converges to a close vicinity of the data distribution. The convergence rate depends on the subspace dimension, indicating that diffusion models can circumvent the curse of data ambient dimensionality.


title: Microscopic mechanism of tunable thermal conductivity in carbon nanotube-geopolymer nanocomposites

abstract: Geopolymer has been considered as a green and low-carbon material with great potential application due to its simple synthesis process, environmental protection, excellent mechanical properties, good chemical resistance and durability. In this work, the molecular dynamics simulation is employed to investigate the effect of the size, content and distribution of carbon nanotubes on the thermal conductivity of geopolymer nanocomposites, and the microscopic mechanism is analyzed by the phonon density of states, phonon participation ratio and spectral thermal conductivity, etc. The results show that there is a significant size effect in geopolymer nanocomposites system due to the carbon nanotubes. In addition, when the content of carbon nanotubes is 16.5%, the thermal conductivity in carbon nanotubes vertical axial direction (4.85 W/(mk)) increases 125.6% compared with the system without carbon nanotubes (2.15 W/(mk)). However, the thermal conductivity in carbon nanotubes vertical axial direction (1.25 W/(mk)) decreases 41.9%, which is mainly due to the interfacial thermal resistance and phonon scattering at the interfaces. The above results provide theoretical guidance for the tunable thermal conductivity in carbon nanotube-geopolymer nanocomposites.

categories: cond-mat.soft cond-mat.mes-hall physics.app-ph physics.comp-ph


title: Global Solutions for Two-Phase Complex Fluids with Quadratic Anchoring in Soft Matter Physics

abstract: We study a diffuse interface model describing the complex rheology and the interfacial dynamics during phase separation in a polar liquid-crystalline emulsion. More precisely, the physical systems comprises a two-phase mixture consisting in a polar liquid crystal immersed in a Newtonian fluid. Such composite material is a paradigmatic example of complex fluids arising in Soft Matter which exhibits multiscale interplay. Beyond the Ginzburg-Landau and Frank elastic energies for the concentration and the polarization, the free energy of the system is characterized by a quadratic anchoring term which tunes the orientation of the polarization at the interface. This leads to several quasi-linear nonlinear couplings in the resulting system describing the macroscopic dynamics. In this work, we establish the first mathematical results concerning the global dynamics of two-phase complex fluids with interfacial anchoring mechanism. First, we determine a set of sufficient conditions on the parameters of the system and the initial conditions which guarantee the existence of global weak solutions in two and three dimensions. Secondly, we show that weak solutions are unique and globally regular in the two dimensional case. Finally, we complement our analysis with some numerical simulations to display polarization and interfacial anchoring.


title: Comparison of Ensemble-Based Data Assimilation Methods for Sparse Oceanographic Data

abstract: For oceanographic applications, probabilistic forecasts typically have to deal with i) high-dimensional complex models, and ii) very sparse spatial observations. In search-and-rescue operations at sea, for instance, the short-term predictions of drift trajectories are essential to efficiently define search areas, but in-situ buoy observations provide only very sparse point measurements, while the mission is ongoing. Statistically optimal forecasts, including consistent uncertainty statements, rely on Bayesian methods for data assimilation to make the best out of both the complex mathematical modeling and the sparse spatial data. To identify suitable approaches for data assimilation in this context, we discuss localisation strategies and compare two state-of-the-art ensemble-based methods for applications with spatially sparse observations. The first method is a version of the ensemble-transform Kalman filter, where we tailor a localisation scheme for sparse point data. The second method is the implicit equal-weights particle filter which has recently been tested for related oceanographic applications. First, we study a linear spatio-temporal model for contaminant advection and diffusion, where the analytical Kalman filter provides a reference. Next, we consider a simplified ocean model for sea currents, where we conduct state estimation and predict drift. Insight is gained by comparing ensemble-based methods on a number of skill scores including prediction bias and accuracy, distribution coverage, rank histograms, spatial connectivity and drift trajectory forecasts.


title: Online Detection of Changes in Moment-Based Projections: When to Retrain Deep Learners or Update Portfolios?

abstract: Sequential monitoring of high-dimensional nonlinear time series is studied for a projection of the second-moment matrix, a problem interesting in its own right and specifically arising in finance and deep learning. Open-end as well as closed-end monitoring is studied under mild assumptions on the training sample and the observations of the monitoring period. Asymptotics is based on Gaussian approximations of projected partial sums allowing for an estimated projection vector. Estimation is studied both for classical non-$\ell_0$-sparsity as well as under sparsity. For the case that the optimal projection depends on the unknown covariance matrix, hard- and soft-thresholded estimators are studied. Applications in finance and training of deep neural networks are discussed. The proposed detectors typically allow to reduce dramatically the required computational costs as illustrated by monitoring synthetic data.


title: Nearly flat Chern band in periodically strained monolayer and bilayer graphene

abstract: The flat band is a key ingredient for the realization of interesting quantum states for novel functionalities. In this work, we investigate the conditions for the flat band in both monolayer and bilayer graphene under periodic strain. We find topological nearly flat bands with homogeneous distribution of Berry curvature in both systems. The quantum metric of the nearly flat band closely resembles that for Landau levels. For monolayer graphene, the strain field can be regarded as an effective gauge field, while for Bernal-stacked (AB-stacked) bilayer graphene, its role is beyond the description of gauge field. We also provide an understanding of the origin of the nearly flat band in monolayer graphene in terms of the Jackiw-Rebbi model for Dirac fermions with sign-changing mass. Our work suggests strained graphene as a promising platform for strongly correlated quantum states.


title: Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey

abstract: Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graphs are becoming a popular way to represent heterogeneous and multi-relational data, methods for reasoning on graph structures have attempted to follow this neurosymbolic paradigm. Traditionally, such approaches have utilized either rule-based inference or generated representative numerical embeddings from which patterns could be extracted. However, several recent studies have attempted to bridge this dichotomy to generate models that facilitate interpretability, maintain competitive performance, and integrate expert knowledge. Therefore, we survey methods that perform neurosymbolic reasoning tasks on knowledge graphs and propose a novel taxonomy by which we can classify them. Specifically, we propose three major categories: (1) logically-informed embedding approaches, (2) embedding approaches with logical constraints, and (3) rule learning approaches. Alongside the taxonomy, we provide a tabular overview of the approaches and links to their source code, if available, for more direct comparison. Finally, we discuss the unique characteristics and limitations of these methods, then propose several prospective directions toward which this field of research could evolve.


title: Development of a prototype superconducting radio-frequency cavity for conduction-cooled accelerators

abstract: The higher efficiency of superconducting radio-frequency (SRF) cavities compared to normal-conducting ones enables the development of high-energy continuous-wave linear accelerators (linacs). Recent progress in the development of high-quality Nb$_3$Sn film coatings along with the availability of cryocoolers with high cooling capacity at 4 K makes it feasible to operate SRF cavities cooled by thermal conduction at relevant accelerating gradients for use in accelerators. A possible use of conduction-cooled SRF linacs is for environmental applications, requiring electron beams with energy of $1 - 10$ MeV and 1 MW of power. We have designed a 915 MHz SRF linac for such an application and developed a prototype single-cell cavity to prove the proposed design by operating it with cryocoolers at the accelerating gradient required for 1 MeV energy gain. The cavity has a $\sim 3$ $\mu$m thick Nb$_3$Sn film on the inner surface, deposited on a $\sim4$ mm thick bulk Nb substrate and a bulk $\sim7$ mm thick Cu outer shell with three Cu attachment tabs. The cavity was tested up to a peak surface magnetic field of 53 mT in liquid He at 4.3 K. A horizontal test cryostat was designed and built to test the cavity cooled with three Gifford-McMahon cryocoolers. The rf tests of the conduction-cooled cavity, performed at General Atomics, achieved a peak surface magnetic field of 50 mT and stable operation was possible with up to 18.5 W of rf heat load. The peak frequency shift due to microphonics was 23 Hz. These results represent the highest peak surface magnetic field achieved in a conduction-cooled SRF cavity to date and meet the requirements for a 1 MeV energy gain.


title: Are sketch-and-precondition least squares solvers numerically stable?

abstract: Sketch-and-precondition techniques are efficient and popular for solving large least squares (LS) problems of the form $Ax=b$ with $A\in\mathbb{R}^{m\times n}$ and $m\gg n$. This is where $A$ is ``sketched" to a smaller matrix $SA$ with $S\in\mathbb{R}^{\lceil cn\rceil\times m}$ for some constant $c>1$ before an iterative LS solver computes the solution to $Ax=b$ with a right preconditioner $P$, where $P$ is constructed from $SA$. Prominent sketch-and-precondition LS solvers are Blendenpik and LSRN. We show that the sketch-and-precondition technique in its most commonly used form is not numerically stable for ill-conditioned LS problems. For provable and practical backward stability and optimal residuals, we suggest using an unpreconditioned iterative LS solver on $(AP)z=b$ with $x=Pz$. Provided the condition number of $A$ is smaller than the reciprocal of the unit round-off, we show that this modification ensures that the computed solution has a backward error comparable to the iterative LS solver applied to a well-conditioned matrix. Using smoothed analysis, we model floating-point rounding errors to argue that our modification is expected to compute a backward stable solution even for arbitrarily ill-conditioned LS problems. Additionally, we provide experimental evidence that using the sketch-and-solve solution as a starting vector in sketch-and-precondition algorithms (as suggested by Rokhlin and Tygert in 2008) should be highly preferred over the zero vector. The initialization often results in much more accurate solutions -- albeit not always backward stable ones.


title: Synthesizing audio from tongue motion during speech using tagged MRI via transformer

abstract: Investigating the relationship between internal tissue point motion of the tongue and oropharyngeal muscle deformation measured from tagged MRI and intelligible speech can aid in advancing speech motor control theories and developing novel treatment methods for speech related-disorders. However, elucidating the relationship between these two sources of information is challenging, due in part to the disparity in data structure between spatiotemporal motion fields (i.e., 4D motion fields) and one-dimensional audio waveforms. In this work, we present an efficient encoder-decoder translation network for exploring the predictive information inherent in 4D motion fields via 2D spectrograms as a surrogate of the audio data. Specifically, our encoder is based on 3D convolutional spatial modeling and transformer-based temporal modeling. The extracted features are processed by an asymmetric 2D convolution decoder to generate spectrograms that correspond to 4D motion fields. Furthermore, we incorporate a generative adversarial training approach into our framework to further improve synthesis quality on our generated spectrograms. We experiment on 63 paired motion field sequences and speech waveforms, demonstrating that our framework enables the generation of clear audio waveforms from a sequence of motion fields. Thus, our framework has the potential to improve our understanding of the relationship between these two modalities and inform the development of treatments for speech disorders.


title: Dark top partner

abstract: Composite Higgs models with extended symmetries can feature mesonic dark matter candidates. In fundamental CHMs, the origin of dark parity can be explained in the UV theory. Combined with top partial compositeness, this leads to non-chiral Yukawa interaction connecting mesonic DM with one dark top partner and one SM top. We examine the DM phenomenology in SU(6)/SO(6) and SU(6)/Sp(6) CHMs with the presence of dark top partners. Phenomenological constraints require the mass of top partner in even parity to be of the multi-TeV order.


title: Convergence of Successive Linear Programming Algorithms for Noisy Functions

abstract: Gradient-based methods have been highly successful for solving a variety of both unconstrained and constrained nonlinear optimization problems. In real-world applications, such as optimal control or machine learning, the necessary function and derivative information may be corrupted by noise, however. Sun and Nocedal have recently proposed a remedy for smooth unconstrained problems by means of a stabilization of the acceptance criterion for computed iterates, which leads to convergence of the iterates of a trust-region method to a region of criticality, Sun and Nocedal (2022). We extend their analysis to the successive linear programming algorithm, Byrd et al. (2023a,2023b), for unconstrained optimization problems with objectives that can be characterized as the composition of a polyhedral function with a smooth function, where the latter and its gradient may be corrupted by noise. This gives the flexibility to cover, for example, (sub)problems arising image reconstruction or constrained optimization algorithms. We provide computational examples that illustrate the findings and point to possible strategies for practical determination of the stabilization parameter that balances the size of the critical region with a relaxation of the acceptance criterion (or descent property) of the algorithm.


title: Silences, Spikes and Bursts: Three-Part Knot of the Neural Code

abstract: When a neuron breaks silence, it can emit action potentials in a number of patterns. Some responses are so sudden and intense that electrophysiologists felt the need to single them out, labeling action potentials emitted at a particularly high frequency with a metonym -- bursts. Is there more to bursts than a figure of speech? After all, sudden bouts of high-frequency firing are expected to occur whenever inputs surge. The burst coding hypothesis advances that the neural code has three syllables: silences, spikes and bursts. We review evidence supporting this ternary code in terms of devoted mechanisms for burst generation, synaptic transmission and synaptic plasticity. We also review the learning and attention theories for which such a triad is beneficial.


title: Lattice Linearity of Multiplication and Modulo

abstract: In this paper, we study the lattice linearity of multiplication and modulo operations. We demonstrate that these operations are lattice linear and the parallel processing algorithms that we study for both these operations are able to exploit the lattice linearity of their respective problems. This implies that these algorithms can be implemented in asynchronous environments, where the nodes are allowed to read old information from each other. These algorithms also exhibit snap-stabilizing properties, i.e., starting from an arbitrary state, the sequence of state transitions made by the system strictly follows its specification.


title: $\mathcal{L}_1$Quad: $\mathcal{L}_1$ Adaptive Augmentation of Geometric Control for Agile Quadrotors with Performance Guarantees

abstract: Quadrotors that can operate safely in the presence of imperfect model knowledge and external disturbances are crucial in safety-critical applications. We present L1Quad, a control architecture for quadrotors based on the L1 adaptive control. L1Quad enables safe tubes centered around a desired trajectory that the quadrotor is always guaranteed to remain inside. Our design applies to both the rotational and the translational dynamics of the quadrotor. We lump various types of uncertainties and disturbances as unknown nonlinear (time- and state-dependent) forces and moments. Without assuming or enforcing parametric structures, L1Quad can accurately estimate and compensate for these unknown forces and moments. Extensive experimental results demonstrate that L1Quad is able to significantly outperform baseline controllers under a variety of uncertainties with consistently small tracking errors.


title: Atomic physics on a 50 nm scale: Realization of a bilayer system of dipolar atoms

abstract: Atomic physics has greatly advanced quantum science, mainly due to the ability to control the position and internal quantum state of atoms with high precision, often at the quantum limit. The dominant tool for this is laser light, which can structure and localize atoms in space (e.g., in optical tweezers, optical lattices, 1D tubes or 2D planes). Due to the diffraction limit of light, the natural length scale for most experiments with atoms is on the order of 500 nm or larger. Here we implement a new super-resolution technique which localizes and arranges atoms on a sub-50 nm scale, without any fundamental limit in resolution. We demonstrate this technique by creating a bilayer of dysprosium atoms, mapping out the atomic density distribution with sub-10 nm resolution, and observing dipolar interactions between two physically separated layers via interlayer sympathetic cooling and coupled collective excitations. At 50 nm, dipolar interactions are 1,000 times stronger than at 500 nm. For two atoms in optical tweezers, this should enable purely magnetic dipolar gates with kHz speed.


title: Complex $S_3$-symmetric 3HDM

abstract: CP violation plays a very important role in nature with implications both for Particle Physics and for Cosmology. Accounting for the observed matter anti-matter asymmetry of the Universe requires the existence of new sources of CP violation beyond the Standard Model. In models with an extended scalar sector CP violation can emerge either explicitly, i.e., at the Lagrangian level, or spontaneously. In the context of multi-Higgs extensions of the Standard Model imposing the existence of a scalar basis where all couplings are real is a sufficient condition for CP to be explicitly conserved. We discuss a three-Higgs-doublet model with an underlying $S_3$ symmetry, allowing in principle for complex couplings. In this framework it is possible to have either spontaneous or explicit CP violation in the scalar sector, depending on the regions of parameter space corresponding to the different possible vacua of the $S_3$ symmetric potential. We list all possible vacuum structures allowing for CP violation in the scalar sector specifying whether it can be explicit or spontaneous. It is by now established that CP is violated in the flavour sector and that the Cabibbo-Kobayashi-Maskawa matrix is complex. In order to understand what are the possible sources of CP violation in the Yukawa sector we analyse the implications of the different available choices of representations for the quarks under the $S_3$ group. This classification is based strictly on the exact $S_3$-symmetric scalar potential with no soft symmetry breaking terms. The scalar sector of one such model was explored numerically. After applying the theoretical and the most important experimental constraints the available parameter space is shown to be able to give rise to light neutral scalars at the $\mathcal{O}(\text{MeV})$ scale.


title: The Kelley--Meka bounds for sets free of three-term arithmetic progressions

abstract: We give a self-contained exposition of the recent remarkable result of Kelley and Meka: if $A\subseteq \{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then $\lvert A\rvert \leq \exp(-c(\log N)^{1/11})N$ for some constant $c>0$. Although our proof is identical to that of Kelley and Meka in all of the main ideas, we also incorporate some minor simplifications relating to Bohr sets. This eases some of the technical difficulties tackled by Kelley and Meka and widens the scope of their method. As a consequence, we improve the lower bounds for finding long arithmetic progressions in $A+A+A$, where $A\subseteq \{1,\ldots,N\}$.


title: The Fermionic Entanglement Entropy of the Vacuum State of a Schwarzschild Black Hole Horizon

abstract: We define and analyze the fermionic entanglement entropy of a Schwarzschild black hole horizon for the regularized vacuum state of an observer at infinity. Using separation of variables and an integral representation of the Dirac propagator, the entanglement entropy is computed to be a prefactor times the number of occupied angular momentum modes on the event horizon.


title: A relative Yau-Tian-Donaldson conjecture and stability thresholds

abstract: Generalizing Fujita-Odaka invariant, we define a function $\tilde{\delta}$ on a set of generalized $b$-divisors over a smooth Fano variety. This allows us to provide a new characterization of uniform $K$-stability. A key role is played by a new Riemann-Zariski formalism for $K$-stability. For any generalized $b$-divisor $\mathbf{D}$, we introduce a (uniform) $\mathbf{D}$-log $K$-stability notion. We prove that the existence of a unique K\"ahler-Einstein metric with prescribed singularities implies this new $K$-stability notion when the prescribed singularities are given by the generalized $b$-divisor $\mathbf{D}$. We connect the existence of a unique K\"ahler-Einstein metric with prescribed singularities to a uniform $\mathbf{D}$-log Ding-stability notion which we introduce. We show that these conditions are satisfied exactly when $\tilde{\delta}(\mathbf{D})>1$, extending to the $\mathbf{D}$-log setting the $\delta$-valuative criterion of Fujita-Odaka and Blum-Jonsson. Finally we prove the strong openness of the uniform $\mathbf{D}$-log Ding stability as a consequence of the strong continuity of $\tilde{\delta}$.


title: Evidence of Early Supershear Transition in the Mw 7.8 Kahramanmara\c{s} Earthquake From Near-Field Records

abstract: The Mw 7.8 Kahramanmara\c{s} Earthquake was larger and more destructive than what had been expected for the tectonic setting in Southeastern Turkey. By using near-field records we provide evidence for early supershear transition on the splay fault that hosted the nucleation and early propagation of the first rupture that eventually transitioned into the East Anatolian fault. The two stations located furthest from the epicenter show a larger fault parallel particle velocity component relative to the fault normal particle velocity component; a unique signature of supershear ruptures that has been identified in theoretical and experimental models of intersonic rupture growth. The third station located closest to the epicenter, while mostly preserving the classical sub-Rayleigh characteristics, it also features a small supershear pulse clearly propagating ahead of the original sub-Rayleigh rupture. This record provides, for the first time ever, field observational evidence for the mechanism of intersonic transition. By using the two furthest stations we estimate the instantaneous supershear rupture propagation speed to be ~ 1.55 Cs and the sub-Rayleigh to supershear transition length to be around 19.45 km, very close to the location of the station nearest to the epicenter. This early supershear transition might have facilitated the continued propagation and triggering of slip on the nearby East Anatolian Fault leading to amplification of the hazard. The complex dynamics of the Kahramanmara\c{s} earthquake warrants further studies.


title: Multi-teacher knowledge distillation as an effective method for compressing ensembles of neural networks

abstract: Deep learning has contributed greatly to many successes in artificial intelligence in recent years. Today, it is possible to train models that have thousands of layers and hundreds of billions of parameters. Large-scale deep models have achieved great success, but the enormous computational complexity and gigantic storage requirements make it extremely difficult to implement them in real-time applications. On the other hand, the size of the dataset is still a real problem in many domains. Data are often missing, too expensive, or impossible to obtain for other reasons. Ensemble learning is partially a solution to the problem of small datasets and overfitting. However, ensemble learning in its basic version is associated with a linear increase in computational complexity. We analyzed the impact of the ensemble decision-fusion mechanism and checked various methods of sharing the decisions including voting algorithms. We used the modified knowledge distillation framework as a decision-fusion mechanism which allows in addition compressing of the entire ensemble model into a weight space of a single model. We showed that knowledge distillation can aggregate knowledge from multiple teachers in only one student model and, with the same computational complexity, obtain a better-performing model compared to a model trained in the standard manner. We have developed our own method for mimicking the responses of all teachers at the same time, simultaneously. We tested these solutions on several benchmark datasets. In the end, we presented a wide application use of the efficient multi-teacher knowledge distillation framework. In the first example, we used knowledge distillation to develop models that could automate corrosion detection on aircraft fuselage. The second example describes detection of smoke on observation cameras in order to counteract wildfires in forests.


title: On the Multiway Principal Component Analysis

abstract: Multiway data are becoming more and more common. While there are many approaches to extending principal component analysis (PCA) from usual data matrices to multiway arrays, their conceptual differences from the usual PCA, and the methodological implications of such differences remain largely unknown. This work aims to specifically address these questions. In particular, we clarify the subtle difference between PCA and singular value decomposition (SVD) for multiway data, and show that multiway principal components (PCs) can be estimated reliably in absence of the eigengaps required by the usual PCA, and in general much more efficiently than the usual PCs. Furthermore, the sample multiway PCs are asymptotically independent and hence allow for separate and more accurate inferences about the population PCs. The practical merits of multiway PCA are further demonstrated through numerical, both simulated and real data, examples.


title: PolarStar: Expanding the Scalability Horizon of Diameter-3 Networks

abstract: In this paper, we present PolarStar, a novel family of diameter-3 network topologies derived from the star product of two low-diameter factor graphs. The proposed PolarStar construction gives the largest known diameter-3 network topologies for almost all radixes. When compared to state-of-the-art diameter-3 networks, PolarStar achieves 31% geometric mean increase in scale over Bundlefly, 91% over Dragonfly, and 690% over 3-D HyperX. PolarStar has many other desirable properties including a modular layout, large bisection, high resilience to link failures and a large number of feasible sizes for every radix. Our evaluation shows that it exhibits comparable or better performance than other diameter-3 networks under various traffic patterns.


title: Non-uniform array design for robust LoS MIMO via convex optimization

abstract: The array design problem of multiple-input multiple-output (MIMO) systems in a line-of-sight (LoS) transmit environment is examined. As uniform array configurations at the transmitter (Tx) and receiver (Rx) are optimal at specific transmit distances only, they lead to reduced spectral efficiency over a range of transmit distances. To that end, the joint design of nonuniform Tx and Rx arrays towards maximizing the minimum capacity of a LoS MIMO system across a range of transmit distances is investigated in this paper. By introducing convex relaxation, the joint Tx and Rx array design is cast as a convex optimization problem, which is solved in a iterative manner. In addition, we also implement a local search to obtain a refined solution that achieves an improved performance. It is shown that the non-uniform configurations designed with our proposed approach outperform uniform and non-uniform array designs of the literature in terms of capacity and/or complexity.


title: Matrix product symmetries and breakdown of thermalization from hard rod deformations

abstract: We construct families of exotic spin-1/2 chains using a procedure called ``hard rod deformation''. We treat both integrable and non-integrable examples. The models possess a large non-commutative symmetry algebra, which is generated by matrix product operators with fixed small bond dimension. The symmetries lead to Hilbert space fragmentation and to the breakdown of thermalization. As an effect, the models support persistent oscillations in non-equilibrium situations. Similar symmetries have been reported earlier in integrable models, but here we show that they also occur in non-integrable cases.


title: K\"{a}hler structures for holomorphic submersions

abstract: In this short paper, for any holomorphic submersion $\pi: X\rightarrow B$, we derive a criterion for $X$ to have K\"{a}hler structures. This criterion generalizes Blanchard's criterion for a special class of isotrivial holomorphic submersions. We use this criterion to answer a question of Harvey-Lawson in the case of fiber dimension one. As the main application, we prove that the existence of Hermitian-Symplectic structures on certain class of holomorphic submersions with K\"{a}hler fibers and K\"{a}hler bases implies that the total spaces are K\"{a}hler. This class includes isotrivial submersions and torus fibrations.


title: On the Role of Randomization in Adversarially Robust Classification

abstract: Deep neural networks are known to be vulnerable to small adversarial perturbations in test data. To defend against adversarial attacks, probabilistic classifiers have been proposed as an alternative to deterministic ones. However, literature has conflicting findings on the effectiveness of probabilistic classifiers in comparison to deterministic ones. In this paper, we clarify the role of randomization in building adversarially robust classifiers. Given a base hypothesis set of deterministic classifiers, we show the conditions under which a randomized ensemble outperforms the hypothesis set in adversarial risk, extending previous results. Additionally, we show that for any probabilistic binary classifier (including randomized ensembles), there exists a deterministic classifier that outperforms it. Finally, we give an explicit description of the deterministic hypothesis set that contains such a deterministic classifier for many types of commonly used probabilistic classifiers, i.e. randomized ensembles and parametric/input noise injection.


title: Additivity of derived limits in the Cohen model

abstract: We generalize the work of Jeffrey Bergfalk, Michael Hru\v{s}\'ak, and Chris Lambie-Hanson to show that, in the model constructed by adding sufficiently many Cohen reals, derived limits are additive on a large class of systems. In the process, we isolate a partition principle responsible for the vanishing of derived limits on collections of Cohen reals as well as reframe the propagating trivializations result of as a theorem of ZFC. The results also build on the work of the author, Jeffrey Bergfalk, and Justin Moore to show additvity results for strong homology.


title: Core excitations and ionizations of uranyl in Cs$_{2}$UO$_{2}$Cl$_{4}$ from relativistic embedded damped response time-dependent density functional theory and equation of motion coupled cluster calculations

abstract: X-ray spectroscopies, by their high selectivity and sensitivity to the chemical environment around the atoms probed, provide significant insight into the electronic structure of molecules and materials. Interpreting experimental results requires reliable theoretical models, accounting for environment, relativistic, electron correlation, and orbital relaxation effects in a balanced manner. = In this work, following up on prior work for valence processes [A. S. P. Gomes et al., Phys.\ Chem.\ Chem.\ Phys. 15, 15153 (2013)], we present a protocol for the simulation of core excited spectra (with damped response time-dependent density functional theory, 4c-DR-TD-DFT) and ionization energies (with the core-valence separated equation of motion coupled cluster theory, 4c-CVS-EOM-IP) based on the Dirac-Coulomb Hamiltonian, while environment effects are accounted for through the frozen density embedding (FDE) method. We showcase this approach for the uranium M$_4$-, L$_3$-edge and oxygen K-edge of uranyl tetrachloride UO$_2$Cl$_4^{2-}$ in a host Cs$_{2}$UO$_{2}$Cl$_{4}$ crystal. We have found that the 4c-DR-TD-DFT simulations yield excitation spectra that very closely match the experiment for the uranium M$_4$ and oxygen K-edges, with good agreement for the broad experimental spectra for the L$_3$-edge. By investigating the sensitivity of spectral shapes to the lifetimes, and by decomposing each peak into its components, we have been able to correlate our results with angle-resolved spectra. We have observed that for the uranium M$_4$ edge, a simplified model for uranyl tetrachloride-in which an embedding potential replaces the chloride equatorial ligands-closely matches the spectral profile obtained for the uranyl tetrachloride system.


title: Painting 3D Nature in 2D: View Synthesis of Natural Scenes from a Single Semantic Mask

abstract: We introduce a novel approach that takes a single semantic mask as input to synthesize multi-view consistent color images of natural scenes, trained with a collection of single images from the Internet. Prior works on 3D-aware image synthesis either require multi-view supervision or learning category-level prior for specific classes of objects, which can hardly work for natural scenes. Our key idea to solve this challenging problem is to use a semantic field as the intermediate representation, which is easier to reconstruct from an input semantic mask and then translate to a radiance field with the assistance of off-the-shelf semantic image synthesis models. Experiments show that our method outperforms baseline methods and produces photorealistic, multi-view consistent videos of a variety of natural scenes.


title: Bounding Training Data Reconstruction in DP-SGD

abstract: Differentially private training offers a protection which is usually interpreted as a guarantee against membership inference attacks. By proxy, this guarantee extends to other threats like reconstruction attacks attempting to extract complete training examples. Recent works provide evidence that if one does not need to protect against membership attacks but instead only wants to protect against training data reconstruction, then utility of private models can be improved because less noise is required to protect against these more ambitious attacks. We investigate this further in the context of DP-SGD, a standard algorithm for private deep learning, and provide an upper bound on the success of any reconstruction attack against DP-SGD together with an attack that empirically matches the predictions of our bound. Together, these two results open the door to fine-grained investigations on how to set the privacy parameters of DP-SGD in practice to protect against reconstruction attacks. Finally, we use our methods to demonstrate that different settings of the DP-SGD parameters leading to the same DP guarantees can result in significantly different success rates for reconstruction, indicating that the DP guarantee alone might not be a good proxy for controlling the protection against reconstruction attacks.


title: Negative moments of the Riemann zeta-function

abstract: Assuming the Riemann Hypothesis we study negative moments of the Riemann zeta-function and obtain asymptotic formulas in certain ranges of the shift in $\zeta(s)$. For example, integrating $|\zeta(1/2+\alpha+it)|^{-2k}$ with respect to $t$ from $T$ to $2T$, we obtain an asymptotic formula when the shift $\alpha$ is roughly bigger than $\frac{1}{\log T}$ and $k < 1/2$. We also obtain non-trivial upper bounds for much smaller shifts, as long as $\log\frac{1}{\alpha} \ll \log \log T$. This provides partial progress towards a conjecture of Gonek on negative moments of the Riemann zeta-function, and settles the conjecture in certain ranges. As an application, we also obtain an upper bound for the average of the generalized M\"{o}bius function.


title: Transport map unadjusted Langevin algorithms: learning and discretizing perturbed samplers

abstract: Langevin dynamics are widely used in sampling high-dimensional, non-Gaussian distributions whose densities are known up to a normalizing constant. In particular, there is strong interest in unadjusted Langevin algorithms (ULA), which directly discretize Langevin dynamics to estimate expectations over the target distribution. We study the use of transport maps that approximately normalize a target distribution as a way to precondition and accelerate the convergence of Langevin dynamics. We show that in continuous time, when a transport map is applied to Langevin dynamics, the result is a Riemannian manifold Langevin dynamics (RMLD) with metric defined by the transport map. We also show that applying a transport map to an irreversibly-perturbed ULA results in a geometry-informed irreversible perturbation (GiIrr) of the original dynamics. These connections suggest more systematic ways of learning metrics and perturbations, and also yield alternative discretizations of the RMLD described by the map, which we study. Under appropriate conditions, these discretized processes can be endowed with non-asymptotic bounds describing convergence to the target distribution in 2-Wasserstein distance. Illustrative numerical results complement our theoretical claims.


title: A Lanczos approach to the Adiabatic Gauge Potential

abstract: The Adiabatic Gauge Potential (AGP) is the generator of adiabatic deformations between quantum eigenstates. There are many ways to construct the AGP operator and evaluate the AGP norm. Recently, it was proposed that a Gram-Schmidt-type algorithm can be used to explicitly evaluate the expression of the AGP. We employ a version of this approach by using the Lanczos algorithm to evaluate the AGP operator in terms of Krylov vectors and the AGP norm in terms of the Lanczos coefficients. It has the advantage of minimizing redundancies in evaluating the nested commutators in the analytic expression for the AGP operator. The algorithm is used to explicitly construct the AGP operator for some simple systems. We derive an integral transform relation between the AGP norm and the autocorrelation function of the deformation operator. We present a modification of the Variational approach to derive the regulated AGP norm. Using this, we approximate the AGP to varying degrees of success. Finally, we compare and contrast the quantum-chaos-probing capacities of the AGP and K-complexity in view of the Operator Growth Hypothesis.

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


title: Moving on from the software engineers' gambit: an approach to support the defense of software effort estimates

abstract: Pressure for higher productivity and faster delivery is increasingly pervading software organizations. This can lead software engineers to act like chess players playing a gambit -- making sacrifices of their technically sound estimates, thus submitting their teams to time pressure. In turn, time pressure can have varied detrimental effects, such as poor product quality and emotional distress, decreasing productivity, which leads to more time pressure and delays: a hard-to-stop vicious cycle. This reveals a need for moving on from the more passive strategy of yielding to pressure to a more active one of defending software estimates. Therefore, we propose an approach to support software estimators in acquiring knowledge on how to carry out such defense, by introducing negotiation principles encapsulated in a set of defense lenses, presented through a digital simulation. We evaluated the proposed approach through a controlled experiment with software practitioners from different companies. We collected data on participants' attitudes, subjective norms, perceived behavioral control, and intentions to perform the defense of their estimates in light of the Theory of Planned Behavior. We employed a frequentist and a bayesian approach to data analysis. Results show improved scores among experimental group participants after engaging with the digital simulation and learning about the lenses. They were also more inclined to choose a defense action when facing pressure scenarios than a control group exposed to questions to reflect on the reasons and outcomes of pressure over estimates. Qualitative evidence reveals that practitioners perceived the set of lenses as useful in their current work environments. Collectively, these results show the effectiveness of the proposed approach and its perceived relevance for the industry, despite the low amount of time required to engage with it.


title: Parker Solar Probe Observations of High Plasma Beta Solar Wind from Streamer Belt

abstract: In general, slow solar wind from the streamer belt forms a high plasma beta equatorial plasma sheet around the heliospheric current sheet (HCS) crossing, namely the heliospheric plasma sheet (HPS). Current Parker Solar Probe (PSP) observations show that the HCS crossings near the Sun could be full or partial current sheet crossing (PCS), and they share some common features but also have different properties. In this work, using the PSP observations from encounters 4 to 10, we identify streamer belt solar wind from enhancements in plasma beta, and we further use electron pitch angle distributions to separate it into HPS solar wind that around the full HCS crossings and PCS solar wind that in the vicinity of PCS crossings. Based on our analysis, we find that the PCS solar wind has different characteristics as compared with HPS solar wind: a) PCS solar wind could be non-pressure-balanced structures rather than magnetic holes, and the total pressure enhancement mainly results from the less reduced magnetic pressure; b) some of the PCS solar wind are mirror unstable; c) PCS solar wind is dominated by very low helium abundance but varied alpha-proton differential speed. We suggest the PCS solar wind could originate from coronal loops deep inside the streamer belt, and it is pristine solar wind that still actively interacts with ambient solar wind, thus it is valuable for further investigations on the heating and acceleration of slow solar wind.


title: Haze and light diffraction of dielectric line-gratings

abstract: The optical characterization of dielectric periodic line-gratings for which the period of the grating is significantly larger than the probing wavelength is investigated experimentally, numerically, and analytically. The experimental diffraction efficiencies are analyzed in transmission with the help of a closed-form approximate solution within a single scattering picture. In particular, the angular width of significant scattering and the haze are analyzed for samples of increasing grating profile amplitude.


title: A Psycholinguistic Analysis of BERT's Representations of Compounds

abstract: This work studies the semantic representations learned by BERT for compounds, that is, expressions such as sunlight or bodyguard. We build on recent studies that explore semantic information in Transformers at the word level and test whether BERT aligns with human semantic intuitions when dealing with expressions (e.g., sunlight) whose overall meaning depends -- to a various extent -- on the semantics of the constituent words (sun, light). We leverage a dataset that includes human judgments on two psycholinguistic measures of compound semantic analysis: lexeme meaning dominance (LMD; quantifying the weight of each constituent toward the compound meaning) and semantic transparency (ST; evaluating the extent to which the compound meaning is recoverable from the constituents' semantics). We show that BERT-based measures moderately align with human intuitions, especially when using contextualized representations, and that LMD is overall more predictable than ST. Contrary to the results reported for 'standard' words, higher, more contextualized layers are the best at representing compound meaning. These findings shed new light on the abilities of BERT in dealing with fine-grained semantic phenomena. Moreover, they can provide insights into how speakers represent compounds.


title: S-Motzkin paths with catastrophes and air pockets

abstract: So called $S$-Motzkin paths are combined the concepts `catastrophes' and `air pockets. The enumeration is done by properly set up bivariate generating functions which can be extended using the kernel method.