title: RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks

abstract: The state-of-the-art predictive maintenance (PdM) techniques have shown great success in reducing maintenance costs and downtime of complicated machines while increasing overall productivity through extensive utilization of Internet-of-Things (IoT) and Deep Learning (DL). Unfortunately, IoT sensors and DL algorithms are both prone to cyber-attacks. For instance, DL algorithms are known for their susceptibility to adversarial examples. Such adversarial attacks are vastly under-explored in the PdM domain. This is because the adversarial attacks in the computer vision domain for classification tasks cannot be directly applied to the PdM domain for multivariate time series (MTS) regression tasks. In this work, we propose an end-to-end methodology to design adversarially robust PdM systems by extensively analyzing the effect of different types of adversarial attacks and proposing a novel adversarial defense technique for DL-enabled PdM models. First, we propose novel MTS Projected Gradient Descent (PGD) and MTS PGD with random restarts (PGD_r) attacks. Then, we evaluate the impact of MTS PGD and PGD_r along with MTS Fast Gradient Sign Method (FGSM) and MTS Basic Iterative Method (BIM) on Long Short-Term Memory (LSTM), Gated Recurrent Unit (GRU), Convolutional Neural Network (CNN), and Bi-directional LSTM based PdM system. Our results using NASA's turbofan engine dataset show that adversarial attacks can cause a severe defect (up to 11X) in the RUL prediction, outperforming the effectiveness of the state-of-the-art PdM attacks by 3X. Furthermore, we present a novel approximate adversarial training method to defend against adversarial attacks. We observe that approximate adversarial training can significantly improve the robustness of PdM models (up to 54X) and outperforms the state-of-the-art PdM defense methods by offering 3X more robustness.


title: Reflective Artificial Intelligence

abstract: Artificial Intelligence (AI) is about making computers that do the sorts of things that minds can do, and as we progress towards this goal, we tend to increasingly delegate human tasks to machines. However, AI systems usually do these tasks with an unusual imbalance of insight and understanding: new, deeper insights are present, yet many important qualities that a human mind would have previously brought to the activity are utterly absent. Therefore, it is crucial to ask which features of minds have we replicated, which are missing, and if that matters. One core feature that humans bring to tasks, when dealing with the ambiguity, emergent knowledge, and social context presented by the world, is reflection. Yet this capability is utterly missing from current mainstream AI. In this paper we ask what reflective AI might look like. Then, drawing on notions of reflection in complex systems, cognitive science, and agents, we sketch an architecture for reflective AI agents, and highlight ways forward.


title: Deformations of an active liquid droplet

abstract: A fluid droplet in general deforms, if subject to active driving, such as a finite slip velocity or active tractions on its interface. We show that these deformations and their dynamics can be computed analytically in a perturbation theory in the inverse surface tension using an approach based on vector spherical harmonics. In lowest order, the deformation is of first order, yet it affects the flow fields inside and outside of the droplet in zeroth order. Hence a correct description of the flow has to allow for shape fluctuations, even in the limit of large surface tension.


title: Global well-posedness of the 2D nonlinear Schr\"odinger equation with multiplicative spatial white noise on the full space

abstract: We consider the nonlinear Schr\"odinger equation with multiplicative spatial white noise and an arbitrary polynomial nonlinearity on the two-dimensional full space domain. We prove global well-posedness by using a gauge-transform introduced by Hairer and Labb\'e (2015) and constructing the solution as a limit of solutions to a family of approximating equations. This paper extends a previous result by Debussche and Martin (2019) with a sub-quadratic nonlinearity.


title: Superconductor-quantum dot hybrid coolers

abstract: We propose a refrigeration scheme in a mesoscopic superconductor-quantum dot hybrid device. The setup can significantly cool down a normal metal coupled to the device by applying a bias voltage across the system. We demonstrate that the cooling power can be as large as 0.05$\Delta_0^2/h$ where $\Delta_0$ is the absolute value of superconducting order parameter. In contrast to previous proposals, our device operates without any magnetic elements such as ferromagnetic reservoirs or Zeeman splittings. The refrigeration scheme works over a broad parameter range and can be optimized by tuning system parameters such as level position and bias voltage. Our theory self-consistently determines the temperature drop of the normal reservoir in the nonlinear transport regime including electron-electron interactions at the mean field level. Finally, we evaluate the refrigeration performance and find efficiencies as large as half of the Carnot bound for realistic values of the coupling strength.


title: MAG$\pi$: Types for Failure-Prone Communication

abstract: Multiparty Session Types (MPST) are a typing discipline for communication-centric systems, guaranteeing communication safety, deadlock freedom and protocol compliance. Several works have emerged which model failures and introduce fault-tolerance techniques. However, such works often make assumptions on the underlying network, e.g., TCP-based communication where messages are guaranteed to be delivered; or adopt centralised reliable nodes and an ad-hoc notion of reliability; or only address a single kind of failure, such as node crash failures. In this work, we develop MAG$\pi$ -- a Multiparty, Asynchronous and Generalised $\pi$-calculus, which is the first language and type system to accommodate in unison: (i) the widest range of non-Byzantine faults, including message loss, delays and reordering; crash failures and link failures; and network partitioning; (ii) a novel and most general notion of reliability, taking into account the viewpoint of each participant in the protocol; (iii) a spectrum of network assumptions from the lowest UDP-based network programming to the TCP-based application level. We prove subject reduction and session fidelity; process properties (deadlock freedom, termination, etc.); failure-handling safety and reliability adherence.


title: Demonstrating quantum computing with the quark model

abstract: The use of quantum computing to solve a problem in quantum mechanics is illustrated, step by step, by calculating energies and transition amplitudes in a nonrelativistic quark model. The quantum computations feature the use of variational quantum imaginary time evolution implemented using automatic differentiation to determine ground and excited states of charmonium. The calculation of transition amplitudes is illustrated utilizing the Hadamard test. Examples of readout and gate error mitigation are included.


title: TranSOP: Transformer-based Multimodal Classification for Stroke Treatment Outcome Prediction

abstract: Acute ischaemic stroke, caused by an interruption in blood flow to brain tissue, is a leading cause of disability and mortality worldwide. The selection of patients for the most optimal ischaemic stroke treatment is a crucial step for a successful outcome, as the effect of treatment highly depends on the time to treatment. We propose a transformer-based multimodal network (TranSOP) for a classification approach that employs clinical metadata and imaging information, acquired on hospital admission, to predict the functional outcome of stroke treatment based on the modified Rankin Scale (mRS). This includes a fusion module to efficiently combine 3D non-contrast computed tomography (NCCT) features and clinical information. In comparative experiments using unimodal and multimodal data on the MRCLEAN dataset, we achieve a state-of-the-art AUC score of 0.85.


title: Counting Parking Sequences and Parking Assortments Through Permutations

abstract: Parking sequences (a generalization of parking functions) are defined by specifying car lengths and requiring that a car attempts to park in the first available spot after its preference. If it does not fit there, then a collision occurs and the car fails to park. In contrast, parking assortments generalize parking sequences (and parking functions) by allowing cars (also of assorted lengths) to seek forward from their preference to identify a set of contiguous unoccupied spots in which they fit. We consider both parking sequences and parking assortments and establish that the number of preferences resulting in a fixed parking order $\sigma$ is related to the lengths of cars indexed by certain subsequences in $\sigma$. The sum of these numbers over all parking orders (i.e. permutations of $[n]$) yields new formulas for the total number of parking sequences and of parking assortments.


title: An evolutionary view on equilibrium models of transport flows

abstract: In this short paper we describe natural logit population games dynamics that explain equilibrium models of origin-destination matrix estimation and (stochastic) traffic assignment models (Beckmann, Nesterov--de Palma). Composition of the proposed dynamics allows to explain two-stages traffic assignment models.


title: Quantum Encryption of superposition states with Quantum Permutation Pad in IBM Quantum Computers

abstract: We present an implementation of Kuang and Bettenburg's Quantum Permutation Pad (QPP) used to encrypt superposition states. The project was conducted on currently available IBM quantum systems using the Qiskit development kit. This work extends previously reported implementation of QPP used to encrypt basis states and demonstrates that application of the QPP scheme is not limited to the encryption of basis states. For this implementation, a pad of 56 2-qubit Permutation matrices was used, providing 256 bits of entropy for the QPP algorithm. An image of a cat was used as the plaintext for this experiment. To create corresponding superposition states, we applied a novel operator defined in this paper. These superposition states were then encrypted using QPP, producing superposition ciphertext states. Due to the lack of a quantum channel, we omitted the transmission and executed the decryption procedure on the same IBM quantum system. If a quantum channel existed, the superposition ciphertext states could be transmitted as qubits, and be directly decrypted on a different quantum system. We provide a brief discussion of the security, although the focus of the paper remains on the implementation. Previously we have demonstrated QPP operating in both classical and quantum computers, offering an interesting opportunity to bridge the security gap between classical and quantum systems. This work broadens the applicability of QPP for the encryption of basis states as well as superposition states.


title: Heat-flux Fluctuations reveals regime transitions in Rayleigh-B\'enard convection

abstract: The study of the transitions among different regimes in thermal convection has been an issue of paramount importance in fluid mechanics. While the bifurcations at low Rayleigh number, when the flow is laminar or moderately chaotic, have been fully understood for a long time, transitions at higher Rayleigh number are much more difficult to be clearly identified. Here, through a numerical study of the two-dimensional Rayleigh-B\'enard convection covering four decades in Rayleigh number for two different Prandtl numbers, we find a clear-cut transition by considering the fluctuations of the heat flux through a horizontal plane, rather than its mean value. More specifically, we have found that this sharp transition is displayed by a jump of the ratio of the root-mean-square fluctuations of the heat flux to its mean value and occurs at $Ra/Pr \approx 10^9$. Above the transition, this ratio is found to be constant in all regions of the flow, while taking different values in the bulk and at the boundaries. Below the transition instead, different behaviors are observed at the boundaries and in the bulk: at the boundaries, this ratio decreases with respect to the Rayleigh number whereas it is found to be constant in the bulk for all values of the Rayleigh number. Through this numerical evidence and an analytical reasoning we confirm what was already observed in experiments, that is the decrease of the ratio of root-mean-square fluctuations of the heat flux to its mean value, observed at the boundaries below the transition, can understood in terms of the law of large numbers.


