title: Nanostructured Plasmonic Metal Surfaces as Optical Components for Infrared Imaging and Sensing

abstract: Thermal imaging and sensing technologies offer critical information about our thermally radiant world, and in recent years, have seen dramatic increases in usage for a range of applications. However, the cost and technical finesse of manufacturing infrared optical components remain a major barrier towards the democratization of these technologies. In this report, we present a solution processed plasmonic reflective filter or PRF as a scalable and inexpensive thermal infrared optic. The PRF selectively absorbs sunlight and specularly reflects thermal infrared TIR wavelengths with performance comparable to state-of-the-art TIR optics made of materials like Germanium. Unlike traditional infrared optical components, however, the PRF can be conveniently fabricated using inexpensive materials and a dip and dry chemical synthesis technique, and crucially, has manufacturing costs that are orders of magnitude lower. We experimentally demonstrate the core optical functionality of the PRF, as well as its integration into infrared imaging and sensing systems without compromising their thermographic or radiometric capabilities. From a practical standpoint, the inexpensive and convenient fabricability of the PRF represent a significant advance towards making the benefits of thermal imaging and sensing systems more affordable and accessible. Scientifically, our work demonstrates a previously unexplored optical functionality and a new direction for versatile chemical synthesis in designing optical components.


title: Global generation of test ideals in mixed characteristic and applications

abstract: Suppose that $X$ is an integral scheme (quasi-)projective over a complete local ring of mixed characteristic. Using ideas of Takamatsu-Yoshikawa and Bhatt-Ma-et. al, we define a notion of a $+$-test ideal on $X$, including for divisors and linear series. We obtain global generation results in this setting that generalize the well known global generation results obtained via multiplier ideal sheaf techniques in characteristic $0$ and via test ideals in characteristic $p>0$. We also obtain applications to the order of vanishing of linear series and to the diminished base locus in mixed characteristic similar to results of Ein-Lazarsfeld-Mustata-Nakamaye-Popa, Nakayama, and Mustata in the equal characteristic case.


title: A Cooperative Game Theory-based Approach to Under-frequency Load Shedding Control

abstract: This paper proposes a cooperative game theory-based under-frequency load shedding (UFLS) approach for frequency stability and control in power systems. UFLS is a crucial factor for frequency stability and control especially in power grids with high penetration of renewable energy sources and restructured power systems. Conventional UFLS methods, most of which are off-line, usually shed fixed amounts of predetermined loads based on a predetermined schedule which can lead to over or under curtailment of load. This paper presents a co-operative game theory-based two-stage strategy to effectively and precisely determine locations and amounts of loads to be shed for UFLS control. In the first stage, the total amount of loads to be shed, also referred to as deficit in generation or the disturbance power, is computed using the initial rate of change of frequency (ROCOF) referred to the equivalent inertial center. In the second stage, the Shapley value, one of the solution concepts of cooperative game theory, is used to determine load shedding amounts and locations. The proposed method is implemented on the reduced 9-bus 3-machine Western Electricity Coordinating Council (WECC) system and simulated on Real-time Digital Simulators (RTDS). The results show that the proposed UFLS approach can effectively return the system to normal state after disturbances.


title: Vector fields invariant under a linear action of a compact Lie group

abstract: This note shows that the module of smooth vector fields on ${\mathbb{R}}^n$, which are invariant under the linear action of a compact Lie group $G$ is finitely generated by polynomial vector fields on ${\mathbb{R}}^n$ which are invariant under the action of $G$.


title: A Case Study of LLVM-Based Analysis for Optimizing SIMD Code Generation

abstract: This paper presents a methodology for using LLVM-based tools to tune the DCA++ (dynamical clusterapproximation) application that targets the new ARM A64FX processor. The goal is to describethe changes required for the new architecture and generate efficient single instruction/multiple data(SIMD) instructions that target the new Scalable Vector Extension instruction set. During manualtuning, the authors used the LLVM tools to improve code parallelization by using OpenMP SIMD,refactored the code and applied transformation that enabled SIMD optimizations, and ensured thatthe correct libraries were used to achieve optimal performance. By applying these code changes, codespeed was increased by 1.98X and 78 GFlops were achieved on the A64FX processor. The authorsaim to automatize parts of the efforts in the OpenMP Advisor tool, which is built on top of existingand newly introduced LLVM tooling.

categories: cs.DC cond-mat.mtrl-sci cs.AR cs.CL cs.SE


title: Kodaira Dimension and the Yamabe Problem, II

abstract: For compact complex surfaces (M^4, J) of Kaehler type, it was previously shown that the sign of the Yamabe invariant Y(M) only depends on the Kodaira dimension Kod (M, J). In this paper, we prove that this pattern in fact extends to all compact complex surfaces except those of class VII. In the process, we give a simplified proof of a result that explains why the exclusion of class VII is essential here.


title: Policy Regularization via Noisy Advantage Values for Cooperative Multi-agent Actor-Critic methods

abstract: Recent works have applied the Proximal Policy Optimization (PPO) to the multi-agent cooperative tasks, such as Independent PPO (IPPO); and vanilla Multi-agent PPO (MAPPO) which has a centralized value function. However, previous literature shows that MAPPO may not perform as well as Independent PPO (IPPO) and the Fine-tuned QMIX on Starcraft Multi-Agent Challenge (SMAC). MAPPO-Feature-Pruned (MAPPO-FP) improves the performance of MAPPO by the carefully designed agent-specific features, which may be not friendly to algorithmic utility. By contrast, we find that MAPPO may face the problem of \textit{The Policies Overfitting in Multi-agent Cooperation(POMAC)}, as they learn policies by the sampled advantage values. Then POMAC may lead to updating the multi-agent policies in a suboptimal direction and prevent the agents from exploring better trajectories. In this paper, to mitigate the multi-agent policies overfitting, we propose a novel policy regularization method, which disturbs the advantage values via random Gaussian noise. The experimental results show that our method outperforms the Fine-tuned QMIX, MAPPO-FP, and achieves SOTA on SMAC without agent-specific features. We open-source the code at \url{https://github.com/hijkzzz/noisy-mappo}.


title: Generalized stochastic areas, Winding numbers, and hyperbolic Stiefel fibrations

abstract: We study the Brownian motion on the non-compact Grassmann manifold $\frac{\mathbf{U}(n-k,k)} {\mathbf{U}(n-k)\mathbf{U}(k)}$ and some of its functionals. The key point is to realize this Brownian motion as a matrix diffusion process, use matrix stochastic calculus and take advantage of the hyperbolic Stiefel fibration to study a functional that can be understood in that setting as a generalized stochastic area process. In particular, a connection to the generalized Maass Laplacian of the complex hyperbolic space is presented and applications to the study of Brownian windings in the Lie group $\mathbf{U}(n-k,k)$ are then given.


title: Blind Non-Uniform Motion Deblurring using Atrous Spatial Pyramid Deformable Convolution and Deblurring-Reblurring Consistency

abstract: Many deep learning based methods are designed to remove non-uniform (spatially variant) motion blur caused by object motion and camera shake without knowing the blur kernel. Some methods directly output the latent sharp image in one stage, while others utilize a multi-stage strategy (\eg multi-scale, multi-patch, or multi-temporal) to gradually restore the sharp image. However, these methods have the following two main issues: 1) The computational cost of multi-stage is high; 2) The same convolution kernel is applied in different regions, which is not an ideal choice for non-uniform blur. Hence, non-uniform motion deblurring is still a challenging and open problem. In this paper, we propose a new architecture which consists of multiple Atrous Spatial Pyramid Deformable Convolution (ASPDC) modules to deblur an image end-to-end with more flexibility. Multiple ASPDC modules implicitly learn the pixel-specific motion with different dilation rates in the same layer to handle movements of different magnitude. To improve the training, we also propose a reblurring network to map the deblurred output back to the blurred input, which constrains the solution space. Our experimental results show that the proposed method outperforms state-of-the-art methods on the benchmark datasets. The code is available at https://github.com/Dong-Huo/ASPDC.


title: Magneto-elastic equilibrium of a neutron-star crust

abstract: We examine the equilibrium of a magnetized neutron-star-crust. We calculate axially symmetric models in which an elastic force balances solenoidal motion driven by a Lorentz force. A large variety of equilibrium models are allowed by incorporating the elastic shear deformation; in addition, toroidal-magnetic-field dominated models are available. These results remarkably differ from those in barotropic fluid stars. We demonstrate some models wherein the magnetic energy exceeds the elastic energy. The excess comes from the fact that a large amount of magnetic energy is associated with the irrotational part of the magnetic force, which is balanced with gravity and pressure. It is sufficient for equilibrium models that the minor solenoidal part is balanced by a weak elastic force. We find that the elasticity in the crust plays an important role on the magnetic-field confinement. Further, we present the spatial distribution of the shear-stress at the elastic limit, by which the crust-fracture location can be identified. The result has useful implications for realistic crust-quake models.


title: Regret Analysis in Deterministic Reinforcement Learning

abstract: We consider Markov Decision Processes (MDPs) with deterministic transitions and study the problem of regret minimization, which is central to the analysis and design of optimal learning algorithms. We present logarithmic problem-specific regret lower bounds that explicitly depend on the system parameter (in contrast to previous minimax approaches) and thus, truly quantify the fundamental limit of performance achievable by any learning algorithm. Deterministic MDPs can be interpreted as graphs and analyzed in terms of their cycles, a fact which we leverage in order to identify a class of deterministic MDPs whose regret lower bound can be determined numerically. We further exemplify this result on a deterministic line search problem, and a deterministic MDP with state-dependent rewards, whose regret lower bounds we can state explicitly. These bounds share similarities with the known problem-specific bound of the multi-armed bandit problem and suggest that navigation on a deterministic MDP need not have an effect on the performance of a learning algorithm.


title: On the equivalence between moderate growth-type conditions in the weight matrix setting

abstract: We study the generalizations of the known equivalent reformulations of condition moderate growth from the single weight sequence to the weight matrix setting. This condition, also known in the literature under the name stability under ultradifferentiable operators, plays a significant role in the theory of ultradifferentiable (and ultraholomorophic) function classes defined in terms of weight sequences and its generalization becomes relevant when dealing with classes defined by weight matrices. In the matrix setting, we prove that the different mixed conditions are in general not equivalently satisfied anymore and we focus on weight matrices associated with (associated) weight functions.


