title: Stock Broad-Index Trend Patterns Learning via Domain Knowledge Informed Generative Network

abstract: Predicting the Stock movement attracts much attention from both industry and academia. Despite such significant efforts, the results remain unsatisfactory due to the inherently complicated nature of the stock market driven by factors including supply and demand, the state of the economy, the political climate, and even irrational human behavior. Recently, Generative Adversarial Networks (GAN) have been extended for time series data; however, robust methods are primarily for synthetic series generation, which fall short for appropriate stock prediction. This is because existing GANs for stock applications suffer from mode collapse and only consider one-step prediction, thus underutilizing the potential of GAN. Furthermore, merging news and market volatility are neglected in current GANs. To address these issues, we exploit expert domain knowledge in finance and, for the first time, attempt to formulate stock movement prediction into a Wasserstein GAN framework for multi-step prediction. We propose IndexGAN, which includes deliberate designs for the inherent characteristics of the stock market, leverages news context learning to thoroughly investigate textual information and develop an attentive seq2seq learning network that captures the temporal dependency among stock prices, news, and market sentiment. We also utilize the critic to approximate the Wasserstein distance between actual and predicted sequences and develop a rolling strategy for deployment that mitigates noise from the financial market. Extensive experiments are conducted on real-world broad-based indices, demonstrating the superior performance of our architecture over other state-of-the-art baselines, also validating all its contributing components.


title: GAM Coach: Towards Interactive and User-centered Algorithmic Recourse

abstract: Machine learning (ML) recourse techniques are increasingly used in high-stakes domains, providing end users with actions to alter ML predictions, but they assume ML developers understand what input variables can be changed. However, a recourse plan's actionability is subjective and unlikely to match developers' expectations completely. We present GAM Coach, a novel open-source system that adapts integer linear programming to generate customizable counterfactual explanations for Generalized Additive Models (GAMs), and leverages interactive visualizations to enable end users to iteratively generate recourse plans meeting their needs. A quantitative user study with 41 participants shows our tool is usable and useful, and users prefer personalized recourse plans over generic plans. Through a log analysis, we explore how users discover satisfactory recourse plans, and provide empirical evidence that transparency can lead to more opportunities for everyday users to discover counterintuitive patterns in ML models. GAM Coach is available at: https://poloclub.github.io/gam-coach/.


title: GLOW: Global Layout Aware Attacks on Object Detection

abstract: Adversarial attacks aim to perturb images such that a predictor outputs incorrect results. Due to the limited research in structured attacks, imposing consistency checks on natural multi-object scenes is a promising yet practical defense against conventional adversarial attacks. More desired attacks, to this end, should be able to fool defenses with such consistency checks. Therefore, we present the first approach GLOW that copes with various attack requests by generating global layout-aware adversarial attacks, in which both categorical and geometric layout constraints are explicitly established. Specifically, we focus on object detection task and given a victim image, GLOW first localizes victim objects according to target labels. And then it generates multiple attack plans, together with their context-consistency scores. Our proposed GLOW, on the one hand, is capable of handling various types of requests, including single or multiple victim objects, with or without specified victim objects. On the other hand, it produces a consistency score for each attack plan, reflecting the overall contextual consistency that both semantic category and global scene layout are considered. In experiment, we design multiple types of attack requests and validate our ideas on MS COCO and Pascal. Extensive experimental results demonstrate that we can achieve about 30$\%$ average relative improvement compared to state-of-the-art methods in conventional single object attack request; Moreover, our method outperforms SOTAs significantly on more generic attack requests by about 20$\%$ in average; Finally, our method produces superior performance under challenging zero-query black-box setting, or 20$\%$ better than SOTAs. Our code, model and attack requests would be made available.


title: Two-photon pulse scattering spectroscopy for arrays of two-level atoms, coupled to the waveguide

abstract: We have theoretically studied the scattering of two-photon pulses from a spatially-separated array of two-level atoms coupled to the waveguide. A general analytical expression for the scattered pulse has been obtained. The contributions of various single-eigenstate and double-excited eigenstates of the array have been analyzed. We have also calculated the dependence of the time incident photons are stored in the array on its period and the number of atoms. The largest storage times correspond to the structures with the anti-Bragg period, equal to the quarter of the wavelength of light at the atom resonance frequency $\lambda/4$.


title: Signal Propagation in Double Edged Relays

abstract: A discrete signal propagation model blending characteristics of linear wave propagation and finite state automata is developed. We show this model obeys a limited form of superposition and is capable of displaying a wide variety of interesting behaviors. We show how the model's superposition properties permit information to be encoded and retained by signals that pass through discrete networks. We outline a SPIDER model replacement for Dijkstra's algorithm.


title: TabGenie: A Toolkit for Table-to-Text Generation

abstract: Heterogenity of data-to-text generation datasets limits the research on data-to-text generation systems. We present TabGenie - a toolkit which enables researchers to explore, preprocess, and analyze a variety of data-to-text generation datasets through the unified framework of table-to-text generation. In TabGenie, all the inputs are represented as tables with associated metadata. The tables can be explored through the web interface, which also provides an interactive mode for debugging table-to-text generation, facilitates side-by-side comparison of generated system outputs, and allows easy exports for manual analysis. Furthermore, TabGenie is equipped with command line processing tools and Python bindings for unified dataset loading and processing. We release TabGenie as a PyPI package and provide its open-source code and a live demo at https://github.com/kasnerz/tabgenie.


title: Generic framework for data-race-free many-particle simulations on shared memory hardware

abstract: Recently, there has been much progress in the formulation and implementation of methods for generic many-particle simulations. These models, however, typically either do not utilize shared memory hardware or do not guarantee data-race freedom for arbitrary particle dynamics. Here, we present both a abstract formal model of particle dynamics and a corresponding domain-specific programming language that can guarantee data-race freedom. The design of both the model and the language are heavily inspired by the Rust programming language that enables data-race-free general-purpose parallel computation. We also present a method of preventing deadlocks within our model by a suitable graph representation of a particle simulation. Finally, we demonstrate the practicability of our model on a number of common numerical primitives from molecular dynamics.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.bio-ph


title: First-order phase transition in the framework of the cell fluid model: Regions of chemical potential variation and the corresponding densities

abstract: A microscopic description is given for the behavior of the fluid system in an immediate vicinity of its critical point, where theoretical and experimental researches are difficult to carry out. For the temperatures $T<T_c$, the regions of chemical potential and density variations are singled out and analyzed. The equation of state of the cell fluid model in terms of temperature-chemical potential is written using the Heaviside functions. This equation is also given in terms of the temperature and density variables. As a result of the study of the relationship between the density and the chemical potential, an equation for the binodal curve is obtained in a narrow neighborhood of the critical point.


title: Enhancing Vulnerability Prioritization: Data-Driven Exploit Predictions with Community-Driven Insights

abstract: The number of disclosed vulnerabilities has been steadily increasing over the years. At the same time, organizations face significant challenges patching their systems, leading to a need to prioritize vulnerability remediation in order to reduce the risk of attacks. Unfortunately, existing vulnerability scoring systems are either vendor-specific, proprietary, or are only commercially available. Moreover, these and other prioritization strategies based on vulnerability severity are poor predictors of actual vulnerability exploitation because they do not incorporate new information that might impact the likelihood of exploitation. In this paper we present the efforts behind building a Special Interest Group (SIG) that seeks to develop a completely data-driven exploit scoring system that produces scores for all known vulnerabilities, that is freely available, and which adapts to new information. The Exploit Prediction Scoring System (EPSS) SIG consists of more than 170 experts from around the world and across all industries, providing crowd-sourced expertise and feedback. Based on these collective insights, we describe the design decisions and trade-offs that lead to the development of the next version of EPSS. This new machine learning model provides an 82\% performance improvement over past models in distinguishing vulnerabilities that are exploited in the wild and thus may be prioritized for remediation.


title: A similarity in patterns of global seismicity after St. Patrick's Day geomagnetic storms of 2013 and 2015

abstract: We present the results of a response of global seismicity to St. Patrick's Day (March 17) geomagnetic storms in 2013 and 2015, which occurred during rather similar solar flux levels and nearly identical storm sudden commencement times. A similar pattern of most substantial earthquake occurrence after storms is revealed. Namely, with a time delay of ~30 and ~39 days after storm onsets in 2013 and 2015, respectively, the strong crust earthquakes occurred at continental areas in Iran (M7.7, April 16, 2013) and Nepal (M7.8, April 25, 2015). Then, with a time delay of ~68 and ~74 days after storm onsets in 2013 and 2015, respectively, the strong deep-focused earthquakes occurred beneath the Sea of Okhotsk (M8.3, May 24, 2013, Russia) and beneath the Pacific Ocean (M7.8, May 30, 2015, Japan). It is shown that in the time of geomagnetic storm onsets (06:04 UT in 2013 and 04:48 UT in 2015), the longitudes at which the future strong earthquakes occurred were located under the polar cusps where the solar wind plasma would have direct access to the Earth's environment. The results support our earlier findings [Ouzounov and Khachikyan, 2022] that seismic activity may respond to geomagnetic storm onset with a time delay of up to ~ two months.


title: Nonlinear acoustic imaging with damping

abstract: In this paper, we consider an inverse problem for a nonlinear wave equation with a damping term and a general nonlinear term. This problem arises in nonlinear acoustic imaging and has applications in medical imaging and other fields. The propagation of ultrasound waves can be modeled by a quasilinear wave equation with a damping term. We show the boundary measurements encoded in the Dirichlet-to-Neumann map (DN map) determine the damping term and the nonlinearity at the same time. In a more general setting, we consider a quasilinear wave equation with a one-form (a first-order term) and a general nonlinear term. We prove the one-form and the nonlinearity can be determined from the DN map, up to a gauge transformation, under some assumptions.


title: Reduced Order Modeling of Dynamic Mechanical Metamaterials for Analysis of Infinite and Finite Systems

