title: Chemical evolution in ices on drifting, planet-forming pebbles

abstract: Planets and their atmospheres are built from gas and solid material in protoplanetary disks. Recent results suggest that solid material like pebbles may contribute significantly to building up planetary atmospheres. In order to link observed exoplanet atmospheres and their compositions to their formation histories, it is important to understand how icy pebbles may change their composition when they drift radially inwards in disks. Our goal is to model the compositional evolution of ices on pebbles as they drift in disks, and track how their chemical evolution en-route changes the ice composition relative to the ice composition of the pebbles in the region where they grew from micron-sized grains. A state-of-the-art chemical kinetics code is utilised for modelling chemical evolution. This code accounts for the time-evolving sizes of the solids that drift. Chemical evolution is modelled locally for 0.1Myr at two starting radii, with the micron-sized solids growing into pebbles simultaneously. The pebbles and local gas, isolated as a parcel, is then exposed to changing physical conditions, intended to mimic the pebbles drifting inwards in the disk midplane, moving to 1 AU on three different timescales. A modelling simplification is that the pebbles are \emph{not} moved through, and exposed to new gas, but stay in the same chemical gas surroundings in all models. For ice species with initial abundances relative to hydrogen of $>10^{-5}$, such as H$_{2}$O, CO$_{2}$, CH$_{3}$OH and NH$_{3}$, the abundances change by less than 20% for both radii of origin, and for the two smaller drift timescales (10kyr and 100kyr). For less abundant ice species, and the longest drift timescale (1Myr), the changes are larger. Pebble drift chemistry generally increases the ice abundances of CO$_{2}$, HCN and SO, at the expense of decreasing abundances of other volatile molecules.


title: Giant anomalous thermal Hall effect in tilted type-I magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$

abstract: The recent discovery of magnetic Weyl semimetal Co3Sn2S2 opens up new avenues for research into the interactions between topological orders, magnetism, and electronic correlations. Motivated by the observations of large anomalous Hall effect because of large Berry curvature, we investigate another Berry curvature-induced phenomenon, the anomalous thermal Hall effect in Co3Sn2S2. We study it with and without strain, using a Wannier tight-binding Hamiltonian derived from first principles density functional theory calculations. We first identify this material as a tilted type-I Weyl semimetal based on the band structure calculation. Within the quasi-classical framework of Boltzmann transport theory, a giant anomalous thermal Hall signal appears due to the presence of large Berry curvature. Surprisingly, the thermal Hall current changes and even undergoes a sign-reversal upon varying the chemical potential. Furthermore, applying about 13 GPa stress, an enhancement as large as 33% in the conductivity is observed; however, the tilt vanishes along the path connecting the Weyl nodes. In addition, we have confirmed the validity of the Wiedemann-Franz law in this system for anomalous transports. We propose specific observable signatures that can be directly tested in experiments.


title: Impact ionization in low-band-gap semiconductors driven by ultrafast THz excitation: beyond the ballistic regime

abstract: Using two-dimensional THz spectroscopy in combination with numerical models, we investigate the dynamics linked to carrier multiplication caused by high-field THz excitation of the low-gap semiconductor InSb. In addition to previously observed dynamics connected with quasi-ballistic carrier dynamics, we observe other spectral and temporal features that we attribute to impact ionization for peak fields above 60 kV/cm, which continue up to the maximum investigated peak field of 430 kV/cm. At the highest fields we estimate a carrier multiplication factor greater than 10 due to impact ionization, which is well-reproduced by a numerical simulation of the impact ionization process which we have developed.


title: Alternative Methylated Biosignatures I: Methyl Bromide, A Capstone Biosignature

