title: Ithaca365: Dataset and Driving Perception under Repeated and Challenging Weather Conditions

abstract: Advances in perception for self-driving cars have accelerated in recent years due to the availability of large-scale datasets, typically collected at specific locations and under nice weather conditions. Yet, to achieve the high safety requirement, these perceptual systems must operate robustly under a wide variety of weather conditions including snow and rain. In this paper, we present a new dataset to enable robust autonomous driving via a novel data collection process - data is repeatedly recorded along a 15 km route under diverse scene (urban, highway, rural, campus), weather (snow, rain, sun), time (day/night), and traffic conditions (pedestrians, cyclists and cars). The dataset includes images and point clouds from cameras and LiDAR sensors, along with high-precision GPS/INS to establish correspondence across routes. The dataset includes road and object annotations using amodal masks to capture partial occlusions and 3D bounding boxes. We demonstrate the uniqueness of this dataset by analyzing the performance of baselines in amodal segmentation of road and objects, depth estimation, and 3D object detection. The repeated routes opens new research directions in object discovery, continual learning, and anomaly detection. Link to Ithaca365: https://ithaca365.mae.cornell.edu/


title: Simple models predict behavior at least as well as behavioral scientists

abstract: How accurately can behavioral scientists predict behavior? To answer this question, we analyzed data from five studies in which 640 professional behavioral scientists predicted the results of one or more behavioral science experiments. We compared the behavioral scientists' predictions to random chance, linear models, and simple heuristics like "behavioral interventions have no effect" and "all published psychology research is false." We find that behavioral scientists are consistently no better than - and often worse than - these simple heuristics and models. Behavioral scientists' predictions are not only noisy but also biased. They systematically overestimate how well behavioral science "works": overestimating the effectiveness of behavioral interventions, the impact of psychological phenomena like time discounting, and the replicability of published psychology research.


title: Using Targeted Maximum Likelihood Estimation to Estimate Treatment Effect with Longitudinal Continuous or Binary Data: A Systematic Evaluation of 28 Diabetes Clinical Trials

abstract: The primary analysis of clinical trials in diabetes therapeutic area often involves a mixed-model repeated measure (MMRM) approach to estimate the average treatment effect for longitudinal continuous outcome, and a generalized linear mixed model (GLMM) approach for longitudinal binary outcome. In this paper, we considered another estimator of the average treatment effect, called targeted maximum likelihood estimator (TMLE). This estimator can be a one-step alternative to model either continuous or binary outcome. We compared those estimators by simulation studies and by analyzing real data from 28 diabetes clinical trials. The simulations involved different missing data scenarios, and the real data sets covered a wide range of possible distributions of the outcome and covariates in real-life clinical trials for diabetes drugs with different mechanisms of action. For all the settings, adjusted estimators tended to be more efficient than the unadjusted one. In the setting of longitudinal continuous outcome, the MMRM approach with visits and baseline variables interaction appeared to dominate the performance of the MMRM considering the main effects only for the baseline variables while showing better or comparable efficiency to the TMLE estimator in both simulations and data applications. For modeling longitudinal binary outcome, TMLE generally outperformed GLMM in terms of relative efficiency, and its avoidance of the cumbersome covariance fitting procedure from GLMM makes TMLE a more advantageous estimator.


title: A Modified PINN Approach for Identifiable Compartmental Models in Epidemiology with Applications to COVID-19

abstract: A variety of approaches using compartmental models have been used to study the COVID-19 pandemic and the usage of machine learning methods with these models has had particularly notable success. We present here an approach toward analyzing accessible data on Covid-19's U.S. development using a variation of the "Physics Informed Neural Networks" (PINN) which is capable of using the knowledge of the model to aid learning. We illustrate the challenges of using the standard PINN approach, then how with appropriate and novel modifications to the loss function the network can perform well even in our case of incomplete information. Aspects of identifiability of the model parameters are also assessed, as well as methods of denoising available data using a wavelet transform. Finally, we discuss the capability of the neural network methodology to work with models of varying parameter values, as well as a concrete application in estimating how effectively cases are being tested for in a population, providing a ranking of U.S. states by means of their respective testing.


title: Time-dependent strain-tuning topological magnon phase transition

abstract: Collinear magnets in honeycomb lattices under the action of time-dependent strains are investigated. Given the limits of high-frequency periodically varying deformations, we derive an effective Floquet theory for spin system that results in the emergence of a spin chirality. We find that the coupling between magnons and spin chirality depends on the details of the strain such as the spatial dependence and applied direction. Magnonic fluctuations about the ferromagnetic state are determined, and it is found that spatially homogeneous strains drive the magnon system into topologically protected phases. In particular, we show that certain uniform strain fields play the role of an out-of-plane next-neighbor Dzyaloshinskii-Moriya interaction. Furthermore, we explore the application of nonuniform strains, which lead to a confinement of magnon states that for uniaxial strains, propagates along the direction that preserves translational symmetry. Our work demonstrates a direct and novel way in which to manipulate the magnon spectrum based on time-dependent strain engineering that is relevant for exploring topological transitions in quantum magnonics.


title: Patents Phrase to Phrase Semantic Matching Dataset

abstract: There are many general purpose benchmark datasets for Semantic Textual Similarity but none of them are focused on technical concepts found in patents and scientific publications. This work aims to fill this gap by presenting a new human rated contextual phrase to phrase matching dataset. The entire dataset contains close to $50,000$ rated phrase pairs, each with a CPC (Cooperative Patent Classification) class as a context. This paper describes the dataset and some baseline models.


title: MV6D: Multi-View 6D Pose Estimation on RGB-D Frames Using a Deep Point-wise Voting Network

abstract: Estimating 6D poses of objects is an essential computer vision task. However, most conventional approaches rely on camera data from a single perspective and therefore suffer from occlusions. We overcome this issue with our novel multi-view 6D pose estimation method called MV6D which accurately predicts the 6D poses of all objects in a cluttered scene based on RGB-D images from multiple perspectives. We base our approach on the PVN3D network that uses a single RGB-D image to predict keypoints of the target objects. We extend this approach by using a combined point cloud from multiple views and fusing the images from each view with a DenseFusion layer. In contrast to current multi-view pose detection networks such as CosyPose, our MV6D can learn the fusion of multiple perspectives in an end-to-end manner and does not require multiple prediction stages or subsequent fine tuning of the prediction. Furthermore, we present three novel photorealistic datasets of cluttered scenes with heavy occlusions. All of them contain RGB-D images from multiple perspectives and the ground truth for instance semantic segmentation and 6D pose estimation. MV6D significantly outperforms the state-of-the-art in multi-view 6D pose estimation even in cases where the camera poses are known inaccurately. Furthermore, we show that our approach is robust towards dynamic camera setups and that its accuracy increases incrementally with an increasing number of perspectives.


title: Solvable Periodic Anderson Model with Infinite-Range Hatsugai-Kohmoto Interaction: Ground-states and beyond

abstract: In this paper we introduce a solvable two-orbital/band model with infinite-range Hatsugai-Kohmoto interaction, which serves as a modified periodic Anderson model. Its solvability results from strict locality in momentum space, and is valid for arbitrary lattice geometry and electron filling. Case study on a one-dimension ($1D$) chain shows that the ground-states have Luttinger theorem-violating non-Fermi-liquid-like metallic state, hybridization-driven insulator and interaction-driven featureless Mott insulator. The involved quantum phase transition between metallic and insulating states belongs to the universality of Lifshitz transition, i.e. change of topology of Fermi surface or band structure. Further investigation on $2D$ square lattice indicates its similarity with the $1D$ case, thus the findings in the latter may be generic for all spatial dimensions. We hope the present model or its modification may be useful for understanding novel quantum states in $f$-electron compounds, particularly the topological Kondo insulator SmB$_{6}$ and YbB$_{12}$.


title: TextWorldExpress: Simulating Text Games at One Million Steps Per Second

abstract: Text-based games offer a challenging test bed to evaluate virtual agents at language understanding, multi-step problem-solving, and common-sense reasoning. However, speed is a major limitation of current text-based games, capping at 300 steps per second, mainly due to the use of legacy tooling. In this work we present TextWorldExpress, a high-performance simulator that includes implementations of three common text game benchmarks that increases simulation throughput by approximately three orders of magnitude, reaching over one million steps per second on common desktop hardware. This significantly reduces experiment runtime, enabling billion-step-scale experiments in about one day.


title: Plabic links, quivers, and skein relations

abstract: We study relations between cluster algebra invariants and link invariants. First, we show that several constructions of positroid links (permutation links, Richardson links, grid diagram links, plabic graph links) give rise to isotopic links. For a subclass of permutations arising from concave curves, we also provide isotopies with the corresponding Coxeter links. Second, we associate a point count polynomial to an arbitrary locally acyclic quiver. We conjecture an equality between the top $a$-degree coefficient of the HOMFLY polynomial of a plabic graph link and the point count polynomial of its planar dual quiver. We prove this conjecture for leaf recurrent plabic graphs, which includes reduced plabic graphs and plabic fences as special cases.


title: A prescription for the asteroseismic surface correction