abstract: Dynamic mechanical metamaterials (MMs) are artificial media composed of periodic micro-structures, designed to manipulate wave propagation. Modeling and designing these materials can be computationally demanding due to the broad design space spanned by a range of geometric and material parameters. This work aims to develop a generalized reduced order modeling (ROM) approach for determining MM dynamics in low frequency ranges with accuracy and speed, using a limited number of parameters and small matrices. The MM unit cells are treated as assemblies of structural elements and discrete degrees of freedom, whose effective stiffness and inertia are determined by optimizing energy criteria based on continuum results derived from a small number of eigen-study simulations. This proposed approach offers a parameterized and discretized representation of MM systems, which leads to fast and accurate computation of eigen-study results for periodic arrays of repeating unit cells, as well as dynamic responses for finite-sized arrays. The high computational efficiency and physical accuracy of this method will help to streamline the modeling process and aid in design discovery and optimization, especially in combination with scientific machine learning and data-driven techniques.


title: Reinforcement Learning with Depreciating Assets

abstract: A basic assumption of traditional reinforcement learning is that the value of a reward does not change once it is received by an agent. The present work forgoes this assumption and considers the situation where the value of a reward decays proportionally to the time elapsed since it was obtained. Emphasizing the inflection point occurring at the time of payment, we use the term asset to refer to a reward that is currently in the possession of an agent. Adopting this language, we initiate the study of depreciating assets within the framework of infinite-horizon quantitative optimization. In particular, we propose a notion of asset depreciation, inspired by classical exponential discounting, where the value of an asset is scaled by a fixed discount factor at each time step after it is obtained by the agent. We formulate a Bellman-style equational characterization of optimality in this context and develop a model-free reinforcement learning approach to obtain optimal policies.


title: Soft-Search: Two Datasets to Study the Identification and Production of Research Software

abstract: Software is an important tool for scholarly work, but software produced for research is in many cases not easily identifiable or discoverable. A potential first step in linking research and software is software identification. In this paper we present two datasets to study the identification and production of research software. The first dataset contains almost 1000 human labeled annotations of software production from National Science Foundation (NSF) awarded research projects. We use this dataset to train models that predict software production. Our second dataset is created by applying the trained predictive models across the abstracts and project outcomes reports for all NSF funded projects between the years of 2010 and 2023. The result is an inferred dataset of software production for over 150,000 NSF awards. We release the Soft-Search dataset to aid in identifying and understanding research software production: https://github.com/si2-urssi/eager


title: Hyperbolic Anderson model with L\'evy white noise: spatial ergodicity and fluctuation

abstract: In this paper, we study one-dimensional hyperbolic Anderson models (HAM) driven by space-time pure-jump L\'evy white noise in a finite-variance setting. Motivated by recent active research on limit theorems for stochastic partial differential equations driven by Gaussian noises, we present the first study in this L\'evy setting. In particular, we first establish the spatial ergodicity of the solution and then a quantitative central limit theorem (CLT) for the spatial averages of the solution to HAM in both Wasserstein distance and Kolmogorov distance, with the same rate of convergence. To achieve the first goal (i.e. spatial ergodicity), we exploit some basic properties of the solution and apply a Poincar\'e inequality in the Poisson setting, which requires delicate moment estimates on the Malliavin derivatives of the solution. Such moment estimates are obtained in a soft manner by observing a natural connection between the Malliavin derivatives of HAM and a HAM with Dirac delta velocity. To achieve the second goal (i.e. CLT), we need two key ingredients: (i) a univariate second-order Poincar\'e inequality in the Poisson setting that goes back to Last, Peccati, and Schulte (Probab. Theory Related Fields, 2016) and has been recently improved by Trauthwein (arXiv:2212.03782); (ii) aforementioned moment estimates of Malliavin derivatives up to second order. We also establish a corresponding functional central limit theorem by (a) showing the convergence in finite-dimensional distributions and (b) verifying Kolmogorov's tightness criterion. Part (a) is made possible by a linearization trick and the univariate second-order Poincar\'e inequality, while part (b) follows from a standard moment estimate with an application of Rosenthal's inequality.


title: Performance Metrics for Multi-Objective Optimisation Algorithms Under Noise

abstract: This paper discusses the challenge when evaluating multi-objective optimisation algorithms under noise, and argues that decision maker preferences need to be taken into account. It demonstrates that commonly used performance metrics are problematic when there is noise, and proposes two alternative performance metrics that capture selection error of the decision maker due to mis-estimating a solution's true fitness values.


title: Macroeconomic Forecasting using Dynamic Factor Models: The Case of Morocco

abstract: This article discusses the use of dynamic factor models in macroeconomic forecasting, with a focus on the Factor-Augmented Error Correction Model (FECM). The FECM combines the advantages of cointegration and dynamic factor models, providing a flexible and reliable approach to macroeconomic forecasting, especially for non-stationary variables. We evaluate the forecasting performance of the FECM model on a large dataset of 117 Moroccan economic series with quarterly frequency. Our study shows that FECM outperforms traditional econometric models in terms of forecasting accuracy and robustness. The inclusion of long-term information and common factors in FECM enhances its ability to capture economic dynamics and leads to better forecasting performance than other competing models. Our results suggest that FECM can be a valuable tool for macroeconomic forecasting in Morocco and other similar economies.


title: Efficient higher-order matrix product operators for time evolution

abstract: We introduce a systematic construction of higher-order matrix product operator (MPO) approximations of the time evolution operator for generic (short and long range) one-dimensional Hamiltonians. We demonstrate the utility of our construction, by showing an order of magnitude speedup in simulation cost compared to conventional first-order MPO time evolution schemes.


title: Taylor TD-learning

abstract: Many reinforcement learning approaches rely on temporal-difference (TD) learning to learn a critic. However, TD-learning updates can be high variance. Here, we introduce a model-based RL framework, Taylor TD, which reduces this variance in continuous state-action settings. Taylor TD uses a first-order Taylor series expansion of TD updates. This expansion allows Taylor TD to analytically integrate over stochasticity in the action-choice, and some stochasticity in the state distribution for the initial state and action of each TD update. We include theoretical and empirical evidence that Taylor TD updates are indeed lower variance than standard TD updates. Additionally, we show Taylor TD has the same stable learning guarantees as standard TD-learning with linear function approximation under a reasonable assumption. Next, we combine Taylor TD with the TD3 algorithm, forming TaTD3. We show TaTD3 performs as well, if not better, than several state-of-the art model-free and model-based baseline algorithms on a set of standard benchmark tasks.


title: Semi-classical rotating black hole in loop quantum gravity

abstract: In the research paper [1], the analytical solution of semi-classical rotating black holes (BH) in loop quantum gravity theory (LQG) is obtained, but an unknown function $H$ is still preserved. In this note, we obtain an expression for the unknown function $H$, which makes the space-time line element of the semi-classical rotating BH in the LQG theory sufficiently well-expressed and thus provides a basis for the study of such rotating BHs.


title: Bayesian calibration of viscous anisotropic hydrodynamic simulations of heavy-ion collisions

abstract: Due to large pressure gradients at early times, standard hydrodynamic model simulations of relativistic heavy-ion collisions do not become reliable until $O(1)$\,fm/$c$ after the collision. To address this one often introduces a pre-hydrodynamic stage that models the early evolution microscopically, typically as a conformal, weakly interacting gas. In such an approach the transition from the pre-hydrodynamic to the hydrodynamic stage is discontinuous, introducing considerable theoretical model ambiguity. Alternatively, fluids with large anisotropic pressure gradients can be handled macroscopically using the recently developed Viscous Anisotropic Hydrodynamics (VAH). In high-energy heavy-ion collisions VAH is applicable already at very early times, and at later times transitions smoothly into conventional second-order viscous hydrodynamics (VH). We present a Bayesian calibration of the VAH model with experimental data for Pb--Pb collisions at the LHC at $\sqrt{s_\textrm{NN}}=2.76$\,TeV. We find that the VAH model has the unique capability of constraining the specific viscosities of the QGP at higher temperatures than other previously used models.


title: Low-Frequency Radio Recombination Lines Away From the Inner Galactic Plane

abstract: Diffuse radio recombination lines (RRLs) in the Galaxy are possible foregrounds for redshifted 21~cm experiments. We use EDGES drift scans centered at $-26.7^o$~declination to characterize diffuse RRLs across the southern sky. We find RRLs averaged over the large antenna beam ($ 72^o \times 110^o $) reach minimum amplitudes between right ascensions~2-6~h. In this region, the C$\alpha$ absorption amplitude is $33\pm11$~mK (1$\sigma$) averaged over 50-87~MHz ($27\gtrsim z \gtrsim15$ for the 21~cm line) and increases strongly as frequency decreases. C$\beta$ and H$\alpha$ lines are consistent with no detection with amplitudes of $13\pm14$ and $12\pm10$~mK (1$\sigma$), respectively. At 108-124.5~MHz ($z\approx11$) in the same region, we find no evidence for carbon or hydrogen lines at the noise level of 3.4~mK (1$\sigma$). Conservatively assuming observed lines come broadly from the diffuse interstellar medium, as opposed to a few compact regions, these amplitudes provide upper limits on the intrinsic diffuse lines. The observations support expectations that Galactic RRLs can be neglected as significant foregrounds for a large region of sky until redshifted 21~cm experiments, particularly those targeting Cosmic Dawn, move beyond the detection phase. We fit models of the spectral dependence of the lines averaged over the large beam of EDGES, which may contain multiple line sources with possible line blending, and find that including degrees of freedom for expected smooth, frequency-dependent deviations from local thermodynamic equilibrium (LTE) is preferred over simple LTE assumptions for C$\alpha$ and H$\alpha$ lines. For C$\alpha$ we estimate departure coefficients $0.79<b_n\beta_n<4.5$ along the inner Galactic Plane and $0<b_n\beta_n<2.3$ away from the inner Galactic Plane.


