title: Shape-velocity correlation defines polarization in migrating cell simulations

abstract: Cell migration plays essential roles in development, wound healing, diseases, and in the maintenance of a complex body. Experiments in collective cell migration generally measure quantities such as cell displacement and velocity. The observed short-time diffusion regime for mean square displacement in single-cell migration experiments on flat surfaces calls into question the definition of cell velocity and the measurement protocol. Theoretical results in stochastic modeling for single-cell migration have shown that this fast diffusive regime is explained by a white noise acting on displacement on the direction perpendicular to the migrating cell polarization axis (not on velocity). The prediction is that only the component of velocity parallel to the polarization axis is a well-defined quantity, with a robust measurement protocol. Here, we ask whether we can find a definition of a migrating-cell polarization that is able to predict the cell's subsequent displacement, based on measurements of its shape. Supported by experimental evidence that cell nucleus lags behind the cell center of mass in a migrating cell, we propose a robust parametrization for cell migration where the distance between cell nucleus and the cell's center of mass defines cell shape polarization. We tested the proposed methods by applying to a simulation model for three-dimensional cells performed in the CompuCell3D environment, previously shown to reproduce biological cells kinematics migrating on a flat surface.


title: Model theoretic properties of dynamics on the Cantor set

abstract: We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of "generic" used by Akin, Glasner, and Weiss is distinct from the notion of "generic" encountered in Fraisse theory.


title: Smoothing-Averse Control: Covertness and Privacy from Smoothers

abstract: In this paper we investigate the problem of controlling a partially observed stochastic dynamical system such that its state is difficult to infer using a (fixed-interval) Bayesian smoother. This problem arises naturally in applications in which it is desirable to keep the entire state trajectory of a system concealed. We pose our smoothing-averse control problem as the problem of maximising the (joint) entropy of smoother state estimates (i.e., the joint conditional entropy of the state trajectory given the history of measurements and controls). We show that the entropy of Bayesian smoother estimates for general nonlinear state-space models can be expressed as the sum of entropies of marginal state estimates given by Bayesian filters. This novel additive form allows us to reformulate the smoothing-averse control problem as a fully observed stochastic optimal control problem in terms of the usual concept of the information (or belief) state, and solve the resulting problem via dynamic programming. We illustrate the applicability of smoothing-averse control to privacy in cloud-based control and covert robotic navigation.


title: TeCoMiner: Topic Discovery Through Term Community Detection

abstract: This note is a short description of TeCoMiner, an interactive tool for exploring the topic content of text collections. Unlike other topic modeling tools, TeCoMiner is not based on some generative probabilistic model but on topological considerations about co-occurrence networks of terms. We outline the methods used for identifying topics, describe the features of the tool, and sketch an application, using a corpus of policy related scientific news on environmental issues published by the European Commission over the last decade.


title: Deep Reinforcement Learning for Mapless Navigation of a Hybrid Aerial Underwater Vehicle with Medium Transition

abstract: Since the application of Deep Q-Learning to the continuous action domain in Atari-like games, Deep Reinforcement Learning (Deep-RL) techniques for motion control have been qualitatively enhanced. Nowadays, modern Deep-RL can be successfully applied to solve a wide range of complex decision-making tasks for many types of vehicles. Based on this context, in this paper, we propose the use of Deep-RL to perform autonomous mapless navigation for Hybrid Unmanned Aerial Underwater Vehicles (HUAUVs), robots that can operate in both, air or water media. We developed two approaches, one deterministic and the other stochastic. Our system uses the relative localization of the vehicle and simple sparse range data to train the network. We compared our approaches with a traditional geometric tracking controller for mapless navigation. Based on experimental results, we can conclude that Deep-RL-based approaches can be successfully used to perform mapless navigation and obstacle avoidance for HUAUVs. Our vehicle accomplished the navigation in two scenarios, being capable to achieve the desired target through both environments, and even outperforming the geometric-based tracking controller on the obstacle-avoidance capability.


title: Spectropolarimetry of NGC3783 and Mrk509: Evidence for powerful nuclear winds in Seyfert 1 Galaxies

abstract: We present results from high signal-to-noise optical spectropolarimetric observations of the Seyfert 1 galaxies NGC783 and Mrk509 in the 3500-7000 A range. We find complex structure in the polarized emission for both objects. In particular, Position Angle (PA) changes across the Balmer lines show a distinctive 'M'-shaped profile that had not been observed in this detail before, but could represent a common trait in Seyfert 1 galaxies. In fact, while this shape is observed in all Balmer lines in NGC3783, Mrk509 transitions into a 'M'-shaped PA profile for higher transitions lines. We have modeled the observed profiles using the STOKES radiative transfer code and assuming that the scattering region is co-spatial with the BLR and outflowing. The results give compelling new evidence for the presence of nuclear winds in these two Seyfert 1 galaxies.


title: Isospectrality and matrices with concentric circular higher rank numerical ranges

abstract: We characterize under what conditions $n\times n$ Hermitian matrices $A_1$ and $A_2$ have the property that the spectrum of $\cos t A_1 + \sin t A_2$ is independent of $t$ (thus, the trigonometric pencil $\cos t A_1 + \sin t A_2$ is isospectral). One of the characterizations requires the first $\lceil \frac{n}{2} \rceil$ higher rank numerical ranges of the matrix $A_1+iA_2$ to be circular disks with center 0. Finding the unitary similarity between $\cos t A_1 + \sin t A_2$ and, say, $A_1$ involves finding a solution to Lax's equation.


title: Weakly Supervised Instance Segmentation for Videos with Temporal Mask Consistency

abstract: Weakly supervised instance segmentation reduces the cost of annotations required to train models. However, existing approaches which rely only on image-level class labels predominantly suffer from errors due to (a) partial segmentation of objects and (b) missing object predictions. We show that these issues can be better addressed by training with weakly labeled videos instead of images. In videos, motion and temporal consistency of predictions across frames provide complementary signals which can help segmentation. We are the first to explore the use of these video signals to tackle weakly supervised instance segmentation. We propose two ways to leverage this information in our model. First, we adapt inter-pixel relation network (IRN) to effectively incorporate motion information during training. Second, we introduce a new MaskConsist module, which addresses the problem of missing object instances by transferring stable predictions between neighboring frames during training. We demonstrate that both approaches together improve the instance segmentation metric $AP_{50}$ on video frames of two datasets: Youtube-VIS and Cityscapes by $5\%$ and $3\%$ respectively.


title: Efficiently Answering Durability Prediction Queries

abstract: We consider a class of queries called durability prediction queries that arise commonly in predictive analytics, where we use a given predictive model to answer questions about possible futures to inform our decisions. Examples of durability prediction queries include "what is the probability that this financial product will keep losing money over the next 12 quarters before turning in any profit?" and "what is the chance for our proposed server cluster to fail the required service-level agreement before its term ends?" We devise a general method called Multi-Level Splitting Sampling (MLSS) that can efficiently handle complex queries and complex models -- including those involving black-box functions -- as long as the models allow us to simulate possible futures step by step. Our method addresses the inefficiency of standard Monte Carlo (MC) methods by applying the idea of importance splitting to let one "promising" sample path prefix generate multiple "offspring" paths, thereby directing simulation efforts toward more promising paths. We propose practical techniques for designing splitting strategies, freeing users from manual tuning. Experiments show that our approach is able to achieve unbiased estimates and the same error guarantees as standard MC while offering an order-of-magnitude cost reduction.


title: Searching for refractory plasmonic materials: the structural and optical properties of Au$_{3}$Zr intermetallic thin films

abstract: Optical properties of refractory intermetallic thin films of Au$_{3}$Zr were experimentally investigated for the first time, which show distinctive plasmonic properties in the visible and near infrared region. The films were fabricated through DC magnetron sputtering at various deposition temperature ranging from room temperature to 427$^{o}$C and annealed at different vacuum levels. Both the structural and optical properties are found to be critically dependent on deposition temperature and anneal conditions. Films deposited between 205-320$^{o}$C are shown to exhibit lower negative permittivity and better thermal stability, which could be linked to specific crystalline orientations. The films are stable when annealed at 10$^{-8}$ Torr, but are partially oxidized when annealed at 10$^{-6}$ Torr, suggesting oxidization could be a restricting issue for high-temperature applications in ambient environment.


title: Enhanced bounds for rho-invariants for both general and spherical 3-manifolds

abstract: We establish enhanced bounds on Cheeger-Gromov rho-invariants for general 3-manifolds and yet stronger bounds for special classes of 3-manifold. As key ingredients, we construct chain null-homotopies whose complexity is linearly bounded by its boundary's. This result can be regarded as an algebraic topological analogue of Gromov's conjecture for quantitative topology. The author hopes for applications to various fields including the smooth knot concordance group, quantitative topology, and complexity theory.


title: Dual Online Stein Variational Inference for Control and Dynamics

abstract: Model predictive control (MPC) schemes have a proven track record for delivering aggressive and robust performance in many challenging control tasks, coping with nonlinear system dynamics, constraints, and observational noise. Despite their success, these methods often rely on simple control distributions, which can limit their performance in highly uncertain and complex environments. MPC frameworks must be able to accommodate changing distributions over system parameters, based on the most recent measurements. In this paper, we devise an implicit variational inference algorithm able to estimate distributions over model parameters and control inputs on-the-fly. The method incorporates Stein Variational gradient descent to approximate the target distributions as a collection of particles, and performs updates based on a Bayesian formulation. This enables the approximation of complex multi-modal posterior distributions, typically occurring in challenging and realistic robot navigation tasks. We demonstrate our approach on both simulated and real-world experiments requiring real-time execution in the face of dynamically changing environments.


title: Robust BPX Preconditioner for Fractional Laplacians on Bounded Lipschitz Domains