abstract: The first potential exoplanet biosignature detections are likely to be ambiguous due to the potential for false positives: abiotic planetary processes that produce observables similar to those anticipated from a global biosphere. Here we propose a class of methylated gases as corroborative `capstone' biosignatures. Capstone biosignatures are metabolic products that may be less immediately detectable, but have substantially lower false positive potential, and can thus serve as confirmation for a primary biosignature such as O$_2$. CH$_3$Cl has previously been established as a biosignature candidate, and other halomethane gases such as CH$_3$Br and CH$_3$I have similar potential. These gases absorb in the mid infrared at wavelengths that are likely to be captured while observing primary biosignatures such as O$_3$ or CH$_4$. We quantitatively explore CH$_3$Br as a new capstone biosignature through photochemical and spectral modeling of Earth-like planets orbiting FGKM stellar hosts. We also re-examine the biosignature potential of CH$_3$Cl over the same set of parameters using our updated model. We show that CH$_3$Cl and CH$_3$Br can build up to relatively high levels in M dwarf environments and analyze synthetic spectra of TRAPPIST-1e. Our results suggest that there is a co-additive spectral effect from multiple CH$_3$X gases in an atmosphere, leading to increased signal-to-noise and greater ability to detect a methylated gas feature. These capstone biosignatures are plausibly detectable in exoplanetary atmospheres, have low false positive potential, and would provide strong evidence for life in conjunction with other well established biosignature candidates.


title: Continuous Raman sideband cooling beyond the Lamb-Dicke Regime in a trapped ion chain

abstract: We report continuous Raman sideband cooling (CRSC) of a long ion chain to the motional ground state beyond the Lamb-Dicke (LD) regime. By driving multiple sideband transitions simultaneously, we show that nearly all axial modes of a 24-ion chain are cooled to the ground state, with an LD parameter as large as $\eta = 1.3$, spanning a frequency bandwidth of 4 MHz. Compared to traditional ground-state cooling methods such as pulsed sideband cooling or electromagnetic-induced-transparency (EIT) cooling, our method offers two key advantages: robustness to timing errors; and an ultra-wide bandwidth unlimited by the number of ions. This technique contributes as a crucial step for large-scale quantum information processing with linear ion chains and higher dimensions alike, and can be readily generalized to other atomic and molecular systems.


title: Reproduction and Replication of an Adversarial Stylometry Experiment

abstract: Maintaining anonymity while communicating using natural language remains a challenge. Standard authorship attribution techniques that analyze candidate authors' writing styles achieve uncomfortably high accuracy even when the number of candidate authors is high. Adversarial stylometry defends against authorship attribution with the goal of preventing unwanted deanonymization. This paper reproduces and replicates experiments in a seminal study of defenses against authorship attribution (Brennan et al., 2012). We are able to successfully reproduce and replicate the original results, although we conclude that the effectiveness of the defenses studied is overstated due to a lack of a control group in the original study. In our replication, we find new evidence suggesting that an entirely automatic method, round-trip translation, merits re-examination as it appears to reduce the effectiveness of established authorship attribution methods.


title: Fano hypersurfaces with no finite order birational automorphisms

abstract: We use the specialization homomorphism for the birational automorphism group to study finite order birational automorphisms. For a family of varieties over a DVR, we prove that a birational automorphism of order coprime to the residue characteristic cannot specialize to the identity. As an application, we show that very general $n$-dimensional hypersurfaces of degree $d \geq 5 \lceil (n+3)/6 \rceil$ have no finite order birational automorphisms.


title: Modeling thermal regulation in thin vascular systems: A mathematical analysis

abstract: Mimicking vascular systems in living beings, designers have realized microvascular composites to achieve thermal regulation and other functionalities, such as electromagnetic modulation, sensing, and healing. Such material systems avail circulating fluids through embedded vasculatures to accomplish the mentioned functionalities that benefit various aerospace, military, and civilian applications. Although heat transfer is a mature field, control of thermal characteristics in synthetic microvascular systems via circulating fluids is new, and a theoretical underpinning is lacking. What will benefit designers are predictive mathematical models and an in-depth qualitative understanding of vascular-based active cooling/heating. So, the central focus of this paper is to address the remarked knowledge gap. \emph{First}, we present a reduced-order model with broad applicability, allowing the inlet temperature to differ from the ambient temperature. \emph{Second}, we apply mathematical analysis tools to this reduced-order model and reveal many heat transfer properties of fluid-sequestered vascular systems. We derive point-wise properties (minimum, maximum, and comparison principles) and global properties (e.g., bounds on performance metrics such as the mean surface temperature and thermal efficiency). These newfound results deepen our understanding of active cooling/heating and propel the perfecting of thermal regulation systems.


title: Latent trajectory models for spatio-temporal dynamics in Alaskan ecosystems

abstract: The Alaskan landscape has undergone substantial changes in recent decades, most notably the expansion of shrubs and trees across the Arctic. We developed a dynamic statistical model to quantify the impact of climate change on the structural transformation of ecosystems using remotely sensed imagery. We used latent trajectory processes in a hierarchical framework to model dynamic state probabilities that evolve annually, from which we derived transition probabilities between ecotypes. Our latent trajectory model accommodates temporal irregularity in survey intervals and uses spatio-temporally heterogeneous climate drivers to infer rates of land cover transitions. We characterized multi-scale spatial correlation induced by plot and subplot arrangement in our study system. We also developed a Polya-Gamma sampling strategy to improve computation. Our model facilitates inference on the response of ecosystems to shifts in the climate and can be used to predict future land cover transitions under various climate scenarios.


title: A Survey of Recommender System Techniques and the Ecommerce Domain

abstract: In this big data era, it is hard for the current generation to find the right data from the huge amount of data contained within online platforms. In such a situation, there is a need for an information filtering system that might help them find the information they are looking for. In recent years, a research field has emerged known as recommender systems. Recommenders have become important as they have many real-life applications. This paper reviews the different techniques and developments of recommender systems in e-commerce, e-tourism, e-resources, e-government, e-learning, and e-library. By analyzing recent work on this topic, we will be able to provide a detailed overview of current developments and identify existing difficulties in recommendation systems. The final results give practitioners and researchers the necessary guidance and insights into the recommendation system and its application.


title: SynKB: Semantic Search for Synthetic Procedures

abstract: In this paper we present SynKB, an open-source, automatically extracted knowledge base of chemical synthesis protocols. Similar to proprietary chemistry databases such as Reaxsys, SynKB allows chemists to retrieve structured knowledge about synthetic procedures. By taking advantage of recent advances in natural language processing for procedural texts, SynKB supports more flexible queries about reaction conditions, and thus has the potential to help chemists search the literature for conditions used in relevant reactions as they design new synthetic routes. Using customized Transformer models to automatically extract information from 6 million synthesis procedures described in U.S. and EU patents, we show that for many queries, SynKB has higher recall than Reaxsys, while maintaining high precision. We plan to make SynKB available as an open-source tool; in contrast, proprietary chemistry databases require costly subscriptions.


title: Algebraic Hyperbolicity of Complements of Generic Hypersurfaces in Projective Spaces

abstract: We study the algebraic hyperbolicity of the complement of very general degree $2n$ hypersurfaces in P^n. We prove the Algebraic Green-Griffiths-Lang Conjecture for these complements, and in the case of the complement of a quartic plane curve, we completely characterize the exceptional locus as the union of the flex and bitangent lines.


title: D\"urfen Maschinen denken (k\"onnen)? Warum K\"unstliche Intelligenz eine Ethik braucht. (Are Machines Allowed to (be able to) Think? Why Artificial Intelligence Needs Ethics)

abstract: Speech manuscript (German + English) of the impulse lecture for the panel discussion "May machines (be able to) think?" at the 102nd Katholikentag on May 28, 2022 in Stuttgart. Panel: Winfried Kretschmann (MdL, Prime Minister Baden-W\"urttemberg, Stuttgart), Ursula Nothelle-Wildfeuer (Freiburg), Michael Resch (Stuttgart),Karsten Wendland (Aalen). Moderation: Stefanie Rentsch (Fulda). Advocate of the audience: Verena Neuhausen (Stuttgart).


title: Combining Predictions under Uncertainty: The Case of Random Decision Trees

abstract: A common approach to aggregate classification estimates in an ensemble of decision trees is to either use voting or to average the probabilities for each class. The latter takes uncertainty into account, but not the reliability of the uncertainty estimates (so to say, the "uncertainty about the uncertainty"). More generally, much remains unknown about how to best combine probabilistic estimates from multiple sources. In this paper, we investigate a number of alternative prediction methods. Our methods are inspired by the theories of probability, belief functions and reliable classification, as well as a principle that we call evidence accumulation. Our experiments on a variety of data sets are based on random decision trees which guarantees a high diversity in the predictions to be combined. Somewhat unexpectedly, we found that taking the average over the probabilities is actually hard to beat. However, evidence accumulation showed consistently better results on all but very small leafs.


title: A General Lattice and Basis Formalism Enabling Efficient and Discretized Exploration of Crystallographic Phase Space

abstract: Three-dimensional lattices are fundamental to solid-state physics. The description of a lattice with an atomic basis constitutes the necessary information to predict solid phase properties and evolution. Here, we present a new algorithm for systematically exploring crystallographic phase space. Coupled with ab-initio techniques, such as density functional theory, this algorithm offers a new approach for exploring and tuning materials behavior, with a broad range of potential applications: polar and magnetic transitions, martensitic phase transformations, and generally materials stability.


title: VLT/UVES Observation of the Outflow in Quasar SDSS J1439-0106

abstract: We analyze the VLT/UVES spectrum of the quasar SDSS J143907.5-010616.7, retrieved from the UVES Spectral Quasar Absorption Database. We identify two outflow systems in the spectrum: a mini broad absorption line (mini-BAL) system and a narrow absorption line (NAL) system. We measure the ionic column densities of the mini-BAL ($v=-1550$ km s$^{-1}$) outflow, which has excited state absorption troughs of Fe II. We determine that the electron number density $\log{n_e}=3.4^{+0.1}_{-0.1}$ based on the ratios between the excited and ground state abundances of Fe II, and find the kinetic luminosity of the outflow to be $\lesssim 0.1 \%$ of the quasar's Eddington luminosity, making it insufficient to contribute to AGN feedback.


title: Reward Design For An Online Reinforcement Learning Algorithm Supporting Oral Self-Care

abstract: Dental disease is one of the most common chronic diseases despite being largely preventable. However, professional advice on optimal oral hygiene practices is often forgotten or abandoned by patients. Therefore patients may benefit from timely and personalized encouragement to engage in oral self-care behaviors. In this paper, we develop an online reinforcement learning (RL) algorithm for use in optimizing the delivery of mobile-based prompts to encourage oral hygiene behaviors. One of the main challenges in developing such an algorithm is ensuring that the algorithm considers the impact of the current action on the effectiveness of future actions (i.e., delayed effects), especially when the algorithm has been made simple in order to run stably and autonomously in a constrained, real-world setting (i.e., highly noisy, sparse data). We address this challenge by designing a quality reward which maximizes the desired health outcome (i.e., high-quality brushing) while minimizing user burden. We also highlight a procedure for optimizing the hyperparameters of the reward by building a simulation environment test bed and evaluating candidates using the test bed. The RL algorithm discussed in this paper will be deployed in Oralytics, an oral self-care app that provides behavioral strategies to boost patient engagement in oral hygiene practices.


title: SemAug: Semantically Meaningful Image Augmentations for Object Detection Through Language Grounding

abstract: Data augmentation is an essential technique in improving the generalization of deep neural networks. The majority of existing image-domain augmentations either rely on geometric and structural transformations, or apply different kinds of photometric distortions. In this paper, we propose an effective technique for image augmentation by injecting contextually meaningful knowledge into the scenes. Our method of semantically meaningful image augmentation for object detection via language grounding, SemAug, starts by calculating semantically appropriate new objects that can be placed into relevant locations in the image (the what and where problems). Then it embeds these objects into their relevant target locations, thereby promoting diversity of object instance distribution. Our method allows for introducing new object instances and categories that may not even exist in the training set. Furthermore, it does not require the additional overhead of training a context network, so it can be easily added to existing architectures. Our comprehensive set of evaluations showed that the proposed method is very effective in improving the generalization, while the overhead is negligible. In particular, for a wide range of model architectures, our method achieved ~2-4% and ~1-2% mAP improvements for the task of object detection on the Pascal VOC and COCO datasets, respectively.


title: Anomalous periodicity and parafermion hybridization in superconducting qubits

abstract: Topological quantum computation relies on a protected degenerate subspace enabling complicated operations in a noise-resilient way. To this end, hybrid platforms based on non-Abelian quasiparticles such as parafermions hold great promise. These are predicted to emerge at the interface between fractional quantum Hall states and superconductors and therefore naturally couple to superconducting qubits. Here, we study a parafermionic fluxonium circuit and show that the presence of topological states yields a striking periodicity in the qubit spectrum. In addition, peculiar and marked signatures of different parafermion coupling, associated with multiple tunneling of fractional quasiparticles, can be detected in the qubit microwave spectrum. Finite parafermion coupling can reduce the full degeneracy of the non-Abelian manifold, and we show that this configuration can be used to assess the remaining degree of protection of the system.


title: Universal lifting in the D1-D5 CFT

abstract: We consider D1-D5-P states in the untwisted sector of the D1-D5 orbifold CFT where one copy of the seed CFT has been excited with a left-moving superconformal primary. Despite being BPS at the orbifold point, such states can `lift' as the theory is deformed away from this point in moduli space. We compute this lifting at second order in the deformation parameter for arbitrary left-moving dimension $h$ of this class of states. This result displays an interesting universality since the lifting does not depend on the details of the superconformal primary; it depends only on the dimension. In the large-dimension limit the lift scales as $\sqrt{h}\,$; it is observed that such scaling appears to be a universal property of the lift of D1-D5-P states.


title: Private Query Release via the Johnson-Lindenstrauss Transform

abstract: We introduce a new method for releasing answers to statistical queries with differential privacy, based on the Johnson-Lindenstrauss lemma. The key idea is to randomly project the query answers to a lower dimensional space so that the distance between any two vectors of feasible query answers is preserved up to an additive error. Then we answer the projected queries using a simple noise-adding mechanism, and lift the answers up to the original dimension. Using this method, we give, for the first time, purely differentially private mechanisms with optimal worst case sample complexity under average error for answering a workload of $k$ queries over a universe of size $N$. As other applications, we give the first purely private efficient mechanisms with optimal sample complexity for computing the covariance of a bounded high-dimensional distribution, and for answering 2-way marginal queries. We also show that, up to the dependence on the error, a variant of our mechanism is nearly optimal for every given query workload.


title: Exploring the scaling limitations of the variational quantum eigensolver with the bond dissociation of hydride diatomic molecules

abstract: Materials simulations involving strongly correlated electrons pose fundamental challenges to state-of-the-art electronic structure methods but are hypothesized to be the ideal use case for quantum computing. To date, no quantum computer has simulated a molecule of a size and complexity relevant to real-world applications, despite the fact that the variational quantum eigensolver (VQE) algorithm can predict chemically accurate total energies. Nevertheless, because of the many applications of moderately-sized, strongly correlated systems, such as molecular catalysts, the successful use of the VQE stands as an important waypoint in the advancement toward useful chemical modeling on near-term quantum processors. In this paper, we take a significant step in this direction. We lay out the steps, write, and run parallel code for an (emulated) quantum computer to compute the bond dissociation curves of the TiH, LiH, NaH, and KH diatomic hydride molecules using VQE. TiH was chosen as a relatively simple chemical system that incorporates d orbitals and strong electron correlation. Because current VQE implementations on existing quantum hardware are limited by qubit error rates, the number of qubits available, and the allowable gate depth, recent studies have focused on chemical systems involving s and p block elements. Through VQE + UCCSD calculations of TiH, we evaluate the near-term feasibility of modeling a molecule with d-orbitals on real quantum hardware. We demonstrate that the inclusion of d-orbitals and the use of the UCCSD ansatz, which are both necessary to capture the correct TiH physics, dramatically increase the cost of this problem. We estimate the approximate error rates necessary to model TiH on current quantum computing hardware using VQE+UCCSD and show them to likely be prohibitive until significant improvements in hardware and error correction algorithms are available.