title: Reducing numerical precision preserves classification accuracy in Mondrian Forests

abstract: Mondrian Forests are a powerful data stream classification method, but their large memory footprint makes them ill-suited for low-resource platforms such as connected objects. We explored using reduced-precision floating-point representations to lower memory consumption and evaluated its effect on classification performance. We applied the Mondrian Forest implementation provided by OrpailleCC, a C++ collection of data stream algorithms, to two canonical datasets in human activity recognition: Recofit and Banos \emph{et al}. Results show that the precision of floating-point values used by tree nodes can be reduced from 64 bits to 8 bits with no significant difference in F1 score. In some cases, reduced precision was shown to improve classification performance, presumably due to its regularization effect. We conclude that numerical precision is a relevant hyperparameter in the Mondrian Forest, and that commonly-used double precision values may not be necessary for optimal performance. Future work will evaluate the generalizability of these findings to other data stream classifiers.


title: Irreversibility and rate dependence in sheared adhesive suspensions

abstract: Recent experiments report that slowly-sheared noncolloidal particle suspensions can exhibit unexpected rate($\omega$)-dependent complex viscosities in oscillatory shear, despite a constant relative viscosity in steady shear. Using a minimal hydrodynamic model, we show that a weak interparticle attraction reproduces this behavior. At volume fractions $\phi=20\sim50$%, the complex viscosities in both experiments and simulations display power-law reductions in shear, with a $\phi$-dependent exponent maximum at $\phi=40$%, resulting from the interplay between hydrodynamic, collision and adhesive interactions. Furthermore, this rate dependence is accompanied by diverging particle diffusivities and pronounced cluster formations even at small oscillation amplitudes $\gamma_0$. Previous studies established that suspensions transition from reversible absorbing states to irreversible diffusing states when $\gamma_0$ exceeds a $\phi$-dependent critical value $\gamma_{0,\phi}^c$. Here, we show that a second transition to irreversibility occurs below an $\omega$-dependent critical amplitude, $\gamma_{0,\omega}^c \leq \gamma_{0,\phi}^c$, in the presence of weak attractions.


title: Stabilizing Equilibrium Models by Jacobian Regularization

abstract: Deep equilibrium networks (DEQs) are a new class of models that eschews traditional depth in favor of finding the fixed point of a single nonlinear layer. These models have been shown to achieve performance competitive with the state-of-the-art deep networks while using significantly less memory. Yet they are also slower, brittle to architectural choices, and introduce potential instability to the model. In this paper, we propose a regularization scheme for DEQ models that explicitly regularizes the Jacobian of the fixed-point update equations to stabilize the learning of equilibrium models. We show that this regularization adds only minimal computational cost, significantly stabilizes the fixed-point convergence in both forward and backward passes, and scales well to high-dimensional, realistic domains (e.g., WikiText-103 language modeling and ImageNet classification). Using this method, we demonstrate, for the first time, an implicit-depth model that runs with approximately the same speed and level of performance as popular conventional deep networks such as ResNet-101, while still maintaining the constant memory footprint and architectural simplicity of DEQs. Code is available at https://github.com/locuslab/deq .


title: High-probability Bounds for Non-Convex Stochastic Optimization with Heavy Tails

abstract: We consider non-convex stochastic optimization using first-order algorithms for which the gradient estimates may have heavy tails. We show that a combination of gradient clipping, momentum, and normalized gradient descent yields convergence to critical points in high-probability with best-known rates for smooth losses when the gradients only have bounded $\mathfrak{p}$th moments for some $\mathfrak{p}\in(1,2]$. We then consider the case of second-order smooth losses, which to our knowledge have not been studied in this setting, and again obtain high-probability bounds for any $\mathfrak{p}$. Moreover, our results hold for arbitrary smooth norms, in contrast to the typical SGD analysis which requires a Hilbert space norm. Further, we show that after a suitable "burn-in" period, the objective value will monotonically decrease for every iteration until a critical point is identified, which provides intuition behind the popular practice of learning rate "warm-up" and also yields a last-iterate guarantee.


title: Non-Exhaustive Learning Using Gaussian Mixture Generative Adversarial Networks

abstract: Supervised learning, while deployed in real-life scenarios, often encounters instances of unknown classes. Conventional algorithms for training a supervised learning model do not provide an option to detect such instances, so they miss-classify such instances with 100% probability. Open Set Recognition (OSR) and Non-Exhaustive Learning (NEL) are potential solutions to overcome this problem. Most existing methods of OSR first classify members of existing classes and then identify instances of new classes. However, many of the existing methods of OSR only makes a binary decision, i.e., they only identify the existence of the unknown class. Hence, such methods cannot distinguish test instances belonging to incremental unseen classes. On the other hand, the majority of NEL methods often make a parametric assumption over the data distribution, which either fail to return good results, due to the reason that real-life complex datasets may not follow a well-known data distribution. In this paper, we propose a new online non-exhaustive learning model, namely, Non-Exhaustive Gaussian Mixture Generative Adversarial Networks (NE-GM-GAN) to address these issues. Our proposed model synthesizes Gaussian mixture based latent representation over a deep generative model, such as GAN, for incremental detection of instances of emerging classes in the test data. Extensive experimental results on several benchmark datasets show that NE-GM-GAN significantly outperforms the state-of-the-art methods in detecting instances of novel classes in streaming data.


title: More on verification of probability forecasts for football outcomes: score decompositions, reliability, and discrimination analyses

abstract: Forecast of football outcomes in terms of Home Win, Draw and Away Win relies largely on ex ante probability elicitation of these events and ex post verification of them via computation of probability scoring rules (Brier, Ranked Probability, Logarithmic, Zero-One scores). Usually, appraisal of the quality of forecasting procedures is restricted to reporting mean score values. The purpose of this article is to propose additional tools of verification, such as score decompositions into several components of special interest. Graphical and numerical diagnoses of reliability and discrimination and kindred statistical methods are presented using different techniques of binning (fixed thresholds, quantiles, logistic and iso regression). These procedures are illustrated on probability forecasts for the outcomes of the UEFA Champions League (C1) at the end of the group stage based on typical Poisson regression models with reasonably good results in terms of reliability as compared to those obtained from bookmaker odds and whatever the technique used. Links with research in machine learning and different areas of application (meteorology, medicine) are discussed.


title: The content of astrophysical jets

abstract: Jets, collimated outflows of particles and fields, are observed in a wide variety of astrophysical systems, including Active Galactic Nuclei of various types, microquasars, gamma-ray bursts, and young stellar objects. Despite intensive efforts along several decades of observational and theoretical research, there are still many uncertainties and open questions related to how jets are produced and what is their composition. In this review I offer an outline of some current views on the content and basic properties of astrophysical jets.


title: Revelio: ML-Generated Debugging Queries for Distributed Systems

abstract: A major difficulty in debugging distributed systems lies in manually determining which of the many available debugging tools to use and how to query its logs. Our own study of a production debugging workflow confirms the magnitude of this burden. This paper explores whether a machine-learning model can assist developers in distributed systems debugging. We present Revelio, a debugging assistant which takes user reports and system logs as input, and outputs debugging queries that developers can use to find a bug's root cause. The key challenges lie in (1) combining inputs of different types (e.g., natural language reports and quantitative logs) and (2) generalizing to unseen faults. Revelio addresses these by employing deep neural networks to uniformly embed diverse input sources and potential queries into a high-dimensional vector space. In addition, it exploits observations from production systems to factorize query generation into two computationally and statistically simpler learning tasks. To evaluate Revelio, we built a testbed with multiple distributed applications and debugging tools. By injecting faults and training on logs and reports from 800 Mechanical Turkers, we show that Revelio includes the most helpful query in its predicted list of top-3 relevant queries 96% of the time. Our developer study confirms the utility of Revelio.


title: An augmented Lagrangian deep learning method for variational problems with essential boundary conditions

abstract: This paper is concerned with a novel deep learning method for variational problems with essential boundary conditions. To this end, we first reformulate the original problem into a minimax problem corresponding to a feasible augmented Lagrangian, which can be solved by the augmented Lagrangian method in an infinite dimensional setting. Based on this, by expressing the primal and dual variables with two individual deep neural network functions, we present an augmented Lagrangian deep learning method for which the parameters are trained by the stochastic optimization method together with a projection technique. Compared to the traditional penalty method, the new method admits two main advantages: i) the choice of the penalty parameter is flexible and robust, and ii) the numerical solution is more accurate in the same magnitude of computational cost. As typical applications, we apply the new approach to solve elliptic problems and (nonlinear) eigenvalue problems with essential boundary conditions, and numerical experiments are presented to show the effectiveness of the new method.


title: PNet -- A Deep Learning Based Photometry and Astrometry Bayesian Framework

abstract: Time domain astronomy has emerged as a vibrant research field in recent years, focusing on celestial objects that exhibit variable magnitudes or positions. Given the urgency of conducting follow-up observations for such objects, the development of an algorithm capable of detecting them and determining their magnitudes and positions has become imperative. Leveraging the advancements in deep neural networks, we present the PNet, an end-to-end framework designed not only to detect celestial objects and extract their magnitudes and positions but also to estimate photometry uncertainty. The PNet comprises two essential steps. Firstly, it detects stars and retrieves their positions, magnitudes, and calibrated magnitudes. Subsequently, in the second phase, the PNet estimates the uncertainty associated with the photometry results, serving as a valuable reference for the light curve classification algorithm. Our algorithm has been tested using both simulated and real observation data, demonstrating the PNet's ability to deliver consistent and reliable outcomes. Integration of the PNet into data processing pipelines for time-domain astronomy holds significant potential for enhancing response speed and improving the detection capabilities for celestial objects with variable positions and magnitudes.

categories: astro-ph.IM astro-ph.GA astro-ph.SR cs.CV


title: Deep Learning Image Recognition for Non-images

