title: Can High-velocity Protostellar Jets Help to Drive Low-velocity Outflow?

abstract: Using three-dimensional magnetohydrodynamics simulations, the driving of protostellar jets is investigated in different star-forming cores with the parameters of magnetic field strength and mass accretion rate. Powerful high-velocity jets appear in strongly magnetized clouds when the mass accretion rate onto the protostellar system is lower than $\dot{M} \lesssim 10^{-3}\,{\rm M}_\odot$ yr$^{-1}$. On the other hand, even at this mass accretion rate range, no jets appear for magnetic fields of prestellar clouds as weak as $\mu_0 \gtrsim 5$--$10$, where $\mu_0$ is the mass-to-flux ratio normalized by the critical value $(2\pi G^{1/2})^{-1}$. For $\dot{M}\gtrsim 10^{-3}\,{\rm M}_\odot$ yr$^{-1}$, although jets usually appear just after protostar formation independent of the magnetic field strength, they soon weaken and finally disappear. Thus, they cannot help drive the low-velocity outflow when there is no low-velocity flow just before protostar formation. As a result, no significant mass ejection occurs during the early mass accretion phase either when the prestellar cloud is weaky magnetized or when the mass accretion rate is very high. Thus, protostars formed in such environments would trace different evolutionary paths from the normal star formation process.


title: Policy Optimization Using Semi-parametric Models for Dynamic Pricing

abstract: In this paper, we study the contextual dynamic pricing problem where the market value of a product is linear in its observed features plus some market noise. Products are sold one at a time, and only a binary response indicating success or failure of a sale is observed. Our model setting is similar to Javanmard and Nazerzadeh [2019] except that we expand the demand curve to a semiparametric model and need to learn dynamically both parametric and nonparametric components. We propose a dynamic statistical learning and decision-making policy that combines semiparametric estimation from a generalized linear model with an unknown link and online decision-making to minimize regret (maximize revenue). Under mild conditions, we show that for a market noise c.d.f. $F(\cdot)$ with $m$-th order derivative ($m\geq 2$), our policy achieves a regret upper bound of $\tilde{O}_{d}(T^{\frac{2m+1}{4m-1}})$, where $T$ is time horizon and $\tilde{O}_{d}$ is the order that hides logarithmic terms and the dimensionality of feature $d$. The upper bound is further reduced to $\tilde{O}_{d}(\sqrt{T})$ if $F$ is super smooth whose Fourier transform decays exponentially. In terms of dependence on the horizon $T$, these upper bounds are close to $\Omega(\sqrt{T})$, the lower bound where $F$ belongs to a parametric class. We further generalize these results to the case with dynamically dependent product features under the strong mixing condition.


title: Scaffoldings of Totally Positive Matrices and Line Insertion

abstract: Given a totally positive matrix, can one insert a line (row or column) between two given lines while maintaining total positivity? This question was first posed and solved by Johnson and Smith who gave an algorithm that results in one possible line insertion. In this work we revisit this problem. First we show that every totally positive matrix can be associated to a certain vertex-weighted graph in such a way that the entries of the matrix are equal to sums over certain paths in this graph. We call this graph a scaffolding of the matrix. We then use this to give a complete characterization of all possible line insertions as the strongly positive solutions to a given homogeneous system of linear equations.


title: On Factor-Invariant Graphs With Two Cycles

abstract: We classify trivalent vertex-transitive graphs whose edge sets have a partition into a 2-factor composed of two cycles and a 1-factor that is invariant under the action of the automorphism group.


title: Tail bounds for empirically standardized sums

abstract: Exponential tail bounds for sums play an important role in statistics, but the example of the $t$-statistic shows that the exponential tail decay may be lost when population parameters need to be estimated from the data. However, it turns out that if Studentizing is accompanied by estimating the location parameter in a suitable way, then the $t$-statistic regains the exponential tail behavior. Motivated by this example, the paper analyzes other ways of empirically standardizing sums and establishes tail bounds that are sub-Gaussian or even closer to normal for the following settings: Standardization with Studentized contrasts for normal observations, standardization with the log likelihood ratio statistic for observations from an exponential family, and standardization via self-normalization for observations from a symmetric distribution with unknown center of symmetry. The latter standardization gives rise to a novel scan statistic for heteroscedastic data whose asymptotic power is analyzed in the case where the observations have a log-concave distribution.


title: Tracking Control foe Multi-Agent Systems Using Broadcast Signals Based on Positive Realness

abstract: Broadcast control is one of decentralized control methods for networked multi-agent systems. In this method, each agent does not communicate with the others, and autonomously determines its own action using only the same signal sent from a central controller. Therefore, it is effective for systems with numerous agents or no-communication between agents. However, it is difficult to manage the stochastic action process of agents considering engineering applications. This paper proposes a decentralized control such that agents autonomously select the deterministic actions. Firstly, a non-linear controller with a binary output of each agent including 0 is introduced in order to express stop actions autonomously when the target is achieved. The asymptotic stability to the target is proved. Secondly, the controller can adjust the tendency of actions in order to make it easier to manage the actions. Thirdly, the controller is extended to that with a continuous output in order to reduce the tracking error to the target and the output vibration. Finally, the effectiveness of the proposed control is verified by numerical experiments.


title: Set partitions, fermions, and skein relations

abstract: Let $\Theta_n = (\theta_1, \dots, \theta_n)$ and $\Xi_n = (\xi_1, \dots, \xi_n)$ be two lists of $n$ variables and consider the diagonal action of $\mathfrak{S}_n$ on the exterior algebra $\wedge \{ \Theta_n, \Xi_n \}$ generated by these variables. Jongwon Kim and the second author defined and studied the fermionic diagonal coinvariant ring $FDR_n$ obtained from $\wedge \{ \Theta_n, \Xi_n \}$ by modding out by the $\mathfrak{S}_n$-invariants with vanishing constant term. On the other hand, the second author described an action of $\mathfrak{S}_n$ on the vector space with basis given by noncrossing set partitions of $\{1,\dots,n\}$ using a novel family of skein relations which resolve crossings in set partitions. We give an isomorphism between a natural Catalan-dimensional submodule of $FDR_n$ and the skein representation. To do this, we show that set partition skein relations arise naturally in the context of exterior algebras. Our approach yields an $\mathfrak{S}_n$-equivariant way to resolve crossings in set partitions. We use fermions to clarify, sharpen, and extend the theory of set partition crossing resolution.


title: Hunspell for Sorani Kurdish Spell Checking and Morphological Analysis

abstract: Spell checking and morphological analysis are two fundamental tasks in text and natural language processing and are addressed in the early stages of the development of language technology. Despite the previous efforts, there is no progress in open-source to create such tools for Sorani Kurdish, also known as Central Kurdish, as a less-resourced language. In this paper, we present our efforts in annotating a lexicon with morphosyntactic tags and also, extracting morphological rules of Sorani Kurdish to build a morphological analyzer, a stemmer and a spell-checking system using Hunspell. This implementation can be used for further developments in the field by researchers and also, be integrated into text editors under a publicly available license.


title: Adaptive Constrained Kinematic Control using Partial or Complete Task-Space Measurements

abstract: Recent advancements in constrained kinematic control make it an attractive strategy for controlling robots with arbitrary geometry in challenging tasks. Most current works assume that the robot kinematic model is precise enough for the task at hand. However, with increasing demands and safety requirements in robotic applications, there is a need for a controller that compensates online for kinematic inaccuracies. We propose an adaptive constrained kinematic control strategy based on quadratic programming, which uses partial or complete task-space measurements to compensate online for calibration errors. Our method is validated in experiments that show increased accuracy and safety compared to a state-of-the-art kinematic control strategy.


title: Internal reverse-biased p-n junctions: a possible origin of the high resistance in phase change superlattice

abstract: Phase change superlattice is one of the emerging material technologies for ultralow-power phase change memories. However, the resistance switching mechanism of phase change superlattice is still hotly debated. Early electrical measurements and recent materials characterizations have suggested that the Kooi phase is very likely to be the as-fabricated low-resistance state. Due to the difficulty in in-situ characterization at atomic resolution, the structure of the electrically switched superlattice in its high-resistance state is still unknown and mainly investigated by theoretical modellings. So far, there has been no simple model that can unify experimental results obtained from device-level electrical measurements and atomic-level materials characterizations. In this work, we carry out atomistic transport modellings of the phase change superlattice device and propose a simple mechanism accounting for its high resistance. The modeled high-resistance state is based on the interfacial phase changed superlattice that has previously been mistaken for the low-resistance state. This work advances the understanding of phase change superlattice for emerging memory applications.


title: ASGARD: A Single-cell Guided pipeline to Aid Repurposing of Drugs

abstract: Intercellular heterogeneity is a major obstacle to successful precision medicine. Single-cell RNA sequencing (scRNA-seq) technology has enabled in-depth analysis of intercellular heterogeneity in various diseases. However, its full potential for precision medicine has yet to be reached. Towards this, we propose a new drug recommendation system called: A Single-cell Guided Pipeline to Aid Repurposing of Drugs (ASGARD). ASGARD defines a novel drug score predicting drugs by considering all cell clusters to address the intercellular heterogeneity within each patient. We tested ASGARD on multiple diseases, including breast cancer, acute lymphoblastic leukemia, and coronavirus disease 2019 (COVID-19). On single-drug therapy, ASGARD shows significantly better average accuracy (AUC of 0.92) compared to two other bulk-cell-based drug repurposing methods (AUC of 0.80 and 0.76). It is also considerably better (AUC of 0.82) than other cell cluster level predicting methods (AUC of 0.67 and 0.55). In addition, ASGARD is also validated by the drug response prediction method TRANSACT with Triple-Negative-Breast-Cancer patient samples. Many top-ranked drugs are either approved by FDA or in clinical trials treating corresponding diseases. In silico cell-type specific drop-out experiments using triple-negative breast cancers show the importance of T cells in the tumor microenvironment in affecting drug predictions. In conclusion, ASGARD is a promising drug repurposing recommendation tool guided by single-cell RNA-seq for personalized medicine. ASGARD is free for educational use at https://github.com/lanagarmire/ASGARD.