title: The ALICE Run 3 Online / Offline Processing

abstract: The ALICE experiment has undergone a major upgrade for LHC Run 3 and will collect data at an interaction rate 50 times larger than before. The new computing scheme for Run 3 replaces the traditionally separate online and offline frameworks by a unified one, which is called O2. Processing will happen in two phases. During data taking, a synchronous processing phase performs data compression, calibration, and quality control on the online computing farm. The output is stored on an onsite disk buffer. When there is no beam in the LHC, the same computing farm is used for the asynchronous reprocessing of the data which yields the final reconstruction output. The O2 project consists of three main parts:. The Event Processing Nodes (EPN) equipped with GPUs deliver the bulk of the computing capacity and perform the majority of the reconstruction and the calibration. The First Level Processors (FLP) receive the data via optical links from the detectors and perform local processing where it is needed, which can optionally happen in the user logic of the FPGA based readout card. Between the FLP and the EPN farms the data is distributed in the network such that the EPNs receive complete collision data for the processing. The Physics and Data Processing (PDP) group develops the software framework and the reconstruction and calibration algorithms. The current O2 setup is capable of handling in real time the peak data rate foreseen for data taking of Pb--Pb collisions at 50 kHz interaction rate..


title: On the joins of group rings

abstract: Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of group rings and denote it by $\mathcal{J}_{G_1,\dots, G_d}(R)$. In this paper, we present a systematic study of the algebraic structure of $\mathcal{J}_{G_1,\dots, G_d}(R)$. We show that it has a ring structure and characterize its center, group of units, and Jacobson radical. When $R=k$ is an algebraically closed field, we derive a formula for the number of irreducible modules over $\mathcal{J}_{G_1,\dots, G_d}(k)$. We also show how a blockwise extension of the Fourier transform provides both a generalization of the Circulant Diagonalization Theorem to joins of circulant matrices and an explicit isomorphism between the join algebra and its Wedderburn components.


title: Progress towards machine learning methodologies for laser-induced breakdown spectroscopy with an emphasis on soil analysis

abstract: Optical emission spectroscopy of laser-produced plasmas, commonly known as laser-induced breakdown spectroscopy (LIBS), is an emerging analytical tool for rapid soil analysis. However, specific challenges with LIBS exist, such as matrix effects and quantification issues, that require further study in the application of LIBS, particularly for analysis of heterogeneous samples such as soils. Advancements in the applications of Machine Learning (ML) methods can address some of these issues, advancing the potential for LIBS in soil analysis. This article aims to review the progress of LIBS application combined with ML methods, focusing on methodological approaches used in reducing matrix effect, feature selection, quantification analysis, soil classification, and self-absorption. The performance of various adopted ML approaches is discussed, including their shortcomings and advantages, to provide researchers with a clear picture of the current status of ML applications in LIBS for improving its analytical capability. The challenges and prospects of LIBS development in soil analysis are proposed, offering a path toward future research. This review article emphasize ML tools for LIBS soil analysis that are broadly relevant for other LIBS applications.


title: X-ray flares of the young planet host DS Tuc A

abstract: Abridged. We observed the 40 Myr old star DS Tuc A with XMM-Newton and recorded two X-ray bright flares, with the second event occurring about 12 ks after the first one. Their duration from the rise to the end of the decay was of about 8-10 ks in soft X-rays (0.3-10 keV). The flares were also recorded in the band 200-300 nm with the UVM2 filter of the Optical Monitor. The duration of the flares in UV was about 3 ks. The observed delay between the peak in the UV band and in X-rays is a probe of the heating phase followed by the evaporation and increase of density and emission measure of the flaring loop. The coronal plasma temperature at the two flare peaks reached 54-55 MK. The diagnostics based on temperatures and time scales of the flares applied to these two events allow us to infer a loop length of 5-7 x 10^10 cm, which is about the size of the stellar radius. We also infer values of electron density at the flare peaks of 2.3-6.5 x 10^11 cm^-3 , and a minimum magnetic field strength of order of 300-500 G needed to confine the plasma. The energy released during the flares was of order of 5-8 x 10^34 erg in the band 0.3-10 keV and 0.9-2.7 x 10^33 erg in the UV band (200-300 nm). We speculate that the flares were associated with Coronal Mass Ejections (CMEs) that hit the planet about 3.3 hr after the flares and dramatically increasing the rate of evaporation of the planet. From the RGS spectra we retrieved the emission measure distribution and the abundances of coronal metals during the quiescent and the flaring states. In agreement with what inferred from time resolved spectroscopy and EPIC spectra, also from the analysis of RGS spectra during the flares we infer a high electron density.


title: A tutorial introduction to quantum stochastic master equations based on the qubit/photon system

abstract: From the key composite quantum system made of a two-level system (qubit) and a harmonic oscillator (photon) with resonant or dispersive interactions, one derives the corresponding quantum Stochastic Master Equations (SME) when either the qubits or the photons are measured. Starting with an elementary discrete-time formulation based on explicit formulae for the interaction propagators, one shows how to include measurement imperfections and decoherence. This qubit/photon quantum system illustrates the Kraus-map structure of general discrete-time SME governing the dynamics of an open quantum system subject to measurement back-action and decoherence induced by the environment. Then, on the qubit/photon system, one explains the passage to a continuous-time mathematical model where the measurement signal is either a continuous real-value signal (typically homodyne or heterodyne signal) or a discontinuous and integer-value signal obtained from a counter. During this derivation, the Kraus map formulation is preserved in an infinitesimal way. Such a derivation provides also an equivalent Kraus-map formulation to the continuous-time SME usually expressed as stochastic differential equations driven either by Wiener or Poisson processes. From such Kraus-map formulation, simple linear numerical integration schemes are derived that preserve the positivity and the trace of the density operator, i.e. of the quantum state.


title: An Efficient Multi-Scale Fusion Network for 3D Organ at Risk (OAR) Segmentation

abstract: Accurate segmentation of organs-at-risks (OARs) is a precursor for optimizing radiation therapy planning. Existing deep learning-based multi-scale fusion architectures have demonstrated a tremendous capacity for 2D medical image segmentation. The key to their success is aggregating global context and maintaining high resolution representations. However, when translated into 3D segmentation problems, existing multi-scale fusion architectures might underperform due to their heavy computation overhead and substantial data diet. To address this issue, we propose a new OAR segmentation framework, called OARFocalFuseNet, which fuses multi-scale features and employs focal modulation for capturing global-local context across multiple scales. Each resolution stream is enriched with features from different resolution scales, and multi-scale information is aggregated to model diverse contextual ranges. As a result, feature representations are further boosted. The comprehensive comparisons in our experimental setup with OAR segmentation as well as multi-organ segmentation show that our proposed OARFocalFuseNet outperforms the recent state-of-the-art methods on publicly available OpenKBP datasets and Synapse multi-organ segmentation. Both of the proposed methods (3D-MSF and OARFocalFuseNet) showed promising performance in terms of standard evaluation metrics. Our best performing method (OARFocalFuseNet) obtained a dice coefficient of 0.7995 and hausdorff distance of 5.1435 on OpenKBP datasets and dice coefficient of 0.8137 on Synapse multi-organ segmentation dataset.


title: Identities with coefficients in simple compact Lie groups

abstract: We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a ping-pong argument.


title: Integrating local energetics into Maxwell-Calladine constraint counting to design mechanical metamaterials

abstract: The Maxwell-Calladine index theorem plays a central role in our current understanding of the mechanical rigidity of discrete materials. By considering the geometric constraints each material component imposes on a set of underlying degrees of freedom, the theorem relates the emergence of rigidity to constraint counting arguments. However, the Maxwell-Calladine paradigm is significantly limited -- its exclusive reliance on the geometric relationships between constraints and degrees of freedom completely neglects the actual energetic costs of deforming individual components. To address this limitation, we derive a generalization of the Maxwell-Calladine index theorem based on susceptibilities that naturally incorporate local energetic properties such as stiffness and prestress. Using this extended framework, we investigate how local energetics modify the classical constraint counting picture to capture the relationship between deformations and external forces. We then combine this formalism with group representation theory to design mechanical metamaterials where differences in symmetry between local energy costs and structural geometry are exploited to control responses to external forces.


title: 3d spectral networks and classical Chern-Simons theory

abstract: We define the notion of spectral network on manifolds of dimension $\le 3$. For a manifold $X$ equipped with a spectral network, we construct equivalences between Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over $X$ and Chern-Simons invariants of flat ${\mathbb C}^\times$-bundles over ramified double covers $\widetilde X$. Applications include a new viewpoint on dilogarithmic formulas for Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over triangulated 3-manifolds, and an explicit description of Chern-Simons lines of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over triangulated surfaces. Our constructions heavily exploit the locality of Chern-Simons invariants, expressed in the language of extended (invertible) topological field theory.


title: Degree of nearly comonotone approximation of periodic functions