abstract: Powerful deep learning algorithms open an opportunity for solving non-image Machine Learning (ML) problems by transforming these problems to into the image recognition problems. The CPC-R algorithm presented in this chapter converts non-image data into images by visualizing non-image data. Then deep learning CNN algorithms solve the learning problems on these images. The design of the CPC-R algorithm allows preserving all high-dimensional information in 2-D images. The use of pair values mapping instead of single value mapping used in the alternative approaches allows encoding each n-D point with 2 times fewer visual elements. The attributes of an n-D point are divided into pairs of its values and each pair is visualized as 2-D points in the same 2-D Cartesian coordinates. Next, grey scale or color intensity values are assigned to each pair to encode the order of pairs. This is resulted in the heatmap image. The computational experiments with CPC-R are conducted for different CNN architectures, and methods to optimize the CPC-R images showing that the combined CPC-R and deep learning CNN algorithms are able to solve non-image ML problems reaching high accuracy on the benchmark datasets. This chapter expands our prior work by adding more experiments to test accuracy of classification, exploring saliency and informativeness of discovered features to test their interpretability, and generalizing the approach.


title: On the Design of an Insurance Mechanism for Reliability Differentiation in Electricity Markets

abstract: Securing an adequate supply of dispatchable resources is critical for keeping a power system reliable under high penetrations of variable generation. Traditional resource adequacy mechanisms are poorly suited to exploiting the growing flexibility and heterogeneity of load enabled by advancements in distributed resource and control technology. To address these challenges this paper develops a resource adequacy mechanism for the electricity sector utilising insurance risk management frameworks that is adapted to a future with variable generation and flexible demand. The proposed design introduces a central insurance scheme with prudential requirements that align diverse consumer reliability preferences with the financial objectives of an insurer-of-last-resort. We illustrate the benefits of the scheme in (i) differentiating load by usage to enable better management of the system during times of extreme scarcity, (ii) incentivising incremental investment in generation infrastructure that is aligned with consumer reliability preferences and (iii) improving overall reliability outcomes for consumers.


title: Instance-optimality in optimal value estimation: Adaptivity via variance-reduced Q-learning

abstract: Various algorithms in reinforcement learning exhibit dramatic variability in their convergence rates and ultimate accuracy as a function of the problem structure. Such instance-specific behavior is not captured by existing global minimax bounds, which are worst-case in nature. We analyze the problem of estimating optimal $Q$-value functions for a discounted Markov decision process with discrete states and actions and identify an instance-dependent functional that controls the difficulty of estimation in the $\ell_\infty$-norm. Using a local minimax framework, we show that this functional arises in lower bounds on the accuracy on any estimation procedure. In the other direction, we establish the sharpness of our lower bounds, up to factors logarithmic in the state and action spaces, by analyzing a variance-reduced version of $Q$-learning. Our theory provides a precise way of distinguishing "easy" problems from "hard" ones in the context of $Q$-learning, as illustrated by an ensemble with a continuum of difficulty.


title: A deep look into the Dagum family of isotropic covariance functions