title: A consumption-investment model with state-dependent lower bound constraint on consumption

abstract: This paper studies a life-time consumption-investment problem under the Black-Scholes framework, where the consumption rate is subject to a lower bound constraint that linearly depends on her wealth. It is a stochastic control problem with state-dependent control constraint to which the standard stochastic control theory cannot be directly applied. We overcome this by transforming it into an equivalent stochastic control problem in which the control constraint is state-independent so that the standard theory can be applied. We give an explicit optimal consumption-investment strategy when the constraint is homogeneous. When the constraint is non-homogeneous, it is shown that the value function is third-order continuously differentiable by differential equation approach, and a feedback form optimal consumption-investment strategy is provided. According to our findings, if one is concerned with long-term more than short-term consumption, then she should always consume as few as possible; otherwise, she should consume optimally when her wealth is above a threshold, and consume as few as possible when her wealth is below the threshold.


title: Compression, Transduction, and Creation: A Unified Framework for Evaluating Natural Language Generation

abstract: Natural language generation (NLG) spans a broad range of tasks, each of which serves for specific objectives and desires different properties of generated text. The complexity makes automatic evaluation of NLG particularly challenging. Previous work has typically focused on a single task and developed individual evaluation metrics based on specific intuitions. In this paper, we propose a unifying perspective that facilitates the design of metrics for a wide range of language generation tasks and quality aspects. Based on the nature of information change from input to output, we classify NLG tasks into compression (e.g., summarization), transduction (e.g., text rewriting), and creation (e.g., dialog). The information alignment, or overlap, between input, context, and output text plays a common central role in characterizing the generation. Using the uniform concept of information alignment, we develop a family of interpretable metrics for various NLG tasks and aspects, often without need of gold reference data. To operationalize the metrics, we train self-supervised models to approximate information alignment as a prediction task. Experiments show the uniformly designed metrics achieve stronger or comparable correlations with human judgement compared to state-of-the-art metrics in each of diverse tasks, including text summarization, style transfer, and knowledge-grounded dialog. With information alignment as the intermediate representation, we deliver a composable library for easy NLG evaluation and future metric design.


title: Brakke's formulation of velocity and the second order regularity property

abstract: Suppose that a family of $k$-dimensional surfaces in $\mathbb R^n$ evolves by the motion law of $v=h+u^\perp$ in the sense of Brakke's formulation of velocity, where $v$ is the normal velocity vector, $h$ is the generalized mean curvature vector and $u^\perp$ is the normal projection of a given vector field $u$ in a dimensionally sharp integrability class. When the flow is locally close to a time-independent $k$-dimensional plane in a weak sense of measure in space-time, it is represented as a graph of a $C^{1,\alpha}$ function over the plane. On the other hand, it is not known if the graph satisfies the PDE of $v=h+u^\perp$ pointwise in general. For this problem, when $k=n-1$ and under the additional assumption that the distributional time derivative of the graph is a signed Radon measure, it is proved that the graph satisfies the PDE pointwise. An application to a short-time existence theorem for a surface evolution problem is given.


title: WINNet: Wavelet-inspired Invertible Network for Image Denoising

abstract: Image denoising aims to restore a clean image from an observed noisy image. The model-based image denoising approaches can achieve good generalization ability over different noise levels and are with high interpretability. Learning-based approaches are able to achieve better results, but usually with weaker generalization ability and interpretability. In this paper, we propose a wavelet-inspired invertible network (WINNet) to combine the merits of the wavelet-based approaches and learningbased approaches. The proposed WINNet consists of K-scale of lifting inspired invertible neural networks (LINNs) and sparsity-driven denoising networks together with a noise estimation network. The network architecture of LINNs is inspired by the lifting scheme in wavelets. LINNs are used to learn a non-linear redundant transform with perfect reconstruction property to facilitate noise removal. The denoising network implements a sparse coding process for denoising. The noise estimation network estimates the noise level from the input image which will be used to adaptively adjust the soft-thresholds in LINNs. The forward transform of LINNs produce a redundant multi-scale representation for denoising. The denoised image is reconstructed using the inverse transform of LINNs with the denoised detail channels and the original coarse channel. The simulation results show that the proposed WINNet method is highly interpretable and has strong generalization ability to unseen noise levels. It also achieves competitive results in the non-blind/blind image denoising and in image deblurring.


title: Cohmeleon: Learning-Based Orchestration of Accelerator Coherence in Heterogeneous SoCs

abstract: One of the most critical aspects of integrating loosely-coupled accelerators in heterogeneous SoC architectures is orchestrating their interactions with the memory hierarchy, especially in terms of navigating the various cache-coherence options: from accelerators accessing off-chip memory directly, bypassing the cache hierarchy, to accelerators having their own private cache. By running real-size applications on FPGA-based prototypes of many-accelerator multi-core SoCs, we show that the best cache-coherence mode for a given accelerator varies at runtime, depending on the accelerator's characteristics, the workload size, and the overall SoC status. Cohmeleon applies reinforcement learning to select the best coherence mode for each accelerator dynamically at runtime, as opposed to statically at design time. It makes these selections adaptively, by continuously observing the system and measuring its performance. Cohmeleon is accelerator-agnostic, architecture-independent, and it requires minimal hardware support. Cohmeleon is also transparent to application programmers and has a negligible software overhead. FPGA-based experiments show that our runtime approach offers, on average, a 38% speedup with a 66% reduction of off-chip memory accesses compared to state-of-the-art design-time approaches. Moreover, it can match runtime solutions that are manually tuned for the target architecture.


title: Transformation-based generalized spatial regression using the spmoran package: Case study examples

abstract: This study presents application examples of generalized spatial regression modeling for count data and continuous non-Gaussian data using the spmoran package (version 0.2.2 onward). Section 2 introduces the model. The subsequent sections demonstrate applications of the model for disease mapping, spatial prediction and uncertainty modeling, and hedonic analysis. The R codes used in this vignette are available from https://github.com/dmuraka/spmoran. Another vignette focusing on Gaussian spatial regression modeling is also available from the same GitHub page.


title: Long time asymptotic for the Wadati-Konno-Ichikawa equation with finite density initial data

abstract: In this work, we investigate the Cauchy problem of the Wadati-Konno-Ichikawa (WKI) equation with finite density initial data. Employing the $\bar{\partial}$-generalization of Deift-Zhou nonlinear steepest descent method, we derive the long time asymptotic behavior of the solution $q(x,t)$ in space-time soliton region. Based on the resulting asymptotic behavior, the asymptotic approximation of the WKI equation is characterized with the soliton term confirmed by $N(I)$-soliton on discrete spectrum and the $t^{-\frac{1}{2}}$ leading order term on continuous spectrum with residual error up to $O(t^{-\frac{3}{4}})$. Our results also confirm the soliton resolution conjecture for the WKI equation with finite density initial data.


title: Bell state analyzer for spectrally distinct photons

abstract: We demonstrate a Bell state analyzer that operates directly on frequency mismatch. Based on electro-optic modulators and Fourier-transform pulse shapers, our quantum frequency processor design implements interleaved Hadamard gates in discrete frequency modes. Experimental tests on entangled-photon inputs reveal accuracies of $\sim$98\% for discriminating between the $|\Psi^+\rangle$ and $|\Psi^-\rangle$ frequency-bin Bell states. Our approach resolves the tension between wavelength-multiplexed state transport and high-fidelity Bell state measurements, which typically require spectral indistinguishability.


title: The Three-Sided PyramidWavefront Sensor. I. Simulations and Analysis for Astronomical Adaptive Optics

abstract: For ExAO instruments for the Giant Segmented Mirror Telescopes (GSMTs), alternative architectures of WFS are under consideration because there is a tradeoff between detector size, speed, and noise that reduces the performance of GSMT-ExAO wavefront control. One option under consideration for a GSMT-ExAO wavefront sensor is a three-sided PWFS (3PWFS). The 3PWFS creates three copies of the telescope pupil for wavefront sensing, compared to the conventional four-sided PWFS (4PWFS) which uses four pupils. The 3PWFS uses fewer detector pixels than the 4PWFS and should therefore be less sensitive to read noise. Here we develop a mathematical formalism based on the diffraction theory description of the Foucault knife edge test that predicts the intensity pattern after the PWFS. Our formalism allows us to calculate the intensity in the pupil images formed by the PWFS in the presence of phase errors corresponding to arbitrary Fourier modes. We then use the Object Oriented MATLAB Adaptive Optics toolbox (OOMAO) to simulate an end-to-end model of an adaptive optics system using a PWFS with modulation and compare the performance of the 3PWFS to the 4PWFS. In the case of a low read noise detector, the Strehl ratios of the 3PWFS and 4PWFS are within 0.01. When we included higher read noise in the simulation, we found a Strehl ratio gain of 0.036 for the 3PWFS using Raw Intensity over the 4PWFS using Slopes Maps at a stellar magnitude of 10. At the same magnitude, the 4PWFS RI also outperformed the 4PWFS SM, but the gain was only 0.012 Strehl. This is significant because 4PWFS using Slopes Maps is how the PWFS is conventionally used for AO wavefront sensing. We have found that the 3PWFS is a viable wavefront sensor that can fully reconstruct a wavefront and produce a stable closed-loop with correction comparable to that of a 4PWFS, with modestly better performance for high read-noise detectors.


title: Rationales for Sequential Predictions

abstract: Sequence models are a critical component of modern NLP systems, but their predictions are difficult to explain. We consider model explanations though rationales, subsets of context that can explain individual model predictions. We find sequential rationales by solving a combinatorial optimization: the best rationale is the smallest subset of input tokens that would predict the same output as the full sequence. Enumerating all subsets is intractable, so we propose an efficient greedy algorithm to approximate this objective. The algorithm, which is called greedy rationalization, applies to any model. For this approach to be effective, the model should form compatible conditional distributions when making predictions on incomplete subsets of the context. This condition can be enforced with a short fine-tuning step. We study greedy rationalization on language modeling and machine translation. Compared to existing baselines, greedy rationalization is best at optimizing the combinatorial objective and provides the most faithful rationales. On a new dataset of annotated sequential rationales, greedy rationales are most similar to human rationales.