abstract: Let a $2\pi$-periodic function $f\in\Bbb C$ changes its monotonicity at a finitely even number of points $y_i$ of the period. The degree of approximation of this $f$ by trigonometric polynomials which are comonotone with it, i.e. that change their monotonicity exactly at the points $y_i$ where $f$ does, is restricted by $\omega_2(f,\pi/n)$ (with a constant depending on the location of these $y_i$). Recently, we proved that relaxing the comonotonicity requirement in intervals of length proportional to $\pi/n$ about the points $y_i$ (so called nearly comonotone approximation) allows the polynomials to achieve the approximation rate of $\omega_3$. By constructing a counterexample, we show here that even with the relaxation of the requirement of comonotonicity for the polynomials on sets with measures approaching $0$ (no matter how slowly or how fast) $\omega_4$ is not reachable.


title: Deep Unsupervised Domain Adaptation: A Review of Recent Advances and Perspectives

abstract: Deep learning has become the method of choice to tackle real-world problems in different domains, partly because of its ability to learn from data and achieve impressive performance on a wide range of applications. However, its success usually relies on two assumptions: (i) vast troves of labeled datasets are required for accurate model fitting, and (ii) training and testing data are independent and identically distributed. Its performance on unseen target domains, thus, is not guaranteed, especially when encountering out-of-distribution data at the adaptation stage. The performance drop on data in a target domain is a critical problem in deploying deep neural networks that are successfully trained on data in a source domain. Unsupervised domain adaptation (UDA) is proposed to counter this, by leveraging both labeled source domain data and unlabeled target domain data to carry out various tasks in the target domain. UDA has yielded promising results on natural image processing, video analysis, natural language processing, time-series data analysis, medical image analysis, etc. In this review, as a rapidly evolving topic, we provide a systematic comparison of its methods and applications. In addition, the connection of UDA with its closely related tasks, e.g., domain generalization and out-of-distribution detection, has also been discussed. Furthermore, deficiencies in current methods and possible promising directions are highlighted.


title: Phononic bath engineering of a superconducting qubit

abstract: Phonons, the ubiquitous quanta of vibrational energy, play a vital role in the performance of quantum technologies. Conversely, unintended coupling to phonons degrades qubit performance and can lead to correlated errors in superconducting qubit systems. Regardless of whether phonons play an enabling or deleterious role, they do not typically admit control over their spectral properties, nor the possibility of engineering their dissipation to be used as a resource. Here we show that coupling a superconducting qubit to a bath of piezoelectric surface acoustic wave phonons enables a novel platform for investigating open quantum systems. By shaping the loss spectrum of the qubit via the bath of lossy surface phonons, we demonstrate preparation and dynamical stabilization of superposition states through the combined effects of drive and dissipation. These experiments highlight the versatility of engineered phononic dissipation and advance the understanding of mechanical losses in superconducting qubit systems.


title: Deep Reinforcement Learning for RIS-Assisted FD Systems: Single or Distributed RIS?

abstract: This paper investigates reconfigurable intelligent surface (RIS)-assisted full-duplex multiple-input single-output wireless system, where the beamforming and RIS phase shifts are optimized to maximize the sum-rate for both single and distributed RIS deployment schemes. The preference of using the single or distributed RIS deployment scheme is investigated through three practical scenarios based on the links' quality. The closed-form solution is derived to optimize the beamforming vectors and a novel deep reinforcement learning (DRL) algorithm is proposed to optimize the RIS phase shifts. Simulation results illustrate that the choice of the deployment scheme depends on the scenario and the links' quality. It is further shown that the proposed algorithm significantly improves the sum-rate compared to the non-optimized scenario in both single and distributed RIS deployment schemes. Besides, the proposed beamforming derivation achieves a remarkable improvement compared to the approximated derivation in previous works. Finally, the complexity analysis confirms that the proposed DRL algorithm reduces the computation complexity compared to the DRL algorithm in the literature.


title: Contextuality, Complementarity, Signaling, and Bell tests

abstract: This is a review devoted to the complementarity-contextuality interplay with connection to the Bell inequalities. Starting discussion with complementarity, we point out to contextuality as its seed. {\it Bohr-contextuality} is dependence of observable's outcome on the experimental context, on system-apparatus interaction. Probabilistically, complementarity means that the {\it joint probability distribution} (JPD) does not exist. Instead of the JPD, one has to operate with contextual probabilities. The Bell inequalities are interpreted as the statistical tests of contextuality and, hence, incompatibility. For context dependent probabilities, these inequalities may be violated. We stress that contextuality tested by the Bell inequalities is so called {\it joint measurement contextualit}y (JMC), the special case of Bohr's contextuality. Then, we examine the role of signaling (marginal inconsistency). In QM, signaling can be considered as an experimental artifact. However, often experimental data has signaling patterns. We discuss possible sources of signaling; for example, dependence of the state preparation on measurement settings. In principle, one can extract the measure of "pure contextualize" from data shadowed by signaling. This theory known as {\it Contextuality by Default} (CbD). It leads to inequalities with the additional term quantifying signaling, Bell-Dzhafarov-Kujala inequalities.


title: A modification of the mixed joint universality theorem for a class of zeta-functions

abstract: The property of zeta-functions on mixed joint universality in the Voronin's sense states that any two holomorphic functions can be approximated simultaneously with accuracy $\epsilon>0$ by suitable vertical shifts of the pair consisting from the Riemann zeta- and Hurwitz zeta-functions. In [1], it was shown rather general result, i.e., an approximating pair was composed of the Matsumoto zeta-functions' class and the periodic Hurwitz zeta-function. In this paper, we prove that this set of shifts has a strict positive density for all but at most countably many $\epsilon>0$. Also, we give the concluding remarks on certain more general mixed tuple of zeta-functions.


title: Identifying diffuse spatial structures in high-energy photon lists

abstract: Data from high-energy observations are usually obtained as lists of photon events. A common analysis task for such data is to identify whether diffuse emission exists, and to estimate its surface brightness, even in the presence of point sources that may be superposed. We have developed a novel non-parametric event list segmentation algorithm to divide up the field of view into distinct emission components. We use photon location data directly, without binning them into an image. We first construct a graph from the Voronoi tessellation of the observed photon locations and then grow segments using a new adaptation of seeded region growing, that we call Seeded Region Growing on Graph, after which the overall method is named SRGonG. Starting with a set of seed locations, this results in an over-segmented dataset, which SRGonG then coalesces using a greedy algorithm where adjacent segments are merged to minimize a model comparison statistic; we use the Bayesian Information Criterion. Using SRGonG we are able to identify point-like and diffuse extended sources in the data with equal facility. We validate SRGonG using simulations, demonstrating that it is capable of discerning irregularly shaped low surface-brightness emission structures as well as point-like sources with strengths comparable to that seen in typical X-ray data. We demonstrate SRGonG's use on the Chandra data of the Antennae galaxies, and show that it segments the complex structures appropriately.


title: Revising Properties of Planet-host Binary Systems II: Apparent Near-Earth Analog Planets in Binaries Are Often Sub-Neptunes

abstract: Identifying rocky planets in or near the habitable zones of their stars (near-Earth analogs) is one of the key motivations of many past and present planet-search missions. The census of near-Earth analogs is important because it informs calculations of the occurrence rate of Earth-like planets, which in turn feed into calculations of the yield of future missions to directly image other Earths. Only a small number of potential near-Earth analogs have been identified, meaning that each planet should be vetted carefully and then incorporated into the occurrence rate calculation. A number of putative near-Earth analogs have been identified within binary star systems. However, stellar multiplicity can bias measured planetary properties, meaning that apparent near-Earth analogs in close binaries may have different radii or instellations than initially measured. We simultaneously fit unresolved optical spectroscopy, optical speckle and near-infrared AO contrasts, and unresolved photometry, and retrieved revised stellar temperatures and radii for a sample of 11 binary Kepler targets that host at least one near-Earth analog planet, for a total of 17 planet candidates. We found that 10 of the 17 planets in our sample had radii that fell in or above the radius gap, suggesting that they are not rocky planets. Only 2 planets retained super-Earth radii and stayed in the habitable zone, making them good candidates for inclusion in rocky planet occurrence rate calculations.


title: Spectroscopic and Photometric Study of the new $\delta$ Scuti Star ASAS J063309+1810.8

abstract: We present BVR observations and low-resolution spectra collected by the Kottamia Astronomical Observatory 1.88 m telescope (KAO) for the new pulsating star ASAS J063309+1810.8 (hereafter it will be called ASAS06+18). The photometric analysis revealed that the star is a $\delta$ Scuti star with low amplitude (a=0.054-0.099 in V mag.) and a short period (102.604 min). Fourier analysis of the light curves reveals the fundamental mode with two harmonics. The photometric analysis yielded a new value of the updated frequency of 13.0035232 cd-1 with an amplitude of 49.93 mmag at phases 0.326 and S/N 21.75 and to two frequencies (20.2099237cd-1, 5.9130945cd-1). Given the available data, 37 new times of maximum light are presented, and an updated ephemeris for the star and its O-C data. Assuming its period decreases and changes smoothly, a new value of (1/P)dP/dt is determined. We calculated the effective temperature and surface gravity as Teff=7125+- 250 K and log g=4.0+-0.2 dex from model atmosphere analysis of the star's spectra at different phases. The bolometric magnitude Mbol=2.798 (0.016), radius R=1.577(0.077) R_sun, luminosity L=5.714(1.066) L_sun, the mass is M=1.595 M_sun and pulsation constant Q=0{\^m}.0338(0.0003). The star's locations in the evolutionary mass-luminosity and mass-radius relationships are discussed.


title: Topological duality for orthomodular lattices

abstract: A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimb\'o's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call continuous weak p-morphisms. It is well-known that orthomodular lattices provide an algebraic semantics for the quantum logic Q. Hence, as an application of our duality, we develop a topological semantics for Q using orthomodular spaces and prove soundness and completeness.