title: Global stability of a logarithmically sensitive chemotaxis model under time-dependent boundary conditions

abstract: This paper studies the dynamical behavior of classical solutions to a hyperbolic system of balance laws, derived from a chemotaxis model with logarithmic sensitivity, subject to time-dependent boundary conditions. It is shown that under suitable assumptions on the boundary data, solutions starting in $H^2$-space exist globally in time and the differences between the solutions and their corresponding boundary data converge to zero, as time goes to infinity. There is no smallness restriction on the magnitude of initial perturbations. Moreover, numerical simulations show that the assumptions on the boundary data are necessary for the above mentioned results.


title: When Layers Play the Lottery, all Tickets Win at Initialization

abstract: Pruning is a standard technique for reducing the computational cost of deep networks. Many advances in pruning leverage concepts from the Lottery Ticket Hypothesis (LTH). LTH reveals that inside a trained dense network exists sparse subnetworks (tickets) able to achieve similar accuracy (i.e., win the lottery - winning tickets). Pruning at initialization focuses on finding winning tickets without training a dense network. Studies on these concepts share the trend that subnetworks come from weight or filter pruning. In this work, we investigate LTH and pruning at initialization from the lens of layer pruning. First, we confirm the existence of winning tickets when the pruning process removes layers. Leveraged by this observation, we propose to discover these winning tickets at initialization, eliminating the requirement of heavy computational resources for training the initial (over-parameterized) dense network. Extensive experiments show that our winning tickets notably speed up the training phase and reduce up to 51% of carbon emission, an important step towards democratization and green Artificial Intelligence. Beyond computational benefits, our winning tickets exhibit robustness against adversarial and out-of-distribution examples. Finally, we show that our subnetworks easily win the lottery at initialization while tickets from filter removal (the standard structured LTH) hardly become winning tickets.


title: A Pseudo Plane-wave Gravitational Calibrator for Gravitational Wave Observatories

abstract: The precisions of existing gravitational calibrators for gravitational wave observatories are limited by their dependence on the relative position between the calibrators and the observatory's test masses. Here we present a novel geometry consisting of four quadrupole rotors placed at the vertices of a rectangle centered on the test mass. The phases and rotation directions are selected to produce a pseudo plane-wave sinusoidal gravitational acceleration with amplitude of ~ 100 fm/s^2. We show that this acceleration only has minimal dependence on the test mass position relative to the rotor array and can yield 0.15% acceleration amplitude uncertainty while tolerating a 1-cm test mass position uncertainty. The acceleration can be directed precisely along the optical axis of the interferometer arm and applies no torque on the test mass. In addition, the small size of the rotors has significant engineering and safety benefits.


title: The unusual M-dwarf Warm Jupiter TOI-1899~b: Refinement of orbital and planetary parameters

abstract: TOI-1899 b is a rare exoplanet, a temperate Warm Jupiter orbiting an M-dwarf, first discovered by Ca\~nas et al. (2020) from a TESS single-transit event. Using new radial velocities (RVs) from the precision RV spectrographs HPF and NEID, along with additional TESS photometry and ground-based transit follow-up, we are able to derive a much more precise orbital period of $P = 29.090312_{-0.000035}^{+0.000036}$ d, along with a radius of $R_p = 0.99 \pm 0.03~R_J$. We have also improved the constraints on planet mass, $M_p = 0.67 \pm 0.04~M_J$, and eccentricity, which is consistent with a circular orbit at 2$\sigma$ ($e = 0.044_{-0.027}^{+0.029}$). TOI-1899 b occupies a unique region of parameter space as the coolest known ($T_{eq} \approx$ 380 K) Jovian-sized transiting planet around an M-dwarf; we show that it has great potential to provide clues regarding the formation and migration mechanisms of these rare gas giants through transmission spectroscopy with JWST as well as studies of tidal evolution.


title: Fast Merge Tree Computation via SYCL

abstract: A merge tree is a topological descriptor of a real-valued function. Merge trees are used in visualization and topological data analysis, either directly or as a means to another end: computing a 0-dimensional persistence diagram, identifying connected components, performing topological simplification, etc. Scientific computing relies more and more on GPUs to achieve fast, scalable computation. For efficiency, data analysis should take place at the same location as the main computation, which motivates interest in parallel algorithms and portable software for merge trees that can run not only on a CPU, but also on a GPU, or other types of accelerators. The SYCL standard defines a programming model that allows the same code, written in standard C++, to compile targets for multiple parallel backends (CPUs via OpenMP or TBB, NVIDIA GPUs via CUDA, AMD GPUs via ROCm, Intel GPUs via Level Zero, FPGAs). In this paper, we adapt the triplet merge tree algorithm to SYCL and compare our implementation with the VTK-m implementation, which is the only other implementation of merge trees for GPUs that we know of.


title: Sub-Picosecond Carrier Dynamics Explored using Automated High-Throughput Studies of Doping Inhomogeneity within a Bayesian Framework

abstract: Bottom-up production of semiconductor nanomaterials is often accompanied by inhomogeneity resulting in a spread in electronic properties which may be influenced by the nanoparticle geometry, crystal quality, stoichiometry or doping. Using photoluminescence spectroscopy of a population of more than 20,000 individual Zn-doped GaAs nanowires, we reveal inhomogeneity in, and correlation between doping and nanowire diameter by use of a Bayesian statistical approach. Recombination of hot-carriers is shown to be responsible for the photoluminescence lineshape; by exploiting lifetime variation across the population, we reveal hot-carrier dynamics at the sub-picosecond timescale showing interband electronic dynamics. High-throughput spectroscopy together with a Bayesian approach are shown to provide unique insight in an inhomogeneous nanomaterial population, and can reveal electronic dynamics otherwise requiring complex pump-probe experiments in highly non-equilibrium conditions.


title: Improved Bitcoin Price Prediction based on COVID-19 data

abstract: Social turbulence can affect people financial decisions, causing changes in spending and saving. During a global turbulence as significant as the COVID-19 pandemic, such changes are inevitable. Here we examine how the effects of COVID-19 on various jurisdictions influenced the global price of Bitcoin. We hypothesize that lock downs and expectations of economic recession erode people trust in fiat (government-issued) currencies, thus elevating cryptocurrencies. Hence, we expect to identify a causal relation between the turbulence caused by the pandemic, demand for Bitcoin, and ultimately its price. To test the hypothesis, we merged datasets of Bitcoin prices and COVID-19 cases and deaths. We also engineered extra features and applied statistical and machine learning (ML) models. We applied a Random Forest model (RF) to identify and rank the feature importance, and ran a Long Short-Term Memory (LSTM) model on Bitcoin prices data set twice: with and without accounting for COVID-19 related features. We find that adding COVID-19 data into the LSTM model improved prediction of Bitcoin prices.


title: Free Join: Unifying Worst-Case Optimal and Traditional Joins

abstract: Over the last decade, worst-case optimal join (WCOJ) algorithms have emerged as a new paradigm for one of the most fundamental challenges in query processing: computing joins efficiently. Such an algorithm can be asymptotically faster than traditional binary joins, all the while remaining simple to understand and implement. However, they have been found to be less efficient than the old paradigm, traditional binary join plans, on the typical acyclic queries found in practice. Some database systems that support WCOJ use a hypbrid approach: use WCOJ to process the cyclic subparts of the query (if any), and rely on traditional binary joins otherwise. In this paper we propose a new framework, called Free Join, that unifies the two paradigms. We describe a new type of plan, a new data structure (which unifies the hash tables and tries used by the two paradigms), and a suite of optimization techniques. Our system, implemented in Rust, matches or outperforms both traditional binary joins and Generic Join on standard query benchmarks.


title: Impact of the Energy Landscape on the Ionic Transport of Disordered Rocksalt Cathodes

abstract: Traditional approaches to identify ion-transport pathways often presume equal probability of occupying all hopping sites and focus entirely on finding the lowest migration barrier channels between them. Although this strategy has been applied successfully to solid-state Li battery materials, which historically have mostly been ordered frameworks, in the emerging class of disordered electrode materials some Li-sites can be significantly more stable than others due to a varied distribution of transition metal (TM) environments. Using kinetic Monte Carlo simulations, we show that in such cation-disordered compounds only a fraction of the Li-sites connected by the so-called low-barrier ``0-TM" channels actually participate in Li-diffusion. The Li-diffusion behavior through these sites, which are determined primarily by the voltage applied during Li-extraction, can be captured using an effective migration barrier larger than that of the 0-TM barrier itself. The suppressed percolation due to cation disorder can decrease the ionic diffusion coefficient at room temperature by over 2 orders of magnitude.


title: Gatherplot: A Non-Overlapping Scatterplot

abstract: Scatterplots are a common tool for exploring multidimensional datasets, especially in the form of scatterplot matrices (SPLOMs). However, scatterplots suffer from overplotting when categorical variables are mapped to one or two axes, or the same continuous variable is used for both axes. Previous methods such as histograms or violin plots use aggregation, which makes brushing and linking difficult. To address this, we propose gatherplots, an extension of scatterplots to manage the overplotting problem. Gatherplots are a form of unit visualization, which avoid aggregation and maintain the identity of individual objects to ease visual perception. In gatherplots, every visual mark that maps to the same position coalesces to form a packed entity, thereby making it easier to see the overview of data groupings. The size and aspect ratio of marks can also be changed dynamically to make it easier to compare the composition of different groups. In the case of a categorical variable vs. a categorical variable, we propose a heuristic to decide bin sizes for optimal space usage. To validate our work, we conducted a crowdsourced user study that shows that gatherplots enable people to assess data distribution more quickly and more correctly than when using jittered scatterplots.