abstract: The Dagum family of isotropic covariance functions has two parameters that allow for decoupling of the fractal dimension and Hurst effect for Gaussian random fields that are stationary and isotropic over Euclidean spaces. Sufficient conditions that allow for positive definiteness in Rd of the Dagum family have been proposed on the basis of the fact that the Dagum family allows for complete monotonicity under some parameter restrictions. The spectral properties of the Dagum family have been inspected to a very limited extent only, and this paper gives insight into this direction. Specifically, we study finite and asymptotic properties of the isotropic spectral density (intended as the Hankel transform) of the Dagum model. Also, we establish some closed forms expressions for the Dagum spectral density in terms of the Fox{Wright functions. Finally, we provide asymptotic properties for such a class of spectral densities.


title: Scheduling on uniform and unrelated machines with bipartite incompatibility graphs

abstract: In this paper the problem of scheduling of jobs on parallel machines under incompatibility relation is considered. In this model a binary relation between jobs is given and no two jobs that are in the relation can be scheduled on the same machine. In particular, we consider job scheduling under incompatibility relation forming bipartite graphs, under makespan optimality criterion, on uniform and unrelated machines. We show that no algorithm can achieve a good approximation ratio for uniform machines, even for a case of unit time jobs, under $P \neq NP$. We also provide an approximation algorithm that achieves the best possible approximation ratio, even for the case of jobs of arbitrary lengths $p_j$, under the same assumption. Precisely, we present an $O(n^{1/2-\epsilon})$ inapproximability bound, for any $\epsilon > 0$; and $\sqrt{p_{sum}}$-approximation algorithm, respectively. To enrich the analysis, bipartite graphs generated randomly according to Gilbert's model $\mathcal{G}_{n,n,p(n)}$ are considered. For a broad class of $p(n)$ functions we show that there exists an algorithm producing a schedule with makespan almost surely at most twice the optimum. Due to our knowledge, this is the first study of randomly generated graphs in the context of scheduling in the considered model. For unrelated machines, an FPTAS for $R2|G = bipartite|C_{\max}$ is provided. We also show that there is no algorithm of approximation ratio $O(n^bp_{\max}^{1-\epsilon})$, even for $Rm|G = bipartite|C_{max}$ for $m \ge 3$ and any $\epsilon > 0$, $b > 0$, unless $P = NP$.


title: $\omega$-Symplectic algebra and Hamiltonian vector fields

abstract: The purpose of this paper is presenting a theoretical basis for the study of $\omega$-Hamiltonian vector fields in a more general approach than the classical one. We introduce the concepts of $\omega$-symplectic group and $\omega$-semisymplectic group, and describe some of their properties. We show that the Lie algebra of such groups is a useful tool in the recognition of an $\omega$-Hamiltonian vector field defined on a symplectic vector space $(V,\omega)$ with respect to coordinates that are not necessarily symplectic.


title: Collaborative Edge Learning in MIMO-NOMA Uplink Transmission Environment

abstract: Multiple-input multiple-output non-orthogonal multiple access (MIMO-NOMA) cellular network is promising for supporting massive connectivity. This paper exploits low-latency machine learning in the MIMO-NOMA uplink transmission environment, where a substantial amount of data must be uploaded from multiple data sources to a one-hop away edge server for machine learning. A delay-aware edge learning framework with the collaboration of data sources, the edge server, and the base station, referred to as DACEL, is proposed. Based on the delay analysis of DACEL, a NOMA channel allocation algorithm is further designed to minimize the learning delay. The simulation results show that the proposed algorithm outperforms the baseline schemes in terms of learning delay reduction.


title: AutoEKF: Scalable System Identification for COVID-19 Forecasting from Large-Scale GPS Data

abstract: We present an Extended Kalman Filter framework for system identification and control of a stochastic high-dimensional epidemic model. The scale and severity of the COVID-19 emergency have highlighted the need for accurate forecasts of the state of the pandemic at a high resolution. Mechanistic compartmental models are widely used to produce such forecasts and assist in the design of control and relief policies. Unfortunately, the scale and stochastic nature of many of these models often makes the estimation of their parameters difficult. With the goal of calibrating a high dimensional COVID-19 model using low-level mobility data, we introduce a method for tractable maximum likelihood estimation that combines tools from Bayesian inference with scalable optimization techniques from machine learning. The proposed approach uses automatic backward-differentiation to directly compute the gradient of the likelihood of COVID-19 incidence and death data. The likelihood of the observations is estimated recursively using an Extended Kalman Filter and can be easily optimized using gradient-based methods to compute maximum likelihood estimators. Our compartmental model is trained using GPS mobility data that measures the mobility patterns of millions of mobile phones across the United States. We show that, after calibrating against incidence and deaths data from the city of Philadelphia, our model is able to produce an accurate 30-day forecast of the evolution of the pandemic.


title: Thermodynamic considerations on a class of dislocation-based constitutive models

abstract: Dislocations are the main carriers of plastic deformation in crystalline materials. Physically based constitutive equations of crystal plasticity typically incorporate dislocation mechanisms, using a dislocation density based description of dislocation microstructure evolution and plastic flow. Typically, such constitutive models are not formulated in a thermodynamic framework. Nevertheless, fundamental considerations of thermodynamic consistency impose constraints on the admissible range of model parameters and/or on the range of application of such models. In particular, it is mandatory to ensure that the internal energy increase associated with dislocation accumulation is properly accounted for in the local energy balance. We demonstrate on some examples taken from the literature how failure to do so can lead to constitutive equations that violate the first and second laws of thermodynamics either generally or in some particular limit cases, and we discuss how to formulate constraints that recover thermodynamic consistency.


title: Zeroth-order optimisation on subsets of symmetric matrices with application to MPC tuning

abstract: This paper provides a zeroth-order optimisation framework for non-smooth and possibly non-convex cost functions with matrix parameters that are real and symmetric. We provide complexity bounds on the number of iterations required to ensure a given accuracy level for both the convex and non-convex case. The derived complexity bounds for the convex case are less conservative than available bounds in the literature since we exploit the symmetric structure of the underlying matrix space. Moreover, the non-convex complexity bounds are novel for the class of optimisation problems we consider. The utility of the framework is evident in the suite of applications that use symmetric matrices as tuning parameters. Of primary interest here is the challenge of tuning the gain matrices in model predictive controllers, as this is a challenge known to be inhibiting industrial implementation of these architectures. To demonstrate the framework we consider the problem of MIMO diesel air-path control, and consider implementing the framework iteratively ``in-the-loop'' to reduce tracking error on the output channels. Both simulations and experimental results are included to illustrate the effectiveness of the proposed framework over different engine drive cycles.


title: Frame Field Operators

abstract: Differential operators are widely used in geometry processing for problem domains like spectral shape analysis, data interpolation, parametrization and mapping, and meshing. In addition to the ubiquitous cotangent Laplacian, anisotropic second-order operators, as well as higher-order operators such as the Bilaplacian, have been discretized for specialized applications. In this paper, we study a class of operators that generalizes the fourth-order Bilaplacian to support anisotropic behavior. The anisotropy is parametrized by a symmetric frame field, first studied in connection with quadrilateral and hexahedral meshing, which allows for fine-grained control of local directions of variation. We discretize these operators using a mixed finite element scheme, verify convergence of the discretization, study the behavior of the operator under pullback, and present potential applications.


title: Word2Box: Capturing Set-Theoretic Semantics of Words using Box Embeddings

abstract: Learning representations of words in a continuous space is perhaps the most fundamental task in NLP, however words interact in ways much richer than vector dot product similarity can provide. Many relationships between words can be expressed set-theoretically, for example, adjective-noun compounds (eg. "red cars"$\subseteq$"cars") and homographs (eg. "tongue"$\cap$"body" should be similar to "mouth", while "tongue"$\cap$"language" should be similar to "dialect") have natural set-theoretic interpretations. Box embeddings are a novel region-based representation which provide the capability to perform these set-theoretic operations. In this work, we provide a fuzzy-set interpretation of box embeddings, and learn box representations of words using a set-theoretic training objective. We demonstrate improved performance on various word similarity tasks, particularly on less common words, and perform a quantitative and qualitative analysis exploring the additional unique expressivity provided by Word2Box.


title: Photoacoustic Silk Scaffolds for Neural stimulation and Regeneration

abstract: Neural interfaces using biocompatible scaffolds provide crucial properties for the functional repair of nerve injuries and neurodegenerative diseases, including cell adhesion, structural support, and mass transport. Neural stimulation has also been found to be effective in promoting neural regeneration. This work provides a new strategy to integrate photoacoustic (PA) neural stimulation into hydrogel scaffolds using a nanocomposite hydrogel approach. Specifically, polyethylene glycol (PEG)-functionalized carbon nanotubes (CNT), highly efficient photoacoustic agents, are embedded into silk fibroin to form biocompatible and soft photoacoustic materials. We show that these photoacoustic functional scaffolds enable non-genetic activation of neurons with a spatial precision defined by the area of light illumination, promoting neuron regeneration. These CNT/silk scaffolds offered reliable and repeatable photoacoustic neural stimulation. 94% of photoacoustic stimulated neurons exhibit a fluorescence change larger than 10% in calcium imaging in the light illuminated area. The on-demand photoacoustic stimulation increased neurite outgrowth by 1.74-fold in a dorsal root ganglion model, when compared to the unstimulated group. We also confirmed that photoacoustic neural stimulation promoted neurite outgrowth by impacting the brain-derived neurotrophic factor (BDNF) pathway. As a multifunctional neural scaffold, CNT/silk scaffolds demonstrated non-genetic PA neural stimulation functions and promoted neurite outgrowth, providing a new method for non-pharmacological neural regeneration.


title: KMTNet Nearby Galaxy Survey III. Deficient H$\alpha$ flux in the Extended Disks of Spiral Galaxies

abstract: We perform a deep wide-field imaging survey of nearby galaxies using H$\alpha$ and broadband filters to investigate the characteristics of star formation in galaxies. Motivated by the finding that star formation rates (SFRs) derived from H$\alpha$ fluxes in dwarf galaxies are systematically lower than those inferred from far-ultraviolet (FUV) fluxes, we attempt to determine whether the same trend exists in the extended disks of two star-forming galaxies. We perform spatially resolved photometry using grid-shaped apertures to measure the FUV and H$\alpha$ fluxes of star-forming regions. We also perform spectral energy distribution (SED) fittings using 11 photometric data (FUV-to-MIR) including data from the literature to estimate the local properties such as internal attenuation of individual star-forming clumps. Comparing SFR$_\mathrm{FUV}$ and SFR$_\mathrm{H\alpha}$, which are converted from the H$\alpha$ and FUV fluxes corrected for the local properties, we find that SFR$_\mathrm{H\alpha}$/SFR$_\mathrm{FUV}$ tends to decrease as the SFR decreases. We evaluate possible causes of this discrepancy between the two SFRs by restricting parameters in the SED fitting and conclude that deficient H$\alpha$ fluxes in the extended disks of galaxies are tightly correlated with recent starbursts. The strong and short starburst which is being rapidly suppressed over the last 10 Myr seems to induce a significant discrepancy between the SFR$_\mathrm{H\alpha}$ and SFR$_\mathrm{FUV}$. In addition, the recent bursts in the extended disks of galaxies appear to have occurred azimuth-symmetrically, implying that these were likely triggered by gas accretion or internal processes rather than external perturbation.


title: Estimation of the marginal effect of antidepressants on body mass index under confounding and endogenous covariate-driven monitoring times

abstract: In studying the marginal effect of antidepressants on body mass index using electronic health records data, we face several challenges. Patients' characteristics can affect the exposure (confounding) as well as the timing of routine visits (measurement process), and those characteristics may be altered following a visit which can create dependencies between the monitoring and body mass index when viewed as a stochastic or random processes in time. This may result in a form of selection bias that distorts the estimation of the marginal effect of the antidepressant. Inverse intensity of visit weights have been proposed to adjust for these imbalances, however no approaches have addressed complex settings where the covariate and the monitoring processes affect each other in time so as to induce endogeneity, a situation likely to occur in electronic health records. We review how selection bias due to outcome-dependent follow-up times may arise and propose a new cumulated weight that models a complete monitoring path so as to address the above-mentioned challenges and produce a reliable estimate of the impact of antidepressants on body mass index. More specifically, we do so using data from the Clinical Practice Research Datalink in the United Kingdom, comparing the marginal effect of two commonly used antidepressants, citalopram and fluoxetine, on body mass index. The results are compared to those obtained with simpler methods that do not account for the extent of the dependence due to an endogenous covariate process.


title: Integrating topic modeling and word embedding to characterize violent deaths

abstract: There is an escalating need for methods to identify latent patterns in text data from many domains. We introduce a new method to identify topics in a corpus and represent documents as topic sequences. Discourse Atom Topic Modeling draws on advances in theoretical machine learning to integrate topic modeling and word embedding, capitalizing on the distinct capabilities of each. We first identify a set of vectors ("discourse atoms") that provide a sparse representation of an embedding space. Atom vectors can be interpreted as latent topics: Through a generative model, atoms map onto distributions over words; one can also infer the topic that generated a sequence of words. We illustrate our method with a prominent example of underutilized text: the U.S. National Violent Death Reporting System (NVDRS). The NVDRS summarizes violent death incidents with structured variables and unstructured narratives. We identify 225 latent topics in the narratives (e.g., preparation for death and physical aggression); many of these topics are not captured by existing structured variables. Motivated by known patterns in suicide and homicide by gender, and recent research on gender biases in semantic space, we identify the gender bias of our topics (e.g., a topic about pain medication is feminine). We then compare the gender bias of topics to their prevalence in narratives of female versus male victims. Results provide a detailed quantitative picture of reporting about lethal violence and its gendered nature. Our method offers a flexible and broadly applicable approach to model topics in text data.


title: Rail-5k: a Real-World Dataset for Rail Surface Defects Detection

abstract: This paper presents the Rail-5k dataset for benchmarking the performance of visual algorithms in a real-world application scenario, namely the rail surface defects detection task. We collected over 5k high-quality images from railways across China, and annotated 1100 images with the help from railway experts to identify the most common 13 types of rail defects. The dataset can be used for two settings both with unique challenges, the first is the fully-supervised setting using the 1k+ labeled images for training, fine-grained nature and long-tailed distribution of defect classes makes it hard for visual algorithms to tackle. The second is the semi-supervised learning setting facilitated by the 4k unlabeled images, these 4k images are uncurated containing possible image corruptions and domain shift with the labeled images, which can not be easily tackle by previous semi-supervised learning methods. We believe our dataset could be a valuable benchmark for evaluating robustness and reliability of visual algorithms.


title: Domain Adaptation Broad Learning System Based on Locally Linear Embedding

abstract: Broad learning system (BLS) has been proposed for a few years. It demonstrates an effective learning capability for many classification and regression problems. However, BLS and its improved versions are mainly used to deal with unsupervised, supervised and semi-supervised learning problems in a single domain. As far as we know, a little attention is paid to the cross-domain learning ability of BLS. Therefore, we introduce BLS into the field of transfer learning and propose a novel algorithm called domain adaptation broad learning system based on locally linear embedding (DABLS-LLE). The proposed algorithm can learn a robust classification model by using a small part of labeled data from the target domain and all labeled data from the source domain. The proposed algorithm inherits the computational efficiency and learning capability of BLS. Experiments on benchmark dataset (Office-Caltech-10) verify the effectiveness of our approach. The results show that our approach can get better classification accuracy with less running time than many existing transfer learning approaches. It shows that our approach can bring a new superiority for BLS.


title: A possible tidal disruption event candidate in the black hole binary system of OJ 287

abstract: The BL Lacertae OJ 287 is a supermassive black holes binary (SMBHB) system with complex physics of its irregular flares. During 2016 October -- 2017 April period, a surprising outburst in the X-ray, UV and optical bands was detected, while no variability was seen in the $\gamma$-ray light curve. During the outburst, the X-ray light curves were dominated by the soft X-rays, whose peak in the luminosity was $\sim$ $10^{46}\text{erg}~\text{s}^{-1}$ -- more than 10 times higher than the mean level before the outburst -- and a "softer-when-brighter" phenomenon was exhibited. These above phenomena have been reported by some previous works. The hardness ratio showed negligible evolution with flare time and soft X-ray luminosity. Critically, the luminosity of the soft X-rays decayed following a power law of $t^{-5/3}$ which occurs in most tidal disruption events (TDEs), and similar trend can be seen in UV and optical bands during the soft X-ray declining period. Helium and oxygen narrow emission lines are strengthened prominently in the optical spectra of postoutburst epochs, that could be attributed to the surrounding gas appeared due to TDE. We discuss three possible origins of the event, including the jet's precession, the aftereffect of the black hole-disk impaction and the TDE. Our results show that the TDE is the more likely scenario to explain the outburst.


title: Existence and Asymptotic Behavior of Ground States for Rotating Bose-Einstein Condensates

abstract: We study ground states of two-dimensional Bose-Einstein condensates with repulsive ($a>0$) or attractive ($a<0$) interactions in a trap $V (x)$ rotating at the velocity $\Omega $. It is known that there exist critical parameters $a^*>0$ and $\Omega ^*:=\Omega^*(V(x))>0$ such that if $\Omega>\Omega^*$, then there is no ground state for any $a\in\R$; if $0\le \Omega <\Omega ^*$, then ground states exist if and only if $a\in(-a^*,+\infty)$. As a completion of the existing results, in this paper, we focus on the critical case where $0<\Omega=\Omega^*<+\infty$ and classify the existence and nonexistence of ground states for $a\in\R$. Moreover, for a suitable class of radially symmetric traps $V(x)$, employing the inductive symmetry method, we prove that up to a constant phase, the ground states must be real-valued, unique and free of vortices as $\Omega \searrow 0$, no matter whether the interactions of the condensates are repulsive or not.


title: Non-local amplification of intense vorticity in turbulent flows

abstract: The nonlinear and nonlocal coupling of vorticity and strain-rate constitutes a major hindrance in understanding the self-amplification of velocity gradients in turbulent fluid flows. Utilizing highly-resolved direct numerical simulations of isotropic turbulence in periodic domains of up to $12288^3$ grid points, and Taylor-scale Reynolds number $R_\lambda$ in the range $140-1300$, we investigate this non-locality by decomposing the strain-rate tensor into local and non-local contributions obtained through Biot-Savart integration of vorticity in a sphere of radius $R$. We find that vorticity is predominantly amplified by the non-local strain coming beyond a characteristic scale size, which varies as a simple power-law of vorticity magnitude. The underlying dynamics preferentially align vorticity with the most extensive eigenvector of non-local strain. The remaining local strain aligns vorticity with the intermediate eigenvector and does not contribute significantly to amplification; instead it surprisingly attenuates intense vorticity, leading to breakdown of the observed power-law and ultimately also the scale-invariance of vorticity amplification, with important implications for prevailing intermittency theories.


title: Sparsely Overlapped Speech Training in the Time Domain: Joint Learning of Target Speech Separation and Personal VAD Benefits

abstract: Target speech separation is the process of filtering a certain speaker's voice out of speech mixtures according to the additional speaker identity information provided. Recent works have made considerable improvement by processing signals in the time domain directly. The majority of them take fully overlapped speech mixtures for training. However, since most real-life conversations occur randomly and are sparsely overlapped, we argue that training with different overlap ratio data benefits. To do so, an unavoidable problem is that the popularly used SI-SNR loss has no definition for silent sources. This paper proposes the weighted SI-SNR loss, together with the joint learning of target speech separation and personal VAD. The weighted SI-SNR loss imposes a weight factor that is proportional to the target speaker's duration and returns zero when the target speaker is absent. Meanwhile, the personal VAD generates masks and sets non-target speech to silence. Experiments show that our proposed method outperforms the baseline by 1.73 dB in terms of SDR on fully overlapped speech, as well as by 4.17 dB and 0.9 dB on sparsely overlapped speech of clean and noisy conditions. Besides, with slight degradation in performance, our model could reduce the time costs in inference.


title: Misfit strain effect on the thermal expansion coefficient of graphene/MoS$_2$ van der Waals heterostructures

abstract: Van der Waals heterostructures such as graphene/MoS$_2$ are promising candidates for plenty of optical or electronic applications, owing to advanced properties inherited from the constitutional atomic layers. Thermal expansion is an important phenomenon to be considered for the thermal stability of the van der Waals heterstructure as temperature commonly rises during the operation of nano devices. In the present work, the thermal expansion coefficient for the graphene/MoS$_2$ heterostructure is investigated by molecular dynamics simulations, and the effect from the unavoidable misfit strain on the thermal expansion coefficient is revealed. The misfit strain can tune the thermal expansion coefficient by a factor of six, and this effect is quite robust in sense that it is not sensitive to the size or direction of the heterostructure. An analytic formula is derived to directly relate the thermal expansion coefficient to the misfit strain of the heterostructure, which qualitatively agrees with the numerical results although the analytic formula underestimates the misfit strain effect. Further analysis discloses that the misfit strain can efficiently engineer the thermal induced ripples, which serves as the key mechanism for the misfit strain effect on the thermal expansion coefficient. These findings provide valuable information for the thermal stability of van der Waals heterostructures and shall be benefit for practical applications of van der Waals heterostructure based nano devices.


title: A Span-Based Model for Joint Overlapped and Discontinuous Named Entity Recognition

abstract: Research on overlapped and discontinuous named entity recognition (NER) has received increasing attention. The majority of previous work focuses on either overlapped or discontinuous entities. In this paper, we propose a novel span-based model that can recognize both overlapped and discontinuous entities jointly. The model includes two major steps. First, entity fragments are recognized by traversing over all possible text spans, thus, overlapped entities can be recognized. Second, we perform relation classification to judge whether a given pair of entity fragments to be overlapping or succession. In this way, we can recognize not only discontinuous entities, and meanwhile doubly check the overlapped entities. As a whole, our model can be regarded as a relation extraction paradigm essentially. Experimental results on multiple benchmark datasets (i.e., CLEF, GENIA and ACE05) show that our model is highly competitive for overlapped and discontinuous NER.


title: Coloring Discrete Manifolds

abstract: Discrete d-manifolds are classes of finite simple graphs which can triangulate classical manifolds but which are defined entirely within graph theory. We show that the chromatic number X(G) of a discrete d-manifold G is sandwiched between d+1 and 2(d+1). From the general identity X(A+B)=X(A)+X(B) for the join A+B of two finite simple graphs, it follows that there are (2k)-spheres with chromatic number X=(3k+1) and (2k-1)-spheres with chromatic number X=3k. Examples of 2-manifolds with X(G)=5 have been known since the pioneering work of Fisk. Current data support the that the ceiling function of 3(d+1)/2 could be an upper bound for all d-manifolds G, generalizing a conjecture of Albertson-Stromquist, stating X(G) is bounded above by 5 for all 2-manifolds. For a d-manifold, Fisk has introduced the (d-2)-variety O(G). This graph O(G) has maximal simplices of dimension (d-2) and correspond to complete complete subgraphs K_{d-1} of G for which the dual circle has odd cardinality. In general, O(G) is a union of (d-2)-manifolds. We note that if O(S(x)) is either empty or a (d-3)-sphere for all x then O(G) is a (d-2)-manifold or empty. The knot O(G) is already interesting for 3-manifolds G because Fisk has demonstrated that every possible knot can appear as O(G) for some 3-manifold. For 4-manifolds G especially, the Fisk variety O(G) is a 2-manifold in G as long as all O(S(x)) are either empty or a knot in every unit 3-sphere S(x).


title: Concentration Behavior of Ground States for $L^2$-Critical Schr\"{o}dinger Equation with a Spatially Decaying Nonlinearity

abstract: We consider the following time-independent nonlinear $L^2$-critical Schr\"{o}dinger equation \[ -\Delta u(x)+V(x)u(x)-a|x|^{-b}|u|^{1+\frac{4-2b}{N}}=\mu u(x)\,\ \hbox{in}\,\ \mathbb{R}^N, \] where $\mu\in\mathbb{R}$, $a>0$, $N\geq 1$, $0<b<\min\{2,N\}$, and $V(x)$ is an external potential. It is shown that ground states of the above equation can be equivalently described by minimizers of the corresponding minimization problem. In this paper, we prove that there is a threshold $a^*>0$ such that minimizer exists for $0<a<a^*$ and minimizer does not exist for any $a>a^*$. However if $a=a^*$, it is proved that whether minimizer exists depends sensitively on the value of $V(0)$. Moreover, when there is no minimizer at threshold $a^*$, we give a detailed concentration behavior of minimizers as $a\nearrow a^*$, based on which we finally prove that there is a unique minimizer as $a\nearrow a^*$.


title: On holographic braneworld cosmology

abstract: Recently, S. Antonini and B. Swingle builded a holographic model for braneworld cosmology by introducing an ``end-of-the-world" (ETW) brane moving in a charged black hole spactime. In this paper, we will show that a holographic description of braneworld cosmology is possible for a general black hole spacetime with a pure tension brane if one implements a mixed boundary condition on the ETW brane. As a simple example, we study AdS-Schwarzschild black holes and show that a sensible Euclidean braneworld solution is compatible with localization of gravity on the ETW brane.


title: Statistical inference for Gumbel Type-II distribution under simple step-stress life test using Type-II censoring

abstract: In this paper, we focus on the parametric inference based on the Tampered Random Variable (TRV) model for simple step-stress life testing (SSLT) using Type-II censored data. The baseline lifetime of the experimental units, under normal stress conditions, follows the Gumbel Type-II distribution with $\alpha$ and $\lambda$ being the shape and scale parameters, respectively. Maximum likelihood estimator (MLE) and Bayes estimator of the model parameters are derived based on Type-II censored samples. We obtain asymptotic intervals of the unknown parameters using the observed Fisher information matrix. Bayes estimators are obtained using Markov Chain Monte Carlo (MCMC) method under squared error loss and LINEX loss functions. We also construct highest posterior density (HPD) intervals of the unknown model parameters. Extensive simulation studies are performed to investigate the finite sample properties of the proposed estimators. Three different optimality criteria have been considered to determine the optimal censoring plans. Finally, the methods are illustrated with the analysis of two real data sets.


title: Slope detection and toroidal 3-manifolds

abstract: The $L$-space conjecture asserts the equivalence, for prime 3-manifolds, of three properties: not being an $L$-space, having a left-orderable fundamental group, and admitting a co-oriented taut foliation. We investigate these properties for toroidal $3$-manifolds using various notions of slope detection. Our main technical result gives sufficient conditions for certain slopes on the boundaries of rational homology solid tori to be detected by left-orders, foliations, and Heegaard Floer homology. This leads to a proof that toroidal integer homology spheres have left-orderable fundamental groups, as predicted by the $L$-space conjecture. It also allows us to show that the cyclic branched covers of prime satellite knots are not $L$-spaces and have left-orderable fundamental groups, as conjectured by Gordon and Lidman. Similarly we show that a cyclic branched cover of a satellite knot admits a co-oriented taut foliation when it has a fibred companion. A partial extension of these results to toroidal links leads to a proof that prime quasi-alternating links are either hyperbolic or $(2, m)$-torus links, which generalises Menasco's classical theorem that non-split alternating links are either hyperbolic or $(2, m)$-torus links.


title: Rise and fall of $\Lambda$ and $\bar{\Lambda}$ global polarization in semi-central heavy-ion collisions at HADES, NICA and RHIC energies from the core-corona model

abstract: We compute the $\Lambda$ and $\overline{\Lambda}$ global polarizations in semi-central heavy-ion collisions using the core-corona model where the source of $\Lambda$'s and $\overline{\Lambda}$'s is taken as consisting of a high-density core and a less dense corona. We show that the overall properties of the polarization excitation functions can be linked to the relative abundance of $\Lambda$s coming from the core versus those coming from the corona. For low collision energies, the former are more abundant whereas for higher energies the latter become more abundant. The main consequence of this reversing of the relative abundance is that both polarizations peak at collision energies $\sqrt{s_{NN}}\lesssim 10$ GeV. The exact positions and heights of these peaks depend not only on this reversal of relative abundances, but also on the centrality class, which is directly related to the QGP volume and lifetime, as well as on the relative abundances of $\Lambda$s and $\overline{\Lambda}$s in the core and corona regions.The intrinsic polarizations are computed from a field theoretical approach that links the alignment of the strange quark spin with the thermal vorticity and modeling the QGP volume and lifetime using a Bjorken expansion scenario. We predict that the $\Lambda$ and $\overline{\Lambda}$ global polarizations should peak at the energy range accessible to NICA and HADES.


title: Propagation of instability fronts in modulationally unstable systems

abstract: We study evolution of pulses propagating through focusing nonlinear media. Small disturbance on the smooth initial non-uniform background leads to formation of the region of strong nonlinear oscillations. We develop here an asymptotic method for finding the law of motion of the front of this region. The method is applied to the focusing nonlinear Schroedinger equation for the particular cases of Talanov and Akhmanov-Sukhorukov-Khokhlov initial distributions with zero initial phase. The approximate analytical results agree well with the exact numerical solutions for these two problems.


title: Armoured Fighting Vehicle Team Performance Prediction against Missile Attacks with Directed Energy Weapons

abstract: A recent study has introduced a procedure to quantify the survivability of a team of armoured fighting vehicles when it is subjected to a single missile attack. In particular this study investigated the concept of collaborative active protection systems, focusing on the case where vehicle defence is provided by high power radio frequency directed energy weapons. The purpose of the current paper is to demonstrate how this analysis can be extended to account for more than one missile threat. This is achieved by introducing a jump stochastic process whose states represent the number of missiles defeated at a given time instant. Analysis proceeds through consideration of the sojourn times of this stochastic process, and it is shown how consideration of these jump times can be related to transition probabilities of the auxiliary stochastic process. The latter probabilities are then related to the probabilities of detection and disruption of missile threats. The sum of these sojourn times can then be used to quantify the survivability of the team at any given time instant. Due to the fact that there is much interest in the application of high energy lasers in the context of this paper, the numerical examples will thus focus on such directed energy weapons for armoured fighting vehicle team defence.


title: Effect of the finite speed of light in ionization of extended systems

abstract: We study propagation effects due to the finite speed of light in ionization of extended systems. We present a general quantitative theory of these effects and show under which conditions such effects should appear. The finite speed of light propagation effects are encoded in the non-dipole terms of the time-dependent Shr\"odinger equation and display themselves in the photoelectron momentum distribution projected on the molecular axis. Our numerical modeling for the \Hp molecular ion and the \Ne dimer shows that the finite light propagation time from one atomic center to another can be accurately determined in a table top laser experiment which is much more readily affordable than an earlier synchrotron measurement by Grundmann {\em et al} [Science 370, 339 (2020)]


title: On the infinitary van der Waerden Theorem

abstract: We give a purely combinatorial proof for the infinitary van der Waerden's theorem.


title: Towards Model-informed Precision Dosing with Expert-in-the-loop Machine Learning

abstract: Machine Learning (ML) and its applications have been transforming our lives but it is also creating issues related to the development of fair, accountable, transparent, and ethical Artificial Intelligence. As the ML models are not fully comprehensible yet, it is obvious that we still need humans to be part of algorithmic decision-making processes. In this paper, we consider a ML framework that may accelerate model learning and improve its interpretability by incorporating human experts into the model learning loop. We propose a novel human-in-the-loop ML framework aimed at dealing with learning problems that the cost of data annotation is high and the lack of appropriate data to model the association between the target tasks and the input features. With an application to precision dosing, our experimental results show that the approach can learn interpretable rules from data and may potentially lower experts' workload by replacing data annotation with rule representation editing. The approach may also help remove algorithmic bias by introducing experts' feedback into the iterative model learning process.


title: Multi-Compound Transformer for Accurate Biomedical Image Segmentation

abstract: The recent vision transformer(i.e.for image classification) learns non-local attentive interaction of different patch tokens. However, prior arts miss learning the cross-scale dependencies of different pixels, the semantic correspondence of different labels, and the consistency of the feature representations and semantic embeddings, which are critical for biomedical segmentation. In this paper, we tackle the above issues by proposing a unified transformer network, termed Multi-Compound Transformer (MCTrans), which incorporates rich feature learning and semantic structure mining into a unified framework. Specifically, MCTrans embeds the multi-scale convolutional features as a sequence of tokens and performs intra- and inter-scale self-attention, rather than single-scale attention in previous works. In addition, a learnable proxy embedding is also introduced to model semantic relationship and feature enhancement by using self-attention and cross-attention, respectively. MCTrans can be easily plugged into a UNet-like network and attains a significant improvement over the state-of-the-art methods in biomedical image segmentation in six standard benchmarks. For example, MCTrans outperforms UNet by 3.64%, 3.71%, 4.34%, 2.8%, 1.88%, 1.57% in Pannuke, CVC-Clinic, CVC-Colon, Etis, Kavirs, ISIC2018 dataset, respectively. Code is available at https://github.com/JiYuanFeng/MCTrans.


title: Kimera-Multi: Robust, Distributed, Dense Metric-Semantic SLAM for Multi-Robot Systems

abstract: This paper presents Kimera-Multi, the first multi-robot system that (i) is robust and capable of identifying and rejecting incorrect inter and intra-robot loop closures resulting from perceptual aliasing, (ii) is fully distributed and only relies on local (peer-to-peer) communication to achieve distributed localization and mapping, and (iii) builds a globally consistent metric-semantic 3D mesh model of the environment in real-time, where faces of the mesh are annotated with semantic labels. Kimera-Multi is implemented by a team of robots equipped with visual-inertial sensors. Each robot builds a local trajectory estimate and a local mesh using Kimera. When communication is available, robots initiate a distributed place recognition and robust pose graph optimization protocol based on a novel distributed graduated non-convexity algorithm. The proposed protocol allows the robots to improve their local trajectory estimates by leveraging inter-robot loop closures while being robust to outliers. Finally, each robot uses its improved trajectory estimate to correct the local mesh using mesh deformation techniques. We demonstrate Kimera-Multi in photo-realistic simulations, SLAM benchmarking datasets, and challenging outdoor datasets collected using ground robots. Both real and simulated experiments involve long trajectories (e.g., up to 800 meters per robot). The experiments show that Kimera-Multi (i) outperforms the state of the art in terms of robustness and accuracy, (ii) achieves estimation errors comparable to a centralized SLAM system while being fully distributed, (iii) is parsimonious in terms of communication bandwidth, (iv) produces accurate metric-semantic 3D meshes, and (v) is modular and can be also used for standard 3D reconstruction (i.e., without semantic labels) or for trajectory estimation (i.e., without reconstructing a 3D mesh).


title: Political Ideology and Polarization of Policy Positions: A Multi-dimensional Approach

abstract: Analyzing ideology and polarization is of critical importance in advancing our grasp of modern politics. Recent research has made great strides towards understanding the ideological bias (i.e., stance) of news media along the left-right spectrum. In this work, we instead take a novel and more nuanced approach for the study of ideology based on its left or right positions on the issue being discussed. Aligned with the theoretical accounts in political science, we treat ideology as a multi-dimensional construct, and introduce the first diachronic dataset of news articles whose ideological positions are annotated by trained political scientists and linguists at the paragraph level. We showcase that, by controlling for the author's stance, our method allows for the quantitative and temporal measurement and analysis of polarization as a multidimensional ideological distance. We further present baseline models for ideology prediction, outlining a challenging task distinct from stance detection.


title: Intent Disentanglement and Feature Self-supervision for Novel Recommendation

abstract: One key property in recommender systems is the long-tail distribution in user-item interactions where most items only have few user feedback. Improving the recommendation of tail items can promote novelty and bring positive effects to both users and providers, and thus is a desirable property of recommender systems. Current novel recommendation studies over-emphasize the importance of tail items without differentiating the degree of users' intent on popularity and often incur a sharp decline of accuracy. Moreover, none of existing methods has ever taken the extreme case of tail items, i.e., cold-start items without any interaction, into consideration. In this work, we first disclose the mechanism that drives a user's interaction towards popular or niche items by disentangling her intent into conformity influence (popularity) and personal interests (preference). We then present a unified end-to-end framework to simultaneously optimize accuracy and novelty targets based on the disentangled intent of popularity and that of preference. We further develop a new paradigm for novel recommendation of cold-start items which exploits the self-supervised learning technique to model the correlation between collaborative features and content features. We conduct extensive experimental results on three real-world datasets. The results demonstrate that our proposed model yields significant improvements over the state-of-the-art baselines in terms of accuracy, novelty, coverage, and trade-off.


title: On the peel number and the leaf-height of a Galton-Watson tree

abstract: We study several parameters of a random Bienaym\'e-Galton-Watson tree $T_n$ of size $n$ defined in terms of an offspring distribution $\xi$ with mean $1$ and nonzero finite variance $\sigma^2$. Let $f(s)={\bf E}\{s^\xi\}$ be the generating function of the random variable $\xi$. We show that the independence number is in probability asymptotic to $qn$, where $q$ is the unique solution to $q = f(1-q)$. One of the many algorithms for finding the largest independent set of nodes uses a notion of repeated peeling away of all leaves and their parents. The number of rounds of peeling is shown to be in probability asymptotic to $\log n / \log\bigl(1/f'(1-q)\bigr)$. Finally, we study a related parameter which we call the leaf-height. Also sometimes called the protection number, this is the maximal shortest path length between any node and a leaf in its subtree. If $p_1 = {\bf P}\{\xi=1\}>0$, then we show that the maximum leaf-height over all nodes in $T_n$ is in probability asymptotic to $\log n/\log(1/p_1)$. If $p_1 = 0$ and $\kappa$ is the first integer $i>1$ with ${\bf P}\{\xi=i\}>0$, then the leaf-height is in probability asymptotic to $\log_\kappa\log n$.