title: Locally anisotropic covariance functions on the sphere

abstract: Rapid developments in satellite remote-sensing technology have enabled the collection of geospatial data on a global scale, hence increasing the need for covariance functions that can capture spatial dependence on spherical domains. We propose a general method of constructing nonstationary, locally anisotropic covariance functions on the sphere based on covariance functions in R^3. We also provide theorems that specify the conditions under which the resulting correlation function is isotropic or axially symmetric. For large datasets on the sphere commonly seen in modern applications, the Vecchia approximation is used to achieve higher scalability on statistical inference. The importance of flexible covariance structures is demonstrated numerically using simulated data and a precipitation dataset.


title: Arcsine Laws of Light

abstract: We demonstrate that light in a coherently driven resonator obeys L\'evy's arcsine laws -- a cornerstone of extreme value statistics. This behavior emerges asymptotically in the time-integrated transmitted intensity, an important quantity which is measured by every photodetector. We furthermore demonstrate a universal algebraic convergence to the arcsine laws as the integration time increases, independent of the balance between conservative and non-conservative forces exerted on the light field. Through numerical simulations we verify that the arcsine laws are also obeyed by the light field quadratures, and in a Kerr nonlinear resonator supporting non-Gaussian states of light. Our results are relevant to fundamental studies and technological applications of coherently driven resonators (in e.g., optics, microwave photonics, and acoustics), which in turn open up perspectives for probing emergent statistical structure in new regimes and in systems with memory.


title: The Laplace method for energy eigenvalue problems in quantum mechanics

abstract: Quantum mechanics has about a dozen exactly solvable potentials. Normally, the time-independent Schroedinger equation for them is solved by using a generalized series solution for the bound states (using the Froebenius method) and then an analytic continuation for the continuum states (if present). In this work, we present an alternative way to solve these problems, based on the Laplace method. This technique uses a similar procedure for the bound states and for the continuum states. It was originally used by Schroedinger when he solved for the wavefunctions of hydrogen. Dirac advocated using this method too. We discuss why it is a powerful approach for graduate students to learn and describe how it can be employed to solve all problems whose wavefunctions are represented in terms of confluent hypergeometric functions.


title: On a super-analog of the Schur-Weyl Duality

abstract: Two super-analogs of the Schur-Weyl duality are considered: the duality of actions in $(\mathbb{C}^{m|n})^{\otimes N}$ of the Lie superalgebra $\mathfrak{gl}(m,n)$ and the symmetric group $S_N$, and the duality of actions of the Lie superalgebra $Q(n)$ and a certain finite group $Se(N)$ in $(\mathbb{C}^{n|n})^{\otimes N}$. We construct an isomorphism of symmetric and universal enveloping algebras of these Lie superalgebras called special symmetrization. Using this isomorphism of vector spaces we describe explicitly the duality between the centers of the corresponding universal enveloping algebras and the group algebras.


title: Relational Analysis of Dirac Equation in Momentum Representation

abstract: In terms of the relational approach to space-time geometry and physical interactions, we show that the Dirac equation for a free fermion in the momentum representation can be obtained starting from a binary system of complex relations (BSCR) between elements of two abstract sets. With the derivation performed we show that the 4-dimensional pseudo-Euclidean momentum space is not needed a priori but naturally emerges from considerations of rather general character (2-spinor algebra). A bispinor wave function is constructed for a fermion with positive energy and an arbitrary distribution of momenta. Special attention is paid to physical assumptions that should be made to enable the construction.


title: Hamilton-Jacobi theory and integrability for autonomous and non-autonomous contact systems

abstract: In this paper, we study the integrability of contact Hamiltonian systems, both time-dependent and independent. In order to do so, we construct a Hamilton--Jacobi theory for these systems following two approaches, obtaining two different Hamilton--Jacobi equations. Compared to conservative Hamiltonian systems, contact Hamiltonian systems depend of one additional parameter. The fact of obtaining two equations reflects whether we are looking for solutions depending on this additional parameter or not. In order to illustrate the theory developed in this paper, we study three examples: the free particle with a linear external force, the freely falling particle with linear dissipation and the damped and forced harmonic oscillator.


title: Retrospective Cost Parameter Estimation with Application to Space Weather Modeling

abstract: This chapter reviews standard parameter-estimation techniques and presents a novel gradient-, ensemble-, adjoint-free data-driven parameter estimation technique in the DDDAS framework. This technique, called retrospective cost parameter estimation (RCPE), is motivated by large-scale complex estimation models characterized by high-dimensional nonlinear dynamics, nonlinear parameterizations, and representational models. RCPE is illustrated by estimating unknown parameters in three examples. In the first example, salient features of RCPE are investigated by considering parameter estimation problem in a low-order nonlinear system. In the second example, RCPE is used to estimate the convective coefficient and the viscosity in the generalized Burgers equation by using a scalar measurement. In the final example, RCPE is used to estimate thermal conductivity coefficients that relate temporal temperature variation with the vertical gradient of the temperature in the atmosphere.


title: Archimedes Meets Privacy: On Privately Estimating Quantiles in High Dimensions Under Minimal Assumptions

abstract: The last few years have seen a surge of work on high dimensional statistics under privacy constraints, mostly following two main lines of work: the ``worst case'' line, which does not make any distributional assumptions on the input data; and the ``strong assumptions'' line, which assumes that the data is generated from specific families, e.g., subgaussian distributions. In this work we take a middle ground, obtaining new differentially private algorithms with polynomial sample complexity for estimating quantiles in high-dimensions, as well as estimating and sampling points of high Tukey depth, all working under very mild distributional assumptions. From the technical perspective, our work relies upon deep robustness results in the convex geometry literature, demonstrating how such results can be used in a private context. Our main object of interest is the (convex) floating body (FB), a notion going back to Archimedes, which is a robust and well studied high-dimensional analogue of the interquantile range. We show how one can privately, and with polynomially many samples, (a) output an approximate interior point of the FB -- e.g., ``a typical user'' in a high-dimensional database -- by leveraging the robustness of the Steiner point of the FB; and at the expense of polynomially many more samples, (b) produce an approximate uniform sample from the FB, by constructing a private noisy projection oracle.


title: Some Applications of Abelianization in Gromov-Witten Theory

abstract: Let $G$ be a complex reductive group and let $X$ and $E$ be two linear representations of $G$. Let $Y$ be a complete intersection in $X$ equal to the zero locus of a $G$-equivariant section of the trivial bundle $E \times X \to X$. We explain some general techniques for using quasimap formulas to compute useful $I$-functions of $Y\mathord{/\mkern-6mu/} G$. We work several explicit examples, including a rigorous derivation of a quantum period computed conjecturally by Oneto-Petracci.


title: Heat pump driven entirely by quantum correlation

abstract: The second law of thermodynamics prohibits spontaneous heat from a cold to a hot body. However, it has been theoretically and experimentally shown that energy can flow from a cold to a hot body if the bodies are initially correlated. We investigated the \emph{anomalous energy exchange} between dissipation-less quantum systems that are initially entangled. Then, we extended this model to include dissipation demonstrating \emph{anomalous heat} from a cold to a hot body. Based on these models, we constructed a heat pump driven entirely by quantum correlation as fuel and investigated its performance with numerical simulations. Using the recently proposed definition of efficiency based on mutual information, the performance of the pump is found to be consistent with the second law of thermodynamics.


title: WatchPed: Pedestrian Crossing Intention Prediction Using Embedded Sensors of Smartwatch

abstract: The pedestrian crossing intention prediction problem is to estimate whether or not the target pedestrian will cross the street. State-of-the-art techniques heavily depend on visual data acquired through the front camera of the ego-vehicle to make a prediction of the pedestrian's crossing intention. Hence, the efficiency of current methodologies tends to decrease notably in situations where visual input is imprecise, for instance, when the distance between the pedestrian and ego-vehicle is considerable or the illumination levels are inadequate. To address the limitation, in this paper, we present the design, implementation, and evaluation of the first-of-its-kind pedestrian crossing intention prediction model based on integration of motion sensor data gathered through the smartwatch (or smartphone) of the pedestrian. We propose an innovative machine learning framework that effectively integrates motion sensor data with visual input to enhance the predictive accuracy significantly, particularly in scenarios where visual data may be unreliable. Moreover, we perform an extensive data collection process and introduce the first pedestrian intention prediction dataset that features synchronized motion sensor data. The dataset comprises 255 video clips that encompass diverse distances and lighting conditions. We trained our model using the widely-used JAAD and our own datasets and compare the performance with a state-of-the-art model. The results demonstrate that our model outperforms the current state-of-the-art method, particularly in cases where the distance between the pedestrian and the observer is considerable (more than 70 meters) and the lighting conditions are inadequate.


title: Exploring the Viability of Robot-supported Flipped Classes in English for Medical Purposes Reading Com-prehension

abstract: This study delved into the viability of Robot-supported flipped classes in English for Medical Purposes reading comprehension. In a 16-session course, the reading comprehension and then workspace performance of 444 students, with Commercially-Off-The-Shelf and Self-Generated robot flipped classes were compared. The results indicated that the flipped classes brought about a good instructional-learning ambience in postsecondary education for English for Medical Purposes (EMP) reading comprehension and adopting proactive approach for workspace performance. In tandem, the Mixed Effect Model revealed that student participation in the self-generated robot-supported flipped classes yielded a larger effect size (+17.6\%) than Commercially-Off-The-Shelf robot-supported flipped classes. Analyses produced five contributing moderators of EMP reading comprehension and workspace performance: reading proficiency, attitude, manner of practicing, as well as student and teacher role.