title: Diameter of Compact Riemann Surfaces

abstract: Diameter is one of the most basic properties of a geometric object, while Riemann surfaces are one of the most basic geometric objects. Surprisingly, the diameter of compact Riemann surfaces is known exactly only for the sphere and the torus. For higher genuses, only very general but loose upper and lower bounds are available. The problem of calculating the diameter exactly has been intractable since there is no simple expression for the distance between a pair of points on a high-genus surface. Here we prove that the diameters of a class of simple Riemann surfaces known as generalized Bolza surfaces of any genus greater than $1$ are equal to the radii of their fundamental polygons. This appears to be the first exact result for the diameter of a compact hyperbolic manifold.


title: Does cluster encapsulation inhibit sintering? Stabilization of size-selected Pt clusters on Fe$_3$O$_4$(001) by SMSI

abstract: The metastability of supported metal nanoparticles limits their application in heterogeneous catalysis at elevated temperatures due to their tendency to sinter. One strategy to overcome these thermodynamic limits on reducible oxide supports is encapsulation via strong metal-support interaction (SMSI). While annealing-induced encapsulation is a well-explored phenomenon for extended nanoparticles, it is as yet unknown whether the same mechanisms hold for sub-nanometer clusters, where concomitant sintering and alloying might play a significant role. In this article, we explore the encapsulation and stability of size-selected Pt$_5$, Pt$_{10}$ and Pt$_{19}$ clusters deposited on Fe$_3$O$_4$(001). In a multimodal approach using temperature-programmed desorption (TPD), x-ray photoelectron spectroscopy (XPS) and scanning tunneling microscopy (STM), we demonstrate that SMSI indeed leads to the formation of a defective, FeO-like conglomerate encapsulating the clusters. By stepwise annealing up to 1023 K, we observe the succession of encapsulation, cluster coalescence and Ostwald ripening, resulting in square-shaped crystalline Pt particles, independent of the initial cluster sizes. The respective sintering onset temperatures scale with the cluster footprint and thus size. Remarkably, while small encapsulated clusters can still diffuse as a whole, atom detachment and thus Ostwald ripening are successfully suppressed up to 823 K, i.e. 200 K above the H\"uttig temperature that indicates the thermodynamic stability limit.


title: Optimal decision making in robotic assembly and other trial-and-error tasks

abstract: Uncertainty in perception, actuation, and the environment often require multiple attempts for a robotic task to be successful. We study a class of problems providing (1) low-entropy indicators of terminal success / failure, and (2) unreliable (high-entropy) data to predict the final outcome of an ongoing task. Examples include a robot trying to connect with a charging station, parallel parking, or assembling a tightly-fitting part. The ability to restart after predicting failure early, versus simply running to failure, can significantly decrease the makespan, that is, the total time to completion, with the drawback of potentially short-cutting an otherwise successful operation. Assuming task running times to be Poisson distributed, and using a Markov Jump process to capture the dynamics of the underlying Markov Decision Process, we derive a closed form solution that predicts makespan based on the confusion matrix of the failure predictor. This allows the robot to learn failure prediction in a production environment, and only adopt a preemptive policy when it actually saves time. We demonstrate this approach using a robotic peg-in-hole assembly problem using a real robotic system. Failures are predicted by a dilated convolutional network based on force-torque data, showing an average makespan reduction from 101s to 81s (N=120, p<0.05). We posit that the proposed algorithm generalizes to any robotic behavior with an unambiguous terminal reward, with wide ranging applications on how robots can learn and improve their behaviors in the wild.


title: Enhancing Medical Image Segmentation with TransCeption: A Multi-Scale Feature Fusion Approach

abstract: While CNN-based methods have been the cornerstone of medical image segmentation due to their promising performance and robustness, they suffer from limitations in capturing long-range dependencies. Transformer-based approaches are currently prevailing since they enlarge the reception field to model global contextual correlation. To further extract rich representations, some extensions of the U-Net employ multi-scale feature extraction and fusion modules and obtain improved performance. Inspired by this idea, we propose TransCeption for medical image segmentation, a pure transformer-based U-shape network featured by incorporating the inception-like module into the encoder and adopting a contextual bridge for better feature fusion. The design proposed in this work is based on three core principles: (1) The patch merging module in the encoder is redesigned with ResInception Patch Merging (RIPM). Multi-branch transformer (MB transformer) adopts the same number of branches as the outputs of RIPM. Combining the two modules enables the model to capture a multi-scale representation within a single stage. (2) We construct an Intra-stage Feature Fusion (IFF) module following the MB transformer to enhance the aggregation of feature maps from all the branches and particularly focus on the interaction between the different channels of all the scales. (3) In contrast to a bridge that only contains token-wise self-attention, we propose a Dual Transformer Bridge that also includes channel-wise self-attention to exploit correlations between scales at different stages from a dual perspective. Extensive experiments on multi-organ and skin lesion segmentation tasks present the superior performance of TransCeption compared to previous work. The code is publicly available at \url{https://github.com/mindflow-institue/TransCeption}.


title: Pauli equation and charged spin-1/2 particle in a weak gravitational field

abstract: Using the nonrelativistic approximation in the curved-space Dirac equation, the analog of the Pauli equation is derived for a weak, but otherwise arbitrary, gravitational field, in the presence of an electromagnetic field. On top of that, are obtained the equations of motion for the massive spin-$1/2$ charged particle. In the two particular cases, we consider the previously explored backgrounds of the plane gravitational wave and the homogeneous static gravitational field. Different from the previous works which were employing either the exact or conventional Foldy-Wouthuysen transformations, here we perform calculations in the simplest way, in particular, aiming to clean up the existing discrepancies in the literature.


title: Two-loop helicity amplitudes for $H+$jet production to higher orders in the dimensional regulator

abstract: In view of the forthcoming High-Luminosity phase of the LHC, next-to-next-to-next-to-leading (N$^3$LO) calculations for the most phenomenologically relevant processes become necessary. In this work, we take the first step towards this goal for H$+$jet production by computing the one- and two-loop helicity amplitudes for the two contributing processes, $H\to ggg$, $H\to q\bar{q}g$, in an effective theory with infinite top quark mass, to higher orders in the dimensional regulator. We decompose the amplitude in scalar form factors related to the helicity amplitudes and in a new basis of tensorial structures. The form factors receive contributions from Feynman integrals which were reduced to a novel canonical basis of master integrals. We derive and solve a set of differential equations for these integrals in terms of Multiple Polylogarithms (MPLs) of two variables up to transcendental weight six.


title: Effect of sonication time and surfactant concentration on improving the bio-accessibility of lycopene synthesized in poly-lactic co-glycolic acid nanoparticles

abstract: The use of biodegradable polymers simplifies the development of therapeutic devices with regards to transient implants and three-dimensional platform suitable for tissue engineering. Further advances have also occurred in the controlled released mechanism of bioactive compounds encapsulated in biodegradable polymers. This application requires the understanding of the physicochemical properties of the polymeric materials and their inherent impact on the delivery of encapsulated bioactive. Hence, the objective of this study was to evaluate the effect of surfactant and sonication time on the bio-accessibility of lycopene encapsulated polymeric nanoparticles. The emulsion evaporation method was used to encapsulate lycopene in poly-lactic co-glycolic acid (PLGA) with surfactant concentration, sonication time and polymer concentration as independent variables. Physicochemical and morphological characteristics were measured with a zetasizer and SEM, while the encapsulation efficiency and controlled release kinetics with spectrophotometric, and the dialysis method was used to estimate bioaccessibility. The results have shown sonication time to have significantly (p < 0.05) influenced the encapsulation efficiency. Hence, the sonication time of 4 min yield an encapsulation efficiency of 78% and increased to 97% with increase sonication time (6 min). Increased sonication time had a decreasing effect on the hydrodynamic diameter and stability of the encapsulated nanoparticles. The slow release of lycopene was observed during the first 12 days, followed by a burst release of about 44% on the 13th day in-vitro. The study will have significant impact on the manufacturing of functional food with encapsulated ingredients and provide an understanding of their inherent control release mechanism in the GIT.


title: Generalized multifractality in 2D disordered systems of chiral symmetry classes

abstract: We study generalized multifractality that characterizes eigenstate fluctuations and correlations in disordered systems of chiral symmetry classes AIII, BDI, and CII. By using the non-linear sigmamodel field theory, we construct pure-scaling composite operators and eigenfunction observables that satisfy Abelian fusion rules. The observables are labelled by two multi-indices $\lambda$, $\lambda'$ referring to two sublattices, at variance with other symmetry classes, where a single multi-index $\lambda$ (that can be viewed as a generalized version of a Young diagram) is needed. Further, we analyze Weyl symmetries of multifractal exponents, which are also peculiar in chiral classes, in view of a distinct root system associated with the sigma-model symmetric space. The analytical results are supported and complemented by numerical simulations that are performed for a 2D lattice Hamiltonian of class AIII, both in the metallic phase and at the Anderson transition. Both in the metallic phase and at the transition, the numerically obtained exponents satisfy Weyl symmetry relations, confirming that the sigma-model is the right theory of the problem. Furthermore, in the metallic phase, we observe the generalized parabolicity (proportionality to eigenvalues of the quadratic Casimir operator), as expected in the one-loop approximation. On the other hand, the generalized parabolicity is strongly violated at the metal-insulator transition, implying violation of local conformal invariance.

categories: cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: Flexagon: A Multi-Dataflow Sparse-Sparse Matrix Multiplication Accelerator for Efficient DNN Processing

abstract: Sparsity is a growing trend in modern DNN models. Existing Sparse-Sparse Matrix Multiplication (SpMSpM) accelerators are tailored to a particular SpMSpM dataflow (i.e., Inner Product, Outer Product or Gustavsons), that determines their overall efficiency. We demonstrate that this static decision inherently results in a suboptimal dynamic solution. This is because different SpMSpM kernels show varying features (i.e., dimensions, sparsity pattern, sparsity degree), which makes each dataflow better suited to different data sets. In this work we present Flexagon, the first SpMSpM reconfigurable accelerator that is capable of performing SpMSpM computation by using the particular dataflow that best matches each case. Flexagon accelerator is based on a novel Merger-Reduction Network (MRN) that unifies the concept of reducing and merging in the same substrate, increasing efficiency. Additionally, Flexagon also includes a 3-tier memory hierarchy, specifically tailored to the different access characteristics of the input and output compressed matrices. Using detailed cycle-level simulation of contemporary DNN models from a variety of application domains, we show that Flexagon achieves average performance benefits of 4.59x, 1.71x, and 1.35x with respect to the state-of-the-art SIGMA-like, Sparch-like and GAMMA-like accelerators (265% , 67% and 18%, respectively, in terms of average performance/area efficiency).


title: Quantization in fibering polarizations, Mabuchi rays and geometric Peter--Weyl theorem

abstract: In this paper we use techniques of geometric quantization to give a geometric interpretation of the Peter--Weyl theorem. We present a novel approach to half-form corrected geometric quantization in a specific type of non-K\"ahler polarizations and study one important class of examples, namely cotangent bundles of compact semi-simple groups $K$. Our main results state that this canonically defined polarization occurs in the geodesic boundary of the space of $K\times K$-invariant K\"ahler polarizations equipped with Mabuchi's metric, and that its half-form corrected quantization is isomorphic to the K\"ahler case. An important role is played by invariance of the limit polarization under a torus action. Unitary parallel transport on the bundle of quantum states along a specific Mabuchi geodesic, given by the coherent state transform of Hall, relates the non-commutative Fourier transform for $K$ with the Borel--Weil description of irreducible representations of $K$.


title: Well-posedness results for hyperbolic operators with coefficients rapidly oscillating in time

abstract: In the present paper, we consider second order strictly hyperbolic linear operators of the form $Lu\,=\,\partial_t^2u\,-\,{\rm div}\big(A(t,x)\nabla u\big)$, for $(t,x)\in[0,T]\times\mathbb{R}^n$. We assume the coefficients of the matrix $A(t,x)$ to be smooth in time on $\,]0,T]\times\mathbb{R}^n$, but rapidly oscillating when $t\to 0^+$; they match instead minimal regularity assumptions (either Lipschitz or log-Lipschitz regularity conditions) with respect to the space variable. Correspondingly, we prove well-posedness results for the Cauchy problem related to $L$, either with no loss of derivatives (in the Lipschitz case) or with a finite loss of derivatives, which is linearly increasing in time (in the log-Lipschitz case).