title: On Distributed Learning with Constant Communication Bits

abstract: In this paper, we study a distributed learning problem constrained by constant communication bits. Specifically, we consider the distributed hypothesis testing (DHT) problem where two distributed nodes are constrained to transmit a constant number of bits to a central decoder. In such cases, we show that in order to achieve the optimal error exponents, it suffices to consider the empirical distributions of observed data sequences and encode them to the transmission bits. With such a coding strategy, we develop a geometric approach in the distribution spaces and establish an inner bound of error exponent regions. In particular, we show the optimal achievable error exponents and coding schemes for the following cases: (i) both nodes can transmit $\log_23$ bits; (ii) one of the nodes can transmit $1$ bit, and the other node is not constrained; (iii) the joint distribution of the nodes are conditionally independent given one hypothesis. Furthermore, we provide several numerical examples for illustrating the theoretical results. Our results provide theoretical guidance for designing practical distributed learning rules, and the developed approach also reveals new potentials for establishing error exponents for DHT with more general communication constraints.


title: Fluctuating relativistic dissipative hydrodynamics as a gauge theory

abstract: We argue that different formulations of hydrodynamics are related to uncertainties in the definitions of local thermodynamic and hydrodynamic variables. We show that this ambiguity can be resolved by viewing different formulations of hydrodynamics as particular "gauge choices" which lead to the same physical behavior of the system. Using the example of bulk viscosity, we show that Bemfica-Disconzi-Noronha-Kovtun (BDNK) and Israel-Stewart hydrodynamics are particular "gauge choices" of this type, related by a well-defined transformation of thermodynamic and hydrodynamic variables. We argue that this gauge ambiguity is necessary to ascertain the causality of stochastic hydrodynamic evolution and conjecture that it could explain the applicability of hydrodynamics outside its expected regime of validity since far from equilibrium and close to equilibrium may be related through transformations of this type.


title: Stellar loci IV. Red giant stars

abstract: In the fourth paper of this series, we present the metallicity-dependent Sloan Digital Sky Survey (SDSS) stellar color loci of red giant stars, using a spectroscopic sample of red giants in the SDSS Stripe 82 region. The stars span a range of 0.55 -- 1.2 mag in color g-i, -0.3 -- -2.5 in metallicity [Fe/H], and have values of surface gravity log g smaller than 3.5 dex. As in the case of main-sequence (MS) stars, the intrinsic widths of loci of red giants are also found to be quite narrow, a few mmag at maximum. There are however systematic differences between the metallicity-dependent stellar loci of red giants and MS stars. The colors of red giants are less sensitive to metallicity than those of MS stars. With good photometry, photometric metallicities of red giants can be reliably determined by fitting the u-g, g-r, r-i, and i-z colors simultaneously to an accuracy of 0.2 -- 0.25 dex, comparable to the precision achievable with low-resolution spectroscopy for a signal-to-noise ratio of 10. By comparing fitting results to the stellar loci of red giants and MS stars, we propose a new technique to discriminate between red giants and MS stars based on the SDSS photometry. The technique achieves completeness of ~ 70 per cent and efficiency of ~ 80 per cent in selecting metal-poor red giant stars of [Fe/H] $\le$ -1.2. It thus provides an important tool to probe the structure and assemblage history of the Galactic halo using red giant stars.


title: Molecules with ALMA at Planet-forming Scales (MAPS) VI: Distribution of the small organics HCN, C2H, and H2CO

abstract: Small organic molecules, such as C2H, HCN, and H2CO, are tracers of the C, N, and O budget in protoplanetary disks. We present high angular resolution (10-50 au) observations of C2H, HCN, and H2CO lines in five protoplanetary disks from the Molecules with ALMA at Planet-forming Scales (MAPS) ALMA Large Program. We derive column density and excitation temperature profiles for HCN and C2H, and find that the HCN emission arises in a temperate (20-30 K) layer in the disk, while C2H is present in relatively warmer (20-60 K) layers. In the case of HD 163296, we find a decrease in column density for HCN and C2H inside one of the dust gaps near 83 au, where a planet has been proposed to be located. We derive H2CO column density profiles assuming temperatures between 20 and 50 K, and find slightly higher column densities in the colder disks around T Tauri stars than around Herbig Ae stars. The H2CO column densities rise near the location of the CO snowline and/or millimeter dust edge, suggesting an efficient release of H2CO ices in the outer disk. Finally, we find that the inner 50 au of these disks are rich in organic species, with abundances relative to water that are similar to cometary values. Comets could therefore deliver water and key organics to future planets in these disks, similar to what might have happened here on Earth. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement.


title: The Off-Shell Recursion for Gravity and the Classical Double Copy for currents

abstract: We construct the off-shell recursion for gravity and the graviton current for the perturbative double field theory (DFT). We first formulate the perturbative DFT, which is equivalent but simpler to perturbative general relativity, to all-orders in fluctuations of generalised metric. The perturbative action and equations of motion (EoM) are derived to arbitrary order for pure gravity case. We then derive the graviton off-shell recursion, the gravity counterpart of the Berends-Giele recursion in Yang-Mills theory, through the so-called perturbiner method using the EoM of the perturbative DFT. We solve the recursion iteratively and obtain the graviton off-shell currents explicitly. We then discuss the classical double copy for the off-shell currents. We present the current KLT relation for gravity by extending the result proposed by Mizera and Skrzypek for the non-gravitational effective field theories. The relation represents graviton currents by squaring gluon currents with the KLT kernel up to gauge transformation and regular terms that do not have any pole. Finally we discuss the off-shell conservation of currents for nonlinear gauge choices.


title: Non-Markovian Stochastic Schr\"odinger Equation: Matrix Product State Approach to the Hierarchy of Pure States

abstract: We derive a stochastic hierarchy of matrix product states (HOMPS) for non-Markovian dynamics in open quantum system at finite temperature, which is numerically exact and efficient. HOMPS is obtained from the recently developed stochastic hierarchy of pure states (HOPS) by expressing HOPS in terms of formal creation and annihilation operators. The resulting stochastic first order differential equation is then formulated in terms of matrix product states and matrix product operators. In this way the exponential complexity of HOPS can be reduced to scale polynomial with the number of particles. The validity and efficiency of HOMPS is demonstrated for the spin-boson model and long chains where each site is coupled to a structured, strongly non-Markovian environment.


title: Dynamical Systems of Correspondences on the Projective Line I: Moduli Spaces and Multiplier Maps

abstract: We consider moduli spaces of dynamical systems of correspondences over the projective line as a generalization of moduli spaces of dynamical systems of endomorphisms on the projective line. We obtain the rationality of the moduli spaces. The rationality of the moduli space of degree $(d,e)$ correspondences is obtained from a representation-theoretic projection to the one for the usual dynamical systems of degree $d+e-1$. We also show that the multiplier maps for the fixed points and the multiplier index theorem (Woods Hole formula) are also reduced through the projection and obtain the reduced form explicitly.


title: An Inverse Procedural Modeling Pipeline for SVBRDF Maps

abstract: Procedural modeling is now the de facto standard of material modeling in industry. Procedural models can be edited and are easily extended, unlike pixel-based representations of captured materials. In this paper, we present a semi-automatic pipeline for general material proceduralization. Given Spatially-Varying Bidirectional Reflectance Distribution Functions (SVBRDFs) represented as sets of pixel maps, our pipeline decomposes them into a tree of sub-materials whose spatial distributions are encoded by their associated mask maps. This semi-automatic decomposition of material maps progresses hierarchically, driven by our new spectrum-aware material matting and instance-based decomposition methods. Each decomposed sub-material is proceduralized by a novel multi-layer noise model to capture local variations at different scales. Spatial distributions of these sub-materials are modeled either by a by-example inverse synthesis method recovering Point Process Texture Basis Functions (PPTBF) or via random sampling. To reconstruct procedural material maps, we propose a differentiable rendering-based optimization that recomposes all generated procedures together to maximize the similarity between our procedural models and the input material pixel maps. We evaluate our pipeline on a variety of synthetic and real materials. We demonstrate our method's capacity to process a wide range of material types, eliminating the need for artist designed material graphs required in previous work. As fully procedural models, our results expand to arbitrary resolution and enable high level user control of appearance.


title: Regularity of powers of Stanley-Reisner ideals of one-dimensional simplicial complexes

abstract: Let $\Delta$ be a one-dimensional simplicial complex. Let $I_\Delta$ be the Stanley-Reisner ideal of $\Delta$. We prove that for all $s \ge 1$ and all intermediate ideals $J$ generated by $I_\Delta^s$ and some minimal generators of $I_\Delta^{(s)}$, we have $${\rm reg} J = {\rm reg} I_\Delta^s = {\rm reg} I_\Delta^{(s)}.$$


title: AdaPruner: Adaptive Channel Pruning and Effective Weights Inheritance

abstract: Channel pruning is one of the major compression approaches for deep neural networks. While previous pruning methods have mostly focused on identifying unimportant channels, channel pruning is considered as a special case of neural architecture search in recent years. However, existing methods are either complicated or prone to sub-optimal pruning. In this paper, we propose a pruning framework that adaptively determines the number of each layer's channels as well as the wights inheritance criteria for sub-network. Firstly, evaluate the importance of each block in the network based on the mean of the scaling parameters of the BN layers. Secondly, use the bisection method to quickly find the compact sub-network satisfying the budget. Finally, adaptively and efficiently choose the weight inheritance criterion that fits the current architecture and fine-tune the pruned network to recover performance. AdaPruner allows to obtain pruned network quickly, accurately and efficiently, taking into account both the structure and initialization weights. We prune the currently popular CNN models (VGG, ResNet, MobileNetV2) on different image classification datasets, and the experimental results demonstrate the effectiveness of our proposed method. On ImageNet, we reduce 32.8% FLOPs of MobileNetV2 with only 0.62% decrease for top-1 accuracy, which exceeds all previous state-of-the-art channel pruning methods. The code will be released.