title: Approximately optimal domain adaptation with Fisher's Linear Discriminant

abstract: We propose a class of models based on Fisher's Linear Discriminant (FLD) in the context of domain adaptation. The class is the convex combination of two hypotheses: i) an average hypothesis representing previously seen source tasks and ii) a hypothesis trained on a new target task. For a particular generative setting we derive the optimal convex combination of the two models under 0-1 loss, propose a computable approximation, and study the effect of various parameter settings on the relative risks between the optimal hypothesis, hypothesis i), and hypothesis ii). We demonstrate the effectiveness of the proposed optimal classifier in the context of EEG- and ECG-based classification settings and argue that the optimal classifier can be computed without access to direct information from any of the individual source tasks. We conclude by discussing further applications, limitations, and possible future directions.


title: Fractal field-effect transistors: Enhanced photodetection and fractal dependent resonances

abstract: We study gated field effect transistors (FETs) with fractal geometries under Dyakonov and Shur asymmetric boundary conditions, where the source and drain span the left and right edges of the device respectively. An AC THz potential difference is applied between source and gate while a static source-drain voltage, rectified by the nonlinearities of FET electrons, is measured. We find, for a recursion depth, n, that resonant peaks in the potential integrated along the drain at ${\omega}_n = 3n{\omega}_0$ are amplified while all other are diminished. Additionally, we find the presence of peaks with frequencies dependent on the fractal dimensions of both the Sierpinski carpet and a similar alternative fractal. We then show the advantage of employing the alternative fractal as a superior geometry for the photodetector when compared to the Sierpinski carpet.


title: Exposure-Based Multi-Agent Inspection of a Tumbling Target Using Deep Reinforcement Learning

abstract: As space becomes more congested, on orbit inspection is an increasingly relevant activity whether to observe a defunct satellite for planning repairs or to de-orbit it. However, the task of on orbit inspection itself is challenging, typically requiring the careful coordination of multiple observer satellites. This is complicated by a highly nonlinear environment where the target may be unknown or moving unpredictably without time for continuous command and control from the ground. There is a need for autonomous, robust, decentralized solutions to the inspection task. To achieve this, we consider a hierarchical, learned approach for the decentralized planning of multi-agent inspection of a tumbling target. Our solution consists of two components: a viewpoint or high-level planner trained using deep reinforcement learning and a navigation planner handling point-to-point navigation between pre-specified viewpoints. We present a novel problem formulation and methodology that is suitable not only to reinforcement learning-derived robust policies, but extendable to unknown target geometries and higher fidelity information theoretic objectives received directly from sensor inputs. Operating under limited information, our trained multi-agent high-level policies successfully contextualize information within the global hierarchical environment and are correspondingly able to inspect over 90% of non-convex tumbling targets, even in the absence of additional agent attitude control.


title: You Only Transfer What You Share: Intersection-Induced Graph Transfer Learning for Link Prediction

abstract: Link prediction is central to many real-world applications, but its performance may be hampered when the graph of interest is sparse. To alleviate issues caused by sparsity, we investigate a previously overlooked phenomenon: in many cases, a densely connected, complementary graph can be found for the original graph. The denser graph may share nodes with the original graph, which offers a natural bridge for transferring selective, meaningful knowledge. We identify this setting as Graph Intersection-induced Transfer Learning (GITL), which is motivated by practical applications in e-commerce or academic co-authorship predictions. We develop a framework to effectively leverage the structural prior in this setting. We first create an intersection subgraph using the shared nodes between the two graphs, then transfer knowledge from the source-enriched intersection subgraph to the full target graph. In the second step, we consider two approaches: a modified label propagation, and a multi-layer perceptron (MLP) model in a teacher-student regime. Experimental results on proprietary e-commerce datasets and open-source citation graphs show that the proposed workflow outperforms existing transfer learning baselines that do not explicitly utilize the intersection structure.


title: Pseudo-dual pairs and branching of Discrete Series

abstract: For a semisimple Lie group $G$, we study Discrete Series representations with admissible branching to a symmetric subgroup $H$. This is done using a canonical associated symmetric subgroup $H_0$, forming a pseudo-dual pair with $H$, and a corresponding branching law for this group with respect to its maximal compact subgroup. This is in analogy with either Blattner's or Kostant-Heckmann multiplicity formulas, and has some resemblance to Frobenius reciprocity. We give several explicit examples and links to Kobayashi-Pevzner theory of symmetry breaking and holographic operators. Our method is well adapted to computer algorithms, such as for example the Atlas program.


title: On the path integral approach to quantum anomalies in interacting models

abstract: The prediction and subsequent discovery of topological semimetal phases of matter in solid state systems has instigated a surge of activity investigating the exotic properties of these unusual materials. Amongst these are transport signatures which can be attributed to the chiral anomaly; the breaking of classical chiral symmetry in a quantum theory. This remarkable quantum phenomenon, first discovered in the context of particle physics has now found new life in condensed matter physics, connecting topological quantum matter and band theory with effective field theoretic models. In this paper we investigate the interplay between interactions and the chiral anomaly in field theories inspired by semimetals using Fujikawa's path integral method. Starting from models in one spatial dimension we discuss how the presence of interactions can affect the consequences of the chiral anomaly leading to renormalization of excitations and their transport properties. This is then generalised to the three dimensional case where we show that the anomalous response of the system, namely the chiral magnetic and quantum hall effects, are modified by the presence of interactions. These properties are investigated further through the identification of anomalous modes which exist within interacting Weyl semimetals. These massive excitations are nonperturbative in nature and are a direct consequence of the chiral anomaly. The effects of interactions on mixed axial-gravitational anomalies are then investigated and the conditions required for interactions effects to be observed are discussed.

categories: cond-mat.str-el cond-mat.mes-hall hep-th math-ph math.MP


title: Reconstruction-based Out-of-Distribution Detection for Short-Range FMCW Radar

abstract: Out-of-distribution (OOD) detection recently has drawn attention due to its critical role in the safe deployment of modern neural network architectures in real-world applications. The OOD detectors aim to distinguish samples that lie outside the training distribution in order to avoid the overconfident predictions of machine learning models on OOD data. Existing detectors, which mainly rely on the logit, intermediate feature space, softmax score, or reconstruction loss, manage to produce promising results. However, most of these methods are developed for the image domain. In this study, we propose a novel reconstruction-based OOD detector to operate on the radar domain. Our method exploits an autoencoder (AE) and its latent representation to detect the OOD samples. We propose two scores incorporating the patch-based reconstruction loss and the energy value calculated from the latent representations of each patch. We achieve an AUROC of 90.72% on our dataset collected by using 60 GHz short-range FMCW Radar. The experiments demonstrate that, in terms of AUROC and AUPR, our method outperforms the baseline (AE) and the other state-of-the-art methods. Also, thanks to its model size of 641 kB, our detector is suitable for embedded usage.


title: PointFlowHop: Green and Interpretable Scene Flow Estimation from Consecutive Point Clouds

abstract: An efficient 3D scene flow estimation method called PointFlowHop is proposed in this work. PointFlowHop takes two consecutive point clouds and determines the 3D flow vectors for every point in the first point cloud. PointFlowHop decomposes the scene flow estimation task into a set of subtasks, including ego-motion compensation, object association and object-wise motion estimation. It follows the green learning (GL) pipeline and adopts the feedforward data processing path. As a result, its underlying mechanism is more transparent than deep-learning (DL) solutions based on end-to-end optimization of network parameters. We conduct experiments on the stereoKITTI and the Argoverse LiDAR point cloud datasets and demonstrate that PointFlowHop outperforms deep-learning methods with a small model size and less training time. Furthermore, we compare the Floating Point Operations (FLOPs) required by PointFlowHop and other learning-based methods in inference, and show its big savings in computational complexity.


title: Rigidity, Tensegrity and Reconstruction of Polytopes under Metric Constraints

abstract: We conjecture that a convex polytope is uniquely determined up to isometry by its edge-graph, edge lengths and the collection of distances of its vertices to some arbitrary interior point, across all dimensions and all combinatorial types. We conjecture even stronger that for two polytopes $P\subset\mathbb R^d$ and $Q\subset\mathbb R^e$ with the same edge-graph it is not possible that $Q$ has longer edges than $P$ while also having smaller vertex-point distances. We develop techniques to attack this question and verify it in three relevant special cases: if $P$ and $Q$ are centrally symmetric, if $Q$ is a slight perturbation of $P$, and if $P$ and $Q$ are combinatorially equivalent. In the first two cases the statements stay true if we replace $Q$ by some graph embedding $q\colon V(G_P)\to\mathbb R^e$ of the edge-graph $G_P$ of $P$, which can be interpreted as local resp. universal rigidity of certain tensegrity frameworks. We also establish that a polytope is uniquely determined up to affine equivalence by its edge-graph, edge lengths and the Wachspress coordinates of an arbitrary interior point. We close with a broad overview of related and subsequent questions.


title: Relating Reversible Petri Nets and Reversible Event Structures, categorically

abstract: Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered. In this paper we extend CNs to account also for asymmetric conflicts and study (i) how this kind of nets, and their reversible versions, can be turned into a category; and (ii) their relation with the categories of reversible asymmetric event structures.


title: Simulation of Video Streaming Over Wireless Networks with NS-3

abstract: The combination of video streaming services and wireless networks plays an important role in many fields. In this paper, we present an NS-3-based simulation platform for evaluating and optimizing the performance of the video streaming application over wireless networks. The simulation is designed to provide real-time measurements, and thus it saves the high costs for real equipment. The developed platform consists of the video streaming server, video streaming client, and wireless network environment, where the video streaming operation is implemented under UDP protocol and is equipped with an application-level adaptive rate controller. We use the platform to simulate different use cases of sharing a wireless multi-access channel among multiple video streams.


title: Image-Based Virtual Try-on System With Clothing-Size Adjustment