abstract: We propose and analyze a robust BPX preconditioner for the integral fractional Laplacian on bounded Lipschitz domains. For either quasi-uniform grids or graded bisection grids, we show that the condition numbers of the resulting systems remain uniformly bounded with respect to both the number of levels and the fractional power. The results apply also to the spectral and censored fractional Laplacians.


title: $^{22}$Ne Phase Separation As A Solution To The Ultramassive White Dwarf Cooling Anomaly

abstract: The precise astrometric measurements of the Gaia Data Release 2 have opened the door to detailed tests of the predictions of white dwarf cooling models. Significant discrepancies between theory and observations have been identified, the most striking affecting ultramassive white dwarfs. Cheng et al. (2019) found that a small fraction of white dwarfs on the so-called Q branch must experience an extra cooling delay of $\sim 8\,$Gyr not predicted by current models. $^{22}$Ne phase separation in a crystallizing C/O white dwarf can lead to a distillation process that efficiently transports $^{22}$Ne toward its center, thereby releasing a considerable amount of gravitational energy. Using state-of-the-art Monte Carlo simulations, we show that this mechanism can largely resolve the ultramassive cooling anomaly if the delayed population consists of white dwarfs with moderately above-average $^{22}$Ne abundances. We also argue that $^{22}$Ne phase separation can account for the smaller cooling delay currently missing for models of white dwarfs with more standard compositions.


title: Dynamic wetting effects in finite mobility ratio Hele-Shaw flow

abstract: In this paper we study the effects of dynamic wetting on the immiscible displacement of a high viscosity fluid subject to the radial injection of a less viscous fluid in a Hele-Shaw cell. The displaced fluid can leave behind a trailing film that coats the cell walls, dynamically affecting the pressure drop at the fluid interface. By considering the non-linear pressure drop in a boundary element formulation, we construct a Picard scheme to iteratively predict the interfacial velocity and subsequent displacement in finite mobility ratio flow regimes. Dynamic wetting delays the onset of finger bifurcation in the late stages of interfacial growth, and at high local capillary numbers can alter the fundamental mode of bifurcation, producing vastly different finger morphologies. In low mobility ratio regimes, we see that finger interaction is reduced and characteristic finger breaking mechanisms are delayed but never fully inhibited. In high mobility ratio regimes, finger shielding is reduced when dynamic wetting is present. Finger bifurcation is delayed which allows the primary fingers to advance further into the domain before secondary fingers are generated, reducing the level of competition.


title: Facility Reallocation on the Line

abstract: We consider a multi-stage facility reallocation problems on the real line, where a facility is being moved between time stages based on the locations reported by $n$ agents. The aim of the reallocation algorithm is to minimise the social cost, i.e., the sum over the total distance between the facility and all agents at all stages, plus the cost incurred for moving the facility. We study this problem both in the offline setting and online setting. In the offline case the algorithm has full knowledge of the agent locations in all future stages, and in the online setting the algorithm does not know these future locations and must decide the location of the facility on a stage-per-stage basis. We derive the optimal algorithm in both cases. For the online setting we show that its competitive ratio is $(n+2)/(n+1)$. As neither of these algorithms turns out to yield a strategy-proof mechanism, we propose another strategy-proof mechanism which has a competitive ratio of $(n+3)/(n+1)$ for odd $n$ and $(n+4)/n$ for even $n$, which we conjecture to be the best possible. We also consider a generalisation with multiple facilities and weighted agents, for which we show that the optimum can be computed in polynomial time for a fixed number of facilities.


title: A Time-Temperature Dataset for the Strawberry Cold Chain Across Multiple Shipments and Locations

abstract: This article describes location aware temperature profiles from six strawberry shipments across the continental United States. Three pallets were instrumented in each shipment with three vertically placed loggers to take a longitudinal and latitudinal snapshot of 9 strategically different locations (including the top, middle and bottom layers of the pallets placed in the back, middle and the front of the shipping container) for a combined 54 measurement points across shipments of varying lengths. The sensors were instrumented in the field, right at the point of harvest, recorded temperatures every every 5 to 10 minutes depending on the shipment, and uploaded their data periodically via cellular radios on each device. The data is a result of significant collaboration between stakeholders from farmers to distributors to retailers to academics, which can play an important role for researchers and educators in food engineering, cold-chain, machine learning, and data mining, as well as in other disciplines related to food and transportation.


title: SETGAN: Scale and Energy Trade-off GANs for Image Applications on Mobile Platforms

abstract: We consider the task of photo-realistic unconditional image generation (generate high quality, diverse samples that carry the same visual content as the image) on mobile platforms using Generative Adversarial Networks (GANs). In this paper, we propose a novel approach to trade-off image generation accuracy of a GAN for the energy consumed (compute) at run-time called Scale-Energy Tradeoff GAN (SETGAN). GANs usually take a long time to train and consume a huge memory hence making it difficult to run on edge devices. The key idea behind SETGAN for an image generation task is for a given input image, we train a GAN on a remote server and use the trained model on edge devices. We use SinGAN, a single image unconditional generative model, that contains a pyramid of fully convolutional GANs, each responsible for learning the patch distribution at a different scale of the image. During the training process, we determine the optimal number of scales for a given input image and the energy constraint from the target edge device. Results show that with SETGAN's unique client-server-based architecture, we were able to achieve a 56% gain in energy for a loss of 3% to 12% SSIM accuracy. Also, with the parallel multi-scale training, we obtain around 4x gain in training time on the server.


title: Comments on "A Framework for Control System Design Subject to Average Data-Rate Constraints"

abstract: Theorem~ 4.1 in the 2011 paper "A Framework for Control System Design Subject to Average Data-Rate Constraints" allows one to lower bound average operational data rates in feedback loops (including the situation in which encoder and decoder have side information). Unfortunately, its proof is invalid. In this note we first state the theorem and explain why its proof is flawed, and then provide a correct proof under weaker assumptions.


title: Effects of Intense Magnetic Fields, High Temperature and Density on QCD-Related Phenomena

abstract: The effects of high-temperature, dense systems, and strong magnetic fields on Quantum Chromodynamics related phenomena are studied in different perspectives: in the high-temperature and densities, the QCD-phase diagram from the Linear Sigma Model point of view is computed. In particular, the CEP location and transition lines for chiral restoration were found. In the intense magnetic fields and high-gluon density, the gluon fusion and gluon splitting channels are proposed as new photon production sources to better explain the experimental data in the so-called "photon puzzle". Finally, the thermal and magnetic screening properties for gluons encoded into the polarization tensor were addressed in terms of the Debye mass.


title: The Multicolored Graph Realization Problem

abstract: We introduce the Multicolored Graph Realization problem (MGRP). The input to the problem is a colored graph $(G,\varphi)$, i.e., a graph together with a coloring on its vertices. We can associate to each colored graph a cluster graph ($G_\varphi)$ in which, after collapsing to a node all vertices with the same color, we remove multiple edges and self-loops. A set of vertices $S$ is multicolored when $S$ has exactly one vertex from each color class. The problem is to decide whether there is a multicolored set $S$ such that, after identifying each vertex in $S$ with its color class, $G[S]$ coincides with $G_\varphi$. The MGR problem is related to the class of generalized network problems, most of which are NP-hard. For example the generalized MST problem. MGRP is a generalization of the Multicolored Clique Problem, which is known to be W[1]-hard when parameterized by the number of colors. Thus MGRP remains W[1]-hard, when parameterized by the size of the cluster graph and when parameterized by any graph parameter on $G_\varphi$, among those for treewidth. We look to instances of the problem in which both the number of color classes and the treewidth of $G_\varphi$ are unbounded. We show that MGRP is NP-complete when $G_\varphi$ is either chordal, biconvex bipartite, complete bipartite or a 2-dimensional grid. Our hardness results follows from suitable reductions from the 1-in-3 monotone SAT problem. Our reductions show that the problem remains hard even when the maximum number of vertices in a color class is 3. In the case of the grid, the hardness holds also graphs with bounded degree. We complement those results by showing combined parameterizations under which the MGR problem became tractable.


title: Loss based prior for the degrees of freedom of the Wishart distribution

abstract: Motivated by the proliferation of extensive macroeconomic and health datasets necessitating accurate forecasts, a novel approach is introduced to address Vector Autoregressive (VAR) models. This approach employs the global-local shrinkage-Wishart prior. Unlike conventional VAR models, where degrees of freedom are predetermined to be equivalent to the size of the variable plus one or equal to zero, the proposed method integrates a hyperprior for the degrees of freedom to account for the uncertainty about the parameter values. Specifically, a loss-based prior is derived to leverage information regarding the data-inherent degrees of freedom. The efficacy of the proposed prior is demonstrated in a multivariate setting for forecasting macroeconomic data, as well as Dengue infection data.


title: Vacuum states from a resolution of the lightcone singularity

abstract: The lightcone singularity at the origin is resolved by blowing up the singular point to $CP^1$. The Lorentz group acts on the resolved lightcone and has $CP^1$ as a special orbit. Using Wigner's method of associating unitary irreducible representations of the Poincar\'e group to particle states, we find that the special orbit gives rise to new vacuum states. These vacuum states are labelled by the principal series representations of $SL(2,C)$. Some remarks are included on the applications of these results to gauge theories and asymptotically flat spacetimes.