title: NNLO soft function for threshold single inclusive jet production

abstract: We present a computation of the global soft function for single-inclusive hadronic jet production at next-to-next-to-leading order (NNLO) in the strong coupling constant involving four light-like Wilson lines. Our soft function belongs to SCET$_{\text I}$ observables obeying the non-Abelian exponentiation theorem. We provide the calculation of the soft function involving four collinear light-cone directions for all $2\rightarrow2$ processes extending the previous result. We perform the threshold resummation for these processes at the next-to-next-to-leading logarithmic accuracy and present the corresponding numerical results.


title: Joint Channel Estimation and Signal Recovery for RIS-Empowered Multi-User Communications

abstract: Reconfigurable intelligent surfaces (RISs) have been recently considered as a promising candidate for energy-efficient solutions in future wireless networks. Their dynamic and lowpower configuration enables coverage extension, massive connectivity, and low-latency communications. Due to a large number of unknown variables referring to the RIS unit elements and the transmitted signals, channel estimation and signal recovery in RIS-based systems are the ones of the most critical technical challenges. To address this problem, we focus on the RIS-assisted wireless communication system and present two joint channel estimation and signal recovery schemes based on message passing algorithms in this paper. Specifically, the proposed bidirectional scheme applies the Taylor series expansion and Gaussian approximation to simplify the sum-product procedure in the formulated problem. In addition, the inner iteration that adopts two variants of approximate message passing algorithms is incorporated to ensure robustness and convergence. Two ambiguities removal methods are also discussed in this paper. Our simulation results show that the proposed schemes show the superiority over the state-of-art benchmark method. We also provide insights on the impact of different RIS parameter settings on the proposed schemes.