abstract: The conventional image-based virtual try-on method cannot generate fitting images that correspond to the clothing size because the system cannot accurately reflect the body information of a person. In this study, an image-based virtual try-on system that could adjust the clothing size was proposed. The size information of the person and clothing were used as the input for the proposed method to visualize the fitting of various clothing sizes in a virtual space. First, the distance between the shoulder width and height of the clothing in the person image is calculated based on the coordinate information of the key points detected by OpenPose. Then, the system changes the size of only the clothing area of the segmentation map, whose layout is estimated using the size of the person measured in the person image based on the ratio of the person and clothing sizes. If the size of the clothing area increases during the drawing, the details in the collar and overlapping areas are corrected to improve visual appearance.


title: Measures of association between algebraic varieties, II: self-correspondences

abstract: Following a suggestion of Jordan Ellenberg, we study measures of complexity for self-correspondences of some classes of varieties. We also answer a question of Rhyd concerning curves sitting in the square of a very general hyperelliptic curve.


title: On ${}_5\psi_5$ identities of Bailey

abstract: In this paper, we provide proofs of two ${}_5\psi_5$ summation formulas of Bailey using a ${}_5\phi_4$ identity of Carlitz. We show that in the limiting case, the two ${}_5\psi_5$ identities give rise to two ${}_3\psi_3$ summation formulas of Bailey. Finally, we prove the two ${}_3\psi_3$ identities using a technique initially used by Ismail to prove Ramanujan's ${}_1\psi_1$ summation formula and later by Ismail and Askey to prove Bailey's very-well-poised ${}_6\psi_6$ sum.


title: Spontaneous Lorentz symmetry breaking effects on GRBs jets arising from neutrino pair annihilation process near a black hole

abstract: The study of neutrino pair annihilation into electron-positron pairs ($\nu{\bar \nu}\to e^-e^+$) is astrophysically well-motivated because it is a possible powering mechanism for the gamma-ray bursts (GRBs). In this paper, we estimate the gamma-ray energy deposition rate (EDR) arising from the annihilation of the neutrino pairs in the equatorial plane of a slowly rotating black hole geometry modified by the broken Lorentz symmetry (induced by a background bumblebee vector field). More specifically, owing to the presence of a dimensionless Lorentz symmetry breaking (LSB) parameter $l$ arising from nonminimal coupling between the bumblebee field with nonzero vacuum expectation value and gravity, the metric solution in question differs from the standard slowly rotating Kerr black hole. By idealizing the thin accretion disk temperature profile in the two forms of isothermal and gradient around the bumblebee gravity-based slow rotating black hole, we investigate the influence of spontaneous LSB on the $\nu{\bar \nu}$-annihilation efficiency. For both profiles, we find that positive values of LSB parameter $l>0$ induce an enhancement of the EDR associated with the neutrino-antineutrino annihilation. Therefore, the process of powering the GRBs jets around bumblebee gravity modified slowly rotating geometry is more efficient in comparison with standard metric. Using the observed gamma-ray luminosity associated with different GRBs types (short, long, and ultra-long), we find, through the analysis of the EDR in the parameter space $l-a$ ($a^2\ll1$), some allowed ranges for the LSB parameter $l$.


title: Nautilus: A Framework for Cross-Layer Cartography of Submarine Cables and IP Links

abstract: Submarine cables constitute the backbone of the Internet. However, these critical infrastructure components are vulnerable to several natural and man-made threats, and during failures, are difficult to repair in their remote oceanic environments. In spite of their crucial role, we have a limited understanding of the impact of submarine cable failures on global connectivity, particularly on the higher layers of the Internet. In this paper, we present Nautilus, a framework for cross-layer cartography of submarine cables and IP links. Using a corpus of public datasets and Internet cartographic techniques, Nautilus identifies IP links that are likely traversing submarine cables and maps them to one or more potential cables. Nautilus also gives each IP to cable assignment a prediction score that reflects the confidence in the mapping. Nautilus generates a mapping for 3.05 million and 1.43 million IPv4 and IPv6 links respectively, covering 91% of all active cables. In the absence of ground truth data, we validate Nautilus mapping using three techniques: analyzing past cable failures, using targeted traceroute measurements, and comparing with public network maps of two operators.


title: Mixtures of All Trees

abstract: Tree-shaped graphical models are widely used for their tractability. However, they unfortunately lack expressive power as they require committing to a particular sparse dependency structure. We propose a novel class of generative models called mixtures of all trees: that is, a mixture over all possible ($n^{n-2}$) tree-shaped graphical models over $n$ variables. We show that it is possible to parameterize this Mixture of All Trees (MoAT) model compactly (using a polynomial-size representation) in a way that allows for tractable likelihood computation and optimization via stochastic gradient descent. Furthermore, by leveraging the tractability of tree-shaped models, we devise fast-converging conditional sampling algorithms for approximate inference, even though our theoretical analysis suggests that exact computation of marginals in the MoAT model is NP-hard. Empirically, MoAT achieves state-of-the-art performance on density estimation benchmarks when compared against powerful probabilistic models including hidden Chow-Liu Trees.


title: $H_0=69.8\pm1.3$ $\rm{km \ s^{-1} \ Mpc^{-1}}$, $\Omega_{m0}=0.288\pm0.017$, and other constraints from lower-redshift, non-CMB, expansion-rate data

abstract: We use updated Type Ia Pantheon+ supernova, baryon acoustic oscillation, and Hubble parameter (now also accounting for correlations) data, as well as new reverberation-measured C IV quasar data, and quasar angular size, H II starburst galaxy, reverberation-measured Mg II quasar, and Amati-correlated gamma-ray burst data to constrain cosmological parameters. We show that these data sets result in mutually consistent constraints and jointly use them to constrain cosmological parameters in six different spatially-flat and non-flat cosmological models. Our analysis provides summary model-independent determinations of two key cosmological parameters: the Hubble constant, $H_0=69.8\pm1.3$ $\rm{km \ s^{-1} \ Mpc^{-1}}$, and the current non-relativistic matter density parameter, $\Omega_{m0}=0.288\pm0.017$. Our summary error bars are 2.4 and 2.3 times those obtained using the flat $\Lambda$CDM model and Planck TT,TE,EE+lowE+lensing cosmic microwave background (CMB) anisotropy data. Our $H_0$ value is very consistent with that from the local expansion rate based on the Tip of the Red Giant Branch data, is 2$\sigma$ lower than that from the local expansion rate based on Type Ia supernova and Cepheid data, and is 2$\sigma$ higher than that in the flat $\Lambda$CDM model based on Planck TT,TE,EE+lowE+lensing CMB data. Our data compilation shows at most mild evidence for non-flat spatial hypersurfaces, but more significant evidence for dark energy dynamics, 2$\sigma$ or larger in the spatially-flat dynamical dark energy models we study.


title: HalluAudio: Hallucinating Frequency as Concepts for Few-Shot Audio Classification

abstract: Few-shot audio classification is an emerging topic that attracts more and more attention from the research community. Most existing work ignores the specificity of the form of the audio spectrogram and focuses largely on the embedding space borrowed from image tasks, while in this work, we aim to take advantage of this special audio format and propose a new method by hallucinating high-frequency and low-frequency parts as structured concepts. Extensive experiments on ESC-50 and our curated balanced Kaggle18 dataset show the proposed method outperforms the baseline by a notable margin. The way that our method hallucinates high-frequency and low-frequency parts also enables its interpretability and opens up new potentials for the few-shot audio classification.


title: Stability of multi-solitons for the Benjamin-Ono equation

abstract: This paper is concerned with the dynamical stability of the $N$-solitons of the Benjamin-Ono (BO) equation. This extends the work of Neves and Lopes \cite{LN} which was restricted to $N=2$ the double solitons case. By constructing a suitable Lyapunov functional, it is found that the multi-solitons are non-isolated constrained minimizers satisfying a suitable variational nonlocal elliptic equation, the stability issue is reduced to the spectral analysis of higher order nonlocal operators consist of the Hilbert transform. Such operators are isoinertial and the negative eigenvalues of which are located. Our approach in the spectral analysis consists in an invariant for the multi-solitons and new operator identities motivated by the bi-Hamiltonian structure of the BO equation. Since the BO equation is more likely a two dimensional integrable system, its recursion operator is not explicit and which contributes the main difficulties in our analysis. The key ingredient in the spectral analysis is by employing the completeness in $L^2$ of the squared eigenfunctions of the eigenvalue problem for the BO equation. It is demonstrated here that orbital stability of soliton in $H^{\frac{1}{2}}(\R)$ implies that all $N$-solitons are dynamically stable in $H^{\frac{N}{2}}(\R)$.


title: Magnetic field control of light-induced spin accumulation in monolayer MoSe$_2$

abstract: Semiconductor transition metal dichalcogenides (TMDs) have equivalent dynamics for their two spin/valley species. This arises from their energy-degenerated spin states, connected via time-reversal symmetry. When an out-of-plane magnetic field is applied, time-reversal symmetry is broken and the energies of the spin-polarized bands shift, resulting in different bandgaps and dynamics in the K$_+$ and K$_-$ valleys. Here, we use time-resolved Kerr rotation to study the magnetic field dependence of the spin dynamics in monolayer MoSe$_2$. We show that the magnetic field can control the light-induced spin accumulation of the two valley states, with a small effect on the recombination lifetimes. We unveil that the magnetic field-dependent spin accumulation is in agreement with hole spin dynamics at the longer timescales, indicating that the electron spins have faster relaxation rates. We propose a rate equation model that suggests that lifting the energy-degeneracy of the valleys induces an ultrafast spin-flip toward the stabilization of the valley with the higher valence band energy. Our results provide an experimental insight into the ultrafast charge and spin dynamics in TMDs and a way to control it, which will be useful for the development of new spintronic and valleytronic applications.


title: Semantic Strengthening of Neuro-Symbolic Learning