title: A model for proppant dynamics in a perforated wellbore

abstract: This paper presents a model to simulate behavior of particle-laden slurry in a horizontal perforated wellbore with the goal of quantifying fluid and particle distribution between the perforations. There are two primary phenomena that influence the result. The first one is the non-uniform particle distribution within the wellbore's cross-section and how it changes along the flow. The second phenomenon is related to the ability of particles to turn from the wellbore to a perforation. Consequently, the paper considers both of these phenomena independently at first, and then they are combined to address the whole problem of flow in a perforated wellbore. A mathematical model for calculating the particle and velocity profiles within the wellbore is developed. The model is calibrated against available laboratory data for various flow velocities, particle diameters, pipe diameters, and particle volume fractions. It predicts a steady-state solution for the particle and velocity profiles, as well as it captures the transition in time from a given state to the steady-state solution. A mathematical model for the problem of particle turning is developed and is calibrated against available experimental and computational data. Solutions for the both sub-problems are combined to develop a model for the perforated wellbore. Results are compared (not calibrated) to a series of laboratory and field scale experiments for perforated wellbores. Comparison with the available computational results is presented as well.


title: Partial Mobilization: Tracking Multilingual Information Flows Amongst Russian Media Outlets and Telegram

abstract: In response to disinformation and propaganda from Russian online media following the invasion of Ukraine, Russian media outlets such as Russia Today and Sputnik News were banned throughout Europe. To maintain viewership, many of these Russian outlets began to heavily promote their content on messaging services like Telegram. In this work, we study how 16 Russian media outlets interacted with and utilized 732 Telegram channels throughout 2022. Leveraging the foundational model MPNet, DP-means clustering, and Hawkes processes, we trace how narratives spread between news sites and Telegram channels. We show that news outlets not only propagate existing narratives through Telegram but that they source material from the messaging platform. For example, across the websites in our study, between 2.3% (ura.news) and 26.7% (ukraina.ru) of articles discussed content that originated/resulted from activity on Telegram. Finally, tracking the spread of individual topics, we measure the rate at which news outlets and Telegram channels disseminate content within the Russian media ecosystem, finding that websites like ura.news and Telegram channels such as @genshab are the most effective at disseminating their content.


title: Improving Graph Generation by Restricting Graph Bandwidth

abstract: Deep graph generative modeling has proven capable of learning the distribution of complex, multi-scale structures characterizing real-world graphs. However, one of the main limitations of existing methods is their large output space, which limits generation scalability and hinders accurate modeling of the underlying distribution. To overcome these limitations, we propose a novel approach that significantly reduces the output space of existing graph generative models. Specifically, starting from the observation that many real-world graphs have low graph bandwidth, we restrict graph bandwidth during training and generation. Our strategy improves both generation scalability and quality without increasing architectural complexity or reducing expressiveness. Our approach is compatible with existing graph generative methods, and we describe its application to both autoregressive and one-shot models. We extensively validate our strategy on synthetic and real datasets, including molecular graphs. Our experiments show that, in addition to improving generation efficiency, our approach consistently improves generation quality and reconstruction accuracy. The implementation is made available.


title: The Benchmark M Dwarf Eclipsing Binary CM Draconis With TESS: Spots, Flares and Ultra-Precise Parameters

abstract: A gold standard for the study of M dwarfs is the eclipsing binary CM Draconis. It is rare because it is bright ($J_{\rm mag}=8.5$) and contains twin fully convective stars on an almost perfectly edge-on orbit. Both masses and radii were previously measured to better than $1\%$ precision, amongst the best known. We use 15 sectors of data from the Transiting Exoplanet Survey Satellite (TESS) to show that CM Draconis is the gift that keeps on giving. Our paper has three main components. First, we present updated parameters, with radii and masses constrained to previously unheard of precisions of $\approx 0.06\%$ and $\approx 0.12\%$, respectively. Second, we discover strong and variable spot modulation, suggestive of spot clustering and an activity cycle on the order of $\approx 4$ years. Third, we discover 163 flares. We find a relationship between the spot modulation and flare rate, with flares more likely to occur when the stars appear brighter. This may be due to a positive correlation between flares and the occurrence of bright spots (plages). The flare rate is surprisingly not reduced during eclipse, but one flare may show evidence of being occulted. We suggest the flares may be preferentially polar, which has positive implications for the habitability of planets orbiting M dwarfs.


title: Salesforce CausalAI Library: A Fast and Scalable Framework for Causal Analysis of Time Series and Tabular Data