title: Flexible Variational Bayes based on a Copula of a Mixture

abstract: Variational Bayes methods approximate the posterior density by a family of tractable distributions whose parameters are estimated by optimisation. Variational approximation is useful when exact inference is intractable or very costly. Our article develops a flexible variational approximation based on a copula of a mixture, which is implemented by combining boosting, natural gradient, and a variance reduction method. The efficacy of the approach is illustrated by using simulated and real datasets to approximate multimodal, skewed and heavy-tailed posterior distributions, including an application to Bayesian deep feedforward neural network regression models.


title: Dimension estimates for $C^1$ iterated function systems and repellers. Part II

abstract: This is the second part of our study of the dimension theory of $C^1$ iterated function systems (IFSs) and repellers on ${\Bbb R}^d$. In the first part we proved that the upper box-counting dimension of the attractor of any $C^1$ IFS on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Here we introduce a generalized transversality condition (GTC) for parametrized families of $C^1$ IFSs, and show that these upper bounds give actually the dimensions for "typical" $C^1$ IFSs under this transversality condition. Moreover we verify the GTC for some parametrized families of $C^1$ IFSs on ${\Bbb R}^d$.


title: Resonant multigap superconductivity at room temperature near a Lifshitz topological transition in sulfur hydrides

abstract: The maximum critical temperature for superconductivity in pressurized hydrides appears at the top of superconducting domes in Tc versus pressure curves at a particular pressure, which is not predicted by standard superconductivity theories. The a high-order anisotropic van Hove singularity near the Fermi level observed in band structure calculations of pressurized sulfur hydride, typical of a supermetal, has been associated with the array of metallic hydrogen wires modules forming a nanoscale heterostructure at atomic limit called superstripes phase. Here we propose that pressurized sulfur hydrides behave as a heterostructure made of a nanoscale superlattice of interacting quantum wires with a multicomponent electronic structure. We present first-principles quantum calculation of a universal superconducting dome where Tc amplification in multi-gap superconductivity is driven by the Fano-Feshbach resonance due to configuration interaction between open and closed pairing channels, i.e., between multiple gaps in the BCS regime, resonating with a single gap in the BCS-BEC crossover regime. In the proposed three dimensional (3D) phase diagram the critical temperature shows a superconducting dome where Tc is a function of two variables (i) the Lifshitz parameter ($\eta$) measuring the separation of the chemical potential from the Lifshitz transition normalized by the inter-wires coupling and (ii) the effective electron phonon coupling (g) in the appearing new Fermi surface including phonon softening. The results will be of help for material design of room temperature superconductors at ambient pressure.