abstract: Numerous neuro-symbolic approaches have recently been proposed typically with the goal of adding symbolic knowledge to the output layer of a neural network. Ideally, such losses maximize the probability that the neural network's predictions satisfy the underlying domain. Unfortunately, this type of probabilistic inference is often computationally infeasible. Neuro-symbolic approaches therefore commonly resort to fuzzy approximations of this probabilistic objective, sacrificing sound probabilistic semantics, or to sampling which is very seldom feasible. We approach the problem by first assuming the constraint decomposes conditioned on the features learned by the network. We iteratively strengthen our approximation, restoring the dependence between the constraints most responsible for degrading the quality of the approximation. This corresponds to computing the mutual information between pairs of constraints conditioned on the network's learned features, and may be construed as a measure of how well aligned the gradients of two distributions are. We show how to compute this efficiently for tractable circuits. We test our approach on three tasks: predicting a minimum-cost path in Warcraft, predicting a minimum-cost perfect matching, and solving Sudoku puzzles, observing that it improves upon the baselines while sidestepping intractability.


title: Methods and Mechanisms for Interactive Novelty Handling in Adversarial Environments

abstract: Learning to detect, characterize and accommodate novelties is a challenge that agents operating in open-world domains need to address to be able to guarantee satisfactory task performance. Certain novelties (e.g., changes in environment dynamics) can interfere with the performance or prevent agents from accomplishing task goals altogether. In this paper, we introduce general methods and architectural mechanisms for detecting and characterizing different types of novelties, and for building an appropriate adaptive model to accommodate them utilizing logical representations and reasoning methods. We demonstrate the effectiveness of the proposed methods in evaluations performed by a third party in the adversarial multi-agent board game Monopoly. The results show high novelty detection and accommodation rates across a variety of novelty types, including changes to the rules of the game, as well as changes to the agent's action capabilities.


title: FerroHEMTs: High-Current and High-Speed All-Epitaxial AlScN/GaN Ferroelectric Transistors

abstract: We report the first observation of ferroelectric gating in AlScN barrier wide-bandgap nitride transistors. These FerroHEMT devices realized by direct epitaxial growth represent a new class of ferroelectric transistors in which the semiconductor is itself polar, and the crystalline ferroelectric barrier is lattice-matched to the substrate. The FerroHEMTs reported here use the thinnest nitride high K and ferroelectric barriers to date to deliver the highest on currents at 4 A/mm, and highest speed AlScN transistors with fmax larger than 150 GHz observed in any ferroelectric transistor. The FerroHEMTs exhibit hysteretic Id Vgs loops with subthreshold slopes below the Boltzmann limit. A control AlN barrier HEMT exhibits neither hysteretic, nor sub Boltzmann behavior. While these results introduce the first epitaxial high K and ferroelectric barrier technology to RF and mm wave electronics, they are also of interest as a new material platform for combining memory and logic functionalities in digital electronics.


title: Investigation of Cryogenic Current-Voltage Anomalies in SiGe HBTs: Role of Base-Emitter Junction Inhomogeneities

abstract: The deviations of cryogenic collector current-voltage characteristics of SiGe heterojunction bipolar transistors (HBTs) from ideal drift-diffusion theory have been a topic of investigation for many years. Recent work indicates that direct tunneling across the base contributes to the non-ideal current in highly-scaled devices. However, cryogenic discrepancies have been observed even in older-generation devices for which direct tunneling is negligible, suggesting another mechanism may also contribute. Although similar non-ideal current-voltage characteristics have been observed in Schottky junctions and were attributed to spatial inhomogeneities in the base-emitter junction potential, this explanation has not been considered for SiGe HBTs. Here, we experimentally investigate this hypothesis by characterizing the collector current ideality factor and built-in potential of a SiGe HBT versus temperature using a cryogenic probe station. The temperature-dependence of the ideality factor and the relation between the built-in potential as measured by capacitance-voltage and current-voltage characteristics are in good qualitative agreement with the predictions of a theory of electrical transport across a junction with a Gaussian distribution of potential barrier heights. These observations suggest that lateral inhomogeneities in the base-emitter junction potential may contribute to the cryogenic non-idealities. This work helps to identify the physical mechanisms limiting the cryogenic microwave noise performance of SiGe HBTs.


title: Manifestation of instability in the quasiclassical limit of the spectrum of the quartic double well

abstract: Within the Bohr's correspondence principle, the quantum theory should reproduce the classical world when $\hbar\to 0$. In practice, the discrete energies come close to each other before passing to continuum, causing that highly excited states become inaccessible. However it is possible to identify signatures that the spectrum is approaching the continuum limit. In this work, for $\hbar \to 0$, we focus our attention on the spectrum of the 1D quartic double well and find signatures of the classical instability in the quantum spectrum near the critical energy, and explore how the tunneling phenomenon remains only at energies close to this critical energy.


title: Microstructured optical beams with azimuthal polarization in stratified absorbent media

abstract: We present an analytical method to achieve highly non-paraxial, azimuthally polarized structured beams that, when propagating through an absorbing stratified media, can assume in the last semi-infinite layer approximately any desired longitudinal intensity pattern within spatial regions few times larger than the wavelength. The possibility of managing the properties of a highly non-paraxial beam under adverse conditions, such as multiple reflections in stratified structures and energy loss to the material media, may be of great importance in many different optical applications, like trapping and micro-manipulation, remote sensing, thin films, medical devices, medical therapies and so on.


title: Crossing Minimization in Time Interval Storylines

abstract: Storyline visualizations are a popular way of visualizing characters and their interactions over time: Characters are drawn as x-monotone curves and interactions are visualized through close proximity of the corresponding character curves in a vertical strip. Existing methods to generate storylines assume a total ordering of the interactions, although real-world data often do not contain such a total order. Instead, multiple interactions are often grouped into coarser time intervals such as years. We exploit this grouping property by introducing a new model called storylines with time intervals and present two methods to minimize the number of crossings and horizontal space usage. We then evaluate these algorithms on a small benchmark set to show their effectiveness.


title: Higgs response and pair condensation energy in superfluid nuclei

abstract: The pairing correlation in nuclei causes a characteristic excitation, known as the pair vibration, which is populated by the pair transfer reactions. Here we introduce a new method of characterizing the pair vibration by employing an analogy to the Higgs mode, which emerges in infinite superconducting/superfluid systems as a collective vibrational mode associated with the amplitude oscillation of the Cooper pair condensate. The idea is formulated by defining a pair-transfer probe, the Higgs operator, and then describing the linear response and the strength function to this probe. We will show that the pair condensation energy in nuclei can be extracted with use of the strength sum and the static polarizability of the Higgs response. In order to demonstrate and validate the method, we perform for Sn isotopes numerical analysis based the quasi-particle random phase approximation to the Skyrme-Hartree-Fock-Bogoliubov model. We discuss a possibility to apply this new scheme to pair transfer experiment.


title: Correlating Chemical Reaction and Mass Transport in Hydrogen-based Direct Reduction of Iron Oxide

abstract: Steelmaking contributes 8% to the total CO2 emissions globally, primarily due to coal-based iron ore reduction. Clean hydrogen-based ironmaking has variable performance because the dominant gas-solid reduction mechanism is set by the defects and pores inside the mm-nm sized oxide particles that change significantly as the reaction progresses. While these governing dynamics are essential to establish continuous flow of iron and its ores through reactors, the direct link between agglomeration and chemistry is still contested due to missing measurements. In this work, we directly measure the connection between chemistry and agglomeration in the smallest iron oxides relevant to magnetite ores. Using synthesized spherical 10-nm magnetite particles reacting in H2, we resolve the formation and consumption of w\"ustite (FeO) - the step most commonly attributed to agglomeration. Using X-ray scattering and microscopy, we resolve crystallographic anisotropy in the rate of the initial reaction, which becomes isotropic as the material sinters. Complementing with imaging, we demonstrate how the particles self-assemble, subsequently react and sinter into ~100x oblong grains. Our insights into how morphologically uniform iron oxide particles react and agglomerate H2 reduction enable future size-dependent models to effectively describe the multiscale iron ore reduction.


title: Decoding the Divide: Analyzing Disparities in Broadband Plans Offered by Major US ISPs

abstract: Digital equity in Internet access is often measured along three axes: availability, affordability, and adoption. Most prior work focuses on availability; the other two aspects have received little attention. In this paper, we study broadband affordability in the US. Specifically, we focus on the nature of broadband plans offered by major ISPs across the US. To this end, we develop a broadband plan querying tool (BQT) that obtains broadband plans (upload/download speed and price) offered by seven major ISPs for any street address in the US. We then use this tool to curate a dataset, querying broadband plans for over 837k street addresses in thirty cities for seven major wireline broadband ISPs. We use a plan's carriage value, the Mbps of a user's traffic that an ISP carries for one dollar, to compare plans. Our analysis provides us with the following new insights: (1) ISP plans vary inter-city. Specifically, the fraction of census block groups that receive high and low carriage value plans varies widely by city; (2) ISP plans intra-city are spatially clustered, and the carriage value can vary as much as 600% within a city; (3) Cable-based ISPs offer up to 30% more carriage value to users when competing with fiber-based ISPs in a block group; and (4) Average income in a block group plays a critical role in dictating who gets a fiber deployment (i.e., a better carriage value) in the US. While we hope our tool, dataset, and analysis in their current form are helpful for policymakers at different levels (city, county, state), they are only a small step toward understanding digital equity. Based on our learnings, we conclude with recommendations to continue to advance our understanding of broadband affordability.


title: Global Proxy-based Hard Mining for Visual Place Recognition