abstract: We introduce the Salesforce CausalAI Library, an open-source library for causal analysis using observational data. It supports causal discovery and causal inference for tabular and time series data, of discrete, continuous and heterogeneous types. This library includes algorithms that handle linear and non-linear causal relationships between variables, and uses multi-processing for speed-up. We also include a data generator capable of generating synthetic data with specified structural equation model for the aforementioned data formats and types, that helps users control the ground-truth causal process while investigating various algorithms. Finally, we provide a user interface (UI) that allows users to perform causal analysis on data without coding. The goal of this library is to provide a fast and flexible solution for a variety of problems in the domain of causality. This technical report describes the Salesforce CausalAI API along with its capabilities, the implementations of the supported algorithms, and experiments demonstrating their performance and speed. Our library is available at \url{https://github.com/salesforce/causalai}.


title: Skeleton coupling: a novel interlayer mapping of community evolution in temporal networks

abstract: Dynamic community detection (DCD) in temporal networks is a complicated task that involves the selection of a method and its associated hyperparameters. How to choose the most appropriate method generally depends on the type of network being analyzed and the specific properties of the data that define the network. In functional temporal networks derived from neuronal spike train data, communities are expected to be transient, and it is common for the network to contain multiple singleton communities. Here, we compare the performance of different DCD methods on functional temporal networks built from synthetic neuronal time series data with known community structure. We find that, for these networks, DCD methods that utilize interlayer links to perform community carryover between layers outperform other methods. However, we also observe that DCD performance is highly dependent on the topology of interlayer links, especially in the presence of singleton and transient communities. We therefore define a novel way of defining interlayer links in temporal networks called skeleton coupling that is specifically designed to enhance the linkage of communities in the network throughout time based on the topological properties of the community history. We show that integrating skeleton coupling with current DCD methods improves the method's performance in synthetic data with planted singleton and transient communities. The use of skeleton coupling to perform DCD will therefore allow for more accurate and interpretable results of community evolution in real-world neuronal data or in other systems with transient structure and singleton communities.


title: Hubble Tension and Gravitational Self-Interaction

abstract: One of the most important problems vexing the $\Lambda$CDM cosmological model is the Hubble tension. It arises from the fact that measurements of the present value of the Hubble parameter performed with low-redshift quantities, e.g., the Type IA supernova, tend to yield larger values than measurements from quantities originating at high-redshift, e.g., fits of cosmic microwave background radiation. It is becoming likely that the discrepancy, currently standing at $5\sigma$, is not due to systematic errors in the measurements. Here we explore whether the self-interaction of gravitational fields in General Relativity, which are traditionally neglected when studying the evolution of the universe, can explain the tension. We find that with field self-interaction accounted for, both low- and high-redshift data are simultaneously well-fitted, thereby showing that gravitational self-interaction could explain the Hubble tension. Crucially, this is achieved without introducing additional parameters.


title: Learning Gradients of Convex Functions with Monotone Gradient Networks

abstract: While much effort has been devoted to deriving and analyzing effective convex formulations of signal processing problems, the gradients of convex functions also have critical applications ranging from gradient-based optimization to optimal transport. Recent works have explored data-driven methods for learning convex objective functions, but learning their monotone gradients is seldom studied. In this work, we propose C-MGN and M-MGN, two monotone gradient neural network architectures for directly learning the gradients of convex functions. We show that, compared to state of the art methods, our networks are easier to train, learn monotone gradient fields more accurately, and use significantly fewer parameters. We further demonstrate their ability to learn optimal transport mappings to augment driving image data.


title: Shape Reconstruction from Thoracoscopic Images using Self-supervised Virtual Learning

abstract: Intraoperative shape reconstruction of organs from endoscopic camera images is a complex yet indispensable technique for image-guided surgery. To address the uncertainty in reconstructing entire shapes from single-viewpoint occluded images, we propose a framework for generative virtual learning of shape reconstruction using image translation with common latent variables between simulated and real images. As it is difficult to prepare sufficient amount of data to learn the relationship between endoscopic images and organ shapes, self-supervised virtual learning is performed using simulated images generated from statistical shape models. However, small differences between virtual and real images can degrade the estimation performance even if the simulated images are regarded as equivalent by humans. To address this issue, a Variational Autoencoder is used to convert real and simulated images into identical synthetic images. In this study, we targeted the shape reconstruction of collapsed lungs from thoracoscopic images and confirmed that virtual learning could improve the similarity between real and simulated images. Furthermore, shape reconstruction error could be improved by 16.9%.


title: Hybrid Trapping of $^{87}$Rb Atoms and Yb$^{+}$ Ions in a Chip-Based Experimental Setup

abstract: Hybrid quantum systems that unite laser-cooled trapped ions and ultracold quantum gases in a single experimental setup have opened a rapidly advancing field of study, including Quantum chemistry, polaron physics, quantum information processing and quantum simulations. We present a fully developed and tested ion trap chip and propose a flat chip trap that can be placed beneath the ion trap. This design substantially addresses the difficulties specific to hybrid traps and features well-aligned chips that allow for independent adjustment of the depth of the atomic trap and the confinement and positioning of ions. The ion trap has been successfully tested with linear ion crystals of Yb$^{+}$ and neutral $^{87}$Rb were also loaded into a mMOT a few millimeters under the ion trapping region.


title: Persistent topological Laplacian analysis of SARS-CoV-2 variants

abstract: Topological data analysis (TDA) is an emerging field in mathematics and data science. Its central technique, persistent homology, has had tremendous success in many science and engineering disciplines. However, persistent homology has limitations, including its incapability of describing the homotopic shape evolution of data during filtration. Persistent topological Laplacians (PTLs), such as persistent Laplacian and persistent sheaf Laplacian, were proposed to overcome the drawback of persistent homology. In this work, we examine the modeling and analysis power of PTLs in the study of the protein structures of the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) spike receptor binding domain (RBD) and its variants, i.e., Alpha, Beta, Gamma, BA.1, and BA.2. First, we employ PTLs to study how the RBD mutation-induced structural changes of RBD-angiotensin-converting enzyme 2 (ACE2) binding complexes are captured in the changes of spectra of the PTLs among SARS-CoV-2 variants. Additionally, we use PTLs to analyze the binding of RBD and ACE2-induced structural changes of various SARS-CoV-2 variants. Finally, we explore the impacts of computationally generated RBD structures on PTL-based machine learning, including deep learning, and predictions of deep mutational scanning datasets for the SARS-CoV-2 Omicron BA.2 variant. Our results indicate that PTLs have advantages over persistent homology in analyzing protein structural changes and provide a powerful new TDA tool for data science.


title: The transmission spectrum of the potentially rocky planet L 98-59 c

abstract: We present observations of the 1.35+/-0.07 Earth-radius planet L 98-59 c using Wide Field Camera~3 on the Hubble Space Telescope. L 98-59 is a nearby (10.6 pc), bright (H=7.4 mag), M3V star that harbors three small, transiting planets. As one of the closest known transiting multi-planet systems, L 98-59 offers one of the best opportunities to probe and compare the atmospheres of rocky planets that formed in the same stellar environment. We measured the transmission spectrum of L 98-59 c during a single transit, with the extracted spectrum showing marginal evidence for wavelength-dependent transit depth variations which would indicate the presence of an atmosphere. Forward modeling was used to constrain possible atmospheric compositions of the planet based on the shape of the transmission spectrum. Although L 98-59 is a fairly quiet star, we have seen evidence for stellar activity, and therefore we cannot rule out a scenario where the source of the signal originates with inhomogeneities on the host-star surface. While intriguing, our results are inconclusive and additional data is needed to verify any atmospheric signal. Fortunately, additional data will soon be collected from both HST and JWST. Should this result be confirmed with additional data, L 98-59 c would be the first planet smaller than 2 Earth-radii with a detected atmosphere, and among the first small planets with a known atmosphere to be studied in detail by the JWST.


title: Resolution of cosmological singularity in Ho\v{r}ava-Lifshitz cosmology

abstract: The standard $\Lambda$CDM model despite its agreement with observational data still has some issues unaddressed, lie the problem of initial singularity. Solving that problem usually requires modifications of general relativity. However, there appeared the Ho\v{r}ava-Lifshitz (HL) theory of gravity, in which equations governing cosmological evolution include a new term scaling similarly as dark radiation term in the Friedmann equations, enabling a bounce of the universe instead of initial singularity. This review describes past works on a stability of such a bounce in different formulations of HL theory, initial detailed balance scenario and further projectable versions containing higher than quadratic term to the original action.


title: Near-field GHz rotation and sensing with an optically levitated nanodumbbell

abstract: A levitated non-spherical nanoparticle in a vacuum is ideal for studying quantum rotations and is an extremely sensitive torque and force detector. It has been proposed to probe fundamental particle-surface interactions such as the Casimir torque and the rotational quantum vacuum friction, which require it to be driven to rotate near a surface at sub-micrometer separations. Here, we optically levitate a silica nanodumbbell in a vacuum at about 430 nm away from a sapphire surface and drive it to rotate at GHz frequencies. The relative linear speed between the tip of the nanodumbbell and the surface reaches 1.4 km/s at a sub-micrometer separation. The rotating nanodumbbell near the surface demonstrates a torque sensitivity of $(5.0 \pm 1.1) \times 10^{-26} {\rm NmHz}^{-1/2}$ at room temperature. Moreover, we levitate a nanodumbbell near a gold nanograting and use it to probe the near-field intensity distribution beyond the optical diffraction limit. Our numerical simulation shows it is promising to detect the Casimir torque between a nanodumbbell and a nanograting.


title: A Deep Neural Network Algorithm for Linear-Quadratic Portfolio Optimization with MGARCH and Small Transaction Costs

abstract: We analyze a fixed-point algorithm for reinforcement learning (RL) of optimal portfolio mean-variance preferences in the setting of multivariate generalized autoregressive conditional-heteroskedasticity (MGARCH) with a small penalty on trading. A numerical solution is obtained using a neural network (NN) architecture within a recursive RL loop. A fixed-point theorem proves that NN approximation error has a big-oh bound that we can reduce by increasing the number of NN parameters. The functional form of the trading penalty has a parameter $\epsilon>0$ that controls the magnitude of transaction costs. When $\epsilon$ is small, we can implement an NN algorithm based on the expansion of the solution in powers of $\epsilon$. This expansion has a base term equal to a myopic solution with an explicit form, and a first-order correction term that we compute in the RL loop. Our expansion-based algorithm is stable, allows for fast computation, and outputs a solution that shows positive testing performance.


title: $^{177}$Lu SPECT Imaging in the Presence of $^{90}$Y: Does $^{90}$Y Degrade Image Quantification? A Simulation Study

abstract: This work aims to investigate the accuracy of quantitative SPECT imaging of $^{177}$Lu in the presence of $^{90}$Y, which occurs in dual-isotope radiopharmaceutical therapy (RPT) involving both isotopes. We used the GATE Monte Carlo simulation toolkit to conduct a phantom study, simulating spheres filled with $^{177}$Lu and $^{90}$Y placed in a cylindrical water phantom that was also filled with activity of both radionuclides. We simulated multiple phantom configurations and activity combinations by varying the location of the spheres, the concentrations of $^{177}$Lu and $^{90}$Y in the spheres, and the amount of background activity. We investigated two different scatter window widths to be used with triple energy window (TEW) scatter correction. We also created multiple realizations of each configuration to improve our assessment, leading to a total of 540 simulations. Each configuration was imaged using a simulated Siemens SPECT camera. The projections were reconstructed using the standard 3D OSEM algorithm, and errors associated with $^{177}$Lu activity quantification and contrast-to-noise ratios (CNRs) were determined. In all configurations, the quantification error was within $\pm$6% of the no-$^{90}$Y case, and we found that quantitative accuracy may slightly improve when $^{90}$Y is present because of reduction of errors associated with TEW scatter correction. The CNRs were not significantly impacted by the presence of $^{90}$Y, but they were increased when a wider scatter window width was used for TEW scatter correction. The width of the scatter windows made a small but statistically significant difference of 1-2% on the recovered $^{177}$Lu activity. Based on these results, we can conclude that activity quantification of $^{177}$Lu and lesion detectability is not degraded by the presence of $^{90}$Y.


title: Qualitative Analysis of a Graph Transformer Approach to Addressing Hate Speech: Adapting to Dynamically Changing Content