title: Analytical Approach of Matter Effect on (3+1) Neutrino Oscillation

abstract: Abstract We study the analytic expression for four flavor neutrino oscillation in the presence of matter. We calculate the time evolution operator on flavor and mass basis. We find the matter dependent mass square difference and neutrino transition probabilities for (3+1) four flavor neutrino oscillation.


title: Single RGB-D Camera Teleoperation for General Robotic Manipulation

abstract: We propose a teleoperation system that uses a single RGB-D camera as the human motion capture device. Our system can perform general manipulation tasks such as cloth folding, hammering and 3mm clearance peg in hole. We propose the use of non-Cartesian oblique coordinate frame, dynamic motion scaling and reposition of operator frames to increase the flexibility of our teleoperation system. We hypothesize that lowering the barrier of entry to teleoperation will allow for wider deployment of supervised autonomy system, which will in turn generates realistic datasets that unlock the potential of machine learning for robotic manipulation. Demo of our systems are available online https://sites.google.com/view/manipulation-teleop-with-rgbd


title: Graphical Economies with Resale

abstract: Kakade, Kearns, and Ortiz (KKO) introduce a graph-theoretic generalization of the classic Arrow--Debreu (AD) exchange economy. Despite its appeal as a networked version of AD, we argue that the KKO model is too local, in the sense that goods cannot travel more than one hop through the network. We introduce an alternative model in which agents may purchase goods on credit in order to resell them. In contrast to KKO, our model allows for long-range trade, and yields equilibria in more settings than KKO, including sparse endowments. Our model smoothly interpolates between the KKO and AD equilibrium concepts: we recover KKO when the resale capacity is zero, and recover AD when it is sufficiently large. We give general equilibrium existence results, and an auction-based algorithm to compute approximate equilibria when agent utilities satisfy the weak gross-substitutes property.


title: Override and restricted union for partial functions

abstract: The {\em override} operation $\sqcup$ is a natural one in computer science, and has connections with other areas of mathematics such as hyperplane arrangements. For arbitrary functions $f$ and $g$, $f\sqcup g$ is the function with domain $dom(f)\cup dom(g)$ that agrees with $f$ on $dom(f)$ and with $g$ on $dom(g) \backslash dom(f)$. Jackson and the author have shown that there is no finite axiomatisation of algebras of functions of signature $(\sqcup)$. But adding operations (such as {\em update}) to this minimal signature can lead to finite axiomatisations. For the functional signature $(\sqcup,\backslash)$ where $\backslash$ is set-theoretic difference, Cirulis has given a finite equational axiomatisation as subtraction o-semilattices. Define $f\curlyvee g=(f\sqcup g)\cap (g\sqcup f)$ for all functions $f$ and $g$; this is the largest domain restriction of the binary relation $f\cup g$ that gives a partial function. Now $f\cap g=f\backslash(f\backslash g)$ and $f\sqcup g=f\curlyvee(f\curlyvee g)$ for all functions $f,g$, so the signatures $(\curlyvee)$ and $(\sqcup,\cap)$ are both intermediate between $(\sqcup)$ and $(\sqcup,\backslash)$ in expressive power. We show that each is finitely axiomatised, with the former giving a proper quasivariety and the latter the variety of associative distributive o-semilattices in the sense of Cirulis.


title: Universal inference with composite likelihoods

abstract: Maximum composite likelihood estimation is a useful alternative to maximum likelihood estimation when data arise from data generating processes (DGPs) that do not admit tractable joint specification. We demonstrate that generic composite likelihoods consisting of marginal and conditional specifications permit the simple construction of composite likelihood ratio-like statistics from which finite-sample valid confidence sets and hypothesis tests can be constructed. These statistics are universal in the sense that they can be constructed from any estimator for the parameter of the underlying DGP. We demonstrate our methodology via a simulation study using a pair of conditionally specified bivariate models.


title: Quantum gravity and the square of Bell operators

abstract: The Bell's inequality is a strong criterion to distinguish classical and quantum mechanical aspects of reality. Its violation is the net effect of the existence of non-locality in systems, an advantage for quantum mechanics (QM) over classical physics. The quantum mechanical world is under the control of the Heisenberg uncertainty principle (HUP) that is generalized by quantum gravity (QG) scenarios, called generalized uncertainty principle (GUP). Here, the effects of GUP on the square of Bell operators of qubits and qutrits are studied. The achievements claim that the violation quality of the square of Bell inequalities may be a tool to get a better understanding of the quantum features of gravity. In this regard, it is obtained that the current accuracy of the Stern-Gerlach experiments implies upper bounds on the values of the GUP parameters.


title: Finite-dimensional boundary control of the linear Kuramoto-Sivashinsky equation under point measurement with guaranteed $L^2$-gain