abstract: We present Region Similarity Representation Learning (ReSim), a new approach to self-supervised representation learning for localization-based tasks such as object detection and segmentation. While existing work has largely focused on solely learning global representations for an entire image, ReSim learns both regional representations for localization as well as semantic image-level representations. ReSim operates by sliding a fixed-sized window across the overlapping area between two views (e.g., image crops), aligning these areas with their corresponding convolutional feature map regions, and then maximizing the feature similarity across views. As a result, ReSim learns spatially and semantically consistent feature representation throughout the convolutional feature maps of a neural network. A shift or scale of an image region, e.g., a shift or scale of an object, has a corresponding change in the feature maps; this allows downstream tasks to leverage these representations for localization. Through object detection, instance segmentation, and dense pose estimation experiments, we illustrate how ReSim learns representations which significantly improve the localization and classification performance compared to a competitive MoCo-v2 baseline: $+2.7$ AP$^{\text{bb}}_{75}$ VOC, $+1.1$ AP$^{\text{bb}}_{75}$ COCO, and $+1.9$ AP$^{\text{mk}}$ Cityscapes. Code and pre-trained models are released at: \url{https://github.com/Tete-Xiao/ReSim}


title: Joint Dynamic Models and Statistical Inference for Recurrent Competing Risks, Longitudinal Marker, and Health Status

abstract: Consider a subject or unit in a longitudinal biomedical, public health, engineering, economic or social science study which is being monitored over a possibly random duration. Over time this unit experiences recurrent events of several types and a longitudinal marker transitions over a discrete state-space. In addition, its "health" status also transitions over a discrete state-space with at least one absorbing state. A vector of covariates will also be associated with this unit. Of major interest for this unit is the time-to-absorption of its health status process, which could be viewed as the unit's lifetime. Aside from being affected by its covariate vector, there could be associations among the recurrent competing risks processes, the longitudinal marker process, and the health status process in the sense that the time-evolution of each process is associated with the other processes. To obtain more realistic models and enhance inferential performance, a joint dynamic stochastic model for these components is proposed and statistical inference methods are developed. This joint model, formulated via counting processes and continuous-time Markov chains, has the potential of facilitating `personalized' interventions. This could enhance, for example, the implementation and adoption of precision medicine in medical settings. Semi-parametric and likelihood-based inferential methods for the model parameters are developed when a sample of these units is available. Finite-sample and asymptotic properties of estimators of model parameters, both finite- and infinite-dimensional, are obtained analytically or through simulation studies. The developed procedures are illustrated using a real data set.


title: Chain Recurrence and Positive Shadowing in Linear Dynamics

abstract: We study shadowing and chain recurrence in the context of linear operators acting on Banach spaces or even on normed vector spaces. We show that for linear operators there is only one chain recurrent set, and this set is actually a closed invariant subspace. We prove that every chain transitive linear dynamical system with the shadowing property is frequently hypercyclic, and as a corollary obtain that every shadowing hypercyclic linear dynamical system is frequently hypercyclic.


title: An Offline Delegatable Cryptocurrency System

abstract: Blockchain-based cryptocurrencies, facilitating the convenience of payment by providing a decentralized online solution, have not been widely adopted so far due to slow confirmation of transactions. Offline delegation offers an efficient way to exchange coins. However, in such an approach, the coins that have been delegated confront the risk of being spent twice since the delegator's behaviour cannot be restricted easily on account of the absence of effective supervision. Even if a third party can be regarded as a judge between the delegator and delegatee to secure transactions, she still faces the threat of being compromised or providing misleading assure. Moreover, the approach equipped with a third party contradicts the real intention of decentralized cryptocurrency systems. In this paper, we propose \textit{DelegaCoin}, an offline delegatable cryptocurrency system to mitigate such an issue. We exploit trusted execution environments (TEEs) as decentralized "virtual agents" to prevent malicious delegation. In DelegaCoin, an owner can delegate his coins through offline-transactions without interacting with the blockchain network. A formal model and analysis, prototype implementation, and further evaluation demonstrate that our scheme is provably secure and practically feasible.


title: CSFCube -- A Test Collection of Computer Science Research Articles for Faceted Query by Example

abstract: Query by Example is a well-known information retrieval task in which a document is chosen by the user as the search query and the goal is to retrieve relevant documents from a large collection. However, a document often covers multiple aspects of a topic. To address this scenario we introduce the task of faceted Query by Example in which users can also specify a finer grained aspect in addition to the input query document. We focus on the application of this task in scientific literature search. We envision models which are able to retrieve scientific papers analogous to a query scientific paper along specifically chosen rhetorical structure elements as one solution to this problem. In this work, the rhetorical structure elements, which we refer to as facets, indicate objectives, methods, or results of a scientific paper. We introduce and describe an expert annotated test collection to evaluate models trained to perform this task. Our test collection consists of a diverse set of 50 query documents in English, drawn from computational linguistics and machine learning venues. We carefully follow the annotation guideline used by TREC for depth-k pooling (k = 100 or 250) and the resulting data collection consists of graded relevance scores with high annotation agreement. State of the art models evaluated on our dataset show a significant gap to be closed in further work. Our dataset may be accessed here: https://github.com/iesl/CSFCube


title: Large Magnetic Moment in Flexoelectronic Silicon at Room Temperature

abstract: Time-dependent rotational electric polarizations have been proposed to generate temporally varying magnetic moments, for example, through a combination of ferroelectric polarization and optical phonons. This phenomenon has been called dynamical multiferroicity, but explicit experimental demonstrations have been elusive to date. Here, we report the detection of a temporal magnetic moment as high as 1.2 mu_B/atom in charge-doped thin film of silicon under flexural strain. We demonstrate that the magnetic moment is generated by a combination of electric polarization arising from a flexoelectronic charge separation along the strain gradient and the deformation potential of phonons. The effect can be controlled by adjusting the external strain gradient, doping concentration and dopant, and can be regarded as a dynamical multiferroic effect involving flexoelectronics polarization instead of ferroelectricity. The discovery of a large magnetic moment in silicon may enable the use of non-magnetic and non-ferroelectric semiconductors in various multiferroic and spintronic applications.


title: Isolating Cuts, (Bi-)Submodularity, and Faster Algorithms for Global Connectivity Problems

abstract: Li and Panigrahi, in recent work, obtained the first deterministic algorithm for the global minimum cut of a weighted undirected graph that runs in time $o(mn)$. They introduced an elegant and powerful technique to find isolating cuts for a terminal set in a graph via a small number of $s$-$t$ minimum cut computations. In this paper we generalize their isolating cut approach to the abstract setting of symmetric bisubmodular functions (which also capture symmetric submodular functions). Our generalization to bisubmodularity is motivated by applications to element connectivity and vertex connectivity. Utilizing the general framework and other ideas we obtain significantly faster randomized algorithms for computing global (and subset) connectivity in a number of settings including hypergraphs, element connectivity and vertex connectivity in graphs, and for symmetric submodular functions.


title: Ultra-stable Free-Space Laser Links for a Global Network of Optical Atomic Clocks

abstract: A global network of optical atomic clocks will enable unprecedented measurement precision in fields including tests of fundamental physics, dark matter searches, geodesy, and navigation. Free-space laser links through the turbulent atmosphere are needed to fully exploit this global network, by enabling comparisons to airborne and spaceborne clocks. We demonstrate frequency transfer over a 2.4 km atmospheric link with turbulence similar to that of a ground-to-space link, achieving a fractional frequency stability of 6.1E-21 in 300 s of integration time. We also show that clock comparison between ground and low Earth orbit will be limited by the stability of the clocks themselves after only a few seconds of integration. This significantly advances the technologies needed to realize a global timescale network of optical atomic clocks.


title: AQEyes: Visual Analytics for Anomaly Detection and Examination of Air Quality Data

abstract: Anomaly detection plays a key role in air quality analysis by enhancing situational awareness and alerting users to potential hazards. However, existing anomaly detection approaches for air quality analysis have their own limitations regarding parameter selection (e.g., need for extensive domain knowledge), computational expense, general applicability (e.g., require labeled data), interpretability, and the efficiency of analysis. Furthermore, the poor quality of collected air quality data (inconsistently formatted and sometimes missing) also increases the difficulty of analysis substantially. In this paper, we systematically formulate design requirements for a system that can solve these limitations and then propose AQEyes, an integrated visual analytics system for efficiently monitoring, detecting, and examining anomalies in air quality data. In particular, we propose a unified end-to-end tunable machine learning pipeline that includes several data pre-processors and featurizers to deal with data quality issues. The pipeline integrates an efficient unsupervised anomaly detection method that works without the use of labeled data and overcomes the limitations of existing approaches. Further, we develop an interactive visualization system to visualize the outputs from the pipeline. The system incorporates a set of novel visualization and interaction designs, allowing analysts to visually examine air quality dynamics and anomalous events in multiple scales and from multiple facets. We demonstrate the performance of this pipeline through a quantitative evaluation and show the effectiveness of the visualization system using qualitative case studies on real-world datasets.


title: Social Shaping of Competitive Equilibriums for Resilient Multi-Agent Systems

abstract: In this paper, we study multi-agent systems with decentralized resource allocations. Agents have local demand and resource supply, and are interconnected through a network designed to support sharing of the local resource; and the network has no external resource supply. It is known from classical welfare economics theory that by pricing the flow of resource, balance between the demand and supply is possible. Agents decide on the consumed resource, and perhaps further the traded resource as well, to maximize their payoffs considering both the utility of the consumption, and the income from the trading. When the network supply and demand are balanced, a competitive equilibrium is achieved if all agents maximize their individual payoffs, and a social welfare equilibrium is achieved if the total agent utilities are maximized. First, we consider multi-agent systems with static local allocations, and prove from duality theory that under general convexity assumptions, the competitive equilibrium and the social welfare equilibrium exist and agree. Compared to similar results in the literature based on KKT arguments, duality theory provides a direct way for connecting the two notions and for a more general (e.g. nonsmooth) class of utility functions. Next, we show that the agent utility functions can be prescribed in a family of socially admissible functions, under which the resource price at the competitive equilibrium is kept below a threshold. Finally, we extend the study to dynamical multi-agent systems where agents are associated with dynamical states from linear processes, and we prove that the dynamic the competitive equilibrium and social welfare equilibrium continue to exist and coincide with each other.


title: Reconstructing shock front of unstable detonations based on multi-layer perceptron

abstract: The dynamics of frontal and transverse shocks in gaseous detonation waves is a complex phenomenon bringing many difficulties to both numerical and experimental research. Advanced laser-optical visualization of detonation structure may provide certain information of its reactive front, but the corresponding lead shock needs to be reconstructed building the complete flow field. Using the Multi-Layer Perceptron (MLP) approach, we propose in this study a shock front reconstruction method which can predict evolution of the lead shock wavefront from the state of the reactive front. The method is verified through the numerical results of one- and two-dimensional unstable detonations based on the reactive Euler equations with a one-step irreversible chemical reaction model. Results show that the accuracy of the proposed method depends on the activation energy of the reactive mixture, which influences prominently the cellular detonation instability and hence, the distortion of the lead shock surface. To select the input variables for training and evaluate their influence on the effectiveness of the proposed method, five groups, one with six variables and the other with four variables, are tested and analyzed in the MLP model. The trained MLP is tested in the cases with different activation energies, demonstrates the inspiring generalization capability. This paper offers a universal framework for predicting detonation frontal evolution and provides a novel way to interpret numerical and experimental results of detonation waves.


title: Improved Estimation of Concentration Under $\ell_p$-Norm Distance Metrics Using Half Spaces

abstract: Concentration of measure has been argued to be the fundamental cause of adversarial vulnerability. Mahloujifar et al. presented an empirical way to measure the concentration of a data distribution using samples, and employed it to find lower bounds on intrinsic robustness for several benchmark datasets. However, it remains unclear whether these lower bounds are tight enough to provide a useful approximation for the intrinsic robustness of a dataset. To gain a deeper understanding of the concentration of measure phenomenon, we first extend the Gaussian Isoperimetric Inequality to non-spherical Gaussian measures and arbitrary $\ell_p$-norms ($p \geq 2$). We leverage these theoretical insights to design a method that uses half-spaces to estimate the concentration of any empirical dataset under $\ell_p$-norm distance metrics. Our proposed algorithm is more efficient than Mahloujifar et al.'s, and our experiments on synthetic datasets and image benchmarks demonstrate that it is able to find much tighter intrinsic robustness bounds. These tighter estimates provide further evidence that rules out intrinsic dataset concentration as a possible explanation for the adversarial vulnerability of state-of-the-art classifiers.


title: On some fractal sets only containing irrationals

abstract: In this paper, we prove that many fractal sets generated by the associated dynamical systems only contain irrationals. As an application, we explicitly construct some overlapping self-similar sets which only consist of irrationals.


title: Structural Controllability on Graphs for Drifted Bilinear Systems over Lie Groups

abstract: In this paper, we study graphical conditions for structural controllability and accessibility of drifted bilinear systems over Lie groups. We consider a bilinear control system with drift and controlled terms that evolves over the special orthogonal group, the general linear group, and the special unitary group. Zero patterns are prescribed for the drift and controlled dynamics with respect to a set of base elements in the corresponding Lie algebra. The drift dynamics must respect a rigid zero-pattern in the sense that the drift takes values as a linear combination of base elements with strictly non-zero coefficients; the controlled dynamics are allowed to follow a free zero pattern with potentially zero coefficients in the configuration of the controlled term by linear combination of the controlled base elements. First of all, for such bilinear systems over the special orthogonal group or the special unitary group, the zero patterns are shown to be associated with two undirected or directed graphs whose connectivity and connected components ensure structural controllability/accessibility. Next, for bilinear systems over the special unitary group, we introduce two edge-colored graphs associated with the drift and controlled zero patterns, and prove structural controllability conditions related to connectivity and the number of edges of a particular color.


title: Solitons: Kinks, Collisions and Breathers

abstract: In this report, the various 1D single soliton and multi-soliton solutions of the Sine-Gordon equation are explored. First the topological kink solitons and their properties for the Sine-Gordon, as well as the $\phi^{4}$ model are investigated. This includes energy and momentum conservation laws for both models, as well as static kinks and antikinks. The Bogomol'nyi equation and the importance of Lorentz invariance are also discussed. Then in the second half, the focus is on Sine-Gordon multi-kink solutions, which are found by a separation of variables method rather than using inverse scattering or B\"acklund transforms. These kink-kink and kink-antikink collisions are explained by considering topological charges and interaction energies. The special bound state dynamical breather soliton is obtained and properties such as the binding energy of the breather are presented. Following this, the Frenkel-Kontorova model is explored, leading to the discrete Sine-Gordon model and the introduction of discrete breathers.


title: Countably compact group topologies on arbitrarily large free Abelian groups

abstract: We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 question of D. Dikranjan and D. Shakhmatov.


title: Canonical Nambu mechanics: relevance to string/M-theory and approaches to quantization

abstract: We review some aspects of Nambu mechanics on the basis of the works previously published separately by the present author. Main focuses are on three themes, its various symmetry structures, their possible relevance to string/M theory, and a Hamilton-Jacobi like reformulation. We try to elucidate the basic ideas, most of which were rooted in more or less the same ground, and to explain motivations behind these works from a unified and vantage viewpoint. Various unsolved questions are mentioned. We also include some historical account on the genesis of the Nambu mechanics, and discuss (in the Appendix) some parallelism of various ideas behind the Nambu's paper with Dirac's old works which are related to the description of vortical flows in terms of gauge potentials.


title: Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture

abstract: Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures. This paper aims to extend the contract-based design approach using a directive-response architecture to enable reactivity to failure scenarios. The architecture is demonstrated on a modular automated valet parking (AVP) system. The contracts for the different components in the AVP system are explicitly defined, implemented, and validated against a Python implementation.


title: Resolvent analysis on the origin of two-dimensional transonic buffet

abstract: Resolvent analysis is performed to identify the origin of two-dimensional transonic buffet over an airfoil. The base flow for the resolvent analysis is the time-averaged flow over a NACA 0012 airfoil at a chord-based Reynolds number of 2000 and a free-stream Mach number of 0.85. We reveal that the mechanism of buffet is buried underneath the global low-Reynolds-number flow physics. At this low Reynolds number, the dominant flow feature is the von Karman shedding. However, we show that with the appropriate forcing input, buffet can appear even at a Reynolds number that is much lower than what is traditionally associated with transonic buffet. The source of buffet is identified to be at the shock foot from the windowed resolvent analysis, which is validated by companion simulations using sustained forcing inputs based on resolvent modes. We also comment on the role of perturbations in the vicinity of the trailing edge. The present study not only provides insights on the origin of buffet but also serves a building block for low-Reynolds-number compressible aerodynamics in light of the growing interests in Martian flights.


title: The light invisible boson in FCNC decays of $B$ and $B_c$ mesons

abstract: In this paper, we study the FCNC decay processes of $B$ and $B_c$ meson, in which one invisible particle is emitted. Both the spin-0 and spin-1 cases are considered. The model-independent effective Lagrangian is introduced to describe the coupling between the light invisible boson and quarks. The constraints of the coupling coefficients are extracted by experimental upper limits of the missing energy in $B$ meson decays. The bounds are used to predict the upper limits of branching fractions of corresponding $B_c$ decays, which are of the order of $10^{-6}$ or $10^{-5}$ when final meson is pseudoscalar or vector, respectively. The maximum branch ratios are achieved when $m_\chi\approx3.5- 4$~GeV, where $m_\chi$ is the mass of the invisible particle.


title: Constraints on the mass and atmospheric composition and evolution of the low-density young planet DS Tuc A b

abstract: We performed a radial velocity (RV) monitoring of the 40 Myr old star DS Tuc A with HARPS at the ESO-3.6m to determine the planetary mass of its 8.14-days planet, first revealed by TESS. We also observed two planetary transits with HARPS and ESPRESSO at ESO-VLT, to measure the Rossiter-McLaughlin (RM) effect and characterise the planetary atmosphere. We measured the high-energy emission of the host with XMM observations to investigate models for atmospheric evaporation. We employed Gaussian Processes (GP) regression to model the high level of the stellar activity, which is more than 40 times larger than the expected RV planetary signal. We extracted the transmission spectrum of DS Tuc A b from the ESPRESSO data and searched for atmospheric elements/molecules either by single-line retrieval and by performing cross-correlation with a set of theoretical templates. Through a set of simulations, we evaluated different scenarios for the atmospheric photo-evaporation of the planet induced by the strong XUV stellar irradiation. While the stellar activity prevented us from obtaining a clear detection of the planetary signal from the RVs, we set a robust mass upper limit of 14.4 M_e for DS Tuc A b. We also confirm that the planetary system is almost (but not perfectly) aligned. The strong level of stellar activity hampers the detection of any atmospheric compounds, in line with other studies presented in the literature. The expected evolution of DS Tuc A b from our grid of models indicates that the planetary radius after the photo-evaporation phase will fall within the Fulton gap. The comparison of the available parameters of known young transiting planets with the distribution of their mature counterpart confirms that the former are characterised by a low density, with DS Tuc A b being one of the less dense.


title: Cautiously Optimistic Policy Optimization and Exploration with Linear Function Approximation

abstract: Policy optimization methods are popular reinforcement learning algorithms, because their incremental and on-policy nature makes them more stable than the value-based counterparts. However, the same properties also make them slow to converge and sample inefficient, as the on-policy requirement precludes data reuse and the incremental updates couple large iteration complexity into the sample complexity. These characteristics have been observed in experiments as well as in theory in the recent work of~\citet{agarwal2020pc}, which provides a policy optimization method PCPG that can robustly find near optimal polices for approximately linear Markov decision processes but suffers from an extremely poor sample complexity compared with value-based techniques. In this paper, we propose a new algorithm, COPOE, that overcomes the sample complexity issue of PCPG while retaining its robustness to model misspecification. Compared with PCPG, COPOE makes several important algorithmic enhancements, such as enabling data reuse, and uses more refined analysis techniques, which we expect to be more broadly applicable to designing new reinforcement learning algorithms. The result is an improvement in sample complexity from $\widetilde{O}(1/\epsilon^{11})$ for PCPG to $\widetilde{O}(1/\epsilon^3)$ for PCPG, nearly bridging the gap with value-based techniques.


title: Benchmarking Deep Trackers on Aerial Videos

abstract: In recent years, deep learning-based visual object trackers have achieved state-of-the-art performance on several visual object tracking benchmarks. However, most tracking benchmarks are focused on ground level videos, whereas aerial tracking presents a new set of challenges. In this paper, we compare ten trackers based on deep learning techniques on four aerial datasets. We choose top performing trackers utilizing different approaches, specifically tracking by detection, discriminative correlation filters, Siamese networks and reinforcement learning. In our experiments, we use a subset of OTB2015 dataset with aerial style videos; the UAV123 dataset without synthetic sequences; the UAV20L dataset, which contains 20 long sequences; and DTB70 dataset as our benchmark datasets. We compare the advantages and disadvantages of different trackers in different tracking situations encountered in aerial data. Our findings indicate that the trackers perform significantly worse in aerial datasets compared to standard ground level videos. We attribute this effect to smaller target size, camera motion, significant camera rotation with respect to the target, out of view movement, and clutter in the form of occlusions or similar looking distractors near tracked object.


title: Local mantles of $L[x]$

abstract: Assume ZFC. Let $\kappa$ be a cardinal. Recall that a ${<\kappa}$-ground is a transitive proper class $W$ modelling ZFC such that $V$ is a generic extension of $W$ via a forcing $\mathbb{P}\in W$ of cardinality ${<\kappa}$, and the $\kappa$-mantle is the intersection of all ${<\kappa}$-grounds. Assume there is a Woodin cardinal and a proper class of measurables, and let $x$ be a real of sufficiently high Turing degree. Let $\kappa$ be a limit cardinal of $L[x]$ of uncountable cofinality in $L[x]$. Using methods from Woodin's analysis of $\mathrm{HOD}^{L[x,G]}$, we analyze the $\kappa$-mantle of $L[x]$, and show that it models ZFC + GCH + "There is a Woodin cardinal". Moreover, we show that it is a fully iterable strategy mouse (analogous to $\mathrm{HOD}^{L[x,G]}$). We also analyze another form of "local mantle", partly assuming also a weak form of Turing determinacy. We also compute bounds on how much iteration strategy can be added to $M_1$ before $M_1^\#$ is added.


title: Beyond Visual Attractiveness: Physically Plausible Single Image HDR Reconstruction for Spherical Panoramas

abstract: HDR reconstruction is an important task in computer vision with many industrial needs. The traditional approaches merge multiple exposure shots to generate HDRs that correspond to the physical quantity of illuminance of the scene. However, the tedious capturing process makes such multi-shot approaches inconvenient in practice. In contrast, recent single-shot methods predict a visually appealing HDR from a single LDR image through deep learning. But it is not clear whether the previously mentioned physical properties would still hold, without training the network to explicitly model them. In this paper, we introduce the physical illuminance constraints to our single-shot HDR reconstruction framework, with a focus on spherical panoramas. By the proposed physical regularization, our method can generate HDRs which are not only visually appealing but also physically plausible. For evaluation, we collect a large dataset of LDR and HDR images with ground truth illuminance measures. Extensive experiments show that our HDR images not only maintain high visual quality but also top all baseline methods in illuminance prediction accuracy.


title: Structural Stability and Defect-Tolerance of Ionic Spinel Semiconductor for High-Efficiency Solar Cells

abstract: The incompatibility between defect-tolerance and structural stability is a severe issue hindering the wide application of high-efficiency solar cells. Usually, covalent/polar semiconductors with prototype of Si/CdTe crystals exhibit great structural stability owing to their compactly composed tetrahedral building blocks, but present extremely poor defect-tolerance due to the similar electronegativity of component elements. On the contrary, ionic semiconductors, such as perovskite series, always exhibit benign electronic properties of intrinsic defects owing to the great disparity of electronegativity between anions and cations, but are structurally unstable because of the sparsely composed octahedral building blocks supported by large cations. Combining the stable framework of covalent semiconductors and benign defects of ionic compounds, we find that HgX2S4 (X=In, Sc and Y) spinel semiconductors possess both the merits. The tightly combined tetrahedral and octahedral blocks ensures the structural stability, and the band edge of ionic characteristic, which is mainly dominated by Hg-6s and S-3p orbitals for conduction band minimum (CBM) and valence band maximum (VBM), respectively, makes HgX2S4 defect-tolerant. The prominent downward bending of CBM caused by spatially spreading Hg-6s spherical orbital not only induces a suitable optical band gap which is often too large in ionic compounds, but also promotes the formation and transport of n-type carriers. This study presents that Hg-based chalcogenide spinels are promising candidates for high-efficiency solar cells, and suggests that adopting cations with delocalized orbitals under the framework of spinel crystal is an alternative way for synthesizing the stable and defect-tolerant photovoltaic materials.


title: DIALED: Data Integrity Attestation for Low-end Embedded Devices

abstract: Verifying integrity of software execution in low-end micro-controller units (MCUs) is a well-known open problem. The central challenge is how to securely detect software exploits with minimal overhead, since these MCUs are designed for low cost, low energy and small size. Some recent work yielded inexpensive hardware/software co-designs for remotely verifying code and execution integrity. In particular, a means of detecting unauthorized code modifications and control-flow attacks were proposed, referred to as Remote Attestation (RA) and Control-Flow Attestation (CFA), respectively. Despite this progress, detection of data-only attacks remains elusive. Such attacks exploit software vulnerabilities to corrupt intermediate computation results stored in data memory, changing neither the program code nor its control flow. Motivated by lack of any current techniques (for low-end MCUs) that detect these attacks, in this paper we propose, implement and evaluate DIALED, the first Data-Flow Attestation (DFA) technique applicable to the most resource-constrained embedded devices (e.g., TI MSP430). DIALED works in tandem with a companion CFA scheme to detect all (currently known) types of runtime software exploits at fairly low cost.


title: Asymptotics toward viscous contact waves for solutions of the Landau equation

abstract: In the paper, we are concerned with the large time asymptotics toward the viscous contact waves for solutions of the Landau equation with physically realistic Coulomb interactions. Precisely, for the corresponding Cauchy problem in the spatially one-dimensional setting, we construct the unique global-in-time solution near a local Maxwellian whose fluid quantities are the viscous contact waves in the sense of hydrodynamics and also prove that the solution tends toward such local Maxwellian in large time. The result is proved by elaborate energy estimates and seems the first one on the dynamical stability of contact waves for the Landau equation. One key point of the proof is to introduce a new time-velocity weight function that includes an exponential factor of the form $\exp (q(t)\langle \xi\rangle^2)$ with $$ q(t):=q_1-q_2\int_0^tq_3(s)\,ds, $$ where $q_1$ and $q_2$ are given positive constants and $q_3(\cdot)$ is defined by the energy dissipation rate of the solution itself. The time derivative of such weight function is able to induce an extra quartic dissipation term for treating the large-velocity growth in the nonlinear estimates due to degeneration of the linearized Landau operator in the Coulomb case. Note that in our problem the explicit time-decay of solutions around contact waves is unavailable but no longer needed under the crucial use of the above weight function, which is different from the situation in [11, 14].


title: An interactive city choice model and its application for measuring the intercity interaction

abstract: Measuring the interaction between cities is an important research topic in many disciplines, such as sociology, geography, economics and transportation science. The traditional and most widely used spatial interaction model is the gravity model, but it requires the parameters to be artificially set. In this paper, we propose a parameter-free interactive city choice (ICC) model that measures intercity interaction from the perspective of individual choice behavior. The ICC model assumes that the probability of an individual choosing to interact with a city is proportional to the number of opportunities in the destination city and inversely proportional to the number of intervening opportunities between the origin city and the destination city, calculated using the travel time in the transportation network. The intercity interaction intensity can be obtained by calculating the product of this probability and the origin city's population. We apply the ICC model to measure the interaction intensity among 339 cities in China and analyze the impact of changes in the Chinese land transportation network from 2005 to 2018 on the intercity and city interaction intensity. Compared with the previously widely used spatial interaction models, the measurement results of the ICC model are more consistent with the actual situation.


title: "Second-Order Primal'' + "First-Order Dual'' Dynamical Systems with Time Scaling for Linear Equality Constrained Convex Optimization Problems

abstract: Second-order dynamical systems are important tools for solving optimization problems, and most of existing works in this field have focused on unconstrained optimization problems. In this paper, we propose an inertial primal-dual dynamical system with constant viscous damping and time scaling for the linear equality constrained convex optimization problem, which consists of a second-order ODE for the primal variable and a first-order ODE for the dual variable. When the scaling satisfies certain conditions, we prove its convergence property without assuming strong convexity. Even the convergence rate can become exponential when the scaling grows exponentially. We also show that the obtained convergence property of the dynamical system is preserved under a small perturbation.


title: Based modules over the $\imath$quantum group of type AI

abstract: This paper studies classical weight modules over the $\imath$quantum group $\mathbf{U}^{\imath}$ of type AI. We introduce the notion of based $\mathbf{U}^{\imath}$-modules by generalizing the notion of based modules over the quantum groups. We prove that each finite-dimensional irreducible classical weight $\mathbf{U}^{\imath}$-module with integer highest weight is a based $\mathbf{U}^{\imath}$-module. As a byproduct, a new combinatorial formula for the branching rule from $\mathfrak{sl}_n$ to $\mathfrak{so}_n$ is obtained.


title: Nucleon isovector scalar charge from overlap fermions

abstract: We calculate the nucleon isovector scalar charge in lattice QCD using overlap fermions on five ensembles of gauge configurations generated by the RBC/UKQCD collaboration using the domain-wall quark action with $2+1$ dynamical flavors. The five ensembles cover five pion masses, $m_\pi \approx$ 139, 171, 302, 337 and 371 MeV, and four lattice spacings, $a \approx $ 0.06, 0.08, 0.11 and 0.14 fm. Three to six valence quark masses are computed on each ensemble to investigate the pion mass dependence. The extrapolation to the physical pion mass, continuum and infinite volume limits is obtained by a global fit of all data to a formula originated from partially quenched chiral perturbation theory. The excited-states contamination is carefully analyzed with 3--5 sink-source separations and multi-state fits. Our final result, in the $\overline{\text{MS}}$ scheme at 2 GeV, is $g_{S}^{u-d}= 0.94 (10)_{stat}(8)_{sys}$, where the first error is the statistical error and the second is the systematic error.


title: Efficient Regional Memory Network for Video Object Segmentation

abstract: Recently, several Space-Time Memory based networks have shown that the object cues (e.g. video frames as well as the segmented object masks) from the past frames are useful for segmenting objects in the current frame. However, these methods exploit the information from the memory by global-to-global matching between the current and past frames, which lead to mismatching to similar objects and high computational complexity. To address these problems, we propose a novel local-to-local matching solution for semi-supervised VOS, namely Regional Memory Network (RMNet). In RMNet, the precise regional memory is constructed by memorizing local regions where the target objects appear in the past frames. For the current query frame, the query regions are tracked and predicted based on the optical flow estimated from the previous frame. The proposed local-to-local matching effectively alleviates the ambiguity of similar objects in both memory and query frames, which allows the information to be passed from the regional memory to the query region efficiently and effectively. Experimental results indicate that the proposed RMNet performs favorably against state-of-the-art methods on the DAVIS and YouTube-VOS datasets.


title: A Challenge Obfuscating Interface for Arbiter PUF Variants against Machine Learning Attacks

abstract: Security is of critical importance for the Internet of Things (IoT). Many IoT devices are resource-constrained, calling for lightweight security protocols. Physical unclonable functions (PUFs) leverage integrated circuits' variations to produce responses unique for individual devices, and hence are not reproducible even by the manufacturers. Implementable with simplistic circuits of thousands of transistors and operable with low energy, Physical unclonable functions are promising candidates as security primitives for resource-constrained IoT devices. Arbiter PUFs (APUFs) are a group of delay-based PUFs which are highly lightweight in resource requirements but suffer from high susceptibility to machine learning attacks. To defend APUF variants against machine learning attacks, we introduce challenge input interface, which incurs low resource overhead. With the interface, experimental attack study shows that all tested PUFs have substantially improved their resistance against machine learning attacks, rendering interfaced APUF variants promising candidates for security critical applications.


title: Online Market Equilibrium with Application to Fair Division

abstract: Computing market equilibria is a problem of both theoretical and applied interest. Much research to date focuses on the case of static Fisher markets with full information on buyers' utility functions and item supplies. Motivated by real-world markets, we consider an online setting: individuals have linear, additive utility functions; items arrive sequentially and must be allocated and priced irrevocably. We define the notion of an online market equilibrium in such a market as time-indexed allocations and prices which guarantee buyer optimality and market clearance in hindsight. We propose a simple, scalable and interpretable allocation and pricing dynamics termed as PACE. When items are drawn i.i.d. from an unknown distribution (with a possibly continuous support), we show that PACE leads to an online market equilibrium asymptotically. In particular, PACE ensures that buyers' time-averaged utilities converge to the equilibrium utilities w.r.t. a static market with item supplies being the unknown distribution and that buyers' time-averaged expenditures converge to their per-period budget. Hence, many desirable properties of market equilibrium-based fair division such as no envy, Pareto optimality, and the proportional-share guarantee are also attained asymptotically in the online setting. Next, we extend the dynamics to handle quasilinear buyer utilities, which gives the first online algorithm for computing first-price pacing equilibria. Finally, numerical experiments on real and synthetic datasets show that the dynamics converges quickly under various metrics.


title: Inertial primal-dual methods for linear equality constrained convex optimization problems

abstract: In this paper, we propose an inertial accelerated primal-dual method for the linear equality constrained convex optimization problem. When the objective function has a ``nonsmooth + smooth'' composite structure, we further propose an inexact inertial primal-dual method by linearizing the smooth individual function and solving the subproblem inexactly. Assuming merely convexity, we prove that the proposed methods enjoy $\mathcal{O}(1/k^2)$ convergence rate on the objective residual and the feasibility violation in the primal model. Numerical results are reported to demonstrate the validity of the proposed methods.


title: Regularity of solutions to degenerate fully nonlinear elliptic equations with variable exponent

abstract: We consider the fully nonlinear equation with variable-exponent double phase type degeneracies $$ \big[|Du|^{p(x)}+a(x)|Du|^{q(x)}\big]F(D^2u)=f(x). $$ Under some appropriate assumptions, by making use of geometric tangential methods and combing a refined improvement-of-flatness approach with compactness and scaling techniques we obtain the sharp local $C^{1,\alpha}$ regularity of viscosity solutions to such equations.


title: Adiabatic critical quantum metrology cannot reach the Heisenberg limit even when shortcuts to adiabaticity are applied

abstract: We show that the quantum Fisher information attained in an adiabatic approach to critical quantum metrology cannot lead to the Heisenberg limit of precision and therefore regular quantum metrology under optimal settings is always superior. Furthermore, we argue that even though shortcuts to adiabaticity can arbitrarily decrease the time of preparing critical ground states, they cannot be used to achieve or overcome the Heisenberg limit for quantum parameter estimation in adiabatic critical quantum metrology. As case studies, we explore the application of counter-diabatic driving to the Landau-Zener model and the quantum Rabi model.


title: Exercise with Social Robots: Companion or Coach?

abstract: In this paper, we investigate the roles that social robots can take in physical exercise with human partners. In related work, robots or virtual intelligent agents take the role of a coach or instructor whereas in other approaches they are used as motivational aids. These are two "paradigms", so to speak, within the small but growing area of robots for social exercise. We designed an online questionnaire to test whether the preferred role in which people want to see robots would be the companion or the coach. The questionnaire asks people to imagine working out with a robot with the help of three utilized questionnaires: (1) CART-Q which is used for judging coach-athlete relationships, (2) the mind perception questionnaire and (3) the System Usability Scale (SUS). We present the methodology, some preliminary results as well as our intended future work on personal robots for coaching.


title: Single-Shot is Enough: Panoramic Infrastructure Based Calibration of Multiple Cameras and 3D LiDARs

abstract: The integration of multiple cameras and 3D Li- DARs has become basic configuration of augmented reality devices, robotics, and autonomous vehicles. The calibration of multi-modal sensors is crucial for a system to properly function, but it remains tedious and impractical for mass production. Moreover, most devices require re-calibration after usage for certain period of time. In this paper, we propose a single-shot solution for calibrating extrinsic transformations among multiple cameras and 3D LiDARs. We establish a panoramic infrastructure, in which a camera or LiDAR can be robustly localized using data from single frame. Experiments are conducted on three devices with different camera-LiDAR configurations, showing that our approach achieved comparable calibration accuracy with the state-of-the-art approaches but with much greater efficiency.


title: On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation

abstract: This paper considers the damped periodic Korteweg-de Vries (KdV) equation in the presence of a white-in-time and spatially smooth stochastic source term and studies the long-time behavior of solutions. We show that the integrals of motion for KdV can be exploited to prove regularity and ergodic properties of invariant measures for damped stochastic KdV. First, by considering non-trivial modifications of the integrals of motion, we establish Lyapunov structure by proving that moments of Sobolev norms of solutions at all orders of regularity are bounded globally-in-time; existence of invariant measures follows as an immediate consequence. Next, we prove a weak Foias-Prodi type estimate for damped stochastic KdV, for which the synchronization occurs in expected value. This estimate plays a crucial role throughout our subsequent analysis. As a first novel application, we combine the Foias-Prodi estimate with the Lyapunov structure to establish that invariant measures are supported on $C^\infty$ functions provided that the external driving forces belong to $C^\infty$. We then establish ergodic properties of invariant measures, treating the regimes of arbitrary damping and large damping separately. For arbitrary damping, we demonstrate that the framework of `asymptotic coupling' can be implemented for a compact proof of uniqueness of the invariant measure provided that sufficiently many directions in phase space are stochastically forced. Our proof is paradigmatic for SPDEs for which a weak Foias-Prodi type property holds. Lastly, for large damping, we establish the existence of a spectral gap with respect to a Wasserstein-like distance, and exponential mixing and uniqueness of the invariant measure follows.


title: Convergence of persistence diagram in the sparse regime

abstract: The objective of this paper is to examine the asymptotic behavior of persistence diagrams associated with \v{C}ech filtration. A persistence diagram is a graphical descriptor of a topological and algebraic structure of geometric objects. We consider \v{C}ech filtration over a scaled random sample $r_n^{-1}\mathcal X_n = \{ r_n^{-1}X_1,\dots, r_n^{-1}X_n \}$, such that $r_n\to 0$ as $n\to\infty$. We treat persistence diagrams as a point process and establish their limit theorems in the sparse regime: $nr_n^d\to0$, $n\to\infty$. In this setting, we show that the asymptotics of the $k$th persistence diagram depends on the limit value of the sequence $n^{k+2}r_n^{d(k+1)}$. If $n^{k+2}r_n^{d(k+1)} \to \infty$, the scaled persistence diagram converges to a deterministic Radon measure almost surely in the vague metric. If $r_n$ decays faster so that $n^{k+2}r_n^{d(k+1)} \to c\in (0,\infty)$, the persistence diagram weakly converges to a limiting point process without normalization. Finally, if $n^{k+2}r_n^{d(k+1)} \to 0$, the sequence of probability distributions of a persistence diagram should be normalized, and the resulting convergence will be treated in terms of the $\mathcal M_0$-topology.


title: Scene-Intuitive Agent for Remote Embodied Visual Grounding

abstract: Humans learn from life events to form intuitions towards the understanding of visual environments and languages. Envision that you are instructed by a high-level instruction, "Go to the bathroom in the master bedroom and replace the blue towel on the left wall", what would you possibly do to carry out the task? Intuitively, we comprehend the semantics of the instruction to form an overview of where a bathroom is and what a blue towel is in mind; then, we navigate to the target location by consistently matching the bathroom appearance in mind with the current scene. In this paper, we present an agent that mimics such human behaviors. Specifically, we focus on the Remote Embodied Visual Referring Expression in Real Indoor Environments task, called REVERIE, where an agent is asked to correctly localize a remote target object specified by a concise high-level natural language instruction, and propose a two-stage training pipeline. In the first stage, we pretrain the agent with two cross-modal alignment sub-tasks, namely the Scene Grounding task and the Object Grounding task. The agent learns where to stop in the Scene Grounding task and what to attend to in the Object Grounding task respectively. Then, to generate action sequences, we propose a memory-augmented attentive action decoder to smoothly fuse the pre-trained vision and language representations with the agent's past memory experiences. Without bells and whistles, experimental results show that our method outperforms previous state-of-the-art(SOTA) significantly, demonstrating the effectiveness of our method.


title: On Imitation Learning of Linear Control Policies: Enforcing Stability and Robustness Constraints via LMI Conditions

abstract: When applying imitation learning techniques to fit a policy from expert demonstrations, one can take advantage of prior stability/robustness assumptions on the expert's policy and incorporate such control-theoretic prior knowledge explicitly into the learning process. In this paper, we formulate the imitation learning of linear policies as a constrained optimization problem, and present efficient methods which can be used to enforce stability and robustness constraints during the learning processes. Specifically, we show that one can guarantee the closed-loop stability and robustness by posing linear matrix inequality (LMI) constraints on the fitted policy. Then both the projected gradient descent method and the alternating direction method of multipliers (ADMM) method can be applied to solve the resulting constrained policy fitting problem. Finally, we provide numerical results to demonstrate the effectiveness of our methods in producing linear polices with various stability and robustness guarantees.


title: Envelope Methods with Ignorable Missing Data

abstract: Envelope method was recently proposed as a method to reduce the dimension of responses in multivariate regressions. However, when there exists missing data, the envelope method using the complete case observations may lead to biased and inefficient results. In this paper, we generalize the envelope estimation when the predictors and/or the responses are missing at random. Specifically, we incorporate the envelope structure in the expectation-maximization (EM) algorithm. As the parameters under the envelope method are not pointwise identifiable, the EM algorithm for the envelope method was not straightforward and requires a special decomposition. Our method is guaranteed to be more efficient, or at least as efficient as, the standard EM algorithm. Moreover, our method has the potential to outperform the full data MLE. We give asymptotic properties of our method under both normal and non-normal cases. The efficiency gain over the standard EM is confirmed in simulation studies and in an application to the Chronic Renal Insufficiency Cohort (CRIC) study.


title: Meta-Learned Invariant Risk Minimization

abstract: Empirical Risk Minimization (ERM) based machine learning algorithms have suffered from weak generalization performance on data obtained from out-of-distribution (OOD). To address this problem, Invariant Risk Minimization (IRM) objective was suggested to find invariant optimal predictor which is less affected by the changes in data distribution. However, even with such progress, IRMv1, the practical formulation of IRM, still shows performance degradation when there are not enough training data, and even fails to generalize to OOD, if the number of spurious correlations is larger than the number of environments. In this paper, to address such problems, we propose a novel meta-learning based approach for IRM. In this method, we do not assume the linearity of classifier for the ease of optimization, and solve ideal bi-level IRM objective with Model-Agnostic Meta-Learning (MAML) framework. Our method is more robust to the data with spurious correlations and can provide an invariant optimal classifier even when data from each distribution are scarce. In experiments, we demonstrate that our algorithm not only has better OOD generalization performance than IRMv1 and all IRM variants, but also addresses the weakness of IRMv1 with improved stability.


title: Monolayer 1T-NbSe2 as a 2D correlated magnetic insulator

abstract: Monolayer group-V transition metal dichalcogenides in their 1T phase have recently emerged as a platform to investigate rich phases of matter, such as spin liquid and ferromagnetism, resulting from strong electron correlations. Although 1T phase NbSe2 does not occur naturally in bulk form, it has been discovered that the 1T and 1H phases can coexist when monolayer NbSe2 is grown via molecular beam epitaxy (MBE). This discovery has inspired theoretical investigations predicting collective phenomena such as ferromagnetism in two dimensions. Here, by controlling the MBE growth parameters, we demonstrate the successful growth of single-phase 1T-NbSe2. By combining scanning tunneling microscopy/spectroscopy and ab initio calculations, we show that this system is a charge-transfer insulator, with the upper Hubbard band located above the valence band maximum. Furthermore, by creating a vertical 1T/2H NbSe2 heterostructure, we find evidence of exchange interactions between the localized magnetic moments in 1T phase and the metallic/superconducting phase, as manifested by Kondo resonances and Yu-Shiba-Rusinov bound states.


title: Two-component Pseudovectoral Chirality Function for Tetrahedra

abstract: Chirality, the lack of inversion symmetry, is a geometrical property critical to chemistry, biology and material sciences. In the three-dimensional Euclidean space $\mathbb{R}^3$ chriality can ususally be characterized with four-point structrual information. Various functions have therefore been proposed to quantify chirality of tetrahedra, which can be extended to other 3D objects, including molecules. However, existing functions are scalars or pseudoscalars and are unable to simultaneously possess all the desirable properties of chirality functions: detectability of chirality, inversion antisymmetry and continuity. We observe that to avoid this difficulty, any chirality function for tetrahedra must be a pseudovector with at least two components. In light of this, we propose a two-component pseudovectoral chirality function for tetrahedra that satisfies all the desirable properties. We plan to use this function to map the "chiral zeros" of existing pseudoscalar chirality functions and to design a microstructure descriptor for the chirality of many-body systems and multi-phase media in $\mathbb{R}^3$.


title: Field-driven metamorphoses of isolated skyrmions within the conical state of cubic helimagnets

abstract: Topologically stable field configurations appear in many fields of physics, from elementary particles to condensed matter and cosmology. During the last decade, chiral liquid crystals and chiral magnets took on the role of model objects for experimental investigation of topological solitons and understanding of their nonsingular field configurations. Here we introduce a paradigm of facile skyrmionic networks with mutually-orthogonal orientations of constituent isolated skyrmions. Such networks are envisioned as a novel concept of spintronic devices and are presumably responsible for precursor phenomena near the ordering temperatures of bulk cubic helimagnets. In particular, we demonstrate an interconversion between mutually orthogonal skyrmions: horizontal skyrmions swirl into an intermediate spring-like states and subsequently squeeze into vertical skyrmions with both polarities. Skyrmion tubes are also considered as building blocks for particle-like states with more involved internal structure. A family of target-skyrmions, which includes an overlooked so far type with a multiple topological charge, is formed owing to the tendency to minimize the interaction energy between vertical and horizontal skyrmions. The conical phase serves as a suitable background for considered skyrmion evolution. It substantializes the attracting skyrmion-skyrmion interaction in the skyrmionic networks, shapes their internal structure and guides the nucleation processes. Alternatively, intricate textural changes of isolated skyrmions result not only in the structural deformations of a host conical state, but may lead to the formation of an exotic skyrmion order with pairs of merons being the core of the game. Generically, the fundamental insights provided by this work emphasize a three-dimensional character of skyrmion metamorphoses and can also be extended to three-dimensional solitons, such as hopfions.


title: Goal Seeking Quadratic Unconstrained Binary Optimization

abstract: The Quadratic Unconstrained Binary Optimization (QUBO) modeling and solution framework is a requirement for quantum and digital annealers. However optimality for QUBO problems of any practical size is extremely difficult to achieve. In order to incorporate the problem-specific insights, a diverse set of solutions meeting an acceptable target metric or goal is the preference in high level decision making. In this paper, we present two alternatives for goal-seeking QUBO for minimizing the deviation from a given target as well as a range of values around a target. Experimental results illustrate the efficacy of the proposed approach over Constraint Programming for quickly finding a satisficing set of solutions.


title: Hyperuniform Density Distributions of Brownian Particles via Designer External Potentials

abstract: Disordered hyperuniformity (DHU) is a recently discovered novel state of many-body systems that is characterized by vanishing normalized infinite-wavelength density fluctuations similar to a perfect crystal, yet possesses an amorphous structure like a liquid or glass. Here we investigate equilibrium DHU states of Brownian particles induced by external potentials. In particular, we analytically derive sufficient conditions on the external potentials in order to achieve distinct classes of DHU density distributions of Brownian particles in thermal equilibrium, based on the stationary-state solutions of the corresponding Smoluchowski equation. We show for a wide spectrum of tight-binding potentials, the desirable DHU states of Brownian particles can be controlled and achieved by imposing proper hyperuniformity conditions on the potentials. Moreover, we find that thermal motions in these systems tend to enhance hyperuniformity. We also analyze the evolution dynamics of an initial density distribution (hyperuniform or non-hyperuniform) to the desirable equilibrium DHU state determined by the prescribed external potentials, which is shown to be coupled with the full spectra of the force fields associated with the imposed potentials. We find that although the transient density distribution can rapidly develop local patterns reminiscent of those in the equilibrium distribution, which is governed by the fast dynamics induced by the external potential, the overall distribution is still modulated by the initial density fluctuations which are relaxed through slow diffusive dynamics. Our study has implications for the fabrication of designer DHU materials.


abstract: Unsupervised clustering aims at discovering the semantic categories of data according to some distance measured in the representation space. However, different categories often overlap with each other in the representation space at the beginning of the learning process, which poses a significant challenge for distance-based clustering in achieving good separation between different categories. To this end, we propose Supporting Clustering with Contrastive Learning (SCCL) -- a novel framework to leverage contrastive learning to promote better separation. We assess the performance of SCCL on short text clustering and show that SCCL significantly advances the state-of-the-art results on most benchmark datasets with 3%-11% improvement on Accuracy and 4%-15% improvement on Normalized Mutual Information. Furthermore, our quantitative analysis demonstrates the effectiveness of SCCL in leveraging the strengths of both bottom-up instance discrimination and top-down clustering to achieve better intra-cluster and inter-cluster distances when evaluated with the ground truth cluster labels.


title: Convergence Analysis of Nonconvex Distributed Stochastic Zeroth-order Coordinate Method

abstract: This paper investigates the stochastic distributed nonconvex optimization problem of minimizing a global cost function formed by the summation of $n$ local cost functions. We solve such a problem by involving zeroth-order (ZO) information exchange. In this paper, we propose a ZO distributed primal-dual coordinate method (ZODIAC) to solve the stochastic optimization problem. Agents approximate their own local stochastic ZO oracle along with coordinates with an adaptive smoothing parameter. We show that the proposed algorithm achieves the convergence rate of $\mathcal{O}(\sqrt{p}/\sqrt{T})$ for general nonconvex cost functions. We demonstrate the efficiency of proposed algorithms through a numerical example in comparison with the existing state-of-the-art centralized and distributed ZO algorithms.


title: Learning Scene Structure Guidance via Cross-Task Knowledge Transfer for Single Depth Super-Resolution

abstract: Existing color-guided depth super-resolution (DSR) approaches require paired RGB-D data as training samples where the RGB image is used as structural guidance to recover the degraded depth map due to their geometrical similarity. However, the paired data may be limited or expensive to be collected in actual testing environment. Therefore, we explore for the first time to learn the cross-modality knowledge at training stage, where both RGB and depth modalities are available, but test on the target dataset, where only single depth modality exists. Our key idea is to distill the knowledge of scene structural guidance from RGB modality to the single DSR task without changing its network architecture. Specifically, we construct an auxiliary depth estimation (DE) task that takes an RGB image as input to estimate a depth map, and train both DSR task and DE task collaboratively to boost the performance of DSR. Upon this, a cross-task interaction module is proposed to realize bilateral cross task knowledge transfer. First, we design a cross-task distillation scheme that encourages DSR and DE networks to learn from each other in a teacher-student role-exchanging fashion. Then, we advance a structure prediction (SP) task that provides extra structure regularization to help both DSR and DE networks learn more informative structure representations for depth recovery. Extensive experiments demonstrate that our scheme achieves superior performance in comparison with other DSR methods.


title: Exciton condensation in bilayer spin-orbit insulator

abstract: We investigate the nature of the magnetic excitations of a bilayer single-orbital Hubbard model in the intermediate-coupling regime. This model exhibits a quantum phase transition (QPT) between a paramagnetic (PM) and an insulating antiferromagnetic (AFM) phase at a critical value of the coupling strength. By using the random phase approximation, we show that the QPT is continuous when the PM state is a band insulator and that the corresponding quantum critical point (QCP) arises from the condensation of preformed excitons. These low-energy excitons reemerge on the other side of the QCP as the transverse and longitudinal modes of the AFM state. In particular, the longitudinal mode remains sharp for the model parameters relevant to Sr$_{3}$Ir$_{2}$O$_{7}$ because of the strong easy-axis anisotropy of this material.


title: Multi-view 3D Reconstruction with Transformer

abstract: Deep CNN-based methods have so far achieved the state of the art results in multi-view 3D object reconstruction. Despite the considerable progress, the two core modules of these methods - multi-view feature extraction and fusion, are usually investigated separately, and the object relations in different views are rarely explored. In this paper, inspired by the recent great success in self-attention-based Transformer models, we reformulate the multi-view 3D reconstruction as a sequence-to-sequence prediction problem and propose a new framework named 3D Volume Transformer (VolT) for such a task. Unlike previous CNN-based methods using a separate design, we unify the feature extraction and view fusion in a single Transformer network. A natural advantage of our design lies in the exploration of view-to-view relationships using self-attention among multiple unordered inputs. On ShapeNet - a large-scale 3D reconstruction benchmark dataset, our method achieves a new state-of-the-art accuracy in multi-view reconstruction with fewer parameters ($70\%$ less) than other CNN-based methods. Experimental results also suggest the strong scaling capability of our method. Our code will be made publicly available.


title: Detecting User-Perceived Failure in Mobile Applications via Mining User Traces

abstract: Mobile applications (apps) often suffer from failure nowadays. Developers usually pay more attention to the failure that is perceived by users and compromises the user experience. Existing approaches focus on mining large volume logs to detect failure, however, to our best knowledge, there is no approach focusing on detecting whether users have actually perceived failure, which directly influence the user experience. In this paper, we propose a novel approach to detecting user-perceived failure in mobile apps. By leveraging the frontend user traces, our approach first builds an app page model, and applies an unsupervised detection algorithm to detect whether a user has perceived failure. Our insight behind the algorithm is that when user-perceived failure occurs on an app page, the users will backtrack and revisit the certain page to retry. Preliminary evaluation results show that our approach can achieve good detection performance on a dataset collected from real world users.


title: Solving and Learning Nonlinear PDEs with Gaussian Processes

abstract: We introduce a simple, rigorous, and unified framework for solving nonlinear partial differential equations (PDEs), and for solving inverse problems (IPs) involving the identification of parameters in PDEs, using the framework of Gaussian processes. The proposed approach: (1) provides a natural generalization of collocation kernel methods to nonlinear PDEs and IPs; (2) has guaranteed convergence for a very general class of PDEs, and comes equipped with a path to compute error bounds for specific PDE approximations; (3) inherits the state-of-the-art computational complexity of linear solvers for dense kernel matrices. The main idea of our method is to approximate the solution of a given PDE as the maximum a posteriori (MAP) estimator of a Gaussian process conditioned on solving the PDE at a finite number of collocation points. Although this optimization problem is infinite-dimensional, it can be reduced to a finite-dimensional one by introducing additional variables corresponding to the values of the derivatives of the solution at collocation points; this generalizes the representer theorem arising in Gaussian process regression. The reduced optimization problem has the form of a quadratic objective function subject to nonlinear constraints; it is solved with a variant of the Gauss--Newton method. The resulting algorithm (a) can be interpreted as solving successive linearizations of the nonlinear PDE, and (b) in practice is found to converge in a small number of iterations (2 to 10), for a wide range of PDEs. Most traditional approaches to IPs interleave parameter updates with numerical solution of the PDE; our algorithm solves for both parameter and PDE solution simultaneously. Experiments on nonlinear elliptic PDEs, Burgers' equation, a regularized Eikonal equation, and an IP for permeability identification in Darcy flow illustrate the efficacy and scope of our framework.


title: Nuclear matter in relativistic Brueckner-Hartree-Fock theory with Bonn potential in the full Dirac space

abstract: Starting from the Bonn potential, relativistic Brueckner-Hartree-Fock (RBHF) equations are solved for nuclear matter in the full Dirac space, which provides a unique way to determine the single-particle potentials and avoids the approximations applied in the RBHF calculations in the Dirac space with positive-energy states (PESs) only. The uncertainties of the RBHF calculations in the Dirac space with PESs only are investigated, and the importance of the RBHF calculations in the full Dirac space is demonstrated. In the RBHF calculations in the full Dirac space, the empirical saturation properties of symmetric nuclear matter are reproduced, and the obtained equation of state agrees with the results based on the relativistic Green's function approach up to the saturation density.


title: Gravitating Cho-Maison Monopole

abstract: We study numerical solutions corresponding to spherically symmetric gravitating electroweak monopole and magnetically charged black holes of the Einstein-Weinberg-Salam theory. The gravitating electroweak monopole solutions are quite identical to the gravitating monopole solution in SU(2) Einsten-Yang-Mills-Higgs theory, but with distinctive characteristics. We also found solutions representing radially excited monopole, which has no counterpart in flat space. Both of these solutions exist up to a maximal gravitational coupling before they cease to exist. Lastly we also report on magnetically charged non-Abelian black holes solutions that is closely related to the regular monopole solutions, which represents counterexample to the `no-hair' conjecture.


title: Discrimination of background events in the PolarLight X-ray polarimeter

abstract: PolarLight is a space-borne X-ray polarimeter that measures the X-ray polarization via electron tracking in an ionization chamber. It is a collimated instrument and thus suffers from the background on the whole detector plane. The majority of background events are induced by high energy charged particles and show ionization morphologies distinct from those produced by X-rays of interest. Comparing on-source and off-source observations, we find that the two datasets display different distributions on image properties. The boundaries between the source and background distributions are obtained and can be used for background discrimination. Such a means can remove over 70% of the background events measured with PolarLight. This approaches the theoretical upper limit of the background fraction that is removable and justifies its effectiveness. For observations with the Crab nebula, the background contamination decreases from 25% to 8% after discrimination, indicative of a polarimetric sensitivity of around 0.2 Crab for PolarLight. This work also provides insights into future X-ray polarimetric telescopes.