title: Complete reconstruction of the space-time dynamics in a Kerr-lens mode-locked laser

abstract: We present a complete numerical analysis and simulation of the full spatio-temporal dynamics of Kerr-lens mode-locking (KLM) in a laser on all time-scales. The KLM dynamics, which is the workhorse mechanism for generating ultrashort pulses, relies on the intricate coupling between the spatial nonlinear evolution due to self focusing and the temporal nonlinear compression due to self-phase modulation (SPM) and dispersion. Our numerical tool emulates the dynamical evolution of the optical field in the cavity on all time scales: the fast time scale of the pulse envelope within a single round trip, and the slow time-scale between one round-trip to the next. We employ a nonlinear ABCD formalism that fully handles all relevant effects in the laser, namely - self focusing and diffraction, dispersion and SPM, space-dependent loss and gain saturation. We confirm the validity of our model by reproducing the pulse-formation in KLM in all aspects: The evolution of the pulse energy, duration, and gain is observed during the entire cavity buildup (from spontaneous noise to steady state), demonstrating the nonlinear mode competition in full, as well as the dependence of the final pulse in steady state on the interplay between gain bandwidth, dispersion and self-phase modulation. The direct observation of the nonlinear space-time evolution of the pulse is a key enabler to analyse and optimize the KLM operation, as well as to explore new nonlinear space-time phenomena.


title: Entity Anchored ICD Coding

abstract: Medical coding is a complex task, requiring assignment of a subset of over 72,000 ICD codes to a patient's notes. Modern natural language processing approaches to these tasks have been challenged by the length of the input and size of the output space. We limit our model inputs to a small window around medical entities found in our documents. From those local contexts, we build contextualized representations of both ICD codes and entities, and aggregate over these representations to form document-level predictions. In contrast to existing methods which use a representation fixed either in size or by codes seen in training, we represent ICD codes by encoding the code description with local context. We discuss metrics appropriate to deploying coding systems in practice. We show that our approach is superior to existing methods in both standard and deployable measures, including performance on rare and unseen codes.


title: Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength

abstract: Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I present counterexamples, natural instances of nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength, as natural or as nearly natural as I can make them. I present diverse cautious enumerations of ZFC and large cardinal set theories, which exhibit incomparability and illfoundedness in consistency strength, and yet, I argue, are natural. I consider the philosophical role played by "natural" in the linearity phenomenon, arguing ultimately that we should abandon empty naturality talk and aim instead to make precise the mathematical and logical features we had found desirable.


title: C3-DINO: Joint Contrastive and Non-contrastive Self-Supervised Learning for Speaker Verification

abstract: Self-supervised learning (SSL) has drawn an increased attention in the field of speech processing. Recent studies have demonstrated that contrastive learning is able to learn discriminative speaker embeddings in a self-supervised manner. However, base contrastive self-supervised learning (CSSL) assumes that the pairs generated from a view of anchor instance and any view of other instances are all negative, which introduces many false negative pairs in constructing the loss function. The problem is referred as $class$-$collision$, which remains as one major issue that impedes the CSSL based speaker verification (SV) systems from achieving better performances. In the meanwhile, studies reveal that negative sample free SSL frameworks perform well in learning speaker or image representations. In this study, we investigate SSL techniques that lead to an improved SV performance. We first analyse the impact of false negative pairs in the CSSL systems. Then, a multi-stage Class-Collision Correction (C3) method is proposed, which leads to the state-of-the-art CSSL based speaker embedding system. On the basis of the pretrained CSSL model, we further propose to employ a negative sample free SSL objective (i.e., DINO) to fine-tune the speaker embedding network. The resulting speaker embedding system (C3-DINO) achieves 2.5% EER with a simple Cosine Distance Scoring method on Voxceleb1 test set, which outperforms the previous SOTA SSL system (4.86%) by a significant +45% relative improvement. With speaker clustering and pseudo labeling on Voxceleb2 training set, a LDA/CDS back-end applying on the C3-DINO speaker embeddings is able to further push the EER to 2.2%. Comprehensive experimental investigations of the Voxceleb benchmarks and our internal dataset demonstrate the effectiveness of our proposed methods, and the performance gap between the SSL SV and the supervised counterpart narrows further.


title: Comments on SPD-41 software licensing requirements

abstract: The proposed changes to Science Missions Directorate (SMD) Policy Document 41 (SPD-41) include requirements that SMD-funded software should be released using a permissive software license and following best practices from the open source software community. This is a welcome change that will lead to greater acceptance and adoption of SMD-funded software. However, ambiguities exist in the policy text around what licenses will be allowed. This could lead to problems in the solicitation process and friction with the open source software community. Moreover, some additional clarifications are warranted around what exceptions might be allowed to the software licensing policy.


title: Self-Supervised Learning for Anomalous Channel Detection in EEG Graphs: Application to Seizure Analysis

abstract: Electroencephalogram (EEG) signals are effective tools towards seizure analysis where one of the most important challenges is accurate detection of seizure events and brain regions in which seizure happens or initiates. However, all existing machine learning-based algorithms for seizure analysis require access to the labeled seizure data while acquiring labeled data is very labor intensive, expensive, as well as clinicians dependent given the subjective nature of the visual qualitative interpretation of EEG signals. In this paper, we propose to detect seizure channels and clips in a self-supervised manner where no access to the seizure data is needed. The proposed method considers local structural and contextual information embedded in EEG graphs by employing positive and negative sub-graphs. We train our method through minimizing contrastive and generative losses. The employ of local EEG sub-graphs makes the algorithm an appropriate choice when accessing to the all EEG channels is impossible due to complications such as skull fractures. We conduct an extensive set of experiments on the largest seizure dataset and demonstrate that our proposed framework outperforms the state-of-the-art methods in the EEG-based seizure study. The proposed method is the only study that requires no access to the seizure data in its training phase, yet establishes a new state-of-the-art to the field, and outperforms all related supervised methods.


title: Entangling remote qubits using the single-photon protocol: an in-depth theoretical and experimental study

abstract: The generation of entanglement between remote matter qubits has developed into a key capability for fundamental investigations as well as for emerging quantum technologies. In the single-photon, protocol entanglement is heralded by generation of qubit-photon entangled states and subsequent detection of a single photon behind a beam splitter. In this work we perform a detailed theoretical and experimental investigation of this protocol and its various sources of infidelity. We develop an extensive theoretical model and subsequently tailor it to our experimental setting, based on nitrogen-vacancy centers in diamond. Experimentally, we verify the model by generating remote states for varying phase and amplitudes of the initial qubit superposition states and varying optical phase difference of the photons arriving at the beam splitter. We show that a static frequency offset between the optical transitions of the qubits leads to an entangled state phase that depends on the photon detection time. We find that the implementation of a Charge-Resonance check on the nitrogen-vacancy center yields transform-limited linewidths. Moreover, we measure the probability of double optical excitation, a significant source of infidelity, as a function of the power of the excitation pulse. Finally, we find that imperfect optical excitation can lead to a detection-arm-dependent entangled state fidelity and rate. The conclusion presented here are not specific to the nitrogen-vacancy centers used to carry out the experiments, and are therefore readily applicable to other qubit platforms.


title: Joint Communication and Channel Discrimination

abstract: We consider a basic joint communication and sensing setup comprising a transmitter, a receiver and a sensor. The transmitter sends a codeword to the receiver through a discrete memoryless channel, and the receiver is interested in retrieving the underlying encoded message. On the other hand, the sensor picks up a noisy version of the transmitted codeword through one of two possible discrete memoryless channels. The sensor knows the codeword and wishes to discriminate between the two possible channels, i.e. to identify the channel that has generated the output given the input. We study the trade-off between communication and sensing in the asymptotic regime, captured in terms of the message coding rate against the two types of discrimination error exponents. We characterize the optimal trade-off between the rate and the exponents for general discrete memoryless channels with an input cost constraint.


title: Invariant Inference With Provable Complexity From the Monotone Theory

abstract: Invariant inference algorithms such as interpolation-based inference and IC3/PDR show that it is feasible, in practice, to find inductive invariants for many interesting systems, but non-trivial upper bounds on the computational complexity of such algorithms are scarce, and limited to simple syntactic forms of invariants. In this paper we achieve invariant inference algorithms, in the domain of propositional transition systems, with provable upper bounds on the number of SAT calls. We do this by building on the monotone theory, developed by Bshouty for exact learning Boolean formulas. We prove results for two invariant inference frameworks: (i) model-based interpolation, where we show an algorithm that, under certain conditions about reachability, efficiently infers invariants when they have both short CNF and DNF representations (transcending previous results about monotone invariants); and (ii) abstract interpretation in a domain based on the monotone theory that was previously studied in relation to property-directed reachability, where we propose an efficient implementation of the best abstract transformer, leading to overall complexity bounds on the number of SAT calls. These results build on a novel procedure for computing least monotone overapproximations.


title: Valley-coherent quantum anomalous Hall state in AB-stacked MoTe2/WSe2 bilayers

abstract: Moir\'e materials provide fertile ground for the correlated and topological quantum phenomena. Among them, the quantum anomalous Hall (QAH) effect, in which the Hall resistance is quantized even under zero magnetic field, is a direct manifestation of the intrinsic topological properties of a material and an appealing attribute for low-power electronics applications. The QAH effect has been observed in both graphene and transition metal dichalcogenide (TMD) moir\'e materials. It is thought to arise from the interaction-driven valley polarization of the narrow moir\'e bands. Here, we show surprisingly that the newly discovered QAH state in AB-stacked MoTe2/WSe2 moir\'e bilayers is not valley-polarized but valley-coherent. The layer- and helicity-resolved optical spectroscopy measurement reveals that the QAH ground state possesses spontaneous spin (valley) polarization aligned (anti-aligned) in two TMD layers. In addition, saturation of the out-of-plane spin polarization in both layers occurs only under high magnetic fields, supporting a canted spin texture. Our results call for a new mechanism for the QAH effect and highlight the potential of TMD moir\'e materials with strong electronic correlations and spin-orbit interactions for exotic topological states.