abstract: Our work advances an approach for predicting hate speech in social media, drawing out the critical need to consider the discussions that follow a post to successfully detect when hateful discourse may arise. Using graph transformer networks, coupled with modelling attention and BERT-level natural language processing, our approach can capture context and anticipate upcoming anti-social behaviour. In this paper, we offer a detailed qualitative analysis of this solution for hate speech detection in social networks, leading to insights into where the method has the most impressive outcomes in comparison with competitors and identifying scenarios where there are challenges to achieving ideal performance. Included is an exploration of the kinds of posts that permeate social media today, including the use of hateful images. This suggests avenues for extending our model to be more comprehensive. A key insight is that the focus on reasoning about the concept of context positions us well to be able to support multi-modal analysis of online posts. We conclude with a reflection on how the problem we are addressing relates especially well to the theme of dynamic change, a critical concern for all AI solutions for social impact. We also comment briefly on how mental health well-being can be advanced with our work, through curated content attuned to the extent of hate in posts.


title: Splitting Vertices in 2-Layer Graph Drawings

abstract: Bipartite graphs model the relationships between two disjoint sets of entities in several applications and are naturally drawn as 2-layer graph drawings. In such drawings, the two sets of entities (vertices) are placed on two parallel lines (layers), and their relationships (edges) are represented by segments connecting vertices. Methods for constructing 2-layer drawings often try to minimize the number of edge crossings. We use vertex splitting to reduce the number of crossings, by replacing selected vertices on one layer by two (or more) copies and suitably distributing their incident edges among these copies. We study several optimization problems related to vertex splitting, either minimizing the number of crossings or removing all crossings with fewest splits. While we prove that some variants are \NP-complete, we obtain polynomial-time algorithms for others. We run our algorithms on a benchmark set of bipartite graphs representing the relationships between human anatomical structures and cell types.


title: When sampling works in data-driven control: Informativity for stabilization in continuous time

abstract: This paper introduces a notion of data informativity for stabilization tailored to continuous-time signals and systems. We establish results comparable to those known for discrete-time systems with sampled data. We justify that additional assumptions on the properties of the noise signals are needed to understand when sampled versions of continuous-time signals are informative for stabilization, thereby introducing the notions of square Lipschitzness and total bounded variation. This allows us to connect the continuous and discrete domains, yielding sufficient conditions to synthesize a stabilizing controller for the true continuous-time system on the basis of sampled data. Simulations illustrate our results.


title: Recursive deep learning framework for forecasting the decadal world economic outlook

abstract: Gross domestic product (GDP) is the most widely used indicator in macroeconomics and the main tool for measuring a country's economic ouput. Due to the diversity and complexity of the world economy, a wide range of models have been used, but there are challenges in making decadal GDP forecasts given unexpected changes such as pandemics and wars. Deep learning models are well suited for modeling temporal sequences have been applied for time series forecasting. In this paper, we develop a deep learning framework to forecast the GDP growth rate of the world economy over a decade. We use Penn World Table as the source of our data, taking data from 1980 to 2019, across 13 countries, such as Australia, China, India, the United States and so on. We test multiple deep learning models, LSTM, BD-LSTM, ED-LSTM and CNN, and compared their results with the traditional time series model (ARIMA,VAR). Our results indicate that ED-LSTM is the best performing model. We present a recursive deep learning framework to predict the GDP growth rate in the next ten years. We predict that most countries will experience economic growth slowdown, stagnation or even recession within five years; only China, France and India are predicted to experience stable, or increasing, GDP growth.


title: Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA$^+$

abstract: The main aim of this report is to provide an introductory tutorial on the Abstract State Machines (ASM) specification method for software engineering to an audience already familiar with the Temporal Logic of Actions (TLA$^+$) method. The report asks to what extent the ASM and TLA$^+$ methods are complementary in checking specifications against stated requirements and proposes some answers. A second aim is to provide a comparison between different executable frameworks that have been developed for the same specification languages. Thus, the ASM discussion is complemented by executable Corinthian ASM (CASM) and CoreASM models. Similarly, the two TLA$^+$ specifications presented, which rely on the TLC and Apalache model checkers, respectively, are complemented by a Quint specification, a new language developed by Informal Systems to serve as a user-friendly syntax layer for TLA$^+$. For the basis of comparison we use the specification of the Alternating Bit (AB) protocol because it is a simple and well-understood protocol already extensively analysed in the literature. While the models reported here and developed with the two methods are semantically equivalent, ASMs and Quint are better suited for top-down specification from abstract requirements by iterative refinement. TLA$^+$ seems to be more easily used bottom-up, to build abstractions on top of verified components in spite of the fact that it, too, emphasizes iterative refinement. In the final section, the report begins to scope out the possibility of a homomorphism between the specification of the AB protocol and its finite-state machine (FSM) through state space visualizations, motivated by a search for a formal decomposition method.


title: Reef-insight: A framework for reef habitat mapping with clustering methods via remote sensing

abstract: Environmental damage has been of much concern, particularly in coastal areas and the oceans, given climate change and the drastic effects of pollution and extreme climate events. Our present-day analytical capabilities, along with advancements in information acquisition techniques such as remote sensing, can be utilised for the management and study of coral reef ecosystems. In this paper, we present Reef-Insight, an unsupervised machine learning framework that features advanced clustering methods and remote sensing for reef habitat mapping. Our framework compares different clustering methods for reef habitat mapping using remote sensing data. We evaluate four major clustering approaches based on qualitative and visual assessments which include k-means, hierarchical clustering, Gaussian mixture model, and density-based clustering. We utilise remote sensing data featuring the One Tree Island reef in Australia's Southern Great Barrier Reef. Our results indicate that clustering methods using remote sensing data can well identify benthic and geomorphic clusters in reefs when compared with other studies. Our results indicate that Reef-Insight can generate detailed reef habitat maps outlining distinct reef habitats and has the potential to enable further insights for reef restoration projects.


title: The Projection-Enhancement Network (PEN)

abstract: Contemporary approaches to instance segmentation in cell science use 2D or 3D convolutional networks depending on the experiment and data structures. However, limitations in microscopy systems or efforts to prevent phototoxicity commonly require recording sub-optimally sampled data regimes that greatly reduces the utility of such 3D data, especially in crowded environments with significant axial overlap between objects. In such regimes, 2D segmentations are both more reliable for cell morphology and easier to annotate. In this work, we propose the Projection Enhancement Network (PEN), a novel convolutional module which processes the sub-sampled 3D data and produces a 2D RGB semantic compression, and is trained in conjunction with an instance segmentation network of choice to produce 2D segmentations. Our approach combines augmentation to increase cell density using a low-density cell image dataset to train PEN, and curated datasets to evaluate PEN. We show that with PEN, the learned semantic representation in CellPose encodes depth and greatly improves segmentation performance in comparison to maximum intensity projection images as input, but does not similarly aid segmentation in region-based networks like Mask-RCNN. Finally, we dissect the segmentation strength against cell density of PEN with CellPose on disseminated cells from side-by-side spheroids. We present PEN as a data-driven solution to form compressed representations of 3D data that improve 2D segmentations from instance segmentation networks.


title: Mobility Analysis of Screw-Based Locomotion and Propulsion in Various Media

abstract: Robots "in-the-wild" encounter and must traverse widely varying terrain, ranging from solid ground to granular materials like sand to full liquids. Numerous approaches exist, including wheeled and legged robots, each excelling in specific domains. Screw-based locomotion is a promising approach for multi-domain mobility, leveraged in exploratory robotic designs, including amphibious vehicles and snake robotics. However, unlike other forms of locomotion, there is a limited exploration of the models, parameter effects, and efficiency for multi-terrain Archimedes screw locomotion. In this work, we present work towards this missing component in understanding screw-based locomotion: comprehensive experimental results and performance analysis across different media. We designed a mobile test bed for indoor and outdoor experimentation to collect this data. Beyond quantitatively showing the multi-domain mobility of screw-based locomotion, we envision future researchers and engineers using the presented results to design effective screw-based locomotion systems.


title: SuperFed: Weight Shared Federated Learning

abstract: Federated Learning (FL) is a well-established technique for privacy preserving distributed training. Much attention has been given to various aspects of FL training. A growing number of applications that consume FL-trained models, however, increasingly operate under dynamically and unpredictably variable conditions, rendering a single model insufficient. We argue for training a global family of models cost efficiently in a federated fashion. Training them independently for different tradeoff points incurs $O(k)$ cost for any k architectures of interest, however. Straightforward applications of FL techniques to recent weight-shared training approaches is either infeasible or prohibitively expensive. We propose SuperFed - an architectural framework that incurs $O(1)$ cost to co-train a large family of models in a federated fashion by leveraging weight-shared learning. We achieve an order of magnitude cost savings on both communication and computation by proposing two novel training mechanisms: (a) distribution of weight-shared models to federated clients, (b) central aggregation of arbitrarily overlapping weight-shared model parameters. The combination of these mechanisms is shown to reach an order of magnitude (9.43x) reduction in computation and communication cost for training a $5*10^{18}$-sized family of models, compared to independently training as few as $k = 9$ DNNs without any accuracy loss.


title: A Golden Age: Conspiracy Theories' Relationship with Misinformation Outlets, News Media, and the Wider Internet