abstract: Learning deep representations for visual place recognition is commonly performed using pairwise or triple loss functions that highly depend on the hardness of the examples sampled at each training iteration. Existing techniques address this by using computationally and memory expensive offline hard mining, which consists of identifying, at each iteration, the hardest samples from the training set. In this paper we introduce a new technique that performs global hard mini-batch sampling based on proxies. To do so, we add a new end-to-end trainable branch to the network, which generates efficient place descriptors (one proxy for each place). These proxy representations are thus used to construct a global index that encompasses the similarities between all places in the dataset, allowing for highly informative mini-batch sampling at each training iteration. Our method can be used in combination with all existing pairwise and triplet loss functions with negligible additional memory and computation cost. We run extensive ablation studies and show that our technique brings new state-of-the-art performance on multiple large-scale benchmarks such as Pittsburgh, Mapillary-SLS and SPED. In particular, our method provides more than 100% relative improvement on the challenging Nordland dataset. Our code is available at https://github.com/amaralibey/GPM


title: Debiased Lasso After Sample Splitting for Estimation and Inference in High Dimensional Generalized Linear Models

abstract: We consider random sample splitting for estimation and inference in high dimensional generalized linear models, where we first apply the lasso to select a submodel using one subsample and then apply the debiased lasso to fit the selected model using the remaining subsample. We show that, no matter including a prespecified subset of regression coefficients or not, the debiased lasso estimation of the selected submodel after a single splitting follows a normal distribution asymptotically. Furthermore, for a set of prespecified regression coefficients, we show that a multiple splitting procedure based on the debiased lasso can address the loss of efficiency associated with sample splitting and produce asymptotically normal estimates under mild conditions. Our simulation results indicate that using the debiased lasso instead of the standard maximum likelihood estimator in the estimation stage can vastly reduce the bias and variance of the resulting estimates. We illustrate the proposed multiple splitting debiased lasso method with an analysis of the smoking data of the Mid-South Tobacco Case-Control Study.


title: Approximating Tensor Norms via Sphere Covering: Bridging the Gap Between Primal and Dual

abstract: The matrix spectral and nuclear norms appear in enormous applications. The generalizations of these norms to higher-order tensors is becoming increasingly important but unfortunately they are NP-hard to compute or even approximate. Although the two norms are dual to each other, the best known approximation bound achieved by polynomial-time algorithms for the tensor nuclear norm is worse than that for the tensor spectral norm. In this paper, we bridge this gap by proposing deterministic algorithms with the best bound for both tensor norms. Our methods not only improve the approximation bound for the nuclear norm, but are also data independent and easily implementable comparing to existing approximation methods for the tensor spectral norm. The main idea is to construct a selection of unit vectors that can approximately represent the unit sphere, in other words, a collection of spherical caps to cover the sphere. For this purpose, we explicitly construct several collections of spherical caps for sphere covering with adjustable parameters for different levels of approximations and cardinalities. These readily available constructions are of independent interest as they provide a powerful tool for various decision making problems on spheres and related problems. We believe the ideas of constructions and the applications to approximate tensor norms can be useful to tackle optimization problems over other sets such as the binary hypercube.


title: Are Character-level Translations Worth the Wait? Comparing ByT5 and mT5 for Machine Translation

abstract: Pretrained character-level and byte-level language models have been shown to be competitive with popular subword models across a range of Natural Language Processing (NLP) tasks. However, there has been little research on their effectiveness for neural machine translation (NMT), particularly within the popular pretrain-then-finetune paradigm. This work performs an extensive comparison across multiple languages and experimental conditions of character- and subword-level pretrained models (ByT5 and mT5, respectively) on NMT. We show the effectiveness of character-level modeling in translation, particularly in cases where fine-tuning data is limited. In our analysis, we show how character models' gains in translation quality are reflected in better translations of orthographically similar words and rare words. While evaluating the importance of source texts in driving model predictions, we highlight word-level patterns within ByT5, suggesting an ability to modulate word-level and character-level information during generation. We conclude by assessing the efficiency tradeoff of byte models, suggesting their usage in non-time-critical scenarios to boost translation quality.


title: Gr\"obner-Shirshov bases and linear bases for free multi-operated algebras over algebras with applications to differential Rota-Baxter algebras and integro-differential algebras

abstract: Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $\Omega$-operated algebra is a an (associative) algebra equipped with a set $\Omega$ of linear operators which might satisfy certain operator identities such as the Leibniz rule. A free $\Omega$-operated algebra $B$ can be generated on an algebra $A$ similar to a free algebra generated on a set. If $A$ has a Gr\"{o}bner-Shirshov basis $G$ and if the linear operators $\Omega$ satisfy a set $\Phi$ of operator identities, it is natural to ask when the union $G\cup \Phi$ is a Gr\"{o}bner-Shirshov basis of $B$. A previous work answers this question affirmatively under a mild condition, and thereby obtains a canonical linear basis of $B$. In this paper, we answer this question in the general case of multiple linear operators. As applications we get operated Gr\"{o}bner-Shirshov bases for free differential Rota-Baxter algebras and free integro-differential algebras over algebras as well as their linear bases. One of the key technical difficulties is to introduce new monomial orders for the case of two operators, which might be of independent interest.


title: Spatio-temporal pulse cleaning in multi-pass cells

abstract: We study both numerically and experimentally the use of two third-order nonlinear temporal filtering techniques, namely nonlinear ellipse rotation (NER) and cross-polarized wave (XPW) generation, for spatio-temporal cleaning of mJ energy 30 fs Titanium:Sapphire laser pulses in a multi-pass cell. In both cases, a contrast enhancement greater than 3 orders of magnitude is observed, together with excellent output pulse quality and record high conversion efficiencies. Careful balancing of nonlinearity and dispersion inside the multi-pass cell helps tune the spectral broadening process and control the post-compressed pulse duration for specific applications.


title: Bayesian Nagaoka-Hayashi Bound for Multiparameter Quantum-State Estimation Problem

abstract: In this work we propose a Bayesian version of the Nagaoka-Hayashi bound when estimating a parametric family of quantum states. This lower bound is a generalization of a recently proposed bound for point estimation to Bayesian estimation. We then show that the proposed lower bound can be efficiently computed as a semidefinite programming problem. As a lower bound, we also derive a Bayesian version of the Holevo-type bound from the Bayesian Nagaoka-Hayashi bound. Lastly, we prove that the new lower bound is tighter than the Bayesian quantum Cramer-Rao bounds.


title: Overview and Performance Analysis of Various Waveforms in High Mobility Scenarios

abstract: In the high-mobility scenarios of next-generation wireless communication systems (beyond 5G/6G), the performance of orthogonal frequency division multiplexing (OFDM) deteriorates drastically due to the loss of orthogonality between the subcarriers caused by large Doppler frequency shifts. Various emerging waveforms have been proposed for fast time-varying channels with excellent results. In this paper, we classify these waveforms from the perspective of their modulation domain and establish a unified framework to provide a comprehensive system structure comparison. Then we analyze bit error rate (BER) performance of each waveform in doubly selective channels. Through the discussions on their complexity and compatibility with OFDM systems, we finally give the candidate waveform suggestions.


title: Weighted Sampling for Masked Language Modeling

abstract: Masked Language Modeling (MLM) is widely used to pretrain language models. The standard random masking strategy in MLM causes the pre-trained language models (PLMs) to be biased toward high-frequency tokens. Representation learning of rare tokens is poor and PLMs have limited performance on downstream tasks. To alleviate this frequency bias issue, we propose two simple and effective Weighted Sampling strategies for masking tokens based on the token frequency and training loss. We apply these two strategies to BERT and obtain Weighted-Sampled BERT (WSBERT). Experiments on the Semantic Textual Similarity benchmark (STS) show that WSBERT significantly improves sentence embeddings over BERT. Combining WSBERT with calibration methods and prompt learning further improves sentence embeddings. We also investigate fine-tuning WSBERT on the GLUE benchmark and show that Weighted Sampling also improves the transfer learning capability of the backbone PLM. We further analyze and provide insights into how WSBERT improves token embeddings.


title: Chemical relaxation oscillator designed to control molecular computation

abstract: Embedding efficient calculation instructions into biochemical system has always been a research focus in synthetic biology. One of the key problems is how to sequence the chemical reaction modules that act as units of computation and make them alternate spontaneously. Our work takes the design of chemical clock signals as a solution and presents a $4$-dimensional chemical oscillator model based on relaxation oscillation to generate a pair of symmetric clock signals for two-module regulation. We give detailed dynamical analysis of the model and discuss how to control the period and occurrence order of clock signals. We also demonstrate the loop control of molecular computations and provide termination strategy for them. We can expect that our design for module regulation and loop termination will help advance the embedding of more complicate calculations into biochemical environments.


title: A unified scalable framework for causal sweeping strategies for Physics-Informed Neural Networks (PINNs) and their temporal decompositions

abstract: Physics-informed neural networks (PINNs) as a means of solving partial differential equations (PDE) have garnered much attention in the Computational Science and Engineering (CS&E) world. However, a recent topic of interest is exploring various training (i.e., optimization) challenges - in particular, arriving at poor local minima in the optimization landscape results in a PINN approximation giving an inferior, and sometimes trivial, solution when solving forward time-dependent PDEs with no data. This problem is also found in, and in some sense more difficult, with domain decomposition strategies such as temporal decomposition using XPINNs. We furnish examples and explanations for different training challenges, their cause, and how they relate to information propagation and temporal decomposition. We then propose a new stacked-decomposition method that bridges the gap between time-marching PINNs and XPINNs. We also introduce significant computational speed-ups by using transfer learning concepts to initialize subnetworks in the domain and loss tolerance-based propagation for the subdomains. Finally, we formulate a new time-sweeping collocation point algorithm inspired by the previous PINNs causality literature, which our framework can still describe, and provides a significant computational speed-up via reduced-cost collocation point segmentation. The proposed methods form our unified framework, which overcomes training challenges in PINNs and XPINNs for time-dependent PDEs by respecting the causality in multiple forms and improving scalability by limiting the computation required per optimization iteration. Finally, we provide numerical results for these methods on baseline PDE problems for which unmodified PINNs and XPINNs struggle to train.


title: A field-induced reentrant insulator state of a gap-closed topological insulator (Bi_{1-x}Sb_x) in quantum-limit states