title: Estimation of mixed fractional stable processes using high-frequency data

abstract: The linear fractional stable motion generalizes two prominent classes of stochastic processes, namely stable L\'evy processes, and fractional Brownian motion. For this reason it may be regarded as a basic building block for continuous time models. We study a stylized model consisting of a superposition of independent linear fractional stable motions and our focus is on parameter estimation of the model. Applying an estimating equations approach, we construct estimators for the whole set of parameters and derive their asymptotic normality in a high-frequency regime. The conditions for consistency turn out to be sharp for two prominent special cases: (i) for L\'evy processes, i.e. for the estimation of the successive Blumenthal-Getoor indices, and (ii) for the mixed fractional Brownian motion introduced by Cheridito. In the remaining cases, our results reveal a delicate interplay between the Hurst parameters and the indices of stability. Our asymptotic theory is based on new limit theorems for multiscale moving average processes.


title: High frequency torsional motion transduction using optomechanical coupled oscillators

abstract: Using light to measure an object's motion is central to operating mechanical sensors that probe forces and fields. Cavity optomechanical systems embed mechanical resonators inside optical resonators. This enhances the sensitivity of optomechanical measurements, but only if the mechanical resonator does not spoil the properties of the optical cavity. For example, cavity optomechanical detection of resonators made from optically absorbing materials, or whose geometry does not possess suitable spatial symmetry, is challenging. Here we demonstrate a system that overcomes challenges in measuring high-frequency twisting motion of a nanodisk by converting them to vibrations of a photonic crystal cavity. Optomechanical readout of the cavity then enables measurement of the nanodisk's torsional resonances with sensitivity $5.1\times 10^{-21}-1.2\times 10^{-19}\,\text{Nm}/\sqrt{\text{Hz}}$ for a mechanical frequency range of 5--800 MHz. The nanodisk can be outfitted with magnetic nanostructures or metasurfaces without affecting the optical properties of the cavity, making the system suitable for torque magnetometry and structured light sensing.


title: A Geometric Framework for Odor Representation

abstract: We present a generalized theoretical framework for olfactory representation and plasticity, using the theory of smooth manifolds and sheaves to depict categorical odor learning via distributed neural computation. Beginning with the space of all possible inputs to the olfactory system, we develop a dynamic model for odor learning that culminates in a perceptual space in which categorical odor representations are hierarchically constructed through experience, exhibiting statistically appropriate consequential regions and clear relationships between the broader and narrower identities to which a given odor might be assigned. The model reflects both the sampling-based physical similarity relationships among odorants, as observed in physiological receptor response profiles, and the acquired, learning-dependent perceptual similarity relationships among odors that can be measured behaviorally, and defines the relationship between them. Individual training and experience generates correspondingly more sophisticated odor identification capabilities. Because these odor representations are constructed from experience and depend on local, distributed plasticity mechanisms, geometries that fix curvature are insufficient to describe the capabilities of the system. This generative framework also encompasses hypotheses explaining representational drift in postbulbar circuits and the context-dependent remapping of perceptual similarity relationships.


title: The functional dissipativity of certain systems of partial differential equations

abstract: In the present paper we consider the functional dissipativity of the Dirichlet problem for systems of partial differential operators of the form $\partial_{h} ({\mathop{\mathscr A}\nolimits}^{hk}(x)\partial_{k})$ (${\mathop{\mathscr A}\nolimits}^{hk}$ being $m\times m$ matrices with complex valued $L^{1}_{\text{loc}}$ entries). In the particular case of the operator $\partial_{h} ({\mathop{\mathscr A}\nolimits}^{h}(x)\partial_{h})$ (where ${\mathop{\mathscr A}\nolimits}^{h}$ are $m\times m$ matrices) we obtain algebraic necessary and sufficient conditions. We give also three different notions of functional ellipticity and investigate the relations between them and the functional dissipativity for the operators in question.


title: Hypergraphs with Edge-Dependent Vertex Weights: p-Laplacians and Spectral Clustering

abstract: We study p-Laplacians and spectral clustering for a recently proposed hypergraph model that incorporates edge-dependent vertex weights (EDVW). These weights can reflect different importance of vertices within a hyperedge, thus conferring the hypergraph model higher expressivity and flexibility. By constructing submodular EDVW-based splitting functions, we convert hypergraphs with EDVW into submodular hypergraphs for which the spectral theory is better developed. In this way, existing concepts and theorems such as p-Laplacians and Cheeger inequalities proposed under the submodular hypergraph setting can be directly extended to hypergraphs with EDVW. For submodular hypergraphs with EDVW-based splitting functions, we propose an efficient algorithm to compute the eigenvector associated with the second smallest eigenvalue of the hypergraph 1-Laplacian. We then utilize this eigenvector to cluster the vertices, achieving higher clustering accuracy than traditional spectral clustering based on the 2-Laplacian. More broadly, the proposed algorithm works for all submodular hypergraphs that are graph reducible. Numerical experiments using real-world data demonstrate the effectiveness of combining spectral clustering based on the 1-Laplacian and EDVW.


title: Learnable Filters for Geometric Scattering Modules

abstract: We propose a new graph neural network (GNN) module, based on relaxations of recently proposed geometric scattering transforms, which consist of a cascade of graph wavelet filters. Our learnable geometric scattering (LEGS) module enables adaptive tuning of the wavelets to encourage band-pass features to emerge in learned representations. The incorporation of our LEGS-module in GNNs enables the learning of longer-range graph relations compared to many popular GNNs, which often rely on encoding graph structure via smoothness or similarity between neighbors. Further, its wavelet priors result in simplified architectures with significantly fewer learned parameters compared to competing GNNs. We demonstrate the predictive performance of LEGS-based networks on graph classification benchmarks, as well as the descriptive quality of their learned features in biochemical graph data exploration tasks. Our results show that LEGS-based networks match or outperforms popular GNNs, as well as the original geometric scattering construction, on many datasets, in particular in biochemical domains, while retaining certain mathematical properties of handcrafted (non-learned) geometric scattering.


title: Nesterov smoothing for sampling without smoothness

abstract: We study the problem of sampling from a target distribution in $\mathbb{R}^d$ whose potential is not smooth. Compared with the sampling problem with smooth potentials, this problem is much less well-understood due to the lack of smoothness. In this paper, we propose a novel sampling algorithm for a class of non-smooth potentials by first approximating them by smooth potentials using a technique that is akin to Nesterov smoothing. We then utilize sampling algorithms on the smooth potentials to generate approximate samples from the original non-smooth potentials. We select an appropriate smoothing intensity to ensure that the distance between the smoothed and un-smoothed distributions is minimal, thereby guaranteeing the algorithm's accuracy. Hence we obtain non-asymptotic convergence results based on existing analysis of smooth sampling. We verify our convergence result on a synthetic example and apply our method to improve the worst-case performance of Bayesian inference on a real-world example.


title: A Research Software Engineering Workflow for Computational Science and Engineering

abstract: University research groups in Computational Science and Engineering (CSE) generally lack dedicated funding and personnel for Research Software Engineering (RSE), which, combined with the pressure to maximize the number of scientific publications, shifts the focus away from sustainable research software development and reproducible results. The neglect of RSE in CSE at University research groups negatively impacts the scientific output: research data - including research software - related to a CSE publication cannot be found, reproduced, or re-used, different ideas are not combined easily into new ideas, and published methods must very often be re-implemented to be investigated further. This slows down CSE research significantly, resulting in considerable losses in time and, consequentially, public funding. We propose a RSE workflow for Computational Science and Engineering (CSE) that addresses these challenges, that improves the quality of research output in CSE. Our workflow applies established software engineering practices adapted for CSE: software testing, result visualization, and periodical cross-linking of software with reports/publications and data, timed by milestones in the scientific publication process. The workflow introduces minimal work overhead, crucial for university research groups, and delivers modular and tested software linked to publications whose results can easily be reproduced. We define research software quality from a perspective of a pragmatic researcher: the ability to quickly find the publication, data, and software related to a published research idea, quickly reproduce results, understand or re-use a CSE method, and finally extend the method with new research ideas.


title: A Library for Representing Python Programs as Graphs for Machine Learning

abstract: Graph representations of programs are commonly a central element of machine learning for code research. We introduce an open source Python library python_graphs that applies static analysis to construct graph representations of Python programs suitable for training machine learning models. Our library admits the construction of control-flow graphs, data-flow graphs, and composite ``program graphs'' that combine control-flow, data-flow, syntactic, and lexical information about a program. We present the capabilities and limitations of the library, perform a case study applying the library to millions of competitive programming submissions, and showcase the library's utility for machine learning research.


title: Speeding up random walk mixing by starting from a uniform vertex

abstract: The theory of rapid mixing random walks plays a fundamental role in the study of modern randomised algorithms. Usually, the mixing time is measured with respect to the worst initial position. It is well known that the presence of bottlenecks in a graph hampers mixing and, in particular, starting inside a small bottleneck significantly slows down the diffusion of the walk in the first steps of the process. The average mixing time is defined to be the mixing time starting at a uniformly random vertex and hence is not sensitive to the slow diffusion caused by these bottlenecks. In this paper we provide a general framework to show logarithmic average mixing time for random walks on graphs with small bottlenecks. The framework is especially effective on certain families of random graphs with heterogeneous properties. We demonstrate its applicability on two random models for which the mixing time was known to be of order $(\log n)^2$, speeding up the mixing to order $\log n$. First, in the context of smoothed analysis on connected graphs, we show logarithmic average mixing time for randomly perturbed graphs of bounded degeneracy. A particular instance is the Newman-Watts small-world model. Second, we show logarithmic average mixing time for supercritically percolated expander graphs. When the host graph is complete, this application gives an alternative proof that the average mixing time of the giant component in the supercritical Erd\H{o}s-R\'enyi graph is logarithmic.