abstract: Finite-dimensional observer-based controller design for PDEs is a challenging problem. Recently, such controllers were introduced for the 1D heat equation, under the assumption that one of the observation or control operators is bounded. This paper suggests a constructive method for such controllers for 1D parabolic PDEs with both (observation and control) operators being unbounded. We consider the Kuramoto-Sivashinsky equation (KSE) under either boundary or in-domain point measurement and boundary actuation. We employ a modal decomposition approach via dynamic extension, using eigenfunctions of a Sturm-Liouville operator. The controller dimension is defined by the number of unstable modes, whereas the observer dimension $N$ may be larger than this number. We suggest a direct Lyapunov approach to the full-order closed-loop system, which results in an LMI whose elements and dimension depend on $N$. The value of $N$ and the decay rate are obtained from the LMI. We extend our approach to internal stabilization with guaranteed $L^2$-gain and input-to-state stabilization. We prove two crucial properties of the derived LMIs. First, We prove that the LMIs are always feasible provided $N$ and the $L^2$ or ISS gains are large enough, thereby obtaining guarantees for our approach. Moreover, for the case of stabilization, we show that feasibility of the LMI for some $N$ implies its feasibility for $N+1$ (i.e., enlarging $N$ in the LMI cannot deteriorate the resulting decay rate of the closed-loop system). Numerical examples demonstrate the efficiency of the method.


title: Combinatorial BLAS 2.0: Scaling combinatorial algorithms on distributed-memory systems

abstract: Combinatorial algorithms such as those that arise in graph analysis, modeling of discrete systems, bioinformatics, and chemistry, are often hard to parallelize. The Combinatorial BLAS library implements key computational primitives for rapid development of combinatorial algorithms in distributed-memory systems. During the decade since its first introduction, the Combinatorial BLAS library has evolved and expanded significantly. This paper details many of the key technical features of Combinatorial BLAS version 2.0, such as communication avoidance, hierarchical parallelism via in-node multithreading, accelerator support via GPU kernels, generalized semiring support, implementations of key data structures and functions, and scalable distributed I/O operations for human-readable files. Our paper also presents several rules of thumb for choosing the right data structures and functions in Combinatorial BLAS 2.0, under various common application scenarios.


title: A 3D CNN Network with BERT For Automatic COVID-19 Diagnosis From CT-Scan Images

abstract: We present an automatic COVID1-19 diagnosis framework from lung CT-scan slice images. In this framework, the slice images of a CT-scan volume are first proprocessed using segmentation techniques to filter out images of closed lung, and to remove the useless background. Then a resampling method is used to select one or multiple sets of a fixed number of slice images for training and validation. A 3D CNN network with BERT is used to classify this set of selected slice images. In this network, an embedding feature is also extracted. In cases where there are more than one set of slice images in a volume, the features of all sets are extracted and pooled into a global feature vector for the whole CT-scan volume. A simple multiple-layer perceptron (MLP) network is used to further classify the aggregated feature vector. The models are trained and evaluated on the provided training and validation datasets. On the validation dataset, the accuracy is 0.9278 and the F1 score is 0.9261.


title: UNISWAP: Impermanent Loss and Risk Profile of a Liquidity Provider

abstract: Uniswap is a decentralized exchange (DEX) and was first launched on November 2, 2018 on the Ethereum mainnet [1] and is part of an Ecosystem of products in Decentralized Finance (DeFi). It replaces a traditional order book type of trading common on centralized exchanges (CEX) with a deterministic model that swaps currencies (or tokens/assets) along a fixed price function determined by the amount of currencies supplied by the liquidity providers. Liquidity providers can be regarded as investors in the decentralized exchange and earn fixed commissions per trade. They lock up funds in liquidity pools for distinct pairs of currencies allowing market participants to swap them using the fixed price function. Liquidity providers take on market risk as a liquidity provider in exchange for earning commissions on each trade. Here we analyze the risk profile of a liquidity provider and the so called impermanent (unrealized) loss in particular. We provide an improved version of the commonly denoted impermanent loss function for Uniswap v2 on the semi-infinite domain. The differences between Uniswap v2 and v3 are also discussed.

categories: q-fin.TR q-fin.CP q-fin.GN q-fin.PM q-fin.RM


title: Habitat 2.0: Training Home Assistants to Rearrange their Habitat

abstract: We introduce Habitat 2.0 (H2.0), a simulation platform for training virtual robots in interactive 3D environments and complex physics-enabled scenarios. We make comprehensive contributions to all levels of the embodied AI stack - data, simulation, and benchmark tasks. Specifically, we present: (i) ReplicaCAD: an artist-authored, annotated, reconfigurable 3D dataset of apartments (matching real spaces) with articulated objects (e.g. cabinets and drawers that can open/close); (ii) H2.0: a high-performance physics-enabled 3D simulator with speeds exceeding 25,000 simulation steps per second (850x real-time) on an 8-GPU node, representing 100x speed-ups over prior work; and, (iii) Home Assistant Benchmark (HAB): a suite of common tasks for assistive robots (tidy the house, prepare groceries, set the table) that test a range of mobile manipulation capabilities. These large-scale engineering contributions allow us to systematically compare deep reinforcement learning (RL) at scale and classical sense-plan-act (SPA) pipelines in long-horizon structured tasks, with an emphasis on generalization to new objects, receptacles, and layouts. We find that (1) flat RL policies struggle on HAB compared to hierarchical ones; (2) a hierarchy with independent skills suffers from 'hand-off problems', and (3) SPA pipelines are more brittle than RL policies.


title: Poisoning the Search Space in Neural Architecture Search

abstract: Deep learning has proven to be a highly effective problem-solving tool for object detection and image segmentation across various domains such as healthcare and autonomous driving. At the heart of this performance lies neural architecture design which relies heavily on domain knowledge and prior experience on the researchers' behalf. More recently, this process of finding the most optimal architectures, given an initial search space of possible operations, was automated by Neural Architecture Search (NAS). In this paper, we evaluate the robustness of one such algorithm known as Efficient NAS (ENAS) against data agnostic poisoning attacks on the original search space with carefully designed ineffective operations. By evaluating algorithm performance on the CIFAR-10 dataset, we empirically demonstrate how our novel search space poisoning (SSP) approach and multiple-instance poisoning attacks exploit design flaws in the ENAS controller to result in inflated prediction error rates for child networks. Our results provide insights into the challenges to surmount in using NAS for more adversarially robust architecture search.


title: Lithium niobate microring with ultra-high Q factor above 10^8

abstract: We demonstrate ultra-high Q factor microring resonators close to the intrinsic material absorption limit on lithium niobate on insulator. The microrings are fabricated on pristine lithium niobate (LN) thin film wafer thinned from LN bulk via chemo-mechanical etching without ion slicing and ion etching. A record-high Q factor up to times ten to the power of 8th at the wavelength of 1550 nm is achieved because of the ultra-smooth interface of the microrings and the absence of ion induced lattice damage, indicating an ultra-low waveguide propagation loss of about 0.28 dB per meter. The ultra-high Q microrings will pave the way for integrated quantum light source, frequency comb generation, and nonlinear optical processes.


title: A Bound on the Edge-Flipping Distance between Triangulations (Revisiting the Proof)

abstract: We revisit here a fundamental result on planar triangulations, namely that the flip distance between two triangulations is upper-bounded by the number of proper intersections between their straight-segment edges. We provide a complete and detailed proof of this result in a slightly generalised setting using a case-based analysis that fills several gaps left by previous proofs of the result.


title: Massive compact disks around FU Orionis-type young eruptive stars revealed by ALMA

abstract: FU Orionis-type objects (FUors) are low-mass pre-main sequence stars undergoing a temporary, but significant increase of mass accretion rate from the circumstellar disk onto the protostar. It is not yet clear what triggers the accretion bursts and whether the disks of FUors are in any way different from disks of non-bursting young stellar objects. Motivated by this, we conducted a 1.3 mm continuum survey of ten FUors and FUor-like objects with ALMA, using both the 7 m array and the 12 m array in two different configurations to recover emission at the widest possible range of spatial scales. We detected all targeted sources and several nearby objects as well. To constrain the disk structure, we fit the data with models of increasing complexity from 2D Gaussian to radiative transfer, enabling comparison with other samples modeled in a similar way. The radiative transfer modeling gives disk masses that are significantly larger than what is obtained from the measured millimeter fluxes assuming optically thin emission, suggesting that the FUor disks are optically thick at this wavelength. In comparison with samples of regular Class II and Class I objects, the disks of FUors are typically a factor of 2.9-4.4 more massive and a factor of 1.5-4.7 smaller in size. A significant fraction of them (65-70%) may be gravitationally unstable.


title: TeV Scale Resonant Leptogenesis with $L_{\mu}-L_{\tau}$ Gauge Symmetry in the Light of Muon $(g-2)$

abstract: Motivated by the growing evidence for the possible lepton flavour universality violation after the first results from Fermilab's muon $(g-2)$ measurement, we revisit one of the most widely studied anomaly free extensions of the standard model namely, gauged $L_{\mu}-L_{\tau}$ model, to find a common explanation for muon $(g-2)$ as well as baryon asymmetry of the universe via leptogenesis. The minimal setup allows TeV scale resonant leptogenesis satisfying light neutrino data while the existence of light $L_{\mu}-L_{\tau}$ gauge boson affects the scale of leptogenesis as the right handed neutrinos are charged under it. For $L_{\mu}-L_{\tau}$ gauge boson mass at GeV scale or above, the muon $(g-2)$ favoured parameter space is already ruled out by other experimental data while bringing down its mass to sub-GeV regime leads to vanishing lepton asymmetry due to highly restrictive structures of lepton mass matrices at the scale of leptogenesis. Extending the minimal model with two additional Higgs doublets can lead to a scenario consistent with successful resonant leptogenesis and muon $(g-2)$ while satisfying all relevant experimental data.


title: From Seiberg-Witten to Gromov: MCE and Singular Symplectic Forms

abstract: Motivated by various possible generalizations of Taubes's \(SW=Gr\) theorem [T] to Floer-theoretic setting, we prove certain variants of Taubes's convergence theorem in \cite{T} (the first part of his proof of \(SW=Gr\)). In place of the closed symplectic 4-manifold considered in [T], this article considers non-compact manifolds with cylindrical ends, equipped with a self-dual harmonic 2-form with non-degenerate zeroes. This extends and simplifies some central technical ingredients of the author's prior work in [LT] and [KLT5]. Other expected applications include: extending the \(HM=PFH\) theorem in [T] and the \(HM=HF\) theorem in [KLT1]-[KLT5] to TQFTs on both sides [L1]; definitions of large-perturbation Seiberg-Witten analogs of Heegaard Floer theory's link Floer homologies and link cobordism invariants.