abstract: In the extreme quantum limit states under high magnetic fields, enhanced electronic correlation effects can stabilize anomalous quantum states. Using band-tuning with a magnetic field, we realized a spin-polarized quantum limit state in the field-induced semimetallic phase of a topological insulator Bi_{1-x}Sb_x. Further increase in the field injects more electrons and holes to this state and results in an unexpected reentrant insulator state in this topological semimetallic state. A single-particle picture cannot explain this reentrant insulator state, reminiscent of phase transitions due to many-body effects. Estimates of the binding energy and spacing of electron-hole pairs and the thermal de Broglie wavelength indicate that Bi_{1-x}Sb_x may host the excitonic insulator phase in this extreme environment.


title: Zero-Shot Cross-Lingual Summarization via Large Language Models

abstract: Given a document in a source language, cross-lingual summarization (CLS) aims to generate a summary in a different target language. Recently, the emergence of Large Language Models (LLMs), such as GPT-3.5, ChatGPT and GPT-4, has attracted wide attention from the computational linguistics community. However, it is not yet known the performance of LLMs on CLS. In this report, we empirically use various prompts to guide LLMs to perform zero-shot CLS from different paradigms (i.e., end-to-end and pipeline), and provide a preliminary evaluation on the generated summaries. We find that ChatGPT and GPT-4 originally prefer to produce lengthy summaries with detailed information. These two LLMs can further balance informativeness and conciseness with the help of an interactive prompt, significantly improving their CLS performance. Experimental results on three widely-used CLS datasets show that GPT-4 achieves state-of-the-art zero-shot CLS performance, and performs competitively compared with the fine-tuned mBART-50. Moreover, we also find some multi-lingual and bilingual LLMs (i.e., BLOOMZ, ChatGLM-6B, Vicuna-13B and ChatYuan) have limited zero-shot CLS ability. Due to the composite nature of CLS, which requires models to perform summarization and translation simultaneously, accomplishing this task in a zero-shot manner is even a challenge for LLMs. Therefore, we sincerely hope and recommend future LLM research could use CLS as a testbed.


title: Optimal Priors for the Discounting Parameter of the Normalized Power Prior

abstract: The power prior is a popular class of informative priors for incorporating information from historical data. It involves raising the likelihood for the historical data to a power, which acts as discounting parameter. When the discounting parameter is modelled as random, the normalized power prior is recommended. In this work, we prove that the marginal posterior for the discounting parameter for generalized linear models converges to a point mass at zero if there is any discrepancy between the historical and current data, and that it does not converge to a point mass at one when they are fully compatible. In addition, we explore the construction of optimal priors for the discounting parameter in a normalized power prior. In particular, we are interested in achieving the dual objectives of encouraging borrowing when the historical and current data are compatible and limiting borrowing when they are in conflict. We propose intuitive procedures for eliciting the shape parameters of a beta prior for the discounting parameter based on two minimization criteria, the Kullback-Leibler divergence and the mean squared error. Based on the proposed criteria, the optimal priors derived are often quite different from commonly used priors such as the uniform prior.


title: CHGNet: Pretrained universal neural network potential for charge-informed atomistic modeling

abstract: The simulation of large-scale systems with complex electron interactions remains one of the greatest challenges for the atomistic modeling of materials. Although classical force fields often fail to describe the coupling between electronic states and ionic rearrangements, the more accurate \textit{ab-initio} molecular dynamics suffers from computational complexity that prevents long-time and large-scale simulations, which are essential to study many technologically relevant phenomena, such as reactions, ion migrations, phase transformations, and degradation. In this work, we present the Crystal Hamiltonian Graph neural Network (CHGNet) as a novel machine-learning interatomic potential (MLIP), using a graph-neural-network-based force field to model a universal potential energy surface. CHGNet is pretrained on the energies, forces, stresses, and magnetic moments from the Materials Project Trajectory Dataset, which consists of over 10 years of density functional theory static and relaxation trajectories of $\sim 1.5$ million inorganic structures. The explicit inclusion of magnetic moments enables CHGNet to learn and accurately represent the orbital occupancy of electrons, enhancing its capability to describe both atomic and electronic degrees of freedom. We demonstrate several applications of CHGNet in solid-state materials, including charge-informed molecular dynamics in Li$_x$MnO$_2$, the finite temperature phase diagram for Li$_x$FePO$_4$ and Li diffusion in garnet conductors. We critically analyze the significance of including charge information for capturing appropriate chemistry, and we provide new insights into ionic systems with additional electronic degrees of freedom that can not be observed by previous MLIPs.


title: Quantum phases in spin-orbit-coupled Floquet spinor Bose gases

abstract: We propose a spin-orbit-coupled Floquet spinor Bose-Einstein condensate (BEC) which can be implemented by Floquet engineering of a quadratic Zeeman field. The Floquet spinor BEC has a Bessel-function-modulated Rabi frequency and a Floquet-induced spin-exchange interaction. The quantum phase diagram of the spin-orbit-coupled Floquet spinor BEC is investigated by considering antiferromagnetic or ferromagnetic spin-spin interactions. In comparison with the usual spin-orbit-coupled spin-1 BEC, we find that a stripe phase for antiferromagnetic interactions can exist in a large quadratic Zeeman field regime, and a different stripe phase with an experimentally favorable contrast for ferromagnetic interactions is uncovered.


title: Goal Driven Discovery of Distributional Differences via Language Descriptions