abstract: Do we live in a "Golden Age of Conspiracy Theories?" In the last few decades, conspiracy theories have proliferated on the Internet with some having dangerous real-world consequences. A large contingent of those who participated in the January 6th attack on the US Capitol fervently believed in the QAnon conspiracy theory. In this work, we study the relationships amongst five prominent conspiracy theories (QAnon, COVID, UFO/Aliens, 9/11, and Flat-Earth) and each of their respective relationships to the news media, both authentic news and misinformation. Identifying and publishing a set of 755 different conspiracy theory websites dedicated to our five conspiracy theories, we find that each set often hyperlinks to the same external domains, with COVID and QAnon conspiracy theory websites having the largest amount of shared connections. Examining the role of news media, we further find that not only do outlets known for spreading misinformation hyperlink to our set of conspiracy theory websites more often than authentic news websites but also that this hyperlinking increased dramatically between 2018 and 2021, with the advent of QAnon and the start of COVID-19 pandemic. Using partial Granger-causality, we uncover several positive correlative relationships between the hyperlinks from misinformation websites and the popularity of conspiracy theory websites, suggesting the prominent role that misinformation news outlets play in popularizing many conspiracy theories.


title: Anisotropic molecular coarse-graining by force and torque matching with neural networks

abstract: We develop a machine-learning method for coarse-graining condensed-phase molecular systems using anisotropic particles. The method extends currently available high-dimensional neural network potentials by addressing molecular anisotropy. We demonstrate the flexibility of the method by parametrizing single-site coarse-grained models of a rigid small molecule (benzene) and a semi-flexible organic semiconductor (sexithiophene), attaining structural accuracy close to the all-atom models for both molecules at considerably lower computational expense. The machine-learning method of constructing the coarse-grained potential is shown to be straightforward and sufficiently robust to capture anisotropic interactions and many-body effects. The method is validated through its ability to reproduce the structural properties of the small molecule's liquid phase and the phase transitions of the semi-flexible molecule over a wide temperature range.


title: How media hype affects our physics teaching: A case study on quantum computing

abstract: Popular media is an unspoken yet ever-present element of the physics landscape and a tool we can utilize in our teaching. It is also well-understood that students enter the physics classroom with a host of conceptions learned from the world at large. It stands to reason, then, to suspect that media coverage may be a major contributing factor to students' views on physical phenomena and the nature of science - one whose influence will only grow amid the 21st century digital age. Yet the role of the media in shaping physics teaching and learning has remained largely unexplored in the physics education research (PER) literature so far. Here, we explore the phenomenon of media hype from a theoretical and practical perspective: how media rhetoric of current topics in science and technology evolves, and how it affects students and instructors. We argue that media hype of cutting-edge science can be a double-edged sword for educators, with the same amped-up rhetoric that motivates students to enter the classroom tending to result in inflated preconceptions of what the science and technology can actually do. We draw on examples related to teaching quantum computing as a case study, though the findings we present should generalize to other topics garnering significant media attention - from exoplanets to graphene to batteries for electric vehicles. We conclude with a set of practical recommendations for physics teachers at all levels who wish to be more cognizant of the role exposure to popular media has on students and to tailor our teaching accordingly.


title: Uniqueness of conical singularities for mean curvature flows

abstract: In this paper, we prove the uniqueness of asymptotically conical tangent flows in all codimensions. This is based on an early work of Chodosh-Schulze, who proved the uniqueness in the hypersurface case.


title: Break It Down: Evidence for Structural Compositionality in Neural Networks

abstract: Though modern neural networks have achieved impressive performance in both vision and language tasks, we know little about the functions that they implement. One possibility is that neural networks implicitly break down complex tasks into subroutines, implement modular solutions to these subroutines, and compose them into an overall solution to a task - a property we term structural compositionality. Another possibility is that they may simply learn to match new inputs to learned templates, eliding task decomposition entirely. Here, we leverage model pruning techniques to investigate this question in both vision and language across a variety of architectures, tasks, and pretraining regimens. Our results demonstrate that models often implement solutions to subroutines via modular subnetworks, which can be ablated while maintaining the functionality of other subnetworks. This suggests that neural networks may be able to learn compositionality, obviating the need for specialized symbolic mechanisms.


title: Bell Nonlocality in Classical Systems Coexisting with other System Types

abstract: The realistic interpretation of classical theory assumes that every classical system has well-defined properties, which may be unknown to the observer but are nevertheless part of reality and can in principle be revealed by measurements. Here we show that this interpretation can in principle be falsified if classical systems coexist with other types of physical systems. To make this point, we construct a toy theory that (i) includes classical theory as a subtheory and (ii) allows classical systems to be entangled with another type of systems, called anti-classical. We show that our toy theory allows for the violation of Bell inequalities in two-party scenarios where one of the settings corresponds to a local measurement performed on a classical system alone. Building on this fact, we show that measurements outcomes in classical theory cannot, in general, be regarded as pre-determined by the state of an underlying reality.


title: Automatic Intrinsic Reward Shaping for Exploration in Deep Reinforcement Learning

abstract: We present AIRS: Automatic Intrinsic Reward Shaping that intelligently and adaptively provides high-quality intrinsic rewards to enhance exploration in reinforcement learning (RL). More specifically, AIRS selects shaping function from a predefined set based on the estimated task return in real-time, providing reliable exploration incentives and alleviating the biased objective problem. Moreover, we develop an intrinsic reward toolkit to provide efficient and reliable implementations of diverse intrinsic reward approaches. We test AIRS on various tasks of MiniGrid, Procgen, and DeepMind Control Suite. Extensive simulation demonstrates that AIRS can outperform the benchmarking schemes and achieve superior performance with simple architecture.


title: Improving Text-based Early Prediction by Distillation from Privileged Time-Series Text

abstract: Modeling text-based time-series to make prediction about a future event or outcome is an important task with a wide range of applications. The standard approach is to train and test the model using the same input window, but this approach neglects the data collected in longer input windows between the prediction time and the final outcome, which are often available during training. In this study, we propose to treat this neglected text as privileged information available during training to enhance early prediction modeling through knowledge distillation, presented as Learning using Privileged tIme-sEries Text (LuPIET). We evaluate the method on clinical and social media text, with four clinical prediction tasks based on clinical notes and two mental health prediction tasks based on social media posts. Our results show LuPIET is effective in enhancing text-based early predictions, though one may need to consider choosing the appropriate text representation and windows for privileged text to achieve optimal performance. Compared to two other methods using transfer learning and mixed training, LuPIET offers more stable improvements over the baseline, standard training. As far as we are concerned, this is the first study to examine learning using privileged information for time-series in the NLP context.


title: Experimenting with an Evaluation Framework for Imbalanced Data Learning (EFIDL)

abstract: Introduction Data imbalance is one of the crucial issues in big data analysis with fewer labels. For example, in real-world healthcare data, spam detection labels, and financial fraud detection datasets. Many data balance methods were introduced to improve machine learning algorithms' performance. Research claims SMOTE and SMOTE-based data-augmentation (generate new data points) methods could improve algorithm performance. However, we found in many online tutorials, the valuation methods were applied based on synthesized datasets that introduced bias into the evaluation, and the performance got a false improvement. In this study, we proposed, a new evaluation framework for imbalanced data learning methods. We have experimented on five data balance methods and whether the performance of algorithms will improve or not. Methods We collected 8 imbalanced healthcare datasets with different imbalanced rates from different domains. Applied 6 data augmentation methods with 11 machine learning methods testing if the data augmentation will help with improving machine learning performance. We compared the traditional data augmentation evaluation methods with our proposed cross-validation evaluation framework Results Using traditional data augmentation evaluation meta hods will give a false impression of improving the performance. However, our proposed evaluation method shows data augmentation has limited ability to improve the results. Conclusion EFIDL is more suitable for evaluating the prediction performance of an ML method when data are augmented. Using an unsuitable evaluation framework will give false results. Future researchers should consider the evaluation framework we proposed when dealing with augmented datasets. Our experiments showed data augmentation does not help improve ML prediction performance.


title: Multiple Stellar Populations in Globular Clusters with JWST: a NIRCam view of 47 Tucanae

abstract: We use images collected with the near-infrared camera (NIRCam) on board the James Webb Space Telescope and with the Hubble Space Telescope (HST) to investigate multiple populations at the bottom of the main sequence (MS) of 47 Tucanae. The F115W vs. F115W-F322W2 CMD from NIRCam shows that, below the knee, the MS stars span a wide color range, where the majority of M-dwarfs exhibit blue colors, and a tail of stars are distributed toward the red. A similar pattern is observed from the F160W vs. F110W-F160W CMD from HST, and multiple populations of M-dwarfs are also visible in the optical F606W vs. F606W-F814W CMD. The NIRCam CMD shows a narrow sequence of faint MS stars with masses smaller than 0.1 solar masses. We introduce a chromosome map of M-dwarfs that reveals an extended first population and three main groups of second-population stars. By combining isochrones and synthetic spectra with appropriate chemical composition, we simulate colors and magnitudes of different stellar populations in the NIRCam filters (at metallicities [Fe/H]=-1.5 and [Fe/H]=-0.75) and identify the photometric bands that provide the most efficient diagrams to investigate the multiple populations in globular clusters. Models are compared with the observed CMDs of 47 Tucanae to constrain M-dwarfs' chemical composition. Our analysis suggests that the oxygen range needed to reproduce the colors of first- and second-population M-dwarfs is similar to that inferred from spectroscopy of red giants, constraining the proposal that the chemical variations are due to mass transfer phenomena in proto-clusters.


title: Multibeam Blind Search of Targeted SETI Observations toward 33 Exoplanet Systems with FAST

abstract: The search for extraterrestrial intelligence (SETI) is to search for technosignatures associated with extraterrestrial life, such as engineered radio signals. In this paper, we apply the multibeam coincidence matching (MBCM) strategy, and propose a new search mode based on the MBCM which we call MBCM blind search mode. In our recent targeted SETI research, 33 exoplanet systems are observed by the Five-hundred-meter Aperture Spherical radio Telescope (FAST). With this blind search mode, we search for narrowband drifting signals across $1.05-1.45$ GHz in two orthogonal linear polarization directions separately. There are two special signals, one of which can only be detected by the blind search mode while the other can be found by both blind and targeted search modes. This result reveals huge advantages of the new blind search mode. However, we eliminate the possibility of the special signals being ETI signals based on much evidence, such as the polarization, drift, frequency and beam coverage characteristics. Our observations achieve an unprecedented sensitivity and our work provides a deeper understanding to the polarization analysis of extraterrestrial signals.