title: Conv-Adapter: Exploring Parameter Efficient Transfer Learning for ConvNets

abstract: While parameter efficient tuning (PET) methods have shown great potential with transformer architecture on Natural Language Processing (NLP) tasks, their effectiveness with large-scale ConvNets is still under-studied on Computer Vision (CV) tasks. This paper proposes Conv-Adapter, a PET module designed for ConvNets. Conv-Adapter is light-weight, domain-transferable, and architecture-agnostic with generalized performance on different tasks. When transferring on downstream tasks, Conv-Adapter learns tasks-specific feature modulation to the intermediate representations of backbones while keeping the pre-trained parameters frozen. By introducing only a tiny amount of learnable parameters, e.g., only 3.5% full fine-tuning parameters of ResNet50. It can also be applied for transformer-based backbones. Conv-Adapter outperforms previous PET baseline methods and achieves comparable or surpasses the performance of full fine-tuning on 23 classification tasks of various domains. It also presents superior performance on the few-shot classification with an average margin of 3.39%. Beyond classification, Conv-Adapter can generalize to detection and segmentation tasks with more than 50% reduction of parameters but comparable performance to the traditional full fine-tuning.


title: An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models

abstract: In this discussion paper, we survey recent research surrounding robustness of machine learning models. As learning algorithms become increasingly more popular in data-driven control systems, their robustness to data uncertainty must be ensured in order to maintain reliable safety-critical operations. We begin by reviewing common formalisms for such robustness, and then move on to discuss popular and state-of-the-art techniques for training robust machine learning models as well as methods for provably certifying such robustness. From this unification of robust machine learning, we identify and discuss pressing directions for future research in the area.


title: CCAT-prime: RFSoC Based Readout for Frequency Multiplexed Kinetic Inductance Detectors

abstract: The Prime-Cam instrument on the Fred Young Submillimeter Telescope (FYST) is expected to be the largest deployment of millimeter and submillimeter sensitive kinetic inductance detectors to date. To read out these arrays efficiently, a microwave frequency multiplexed readout has been designed to run on the Xilinx Radio Frequency System on a Chip (RFSoC). The RFSoC has dramatically improved every category of size, weight, power, cost, and bandwidth over the previous generation readout systems. We describe a baseline firmware design which can read out four independent RF networks each with 500 MHz of bandwidth and 1000 detectors for ~30 W. The overall readout architecture is a combination of hardware, gateware/firmware, software, and network design. The requirements of the readout are driven by the 850 GHz instrument module of the 7-module Prime-Cam instrument. These requirements along with other constraints which have led to critical design choices are highlighted. Preliminary measurements of the system phase noise and dynamic range are presented.


title: EUSO-SPB2: A sub-orbital cosmic ray and neutrino multi-messenger pathfinder observatory

abstract: The next generation of ultra-high energy cosmic ray (UHECR) and very-high energy neutrino observatories will address the challenge of the extremely low fluxes of these particles at the highest energies. EUSO-SPB2 (Extreme Universe Space Observatory on a Super Pressure Balloon2) is designed to prepare space missions to address this challenge. EUSO-SPB2 is equipped with 2 telescopes: the Fluorescence Telescope, which will point downwards and measure fluorescence emission from UHECR air showers with an energy above 2EeV, and the Cherenkov Telescope (CT), which will point towards the Earth's limb and measure direct Cherenkov emission from cosmic rays with energies above 1PeV, verifying the technique. Pointed below the limb, the CT will search for Cherenkov emission produced by neutrino-sourced tau-lepton decays above 10PeV energies and study backgrounds for such events. The EUSO-SPB2 mission will provide pioneering observations and technical milestones on the path towards a space-based multi-messenger observatory.


title: High-z galaxies with JWST and local analogues -- it is not only star formation

abstract: I present an analysis of the JWST NIRSpec data of SMACS 0723 released as Early Release Observations. As part of this three new redshifts are provided, bringing the total of reliable redshifts to 14. I propose a modification to the direct abundance determination method that reduces sensitivity to flux calibration uncertainties by a factor of ~3 and show that the resulting abundances are in good agreement with Bayesian photoionization models of the rest-frame optical spectrum. I also show that 6355 is most likely a narrow-line active galactic nucleus (AGN) with $M_* \sim 10^9$ Msun at z=7.66, and argue that 10612 might also have an AGN contribution to its flux through comparison to photoionization models and low-redshift analogues. Under the assumption that the lines come from star-formation I find that the galaxies have gas depletion times of ~$10^7$ years, comparable to similar galaxies locally. I also identify a population of possibly shock-dominated galaxies at z<3 whose near-IR emission lines plausibly come nearly all from shocks and discuss their implications. I close with a discussion of the potential for biases in the determination of the mass-metallicity relation using samples defined by detected [O III]4363 and show using low-z galaxies that this can lead to biases of up to 0.5 dex with a systematic trend with mass.


title: Encoding Integers and Rationals on Neuromorphic Computers using Virtual Neuron

abstract: Neuromorphic computers perform computations by emulating the human brain, and use extremely low power. They are expected to be indispensable for energy-efficient computing in the future. While they are primarily used in spiking neural network-based machine learning applications, neuromorphic computers are known to be Turing-complete, and thus, capable of general-purpose computation. However, to fully realize their potential for general-purpose, energy-efficient computing, it is important to devise efficient mechanisms for encoding numbers. Current encoding approaches have limited applicability and may not be suitable for general-purpose computation. In this paper, we present the virtual neuron as an encoding mechanism for integers and rational numbers. We evaluate the performance of the virtual neuron on physical and simulated neuromorphic hardware and show that it can perform an addition operation using 23 nJ of energy on average using a mixed-signal memristor-based neuromorphic processor. We also demonstrate its utility by using it in some of the mu-recursive functions, which are the building blocks of general-purpose computation.


title: Semidefinite Programming versus Burer-Monteiro Factorization for Matrix Sensing

abstract: Many fundamental low-rank optimization problems, such as matrix completion, phase synchronization/retrieval, power system state estimation, and robust PCA, can be formulated as the matrix sensing problem. Two main approaches for solving matrix sensing are based on semidefinite programming (SDP) and Burer-Monteiro (B-M) factorization. The SDP method suffers from high computational and space complexities, whereas the B-M method may return a spurious solution due to the non-convexity of the problem. The existing theoretical guarantees for the success of these methods have led to similar conservative conditions, which may wrongly imply that these methods have comparable performances. In this paper, we shed light on some major differences between these two methods. First, we present a class of structured matrix completion problems for which the B-M methods fail with an overwhelming probability, while the SDP method works correctly. Second, we identify a class of highly sparse matrix completion problems for which the B-M method works and the SDP method fails. Third, we prove that although the B-M method exhibits the same performance independent of the rank of the unknown solution, the success of the SDP method is correlated to the rank of the solution and improves as the rank increases. Unlike the existing literature that has mainly focused on those instances of matrix sensing for which both SDP and B-M work, this paper offers the first result on the unique merit of each method over the alternative approach.


title: Non-Linear Ablative Rayleigh-Taylor Instability: Increased Growth due to Self-Generated Magnetic Fields

abstract: The growth rate of the non-linear ablative Rayleigh-Taylor (RT) instability is enhanced by magnetic fields self-generated by the Biermann battery mechanism; a scaling for this effect with perturbation height and wavelength is proposed and validated with extended-magnetohydrodynamic simulations. The magnetic flux generation rate around a single RT spike is found to scale with the spike height. The Hall Parameter, which quantifies electron magnetization, is found to be strongly enhanced for short wavelength spikes due to Nernst compression of the magnetic field at the spike tip. The impact of the magnetic field on spike growth is through both the suppressed thermal conduction into the unstable spike and the Righi-Leduc heat-flow deflecting heat from the spike tip to the base. Righi-Leduc is found to be the dominant effect for small Hall Parameters, while suppressed thermal conduction dominates for large Hall Parameters. These results demonstrate the importance of considering magnetic fields in all perturbed inertial confinement fusion hot-spots.


title: On the Adoption and Effects of Source Code Reuse on Defect Proneness and Maintenance Effort

abstract: Context. Software reusability mechanisms, like inheritance and delegation in Object-Oriented programming, are widely recognized as key instruments of software design. These are used to reduce the risks of source code being affected by defects, other than to reduce the effort required to maintain and evolve source code. Previous work has traditionally employed source code reuse metrics for prediction purposes, e.g., in the context of defect prediction. Objective. However, our research identifies two noticeable limitations of current literature. First, still little is known on the extent to which developers actually employ code reuse mechanisms over time. Second, it is still unclear how these mechanisms may contribute to explain defect-proneness and maintenance effort during software evolution. We aim at bridging this gap of knowledge, as an improved understanding of these aspects might provide insights into the actual support provided by these mechanisms, e.g., by suggesting whether and how to use them for prediction purposes. Method. We propose an exploratory study aiming at (1) assessing how developers use inheritance and delegation during software evolution; and (2) statistically analyze the impact of inheritance and delegation on fault proneness and maintenance effort. The study will be conducted on the commits of 17 Java projects of the DEFECTS4J dataset.