title: Adaptive Proposal Generation Network for Temporal Sentence Localization in Videos

abstract: We address the problem of temporal sentence localization in videos (TSLV). Traditional methods follow a top-down framework which localizes the target segment with pre-defined segment proposals. Although they have achieved decent performance, the proposals are handcrafted and redundant. Recently, bottom-up framework attracts increasing attention due to its superior efficiency. It directly predicts the probabilities for each frame as a boundary. However, the performance of bottom-up model is inferior to the top-down counterpart as it fails to exploit the segment-level interaction. In this paper, we propose an Adaptive Proposal Generation Network (APGN) to maintain the segment-level interaction while speeding up the efficiency. Specifically, we first perform a foreground-background classification upon the video and regress on the foreground frames to adaptively generate proposals. In this way, the handcrafted proposal design is discarded and the redundant proposals are decreased. Then, a proposal consolidation module is further developed to enhance the semantic of the generated proposals. Finally, we locate the target moments with these generated proposals following the top-down framework. Extensive experiments on three challenging benchmarks show that our proposed APGN significantly outperforms previous state-of-the-art methods.


title: Half-space solutions with $7/2$ frequency in the thin obstacle problem

abstract: For the thin obstacle problem in 3d, we show that half-space solutions form an isolated family in the space of $7/2$-homogeneous solutions. For a general solution with one blow-up profile in this family, we establish the rate of convergence to this profile. As a consequence, we obtain regularity of the free boundary near such contact points.


title: Progressively Guide to Attend: An Iterative Alignment Framework for Temporal Sentence Grounding

abstract: A key solution to temporal sentence grounding (TSG) exists in how to learn effective alignment between vision and language features extracted from an untrimmed video and a sentence description. Existing methods mainly leverage vanilla soft attention to perform the alignment in a single-step process. However, such single-step attention is insufficient in practice, since complicated relations between inter- and intra-modality are usually obtained through multi-step reasoning. In this paper, we propose an Iterative Alignment Network (IA-Net) for TSG task, which iteratively interacts inter- and intra-modal features within multiple steps for more accurate grounding. Specifically, during the iterative reasoning process, we pad multi-modal features with learnable parameters to alleviate the nowhere-to-attend problem of non-matched frame-word pairs, and enhance the basic co-attention mechanism in a parallel manner. To further calibrate the misaligned attention caused by each reasoning step, we also devise a calibration module following each attention module to refine the alignment knowledge. With such iterative alignment scheme, our IA-Net can robustly capture the fine-grained relations between vision and language domains step-by-step for progressively reasoning the temporal boundaries. Extensive experiments conducted on three challenging benchmarks demonstrate that our proposed model performs better than the state-of-the-arts.


title: Camera-Tracklet-Aware Contrastive Learning for Unsupervised Vehicle Re-Identification