abstract: Mining large corpora can generate useful discoveries but is time-consuming for humans. We formulate a new task, D5, that automatically discovers differences between two large corpora in a goal-driven way. The task input is a problem comprising a research goal "$\textit{comparing the side effects of drug A and drug B}$" and a corpus pair (two large collections of patients' self-reported reactions after taking each drug). The output is a language description (discovery) of how these corpora differ (patients taking drug A "$\textit{mention feelings of paranoia}$" more often). We build a D5 system, and to quantitatively measure its performance, we 1) contribute a meta-dataset, OpenD5, aggregating 675 open-ended problems ranging across business, social sciences, humanities, machine learning, and health, and 2) propose a set of unified evaluation metrics: validity, relevance, novelty, and significance. With the dataset and the unified metrics, we confirm that language models can use the goals to propose more relevant, novel, and significant candidate discoveries. Finally, our system produces discoveries previously unknown to the authors on a wide range of applications in OpenD5, including temporal and demographic differences in discussion topics, political stances and stereotypes in speech, insights in commercial reviews, and error patterns in NLP models.


title: Bicriteria Multidimensional Mechanism Design with Side Information

abstract: We develop a versatile new methodology for multidimensional mechanism design that incorporates side information about agent types with the bicriteria goal of generating high social welfare and high revenue simultaneously. Side information can come from a variety of sources -- examples include advice from a domain expert, predictions from a machine-learning model trained on historical agent data, or even the mechanism designer's own gut instinct -- and in practice such sources are abundant. In this paper we adopt a prior-free perspective that makes no assumptions on the correctness, accuracy, or source of the side information. First, we design a meta-mechanism that integrates input side information with an improvement of the classical VCG mechanism. The welfare, revenue, and incentive properties of our meta-mechanism are characterized by a number of novel constructions we introduce based on the notion of a weakest competitor, which is an agent that has the smallest impact on welfare. We then show that our meta-mechanism -- when carefully instantiated -- simultaneously achieves strong welfare and revenue guarantees that are parameterized by errors in the side information. When the side information is highly informative and accurate, our mechanism achieves welfare and revenue competitive with the total social surplus, and its performance decays continuously and gradually as the quality of the side information decreases. Finally, we apply our meta-mechanism to a setting where each agent's type is determined by a constant number of parameters. Specifically, agent types lie on constant-dimensional subspaces (of the potentially high-dimensional ambient type space) that are known to the mechanism designer. We use our meta-mechanism to obtain the first known welfare and revenue guarantees in this setting.


title: Ntuple Wizard: An Application to Access Large-Scale Open Data from LHCb

abstract: Making the large data sets collected at the Large Hadron Collider (LHC) accessible to the world is a considerable challenge because of both the complexity and the volume of data. This paper presents the Ntuple Wizard, an application that leverages the existing computing infrastructure available to the LHCb collaboration in order to enable third-party users to request specific data. An intuitive web interface allows the discovery of accessible data sets and guides the user through the process of specifying a configuration-based request. The application allows for fine-grained control of the level of access granted to the public.


title: Vibration and jitter of free-flowing thin liquid sheets as target for high-repetition-rate laser-ion acceleration

abstract: Very thin free-flowing liquid sheets are promising targets for high-repetition-rate laser-ion acceleration. In this work, we report the generation of micrometer-thin free-flowing liquid sheets from the collision of two liquid jets, and study the vibration and jitter in their surface normal direction. The dependence of their motion amplitudes on the generation parameters is studied in detail. The origins of the vibration and jitter are discussed. Our results indicate that when the generation parameters are optimized, the motion amplitudes in the stable region can be stabilized below 3.7 {\mu}m to meet the stringent requirement of sheet position stability for a tight-focusing setup in laser-ion acceleration experiments.


title: Towards Surgical Context Inference and Translation to Gestures

abstract: Manual labeling of gestures in robot-assisted surgery is labor intensive, prone to errors, and requires expertise or training. We propose a method for automated and explainable generation of gesture transcripts that leverages the abundance of data for image segmentation. Surgical context is detected using segmentation masks by examining the distances and intersections between the tools and objects. Next, context labels are translated into gesture transcripts using knowledge-based Finite State Machine (FSM) and data-driven Long Short Term Memory (LSTM) models. We evaluate the performance of each stage of our method by comparing the results with the ground truth segmentation masks, the consensus context labels, and the gesture labels in the JIGSAWS dataset. Our results show that our segmentation models achieve state-of-the-art performance in recognizing needle and thread in Suturing and we can automatically detect important surgical states with high agreement with crowd-sourced labels (e.g., contact between graspers and objects in Suturing). We also find that the FSM models are more robust to poor segmentation and labeling performance than LSTMs. Our proposed method can significantly shorten the gesture labeling process (~2.8 times).


title: Linear and nonlinear spin current response in anisotropic spin-orbit coupled systems

abstract: We calculate the linear and the second harmonic (SH) spin current response of two anisotropic systems with spin orbit (SO) interaction. The first system is a two-dimensional (2D) electron gas in the presence of Rashba and k-linear Dresselhaus SO couplings. The dependence of the anisotropic spin splitting on the sample growth direction introduces an additional path to modify the linear and nonlinear spectra. In particular, vanishing linear and second order spin conductivity tensors are achievable under SU(2) symmetry conditions, characterized by a collinear SO vector field. Additional conditions under which specific tensor components vanish are posible, without having such collinearity. Thus, a proper choice of the growth direction and SO strengths allows to select the polarization of the linear and SH spin currents according to the direction of flowing. The second system is an anisotropic 2D free electron gas with anisotropic Rashba interaction, which has been employed to study the optical conductivity of 2D puckered structures with anisotropic energy bands. The presence of mass anisotropy and an energy gap open several distinct scenarios for the allowed optical interband transitions, which manifest in the linear and SH response contrastingly. The linear response displays only out-of-plane spin polarized currents, while the SH spin currents flow with spin orientation lying parallel to the plane of the system strictly. The models illustrate the possibility of the nonlinear spin Hall effect in systems with SO interaction, under the presence or absence of time-reversal symmetry. The results suggest different ways to manipulate the linear


title: Nonlinear Intensity, Scale and Rotation Invariant Matching for Multimodal Images

abstract: We present an effective method for the matching of multimodal images. Accurate image matching is the basis of various applications, such as image registration and structure from motion. Conventional matching methods fail when handling noisy multimodal image pairs with severe scale change, rotation, and nonlinear intensity distortion (NID). Toward this need, we introduce an image pyramid strategy to tackle scale change. We put forward an accurate primary orientation estimation approach to reduce the effect of image rotation at any angle. We utilize multi-scale and multi-orientation image filtering results and a feature-to-template matching scheme to ensure effective and accurate matching under large NID. Integrating these improvements significantly increases noise, scale, rotation, and NID invariant capability. Our experimental results confirm the excellent ability to achieve high-quality matches across various multimodal images. The proposed method outperforms the mainstream multimodal image matching methods in qualitative and quantitative evaluations. Our implementation is available at https://github.com/Zhongli-Fan/NISR.


title: SSL-QALAS: Self-Supervised Learning for Rapid Multiparameter Estimation in Quantitative MRI Using 3D-QALAS

abstract: Purpose: To develop and evaluate a method for rapid estimation of multiparametric T1, T2, proton density (PD), and inversion efficiency (IE) maps from 3D-quantification using an interleaved Look-Locker acquisition sequence with T2 preparation pulse (3D-QALAS) measurements using self-supervised learning (SSL) without the need for an external dictionary. Methods: A SSL-based QALAS mapping method (SSL-QALAS) was developed for rapid and dictionary-free estimation of multiparametric maps from 3D-QALAS measurements. The accuracy of the reconstructed quantitative maps using dictionary matching and SSL-QALAS was evaluated by comparing the estimated T1 and T2 values with those obtained from the reference methods on an ISMRM/NIST phantom. The SSL-QALAS and the dictionary matching methods were also compared in vivo, and generalizability was evaluated by comparing the scan-specific, pre-trained, and transfer learning models. Results: Phantom experiments showed that both the dictionary matching and SSL-QALAS methods produced T1 and T2 estimates that had a strong linear agreement with the reference values in the ISMRM/NIST phantom. Further, SSL-QALAS showed similar performance with dictionary matching in reconstructing the T1, T2, PD, and IE maps on in vivo data. Rapid reconstruction of multiparametric maps was enabled by inferring the data using a pre-trained SSL-QALAS model within 10 s. Fast scan-specific tuning was also demonstrated by fine-tuning the pre-trained model with the target subject's data within 15 min. Conclusion: The proposed SSL-QALAS method enabled rapid reconstruction of multiparametric maps from 3D-QALAS measurements without an external dictionary or labeled ground-truth training data.


title: Collaboration of Random Walks on Graphs

abstract: Consider a collaborative dynamic of $k$ independent random walks on a finite connected graph $G$. We are interested in the size of the set of vertices visited by at least one walker and study how the number of walkers relates to the efficiency of covering the graph. To this end, we show that the expected size of the union of ranges of $k$ independent random walks with lifespans $t_1,t_2,\ldots,t_k$, respectively, is greater than or equal to that of a single random walk with the lifespan equal to $t_1+t_2+\cdots+t_k$. We analyze other related graph exploration schemes and end with many open questions.


title: Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations

abstract: Recent progress in deep reinforcement learning (RL) and computer vision enables artificial agents to solve complex tasks, including locomotion, manipulation and video games from high-dimensional pixel observations. However, domain specific reward functions are often engineered to provide sufficient learning signals, requiring expert knowledge. While it is possible to train vision-based RL agents using only sparse rewards, additional challenges in exploration arise. We present a novel and efficient method to solve sparse-reward robot manipulation tasks from only image observations by utilizing a few demonstrations. First, we learn an embedded neural dynamics model from demonstration transitions and further fine-tune it with the replay buffer. Next, we reward the agents for staying close to the demonstrated trajectories using a distance metric defined in the embedding space. Finally, we use an off-policy, model-free vision RL algorithm to update the control policies. Our method achieves state-of-the-art sample efficiency in simulation and enables efficient training of a real Franka Emika Panda manipulator.


title: metamedian: An R package for meta-analyzing studies reporting medians

abstract: When performing an aggregate data meta-analysis of a continuous outcome, researchers often come across primary studies that report the sample median of the outcome. However, standard meta-analytic methods typically cannot be directly applied in this setting. In recent years, there has been substantial development in statistical methods to incorporate primary studies reporting sample medians in meta-analysis, yet there are currently no comprehensive software tools implementing these methods. In this paper, we present the metamedian R package, a freely available and open-source software tool for meta-analyzing primary studies that report sample medians. We summarize the main features of the software and illustrate its application through real data examples involving risk factors for a severe course of COVID-19.


title: Dynamic Transition From Mach to Regular Reflection Over a Moving Wedge

abstract: The design of supersonic and hypersonic air-breathing vehicles is influenced by the transition between the Mach Reflection (MR) and Regular Reflection (RR) phenomena. The purpose of this study is to investigate the dynamic transition of unsteady supersonic flow from MR to RR over a two-dimensional wedge numerically. The trailing edge of the wedge moves downstream along the $x$-direction with a velocity, $V(t)$ at a free-stream Mach number of $3$. An unsteady compressible inviscid flow solver is used to simulate the phenomenon. Further, the Arbitrary Lagrangian-Eulerian (ALE) technique is applied to deform the mesh during the wedge motion. The dynamic transition from MR to RR is defined by two criteria, the sonic and the Von-Neumann. Moreover, the lag in the dynamic transition from the steady-state condition is studied using various reduced frequencies, $\kappa$, in the range of [0.1-2]. The lag effect in the shock system is remarkable at the high values of the reduced frequency, $\kappa=1.5$ and $2.0$. Furthermore, because the shock is bent upstream during the fast motion of the wedge, the transition from MR to RR happens below the Dual Solution Domain (DSD).


title: Strongly coupled simulation of incompressible fluid and rigid bodies with velocity-based constraints using particle method

abstract: This paper presents a novel particle method to compute strongly coupled incompressible fluid and rigid bodies. The method adopts a velocity-based formulation and utilizes the linear complementarity problem for the incompressibility constraint. Since all the constraints for incompressibility, inter-rigid-body contacts, and interaction between incompressible fluid and rigid bodies are mathematically compatible, strongly coupled simulation is achieved using the method, where the shapes of the rigid bodies are represented by particles as well. The abstract concept of velocity-based constraints is presented, which generalizes the formulations of the incompressibility constraint and inter-rigid-body contacts and provides a generic way to achieve strongly coupled simulation. Several numerical examples are presented to verify the method, which includes rigid-body computation, hydrostatic pressure, dam-break computation, and circular parch computation for incompressible fluid, buoyancy and seesaw computation for interaction of incompressible fluid and rigid bodies, and complex-scene computation for overall behavior and stability.


title: i2LQR: Iterative LQR for Iterative Tasks in Dynamic Environments

abstract: This work introduces a novel control strategy called Iterative Linear Quadratic Regulator for Iterative Tasks (i2LQR), which aims to improve closed-loop performance with local trajectory optimization for iterative tasks in a dynamic environment. The proposed algorithm is reference-free and utilizes historical data from previous iterations to enhance the performance of the autonomous system. Unlike existing algorithms, the i2LQR computes the optimal solution in an iterative manner at each timestamp, rendering it well-suited for iterative tasks with changing constraints at different iterations. To evaluate the performance of the proposed algorithm, we conduct numerical simulations for an iterative task aimed at minimizing completion time. The results show that i2LQR achieves an optimized performance with respect to learning-based MPC (LMPC) as the benchmark in static environments, and outperforms LMPC in dynamic environments with both static and dynamics obstacles.


title: Sequential edge detection using joint hierarchical Bayesian learning

abstract: This paper introduces a new sparse Bayesian learning (SBL) algorithm that jointly recovers a temporal sequence of edge maps from noisy and under-sampled Fourier data. The new method is cast in a Bayesian framework and uses a prior that simultaneously incorporates intra-image information to promote sparsity in each individual edge map with inter-image information to promote similarities in any unchanged regions. By treating both the edges as well as the similarity between adjacent images as random variables, there is no need to separately form regions of change. Thus we avoid both additional computational cost as well as any information loss resulting from pre-processing the image. Our numerical examples demonstrate that our new method compares favorably with more standard SBL approaches.