abstract: In asteroseismology, the surface effect refers to a disparity between the observed and the modelled frequencies in stars with solar-like oscillations. It originates from improper modelling of the surface layers. Correcting the surface effect usually requires using functions with free parameters, which are conventionally fitted to the observed frequencies. On the basis that the correction should vary smoothly across the H--R diagram, we parameterize it as a simple function of surface gravity, effective temperature, and metallicity. We determine this function by fitting a wide range of stars. The absolute amount of the surface correction decreases with luminosity, but the ratio between it and $\nu_{\rm max}$ increases, suggesting the surface effect is more important for red giants than dwarfs. Applying the prescription can eliminate unrealistic surface correction, which improves parameter estimations with stellar modelling. Using two open clusters, we found a reduction of scatter in the model-derived ages for each star in the same cluster. As an important application, we provide a new revision for the $\Delta\nu$ scaling relation that, for the first time, accounts for the surface correction. The values of the correction factor, $f_{\Delta\nu}$, are up to 2\% smaller than those determined without the surface effect considered, suggesting decreases of up to 4\% in radii and up to 8\% in masses when using the asteroseismic scaling relations. This revision brings the asteroseismic properties into an agreement with those determined from eclipsing binaries. The new correction factor and the stellar models with the corrected frequencies are available at {https://www.github.com/parallelpro/surface}.


title: On cylindrical symmetric projectively flat Finsler metrics

abstract: We study the cylindrical symmetric Finsler metrics. We obtain the system of differential equations of such metrics which are projectively flat. We give a family of solutions of this system. Examples are included.


title: Techniques for combining fast local decoders with global decoders under circuit-level noise

abstract: Implementing algorithms on a fault-tolerant quantum computer will require fast decoding throughput and latency times to prevent an exponential increase in buffer times between the applications of gates. In this work we begin by quantifying these requirements. We then introduce the construction of local neural network (NN) decoders using three-dimensional convolutions. These local decoders are adapted to circuit-level noise and can be applied to surface code volumes of arbitrary size. Their application removes errors arising from a certain number of faults, which serves to substantially reduce the syndrome density. Remaining errors can then be corrected by a global decoder, such as Blossom or Union Find, with their implementation significantly accelerated due to the reduced syndrome density. However, in the circuit-level setting, the corrections applied by the local decoder introduce many vertical pairs of highlighted vertices. To obtain a low syndrome density in the presence of vertical pairs, we consider a strategy of performing a syndrome collapse which removes many vertical pairs and reduces the size of the decoding graph used by the global decoder. We also consider a strategy of performing a vertical cleanup, which consists of removing all local vertical pairs prior to implementing the global decoder. Lastly, we estimate the cost of implementing our local decoders on Field Programmable Gate Arrays (FPGAs).


title: Stability analysis of holographic RG flows in 3d supergravity

abstract: We study holographic RG flows in a 3d supergravity model from the side of the dynamical system theory. The gravity equations of motion are reduced to an autonomous dynamical system. Then we find equilibrium points of the system and analyze them for stability. We also restore asymptotic solutions near the critical points. We find two types of solutions: with asymptotically AdS metrics and hyperscaling violating metrics. We write down possible RG flows between an unstable (saddle) UV fixed point and a stable (stable node) IR fixed point. We also analyze bifurcations in the model.


title: Bayesian Variable Selection in a Million Dimensions

abstract: Bayesian variable selection is a powerful tool for data analysis, as it offers a principled method for variable selection that accounts for prior information and uncertainty. However, wider adoption of Bayesian variable selection has been hampered by computational challenges, especially in difficult regimes with a large number of covariates P or non-conjugate likelihoods. To scale to the large P regime we introduce an efficient MCMC scheme whose cost per iteration is sublinear in P. In addition we show how this scheme can be extended to generalized linear models for count data, which are prevalent in biology, ecology, economics, and beyond. In particular we design efficient algorithms for variable selection in binomial and negative binomial regression, which includes logistic regression as a special case. In experiments we demonstrate the effectiveness of our methods, including on cancer and maize genomic data.


title: Quantum teleportation in the commuting operator framework

abstract: We introduce a notion of teleportation scheme between subalgebras of semi-finite von Neumann algebras in the commuting operator model of locality. Using techniques from subfactor theory, we present unbiased teleportation schemes for relative commutants $N'\cap M$ of a large class of finite-index inclusions $N\subseteq M$ of tracial von Neumann algebras, where the unbiased condition means that no information about the teleported observables are contained in the classical communication sent between the parties. For a large class of subalgebras $N$ of matrix algebras $M_n(\mathbb{C})$, including those relevant to hybrid classical/quantum codes, we show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(\mathbb{C})$ over $N'$, generalising work of Werner. Combining our techniques with those of Brannan-Ganesan-Harris, we compute quantum chromatic numbers for a variety of quantum graphs arising from finite-dimensional inclusions $N\subseteq M$.


title: Mitigating Biases in Student Performance Prediction via Attention-Based Personalized Federated Learning

abstract: Traditional learning-based approaches to student modeling generalize poorly to underrepresented student groups due to biases in data availability. In this paper, we propose a methodology for predicting student performance from their online learning activities that optimizes inference accuracy over different demographic groups such as race and gender. Building upon recent foundations in federated learning, in our approach, personalized models for individual student subgroups are derived from a global model aggregated across all student models via meta-gradient updates that account for subgroup heterogeneity. To learn better representations of student activity, we augment our approach with a self-supervised behavioral pretraining methodology that leverages multiple modalities of student behavior (e.g., visits to lecture videos and participation on forums), and include a neural network attention mechanism in the model aggregation stage. Through experiments on three real-world datasets from online courses, we demonstrate that our approach obtains substantial improvements over existing student modeling baselines in predicting student learning outcomes for all subgroups. Visual analysis of the resulting student embeddings confirm that our personalization methodology indeed identifies different activity patterns within different subgroups, consistent with its stronger inference ability compared with the baselines.


title: Exact Low-Energy Solution for Critical Fermi Surfaces

abstract: We derive multidimensional bosonization directly from the electron gas in a low-energy, low momentum regime where $\omega\gg \frac{k^2}{k_F}$, such that the dispersion can be linearized. To reach this limit, the Fermi momentum and the number of patches are scaled simultaneously keeping the width of each patch finite. We apply this to obtain an exact low-energy solution of the problem of a Fermi surface coupled to a gapless boson, free of disorder and electron-electron scattering. Contrary to claims in the literature, we show that the bosonized theory exactly reproduces the $\omega^{2/3}$ of electrons, previously obtained in large-$N$ theories. We argue that correction to the self-energy due to tangential dispersion are subdominant at sufficiently low energies such that $v_F k\gg \left(\frac{g^4 v_F}{k_F}\right)^{1/3} \omega^{2/3}$, where $g$ is the coupling constant.


title: Design of a high-power compact SRF linac for industrial applications of e-beam irradiation

abstract: Fermilab has developed a novel concept for an industrial electron linac using Nb3Sn coating technology and conduction cooling. These conduction-cooled linacs can generate electron beam energies up to 10 MeV in continuous-wave operation and reach higher power (>=1 MW) by combing several modules. Compact and light enough to mount on mobile platforms, our machine is anticipated to enable new in-situ environmental remediation applications such as waste-water treatment for urban areas, X-ray medical device sterilization, and innovative pavement applications. We highlight a few aspects of a 1 MW design of such a machine in this paper. A detailed plan is in Dhuley et al. (2022) Phys. Rev. Accel. Beams 25, 041601.


title: A Note on Zeroth-Order Optimization on the Simplex

abstract: We construct a zeroth-order gradient estimator for a smooth function defined on the probability simplex. The proposed estimator queries the simplex only. We prove that projected gradient descent and the exponential weights algorithm, when run with this estimator instead of exact gradients, converge at a $\mathcal O(T^{-1/4})$ rate.


title: Silicon-organic hybrid thermo-optic switch based on a slot waveguide directional coupler

abstract: We propose and demonstrate a passively biased 2 by 2 thermo-optic switch with high power efficiency and fast response time. The device benefits from the highly concentrated optical field of a slot waveguide mode and the strong thermo-optic effect of a nematic liquid crystal (NLC) cladding. The NLC fills the nano-slot region and is aligned by the subwavelength grating inside. The measured power consumption and thermal time constant are 0.58 mW and 11.8 microsecond, respectively, corresponding to a figure-of-merit of 6.8. The proposed silicon-organic hybrid device provides a new solution to design thermo-optic actuators having lower power consumption and fast operation speed.


title: History states of one-dimensional quantum walks

abstract: We analyze the application of the history state formalism to quantum walks. The formalism allows one to describe the whole walk through a pure quantum history state, which can be derived from a timeless eigenvalue equation. It naturally leads to the notion of system-time entanglement of the walk, which can be considered as a measure of the number of orthogonal states visited in the walk. We then focus on one-dimensional discrete quantum walks, where it is shown that such entanglement is independent of the initial spin orientation for real Hadamard-type coin operators and real initial states (in the standard basis) with definite site parity. Moreover, in the case of an initially localized particle it can be identified with the entanglement of the unitary global operator that generates the whole history state, which is related to its entangling power and can be analytically evaluated. Besides, it is shown that the evolution of the spin subsystem can also be described through a spin history state with an extended clock. A connection between its average entanglement (over all initial states) and that of the operator generating this state is also derived. A quantum circuit for generating the quantum walk history state is provided as well.


title: Curved Geometric Networks for Visual Anomaly Recognition

abstract: Learning a latent embedding to understand the underlying nature of data distribution is often formulated in Euclidean spaces with zero curvature. However, the success of the geometry constraints, posed in the embedding space, indicates that curved spaces might encode more structural information, leading to better discriminative power and hence richer representations. In this work, we investigate benefits of the curved space for analyzing anomalies or out-of-distribution objects in data. This is achieved by considering embeddings via three geometry constraints, namely, spherical geometry (with positive curvature), hyperbolic geometry (with negative curvature) or mixed geometry (with both positive and negative curvatures). Three geometric constraints can be chosen interchangeably in a unified design given the task at hand. Tailored for the embeddings in the curved space, we also formulate functions to compute the anomaly score. Two types of geometric modules (i.e., Geometric-in-One and Geometric-in-Two models) are proposed to plug in the original Euclidean classifier, and anomaly scores are computed from the curved embeddings. We evaluate the resulting designs under a diverse set of visual recognition scenarios, including image detection (multi-class OOD detection and one-class anomaly detection) and segmentation (multi-class anomaly segmentation and one-class anomaly segmentation). The empirical results show the effectiveness of our proposal through the consistent improvement over various scenarios.


title: Investigation of the broadband emission of the gamma-ray binary HESS J0632+057 using an intrabinary shock model

abstract: We investigated a wealth of X-ray and gamma-ray spectral energy distribution (SED) and multi-band light curve (LC) data of the gamma-ray binary HESS J0632+057 using a phenomenological intrabinary shock (IBS) model. Our baseline model assumes that the IBS is formed by colliding winds from a putative pulsar and its Be companion, and particles accelerated in the IBS emit broadband radiation via synchrotron (SY) and inverse-Compton upscattering (ICS) processes. Adopting the latest orbital solution and system geometry (Tokayer et al. 2021), we reproduced the global X-ray and TeV LC features, two broad bumps at $\phi \sim 0.3$ and $\sim0.7$, with the SY and ICS model components. We found these TeV LC peaks originate from ICS emission caused by the enhanced seed photon density near periastron and superior conjunction or Doppler-beamed emission of bulk-accelerated particles in the IBS at inferior conjunction. While our IBS model successfully explained most of the observed SED and LC data, we found that phase-resolved SED data in the TeV band require an additional component associated with ICS emission from pre-shock particles (produced by the pulsar wind). This finding indicates a possibility of delineating the IBS emission components and determining the bulk Lorentz factors of the pulsar wind at certain orbital phases.


title: Toward 6G TK$\mu$ Extreme Connectivity: Architecture, Key Technologies and Experiments

abstract: Sixth-generation (6G) networks are evolving towards new features and order-of-magnitude enhancement of systematic performance metrics compared to the current 5G. In particular, the 6G networks are expected to achieve extreme connectivity performance with Tbps-scale data rate, Kbps/Hz-scale spectral efficiency, and $\mu$s-scale latency. To this end, an original three-layer 6G network architecture is designed to realise uniform full-spectrum cell-free radio access and provide task-centric agile proximate support for diverse applications. The designed architecture is featured by super edge node (SEN) which integrates connectivity, computing, AI, data, etc. On this basis, a technological framework of pervasive multi-level (PML) AI is established in the centralised unit to enable task-centric near-real-time resource allocation and network automation. We then introduce a radio access network (RAN) architecture of full spectrum uniform cell-free networks, which is among the most attractive RAN candidates for 6G TK$\mu$ extreme connectivity. A few most promising key technologies, i.e., cell-free massive MIMO, photonics-assisted Terahertz wireless access and spatiotemporal two-dimensional channel coding are further discussed. A testbed is implemented and extensive trials are conducted to evaluate innovative technologies and methodologies. The proposed 6G network architecture and technological framework demonstrate exciting potentials for full-service and full-scenario applications.


title: Implicit Two-Tower Policies

abstract: We present a new class of structured reinforcement learning policy-architectures, Implicit Two-Tower (ITT) policies, where the actions are chosen based on the attention scores of their learnable latent representations with those of the input states. By explicitly disentangling action from state processing in the policy stack, we achieve two main goals: substantial computational gains and better performance. Our architectures are compatible with both: discrete and continuous action spaces. By conducting tests on 15 environments from OpenAI Gym and DeepMind Control Suite, we show that ITT-architectures are particularly suited for blackbox/evolutionary optimization and the corresponding policy training algorithms outperform their vanilla unstructured implicit counterparts as well as commonly used explicit policies. We complement our analysis by showing how techniques such as hashing and lazy tower updates, critically relying on the two-tower structure of ITTs, can be applied to obtain additional computational improvements.


title: Collective secondary instabilities: an application to three-dimensional boundary-layer flow

abstract: In some linearly unstable flows, secondary instability is found to have a much larger wavelength than that of the primary unstable modes, so that it cannot be recovered with a classical Floquet analysis. In this work, we apply a new formulation for capturing secondary instabilities coupling multiple length scales of the primary mode. This formulation, based on two-dimensional stability analysis coupled with a Bloch waves formalism originally described in Schmid et al. (2017), allows to consider high-dimensional systems resulting from several repetitions of a periodic unit, by solving an eigenproblem of much smaller size. Collective instabilities coupling multiple periodic units can be thus retrieved. The method is applied on the secondary stability of a swept boundary-layer flow subject to stationary cross-flow vortices, and compared with Floquet analysis. Two multi-modal instabilities are recovered: for streamwise wavenumber $\alpha_v$ close to zero, approximately twelve sub-units are involved in large-wavelength oscillations; whereas a staggered pattern, characteristic of subharmonic instabilities, is observed for $\alpha_v = 0.087$.


title: Optimal design of chemoepitaxial guideposts for directed self-assembly of block copolymer systems using an inexact-Newton algorithm

abstract: Directed self-assembly (DSA) of block-copolymers (BCPs) is one of the most promising developments in the cost-effective production of nanoscale devices. The process makes use of the natural tendency for BCP mixtures to form nanoscale structures upon phase separation. The phase separation can be directed through the use of chemically patterned substrates to promote the formation of morphologies that are essential to the production of semiconductor devices. Moreover, the design of substrate pattern can formulated as an optimization problem for which we seek optimal substrate designs that effectively produce given target morphologies. In this paper, we adopt a phase field model given by a nonlocal Cahn--Hilliard partial differential equation (PDE) based on the minimization of the Ohta--Kawasaki free energy, and present an efficient PDE-constrained optimization framework for the optimal design problem. The design variables are the locations of circular- or strip-shaped guiding posts that are used to model the substrate chemical pattern. To solve the ensuing optimization problem, we propose a variant of an inexact Newton conjugate gradient algorithm tailored to this problem. We demonstrate the effectiveness of our computational strategy on numerical examples that span a range of target morphologies. Owing to our second-order optimizer and fast state solver, the numerical results demonstrate five orders of magnitude reduction in computational cost over previous work. The efficiency of our framework and the fast convergence of our optimization algorithm enable us to rapidly solve the optimal design problem in not only two, but also three spatial dimensions.


title: Boundary pointwise regularity for fully nonlinear parabolic equations and an application to regularity of free boundaries

abstract: In this paper, we prove boundary pointwise $C^{k,\alpha}$ regularity for any $k\geq 1$ for fully nonlinear parabolic equations. As an application, we give a direct and short proof of the higher regularity of the free boundaries in obstacle-type problems.


title: Making the Best of Both Worlds: A Domain-Oriented Transformer for Unsupervised Domain Adaptation

abstract: Extensive studies on Unsupervised Domain Adaptation (UDA) have propelled the deployment of deep learning from limited experimental datasets into real-world unconstrained domains. Most UDA approaches align features within a common embedding space and apply a shared classifier for target prediction. However, since a perfectly aligned feature space may not exist when the domain discrepancy is large, these methods suffer from two limitations. First, the coercive domain alignment deteriorates target domain discriminability due to lacking target label supervision. Second, the source-supervised classifier is inevitably biased to source data, thus it may underperform in target domain. To alleviate these issues, we propose to simultaneously conduct feature alignment in two individual spaces focusing on different domains, and create for each space a domain-oriented classifier tailored specifically for that domain. Specifically, we design a Domain-Oriented Transformer (DOT) that has two individual classification tokens to learn different domain-oriented representations, and two classifiers to preserve domain-wise discriminability. Theoretical guaranteed contrastive-based alignment and the source-guided pseudo-label refinement strategy are utilized to explore both domain-invariant and specific information. Comprehensive experiments validate that our method achieves state-of-the-art on several benchmarks.


title: Von Neumann equivalence and $M_d$ type approximation properties

abstract: We show that $M_d$-approximation-property, $M_d$-weak-amenability, and $M_d$-weak-Haagerup-property are stable under von Neumann equivalence (hence also Measure equivalence and W*-equivalence). We also show that these properties are inherited from lattices.


title: Bias Reduction for Sum Estimation

abstract: In classical statistics and distribution testing, it is often assumed that elements can be sampled from some distribution $P$, and that when an element $x$ is sampled, the probability $P$ of sampling $x$ is also known. Recent work in distribution testing has shown that many algorithms are robust in the sense that they still produce correct output if the elements are drawn from any distribution $Q$ that is sufficiently close to $P$. This phenomenon raises interesting questions: under what conditions is a "noisy" distribution $Q$ sufficient, and what is the algorithmic cost of coping with this noise? We investigate these questions for the problem of estimating the sum of a multiset of $N$ real values $x_1, \ldots, x_N$. This problem is well-studied in the statistical literature in the case $P = Q$, where the Hansen-Hurwitz estimator is frequently used. We assume that for some known distribution $P$, values are sampled from a distribution $Q$ that is pointwise close to $P$. For every positive integer $k$ we define an estimator $\zeta_k$ for $\mu = \sum_i x_i$ whose bias is proportional to $\gamma^k$ (where our $\zeta_1$ reduces to the classical Hansen-Hurwitz estimator). As a special case, we show that if $Q$ is pointwise $\gamma$-close to uniform and all $x_i \in \{0, 1\}$, for any $\epsilon > 0$, we can estimate $\mu$ to within additive error $\epsilon N$ using $m = \Theta({N^{1-\frac{1}{k}} / \epsilon^{2/k}})$ samples, where $k = \left\lceil (\log \epsilon)/(\log \gamma)\right\rceil$. We show that this sample complexity is essentially optimal. Our bounds show that the sample complexity need not vary uniformly with the desired error parameter $\epsilon$: for some values of $\epsilon$, perturbations in its value have no asymptotic effect on the sample complexity, while for other values, any decrease in its value results in an asymptotically larger sample complexity.


title: Late Fusion Multi-view Clustering via Global and Local Alignment Maximization

abstract: Multi-view clustering (MVC) optimally integrates complementary information from different views to improve clustering performance. Although demonstrating promising performance in various applications, most of existing approaches directly fuse multiple pre-specified similarities to learn an optimal similarity matrix for clustering, which could cause over-complicated optimization and intensive computational cost. In this paper, we propose late fusion MVC via alignment maximization to address these issues. To do so, we first reveal the theoretical connection of existing k-means clustering and the alignment between base partitions and the consensus one. Based on this observation, we propose a simple but effective multi-view algorithm termed LF-MVC-GAM. It optimally fuses multiple source information in partition level from each individual view, and maximally aligns the consensus partition with these weighted base ones. Such an alignment is beneficial to integrate partition level information and significantly reduce the computational complexity by sufficiently simplifying the optimization procedure. We then design another variant, LF-MVC-LAM to further improve the clustering performance by preserving the local intrinsic structure among multiple partition spaces. After that, we develop two three-step iterative algorithms to solve the resultant optimization problems with theoretically guaranteed convergence. Further, we provide the generalization error bound analysis of the proposed algorithms. Extensive experiments on eighteen multi-view benchmark datasets demonstrate the effectiveness and efficiency of the proposed LF-MVC-GAM and LF-MVC-LAM, ranging from small to large-scale data items. The codes of the proposed algorithms are publicly available at https://github.com/wangsiwei2010/latefusionalignment.


title: Generalized Bose-Fermi mapping and strong coupling ansatz wavefunction for one dimensional strongly interacting spinor quantum gases

abstract: Quantum many-body systems in one dimension (1D) exhibit some peculiar properties. In this article, we review some of our work on strongly interacting 1D spinor quantum gas. First, we discuss a generalized Bose-Fermi mapping that maps the charge degrees of freedom to a spinless Fermi gas and the spin degrees of freedom to a spin chain model. This also maps the strongly interacting system into a weakly interacting one, which is amenable for perturbative calculations. Next, based on this mapping, we construct an ansatz wavefunction for the strongly interacting system, using which many physical quantities can be conveniently calculated. We showcase the usage of this ansatz wavefunction by considering the collective excitations and quench dynamics of a harmonically trapped system.


title: Towards Efficient Communications in Federated Learning: A Contemporary Survey

abstract: In the traditional distributed machine learning scenario, the user's private data is transmitted between clients and a central server, which results in significant potential privacy risks. In order to balance the issues of data privacy and joint training of models, federated learning (FL) is proposed as a particular distributed machine learning procedure with privacy protection mechanisms, which can achieve multi-party collaborative computing without revealing the original data. However, in practice, FL faces a variety of challenging communication problems. This review seeks to elucidate the relationship between these communication issues by methodically assessing the development of FL communication research from three perspectives: communication efficiency, communication environment, and communication resource allocation. Firstly, we sort out the current challenges existing in the communications of FL. Second, we have collated FL communications-related papers and described the overall development trend of the field based on their logical relationship. Ultimately, we discuss the future directions of research for communications in FL.


title: Analog Gated Recurrent Neural Network for Detecting Chewing Events

abstract: We present a novel gated recurrent neural network to detect when a person is chewing on food. We implemented the neural network as a custom analog integrated circuit in a 0.18 um CMOS technology. The neural network was trained on 6.4 hours of data collected from a contact microphone that was mounted on volunteers' mastoid bones. When tested on 1.6 hours of previously-unseen data, the neural network identified chewing events at a 24-second time resolution. It achieved a recall of 91% and an F1-score of 94% while consuming 1.1 uW of power. A system for detecting whole eating episodes -- like meals and snacks -- that is based on the novel analog neural network consumes an estimated 18.8uW of power.


title: Crosswell seismic tomographic inversion using NSGA II

abstract: In the present paper, the solution of the seismic data inversion problem through multi-objective optimization with NSGA II is addressed. The seismic inversion consists of estimating the slowness of rocks in the subsurface from the travel times of the waves through the transmitters and receivers of the seismic waves. The inversion process uses the multi-objective optimization technique, in which it is necessary to estimate the trade-off between the misfit functional and the stabilizing constraint. The constraint used was the classic first-order Tikhonov. A synthetic model of inclined layers was chosen. The results obtained were acceptable. Based on the graph of the cumulative errors related to the solution, it was estimated correctly, that is, the optimization method used was effective to obtain acceptable results, in addition to the constraint solving the instability problem of the inverse problem treated. Another important result was the achievement of a convergence curve on the Pareto frontier, an important result for future research.


title: Unsupervised quantum machine learning for fraud detection

abstract: We develop quantum protocols for anomaly detection and apply them to the task of credit card fraud detection (FD). First, we establish classical benchmarks based on supervised and unsupervised machine learning methods, where average precision is chosen as a robust metric for detecting anomalous data. We focus on kernel-based approaches for ease of direct comparison, basing our unsupervised modelling on one-class support vector machines (OC-SVM). Next, we employ quantum kernels of different type for performing anomaly detection, and observe that quantum FD can challenge equivalent classical protocols at increasing number of features (equal to the number of qubits for data embedding). Performing simulations with registers up to 20 qubits, we find that quantum kernels with re-uploading demonstrate better average precision, with the advantage increasing with system size. Specifically, at 20 qubits we reach the quantum-classical separation of average precision being equal to 15%. We discuss the prospects of fraud detection with near- and mid-term quantum hardware, and describe possible future improvements.


title: Making a Spiking Net Work: Robust brain-like unsupervised machine learning

abstract: The surge in interest in Artificial Intelligence (AI) over the past decade has been driven almost exclusively by advances in Artificial Neural Networks (ANNs). While ANNs set state-of-the-art performance for many previously intractable problems, the use of global gradient descent necessitates large datasets and computational resources for training, potentially limiting their scalability for real-world domains. Spiking Neural Networks (SNNs) are an alternative to ANNs that use more brain-like artificial neurons and can use local unsupervised learning to rapidly discover sparse recognizable features in the input data. SNNs, however, struggle with dynamical stability and have failed to match the accuracy of ANNs. Here we show how an SNN can overcome many of the shortcomings that have been identified in the literature, including offering a principled solution to the dynamical "vanishing spike problem", to outperform all existing shallow SNNs and equal the performance of an ANN. It accomplishes this while using unsupervised learning with unlabeled data and only 1/50th of the training epochs (labeled data is used only for a simple linear readout layer). This result makes SNNs a viable new method for fast, accurate, efficient, explainable, and re-deployable machine learning with unlabeled data.


title: Exact and paraxial Airy propagation of relativistic electron plasma wavepackets

abstract: The different forms of propagation of relativistic electron plasma wavepackets in terms of Airy functions are studied. It is shown that exact solutions can be constructed showing accelerated propagations along coordinates transverse to the thermal speed cone coordinate. Similarly, Airy propagation is a solution for relativistic electron plasma waves in the paraxial approximation. This regime is considered in time-domain, when paraxial approximation is considered for frequency, and in space-domain, when paraxial approximation is considered for wavelength. In both different cases, the wavepackets remains structured in the transverse plane. Using these solutions we are able to define generalized and arbitrary Airy wavepackets for electron plasma waves, depeding on arbitrary spectral functions. Examples of this construction are presented. These electron plasma Airy wavepackets are the most general solutions of this kind.


title: Fast Kernel Density Estimation with Density Matrices and Random Fourier Features

abstract: Kernel density estimation (KDE) is one of the most widely used nonparametric density estimation methods. The fact that it is a memory-based method, i.e., it uses the entire training data set for prediction, makes it unsuitable for most current big data applications. Several strategies, such as tree-based or hashing-based estimators, have been proposed to improve the efficiency of the kernel density estimation method. The novel density kernel density estimation method (DMKDE) uses density matrices, a quantum mechanical formalism, and random Fourier features, an explicit kernel approximation, to produce density estimates. This method has its roots in the KDE and can be considered as an approximation method, without its memory-based restriction. In this paper, we systematically evaluate the novel DMKDE algorithm and compare it with other state-of-the-art fast procedures for approximating the kernel density estimation method on different synthetic data sets. Our experimental results show that DMKDE is on par with its competitors for computing density estimates and advantages are shown when performed on high-dimensional data. We have made all the code available as an open source software repository.


title: Bremsstrahlung from Neutrino Scattering via Magnetic Dipole Moments

abstract: In this paper we discuss bremsstrahlung induced by neutrino scattering. This process should exist since neutrinos are expected to couple to photons via magnetic dipole and transition moments. These moments are loop-induced and tiny in the Standard Model with neutrino masses but could be significantly enhanced in extended theories. As concrete example we study the scattering of the two largest neutrino fluxes on earth, solar neutrinos and Cosmic Neutrino Background (CNB). It is tempting to consider this as a potential signature for CNB searches but it turns out that the signal is extremely small and unlikely to be observed.


title: Communication network dynamics in a large organizational hierarchy

abstract: Most businesses impose a supervisory hierarchy on employees to facilitate management, decision-making, and collaboration, yet routine inter-employee communication patterns within workplaces tend to emerge more naturally as a consequence of both supervisory relationships and the needs of the organization. What then is the relationship between a formal organizational structure and the emergent communications between its employees? Understanding the nature of this relationship is critical for the successful management of an organization. While scholars of organizational management have proposed theories relating organizational trees to communication dynamics, and separately, network scientists have studied the topological structure of communication patterns in different types of organizations, existing empirical analyses are both lacking in representativeness and limited in size. In fact, much of the methodology used to study the relationship between organizational hierarchy and communication patterns comes from analyses of the Enron email corpus, reflecting a uniquely dysfunctional corporate environment. In this paper, we develop new methodology for assessing the relationship between organizational hierarchy and communication dynamics and apply it to Microsoft Corporation, currently the highest valued company in the world, consisting of approximately 200,000 employees divided into 88 teams. This reveals distinct communication network structures within and between teams. We then characterize the relationship of routine employee communication patterns to these team supervisory hierarchies, while empirically evaluating several theories of organizational management and performance. To do so, we propose new measures of communication reciprocity and new shortest-path distances for trees to track the frequency of messages passed up, down, and across the organizational hierarchy.


title: Velocity estimation via model order reduction

abstract: A novel approach to full waveform inversion (FWI), based on a data driven reduced order model (ROM) of the wave equation operator is introduced. The unknown medium is probed with pulses and the time domain pressure waveform data is recorded on an active array of sensors. The ROM, a projection of the wave equation operator is constructed from the data via a nonlinear process and is used for efficient velocity estimation. While the conventional FWI via nonlinear least-squares data fitting is challenging without low frequency information, and prone to getting stuck in local minima (cycle skipping), minimization of ROM misfit is behaved much better, even for a poor initial guess. For low-dimensional parametrizations of the unknown velocity the ROM misfit function is close to convex. The proposed approach consistently outperforms conventional FWI in standard synthetic tests.


title: Effect of radiation drag on the line-force-driven winds

abstract: Ultra-fast outflows (UFOs) with mildly relativistic velocities are measured using the X-ray spectra of radio-quiet and -loud active galactic nuclei (AGNs). In general, UFOs are believed to be generated from the accretion disk around a black hole (BH). A line-force driving model is suggested to be the mechanism to drive UFOs from the accretion disk. In this paper, we use the non-hydrodynamic approach to examine the influences of radiation-drag effects on the line-force-driven winds generated from the accretion disk. We find that the radiation-drag effects can significantly weaken the line-force-driven winds. Compared with the case without the radiation-drag effects, when the radiation-drag effects are considered, the maximum speed of winds is reduced by $\sim$60\%--70\%, the mass outflow rate is reduced by $\sim$50\%--80\%, and the kinetic power is reduced by about an order of magnitude. The radiation-drag effects narrow the area where the winds are generated.


title: Gesture-aware Interactive Machine Teaching with In-situ Object Annotations

abstract: Interactive Machine Teaching (IMT) systems allow non-experts to easily create Machine Learning (ML) models. However, existing vision-based IMT systems either ignore annotations on the objects of interest or require users to annotate in a post-hoc manner. Without the annotations on objects, the model may misinterpret the objects using unrelated features. Post-hoc annotations cause additional workload, which diminishes the usability of the overall model building process. In this paper, we develop LookHere, which integrates in-situ object annotations into vision-based IMT. LookHere exploits users' deictic gestures to segment the objects of interest in real time. This segmentation information can be additionally used for training. To achieve the reliable performance of this object segmentation, we utilize our custom dataset called HuTics, including 2040 front-facing images of deictic gestures toward various objects by 170 people. The quantitative results of our user study showed that participants were 16.3 times faster in creating a model with our system compared to a standard IMT system with a post-hoc annotation process while demonstrating comparable accuracies. Additionally, models created by our system showed a significant accuracy improvement ($\Delta mIoU=0.466$) in segmenting the objects of interest compared to those without annotations.


title: Energy transport and optimal design of noisy Platonic quantum networks

abstract: Optimal transport is one of the primary goals for designing efficient quantum networks. In this work, the maximum transport is investigated for three-dimensional quantum networks with Platonic geometries affected by dephasing and dissipative Markovian noise. The network and the environmental characteristics corresponding the optimal design are obtained and investigated for five Platonic networks with 4, 6, 8, 12, and 20 number of sites that one of the sites is connected to a sink site through a dissipative process. Such optimal designs could have various applications like switching and multiplexing in quantum circuits.


title: Time-Dependent Performance Modeling for Platooning Communications at Intersection

abstract: With the development of internet of vehicles, platooning strategy has been widely studied as the potential approach to ensure the safety of autonomous driving. Vehicles in the form of platoon adopt 802.11p to exchange messages through vehicle to vehicle (V2V) communications. When multiple platoons arrive at an intersection, the leader vehicle of each platoon adjusts its movement characteristics to ensure that it can cross the intersection and thus the following vehicles have to adjust their movement characteristics accordingly. In this case, the time-varying connectivity among vehicles leads to the significant non-stationary performance change in platooning communications, which may incur safety issues. In this paper, we construct the time-dependent model to evaluate the platooning communication performance at the intersection based on the initial movement characteristics. We first consider the movement behaviors of vehicles at the intersection including turning, accelerating, decelerating and stopping as well as the periodic change of traffic lights to construct movement model, and then establish a hearing network to reflect the time-varying connectivity among vehicles. Afterwards, we adopt the pointwise stationary fluid flow approximation (PSFFA) to model the non-stationary behavior of transmission queue. Then, we consider four access categories (ACs) and continuous backoff freezing of 802.11p to construct the models to describe the time-dependent access process of 802.11p. Finally, based on the time-dependent model, the packet transmission delay and packet delivery ratio are derived. The accuracy of our proposed model is verified by comparing the simulation results with analytical results.


title: Audio Deepfake Detection Based on a Combination of F0 Information and Real Plus Imaginary Spectrogram Features

abstract: Recently, pioneer research works have proposed a large number of acoustic features (log power spectrogram, linear frequency cepstral coefficients, constant Q cepstral coefficients, etc.) for audio deepfake detection, obtaining good performance, and showing that different subbands have different contributions to audio deepfake detection. However, this lacks an explanation of the specific information in the subband, and these features also lose information such as phase. Inspired by the mechanism of synthetic speech, the fundamental frequency (F0) information is used to improve the quality of synthetic speech, while the F0 of synthetic speech is still too average, which differs significantly from that of real speech. It is expected that F0 can be used as important information to discriminate between bonafide and fake speech, while this information cannot be used directly due to the irregular distribution of F0. Insteadly, the frequency band containing most of F0 is selected as the input feature. Meanwhile, to make full use of the phase and full-band information, we also propose to use real and imaginary spectrogram features as complementary input features and model the disjoint subbands separately. Finally, the results of F0, real and imaginary spectrogram features are fused. Experimental results on the ASVspoof 2019 LA dataset show that our proposed system is very effective for the audio deepfake detection task, achieving an equivalent error rate (EER) of 0.43%, which surpasses almost all systems.


title: NAPA: Intermediate-level Variational Native-pulse Ansatz for Variational Quantum Algorithms

abstract: Variational quantum algorithms (VQAs) have demonstrated great potentials in the Noisy Intermediate Scale Quantum (NISQ) era. In the workflow of VQA, the parameters of ansatz are iteratively updated to approximate the desired quantum states. We have seen various efforts to draft better ansatz with less gates. Some works consider the physical meaning of the underlying circuits, while others adopt the ideas of neural architecture search (NAS) for ansatz generator. However, these designs do not exploit the full advantages of VQAs. Because most techniques target gate ansatz, and the parameters are usually rotation angles of the gates. In quantum computers, the gate ansatz will eventually be transformed into control signals such as microwave pulses on superconducting qubits. These control pulses need elaborate calibrations to minimize the errors such as over-rotation and under-rotation. In the case of VQAs, this procedure will introduce redundancy, but the variational properties of VQAs can naturally handle problems of over-rotation and under-rotation by updating the amplitude and frequency parameters. Therefore, we propose NAPA, a native-pulse ansatz generator framework for VQAs. We generate native-pulse ansatz with trainable parameters for amplitudes and frequencies. In our proposed NAPA, we are tuning parametric pulses, which are natively supported on NISQ computers. Given the limited availability of gradient-based optimizers for pulse-level quantum programs, we choose to deploy non-gradient optimizers in our framework. To constrain the number of parameters sent to the optimizer, we adopt a progressive way to generate our native-pulse ansatz. Experiments are conducted on both simulators and quantum devices for Variational Quantum Eigensolver (VQE) tasks to evaluate our methods.


title: Exponentially amplified magnetic field eliminates disk fragmentation around the Population III protostar

abstract: One critical remaining issue to unclear the initial mass function of the first (Population III) stars is the final fate of secondary protostars formed in the accretion disk, specifically whether they merge or survive. We focus on the magnetic effects on the first star formation under the cosmological magnetic field. We perform a suite of ideal magnetohydrodynamic simulations until 1000 years after the first protostar formation. Instead of the sink particle technique, we employ a stiff equation of state approach to represent the magnetic field structure connecting to protostars. Ten years after the first protostar formation in the cloud initialized with $B_0 = 10^{-20}$ G at $n_0 = 10^4\,{\rm cm^{-3}}$, the magnetic field strength around protostars amplifies from pico- to kilo-gauss, which is the same strength as the present-day star. The magnetic field rapidly winds up since the gas in the vicinity of the protostar ($\leq\!10$ au) has undergone several tens orbital rotations in the first decade after protostar formation. As the mass accretion progresses, the vital magnetic field region extends outward, and the magnetic braking eliminates fragmentation of the disk that would form in the unmagnetized model. On the other hand, assuming a gas cloud with small angular momentum, this amplification might not work because the rotation would be slower. However, disk fragmentation would not occur in that case. We conclude that the exponential amplification of the cosmological magnetic field strength, about $10^{-18}$ G, eliminates disk fragmentation around the Population III protostars.


title: Open quantum dynamics of strongly coupled oscillators with multi-configuration time-dependent Hartree propagation and Markovian quantum jumps

abstract: Modeling the non-equilibrium dissipative dynamics of strongly interacting quantized degrees of freedom is a fundamental problem in several branches of physics and chemistry. We implement a quantum state trajectory scheme for solving Lindblad quantum master equations that describe coherent and dissipative processes for a set of strongly-coupled quantized oscillators. The scheme involves a sequence of stochastic quantum jumps with transition probabilities determined the system state and the system-reservoir dynamics. Between consecutive jumps, the wavefunction is propagated in coordinate space using the multi-configuration time-dependent Hartree (MCTDH) method. We compare this hybrid propagation methodology with exact Liouville space solutions for physical systems of interest in cavity quantum electrodynamics, demonstrating accurate results for experimentally relevant observables using a tractable number of quantum trajectories. We show the potential for solving the dissipative dynamics of finite size arrays of strongly interacting quantized oscillators with high excitation densities, a scenario that is challenging for conventional density matrix propagators due to the large dimensionality of the underlying Hilbert space.


title: SLA Management in Intent-Driven Service Management Systems: A Taxonomy and Future Directions

abstract: Traditionally, network and system administrators are responsible for designing, configuring, and resolving the Internet service requests. Human-driven system configuration and management are proving unsatisfactory due to the recent interest in time-sensitive applications with stringent quality of service (QoS). Aiming to transition from the traditional human-driven to zero-touch service management in the field of networks and computing, intent-driven service management (IDSM) has been proposed as a response to stringent quality of service requirements. In IDSM, users express their service requirements in a declarative manner as intents. IDSM, with the help of closed control-loop operations, perform configurations and deployments, autonomously to meet service request requirements. The result is a faster deployment of Internet services and reduction in configuration errors caused by manual operations, which in turn reduces the service-level agreement (SLA) violations. In the early stages of development, IDSM systems require attention from industry as well as academia. In an attempt to fill the gaps in current research, we conducted a systematic literature review of SLA management in IDSM systems. As an outcome, we have identified four IDSM intent management activities and proposed a taxonomy for each activity. Analysis of all studies and future research directions, are presented in the conclusions.


title: Mobility-Aware Cooperative Caching in Vehicular Edge Computing Based on Asynchronous Federated and Deep Reinforcement Learning

abstract: The vehicular edge computing (VEC) can cache contents in different RSUs at the network edge to support the real-time vehicular applications. In VEC, owing to the high-mobility characteristics of vehicles, it is necessary to cache the user data in advance and learn the most popular and interesting contents for vehicular users. Since user data usually contains privacy information, users are reluctant to share their data with others. To solve this problem, traditional federated learning (FL) needs to update the global model synchronously through aggregating all users' local models to protect users' privacy. However, vehicles may frequently drive out of the coverage area of the VEC before they achieve their local model trainings and thus the local models cannot be uploaded as expected, which would reduce the accuracy of the global model. In addition, the caching capacity of the local RSU is limited and the popular contents are diverse, thus the size of the predicted popular contents usually exceeds the cache capacity of the local RSU. Hence, the VEC should cache the predicted popular contents in different RSUs while considering the content transmission delay. In this paper, we consider the mobility of vehicles and propose a cooperative Caching scheme in the VEC based on Asynchronous Federated and deep Reinforcement learning (CAFR). We first consider the mobility of vehicles and propose an asynchronous FL algorithm to obtain an accurate global model, and then propose an algorithm to predict the popular contents based on the global model. In addition, we consider the mobility of vehicles and propose a deep reinforcement learning algorithm to obtain the optimal cooperative caching location for the predicted popular contents in order to optimize the content transmission delay. Extensive experimental results have demonstrated that the CAFR scheme outperforms other baseline caching schemes.


title: GeoECG: Data Augmentation via Wasserstein Geodesic Perturbation for Robust Electrocardiogram Prediction

abstract: There has been an increased interest in applying deep neural networks to automatically interpret and analyze the 12-lead electrocardiogram (ECG). The current paradigms with machine learning methods are often limited by the amount of labeled data. This phenomenon is particularly problematic for clinically-relevant data, where labeling at scale can be time-consuming and costly in terms of the specialized expertise and human effort required. Moreover, deep learning classifiers may be vulnerable to adversarial examples and perturbations, which could have catastrophic consequences, for example, when applied in the context of medical treatment, clinical trials, or insurance claims. In this paper, we propose a physiologically-inspired data augmentation method to improve performance and increase the robustness of heart disease detection based on ECG signals. We obtain augmented samples by perturbing the data distribution towards other classes along the geodesic in Wasserstein space. To better utilize domain-specific knowledge, we design a ground metric that recognizes the difference between ECG signals based on physiologically determined features. Learning from 12-lead ECG signals, our model is able to distinguish five categories of cardiac conditions. Our results demonstrate improvements in accuracy and robustness, reflecting the effectiveness of our data augmentation method.


title: Generative Adversarial Learning for Intelligent Trust Management in 6G Wireless Networks

abstract: Emerging six generation (6G) is the integration of heterogeneous wireless networks, which can seamlessly support anywhere and anytime networking. But high Quality-of-Trust should be offered by 6G to meet mobile user expectations. Artificial intelligence (AI) is considered as one of the most important components in 6G. Then AI-based trust management is a promising paradigm to provide trusted and reliable services. In this article, a generative adversarial learning-enabled trust management method is presented for 6G wireless networks. Some typical AI-based trust management schemes are first reviewed, and then a potential heterogeneous and intelligent 6G architecture is introduced. Next, the integration of AI and trust management is developed to optimize the intelligence and security. Finally, the presented AI-based trust management method is applied to secure clustering to achieve reliable and real-time communications. Simulation results have demonstrated its excellent performance in guaranteeing network security and service quality.


title: Optimal and Bounded-Suboptimal Multi-Goal Task Assignment and Path Finding

abstract: We formalize and study the multi-goal task assignment and path finding (MG-TAPF) problem from theoretical and algorithmic perspectives. The MG-TAPF problem is to compute an assignment of tasks to agents, where each task consists of a sequence of goal locations, and collision-free paths for the agents that visit all goal locations of their assigned tasks in sequence. Theoretically, we prove that the MG-TAPF problem is NP-hard to solve optimally. We present algorithms that build upon algorithmic techniques for the multi-agent path finding problem and solve the MG-TAPF problem optimally and bounded-suboptimally. We experimentally compare these algorithms on a variety of different benchmark domains.


title: Multi-Goal Multi-Agent Pickup and Delivery

abstract: In this work, we consider the Multi-Agent Pickup-and-Delivery (MAPD) problem, where agents constantly engage with new tasks and need to plan collision-free paths to execute them. To execute a task, an agent needs to visit a pair of goal locations, consisting of a pickup location and a delivery location. We propose two variants of an algorithm that assigns a sequence of tasks to each agent using the anytime algorithm Large Neighborhood Search (LNS) and plans paths using the Multi-Agent Path Finding (MAPF) algorithm Priority-Based Search (PBS). LNS-PBS is complete for well-formed MAPD instances, a realistic subclass of MAPD instances, and empirically more effective than the existing complete MAPD algorithm CENTRAL. LNS-wPBS provides no completeness guarantee but is empirically more efficient and stable than LNS-PBS. It scales to thousands of agents and thousands of tasks in a large warehouse and is empirically more effective than the existing scalable MAPD algorithm HBH+MLA*. LNS-PBS and LNS-wPBS also apply to a more general variant of MAPD, namely the Multi-Goal MAPD (MG-MAPD) problem, where tasks can have different numbers of goal locations.


title: Sums of $k$-bonacci Numbers

abstract: We give a combinatorial proof of a formula giving the partial sums of the $k$-bonacci sequence as alternating sums of powers of two multiplied by binomial coefficients. As a corollary we obtain a formula for the $k$-bonacci numbers.


title: An Einstein-Podolsky-Rosen argument based on weak forms of local realism not falsifiable by GHZ or Bell experiments

abstract: The Einstein-Podolsky-Rosen (EPR) paradox gives an argument for the incompleteness of quantum mechanics based on the premises of local realism. A general view is that the argument is compromised, because EPR's premises are falsified by Greenberger-Horne-Zeilinger (GHZ) and Bell experiments. In this paper, we present an EPR argument based on premises not falsifiable by these experiments. We propose macroscopic EPR and GHZ experiments using spins $S_\theta$ defined by two macroscopically distinct states. The analyzers that realize the unitary operations $U_\theta$ determining the measurement settings $\theta$ are devices that create macroscopic superposition states. For a system with two macroscopically distinct states available, macroscopic realism (MR) posits a predetermined outcome for a measurement $S_\theta$ distinguishing between the states. Deterministic macroscopic realism (dMR) posits MR for the system prior to the interaction $U_\theta$. Weak macroscopic realism (wMR) posits MR for the system after $U_\theta$, at the time $t_f$ (when the system is prepared for a final "pointer" measurement), the outcome of $S_\theta$ not being changed by interactions that might occur at a remote system $B$. The premise also posits that if the outcome for $S_\theta^A$ of a system $A$ can be predicted by a pointer measurement on a system $B$ defined after the interaction fixing the setting at $B$, then the outcome for $S_\theta^A$ is determined at this time. The GHZ predictions negate dMR but are consistent with wMR. Yet, an EPR paradox arises based on wMR for the set-up proposed by Schr\"odinger, where one measures two complementary spins simultaneously, "one by direct, the other by indirect" measurement. We revisit the original EPR paradox and find similarly that an EPR argument can be based on a weak form of local realism not falsifiable by GHZ or Bell tests.


title: Neutrinos from near and far: Results from the IceCube Neutrino Observatory

abstract: Instrumenting a gigaton of ice at the geographic South Pole, the IceCube Neutrino Observatory has been at the forefront of groundbreaking scientific discoveries over the past decade. These include the observation of a flux of TeV-PeV astrophysical neutrinos, detection of the first astrophysical neutrino on the Glashow resonance and evidence of the blazar TXS 0506+056 as the first known astronomical source of high-energy neutrinos. Several questions, however, remain, pertaining to the precise origins of astrophysical neutrinos, their production mechanisms at the source and in Earth's atmosphere and in the context of physics beyond the Standard Model. This proceeding highlights some of our latest results, from new constraints on neutrino interactions and oscillations to the latest measurements of the astrophysical neutrino flux and searches for their origins to future prospects with IceCube-Gen2.


title: Optimal Measurement of Drone Swarm in RSS-based Passive Localization with Region Constraints

abstract: Passive geolocation by multiple unmanned aerial vehicles (UAVs) covers a wide range of military and civilian applications including rescue, wild life tracking and electronic warfare. The sensor-target geometry is known to significantly affect the localization precision. The existing sensor placement strategies mainly work on the cases without any constraints on the sensors locations. However, UAVs cannot fly/hover simply in arbitrary region due to realistic constraints, such as the geographical limitations, the security issues, and the max flying speed. In this paper, optimal geometrical configurations of UAVs in received signal strength (RSS)-based localization under region constraints are investigated. Employing the D-optimal criteria, i.e., minimizing the determinate of Fisher information matrix (FIM), such optimal problem is formulated. Based on the rigorous algebra and geometrical derivations, optimal and also closed form configurations of UAVs under different flying states are proposed. Finally, the effectiveness and practicality of the proposed configurations are demonstrated by simulation examples.


title: Dynamical encircling exceptional point in largely detuned multimode optomechanical system

abstract: Dynamical encircling exceptional point(EP) shows a number of intriguing physical phenomena and its potential applications. To enrich the manipulations of optical systems in experiment, here, we study the dynamical encircling EP, i.e. state transfer process, in largely detuned multimode optomechanical system. The process of state transfer has been investigated with different factors about the location of start point, the orientation and the initial state of the trajectories around the EP in parameter space. Results show that the nonreciprocal and the chiral topological energy transfer between two optical modes are performed successfully by tuning the effective optomechanical coupling in the multimode system with large detuning. Moreover, the factor of evolution speed about system parameters is also discussed. Our work demonstrates the fundamental physics around EP in large detuning domain of multimode optomechanical system and provides an alternative for manipulating of optical modes in non-hermitian system.


title: Some explicit results on the sum of a prime and an almost prime

abstract: Inspired by a classical result of R\'enyi, we prove that every even integer $N\geq 4$ can be written as the sum of a prime and a number with at most 369 prime factors. We also show, under assumption of the generalised Riemann hypothesis, that this result can be improved to 33 prime factors.


title: A Multifaceted Benchmarking of Synthetic Electronic Health Record Generation Models

abstract: Synthetic health data have the potential to mitigate privacy concerns when sharing data to support biomedical research and the development of innovative healthcare applications. Modern approaches for data generation based on machine learning, generative adversarial networks (GAN) methods in particular, continue to evolve and demonstrate remarkable potential. Yet there is a lack of a systematic assessment framework to benchmark methods as they emerge and determine which methods are most appropriate for which use cases. In this work, we introduce a generalizable benchmarking framework to appraise key characteristics of synthetic health data with respect to utility and privacy metrics. We apply the framework to evaluate synthetic data generation methods for electronic health records (EHRs) data from two large academic medical centers with respect to several use cases. The results illustrate that there is a utility-privacy tradeoff for sharing synthetic EHR data. The results further indicate that no method is unequivocally the best on all criteria in each use case, which makes it evident why synthetic data generation methods need to be assessed in context.


title: The nonparametric Behrens-Fisher problem in small samples

abstract: While there appears to be a general consensus in the literature on the definition of the estimand and estimator associated with the Wilcoxon-Mann-Whitney test, it seems somewhat less clear as to how best to estimate the variance. In addition to the Wilcoxon-Mann-Whitney test, we review different proposals of variance estimators consistent under both the null hypothesis and the alternative. Moreover, in case of small sample sizes, an approximation of the distribution of the test statistic based on the t-distribution, a logit transformation and a permutation approach have been proposed. Focussing as well on different estimators of the degrees of freedom as regards the t-approximation, we carried out simulations for a range of scenarios, with results indicating that the performance of different variance estimators in terms of controlling the type I error rate largely depends on the heteroskedasticity pattern and the sample size allocation ratio, not on the specific type of distributions employed. By and large, a particular t-approximation together with Perme and Manevski's variance estimator best maintains the nominal significance level


title: DashBot: Insight-Driven Dashboard Generation Based on Deep Reinforcement Learning

abstract: Analytical dashboards are popular in business intelligence to facilitate insight discovery with multiple charts. However, creating an effective dashboard is highly demanding, which requires users to have adequate data analysis background and be familiar with professional tools, such as Power BI. To create a dashboard, users have to configure charts by selecting data columns and exploring different chart combinations to optimize the communication of insights, which is trial-and-error. Recent research has started to use deep learning methods for dashboard generation to lower the burden of visualization creation. However, such efforts are greatly hindered by the lack of large-scale and high-quality datasets of dashboards. In this work, we propose using deep reinforcement learning to generate analytical dashboards that can use well-established visualization knowledge and the estimation capacity of reinforcement learning. Specifically, we use visualization knowledge to construct a training environment and rewards for agents to explore and imitate human exploration behavior with a well-designed agent network. The usefulness of the deep reinforcement learning model is demonstrated through ablation studies and user studies. In conclusion, our work opens up new opportunities to develop effective ML-based visualization recommenders without beforehand training datasets.


title: Holographic imaginary potential of a quark antiquark pair in the presence of gluon condensation

abstract: For a moving heavy quark antiquark ($Q\bar{Q}$) in a quark gluon plasma (QGP), we use gauge/gravity duality to study both real and imaginary parts of the potential (Re$V_{Q\bar{Q}}$ and Im$V_{Q\bar{Q}}$ respectively) in a gluon condensate (GC) theory. The complex potential is derived from the Wilson loop by considering the thermal fluctuations of the worldsheet of the Nambu-Goto holographic string. We calculate Re$V_{Q\bar{Q}}$ and Im$V_{Q\bar{Q}}$ in both cases where the axis of the moving $Q\bar{Q}$ pair is transverse and parallel with respect to its direction of movement in the plasma. Using the renormalization scheme for the Re$V_{Q\bar{Q}}$ , we find that the inclusion of GC increases the dissociation length while rapidity has the opposite effect. While for the Im$V_{Q\bar{Q}}$ , we observe that by considering the effect of GC, the Im$V_{Q\bar{Q}}$ is generated for larger distance thus decreasing quarkonium dissociation, while rapidity has opposite effect. In particular, as the value of GC decreases in the deconfined phase, the Im$V_{Q\bar{Q}}$ is generated for smaller distance thus enhancing quarkonium dissociation, and at high temperatures it is nearly not modified by GC, consistent with previous findings of the entropic force.


title: Flood Prediction Using Machine Learning Models

abstract: Floods are one of nature's most catastrophic calamities which cause irreversible and immense damage to human life, agriculture, infrastructure and socio-economic system. Several studies on flood catastrophe management and flood forecasting systems have been conducted. The accurate prediction of the onset and progression of floods in real time is challenging. To estimate water levels and velocities across a large area, it is necessary to combine data with computationally demanding flood propagation models. This paper aims to reduce the extreme risks of this natural disaster and also contributes to policy suggestions by providing a prediction for floods using different machine learning models. This research will use Binary Logistic Regression, K-Nearest Neighbor (KNN), Support Vector Classifier (SVC) and Decision tree Classifier to provide an accurate prediction. With the outcome, a comparative analysis will be conducted to understand which model delivers a better accuracy.


title: Terahertz-Band Integrated Sensing and Communications: Challenges and Opportunities

abstract: The sixth generation (6G) wireless networks aim to achieve ultra-high data transmission rates, very low latency and enhanced energy-efficiency. To this end, terahertz (THz) band is one of the key enablers of 6G to meet such requirements. The THz-band systems are also quickly merging as high-resolution sensing devices because of their ultra-wide bandwidth and very narrow beamwidth. As a means to efficiently utilize spectrum and thereby save cost and power, THz integrated sensing and communications (ISAC) paradigm envisages a single integrated hardware platform with common signaling mechanism. However, ISAC at THz-band entails several design challenges such as beam split, range-dependent bandwidth, near-field beamforming, and distinct channel model. This article examines the technologies that have the potential to bring forth ISAC and THz transmission together. In particular, it provides an overview of antenna and array design, hybrid beamforming, integration with reflecting surfaces and data-driven techniques such as machine learning. These systems also provide research opportunities in developing novel methodologies for channel estimation, near-field beam split, waveform design and beam misalignment.


title: Asynchronous Federated Learning Based Mobility-aware Caching in Vehicular Edge Computing

abstract: Vehicular edge computing (VEC) is a promising technology to support real-time applications through caching the contents in the roadside units (RSUs), thus vehicles can fetch the contents requested by vehicular users (VUs) from the RSU within short time. The capacity of the RSU is limited and the contents requested by VUs change frequently due to the high-mobility characteristics of vehicles, thus it is essential to predict the most popular contents and cache them in the RSU in advance. The RSU can train model based on the VUs' data to effectively predict the popular contents. However, VUs are often reluctant to share their data with others due to the personal privacy. Federated learning (FL) allows each vehicle to train the local model based on VUs' data, and upload the local model to the RSU instead of data to update the global model, and thus VUs' privacy information can be protected. The traditional synchronous FL must wait all vehicles to complete training and upload their local models for global model updating, which would cause a long time to train global model. The asynchronous FL updates the global model in time once a vehicle's local model is received. However, the vehicles with different staying time have different impacts to achieve the accurate global model. In this paper, we consider the vehicle mobility and propose an Asynchronous FL based Mobility-aware Edge Caching (AFMC) scheme to obtain an accurate global model, and then propose an algorithm to predict the popular contents based on the global model. Experimental results show that AFMC outperforms other baseline caching schemes.


title: Doubly Robust Proximal Causal Inference under Confounded Outcome-Dependent Sampling

abstract: Unmeasured confounding and selection bias are often of concern in observational studies and may invalidate a causal analysis if not appropriately accounted for. Under outcome-dependent sampling, a latent factor that has causal effects on the treatment, outcome, and sample selection process may cause both unmeasured confounding and selection bias, rendering standard causal parameters unidentifiable without additional assumptions. Under an odds ratio model for the treatment effect, Li et al. 2022 established both proximal identification and estimation of causal effects by leveraging a pair of negative control variables as proxies of latent factors at the source of both confounding and selection bias. However, their approach relies exclusively on the existence and correct specification of a so-called treatment confounding bridge function, a model that restricts the treatment assignment mechanism. In this article, we propose doubly robust estimation under the odds ratio model with respect to two nuisance functions -- a treatment confounding bridge function and an outcome confounding bridge function that restricts the outcome law, such that our estimator is consistent and asymptotically normal if either bridge function model is correctly specified, without knowing which one is. Thus, our proposed doubly robust estimator is potentially more robust than that of Li et al. 2022. Our simulations confirm that the proposed proximal estimators of an odds ratio causal effect can adequately account for both residual confounding and selection bias under stated conditions with well-calibrated confidence intervals in a wide range of scenarios, where standard methods generally fail to be consistent. In addition, the proposed doubly robust estimator is consistent if at least one confounding bridge function is correctly specified.


title: Dynamic modeling of a sliding ring on an elastic rod with incremental potential formulation

abstract: Mechanical interactions between rigid rings and flexible cables find broad application in both daily life (hanging clothes) and engineering systems (closing a tether-net). A reduced-order method for the dynamic analysis of sliding rings on a deformable one-dimensional (1D) rod-like object is proposed. In contrast to the conventional approach of discretizing joint rings into multiple nodes and edges for contact detection and numerical simulation, a single point is used to reduce the order of the model. To ensure that the sliding ring and flexible rod do not deviate from their desired positions, a new barrier function is formulated using the incremental potential theory. Subsequently, the interaction between tangent frictional forces is obtained through a delayed dissipative approach. The proposed barrier functional and the associated frictional functional are C2 continuous, hence the nonlinear elastodynamic system can be solved variationally by an implicit time-stepping scheme. The numerical framework is initially applied to simple examples where the analytical solutions are available for validation. Then, multiple complex practical engineering examples are considered to showcase the effectiveness of the proposed method. The simplified ring-to-rod interaction model has the capacity to enhance the realism of visual effects in image animations, while simultaneously facilitating the optimization of designs for space debris removal systems.


title: Complex matrix inversion via real matrix inversions

abstract: We study the inversion analog of the well-known Gauss algorithm for multiplying complex matrices. A simple version is $(A + iB)^{-1} = (A + BA^{-1}B)^{-1} - i A^{-1}B(A+BA^{-1} B)^{-1}$ when $A$ is invertible, which may be traced back to Frobenius but has received scant attention. We prove that it is optimal, requiring fewest matrix multiplications and inversions over the base field, and we extend it in three ways: (i) to any invertible $A + iB$ without requiring $A$ or $B$ be invertible; (ii) to any iterated quadratic extension fields, with $\mathbb{C}$ over $\mathbb{R}$ a special case; (iii) to Hermitian positive definite matrices $A + iB$ by exploiting symmetric positive definiteness of $A$ and $A + BA^{-1}B$. We call all such algorithms Frobenius inversions, which we will see do not follow from Sherman--Morrison--Woodbury type identities and cannot be extended to Moore--Penrose pseudoinverse. We show that a complex matrix with well-conditioned real and imaginary parts can be arbitrarily ill-conditioned, a situation tailor-made for Frobenius inversion. We prove that Frobenius inversion for complex matrices is faster than standard inversion by LU decomposition and Frobenius inversion for Hermitian positive definite matrices is faster than standard inversion by Cholesky decomposition. We provide extensive numerical experiments, applying Frobenius inversion to solve linear systems, evaluate matrix sign function, solve Sylvester equation, and compute polar decomposition, showing that Frobenius inversion can be more efficient than LU/Cholesky decomposition with negligible loss in accuracy. A side result is a generalization of Gauss multiplication to iterated quadratic extensions, which we show is intimately related to the Karatsuba algorithm for fast integer multiplication and multidimensional fast Fourier transform.


title: Mechanical structure of a spin-1 particle

abstract: We investigate the mechanical structure of a spin-1 particle. Introducing three different frameworks, i.e., the three-dimensional (3D) Breit frame, the two-dimensional (2D) Breit frame, and the 2D infinite momentum frame (equivalently the two-dimensional Drell-Yan frame), we scrutinize the 2D and 3D energy-momentum tensor (EMT) distributions in these frames. We first derive the EMT distributions in the 2D Breit frame by performing the Abel transformation. The mass distribution in the 2D Breit frame contains an additional monopole contribution induced geometrically. The pressure distribution in the 2D Breit frame also gets an induced monopole structure. When the Lorentz boost is carried out, the mass distribution in the 2D infinite-momentum frame acquires the induced dipole term. Similarly, we also have the induced dipole contributions to the pressure and shear-force densities. We visualize the 2D mass distributions when the spin-1 particle is polarized along the $x$- and $z$-axes. We observe that the 2D mass distribution in the infinite momentum frame exhibit clearly the induced dipole structure when the spin-1 particle is polarized along the $x$-axis. We also discuss the strong force fields inside a polarized spin-1 particle.


title: Radius Constants of Sigmoid Starlike Functions

abstract: In the present investigation, we study the class of Sigmoid starlike functions, given by $\mathcal{S}^*_{SG}=\{f\in\mathcal{A}: {zf'(z)}/{f(z)}\prec 2/(1+e^{-z})\}$ in context of estimating the sharp radius constants associated with several known subclasses of starlike functions. Further, graphical validation for the sharpness of results is also provided.


title: Detecting and Characterizing Propagation of Security Weaknesses in Puppet-based Infrastructure Management

abstract: Despite being beneficial for managing computing infrastructure automatically, Puppet manifests are susceptible to security weaknesses, e.g., hard-coded secrets and use of weak cryptography algorithms. Adequate mitigation of security weaknesses in Puppet manifests is thus necessary to secure computing infrastructure that are managed with Puppet manifests. A characterization of how security weaknesses propagate and affect Puppet-based infrastructure management, can inform practitioners on the relevance of the detected security weaknesses, as well as help them take necessary actions for mitigation. To that end, we conduct an empirical study with 17,629 Puppet manifests mined from 336 open source repositories. We construct Taint Tracker for Puppet Manifests (TaintPup), for which we observe 2.4 times more precision compared to that of a state-of-the-art security static analysis tool. TaintPup leverages Puppet-specific information flow analysis using which we characterize propagation of security weaknesses. From our empirical study, we observe security weaknesses to propagate into 4,457 resources, i.e, Puppet-specific code elements used to manage infrastructure. A single instance of a security weakness can propagate into as many as 35 distinct resources. We observe security weaknesses to propagate into 7 categories of resources, which include resources used to manage continuous integration servers and network controllers. According to our survey with 24 practitioners, propagation of security weaknesses into data storage-related resources is rated to have the most severe impact for Puppet-based infrastructure management.


title: A Framework for High-throughput Sequence Alignment using Real Processing-in-Memory Systems

abstract: Sequence alignment is a memory bound computation whose performance in modern systems is limited by the memory bandwidth bottleneck. Processing-in-memory architectures alleviate this bottleneck by providing the memory with computing competencies. We propose Alignment-in-Memory (AIM), a framework for high-throughput sequence alignment using processing-in-memory, and evaluate it on UPMEM, the first publicly-available general-purpose programmable processing-in-memory system. Our evaluation shows that a real processing-in-memory system can substantially outperform server-grade multi-threaded CPU systems running at full-scale when performing sequence alignment for a variety of algorithms, read lengths, and edit distance thresholds. We hope that our findings inspire more work on creating and accelerating bioinformatics algorithms for such real processing-in-memory systems. Our code is available at https://github.com/safaad/aim.


title: Relaxations and Cutting Planes for Linear Programs with Complementarity Constraints

abstract: We study relaxations for linear programs with complementarity constraints, especially instances whose complementary pairs of variables are not independent. Our formulation is based on identifying vertex covers of the conflict graph of the instance and generalizes the extended reformulation-linearization technique of Nguyen, Richard, and Tawarmalani to instances with general complementarity conditions between variables. We demonstrate how to obtain strong cutting planes for our formulation from both the stable set polytope and the boolean quadric polytope associated with a complete bipartite graph. Through an extensive computational study for three types of practical problems, we assess the performance of our proposed linear relaxation and new cutting-planes in terms of the optimality gap closed.


title: On a Class of certain Non-Univalent Functions

abstract: In this paper, we introduce a family of analytic functions given by $$\psi_{A,B}(z):= \dfrac{1}{A-B}\log{\dfrac{1+Az}{1+Bz}},$$ which maps univalently the unit disk onto either elliptical or strip domains, where either $A=-B=\alpha$ or $A=\alpha e^{i\gamma}$ and $B=\alpha e^{-i\gamma}$ ($\alpha\in(0,1]$ and $\gamma\in(0,\pi/2]$). We study a class of non-univalent analytic functions defined by \begin{equation*} \mathcal{F}[A,B]:=\left\{f\in\mathcal{A}:\left( \dfrac{zf'(z)}{f(z)}-1\right)\prec\psi_{A,B}(z)\right \}. \end{equation*} Further, we investigate various characteristic properties of $\psi_{A,B}(z)$ as well as functions in the class $\mathcal{F}[A,B]$ and obtain the sharp radius of starlikeness of order $\delta$ and univalence for the functions in $\mathcal{F}[A,B]$. Also, we find the sharp radii for functions in $\mathcal{BS}(\alpha):=\{f\in\mathcal{A}:zf'(z)/f(z)-1\prec z/(1-\alpha z^2),\;\alpha\in(0,1)\}$, $\mathcal{S}_{cs}(\alpha):=\{f\in\mathcal{A}:zf'(z)/f(z)-1\prec z/((1-z)(1+\alpha z)),\;\alpha\in(0,1)\}$ and others to be in the class $\mathcal{F}[A,B].$


title: Finite Theta Correspondence of Almost Characters

abstract: The theory of almost characters which is closely related to character sheaves is proposed by Lusztig to study the representation theory of finite reductive groups. In this article we show that the decomposition of the Weil character for finite reductive dual pairs $(\Sp_{2n},\rmO^\pm_{2n'})$ or $(\Sp_{2n},\SO_{2n'+1})$ with respect to the almost characters is exactly the same as the decomposition with respect to the irreducible characters. As a consequence, the finite theta correspondence on almost characters is established.