abstract: Recently, vehicle re-identification methods based on deep learning constitute remarkable achievement. However, this achievement requires large-scale and well-annotated datasets. In constructing the dataset, assigning globally available identities (Ids) to vehicles captured from a great number of cameras is labour-intensive, because it needs to consider their subtle appearance differences or viewpoint variations. In this paper, we propose camera-tracklet-aware contrastive learning (CTACL) using the multi-camera tracklet information without vehicle identity labels. The proposed CTACL divides an unlabelled domain, i.e., entire vehicle images, into multiple camera-level subdomains and conducts contrastive learning within and beyond the subdomains. The positive and negative samples for contrastive learning are defined using tracklet Ids of each camera. Additionally, the domain adaptation across camera networks is introduced to improve the generalisation performance of learnt representations and alleviate the performance degradation resulted from the domain gap between the subdomains. We demonstrate the effectiveness of our approach on video-based and image-based vehicle Re-ID datasets. Experimental results show that the proposed method outperforms the recent state-of-the-art unsupervised vehicle Re-ID methods. The source code for this paper is publicly available on `https://github.com/andreYoo/CTAM-CTACL-VVReID.git'.


title: Exploring Personality and Online Social Engagement: An Investigation of MBTI Users on Twitter

abstract: Text-based personality prediction by computational models is an emerging field with the potential to significantly improve on key weaknesses of survey-based personality assessment. We investigate 3848 profiles from Twitter with self-labeled Myers-Briggs personality traits (MBTI) - a framework closely related to the Five Factor Model of personality - to better understand how text-based digital traces from social engagement online can be used to predict user personality traits. We leverage BERT, a state-of-the-art NLP architecture based on deep learning, to analyze various sources of text that hold most predictive power for our task. We find that biographies, statuses, and liked tweets contain significant predictive power for all dimensions of the MBTI system. We discuss our findings and their implications for the validity of the MBTI and the lexical hypothesis, a foundational theory underlying the Five Factor Model that links language use and behavior. Our results hold optimistic implications for personality psychologists, computational linguists, and other social scientists aiming to predict personality from observational text data and explore the links between language and core behavioral traits.


title: Symbolic determinant identity testing and non-commutative ranks of matrix Lie algebras

abstract: One approach to make progress on the symbolic determinant identity testing (SDIT) problem is to study the structure of singular matrix spaces. After settling the non-commutative rank problem (Garg-Gurvits-Oliveira-Wigderson, Found. Comput. Math. 2020; Ivanyos-Qiao-Subrahmanyam, Comput. Complex. 2018), a natural next step is to understand singular matrix spaces whose non-commutative rank is full. At present, examples of such matrix spaces are mostly sporadic, so it is desirable to discover them in a more systematic way. In this paper, we make a step towards this direction, by studying the family of matrix spaces that are closed under the commutator operation, that is matrix Lie algebras. On the one hand, we demonstrate that matrix Lie algebras over the complex number field give rise to singular matrix spaces with full non-commutative ranks. On the other hand, we show that SDIT of such spaces can be decided in deterministic polynomial time. Moreover, we give a characterization for the matrix Lie algebras to yield a matrix space possessing singularity certificates as studied by Lov'asz (B. Braz. Math. Soc., 1989) and Raz and Wigderson (Building Bridges II, 2019).


title: Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems

abstract: Advanced Driver-Assistance Systems (ADAS) have been thriving and widely deployed in recent years. In general, these systems receive sensor data, compute driving decisions, and output control signals to the vehicles. To smooth out the uncertainties brought by sensor outputs, they usually leverage multi-sensor fusion (MSF) to fuse the sensor outputs and produce a more reliable understanding of the surroundings. However, MSF cannot completely eliminate the uncertainties since it lacks the knowledge about which sensor provides the most accurate data and how to optimally integrate the data provided by the sensors. As a result, critical consequences might happen unexpectedly. In this work, we observed that the popular MSF methods in an industry-grade ADAS can mislead the car control and result in serious safety hazards. We define the failures (e.g., car crashes) caused by the faulty MSF as fusion errors and develop a novel evolutionary-based domain-specific search framework, FusED, for the efficient detection of fusion errors. We further apply causality analysis to show that the found fusion errors are indeed caused by the MSF method. We evaluate our framework on two widely used MSF methods in two driving environments. Experimental results show that FusED identifies more than 150 fusion errors. Finally, we provide several suggestions to improve the MSF methods we study.


title: Evolutionary dynamics of zero-determinant strategies in repeated multiplayer games

abstract: Since Press and Dyson's ingenious discovery of ZD (zero-determinant) strategy in the repeated Prisoner's Dilemma game, several studies have confirmed the existence of ZD strategy in repeated multiplayer social dilemmas. However, few researches study the evolutionary performance of multiplayer ZD strategies, especially from a theoretical perspective. Here, we use a newly proposed state-clustering method to theoretically analyze the evolutionary dynamics of two representative ZD strategies: generous ZD strategies and extortionate ZD strategies. Apart from the competitions between the two strategies and some classical strategies, we consider two new settings for multiplayer ZD strategies: competitions in the whole ZD strategy space and competitions in the space of all memory-1 strategies. Besides, we investigate the influence of level of generosity and extortion on the evolutionary dynamics of generous and extortionate ZD, which was commonly ignored in previous studies. Theoretical results show players with limited generosity are at an advantageous place and extortioners extorting more severely hold their ground more readily. Our results may provide new insights into better understanding the evolutionary dynamics of ZD strategies in repeated multiplayer games.


title: Inelastic Particle Clusters from Cumulative Momenta

abstract: We consider a physical system comprising discrete massive particles on the real line whose trajectories interact via perfectly inelastic collision, also known as sticky particles. It turns out that polygons formed in a convex "cumulative momentum diagram" of the initial conditions allow us to easily predict how many particle clusters form as time $t\to\infty$. We explore an application of this to a unit mass system with $\pm 1$ velocities, which has ties to simple symmetric random walks and lattice path counting.


title: Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling

abstract: Effective inclusion of physics-based knowledge into deep neural network models of dynamical systems can greatly improve data efficiency and generalization. Such a-priori knowledge might arise from physical principles (e.g., conservation laws) or from the system's design (e.g., the Jacobian matrix of a robot), even if large portions of the system dynamics remain unknown. We develop a framework to learn dynamics models from trajectory data while incorporating a-priori system knowledge as inductive bias. More specifically, the proposed framework uses physics-based side information to inform the structure of the neural network itself, and to place constraints on the values of the outputs and the internal states of the model. It represents the system's vector field as a composition of known and unknown functions, the latter of which are parametrized by neural networks. The physics-informed constraints are enforced via the augmented Lagrangian method during the model's training. We experimentally demonstrate the benefits of the proposed approach on a variety of dynamical systems -- including a benchmark suite of robotics environments featuring large state spaces, non-linear dynamics, external forces, contact forces, and control inputs. By exploiting a-priori system knowledge during training, the proposed approach learns to predict the system dynamics two orders of magnitude more accurately than a baseline approach that does not include prior knowledge, given the same training dataset.


title: New Insight into the Formation Mechanism of the Energetic Particle Reservoirs in the Heliosphere

abstract: The concept of energetic particle reservoirs, essentially based on the assumption of the presence of outer reflecting boundaries/magnetic mirrors or diffusion barriers (deterministic) rather than on the effect of particle diffusive propagation (stochastic) in magnetic turbulence, has been used for decades to describe the space-extended decay phases of energetic particle events within the fields of space physics, solar physics, and plasma physics. Using five-dimensional time-dependent Fokker-Planck transport equation simulations, in this work we demonstrate that the so-called particle reservoirs are naturally explained and quantitatively reproduced by diffusion processes in turbulent magnetic fields, without invoking the hypothesis of reflecting boundaries. Our results strongly suggest that the so-called "reservoir" (based on deterministic structure) should be renamed "flood" (based on stochastic diffusion), which symbolizes an authentic shift in thinking and in pragmatic rationale for the studies of energetic particles and relevant plasma phenomena in heliophysics and in astrophysics.

categories: physics.space-ph astro-ph.HE astro-ph.SR physics.data-an physics.plasm-ph


title: Reinforcement Learning with Evolutionary Trajectory Generator: A General Approach for Quadrupedal Locomotion

abstract: Recently reinforcement learning (RL) has emerged as a promising approach for quadrupedal locomotion, which can save the manual effort in conventional approaches such as designing skill-specific controllers. However, due to the complex nonlinear dynamics in quadrupedal robots and reward sparsity, it is still difficult for RL to learn effective gaits from scratch, especially in challenging tasks such as walking over the balance beam. To alleviate such difficulty, we propose a novel RL-based approach that contains an evolutionary foot trajectory generator. Unlike prior methods that use a fixed trajectory generator, the generator continually optimizes the shape of the output trajectory for the given task, providing diversified motion priors to guide the policy learning. The policy is trained with reinforcement learning to output residual control signals that fit different gaits. We then optimize the trajectory generator and policy network alternatively to stabilize the training and share the exploratory data to improve sample efficiency. As a result, our approach can solve a range of challenging tasks in simulation by learning from scratch, including walking on a balance beam and crawling through the cave. To further verify the effectiveness of our approach, we deploy the controller learned in the simulation on a 12-DoF quadrupedal robot, and it can successfully traverse challenging scenarios with efficient gaits.


title: Quantitative analysis of diffraction by liquids using a pink-spectrum X-ray source

abstract: We describes a new approach for performing quantitative structure-factor analysis and density measurements of liquids using x-ray diffraction with a pink-spectrum x-ray source. The methodology corrects for the pink beam effect by performing a Taylor series expansion of the diffraction signal. The mean density, background scale factor, peak x-ray energy about which the expansion is performed, and the cutoff radius for density measurement are estimated using the derivative-free optimization scheme. The formalism is demonstrated for a simulated radial distribution function for tin. Finally, the proposed methodology is applied to experimental data on shock compressed tin recorded at the Dynamic Compression Sector at the Advanced Photon Source, with derived densities comparing favorably to other experimental results and the equations of state of tin.


title: Laser-assisted binding of ultracold polar molecules with Rydberg atoms in the van der Waals regime

abstract: We study ultracold long-range collisions of heteronuclear alkali-metal dimers with a reservoir gas of alkali-metal Rydberg atoms in a two-photon laser excitation scheme. In a low density regime where molecules remain outside the Rydberg orbits of the reservoir atoms, we show that the two-photon photoassociation (PA) of the atom-molecule pair into a long-range bound trimer state is efficient over a broad range of atomic Rydberg channels. As a case study, we obtain the PA lineshapes for the formation of trimers composed of KRb molecules in the rovibrational ground state and excited Rb atoms in the asymptotic Rydberg levels $n^{2}S_j$ and $n^{2}D_j$, for $n=20-80$. We predict atom-molecule binding energies in the range $10-10^3$ kHz for the first vibrational state below threshold. The average trimer formation rate is order $10^8\, {\rm s}^{-1}$ at 1.0 $\mu$K, and depends weakly on the principal quantum number $n$. Our results set the foundations for a broader understanding of exotic long range collisions of dilute molecules in ultracold atomic Rydberg reservoirs.


title: Gapless States Localized along a Staircase Edge in Second-Order Topological Insulators

abstract: A second-order topological insulator on a two-dimensional square lattice hosts zero-dimensional states inside a band gap. They are localized near $90^{\circ}$ and $270^{\circ}$ corners constituting an edge of the system. When the edge is in a staircase form consisting of these two corners, two families of edge states (i.e., one-dimensional states localized near the edge) appear as a result of the hybridization of zero-dimensional states. We identify symmetry that makes them gapless. We also show that a pair of nontrivial winding numbers associated with this symmetry guarantee a gapless spectrum of edge states, indicating that bulk--boundary correspondence holds in this topological insulator with a staircase edge.


title: Keller admissible triples and Duflo theorem

abstract: The present paper is devoted to the study of Keller admissible triples. We prove that a Keller admissible triple induces an isomorphism of Gerstenhaber algebras between the Hochschild cohomologies of direct-sum type of the pair of differential graded algebras bound to one another by the admissible triple. As an application, we give a new concrete proof of the Duflo--Kontsevich theorem for finite-dimensional Lie algebras.

categories: math.QA math-ph math.AT math.MP math.RA math.RT


title: A note on the rings of functions which are discontinuous on some finite sets

abstract: In this paper, we study some properties of the ring $C(X)_F$ of all real valued functions which are continuous except on some finite subsets of $X$. We show that $C(X)_F$ is closed under uniform limit if and only if the set of all non-isolated points of $X$ is finite. We also initiate and investigate the zero divisor graph of the ring $C(X)_F$.


title: Gradient Imitation Reinforcement Learning for Low Resource Relation Extraction

abstract: Low-resource Relation Extraction (LRE) aims to extract relation facts from limited labeled corpora when human annotation is scarce. Existing works either utilize self-training scheme to generate pseudo labels that will cause the gradual drift problem, or leverage meta-learning scheme which does not solicit feedback explicitly. To alleviate selection bias due to the lack of feedback loops in existing LRE learning paradigms, we developed a Gradient Imitation Reinforcement Learning method to encourage pseudo label data to imitate the gradient descent direction on labeled data and bootstrap its optimization capability through trial and error. We also propose a framework called GradLRE, which handles two major scenarios in low-resource relation extraction. Besides the scenario where unlabeled data is sufficient, GradLRE handles the situation where no unlabeled data is available, by exploiting a contextualized augmentation method to generate data. Experimental results on two public datasets demonstrate the effectiveness of GradLRE on low resource relation extraction when comparing with baselines.


title: MMCoVaR: Multimodal COVID-19 Vaccine Focused Data Repository for Fake News Detection and a Baseline Architecture for Classification

abstract: The outbreak of COVID-19 has resulted in an "infodemic" that has encouraged the propagation of misinformation about COVID-19 and cure methods which, in turn, could negatively affect the adoption of recommended public health measures in the larger population. In this paper, we provide a new multimodal (consisting of images, text and temporal information) labeled dataset containing news articles and tweets on the COVID-19 vaccine. We collected 2,593 news articles from 80 publishers for one year between Feb 16th 2020 to May 8th 2021 and 24184 Twitter posts (collected between April 17th 2021 to May 8th 2021). We combine ratings from two news media ranking sites: Medias Bias Chart and Media Bias/Fact Check (MBFC) to classify the news dataset into two levels of credibility: reliable and unreliable. The combination of two filters allows for higher precision of labeling. We also propose a stance detection mechanism to annotate tweets into three levels of credibility: reliable, unreliable and inconclusive. We provide several statistics as well as other analytics like, publisher distribution, publication date distribution, topic analysis, etc. We also provide a novel architecture that classifies the news data into misinformation or truth to provide a baseline performance for this dataset. We find that the proposed architecture has an F-Score of 0.919 and accuracy of 0.882 for fake news detection. Furthermore, we provide benchmark performance for misinformation detection on tweet dataset. This new multimodal dataset can be used in research on COVID-19 vaccine, including misinformation detection, influence of fake COVID-19 vaccine information, etc.


title: Cross-document Event Identity via Dense Annotation

abstract: In this paper, we study the identity of textual events from different documents. While the complex nature of event identity is previously studied (Hovy et al., 2013), the case of events across documents is unclear. Prior work on cross-document event coreference has two main drawbacks. First, they restrict the annotations to a limited set of event types. Second, they insufficiently tackle the concept of event identity. Such annotation setup reduces the pool of event mentions and prevents one from considering the possibility of quasi-identity relations. We propose a dense annotation approach for cross-document event coreference, comprising a rich source of event mentions and a dense annotation effort between related document pairs. To this end, we design a new annotation workflow with careful quality control and an easy-to-use annotation interface. In addition to the links, we further collect overlapping event contexts, including time, location, and participants, to shed some light on the relation between identity decisions and context. We present an open-access dataset for cross-document event coreference, CDEC-WN, collected from English Wikinews and open-source our annotation toolkit to encourage further research on cross-document tasks.


title: Perfect state transfer in Grover walks between states associated to vertices of a graph

abstract: We study perfect state transfer in Grover walks, which are typical discrete-time quantum walk models. In particular, we focus on states associated to vertices of a graph. We call such states vertex type states. Perfect state transfer between vertex type states can be studied via Chebyshev polynomials. We derive a necessary condition on eigenvalues of a graph for perfect state transfer between vertex type states to occur. In addition, we perfectly determine the complete multipartite graphs whose partite sets are the same size on which perfect state transfer occurs between vertex type states, together with the time.


title: Molecules with ALMA at Planet-forming Scales (MAPS) XIII: HCO$^+$ and disk ionization structure

abstract: We observed HCO$^+$ $J=1-0$ and H$^{13}$CO$^+$ $J=1-0$ emission towards the five protoplanetary disks around IM Lup, GM Aur, AS 209, HD 163296, and MWC 480 as part of the MAPS project. HCO$^+$ is detected and mapped at 0.3\arcsec\,resolution in all five disks, while H$^{13}$CO$^+$ is detected (SNR$>6 \sigma$) towards GM Aur and HD 163296 and tentatively detected (SNR$>3 \sigma$) towards the other disks by a matched filter analysis. Inside a radius of $R\sim 100$ au, the HCO$^+$ column density is flat or shows a central dip. At outer radii ($\gtrsim 100$ au), the HCO$^+$ column density decreases outwards, while the column density ratio of HCO$^+$/CO is mostly in the range of $\sim 10^{-5}-10^{-4}$. We derived the HCO$^+$ abundance in the warm CO-rich layer, where HCO$^+$ is expected to be the dominant molecular ion. At $R\gtrsim 100$ au, the HCO$^+$ abundance is $\sim 3 \times 10^{-11} - 3\times 10^{-10}$, which is consistent with a template disk model with X-ray ionization. At the smaller radii, the abundance decreases inwards, which indicates that the ionization degree is lower in denser gas, especially inside the CO snow line, where the CO-rich layer is in the midplane. Comparison of template disk models with the column densities of HCO$^+$, N$_2$H$^+$, and N$_2$D$^+$ indicates that the midplane ionization rate is $\gtrsim 10^{-18}$ s$^{-1}$ for the disks around IM Lup, AS 209, and HD 163296. We also find hints of an increased HCO$^+$ abundance around the location of dust continuum gaps in AS 209, HD 163296, and MWC 480. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement.


title: Stability and molecular pathways to the formation of spin defects in silicon carbide

abstract: Spin defects in wide-bandgap semiconductors provide a promising platform to create qubits for quantum technologies. Their synthesis, however, presents considerable challenges, and the mechanisms responsible for their generation or annihilation are poorly understood. Here, we elucidate spin defect formation processes in a binary crystal for a key qubit candidate--the divacancy complex (VV) in silicon carbide (SiC). Using atomistic models, enhanced sampling simulations, and density functional theory calculations, we find that VV formation is a thermally activated process that competes with the conversion of silicon ($V_{Si}$) to carbon monovacancies ($V_{C}$), and that VV reorientation can occur without dissociation. We also find that increasing the concentration of $V_{Si}$ relative to $V_{C}$ favors the formation of divacancies. Moreover, we identify pathways to create spin defects consisting of antisite-double vacancy complexes and determine their electronic properties. The detailed view of the mechanisms that underpin the formation and dynamics of spin defects presented here may facilitate the realization of qubits in an industrially relevant material.


title: COVID-Net MLSys: Designing COVID-Net for the Clinical Workflow

abstract: As the COVID-19 pandemic continues to devastate globally, one promising field of research is machine learning-driven computer vision to streamline various parts of the COVID-19 clinical workflow. These machine learning methods are typically stand-alone models designed without consideration for the integration necessary for real-world application workflows. In this study, we take a machine learning and systems (MLSys) perspective to design a system for COVID-19 patient screening with the clinical workflow in mind. The COVID-Net system is comprised of the continuously evolving COVIDx dataset, COVID-Net deep neural network for COVID-19 patient detection, and COVID-Net S deep neural networks for disease severity scoring for COVID-19 positive patient cases. The deep neural networks within the COVID-Net system possess state-of-the-art performance, and are designed to be integrated within a user interface (UI) for clinical decision support with automatic report generation to assist clinicians in their treatment decisions.


title: Cross-Region Domain Adaptation for Class-level Alignment

abstract: Semantic segmentation requires a lot of training data, which necessitates costly annotation. There have been many studies on unsupervised domain adaptation (UDA) from one domain to another, e.g., from computer graphics to real images. However, there is still a gap in accuracy between UDA and supervised training on native domain data. It is arguably attributable to class-level misalignment between the source and target domain data. To cope with this, we propose a method that applies adversarial training to align two feature distributions in the target domain. It uses a self-training framework to split the image into two regions (i.e., trusted and untrusted), which form two distributions to align in the feature space. We term this approach cross-region adaptation (CRA) to distinguish from the previous methods of aligning different domain distributions, which we call cross-domain adaptation (CDA). CRA can be applied after any CDA method. Experimental results show that this always improves the accuracy of the combined CDA method, having updated the state-of-the-art.


title: A PIE Representation of Coupled Linear 2D PDEs and Stability Analysis using LPIs

abstract: We introduce a Partial Integral Equation (PIE) representation of Partial Differential Equations (PDEs) in two spatial variables. PIEs are an algebraic state-space representation of infinite-dimensional systems and have been used to model 1D PDEs and time-delay systems without continuity constraints or boundary conditions -- making these PIE representations amenable to stability analysis using convex optimization. To extend the PIE framework to 2D PDEs, we first construct an algebra of Partial Integral (PI) operators on the function space L_2[x,y], providing formulae for composition, adjoint, and inversion. We then extend this algebra to R^n x L_2[x] x L_2[y] x L_2[x,y] and demonstrate that, for any suitable coupled, linear PDE in 2 spatial variables, there exists an associated PIE whose solutions bijectively map to solutions of the original PDE -- providing conversion formulae between these representations. Next, we use positive matrices to parameterize the convex cone of 2D PI operators -- allowing us to optimize PI operators and solve Linear PI Inequality (LPI) feasibility problems. Finally, we use the 2D LPI framework to provide conditions for stability of 2D linear PDEs. We test these conditions on 2D heat and wave equations and demonstrate that the stability condition has little to no conservatism.


title: Statistical Inference: The Missing Piece of RecSys Experiment Reliability Discourse

abstract: This paper calls attention to the missing component of the recommender system evaluation process: Statistical Inference. There is active research in several components of the recommender system evaluation process: selecting baselines, standardizing benchmarks, and target item sampling. However, there has not yet been significant work on the role and use of statistical inference for analyzing recommender system evaluation results. In this paper, we argue that the use of statistical inference is a key component of the evaluation process that has not been given sufficient attention. We support this argument with systematic review of recent RecSys papers to understand how statistical inference is currently being used, along with a brief survey of studies that have been done on the use of statistical inference in the information retrieval community. We present several challenges that exist for inference in recommendation experiment which buttresses the need for empirical studies to aid with appropriately selecting and applying statistical inference techniques.


title: Instability in charged Gauss-Bonnet-de Sitter black holes

abstract: We study the instability of the charged Gauss-Bonnet de Sitter black holes under gravito-electromagnetic perturbations. We adopt two criteria to search for an instability of the scalar type perturbations, including the local instability criterion based on the $AdS_2$ Breitenl\"{o}hner-Freedman (BF) bound at extremality and the dynamical instability via quasinormal modes by full numerical analysis. We uncover the gravitational instability in five spacetime dimensions and above, and construct the complete parameter space in terms of the ratio of event and cosmological horizons and the Gauss-Bonnet coupling. We show that the BF bound violation is a sufficient but not necessary condition for the presence of dynamical instability. While the physical origin of the instability without the Gauss-Bonnet term has been argued to be from the $AdS_2$ BF bound violation, our analysis suggests that the BF bound violation can not account for all physical origin of the instability for the charged Gauss-Bonnet black holes.


title: Two-dimensional self-interlocking structures in three-space

abstract: It is well known that if there exists a finite set of convex bodies on the plane with non-overlapping interiors, then there is at least one "extremal" one among them, i.e., some one which can be continuously "taken away to the infinity" (outside a large ball containing all other bodies). In 3-space a phenomenon of self-interlocking structures takes place. A self-interlocking structure is such a set of three-dimensional convex bodies with non-overlapping interiors that any infinitesimal move of any of them is possible only as a part of the move of all bodies as a solid body. Previously known self-interlocking structures are based on configurations of cut cubes, tetrahedra, and octahedra. In the present paper we discover a principally new phenomenon of 2-dimensional self-interlocking structures: a family of 2-dimensional polygons in 3-space where no infinitesimal move of any piece is possible. (Infinitely thin) tiles are used to create {\em decahedra}, which, in turn, used to create columns, which turn out to be stable when we fix some two extreme tiles. Seemingly, our work is the first appearance of the structure which is stable if we fix just two tiles (and not all but one). Two-dimensional self-interlocking structures naturally lead to three-dimensional structures possessing the same properties.


title: Commonsense-Focused Dialogues for Response Generation: An Empirical Study

abstract: Smooth and effective communication requires the ability to perform latent or explicit commonsense inference. Prior commonsense reasoning benchmarks (such as SocialIQA and CommonsenseQA) mainly focus on the discriminative task of choosing the right answer from a set of candidates, and do not involve interactive language generation as in dialogue. Moreover, existing dialogue datasets do not explicitly focus on exhibiting commonsense as a facet. In this paper, we present an empirical study of commonsense in dialogue response generation. We first auto-extract commonsensical dialogues from existing dialogue datasets by leveraging ConceptNet, a commonsense knowledge graph. Furthermore, building on social contexts/situations in SocialIQA, we collect a new dialogue dataset with 25K dialogues aimed at exhibiting social commonsense in an interactive setting. We evaluate response generation models trained using these datasets and find that models trained on both extracted and our collected data produce responses that consistently exhibit more commonsense than baselines. Finally we propose an approach for automatic evaluation of commonsense that relies on features derived from ConceptNet and pre-trained language and dialog models, and show reasonable correlation with human evaluation of responses' commonsense quality. We are releasing a subset of our collected data, Commonsense-Dialogues, containing about 11K dialogs.


title: Different Hamiltonians for differential Painlev\'e equations and their identification using a geometric approach

abstract: It is well-known that differential Painlev\'e equations can be written in a Hamiltonian form. However, a coordinate form of such representation is far from unique -- there are many very different Hamiltonians that result in the same differential Painlev\'e equation. Recognizing a Painlev\'e equation, for example when it appears in some applied problem, is known as the \emph{Painlev\'e equivalence problem}, and the question that we consider here is the Hamiltonian form of this problem. Making such identification explicit, on the level of coordinate transformations, can be very helpful for an applied problem, since it gives access to the wealth of known results about Painlev\'e equations, such as the structure of the symmetry group, special solutions for special values of the parameters, and so on. It can also provide an explicit link between different problems that have the same underlying structure. In this paper we describe a systematic procedure for finding changes of coordinates that trasform different Hamiltonian representations of a Painlev\'e equation into some chosen canonical form. Our approach is based on Sakai's geometric theory of Painlev\'e equations. We explain this procedure in detail for the fourth differential ${\text{P}_{\mathrm{IV}}}$ equation, and also give a brief summary of some known examples for ${\text{P}_{\mathrm{V}}}$ and ${\text{P}_{\mathrm{VI}}}$ cases. It is clear that this approach can easily be adapted to other examples as well, so we expect our paper to be a useful reference for some of the realizations of Okamoto spaces of initial conditions for Painlev\'e equations.


title: Robust Inverse Framework using Knowledge-guided Self-Supervised Learning: An application to Hydrology

abstract: Machine Learning is beginning to provide state-of-the-art performance in a range of environmental applications such as streamflow prediction in a hydrologic basin. However, building accurate broad-scale models for streamflow remains challenging in practice due to the variability in the dominant hydrologic processes, which are best captured by sets of process-related basin characteristics. Existing basin characteristics suffer from noise and uncertainty, among many other things, which adversely impact model performance. To tackle the above challenges, in this paper, we propose a novel Knowledge-guided Self-Supervised Learning (KGSSL) inverse framework to extract system characteristics from driver and response data. This first-of-its-kind framework achieves robust performance even when characteristics are corrupted. We show that KGSSL achieves state-of-the-art results for streamflow modeling for CAMELS (Catchment Attributes and MEteorology for Large-sample Studies) which is a widely used hydrology benchmark dataset. Specifically, KGSSL outperforms other methods by up to 16 \% in reconstructing characteristics. Furthermore, we show that KGSSL is relatively more robust to distortion than baseline methods, and outperforms the baseline model by 35\% when plugging in KGSSL inferred characteristics.


title: Discovery of Extra-Planar HI Clouds and a HI Tail in the M101 Galaxy Group with FAST

abstract: We present a new high-sensitivity HI observation toward nearby spiral galaxy M101 and its adjacent 2$^{\circ}\times$ 2$^{\circ}$ region using the Five-hundred-meter Aperture Spherical radio Telescope (FAST). From the observation, we detect a more extended and asymmetric HI disk around M101. While the HI velocity field within the M101's optical disk region is regular, indicating that the relatively strong disturbance occurs in its outer disk. Moreover, we identify three new HI clouds located on the southern edge of the M101's HI disk. The masses of the three HI clouds are 1.3$\times$10$^{7}$ $M_{\odot}$, 2.4$\times$10$^{7}$ $M_{\odot}$, and 2.0$\times$10$^{7}$ $M_{\odot}$, respectively. The HI clouds similar to dwarf companion NGC 5477 rotate with the HI disk of M101. Unlike the NGC 5477, they have no optical counterparts. Furthermore, we detect a new HI tail in the extended HI disk of M101. The HI tail detected gives a reliable evidence for M101 interaction with the dwarf companion NGC 5474. We argue that the extra-planar gas (three HI clouds) and the HI tail detected in the M101's disk may origin from a minor interaction with NGC 5474.


title: Exploring the Long Short-Term Dependencies to Infer Shot Influence in Badminton Matches

abstract: Identifying significant shots in a rally is important for evaluating players' performance in badminton matches. While there are several studies that have quantified player performance in other sports, analyzing badminton data is remained untouched. In this paper, we introduce a badminton language to fully describe the process of the shot and propose a deep learning model composed of a novel short-term extractor and a long-term encoder for capturing a shot-by-shot sequence in a badminton rally by framing the problem as predicting a rally result. Our model incorporates an attention mechanism to enable the transparency of the action sequence to the rally result, which is essential for badminton experts to gain interpretable predictions. Experimental evaluation based on a real-world dataset demonstrates that our proposed model outperforms the strong baselines. The source code is publicly available at https://github.com/yao0510/Shot-Influence.


title: Improved Few-shot Segmentation by Redefinition of the Roles of Multi-level CNN Features

abstract: This study is concerned with few-shot segmentation, i.e., segmenting the region of an unseen object class in a query image, given support image(s) of its instances. The current methods rely on the pretrained CNN features of the support and query images. The key to good performance depends on the proper fusion of their mid-level and high-level features; the former contains shape-oriented information, while the latter has class-oriented information. Current state-of-the-art methods follow the approach of Tian et al., which gives the mid-level features the primary role and the high-level features the secondary role. In this paper, we reinterpret this widely employed approach by redifining the roles of the multi-level features; we swap the primary and secondary roles. Specifically, we regard that the current methods improve the initial estimate generated from the high-level features using the mid-level features. This reinterpretation suggests a new application of the current methods: to apply the same network multiple times to iteratively update the estimate of the object's region, starting from its initial estimate. Our experiments show that this method is effective and has updated the previous state-of-the-art on COCO-20$^i$ in the 1-shot and 5-shot settings and on PASCAL-5$^i$ in the 1-shot setting.


title: Molecules with ALMA at Planet-forming Scales (MAPS) XIV: Revealing disk substructures in multi-wavelength continuum emission

abstract: Constraining dust properties of planet-forming disks via high angular resolution observations is fundamental to understanding how solids are trapped in substructures and how dust growth may be favored or accelerated therein. We use ALMA dust continuum observations of the Molecules with ALMA at Planet-forming Scales (MAPS) disks and explore a large parameter space to constrain the radial distribution of solid mass and maximum grain size in each disk, including or excluding dust scattering. In the nonscattering model, the dust surface density and maximum grain size profiles decrease from the inner disks to the outer disks, with local maxima at the bright ring locations, as expected from dust trapping models. The inferred maximum grain sizes from the inner to outer disks decrease from ~1 cm to 1 mm. For IM Lup, HD 163296, and MWC 480 in the scattering model, two solutions are compatible with their observed inner disk emission: one solution corresponding to a maximum grain size of a few millimeters (similar to the nonscattering model), and the other corresponding to a few hundred micrometer sizes. Based on the estimated Toomre parameter, only IM Lup -- which shows a prominent spiral morphology in millimeter dust -- is found to be gravitationally unstable. The estimated maximum Stokes number in all the disks lies between 0.01 and 0.3, and the estimated turbulence parameters in the rings of AS 209 and HD 163296 are close to the threshold where dust growth is limited by turbulent fragmentation. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement.


title: Macroscopic dynamical fluctuations in Kac ring model

abstract: We study dynamical fluctuations in the macroscopic paths around the most probable path of the Kac ring model, which is a simple deterministic and reversible dynamical system exhibiting the macroscopic irreversible relaxation. We derive the form of the generating function for macroscopic paths and show that the small deviations are described by a discrete-time Ornstein-Uhlenbeck process. We also argue that the microscopic reversibility leads to the fluctuation relation of the rate function, and prove it based on the form of the generating function.


title: Introducing the FLAMINGOS-2 Split-K Medium Band Filters: The Impact on Photometric Selection of High-z Galaxies in the FENIKS-pilot survey

abstract: Deep near-infrared photometric surveys are efficient in identifying high-redshift galaxies, however they can be prone to systematic errors in photometric redshift. This is particularly salient when there is limited sampling of key spectral features of a galaxy's spectral energy distribution (SED), such as for quiescent galaxies where the expected age-sensitive Balmer/4000 A break enter the $K$-band at $z>4$. With single filter sampling of this spectral feature, degeneracies between SED models and redshift emerge. A potential solution to this comes from splitting the $K$-band into multiple filters. We use simulations to show an optimal solution is to add two medium-band filters, $K_\mathrm{blue}$ ($\lambda_\mathrm{cen}$=2.06 $\mu$m, $\Delta\lambda$=0.25 $\mu$m) and $K_\mathrm{red}$ ($\lambda_\mathrm{cen}$=2.31 $\mu$m, $\Delta\lambda$=0.27 $\mu$m), that are complementary to the existing $K_\mathrm{s}$ filter. We test the impact of the $K$-band filters with simulated catalogues comprised of galaxies with varying ages and signal-to-noise. The results suggest that the $K$-band filters do improve photometric redshift constraints on $z>4$ quiescent galaxies, increasing precision and reducing outliers by up to 90$\%$. We find that the impact from the $K$-band filters depends on the signal-to-noise, the redshift and the SED of the galaxy. The filters we designed were built and used to conduct a pilot of the FLAMINGOS-2 Extra-galactic Near-Infrared $K$-band Split (FENIKS) survey. While no new $z>4$ quiescent galaxies are identified in the limited area pilot, the $K_\mathrm{blue}$ and $K_\mathrm{red}$ filters indicate strong Balmer/4000 A breaks in existing candidates. Additionally we identify galaxies with strong nebular emission lines, for which the $K$-band filters increase photometric redshift precision and in some cases indicate extreme star-formation.


title: YES SIR!Optimizing Semantic Space of Negatives with Self-Involvement Ranker

abstract: Pre-trained model such as BERT has been proved to be an effective tool for dealing with Information Retrieval (IR) problems. Due to its inspiring performance, it has been widely used to tackle with real-world IR problems such as document ranking. Recently, researchers have found that selecting "hard" rather than "random" negative samples would be beneficial for fine-tuning pre-trained models on ranking tasks. However, it remains elusive how to leverage hard negative samples in a principled way. To address the aforementioned issues, we propose a fine-tuning strategy for document ranking, namely Self-Involvement Ranker (SIR), to dynamically select hard negative samples to construct high-quality semantic space for training a high-quality ranking model. Specifically, SIR consists of sequential compressors implemented with pre-trained models. Front compressor selects hard negative samples for rear compressor. Moreover, SIR leverages supervisory signal to adaptively adjust semantic space of negative samples. Finally, supervisory signal in rear compressor is computed based on condition probability and thus can control sample dynamic and further enhance the model performance. SIR is a lightweight and general framework for pre-trained models, which simplifies the ranking process in industry practice. We test our proposed solution on MS MARCO with document ranking setting, and the results show that SIR can significantly improve the ranking performance of various pre-trained models. Moreover, our method became the new SOTA model anonymously on MS MARCO Document ranking leaderboard in May 2021.


title: Uncovering Implicit Gender Bias in Narratives through Commonsense Inference

abstract: Pre-trained language models learn socially harmful biases from their training corpora, and may repeat these biases when used for generation. We study gender biases associated with the protagonist in model-generated stories. Such biases may be expressed either explicitly ("women can't park") or implicitly (e.g. an unsolicited male character guides her into a parking space). We focus on implicit biases, and use a commonsense reasoning engine to uncover them. Specifically, we infer and analyze the protagonist's motivations, attributes, mental states, and implications on others. Our findings regarding implicit biases are in line with prior work that studied explicit biases, for example showing that female characters' portrayal is centered around appearance, while male figures' focus on intellect.


title: Learning to Drive on the Wrong Side of the Road: How American Computing Came to Rely on Conferences for Primary Publication

abstract: In contrast to other fields where conferences are typically for less polished or in-progress research, computing has long relied on referred conference papers as a venue for the final publication of completed research. While frequently a topic of informal discussion, debates about its efficacy, or library science research, the development of this phenomena has not been historically analyzed. This paper presents the first systematic investigation of the development of modern computing publications. It relies on semi-structured interviews with eight computing professors from diverse backgrounds to understand how researchers experienced changes in publication culture over time. Ultimately, the article concludes that the early presence of non-academic practitioners in research and a degree of "path dependence"or a tendency to continue on the established path rather than the most economically optimal one" allowed conferences to gain and hold prominence as the field exploded in popularity during the 1980s.


title: Chord index for knots in thickened surfaces

abstract: In this note, we construct a chord index homomorphism from a subgroup of $H_1(\Sigma, \mathbb{Z})$ to the group of chord indices of a knot $K$ in $\Sigma\times I$. Some knot invariants derived from this homomorphism are discussed.


title: Complexity-aware Adaptive Training and Inference for Edge-Cloud Distributed AI Systems

abstract: The ubiquitous use of IoT and machine learning applications is creating large amounts of data that require accurate and real-time processing. Although edge-based smart data processing can be enabled by deploying pretrained models, the energy and memory constraints of edge devices necessitate distributed deep learning between the edge and the cloud for complex data. In this paper, we propose a distributed AI system to exploit both the edge and the cloud for training and inference. We propose a new architecture, MEANet, with a main block, an extension block, and an adaptive block for the edge. The inference process can terminate at either the main block, the extension block, or the cloud. The MEANet is trained to categorize inputs into easy/hard/complex classes. The main block identifies instances of easy/hard classes and classifies easy classes with high confidence. Only data with high probabilities of belonging to hard classes would be sent to the extension block for prediction. Further, only if the neural network at the edge shows low confidence in the prediction, the instance is considered complex and sent to the cloud for further processing. The training technique lends to the majority of inference on edge devices while going to the cloud only for a small set of complex jobs, as determined by the edge. The performance of the proposed system is evaluated via extensive experiments using modified models of ResNets and MobileNetV2 on CIFAR-100 and ImageNet datasets. The results show that the proposed distributed model has improved accuracy and energy consumption, indicating its capacity to adapt.


title: Structure-Enhanced Pop Music Generation via Harmony-Aware Learning

abstract: Pop music generation has always been an attractive topic for both musicians and scientists for a long time. However, automatically composing pop music with a satisfactory structure is still a challenging issue. In this paper, we propose to leverage harmony-aware learning for structure-enhanced pop music generation. On the one hand, one of the participants of harmony, chord, represents the harmonic set of multiple notes, which is integrated closely with the spatial structure of music, the texture. On the other hand, the other participant of harmony, chord progression, usually accompanies the development of the music, which promotes the temporal structure of music, the form. Moreover, when chords evolve into chord progression, the texture and form can be bridged by the harmony naturally, which contributes to the joint learning of the two structures. Furthermore, we propose the Harmony-Aware Hierarchical Music Transformer (HAT), which can exploit the structure adaptively from the music, and make the musical tokens interact hierarchically to enhance the structure in multi-level musical elements. Experimental results reveal that compared to the existing methods, HAT owns a much better understanding of the structure and it can also improve the quality of generated music, especially in the form and texture.


title: Domain Sparsification of Discrete Distributions using Entropic Independence

abstract: We present a framework for speeding up the time it takes to sample from discrete distributions $\mu$ defined over subsets of size $k$ of a ground set of $n$ elements, in the regime $k\ll n$. We show that having estimates of marginals $\mathbb{P}_{S\sim \mu}[i\in S]$, the task of sampling from $\mu$ can be reduced to sampling from distributions $\nu$ supported on size $k$ subsets of a ground set of only $n^{1-\alpha}\cdot \operatorname{poly}(k)$ elements. Here, $1/\alpha\in [1, k]$ is the parameter of entropic independence for $\mu$. Further, the sparsified distributions $\nu$ are obtained by applying a sparse (mostly $0$) external field to $\mu$, an operation that often retains algorithmic tractability of sampling from $\nu$. This phenomenon, which we dub domain sparsification, allows us to pay a one-time cost of estimating the marginals of $\mu$, and in return reduce the amortized cost needed to produce many samples from the distribution $\mu$, as is often needed in upstream tasks such as counting and inference. For a wide range of distributions where $\alpha=\Omega(1)$, our result reduces the domain size, and as a corollary, the cost-per-sample, by a $\operatorname{poly}(n)$ factor. Examples include monomers in a monomer-dimer system, non-symmetric determinantal point processes, and partition-constrained Strongly Rayleigh measures. Our work significantly extends the reach of prior work of Anari and Derezi\'nski who obtained domain sparsification for distributions with a log-concave generating polynomial (corresponding to $\alpha=1$). As a corollary of our new analysis techniques, we also obtain a less stringent requirement on the accuracy of marginal estimates even for the case of log-concave polynomials; roughly speaking, we show that constant-factor approximation is enough for domain sparsification, improving over $O(1/k)$ relative error established in prior work.


title: Designing a Combinatorial Financial Options Market

abstract: Financial options are contracts that specify the right to buy or sell an underlying asset at a strike price by an expiration date. Standard exchanges offer options of predetermined strike values and trade options of different strikes independently, even for those written on the same underlying asset. Such independent market design can introduce arbitrage opportunities and lead to the thin market problem. The paper first proposes a mechanism that consolidates and matches orders on standard options related to the same underlying asset, while providing agents the flexibility to specify any custom strike value. The mechanism generalizes the classic double auction, runs in time polynomial to the number of orders, and poses no risk to the exchange, regardless of the value of the underlying asset at expiration. Empirical analysis on real-market options data shows that the mechanism can find new matches for options of different strike prices and reduce bid-ask spreads. Extending standard options written on a single asset, we propose and define a new derivative instrument -- combinatorial financial options that offer contract holders the right to buy or sell any linear combination of multiple underlying assets. We generalize our single-asset mechanism to match options written on different combinations of assets, and prove that optimal clearing of combinatorial financial options is coNP-hard. To facilitate market operations, we propose an algorithm that finds the exact optimal match through iterative constraint generation, and evaluate its performance on synthetically generated combinatorial options markets of different scales. As option prices reveal the market's collective belief of an underlying asset's future value, a combinatorial options market enables the expression of aggregate belief about future correlations among assets.


title: A thorough introduction to non-relativistic matrix mechanics in multi-qudit systems with a study on quantum entanglement and quantum quantifiers

abstract: Quantum computing is among the most far-reaching technologies of the 21st century, tackling challenges at the cutting edge of physics. This new paradigm in computer science harnesses quantum entanglement, one striking non-intuitive feature of quantum mechanics and a cornerstone of quantum information, to provide computation with a quantum speed-up over the best-known classical algorithms and to enable encrypted data communication against eavesdropping. The bulk of this article is focused on providing a deep and abiding understanding of non-relativistic matrix mechanics by demonstrating the fundamental mathematical identities of the contemporary postulatory approach of quantum mechanics within the state vector and density operator formalism in multipartite systems. In addition to that, we derive and analyze the respective 1-qubit, 1-qutrit, 2-qubit, and 2-qudit coherent and incoherent density operators using Bloch's parametrization for generalized $d$-dimensional $N$-qudit states embedded in the $SU(d)$ Lie group with associate generalized Gell Mann's matrices spanning the $\mathfrak{su}(d)$ Lie algebra. We also address the fundamental concepts of quantum nondemolition measurements, quantum decoherence and, particularly, quantum entanglement providing for the latter a systematic view on its historical development and mathematical description in multipartite systems. We conclude our review by introducing some of the ubiquitous quantum quantifiers required to measure degrees of quantum entanglement and quantum coherence, deriving the $p$-norm quantum coherence measure for a 1-qubit state.


title: Optimal Qubit Mapping with Simultaneous Gate Absorption

abstract: Before quantum error correction (QEC) is achieved, quantum computers focus on noisy intermediate-scale quantum (NISQ) applications. Compared to the well-known quantum algorithms requiring QEC, like Shor's or Grover's algorithm, NISQ applications have different structures and properties to exploit in compilation. A key step in compilation is mapping the qubits in the program to physical qubits on a given quantum computer, which has been shown to be an NP-hard problem. In this paper, we present OLSQ-GA, an optimal qubit mapper with a key feature of simultaneous SWAP gate absorption during qubit mapping, which we show to be a very effective optimization technique for NISQ applications. For the class of quantum approximate optimization algorithm (QAOA), an important NISQ application, OLSQ-GA reduces depth by up to 50.0% and SWAP count by 100% compared to other state-of-the-art methods, which translates to 55.9% fidelity improvement. The solution optimality of OLSQ-GA is achieved by the exact SMT formulation. For better scalability, we augment our approach with additional constraints in the form of initial mapping or alternating matching, which speeds up OLSQ-GA by up to 272X with no or little loss of optimality.