title: Infrared photon-number-resolving imager using a Skipper-CCD

abstract: Imaging in a broad light-intensity regime with a high signal-to-noise ratio is a key capability in fields as diverse as Quantum Metrology and Astronomy. Achieving high signal-to-noise ratios in quantum imaging leads to surpassing the classical limit in parameter estimation. In astronomical detection, the search for habitable exoplanets demands imaging in the infrared its atmospheres looking for biosignatures. These optical applications are hampered by detection noise, which critically limits their potential, and thus demands photon-number and spatial resolution detectors. Here we report an imaging device in the infrared wavelength range able to arbitrarily reduce the readout noise. We built a Measured Exposure Skipper-CCD Sensor Instrument equipped with a thick back-illuminated sensor, with photon-number-resolving capability in a wide dynamic range, spatial resolution, high quantum efficiency in the near-infrared and ultra-low dark counts. This device allows us to image objects in a broad range of intensities within the same frame and, by reducing the readout noise to less than 0.2e$^-$, to distinguish even those shapes with less than two photons per pixel, unveiling what was previously hidden in the noise. These results pave the way for building high-standard infrared imagers based on Skipper-CCDs.


title: Planning Automated Driving with Accident Experience Referencing and Common-sense Inferencing

abstract: Although a typical autopilot system far surpasses humans in term of sensing accuracy, performance stability and response agility, such a system is still far behind humans in the wisdom of understanding an unfamiliar environment with creativity, adaptivity and resiliency. Current AD brains are basically expert systems featuring logical computations, which resemble the thinking flow of a left brain working at tactical level. A right brain is needed to upgrade the safety of automated driving vehicle onto next generation by making intuitive strategical judgements that can supervise the tactical action planning. In this work, we present the concept of an Automated Driving Strategical Brain (ADSB): a framework of a scene perception and scene safety evaluation system that works at a higher abstraction level, incorporating experience referencing, common-sense inferring and goal-and-value judging capabilities, to provide a contextual perspective for decision making within automated driving planning. The ADSB brain architecture is made up of the Experience Referencing Engine (ERE), the Common-sense Referencing Engine (CIE) and the Goal and Value Keeper (GVK). 1,614,748 cases from FARS/CRSS database of NHTSA in the period 1975 to 2018 are used for the training of ERE model. The kernel of CIE is a trained model, COMET-BART by ATOMIC, which can be used to provide directional advice when tactical-level environmental perception conclusions are ambiguous; it can also use future scenario models to remind tactical-level decision systems to plan ahead of a perceived hazard scene. GVK can take in any additional expert-hand-written rules that are of qualitative nature. Moreover, we believe that with good scalability, the ADSB approach provides a potential solution to the problem of long-tail corner cases encountered in the validation of a rule-based planning algorithm.


title: Predicting Parameters for Modeling Traffic Participants

abstract: Accurately modeling the behavior of traffic participants is essential for safely and efficiently navigating an autonomous vehicle through heavy traffic. We propose a method, based on the intelligent driver model, that allows us to accurately model individual driver behaviors from only a small number of frames using easily observable features. On average, this method makes prediction errors that have less than 1 meter difference from an oracle with full-information when analyzed over a 10-second horizon of highway driving. We then validate the efficiency of our method through extensive analysis against a competitive data-driven method such as Reinforcement Learning that may be of independent interest.


title: Perceptive Locomotion with Controllable Pace and Natural Gait Transitions Over Uneven Terrains

abstract: This work developed a learning framework for perceptive legged locomotion that combines visual feedback, proprioceptive information, and active gait regulation of foot-ground contacts. The perception requires only one forward-facing camera to obtain the heightmap, and the active regulation of gait paces and traveling velocity are realized through our formulation of CPG-based high-level imitation of foot-ground contacts. Through this framework, an end-user has the ability to command task-level inputs to control different walking speeds and gait frequencies according to the traversal of different terrains, which enables more reliable negotiation with encountered obstacles. The results demonstrated that the learned perceptive locomotion policy followed task-level control inputs with intended behaviors, and was robust in presence of unseen terrains and external force perturbations. A video demonstration can be found at https://youtu.be/OTzlWzDfAe8, and the codebase at https://github.com/jennyzzt/perceptual-locomotion.


title: ASTrack: Automatic Detection and Removal of Web Tracking Code with Minimal Functionality Loss

abstract: Recent advances in web technologies make it more difficult than ever to detect and block web tracking systems. In this work, we propose ASTrack, a novel approach to web tracking detection and removal. ASTrack uses an abstraction of the code structure based on Abstract Syntax Trees to selectively identify web tracking functionality shared across multiple web services. This new methodology allows us to: (i) effectively detect web tracking code even when using evasion techniques (e.g., obfuscation, minification, or webpackaging); and (ii) safely remove those portions of code related to tracking purposes without affecting the legitimate functionality of the website. Our evaluation with the top 10k most popular Internet domains shows that ASTrack can detect web tracking with high precision (98%), while discovering about 50k tracking code pieces and more than 3,400 new tracking URLs not previously recognized by most popular privacy-preserving tools (e.g., uBlock Origin). Moreover, ASTrack achieved a 36% reduction in functionality loss in comparison with the filter lists, one of the safest options available. Using a novel methodology that combines computer vision and manual inspection, we estimate that full functionality is preserved in more than 97% of the websites.


title: Causal Reasoning of Entities and Events in Procedural Texts

abstract: Entities and events are crucial to natural language reasoning and common in procedural texts. Existing work has focused either exclusively on entity state tracking (e.g., whether a pan is hot) or on event reasoning (e.g., whether one would burn themselves by touching the pan), while these two tasks are often causally related. We propose CREPE, the first benchmark on causal reasoning of event plausibility and entity states. We show that most language models, including GPT-3, perform close to chance at .35 F1, lagging far behind human at .87 F1. We boost model performance to .59 F1 by creatively representing events as programming languages while prompting language models pretrained on code. By injecting the causal relations between entities and events as intermediate reasoning steps in our representation, we further boost the performance to .67 F1. Our findings indicate not only the challenge that CREPE brings for language models, but also the efficacy of code-like prompting combined with chain-of-thought prompting for multihop event reasoning.


title: Metalorganic Chemical Vapor Deposition of \b{eta}-(AlxGa1-x)2O3 thin films on (001) \b{eta}-Ga2O3 substrates

abstract: Phase pure \b{eta}-(AlxGa1-x)2O3 thin films are grown on (001) oriented \b{eta}-Ga2O3 substrates via metalorganic chemical vapor deposition (MOCVD). By systematically tuning the precursor molar flow rates, the epitaxial growth of coherently strained \b{eta}-(AlxGa1-x)2O3 films are demonstrated with up to 25% Al compositions as evaluated by high resolution x-ray diffraction (XRD). The asymmetrical reciprocal space mapping confirms the growth of coherent \b{eta}-(AlxGa1-x)2O3 films (x < 25%) on (001) \b{eta}-Ga2O3 substrates. While the films show smooth surface morphologies, the alloy inhomogeneity with local segregation of Al along (-201) plane is observed from atomic resolution STEM imaging, resulting in wavy and inhomogeneous interfaces in \b{eta}-(AlxGa1-x)2O3/\b{eta}-Ga2O3 superlattice structure. Room temperature Raman spectra of \b{eta}-(AlxGa1-x)2O3 films show similar characteristics peaks as (001) \b{eta}-Ga2O3 substrate without obvious Raman shifts for films with different Al compositions. Atom probe tomography (APT) was used to investigate the atomic level structural chemistry with increasing Al content in the \b{eta}-(AlxGa1-x)2O3 films. A monotonous increase in chemical heterogeneity is observed from the in-plane Al/Ga distributions which was further confirmed via statistical frequency distribution analysis (FDA). Although the films exhibit alloy fluctuations, n-type doping with good electrical properties are demonstrated for films with various Al compositions. The determined valence and conduction band offsets at \b{eta}-(AlxGa1-x)2O3/\b{eta}-Ga2O3 heterojunctions using x-ray photoelectron spectroscopy (XPS) reveal the formation of type-II (staggered) band alignment.


title: Double free boundary problem for defaultable corporate bond with credit rating migration risks and their asymptotic behaviors

abstract: In this work, a pricing model for a defaultable corporate bond with credit rating migration risk is established. The model turns out to be a free boundary problem with two free boundaries. The latter are the level sets of the solution but of different kinds. One is from the discontinuous second order term, the other from the obstacle. Existence, uniqueness, and regularity of the solution are obtained. We also prove that two free boundaries are $C^\infty$. The asymptotic behavior of the solution is also considered: we show that it converges to a traveling wave solution when time goes to infinity. Moreover, numerical results are presented.


title: Large fluorescence enhancement via lossless all-dielectric spherical mesocavities

abstract: Nano- and microparticles are popular media to enhance optical signals, including fluorescence from a dye proximal to the particle. Here we show that homogeneous, lossless, all-dielectric spheres with diameters in the mesoscale range, between nano- ($\lesssim 100$~nm) and micro- ($\gtrsim 1$ $\mu$m) scales, can offer surprisingly large fluorescence enhancements, up to $F\sim 10^4$. With the absence of nonradiative Ohmic losses inherent to plasmonic particles, we show that $F$ can increase, decrease or even stay the same with increasing intrinsic quantum yield $q_0$, for suppressed, enhanced or intact radiative decay rates of a fluorophore, respectively. Further, the fluorophore may be located inside or outside the particle, providing additional flexibility and opportunities to design fit for purpose particles. The presented analysis with simple dielectric spheres should spur further interest in this less-explored scale of particles and experimental investigations to realize their potential for applications in imaging, molecular sensing, light coupling, and quantum information processing.